Phase-adjusted realification of a $\mathbb{C}^3$ Kochen-Specker configuration into $\mathbb{R}^6$
Khrennikov, Svozil
We describe a phase-adjusted realification procedure that embeds any finite set of rays in $\mathbb{C}^3$ into $\mathbb{R}^6$. By assigning an appropriate phase to each ray before applying the standard coordinate-wise map, we can arrange that two rays are orthogonal in $\mathbb{C}^3$ if and only if their images are orthogonal in $\mathbb{R}^6$, so the construction yields a faithful orthogonal representation of the original complex configuration. As a concrete example, we consider the 165 projectively distinct rays used in a $\mathbb{C}^3$ Kochen-Specker configuration obtained from mutually unbiased bases, list these 165 rays explicitly in $\mathbb{C}^3$, and give for each of them its image in $\mathbb{R}^6$ under the canonical realification map. We also note that, because the original 3-element contexts are no longer maximal in $\mathbb{R}^6$, the embedded configuration admits two-valued states even though its realisation with maximal contexts in $\mathbb{C}^3$ is Kochen-Specker uncolourable.
academic
Realificación ajustada en fase de una configuración de Kochen-Specker de C3 en R6
Este artículo describe un procedimiento de realificación ajustada en fase que permite incrustar cualquier conjunto finito de rayos en C3 en R6. Al asignar una fase compleja unitaria apropiada a cada rayo antes de aplicar el mapeo de coordenadas estándar, se garantiza que dos rayos sean ortogonales en C3 si y solo si sus imágenes son ortogonales en R6, construyendo así una representación ortogonal fiel de la configuración compleja original. Como ejemplo concreto, los autores consideran 165 rayos de una configuración de Kochen-Specker en C3 obtenida a partir de bases mutuamente imparciales (MUBs), listando explícitamente sus representaciones en C3 e imágenes en R6. El artículo también señala que, debido a que los contextos de 3 elementos originales ya no son maximales en R6, la configuración incrustada admite valuaciones bivaluadas, aunque su realización como contexto maximal en C3 es no-coloreable según Kochen-Specker.
Una cuestión fundamental en la teoría cuántica es: ¿el uso de números complejos es meramente una conveniencia matemática o una característica esencial del formalismo físico? Aunque cualquier espacio de Hilbert complejo de dimensión finita Cn puede representarse como un espacio de Hilbert real R2n mediante el mapeo de "realificación" estándar, existe evidencia creciente de que la estructura del espacio de Hilbert complejo permite fenómenos lógicos y físicos que no pueden reproducirse mediante descripciones puramente reales.
Fundamentos Teóricos: Distinguir entre teorías cuánticas reales y complejas es crucial para comprender los fundamentos matemáticos de la mecánica cuántica
Verificabilidad Experimental: El problema ha evolucionado desde un nivel puramente teórico a uno verificable experimentalmente
Estructura Lógica: El teorema de Kochen-Specker proporciona un marco determinista y no probabilístico para estudiar este problema
Los métodos de realificación tempranos pueden introducir "ortogonalidad espuria" (spurious orthogonality), donde rayos no ortogonales en C3 se vuelven ortogonales en R6
Los métodos existentes para distinguir teorías cuánticas reales y complejas se basan principalmente en correlaciones y estadísticas de medición, careciendo de análisis en el nivel puramente lógico
Es imposible realizar ciertas configuraciones ortogonales viables en C3 en R3
La motivación central de este artículo es proporcionar un argumento completamente determinista a través del marco lógico del teorema de Kochen-Specker para distinguir teorías cuánticas reales y complejas tridimensionales. Específicamente:
Demostrar que ciertas estructuras lógicas existentes en C3 son imposibles en R3
Mostrar que el mismo hipergrafo ortogonal tiene propiedades de colorabilidad diferentes en espacios distintos
Método de Realificación Ajustada en Fase: Se propone un procedimiento sistemático de ajuste de fase que puede incrustar fielmente cualquier conjunto finito de rayos de C3 en R6, manteniendo la correspondencia completa de relaciones ortogonales
Construcción Explícita: Se listan explícitamente las 165 rayos de la configuración de Kochen-Specker basada en bases mutuamente imparciales, incluyendo representaciones en C3 e imágenes en R6
Prueba de Inequivalencia Lógica: Se demuestra mediante configuración concreta la inequivalencia lógica de teorías cuánticas complejas y reales tridimensionales:
La configuración es no-coloreable según Kochen-Specker como contexto maximal en C3
La misma configuración admite valuaciones bivaluadas clásicas en R6
Perspectiva Teórica: Se aclara cómo el aumento de dimensión cambia la maximalidad del contexto, resolviendo así la contradicción de Kochen-Specker
Para cada rayo [ψk], se multiplica por una fase compleja unitaria eiθk (que no cambia el rayo), definiendo la realificación ajustada en fase:
Rk:=Φ0(eiθkψk)∈R6
Asumir que se han elegido θ1,…,θm−1 tales que todos los pares no ortogonales (k,ℓ) (con 1≤k<ℓ<m) satisfacen Rk⋅Rℓ=0
Para el nuevo rayo m, definir el conjunto prohibido:
Fm:=⋃1≤k<mckm=0Fk,m
donde Fk,m contiene dos valores de fase prohibidos
Elegir θm∈S1∖Fm (siempre es posible, ya que Fm es un subconjunto finito)
Garantía de Existencia: Dado que Fm es un subconjunto finito del círculo unitario, y el círculo unitario es conexo, siempre existe θm tal que la construcción tiene éxito.
Para la configuración de 165 rayos, el artículo demuestra que existe una elección de fases de la forma θk=Knkπ (con nk∈Z y K=1009 como cierto número primo grande) tal que:
Condición (i): ⟨vi,vj⟩=0 en C3⇒wi⋅wj=0 en R6
Condición (ii): ⟨vi,vj⟩=0 en C3⇒wi⋅wj=0 en R6
Esta asignación de fase racional demuestra que toda la configuración admite una realificación analítica (algebraica real) sin cambiar su estructura ortogonal.
Dos bases ortonormales ortogonales son mutuamente imparciales si y solo si cada vector en una base tiene un "solapamiento" igual con cada vector en la otra base:
En C3 es posible construir D+1=4 MUBs completos
En R3 es imposible encontrar dos bases ortonormales ortogonales mutuamente imparciales
Esta diferencia estructural es la raíz de la inequivalencia entre teorías complejas y reales
Resultado: Mediante verificación de script de retroceso numérico, para la configuración de 165 rayos, existe una asignación de fases θk=1009nkπ (con nk∈Z) tal que:
Todas las relaciones ortogonales originales se preservan en R6
No se introduce ninguna ortogonalidad espuria
Significado: Demuestra la viabilidad práctica de la construcción teórica
No-coloreable según Kochen-Specker: no existe valuación bivaluada v:{Pk}→{0,1} satisfaciendo que exactamente un proyector en cada contexto tome valor 1
Contradicción lógica: cualquier intento conduce a que algunos contextos violen la condición de completitud
En R6:
Los mismos 165 rayos (incrustación fiel)
Cada contexto de 3 elementos solo abarca un subespacio de 3 dimensiones
Existe valuación bivaluada: asignar valor 0 a todos los 165 rayos, seleccionar un vector en el espacio ortogonal complementario de cada contexto y asignarle valor 1
Consistencia global: debido al continuo de espacios ortogonales complementarios, es posible completar consistentemente todos los contextos
McKague, Mosca, Gisin (2009): Primer planteamiento del problema de simular sistemas cuánticos complejos con espacios de Hilbert reales
Renou et al. (2021): Propuesta de que la teoría cuántica basada en números reales puede ser falsada experimentalmente, utilizando desigualdades de correlación
Wu et al. (2022): Refutación experimental de la mecánica cuántica de valores reales bajo condiciones de localidad estricta
Contribución de este Artículo: Proporciona una prueba determinista y no probabilística en el nivel lógico
Cabello (2025): Extensión triple de la configuración Yu-Oh, obteniendo el conjunto KS de "165 rayos más simple"
Contribución de este Artículo: Demostración explícita de la realización de esta configuración en espacios de diferentes dimensiones y sus diferencias de colorabilidad
Harding & Salinas Schmeis (2025): Señalamiento de que existen configuraciones representables en C3 pero no pueden ser fielmente representadas ortogonalmente en R3
Navara & Svozil (2025): Análisis detallado de construcción de configuraciones KS basadas en MUBs
Lovász (1979): Definición del concepto de representación ortogonal fiel
Contribución de este Artículo: Proporciona método explícito de incrustación fiel de C3 a R6
Contribución Metodológica: La realificación ajustada en fase proporciona un método sistemático y constructivo para incrustar fielmente cualquier conjunto finito de rayos de C3 en R6
Inequivalencia Lógica: El mismo hipergrafo ortogonal tiene propiedades lógicas fundamentalmente diferentes en espacios distintos:
Como contexto maximal en C3: no-coloreable según Kochen-Specker (no-clásico)
Como contexto no-maximal en R6: admite valuaciones bivaluadas clásicas
Papel Clave de la Dimensión:
R3: imposible realizar incrustación ortogonal fiel de esta configuración
R6: posible realizar incrustación ortogonal fiel, pero se pierde la no-clasicalidad
El aumento de dimensión cambia la maximalidad del contexto, alterando así las propiedades lógicas
Significado Teórico: Proporciona una prueba determinista y no probabilística para distinguir teorías cuánticas complejas y reales tridimensionales, complementando métodos basados en correlaciones
Requisitos de Dimensión: El método requiere aumentar la dimensión de 3 a 6, sin poder realizar incrustación fiel manteniendo la dimensión
Interpretación de Contextos: En R6, el significado físico de los contextos de 3 elementos originales cambia (ya no son maximales), lo que puede afectar la interpretación física
No-Unicidad de Selección de Fase:
Existen múltiples asignaciones de fase que satisfacen condiciones de fidelidad
El artículo elige K=1009, pero otros valores también pueden funcionar
No se proporciona un estándar para la selección de fase "óptima"
Implementación Experimental: Aunque teóricamente viable, la realización práctica de la configuración de 165 rayos en sistemas cuánticos reales sigue siendo desafiante
Generalización:
El método se enfoca en el caso C3→R6
Para el caso general Cn→R2n, algunas conclusiones pueden requerir modificación
La existencia de MUBs en dimensiones superiores sigue siendo un problema abierto
Discusión Insuficiente de Implementación: Aunque se menciona que puede implementarse con interferómetros de múltiples puertos, falta un esquema experimental detallado
Robustez ante Ruido: No se discute el impacto del ruido en sistemas cuánticos reales sobre la configuración
Esquema de Medición: Falta detalle sobre cómo medir y verificar prácticamente la configuración de 165 rayos
2 McKague, Mosca, Gisin (2009): "Simulating quantum systems using real Hilbert spaces" - Primer estudio sistemático de simulación de espacios de Hilbert reales
3 Renou et al. (2021): "Quantum theory based on real numbers can be experimentally falsified" - Artículo de Nature, propuesta de esquema de falsación experimental
5 Cabello (2025): "The simplest Kochen-Specker set" - Propuesta de configuración KS de 165 rayos
6 Yu & Oh (2012): "State-independent proof of Kochen-Specker theorem with 13 rays" - Configuración Yu-Oh original
7 Harding & Salinas Schmeis (2025): "Remarks on orthogonality spaces" - Señalamiento de inequivalencia entre C3 y R3
8 Navara & Svozil (2025): "Construction of Kochen-Specker sets from mutually unbiased bases" - Análisis detallado de construcción de configuraciones KS-MUBs
13 Durt et al. (2010): "On mutually unbiased bases" - Revisión de teoría de MUBs
Evaluación General: Este es un artículo excelente de rigor teórico, construcción clara e perspectivas profundas. Mediante el método simple pero elegante de realificación ajustada en fase, proporciona nueva perspectiva sobre cuestiones fundamentales en fundamentos cuánticos. El valor principal del artículo radica en revelar cómo el aumento de dimensión cambia la estructura lógica, y cómo la misma configuración puede tener propiedades de no-clasicalidad fundamentalmente diferentes en espacios distintos. Aunque hay espacio para mejora en realizabilidad experimental y algunos detalles teóricos, como trabajo de investigación fundamental, sus contribuciones son significativas y duraderas.