•The wave function renormalized second order tree amplitude

mesonstop = CreateCTTopologies[1, 1 -> 2, Adjacencies -> {3, 4}, ExcludeTopologies -> {SelfEnergyCTs, WFCorrectionCTs, TadpoleCTs}] // DiscardCT // Union[#, AddExternalLegs[#, ExternalPropagators -> 1], AddExternalLegs[#, ExternalPropagators -> 2]] & // Flatten ;

Paint[mesonstop, PaintLevel -> {Classes}, AutoEdit -> False, SheetHeader -> False, Numbering -> False, ColumnsXRows -> {2, 1}] ;

[Graphics:../HTMLFiles/index_60.gif]

[Graphics:../HTMLFiles/index_61.gif]

[Graphics:../HTMLFiles/index_62.gif]

[Graphics:../HTMLFiles/index_63.gif]

mesontreeinsert = InsertFields[mesonstop, {Scalar[2][0, {i1}]} -> {PseudoScalar[0][0, {i2}], PseudoScalar[0][0, {i3}]}, Model -> "Automatic", GenericModel -> "Automatic", InsertionLevel -> Classes] ;

Paint[mesontreeinsert, PaintLevel -> {Classes}, AutoEdit -> False, SheetHeader -> False, Numbering -> False, ColumnsXRows -> {2, 1}] ;

[Graphics:../HTMLFiles/index_66.gif]

amplFC = CreateFCAmp[mesontreeinsert, AmplitudeLevel -> Classes, Sum -> True, WFRenormalize -> True] /. D -> Sequence[] // PropagatorDenominatorExplicit // SUNReduce[#, FullReduce -> True] & // Simplify

{-1/((p _ 3^2 - (m _ ϕ^(I _ 1   ))^2) (p _ 4^2 - (m _ ϕ^(I _ 2   ))^2)) (8 (f _ ϕ^(ó    ))^2 (!, _ 0^(  ))^3 δ _ (3 I _ 1)^(3) δ _ (3 I _ 2)^(3) δ _ (I _ 1 I _ 2)^(3) SumOver(I _ 1, {0, 1, 2, 3, 4, 5, 6, 7, 8}) SumOver(I _ 2, {0, 1, 2, 3, 4, 5, 6, 7, 8}) (WFFactor1(Propagator (Internal)  (Vertex (2)  (6), Vertex (3)  (4), PseudoScalar1(0, {I _ 1}))) + WFFactor1(Propagator (Internal)  (Vertex (2)  (7), Vertex (3)  (4), PseudoScalar1(0, {I _ 2}))) + 1))}

ampl2mult = (DoSumOver[#] /. subpar /. udrules // SUNReduce[#, FullReduce -> True] & // Simplify) & /@ amplFC

{1/(3 π^2 (p _ 3^2 - (m _ π^(ó    ))^2) ((m _ π^(ó    ))^2 - p _ 4^2)) ((24 π^2 (f _ ϕ^(ó    ))^2 - 384 π^2 L _ 5^(  ) (m _ π^(ó    ))^2 + 64 π^2 λ (m _ π^(ó    ))^2 + 2 log((m _ π^(ó    ))^2/μ^2) (m _ π^(ó    ))^2 + 32 π^2 λ (m _ K^(ó    ))^2 + log((m _ K^(ó    ))^2/μ^2) (m _ K^(ó    ))^2 - 384 π^2 L _ 4^(  ) ((m _ π^(ó    ))^2 + 2 (m _ K^(ó    ))^2)) (!, _ 0^(  ))^3)}


Converted by Mathematica  (July 10, 2003)