13.07.2013 Views

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 ...

SHOW MORE
SHOW LESS

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)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!