Medida débil
En mecánica cuántica (y computación e información), las mediciones débiles son un tipo de medición cuántica que hace que un observador obtenga muy poca información sobre el sistema en promedio, pero que también perturba muy poco el estado.[1] Según el teorema de Busch,[2] el sistema está necesariamente perturbado por la medición. En la bibliografía, las mediciones débiles también se conocen como mediciones no nítidas,[3] difusas,[3][4] opacas, ruidosas,[5] aproximadas y suaves. Además, las mediciones débiles se confunden a menudo con el concepto distinto pero relacionado del valor débil.[6]
Historia
Las mediciones débiles se pensaron por primera vez en el contexto de las mediciones continuas débiles de los sistemas cuánticos[7] (es decir, el filtrado cuántico y las trayectorias cuánticas). La física de las mediciones cuánticas continuas es la siguiente. Consideremos el uso de una 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. Típicamente la interacción sólo correlaciona débilmente el sistema y la ancilla (específicamente, el unitario de la interacción sólo necesita ser expandido al primer o segundo orden en la teoría de perturbaciones). Midiendo la ancilla y utilizando después la teoría de la medición cuántica, se puede determinar el estado del sistema condicionado por los resultados de la medición. Para obtener una medición fuerte, hay que acoplar muchas ancilas y luego medirlas. En el límite en el que hay un continuo de ancilla el proceso de medición se vuelve continuo en el tiempo. Este proceso fue descrito primero por: Mensky;[8][9] Belavkin;[10][11] Barchielli, Lanz, Prosperi;[12] Barchielli;[13] Caves;[14][15] Caves y Milburn.[16] Más tarde, Howard Carmichael[17] y Howard M. Wiseman[18] también hicieron importantes contribuciones en este campo.
La noción de medida débil se atribuye a menudo de forma errónea a Aharonov, Albert y Vaidman.[6] En su artículo consideran un ejemplo de medición débil (y quizás acuñan la frase "medición débil") y lo utilizan para motivar su definición de valor débil, que definieron allí por primera vez.
Matemáticas
No existe una definición universalmente aceptada de una medida débil. Una aproximación es declarar que una medida débil es una medida generalizada en la que algunos o todos los operadores de Kraus son cercanos a la identidad.[19] El enfoque adoptado a continuación consiste en hacer interactuar dos sistemas de forma débil y luego medir uno de ellos.[20] Tras detallar este enfoque, lo ilustraremos con ejemplos.
Interacción débil y medición acoplada ancilla
Considere un sistema que comienza en el estado cuántico y un ancilla que comienza en el estado , el estado inicial combinado es . Estos dos sistemas interactúan a través del Hamiltoniano , que genera las evoluciones temporales (en unidades 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, tal que . Una ampliación en serie de en da
Debido a que 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, como 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 tras la interacción es
Ahora realizamos una medición en el ancilla para conocer el sistema, esto se conoce como una medición acoplada al ancilla. Consideraremos las mediciones en una base (en el sistema ancilla) tal que . La acción de la medida en ambos sistemas se describe por la acción de los proyectores en el estado conjunto . De la teoría de la medición cuántica sabemos que el estado condicional después de la medición es
donde es un factor de normalización de la función de onda. Obsérvese 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 llama operador de Kraus.
Con respecto a los operadores Kraus, el estado posterior a la medición del sistema combinado es
Los objetos son elementos de lo que se llama un POVM (siglas en inglés de positive operator-valued measurement) y deben obedecer para que las probabilidades correspondientes sumen la unidad: . Como el sistema ancilla ya no está correlacionado con el sistema primario, simplemente está registrando el resultado de la medición, podemos trazar sobre él. Haciendo esto se obtiene el estado condicional del sistema primario solo:
que seguimos etiquetando por el resultado de la medición . De hecho, estas consideraciones permiten derivar una trayectoria cuántica.
Ejemplo de operadores Kraus
Utilizaremos el ejemplo canónico de los operadores gaussianos de Kraus dado por Barchielli, Lanz, Prosperi;[12] y Cuevas y Milburn.[16] 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 para tener una distribución gaussiana
La función de onda de posición de la ancilla es
Los operadores de Kraus son (en comparación con la discusión anterior, establecemos )
mientras que los elementos POVM correspondientes son
que obedecen . En la literatura se ve a menudo una representación alternativa. Utilizando la representación espectral del operador de posición , podemos escribir
Observe que .[16] Es decir, en un límite determinado estos operadores se limitan a una medida fuerte de la posición; para otros valores de nos referimos a la medida como fuerza finita; y como , decimos que la medida es débil.
Compensación entre ganancia de información y perturbación
Como ya se ha dicho, el teorema de Busch[2] impide un almuerzo gratis: no puede haber ganancia de información sin perturbación. Sin embargo, el equilibrio entre la ganancia de información y la perturbación ha sido caracterizado por muchos autores, como Fuchs y Peres;[21] Fuchs; Fuchs[22] y Jacobs;[23] y Banaszek.[24]
Recientemente se ha examinado la relación de compensación entre información y perturbación en el contexto de lo que se denomina el "lema de la medición suave".[25][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 las mediciones adaptativas de los sistemas cuánticos. De hecho, esto motivó gran parte del trabajo de Belavkin, y Caves y Milburn dieron un ejemplo explícito. Una de las primeras aplicaciones de las mediciones débiles adaptativas fue la del receptor de Dolinar,[27] que se ha realizado experimentalmente.[28][29] Otra aplicación interesante de las mediciones débiles es utilizar las mediciones débiles seguidas de un unitario, posiblemente condicionado al resultado de la medición débil, para sintetizar otras mediciones generalizadas.[19] El libro de Wiseman[20] y Milburn es una buena referencia para muchos de los desarrollos modernos.
Más información
- Artículo de Brun[1]
- El artículo de Jacobs y Steck[30]
- Quantum Measurement Theory and its Applications, K. Jacobs (Cambridge Press, 2014) ISBN 9781107025486
- Quantum Measurement and Control, H. M. Wiseman and G. J. Milburn (Cambridge Press, 2009)[20]
- El artículo de Tamir y Cohen[31]
Referencias
- ↑ a b Todd A Brun (2002). «A simple model of quantum trajectories». Am. J. Phys. 70 (7): 719-737. Bibcode:2002AmJPh..70..719B. S2CID 40746086. arXiv:quant-ph/0108132. doi:10.1119/1.1475328.
- ↑ a b Paul Busch (2009). «"No Information Without Disturbance": Quantum Limitations of Measurement». En J. Christian; W.Myrvold, eds. The University of Western Ontario Series in Philosophy of Science. Invited contribution, "Quantum Reality, Relativistic Causality, and Closing the Epistemic Circle: An International Conference in Honour of Abner Shimony", Perimeter Institute, Waterloo, Ontario, Canada, July 18–21, 2006 73 (Springer-Verlag, 2008). pp. 229-256. ISBN 978-1-4020-9106-3. ISSN 1566-659X. arXiv:0706.3526. doi:10.1007/978-1-4020-9107-0.
- ↑ a b Stan Gudder (2005). «Non-disturbance for fuzzy quantum measurements». En Andrei Khrennikov; Olga Nanasiova; Endre Pap, eds. Fuzzy Sets and Systems. Fuzzy Sets and Systems, Volume 155, Issue 1, Pages 1-164 (1 October 2005) Measures and conditioning, Measures and conditioning 155: 18-25. doi:10.1016/j.fss.2005.05.009.
- ↑ Asher Peres (1993). Quantum Theory, Concepts and Methods. Kluwer. p. 387. ISBN 978-0-7923-2549-9.
- ↑ A. N. Korotkov (2009). Y. v. Nazarov, ed. Quantum Noise in Mesoscopic Physics. Quantum Noise in Mesoscopic Physics. Springer Netherlands. pp. 205–228. ISBN 978-1-4020-1240-2. S2CID 9025386. arXiv:cond-mat/0209629. doi:10.1007/978-94-010-0089-5_10.
- ↑ a b Yakir Aharonov; David Z. Albert; Lev Vaidman (1988). «How the result of a measurement of a component of the spin of a spin-1/2 particle can turn out to be 100». Physical Review Letters 60 (14): 1351-1354. Bibcode:1988PhRvL..60.1351A. PMID 10038016. S2CID 46042317. doi:10.1103/PhysRevLett.60.1351.
- ↑ A. Clerk; M. Devoret; S. Girvin; F. Marquardt; R. Schoelkopf (2010). «Introduction to quantum noise, measurement, and amplification». Rev. Mod. Phys. 82 (2): 1155-1208. Bibcode:2010RvMP...82.1155C. S2CID 119200464. arXiv:0810.4729. doi:10.1103/RevModPhys.82.1155.
- ↑ M. B. Mensky (1979). «Quantum restrictions for continuous observation of an oscillator». Phys. Rev. D 20 (2): 384-387. Bibcode:1979PhRvD..20..384M. doi:10.1103/PhysRevD.20.384.
- ↑ M. B. Menskii (1979). «Quantum restrictions on the measurement of the parameters of motion of a macroscopic oscillator». Zhurnal Éksperimental'noĭ i Teoreticheskoĭ Fiziki 77 (4): 1326-1339. Bibcode:1979JETP...50..667M.
- ↑ V. P. Belavkin (1980). «Quantum filtering of Markov signals with white quantum noise». Radiotechnika I Electronika 25: 1445-1453.
- ↑ V. P. Belavkin (1992). «Quantum continual measurements and a posteriori collapse on CCR». Commun. Math. Phys. 146 (3): 611-635. Bibcode:1992CMaPh.146..611B. S2CID 17016809. arXiv:math-ph/0512070. doi:10.1007/bf02097018.
- ↑ a b A. Barchielli; L. Lanz; G. M. Prosperi (1982). «A model for the macroscopic description and continual observations in quantum mechanics». Il Nuovo Cimento B 72 (1): 79-121. Bibcode:1982NCimB..72...79B. S2CID 124717734. doi:10.1007/BF02894935.
- ↑ A. Barchielli (1986). «Measurement theory and stochastic differential equations in quantum mechanics». Phys. Rev. A 34 (3): 1642-1649. Bibcode:1986PhRvA..34.1642B. PMID 9897442. doi:10.1103/PhysRevA.34.1642.
- ↑ Carlton M. Caves (1986). «Quantum mechanics of measurements distributed in time. A path-integral formulation». Phys. Rev. D 33 (6): 1643-1665. Bibcode:1986PhRvD..33.1643C. PMID 9956814. doi:10.1103/PhysRevD.33.1643.
- ↑ Carlton M. Caves (1987). «Quantum mechanics of measurements distributed in time. II. Connections among formulations». Phys. Rev. D 35 (6): 1815-1830. Bibcode:1987PhRvD..35.1815C. PMID 9957858. doi:10.1103/PhysRevD.35.1815.
- ↑ a b c Carlton M. Caves; G. J. Milburn (1987). «Quantum-mechanical model for continuous position measurements». Phys. Rev. A 36 (12): 5543-5555. Bibcode:1987PhRvA..36.5543C. PMID 9898842. doi:10.1103/PhysRevA.36.5543.
- ↑ Carmichael, Howard (1993). An open systems approach to quantum optics, Lecture Notes in Physics. Springer.
- ↑ Wiseman's thesis
- ↑ a b O. Oreshkov; T. A. Brun (2005). «Weak Measurements Are Universal». Phys. Rev. Lett. 95 (11): 110409. Bibcode:2005PhRvL..95k0409O. PMID 16196989. S2CID 43706272. arXiv:quant-ph/0503017. doi:10.1103/PhysRevLett.95.110409.
- ↑ a b c Wiseman, Howard M.; Milburn, Gerard J. (2009). Quantum Measurement and Control. Cambridge; New York: Cambridge University Press. pp. 460. ISBN 978-0-521-80442-4.
- ↑ C. A. Fuchs; A. Peres (1996). «Quantum-state disturbance versus information gain: Uncertainty relations for quantum information». Phys. Rev. A 53 (4): 2038-2045. Bibcode:1996PhRvA..53.2038F. PMID 9913105. S2CID 28280831. arXiv:quant-ph/9512023. doi:10.1103/PhysRevA.53.2038.
- ↑ C. A. Fuchs (1996). Information Gain vs. State Disturbance in Quantum Theory. Bibcode:1996quant.ph.11010F. arXiv:quant-ph/9611010.
- ↑ C. A. Fuchs; K. A. Jacobs (2001). «Information-tradeoff relations for finite-strength quantum measurements». Phys. Rev. A 63 (6): 062305. Bibcode:2001PhRvA..63f2305F. S2CID 119476175. arXiv:quant-ph/0009101. doi:10.1103/PhysRevA.63.062305.
- ↑ K. Banaszek (2006). «Quantum-state disturbance versus information gain: Uncertainty relations for quantum information». Open Syst. Inf. Dyn. 13: 1-16. S2CID 35809757. arXiv:quant-ph/0006062. doi:10.1007/s11080-006-7263-8.
- ↑ A. Winter (1999). «Coding Theorem and Strong Converse for Quantum Channels». IEEE Trans. Inf. Theory 45 (7): 2481-2485. S2CID 15675016. arXiv:1409.2536. doi:10.1109/18.796385.
- ↑ T. Ogawa; H. Nagaoka (1999). «Strong Converse to the Quantum Channel Coding Theorem». IEEE Trans. Inf. Theory 45 (7): 2486-2489. Bibcode:2002quant.ph..8139O. S2CID 1360955. arXiv:quant-ph/9808063. doi:10.1109/18.796386.
- ↑ S. J. Dolinar (1973). «An optimum receiver for the binary coherent state quantum channel». MIT Res. Lab. Electron. Quart. Progr. Rep. 111: 115-120.
- ↑ R. L. Cook; P. J. Martin; J. M. Geremia (2007). «Optical coherent state discrimination using a closed-loop quantum measurement». Nature 446 (11): 774-777. Bibcode:2007Natur.446..774C. PMID 17429395. S2CID 4381249. doi:10.1038/nature05655.
- ↑ F. E. Becerra; J. Fan; G. Baumgartner; J. Goldhar; J. T. Kosloski; A. Migdall (2013). «Experimental demonstration of a receiver beating the standard quantum limit for multiple nonorthogonal state discrimination». Nature Photonics 7 (11): 147-152. Bibcode:2013NaPho...7..147B. doi:10.1038/nphoton.2012.316.
- ↑ K. Jacobs; D. A. Steck (2006). «A straightforward introduction to continuous quantum measurement». Contemporary Physics 47 (5): 279-303. Bibcode:2006ConPh..47..279J. S2CID 33746261. arXiv:quant-ph/0611067. doi:10.1080/00107510601101934.
- ↑ Boaz Tamir; Eliahu Cohen (2013). «Introduction to Weak Measurements and Weak Values». Quanta 2 (1): 7-17. doi:10.12743/quanta.v2i1.14.
Datos: Q2607127