Curs de Informació Quàntica [MATDAD] 2021/2022

Exercicis preparatoris examen

A. Celi

I. EXERCICI 1: MESURA DE UN QUBIT PUNTS 2/10

Considereu un sistema de un qubit.

a) Assumiu que el qubit es troba a un estat pur |ψ⟩. Es troba que el valor esperat del operador σ̂z és cos α. Amb quina
probabilitat l’estat després de la mesura serà |0⟩?

√
b) Suposent que el valor esperat de σz i σx sobre |ψ⟩ son respectivament 3/2 i 1/4 trobeu ψ [Suggeriment: feu servir el
resultat del punt a) i la parametrització de un estat pur de un qubit a l’esfera de Block];

c) Seria possible calcular unívocament l’estat fent servir els resultat de la mesura al punt b) sense la informació que l’estat
sigui pur? Quina informació addicional es necessita?

d) Donat els resultats de la mesura al punt b), fent servir la forma més general de estat mix de un qubit ρ̂, calculeu el valor
màxim i mínim de Tr[ρ̂2 ] i trobeu els ρ̂ corresponents.

II. EXERCICI 2: ERRADA AMB LA CRIPTO-MONEDA PUNTS 2/10

Considereu una cripto-moneda quàntica de Weisner de N qubits. Per una errada el banc prepara els qubits de encriptació amb
probabilitat (1 + q)/4 als estats |0⟩ i |1⟩ i amb probabilitat (1 − q)/4 als estats |+⟩ = √12 (|0⟩ + |1⟩) i |−⟩ = √12 (|0⟩ − |1⟩),
1>q>0.
a) Quina és la probabilitat que el banc detecti un moneda falsa assumint que el falsari per a realitzar-la mesura els qubits amb
igual probabilitat a la base {|0⟩, |1⟩} (σz ) i {|+⟩, |−⟩} (σx ) i fa servir el resultat de la mesura per a preparar els qubits de
la moneda falsa?

b) Suposem que el falsari sospiti que el banc ha fet una errada. Te alguna possibilitat de determinar q?
Suposem que el falsari decideixi de canviar la seva estratègia, mesurant amb probabilitat (1+p)/2 a la base {|0⟩, |1⟩} i (1−p)/2
a la base {|+⟩,|−⟩}. Trobeu el p òptim que maximitza la probabilitat que la moneda falsa no sigui descoberta pel banc si el falsari
c) coneix el valor de q

d) no coneix el valor de q.

III. EXERCICI 3: OPERADORS DE DOS QUBITS PUNTS 2/10

Considereu un sistema de dos qubits i l’operador Ô representat a la base computacional amb la matriu

r0 + r3 0 0 r1 − r2
 
 0 r0 − r3 r1 + r2 0 
.
 0 r1 + r2 r0 − r3 0 
r1 − r2 0 0 r0 + r3

a) Trobeu la condició sobre els coeficients ri , i = 0, . . . , 3 perquè l’operador Ô sigui Hermític;

 2

b) Trobeu la representació com producte tensor de operadors de un qubit [Suggeriment: feu servir la base formada de la identitat i
les matrius de Pauli];

c) Fent servir la condició al punt a) i la descomposició al punt b) trobeu la descomposició espectral de Ô;

d) Proveu que per ri , i = 0, . . . , 3 generics els autoestats de Ô al punt c) son estats màximament entrellaçats.

IV. EXERCICI 4: MESURA DE DOS QUBITS PUNTS 2/10

Considereu l’espai de dos qubits i l’operador P̂ = σx ⊗ σx + σy ⊗ σy + σz ⊗ σz .

a) Demostreu que el conjunt de operadors { 3 1+P̂

4 ,1 −
3 1+P̂
4 } defineix una mesura de Von Neumann;

3 1+P̂
b) Determineu l’estat tal que el valor esperat de 1 − 4 sobre aquest estat dona 1. Quina propietat te?

c) Calculeu l’operador unitari Û = eiαP̂ , α ∈ R, o sigui trobeu la seva representació com producte tensor;

d) Mostreu que qualsevol base de autoestats de P̂ conté sempre almenys dos estats entrellaçats.

V. EXERCICI 5: OPERACIONS LÒGIQUES QUÀNTIQUES OR I XOR PUNTS 1/10+ 1/10 OPCIONAL

Considereu un circuit de dos qubits. Mostreu que:

a) La versió quàntica del operador lògic OR, |A⟩ ⊗ |B⟩ → |A⟩ ⊗ (|B + A⟩), |A⟩, |B⟩ ∈ {|0⟩, |1⟩} no es pot realitzar amb
un operador unitari;

b) La versió quàntica del operador lògic XOR, |A⟩ ⊗ |B⟩ → |A⟩ ⊗ (|B ⊕ A⟩), |A⟩, |B⟩ ∈ {|0⟩, |1⟩} defineix un operador
unitari. Escriviu la seva representació com producte tensor i identifiqueu la porta de dos qubits associada;

Opcional. Construïu una versió quàntica del OR fent servir 3 qubits i un circuit que la realitza fent servir la porta al punt b) i portes
de un qubit.

VI. EXERCICI 6: PROCESSADOR QUÀNTIC PUNTS 2/10

Un processador quàntic realitza la operació,

|a⟩ ⊗ |0⟩⊗N → |a⟩ ⊗ |a⟩,

on a és un binari de N bits, a ∈ [0, 2N −1 ].

a) Mostreu que aquesta operació no viola el no-cloning theorem;

b) Construïu un circuit que realitza aquesta operació.