Medición débil

Medición de un sistema cuántico que lo perturba mínimamente

En mecánica cuántica (y computación e información ), la medición débil es un tipo de medición cuántica que da como resultado que un observador obtenga muy poca información sobre el sistema en promedio, pero también altera muy poco el estado. ^[1] Según el teorema de Busch ^[2], cualquier sistema cuántico es necesariamente perturbado por la medición, pero la cantidad de perturbación se describe mediante un parámetro llamado intensidad de la medición.

La medición débil es un subconjunto de la forma más general de medición cuántica descrita por los operadores conocidos como POVM , donde la fuerza de la medición es baja. En la literatura, las mediciones débiles también se conocen como mediciones poco nítidas, ^[3] difusas, ^{[3] [4]} opacas, ruidosas, ^[5] aproximadas y suaves ^[6] . Además, las mediciones débiles a menudo se confunden con el concepto distinto pero relacionado del valor débil . ^[7]

Los métodos más comunes de medición débil son acoplar el sistema cuántico a un qubit ancillario y medir proyectivamente el ancillario (lo que da como resultado una medición débil en el sistema cuántico de interés), medir una pequeña parte de grandes sistemas entrelazados y, para la física atómica, la obtención de imágenes de contraste de fase.

Historia

Las mediciones débiles se pensaron por primera vez en el contexto de mediciones continuas débiles de sistemas cuánticos ^[8] (es decir, filtrado cuántico y trayectorias cuánticas ). La física de las mediciones cuánticas continuas es la siguiente. Considere el uso de un ancilla, por ejemplo, un campo o una corriente , para sondear un sistema cuántico. La interacción entre el sistema y la sonda correlaciona los dos sistemas. Normalmente, la interacción solo correlaciona débilmente el sistema y el ancilla (específicamente, el operador unitario de interacción solo necesita expandirse a primer o segundo orden en la teoría de perturbaciones). Al medir el ancilla y luego usar la teoría de medición cuántica, se puede determinar el estado del sistema condicionado a los resultados de la medición. Para obtener una medición fuerte, se deben acoplar muchos ancilla y luego medirlos. En el límite donde hay un continuo de ancilla, el proceso de medición se vuelve continuo en el tiempo. Este proceso fue descrito por primera vez por: Michael B. Mensky; ^{[9] [10]} Viacheslav Belavkin ; ^{[11] [12]} Alberto Barchielli, L. Lanz, GM Prosperi; ^[13] Barchielli; ^[14] Carlton Caves ; ^{[15] [16]} Caves y Gerald J. Milburn . ^[17] Posteriormente, Howard Carmichael ^[18] y Howard M. Wiseman ^[19] también hicieron importantes contribuciones al campo.

La noción de una medición débil a menudo se atribuye erróneamente a Yakir Aharonov , David Albert y Lev Vaidman . ^[7] En su artículo, consideran un ejemplo de una medición débil (y quizás acuñan la frase "medición débil") y lo usan para motivar su definición de un valor débil , que definieron allí por primera vez.

Ejemplo: Límite de un imán Gerlach de popa débil

El experimento de Stern-Gerlach es un ejemplo por excelencia de la cuantificación del momento angular del espín del electrón. Implica un fuerte gradiente de campo magnético que provoca una fuerza dependiente del espín sobre los electrones que pasan a través del campo, creando dos haces de electrones de espín puro que salen del aparato.

Supongamos que el imán de este aparato produjera un gradiente muy débil, como una astilla de cristal de calcita.

Teoría: Acoplamiento a Ancilla

No existe una definición universalmente aceptada de una medición débil. Un enfoque consiste en declarar que una medición débil es una medición generalizada en la que algunos o todos los operadores de Kraus están cerca de la identidad. ^[20] El enfoque que se adopta a continuación consiste en interactuar débilmente dos sistemas y luego medir uno de ellos. ^[21] Después de detallar este enfoque, lo ilustraremos con ejemplos.

Interacción débil y medición acoplada a ancilla

