Inflación: una biblioteca de Python para la compatibilidad causal clásica y cuántica

Inflación: una biblioteca de Python para la compatibilidad causal clásica y cuántica

Emanuel Cristian Boghiu1, Elie Wolfe2y Alejandro Pozas-Kerstjens3

1ICFO - Institut de Ciencies Fotoniques, Instituto de Ciencia y Tecnología de Barcelona, ​​08860 Castelldefels (Barcelona), España
2Instituto Perimetral de Física Teórica, 31 Caroline St. N., Waterloo, Ontario, Canadá, N2L 2Y5
3Instituto de Ciencias Matemáticas (CSIC-UAM-UC3M-UCM), 28049 Madrid, España

¿Encuentra este documento interesante o quiere discutirlo? Scite o deje un comentario en SciRate.

Resumen

Presentamos Inflation, una biblioteca de Python para evaluar si una distribución de probabilidad observada es compatible con una explicación causal. Este es un problema central tanto en las ciencias teóricas como aplicadas, que recientemente ha sido testigo de avances significativos en el área de la no localidad cuántica, es decir, en el desarrollo de técnicas de inflación. La inflación es un conjunto de herramientas extensible que es capaz de resolver problemas de compatibilidad causal pura y optimización sobre (relajaciones de) conjuntos de correlaciones compatibles tanto en el paradigma clásico como en el cuántico. La biblioteca está diseñada para ser modular y con la capacidad de estar lista para usar, manteniendo un fácil acceso a objetos de bajo nivel para modificaciones personalizadas.

Uno de los principales desafíos de la ciencia es identificar cuáles son las causas detrás de algunas correlaciones observadas. ¿Es eficaz una vacuna contra una enfermedad? ¿Aumentar los salarios fomenta el gasto? Todas estas preguntas se pueden formular y analizar utilizando las herramientas de la inferencia causal, pero a menudo son numéricamente difíciles de responder. Recientemente, han aparecido nuevas herramientas en el campo de la no localidad cuántica, llamadas métodos de inflación, que permiten convertir estos problemas difíciles en problemas numéricamente tratables. En este trabajo presentamos un paquete de Python que implementa tales métodos.

► datos BibTeX

► referencias

[ 1 ] Perla de Judea. “Causalidad: Modelos, Razonamiento e Inferencia”. Prensa de la Universidad de Cambridge. (2009).
https: / / doi.org/ 10.1017 / CBO9780511803161

[ 2 ] Dan Geiger y Christopher Meek. “Eliminación de cuantificadores para problemas estadísticos”. En Proc. XV Conferencia Incertidumbre Artefacto Intel. (AUAI, 15). Página 1999–226. (235). arXiv:1995.
https://​/​doi.org/​10.48550/​arXiv.1301.6698
arXiv: 1301.6698

[ 3 ] Jin Tian y Judea Pearl. “Sobre las implicaciones comprobables de los modelos causales con variables ocultas”. En Proc. 18ª Conf. Incertidumbre Artefacto Intel. (AUAI, 2002). Página 519–527. (2002). arXiv:1301.0608.
https://​/​doi.org/​10.48550/​arXiv.1301.0608
arXiv: 1301.0608

[ 4 ] Luis David García, Michael Stillman y Bernd Sturmfels. “Geometría algebraica de redes bayesianas”. J. sim. computar 39, 331–355 (2005). arXiv:matemáticas/0301255.
https: / / doi.org/ 10.1016 / j.jsc.2004.11.007
arXiv: matemáticas / 0301255

[ 5 ] Luis David García. “Estadística algebraica en la selección de modelos”. En Proc. 20ª Conf. Incertidumbre Artefacto Intel. (AUIA, 2004). Página 177–184. (2014). arXiv:1207.4112.
https://​/​doi.org/​10.48550/​arXiv.1207.4112
arXiv: 1207.4112

[ 6 ] Ciarán M. Lee y Robert W. Spekkens. “Inferencia causal vía geometría algebraica: Pruebas de factibilidad para estructuras causales funcionales con dos variables binarias observadas”. J. Inferencia Causal 5, 20160013 (2017). arXiv:1506.03880.
https: / â € ‹/ â €‹ doi.org/â $$$ ‹10.1515 / â €‹ jci-2016-0013
arXiv: 1506.03880

[ 7 ] Nicolás Brunner, Daniel Cavalcanti, Stefano Pironio, Valerio Scarani y Stephanie Wehner. “Bell no localidad”. Rev.Mod. física 86, 419–478 (2014). arXiv:1303.2849.
https: / / doi.org/ 10.1103 / RevModPhys.86.419
arXiv: 1303.2849

