Coeficientes acoplados al momento angular
En mecánica cuántica , los símbolos 3-j de Wigner , también llamados símbolos 3 -jm , son una alternativa a los coeficientes de Clebsch-Gordan con el propósito de sumar momentos angulares. [1] Si bien los dos enfoques abordan exactamente el mismo problema físico, los símbolos 3- j lo hacen de manera más simétrica.
Relación matemática con los coeficientes de Clebsch-Gordan
Los símbolos 3- j se dan en términos de los coeficientes de Clebsch-Gordan por
Los componentes j y m son números cuánticos de momento angular, es decir, cada j (y cada m correspondiente ) es un entero no negativo o un entero semiimpar . El exponente del factor signo siempre es un entero, por lo que permanece igual cuando se transpone a la izquierda, y la relación inversa se sigue al realizar la sustitución m 3 → − m 3 :
Expresión explícita
¿Dónde está el delta de Kronecker ?
La suma se realiza sobre aquellos valores enteros k para los cuales el argumento de cada factorial en el denominador no es negativo, es decir, los límites de la suma K y N se toman iguales: el inferior al superior . Los factoriales de números negativos se toman convencionalmente iguales a cero, de modo que los valores del símbolo 3 j en, por ejemplo, o se establecen automáticamente en cero.
Relación definicional con los coeficientes de Clebsch-Gordan
Los coeficientes CG se definen para expresar la suma de dos momentos angulares en términos de un tercero:
Los símbolos 3- j , por otro lado, son los coeficientes a los que se deben sumar tres momentos angulares para que la resultante sea cero:
Aquí se encuentra el estado de momento angular cero ( ). Es evidente que el símbolo 3- j trata los tres momentos angulares involucrados en el problema de la suma en igualdad de condiciones y, por lo tanto, es más simétrico que el coeficiente CG.
Dado que el estado no cambia con la rotación, también se dice que la contracción del producto de tres estados rotacionales con un símbolo 3- j es invariante bajo rotaciones.
Reglas de selección
El símbolo 3- j de Wigner es cero a menos que se cumplan todas estas condiciones:
Propiedades de simetría
Un símbolo 3- j es invariante bajo una permutación par de sus columnas:
Una permutación impar de las columnas da un factor de fase:
Cambiando el signo de los números cuánticos ( inversión del tiempo ) también se obtiene una fase:
Los símbolos 3- j también tienen las llamadas simetrías de Regge, que no se deben a permutaciones o inversiones temporales. [2] Estas simetrías son:
Con las simetrías de Regge, el símbolo 3- j tiene un total de 72 simetrías. Estas se muestran mejor mediante la definición de un símbolo de Regge, que es una correspondencia uno a uno entre él y un símbolo 3- j y asume las propiedades de un cuadrado semimágico: [3]
por lo que las 72 simetrías corresponden ahora a 3! intercambios de filas y 3! intercambios de columnas más una transposición de la matriz. Estos hechos se pueden utilizar para diseñar un esquema de almacenamiento eficaz. [3]
Relaciones de ortogonalidad
Un sistema de dos momentos angulares con magnitudes j 1 y j 2 se puede describir en términos de los estados base desacoplados (etiquetados por los números cuánticos m 1 y m 2 ), o de los estados base acoplados (etiquetados por j 3 y m 3 ). Los símbolos 3- j constituyen una transformación unitaria entre estas dos bases, y esta unitaridad implica las relaciones de ortogonalidad
El delta triangular { j 1 j 2 j 3 } es igual a 1 cuando la tríada ( j 1 , j 2 , j 3 ) satisface las condiciones del triángulo, y es cero en caso contrario. El delta triangular en sí mismo a veces se denomina de manera confusa [4] un " símbolo 3- j " (sin la m ) en analogía con los símbolos 6- j y 9- j , todos los cuales son sumas irreducibles de símbolos 3- jm donde no quedan m variables.
Relación con los armónicos esféricos; coeficientes de Gaunt
Los símbolos 3- jm dan la integral de los productos de tres armónicos esféricos [5]
con , y enteros. Estas integrales se denominan coeficientes de Gaunt.
Relación con las integrales de armónicos esféricos ponderados por espín
Existen relaciones similares para los armónicos esféricos ponderados por espín si :
Relaciones de recursión
Expresiones asintóticas
Para un 3- j distinto de cero el símbolo es
donde , y es una función de Wigner . Generalmente, una mejor aproximación que obedece la simetría de Regge se da mediante
dónde .
Tensor métrico
La siguiente cantidad actúa como un tensor métrico en la teoría del momento angular y también se conoce como símbolo de Wigner 1-jm : [1]
Se puede utilizar para realizar inversiones temporales en momentos angulares.
Casos especiales y otras propiedades
De la ecuación (3.7.9) en [6]
donde P son polinomios de Legendre .
Relación con RacahV-coeficientes
Los símbolos 3- j de Wigner están relacionados con los coeficientes V de Racah [7] mediante una fase simple:
Relación con la teoría de grupos
Esta sección esencialmente reformula la relación definicional en el lenguaje de la teoría de grupos.
Una representación grupal de un grupo es un homomorfismo del grupo en un grupo de transformaciones lineales sobre algún espacio vectorial. Las transformaciones lineales pueden estar dadas por un grupo de matrices con respecto a alguna base del espacio vectorial.
El grupo de transformaciones que dejan los momentos angulares invariantes es el grupo de rotación tridimensional SO(3) . Cuando se incluyen los momentos angulares de "espín", el grupo es su grupo de recubrimiento doble , SU(2) .
Una representación reducible es aquella en la que se puede aplicar un cambio de base para llevar todas las matrices a la forma diagonal en bloques. Una representación es irreducible (irrep) si no existe tal transformación.
Para cada valor de j , los 2 j +1 kets forman una base para una representación irreducible (irrep) de SO(3)/SU(2) sobre los números complejos. Dados dos irreps, el producto directo tensorial se puede reducir a una suma de irreps, dando lugar a los coeficientes de Clebcsh-Gordon, o por reducción del triple producto de tres irreps al irrep trivial 1 dando lugar a los símbolos 3j.
Símbolos 3j para otros grupos
El símbolo se ha estudiado con mayor intensidad en el contexto del acoplamiento del momento angular. Por ello, está estrechamente relacionado con la teoría de representación de grupos de los grupos SU(2) y SO(3), como se ha comentado anteriormente. Sin embargo, muchos otros grupos son importantes en física y química , y se ha trabajado mucho en el símbolo de estos otros grupos. En esta sección, se analiza parte de ese trabajo.
Grupos simplemente reducibles
El artículo original de Wigner [1]
no se limitaba a SO(3)/SU(2), sino que se centraba en los grupos simplemente reducibles (SR). Estos son grupos en los que
- Todas las clases son ambivalentes, es decir, si es miembro de una clase, entonces también lo es.
- El producto Kronecker de dos irrep no tiene multiplicidad, es decir, no contiene ninguna irrep más de una vez.
Para los grupos SR, cada irrep es equivalente a su conjugado complejo, y bajo permutaciones de las columnas el valor absoluto del símbolo es invariante y la fase de cada uno puede elegirse de modo que, como máximo, cambien de signo bajo permutaciones impares y permanezcan sin cambios bajo permutaciones pares.
Grupos compactos generales
Los grupos compactos forman una amplia clase de grupos con estructura topológica . Incluyen los grupos finitos con topología discreta añadida
y muchos de los grupos de Lie .
Los grupos compactos generales no serán ambivalentes ni estarán libres de multiplicidad. Derome y Sharp [8]
y Derome [9] examinaron el símbolo para el caso general utilizando la relación con los coeficientes de Clebsch-Gordon de
donde es la dimensión del espacio de representación de y es la representación conjugada compleja de .
Al examinar permutaciones de columnas del símbolo, mostraron tres casos:
- Si todos son inequivalentes, entonces el símbolo puede elegirse para que sea invariante bajo cualquier permutación de sus columnas.
- si exactamente dos son equivalentes, entonces se pueden elegir transposiciones de sus columnas de modo que algunos símbolos sean invariantes mientras que otros cambien de signo. Un enfoque que utiliza un producto de corona del grupo con [10] mostró que estos corresponden a las representaciones o del grupo simétrico . Las permutaciones cíclicas dejan el símbolo invariante.
- Si los tres son equivalentes, el comportamiento depende de las representaciones del grupo simétrico . Las representaciones del grupo de corona correspondientes a son invariantes bajo transposiciones de las columnas, correspondientes a cambian de signo bajo transposiciones, mientras que un par correspondiente a la representación bidimensional se transforma de acuerdo con eso.
Se han realizado más investigaciones sobre símbolos para grupos compactos basándose en estos principios. [11]
Sol)
El grupo unitario especial SU(n) es el grupo de Lie de matrices unitarias n × n con determinante 1.
El grupo SU(3) es importante en la teoría de partículas . Existen muchos artículos que tratan sobre su símbolo o equivalente [12] [13] [14] [15] [16] [17] [18] [19]
Se ha estudiado el símbolo del grupo SU(4) [20] [21],
aunque también hay trabajos sobre los grupos SU(n) generales [22] [23].
Grupos puntuales cristalográficos
Hay muchos artículos que tratan los símbolos o coeficientes de Clebsch-Gordon para los grupos puntuales cristalográficos finitos
y los grupos puntuales dobles.
El libro de Butler [24]
hace referencia a estos y detalla la teoría junto con tablas.
Grupos magnéticos
Los grupos magnéticos incluyen operadores antilineales y lineales. Deben tratarse utilizando la teoría de Wigner de correpresentaciones de grupos unitarios y antiunitarios . Una desviación significativa de la teoría de representación estándar es que la multiplicidad de la correpresentación irreducible
en el producto directo de las correpresentaciones irreducibles
es generalmente menor que la multiplicidad de la correpresentación trivial en el producto triple , lo que conduce a diferencias significativas entre los coeficientes de Clebsch-Gordon y el símbolo.
Se han examinado los símbolos para los grupos grises [25] [26]
y para los grupos de puntos magnéticos [27].
Véase también
Referencias
- ^ abc Wigner, EP (1993). "Sobre las matrices que reducen los productos de Kronecker de las representaciones de grupos SR". En Wightman, Arthur S. (ed.). The Collected Works of Eugene Paul Wigner . Vol. A/1. págs. 608–654. doi :10.1007/978-3-662-02781-3_42. ISBN 978-3-642-08154-5.
- ^ Regge, T. (1958). "Propiedades de simetría de los coeficientes de Clebsch-Gordan". Nuovo Cimento . 10 (3): 544. Bibcode :1958NCim...10..544R. doi :10.1007/BF02859841. S2CID 122299161.
- ^ ab Rasch, J.; Yu, ACH (2003). "Esquema de almacenamiento eficiente para coeficientes de Wigner 3 j , 6 j y Gaunt precalculados ". SIAM J. Sci. Comput . 25 (4): 1416–1428. doi :10.1137/s1064827503422932.
- ^ PES Wormer; J. Paldus (2006). "Diagramas de momento angular". Avances en química cuántica . 51 . Elsevier: 59–124. Bibcode :2006AdQC...51...59W. doi :10.1016/S0065-3276(06)51002-0. ISBN 9780120348510. ISSN 0065-3276.
- ^ Cruzan, Orval R. (1962). "Teoremas de adición traslacional para funciones de onda vectoriales esféricas". Quarterly of Applied Mathematics . 20 (1): 33–40. doi : 10.1090/qam/132851 . ISSN 0033-569X.
- ^ Edmonds, Alan (1957). Momento angular en mecánica cuántica . Princeton University Press.
- ^ Racah, G. (1942). "Teoría de los espectros complejos II". Physical Review . 62 (9–10): 438–462. Código Bibliográfico :1942PhRv...62..438R. doi :10.1103/PhysRev.62.438.
- ^ Derome, JR; Sharp, WT (1965). "Álgebra de Racah para un grupo arbitrario". J. Math. Phys . 6 (10): 1584–1590. Bibcode :1965JMP.....6.1584D. doi :10.1063/1.1704698.
- ^ Derome, JR (1966). "Propiedades de simetría de los símbolos 3j para un grupo arbitrario". J. Math. Phys . 7 (4): 612–615. Bibcode :1966JMP.....7..612D. doi :10.1063/1.1704973.
- ^ Newmarch, JD (1983). "Sobre las simetrías 3j". J. Math. Phys . 24 (4): 757–764. Código Bibliográfico :1983JMP....24..757N. doi :10.1063/1.525771.
- ^ Butler, PH; Wybourne, BG (1976). "Cálculo de símbolos j y jm para grupos compactos arbitrarios. I. Metodología". Int. J. Quantum Chem . X (4): 581–598. doi :10.1002/qua.560100404.
- ^ Moshinsky, Marcos (1962). "Coeficientes de Wigner para el grupo SU 3 y algunas aplicaciones". Rev. Mod. Phys . 34 (4): 813. Bibcode :1962RvMP...34..813M. doi :10.1103/RevModPhys.34.813.
- ^ P. McNamee, SJ; Chilton, Frank (1964). "Tablas de coeficientes de Clebsch-Gordan de SU 3 ". Rev. Mod. Phys . 36 (4): 1005. Bibcode :1964RvMP...36.1005M. doi :10.1103/RevModPhys.36.1005.
- ^ Draayer, JP; Akiyama, Yoshimi (1973). "Coeficientes de Wigner y Racah para SU3" (PDF) . J. Math. Phys . 14 (12): 1904. Bibcode :1973JMP....14.1904D. doi :10.1063/1.1666267. hdl : 2027.42/70151 .
- ^ Akiyama, Yoshimi; Draayer, JP (1973). "Guía de usuario de programas Fortran para coeficientes de Wigner y Racah de SU 3 ". Comput. Phys. Commun . 5 (6): 405. Bibcode :1973CoPhC...5..405A. doi :10.1016/0010-4655(73)90077-5. hdl : 2027.42/24983 .
- ^ Bickerstaff, RP; Butler, PH; Butts, MB; Haase, R. w.; Reid, MF (1982). "Tablas 3jm y 6j para algunas bases de SU 6 y SU 3 ". J. Phys. A . 15 (4): 1087. Bibcode :1982JPhA...15.1087B. doi :10.1088/0305-4470/15/4/014.
- ^ Swart de, JJ (1963). "El modelo del octeto y sus coeficientes de Glebsch-Gordan". Rev. Mod. Phys . 35 (4): 916. Bibcode :1963RvMP...35..916D. doi :10.1103/RevModPhys.35.916.
- ^ Derome, JR (1967). "Propiedades de simetría de los símbolos 3j para SU(3)". J. Math. Phys . 8 (4): 714–716. Bibcode :1967JMP.....8..714D. doi :10.1063/1.1705269.
- ^ Hecht, KT (1965). "Reacoplamiento de SU 3 y paternidad fraccional en la capa 2s-1d". Nucl. Phys . 62 (1): 1. Bibcode :1965NucPh..62....1H. doi :10.1016/0029-5582(65)90068-4. hdl : 2027.42/32049 .
- ^ Hecht, KT; Pang, Sing Ching (1969). "Sobre el esquema supermultiplete de Wigner" (PDF) . J. Math. Phys . 10 (9): 1571. Bibcode :1969JMP....10.1571H. doi :10.1063/1.1665007. hdl : 2027.42/70485 .
- ^ Haacke, EM; Moffat, JW; Savaria, P. (1976). "Un cálculo de los coeficientes SU(4) de Glebsch-Gordan". J. Math. Phys . 17 (11): 2041. Bibcode :1976JMP....17.2041H. doi :10.1063/1.522843.
- ^ Baird, GE; Biedenharn, LC (1963). "Sobre la representación de los grupos de Lie semisimples. II". J. Math. Phys . 4 (12): 1449. Bibcode :1963JMP.....4.1449B. doi :10.1063/1.1703926.
- ^ Baird, GE; Biedenharn, LC (1964). "Sobre las representaciones de los grupos de Lie semisimples. III. La operación de conjugación explícita para SU n ". J. Math. Phys . 5 (12): 1723. Bibcode :1964JMP.....5.1723B. doi :10.1063/1.1704095.
- ^ Butler, PH (1981). Aplicaciones de la simetría de grupos puntuales: métodos y tablas . Plenum Press, Nueva York.
- ^ Newmarch, JD (1981). Álgebra de Racah para grupos con simetría de inversión temporal (tesis). Universidad de Nueva Gales del Sur.
- ^ Newmarch, JD; Golding, RM (1981). "El álgebra de Racah para grupos con simetría de inversión temporal". J. Math. Phys . 22 (2): 233–244. Bibcode :1981JMP....22..233N. doi :10.1063/1.524894. hdl : 1959.4/69692 .
- ^ Kotsev, JN; Aroyo, MI; Angelova, MN (1984). "Tablas de coeficientes espectroscópicos para simetría de grupos de puntos magnéticos". J. Mol. Structure . 115 : 123–128. doi :10.1016/0022-2860(84)80030-7.
- LC Biedenharn y JD Louck, Momento angular en física cuántica , volumen 8 de la Enciclopedia de matemáticas, Addison-Wesley, Reading, 1981.
- DM Brink y GR Satchler, Angular Momentum , 3.ª edición, Clarendon, Oxford, 1993.
- AR Edmonds, Momento angular en mecánica cuántica , 2.ª edición, Princeton University Press, Princeton, 1960.
- Maximon, Leonard C. (2010), "Símbolos 3j, 6j, 9j", en Olver, Frank WJ ; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), Manual del NIST de funciones matemáticas , Cambridge University Press, ISBN 978-0-521-19225-5, Sr. 2723248.
- Varshalovich, DA; Moskalev, AN; Khersonskii, VK (1988). Teoría cuántica del momento angular . World Scientific Publishing Co.
- Regge, T. (1958). "Propiedades de simetría de los coeficientes de Clebsch-Gordon". Nuovo Cimento . 10 (3): 544–545. Bibcode :1958NCim...10..544R. doi :10.1007/BF02859841. S2CID 122299161.
- Horie, Hisashi (1964). "Representaciones del grupo simétrico y los coeficientes de parentesco fraccionario". J. Phys. Soc. Jpn . 19 (10): 1783. Bibcode :1964JPSJ...19.1783H. doi :10.1143/JPSJ.19.1783.
- Itzykson, C.; Nauenberg, M. (1966). "Grupos unitarios: representaciones y descomposiciones". Rev. Mod. Phys . 38 (1): 95. Bibcode :1966RvMP...38...95I. doi :10.1103/RevModPhys.38.95. OSTI 1444219.
- Kramer, P. (1967). "Coeficientes de parentesco fraccionarios orbitales para el modelo de capas del oscilador armónico". Z. Phys . 205 (2): 181. Bibcode :1967ZPhy..205..181K. doi :10.1007/BF01333370. S2CID 122879812.
- Kramer, P. (1968). "Coeficientes de reacoplamiento del grupo simétrico para configuraciones de modelos de conchas y cúmulos". Z. Phys . 216 (1): 68. Bibcode :1968ZPhy..216...68K. doi :10.1007/BF01380094. S2CID 121508850.
- Lezuo, KJ (1972). "El grupo simétrico y la base Gel'fand de U(3). Generalizaciones de la identidad de Dirac". J. Math. Phys . 13 (9): 1389. Bibcode :1972JMP....13.1389L. doi :10.1063/1.1666151.
- Paldus, Josef (1974). "Enfoque teórico grupal para los cálculos de la interacción de configuración y la teoría de perturbaciones para sistemas atómicos y moleculares". J. Chem. Phys . 61 (12): 5321. Bibcode :1974JChPh..61.5321P. doi :10.1063/1.1681883.
- Schulten, Klaus; Gordon, Roy G. (1975). "Evaluación recursiva exacta de coeficientes 3j y 6j para acoplamiento mecánico cuántico de momentos angulares". J. Math. Phys . 16 (10): 1961–1970. Bibcode :1975JMP....16.1961S. doi :10.1063/1.522426.
- Paldus, Josef (1976). "Enfoque de grupo unitario para el problema de correlación de muchos electrones: relación de las formulaciones de Gelfand y de Weyl". Phys. Rev. A . 14 (5): 1620. Bibcode :1976PhRvA..14.1620P. doi :10.1103/PhysRevA.14.1620.
- Raynal, Jacques (1978). "Sobre la definición y propiedades de los símbolos 3-j generalizados". J. Math. Phys . 19 (2): 467. doi :10.1063/1.523668.
- Sarma, CR; Sahasrabudhe, GG (1980). "Simetría permutacional de muchos estados de partículas". J. Math. Phys . 21 (4): 638. Bibcode :1980JMP....21..638S. doi :10.1063/1.524509.
- Chen, Jin-Quan; Gao, Mei-Juan (1982). "Un nuevo enfoque para la representación de grupos de permutación". J. Math. Phys . 23 (6): 928. Bibcode :1982JMP....23..928C. doi :10.1063/1.525460.
- Sarma, CR (1982). "Determinación de la base para las representaciones irreducibles del grupo unitario para U(p+q)↓U(p)×U(q)". J. Math. Phys . 23 (7): 1235. Bibcode :1982JMP....23.1235S. doi :10.1063/1.525507.
- Chen, J.-Q.; Chen, X.-G. (1983). "La base de Gel'fand y los elementos de la matriz del grupo unitario graduado U(m/n)". J. Phys. A . 16 (15): 3435. Bibcode :1983JPhA...16.3435C. doi :10.1088/0305-4470/16/15/010.
- Nikam, RS; Dinesha, KV; Sarma, CR (1983). "Reducción de representaciones de productos internos de grupos unitarios". J. Math. Phys . 24 (2): 233. Bibcode :1983JMP....24..233N. doi :10.1063/1.525698.
- Chen, Jin-Quan; Collinson, David F.; Gao, Mei-Juan (1983). "Coeficientes de transformación de grupos de permutación". J. Math. Phys . 24 (12): 2695. Bibcode :1983JMP....24.2695C. doi :10.1063/1.525668.
- Chen, Jin-Quan; Gao, Mei-Juan; Chen, Xuan-Gen (1984). "El coeficiente de Clebsch-Gordan para la base SU (m / n) Gel'fand". J. Física. A . 17 (3): 481. Código bibliográfico : 1984JPhA...17..727K. doi :10.1088/0305-4470/17/3/011.
- Srinivasa Rao, K. (1985). "Temas especiales en la teoría cuántica del momento angular". Pramana . 24 (1): 15–26. Bibcode :1985Prama..24...15R. doi :10.1007/BF02894812. S2CID 120663002.
- Wei, Liqiang (1999). "Enfoque unificado para el cálculo exacto de los coeficientes de acoplamiento y reacoplamiento del momento angular". Comput. Phys. Commun . 120 (2–3): 222–230. Bibcode :1999CoPhC.120..222W. doi :10.1016/S0010-4655(99)00232-5.
- Rasch, J.; Yu, ACH (2003). "Esquema de almacenamiento eficiente para coeficientes de Wigner 3j, 6j y Gaunt precalculados". SIAM J. Sci. Comput . 25 (4): 1416–1428. doi :10.1137/s1064827503422932.
Enlaces externos
- Stone, Anthony. "Calculadora del coeficiente de Wigner".
- Volya, A. "Calculadora web de coeficientes 3-j y 6-j de Clebsch-Gordan". Archivado desde el original el 29 de septiembre de 2007.(Numérico)
- Stevenson, Paul (2002). "Clebsch-O-Matic". Computer Physics Communications . 147 (3): 853–858. Código Bibliográfico :2002CoPhC.147..853S. doi :10.1016/S0010-4655(02)00462-9.
- Calculadora de símbolos 369j en el Laboratorio de Plasma del Instituto de Ciencias Weizmann (Numérico)
- Frederik J Simons: Archivo de software de Matlab, el código THREEJ.M
- Sage (software de matemáticas) Da la respuesta exacta para cualquier valor de j, m
- (preciso; C, fortran, python)
- Johansson, HT "(FASTWIGXJ)".(búsqueda rápida, precisa; C, fortran)