Kubischer Begriff in Eichtheorien

In gewöhnlichen klassischen Eichtheorien wird der Begriff 1 2 T R ( F μ v F μ v ) = 1 4 F μ v A F A μ v im Lagrange ist völlig natürlich. Ein irgendwie seltener Begriff wäre ein "kubischer" wie

L C = κ η μ γ T R ( F μ v F v a F a γ ) .
Gibt es einen anderen physikalischen Grund als Unnatürlichkeit und Occams Rasiermesser, es nicht in eine Lagrange-Funktion aufzunehmen?

Mir ist nicht klar, was Sie hier mit "Unnatürlichkeit" meinen. Es ist mir auch nicht klar, dass dieser Begriff eichinvariant ist.
Die Spur macht sie eichinvariant. Es ist ein Scheitelpunkt mit drei Glueballs.
@DJBunk mit unnatürlich meine ich seltsam, mathematisch. Kinetische Begriffe wie sieht man nicht X ˙ 3 in der Punktteilchenmechanik zum Beispiel. Was die Eichinvaranz betrifft, so ist sie wahr und folgt aus der Zyklizität der Spur: L C = Tr ( F F F ) Tr ( U 1 F U U 1 F U U 1 F U ) = L C .

Antworten (4)

Sie können sicherlich eine Lagrange-Funktion mit aufschreiben F 2 Und F 3 Terme, und sie werden beide zu den Amplituden auf Baumebene beitragen, an denen drei (nicht-abelsche) Eichbosonen beteiligt sind. (Du könntest auch zusätzliche Terme mit vier oder mehr Faktoren von schreiben F μ v , aber die Kinematik verhindert, dass sie zur Amplitude des Drei-Gauge-Bosons beitragen.)

Sie könnten erwarten, so etwas wie Ihr zu sehen F 3 Begriff zeigen sich in einer niederenergetischen Wirkung. Das Zählen der Potenz zeigt jedoch, dass dieser Operator die Dimension sechs hat, sodass sein Koeffizient in der effektiven Aktion im Allgemeinen einen Faktor trägt 1 / M 2 , Wo M ist die Skala der neuen Physik. Die effektive Wirkung ist erst bei Energien weit unterhalb dieser Größenordnung sinnvoll, so die F 3 Die Beiträge des Operators zu den Amplituden werden in Systemen, in denen Sie Ihrer Theorie vertrauen können, stark unterdrückt. Bei ausreichend hohen Energien können sie relevant sein, aber Ihre effektive Aktion gibt Ihnen nicht wirklich Hinweise darauf, wie die Physik in diesen Maßstäben aussieht - es können andere Beiträge aus der neuen Physik usw.

Das ist schön erklärt. Ich bin jedoch verwirrt (meine Schuld): Wann würde es Sinn machen, Dim- 6 Betreiber? können sie nicht genau etwas über "neue physe" sagen?
Das Hinzufügen von F ^ 3 zum Standard-YM-Lagrange ergibt eine nicht renormierbare Theorie; Sie sollten es nur als Teil einer niederdimensionalen effektiven Theorie betrachten. F ^ 3 ist der "am wenigsten irrelevante" eichinvariante Operator für reines YM. Die Niedrigenergieerweiterung einer Theorie, die bei höheren Energien gilt, könnte also F ^ 2 als führenden Term und F ^ 3-Term als erste "Korrektur" haben.
Da die Dimension eines Feldes aus dem kinetischen Term abgelesen wird, was ist, wenn wir nehmen F 3 der kinetische Begriff sein und sagen A (Wo F = D A ) hat eine Dimension [ M ] 1 / 3 ?
Ich bin mir nicht sicher, warum Sie das tun würden. Kennen Sie eine Möglichkeit, eine vernünftige F^3-Theorie aufzubauen?

user1504 hat bereits in Bezug auf die Renormalisierung erklärt. Hier möchte ich eine Idee auf einen anderen Aspekt werfen – warum Lagrangians, die Sie in der realen Physik sehen, immer eine quadratische Abhängigkeit in der Geschwindigkeit haben, dh L X ˙ 2 oder L ϕ ˙ 2 .

Lassen Sie uns über einfache Quantenmechanik sprechen, dh es wird von Dingen gesprochen ( X , P ; T ) , und keine Verbindungen wie A (obwohl ich verstehe, dass Ihr ursprünglicher Beitrag ungefähr war A , Lol).