[ 8 ] Juan S. Bell. “Sobre la paradoja de Einstein-Podolsky-Rosen”. Física Física Fizika 1, 195–200 (1964).
https: / / doi.org/ 10.1103 / PhysicsPhysiqueFizika.1.195

[ 9 ] Christopher J. Wood y Robert W. Spekkens. "La lección de los algoritmos de descubrimiento causal para las correlaciones cuánticas: las explicaciones causales de las violaciones de la desigualdad de Bell requieren un ajuste fino". Nuevo J. Phys. 17, 033002 (2015). arXiv:1208.4119.
https:/​/​doi.org/​10.1088/​1367-2630/​17/​3/​033002
arXiv: 1208.4119

[ 10 ] Rafael Chaves, Richard Kueng, Jonatan B. Brask y David Gross. “Marco unificador para la relajación de los supuestos causales en el teorema de Bell”. física Rev. Lett. 114, 140403 (2015). arXiv:1411.4648.
https: / / doi.org/ 10.1103 / PhysRevLett.114.140403
arXiv: 1411.4648

[ 11 ] Cyril Branciard, Nicolás Gisin y Stefano Pironio. “Caracterización de las correlaciones no locales creadas a través del intercambio de entrelazamiento”. física Rev. Lett. 104, 170401 (2010). arXiv:0911.1314.
https: / / doi.org/ 10.1103 / PhysRevLett.104.170401
arXiv: 0911.1314

[ 12 ] Cyril Branciard, Denis Rosset, Nicolás Gisin y Stefano Pironio. "Correlaciones bilocales versus no bilocales en experimentos de intercambio de entrelazamiento". física Rev. A 85, 032119 (2012). arXiv:1112.4502.
https: / / doi.org/ 10.1103 / PhysRevA.85.032119
arXiv: 1112.4502

[ 13 ] Tobías Fritz. “Más allá del teorema de Bell: escenarios de correlación”. Nuevo J. Phys. 14, 103001 (2012). arXiv:1206.5115.
https:/​/​doi.org/​10.1088/​1367-2630/​14/​10/​103001
arXiv: 1206.5115

[ 14 ] Thomas C. Fraser y Elie Wolfe. “Desigualdades de compatibilidad causal que admiten violaciones cuánticas en la estructura del triángulo”. física Rev. A 98, 022113 (2018). arXiv:1709.06242.
https: / / doi.org/ 10.1103 / PhysRevA.98.022113
arXiv: 1709.06242

[ 15 ] Thomas van Himbeeck, Jonatan Bohr Brask, Stefano Pironio, Ravishankar Ramanathan, Ana Belén Sainz y Elie Wolfe. “Violaciones cuánticas en el escenario Instrumental y sus relaciones con el escenario Bell”. Cuántica 3, 186 (2019). arXiv:1804.04119.
https:/​/​doi.org/​10.22331/​q-2019-09-16-186
arXiv: 1804.04119

[ 16 ] Armin Tavakoli, Alejandro Pozas-Kerstjens, Ming-Xing Luo y Marc-Olivier Renou. “Campana no localidad en redes”. Rep. Prog. física 85, 056001 (2022). arXiv:2104.10700.
https://​/​doi.org/​10.1088/​1361-6633/​ac41bb
arXiv: 2104.10700

[ 17 ] Alejandro Pozas-Kerstjens, Rafael Rabelo, Łukasz Rudnicki, Rafael Chaves, Daniel Cavalcanti, Miguel Navascués, and Antonio Acín. “Limitando los conjuntos de correlaciones clásicas y cuánticas en redes”. física Rev. Lett. 123, 140503 (2019). arXiv:1904.08943.
https: / / doi.org/ 10.1103 / PhysRevLett.123.140503
arXiv: 1904.08943

[ 18 ] Aditya Kela, Kai Von Prillwitz, Johan Åberg, Rafael Chaves y David Gross. “Pruebas semidefinidas de estructuras causales latentes”. Trans. IEEE. información Teoría 66, 339–349 (2020). arXiv:1701.00652.
https: / / doi.org/ 10.1109 / TIT.2019.2935755
arXiv: 1701.00652

[ 19 ] Johan Åberg, Ranieri Nery, Cristhiano Duarte y Rafael Chaves. “Pruebas semidefinidas para topologías de redes cuánticas”. física Rev. Lett. 125, 110505 (2020). arXiv:2002.05801.
https: / / doi.org/ 10.1103 / PhysRevLett.125.110505
arXiv: 2002.05801

