Término cúbico en teorías de calibre

En las teorías de calibre clásicas ordinarias, el término 1 2 T r ( F m v F m v ) = 1 4 F m v a F a m v en el Lagrangiano es completamente natural. Un término algo raro sería uno "cúbico" como

L C = k η m γ T r ( F m v F v α F α γ ) .
¿Hay alguna razón física, además de la falta de naturalidad y la navaja de Occam, para no incluirlo en un Lagrangiano?

No me queda claro lo que quiere decir con 'falta de naturalidad' aquí. Tampoco me queda claro que este término sea invariante en calibre.
La traza la hace calibre invariante. Es un vértice de tres bolas de pegamento.
@DJBunk por antinatural quiero decir extraño, matemáticamente. Uno no ve términos cinéticos como X ˙ 3 en la mecánica de partículas puntuales, por ejemplo. En cuanto a la invariancia de calibre, es cierta y se deriva de la ciclicidad de la traza: L C = Tr ( F F F ) Tr ( tu 1 F tu tu 1 F tu tu 1 F tu ) = L C .

Respuestas (4)

Ciertamente puedes escribir un Lagrangiano con F 2 y F 3 términos, y ambos contribuirán a las amplitudes a nivel de árbol que involucran tres bosones de calibre (no abelianos). (También puedes escribir términos adicionales con cuatro o más factores de F m v , pero la cinemática evita que contribuyan a la amplitud del bosón de calibre tres.)

Es posible que espere ver algo como su F 3 término aparecen en una acción efectiva de baja energía. Pero el conteo de potencias muestra que este operador tiene dimensión seis, por lo que su coeficiente en la acción efectiva lleva genéricamente un factor 1 / METRO 2 , dónde METRO es la escala de la nueva física. La acción efectiva solo es útil en energías muy por debajo de esta escala, por lo que el F 3 las contribuciones del operador a las amplitudes se suprimen en gran medida en los regímenes en los que puede confiar en su teoría. A energías lo suficientemente altas, pueden ser relevantes, pero su acción efectiva realmente no le brinda ninguna guía sobre cómo se ve la física en esas escalas; puede haber otras contribuciones de la nueva física, etc.

Eso está muy bien explicado. Sin embargo, estoy confundido (mi culpa): ¿cuándo tendría sentido considerar la atenuación? 6 operadores? ¿No pueden decir precisamente algo sobre "nueva physis"?
Agregar F ^ 3 al estándar YM Lagrangian da una teoría no renormalizable; solo debe considerarlo como parte de una teoría efectiva de baja dimensión. F ^ 3 es el operador invariante de calibre "menos irrelevante" para YM puro. Entonces, la expansión de baja energía de alguna teoría que se sostiene a energías más altas podría tener F ^ 2 como término principal y F ^ 3 como la primera "corrección".
Dado que la dimensión de un campo se lee del término cinético, ¿qué pasa si tomamos F 3 ser el término cinético y decir A (dónde F = d A ) es de dimensión [ metro ] 1 / 3 ?
No estoy seguro de por qué harías eso. ¿Conoce alguna forma de construir una teoría F ^ 3 sensata?

user1504 ya ha explicado en términos de renormalización. Aquí quiero arrojar una idea sobre otro aspecto: por qué los lagrangianos que ves en la física real siempre tienen una dependencia cuadrática en la velocidad, es decir L X ˙ 2 o L ϕ ˙ 2 .

Hablemos de mecánica cuántica simple, es decir, se habla de las cosas en términos de ( X , pag ; t ) , y sin conexiones como A (aunque entiendo que su publicación original era sobre A , jajaja).

Para vincular el formalismo de cuantización canónica y el formalismo de la integral de ruta, necesitamos equiparar la "versión hamiltoniana de la integral de ruta", D X D pag   mi i ( pag d X H d t ) , a la "versión lagrangiana de la integral de trayectoria" comúnmente utilizada, D X   mi i L d t . La cuestión es que estas dos amplitudes generalmente no son iguales; son iguales en física real porque H pag 2 , es decir L X ˙ 2 (ver el Apéndice de Polchinski o el Capítulo 9 de Peskin, etc. Básicamente, la razón es que, en la integral de trayectoria, solo podemos hacer la integral de Gauss y la expansión de Taylor; ahora la mi pag 2 integrando sobre D pag da una constante sin importancia).

Es difícil hablar sobre si esta es una razón "intrínseca" por la cual L X ˙ 2 . Pero parece un hecho importante que usamos para relacionar muy bien el formalismo hamiltoniano con el formalismo lagrangiano.

Comentario a la respuesta (v1): Un ansatz conveniente puede facilitar los cálculos y simplificar la teoría, pero esto en sí mismo no es un argumento riguroso para prohibir ciertos términos en primer lugar.
... a veces solo una dependencia lineal, como en la acción de la ecuación de Dirac.

Ese término que está escrito es irrelevante en el sentido del grupo de renormalización. Si aparece en el Lagrangiano que describe la física de corta distancia, no aportará casi nada a las funciones de correlación de los observables de larga distancia. Su contribución debe ser proporcional al cuadrado de s escala de corta distancia escala de larga distancia .

Estaba preguntando por su significado clásico, pero ahora veo que tu respuesta es mucho más interesante :) ¿Podrías darnos un detalle, por qué es así? ¿O hiciste un análisis dimensional?
Los términos no aparecen en las teorías de calibre clásicas físicamente relevantes porque se aproximan a las teorías de calibre cuántico, donde no aparece porque es irrelevante. No creo que haya una razón clásica independiente por la que no aparece. Los argumentos de la naturalidad me parecen débiles, pero hay alguna justificación para preferir los términos cinéticos cuadráticos. Consulte physics.stackexchange.com/a/43743/1504 para obtener más información. El comportamiento de escalado es esencialmente un análisis dimensional, además de una suposición sobre la normalización del término cinético.
sí, lo admití. La pregunta es ahora: ¿por qué ese término es suprimido por ( mi / Λ ) 2 ?
Es un argumento de escalado de renormalización estándar, como dije, análisis dimensional más normalización del término cinético. Si quiere detalles, necesitará aprender algo de la teoría de la renormalización. Consulte physics.stackexchange.com/q/743/1504 para obtener una lista de lectura.

Diría que, como la mayoría de las ecuaciones en física, se pide que las Ecuaciones de Movimiento derivadas de un Lagrangiano sean de segundo orden. Esa podría ser una razón muy natural para evitar términos con derivados de orden superior.

Vale la pena señalar:

  • las ecuaciones diferenciales de segundo orden aseguran la causalidad.

  • Aunque es posible encontrar un Lagrangiano con más de dos derivadas cuyas eom sean diff de segundo orden. ecuaciones (como Lovelock Lagrangian para la gravedad), no son tan simples como el término cúbico que describiste.

Salud