Consideremos un sistema que comienza en el estado cuántico y un ancilla que comienza en el estado . El estado inicial combinado es . ${\displaystyle |\psi \rangle }$ ${\displaystyle |\phi \rangle }$ ${\displaystyle |\Psi \rangle =|\psi \rangle \otimes |\phi \rangle }$

Estos dos sistemas interactúan a través del hamiltoniano , que genera las evoluciones temporales (en unidades donde ), donde es la "fuerza de interacción", que tiene unidades de tiempo inverso. Supongamos un tiempo de interacción fijo y que es pequeño, de modo que . ${\displaystyle H=A\otimes B}$ ${\displaystyle U(t)=\exp[-ixtH]}$ ${\displaystyle \hbar =1}$ ${\displaystyle x}$ ${\displaystyle t=\Delta t}$ ${\displaystyle \lambda =x\Delta t}$ ${\displaystyle \lambda ^{3}\approx 0}$

Una expansión en serie de in da ${\displaystyle U}$ ${\displaystyle \lambda }$

${\displaystyle {\begin{aligned}U&=I\otimes I-i\lambda H-{\frac {1}{2}}\lambda ^{2}H^{2}+O(\lambda ^{3})\\&\approx I\otimes I-i\lambda A\otimes B-{\frac {1}{2}}\lambda ^{2}A^{2}\otimes B^{2}.\end{aligned}}}$

Como sólo fue necesario expandir el unitario a un orden bajo en la teoría de perturbaciones, llamamos a esto una interacción débil. Además, el hecho de que el unitario sea predominantemente el operador identidad, ya que y son pequeños, implica que el estado después de la interacción no es radicalmente diferente del estado inicial. El estado combinado del sistema después de la interacción es ${\displaystyle \lambda }$ ${\displaystyle \lambda ^{2}}$