[ 20 ] Ming-Xing Luo. "Desigualdades de Bell no lineales computacionalmente eficientes para redes cuánticas". física Rev. Lett. 120, 140402 (2018). arXiv:1707.09517.
https: / / doi.org/ 10.1103 / PhysRevLett.120.140402
arXiv: 1707.09517

[ 21 ] Marc-Olivier Renou, Yuyi Wang, Sadra Boreiri, Salman Beigi, Nicolas Gisin y Nicolas Brunner. “Límites de correlaciones en redes para recursos cuánticos y sin señalización”. física Rev. Lett. 123, 070403 (2019). arXiv:1901.08287.
https: / / doi.org/ 10.1103 / PhysRevLett.123.070403
arXiv: 1901.08287

[ 22 ] Elie Wolfe, Robert W. Spekkens y Tobias Fritz. “La técnica de la inflación para la inferencia causal con variables latentes”. J. Inferencia Causal 7, 20170020 (2019). arXiv:1609.00672.
https: / â € ‹/ â €‹ doi.org/â $$$ ‹10.1515 / â €‹ jci-2017-0020
arXiv: 1609.00672

[ 23 ] Elie Wolfe, Alejandro Pozas-Kerstjens, Matan Grinberg, Denis Rosset, Antonio Acín, and Miguel Navascués. “Inflación cuántica: un enfoque general de la compatibilidad causal cuántica”. física Rev. X 11, 021043 (2021). arXiv:1909.10519.
https: / / doi.org/ 10.1103 / PhysRevX.11.021043
arXiv: 1909.10519

[ 24 ] Nicolas Gisin, Jean-Daniel Bancal, Yu Cai, Patrick Remy, Armin Tavakoli, Emmanuel Zambrini Cruzeiro, Sandu Popescu y Nicolas Brunner. “Restricciones a la no localidad en redes de no señalización e independencia”. Nat. común 11, 2378 (2020). arXiv:1906.06495.
https:/​/​doi.org/​10.1038/​s41467-020-16137-4
arXiv: 1906.06495

[ 25 ] Alejandro Pozas-Kerstjens, Nicolás Gisin, and Armin Tavakoli. “No localidad de red completa”. física Rev. Lett. 128, 010403 (2022). arXiv:2105.09325.
https: / / doi.org/ 10.1103 / PhysRevLett.128.010403
arXiv: 2105.09325

[ 26 ] Alejandro Pozas-Kerstjens, Nicolás Gisin y Marc-Olivier Renou. “Pruebas de no localidad cuántica de red en familias continuas de distribuciones”. física Rev. Lett. 130, 090201 (2023). arXiv:2203.16543.
https: / / doi.org/ 10.1103 / PhysRevLett.130.090201
arXiv: 2203.16543

[ 27 ] Emanuel-Cristian Boghiu, Elie Wolfe y Alejandro Pozas-Kerstjens. “Código fuente de la inflación”. Zenodo 7305544 (2022).
https: / / doi.org/ 10.5281 / zenodo.7305544

[ 28 ] Flavio Baccari, Daniel Cavalcanti, Peter Wittek y Antonio Acín. “Detección eficiente de enredos independiente del dispositivo para sistemas multipartitos”. física Rev. X 7, 021042 (2017). arXiv:1612.08551.
https: / / doi.org/ 10.1103 / PhysRevX.7.021042
arXiv: 1612.08551

[ 29 ] Greg ver Steeg y Aram Galstyan. “Una secuencia de relajaciones que restringen modelos de variables ocultas”. En Actas de la Vigésima Séptima Conferencia sobre Incertidumbre en Inteligencia Artificial. Página 717–726. UAI'11Arlington, Virginia, EE. UU. (2011). Prensa AUAI. arXiv:1106.1636.
https://​/​doi.org/​10.48550/​arXiv.1106.1636
arXiv: 1106.1636

[ 30 ] Miguel Navascués y Elie Wolfe. “La técnica de la inflación resuelve por completo el problema de la compatibilidad causal”. J. Inferencia Causal 8, 70 – 91 (2020). arXiv:1707.06476.
https: / â € ‹/ â €‹ doi.org/â $$$ ‹10.1515 / â €‹ jci-2018-0008
arXiv: 1707.06476

[ 31 ] Laurens T. Ligthart y David Gross. “La jerarquía de inflación y la jerarquía de polarización están completas para el escenario bilocal cuántico” (2022). arXiv:2212.11299.
arXiv: 2212.11299

