Familia de Mapas del Panadero Como Ambiente Caótico de la ...
Familia de Mapas del Panadero Como Ambiente Caótico de la ...
Familia de Mapas del Panadero Como Ambiente Caótico de la ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CAPÍTULO 5. CAMINATA ACOPLADA A PANADERO 53<br />
5.1. Pana<strong>de</strong>ro como <strong>Ambiente</strong> <strong>de</strong> <strong>la</strong> Caminata<br />
Supongamos al sistema moneda en un espacio <strong>de</strong> Hilbert <strong>de</strong> dimensión N. Se <strong>de</strong>finen ˆ PR y ˆ PL<br />
proyectores ortogonales en el espacio <strong>de</strong> <strong>la</strong> moneda tal que ˆ PR+ ˆ PL = 1 y T r( ˆ PL) = T r( ˆ PR) = N<br />
2 .<br />
El operador ˆ M es el que <strong>de</strong>fine <strong>la</strong> evolución <strong>de</strong> <strong>la</strong> moneda antes <strong>de</strong> ser proyectada (en el caso <strong>de</strong><br />
<strong>la</strong> Caminata Hadamard ˆ M = ˆ H). Entonces un paso <strong>de</strong> <strong>la</strong> caminata general queda <strong>de</strong>finido por<br />
el operador unitario<br />
Ê ≡ ( Û ⊗ ˆ PR + Û † ⊗ ˆ PR)(ˆ1 ⊗ ˆ M) (5.1)<br />
don<strong>de</strong> Û es <strong>la</strong> tras<strong>la</strong>ción espacial sobre el caminante.<br />
Si escribimos el estado inicial como producto tensorial entre el caminante (en base <strong>de</strong> momentos)<br />
y <strong>la</strong> moneda, <strong>la</strong> evolución se pue<strong>de</strong> expresar como<br />
Ê <br />
ck|k〉 ⊗ |Φ〉 = <br />
ck|k〉 ⊗ ˆ Mk|Φ〉 (5.2)<br />
don<strong>de</strong> ˆ Mk actúa so<strong>la</strong>mente sobre el espacio <strong>de</strong> <strong>la</strong> moneda,<br />
k<br />
k<br />
ˆMk ≡ (e −ik ˆ PR + e ik ˆ PL) ˆ M (5.3)<br />
Hasta aquí el procedimiento para acop<strong>la</strong>r una moneda a <strong>la</strong> caminata es totalmente general.<br />
En el caso <strong>de</strong>l caminante acop<strong>la</strong>do al pana<strong>de</strong>ro, los proyectores son gobernados por el estado<br />
<strong>de</strong>l qubit más significativo <strong>de</strong>l mapa (<strong>la</strong> moneda propiamente dicha) y <strong>la</strong> evolución ˆ M es alguno<br />
<strong>de</strong> los mapas <strong>de</strong>l pana<strong>de</strong>ro ˆ Bl,n:<br />
ˆMk = (e −ik |0〉MSB〈0| + e ik |1〉MSB〈1|) ˆ Bl,n =<br />
<br />
e −ik 0<br />
0 e ik<br />
También se pue<strong>de</strong> representar en forma <strong>de</strong> circuito como una tras<strong>la</strong>ción <strong>de</strong>l caminante contro<strong>la</strong>da<br />
por el qubit más significativo <strong>de</strong>l Pana<strong>de</strong>ro:<br />
<strong>Ambiente</strong><br />
l-1<br />
dim N/2 = 2<br />
Moneda<br />
MSB<br />
Caminante<br />
dim M<br />
B l,n<br />
Figura 5.1: Circuito <strong>de</strong>l caminante cuántico acop<strong>la</strong>do al mapa <strong>de</strong>l pana<strong>de</strong>ro. El bit más significativo <strong>de</strong>l<br />
pana<strong>de</strong>ro contro<strong>la</strong> una tras<strong>la</strong>ción <strong>de</strong>l caminante.<br />
La distribución <strong>de</strong> probabilida<strong>de</strong>s <strong>de</strong>l caminante viene dada por<br />
U<br />
<br />
ˆBl,n<br />
(5.4)<br />
p(x, t) = 〈Ψ|(|x〉〈x| ⊗ ˆ1)|Ψ〉 (5.5)