Anyons no abelianos en el formalismo de la integral de caminos

Fondo

Clases de homotopía en la integral de trayectoria

Siguiendo la respuesta a esta pregunta sobre el papel de las clases de homotopía en las integrales de trayectoria, me parece razonable que, al calcular el propagador usando la formulación de integral de trayectoria, primero deberíamos hacer la integral por separado para trayectorias dentro de la misma clase de homotopía de la configuración espacio, y luego sumar estas contribuciones con algunos factores de peso. Matemáticamente esto sería algo como

k α π 1 ( X ) x ( α ) k α ,

dónde π 1 ( X ) es el grupo fundamental del espacio de configuración X , k α es la amplitud parcial asociada con las contribuciones de todos los caminos dentro de la clase de homotopía α , y el x ( α ) quedan algunos pesos por determinar.

Ahora, en su artículo de 1970 , Laidlaw y DeWitt pretenden demostrar que los pesos x debe formar una representación unitaria escalar del grupo fundamental π 1 ( X ) . La prueba no es demasiado larga, pero no la incluiré aquí en aras de la brevedad.

Grupo fundamental del espacio de configuración

Para norte partículas indistinguibles con interacciones duras en d dimensiones, el espacio de configuración es

X = Y ( norte , d ) / S norte ,

dónde S norte es el grupo de permutación, cociente porque las partículas son indistinguibles, y Y ( norte , d ) es el conjunto de todos norte -tuplas de vectores en R d tal que no coincidan dos vectores, es decir

Y ( norte , d ) = { y = ( X 1 , , X norte ) : X i R d y X i X j } .

Es bien sabido que el grupo fundamental de este espacio de configuración es diferente en d = 2 en comparación con dimensiones más altas, a saber