[ 32 ] Laurens T. Ligthart, Mariami Gachechiladze y David Gross. “Una jerarquía de inflación convergente para estructuras causales cuánticas” (2021). arXiv:2110.14659.
arXiv: 2110.14659

[ 33 ] Charles R. Harris, K. Jarrod Millman, Stéfan J. van der Walt, et al. “Programación de arreglos con NumPy”. Naturaleza 585, 357–362 (2020).
https:/​/​doi.org/​10.1038/​s41586-020-2649-2

[ 34 ] Aaron Meurer, Christopher P. Smith, Mateusz Paprocki, et al. “SymPy: computación simbólica en Python”. Cómputo entre pares. ciencia 3, e103 (2017).
https: / / doi.org/ 10.7717 / peerj-cs.103

[ 35 ] Pauli Virtanen, Ralf Gommers, Travis E. Oliphant, et al. “SciPy 1.0: Algoritmos fundamentales para la computación científica en Python”. Nat. Métodos 17, 261–272 (2020).
https:/​/​doi.org/​10.1038/​s41592-019-0686-2

[ 36 ] Siu Kwan Lam, Antoine Pitrou y Stanley Seibert. “Numba: un compilador Python JIT basado en LLVM”. En Actas del segundo taller sobre la infraestructura del compilador LLVM en HPC. LLVM '15 Nueva York, NY, EE. UU. (2015). Asociación para Maquinaria de Computación.
https: / / doi.org/ 10.1145 / 2833157.2833162

[ 37 ] MOSEK ApS. “API de MOSEK Fusion para Python”. https:/​/​docs.mosek.com/​latest/​pythonfusion/​index.html (2019).
https://​/​docs.mosek.com/​latest/​pythonfusion/​index.html

[ 38 ] Johann Löfberg. “YALMIP: Una caja de herramientas para modelado y optimización en MATLAB”. En Actas de la Conferencia CACSD. Taipéi, Taiwán (2004). URL: yalmip.github.io/.
https: / / yalmip.github.io/

[ 39 ] Miguel Navascués, Stefano Pironio, and Antonio Acín. “Acotando el conjunto de correlaciones cuánticas”. física Rev. Lett. 98, 010401 (2007). arXiv:quant-ph/0607119.
https: / / doi.org/ 10.1103 / PhysRevLett.98.010401
arXiv: quant-ph / 0607119

[ 40 ] Miguel Navascués, Stefano Pironio, and Antonio Acín. “Una jerarquía convergente de programas semidefinidos que caracterizan el conjunto de correlaciones cuánticas”. Nuevo J. Phys. 10, 073013 (2008). arXiv:0803.4290.
https:/​/​doi.org/​10.1088/​1367-2630/​10/​7/​073013
arXiv: 0803.4290

[ 41 ] Stefano Pironio, Miguel Navascués, and Antonio Acín. “Relajaciones convergentes de problemas de optimización de polinomios con variables no conmutadas”. SIAM J. Optim. 20, 2157–2180 (2010). arXiv:0903.4368.
https: / / doi.org/ 10.1137 / 090760155
arXiv: 0903.4368

[ 42 ] Tobias Moroder, Jean-Daniel Bancal, Yeong-Cherng Liang, Martin Hofmann y Otfried Gühne. "Cuantificación de entrelazamiento independiente del dispositivo y aplicaciones relacionadas". física Rev. Lett. 111, 030501 (2013). arXiv:1302.1336.
https: / / doi.org/ 10.1103 / PhysRevLett.111.030501
arXiv: 1302.1336

[ 43 ] Alejandro Pozas-Kerstjens. “Información cuántica fuera de la información cuántica”. Tesis doctoral. Universitat Politécnica de Catalunya. (2019). URL: http:/​/​hdl.handle.net/​10803/​667696.
http: / / hdl.handle.net/ 10803/667696

[ 44 ] N. David Mermín. “Misterios cuánticos revisitados”. Amer. J. física. 58, 731–734 (1990).
https: / / doi.org/ 10.1119 / 1.16503

[ 45 ] Paolo Abiuso, Tamás Kriváchy, Emanuel-Cristian Boghiu, Marc-Olivier Renou, Alejandro Pozas-Kerstjens y Antonio Acín. “No localidad de fotón único en redes cuánticas”. física Rev. Investigación 4, L012041 (2022). arXiv:2108.01726.
https:/​/​doi.org/​10.1103/​PhysRevResearch.4.L012041
arXiv: 2108.01726

