¿Por qué necesitamos fibraciones no triviales?

Actualmente estoy leyendo este artículo. Entiendo cómo la esfera de Bloch S 2 se presenta como una representación geométrica de los observables de un sistema de dos estados:

α | 0 + β | 1 α , β C { ( σ X , σ y , σ z ) } = S 2 R 3

yo tambien entiendo como S 3 se presenta como una representación geométrica del mismo sistema de dos estados:

α | 0 + β | 1 α , β C ( R mi ( α ) , I metro ( α ) , R mi ( β ) , I metro ( β ) ) = S 3 R 4

Veo que la representación de la esfera de Bloch pierde la información sobre una fase global, pero no entiendo por qué necesitamos una fibración no trivial (Hopf) de S 3 para preservar la información de esta fase. ¿Por qué no podemos simplemente asignar a cada punto de la esfera de Bloch una fase? mi i ϕ ? ¿Por qué el sistema de dos estados exige una fibración no trivial (y por qué específicamente la fibración de Hopf)?

PD (y una posible respuesta parcial) : dado que la esfera de Bloch contiene toda la información observable sobre el sistema, el S 3 la representación tiene que ser "descomponible" en piezas, de modo que una de las piezas sea la esfera de Bloch. Desde S 3 S 2 S 1 , necesitamos una descomposición más complicada, por ejemplo, la fibración de Hopf. Pero esto todavía deja la pregunta: ¿no hay otra descomposición de S 3 eso hará el truco?

Parece asumir que queremos que nuestro espacio se vea localmente como S 2 × S 1 - ¿por qué? Tal vez haya otra manera de 'retorcer y pegar los espacios' para obtener S 3 de S 2 ? Estoy de acuerdo en que la fibración no puede ser globalmente un producto trivial, pero ¿por qué nos limitamos a Hopf?
^ Eso sería muy apreciado. La respuesta matemática SE parece un poco difícil de analizar. Aquí hay otra pregunta muy relacionada: los sistemas de dos qubits a menudo se representan como la fibración de Hopf S 3 S 7 S 4 (y análogamente para tres qubits): ¿son únicas estas representaciones? Razonando como en mi PS anterior, veo que necesitamos una base de S 4 , que nuestro espacio completo es S 7 , y que un producto tensorial trivial no sirve - es la fibración de Hopf una fibración no trivial única de S 7 con base S 3 ?
Eliminé mis comentarios y los convertí en una respuesta como promesa.

Respuestas (3)

¿Por qué no podemos simplemente asignar a cada punto de la esfera de Bloch una fase? mi i ϕ ?

Esta es la idea de una sección de un haz de fibras . Estás considerando en este caso un espacio base S 2 con fibra S 1 . Localmente, el haz de fibras se ve como S 2 × S 1 . Sin embargo, desea considerar una fibración tal que el espacio global no sea el producto trivial sino S 3 . La fibración de Hopf le permite torcer y pegar los espacios para obtener la identificación que desea.

¿Es esta la única fibración que te da S 3 ? La respuesta es sí, pero para verlo se requiere cierto conocimiento en topología algebraica y clases características. Básicamente, los haces circulares se clasifican hasta el isomorfismo de haz por la primera clase de Chern . El siguiente paso es ver que la fibración de Hopf pertenece a la clase de 1 H 2 ( S 2 , Z ) . Puede hacerlo construyendo secuencias de fibras largas como se hace aquí . Finalmente tienes que probar que cualquier otro paquete circular con espacio total S 3 pertenece a esta clase. Pregunté eso en mathstackexchnage y esta fue la respuesta .

Se puede formular otra respuesta en términos del invariante de Hopf , que es un invariante de homotopía. Un teorema de Frank Adams y posteriormente de Michael Atiyah con métodos de la teoría K topológica demostró que los únicos mapas del invariante 1 de Hopf son los paquetes de esferas en las dimensiones 2, 4 y 8. Esto resuelve la pregunta si está feliz de considerar lo mismo que significando lo mismo hasta la equivalencia de homotopía. En este artículo se puede encontrar una demostración de considerar lo mismo como lo mismo hasta el homeomorfismo para la base, la fibra y el espacio total . (Corolario 3.9, Teorema 6.1) Esto también cubre los otros casos sobre los que está preguntando.

La fibra de lúpulo es una proyección de la 3-esfera a la 2-esfera. Esta es una reducción dimensional. La información de 4ª dimensión "extra" del espacio 4d del cuaternión se codifica en el espacio 3d inferior a través de la fase global. La fase global es una variable oculta natural del qubit en el espacio 3d "inferior" ; para obtener más información, consulte;

Cuaterniones unitarios y la esfera de Bloch: https://arxiv.org/abs/1411.4999

La fibra de lúpulo

