¿La simetría de espín-rotación del modelo de Kitaev es D2D2D_2 o Q8Q8Q_8?

Se sabe que el hamiltoniano de Kitaev y su estado fundamental de espín líquido rompen el S tu ( 2 ) simetría espín-rotación . Entonces, ¿cuál es el grupo de espín-rotación-simetría para el modelo de Kitaev?

Es obvio que el hamiltoniano de Kitaev es invariante bajo π rotación sobre los tres ejes de giro, y en algunos artículos recientes, los autores dan el "grupo" (ver los comentarios al final) GRAMO = { 1 , mi i π S X , mi i π S y , mi i π S z } , dónde ( mi i π S X , mi i π S y , mi i π S z ) = ( i σ X , i σ y , i σ z ) , con S = 1 2 σ y σ siendo las matrices de Pauli.

Pero, ¿qué hay del grupo de cuaterniones? q 8 = { 1 , 1 , mi i π S X , mi i π S X , mi i π S y , mi i π S y , mi i π S z , mi i π S z } , con 1 representando a la 2 π operador de giro-rotación. Por otro lado, considere el grupo diédrico D 2 = { ( 1 0 0 0 1 0 0 0 1 ) , ( 1 0 0 0 1 0 0 0 1 ) , ( 1 0 0 0 1 0 0 0 1 ) , ( 1 0 0 0 1 0 0 0 1 ) } , y estos S O ( 3 ) Las matrices también pueden implementar el π rotación de giro.

Entonces, cuál eliges, GRAMO , q 8 , o D 2 ? Darse cuenta de q 8 es un subgrupo de S tu ( 2 ) , mientras D 2 es un subgrupo de S O ( 3 ) . Además, D 2 q 8 / Z 2 , al igual que S O ( 3 ) S tu ( 2 ) / Z 2 , dónde Z 2 = { ( 1 0 0 1 ) , ( 1 0 0 1 ) } .

Comentarios: El GRAMO definido anteriormente ni siquiera es un grupo , ya que, por ejemplo, ( mi i π S z ) 2 = 1 GRAMO .

Observaciones: Nótese aquí que D 2 no puede ser visto como un subgrupo de q 8 , al igual que S O ( 3 ) no puede ser visto como un subgrupo de S tu ( 2 ) .

Complementario: como ejemplo, considere un sistema de dos spin-1/2. Queremos obtener algunas ideas sobre qué tipos de funciones de onda preservan la q 8 simetría espín-rotación de este modelo más simple. Por conveniencia, deje R α = mi ± i π S α = 4 S 1 α S 2 α representan el π operadores de giro-rotación alrededor de ejes de giro α = X , y , z , dónde S α = S 1 α + S 2 α . Por lo tanto, al decir una función de onda ψ tiene q 8 simetría espín-rotación, queremos decir R α ψ = λ α ψ , con | λ α | 2 = 1 .

Después de un cálculo simple, encontramos que un q 8 función de onda simétrica de rotación de espín ψ sólo podría tomar una de las siguientes 4 formas posibles:

( 1 ) | ↑↓ | ↓↑ , con ( λ X , λ y , λ z ) = ( 1 , 1 , 1 ) (Estado singlete con plena S tu ( 2 ) simetría espín-rotación), que es aniquilada por S X , S y , y S z ,

( 2 ) | ↑↓ + | ↓↑ , con ( λ X , λ y , λ z ) = ( 1 , 1 , 1 ) , que es aniquilado por S z ,

( 3 ) | ↑↑ | ↓↓ , con ( λ X , λ y , λ z ) = ( 1 , 1 , 1 ) , que es aniquilado por S X ,

( 4 ) | ↑↑ + | ↓↓ , con ( λ X , λ y , λ z ) = ( 1 , 1 , 1 ) , que es aniquilado por S y .

Tenga en cuenta que cualquier tipo de superposición de los estados anteriores ya no sería una función propia de R α y por lo tanto rompería el q 8 simetría espín-rotación.