[ 46 ] Mariami Gachechiladze, Nikolai Miklin y Rafael Chaves. “Cuantificación de las influencias causales en presencia de una causa común cuántica”. física Rev. Lett. 125, 230401 (2020). arXiv:2007.01221.
https: / / doi.org/ 10.1103 / PhysRevLett.125.230401
arXiv: 2007.01221

[ 47 ] Iris Agresti, Davide Poderini, Leonardo Guerini, Michele Mancusi, Gonzalo Carvacho, Leandro Aolita, Daniel Cavalcanti, Rafael Chaves y Fabio Sciarrino. “Generación de aleatoriedad certificada independiente del dispositivo experimental con una estructura causal instrumental”. común física 3, 110 (2020). arXiv:1905.02027.
https:/​/​doi.org/​10.1038/​s42005-020-0375-6
arXiv: 1905.02027

[ 48 ] Iris Agresti, Davide Poderini, Beatrice Polacchi, Nikolai Miklin, Mariami Gachechiladze, Alessia Suprano, Emanuele Polino, Giorgio Milani, Gonzalo Carvacho, Rafael Chaves y Fabio Sciarrino. “Test experimental de influencias causales cuánticas”. ciencia Adv. 8, eabm1515 (2022). arXiv:2108.08926.
https://​/​doi.org/​10.1126/​sciadv.abm1515
arXiv: 2108.08926

[ 49 ] Shane Mansfield y Tobias Fritz. “La paradoja de la no localidad de Hardy y las condiciones posibilistas de la no localidad”. Encontró. física 42, 709–719 (2012). arXiv:1105.1819.
https:/​/​doi.org/​10.1007/​s10701-012-9640-1
arXiv: 1105.1819

[ 50 ] Denis Rosset, Felipe Montealegre-Mora, and Jean-Daniel Bancal. “RepLAB: Un enfoque computacional/numérico a la teoría de la representación”. En Teoría Cuántica y Simetrías. Páginas 643–653. Serie CRM en Física Matemática. Actas del 11º Simposio Internacional, Montreal, Springer (2021). arXiv:1911.09154.
https:/​/​doi.org/​10.1007/​978-3-030-55777-5_60
arXiv: 1911.09154

[ 51 ] Kim-Chuan Toh, Michael J. Todd y Reha H. Tütüncü. "SDPT3: un paquete de software MATLAB para programación semidefinida". Óptimo Métodos Softw. 11, 545–581 (1999).
https: / / doi.org/ 10.1080 / 10556789908805762

[ 52 ] Steven Diamond y Stephen Boyd. "CVXPY: un lenguaje de modelado integrado en Python para la optimización convexa". J. Mach. Aprender. Res. 17, 1–5 (2016). arXiv:1603.00943.
https://​/​doi.org/​10.48550/​arXiv.1603.00943
arXiv: 1603.00943

[ 53 ] Brendan O'Donoghue, Eric Chu, Neal Parikh y Stephen Boyd. “SCS: Splitting Conic Solver”. https:/​/​github.com/​cvxgrp/​scs (2021).
https://​/​github.com/​cvxgrp/​scs

[ 54 ] Gurobi optimización, LLC. “Manual de referencia del optimizador Gurobi”. https:/​/​www.gurobi.com (2022).
https://www.gurobi.com

[ 55 ] Guillaume Sagnol y Maximilian Stahlberg. "PICOS: una interfaz de Python para solucionadores de optimización cónica". J. Software de código abierto. 7, 3915 (2022).
https: / / doi.org/ 10.21105 / joss.03915

[ 56 ] Martin S. Andersen, Joachim Dahl y Lieven Vandenberghe. “CVXOPT: software Python para optimización convexa”. http://​/​cvxopt.org/​ (2015).
http://​/​cvxopt.org/​

[ 57 ] Daniel Brosch y Étienne de Klerk. "Reducción de simetría de Jordan para la optimización cónica sobre el cono doblemente no negativo: teoría y software". Óptimo Métodos Softw. 37, 2001-2020 (2022). arXiv:2001.11348.
https: / / doi.org/ 10.1080 / 10556788.2021.2022146
arXiv: 2001.11348

Citado por

[1] Robin Lorenz y Sean Tull, “Modelos causales en diagramas de cuerdas”, arXiv: 2304.07638, (2023).

Las citas anteriores son de ANUNCIOS SAO / NASA (última actualización exitosa 2023-05-05 01:00:09). La lista puede estar incompleta ya que no todos los editores proporcionan datos de citas adecuados y completos.

On Servicio citado por Crossref no se encontraron datos sobre las obras citadas (último intento 2023-05-05 01:00:08).

Sello de tiempo:

Mas de Diario cuántico