S 3 S 1 S 2
es definido por
R ^ = Ψ ^ σ ^ i 2 Ψ ^

S 3 El cuaternión (spinor) Ψ ^ ( θ , ϕ , ω ) describe las 3 esferas incrustadas en R 4 .

S 2 El vector bloque R ^ ( θ , ϕ ) describe la 2-esfera incrustada en R 3 .

S 1 La fase mundial mi i ω 2 describe la 1-esfera incrustada en R 2 .

La fase global es una variable oculta natural del cuaternión (spinor/qubit) cuando se ve en la representación de la esfera de Bloch: S 1 es el haz de fibras que conecta la esfera 3 y la esfera 2. Esta fibra de lúpulo no trivial está parametrizada por la fase global, que se define:

ω = 0 t d t [ R j H j + R k H k ( R j ) 2 + ( R k ) 2 ]

dónde R son los elementos del vector de Bloch y H son los elementos del hamiltoniano - que satisfacen la ecuación de von neumann

R ^ ˙ = [ H ^ , R ^ ]
expresada en base cayley.

La fase global te dice dónde estás "globalmente" en las 3 esferas. Por ejemplo, si elegimos algún camino cerrado en la esfera de Bloch y calculamos que la fase global de una órbita es ω = 2 π , entonces el S 1 fibración

mi i 2 π 2 = 1
El coeficiente negativo nos dice que solo hemos recorrido la mitad del camino total en las 3 esferas. Si bien parece que hemos llegado a nuestro punto de partida después de una órbita, en realidad necesitamos una segunda órbita de la trayectoria en la esfera de Bloch para volver al punto inicial.

Interpretado físicamente, esto explica el espín intrínseco del espín. 1 2 fermiones. Los fermiones requieren 2 órbitas para volver a su punto inicial - una 4 π rotación. para más información ver;

La fibración de Hopf y las variables ocultas en la mecánica cuántica y clásica: http://arxiv.org/abs/1601.02569

(Soy autor del artículo anterior.)

Mantras como "la esfera de Bloch contiene toda la información observable sobre el sistema" son basura. Esto se refiere implícitamente al concepto de un estado cuántico (puro) y lo confunde con un concepto importante de observable , pero los estados cuánticos son algo complicado y la palabra "información" puede volverse especialmente traicionera .

Empecemos por las matemáticas. Los formalismos relevantes son: espacios de Hilbert, sus proyectivizaciones y observables. Sí, cuando obtienes los ℂ 2Espacio de Hilbert (para dos estados) y luego se limita a los vectores de estado de norma 1, luego da una esfera de 3. ¿Por qué los vectores diferentes solo por una multiplicación U(1) representan el mismo estado? Porque los valores de los observables (matrices complejas 2 × 2) sobre ellos y sus probabilidades no dependen de la fase. Entonces, es conveniente considerar la proyectivización; Los estados propios de los operadores (no degenerados y autoconjugados) se definen de forma única, sin molestar la libertad U(1) para cada uno de ellos. No importa esta fibración de Hopf concreta; la proyectivización en un espacio de Hilbert, en general, sí importa. No hay elección: todos los espacios de Hilbert de la misma dimensión son isomorfos y la proyectivización es única. Sucede que todas esas fibraciones (excepto el caso del sistema cuántico de un estado, ℂ proyectado a singleton) no son triviales; simplemente un hecho matemático. Enfatizo: estos son formalismos matemáticos ligeramente diferentes para los estados; cada uno tiene ventajas y desventajas. La utilidad de las proyectivizaciones no le permite ignorar U(1) encualquier cálculo . Significa que si considera un sistema cuántico de forma aislada, la acción de U(1) sobre sus estados cuánticos puede ignorarse en las descripciones de su comportamiento.

Puede "simplemente asignar una fase a cada punto de la esfera de Bloch", pero simplemente no tiene ningún sentido . No obtendrá la estructura de un espacio lineal, por no decir que dicha asignación a ℂ 2 \{0} puede no ser continua. Se pierde la invariancia y simetría del formalismo proyectivo sin ganar la linealidad de los espacios de Hilbert.

También podría explicar en detalle el C*-álgebra de observables en un qubit y su relación esfera/bola, pero esto no se pregunta.

Ahora la física. Si desea comprender algo sobre los estados cuánticos, entonces puede prohibirse pensar que cualquier qubit tiene algún estado cuántico puro definido (pista: considere un par EPR). Si alguna vez te dijo algo así, entonces era un mentiroso. Nuestro mundo no contiene qubits de forma aislada; todos los sistemas cuánticos están potencialmente entrelazados.

Ya veo, ¿alguien no tiene argumentos para usar en la discusión sobre ℂ², la esfera de Riemann/Bloch y las matrices de 2 × 2? Bueno, presionar "▼" es un resultado determinado.