Cuando se habla de simetría rotacional, la gente tiende a referirse al grupo SO(3) y sus subgrupos. Así que el grupo de simetría aquí es D ~ 2 . D 4 es su representación proyectiva (o grupo de simetría proyectiva).
¿A qué papeles te refieres? Hay una irritación notacional que siempre ocurre cuando se trata de los grupos diedros donde algunas personas escriben D norte y algunos escriben D metro - dónde norte es el número de aristas y vértices del n-ágono y metro = 2 norte es el número de elementos del grupo - para el mismo grupo. Sin embargo, no creo que ninguno de sus D 2 o D 4 son grupos. en el caso de tu D 4 , mi i π S X mi i π S y no es un elemento de su conjunto. Sin embargo, si se tomaran ambos para generar todos los elementos del grupo, debería ser evidente que generarían el mismo grupo aquí.
@ Matthew TItsworth La notación que utilicé aquí es obvia y no es el punto clave de mi pregunta.
@ Matthew TItsworth He agregado las expresiones para S X , S y , S z a mi pregunta, y es directo para mostrar que mi i π S X mi i π S y = mi i π S z D 4 y por lo tanto D 4 es por supuesto un grupo. Mientras D 2 no es un grupo como he mencionado en los Comentarios al final de mi pregunta.
@ Everett Gracias por sus comentarios. Pero, por ejemplo, ¿no solemos decir que el modelo de spin-1/2 de Heisenberg tiene S tu ( 2 ) simetría de espín-rotación en lugar de decir S O ( 3 ) ¿simetría?
Por supuesto que es. Ayuda si tiro de la i afuera. También ayuda si no comento antes de tomar un café. Disculpas.
Toma el cierre de D 2 bajo la multiplicación. Esto obviamente te da el conjunto D 4 . Entonces los conjuntos D 2 y D 4 generar el mismo grupo. Este fue el motivo de la declaración sobre la notación y de preguntar a qué artículo se refiere cuando dice "en algunos artículos recientes, los autores dan..." Busqué en el artículo "Anyons..." de Kitaev, pero no hay ninguna mención. de ahí. Tampoco se menciona D 2 en el artículo de Yao y Lee. No tengo una copia del artículo de Baskaran disponible de inmediato. Sería útil si pudiera aclarar el contexto del que se extrae su pregunta.
@K-boy: Como notaron, su " D 2 " no es un grupo, por lo que su notación es incorrecta y su D ~ 2 es la verdad D 2 , el grupo diedro de rango 4 . Y tu " D 4 " no es el grupo diédrico de rango 8 , pero el grupo de cuaterniones q = q 4 de rango 8 (el primero en la familia de los grupos dicíclicos q 2 norte , de rango 4 norte ). Y el verdadero diedro D 4 grupo no es isomorfo a D 2 × Z 2 (mientras D 2 es isomorfo a Z 2 × Z 2 ). Ref: Ramond, Teoría de grupos, Cambridge, páginas 13 17 . Finalmente, los grupos (abstractos) y las representaciones de grupos son dos cosas diferentes.
@ Matthew TItsworth De nada. D 2 aparece en el tercer párrafo de la página 1 de este trabajo .
@K-chico. Mire el orden de los elementos en su D 4 . Ellos son { 1 , 2 , 4 , 4 , 4 , 4 } . El grupo diédrico de orden 8 tiene dos elementos de orden 4 y cinco elementos de orden 2 . Véase también aquí , aquí y aquí . Trimok tiene razón.
@Matthew TItsworth Muchas gracias. Voy a repensar al respecto.
Tal vez cometí un error y mi D 4 no es isomorfo al grupo diédrico de rango 8.
@Trimok Muchas gracias, buenos comentarios.
@Everett You Muchas gracias, buenos comentarios.

Respuestas (1)

El conjunto GRAMO da la representación de la identidad y generadores del grupo abstracto de cuaterniones como elementos en S L ( 2 , C ) que también están en S tu ( 2 ) . Tomando la terminación de esto se obtiene la representación q 8 de los cuaterniones presentados en la pregunta.

De la descripción del grupo de simetría que viene de aquí , considere la composición de dos π rotaciones a lo largo de X ^ , y ^ , o z ^ eje. Esta operación no es la operación de identidad en giros (que requiere un 4 π rotación). Sin embargo, todos los elementos de D 2 dados arriba son de orden 2.

Esto indica que el grupo de simetría del sistema debe ser isomorfo a los cuaterniones y q 8 es la representación adecuada que actúa sobre los estados de espín. La notación que surge allí para D 2 es probablemente del grupo dicíclico de orden 4 × 2 = 8 que es isomorfo a los cuaterniones.

Probablemente valga la pena mencionar que el grupo de cuaterniones q es una de las dos portadas de Schur del grupo de cuatro de Klein k . el otro es D 4 , el grupo diédrico de grado 4.
@ Matthew TItsworth Gracias por su claro resumen.