1: \documentclass[11pt]{article}
2: \usepackage{axodraw}
3: \hoffset=-1.1cm
4: \voffset=-0.6cm
5: \textwidth=15.5cm
6: \textheight=21cm
7: \parindent=1em
8: \baselineskip.4cm
9:
10: %%%
11: %%% new commands: general
12: %%%
13: \newcommand{\la}[1]{\label{#1}}
14: %\newcommand{\la}[1]
15: %{\mbox{\lefteqn{\mbox{\,\,\,\small\em\protect{#1}}}}\label{#1}}
16: \newcommand{\be}{\begin{equation}}
17: \newcommand{\ee}{\end{equation}}
18: \newcommand{\ba}{\begin{eqnarray}}
19: \newcommand{\ea}{\end{eqnarray}}
20: \newcommand{\rmi}[1]{{\mbox{\scriptsize #1}}}
21: \newcommand{\fig}{Fig.~}
22: \newcommand{\eq}{Eq.~}
23: \newcommand{\se}{Sec.~}
24: \newcommand{\eqs}{Eqs.~}
25: \newcommand{\nr}[1]{(\ref{#1})}
26: \newcommand{\tr}{{\rm Tr\,}}
27: \newcommand{\nn}{\nonumber \\}
28: \newcommand{\fr}[2]{{\frac{#1}{#2}\,}}
29: \newcommand{\msbar}{{\overline{\mbox{\rm MS}}}}
30: \newcommand{\lambdamsbar}{{\Lambda_{\overline{\rm MS}}}}
31: \renewcommand{\vec}[1]{{\bf #1}}
32: %% added by YS
33: \renewcommand{\(}{\left(}
34: \renewcommand{\)}{\right)}
35: \newcommand{\lb}{\left\{}
36: \newcommand{\rb}{\right\}}
37: \newcommand{\lk}{\left[}
38: \newcommand{\rk}{\right]}
39: \newcommand{\ld}{\left.}
40: \newcommand{\rd}{\right.}
41: \renewcommand{\d}{\delta}
42: \newcommand{\e}{\epsilon}
43: \renewcommand{\l}{\lambda}
44: \newcommand{\6}{\partial}
45: \newcommand{\Av}[1]{\left\langle #1 \right\rangle}
46: \newcommand{\bG}{{\beta_G}}
47: \newcommand{\sfr}[2]{{\scriptstyle \frac{#1}{#2}\,}}
48: \newcommand{\stapel}[2]{\lb\begin{array}{l}#1\\#2\end{array}\rd}
49: \newcommand{\diff}[2]{\(\begin{array}{c}#1\\#2\end{array}\)}
50: \newcommand{\order}[1]{{\cal O}\(#1\)\vphantom{\fr12}}
51: \newcommand{\hp}{\hphantom}
52: \newcommand{\mb}{{\bar\mu}}
53: \newcommand{\Lb}{{\bar\Lambda}}
54: \newcommand{\tinyMSbar}{{\overline{\mbox{\tiny\rm{MS}}}}}
55: \newcommand{\sy}[3]{{\textstyle #1\frac{#2}{#3}}}
56: \newcommand{\tfr}[2]{{\textstyle \frac{#1}{#2}\,}}
57: \def\plus{+} %{\oplus}
58: \newcommand{\sm}[1]{\,{\scriptstyle #1}\,}
59: \renewcommand{\ss}{\scriptstyle}
60:
61: %-----------------------------------------------------------------------
62: % The lines below are necessary in order to enumerate the equations
63: % according to the sections where they are.
64: %\makeatletter \@addtoreset{equation}{section} \makeatother
65: %\renewcommand{\theequation}{\arabic{section}.\arabic{equation}}
66: %-----------------------------------------------------------------------
67: \makeatletter
68: \renewcommand\section{\@startsection {section}{1}{\z@}%
69: {-5.5ex \@plus -1ex \@minus -.2ex}% bfr-skip
70: {2.3ex \@plus.2ex}%
71: {\normalfont\large\bfseries}}
72: \renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
73: {-3.25ex\@plus -1ex \@minus -.2ex}%
74: {1.5ex \@plus .2ex}%
75: {\normalfont\normalsize\bfseries}}
76: \renewcommand\thesection {\@arabic\c@section}
77: \renewcommand\thesubsection {\thesection.\@arabic\c@subsection}
78: \renewcommand{\@seccntformat}[1]{%
79: \csname the#1\endcsname.\hspace{1.0em}}
80: \makeatother
81: %-----------------------------------------------------------------------
82:
83:
84: %%%
85: %%% new commands: picture sizes
86: %%%
87: \newcommand{\pic}[1]{\;\parbox[c]{30pt}{\begin{picture}(30,30)(0,0)
88: \SetWidth{1.0}\SetScale{1.0} #1 \end{picture}}\;}
89: \newcommand{\pib}[1]{\;\parbox[c]{36pt}{\begin{picture}(22.5,30)(0,0)
90: \SetWidth{1.0}\SetScale{1.0} #1 \end{picture}}\;}
91: \newcommand{\picb}[1]{\;\parbox[c]{45pt}{\begin{picture}(45,30)(0,0)
92: \SetWidth{1.0}\SetScale{1.0} #1 \end{picture}}\;}
93: \newcommand{\picc}[1]{\;\parbox[c]{60pt}{\begin{picture}(60,30)(0,0)
94: \SetWidth{1.0}\SetScale{1.0} #1 \end{picture}}\;}
95: \newcommand{\piccb}[1]{\;\parbox[c]{75pt}{\begin{picture}(75,30)(0,0)
96: \SetWidth{1.0}\SetScale{1.0} #1 \end{picture}}\;}
97: \newcommand{\piccc}[1]{\;\parbox[c]{90pt}{\begin{picture}(90,30)(0,0)
98: \SetWidth{1.0}\SetScale{1.0} #1 \end{picture}}\;}
99: \newcommand{\picccc}[1]{\;\parbox[c]{120pt}{\begin{picture}(120,30)(0,0)
100: \SetWidth{1.0}\SetScale{1.0} #1 \end{picture}}\;}
101: \newcommand{\spic}[1]{\;\parbox[c]{21pt}{\begin{picture}(21,21)(0,0)
102: \SetWidth{1.0}\SetScale{0.7} #1 \end{picture}}\;}
103: \newcommand{\spib}[1]{\;\parbox[c]{25pt}{\begin{picture}(25,21)(0,0)
104: \SetWidth{1.0}\SetScale{0.7} #1 \end{picture}}\;}
105: \newcommand{\spicb}[1]{\;\parbox[c]{32pt}{\begin{picture}(32,21)(0,0)
106: \SetWidth{1.0}\SetScale{0.7} #1 \end{picture}}\;}
107: \newcommand{\spicc}[1]{\;\parbox[c]{42pt}{\begin{picture}(42,21)(0,0)
108: \SetWidth{1.0}\SetScale{0.7} #1 \end{picture}}\;}
109: \newcommand{\spiccb}[1]{\;\parbox[c]{53pt}{\begin{picture}(53,21)(0,0)
110: \SetWidth{1.0}\SetScale{0.7} #1 \end{picture}}\;}
111: \newcommand{\spiccc}[1]{\;\parbox[c]{63pt}{\begin{picture}(63,21)(0,0)
112: \SetWidth{1.0}\SetScale{0.7} #1 \end{picture}}\;}
113: \newcommand{\spicccc}[1]{\;\parbox[c]{84pt}{\begin{picture}(84,21)(0,0)
114: \SetWidth{1.0}\SetScale{0.7} #1 \end{picture}}\;}
115:
116: %%%
117: %%% new commands: axodraw line styles
118: %%%
119: %% gluons as lines
120: %\def\Agl(#1,#2)(#3,#4,#5){\CArc(#1,#2)(#3,#4,#5)}
121: %\def\Lgl(#1,#2)(#3,#4){\Line(#1,#2)(#3,#4)}
122: %% gluons as wiggles
123: \def\Lwidth{1}
124: \special{! /Ldensity {0.25} def}
125: \def\Agl(#1,#2)(#3,#4,#5){\PhotonArc(#1,#2)(#3,#4,#5){\Lwidth}
126: {6.283 #3 mul 360 div #4 #5 sub #4 #5 sub mul sqrt mul Ldensity mul}}
127: \def\Lgl(#1,#2)(#3,#4){\Photon(#1,#2)(#3,#4){\Lwidth}
128: {#1 #3 sub #1 #3 sub mul #2 #4 sub #2 #4 sub mul add sqrt Ldensity mul}}
129: %% ghosts as dots with arrow
130: \def\Agh(#1,#2)(#3,#4,#5){\DashArrowArc(#1,#2)(#3,#4,#5){1}}
131: \def\Aagh(#1,#2)(#3,#4,#5){\DashArrowArcn(#1,#2)(#3,#5,#4){1}}
132: \def\Lgh(#1,#2)(#3,#4){\DashArrowLine(#1,#2)(#3,#4){1}}
133: \def\Lagh(#1,#2)(#3,#4){\DashArrowLine(#3,#4)(#1,#2){1}}
134: %% ghosts as dots (for lines too small for an arrow)
135: \def\Ahh(#1,#2)(#3,#4,#5){\DashCArc(#1,#2)(#3,#4,#5){1}}
136: \def\Lhh(#1,#2)(#3,#4){\DashLine(#1,#2)(#3,#4){1}}
137: %% quarks as lines with arrow
138: \def\Aqu(#1,#2)(#3,#4,#5){\ArrowArc(#1,#2)(#3,#4,#5)}
139: \def\Aaqu(#1,#2)(#3,#4,#5){\ArrowArcn(#1,#2)(#3,#5,#4)}
140: \def\Lqu(#1,#2)(#3,#4){\ArrowLine(#1,#2)(#3,#4)}
141: \def\Laqu(#1,#2)(#3,#4){\ArrowLine(#3,#4)(#1,#2)}
142: %% quarks as lines (for lines too small for an arrow)
143: \def\Aqq(#1,#2)(#3,#4,#5){\CArc(#1,#2)(#3,#4,#5)}
144: \def\Lqq(#1,#2)(#3,#4){\Line(#1,#2)(#3,#4)}
145: %% scalars as lines
146: \def\Asc(#1,#2)(#3,#4,#5){\CArc(#1,#2)(#3,#4,#5)}
147: \def\Lsc(#1,#2)(#3,#4){\Line(#1,#2)(#3,#4)}
148: %% scalars as dashes
149: \def\DAsc(#1,#2)(#3,#4,#5){\DashCArc(#1,#2)(#3,#4,#5){3}}
150: \def\DLsc(#1,#2)(#3,#4){\DashLine(#1,#2)(#3,#4){3}}
151: %% scalars as thick lines
152: \def\TAsc(#1,#2)(#3,#4,#5){\SetWidth{2.0}\CArc(#1,#2)(#3,#4,#5)\SetWidth{1.0}}
153: \def\TLsc(#1,#2)(#3,#4){\SetWidth{2.0}\Line(#1,#2)(#3,#4)\SetWidth{1.0}}
154:
155: %%%
156: %%% new commands: topologies
157: %%%
158: %%
159: %% vacuum
160: %%
161: % 1loop
162: \def\TopoVR(#1){\pic{#1(15,15)(15,-90,270)}}
163: \def\TopoVRoo(#1){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
164: \GCirc(0,15){5}{0.75} \GCirc(30,15){5}{0.75}}\;}
165: \def\TopoVRor(#1){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
166: \GCirc(0,15){5}{0.75} \BBoxc(30,15)(6,6)}\;}
167: \def\TopoVRoi(#1){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
168: \GCirc(0,15){5}{0.75} \GBoxc(30,15)(6,6){0}}\;}
169: \def\TopoVRooo(#1){\pic{#1(15,15)(15,-30,90) #1(15,15)(15,90,210)%
170: #1(15,15)(15,210,330) \GCirc(15,30){3}{0} \GCirc(2,7.5){3}{0}%
171: \GCirc(28,7.5){3}{0}}}
172: \def\TTopoVRoo(#1){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
173: \GCirc(0,15){5}{0.75} \Text(0,15)[c]{$\scriptstyle 1$}
174: \GCirc(30,15){5}{0.75} \Text(30,15)[c]{$\scriptstyle 1$}}\;}
175: \def\TTopoVRor(#1){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
176: \GCirc(0,15){5}{0.75} \Text(0,15)[c]{$\scriptstyle 1$}
177: \GBoxc(30,15)(9,9){0.75} \Text(30,15)[c]{$\scriptstyle 2$} }\;}
178: \def\TTopoVRoi(#1){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
179: \GCirc(0,15){5}{0.75} \Text(0,15)[c]{$\scriptstyle 1$}
180: \GCirc(30,15){5}{0.75} \Text(30,15)[c]{$\scriptstyle 2$} }\;}
181: \def\TTopoVRooo(#1){\pic{#1(15,15)(15,-30,90) #1(15,15)(15,90,210)%
182: #1(15,15)(15,210,330)
183: \GCirc(15,30){5}{0.75}\Text(15,30)[c]{$\scriptstyle 1$}%
184: \GCirc(2,7.5){5}{0.75}\Text(2,7.5)[c]{$\scriptstyle 1$}%
185: \GCirc(28,7.5){5}{0.75}\Text(28,7.5)[c]{$\scriptstyle 1$}}}
186: %% 5-loop
187: \def\TTopoVRoooo(#1){\pic{#1(15,15)(15,-45,45) #1(15,15)(15,45,135)%
188: #1(15,15)(15,135,225) #1(15,15)(15,225,315)
189: \GCirc(25,25){5}{0.75}\Text(25,25)[c]{$\scriptstyle 1$}%
190: \GCirc(25,5){5}{0.75}\Text(25,5)[c]{$\scriptstyle 1$}%
191: \GCirc(5,25){5}{0.75}\Text(5,25)[c]{$\scriptstyle 1$}%
192: \GCirc(5,5){5}{0.75}\Text(5,5)[c]{$\scriptstyle 1$}}}
193: \def\TTopoVRooi(#1){\pic{#1(15,15)(15,-30,90) #1(15,15)(15,90,210)%
194: #1(15,15)(15,210,330)
195: \GCirc(15,30){5}{0.75}\Text(15,30)[c]{$\scriptstyle 2$}%
196: \GCirc(2,7.5){5}{0.75}\Text(2,7.5)[c]{$\scriptstyle 1$}%
197: \GCirc(28,7.5){5}{0.75}\Text(28,7.5)[c]{$\scriptstyle 1$}}}
198: \def\TTopoVRoor(#1){\pic{#1(15,15)(15,-30,90) #1(15,15)(15,90,210)%
199: #1(15,15)(15,210,330)
200: \GBoxc(15,30)(9,9){0.75}\Text(15,30)[c]{$\scriptstyle 2$}%
201: \GCirc(2,7.5){5}{0.75}\Text(2,7.5)[c]{$\scriptstyle 1$}%
202: \GCirc(28,7.5){5}{0.75}\Text(28,7.5)[c]{$\scriptstyle 1$}}}
203: \def\TTopoVRiie(#1){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
204: \GCirc(0,15){5}{0.75} \Text(0,15)[c]{$\scriptstyle 2$}
205: \GCirc(30,15){5}{0.75} \Text(30,15)[c]{$\scriptstyle 2$} }\;}
206: \def\TTopoVRire(#1){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
207: \GCirc(0,15){5}{0.75} \Text(0,15)[c]{$\scriptstyle 2$}
208: \GBoxc(30,15)(9,9){0.75} \Text(30,15)[c]{$\scriptstyle 2$} }\;}
209: \def\TTopoVRiif(#1){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
210: \GCirc(0,15){5}{0.75} \Text(0,15)[c]{$\scriptstyle 1$}
211: \GCirc(30,15){5}{0.75} \Text(30,15)[c]{$\scriptstyle 3$} }\;}
212: \def\TTopoVRirf(#1){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
213: \GCirc(0,15){5}{0.75} \Text(0,15)[c]{$\scriptstyle 1$}
214: \GBoxc(30,15)(9,9){0.75} \Text(30,15)[c]{$\scriptstyle 3$} }\;}
215: \def\TTopoVRirrf(#1){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
216: \GCirc(0,15){5}{0.75} \Text(0,15)[c]{$\scriptstyle 1$}
217: \GBoxc(30,15)(12,12){0.75}
218: \GBoxc(30,15)(8,8){0.75} \Text(30,15)[c]{$\scriptstyle 3$} }\;}
219: %%
220: \def\STTopoVRoo(#1){\;\spic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
221: \GCirc(0,15){5}{0.75} \Text(0,10.5)[c]{$\scriptscriptstyle 1$}
222: \GCirc(30,15){5}{0.75} \Text(21,10.5)[c]{$\scriptscriptstyle 1$}}\;}
223: \def\STTopoVRor(#1){\;\spic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
224: \GCirc(0,15){5}{0.75} \Text(0,10.5)[c]{$\scriptscriptstyle 1$}
225: \GBoxc(30,15)(9,9){0.75} \Text(21,10.5)[c]{$\scriptscriptstyle 2$} }\;}
226: \def\STTopoVRoi(#1){\;\spic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
227: \GCirc(0,15){5}{0.75} \Text(0,10.5)[c]{$\scriptscriptstyle 1$}
228: \GCirc(30,15){5}{0.75} \Text(21,10.5)[c]{$\scriptscriptstyle 2$} }\;}
229: \def\STTopoVRooo(#1){\spic{#1(15,15)(15,-30,90) #1(15,15)(15,90,210)%
230: #1(15,15)(15,210,330)
231: \GCirc(15,30){5}{0.75}\Text(10.5,21)[c]{$\scriptscriptstyle 1$}%
232: \GCirc(2,7.5){5}{0.75}\Text(1.4,5.25)[c]{$\scriptscriptstyle 1$}%
233: \GCirc(28,7.5){5}{0.75}\Text(19.6,5.25)[c]{$\scriptscriptstyle 1$}}}
234: %% 5-loop
235: \def\STTopoVRoooo(#1){\spic{#1(15,15)(15,-45,45) #1(15,15)(15,45,135)%
236: #1(15,15)(15,135,225) #1(15,15)(15,225,315)
237: \GCirc(25,25){5}{0.75}\Text(17.5,17.5)[c]{$\scriptscriptstyle 1$}%
238: \GCirc(25,5){5}{0.75}\Text(17.5,3.5)[c]{$\scriptscriptstyle 1$}%
239: \GCirc(5,25){5}{0.75}\Text(3.5,17.5)[c]{$\scriptscriptstyle 1$}%
240: \GCirc(5,5){5}{0.75}\Text(3.5,3.5)[c]{$\scriptscriptstyle 1$}}}
241: \def\STTopoVRooi(#1){\spic{#1(15,15)(15,-30,90) #1(15,15)(15,90,210)%
242: #1(15,15)(15,210,330)
243: \GCirc(15,30){5}{0.75}\Text(10.5,21)[c]{$\scriptscriptstyle 2$}%
244: \GCirc(2,7.5){5}{0.75}\Text(1.4,5.25)[c]{$\scriptscriptstyle 1$}%
245: \GCirc(28,7.5){5}{0.75}\Text(19.6,5.25)[c]{$\scriptscriptstyle 1$}}}
246: \def\STTopoVRoor(#1){\spic{#1(15,15)(15,-30,90) #1(15,15)(15,90,210)%
247: #1(15,15)(15,210,330)
248: \GBoxc(15,30)(9,9){0.75}\Text(10.5,21)[c]{$\scriptscriptstyle 2$}%
249: \GCirc(2,7.5){5}{0.75}\Text(1.4,5.25)[c]{$\scriptscriptstyle 1$}%
250: \GCirc(28,7.5){5}{0.75}\Text(19.6,5.25)[c]{$\scriptscriptstyle 1$}}}
251: \def\STTopoVRiie(#1){\;\spic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
252: \GCirc(0,15){5}{0.75} \Text(0,10.5)[c]{$\scriptscriptstyle 2$}
253: \GCirc(30,15){5}{0.75} \Text(21,10.5)[c]{$\scriptscriptstyle 2$} }\;}
254: \def\STTopoVRire(#1){\;\spic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
255: \GCirc(0,15){5}{0.75} \Text(0,10.5)[c]{$\scriptscriptstyle 2$}
256: \GBoxc(30,15)(9,9){0.75} \Text(21,10.5)[c]{$\scriptscriptstyle 2$} }\;}
257: \def\STTopoVRiif(#1){\;\spic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
258: \GCirc(0,15){5}{0.75} \Text(0,10.5)[c]{$\scriptscriptstyle 1$}
259: \GCirc(30,15){5}{0.75} \Text(21,10.5)[c]{$\scriptscriptstyle 3$} }\;}
260: \def\STTopoVRirf(#1){\;\spic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
261: \GCirc(0,15){5}{0.75} \Text(0,10.5)[c]{$\scriptscriptstyle 1$}
262: \GBoxc(30,15)(9,9){0.75} \Text(21,10.5)[c]{$\scriptscriptstyle 3$} }\;}
263: \def\STTopoVRirrf(#1){\;\spic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
264: \GCirc(0,15){5}{0.75} \Text(0,10.5)[c]{$\scriptscriptstyle 1$}
265: \GBoxc(30,15)(12,12){0.75}
266: \GBoxc(30,15)(8,8){0.75} \Text(21,10.5)[c]{$\scriptscriptstyle 3$} }\;}
267: %%
268: \def\TopoVRooT(#1,#2,#3){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
269: \GCirc(0,15){3}{0} \GCirc(30,15){3}{0} \Text(5,15)[l]{{$\scriptstyle #2$}}%
270: \Text(25,15)[r]{{$\scriptstyle #3$}}}\;}
271: \def\TopoVRorT(#1,#2,#3){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
272: \GCirc(0,15){3}{0} \BBoxc(30,15)(6,6) \Text(5,15)[l]{{$\scriptstyle #2$}}%
273: \Text(25,15)[r]{{$\scriptstyle #3$}}}\;}
274: \def\TopoVRoiT(#1,#2,#3){\;\pic{#1(15,15)(15,0,180) #1(15,15)(15,180,360)%
275: \GCirc(0,15){3}{0} \GBoxc(30,15)(6,6){0} \Text(5,15)[l]{{$\scriptstyle #2$}}%
276: \Text(25,15)[r]{{$\scriptstyle #3$}}}\;}
277: \def\TopoVRoooT(#1,#2,#3,#4){\pic{#1(15,15)(15,-30,90) #1(15,15)(15,90,210)%
278: #1(15,15)(15,210,330) \GCirc(15,30){3}{0} \GCirc(2,7.5){3}{0}%
279: \GCirc(28,7.5){3}{0} \Text(15,25)[t]{{$\scriptstyle #2$}}%
280: \Text(6,9)[bl]{{$\scriptstyle #3$}} \Text(24,9)[br]{{$\scriptstyle #4$}}}}
281: % 2loop
282: \def\ToptVS(#1,#2,#3){\pic{#1(15,15)(15,0,180) #2(15,15)(15,180,360)%
283: #3(30,15)(0,15)}}
284: \def\SToptVS(#1,#2,#3){\spic{#1(15,15)(15,0,180) #2(15,15)(15,180,360)%
285: #3(30,15)(0,15)}}
286: \def\ToptVSTxt(#1,#2,#3,#4,#5){\;\pic{#1(15,15)(15,0,180)%
287: #2(15,15)(15,180,360) #3(30,15)(0,15) \GCirc(0,15){3}{0} \GCirc(30,15){3}{0}%
288: \Text(4,17)[bl]{{$\scriptstyle #4$}} \Text(26,13)[tr]{{$\scriptstyle #5$}}}\;}
289: \def\ToptVE(#1,#2){\picc{#1(15,15)(15,0,360) #2(45,15)(15,-180,180)}}
290: \def\SToptVE(#1,#2){\spicc{#1(15,15)(15,0,360) #2(45,15)(15,-180,180)}}
291: % 3loop
292: \def\ToprVM(#1,#2,#3,#4,#5,#6){\pic{#3(15,15)(15,-30,90) #1(15,15)(15,90,210)%
293: #2(15,15)(15,210,330) #5(2,7.5)(15,15) #6(15,15)(15,30) #4(28,7.5)(15,15)}}
294: \def\SToprVM(#1,#2,#3,#4,#5,#6){\spic{#3(15,15)(15,-30,90)%
295: #1(15,15)(15,90,210)%
296: #2(15,15)(15,210,330) #5(2,7.5)(15,15) #6(15,15)(15,30) #4(28,7.5)(15,15)}}
297: \def\ToprVV(#1,#2,#3,#4,#5){\!\!\picb{#2(26.25,15)(15,256,76)%
298: #3(30,30)(15,30) #1(18.75,15)(15,104,284) #4(15,30)(22.5,0)%
299: #5(30,30)(22.5,0)}\!\!}
300: \def\SToprVV(#1,#2,#3,#4,#5){\!\!\spicb{#2(26.25,15)(15,256,76)%
301: #3(30,30)(15,30) #1(18.75,15)(15,104,284) #4(15,30)(22.5,0)%
302: #5(30,30)(22.5,0)}\!\!}
303: \def\ToprVB(#1,#2,#3,#4){\picb{#1(30,15)(15,-120,120) #2(30,15)(15,120,240)%
304: #3(15,15)(15,60,300) #4(15,15)(15,-60,60)}}
305: \def\SToprVB(#1,#2,#3,#4){\spicb{#1(30,15)(15,-120,120) #2(30,15)(15,120,240)%
306: #3(15,15)(15,60,300) #4(15,15)(15,-60,60)}}
307: % 4loop
308: \def\TopfVX(#1,#2,#3,#4,#5,#6,#7,#8,#9){\picb{#1(15,15)(15,90,270)%
309: #2(30,15)(15,-90,90) #4(30,30)(15,30) #3(15,0)(30,0) #6(15,0)(15,15)%
310: #5(15,15)(30,30) #8(15,30)(20,25) #8(25,20)(30,15) #7(30,15)(30,0)%
311: #9(15,15)(30,15)}}
312: \def\STopfVX(#1,#2,#3,#4,#5,#6,#7,#8,#9){\spicb{#1(15,15)(15,90,270)%
313: #2(30,15)(15,-90,90) #4(30,30)(15,30) #3(15,0)(30,0) #6(15,0)(15,15)%
314: #5(15,15)(30,30) #8(15,30)(20,25) #8(25,20)(30,15) #7(30,15)(30,0)%
315: #9(15,15)(30,15)}}
316: \def\TopfVH(#1,#2,#3,#4,#5,#6,#7,#8,#9){\picb{#1(15,15)(15,90,270)%
317: #2(30,15)(15,-90,90) #4(30,30)(15,30) #3(15,0)(30,0) #6(15,0)(15,15)%
318: #5(15,15)(15,30) #8(30,30)(30,15) #7(30,15)(30,0) #9(15,15)(30,15)}}
319: \def\STopfVH(#1,#2,#3,#4,#5,#6,#7,#8,#9){\spicb{#1(15,15)(15,90,270)%
320: #2(30,15)(15,-90,90) #4(30,30)(15,30) #3(15,0)(30,0) #6(15,0)(15,15)%
321: #5(15,15)(15,30) #8(30,30)(30,15) #7(30,15)(30,0) #9(15,15)(30,15)}}
322: \def\TopfVW(#1,#2,#3,#4,#5,#6,#7,#8){\pic{#1(15,15)(15,90,180)%
323: #3(15,15)(15,180,270) #2(15,15)(15,270,360) #4(15,15)(15,0,90)%
324: #5(15,15)(15,30) #7(15,15)(15,0) #6(0,15)(15,15) #8(30,15)(15,15)}}
325: \def\STopfVW(#1,#2,#3,#4,#5,#6,#7,#8){\spic{#1(15,15)(15,90,180)%
326: #3(15,15)(15,180,270) #2(15,15)(15,270,360) #4(15,15)(15,0,90)%
327: #5(15,15)(15,30) #7(15,15)(15,0) #6(0,15)(15,15) #8(30,15)(15,15)}}
328: \def\TopfVV(#1,#2,#3,#4,#5,#6,#7,#8){\!\!\picb{#2(26.25,15)(15,256,346)%
329: #3(26.25,15)(15,-14,76) #4(30,30)(15,30) #1(18.75,15)(15,104,284)%
330: #7(22.5,0)(15,30) #6(30,30)(26.25,15) #8(26.25,15)(22.5,0)%
331: #5(25.25,15)(39.8,11.4)}\!\!}
332: \def\STopfVV(#1,#2,#3,#4,#5,#6,#7,#8){\!\!\spicb{#2(26.25,15)(15,256,346)%
333: #3(26.25,15)(15,-14,76) #4(30,30)(15,30) #1(18.75,15)(15,104,284)%
334: #7(22.5,0)(15,30) #6(30,30)(26.25,15) #8(26.25,15)(22.5,0)%
335: #5(25.25,15)(39.8,11.4)}\!\!}
336: \def\TopfVB(#1,#2,#3,#4,#5,#6,#7){\picb{#2(30,15)(15,-120,120)%
337: #6(30,15)(15,120,180) #5(30,15)(15,180,240) #1(15,15)(15,60,300)%
338: #4(15,15)(15,-60,0) #3(15,15)(15,0,60) #7(30,15)(15,15)}}
339: \def\STopfVB(#1,#2,#3,#4,#5,#6,#7){\spicb{#2(30,15)(15,-120,120)%
340: #6(30,15)(15,120,180) #5(30,15)(15,180,240) #1(15,15)(15,60,300)%
341: #4(15,15)(15,-60,0) #3(15,15)(15,0,60) #7(30,15)(15,15)}}
342: \def\TopfVN(#1,#2,#3,#4,#5,#6,#7){\picb{#1(15,15)(15,90,270)%
343: #2(30,15)(15,-90,90) #4(30,30)(15,30) #3(15,0)(30,0)%
344: #5(15,0)(15,30) #6(30,30)(30,0) #7(15,30)(30,0)}}
345: \def\STopfVN(#1,#2,#3,#4,#5,#6,#7){\spicb{#1(15,15)(15,90,270)%
346: #2(30,15)(15,-90,90) #4(30,30)(15,30) #3(15,0)(30,0)%
347: #5(15,0)(15,30) #6(30,30)(30,0) #7(15,30)(30,0)}}
348: \def\TopfVU(#1,#2,#3,#4,#5,#6,#7){\pic{#3(15,15)(15,0,90)%
349: #2(15,15)(15,90,180) #4(15,15)(15,180,270) #1(15,15)(15,270,360)%
350: #6(0,15)(15,30) #7(15,0)(0,15) #5(30,15)(15,0)}}
351: \def\STopfVU(#1,#2,#3,#4,#5,#6,#7){\spic{#3(15,15)(15,0,90)%
352: #2(15,15)(15,90,180) #4(15,15)(15,180,270) #1(15,15)(15,270,360)%
353: #6(0,15)(15,30) #7(15,0)(0,15) #5(30,15)(15,0)}}
354: \def\TopfVT(#1,#2,#3,#4,#5,#6){\pic{#1(15,15)(15,90,210)%
355: #2(15,15)(15,210,330) #3(15,15)(15,-30,90) #4(2,7.5)(15,30)%
356: #6(28,7.5)(2,7.5) #5(15,30)(28,7.5)}}
357: \def\STopfVT(#1,#2,#3,#4,#5,#6){\spic{#1(15,15)(15,90,210)%
358: #2(15,15)(15,210,330) #3(15,15)(15,-30,90) #4(2,7.5)(15,30)%
359: #6(28,7.5)(2,7.5) #5(15,30)(28,7.5)}}
360: % 5loop
361: \def\STopEVa(#1,#2){\spicb{#1(15,15)(15,90,270)%
362: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0) #2(15,0)(15,30)%
363: #2(30,30)(30,0) #2(15,15)(30,15) #2(22.5,15)(22.5,0)}}
364: \def\STopEVb(#1,#2){\spicb{#1(15,15)(15,90,270)%
365: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0) #2(15,0)(15,30)%
366: #2(30,30)(30,0) #2(15,10)(30,10) #2(15,20)(30,20)}}
367: \def\STopEVc(#1,#2){\spicb{#1(15,15)(15,90,270)%
368: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0) #2(15,0)(15,30)%
369: #2(30,30)(30,0) #2(15,10)(30,20) #2(15,20)(19.5,17) #2(25.5,13)(30,10)}}
370: \def\STopEVd(#1,#2){\spicb{#1(15,15)(15,90,270)%
371: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0) #2(15,0)(15,30)%
372: #2(30,30)(30,0) #2(15,11.25)(30,11.25) #2(22.5,9)(22.5,0)%
373: #1(15,11.25)(7.5,15,90)}}
374: \def\STopEVe(#1,#2){\spic{#1(15,15)(15,0,90)%
375: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
376: #2(0,15)(15,30) #2(10,15)(10,1) #2(30,15)(0,15) #2(20,15)(20,1)}}
377: \def\STopEVf(#1,#2){\spic{#1(15,15)(15,0,90)%
378: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
379: #2(0,15)(15,30) #2(15,6)(24,15) #2(30,15)(0,15) #2(15,15)(15,0)}}
380: \def\STopEVg(#1,#2){\spicb{#1(15,15)(15,90,270)%
381: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0) #2(15,0)(15,30)%
382: #2(30,30)(30,0) #2(15,15)(45,15)}}
383: \def\STopEVh(#1,#2){\!\!\spicb{#1(26.25,15)(15,256,346)%
384: #1(26.25,15)(15,-14,76) #2(30,30)(15,30) #1(18.75,15)(15,104,284)%
385: #2(22.5,0)(15,30) #2(30,30)(26.25,15) #2(26.25,15)(22.5,0)%
386: #2(25.25,15)(39.8,11.4) #2(19.75,15)(5.2,11.4)}\!\!}
387: \def\STopEVi(#1,#2){\spic{#1(15,15)(15,0,90)%
388: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
389: #2(15,15)(15,30) #2(0,15)(30,15) #2(15,0)(10,15) #2(15,0)(20,15)}}
390: \def\STopEVj(#1,#2){\spicb{#1(15,15)(15,90,270)%
391: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0) #2(15,0)(15,20)%
392: #2(15,20)(22.5,30) #2(22.5,30)(30,20) #2(30,20)(30,0)%
393: #2(15,10)(30,20) #2(15,20)(19.5,17) #2(25.5,13)(30,10)}}
394: \def\STopEVk(#1,#2){\spicb{#1(15,15)(15,90,270)%
395: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0) #2(15,0)(15,30)%
396: #2(30,0)(30,30) #2(15,0)(30,24) #2(20,30)(24.5,19.2) #2(26.5,14.4)(30,6)}}
397: \def\STopEVl(#1,#2){\!\!\spicb{#1(26.25,15)(15,256,346)%
398: #1(26.25,15)(15,-14,76) #2(30,30)(15,30) #1(18.75,15)(15,104,284)%
399: #2(22.5,0)(5.2,11.4) #2(30,30)(26.25,15) #2(26.25,15)(22.5,0)%
400: #2(26.25,15)(39.8,11.4) #2(15,30)(5.2,11.4) }\!\!}
401: \def\STopEVm(#1,#2){\spicb{#1(30,15)(15,-120,120) #1(30,15)(15,120,240)%
402: #1(15,15)(15,60,300) #1(15,15)(15,-60,60) #2(22.5,15)(30,15)%
403: #2(22.5,15)(17,22.5) #2(22.5,15)(17,7.5) }}
404: \def\STopEVn(#1,#2){\spicb{#1(15,15)(15,90,270)%
405: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0)%
406: #2(15,0)(15,30) #2(30,30)(30,0) #2(15,30)(30,0) #2(30,15)(45,15)}}
407: %\def\STopEVo(#1,#2){\spic{#1(15,15)(15,0,90)%
408: % #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
409: % #2(0,15)(15,30) #2(15,0)(0,15) #2(30,15)(15,0) #2(7.5,22.5)(22.5,7.5)}}
410: \def\STopEVo(#1,#2){\spicb{#1(30,15)(15,-120,120) #1(30,15)(15,120,240)%
411: #1(15,15)(15,60,300) #1(15,15)(15,-60,60)%
412: #2(16,20.5)(29,20.5) #2(16,9.5)(29,9.5) }}
413: \def\STopEVp(#1,#2){\spic{#1(15,15)(15,0,90)%
414: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
415: #2(0,15)(15,30) #2(0,15)(30,15) #2(15,0)(10,15) #2(15,0)(20,15)}}
416: \def\STopEVq(#1,#2){\spic{#1(15,15)(15,0,90)%
417: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
418: #2(0,15)(15,30) #1(19,15)(4,0,360) #2(30,15)(23,15) #2(15,15)(0,15)%
419: #2(15,15)(15,0)}}
420: \def\STopEVr(#1,#2){\spic{#1(15,15)(15,0,90)%
421: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
422: #2(0,15)(15,30) #1(26,15)(4,0,360) #2(22,15)(0,15)%
423: #2(15,15)(15,0)}}
424: \def\STopEVs(#1,#2){\spic{#1(15,15)(15,0,90)%
425: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
426: #2(0.75,10.35)(29.25,10.35) #2(15,0)(15,10.35)%
427: #2(0.75,10.35)(6.2,27.1) #2(29.25,10.35)(23.8,27.1)}}
428: \def\STopEVt(#1,#2){\spic{#1(15,15)(15,0,90)%
429: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
430: #2(0,15)(15,30) #1(15,4)(4,0,360) #2(30,15)(0,15) #2(15,15)(15,8)}}
431: \def\STopEVu(#1,#2){\spic{#1(15,15)(15,0,90)%
432: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
433: #2(0,15)(15,30) #2(15,7.5)(30,15) #2(30,15)(0,15) #2(15,15)(15,0)}}
434: \def\STopEVv(#1,#2){\spic{#1(15,15)(15,0,90)%
435: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
436: #2(0,15)(30,15) #2(0,15)(15,7.5) #2(15,0)(15,15) #2(15,0)(22.5,15)}}
437: \def\STopEVw(#1,#2){\spicb{#1(30,15)(15,-120,120) #1(30,15)(15,120,240)%
438: #1(15,15)(15,60,300) #1(15,15)(15,-60,60) #2(0,15)(15,15) #2(30,15)(45,15)}}
439: \def\STopEVx(#1,#2){\spicb{#1(15,15)(15,90,270)%
440: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0) #2(15,0)(15,15)%
441: #2(15,0)(30,15) #2(30,0)(30,15) #2(15,15)(20.5,9.5) #2(24.5,5.5)(30,0)%
442: #2(15,15)(22.5,22.5) #2(30,15)(22.5,22.5) #2(22.5,30)(22.5,22.5)}}
443: \def\STopEVy(#1,#2){\spicb{#1(15,15)(15,90,270)%
444: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0) #2(15,0)(15,30)%
445: #2(30,0)(30,30) #2(15,0)(30,24) #2(15,30)(22.375,18.2) #2(26.375,11.8)(30,6)}}
446: \def\STopEVz(#1,#2){\spic{#1(15,15)(15,0,90)%
447: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
448: #2(15,0)(0.75,10.35) #2(15,0)(29.25,10.35)%
449: #2(0.75,10.35)(6.2,27.1) #2(29.25,10.35)(23.8,27.1)}}
450: \def\STopEVaa(#1,#2){\spic{#1(15,15)(15,0,90)%
451: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
452: #2(0,15)(15,30) #2(15,30)(30,15) #2(30,15)(0,15) #2(15,15)(15,0)}}
453: \def\STopEVab(#1,#2){\spic{#1(15,15)(15,0,90)%
454: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
455: #2(15,0)(0.75,10.35) #2(15,0)(23.8,27.1)%
456: #2(0.75,10.35)(6.2,27.1) #2(29.25,10.35)(23.8,27.1)}}
457: \def\STopEVac(#1,#2){\spic{#1(15,15)(15,0,90)%
458: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
459: #2(0,15)(15,30) #2(15,0)(30,15) #2(30,15)(0,15) #2(15,15)(15,0)}}
460: \def\STopEVad(#1,#2){\!\!\spicb{#1(26.25,15)(15,256,346)%
461: #1(26.25,15)(15,-14,76) #2(30,30)(15,30) #1(18.75,15)(15,104,284)%
462: #2(22.5,0)(15,30) #2(30,30)(26.25,15) #2(26.25,15)(22.5,0)%
463: #1(33,13.2)(7,0,360)}\!\!}
464: \def\STopEVae(#1,#2){\spic{#1(15,15)(15,90,180)%
465: #1(15,15)(15,180,270) #1(15,15)(15,270,360) #1(15,15)(15,0,90)%
466: #2(15,15)(15,30) #2(15,15)(15,0) #2(0,15)(15,15) #2(30,15)(15,15)%
467: #2(15,0)(30,15)}}
468: \def\STopEVaf(#1,#2){\spicb{#1(15,15)(15,90,270)%
469: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0)%
470: #2(15,0)(15,30) #2(30,30)(30,0) #2(15,30)(22.5,0) #2(22.5,0)(30,30)}}
471: \def\STopEVag(#1,#2){\spicb{#1(15,15)(15,90,270)%
472: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0) #2(15,0)(15,15)%
473: #2(15,15)(22.5,30) #2(22.5,30)(30,15) #2(30,15)(30,0) #2(15,15)(30,15)%
474: #2(15,0)(30,15)}}
475: \def\STopEVah(#1,#2){\spic{#1(15,15)(15,0,90)%
476: #1(15,15)(15,90,180) #1(15,15)(15,180,270) #1(15,15)(15,270,360)%
477: #2(0,15)(15,30) #2(15,0)(0,15) #2(30,15)(15,0) #2(30,15)(15,30)}}
478: \def\STopEVai(#1,#2){\spicb{#1(30,15)(15,-120,120) #1(30,15)(15,120,240)%
479: #1(15,15)(15,60,300) #1(15,15)(15,-60,60) #1(22.5,15)(7.5,0,360) }}
480: %
481: %%
482: %% selfE
483: %%
484: % 1loop
485: %\def\TopoS(#1){\picb{#1(0,15)(20,15) #1(25,15)(45,15)%
486: % \GCirc(22.5,15){3}{0}}}
487: \def\TopoSTxt(#1,#2){\picb{#1(0,15)(20,15) #1(25,15)(45,15)%
488: \GCirc(22.5,15){3}{0} \Text(22.5,20)[b]{{$\scriptstyle #2$}}}}
489: \def\TopoSB(#1,#2,#3){\picb{#1(0,15)(7.5,15) #2(22.5,15)(15,0,180)%
490: #3(22.5,15)(15,180,360) #1(37.5,15)(45,15)}}
491: \def\STopoSB(#1,#2,#3){\spicb{#1(0,15)(7.5,15) #2(22.5,15)(15,0,180)%
492: #3(22.5,15)(15,180,360) #1(37.5,15)(45,15)}}
493: \def\TopoST(#1,#2){\picb{#1(0,0)(22.5,0) #1(22.5,0)(45,0)%
494: #2(22.5,15)(15,-90,270)}}
495: \def\STopoST(#1,#2){\spicb{#1(0,0)(22.5,0) #1(22.5,0)(45,0)%
496: #2(22.5,15)(15,-90,270)}}
497: % 2loop irr
498: %\def\ToptSi(#1){\picb{#1(0,15)(20,15) #1(25,15)(45,15)%
499: % \GBoxc(22.5,15)(6,6){0}}}
500: \def\ToptSiTxt(#1,#2){\picb{#1(0,15)(20,15) #1(25,15)(45,15)%
501: \GBoxc(22.5,15)(6,6){0} \Text(22.5,20)[b]{{$\scriptstyle #2$}}}}
502: \def\ToptSM(#1,#2,#3,#4,#5,#6){\picb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
503: #2(22.5,15)(15,0,90) #3(22.5,15)(15,90,180) #4(22.5,15)(15,180,270)%
504: #5(22.5,15)(15,270,360) #6(22.5,30)(22.5,0)}}
505: \def\ToptSAl(#1,#2,#3,#4,#5){\picb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
506: #2(22.5,15)(15,0,90) #3(22.5,15)(15,90,180) #4(22.5,15)(15,180,360)%
507: #5(7.5,30)(15,270,360)}}
508: \def\ToptSAr(#1,#2,#3,#4,#5){\picb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
509: #2(22.5,15)(15,0,90) #3(22.5,15)(15,90,180) #4(22.5,15)(15,180,360)%
510: #5(37.5,30)(15,180,270)}}
511: \def\ToptSE(#1,#2,#3,#4,#5){\picb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
512: #3(15,15)(7.5,0,180) #4(15,15)(7.5,180,360)%
513: #2(30,15)(7.5,0,180) #5(30,15)(7.5,180,360)}}
514: \def\ToptSS(#1,#2,#3,#4){\picb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
515: #4(7.5,15)(37.5,15) #2(22.5,15)(15,0,180) #3(22.5,15)(15,180,360)}}
516: \def\SToptSM(#1,#2,#3,#4,#5,#6){\spicb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
517: #2(22.5,15)(15,0,90) #3(22.5,15)(15,90,180) #4(22.5,15)(15,180,270)%
518: #5(22.5,15)(15,270,360) #6(22.5,30)(22.5,0)}}
519: \def\SToptSAl(#1,#2,#3,#4,#5){\spicb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
520: #2(22.5,15)(15,0,90) #3(22.5,15)(15,90,180) #4(22.5,15)(15,180,360)%
521: #5(7.5,30)(15,270,360)}}
522: \def\SToptSAr(#1,#2,#3,#4,#5){\spicb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
523: #2(22.5,15)(15,0,90) #3(22.5,15)(15,90,180) #4(22.5,15)(15,180,360)%
524: #5(37.5,30)(15,180,270)}}
525: \def\SToptSE(#1,#2,#3,#4,#5){\spicb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
526: #3(15,15)(7.5,0,180) #4(15,15)(7.5,180,360)%
527: #2(30,15)(7.5,0,180) #5(30,15)(7.5,180,360)}}
528: \def\SToptSS(#1,#2,#3,#4){\spicb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
529: #4(7.5,15)(37.5,15) #2(22.5,15)(15,0,180) #3(22.5,15)(15,180,360)}}
530: %% 2loop red
531: %\def\ToptSr(#1){\picb{#1(0,15)(20,15) #1(25,15)(45,15)%
532: % \GBoxc(22.5,15)(6,6){1}}}
533: \def\ToptSrTxt(#1,#2){\picb{#1(0,15)(20,15) #1(25,15)(45,15)%
534: \GBoxc(22.5,15)(6,6){1} \Text(22.5,20)[b]{{$\scriptstyle #2$}}}}
535: \def\ToptSBB(#1,#2,#3){\picb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
536: #2(22.5,15)(15,0,90) #2(22.5,15)(15,90,180) #3(22.5,15)(15,180,360)%
537: \GCirc(22.5,30){5}{0.75} \Text(22.5,30)[c]{$\scriptstyle 1$}}}
538: \def\SToptSBB(#1,#2,#3){\spicb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
539: #2(22.5,15)(15,0,90) #2(22.5,15)(15,90,180) #3(22.5,15)(15,180,360)%
540: \GCirc(22.5,30){5}{0.75} \Text(16,21)[c]{$\scriptscriptstyle 1$}}}
541: \def\ToptSBBTxt(#1,#2,#3,#4){\picb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
542: #2(22.5,15)(15,0,90) #2(22.5,15)(15,90,180) #3(22.5,15)(15,180,360)%
543: \GCirc(22.5,30){3}{0} \Text(22.5,25)[t]{{$\scriptstyle #4$}}}}
544: \def\ToptSTB(#1,#2){\picb{#1(0,0)(22.5,0) #1(22.5,0)(45,0)%
545: #2(22.5,15)(15,-90,90) #2(22.5,15)(15,90,270) \GCirc(22.5,30){5}{0.75}%
546: \Text(22.5,30)[c]{$\scriptstyle 1$}}}
547: \def\SToptSTB(#1,#2){\spicb{#1(0,0)(22.5,0) #1(22.5,0)(45,0)%
548: #2(22.5,15)(15,-90,90) #2(22.5,15)(15,90,270) \GCirc(22.5,30){5}{0.75}%
549: \Text(16,21)[c]{$\scriptscriptstyle 1$}}}
550: \def\ToptSTBTxt(#1,#2,#3){\picb{#1(0,0)(22.5,0) #1(22.5,0)(45,0)%
551: #2(22.5,15)(15,-90,90) #2(22.5,15)(15,90,270) \GCirc(22.5,30){3}{0}%
552: \Text(22.5,25)[t]{{$\scriptstyle #3$}}}}
553: %%%
554: %%% 3pt fcts
555: %%%
556: \def\TopoT(#1,#2,#3){\!\pic{#1(15,30)(15,15) #2(2,7.5)(15,15)%
557: #3(28,7.5)(15,15) \GCirc(15,15){3}{0}}\!}
558: \def\TopoTTxt(#1,#2,#3,#4){\!\pic{#1(15,30)(15,15) #2(2,7.5)(15,15)%
559: #3(28,7.5)(15,15) \GCirc(15,15){3}{0}%
560: \Text(19,17)[bl]{{$\scriptstyle #4$}}}\!}
561: \def\TopoTS(#1,#2,#3,#4,#5,#6){\!\pic{#1(15,30)(15,23) #2(2,7.5)(8,11)%
562: #3(28,7.5)(22,11) #6(15,15)(8,210,330) #5(15,15)(8,90,210)%
563: #4(15,15)(8,-30,90)}\!}
564: \def\TopoTAo(#1,#2,#3,#4,#5){\!\pic{#1(15,30)(15,23) #2(2,7.5)(15,7)%
565: #3(28,7.5)(15,7) #4(15,15)(8,-90,90) #5(15,15)(8,90,270)}\!}
566: \def\TopoTAr(#1,#2,#3,#4,#5){\!\pic{#1(15,30)(8,19) #2(2,7.5)(8,19)%
567: #3(28,7.5)(22,11) #4(15,15)(8,-45,135) #5(15,15)(8,135,315)}\!}
568: \def\TopoTAl(#1,#2,#3,#4,#5){\!\pic{#1(15,30)(23,19) #2(2,7.5)(8,11)%
569: #3(28,7.5)(23,19) #4(15,15)(8,45,225) #5(15,15)(8,-135,45)}\!}
570: %%%
571: %%% topo-prototypes
572: %%%
573: %% vacuum diags
574: %\TopoVR(\A)
575: %\TopoVRoo(\A)
576: %\TopoVRor(\A)
577: %\TopoVRoi(\A)
578: %\TopoVRooo(\A)
579: %\ToptVS(\A,\A,\L)
580: %\ToptVSTxt(\A,\A,\L,1,2)
581: %\ToptVE(\A,\A)
582: %\ToprVM(\A,\A,\A,\L,\L,\L)
583: %\ToprVV(\A,\A,\L,\L,\L)
584: %\ToprVB(\A,\A,\A,\A)
585: %\TopfVX(\A,\A,\L,\L,\L,\L,\L,\L,\L)
586: %\TopfVH(\A,\A,\L,\L,\L,\L,\L,\L,\L)
587: %\TopfVW(\A,\A,\A,\A,\L,\L,\L,\L)
588: %\TopfVV(\A,\A,\A,\L,\L,\L,\L,\L)
589: %\TopfVB(\A,\A,\A,\A,\A,\A,\L)
590: %\TopfVN(\A,\A,\L,\L,\L,\L,\L)
591: %\TopfVU(\A,\A,\A,\A,\L,\L,\L)
592: %\TopfVT(\A,\A,\A,\L,\L,\L)
593: %% selfE diags
594: %\TopoS(\L)
595: %\TopoSTxt(\L,1)
596: %\TopoSB(\L,\A,\A)
597: %\TopoST(\L,\A)
598: %\ToptSi(\L)
599: %\ToptSiTxt(\L,1)
600: %\ToptSM(\L,\A,\A,\A,\A,\L)
601: %\ToptSAl(\L,\A,\A,\A,\A)
602: %\ToptSAr(\L,\A,\A,\A,\A)
603: %\ToptSE(\L,\A,\A,\A,\A)
604: %\ToptSS(\L,\A,\A,\L)
605: %\ToptSr(\L)
606: %\ToptSrTxt(\L,1)
607: %\ToptSBB(\L,\A,\A)
608: %\ToptSBBTxt(\L,\A,\A,1)
609: %\ToptSTB(\L,\A)
610: %\ToptSTBTxt(\L,\A,1)
611: %% 3pt fcts
612: %\TopoT(\L,\L,\L)
613: %\TopoTTxt(\L,\L,\L,1)
614: %\TopoTS(\L,\L,\L,\A,\A,\A)
615: %\TopoTAo(\L,\L,\L,\A,\A)
616: %\TopoTAr(\L,\L,\L,\A,\A)
617: %\TopoTAl(\L,\L,\L,\A,\A)
618:
619:
620: %%%
621: %%% 4pt fcts
622: %%%
623: \def\ToptrFpt(#1,#2,#3,#4){\picb{#1(0,0)(15,15) #2(15,15)(30,0)%
624: #3(15,15)(30,30) #4(0,30)(15,15)}}
625: \def\ToptrFpta(#1,#2,#3,#4,#5){\picb{#1(0,0)(15,0) #2(15,0)(30,0)%
626: #3(15,30)(30,30) #4(0,30)(15,30) #5(15,30)(15,0)}}
627: \def\ToptrFptb(#1,#2,#3,#4,#5){\picb{#1(0,0)(7,15) #2(23,15)(30,0)%
628: #3(23,15)(30,30) #4(0,30)(7,15) #5(7,15)(23,15)}}
629: \def\ToptrFptc(#1,#2,#3,#4,#5){\picb{#1(0,0)(15,0) #2(15,30)(30,0)%
630: #3(15,0)(20,10) #3(25,20)(30,30) #4(0,30)(15,30) #5(15,30)(15,0)}}
631: %%%
632: %%% for Schwinger/Dyson eqs
633: %%%
634: % 2pt
635: \def\ToptSfull(#1,#2){\picb{#1(0,15)(20,15) #1(25,15)(45,15)%
636: \GCirc(22.5,15){3}{0.5} \Text(22.5,20)[b]{{$\scriptstyle #2$}}}}
637: \def\TopoSBfull(#1,#2,#3,#4){\picb{#1(0,15)(7.5,15) #2(22.5,15)(15,0,180)%
638: #3(22.5,15)(15,180,360) #1(37.5,15)(45,15) \GCirc(37.5,15){3}{0.5}%
639: \Text(32.5,15)[r]{{$\scriptstyle #4$}}}}
640: \def\ToptSSamp(#1,#2,#3,#4,#5){\picb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
641: #4(7.5,15)(37.5,15) #2(22.5,15)(15,0,180) #3(22.5,15)(15,180,360)%
642: \GBoxc(37.5,15)(6,6){0.5} \Text(33.5,13)[tr]{{$\scriptstyle #5$}}}}
643: \def\ToptSSfull(#1,#2,#3,#4,#5){\picb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
644: #4(7.5,15)(37.5,15) #2(22.5,15)(15,0,180) #3(22.5,15)(15,180,360)%
645: \GCirc(37.5,15){3}{0.5} \Text(33.5,13)[tr]{{$\scriptstyle #5$}}}}
646: \def\ToptSAlfull(#1,#2,#3,#4,#5,#6,#7){\picb{#1(0,15)(7.5,15)%
647: #1(37.5,15)(45,15) #2(22.5,15)(15,0,90) #3(22.5,15)(15,90,180)%
648: #4(22.5,15)(15,180,360) #5(7.5,30)(15,270,360)%
649: \GCirc(37.5,15){3}{0.5} \GCirc(22.5,30){3}{0.5}%
650: \Text(33.5,13)[tr]{{$\scriptstyle #6$}}%
651: \Text(24.5,26)[tl]{{$\scriptstyle #7$}}}}
652: % 4pt
653: \def\ToptrFptamp(#1,#2,#3,#4){\picb{#1(4,4)(15,15) #2(15,15)(26,4)%
654: #3(15,15)(26,26) #4(4,26)(15,15) \GBoxc(15,15)(6,6){0.5}}}
655: \def\ToptrFptfull(#1,#2,#3,#4){\picb{#1(4,4)(15,15) #2(15,15)(26,4)%
656: #3(15,15)(26,26) #4(4,26)(15,15) \GCirc(15,15){3}{0.5}}}
657: \def\ToptrFptafull(#1,#2,#3,#4,#5){\picb{#1(4,4)(15,8) #2(15,8)(26,4)%
658: #3(15,22)(26,26) #4(4,26)(15,22) #5(15,22)(15,8)%
659: \GCirc(15,8){3}{0.5} \GCirc(15,22){3}{0.5}}}
660: \def\ToptrFptbfull(#1,#2,#3,#4,#5){\picb{#1(4,4)(8,15) #2(22,15)(26,4)%
661: #3(22,15)(26,26) #4(4,26)(8,15) #5(8,15)(22,15)%
662: \GCirc(8,15){3}{0.5} \GCirc(22,15){3}{0.5}}}
663: \def\ToptrFptcfull(#1,#2,#3,#4,#5){\picb{#1(4,4)(15,8) #2(15,22)(26,4)%
664: #3(15,8)(18,12.9) #3(21,17.8)(26,26) #4(4,26)(15,22) #5(15,22)(15,8)%
665: \GCirc(15,8){3}{0.5} \GCirc(15,22){3}{0.5}}}
666: %\ToptrFpt(\L,\L,\L,\L)
667: %\ToptrFpta(\L,\L,\L,\L,\L)
668: %\ToptrFptb(\L,\L,\L,\L,\L)
669: %\ToptrFptc(\L,\L,\L,\L,\L)
670: %\ToptSfull(\L,1)
671: %\TopoSBfull(\L,\A,\A,1)
672: %\ToptSSamp(\L,\A,\A,\L,1)
673: %\ToptSSfull(\L,\A,\A,\L,1)
674: %\ToptSAlfull(\L,\A,\A,\A,\A,1,2)
675: %\ToptrFptamp(\L,\L,\L,\L)
676: %\ToptrFptfull(\L,\L,\L,\L)
677: %\ToptrFptafull(\L,\L,\L,\L,\L)
678: %\ToptrFptbfull(\L,\L,\L,\L,\L)
679: %\ToptrFptcfull(\L,\L,\L,\L,\L)
680:
681: %%
682: %% for SD eqs section
683: %%
684: \def\ToptVSblob(#1,#2,#3){\pic{#1(15,15)(15,0,180) #2(15,15)(15,180,360)%
685: #3(30,15)(0,15) \GCirc(30,15){3}{0}}\;}
686: \def\ToptVSblobTxt(#1,#2,#3,#4){\pic{#1(15,15)(15,0,180) #2(15,15)(15,180,360)%
687: #3(30,15)(0,15) \GCirc(30,15){3}{0} \Text(26,13)[tr]{{$\scriptstyle #4$}}}\;}
688: \def\ToprVBamp(#1,#2,#3,#4){\picb{#1(30,15)(15,-120,120) #2(30,15)(15,120,240)%
689: #3(15,15)(15,60,300) #4(15,15)(15,-60,60) \GBoxc(22.5,28)(6,6){0}}}
690:
691: %%
692: %% for SD setup section
693: %%
694: \def\ToptVSblobsh(#1,#2,#3){\pic{#1(15,15)(15,0,180) #2(15,15)(15,180,360)%
695: #3(30,15)(0,15) \GCirc(30,15){3}{0.5}}\;}
696: \def\SToptVSblobsh(#1,#2,#3){\spic{#1(15,15)(15,0,180) #2(15,15)(15,180,360)%
697: #3(30,15)(0,15) \GCirc(30,15){3}{0.5}}\;}
698: \def\ToprVBampsh(#1,#2,#3,#4){\picb{#1(30,15)(15,-120,120)%
699: #2(30,15)(15,120,240)%
700: #3(15,15)(15,60,300) #4(15,15)(15,-60,60) \GBoxc(22.5,28)(6,6){0.5}}}
701: \def\ToprVVblob(#1,#2,#3,#4,#5){\!\!\picb{#2(26.25,15)(15,256,76)%
702: #3(30,30)(15,30) #1(18.75,15)(15,104,284) #4(15,30)(22.5,0)%
703: #5(30,30)(22.5,0) \GCirc(29,28){3}{0}}\!\!}
704: \def\ToprVVblobbsh(#1,#2,#3,#4,#5){\!\!\picb{#2(26.25,15)(15,256,76)%
705: #3(30,30)(15,30) #1(18.75,15)(15,104,284) #4(15,30)(22.5,0)%
706: #5(30,30)(22.5,0) \GCirc(29,28){3}{0.5} \GCirc(16,28){3}{0.5}}\!\!}
707: \def\SToprVVblobbsh(#1,#2,#3,#4,#5){\!\!\spicb{#2(26.25,15)(15,256,76)%
708: #3(30,30)(15,30) #1(18.75,15)(15,104,284) #4(15,30)(22.5,0)%
709: #5(30,30)(22.5,0) \GCirc(29,28){3}{0.5} \GCirc(16,28){3}{0.5}}\!\!}
710: \def\ToprVBblob(#1,#2,#3,#4){\picb{#1(30,15)(15,-120,120)%
711: #2(30,15)(15,120,240)%
712: #3(15,15)(15,60,300) #4(15,15)(15,-60,60) \GCirc(22.5,28){3}{0}}}
713: \def\ToprVBblobsh(#1,#2,#3,#4){\picb{#1(30,15)(15,-120,120)%
714: #2(30,15)(15,120,240)%
715: #3(15,15)(15,60,300) #4(15,15)(15,-60,60) \GCirc(22.5,28){3}{0.5}}}
716: \def\SToprVBblobsh(#1,#2,#3,#4){\spicb{#1(30,15)(15,-120,120)%
717: #2(30,15)(15,120,240)%
718: #3(15,15)(15,60,300) #4(15,15)(15,-60,60) \GCirc(22.5,28){3}{0.5}}}
719: \def\ToptrFptblob(#1,#2,#3,#4){\picb{#1(4,4)(15,15) #2(15,15)(26,4)%
720: #3(15,15)(26,26) #4(4,26)(15,15) \GCirc(15,15){3}{0} }}
721:
722: %%
723: %% for n-pt SDs
724: %%
725: % 1pt SD
726: \def\SDgeneric(#1,#2,#3){\!\pic{#1(0,15)(15,15) #2(2,7.5)(15,15)%
727: #3(2,22.5)(15,15) \GCirc(15,15){5}{0.75}%
728: \Text(12,8)[c]{$\scriptstyle \ddots$}%
729: \Text(8,2)[t]{{$\scriptstyle n$}}}\!}
730: \def\SDoneLHS(#1){\pic{#1(0,15)(10,15) \GCirc(15,15){5}{0.5}}}
731: %% \def\SDoneA(#1,#2,#3){\!\pic{#1(0,15)(7,15) #2(15,15)(8,0,180)%
732: %% #3(15,15)(8,180,360)}}
733: %% \def\SDoneB(#1,#2,#3,#4){\!\pic{#1(0,15)(7,15) #4(7,15)(23,15)%
734: %% #2(15,15)(8,0,180) #3(15,15)(8,180,360) \GCirc(23,15){2}{0.5}}\!}
735: \def\SDoneA(#1,#2,#3){\picb{#1(0,15)(7.5,15) #2(22.5,15)(15,0,180)%
736: #3(22.5,15)(15,180,360)}}
737: \def\SDoneB(#1,#2,#3,#4){\picb{#1(0,15)(7.5,15) #4(7.5,15)(37.5,15)%
738: #2(22.5,15)(15,0,180) #3(22.5,15)(15,180,360) \GCirc(37.5,15){3}{0.5}}}
739: \def\SSDoneA(#1,#2,#3){\spicb{#1(0,15)(7.5,15) #2(22.5,15)(15,0,180)%
740: #3(22.5,15)(15,180,360)}}
741: \def\SSDoneB(#1,#2,#3,#4){\spicb{#1(0,15)(7.5,15) #4(7.5,15)(37.5,15)%
742: #2(22.5,15)(15,0,180) #3(22.5,15)(15,180,360) \GCirc(37.5,15){3}{0.5}}}
743: % 2pt SD
744: \def\SDtwoLHS(#1){\pic{#1(0,15)(10,15) #1(20,15)(30,15)%
745: \GCirc(15,15){5}{0.5}}}
746: %% \def\SDtwoA(#1,#2,#3){\!\pic{#1(0,15)(7,15) #2(15,15)(8,0,180)%
747: %% #3(15,15)(8,180,360) #1(23,15)(30,15) \GCirc(23,15){2}{0.5}}}
748: %% \def\SDtwoB(#1,#2,#3,#4){\!\pic{#1(2,7.5)(15,7)%
749: %% #2(28,7.5)(15,7) #3(15,15)(8,-90,90) #4(15,15)(8,90,270)}}
750: %% \def\SDtwoC(#1,#2,#3,#4,#5){\!\pic{#1(0,15)(7,15) #1(23,15)(30,15)%
751: %% #2(15,15)(8,0,90) #3(15,15)(8,90,180) #4(15,15)(8,180,360)%
752: %% #5(7,23)(8,270,360) \GCirc(15,23){2}{0.5} \GCirc(23,15){2}{0.5}}}
753: %% \def\SDtwoD(#1,#2,#3,#4){\!\pic{#1(0,15)(7,15) #1(23,15)(30,15)%
754: %% #4(7,15)(23,15) #2(15,15)(8,0,180) #3(15,15)(8,180,360)%
755: %% \GCirc(23,15){2}{0.5}}}
756: \def\SDtwoA(#1,#2,#3){\picb{#1(0,15)(7.5,15) #2(22.5,15)(15,0,180)%
757: #3(22.5,15)(15,180,360) #1(37.5,15)(45,15) \GCirc(37.5,15){3}{0.5}}}
758: \def\SDtwoB(#1,#2,#3,#4){\!\picb{#1(0,0.5)(22.5,0)%
759: #2(45,0.5)(22.5,0) #3(22.5,15)(15,-90,90) #4(22.5,15)(15,90,270)}}
760: \def\SDtwoC(#1,#2,#3,#4,#5){\picb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
761: #2(22.5,15)(15,0,90) #3(22.5,15)(15,90,180) #4(22.5,15)(15,180,360)%
762: #5(7.5,30)(15,270,360) \GCirc(22.5,30){3}{0.5} \GCirc(37.5,15){3}{0.5}}}
763: \def\SDtwoD(#1,#2,#3,#4){\picb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
764: #4(7.5,15)(37.5,15) #2(22.5,15)(15,0,180) #3(22.5,15)(15,180,360)%
765: \GCirc(37.5,15){3}{0.5}}}
766: \def\SSDtwoA(#1,#2,#3){\spicb{#1(0,15)(7.5,15) #2(22.5,15)(15,0,180)%
767: #3(22.5,15)(15,180,360) #1(37.5,15)(45,15) \GCirc(37.5,15){3}{0.5}}}
768: \def\SSDtwoB(#1,#2,#3,#4){\!\spicb{#1(0,0.5)(22.5,0)%
769: #2(45,0.5)(22.5,0) #3(22.5,15)(15,-90,90) #4(22.5,15)(15,90,270)}}
770: \def\SSDtwoC(#1,#2,#3,#4,#5){\spicb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
771: #2(22.5,15)(15,0,90) #3(22.5,15)(15,90,180) #4(22.5,15)(15,180,360)%
772: #5(7.5,30)(15,270,360) \GCirc(22.5,30){3}{0.5} \GCirc(37.5,15){3}{0.5}}}
773: \def\SSDtwoD(#1,#2,#3,#4){\spicb{#1(0,15)(7.5,15) #1(37.5,15)(45,15)%
774: #4(7.5,15)(37.5,15) #2(22.5,15)(15,0,180) #3(22.5,15)(15,180,360)%
775: \GCirc(37.5,15){3}{0.5}}}
776: % 3pt SD
777: \def\SDthreeLHS(#1,#2,#3){\!\pic{#1(15,30)(15,15) #2(2,7.5)(15,15)%
778: #3(28,7.5)(15,15) \GCirc(15,15){5}{0.5}%
779: \Text(0,10)[b]{{$\scriptstyle 1$}} \Text(30,10)[b]{{$\scriptstyle 2$}}%
780: \Text(19,34)[t]{{$\scriptstyle 3$}}}\!}
781: \def\SDthree(#1,#2,#3){\!\pic{#1(15,30)(15,15) #2(2,7.5)(15,15)%
782: #3(28,7.5)(15,15)}\!}
783: \def\SSDthree(#1,#2,#3){\!\spic{#1(15,30)(15,15) #2(2,7.5)(15,15)%
784: #3(28,7.5)(15,15)}\!}
785: %% \def\SDthreeA(#1,#2,#3,#4,#5,#6){\!\pic{#1(15,30)(15,23) #2(2,7.5)(8,11)%
786: %% #3(28,7.5)(22,11) #6(15,15)(8,210,330) #5(15,15)(8,90,210)%
787: %% #4(15,15)(8,-30,90) \GCirc(15,23){2}{0.5} \GCirc(22,11){2}{0.5}}\!}
788: %% \def\SDthreeB(#1,#2,#3,#4,#5){\!\pic{#1(15,30)(22,19) #2(2,7.5)(8,11)%
789: %% #3(28,7.5)(22,19) #4(15,15)(8,45,225) #5(15,15)(8,-135,45)%
790: %% \GCirc(22,19){2}{0.5}}\!}
791: %% \def\SDthreeC(#1,#2,#3,#4,#5){\!\pic{#1(15,30)(15,23) #2(2,7.5)(15,7)%
792: %% #3(28,7.5)(15,7) #4(15,15)(8,-90,90) #5(15,15)(8,90,270)%
793: %% \GCirc(15,23){2}{0.5}}\!}
794: %% \def\SDthreeD(#1,#2,#3,#4,#5,#6,#7){\!\pic{#1(15,30)(15,23) #2(2,7.5)(8,11)%
795: %% #3(28,7.5)(22,11) #6(15,15)(8,210,330) #5(15,15)(8,90,210)%
796: %% #4(15,15)(8,-30,90) #7(15,3.8)(10,52,128) \GCirc(15,23){2}{0.5}%
797: %% \GCirc(22,11){2}{0.5}}\!}
798: %% \def\SDthreeE(#1,#2,#3,#4,#5,#6,#7,#8){\!\pic{#1(15,30)(15,23)%
799: %% #2(2,7.5)(8,11)%
800: %% #3(28,7.5)(22,11) #7(15,15)(8,210,330) #5(15,15)(8,90,150)%
801: %% #4(15,15)(8,-30,90) #6(15,15)(8,150,210) #8(8,15)(4,-90,90)%
802: %% \GCirc(15,23){2}{0.5} \GCirc(22,11){2}{0.5} \GCirc(8,19){2}{0.5}}\!}
803: %% \def\SDthreeF(#1,#2,#3,#4,#5,#6,#7,#8){\!\pic{#1(15,30)(15,23)%
804: %% #2(2,7.5)(8,11) #3(28,7.5)(22,11) #7(15,15)(8,210,330) #6(15,15)(8,90,210)%
805: %% #4(15,15)(8,-30,30) #5(15,15)(8,30,90) #8(8,11)(22,19)%
806: %% \GCirc(15,23){2}{0.5} \GCirc(22,11){2}{0.5} \GCirc(22,19){2}{0.5}}\!}
807: %% \def\SDthreeG(#1,#2,#3,#4,#5,#6,#7){\!\pic{#1(15,30)(22,19) #2(2,7.5)(8,11)%
808: %% #3(28,7.5)(22,19) #4(15,15)(8,45,225) #5(15,15)(8,-135,-90)%
809: %% #6(15,15)(8,-90,45)%
810: %% #7(8,15)(4,-90,90) \GCirc(22,19){2}{0.5} \GCirc(8,19){2}{0.5}}\!}
811: %% \def\SDthreeH(#1,#2,#3,#4,#5,#6){\!\pic{#1(15,30)(22,19) #2(2,7.5)(8,11)%
812: %% #3(28,7.5)(22,19) #4(15,15)(8,45,225) #5(15,15)(8,-135,45)%
813: %% #6(8,11)(22,19) \GCirc(22,19){2}{0.5}}\!}
814: %%
815: \def\SSDthreeA(#1,#2,#3,#4,#5,#6){\!\spicb{#1(22.5,30)(22.5,40)%
816: #2(-4.5,0)(9.5,7.5)%
817: #3(48.5,0)(35.5,7.5) #6(22.5,15)(15,210,330) #5(22.5,15)(15,90,210)%
818: #4(22.5,15)(15,-30,90) \GCirc(22.5,30){3}{0.5} \GCirc(35.5,7.5){3}{0.5}}\!}
819: \def\SSDthreeB(#1,#2,#3,#4,#5){\!\spicb{#1(22.5,40)(35.5,22.5)%
820: #2(-4.5,0)(9.5,7.5)%
821: #3(48.5,0)(35.5,22.5) #4(22.5,15)(15,45,225) #5(22.5,15)(15,-135,45)%
822: \GCirc(35.5,22.5){3}{0.5}}\!}
823: \def\SSDthreeC(#1,#2,#3,#4,#5){\!\spicb{#1(22.5,30)(22.5,40)%
824: #2(-4.5,0.5)(22.5,0)%
825: #3(48.5,0.5)(22.5,0) #4(22.5,15)(15,-90,90) #5(22.5,15)(15,90,270)%
826: \GCirc(22.5,30){3}{0.5}}\!}
827: \def\SSDthreeD(#1,#2,#3,#4,#5,#6,#7){\!\spicb{#1(22.5,30)(22.5,40)%
828: #2(-4.5,0)(9.5,7.5)%
829: #3(48.5,0)(35.5,7.5) #6(22.5,15)(15,210,330) #5(22.5,15)(15,90,210)%
830: #4(22.5,15)(15,-30,90) #7(22.5,-5)(18,52,131) \GCirc(22.5,30){3}{0.5}%
831: \GCirc(35.5,7.5){3}{0.5}}\!}
832: \def\SSDthreeE(#1,#2,#3,#4,#5,#6,#7,#8){\!\spicb{#1(22.5,30)(22.5,40)%
833: #2(-4.5,0)(9.5,7.5)%
834: #3(48.5,0)(35.5,7.5) #7(22.5,15)(15,210,330) #5(22.5,15)(15,90,150)%
835: #4(22.5,15)(15,-30,90) #6(22.5,15)(15,150,210) #8(7,15)(8,-80,80)%
836: \GCirc(22.5,30){3}{0.5} \GCirc(35.5,7.5){3}{0.5} \GCirc(9.5,22.5){3}{0.5}}\!}
837: \def\SSDthreeF(#1,#2,#3,#4,#5,#6,#7,#8){\!\spicb{#1(22.5,30)(22.5,40)%
838: #2(-4.5,0)(9.5,7.5) #3(48.5,0)(35.5,7.5)%
839: #7(22.5,15)(15,210,330) #6(22.5,15)(15,90,210)%
840: #4(22.5,15)(15,-30,30) #5(22.5,15)(15,30,90) #8(9.5,7.5)(35.5,22.5)%
841: \GCirc(22.5,30){3}{0.5} \GCirc(35.5,22.5){3}{0.5} \GCirc(35.5,7.5){3}{0.5}}\!}
842: \def\SSDthreeG(#1,#2,#3,#4,#5,#6,#7){\!\spicb{#1(22.5,40)(35.5,22.5)%
843: #2(-4.5,0)(9.5,7.5)%
844: #3(48.5,0)(35.5,22.5) #4(22.5,15)(15,45,225) #5(22.5,15)(15,-135,-90)%
845: #6(22.5,15)(15,-90,45)%
846: #7(7,15)(8,-80,80) \GCirc(35.5,22.5){3}{0.5} \GCirc(9.5,22.5){3}{0.5}}\!}
847: \def\SSDthreeH(#1,#2,#3,#4,#5,#6){\!\spicb{#1(22.5,40)(35.5,22.5)%
848: #2(-4.5,0)(9.5,7.5)%
849: #3(48.5,0)(35.5,22.5) #4(22.5,15)(15,45,225) #5(22.5,15)(15,-135,45)%
850: #6(9.5,7.5)(35.5,22.5) \GCirc(35.5,22.5){3}{0.5}}\!}
851: % 4pt SD
852: \def\SDfourLHS(#1,#2,#3,#4){\!\pic{#1(4,4)(15,15) #2(15,15)(26,4)%
853: #3(15,15)(26,26) #4(4,26)(15,15) \GCirc(15,15){5}{0.5}%
854: \Text(0,2)[b]{{$\scriptstyle 1$}}\Text(30,2)[b]{{$\scriptstyle 2$}}%
855: \Text(30,28)[t]{{$\scriptstyle 3$}}\Text(0,28)[t]{{$\scriptstyle 4$}}%
856: }\!}
857: \def\SDfour(#1,#2,#3,#4){\!\pic{#1(4,4)(15,15) #2(15,15)(26,4)%
858: #3(15,15)(26,26) #4(4,26)(15,15)}\!}
859: \def\SSDfour(#1,#2,#3,#4){\!\spic{#1(4,4)(15,15) #2(15,15)(26,4)%
860: #3(15,15)(26,26) #4(4,26)(15,15)}\!}
861: %% \def\SDfourA(#1,#2,#3,#4,#5,#6,#7,#8){\!\pic{#1(4,4)(9,9)%
862: %% #2(26,4)(21,9) #3(26,26)(21,21) #4(4,26)(9,21)%
863: %% #5(15,15)(8,-135,-45) #6(15,15)(8,-45,45) #7(15,15)(8,45,135)%
864: %% #8(15,15)(8,135,-135) \GCirc(21,9){2}{0.5}%
865: %% \GCirc(21,21){2}{0.5} \GCirc(9,21){2}{0.5}}\!}
866: %% \def\SDfourB(#1,#2,#3,#4,#5,#6,#7){\!\pic{#1(4,4)(9,9)%
867: %% #2(26,4)(21,9) #3(26,26)(15,22) #4(4,26)(15,22)%
868: %% #5(15,15)(8,-135,-45) #6(15,15)(8,-45,90) #7(15,15)(8,90,-135)%
869: %% \GCirc(21,9){2}{0.5} \GCirc(15,22){2}{0.5}}\!}
870: %% \def\SDfourC(#1,#2,#3,#4,#5,#6){\!\pic{#1(4,4)(9,9)%
871: %% #2(26,14)(21,21) #3(26,26)(21,21) #4(14,26)(21,21)%
872: %% #5(15,15)(8,-135,45) #6(15,15)(8,45,-135) \GCirc(21,21){2}{0.5}}\!}
873: %% \def\SDfourD(#1,#2,#3,#4,#5,#6,#7){\!\pic{#1(4,4)(15,7)%
874: %% #2(26,4)(15,7) #3(26,26)(21,21) #4(4,26)(9,21)%
875: %% #5(15,15)(8,-90,45) #6(15,15)(8,45,135) #7(15,15)(8,135,-90)%
876: %% \GCirc(21,21){2}{0.5} \GCirc(9,21){2}{0.5}}\!}
877: %% \def\SDfourE(#1,#2,#3,#4,#5,#6){\!\pic{#1(4,4)(15,7)%
878: %% #2(26,4)(15,7) #3(26,26)(15,22) #4(4,26)(15,22)%
879: %% #5(15,15)(8,-90,90) #6(15,15)(8,90,-90) \GCirc(15,22){2}{0.5}}\!}
880: %%
881: \def\SSDfourA(#1,#2,#3,#4,#5,#6,#7,#8){\!\spicb{#1(0,-5)(12,4.5)%
882: #2(45,-5)(33,4.5) #3(45,35)(33,25.5) #4(0,35)(12,25.5)%
883: #5(22.5,15)(15,-135,-45) #6(22.5,15)(15,-45,45) #7(22.5,15)(15,45,135)%
884: #8(22.5,15)(15,135,-135) \GCirc(33,4.5){3}{0.5}%
885: \GCirc(33,25.5){3}{0.5} \GCirc(12,25.5){3}{0.5}}\!}
886: \def\SSDfourB(#1,#2,#3,#4,#5,#6,#7){\!\spicb{#1(0,-5)(12,4.5)%
887: #2(45,-5)(33,4.5) #3(45,35)(22.5,30) #4(0,35)(22.5,30)%
888: #5(22.5,15)(15,-135,-45) #6(22.5,15)(15,-45,90) #7(22.5,15)(15,90,-135)%
889: \GCirc(33,4.5){3}{0.5} \GCirc(22.5,30){3}{0.5}}\!}
890: \def\SSDfourC(#1,#2,#3,#4,#5,#6){\!\spicb{#1(0,-5)(12,4.5)%
891: #2(45,15)(33,25.5) #3(45,35)(33,25.5) #4(22.5,35)(33,25.5)%
892: #5(22.5,15)(15,-135,45) #6(22.5,15)(15,45,-135) \GCirc(33,25.5){3}{0.5}}\!}
893: \def\SSDfourD(#1,#2,#3,#4,#5,#6,#7){\!\spicb{#1(0,-5)(22.5,0)%
894: #2(45,-5)(22.5,0) #3(45,35)(33,25.5) #4(0,35)(12,25.5)%
895: #5(22.5,15)(15,-90,45) #6(22.5,15)(15,45,135) #7(22.5,15)(15,135,-90)%
896: \GCirc(33,25.5){3}{0.5} \GCirc(12,25.5){3}{0.5}}\!}
897: \def\SSDfourE(#1,#2,#3,#4,#5,#6){\!\spicb{#1(0,-5)(22.5,0)%
898: #2(45,-5)(22.5,0) #3(45,35)(22.5,30) #4(0,35)(22.5,30)%
899: #5(22.5,15)(15,-90,90) #6(22.5,15)(15,90,-90) \GCirc(22.5,30){3}{0.5}}\!}
900: % 5pt SD
901: \def\SDfiveLHS(#1,#2,#3,#4,#5){\!\pic{#1(15,15)(15,29) #2(15,15)(2.5,21)%
902: #3(15,15)(7.5,3) #4(15,15)(22.5,3) #5(15,15)(27.5,21)%
903: \GCirc(15,15){5}{0.5}}\!}
904:
905: %%
906: %% for SD iteration
907: %%
908: \def\FullProp(#1){\pic{#1(5,15)(25,15) \Text(15,18)[b]{{\tiny (full)}}}}
909: \def\Prop(#1){\pic{#1(5,15)(25,15)}}
910: \def\PropPiProp(#1){\picb{#1(0,15)(15,15) #1(25,15)(40,15)
911: \GCirc(20,15){5}{0.75} \Text(20,15)[c]{$\textstyle \pi$}}}
912: \def\PropFreeProp(#1){\picb{#1(0,15)(17.5,15) #1(22.5,15)(40,15)
913: \Line(17.5,10)(22.5,20) \GCirc(20,15){2}{0} }}
914: \def\SPropPiProp(#1){\!\pic{#1(5,15)(15,15) #1(25,15)(35,15)
915: \GCirc(20,15){5}{0.75} \Text(20,15)[c]{$\textstyle \pi$}}}
916: \def\SPropFreeProp(#1){\!\pic{#1(5,15)(17.5,15) #1(22.5,15)(35,15)
917: \Line(17.5,10)(22.5,20) \GCirc(20,15){2}{0} }}
918: \def\FProp(#1){\picb{#1(0,15)(17.5,15) #1(27.5,15)(45,15)
919: \GCirc(22.5,15){5}{0.75} }}
920: \def\FFProp(#1){\picb{#1(0,15)(17.5,15)}}
921: \def\PropPiPropPiProp(#1){\picc{#1(0,15)(15,15) #1(25,15)(35,15)%
922: #1(45,15)(60,15) \GCirc(20,15){5}{0.75} \Text(20,15)[c]{$\textstyle \pi$}%
923: \GCirc(40,15){5}{0.75} \Text(40,15)[c]{$\textstyle \pi$}}}
924: \def\SDvacO(#1,#2){\pic{#1(15,15)(15,-90,270)%
925: \Line(13,-5)(17,5) \GCirc(15,0){2}{0} \Text(15,26)[t]{{\tiny #2}}}}
926: \def\SSDvacO(#1,#2){\spic{#1(15,15)(15,-90,270)%
927: \Line(13,-5)(17,5) \GCirc(15,0){2}{0} \Text(15,26)[t]{{\tiny #2}}}}
928: \def\SDvacOpi(#1){\pic{#1(15,15)(15,91,89)%
929: \GCirc(15,30){5}{0.75} \Text(15,30)[c]{$\textstyle \pi$}}}
930: \def\SSDvacOpi(#1){\spic{#1(15,15)(15,91,89)%
931: \GCirc(15,30){5}{0.75} \Text(10.5,21)[c]{$\scriptstyle \pi$}}}
932: \def\ToprVMa(#1,#2,#3,#4,#5,#6){\spic{#3(15,15)(15,-30,90)%
933: #1(15,15)(15,90,210)%
934: #2(15,15)(15,210,330) #5(2,7.5)(15,15) #6(15,15)(15,30) #4(28,7.5)(15,15)%
935: \GCirc(15,30){3}{0.5} \GCirc(28,7.5){3}{0.5}}}
936: \def\SToprVMa(#1,#2,#3,#4,#5,#6){\spic{#3(15,15)(15,-30,90)%
937: #1(15,15)(15,90,210)%
938: #2(15,15)(15,210,330) #5(2,7.5)(15,15) #6(15,15)(15,30) #4(28,7.5)(15,15)%
939: \GCirc(15,30){3}{0.5} \GCirc(28,7.5){3}{0.5}}}
940: \def\ToprVMb(#1,#2,#3,#4,#5,#6,#7){\pic{#3(15,15)(15,-30,90)%
941: #1(15,15)(15,90,210) #2(15,15)(15,210,330) #5(2,7.5)(15,15)%
942: #6(15,15)(15,30) #4(28,7.5)(15,15)%
943: \GCirc(15,30){3}{0.5} \Text(18,29)[bl]{#7}}}
944: \def\SToprVMb(#1,#2,#3,#4,#5,#6,#7){\spic{#3(15,15)(15,-30,90)%
945: #1(15,15)(15,90,210) #2(15,15)(15,210,330) #5(2,7.5)(15,15)%
946: #6(15,15)(15,30) #4(28,7.5)(15,15)%
947: \GCirc(15,30){3}{0.5} \Text(18,29)[bl]{#7}}}
948: \def\ToprVVb(#1,#2,#3,#4,#5){\!\!\picb{#2(26.25,15)(15,256,76)%
949: #3(30,30)(15,30) #1(18.75,15)(15,104,284) #4(15,30)(22.5,0)%
950: #5(30,30)(22.5,0) \GCirc(22.5,0){3}{0.5}}\!\!}
951: \def\SToprVVb(#1,#2,#3,#4,#5){\!\!\spicb{#2(26.25,15)(15,256,76)%
952: #3(30,30)(15,30) #1(18.75,15)(15,104,284) #4(15,30)(22.5,0)%
953: #5(30,30)(22.5,0) \GCirc(22.5,0){3}{0.5}}\!\!}
954: \def\ToprVVc(#1,#2,#3,#4,#5,#6){\!\!\picb{#2(26.25,15)(15,256,76)%
955: #3(30,30)(15,30) #1(18.75,15)(15,104,284) #4(15,30)(22.5,0)%
956: #5(30,30)(22.5,0) \GCirc(22.5,0){3}{0.5} \Text(26,-1)[tl]{#6}}\!\!}
957: \def\TopfVXa(#1,#2,#3,#4,#5,#6,#7,#8,#9){\picb{#1(15,15)(15,90,270)%
958: #2(30,15)(15,-90,90) #4(30,30)(15,30) #3(15,0)(30,0) #6(15,0)(15,15)%
959: #5(15,15)(30,30) #8(15,30)(20,25) #8(25,20)(30,15) #7(30,15)(30,0)%
960: #9(15,15)(30,15) \GCirc(15,0){3}{0.5} \GCirc(30,0){3}{0.5}%
961: \GCirc(30,30){3}{0.5}}}
962: \def\TopfVHa(#1,#2,#3,#4,#5,#6,#7,#8,#9){\picb{#1(15,15)(15,90,270)%
963: #2(30,15)(15,-90,90) #4(30,30)(15,30) #3(15,0)(30,0) #6(15,0)(15,15)%
964: #5(15,15)(15,30) #8(30,30)(30,15) #7(30,15)(30,0) #9(15,15)(30,15)%
965: \GCirc(30,0){3}{0.5} \GCirc(30,30){3}{0.5}}}
966: \def\TopfVHb(#1,#2,#3,#4,#5,#6,#7,#8,#9){\picb{#1(15,15)(15,90,270)%
967: #2(30,15)(15,-90,90) #4(30,30)(15,30) #3(15,0)(30,0) #6(15,0)(15,15)%
968: #5(15,15)(15,30) #8(30,30)(30,15) #7(30,15)(30,0) #9(15,15)(30,15)%
969: \GCirc(15,0){3}{0.5} \GCirc(30,0){3}{0.5} \GCirc(30,30){3}{0.5}}}
970: \def\TopfVWa(#1,#2,#3,#4,#5,#6,#7,#8){\pic{#1(15,15)(15,90,180)%
971: #3(15,15)(15,180,270) #2(15,15)(15,270,360) #4(15,15)(15,0,90)%
972: #5(15,15)(15,30) #7(15,15)(15,0) #6(0,15)(15,15) #8(30,15)(15,15)
973: \GCirc(15,0){3}{0.5} \GCirc(30,15){3}{0.5} \GCirc(15,30){3}{0.5}}\,}
974: \def\TopfVWb(#1,#2,#3,#4,#5,#6,#7,#8){\pic{#1(15,15)(15,90,180)%
975: #3(15,15)(15,180,270) #2(15,15)(15,270,360) #4(15,15)(15,0,90)%
976: #5(15,15)(15,30) #7(15,15)(15,0) #6(0,15)(15,15) #8(30,15)(15,15)
977: \GCirc(15,15){3}{0.5} \GCirc(30,15){3}{0.5}}\,}
978: \def\TopfVWc(#1,#2,#3,#4,#5,#6,#7,#8){\pic{#1(15,15)(15,90,180)%
979: #3(15,15)(15,180,270) #2(15,15)(15,270,360) #4(15,15)(15,0,90)%
980: #5(15,15)(15,30) #7(15,15)(15,0) #6(0,15)(15,15) #8(30,15)(15,15)
981: \GCirc(30,15){3}{0.5} \GCirc(15,30){3}{0.5}}\,}
982: \def\TopfVVa(#1,#2,#3,#4,#5,#6,#7,#8){\!\!\picb{#2(26.25,15)(15,256,346)%
983: #3(26.25,15)(15,-14,76) #4(30,30)(15,30) #1(18.75,15)(15,104,284)%
984: #7(22.5,0)(15,30) #6(30,30)(26.25,15) #8(26.25,15)(22.5,0)%
985: #5(26.25,15)(39.8,11.4) \GCirc(26.25,15){3}{0.5}%
986: \GCirc(39.8,11.4){3}{0.5}}\!}
987: \def\TopfVVb(#1,#2,#3,#4,#5,#6,#7,#8){\!\!\picb{#2(26.25,15)(15,256,346)%
988: #3(26.25,15)(15,-14,76) #4(30,30)(15,30) #1(18.75,15)(15,104,284)%
989: #7(22.5,0)(15,30) #6(30,30)(26.25,15) #8(26.25,15)(22.5,0)%
990: #5(26.25,15)(39.8,11.4) \GCirc(15,30){3}{0.5} \GCirc(30,30){3}{0.5}%
991: \GCirc(39.8,11.4){3}{0.5}}\!}
992: \def\TopfVVc(#1,#2,#3,#4,#5,#6,#7,#8){\!\!\picb{#2(26.25,15)(15,256,346)%
993: #3(26.25,15)(15,-14,76) #4(30,30)(15,30) #1(18.75,15)(15,104,284)%
994: #7(22.5,0)(15,30) #6(30,30)(26.25,15) #8(26.25,15)(22.5,0)%
995: #5(26.25,15)(39.8,11.4) \GCirc(22.5,0){3}{0.5}}\!}
996: \def\TopfVVd(#1,#2,#3,#4,#5,#6,#7,#8){\!\!\picb{#2(26.25,15)(15,256,346)%
997: #3(26.25,15)(15,-14,76) #4(30,30)(15,30) #1(18.75,15)(15,104,284)%
998: #7(22.5,0)(15,30) #6(30,30)(26.25,15) #8(26.25,15)(22.5,0)%
999: #5(26.25,15)(39.8,11.4) \GCirc(15,30){3}{0.5}}\!}
1000: \def\TopfVVe(#1,#2,#3,#4,#5,#6,#7,#8){\!\!\picb{#2(26.25,15)(15,256,346)%
1001: #3(26.25,15)(15,-14,76) #4(30,30)(15,30) #1(18.75,15)(15,104,284)%
1002: #7(22.5,0)(15,30) #6(30,30)(26.25,15) #8(26.25,15)(22.5,0)%
1003: #5(26.25,15)(39.8,11.4) \GCirc(22.5,0){3}{0.5} \GCirc(39.8,11.4){3}{0.5}}\!}
1004: \def\TopfVBa(#1,#2,#3,#4,#5,#6,#7){\picb{#2(30,15)(15,-120,120)%
1005: #6(30,15)(15,120,180) #5(30,15)(15,180,240) #1(15,15)(15,60,300)%
1006: #4(15,15)(15,-60,0) #3(15,15)(15,0,60) #7(30,15)(15,15)%
1007: \GCirc(22.5,2.5){3}{0.5} \GCirc(30,15){3}{0.5}}}
1008: \def\TopfVBb(#1,#2,#3,#4,#5,#6,#7){\picb{#2(30,15)(15,-120,120)%
1009: #6(30,15)(15,120,180) #5(30,15)(15,180,240) #1(15,15)(15,60,300)%
1010: #4(15,15)(15,-60,0) #3(15,15)(15,0,60) #7(30,15)(15,15)%
1011: \GCirc(15,15){3}{0.5} \GCirc(30,15){3}{0.5}}}
1012: \def\TopfVBc(#1,#2,#3,#4,#5,#6,#7){\picb{#2(30,15)(15,-120,120)%
1013: #6(30,15)(15,120,180) #5(30,15)(15,180,240) #1(15,15)(15,60,300)%
1014: #4(15,15)(15,-60,0) #3(15,15)(15,0,60) #7(30,15)(15,15)%
1015: \GCirc(22.5,2.5){3}{0.5}}}
1016: \def\TopfVNa(#1,#2,#3,#4,#5,#6,#7){\picb{#1(15,15)(15,90,270)%
1017: #2(30,15)(15,-90,90) #4(30,30)(15,30) #3(15,0)(30,0)%
1018: #5(15,0)(15,30) #6(30,30)(30,0) #7(15,30)(30,0) \GCirc(30,30){3}{0.5}}}
1019: \def\TopfVNb(#1,#2,#3,#4,#5,#6,#7){\picb{#1(15,15)(15,90,270)%
1020: #2(30,15)(15,-90,90) #4(30,30)(15,30) #3(15,0)(30,0)%
1021: #5(15,0)(15,30) #6(30,30)(30,0) #7(15,30)(30,0)%
1022: \GCirc(15,30){3}{0.5} \GCirc(30,30){3}{0.5}}}
1023: \def\TopfVUa(#1,#2,#3,#4,#5,#6,#7){\pic{#3(15,15)(15,0,90)%
1024: #2(15,15)(15,90,180) #4(15,15)(15,180,270) #1(15,15)(15,270,360)%
1025: #6(0,15)(15,30) #7(15,0)(0,15) #5(30,15)(15,0) \GCirc(15,0){3}{0.5}}}
1026: \def\TopfVTa(#1,#2,#3,#4,#5,#6){\pic{#1(15,15)(15,90,210)%
1027: #2(15,15)(15,210,330) #3(15,15)(15,-30,90) #4(2,7.5)(15,30)%
1028: #6(28,7.5)(2,7.5) #5(15,30)(28,7.5) \GCirc(15,30){3}{0.5}}}
1029: \def\SDlatA(#1,#2,#3,#4,#5,#6){\!\!\picb{#2(26.25,15)(15.5,256,76)%
1030: #4(30,30)(15,30) #1(18.75,15)(15.5,104,284) #5(15,30)(22.5,0)%
1031: #6(30,30)(22.5,0) #3(14.3,18)(20,-70,33) \GCirc(22.5,0){3}{0.5}}\!\!}
1032: \def\SDlatB(#1,#2,#3,#4,#5,#6,#7){\!\!\picb{#2(26.25,15)(15.5,256,76)%
1033: #3(22.5,30)(15,30) #4(30,30)(22.5,30) #1(18.75,15)(15.5,104,284)%
1034: #5(15,30)(22.5,0) #6(30,30)(22.5,0) #7(22.5,0)(22.5,30)%
1035: \GCirc(22.5,0){3}{0.5}}\!\!}
1036: \def\ToprVVblobshTxt(#1,#2,#3,#4,#5,#6){\!\!\picb{#2(26.25,15)(15,256,76)%
1037: #3(30,30)(15,30) #1(18.75,15)(15,104,284) #4(15,30)(22.5,0)%
1038: #5(30,30)(22.5,0) \GCirc(29,28){3}{0.5}%
1039: \Text(31,28)[bl]{#6}}\!\!}
1040: \def\SToprVVblobshTxt(#1,#2,#3,#4,#5,#6){\!\!\spicb{#2(26.25,15)(15,256,76)%
1041: #3(30,30)(15,30) #1(18.75,15)(15,104,284) #4(15,30)(22.5,0)%
1042: #5(30,30)(22.5,0) \GCirc(29,28){3}{0.5}%
1043: \Text(31,28)[bl]{#6}}\!\!}
1044:
1045: %%
1046: %% Lattice graphs
1047: %%
1048: % 3loop lat
1049: \def\STopLA(#1,#2){\spicc{#1(15,15)(15,0,360) #1(45,15)(15,0,360)%
1050: #2(30,15)(60,15)}}
1051: \def\STopLB(#1,#2){\;\;\spic{#2(0,15)(30,15) #2(7.5,28)(22.5,2)%
1052: #2(22.5,28)(7.5,2)%
1053: #1(15,30)(7.5,330,210) #1(2,7.5)(7.5,90,330) #1(28,7.5)(7.5,210,90)}}
1054: % 4loop lat
1055: \def\STopLa(#1,#2){\spicb{#1(15,15)(15,90,270)%
1056: #1(30,15)(15,-90,90) #2(30,30)(15,30) #2(15,0)(30,0) #2(22.5,0)(22.5,30)%
1057: #2(22.5,0)(15,30) #2(22.5,0)(30,30)}}
1058: \def\STopLb(#1,#2){\!\!\spicb{#1(26.25,15)(15.5,256,76)%
1059: #2(30,30)(15,30) #1(18.75,15)(15.5,104,284) #2(15,30)(22.5,0)%
1060: #2(30,30)(22.5,0) #1(15,17.8)(19.3,292.8,39.1)}\!\!}
1061: \def\STopLc(#1,#2){\spicb{#1(30,15)(15,-120,120)%
1062: #1(30,15)(15,120,240) #1(15,15)(15,60,300) #1(15,15)(15,-60,60)%
1063: #2(22.5,3)(22.5,27)}}
1064: \def\STopLd{\spicc{\CArc(15,15)(15,0,360) \CArc(45,15)(15,0,360)
1065: \Line(15,0)(15,30) \Line(15,15)(30,15)}}
1066: \def\STopLe{\spicb{\CArc(15,15)(15,90,270) \CArc(30,15)(15,270,90)
1067: \Line(15,30)(30,30) \Line(15,0)(30,0)
1068: \Line(15,30)(22.5,0) \Line(30,30)(22.5,0) \CArc(30,36)(6,0,360)}}
1069: \def\STopLf{\spicb{\CArc(15,15)(15,90,270) \CArc(30,15)(15,270,90)
1070: \Line(15,30)(30,30) \Line(15,0)(30,0)
1071: \Line(15,0)(22.5,30) \Line(30,0)(22.5,30) \CArc(22.5,36)(6,0,360)}}
1072: \def\STopLg{\spicc{\CArc(15,15)(15,0,360) \CArc(45,15)(15,0,360)
1073: \Oval(15,15)(5,15)(0)}}
1074: \def\STopLh{\spicc{\CArc(15,15)(15,0,360) \CArc(45,15)(15,0,360)
1075: \Line(0,15)(60,15)}}
1076: \def\STopLi{\spiccc{\CArc(15,15)(15,0,360) \CArc(45,15)(15,0,360)
1077: \CArc(75,15)(15,0,360) \Line(30,15)(60,15)}}
1078: \def\STopLj{\spicb{\CArc(15,15)(15,0,360) \Line(0,15)(30,15)
1079: \CArc(40,5)(7,225,45) \CArc(40,25)(7,315,135)
1080: \Line(30,15)(35,30) \Line(30,15)(45,20)
1081: \Line(30,15)(45,10) \Line(30,15)(35,0)}}
1082: \def\STopLk{\spic{\CArc(5,5)(7,135,315) \CArc(5,25)(7,45,225)
1083: \CArc(25,5)(7,225,45) \CArc(25,25)(7,315,135)
1084: \Line(10,0)(20,30) \Line(0,10)(30,20)
1085: \Line(0,20)(30,10) \Line(10,30)(20,0)}}
1086: %
1087:
1088: \def\TopoSsh(#1){\pib{#1(0,15)(10,15) #1(12.5,15)(22.5,15)%
1089: \GCirc(11.25,15){2.0}{0}}}
1090: \def\SPropCircProp(#1,#2){\!\pib{#1(5,15)(15,15) #1(25,15)(35,15)
1091: \GCirc(20,15){5}{0.75} \Text(20,15)[c]{$\scriptstyle #2$}}}
1092: \def\SPropBoxProp(#1,#2){\!\pib{#1(5,15)(15,15) #1(25,15)(35,15)
1093: \GBoxc(20,15)(9,9){0.75} \Text(20,15)[c]{$\scriptstyle #2$}}}
1094: \def\TopoS(#1){\SPropCircProp(#1,1)}
1095: \def\ToptSi(#1){\SPropCircProp(#1,2)}
1096: \def\ToptSr(#1){\SPropBoxProp(#1,2)}
1097:
1098:
1099: %------------------------------------------------------------------------
1100: %%%%%%%%%%%%%%%%%%%%%%%%%%%%% TEXT %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1101:
1102: \begin{document}
1103:
1104: \begin{titlepage}
1105: \begin{flushright}
1106: CERN-TH/2001-248\\
1107: hep-ph/0109100\\
1108: \end{flushright}
1109: \begin{centering}
1110: \vfill
1111:
1112: {\bf A SIMPLE WAY TO GENERATE HIGH ORDER VACUUM GRAPHS}
1113:
1114: \vspace{0.8cm}
1115:
1116: K. Kajantie$^{\rm a,}$\footnote{keijo.kajantie@helsinki.fi},
1117: M. Laine$^{\rm b,}$\footnote{mikko.laine@cern.ch},
1118: Y. Schr\"oder$^{\rm a,}$\footnote{york.schroder@helsinki.fi}
1119:
1120: \vspace{0.8cm}
1121:
1122: {\em $^{\rm a}$%
1123: Department of Physics,
1124: P.O.Box 9, FIN-00014 University of Helsinki, Finland\\}
1125:
1126: \vspace{0.3cm}
1127:
1128: {\em $^{\rm b}$%
1129: Theory Division, CERN, CH-1211 Geneva 23,
1130: Switzerland\\}
1131:
1132: \vspace*{0.8cm}
1133:
1134: \end{centering}
1135:
1136: \noindent
1137: %
1138: We describe an efficient practical procedure for enumerating
1139: and regrouping vacuum Feynman graphs of a given order in perturbation
1140: theory. The method is based on a combination of Schwinger-Dyson
1141: equations and the two-particle-irreducible (``skeleton'') expansion.
1142: The regrouping leads to skeletons containing only free propagators,
1143: together with ``ring diagrams'' containing all the self-energy
1144: insertions. As a consequence, relatively few diagrams need to be drawn
1145: and integrations carried out at any single stage of the computation
1146: and, in low dimensions, overlapping ultraviolet/infrared
1147: subdivergences can be cleanly isolated.
1148: As an illustration we enumerate the graphs contributing
1149: to the 4-loop free energy in QCD, explicitly in a continuum and
1150: more compactly in a lattice regularization.
1151: %
1152: \vfill
1153: \noindent
1154:
1155: %\noindent
1156: %PACS numbers:
1157: %02.10.Eb, % Combinatorics
1158: %11.10.Wx, % Finite temperature field theory
1159: %11.15.Bt, % General properties of perturbation theory
1160: %11.15.Ha, % Lattice gauge theory
1161: %12.38.Bx, % Perturbative calculations in QCD
1162: %\\
1163: %Keywords:
1164:
1165: \vspace*{1cm}
1166:
1167: \noindent
1168: CERN-TH/2001-248\\
1169: November 2001
1170:
1171: \vfill
1172:
1173: \end{titlepage}
1174:
1175: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1176: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1177:
1178: \section{Introduction}
1179:
1180: There are many physics contexts where multiloop
1181: Feynman diagram computations are carried out. In QED one
1182: goes up to 4-loop level (for reviews see, e.g.,~\cite{qed}),
1183: because experiments are so precise. In particle physics phenomenology,
1184: particularly QCD, one goes up to 4-loop level
1185: (see, e.g.,~\cite{RML}), because the coupling constant
1186: is not small. In studying critical phenomena
1187: in the simplest O($N$) condensed matter systems,
1188: one goes up to 5-loop level~(see, e.g.,~\cite{GLTC}),
1189: because the effective expansion parameter is not small.
1190:
1191: Studies of QCD at a finite temperature $T$ are faced
1192: with a similar challenge. Indeed, the coupling constant
1193: expansion converges even worse than at zero temperature,
1194: requiring at least $T\gg 10^3 \Lambda_\rmi{QCD}$
1195: to make any sense at all~\cite{bn,adjoint}.
1196: So far, though, only resummed 3-loop level has been
1197: reached for the simplest physical observable,
1198: the free energy~\cite{az},
1199: because a broken Lorentz symmetry makes the analysis much more
1200: complicated than in the cases mentioned above. In fact,
1201: even in principle only one more order is (partly) computable,
1202: and then the expansion breaks down completely~\cite{IR}.
1203: Multiloop computations are not useless, though: the infrared
1204: problems can be isolated to a simple three-dimensional (3d)
1205: effective field theory~\cite{dr} and studied non-perturbatively
1206: there~\cite{a0cond}, but to convert the results to physical
1207: units from lattice regularization still necessitates
1208: a number of fixed-order perturbative
1209: computations~\cite{framework,contlatt,moore_a}.
1210:
1211: As the loop order increases, so does the computational
1212: effort. The sheer enumeration of various diagrams and their
1213: symmetry factors becomes non-trivial. The group theoretic
1214: and Lorentz structures of single graphs are involved.
1215: Finally, the scalar integrals remaining are hard
1216: to evaluate analytically. It is therefore clear that
1217: ideally, one would like to automatise the whole procedure
1218: (for a review of the current status see, e.g.,~\cite{HS}).
1219:
1220: In this paper we concentrate on the first step of any multiloop
1221: computation, the enumeration of various Feynman diagrams. This
1222: step should be the easiest to automatise, since all one needs
1223: is a straightforward evaluation of Wick contractions.
1224: Indeed, various packages, such
1225: as {\tt FeynArts}~\cite{FA} and {\tt QGRAF}~\cite{QG},
1226: are available for determining
1227: $n$-point functions in a given particle physics model.
1228:
1229: For vacuum graphs in condensed matter systems
1230: a similar approach is possible. For the quartic O($N$)
1231: scalar model the combinatorics is not yet too hard,
1232: but variants thereof already require some work.
1233: Consequently, graphical algorithms have been
1234: developed at 4-loop order and beyond for a number
1235: of simple models~\cite{Klmany}.
1236:
1237: In many cases, though, a straightforward generation of the
1238: full set of diagrams of a given loop order may not be the
1239: ideal way to go. In realistic theories there are very many graphs,
1240: and all integrals would have to be evaluated on the same footing.
1241: This is almost impossible, particularly if many different masses appear.
1242:
1243: Here we wish to present what would seem to us
1244: to be a maximally manageable setup. All vacuum graphs are
1245: generated, but they are cleanly separated into two groups:
1246: one, of two-particle-irreducible (2PI) ``skeletons'' with
1247: free propagators; the other, of ``ring diagrams''
1248: with various self-energy insertions (see also~\cite{ma}).
1249: The self-energies, in turn, are directly obtained from lower order skeletons.
1250: We find that this setup economises the generation of the
1251: various graphs quite significantly. We also point out that
1252: in low dimensions, relevant for statistical physics applications,
1253: the integrations remaining are qualitatively different in the two sets.
1254:
1255: As an illustration of the setup, we enumerate
1256: the diagrams contributing to the 4-loop free energy
1257: of finite temperature QCD
1258: (as well as QED and the symmetric phases of the electroweak theory
1259: and scalar electrodynamics).
1260: We hope, though, that the setup
1261: may be applicable to some other cases as well. That is why
1262: we wish to separate it from the evaluation of the
1263: integrals arising in the finite $T$ context~\cite{inpre},
1264: specific for that physical situation.
1265:
1266: Our plan is the following.
1267: We summarise our basic notation in~\se\ref{se:notation},
1268: reorganise the standard skeleton expansion in~\se\ref{se:skeleton},
1269: review the Schwinger-Dyson equations for $n$-point and
1270: vacuum graphs in~\se\ref{se:sd}, and combine them with
1271: the modified skeleton expansion to obtain a generating formula
1272: for skeleton diagrams in~\se\ref{se:combine}.
1273: The corresponding results are given for a
1274: lattice regularization of a generic model in~\se\ref{se:lattice}.
1275: As an illustration,
1276: we show the loop expansion for the free energy of QCD
1277: and related models in~\se\ref{se:continuum}.
1278: We discuss some basic properties of our setup and conclude
1279: in~\se\ref{se:integrals}.
1280:
1281:
1282: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1283:
1284: \section{Notation}
1285: \la{se:notation}
1286:
1287: Let us start by introducing a concise notation.
1288: While the method is valid for any theory, we explicitly
1289: give all equations for a generic $\varphi^3+\varphi^4$ model.
1290: Later on we discuss more specific examples within this
1291: class, in particular the QCD, as well as some extensions of this class.
1292: The generic class also includes the electroweak sector
1293: of the Standard Model, both in its symmetric and its
1294: spontaneously broken phase.
1295:
1296: The partition function is defined as
1297: \be
1298: Z[J] = \int{\cal D}\varphi\, e^{S[\varphi]+J\varphi},
1299: \la{eq:ZJ}
1300: \ee
1301: where $S[\varphi]$ is the action,
1302: \ba
1303: S[\varphi] &=& -\fr12 \varphi_i \Delta^{-1}_{ij} \varphi_j
1304: + \fr1{3!} \gamma_{ijk} \varphi_i \varphi_j \varphi_k
1305: + \fr1{4!} \gamma_{ijkl} \varphi_i \varphi_j \varphi_k \varphi_l \;,
1306: \la{eq:generic}
1307: \ea
1308: and summations over
1309: various indices, numbering (real scalar) fields and their
1310: internal and spacetime structures, are implied.
1311: Two comments are in order. First, we will for the moment
1312: not display fermions explicitly. As far as vacuum graphs are
1313: concerned, they do not introduce any complications
1314: apart from the usual overall minus sign for each closed loop,
1315: and can thus be introduced only at the end~\cite{Cvi}. Second,
1316: one should notice that the sign conventions in~\eqs\nr{eq:ZJ},
1317: \nr{eq:generic} are such that in the case of
1318: Euclidean actions, $\gamma_{ijkl}$ is typically negative.
1319:
1320: For a theory with a broken symmetry, the
1321: inverse free propagator $\Delta^{-1}$ and
1322: the couplings $\gamma_{ijk...}$ are functions of the order parameter,
1323: but otherwise there are no essential complications.
1324: We return to this point in~\se\ref{se:npoint}.
1325:
1326: The partition function $Z[J]$ in \eq\nr{eq:ZJ}
1327: is the generating functional for full Green's functions,
1328: $\Gamma_n^{{\rm full}} = \ld \d_J^n\, Z[J] \right|_{J=0}$.
1329: As usual we define
1330: \be
1331: W[J] = \ln\,Z[J],
1332: \la{eq:WJ}
1333: \ee
1334: the generating functional of connected Green's functions,
1335: $\Gamma_n^{{\rm conn}} = \ld \d_J^n\, W[J] \right|_{J=0}$.
1336: Finally, one can define the effective action via
1337: \be
1338: S_{\rm eff}[\phi]=W[J]-\phi J, \quad
1339: \phi = \delta_J W[J],
1340: \la{eq:Seff}
1341: \ee
1342: which generates one-particle-irreducible (1PI) Green's
1343: functions, $\Gamma_n^{{\rm 1PI}} = \d_\phi^{\,n}\!
1344: \ld S_{\rm eff}[\phi] \right|_{\phi=0}$. Note, in particular,
1345: that $\delta_\phi S_\rmi{eff}[\phi] = - J$.
1346: The vacuum, or free energy $F$
1347: (made dimensionless by a division
1348: with the temperature~$T$), can be obtained from
1349: any of the generating functionals as
1350: \be
1351: F = -\ln Z[0] = -W[0] = -S_\rmi{eff}[0].
1352: \la{eq:F}
1353: \ee
1354:
1355: {}From the basic relations $\phi = \delta_J W[J]$,
1356: $\delta_\phi S_\rmi{eff}[\phi] = - J$ it follows that
1357: \be
1358: \delta_J^2 W[J] \,
1359: \delta_\phi^2 S_\rmi{eff}[\phi] = -1.
1360: \la{eq:rel}
1361: \ee
1362: Defining, as usual, the ``proper'' self-energy by
1363: \be
1364: \delta_\phi^2 S_\rmi{eff}[\phi] \equiv -\Delta^{-1} + \Pi,
1365: \ee
1366: we see from \eq\nr{eq:rel} that
1367: $\delta_J^2 W[J]$ is the full propagator:
1368: \be
1369: \delta_J^2 W[J] \equiv D[\phi] = \frac{1}{\Delta^{-1} - \Pi} \equiv
1370: \Delta + \Delta \Pi \Delta + \Delta \Pi \Delta \Pi \Delta + ... \;.
1371: \la{eq:fullprop}
1372: \ee
1373: We shall use here the following notation for free and full propagators,
1374: the proper self-energy, as well as general 1PI vertices:
1375: \ba
1376: \Delta & = & \Prop(\Lsc)\quad
1377: \hspace*{0.52cm} (\mbox{free propagator}), \la{freeprop} \\
1378: D & = & \Prop(\TLsc) = \Prop(\Lsc) +\PropPiProp(\Lsc)
1379: +\PropPiPropPiProp(\Lsc) +\dots (\mbox{full propagator}),
1380: \la{eq:fullproppic} \\
1381: \Pi & = & \PropPiProp(\DLsc) \quad
1382: \mbox{(proper self-energy, with legs ``amputated'')}, \\
1383: \Delta^{-1} & = & \PropFreeProp(\DLsc)
1384: \quad \mbox{(inverse free propagator, with legs amputated)}, \\
1385: \delta_\phi^n S_\rmi{eff} & = &
1386: \SDgeneric(\DLsc,\DLsc,\DLsc) \quad \hspace*{0.65cm}
1387: (\mbox{general amputated 1PI vertex})\;. \la{1pivertex}
1388: \ea
1389:
1390: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1391:
1392: \section{Skeleton expansion with free propagators}
1393: \la{se:skeleton}
1394:
1395: We next review the skeleton expansion
1396: for the free energy~$F$~\cite{LW,CJT}, and modify it such
1397: that full propagators can be replaced with free propagators~\cite{ma}.
1398: By a skeleton we mean a 2PI vacuum diagram: one that remains
1399: connected even if any two lines are cut.
1400: The skeleton expansion has been used as
1401: the starting point also in~\cite{ma}.
1402:
1403: It can be shown~\cite{LW,CJT}
1404: that the loop expansion for~\eq\nr{eq:F} can be written as
1405: \newcommand{\Tr}{{\rm Tr}}
1406: \ba \label{Fskel}
1407: F[D] = \sum_{\rm i} \, c_\rmi{i} \(\Tr\ln D_\rmi{i}^{-1} +
1408: \Tr\,\Pi_\rmi{i}[D] D_\rmi{i}\) -\Phi[D] \;,
1409: \ea
1410: where ${\rm i} = \{\mbox{bosons}, \mbox{fermions}\}$,
1411: $c_\rmi{boson} = 1/2$, and $c_\rmi{fermion} = - 1$.
1412: Here $\Phi[D]$ collects all 2PI vacuum diagrams.
1413: % and the other terms account for overcounting.
1414: The full propagators~$D_\rmi{i}$
1415: are related to their corresponding self-energies
1416: by $D^{-1}=\Delta^{-1}-\Pi$
1417: (cf.~\eq\nr{eq:fullprop}),
1418: where $\Delta$ are the free propagators.
1419: Both $F$, $\Pi$ and $\Phi$ can be regarded as functionals of the full
1420: propagators. The partition function has an
1421: extremal property, such that the variation
1422: of $F$ with respect to any of the full propagators
1423: vanishes~\cite{LW,CJT,RS},
1424: giving a relation between skeletons and self-energies:
1425: \ba \label{KapuRel}
1426: \d_{D_\rmi{i}}\, \Phi[D] \;=\; c_\rmi{i} \Pi[D] \;.
1427: \ea
1428: Here, we have introduced the implicit notation that whenever
1429: a term is multiplied by $c_\rmi{i}$, the $\Pi$'s and $D$'s
1430: following it are assumed to carry the same subscript.
1431: Pictorially, \eq\nr{KapuRel} corresponds to getting
1432: a self-energy by ``cutting a propagator''
1433: in all possible ways in the set of vacuum skeletons.
1434: Hence, knowing the skeletons alone provides full information.
1435:
1436: In \eqs\nr{Fskel}, \nr{KapuRel}, it is the full propagators $D$
1437: which appear in the skeleton graphs and self-energies. We would
1438: instead like to obtain skeletons with free propagators.
1439: As a first step in this direction, we expand $D$ in terms of the
1440: self-energy insertions $\Pi[D]$, $D=\Delta\sum_{n\geq0}(\Pi\Delta)^n$, to get
1441: \ba
1442: F &=& \sum_\rmi{i} \! c_\rmi{i}\,\Tr\lk\ln\Delta^{-1}+\sum_{n\ge2}\(1\sy-1n\)
1443: \(\Pi \Delta \)^n\rk - \Phi\Bigl[ \Delta\sum_{n\geq0}(\Pi\Delta)^n \Bigr] \;.
1444: \la{eq:Fexp}
1445: \ea
1446: We then have to evaluate $\Pi[D]$.
1447:
1448: To go forward more explicitly,
1449: we restrict ourselves to 5-loop level here.
1450: Let the subscript $n$ denote the loop order,
1451: and write $\Pi=\sum_{n\ge 1}\Pi_n$.
1452: It turns out that we need at most $\Pi_3$.
1453: In a straightforward way, we obtain
1454: \ba
1455: \Pi_1 & = & \Pi_1[\Delta] \equiv \Pi_1^\rmi{irr}[\Delta], \\
1456: \Pi_2 & = & \Pi_2^\rmi{irr}[\Delta] +
1457: \Bigl( \Pi_1^\rmi{irr}[\Delta + \Delta \Pi_1^\rmi{irr} \Delta] \Bigr)_2 \nn
1458: & \equiv & \Pi_2^\rmi{irr}[\Delta] + \Pi^{\rmi{red}(1)}_{2}[\Delta], \\
1459: \Pi_3 & = & \Pi_3^\rmi{irr}[\Delta] +
1460: \Bigl( \Pi_2^\rmi{irr}
1461: [\Delta + \Delta \Pi_1^\rmi{irr} \Delta] \Bigr)_3 +
1462: \Bigl( \Pi_1^\rmi{irr}
1463: [\Delta + \Delta \Pi \Delta +
1464: \Delta \Pi_1^\rmi{irr} \Delta \Pi_1^\rmi{irr} \Delta ]\Bigr)_3 \nn
1465: & \equiv & \Pi_3^\rmi{irr}[\Delta] +
1466: \Pi^{\rmi{red}(1)}_{3}[\Delta] +
1467: \Pi^{\rmi{red}(2)}_{3}[\Delta] \;,
1468: \ea
1469: where $\Pi_n^\rmi{irr}$ are $n$-loop
1470: 1PI graphs, while $\Pi_n^{\rmi{red}(m)}$
1471: are obtained by cutting $m$ lines in
1472: a lower order $\Pi_n^\rmi{irr}[\Delta]$,
1473: and dressing them appropriately:
1474: \ba
1475: \Pi^{\rmi{red}(1)}_{2}[\Delta] & = &
1476: (\Delta \Pi_1^\rmi{irr} \Delta)_\rmi{j}
1477: \delta_{\Delta_\rmi{j}}\Pi_1^\rmi{irr}[\Delta], \la{red1} \\
1478: \Pi^{\rmi{red}(1)}_{3}[\Delta] & = &
1479: (\Delta \Pi_1^\rmi{irr} \Delta)_\rmi{j}
1480: \delta_{\Delta_\rmi{j}}\Pi_2^\rmi{irr}[\Delta] +
1481: (\Delta \Pi_2 \Delta +
1482: \Delta \Pi_1^\rmi{irr} \Delta \Pi_1^\rmi{irr} \Delta)_\rmi{j}
1483: \delta_{\Delta_\rmi{j}}\Pi_1^\rmi{irr}[\Delta], \\
1484: \Pi^{\rmi{red}(2)}_{3}[\Delta] & = & \fr12
1485: (\Delta \Pi_1^\rmi{irr} \Delta)_\rmi{j}
1486: (\Delta \Pi_1^\rmi{irr} \Delta)_\rmi{k}
1487: \delta_{\Delta_\rmi{j}}
1488: \delta_{\Delta_\rmi{k}}
1489: \Pi_1^\rmi{irr}[\Delta] \;. \la{red3}
1490: \ea
1491: For the explicit diagrammatic characteristics of $\Pi^{\rmi{red}(1)}_{2}$,
1492: see \se\ref{se:genericSE}.
1493:
1494: It is easy now to unfold the loop expansion also
1495: for $\Phi[D] =\sum_{n_\ge 2}\Phi_n$, the last
1496: term in \eq\nr{eq:Fexp}.
1497: Up to 5-loop level, we can write
1498: \ba
1499: \Bigl( \Phi_2[D] \Bigr)_{n\le 5} & = &
1500: \Bigl(\Phi_2[\Delta + \Delta (\Pi_1+\Pi_2+\Pi_3)\Delta \nn
1501: & & +
1502: \Delta (\Pi_1+\Pi_2)\Delta (\Pi_1+\Pi_2)\Delta +
1503: \Delta \Pi_1 \Delta \Pi_1 \Delta \Pi_1 \Delta ]\Bigr)_{n\le 5}\;, \\
1504: \Bigl( \Phi_3[D] \Bigr)_{n\le 5} & = &
1505: \Bigl(\Phi_3[\Delta + \Delta (\Pi_1+\Pi_2)\Delta +
1506: \Delta \Pi_1 \Delta \Pi_1 \Delta ]\Bigr)_{n\le 5}\;, \\
1507: \Bigl( \Phi_4[D] \Bigr)_{n\le 5} & = &
1508: \Bigl(\Phi_4[\Delta + \Delta \Pi_1 \Delta ]\Bigr)_{n\le 5}\;, \\
1509: \Bigl( \Phi_5[D] \Bigr)_{n\le 5} & = &
1510: \Phi_5[\Delta ]\;,
1511: \ea
1512: where the arguments are to be Taylor expanded, with
1513: first derivatives obeying~(cf.~the dia\-grammatic
1514: identity \eq\nr{KapuRel}, evaluated with free propagators)
1515: \be
1516: \delta_{\Delta_\rmi{i}} \Phi_n[\Delta] =
1517: c_\rmi{i} \Pi_{n-1}^\rmi{irr} [\Delta]\;, \la{eq:irrdef}
1518: \ee
1519: and higher ones bringing back reducible self-energies,
1520: defined in \eqs\nr{red1}--\nr{red3}.
1521:
1522: Inserting these expansions into \eq\nr{eq:Fexp} we finally get,
1523: up to 5-loop level,
1524: \ba
1525: -F \!\!\! & = & \!\!\!
1526: -\sum_\rmi{i} \! c_\rmi{i}\,\Tr\ln\Delta^{-1}
1527: +\Phi_2[\Delta] \nn
1528: \!\!\! & + & \!\!\!
1529: \Phi_3[\Delta] +\sum_\rmi{i} \! c_\rmi{i}\,\Tr \biggl[
1530: \fr12\(\Delta\Pi_{1}\)^2\biggr]
1531: \nn
1532: \!\!\! & + & \!\!\!
1533: \Phi_4[\Delta] +\sum_\rmi{i} \! c_\rmi{i}\,\Tr \biggl[
1534: \fr13\(\Delta\Pi_{1}\)^3
1535: +\Delta\Pi_{1}\Delta \Bigl( \Pi^\rmi{irr}_{2}
1536: +\fr12 \Pi^{\rmi{red}(1)}_{2} \Bigr) \biggr] \nn
1537: \!\!\! & + & \!\!\!
1538: \Phi_5[\Delta] +\sum_\rmi{i} \! c_\rmi{i}\,\Tr \biggl[
1539: \fr14\( \Delta\Pi_{1} \)^4
1540: + \( \Delta\Pi_{1} \)^2 \Delta \Bigl( \Pi_2^\rmi{irr}
1541: + \fr12 \Pi_2^{\rmi{red}(1)} \Bigr)
1542: \nn
1543: \!\!\! & + & \!\!\!
1544: \fr12 \Delta \Pi_2^\rmi{irr} \Delta \Bigl( \Pi_2^\rmi{irr}
1545: + \Pi_2^{\rmi{red}(1)}\Bigr)
1546: +\Delta \Pi_1 \Delta \Bigl( \Pi_3^\rmi{irr}
1547: +\fr12 \Pi_3^{\rmi{red}(1)}
1548: +\fr13 \Pi_3^{\rmi{red}(2)} \Bigr)
1549: \biggr],
1550: \la{eq:skeleton}
1551: \ea
1552: or, written diagrammatically (and denoting by $F_0$ the
1553: non-interacting result),
1554: \ba
1555: %\fbox{$\begin{array}{rcl}
1556: -F &=& -F_0 +\Phi_2[\Delta]
1557: \nonumber \\[0ex]&&{}
1558: +\( \Phi_3[\Delta] +\displaystyle\sum_\rmi{i} \! c_\rmi{i}\,\(
1559: \sy{}12\STTopoVRoo(\Asc)\) \)
1560: \nonumber \\[0ex]&&{}
1561: +\( \Phi_4[\Delta] +\displaystyle\sum_\rmi{i} \! c_\rmi{i}\(
1562: \sy{}13\STTopoVRooo(\Asc)\sm{+}\STTopoVRoi(\Asc)\sy+12\STTopoVRor(\Asc)\) \)
1563: \nonumber \\[0ex]&&{}
1564: +\( \Phi_5[\Delta] +\displaystyle\sum_\rmi{i} \! c_\rmi{i}\(
1565: \sy{}14\STTopoVRoooo(\Asc)\sm{+}\STTopoVRooi(\Asc)
1566: \sy+12\STTopoVRoor(\Asc) \right.\right.
1567: \nonumber \\[0ex]&&{}
1568: \left.\left.
1569: \sy+12\STTopoVRiie(\Asc)\sy+12\STTopoVRire(\Asc)
1570: \sm{+}\STTopoVRiif(\Asc)
1571: \sy+12\STTopoVRirf(\Asc)\sy+13\STTopoVRirrf(\Asc)
1572: \) \). \la{graphic}
1573: %\end{array}$}
1574: \ea
1575: Here a circle with $n$ inside denotes $\Pi^\rmi{irr}_n$,
1576: a square~$\Pi^{\rmi{red}(1)}_n$,
1577: and a double square~$\Pi^{\rmi{red}(2)}_n$.
1578: We will term the skeletons with free propagators, $\Phi_n[\Delta]$,
1579: {\em irreducible}. Note that the numerical factors in front of
1580: various types of ring diagrams do not appear to trivially follow from
1581: any simple symmetry argument (particularly
1582: in the case of reducible self-energy
1583: insertions), but are best worked out explicitly via
1584: the Taylor expansions we have described.
1585:
1586: \eq\nr{graphic} is the starting point of our setup.
1587: It expresses the free energy in an economic way
1588: in terms of the irreducible skeletons $\Phi_n[\Delta]$:
1589: either as direct contributions, or as self-energy insertions,
1590: obtained from the same skeletons
1591: via \eqs\nr{eq:irrdef}, \nr{red1}--\nr{red3}.
1592: We note that at $n$-loop level, one needs
1593: $\Phi_n[\Delta]$ but only $\Pi_{n-2}[\Delta]$,
1594: obtained from $\Phi_{n-1}[\Delta]$.
1595:
1596: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1597:
1598: \section{Schwinger-Dyson equations with full propagators}
1599: \la{se:sd}
1600:
1601: Next, we need to generate the skeletons $\Phi_n[\Delta]$,
1602: needed in \se\ref{se:skeleton}. To do that,
1603: we first review briefly the general
1604: setup of Schwinger-Dyson (SD) equations,
1605: converted to our notation. The SD equations will then play
1606: a central role in our main result, \eq\nr{SDvac},
1607: which is an explicit formula allowing for a systematic
1608: generation of all skeletons $\Phi_n[\Delta]$ ---
1609: in principle to any order.
1610: In this section, we follow closely
1611: the very enjoyable presentation by Cvitanovi\'c~\cite{Cvi}.
1612:
1613: %-------------------------------------------------------------------
1614: \subsection{General $n$-point functions}
1615: \la{se:npoint}
1616:
1617: The basic SD equation for
1618: the generating functional $Z[J]$ of
1619: full Green's functions,
1620: derives from the trivial
1621: fact that the integral of a total derivative vanishes:
1622: \ba
1623: 0 &=& \int{\cal D}\varphi\, \d_\varphi\, e^{S[\varphi]+J\varphi}
1624: \;\;=\;\; \( S'[\d_J]+J \) Z[J] \;.
1625: \ea
1626: For the generating functional of the connected Green's
1627: functions, \eq\nr{eq:WJ}, one gets
1628: \ba
1629: 0 &=& S'[W'[J]+\d_J] + J \;.
1630: \ea
1631: Finally, for the effective action, \eq\nr{eq:Seff},
1632: we use from \se\ref{se:notation} that
1633: $W'[J] = \phi$,
1634: $\delta_J = (\delta \phi/\delta J)\delta_\phi =
1635: W''[J]\delta_\phi = D[\phi]\delta_\phi $,
1636: and $J = -S_\rmi{eff}'[\phi]$ to obtain
1637: \ba \label{basicSD}
1638: %\fbox{$\displaystyle
1639: S_{\rm eff}'[\phi] \;\;=\;\; S'[\phi+D[\phi]\d_\phi]
1640: %$}
1641: \;.
1642: \ea
1643: Putting $\phi\to 0$ on the right-hand-side,
1644: this gives the SD equation for the 1-point function,
1645: while taking derivatives with respect to $\phi$ on both sides
1646: of \eq\nr{basicSD} and putting $\phi\to 0$ only afterwards,
1647: generates SD equations for higher-point Green's functions,
1648: \ba
1649: \Gamma_n^{\rm 1PI} &=& \ld \d_\phi^{\,n-1}\,
1650: S'[\phi+D[\phi]\d_\phi] \right|_{\phi=0}.
1651: \la{eq:1PI}
1652: \ea
1653: Here $D[\phi]$ is in \eq\nr{eq:fullprop}, and we note that
1654: \be
1655: \d_\phi D[\phi] = D[\phi]\,
1656: \Bigl( \delta^3_\phi S_\rmi{eff}[\phi]\Bigr) \, D[\phi].
1657: \la{eq:dD}
1658: \ee
1659:
1660: A note may be in order here,
1661: concerning theories with spontaneously
1662: broken symmetries. In that case, $\phi$ corresponds to the
1663: fluctuating field around some reference value $v$,
1664: typically $v \equiv \langle \varphi \rangle$.
1665: The quantity we should ultimately be
1666: computing is the free energy density as a function of $v$,
1667: i.e.\ the effective potential $V(v) = F/(\mbox{volume})$.
1668: Then everything goes as before: we still put $\phi\to 0$
1669: in the equations above after differentiation,
1670: while the condensate $v$ appears
1671: as a parameter in the free propagators as well as
1672: in the cubic and quartic
1673: couplings in \eq\nr{eq:generic} (the term $J\varphi$
1674: linear in $\varphi$ in \eq\nr{eq:ZJ}
1675: need not be changed~\cite{effpot}).
1676: The graphs also remain the same: only 1PI graphs,
1677: generated by the loop expansion in~\eq\nr{graphic},
1678: are to be included~\cite{effpot}. Tadpole type graphs
1679: often associated with broken symmetries
1680: would only be generated if we want to re-expand the
1681: value of $V(v)$ at the broken minimum in a strict loop expansion:
1682: writing $V = \sum_{n\ge 0} V_n$, $v = \sum_{n\ge 0} v_n$,
1683: such that $V_0'(v_0)=0$, implies
1684: \ba
1685: \left. V(v) \right|_{V'(v) = 0} & = &
1686: V_0(v_0) + V_1(v_0)+
1687: \biggl[V_2 - \fr12 \frac{(V_1')^2}{V_0''} \biggr]_{v = v_0} \nn
1688: & + &
1689: \biggl[
1690: V_3 - \frac{V_1'V_2'}{V_0''} +
1691: \fr12 \frac{(V_1')^2V_1''}{(V_0'')^2} -
1692: \fr16 \frac{(V_1')^3 V_0'''}{(V_0'')^3}
1693: \biggr]_{v = v_0}
1694: \nn
1695: & + &
1696: \biggl[
1697: V_4 -
1698: \fr12 \frac{(V_2')^2 + 2 V_1' V_3'}{V_0''} +
1699: \fr12 \frac{2 V_1'V_2'V_1'' + (V_1')^2 V_2''}{(V_0'')^2} \nn
1700: & & -
1701: \fr16 \frac{3 (V_1')^2 (V_1'')^2+3(V_1')^2 V_2' V_0''' +
1702: (V_1')^3 V_1'''}{(V_0'')^3} \nn
1703: & & +
1704: \frac{1}{24}\frac{12 (V_1')^3 V_1'' V_0'''+(V_1')^4 V_0''''}{(V_0'')^4}-
1705: \fr18 \frac{(V_1')^4 (V_0''')^2}{(V_0'')^5}
1706: \biggr]_{v = v_0}
1707: + ... \;, \la{eq:tadpoles}
1708: \ea
1709: where the latter terms inside the square brackets
1710: correspond to various tadpole graphs, with obvious
1711: notation: $1/V_0''$ is the free propagator of the Higgs particle with
1712: a vanishing momentum, $V_1'$ ($V_1''$) is a 1-loop diagram
1713: with one leg (two legs), $V_0'''$ is a three-vertex, etc.
1714:
1715: Let us now illustrate the structure of \eq\nr{eq:1PI} for
1716: the generic model in \eq\nr{eq:generic}.
1717: Starting from \eq\nr{eq:generic}, writing down indices,
1718: and employing \eq\nr{eq:dD}, we obtain for
1719: the right-hand-side of \eq\nr{basicSD},
1720: \ba
1721: \delta_{\phi_i}S \!\!\! & = & \!\!\!
1722: -\Delta^{-1}_{ij}\phi_j
1723: +\fr12 \gamma_{ijk}\Bigl( \phi_j\phi_k + D_{jk} \Bigr) \nn
1724: \!\!\! & + & \!\!\!
1725: \fr16 \gamma_{ijkl}\Bigl(
1726: \phi_j\phi_k\phi_l
1727: + D_{jk} \phi_l
1728: + D_{kl} \phi_j
1729: + D_{lj} \phi_k
1730: + D_{jm} D_{kn} D_{lo}
1731: \delta_{\phi_m}
1732: \delta_{\phi_n}
1733: \delta_{\phi_o} S_\rmi{eff}[\phi]
1734: \Bigr).
1735: \ea
1736: We now take further derivatives according to \eq\nr{eq:1PI}.
1737: Putting $\phi = 0$ after each differentiation,
1738: we thus obtain the standard equations
1739: (written in the notation of \eqs\nr{freeprop}--\nr{1pivertex})
1740: \ba
1741: \SDoneLHS(\DLsc) &=&
1742: \sy{}12\SSDoneA(\DLsc,\TAsc,\TAsc)
1743: \sy+16\SSDoneB(\DLsc,\TAsc,\TAsc,\TLsc)\;, \la{eq:SDone}
1744: \\[0ex]
1745: \SDtwoLHS(\DLsc) &=&
1746: -\SPropFreeProp(\DLsc) \;
1747: +\sy{}12\SSDtwoA(\DLsc,\TAsc,\TAsc)
1748: \sy+12\SSDtwoB(\DLsc,\DLsc,\TAsc,\TAsc)
1749: \sy+12\SSDtwoC(\DLsc,\TAsc,\TAsc,\TAsc,\TAsc)
1750: \sy+16\SSDtwoD(\DLsc,\TAsc,\TAsc,\TLsc) \la{eq:SDtwo}
1751: \\[0ex]&=&
1752: -\SPropFreeProp(\DLsc) \;
1753: +\SPropPiProp(\DLsc)\;,
1754: \\[0ex] \label{3ptSD}
1755: \SDthreeLHS(\DLsc,\DLsc,\DLsc) &=&
1756: \SDthree(\DLsc,\DLsc,\DLsc)
1757: \sm{+}\SSDthreeA(\DLsc,\DLsc,\DLsc,\TAsc,\TAsc,\TAsc)
1758: \sy+12\SSDthreeB(\DLsc,\DLsc,\DLsc,\TAsc,\TAsc)
1759: \sy+12\!\( \;\; \SSDthreeC(\DLsc,\DLsc,\DLsc,\TAsc,\TAsc)
1760: \sm{+}\SSDthreeD(\DLsc,\DLsc,\DLsc,\TAsc,\TAsc,\TAsc,\TAsc)
1761: \sm{+}\SSDthreeE(\DLsc,\DLsc,\DLsc,\TAsc,\TAsc,\TAsc,\TAsc,\TAsc)
1762: +\mbox{cyclic}(2,3) \)
1763: \nn[1ex]&&{}
1764: \sm{+}\SSDthreeF(\DLsc,\DLsc,\DLsc,\TAsc,\TAsc,\TAsc,\TAsc,\TLsc)
1765: \sy+12\SSDthreeG(\DLsc,\DLsc,\DLsc,\TAsc,\TAsc,\TAsc,\TAsc)
1766: \sy+16\SSDthreeH(\DLsc,\DLsc,\DLsc,\TAsc,\TAsc,\TLsc)\;, \la{SDthree}
1767: \\[1ex]
1768: \SDfourLHS(\DLsc,\DLsc,\DLsc,\DLsc) &=&
1769: \SDfour(\DLsc,\DLsc,\DLsc,\DLsc)
1770: \sm{+}\!\( \;\; \SSDfourA(\DLsc,\DLsc,\DLsc,\DLsc,\TAsc,\TAsc,\TAsc,\TAsc)
1771: \sm{+}\SSDfourB(\DLsc,\DLsc,\DLsc,\DLsc,\TAsc,\TAsc,\TAsc)
1772: \sm{+}\SSDfourD(\DLsc,\DLsc,\DLsc,\DLsc,\TAsc,\TAsc,\TAsc)
1773: \sy+12\SSDfourE(\DLsc,\DLsc,\DLsc,\DLsc,\TAsc,\TAsc) +\mbox{cyclic}(2,3,4) \)
1774: \sy+12\SSDfourC(\DLsc,\DLsc,\DLsc,\DLsc,\TAsc,\TAsc)
1775: \nn[1ex]&&{}
1776: +\lb\mbox{2-loop terms}\rb \;, \la{SDfour} \la{eq:SDfive}
1777: %\\[1ex]
1778: %\SDfiveLHS(\DLsc,\DLsc,\DLsc,\DLsc,\DLsc) &=&
1779: %\lb\mbox{'1loop' terms}\rb
1780: %+\lb\mbox{'2loop' terms}\rb
1781: %\\[1ex] \vdots\hp{xx} && \nonumber
1782: \ea
1783: where ``cyclic$(n_1,n_2,...)$'' denotes cyclic permutations of
1784: the legs numbered.
1785: We have not written down the 2-loop terms in \eq\nr{eq:SDfive},
1786: since they are not needed in our explicit 4-loop demonstration below.
1787: Likewise, all higher point 1PI functions $\Gamma_n^\rmi{1PI}$,
1788: $n\ge 5$, start with 1-loop graphs in the model of \eq\nr{eq:generic},
1789: and will again not contribute at this order;
1790: they will for $\Phi_5$, as well as in the model of~\se\ref{se:lattice}.
1791:
1792: Let us stress that in a local theory
1793: the manipulations needed in~\eq\nr{eq:1PI}
1794: can essentially be made using regular derivatives,
1795: and can thus easily be implemented algebraically.
1796: Introducing furthermore $\hbar$ as a loop counting parameter~\cite{CW},
1797: allows for an iterative solution of the corresponding SD equations.
1798:
1799: %-------------------------------------------------------------------
1800: \subsection{Vacuum diagrams}
1801:
1802: The SD formalism above provides equations relating $n$-point
1803: Green's functions. To incorporate vacuum diagrams, one can use
1804: another simple trick: scaling. Noting that, e.g., $Z[J]$
1805: is a functional of all interaction parameters present in the
1806: action, $Z[J,\gamma_{ij},\gamma_{ijk},\dots]$, one can derive
1807: hosts of relations by varying any of these parameters.
1808:
1809: A most useful example is to rescale the entire action as
1810: $S[\varphi]\rightarrow \fr1\hbar\, S[\varphi]$, and then vary $\hbar$:
1811: \ba
1812: -\hbar\6_\hbar\,\ln Z[J] &=& \Av{\fr1\hbar\,S[\varphi]}
1813: \;\;=\;\; \fr1{Z[J]}\, \fr1\hbar\,S[\d_J]\,Z[J] \;.
1814: \ea
1815: Rewriting this in the ``connected'' language (recall $W=\ln Z$),
1816: \ba
1817: -\,\hbar\6_\hbar\,W[J] &=& %\Av{\fr1\hbar\,S[\varphi]} \;\;=\;\;
1818: \fr1\hbar\,S[W'[J]+\d_J] \;,
1819: \ea
1820: allows to finally go over to 1PI functions
1821: ($\6_\hbar W = \6_\hbar S_\rmi{eff} + S'_\rmi{eff} \6_\hbar \phi + J
1822: \6_\hbar \phi = \6_\hbar S_\rmi{eff}$,
1823: $W'=\phi$ and $\d_J=W''\d_\phi=D[\phi]\delta_\phi$):
1824: \ba \label{preVacSD}
1825: -\,\hbar\6_\hbar\,S_{\rm eff}[\phi] &=& \Av{\fr1\hbar\,S[\varphi]}
1826: \;\;=\;\; \fr1\hbar\,S[\phi+D[\phi]\d_\phi] \;.
1827: \ea
1828: The free energy $F = - S_{\rm eff}[0]$ can now be
1829: obtained by setting $\phi=0$ and integrating over $\hbar$.
1830:
1831: Noting again that after a rescaling of the integration variables, an expansion
1832: in $\hbar$ is equivalent to the loop expansion~\cite{CW}, one
1833: can integrate the left-hand-side of~\eq\nr{preVacSD} by
1834: $\int_\hbar (1/\hbar) [...]$, but on the right-hand-side
1835: one integrates over the loop number. Writing
1836: \ba
1837: -S_{\rm eff}[0] &=& F \;\;=\;\; F_0+F_{\rm int}
1838: \;\;=\;\; F_0+\sum_{n\ge 2}F^{\rm int}_{n} \;,
1839: \ea
1840: where $n$ counts the number of loops, it follows that
1841: \ba \label{vacSD}
1842: %\fbox{$\displaystyle
1843: F^{\rm int}_{n} \;\;=\;\; \fr1{n-1}
1844: \lb \ld \vphantom{I^b} S[\phi+D[\phi]\d_\phi] \right|_{\phi=0}
1845: \rb_{n}, \quad n\ge 2\;.
1846: %$}
1847: \ea
1848: Illustrating \eq\nr{vacSD} for our generic
1849: theory in \eq\nr{eq:generic}, we get
1850: \ba \label{vacSDillu}
1851: F^{\rm int}_{n} \!\!&=&\!\!\! \fr1{n-1} \!\! \lb \!
1852: \sy-12 \SSDvacO(\TAsc,{})
1853: \sy+16 \SToptVSblobsh(\TAsc,\TAsc,\TLsc)
1854: \sy+18 \SToptVE(\TAsc,\TAsc)
1855: \sy+18 \SToprVVblobbsh(\TAsc,\TAsc,\TLsc,\TLsc,\TLsc)
1856: \sy+1{24} \SToprVBblobsh(\TAsc,\TAsc,\TAsc,\TAsc) \!\!
1857: \rb_{\! n}\!\! ,
1858: \ea
1859: where we again use the notation of \eqs\nr{freeprop}--\nr{1pivertex}.
1860:
1861: In principle the whole loop expansion can
1862: now be generated from \eq\nr{vacSDillu},
1863: using~\eqs\nr{eq:SDtwo}--\nr{eq:SDfive}.
1864: The $n$-loop vacuum diagrams are
1865: expressed in terms of 1PI $n$-point functions, which in turn are governed
1866: by a set of SD equations. Looking closer at it though, it is
1867: somewhat of a mess:
1868: one has to expand full propagators in terms of free ones and the $\Pi$'s, use
1869: SD equations to iterate loops for $\Pi$'s,
1870: which brings back full propagators, etc. Fortunately,
1871: none of this is necessary for \eq\nr{graphic}, as we now explain.
1872:
1873:
1874: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1875:
1876: \section{Generating the irreducible skeletons $\Phi[\Delta]$}
1877: \la{se:combine}
1878:
1879: The key observation
1880: for combining Schwinger-Dyson equations and
1881: the skeleton notation in a useful way
1882: is that we need to extract from~\eq\nr{vacSDillu}
1883: only a specific part, $\Phi[\Delta]$: we already know,
1884: by~\eq\nr{graphic}, what all the rest combines into. But then,
1885: full propagators can be replaced by free propagators in all but the
1886: first term in~\eq\nr{vacSDillu}! Indeed, any self-energy insertion within
1887: one of the other graphs leads to a two-particle-reducible (2PR) diagram.
1888: For the same reason, the 1PI vertices in~\eq\nr{vacSDillu}
1889: can be iterated by using
1890: the SD equations of the form in~\eqs\nr{SDthree},\nr{eq:SDfive},
1891: but with free propagators!
1892: More precisely,
1893: it goes as follows.
1894:
1895: To generate the {\em irreducible} skeletons
1896: $\Phi[\Delta]$ from~\eq\nr{vacSDillu}, it is sufficient to expand
1897: the first term as
1898: \ba
1899: \SSDvacO(\TAsc,{}) &=& \SSDvacO(\Asc,{}) + \SSDvacOpi(\Asc)
1900: +\lb\mbox{2PR}\rb
1901: \nn[1ex]&=&{}
1902: \Tr\, 1 %\SDvacO(\Asc,{})
1903: \sy+12 \SToptVSblobsh(\Asc,\Asc,\Lsc)
1904: \sy+12 \SToptVE(\Asc,\Asc)
1905: \sy+12 \SToprVVblobbsh(\Asc,\Asc,\Lsc,\Lsc,\Lsc)
1906: \sy+16 \SToprVBblobsh(\Asc,\Asc,\Asc,\Asc) + \{\mbox{2PR}\},
1907: \ea
1908: where in the second step \eq\nr{eq:SDtwo} was used.
1909: Taking into account the minus sign in the relation of $F$ and
1910: $\Phi[\Delta]$, cf.\ \eq\nr{graphic}, and writing
1911: again the loop expansion as $\Phi=\sum_{n\ge 2}\Phi_n$,
1912: one finally obtains a closed exact equation:
1913: \ba \label{SDvac}
1914: %\fbox{$\displaystyle
1915: \Phi_n[\Delta] = \fr1{n-1} \lb
1916: \sy{}1{12} \SToptVSblobsh(\Asc,\Asc,\Lsc)
1917: \sy+18 \SToptVE(\Asc,\Asc)
1918: \sy+18 \SToprVVblobbsh(\Asc,\Asc,\Lsc,\Lsc,\Lsc)
1919: \sy+1{24} \SToprVBblobsh(\Asc,\Asc,\Asc,\Asc)
1920: \rb_{n}, \quad n\ge 2\;.
1921: %$}
1922: \ea
1923:
1924: \eq\nr{SDvac} is our main result. It generates
1925: all skeletons of all orders in the theory of \eq\nr{eq:generic},
1926: once \eqs\nr{SDthree},
1927: \nr{eq:SDfive} are used (with free propagators).
1928: The skeletons, in turn, generate self-energies
1929: via \eq\nr{eq:irrdef} and the analogues of \eqs\nr{red1}--\nr{red3}.
1930: Inserted finally into~\eq\nr{graphic}, we obtain
1931: the free energy $F$.
1932:
1933: %-------------------------------------------------------------------
1934: \subsection{Vacuum skeletons up to 5-loop level}
1935:
1936: The procedure of working out \eq\nr{SDvac}
1937: is simple and mechanical and can, at least up to 4-loop
1938: level, even be carried out by hand, as we shall demonstrate.
1939: The only complication arising is the identification of
1940: equivalent topologies: the same graph can be written in very many
1941: different ways. In order to deal with this situation,
1942: it appears easiest to assign an algebraic notation for the
1943: different topologies, rather than a mere graphical one.
1944: For example, one can count the numbers of 3-point and 4-point vertices
1945: appearing in the graph, and within those equivalence classes,
1946: one can use a matrix notation for how the vertices are connected.
1947: The significant entries of the matrix can be ordered
1948: to a single number, and by doing the same for all possible
1949: orderings of the vertices, a unique representative
1950: (say, the smallest of such numbers) can be assigned to each topology.
1951: For an explicit implementation of this kind
1952: of a procedure, see the 2nd paper in~\cite{Klmany}.
1953:
1954: Let us now explicitly work out
1955: the diagram classes in~\eq\nr{SDvac} up to 4-loop level. For the
1956: first one, inserting~\eq\nr{SDthree} gives either
1957: a 2-loop graph, or 3-loop graphs to be iterated further on,
1958: or directly 4-loop graphs:
1959: \ba
1960: \left. \SToptVSblobsh(\Asc,\Asc,\Lsc) \right|_4 \!\! &=& \!\!
1961: \SToptVS(\Asc,\Asc,\Lsc)
1962: \!\sm{+}\! \lk \SToprVMa(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc)
1963: \sy+12 \SToprVVb(\Asc,\Asc,\Lsc,\Lsc,\Lsc)
1964: \!\sm{+}\! \SToprVVblobshTxt(\Asc,\Asc,\Lsc,\Lsc,\Lsc,{}) \rk_4
1965: %\nn[1ex]&&{}
1966: \!\sm{+}\! \STopfVB(\Asc,\Asc,\Asc,\Asc,\Asc,\Asc,\Lsc)
1967: \!\sm{+}\! \STopfVV(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc)
1968: \!\sm{+}\! \STopfVW(\Asc,\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc)
1969: \sy+12 \STopfVN(\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc) \,.
1970: \ea
1971: Here the further iterations give
1972: \ba
1973: \left. \SToprVMa(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc) \right|_4
1974: &=&
1975: \SToprVM(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc)
1976: \sm{+2}
1977: \left. \SToprVMb(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc,\mbox{})\right|_4
1978: %\nn
1979: %& = &
1980: = \SToprVM(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc)
1981: \sm{+2} \STopfVH(\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc)
1982: \sm{+3} \STopfVV(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc) \;, \\
1983: %\sm{+}\lb\mbox{'5 loop'}\rb \)
1984: %\nn[1ex]&&{}
1985: \sy{}12 \left. \SToprVVb(\Asc,\Asc,\Lsc,\Lsc,\Lsc) \right|_4
1986: & = &
1987: \sy{}12 \SToprVV(\Asc,\Asc,\Lsc,\Lsc,\Lsc)
1988: \sm{+} \STopfVH(\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc)
1989: \sy+12 \STopfVX(\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc)
1990: \sm{+2}\! \STopfVW(\Asc,\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc)
1991: \sm{+} \STopfVV(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc)
1992: %\nn[1ex]&&{}
1993: \sy+12 \STopfVB(\Asc,\Asc,\Asc,\Asc,\Asc,\Asc,\Lsc)
1994: \sy+14 \STopfVU(\Asc,\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc) \;, \\
1995: %\sm{+}\lb\mbox{'5 loop'}\rb \)
1996: %\nn[1ex]&&{}
1997: \left. \SToprVVblobshTxt(\Asc,\Asc,\Lsc,\Lsc,\Lsc,{}) \right|_4
1998: & = &
1999: \SToprVV(\Asc,\Asc,\Lsc,\Lsc,\Lsc)
2000: \sm{+} \STopfVV(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc)
2001: \sy+12 \STopfVU(\Asc,\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc)
2002: \sm{+} \STopfVN(\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc) \;.
2003: %\sm{+}\lb\mbox{'5 loop'}\rb \)
2004: %\nn[1ex]&&{}
2005: %\sm{+}\lk\mbox{2nd line}\rk
2006: \ea
2007: We have dropped 5-point functions each time they appear,
2008: since in the model of \eq\nr{eq:generic}, they start
2009: with a 1-loop term, so that diagrams containing them
2010: generate higher loop orders.
2011:
2012: The 2nd class in~\eq\nr{SDvac} only contributes to $\Phi_2[\Delta]$,
2013: and is trivial.
2014: For the 3rd class in~\eq\nr{SDvac},
2015: \ba
2016: \left. \SToprVVblobbsh(\Asc,\Asc,\Lsc,\Lsc,\Lsc) \right|_4 &=&
2017: \SToprVV(\Asc,\Asc,\Lsc,\Lsc,\Lsc)
2018: \sm{+2}\left. \SToprVVblobshTxt(\Asc,\Asc,\Lsc,\Lsc,\Lsc,\mbox{})\right|_4
2019: %\sm{+}\lb\mbox{'5 loop'}\rb
2020: %\nn[1ex]&=&
2021: =\SToprVV(\Asc,\Asc,\Lsc,\Lsc,\Lsc)
2022: \sm{+2} \STopfVV(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc)
2023: \sm{+} \STopfVU(\Asc,\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc)
2024: \sm{+2} \STopfVN(\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc) \;.
2025: %\sm{+}\lb\mbox{'5 loop'}\rb
2026: \ea
2027: For the 4th class, we only need the 1-loop
2028: terms in \eq\nr{SDfour},
2029: \ba
2030: \left. \SToprVBblobsh(\Asc,\Asc,\Asc,\Asc) \right|_4 &=&
2031: \SToprVB(\Asc,\Asc,\Asc,\Asc)
2032: \sm{+3} \STopfVW(\Asc,\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc)
2033: \sm{+6} \STopfVB(\Asc,\Asc,\Asc,\Asc,\Asc,\Asc,\Lsc)
2034: \sy+32 \STopfVT(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc) \;.
2035: %\nn[1ex]&&{}
2036: %\sm{+}\lb\mbox{'5 loop'}\rb
2037: \ea
2038: Collecting finally these different contributions together
2039: with coefficients according to \eq\nr{SDvac}, we get
2040: \ba
2041: %\fbox{$\begin{array}{rcl}
2042: \Phi_2 \!\!\!\! &=& \!\!\!
2043: \sy{}1{12} \SToptVS(\Asc,\Asc,\Lsc)
2044: \sy+18 \SToptVE(\Asc,\Asc)\;, \la{eq:Phi2}
2045: \\[1ex]
2046: \Phi_3 \!\!\!\! &=& \!\!\!
2047: \sy{}1{24} \SToprVM(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc)
2048: \sy+18 \SToprVV(\Asc,\Asc,\Lsc,\Lsc,\Lsc)
2049: \sy+1{48} \SToprVB(\Asc,\Asc,\Asc,\Asc)\;, \la{eq:Phi3}
2050: \\[1ex]
2051: \Phi_4 \!\!\!\! &=& \!\!\!
2052: \sy{}1{72}\! \STopfVX(\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc)
2053: \!\sy+1{12}\! \STopfVH(\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc)
2054: \!\sy+18\! \STopfVW(\Asc,\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc)
2055: \!\sy+14\! \STopfVV(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc)
2056: %\nn[3ex]&&{}
2057: \!\sy+18\! \STopfVB(\Asc,\Asc,\Asc,\Asc,\Asc,\Asc,\Lsc)
2058: \!\sy+18\! \STopfVN(\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc,\Lsc)
2059: \!\sy+1{16}\! \STopfVU(\Asc,\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc)
2060: \!\sy+1{48}\! \STopfVT(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc)\;. \la{eq:Phi4}
2061: \ea
2062:
2063: Proceeding to higher loop orders, an automatised treatment proves
2064: essential, for the reasons outlined above. Implementing our generic
2065: formulae as well as an ordering algorithm
2066: separating topologies in {\tt FORM}~\cite{jamv}, we obtain
2067: in a straightforward way the complete set of
2068: 5-loop skeletons,
2069: \ba
2070: \Phi_5 \!\!\!\! &=& \!\!\!
2071: \sy{}1{4}\! \STopEVa(\Asc,\Lsc)
2072: \!\sy+1{48}\! \STopEVb(\Asc,\Lsc)
2073: \!\sy+1{16}\! \STopEVc(\Asc,\Lsc)
2074: \!\sy+1{12}\! \STopEVd(\Asc,\Lsc)
2075: \!\sy+1{4}\! \STopEVe(\Asc,\Lsc)
2076: \!\sy+1{2}\! \STopEVf(\Asc,\Lsc)
2077: \!\sy+1{2}\! \STopEVg(\Asc,\Lsc)
2078: \nn[1ex]&&{}
2079: \!\sy+1{8}\! \STopEVh(\Asc,\Lsc)
2080: \!\sy+1{4}\! \STopEVi(\Asc,\Lsc)
2081: \!\sy+1{4}\! \STopEVj(\Asc,\Lsc)
2082: \!\sy+1{8}\! \STopEVk(\Asc,\Lsc)
2083: \!\sy+1{8}\! \STopEVl(\Asc,\Lsc)
2084: \!\sy+1{4}\! \STopEVm(\Asc,\Lsc)
2085: \!\sy+1{4}\! \STopEVn(\Asc,\Lsc)
2086: \nn[1ex]&&{}
2087: \!\sy+1{8}\! \STopEVo(\Asc,\Lsc)
2088: \!\sy+1{2}\! \STopEVp(\Asc,\Lsc)
2089: \!\sy+1{8}\! \STopEVq(\Asc,\Lsc)
2090: \!\sy+1{4}\! \STopEVr(\Asc,\Lsc)
2091: \!\sy+1{16}\! \STopEVs(\Asc,\Lsc)
2092: \!\sy+1{8}\! \STopEVt(\Asc,\Lsc)
2093: \!\sy+1{4}\! \STopEVu(\Asc,\Lsc)
2094: \nn[1ex]&&{}
2095: \!\sy+1{2}\! \STopEVv(\Asc,\Lsc)
2096: \!\sy+1{16}\! \STopEVw(\Asc,\Lsc)
2097: \!\sy+1{12}\! \STopEVx(\Asc,\Lsc)
2098: \!\sy+1{16}\! \STopEVy(\Asc,\Lsc)
2099: \!\sy+1{32}\! \STopEVz(\Asc,\Lsc)
2100: \!\sy+1{16}\! \STopEVaa(\Asc,\Lsc)
2101: \!\sy+1{8}\! \STopEVab(\Asc,\Lsc)
2102: \nn[1ex]&&{}
2103: \!\sy+1{4}\! \STopEVac(\Asc,\Lsc)
2104: \!\sy+1{8}\! \STopEVad(\Asc,\Lsc)
2105: \!\sy+1{4}\! \STopEVae(\Asc,\Lsc)
2106: \!\sy+1{8}\! \STopEVaf(\Asc,\Lsc)
2107: \!\sy+1{12}\! \STopEVag(\Asc,\Lsc)
2108: \!\sy+1{128}\! \STopEVah(\Asc,\Lsc)
2109: \!\sy+1{32}\! \STopEVai(\Asc,\Lsc)
2110: \;. \la{eq:Phi5}
2111: %\end{array}$}
2112: \ea
2113: Note once more that these skeletons are all that is needed for
2114: generating the loop expansion for the full free energy, as discussed
2115: above.
2116:
2117: %-------------------------------------------------------------------
2118: \subsection{Self-energies up to 2-loop level}
2119: \la{se:genericSE}
2120:
2121: Now that we have $\Phi_n[\Delta]$ in~\eqs\nr{eq:Phi2}--\nr{eq:Phi5},
2122: irreducible as well as reducible self-energies can easily be
2123: obtained with \eqs\nr{eq:irrdef}, \nr{red1}--\nr{red3}, etc.
2124: For bosonic particles, for instance ($c_\rmi{i}=\fr12$), we get
2125: \ba \la{genericSE}
2126: \Pi_1^{\rm irr} = \SPropCircProp(\DLsc,1) &=&
2127: \sy{}12 \STopoSB(\DLsc,\Asc,\Asc)
2128: \sy+12 \STopoST(\DLsc,\Asc) \;,
2129: \\[0ex]
2130: \Pi_2^{\rm irr} = \ToptSi(\DLsc) &=&
2131: \sy{}12 \SToptSM(\DLsc,\Asc,\Asc,\Asc,\Asc,\Lsc)
2132: \sy+12 \SToptSAl(\DLsc,\Asc,\Asc,\Asc,\Asc)
2133: \sy+12 \SToptSAr(\DLsc,\Asc,\Asc,\Asc,\Asc)
2134: %\nn[1ex]&&{}
2135: \sy+14 \SToptSE(\DLsc,\Asc,\Asc,\Asc,\Asc)
2136: \sy+16 \SToptSS(\DLsc,\Asc,\Asc,\Lsc) \;,
2137: \\[0ex]
2138: \Pi_2^{\rm red(1)} = \ToptSr(\DLsc) &=&
2139: \sm{1} \SToptSBB(\DLsc,\Asc,\Asc)
2140: \sy+12 \SToptSTB(\DLsc,\Asc) \;, \la{pi2r1}
2141: \ea
2142: etc.
2143: Note that the outcome of the derivative in \eq\nr{eq:irrdef}
2144: must be symmetric in all (bosonic) indices.
2145: The 3- and 4-loop self-energies could be derived from $\Phi_4$
2146: and $\Phi_5$, respectively,
2147: but we choose not to give them here, since they are not needed for the
2148: set of 4-loop vacuum diagrams that we will
2149: display explicitly in \se\ref{se:continuum}.
2150:
2151: With \eqs\nr{genericSE}--\nr{pi2r1}, the ring diagrams
2152: in \eq\nr{graphic} are readily written down.
2153:
2154: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2155:
2156: \section{Generic model on the lattice}
2157: \la{se:lattice}
2158:
2159: So far we have considered the generic model in \eq\nr{eq:generic}.
2160: However, in a lattice regularization of gauge theories, higher
2161: vertices appear as well, without spoiling renormalizability.
2162: At the generic level, it is straightforward to add
2163: such couplings to the theory in \eq\nr{eq:generic}.
2164: We can include, e.g.,
2165: terms up to
2166: $\sim (1/8!)\gamma_{ijklmnop}
2167: \varphi_i \varphi_j \varphi_k \varphi_l
2168: \varphi_m \varphi_n \varphi_o \varphi_p$, as would arise
2169: in lattice perturbation theory for SU($N$) gauge theories, if one
2170: keeps terms contributing to 4-loop vacuum graphs. Such computations
2171: would be needed when one converts results of three-dimensional
2172: numerical Monte Carlo studies from lattice to continuum
2173: regularization~\cite{framework}.
2174:
2175: In this case, everything goes as before, except for the
2176: appearance of extra vertices in the SD equations,
2177: as well as in~\eq\nr{SDvac}.
2178: We shall here simply spell out the final results,
2179: without rewriting explicitly the modified SD equations.
2180: We obtain the following additional skeletons,
2181: \def\lat{\left.\vphantom{1^1_1}\right|_{\rm lat}}
2182: \ba
2183: \Phi_3\lat &=&
2184: \sy{}1{12} \STopLA(\Asc,\Lsc)
2185: \sy+1{48} \STopLB(\Asc,\Lsc) \;, \\[1ex]
2186: \Phi_4\lat &=&
2187: \sy{}1{8} \STopLa(\Asc,\Lsc)
2188: \sy+1{12} \STopLb(\Asc,\Lsc)
2189: \sy+1{240} \STopLc(\Asc,\Lsc)
2190: \sy+1{12} \STopLd
2191: \sy+1{8} \STopLe
2192: \sy+1{16} \STopLf \nn[1ex]&&{}
2193: \sy+1{48} \STopLg
2194: \sy+1{72} \STopLh %\nn[1ex]&&{}
2195: \sy+1{48} \STopLi
2196: \sy+1{48} \STopLj
2197: \sy+1{384} \STopLk \;,
2198: \ea
2199: %-------------------------------------------------------------------
2200: %\subsection{Self-energies}
2201: as well as the additional irreducible self-energy,
2202: \ba
2203: \Pi_2^{\rm irr}\lat = \ToptSi(\DLsc)\lat &=&
2204: \sy+14 \spicb{\DLsc(0,15)(7.5,15) \Asc(22.5,15)(15,0,360)
2205: \DLsc(37.5,15)(45,15) \Asc(15,15)(7.5,0,360)}
2206: \sy+14 \spicb{\DLsc(0,15)(7.5,15) \Asc(22.5,15)(15,0,360)
2207: \DLsc(37.5,15)(45,15) \Asc(30,15)(7.5,0,360)}
2208: \sy+16 \spicb{\DLsc(0,0)(45,0) \Asc(22.5,15)(15,0,360) \Lsc(22.5,0)(22.5,30)}
2209: \sy+18 \spicb{\DLsc(0,15)(45,15) \Asc(22.5,7)(8,0,360) \Asc(22.5,23)(8,0,360)}
2210: \;,
2211: \ea
2212: where we again assumed $c_\rmi{i} = \fr12$.
2213:
2214: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2215: \section{Applications: QCD, QED, SQED, electroweak theory}
2216: \la{se:continuum}
2217:
2218: As an application of the generic formulae derived above,
2219: we consider in this section
2220: SU($N$) gauge theory with fermions and a scalar field.
2221: This class includes QCD and QED (where graphs containing
2222: scalar propagators and, in the latter case, gauge field self-interactions,
2223: are to be dropped out), as well as
2224: the electroweak theory and scalar electrodynamics (SQED).
2225: For brevity, we display here only the vertices appearing
2226: in the symmetric phases of the latter theories.
2227: We mostly use the language of QCD, referring to the
2228: gauge fields as gluons, etc.
2229:
2230: The Lagrangian is specified by giving Feynman rules
2231: for the free propagators and free vertices,
2232: \def\BareProp(#1){\pic{#1(0,15)(30,15)}}
2233: \def\SBareProp(#1){\spic{#1(0,15)(30,15)}}
2234: \ba
2235: \SBareProp(\Lgl) \;,\;
2236: \SBareProp(\Lgh) \;,\;
2237: \SBareProp(\Lsc) \;,\;
2238: \SSDthree(\Lgl,\Lgl,\Lgl) \;,\;
2239: \SSDthree(\Lgl,\Lgh,\Lagh) \;,\;
2240: \SSDthree(\Lgl,\Lsc,\Lsc) \;,\;
2241: \SSDfour(\Lgl,\Lgl,\Lgl,\Lgl) \;,\;
2242: \SSDfour(\Lgl,\Lgl,\Lsc,\Lsc) \;,\;
2243: \SSDfour(\Lsc,\Lsc,\Lsc,\Lsc) \;, \la{Frules}
2244: \ea
2245: where gluons/scalars are denoted by wavy/straight lines.
2246: Both quarks and ghosts are denoted here by dotted lines;
2247: the Feynman rules for them are different, but the
2248: symmetry factors agree --- the only exception being diagrams
2249: with more than one closed fermion loop, in which case both
2250: ghosts and quarks can appear in the same diagram
2251: simultaneously, reducing the
2252: symmetry by an obvious factor.
2253:
2254: We do not here write down counterterms explicitly.
2255: Coupling constant counterterms can be viewed
2256: as a part of the cubic and quartic couplings, while wave
2257: function and mass counterterms can be treated as a part
2258: of the {\em irreducible} self-energies $\Pi_n^\rmi{irr}$, making their
2259: appearance only in ring diagrams
2260: according to~\eq\nr{graphic}.
2261:
2262: Let us first note that once we write down the
2263: summation over the field
2264: content explicitly in~\eq\nr{eq:generic},
2265: the ``natural'' symmetry factors
2266: in front of the vertices change. For instance, writing
2267: the 4-point vertex in the case of two sets of fields,
2268: $\{ \varphi_i \} \to \{ A_i \} + \{ B_\alpha \}$, and
2269: using the symmetry of $\gamma_{ijkl}$, one gets
2270: \be
2271: \frac{1}{4!}\gamma_{ijkl} \varphi_i \varphi_j \varphi_k \varphi_l =
2272: \frac{1}{4!}\gamma_{ijkl} A_i A_j A_k A_l
2273: + \frac{1}{3!}\gamma_{ijk\alpha} A_i A_j A_k B_\alpha
2274: + \frac{1}{(2!)^2}\gamma_{ij\alpha\beta} A_i A_j B_\alpha B_\beta + ... \;.
2275: \ee
2276: Similarly, writing the 3-point vertex for three different fields,
2277: $\{ \varphi_i \} \to \{ A_i \} + \{B_\alpha\} + \{C_M \}$, one finds
2278: \be
2279: \frac{1}{3!}\gamma_{ijk} \varphi_i \varphi_j \varphi_k =
2280: \frac{1}{3!}\gamma_{ijk} A_i A_j A_k +
2281: \frac{1}{2!}\gamma_{ij\alpha} A_i A_i B_\alpha +
2282: \gamma_{i \alpha M} A_i B_\alpha C_M + ... \;.
2283: \ee
2284: With these conventions,
2285: each tree-level vertex in the graphical notation corresponds
2286: just to $\gamma_{ijkl}, \gamma_{ijk\alpha}$, etc, without
2287: any symmetry factors there: all of them are shown explicitly.
2288:
2289: The only thing remaining is to write the
2290: summation over particle species explicitly also
2291: in the propagators of~\eqs\nr{eq:Phi2}--\nr{eq:Phi4},
2292: \be
2293: \SBareProp(\Lsc) \equiv
2294: \SBareProp(\Lgl) \;+\;
2295: \SBareProp(\Lgh) \;+\;
2296: \SBareProp(\Lagh) \;+\;
2297: \SBareProp(\Lsc) \;.
2298: \ee
2299: Only the vertices allowed by the Feynman rules are kept
2300: after this substitution.
2301: This generates all the graphs, with the correct symmetry factors.
2302:
2303: %-------------------------------------------------------------------
2304: \subsection{Vacuum skeletons up to 4-loop level}
2305:
2306: The procedure outlined above can easily be carried out explicitly,
2307: and up to 4-loop level even by hand. The main complication is again
2308: the identification of various equivalent topologies, and for
2309: this a suitable algebraic notation may be more useful than
2310: a graphical one. As a result,
2311: for the field content in~\eq\nr{Frules}, we finally obtain
2312: \ba
2313: \Phi_2 &=&
2314: \sy{}18 \SToptVE(\Agl,\Agl)
2315: \sy+1{12} \SToptVS(\Agl,\Agl,\Lgl)
2316: \sy-12 \SToptVS(\Agh,\Agh,\Lgl)
2317: \sy+14 \SToptVE(\Agl,\Asc)
2318: \sy+14 \SToptVS(\Asc,\Asc,\Lgl)
2319: %\nn[1ex]&&{}
2320: \plus\sy{}18 \SToptVE(\Asc,\Asc) \;,
2321: \\[1ex]
2322: \Phi_3 &=&
2323: \sy{}1{24} \SToprVM(\Agl,\Agl,\Agl,\Lgl,\Lgl,\Lgl)
2324: \sy-13 \SToprVM(\Agh,\Agh,\Agh,\Lgl,\Lgl,\Lgl)
2325: \sy-14 \SToprVM(\Agh,\Agl,\Agh,\Lhh,\Lhh,\Lgl)
2326: \sy+18 \SToprVV(\Agl,\Agl,\Lgl,\Lgl,\Lgl)
2327: \sy+1{48} \SToprVB(\Agl,\Agl,\Agl,\Agl)
2328: \sy+16 \SToprVM(\Asc,\Asc,\Asc,\Lgl,\Lgl,\Lgl)
2329: \sy+18\SToprVM(\Asc,\Agl,\Asc,\Lsc,\Lsc,\Lgl)
2330: \nn[1ex]&&{}
2331: \sy+12\SToprVV(\Asc,\Asc,\Lsc,\Lgl,\Lgl)
2332: \sy+14\SToprVV(\Agl,\Asc,\Lgl,\Lgl,\Lsc)
2333: \sy+18\SToprVB(\Asc,\Asc,\Agl,\Agl)
2334: \plus\sy{}18\SToprVV(\Asc,\Asc,\Lgl,\Lsc,\Lsc)
2335: \plus\sy{}1{48}\SToprVB(\Asc,\Asc,\Asc,\Asc) \;,
2336: \\[1ex]
2337: \Phi_4 &=& \!\!
2338: \sy{}1{72} \STopfVX(\Agl,\Agl,\Lgl,\Lgl,\Lgl,\Lgl,\Lgl,\Lgl,\Lgl)
2339: \sy-14 \STopfVX(\Agh,\Agh,\Lhh,\Lhh,\Lgl,\Lgl,\Lgl,\Lgl,\Lgl)
2340: \sy-16 \STopfVX(\Agh,\Agh,\Lgl,\Lhh,\Lgl,\Lhh,\Lhh,\Lgl,\Lhh)
2341: \sy+1{12}\STopfVH(\Agl,\Agl,\Lgl,\Lgl,\Lgl,\Lgl,\Lgl,\Lgl,\Lgl)
2342: \sy-12 \STopfVH(\Agh,\Agh,\Lhh,\Lhh,\Lgl,\Lgl,\Lgl,\Lgl,\Lgl)
2343: \sy-12 \STopfVH(\Agh,\Agh,\Lgl,\Lhh,\Lgl,\Lhh,\Lhh,\Lgl,\Lhh)
2344: \nn[1ex]&&{} \!\!
2345: \sm{-1} \STopfVH(\Agh,\Agl,\Lhh,\Lhh,\Lgl,\Lgl,\Lhh,\Lhh,\Lgl)
2346: \sy-13 \STopfVH(\Agh,\Agl,\Lgl,\Lgl,\Lhh,\Lhh,\Lgl,\Lgl,\Lgl)
2347: \sy+16 \STopfVH(\Agh,\Agh,\Lgl,\Lgl,\Lhh,\Lhh,\Lhh,\Lhh,\Lgl)
2348: \sy+16 \STopfVH(\Agh,\Aagh,\Lgl,\Lgl,\Lhh,\Lhh,\Lhh,\Lhh,\Lgl)
2349: \sy+18 \STopfVW(\Agl,\Agl,\Agl,\Agl,\Lgl,\Lgl,\Lgl,\Lgl)
2350: \sy-14 \STopfVW(\Agh,\Agh,\Agh,\Agh,\Lgl,\Lgl,\Lgl,\Lgl)
2351: \nn[1ex]&&{} \!\!
2352: \sy+14 \STopfVV(\Agl,\Agl,\Agl,\Lgl,\Lgl,\Lgl,\Lgl,\Lgl)
2353: \sy-12 \STopfVV(\Agl,\Agl,\Agh,\Lgl,\Lhh,\Lhh,\Lgl,\Lgl)
2354: \sy+18 \STopfVB(\Agl,\Agl,\Agl,\Agl,\Agl,\Agl,\Lgl)
2355: \sy+18 \STopfVN(\Agl,\Agl,\Lgl,\Lgl,\Lgl,\Lgl,\Lgl)
2356: \sy+1{16}\STopfVU(\Agl,\Agl,\Agl,\Agl,\Lgl,\Lgl,\Lgl)
2357: \sy+1{48}\STopfVT(\Agl,\Agl,\Agl,\Lgl,\Lgl,\Lgl)
2358: \nn[1ex]&&{} \!\!
2359: %
2360: % scalar stuff: \lambda^0
2361: %
2362: \sy+18 \STopfVX(\Asc,\Asc,\Lsc,\Lsc,\Lgl,\Lgl,\Lgl,\Lgl,\Lgl)
2363: \sy+1{12} \STopfVX(\Asc,\Asc,\Lgl,\Lsc,\Lgl,\Lsc,\Lsc,\Lgl,\Lsc)
2364: \sy-13\STopfVH(\Asc,\Agh,\Lgl,\Lgl,\Lsc,\Lsc,\Lhh,\Lhh,\Lgl)
2365: \sy+14\STopfVH(\Asc,\Asc,\Lsc,\Lsc,\Lgl,\Lgl,\Lgl,\Lgl,\Lgl)
2366: \sy+14\STopfVH(\Asc,\Asc,\Lgl,\Lsc,\Lgl,\Lsc,\Lsc,\Lgl,\Lsc)
2367: \sy+12\STopfVH(\Asc,\Agl,\Lsc,\Lsc,\Lgl,\Lgl,\Lsc,\Lsc,\Lgl)
2368: \nn[1ex]&&{} \!\!
2369: \sy+16\STopfVH(\Asc,\Agl,\Lgl,\Lgl,\Lsc,\Lsc,\Lgl,\Lgl,\Lgl)
2370: \sy+1{12}\STopfVH(\Asc,\Asc,\Lgl,\Lgl,\Lsc,\Lsc,\Lsc,\Lsc,\Lgl)
2371: \sy+12\STopfVW(\Asc,\Agl,\Agl,\Agl,\Lsc,\Lsc,\Lgl,\Lgl)
2372: \sy+12\STopfVW(\Asc,\Agl,\Agl,\Asc,\Lgl,\Lsc,\Lgl,\Lsc)
2373: \sy+12\STopfVW(\Agl,\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lgl,\Lgl)
2374: \sy+18\STopfVW(\Asc,\Asc,\Asc,\Asc,\Lgl,\Lgl,\Lgl,\Lgl)
2375: \sy+14\STopfVV(\Asc,\Agl,\Agl,\Lgl,\Lgl,\Lgl,\Lsc,\Lgl)
2376: \nn[1ex]&&{} \!\!
2377: \sy+14\STopfVV(\Asc,\Agl,\Asc,\Lgl,\Lsc,\Lsc,\Lsc,\Lgl)
2378: \sy-12\STopfVV(\Asc,\Agl,\Agh,\Lgl,\Lhh,\Lhh,\Lsc,\Lgl)
2379: \sy+14\STopfVV(\Agl,\Agl,\Asc,\Lgl,\Lsc,\Lsc,\Lgl,\Lgl)
2380: \sy+14\STopfVV(\Agl,\Asc,\Agl,\Lgl,\Lsc,\Lgl,\Lgl,\Lsc)
2381: \sy+14\STopfVV(\Agl,\Asc,\Asc,\Lgl,\Lgl,\Lsc,\Lgl,\Lsc)
2382: \sm{+1}\STopfVV(\Asc,\Asc,\Asc,\Lsc,\Lgl,\Lgl,\Lgl,\Lgl)
2383: \sm{+1}\STopfVV(\Asc,\Asc,\Agl,\Lsc,\Lsc,\Lsc,\Lgl,\Lgl)
2384: \nn[1ex]&&{} \!\!
2385: \sy+14\STopfVB(\Agl,\Agl,\Asc,\Agl,\Agl,\Asc,\Lsc)
2386: \sy+18\STopfVB(\Agl,\Agl,\Asc,\Asc,\Asc,\Asc,\Lgl)
2387: \sy+12\STopfVB(\Asc,\Agl,\Asc,\Asc,\Agl,\Agl,\Lgl)
2388: \sy+12\STopfVB(\Asc,\Agl,\Agl,\Asc,\Agl,\Asc,\Lsc)
2389: \sy+18\STopfVB(\Asc,\Asc,\Agl,\Agl,\Agl,\Agl,\Lgl)
2390: \sy+14\STopfVN(\Asc,\Agl,\Lgl,\Lgl,\Lsc,\Lgl,\Lgl)
2391: \nn[1ex]&&{} \!\!
2392: \sy+18\STopfVN(\Asc,\Asc,\Lgl,\Lgl,\Lsc,\Lsc,\Lgl)
2393: \sy+12\STopfVN(\Agl,\Asc,\Lgl,\Lsc,\Lgl,\Lgl,\Lsc)
2394: \sy+12\STopfVN(\Asc,\Asc,\Lsc,\Lsc,\Lgl,\Lgl,\Lgl)
2395: \sy+18\STopfVU(\Agl,\Asc,\Agl,\Agl,\Lgl,\Lsc,\Lgl)
2396: \sy+1{16}\STopfVU(\Agl,\Agl,\Agl,\Asc,\Lgl,\Lgl,\Lsc)
2397: \sy+12\STopfVU(\Asc,\Asc,\Asc,\Asc,\Lgl,\Lgl,\Lgl)
2398: \sy+1{16}\STopfVU(\Asc,\Asc,\Agl,\Agl,\Lsc,\Lsc,\Lgl)
2399: \nn[1ex]&&{} \!\!
2400: \sy+1{16}\STopfVT(\Agl,\Asc,\Agl,\Lgl,\Lgl,\Lsc)
2401: \sy+16\STopfVT(\Asc,\Asc,\Asc,\Lgl,\Lgl,\Lgl)
2402: % \lambda^1
2403: \plus\sy{}14\STopfVW(\Agl,\Agl,\Asc,\Asc,\Lsc,\Lsc,\Lsc,\Lsc)
2404: \sy+14\STopfVV(\Asc,\Asc,\Agl,\Lgl,\Lsc,\Lgl,\Lsc,\Lsc)
2405: \sy+14\STopfVV(\Asc,\Asc,\Asc,\Lgl,\Lgl,\Lsc,\Lsc,\Lsc)
2406: \sy+14\STopfVB(\Asc,\Asc,\Asc,\Agl,\Agl,\Asc,\Lsc)
2407: \sy+12\STopfVN(\Asc,\Agl,\Lgl,\Lsc,\Lsc,\Lsc,\Lsc)
2408: \nn[1ex]&&{} \!\!
2409: \sy+18\STopfVU(\Agl,\Asc,\Agl,\Asc,\Lgl,\Lsc,\Lsc)
2410: %\nn[1ex]&&{} \!\!
2411: \sy+1{16}\STopfVT(\Asc,\Agl,\Asc,\Lsc,\Lsc,\Lgl)
2412: % \lambda^2
2413: \plus\sy{}18\STopfVB(\Asc,\Asc,\Asc,\Asc,\Asc,\Asc,\Lgl)
2414: \sy+1{16}\STopfVU(\Asc,\Asc,\Agl,\Asc,\Lsc,\Lsc,\Lsc)
2415: % \lambda^3
2416: \plus\sy{}1{48}\STopfVT(\Asc,\Asc,\Asc,\Lsc,\Lsc,\Lsc) \;.
2417: \ea
2418:
2419: %-------------------------------------------------------------------
2420:
2421: \subsection{Self-energies up to 2-loop level}
2422:
2423: Using \eqs\nr{eq:irrdef}, \nr{red1}, the skeletons above immediately
2424: produce the self-energies of the model in \eq\nr{Frules}.
2425: We obtain
2426: \ba
2427: %
2428: % 1loop
2429: %
2430: \TopoS(\Lgl) &=&
2431: \sy{}12 \STopoSB(\Lgl,\Agl,\Agl)
2432: \sm{-1} \STopoSB(\Lgl,\Agh,\Agh)
2433: \sy+12 \STopoST(\Lgl,\Agl)
2434: \sy+12 \STopoSB(\Lgl,\Asc,\Asc)
2435: \sy+12 \STopoST(\Lgl,\Asc) \;,
2436: \\[0ex]
2437: \TopoS(\Lgh) &=&
2438: \sm{1} \STopoSB(\Lhh,\Agl,\Agh) \;,
2439: \\[0ex]
2440: \TopoS(\Lsc) &=&
2441: \sm{1} \STopoSB(\Lsc,\Asc,\Agl)
2442: \sy+12 \STopoST(\Lsc,\Agl)
2443: \plus\sy{}12 \STopoST(\Lsc,\Asc) \;,
2444: \\[0ex]
2445: %
2446: % 2loop irr
2447: %
2448: \ToptSi(\Lgl) &=&
2449: \sy{}12 \SToptSM(\Lgl,\Agl,\Agl,\Agl,\Agl,\Lgl)
2450: \sm{-1} \SToptSM(\Lgl,\Agh,\Agl,\Agl,\Agh,\Lgh)
2451: \sm{-1} \SToptSM(\Lgl,\Agl,\Agh,\Agh,\Agl,\Lagh)
2452: \sm{-1} \SToptSM(\Lgl,\Agh,\Agh,\Agh,\Agh,\Lgl)
2453: \sy+12 \SToptSAl(\Lgl,\Agl,\Agl,\Agl,\Agl)
2454: \sy+12 \SToptSAr(\Lgl,\Agl,\Agl,\Agl,\Agl) \nn[0ex]&&{}
2455: \sy+14 \SToptSE(\Lgl,\Agl,\Agl,\Agl,\Agl)
2456: \sy+16 \SToptSS(\Lgl,\Agl,\Agl,\Lgl)
2457: \sy+12 \SToptSM(\Lgl,\Asc,\Agl,\Agl,\Asc,\Lsc)
2458: \sy+12 \SToptSM(\Lgl,\Agl,\Asc,\Asc,\Agl,\Lsc)
2459: \sy+12 \SToptSM(\Lgl,\Asc,\Asc,\Asc,\Asc,\Lgl) \nn[0ex] && {}
2460: \sm{+1} \SToptSAl(\Lgl,\Asc,\Asc,\Asc,\Agl)
2461: \sm{+1} \SToptSAr(\Lgl,\Asc,\Asc,\Asc,\Agl)
2462: \sy+12 \SToptSAl({\SetColor{Black}\Lgl},\Agl,\Asc,\Agl,\Asc)
2463: \sy+12 \SToptSAr({\SetColor{Black}\Lgl},\Asc,\Agl,\Agl,\Asc) \nn[0ex] && {}
2464: \sy+14 \SToptSE({\SetColor{Black}\Lgl},\Asc,\Agl,\Agl,\Asc)
2465: \sy+14 \SToptSE({\SetColor{Black}\Lgl},\Agl,\Asc,\Asc,\Agl)
2466: \sy+12 \SToptSS(\Lgl,\Asc,\Asc,\Lgl)
2467: \plus\sy{}14 \SToptSE({\SetColor{Black}\Lgl},\Asc,\Asc,\Asc,\Asc) \;,
2468: \\[0ex]
2469: \ToptSi(\Lgh) &=&
2470: \sm{1} \SToptSM(\Lhh,\Agl,\Agl,\Agh,\Agh,\Lgl)
2471: \sm{+1} \SToptSM(\Lhh,\Aagh,\Agl,\Agh,\Agl,\Lagh) \;,
2472: \\[0ex]
2473: \ToptSi(\Lsc) &=&
2474: \sm{1} \SToptSM(\Lsc,\Agl,\Agl,\Asc,\Asc,\Lgl)
2475: \sm{+1} \SToptSM(\Lsc,\Asc,\Agl,\Asc,\Agl,\Lsc)
2476: \sy+12 \SToptSAl({\SetColor{Black}\Lsc},\Agl,\Agl,\Asc,\Agl)
2477: \sy+12 \SToptSAr({\SetColor{Black}\Lsc},\Agl,\Agl,\Asc,\Agl)
2478: \sm{+1} \SToptSAl(\Lsc,\Asc,\Asc,\Agl,\Agl)
2479: \sm{+1} \SToptSAr(\Lsc,\Asc,\Asc,\Agl,\Agl) \nn[0ex] && {}
2480: \sm{+1} \SToptSE(\Lsc,\Agl,\Agl,\Asc,\Asc)
2481: \sy+12 \SToptSS(\Lsc,\Agl,\Agl,\Lsc)
2482: \plus\sy{}12 \SToptSAl({\SetColor{Black}\Lsc},\Agl,\Asc,\Asc,\Asc)
2483: \sy+12 \SToptSAr({\SetColor{Black}\Lsc},\Asc,\Agl,\Asc,\Asc)
2484: \plus\sy{}16 \SToptSS(\Lsc,\Asc,\Asc,\Lsc) \;,
2485: \\[0ex]
2486: %
2487: % 2loop red
2488: %
2489: \ToptSr(\Lgl ) &=&
2490: \sm{1} \SToptSBB(\Lgl,\Agl,\Agl)
2491: \sm{-1} \SToptSBB(\Lgl,\Agh,\Agh)
2492: \sm{-1} \SToptSBB(\Lgl,\Aagh,\Aagh)
2493: \sy+12 \SToptSTB(\Lgl,\Agl)
2494: %\nn[1ex]&&{}
2495: \sm{+1}\SToptSBB(\Lgl,\Asc,\Asc)
2496: \sy+12\SToptSTB(\Lgl,\Asc) \;,
2497: \\[0ex]
2498: \ToptSr(\Lgh) &=&
2499: \sm{1} \SToptSBB(\Lhh,\Agl,\Agh)
2500: \sm{+1} \SToptSBB(\Lhh,\Aagh,\Agl) \;,
2501: \\[0ex]
2502: \ToptSr(\Lsc)&=&
2503: \sm{1}\SToptSBB(\Lsc,\Agl,\Asc)
2504: \sm{+1}\SToptSBB(\Lsc,\Asc,\Agl)
2505: \sy+12\SToptSTB(\Lsc,\Agl)
2506: \sy+12\SToptSTB(\Lsc,\Asc) \;.
2507: \ea
2508:
2509: %-------------------------------------------------------------------
2510:
2511: \subsection{Ring diagrams up to 4-loop level}
2512:
2513: To be exhaustive up to 4-loop level, let us finally give the set of
2514: ring diagrams for the model of~\eq\nr{Frules}.
2515: While there are no ring diagrams up to 2-loop level, from \eq\nr{graphic}
2516: we get
2517: \ba
2518: \(-F_{\rm (rings)}\)_3 &=&
2519: \sy{}14 \STTopoVRoo(\Agl)
2520: \sy-12 \STTopoVRoo(\Agh)
2521: \sy+14 \STTopoVRoo(\Asc) \;,
2522: \\[1ex]
2523: \(-F_{\rm (rings)}\)_4 &=&
2524: \sy{}16 \STTopoVRooo(\Agl)
2525: \sy+12 \STTopoVRoi(\Agl)
2526: \sy+14 \STTopoVRor(\Agl)
2527: \sy-13 \STTopoVRooo(\Agh)
2528: \sm{-1} \STTopoVRoi(\Agh)
2529: \sy-12 \STTopoVRor(\Agh)
2530: \nn[1ex]&&{}
2531: \sy+16 \STTopoVRooo(\Asc)
2532: \sy+12 \STTopoVRoi(\Asc)
2533: \sy+14 \STTopoVRor(\Asc) \;.
2534: \ea
2535: Note the extremely economic structure of the skeleton expansion
2536: of \eq\nr{graphic}: the few ring diagrams above summarize 22 (276)
2537: 3-loop (4-loop) diagrams.
2538:
2539: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2540:
2541: \section{Discussion}
2542: \la{se:integrals}
2543:
2544: In this paper we have described a simple practical procedure
2545: for systematically generating all vacuum diagrams
2546: of a given loop order in a generic field theory.
2547:
2548: We have shown that the sum of vacuum diagrams can be written
2549: in the form of a modified skeleton expansion, \eq\nr{graphic}. It
2550: contains 2-particle-irreducible ``skeletons'' with free propagators,
2551: as well as various self-energy insertions
2552: inside ``ring diagrams''. The self-energies are,
2553: in turn, determined by the skeletons. Thus, all one
2554: really needs is the skeletons.
2555:
2556: The 2-particle-irreducible skeletons of a given order are,
2557: then, generated by~\eq\nr{SDvac}. It contains a number of
2558: full 3-point and 4-point vertices, which can in turn be
2559: expanded using specific ``irreducible'' Schwinger-Dyson
2560: equations (\eqs\nr{SDthree}, \nr{eq:SDfive}, etc), where
2561: full propagators have been replaced with free propagators.
2562: In this way, all vacuum graphs are generated simultaneously,
2563: with the correct symmetry factors. Finally, the precise particle
2564: content of the theory one is interested in can be specified as
2565: discussed in~\se\ref{se:continuum}.
2566: Our method is also directly applicable to theories with
2567: spontaneous symmetry breaking, as only free propagators
2568: and vertices are modified; tadpole graphs
2569: are generated by~\eq\nr{eq:tadpoles}.
2570:
2571: This iterative procedure is very
2572: straightforward and can be automatised,
2573: but up to 4-loop level the computations are
2574: easily carried out even by hand, as we have demonstrated.
2575: Thus, we believe that our setup economises
2576: the generation of the set of high order vacuum diagrams,
2577: compared with techniques where all the types of graphs have to
2578: be dealt with on the same footing, without a separation into
2579: skeletons with free propagators, and ring diagrams.
2580:
2581: Up to this point,
2582: we have not discussed at all the integrations remaining to be
2583: carried out, after the diagrams have been generated.
2584: Let us end by pointing out that our setup is beneficial as far as
2585: their structure is considered, as well,
2586: in dimensions lower than four~\cite{ma}.
2587:
2588: The point is that low-dimensional field theories
2589: of the type in~\eq\nr{eq:generic}
2590: are super-renorma\-lizable.
2591: In fact, for $d=2,3$, only the 2-point function suffers from ultraviolet
2592: divergences, as can be seen by simple power counting.
2593: Therefore the skeleton graphs which by definition do not have any genuine
2594: 2-point functions inside them, do not contain any ultraviolet
2595: divergences in subdiagrams. The ring diagrams, on the other hand,
2596: do have ultraviolet divergences in subdiagrams.
2597: Note, in particular, that
2598: since $\Pi_n^\rmi{irr}, \Pi_n^{\rmi{red}(m)}$ come with different
2599: symmetry factors in~\eq\nr{graphic}, the counterterms in
2600: $\Pi_n^\rmi{irr}$ which make the whole $\Pi_n$ finite, do not
2601: in general immediately cancel all the
2602: ultraviolet subdivergences of the ring diagrams.
2603:
2604: Consequently, various ring diagram classes can
2605: contribute to the overall divergences of the vacuum
2606: graphs with potentially infrared sensitive coefficients,
2607: coming from the other parts of the final integration,
2608: while skeleton diagrams can not.
2609: Fortunately, the ring diagram integrations are simpler than those
2610: in the skeleton graphs, and this problem can thus be dealt with
2611: in a tractable setting~\cite{inpre}.
2612:
2613: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2614:
2615: \section*{Acknowledgements}
2616:
2617: We thank M.~Achhammer, U.~Heinz, S.~Leupold and H.~Schulz
2618: for useful discussions
2619: and correspondence. This work was partly supported by the TMR network
2620: {\em Finite Temperature Phase Transitions in Particle Physics},
2621: EU contract no.\ FMRX-CT97-0122, by the RTN network {\em Supersymmetry
2622: and the Early Universe}, EU contract no.\ HPRN-CT-2000-00152,
2623: and by the Academy of Finland, project no.\ 163065.
2624:
2625: %-------------------------------------------------------------------
2626:
2627:
2628:
2629: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2630: %%%%%%%%%%%%%%%%%%%%%%%%%%%%% BIBLIO %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2631: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2632:
2633: \begin{thebibliography}{99}
2634:
2635: \bibitem{qed}
2636: V.W.~Hughes and T.~Kinoshita,
2637: %``Anomalous g values of the electron and muon,''
2638: Rev.\ Mod.\ Phys.\ {71} (1999) S133;
2639: %%CITATION = RMPHA,71,S133;%%
2640: %
2641: A.~Czarnecki and W.J.~Marciano,
2642: %``Lepton anomalous magnetic moments: A theory update,''
2643: Nucl.\ Phys.\ B (Proc.\ Suppl.)\ {76} (1999) 245
2644: [hep-ph/9810512].
2645: %%CITATION = HEP-PH 9810512;%%
2646:
2647: \bibitem{RML}
2648: T.~van Ritbergen, J.A.~Vermaseren and S.A.~Larin,
2649: %``The four-loop beta function in quantum chromodynamics,''
2650: Phys.\ Lett.\ B {400} (1997) 379
2651: [hep-ph/9701390];
2652: %%CITATION = HEP-PH 9701390;%%
2653: %
2654: K.G.~Chetyrkin,
2655: %``Quark mass anomalous dimension to O(alpha(s)**4),''
2656: Phys.\ Lett.\ B {404} (1997) 161
2657: [hep-ph/9703278];
2658: %%CITATION = HEP-PH 9703278;%%
2659: %
2660: J.A.~Vermaseren, S.A.~Larin and T.~van Ritbergen,
2661: %``The 4-loop quark mass anomalous dimension and the invariant quark mass,''
2662: Phys.\ Lett.\ B {405} (1997) 327
2663: [hep-ph/9703284].
2664: %%CITATION = HEP-PH 9703284;%%
2665:
2666: \bibitem{GLTC}
2667: K.G.~Chetyrkin, A.L.~Kataev and F.~V.~Tkachov,
2668: %``Five Loop Calculations In The G Phi**4 Model And The Critical Index Eta,''
2669: Phys.\ Lett.\ B {99} (1981) 147;
2670: {\em ibid.}\ {101} (1981) 457 (E);
2671: %%CITATION = PHLTA,B99,147;%%
2672: %
2673: K.G.~Chetyrkin, S.G.~Gorishnii, S.A.~Larin and F.V.~Tkachov,
2674: %``Five Loop Renormalization Group Calculations
2675: % In The G Phi**4 In Four-Dimensions Theory,''
2676: Phys.\ Lett.\ B {132} (1983) 351;
2677: %%CITATION = PHLTA,B132,351;%%
2678: %
2679: H.~Kleinert, J.~Neu, V.~Schulte-Frohlinde, K.G.~Chetyrkin and S.A.~Larin,
2680: %``Five loop renormalization group functions of O(n) symmetric phi**4
2681: % theory and epsilon expansions of critical exponents up to epsilon**5,''
2682: Phys.\ Lett.\ B {272} (1991) 39;
2683: {\em ibid.}\ {319} (1991) 545 (E)
2684: [hep-th/9503230];
2685: %%CITATION = HEP-TH 9503230;%%
2686: %
2687: B.~Kastening,
2688: %``Five-loop vacuum energy beta function
2689: % in phi**4 theory with O(N)-symmetric and cubic interactions,''
2690: Phys.\ Rev.\ D {57} (1998) 3567
2691: [hep-ph/9710346];
2692: %%CITATION = HEP-PH 9710346;%%
2693: %
2694: S.A.~Larin, M.~Monnigmann, M.~Strosser and V.~Dohm,
2695: %``Five-loop additive renormalization in the phi**4 theory
2696: % and amplitude functions of the minimally renormalized
2697: % specific heat in three dimensions. (Revised version),''
2698: Phys.\ Rev.\ B 58 (1998) 3394
2699: [cond-mat/9805028].
2700: %%CITATION = COND-MAT 9805028;%%
2701:
2702: \bibitem{bn}
2703: E.~Braaten and A.~Nieto,
2704: %``On the convergence of perturbative QCD at high temperature,''
2705: Phys.\ Rev.\ Lett.\ {76} (1996) 1417
2706: [hep-ph/9508406].
2707: %%CITATION = HEP-PH 9508406;%%
2708:
2709: \bibitem{adjoint}
2710: K.~Kajantie, M.~Laine, K.~Rummukainen and M.~Shaposhnikov,
2711: %``3d SU(N) + adjoint Higgs theory and finite-temperature QCD,''
2712: Nucl.\ Phys.\ B {503} (1997) 357
2713: [hep-ph/9704416].
2714: %%CITATION = HEP-PH 9704416;%%
2715:
2716: \bibitem{az}
2717: P.~Arnold and C.~Zhai,
2718: %``The Three loop free energy for pure gauge QCD,''
2719: Phys.\ Rev.\ {D 50} (1994) 7603
2720: [hep-ph/9408276];
2721: %%CITATION = HEP-PH 9408276;%%
2722: %
2723: %``The Three loop free energy for high temperature QED and QCD with fermions,''
2724: {\it ibid.}\ {51} (1995) 1906
2725: [hep-ph/9410360];
2726: %%CITATION = HEP-PH 9410360;%%
2727: %
2728: C.~Zhai and B.~Kastening,
2729: %``The Free energy of hot gauge theories with fermions through g**5,''
2730: Phys.\ Rev.\ {D 52} (1995) 7232 [hep-ph/9507380];
2731: %%CITATION = HEP-PH 9507380;%%
2732: %
2733: E. Braaten and A. Nieto,
2734: %``Free Energy of QCD at High Temperature,''
2735: Phys.\ Rev.\ D 53 (1996) 3421 [hep-ph/9510408].
2736: %%CITATION = HEP-PH 9510408;%%
2737:
2738: \bibitem{IR}
2739: A.D.~Linde,
2740: %``Infrared problem in thermodynamics of the Yang-Mills gas,''
2741: Phys.\ Lett.\ {B 96} (1980) 289.
2742: %%CITATION = PHLTA,B96,289;%%
2743:
2744: \bibitem{dr}
2745: P. Ginsparg,
2746: %``First and second order phase transitions
2747: %in gauge theories at finite temperature,''
2748: Nucl.\ Phys.\ B 170 (1980) 388;
2749: %%CITATION = NUPHA,B170,388;%%
2750: %
2751: T. Appelquist and R.D. Pisarski,
2752: %``High-temperature Yang-Mills theories and three-dimensional
2753: %Quantum Chromodynamics,''
2754: Phys.\ Rev.\ D 23 (1981) 2305.
2755: %%CITATION = PHRVA,D23,2305;%%
2756:
2757: \bibitem{a0cond}
2758: K.~Kajantie, M.~Laine, K.~Rummukainen and Y.~Schr\"oder,
2759: %``How to resum long-distance contributions to the QCD pressure?,''
2760: Phys.\ Rev.\ Lett.\ {86} (2001) 10
2761: [hep-ph/0007109].
2762: %%CITATION = HEP-PH 0007109;%%
2763:
2764: \bibitem{framework}
2765: K.~Farakos, K.~Kajantie, K.~Rummukainen and M.~Shaposhnikov,
2766: %``3d physics and the electroweak phase transition:
2767: %a framework for lattice Monte Carlo analysis,''
2768: Nucl.\ Phys.\ {B 442} (1995) 317 [hep-lat/9412091].
2769: %%CITATION = NUPHA,B442,317;%%
2770:
2771: \bibitem{contlatt}
2772: M.~Laine,
2773: %``Exact relation of lattice and continuum parameters
2774: % in three-dimensional SU(2) + Higgs theories,''
2775: Nucl.\ Phys.\ B {451} (1995) 484
2776: [hep-lat/9504001];
2777: %%CITATION = HEP-LAT 9504001;%%
2778: %
2779: M.~Laine and A.~Rajantie,
2780: %``Lattice-continuum relations for 3d SU(N)+Higgs theories,''
2781: Nucl.\ Phys.\ {B 513} (1998) 471
2782: [hep-lat/9705003].
2783: %%CITATION = HEP-LAT 9705003;%%
2784:
2785: \bibitem{moore_a}
2786: G.D.~Moore,
2787: %``Curing O(a) errors in 3-D lattice SU(2) x U(1) Higgs theory,''
2788: Nucl.\ Phys.\ {B 493} (1997) 439 [hep-lat/9610013];
2789: %%CITATION = HEP-LAT 9610013;%%
2790: %
2791: %``O(a) errors in 3-D SU(N) Higgs theories,''
2792: {\it ibid.}\ {523} (1998) 569
2793: [hep-lat/9709053].
2794: %%CITATION = HEP-LAT 9709053;%%
2795:
2796:
2797: \bibitem{HS}
2798: R.~Harlander and M.~Steinhauser,
2799: %``Automatic computation of Feynman diagrams,''
2800: Prog.\ Part.\ Nucl.\ Phys.\ {43} (1999) 167
2801: [hep-ph/9812357].
2802: %%CITATION = HEP-PH 9812357;%%
2803:
2804: \bibitem{FA}
2805: J.~K\"ublbeck, M.~B\"ohm and A.~Denner,
2806: %``Feyn Arts: Computer Algebraic Generation Of Feynman Graphs And Amplitudes,''
2807: Comput.\ Phys.\ Commun.\ {60} (1990) 165;
2808: %%CITATION = CPHCB,60,165;%%
2809: %
2810: T.~Hahn,
2811: %``Generating Feynman diagrams and amplitudes with FeynArts 3,''
2812: hep-ph/0012260;
2813: %%CITATION = HEP-PH 0012260;%%
2814: %
2815: {\tt http://www.feynarts.de/}.
2816:
2817: \bibitem{QG}
2818: P.~Nogueira,
2819: %``Automatic Feynman graph generation,''
2820: J.\ Comput.\ Phys.\ {105} (1993) 279;
2821: %%CITATION = JCTPA,105,279;%%
2822: %
2823: {\tt ftp://gtae2.ist.utl.pt/pub/qgraf/}.
2824:
2825: \bibitem{Klmany}
2826: M.~Bachmann, H.~Kleinert and A.~Pelster,
2827: %``Recursive graphical construction of Feynman diagrams
2828: % in quantum electrodynamics,''
2829: Phys.\ Rev.\ D {61} (2000) 085017
2830: [hep-th/9907044];
2831: %%CITATION = HEP-TH 9907044;%%
2832: %
2833: H.~Kleinert, A.~Pelster, B.~Kastening and M.~Bachmann,
2834: %``Recursive graphical construction of Feynman diagrams
2835: % and their multiplicities in phi**4 and in phi**2 A-theory,''
2836: Phys.\ Rev.\ {E 62} (2000) 1537
2837: [hep-th/9907168];
2838: %%CITATION = HEP-TH 9907168;%%
2839: %
2840: B.~Kastening,
2841: %``Recursive graphical construction of Feynman diagrams
2842: % in phi**4 theory: Asymmetric case and effective energy,''
2843: Phys.\ Rev.\ {E 61} (2000) 3501
2844: [hep-th/9908172];
2845: %%CITATION = HEP-TH 9908172;%%
2846: %
2847: H.~Kleinert, A.~Pelster and B.~Van den Bossche,
2848: %``Recursive graphical construction for Feynman diagrams
2849: % and their weights in Ginzburg-Landau theory,''
2850: hep-th/0107017;
2851: %%CITATION = HEP-TH 0107017;%%
2852: %
2853: A.~Pelster, H.~Kleinert and M.~Bachmann,
2854: %``Functional Closure of Schwinger-Dyson
2855: % Equations in Quantum Electrodynamics, Part 1:
2856: % Generation of Connected and One-Particle Irreducible Feynman Diagrams,''
2857: hep-th/0109014.
2858: %%CITATION = HEP-TH 0109014;%%
2859:
2860: \bibitem{ma}
2861: M.~Achhammer,
2862: {\em The QCD Partition Function at High Temperatures},
2863: PhD thesis, University of Regensburg, July 2000
2864: (Logos-Verlag, Berlin, 2001).
2865:
2866: \bibitem{inpre}
2867: K.~Kajantie, M.~Laine, K.~Rummukainen and Y.~Schr\"oder,
2868: in preparation.
2869: %
2870: %%CITATION = NONE;%%
2871:
2872: \bibitem{Cvi}
2873: P.~Cvitanovi\'c,
2874: {\em Field Theory}, Nordita Lecture Notes
2875: (Nordita, Copenhagen, 1983).
2876: %%CITATION = NONE;%%
2877: %
2878: {\em See also}
2879: %
2880: P.~Cvitanovi\'c, B.~Lautrup and R.B.~Pearson,
2881: %``The Number And Weights Of Feynman Diagrams,''
2882: Phys.\ Rev.\ D {18} (1978) 1939.
2883: %%CITATION = PHRVA,D18,1939;%%
2884:
2885:
2886: \bibitem{LW}
2887: J.M.~Luttinger and J.C.~Ward,
2888: %``Ground-State Energy of a Many-Fermion System. II''
2889: Phys.\ Rev.\ {118} (1960) 1417;
2890: %%CITATION = NONE;%%
2891: %
2892: G. Baym,
2893: %``Self-Consistent Approximations in Many-Body Systems''
2894: Phys.\ Rev.\ {127} (1962) 1391;
2895: %%CITATION = NONE;%%
2896: %
2897: C.~De~Dominicis and P.C.~Martin,
2898: %``Stationary Entropy Principle and Renormalization in Normal
2899: % and Superfluid Systems. II. Diagrammatic Formulation''
2900: J.\ Math.\ Phys.\ {5} (1964) 31.
2901: %%CITATION = NONE;%%
2902:
2903:
2904: \bibitem{CJT}
2905: J.M.~Cornwall, R.~Jackiw and E.~Tomboulis,
2906: %``Effective Action For Composite Operators,''
2907: Phys.\ Rev.\ D {10} (1974) 2428.
2908: %%CITATION = PHRVA,D10,2428;%%
2909:
2910: \bibitem{RS}
2911: J.~Reinbach and H.~Schulz,
2912: %``Resummation of phi**4 free energy up to an arbitrary order,''
2913: Phys.\ Lett.\ B {404} (1997) 291
2914: [hep-ph/9703414].
2915: %%CITATION = HEP-PH 9703414;%%
2916:
2917: \bibitem{effpot}
2918: R.~Jackiw,
2919: %``Functional Evaluation Of The Effective Potential,''
2920: Phys.\ Rev.\ D {9} (1974) 1686;
2921: %%CITATION = PHRVA,D9,1686;%%
2922: %
2923: R.~Fukuda and E.~Kyriakopoulos,
2924: %``Derivation Of The Effective Potential,''
2925: Nucl.\ Phys.\ B {85} (1975) 354.
2926: %%CITATION = NUPHA,B85,354;%%
2927:
2928: \bibitem{CW}
2929: S.~Coleman and E.~Weinberg,
2930: %``Radiative Corrections As The Origin Of Spontaneous Symmetry Breaking,''
2931: Phys.\ Rev.\ D {7} (1973) 1888.
2932: %%CITATION = PHRVA,D7,1888;%%
2933:
2934: \bibitem{jamv}
2935: J.A.M.~Vermaseren,
2936: %``New features of FORM,''
2937: math-ph/0010025;
2938: %%CITATION = MATH-PH 0010025;%%
2939: {\tt http://www.nikhef.nl/\~{}form/}.
2940: %{\tt http://www.nikhef.nl/\~\@form/}.
2941:
2942: \end{thebibliography}
2943:
2944: \end{document}
2945:
2946: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2947: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2948: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2949:
2950:
2951:
2952: