El problema de incrustación de Connes , formulado por Alain Connes en la década de 1970, es un problema importante en la teoría del álgebra de von Neumann . Durante ese tiempo, el problema se reformuló en varias áreas diferentes de las matemáticas. Dan Voiculescu desarrolló su teoría de la entropía libre y descubrió que el problema de incrustación de Connes está relacionado con la existencia de microestados. Algunos resultados de la teoría de las álgebras de von Neumann se pueden obtener asumiendo una solución positiva al problema. El problema está relacionado con algunas cuestiones básicas de la teoría cuántica, lo que llevó a la comprensión de que también tiene importantes implicaciones en la informática.
El problema admite varias formulaciones equivalentes. [1] En particular, es equivalente a los siguientes problemas de larga data:
- Conjetura QWEP de Kirchberg en C * álgebra teoría
- El problema de Tsirelson en la teoría de la información cuántica
- El predual de cualquier álgebra de von Neumann (separable) es finitamente representable en la clase de trazas.
En enero de 2020, Ji, Natarajan, Vidick, Wright y Yuen anunciaron un resultado en la teoría de la complejidad cuántica [2] que implica una respuesta negativa al problema de incrustación de Connes. [3] [4] [5] [6] [7] [8] [9]
Declaración
Dejar sea un ultrafiltro libre en los números naturales y sea R el factor hiperfinito tipo II 1 con traza. Uno puede construir el ultrapoder de la siguiente manera: deje ser el álgebra de von Neumann de secuencias limitadas por normas y sea . El cocienteresulta ser un factor II 1 con traza, dónde es cualquier secuencia representativa de .
El problema de incrustación de Connes pregunta si cada factor de tipo II 1 en un espacio de Hilbert separable se puede incrustar en algún.
Una solución positiva al problema implicaría que existen subespacios invariantes para una gran clase de operadores en factores II-1 ( Uffe Haagerup ); todos los grupos discretos contables son hiperlineales . Una solución positiva al problema estaría implicada por la igualdad entre la entropía librey entropía libre definida por microestados ( Dan Voiculescu ). En enero de 2020, un grupo de investigadores [2] afirmó haber resuelto el problema de forma negativa, es decir, existen factores de tipo II 1 von Neumann que no se incrustan en una ultrapotencia del factor hiperfinito II 1 .
La clase de isomorfismo de es independiente del ultrafiltro si y solo si la hipótesis del continuo es cierta (Ge-Hadwin y Farah-Hart-Sherman), pero dicha propiedad de incrustación no depende del ultrafiltro porque las álgebras de von Neumann que actúan sobre espacios de Hilbert separables son, en términos generales , muy pequeña.
El problema admite varias formulaciones equivalentes. [1]
Conferencias dedicadas al problema de integración de Connes
- El taller de incrustación de problemas y teoría de la información cuántica de Connes; Universidad de Vanderbilt en Nashville Tennessee; 1-7 de mayo de 2020 ( pospuesto; por confirmar )
- El problema de incrustación de Connes con muchas facetas; BIRS, Canadá; 14-19 de julio de 2019
- Escuela de invierno: problema de integración de Connes y teoría de la información cuántica; Universidad de Oslo, 07-11 de enero de 2019
- Taller sobre grupos sofic e hiperlineales y la conjetura de incrustación de Connes; UFSC Florianópolis, Brasil; 10-21 de junio de 2018
- Propiedades de aproximación en álgebras de operadores y teoría ergódica; UCLA; 30 de abril - 5 de mayo de 2018
- Álgebras de operadores y teoría de la información cuántica; Institut Henri Poincare, París; Diciembre de 2017
- Taller de Espacios Operadores, Análisis Armónico y Probabilidad Cuántica; ICMAT, Madrid; 20 de mayo al 14 de junio de 2013
- Taller de campo sobre el problema de incrustación de Connes - Universidad de Ottawa, 16-18 de mayo de 2008
Referencias
- ↑ a b Hadwin, Don (2001). "Un problema de momento no conmutativo" . Actas de la American Mathematical Society . 129 (6): 1785-1791. doi : 10.1090 / S0002-9939-01-05772-0 . JSTOR 2669132 .
- ^ a b Ji, Zhengfeng; Natarajan, Anand; Vidick, Thomas; Wright, John; Yuen, Henry (2020). "MIP * = RE". arXiv : 2001.04383 . Código bibliográfico : 2020arXiv200104383J . Cite journal requiere
|journal=
( ayuda ) - ^ Castelvecchi, Davide (2020). "¿Qué tan 'espeluznante' es la física cuántica? La respuesta podría ser incalculable" . Naturaleza . 577 (7791): 461–462. doi : 10.1038 / d41586-020-00120-6 .
- ^ Kalai, Gil (17 de enero de 2020). "Increíble: Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright y Henry Yuen demostraron que MIP * = RE y, por lo tanto, refutaron la conjetura de incrustación de Connes 1976 y dieron una respuesta negativa al problema de Tsirelson" . Combinatoria y más . Consultado el 6 de marzo de 2020 .
- ^ Barak, Booz (14 de enero de 2020). "MIP * = RE, refutando la conjetura de incrustación de Connes" . Windows en teoría . Consultado el 6 de marzo de 2020 .
- ^ Aaronson, Scott (16 de enero de 2020). "MIP * = RE" . Optimizado para Shtetl . Consultado el 6 de marzo de 2020 .
- ^ Regan, Kenneth W. (15 de enero de 2020). "Detener es comprobable cuántico Poly-Time" . Letra perdida de Gödel y P = NP . Consultado el 6 de marzo de 2020 .
- ^ Vidick, Thomas (14 de enero de 2020). "Un proyecto de Maestría" . MyCQstate . Consultado el 6 de marzo de 2020 .
- ^ Hartnett, Kevin. "Cascadas de prueba de informática histórica a través de la física y las matemáticas" . Revista Quanta . Consultado el 9 de marzo de 2020 .
Otras lecturas
- Capraro, Valerio (2010). "Una encuesta sobre la conjetura de incrustación de Connes". arXiv : 1003.2076 [ math.OA ].
- Farah, I .; Hart, B .; Sherman, D. (2013). "Teoría de modelos de álgebras de operadores I: estabilidad". Boletín de la London Mathematical Society . 45 (4): 825–838. arXiv : 0908.2790 . doi : 10.1112 / blms / bdt014 .
- Ge; Hadwin (2001). "Ultraproductos de C * -álgebras". Oper. Teoría Adv. Apl . 127 : 305–326. doi : 10.1007 / 978-3-0348-8374-0_17 .
- Collins, Benoit; Dykema, Ken (2008). "Una linealización del problema de incrustación de Connes" (PDF) . Revista de Matemáticas de Nueva York . 14 : 617–641.
- Sherman, David (2008). "Notas sobre Automorfismos de Ultrapoderes de II 1 Factores" (PDF) . Departamento de Matemáticas, Universidad de Virginia. arXiv : 0809.4439 . Cite journal requiere
|journal=
( ayuda ) - Pisier, Gilles . "Productos tensoriales de C * -álgebras y espacios de operador: El problema de Connes-Kirchberg" (PDF) .