•Generation of topologies and insertion of fields

Construction of topologies:

mesonstop = TopologyList @@ Union[Flatten[{#, List @@ AddExternalLegs[#, ExternalPropagators -> 1], List @@ AddExternalLegs[#, ExternalPropagators -> 2]} &[CreateCTTopologies[1, 2 -> 2, Adjacencies -> {4}, ExcludeTopologies -> {SelfEnergyCTs, WFCorrectionCTs}]]]] ;

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

Field insertion:

$VerticesSpecifications = {{VertexFields -> {AxialVector[0][0], PhiMeson[0]}, PhiModel -> ChPT3, PerturbationOrder -> {2, 4}, CouplingSign -> 1, XFileName -> Automatic}, {VertexFields -> {PhiMeson[0], Scalar[1][0]}, PhiModel -> ChPTW3, PerturbationOrder -> {2}, CouplingSign -> 1, XFileName -> Automatic}, {VertexFields -> {AxialVector[0][0], PhiMeson[0], PhiMeson[0], PhiMeson[0]}, PhiModel -> ChPT3, PerturbationOrder -> {2, 4}, CouplingSign -> 1, XFileName -> Automatic}, {VertexFields -> {PhiMeson[0], PhiMeson[0], PhiMeson[0], Scalar[1][0]}, PhiModel -> ChPTW3, PerturbationOrder -> {2, 4}, CouplingSign -> 1, XFileName -> Automatic}, {VertexFields -> {AxialVector[0][0], PhiMeson[0], PhiMeson[0], Scalar[1][0]}, PhiModel -> ChPTW3, PerturbationOrder -> {2, 4}, CouplingSign -> 1, XFileName -> Automatic}, {VertexFields -> {PhiMeson[0], PhiMeson[0], PhiMeson[0], PhiMeson[0]}, PhiModel -> ChPT3, PerturbationOrder -> {2, 4}, CouplingSign -> 1, XFileName -> Automatic}} ;

InitializeModel["Automatic", GenericModel -> "Automatic", Reinitialize -> True] ;

mesontreeinsert = InsertFields[mesonstop, {AxialVector[0][0, {i1}], Scalar[1][0]} -> {PhiMeson[0, {i3}], PhiMeson[0, {i4}]}, Model -> "Automatic", GenericModel -> "Automatic", InsertionLevel -> Classes] ;

Graphical representation of the process:

Paint[mesontreeinsert[[0]] @@ Join[mesontreeinsert[[{1, 2}]] /. {Propagator[ty_][Vertex[l_, 1][n_], v2 : Vertex[_][_], f_] /; l > 2 -> Propagator[ty][Vertex[l, 3][n], v2, f], Propagator[ty_][v2 : Vertex[_][_], Vertex[l_, 1][n_], f_] /; l > 2 -> Propagator[ty][v2, Vertex[l, 3][n], f]}, mesontreeinsert[[{3, 4}]] /. {Propagator[ty_][Vertex[l_][n_], v2 : Vertex[_][_], Field[2]] /; l > 1 -> Propagator[ty][Vertex[l, 2][n], v2, Field[2]], Propagator[ty_][v2 : Vertex[_][_], Vertex[l_][n_], Field[2]] /; l > 1 -> Propagator[ty][v2, Vertex[l, 2][n], Field[2]]}], PaintLevel -> {Classes}, AutoEdit -> True, SheetHeader -> False, Numbering -> False, ColumnsXRows -> {2, 2}] ;

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

Converted by Mathematica  (July 10, 2003)