•3ϕAS

The evaluated leading order Lagrangian:

ll = ArgumentsSupply[Lagrangian[ChPTWS3[2]], x, RenormalizationState[0], ExpansionOrder -> 3, DropOrder -> 3, DiagonalToU -> True] ;

Redundant terms are discarded:

lll = DiscardTerms[ll, Retain -> {Particle[PhiMeson , RenormalizationState[0]] -> 3, Particle[AxialVector[0] , RenormalizationState[0]] -> 1, Particle[Scalar[1], RenormalizationState[0]] -> 1}, CommutatorReduce -> True, Method -> Expand] // Simplify

1/(12 (f _ ϕ^(ó  ))^3) (c _ 2^( ) (2 < σ^6 '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] > + 3 < σ^6 '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] > - < σ^6 '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] > - 3 < σ^6 '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] > - 3 < σ^6 '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] > - 3 < σ^6 '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] > + 2 < σ^6 '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] > - 3 < σ^6 '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] > + 3 < σ^6 '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] > + 2 < σ^6 '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] > - < σ^6 '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] > + 2 < σ^6 '6 Overscript[A^( ) _ μ, ->] · Overscript[σ, ->] '6 ∂ _ μ(Overscript[ϕ^( ), ->]) · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] '6 Overscript[ϕ^( ), ->] · Overscript[σ, ->] >) s^( ))

Generator matrices are traced:

llle = ExpandU[ExpandU[lll, CommutatorReduce -> True], CommutatorReduce -> True] ;

Indices are supplied:

$IsoIndicesCounter = 0 ;

llll = llle // IsoIndicesSupply // IndicesCleanup ;

Calculation of the Feynman rule:

fields = {QuantumField[Particle[AxialVector[0], RenormalizationState[0]], LorentzIndex[μ1], SUNIndex[I1]][p1], QuantumField[Particle[PhiMeson, RenormalizationState[0]], SUNIndex[I2]][p2], QuantumField[Particle[PhiMeson, RenormalizationState[0]], SUNIndex[I3]][p3], QuantumField[Particle[PhiMeson, RenormalizationState[0]], SUNIndex[I4]][p4], QuantumField[Particle[Scalar[1], RenormalizationState[0]]][p5]}

{A^( ) _ μ _ 1^I _ 1, ϕ^( )^I _ 2, ϕ^( )^I _ 3, ϕ^( )^I _ 4, s^( )}

lal = Expand[llll // PhiToFC] ;

melsimplified = ((WriteString["stdout", "."] ; Simplify[I * SUNReduce[SUNReduce[SUNReduce[FunctionalD[#, fields]]]]]) & /@ lal) ;

.....................................................................................................................

melsimplified1 = melsimplified /. DOT -> Times // Contract ;

melsimplified1[[1]]

(c _ 2^( ) p _ 4^μ _ 1 d _ (6 I _ 4 k7)^(3) d _ (I _ 1 k5 k7)^(3) d _ (I _ 2 I _ 3 k5)^(3))/(f _ ϕ^(ó  ))^3

melsimplified1[[2]]

(c _ 2^( ) p _ 3^μ _ 1 d _ (6 I _ 3 k7)^(3) d _ (I _ 1 k5 k7)^(3) d _ (I _ 2 I _ 4 k5)^(3))/(f _ ϕ^(ó  ))^3

melsimplified2 = Collect[melsimplified1, {_DecayConstant, _CouplingConstant, _Pair, _SU3Delta}] ;

melsimplified2 // LeafCount

7279

Another check that two different evaluations with specific components give the same result:

(SUNReduce[#, Explicit -> True, HoldSums -> False] & /@ (melsimplified2 /. {I1 -> 6, I2 -> 3, I3 -> 3, I4 -> 3} // Expand)) // Simplify

-(c _ 2^( ) (p _ 2^μ _ 1 + p _ 3^μ _ 1 + p _ 4^μ _ 1))/(f _ ϕ^(ó  ))^3

(SUNReduce /@ SUNReduce /@ SUNReduce /@ SUNReduce /@ SUNReduce /@ SUNReduce /@ SUNReduce /@ SUNReduce /@ SUNReduce /@ (melsimplified2 /. {I1 -> 6, I2 -> 3, I3 -> 3, I4 -> 3} // Expand)) // Simplify

-(c _ 2^( ) (p _ 2^μ _ 1 + p _ 3^μ _ 1 + p _ 4^μ _ 1))/(f _ ϕ^(ó  ))^3

Converted by Mathematica  (July 10, 2003)