π 1 ( X ) = { B norte , d = 2 S norte , d > 2

dónde B norte es el grupo de la trenza.

Estadísticas anyónicas

Siguiendo la afirmación de Laidlaw y DeWitt de que los pesos deben formar una representación unitaria escalar de π 1 ( X ) , notamos eso S norte tiene sólo dos representaciones unidimensionales (unitarias): la representación trivial x ( α ) = 1 , y la representación del signo x ( α ) = ± 1 dependiendo del signo de la permutación α . El primer caso corresponde a los bosones, mientras que el segundo corresponde a los fermiones. Por lo tanto para d > 2 estas son las únicas posibilidades.

Sin embargo, por d = 2 , tenemos π 1 ( X ) = B norte , que tiene toda una familia de representaciones unitarias unidimensionales parametrizadas por un solo ángulo θ como

x ( α ) = mi i θ W ( α ) ,

dónde W ( α ) es el número de bobinado de la trenza α . Esto demuestra que en 2 dimensiones podemos obtener anyones abelianos , es decir, partículas que adquieren una fase θ [ 0 , 2 π ] a medida que se mueven uno alrededor del otro.

Sin embargo, también es bien sabido que en d = 2 también podemos obtener anyons no abelianos , lo que en cierto sentido corresponde a tomar los pesos como elementos de una representación no conmutativa de π 1 ( X ) = B norte .

Soy consciente de cómo obtener estadísticas no abelianas para un sistema de cuasipartículas con cierta degeneración de energía al observar la fase Berry no abeliana. Sin embargo, me parece que el resultado de Laidlaw y DeWitt de que los pesos deben ser de una representación unidimensional del grupo fundamental nos limita a las estadísticas abelianas en el contexto de la integral de trayectoria.

Pregunta

¿Cómo aparecen las estadísticas de intercambio no abelianas en la formulación de la integral de trayectoria? ¿Es esto consistente con el resultado de Laidlaw y DeWitt?

¿Ya tienes una respuesta adecuada? La respuesta dada por David Bar Moshe está un poco por encima de mi nivel salarial.
No importa, se da una respuesta clara en la siguiente publicación de stackexchange: physics.stackexchange.com/q/448641

Respuestas (1)

Aunque no es la única forma de descripción, las funciones de onda con valores vectoriales o de componentes múltiples se pueden utilizar para describir sistemas cuánticos con grados de libertad internos. Aún más generalmente, las funciones de onda pueden ser secciones de paquetes de vectores complejos V q , dónde q es el espacio de configuración.

El razonamiento que conduce al teorema de homotopía de DeWitt-Laindlaw también se cumple en el caso de componentes múltiples, que se puede mostrar muy fácilmente de la siguiente manera (sigo aquí a Horvathy Morandi y Sudarshan ):

Para poder proyectarse al espacio de configuración q , una función de onda de valor vectorial (sección de un paquete vectorial) en el espacio de cobertura universal q ¯ del espacio de configuración q debe satisfacer:

ψ ¯ ( gramo q ¯ ) = tu ( gramo ) ψ ¯ ( q ¯ )

dónde q ¯ q ¯ , y gramo π 1 ( q ) se utiliza para trasladar entre puntos en q ¯ proyectado a un solo punto q q . La razón de esto es que los diferentes puntos gramo q ¯ corresponden a diferentes parches de coordenadas en q , y las matrices tu ( gramo ) se convierten en funciones de transición en las fibras del haz vectorial V . Físicamente, se requiere que las funciones de transición sean unitarias para preservar la probabilidad, matemáticamente, porque el grupo de estructura de un paquete vectorial complejo se puede reducir al grupo unitario de su rango.

A partir de la representación de la energía del propagador en q ¯ :

k ¯ ( q ¯ a , t a , q ¯ b , t b ) = norte mi i mi norte ( t b t a ) ψ norte ( q ¯ a ) ψ norte ( q ¯ b )
Deducimos:
k ¯ ( gramo a q ¯ a , t a , gramo b q ¯ b , t b ) = tu ( gramo a ) k ¯ ( q ¯ a , t a , q ¯ b , t b ) tu ( gramo b )
Identificar la función de onda en q con la función de onda activada q ¯ , restringida al dominio fundamental, entonces de las relaciones:
ψ ( q a , t a ) = q ¯ d m ( q ¯ b ) k ¯ ( q a , t a , q ¯ b , t b ) ψ ¯ ( q ¯ b , t b ) = gramo π 1 ( q ) q d m ( q ¯ b ) k ¯ ( q a , t a , gramo q b , t b ) tu ( gramo ) ψ ( q , t b )
A partir del cual el propagador en q se puede reconocer:
k ( q a , t a , q b , t b ) = gramo π 1 ( q ) k gramo ( q a , t a , q b , t b ) tu ( gramo 1 )
Con:
k gramo ( q a , t a , q b , t b ) := k ¯ ( q a , t a , gramo q b , t b )

Ahora, cualquier matriz unitaria se puede escribir como una holonomía de una conexión valorada del álgebra de Lie:

tu ( a ) = PAG ( mi i γ = [ a ] A )

Como para cualquier camino cerrado en el espacio simplemente conexo q ¯ , esta holonomía debería desaparecer, entonces la conexión A debe ser plano. Véase, por ejemplo, la siguiente nota de conferencia de Olivier Guichard, sobre la biyección entre representaciones de grupos de homotopía y paquetes planos.

Por lo tanto, los paquetes planos no abelianos clasifican los diferentes factores de homotopía de DeWitt-Laindlaw en el caso no abeliano (generalizando el caso abeliano). Ahora, sabemos que los paquetes planos también parametrizan el espacio equivalente de calibre de soluciones de la teoría de Chen Simons. Por lo tanto, una forma de incluir estos factores de homotopía en la acción es acoplar la teoría a un término de Chern-Simons. Esto se hizo explícitamente en el siguiente trabajo de Oh.

Como mencioné, las funciones de onda multicomponente son solo una de las formas de describir los grados de libertad internos. Otra posibilidad es formular la teoría en una órbita coadjunta. En este caso, las funciones de onda con valores vectoriales se recuperan después de la cuantificación de la órbita coadjunta en un espacio de Hilbert que lleva una representación irreducible. La ventaja de este método es que podemos trabajar con funciones de onda escalares, pero ahora el espacio de configuración se convierte en un paquete de fibras. q cuyas fibras son órbitas coadjuntas. En realidad, Oh tomó esta elección en el artículo anterior cuando agregó los grados de libertad internos al acoplar el sistema a S 2 que es la órbita coadjunta correspondiente a S tu ( 2 ) .

Vale la pena que las conexiones planas resultantes sean soluciones de las ecuaciones de Knizhnik-Zamolodchikov centradas en los vórtices en las ubicaciones de anyón.