${\displaystyle |\Psi '\rangle =\left(I\otimes I-i\lambda A\otimes B-{\frac {1}{2}}\lambda ^{2}A^{2}\otimes B^{2}\right)|\Psi \rangle .}$

Ahora realizamos una medición en el ancilla para conocer el sistema, esto se conoce como una medición acoplada al ancilla. Consideraremos mediciones en una base (en el sistema ancilla) tal que . La acción de la medición en ambos sistemas se describe por la acción de los proyectores en el estado conjunto . A partir de la teoría de medición cuántica, sabemos que el estado condicional después de la medición es ${\displaystyle |q\rangle }$ ${\textstyle \sum _{q}|q\rangle \langle q|=I}$ ${\displaystyle \Pi _{q}=I\otimes |q\rangle \langle q|}$ ${\displaystyle |\Psi '\rangle }$

${\displaystyle {\begin{aligned}|\Psi _{q}\rangle &={\frac {\Pi _{q}|\Psi '\rangle }{\sqrt {\langle \Psi '|\Pi _{q}|\Psi '\rangle }}}\\&={\frac {I\langle q|\phi \rangle -i\lambda A\langle q|B|\phi \rangle -{\frac {1}{2}}\lambda ^{2}A^{2}\langle q|B^{2}|\phi \rangle }{\mathcal {N}}}|\psi \rangle \otimes |q\rangle ,\end{aligned}}}$

donde es un factor de normalización para la función de onda. Observe que el estado del sistema ancilla registra el resultado de la medición. El objeto es un operador en el espacio de Hilbert del sistema y se denomina operador de Kraus . ${\textstyle {\mathcal {N}}={\sqrt {\langle \Psi '|\Pi _{q}|\Psi '\rangle }}}$ ${\textstyle M_{q}:=I\langle q|\phi \rangle -i\lambda A\langle q|B|\phi \rangle -{\frac {1}{2}}\lambda ^{2}A^{2}\langle q|B^{2}|\phi \rangle }$

Con respecto a los operadores de Kraus, el estado posterior a la medición del sistema combinado es

${\displaystyle |\Psi _{q}\rangle ={\frac {M_{q}|\psi \rangle }{\sqrt {\langle \psi |M_{q}^{\dagger }M_{q}|\psi \rangle }}}\otimes |q\rangle .}$

Los objetos son elementos de lo que se denomina un POVM y deben obedecer para que las probabilidades correspondientes sumen la unidad: . Como el sistema ancillar ya no está correlacionado con el sistema primario, simplemente está registrando el resultado de la medición, podemos rastrearlo . Al hacerlo, se obtiene el estado condicional del sistema primario únicamente: ${\displaystyle E_{q}=M_{q}^{\dagger }M_{q}}$ ${\textstyle \sum _{q}E_{q}=I}$ ${\textstyle \sum _{q}\Pr(q|\psi )=\sum _{q}\langle \psi |E_{q}|\psi \rangle =1}$

${\displaystyle |\psi _{q}\rangle ={\frac {M_{q}|\psi \rangle }{\sqrt {\langle \psi |M_{q}^{\dagger }M_{q}|\psi \rangle }}},}$

que todavía etiquetamos según el resultado de la medición . De hecho, estas consideraciones permiten derivar una trayectoria cuántica . ${\displaystyle q}$

Ejemplos de operadores Kraus

Usaremos el ejemplo canónico de los operadores Kraus gaussianos dados por Barchielli, Lanz, Prosperi; ^[13] y Caves y Milburn. ^[17] Tome , donde la posición y el momento en ambos sistemas tienen la relación de conmutación canónica habitual . Tome la función de onda inicial de la ancilla como que tiene una distribución gaussiana ${\displaystyle H=x\otimes p}$ ${\displaystyle [x,p]=i}$

${\displaystyle |\Phi \rangle ={\frac {1}{(2\pi \sigma ^{2})^{1/4}}}\int dq'\exp[-q'^{2}/(4\sigma ^{2})]|q'\rangle .}$

La función de onda de posición de la ancilla es

${\displaystyle \Phi (q)=\langle q|\Phi \rangle ={\frac {1}{(2\pi \sigma ^{2})^{1/4}}}\exp[-q^{2}/(4\sigma ^{2})].}$

Los operadores de Kraus son (en comparación con la discusión anterior, establecemos ) ${\displaystyle \lambda =1}$

${\displaystyle {\begin{aligned}M(q)&=\langle q|\exp[-ix\otimes p]|\Phi \rangle \\&={\frac {1}{(2\pi \sigma ^{2})^{1/4}}}\exp[-(q-x)^{2}/(4\sigma ^{2})],\end{aligned}}}$

mientras que los elementos POVM correspondientes son

${\displaystyle {\begin{aligned}E(q)&=M_{q}^{\dagger }M_{q}\\&={\frac {1}{\sqrt {2\pi \sigma ^{2}}}}\exp[-(q-x)^{2}/(2\sigma ^{2})],\end{aligned}}}$

que obedecen a . En la literatura se suele ver una representación alternativa. Utilizando la representación espectral del operador de posición , podemos escribir ${\textstyle \int dq\,E(q)=I}$ ${\textstyle x=\int x'dx'|x'\rangle \langle x'|}$

${\displaystyle {\begin{aligned}M(q)&={\frac {1}{(2\pi \sigma ^{2})^{1/4}}}\int dx'\exp[-(q-x')^{2}/(4\sigma ^{2})]|x'\rangle \langle x'|,\\E(q)&={\frac {1}{\sqrt {2\pi \sigma ^{2}}}}\int dx'\exp[-(q-x')^{2}/(2\sigma ^{2})]|x'\rangle \langle x'|.\end{aligned}}}$

Nótese que . ^[17] Es decir, en un límite particular estos operadores limitan a una medición fuerte de posición; para otros valores de nos referimos a la medición como de fuerza finita; y como , decimos que la medición es débil. ${\textstyle \lim _{\sigma \to 0}E(q)=|x=q\rangle \langle x=q|}$ ${\displaystyle \sigma }$ ${\displaystyle \sigma \to \infty }$

Teoría: Imágenes de contraste de fase

La obtención de imágenes por contraste de fase es un método de obtención de imágenes que se utiliza en física atómica con gases diluidos, fríos y densos de átomos, más comúnmente los condensados ​​de Bose Einstein . Utiliza los átomos como lentes y mide la interferencia entre la luz que sufre un desplazamiento de fase por parte de los átomos y la luz que no pasa a través de ellos.

La intensidad de la medición está determinada por la desintonización de la luz de imagen y el tiempo de interacción entre la luz y los átomos.

Intercambio de información-ganancia-perturbación

Como se indicó anteriormente, el teorema de Busch ^[2] impide que haya un almuerzo gratis: no puede haber ganancia de información sin perturbación. Sin embargo, muchos autores han caracterizado la compensación entre ganancia de información y perturbación, incluidos CA Fuchs y Asher Peres ; ^[22] Fuchs; ^[23] Fuchs y KA Jacobs; ^[24] y K. Banaszek. ^[25]

Recientemente se ha examinado la relación entre ganancia de información y perturbación en el contexto de lo que se denomina el "lema de la medición suave". ^{[6] [26]}

Aplicaciones

Desde los primeros días ha estado claro que el uso principal de la medición débil sería para el control de retroalimentación o mediciones adaptativas de sistemas cuánticos. De hecho, esto motivó gran parte del trabajo de Belavkin, y Caves y Milburn dieron un ejemplo explícito. Una aplicación temprana de mediciones débiles adaptativas fue la del receptor Dolinar , ^[27] que se ha realizado experimentalmente. ^{[28] [29]} Otra aplicación interesante de las mediciones débiles es usar mediciones débiles seguidas de una unitaria, posiblemente condicional al resultado de la medición débil, para sintetizar otras mediciones generalizadas. ^[20] El libro de Wiseman y Milburn ^[21] es una buena referencia para muchos de los desarrollos modernos.

Lectura adicional

• Teoría y práctica de la medición cuántica, Andrew Jordan (Cambridge Press 2024) ISBN  9781009100069
• El artículo de Brun ^[1]
• Artículo de Jacobs y Steck ^[30]
• Teoría de la medición cuántica y sus aplicaciones, K. Jacobs (Cambridge Press, 2014) ISBN 9781107025486 
• Medición y control cuánticos, HM Wiseman y GJ Milburn (Cambridge Press, 2009) ^[21]
• Artículo de Tamir y Cohen ^[31]

Referencias

1. Todd A Brun (2002). "Un modelo simple de trayectorias cuánticas". Am. J. Phys . 70 (7): 719–737. arXiv : quant-ph/0108132 . Código Bibliográfico : 2002AmJPh..70..719B. doi : 10.1119/1.1475328. S2CID  40746086.
2. Paul Busch (2009). J. Christian; W. Myrvold (eds.). "No hay información sin perturbación": limitaciones cuánticas de la medición . Contribución por invitación, "Realidad cuántica, causalidad relativista y cierre del círculo epistémico: una conferencia internacional en honor a Abner Shimony", Perimeter Institute, Waterloo, Ontario, Canadá, 18-21 de julio de 2006. Vol. 73. Springer-Verlag, 2008. pp. 229-256. arXiv : 0706.3526 . doi :10.1007/978-1-4020-9107-0. ISBN 978-1-4020-9106-3. ISSN  1566-659X. {{cite book}}: |journal=ignorado ( ayuda )
3. Gudder, Stan (2005). "No perturbación para mediciones cuánticas difusas". Conjuntos y sistemas difusos . 155 (1): 18–25. doi :10.1016/j.fss.2005.05.009.
4. Asher Peres (1993). Teoría cuántica, conceptos y métodos . Kluwer. pág. 387. ISBN. 978-0-7923-2549-9.
5. AN Korotkov (2003). "Medición cuántica ruidosa de cúbits de estado sólido: enfoque bayesiano". En Y. v. Nazarov (ed.). Ruido cuántico en física mesoscópica . Springer Netherlands. págs. 205–228. arXiv : cond-mat/0209629 . doi :10.1007/978-94-010-0089-5_10. ISBN . 978-1-4020-1240-2.S2CID 9025386  .
6. A. Winter (1999). "Teorema de codificación y recíproco fuerte para canales cuánticos". IEEE Trans. Inf. Theory . 45 (7): 2481–2485. arXiv : 1409.2536 . doi :10.1109/18.796385. S2CID  15675016.
7. Yakir Aharonov; David Z. Albert y Lev Vaidman (1988). "Cómo el resultado de una medición de un componente del espín de una partícula de espín 1/2 puede resultar 100". Physical Review Letters . 60 (14): 1351–1354. Bibcode :1988PhRvL..60.1351A. doi :10.1103/PhysRevLett.60.1351. PMID  10038016. S2CID  46042317.
8. A. Clerk; M. Devoret; S. Girvin; F. Marquardt; R. Schoelkopf (2010). "Introducción al ruido cuántico, la medición y la amplificación". Rev. Mod. Phys . 82 (2): 1155–1208. arXiv : 0810.4729 . Código Bibliográfico :2010RvMP...82.1155C. doi :10.1103/RevModPhys.82.1155. S2CID  119200464.
9. MB Mensky (1979). "Restricciones cuánticas para la observación continua de un oscilador". Phys. Rev. D . 20 (2): 384–387. Bibcode :1979PhRvD..20..384M. doi :10.1103/PhysRevD.20.384.
10. MB Menskii (1979). "Restricciones cuánticas en la medición de los parámetros de movimiento de un oscilador macroscópico". Zhurnal Éksperimental'noĭ i Teoreticheskoĭ Fiziki . 77 (4): 1326–1339. Código Bibliográfico :1979JETP...50..667M.
11. VP Belavkin (1980). "Filtrado cuántico de señales de Markov con ruido cuántico blanco". Radiotechnika I Electronika . 25 : 1445–1453.
12. VP Belavkin (1992). "Medidas cuánticas continuas y colapso a posteriori en CCR". Commun. Math. Phys . 146 (3): 611–635. arXiv : math-ph/0512070 . Código Bibliográfico :1992CMaPh.146..611B. doi :10.1007/bf02097018. S2CID  17016809.
13. A. Barchielli; L. Lanz; GM Prosperi (1982). "Un modelo para la descripción macroscópica y observaciones continuas en mecánica cuántica". Il Nuovo Cimento B. 72 (1): 79-121. Código bibliográfico : 1982NCimB..72...79B. doi :10.1007/BF02894935. S2CID  124717734.
14. A. Barchielli (1986). "Teoría de la medida y ecuaciones diferenciales estocásticas en mecánica cuántica". Phys. Rev. A . 34 (3): 1642–1649. Bibcode :1986PhRvA..34.1642B. doi :10.1103/PhysRevA.34.1642. PMID  9897442.
15. Carlton M. Caves (1986). "Mecánica cuántica de medidas distribuidas en el tiempo. Una formulación de integral de trayectorias". Phys. Rev. D . 33 (6): 1643–1665. Bibcode :1986PhRvD..33.1643C. doi :10.1103/PhysRevD.33.1643. PMID  9956814.
16. Carlton M. Caves (1987). "Mecánica cuántica de medidas distribuidas en el tiempo. II. Conexiones entre formulaciones". Phys. Rev. D . 35 (6): 1815–1830. Bibcode :1987PhRvD..35.1815C. doi :10.1103/PhysRevD.35.1815. PMID  9957858.
17. Carlton M. Caves; GJ Milburn (1987). "Modelo mecánico cuántico para mediciones de posición continuas" (PDF) . Phys. Rev. A . 36 (12): 5543–5555. Bibcode :1987PhRvA..36.5543C. doi :10.1103/PhysRevA.36.5543. PMID  9898842.
18. Carmichael, Howard (1993). Un enfoque de sistemas abiertos para la óptica cuántica, Lecture Notes in Physics . Springer .
19. Wiseman, Howard Mark (1994). Trayectorias cuánticas y retroalimentación (PhD). Universidad de Queensland .
20. O. Oreshkov; TA Brun (2005). "Las mediciones débiles son universales". Phys. Rev. Lett . 95 (11): 110409. arXiv : quant-ph/0503017 . Código Bibliográfico :2005PhRvL..95k0409O. doi :10.1103/PhysRevLett.95.110409. PMID  16196989. S2CID  43706272.
21. Wiseman, Howard M.; Milburn, Gerard J. (2009). Medición y control cuánticos . Cambridge . Nueva York : Cambridge University Press . pp. 460. ISBN. 978-0-521-80442-4.
22. CA Fuchs; A. Peres (1996). "Perturbación del estado cuántico versus ganancia de información: relaciones de incertidumbre para la información cuántica". Phys. Rev. A . 53 (4): 2038–2045. arXiv : quant-ph/9512023 . Código Bibliográfico :1996PhRvA..53.2038F. doi :10.1103/PhysRevA.53.2038. PMID  9913105. S2CID  28280831.
23. CA Fuchs (1996). "Ganancia de información frente a perturbación del estado en la teoría cuántica". arXiv : quant-ph/9611010 . Código Bibliográfico :1996quant.ph.11010F. {{cite journal}}: Requiere citar revista |journal=( ayuda )
24. CA Fuchs; KA Jacobs (2001). "Relaciones de intercambio de información para mediciones cuánticas de fuerza finita". Phys. Rev. A . 63 (6): 062305. arXiv : quant-ph/0009101 . Código Bibliográfico :2001PhRvA..63f2305F. doi :10.1103/PhysRevA.63.062305. S2CID  119476175.
25. K. Banaszek (2006). "Perturbación del estado cuántico versus ganancia de información: relaciones de incertidumbre para la información cuántica". Open Syst. Inf. Dyn . 13 : 1–16. arXiv : quant-ph/0006062 . doi :10.1007/s11080-006-7263-8. S2CID  35809757.
26. T. Ogawa; H. Nagaoka (1999). "Recíproco fuerte del teorema de codificación de canal cuántico". IEEE Trans. Inf. Theory . 45 (7): 2486–2489. arXiv : quant-ph/9808063 . Bibcode :2002quant.ph..8139O. doi :10.1109/18.796386. S2CID  1360955.
27. SJ Dolinar (1973). "Un receptor óptimo para el canal cuántico de estado coherente binario" (PDF) . Informe trimestral de progreso del Laboratorio de investigación de electrónica del MIT . 111 : 115–120.
28. RL Cook; PJ Martin; JM Geremia (2007). "Discriminación de estados coherentes ópticos utilizando una medición cuántica de bucle cerrado". Nature . 446 (11): 774–777. Bibcode :2007Natur.446..774C. doi :10.1038/nature05655. PMID  17429395. S2CID  4381249.
29. FE Becerra; J. Fan; G. Baumgartner; J. Goldhar; JT Kosloski; A. Migdall (2013). "Demostración experimental de un receptor que supera el límite cuántico estándar para la discriminación de múltiples estados no ortogonales". Nature Photonics . 7 (11): 147–152. Bibcode :2013NaPho...7..147B. doi :10.1038/nphoton.2012.316. S2CID  41194236.
30. K. Jacobs; DA Steck (2006). "Una introducción sencilla a la medición cuántica continua". Contemporary Physics . 47 (5): 279–303. arXiv : quant-ph/0611067 . Código Bibliográfico :2006ConPh..47..279J. doi :10.1080/00107510601101934. S2CID  33746261.
31. Boaz Tamir; Eliahu Cohen (2013). "Introducción a las mediciones débiles y los valores débiles". Quanta . 2 (1): 7–17. doi : 10.12743/quanta.v2i1.14 .