Um den kanonischen Quantisierungsformalismus mit dem Pfadintegralformalismus zu verbinden, müssen wir die "Hamiltonsche Version des Pfadintegrals" gleichsetzen. D X D P   e ich ( P D X H D T ) , zur allgemein verwendeten "Lagrange-Version des Pfadintegrals", D X   e ich L D T . Die Sache ist, dass diese beiden Amplituden im Allgemeinen nicht gleich sind; Sie sind in der realen Physik gleich, weil H P 2 , dh L X ˙ 2 (Siehe Polchinski-Anhang oder Peskin-Kap. 9 usw. Der Grund dafür ist im Grunde, dass wir im Pfadintegral nur Gauß-Integral und Taylor-Entwicklung durchführen können; jetzt die e P 2 Integration vorbei D P ergibt eine unwichtige Konstante).

Es ist schwer zu sagen, ob dies ein "intrinsischer" Grund ist, warum L X ˙ 2 . Aber es scheint eine wichtige Tatsache zu sein, die wir verwenden, um den Hamiltonschen Formalismus schön mit dem Lagrangeschen Formalismus in Beziehung zu setzen.

Kommentar zur Antwort(v1): Ein bequemer Ansatz mag die Berechnungen erleichtern und die Theorie vereinfachen, aber das allein ist noch kein rigoroses Argument dafür, bestimmte Terme von vornherein zu verbieten.
... manchmal nur eine lineare Abhängigkeit, wie in der Aktion für die Dirac-Gleichung.

Dieser Begriff, den Sie aufschreiben, ist im Sinne der Renormierungsgruppe irrelevant. Wenn es in der Lagrange-Funktion vorkommt, die die Kurzstreckenphysik beschreibt, wird es fast nichts zu den Korrelationsfunktionen von Fernobservablen beitragen. Sein Beitrag sollte proportional zum Quadrat sein S Kurzstreckenskala Fernskala .

Ich habe nach seiner klassischen Bedeutung gefragt, aber jetzt sehe ich, dass Ihre Antwort viel interessanter ist :) Könnten Sie ein Detail geben, warum das so ist? Oder Sie haben eine Dimensionsanalyse gemacht?
Die Begriffe kommen in physikalisch relevanten klassischen Eichtheorien nicht vor, da es sich um Annäherungen an Quanteneichtheorien handelt, in denen sie nicht vorkommen, weil sie irrelevant sind. Ich glaube nicht, dass es einen unabhängigen klassischen Grund gibt, warum es nicht erscheint. Die Natürlichkeitsargumente erscheinen mir schwach, aber es gibt eine gewisse Rechtfertigung dafür, quadratische kinetische Terme zu bevorzugen. Weitere Informationen finden Sie unter physical.stackexchange.com/a/43743/1504 . Das Skalierungsverhalten ist im Wesentlichen eine Dimensionsanalyse plus eine Annahme über die Normalisierung des kinetischen Terms.
ja, das habe ich zugegeben. Die Frage ist nun: Warum wird dieser Begriff durch unterdrückt? ( E / Λ ) 2 ?
Es ist ein Standardargument für die Renormierungsskalierung, wie ich schon sagte, dimensionale Analyse plus Normalisierung des kinetischen Terms. Wenn Sie Details wollen, müssen Sie etwas über die Theorie der Renormalisierung lernen. Eine Leseliste finden Sie unter physical.stackexchange.com/q/743/1504 .

Ich würde sagen, dass wie die meisten Gleichungen in der Physik die von einem Lagrange abgeleiteten Bewegungsgleichungen von zweiter Ordnung sein müssen. Das könnte ein ganz natürlicher Grund sein, Terme mit Derivaten höherer Ordnung zu vermeiden.

Es lohnt sich, darauf hinzuweisen:

  • die Differentialgleichungen zweiter Ordnung sichern die Kausalität.

  • Obwohl es möglich ist, einen Lagrange-Operator mit mehr als zwei Ableitungen zu finden, deren eom diff zweiter Ordnung sind. Gl. (wie Lovelock Lagrangian für die Schwerkraft) sind nicht so einfach wie der kubische Begriff, den Sie beschrieben haben.

Beifall