1: %%%%%%%%%%%%%%%%%%%%%%% file template.tex %%%%%%%%%%%%%%%%%%%%%%%%%
2: %
3: % This is a template file for The European Physical Journal
4: %
5: % Copy it to a new file with a new name and use it as the basis
6: % for your article
7: %
8: %%%%%%%%%%%%%%%%%%%%%%%% Springer-Verlag %%%%%%%%%%%%%%%%%%%%%%%%%%
9: %
10: \begin{filecontents}{leer.eps}
11: %!PS-Adobe-2.0 EPSF-2.0
12: %%CreationDate: Mon Jul 13 16:51:17 1992
13: %%DocumentFonts: (atend)
14: %%Pages: 0 1
15: %%BoundingBox: 72 31 601 342
16: %%EndComments
17:
18: gsave
19: 72 31 moveto
20: 72 342 lineto
21: 601 342 lineto
22: 601 31 lineto
23: 72 31 lineto
24: showpage
25: grestore
26: %%Trailer
27: %%DocumentFonts: Helvetica
28: \end{filecontents}
29: %
30: %\documentclass[epj,referee]{svjour}
31: \documentclass[epj]{svjour}
32: % Remove option referee for final version
33: %
34: % Remove any % below to load the required packages
35: %\usepackage{latexsym}
36: %\usepackage{graphics,epsfig,psfrag}
37: \usepackage{epsf,cite,epsfig,psfig,float,amssymb,stmaryrd,latexsym}
38: \usepackage{graphics,psfrag}
39: \usepackage{graphicx}
40: % etc
41: %
42: \newcommand{\be}{\begin{equation}}
43: \newcommand{\ee}{\end{equation}}
44: \newcommand{\beqa}{\begin{eqnarray}}
45: \newcommand{\eeqa}{\end{eqnarray}}
46: \newcommand{\vp}{\vec{p}}
47: \newcommand{\ds}{\displaystyle}
48: \newcommand{\no}{\nonumber}
49: \newcommand{\dsf}{\ds\frac}
50: \newcommand{\Tr}{\mbox{Tr}}
51: \newcommand{\re}[1]{(\ref{#1})}
52: %\newcommand{\onehalfspace}{\renewcommand{\baselinestretch}{1.2}\large\normalsize}
53: \newcommand{\onehalfspace}{\renewcommand{\baselinestretch}{1.}\large\normalsize}
54: %
55: \hyphenation{Skyr-mion}
56: \hyphenation{dia-grams}
57: \hyphenation{deu-te-ron}
58: \hyphenation{nuc-le-on}
59: \hyphenation{counter-terms}
60: \hyphenation{re-du-ci-bi-li-ty}
61: %
62: \begin{document}
63: %
64: \titlerunning{Infrared regularization for spin-1 fields}
65: \title{Infrared regularization for spin-1 fields
66: \thanks{Work supported in part by
67: Deutsche Forschungsgemeinschaft through grants provided for the SFB/TR 16
68: ``Subnuclear Structure of Matter''.}}
69:
70: \author{Peter C. Bruns \inst{1} \thanks{Electronic address:~bruns@itkp.uni-bonn.de}
71: \and
72: Ulf-G. Mei{\ss}ner \inst{1}\inst{2} \thanks{
73: Electronic address:~meissner@itkp.uni-bonn.de}
74: } % Do not remove
75: %
76: %\offprints{Ulf-G. Mei{\ss}ner} % Insert a name or remove this line
77: %
78: \institute{
79: Helmholtz-Institut f\"ur Strahlen- und Kernphysik (Theorie),
80: Universit\"at Bonn, Nu{\ss}allee 14-16, D-53115 Bonn, Germany
81: \and
82: Forschungszentrum J{\" u}lich, Institut f{\" u}r Kernphysik
83: (Theorie), D-52425 J{\" u}lich, Germany
84: }
85: %
86: \date{Received: date / Revised version: date}
87: % The correct dates will be entered by Springer
88: %
89: \abstract{
90: We extend the method of infrared regularization to spin-1 fields. As applications,
91: we discuss the chiral extrapolation of the rho meson mass from lattice QCD data
92: and the pion-rho sigma term.
93: %
94: \PACS{
95: {12.39.Fe}{Chiral Lagrangians} \and
96: % {11.15.Ha}{Lattice Gauge Theory} \and
97: {12.38.Gc}{Lattice QCD calculations}
98: } % end of PACS codes
99: } %end of abstract
100: %
101: \maketitle
102: %
103:
104: \tableofcontents
105:
106: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
107: \section{Introduction}
108: \def\theequation{\arabic{section}.\arabic{equation}}
109: \label{intro}
110:
111: Chiral perturbation theory (CHPT) is the effective field theory of the
112: Standard Model at low energy \cite{GL1,GL2}. It is based on the spontaneously broken
113: approximate chiral symmetry of QCD. The pions, kaons and the eta can be
114: identified with the Goldstone bosons of chiral symmetry breaking. Their
115: interactions are weak and vanish in the chiral limit of zero quark masses
116: when the energy goes to zero. This is a consequence of Goldstone's theorem
117: and allows for a consistent power counting. Consequently, any amplitude can be written
118: as sum of terms with increasing powers in external momenta and quark masses,
119: symbolically
120: \begin{equation}
121: {\mathcal A} = p^D \, f\left( p/\mu , g\right)~,
122: \end{equation}
123: where $f$ is a function of order one,
124: $p$ collects the small parameters, $D$ is the chiral dimension, $\mu$ a
125: regularization scale (related to the UV divergences in loop graphs)
126: and $g$ a collection of coupling constants, the so-called
127: low-energy constants (LECs). Weinberg \cite{Wein} first established this power
128: counting, in particular, the expansion in $p$ (the chiral expansion)
129: can be mapped onto an expansion in terms
130: of tree and loop graphs, with $n$ loop graphs being parametrically suppressed by
131: powers of $p^{2n}$ compared to the leading trees. The explicit expression for $D$
132: reads:
133: \begin{equation}\label{chiraldim}
134: D({\mathcal A}) = \sum_N V_n (n-2) + 2L +2~,
135: \end{equation}
136: with $L$ the number of Goldstone boson loops and $V_n$ a vertex of
137: order ${O}(p^n)$.
138: In essence, this power counting
139: works because the pion mass vanishes in the chiral limit and thus the only dimensionfull
140: scale in this limit is the pion decay constant $F_\pi$
141: (more precisely, its value in the chiral limit).
142: Utilizing a symmetry preserving regularization scheme
143: like e.g. dimensional regularization leads to homogeneous functions in the small
144: parameters (for more details, see the reviews \cite{ulf,pich,ecker,BKMrev,scherer}).
145: The precise relation between this effective field theory (EFT) and the chiral Ward
146: identities of QCD was firmly
147: established in Refs.~\cite{Heiri,SWMIT}.
148:
149: The active degrees of freedom in CHPT are the Goldstone bosons, chirally coupled to
150: external sources. It is, however, known since long that vector and axial-vector
151: mesons also play an important role in low energy hadron physics, as one example
152: we mention the fairly successful description of the pion charge form factor in
153: terms of the (extended) vector dominance approach (for more details, see e.g. the
154: reviews \cite{UlfV,KoichiV}). These heavy degrees of freedom decouple in the chiral
155: limit and at low energy from the Goldstone bosons. Nevertheless, they leave their
156: imprint in the low-energy EFT of QCD by saturating the LECs, which has been termed
157: resonance saturation \cite{NuB,Donoghue,Eck}. We will discuss this issue briefly
158: in Sect.~\ref{sec:tree}. Here, we are interested in an extension of CHPT where these
159: spin-1 fields are accounted for explicitly. While it is straightforward to construct
160: the corresponding chiral effective Lagrangian (as briefly reviewed also
161: in Sect.~\ref{sec:tree}), the computation of loop diagrams
162: is not. This is related to the appearance of a large mass scale in this EFT,
163: namely the non-vanishing chiral limit mass of the spin-1 fields. This scale destroys the
164: one-to-one mapping between the chiral expansion and the loop expansion, as discussed
165: in more detail in Sect.~\ref{sec:problem}. To be able to proceed in a systematic fashion,
166: one has to be able to separate the contributions to loop diagrams originating from this
167: large mass scale in a controllable and symmetry-preserving fashion. This problem also
168: appears in the EFT when nucleons (baryons) are included (in fact, it has been analyzed
169: first in this context \cite{GSS}), and various solutions have been
170: suggested, like heavy baryon CHPT \cite{JM,BKKM}, subtraction schemes for the hard
171: momenta \cite{Tang}, infrared regularization \cite{BL} or extended on-mass shell
172: regularization \cite{Mainz1}. For the case of the vector mesons considered here
173: an additional complication arises - these particles can decay into Goldstone bosons
174: and thus appear in loops without appearing in external lines. Here, we will
175: present an extension of infrared regularization that allows to treat such diagrams.
176: In Sect.~\ref{sec:softhard}, we briefly review the intuitive approach of Ref.\cite{Tang}
177: how the contributions from the hard scale can be tamed. The more elegant infrared
178: regularization \cite{BL} is introduced in Sect.~\ref{sec:IR}. In Sect.~\ref{sec:IRnew},
179: we discuss the new contributions to the Goldstone boson
180: self-energy graph when the heavy particle
181: only appears in the loop. The singularity structure of these loop graphs is analyzed in
182: Sect.~\ref{sec:sing}. Based on that, we show how the infrared singular part can
183: be obtained for such type of one-loop diagrams in Sect.~\ref{sec:IRcorr}. The method is then
184: applied to the self-energy graph where the spin-1 field only appears inside the
185: loop, see Sect.~\ref{sec:self1}. The corresponding
186: triangle graph is discussed in Sect.~\ref{sec:tria}.
187: Section~\ref{sec:Vself} contains the analysis of the vector meson self-energy
188: diagram with a pure Goldstone boson loop, which does not only involve soft momenta.
189: As an application, we discuss the chiral extrapolation of lattice QCD data for
190: the rho meson mass and related topics
191: in Sect.~\ref{sec:mrho}. A brief summary is given in Sect.~\ref{sec:summ}.
192: Some technicalities are relegated to the appendices. For other works on the problem
193: of vector mesons in chiral EFT, we refer
194: to \cite{JM95,BM95,Urech,bijnens,PichV,Koichi,MainzV}.
195:
196:
197:
198: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
199: \section{Prelude: Vector mesons in trees}
200: \setcounter{equation}{0}
201: \label{sec:tree}
202: In this section we show how vector mesons can be treated in chiral
203: perturbation theory when only tree graphs are considered. This material is not
204: new, but is needed to set up the formalism and to set the stage for the
205: discussion of vector mesons in loops. The reader familiar with this material
206: might skip this section. Also, our considerations are more general, they
207: really refer to the coupling of heavy degrees of freedom to the Goldstone
208: boson fields. Furthermore, when talking about vector mesons, we really mean vector
209: {\em and} axial-vector mesons (spin-1 fields).
210:
211: Our aim is to write down an effective Lagrangian containing the vector meson
212: resonances explicitly. The word 'explicitly' refers to the fact that the
213: vector meson resonances are present {\em implicitly} in the Goldstone boson
214: effective Lagrangians through their contributions to (some of) the pertinent
215: low-energy constants, see Refs.~\cite{NuB,Donoghue,Eck}.
216: We want to state this on a more formal level. Assume that we have constructed a Lagrangian ${\mathcal L}_{Res}(R,U,v,a,s,p)$ where $R$ are some resonance fields which might be the vector mesons for example. $U$ collects the Goldstone bosons and $v,a,s,p$ are vector,
217: axial-vector, pseudoscalar and scalar sources. The latter also include the quark
218: masses, $s(x) = {\mathcal M}$, with ${\mathcal M} = {\rm diag}(m_u,m_d,m_s)$ the
219: quark mass matrix. The resonances are all very much heavier than the Goldstone bosons (e.g. $M_{\rho} \sim 770$ MeV), and therefore it is a consistent procedure for a low-energy effective theory to integrate out these heavy degrees of freedom by means of a path integration over $R$:
220: \begin{equation}
221: \int [dR] e^{i\int d^{4}x {\mathcal L}_{Res}(R,U,v,a,s,p)} = e^{iZ_{ind}(U,v,a,s,p)} .
222: \end{equation}
223: By doing the path integral, a Goldstone boson theory (containing only $U$ and
224: the external fields) is recovered. $Z_{ind}(U,v,a,s,p)$ may be called the
225: generating functional {\em induced} by
226: ${\mathcal L}_{Res}(R,U,v,a,s,p)$ through the path integration. Such a step may be visualized in a Feynman graph by shrinking the lines symbolizing the $R$-propagators to a point, and attaching contact terms (interactions between the remaining fields) to these points.
227:
228: What is the physical content of all this? Computing the $R$-induced Goldstone boson field theory means that some interaction terms between the Goldstone (and external) fields are computed by the path integration over $R$ and are therefore expressed through couplings of the resonance to these fields and the resonance mass $M_{R}$, which can be measured in processes where the resonance occurs as an external state. The interactions generated in this way can be compared with the couplings determined by the LECs of the original Goldstone boson field theory. This will show us how important the resonance contributions to the processes under consideration are. We get a microscopic information on these processes which we could not achieve with the theory of the light fields alone.
229:
230: Numerically, however, one could as well work with the original effective field theory and simply include higher and higher orders. As should be clear by now, the resonance contributions are {\em implicitly} present in this theory, influencing the values of the LECs.
231: This can be illustrated by considering a diagram with a resonance line through which a small ($O(p)$) momentum flows. The resonance propagator can be expanded in this case using
232: \begin{equation}
233: \frac{1}{p^{2} - M_{R}^{2}} = -\frac{1}{M_{R}^{2}}\biggl( 1+\frac{p^{2}}{M_{R}^{2}}+ \ldots \biggr)~,
234: \end{equation}
235: leading to an infinite series generating terms of an arbitrary high order. Including the resonance field explicitly, one takes care of {\em all} terms in this series and not just the first few terms of it. This can be advantageous. A nice example can be found in \cite{Kubis}, where the inclusion of vector mesons substantially improves the results for the nucleon form factors computed in that work.
236:
237: With this motivation, let us now concentrate on the vector mesons. Following
238: \cite{NuB}, we will (first) use an antisymmetric Lorentz tensor-field $W_{\mu
239: \nu} = - W_{\nu \mu}$ to describe the vector meson. This has six degrees of
240: freedom, but we can dispose of three of them in a systematic way, for details
241: see App.~\ref{app:ten} and Ref.~\cite{NuB}.
242: The spin-1 fields transform as any matter field under the
243: non-linearly realized chiral symmetry,
244: \begin{equation}
245: W_{\mu\nu}(x) \rightarrow h W_{\mu\nu}(x) h^{\dagger}~ ,
246: \end{equation}
247: where the compensator field $h$ is defined via
248: \begin{equation}
249: u(x)\rightarrow g_{R} u(x) h^{\dagger} = h u(x) g_{L}^{\dagger}
250: \end{equation}
251: with $g_I$ is an element of SU(3)$_I$, $I=L,R$ and $u^2 = U$.
252: The kinetic and mass term of the effective
253: Lagrangian for vector mesons has the form
254: \begin{equation}\label{Lkin}
255: {\mathcal L}_{W}^{kin} =
256: -\frac{1}{2}\langle \nabla^{\mu}W_{\mu \nu}\nabla_{\rho}W^{\rho \nu}\rangle
257: + \frac{1}{4}M_{V}^{2}\langle W_{\mu \nu}W^{\mu \nu}\rangle~,
258: \end{equation}
259: where
260: \begin{equation}\label{WT}
261: W_{\mu \nu} = \frac{1}{\sqrt{2}}W_{\mu \nu}^{a}T^{a}
262: \end{equation}
263: for an octet of vector mesons, and summation over the flavor index $a=1,
264: \ldots , 8$ is implied, and $\langle \,\, \rangle$ denotes the trace in flavor space.
265: The pertinent covariant derivative is
266: \begin{equation}
267: \nabla^{\mu}R = \partial^{\mu}R + [\Gamma^{\mu}, R]~.
268: \end{equation}
269: It transforms as $W_{\mu\nu}$ under the chiral group. Here, $\Gamma^{\mu}$ is the connection,
270: \begin{equation}
271: \Gamma^{\mu} = \frac{1}{2}(u^{\dagger}[\partial^{\mu}-i(v^{\mu}+a^{\mu})]u
272: + u[\partial^{\mu}-i(v^{\mu}-a^{\mu})]u^{\dagger})\, .
273: \end{equation}
274: For the $SU(3)$ case we consider here, the $T^{a}$ are the usual
275: Gell-Mann-matrices which obey $\langle T^{a}T^{b}\rangle = 2\delta^{ab}$ as well as
276: $[T^{a},T^{b}] = 2if^{abc}T^{c}$,
277: where $f^{abc}$ are the totally antisymmetric structure constants of $SU(3)$.
278: The mass $M_V$ appearing in Eq.(\ref{Lkin}) is strictly speaking the vector meson
279: mass in the chiral limit.
280:
281: The vector meson octet we consider here may be given in matrix form:
282: \begin{equation}
283: \mathbf{W} = \left( \begin{array}{ccc}
284: \frac{\rho^{0}}{\sqrt{2}}+\frac{\omega_{8}}{\sqrt{6}} & \rho^{+} & K^{\ast+} \\
285: \rho^{-} & -\frac{\rho^{0}}{\sqrt{2}}+\frac{\omega_{8}}{\sqrt{6}} & K^{\ast0} \\
286: K^{\ast-} & \bar K^{\ast0} & -\frac{2\omega_{8}}{\sqrt{6}}
287: \end{array} \right)~.
288: \end{equation}
289: From the above Lagrangian, one can derive the propagator,
290: \begin{eqnarray}
291: \langle 0\mid T(W_{\mu \nu}^{a}(x)W_{\rho \sigma}^{b}(y))\mid 0\rangle =
292: \frac{i\delta^{ab}}{M_{V}^{2}}\int
293: \frac{d^{4}k}{(2\pi)^{4}}\frac{e^{ik(x-y)}}{M_{V}^{2}-k^{2}-i\epsilon} \nonumber\\
294: \times [g_{\mu \rho}g_{\nu \sigma}(M_{V}^{2}-k^{2})+g_{\mu
295: \rho}k_{\nu}k_{\sigma}-g_{\mu \sigma}k_{\nu}k_{\rho} - (\mu \leftrightarrow
296: \nu)]\, . &&\nonumber \\ &&
297: \end{eqnarray}
298: Now we examine the interaction of the vector meson field with the other fields of the theory, especially the Goldstone boson fields. We actually already have interaction terms coming from the covariant derivative, but they are bilinear in $W_{\mu \nu}$. For the simplest diagrams we want to consider, we need vertices with only one vector meson line attached to them, i.e. couplings linear in $W_{\mu \nu}$. Therefore we neglect the 'connection terms' in the following.
299: From the philosophy of effective field theories, we are required to construct the most general interaction terms consistent with Lorentz invariance, chiral symmetry, parity, charge conjugation and hermiticity. The building blocks with which this can be done are, in principle, at hand: the Goldstone boson fields (collected in $U$ or its square root $u$), the covariant derivative $D^{\mu}$ acting on $U$, the object $\chi$ which contains the scalar and pseudoscalar fields (in particular, the quark mass matrix), the field $W_{\mu \nu}$ (and the pertinent covariant derivative $\nabla_{\mu}$ acting on it) and the field strength tensor $F_{\mu \nu}$ for the external fields $v_{\mu}$ and $a_{\mu}$.
300: For our purposes, it is more convenient to collect these blocks in the combinations
301: \begin{eqnarray*}
302: u_{\mu} &=& iu^{\dagger}D_{\mu}Uu^{\dagger} = u_{\mu}^{\dagger}~, \\
303: u_{\mu \nu} &=& iu^{\dagger}D_{\mu}D_{\nu}Uu^{\dagger}~, \\
304: \chi_{\pm} &=& u^{\dagger}\chi u^{\dagger} \pm u\chi^{\dagger}u~, \\
305: F^{\pm}_{\mu \nu}&=&uF^{L}_{\mu \nu}u^{\dagger}\pm u^{\dagger}F^{R}_{\mu \nu}u~.
306: \end{eqnarray*}
307: This is better from a practical point of view because the so-defined objects all transform like $W_{\mu \nu}$ under chiral transformations. This makes it easy to find chirally invariant expressions: Just take some of the above objects and put them inside a trace $\langle \ldots \rangle$. This will then be invariant by the cyclicity property of the trace. Of course, one can further reduce these possibilities by imposing the other symmetries mentioned above, and using the antisymmetry of $W_{\mu \nu}$.
308:
309: What concerns power counting, it is clear that $u^{\mu}$ is a quantity of order $O(p)$ due to the covariant derivative $D^{\mu}$ giving one factor of momentum or external (axial-)vector source. Similarly, the other objects in the list are of $O(p^{2})$.
310:
311: At order $O(1)$, there is no term linear in $W$ because $W_{\alpha \alpha}=0$.
312: The lowest order interaction terms turn out to be of order $O(p^{2})$ and read \cite{NuB}
313: \begin{equation}\label{Wint}
314: L^{int}_{W} = \frac{F_{V}}{2\sqrt{2}}\langle F^{+}_{\mu \nu}W^{\mu \nu}\rangle + \frac{iG_{V}}{2\sqrt{2}}\langle [u_{\mu},u_{\nu}]W^{\mu \nu}\rangle .
315: \end{equation}
316: This is more complicated than it looks, because both terms contain interactions with an arbitrary high (even) number of Goldstone boson fields. One must carefully expand the objects $F^{\pm}_{\mu \nu}$ and $u_{\mu}$ to obtain the vertex for a particular amplitude.
317: It is now clear why vector meson singlets can be neglected: The sources to
318: which they would be allowed to couple are $\langle F^{\pm}_{\mu \nu}\rangle$
319: and $\langle [u_{\mu},u_{\nu}]\rangle$, but both traces are zero.
320:
321: %One remark concerning the numerical values of $F_V$ and $G_V$ : We do not consider the
322: %vector mesons as gauge bosons of chiral symmetry. This ansatz would lead to
323: %the relation $F_{V} = 2G_{V}$ \cite{Eck}. This will not be assumed here, though it is
324: %fulfilled quite well in nature: From the measured decay rates for $\rho^{0}\rightarrow e^{+}e^{-}$
325: %and $\rho \rightarrow 2\pi$, one has $F_{V} = 154 ~MeV$ and $G_{V} = 69 ~MeV$.
326: %The last value will have to be corrected slightly because the pions from the
327: %rho decay are not soft. In \cite{NuB}, the value of $G_{V}$ is taken from the
328: %assumption of vector meson dominance concerning the form factor of the Goldstone
329: %boson. This will mean that the the number $F_{V}G_{V}$ will be taken as an
330: %experimental input, which together with the measured value of $F_{V}$
331: %determines $G_{V} = 53 ~MeV$.
332: Note that a discussion of the numerical values of $F_V$ and $G_V$ is given
333: in Refs.~\cite{NuB,Eck}. Furthermore, the vector field formulation is
334: summarized in App.~\ref{app:vec}.
335:
336:
337: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
338: \section{Vector mesons in loops: Statement of the problem}
339: \setcounter{equation}{0}
340: \label{sec:problem}
341: Difficulties arise when in a Feynman diagram lines representing a heavy matter field are part of a loop. The corresponding amplitude will in general not be of the chiral order expected from power counting. This has been noted many years ago when the nucleon was incorporated in CHPT \cite{GSS}.
342: We already saw in the last chapter that power counting in CHPT is not as straightforward as in the purely Goldstone bosonic sector, and we already noted the reason for this, namely, the presence of a new large scale: The mass of the heavy matter field.
343: In \cite{GSS}, it was shown that the parameters of the lowest order pion-nucleon Lagrangian already were (infinitely) renormalized by loop graphs in the chiral limit. There exists a mismatch between the loop expansion in $\hbar$ and the chiral expansion in small parameters of order $O(p)$. The loop graphs in general generate power counting violating terms, confusing the perturbative scheme suggested by CHPT. For example, a graph with dozens of loops might give a contribution as low as $O(p^{2})$. Clearly, we will have to get rid of these power counting violating terms if we want to keep this scheme when including heavy matter fields.
344:
345: For graphs where the heavy field only shows up in internal tree lines, the problem concerning power counting was not urgent, because the chiral expansion of the amplitude corresponding to such a graph at least {\em started} with the correct order. We saw this in the last chapter: We counted the vector meson propagator as $O(1)$, and in the low-energy region, the momentum transfer variable $t$ was much smaller than the square of the heavy mass, allowing an expansion of the propagator in the small dimensionless variable $t/M_{V}^{2}$, which starts at $O(1)$.
346:
347:
348:
349: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
350: \section{Soft and hard poles}
351: \setcounter{equation}{0}
352: \label{sec:softhard}
353: If the heavy particle line belongs to a loop, an integration over the four-momentum flowing through this line takes place. Due to the pole structure of the propagator, the integral will pick up a large contribution from the region where the line momentum squared $k^{2} \approx M_{V}^{2}$, with $M_{V}$ the heavy mass (we keep the index $V$ to remind us that we will concentrate on vector mesons, but the present discussion is more general). This is the region of the 'hard poles' in the terminology of \cite{Tang}. These contributions are of high-energy origin and clearly do not fit in a low-energy effective theory - they must be identified as generating the part of the loop integral which violates the power counting scheme, because this scheme would clearly be valid if these 'hard poles' were missing. The only hard-momentum effects for loop integrals in the Goldstone boson sector are the ultraviolet divergences, which are handled by dimensional regularization.
354:
355: Before discussing the infrared regularization method, for illustrative purposes
356: we will shortly present the idea of \cite{Tang}. We remarked that that the power counting violating terms stem from the region $k^{2}\approx M_{V}^{2}$. Far off that region, for $k^{2} \ll M_{V}^{2}$, it would be allowed to expand the propagator in the small variable $k^{2}/M_{V}^{2}$, as we did for tree lines in the last section. Of course, this is not allowed under a momentum integral which extends to arbitrary high momenta $k^{\mu}$. But it is too much of a temptation to do so, {\em because in this way one destroys the 'hard poles' responsible for the power counting violating terms}. Doing the expansion, treating the loop-momentum $k^{\mu}$ over which one integrates as a small quantity, and interchanging integration and summation of this expansion, one ends up with an expression which obeys power counting, because the hard poles are not present in any individual term of the series which one integrates term by term. Only the soft poles from the Goldstone boson (or perhaps also photon) propagators will be present in the individual integrals.
357:
358: Clearly, this is not the old integral any more, but a certain part of it, collecting only the contributions from the 'soft poles' - it is called the 'soft part' of the full integral in the terminology of \cite{Tang}. The remaining part, which was dropped by this procedure, collects the contributions from the 'hard poles' and stems from the high-energy-momentum region. It is argued that this part is expandable in the small chiral parameters and, truncated at a sufficiently high order (depending on the order to which one calculates) it is a local polynomial in these small parameters and can be taken care of by a renormalization of the parameters of the most general effective Lagrangian. The power counting violating terms are then hidden in the renormalization of the LECs, and the 'soft part', with subtracted residual high-energy divergences, is taken as the renormalized amplitude appearing as a part of the perturbation series. If this argument is correct, and the part of the full integral which is dropped is indeed expandable in the small parameters, the 'soft part' contains all the terms of the full integral which are non-analytic in the expansion parameters, like terms of the typical form
359: $\ln M_{\phi}/\mu$, the so-called 'chiral log'-terms where $M_{\phi}$ is the Goldstone boson mass,
360: and $\mu$ is the renormalization scale (we will use dimensional regularization throughout).
361: This becomes large if one lets the Goldstone boson mass go to zero. The physical interpretation is that in this limit the range of the interaction mediated by the Goldstone bosons becomes infinite, so that, for example, the scalar radius of the pion (or other hadrons) is infrared divergent in the chiral limit, which makes sense because it measures the spatial extension of the Goldstone boson cloud.
362:
363: We keep in mind that the 'soft poles' in the region where the loop momentum $k\sim O(p)$ are responsible for the terms non-analytic in the small parameters, like chiral log terms, and that all these terms {\em obey a simple power counting}. This follows from the argument given by \cite{Tang}. If one ever encounters a power counting violating term non-analytic in the quark masses, for example, this would invalidate the above argument - such terms can not be hidden in the renormalization of the parameters of an effective Lagrangian.
364:
365: We would like to demonstrate that arguments such as the one cited above are indeed more than just wishful thinking. The basic features of the argument can be exhibited by a toy model loop integral (it is straightforward to generalize it - the formulas would only look a bit more complicated).
366:
367: Consider the integral
368: \begin{equation}
369: I = \oint_{C} \frac{dk}{2\pi i} \frac{f(k)}{(k-a)(k-b)}
370: \end{equation}
371: where $C$ is some contour in $\mathbf{C} \setminus \{a,b\}$ (enclosing the poles or not) and $f(k)$ is an analytic function. Such an integral might e.g. be the $k^{0}$-integration over a full loop integral. The soft pole is called $a$ and is of $O(p)$ while the hard pole is $b$. In fact, we will only need $|a| < |b|$.
372: In the spirit of the argument of \cite{Tang}, we destroy the hard pole in two steps
373: \begin{eqnarray}\label{soft}
374: I &\rightarrow& \oint_{C} \frac{dk}{2\pi i}\frac{f(k)}{(k-a)}
375: \left(-\frac{1}{b}\right)
376: \left( 1+\frac{k}{b} + \frac{k^{2}}{b^{2}} + \ldots \right)\nonumber \\
377: &\rightarrow& -\frac{1}{b}\sum_{n=0}^{\infty}\oint_{C}\frac{dk}{2\pi i}\frac{f(k)}{(k-a)}\frac{k^{n}}{b^{n}}\nonumber \equiv I_{\rm soft}~.
378: \end{eqnarray}
379: Depending on the form of $f(k)$, this will be ultraviolet divergent if the contour extends to infinity, but this divergence has nothing directly to do with the pole structure and can be handled by a regularization scheme.
380: By the method of residues, $I_{\rm soft}$ is computed to be
381: \begin{equation}
382: I_{\rm soft} = \frac{f(a)}{(a-b)}\oint_{C}\frac{dk}{2\pi i}\frac{1}{(k-a)} .
383: \end{equation}
384: We were allowed to sum the geometric series because $|a| < |b|$. Therefore $I_{\rm soft}$ is just the first summand in the decomposition
385: \begin{eqnarray}
386: I &=& \oint_{C}\frac{dk}{2\pi i}\frac{f(k)}{(k-a)(k-b)} = \nonumber\\
387: &=& \frac{1}{a-b}\biggl(\oint_{C} \frac{dk}{2\pi i}\frac{f(a)}{(k-a)}
388: - \oint_{C}\frac{dk}{2\pi i}\frac{f(b)}{(k-b)}\biggr) \nonumber \\
389: &=& I_{\rm soft} + I_{\rm hard}~,
390: \end{eqnarray}
391: which clearly separates the contributions from the soft and the hard pole, respectively. We have thus demonstrated that the expansion of the hard pole structures followed by an interchange of summation and integration indeed gives {\em exactly} the contribution from the soft pole. Note that the above argument can be iteratively used for multiple poles.
392:
393: A complementary approach would be to treat $k$ as large, expand the soft pole structure in the small variable $a$ and again interchange summation and integration, thereby isolating the hard pole contribution which is by construction analytic in the small parameter $a$. This may be called the 'regular' part of the loop integral. Again, divergences can show up which have nothing to do with the details of the pole structure (infrared divergences if the contour $C$ encloses $k=0$), but apart from this, the calculation analogous to the preceding one will give nothing but $I_{\rm hard}$. In this sense, the approaches of \cite{Tang} and \cite{Mainz1} can be said to be complementary to each other.
394:
395: We will see in the next section that the arguments of \cite{Tang} can be refined or, as one should say, modified in a rather elegant way. In particular, the method
396: described in this section does not always work because not all integrals converge
397: in the low energy region, for more details on that issue, see e.g. \cite{BL}.
398: %Before closing this section, I want to refer to \cite{HeavyBaryon, BKM92}, where other clever ideas have been developed to incorporate heavy matter fields in $CHPT$ and which were found earlier than the kind of treatment cited above. Much work has been done in that direction, but this is not the place to describe these methods.
399:
400: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
401: \section{Infrared regularization}
402: \setcounter{equation}{0}
403: \label{sec:IR}
404: In order to find a more elegant way to separate the low-energy part of the loop integrals, we will examine a loop consisting of one 'heavy' propagator and one Goldstone propagator. We use dimensional regularization to handle the ultraviolet divergence of such an integral, i.e. we give a meaning for the notion of an integral in $d$ dimensions, where $d$ might be fractional, negative , etc.$\,$.
405:
406: We consider the scalar loop integral
407: \begin{equation}\label{IVphidef}
408: I_{V\phi}(q) = i\int \frac{d^{d}k}{(2\pi)^{d}}\frac{1}{((k-q)^{2}-M_{\phi}^{2})(k^{2}-M_{V}^{2})} .
409: \end{equation}
410: Here $q$ denotes an external momentum flowing into the loop, $M_{\phi}$ is the Goldstone boson mass and $M_{V}$ is the mass of the heavy particle. The '$i\epsilon$'-prescription, giving the masses a small negative imaginary part, should be understood here. We leave it out because it will play no role in the following discussion.
411:
412: There are two cases which have to be distinguished: 1) the momentum $q$ belongs to the heavy particle line of the loop, in the sense that this line is connected to external heavy particle lines (this would necessarily be the case if the heavy particle is a baryon, because of baryon number conservation). For the soft processes we consider, this would mean that
413: \begin{displaymath}
414: q^{2}-M_{V}^{2} = O(p) .
415: \end{displaymath}
416: The second case is that 2) the loop is connected only to Goldstone boson lines, which is the case for the vector meson contribution to the Goldstone boson self energy (Fig.~\ref{fig:self}b).
417: This can not happen if the heavy particle line represents a baryon. Then
418: \begin{displaymath}
419: q^{2} = O(p^{2}) .
420: \end{displaymath}
421: We first investigate case 1). To this end we use a Feynman representation
422: \begin{displaymath}
423: \frac{1}{ab} = \int_{0}^{1} dz \frac{1}{(a(1-z)+bz)^{2}}
424: \end{displaymath}
425: to write
426: \begin{eqnarray}
427: &&I_{V\phi}= \nonumber \\
428: &&i\int \frac{d^{d}k}{(2\pi)^{d}}\int_{0}^{1}dz \frac{1}{[((k-q)^{2}-M_{\phi}^{2})(1-z) + (k^{2}-M_{V}^{2})z]^{2}}\nonumber\\ &&
429: \end{eqnarray}
430: Note from this expression that, for $z=0$, the integrand is a pure 'soft pole', while for $z=1$ it is a 'hard pole'. We see that the soft pole structure which we want to extract is associated with the region $z\rightarrow 0$.
431: \begin{figure}[htb]
432: \centerline{\psfig{file=self.eps,width=7.cm}}
433: \caption{Self-energy graphs. Solid and dashed lines denote vector mesons (heavy particles)
434: and Goldstone bosons, respectively. While a) can be treated by the IR method of
435: Ref.\protect\cite{BL},
436: to deal with graphs of type b), the method developed here has to be used.
437: \label{fig:self}}
438: \end{figure}
439: \noindent
440: After a shift $k\rightarrow k+q(1-z)$,the denominator of the integrand becomes
441: \begin{displaymath}
442: [k^{2}-A(z)]^{2}
443: \end{displaymath}
444: where
445: \begin{eqnarray}\label{abdef}
446: A(z) &=& M_{V}^{2}C(z) , \nonumber\\
447: C(z) &=& bz^{2} - (b+a-1)z + a ,\nonumber\\
448: a &=& \frac{M_{\phi}^{2}}{M_{V}^{2}}~,~
449: b = \frac{q^{2}}{M_{V}^{2}} ,
450: \end{eqnarray}
451: and the $d-$dimensional $k-$integral can be done in a standard way to give
452: \begin{equation}
453: I_{V\phi}= -\frac{M_{V}^{d-4}}{(4\pi)^{\frac{d}{2}}}\Gamma \left(2-\frac{d}{2}\right)
454: \int_{0}^{1}dz (C(z))^{\frac{d}{2}-2} .
455: \end{equation}
456: This will develop an infrared singularity as $M_{\phi}\rightarrow 0$ for negative enough dimension $d$. From the expression for $C(z)$, we see that this singularity is located at $z=0$, because in that region we will have
457: \begin{displaymath}
458: (C(z))^{\frac{d}{2}-2} \rightarrow \biggl(\frac{M_{\phi}}{M_{V}}\biggr)^{d-4}
459: \end{displaymath}
460: generating a part non-analytic in the Goldstone boson mass (remember that $d$ can also be fractional). These findings are consistent with the above observation that the region $z\rightarrow 0$ is to be associated with the soft pole structure, coming from the Goldstone boson propagator.
461: We come to the conclusion that to extract the soft pole contribution, we should extract the part of the loop integral proportional to noninteger powers of the Goldstone boson mass (for noninteger $d$).
462:
463: Becher and Leutwyler have proposed a way to achieve this \cite{BL}.
464: They find that the decomposition of the loop integral into a part non-analytic in $a$ (and therefore $M_{\phi}$) and a part regular in $a$ is given by
465: \begin{displaymath}
466: I_{V\phi} = I + R ,
467: \end{displaymath}
468: where
469: \begin{eqnarray}\label{IRsplit}
470: I &=& -\frac{M_{V}^{d-4}}{(4\pi)^{\frac{d}{2}}}\Gamma\left(2-\frac{d}{2}\right)
471: \int_{0}^{\infty}(C(z))^{\frac{d}{2}-2}dz \nonumber\\
472: R &=& +\frac{M_{V}^{d-4}}{(4\pi)^{\frac{d}{2}}}\Gamma\left(2-\frac{d}{2}\right)
473: \int_{1}^{\infty}(C(z))^{\frac{d}{2}-2}dz .
474: \end{eqnarray}
475: From the above remarks it is clear that $R$, which contains the parameter integral starting at $z=1$, will not produce infrared singular terms for any value of the dimension parameter $d$. It will therefore be analytic in the Goldstone boson mass. On the other hand, the so-called 'infrared singular part' $I$ is exactly the part proportional to noninteger powers of the Goldstone boson mass, for noninteger dimension $d$. Moreover, it is shown in \cite{BL} that this part of the loop integral fulfills power counting (as we would have by now expected for the part associated with the soft pole structure, see the discussion of the last section). We will not repeat the proof for these assertions here, because we are going to do a very similar calculation in the next section.
476:
477: The parameter integrals for $I$ and $R$ do not converge for $d=4$. To give them an unambiguous value, a partial integration is performed to express them through convergent integrals and a part that is divergent for $d=4$, but can be left away by an analytic continuation argument (analytic continuation from negative values of the parameter $d$). For details, see Ref.\cite{BL}. This leads to an explicit representation of $I$ and $R$ for the case of four dimensions.
478:
479: The infrared regularization (IR) scheme can now be implemented by simply dropping the regular part $R$, argueing that it can be taken care of by an appropriate renormalization of the most general effective Lagrangian. This can be done because it is analytic in the small parameter $M_{\phi}$ (and in external momenta).
480: The regular part contains the power counting violating terms originating from the 'hard pole' of the loop integral, which have now been abandoned with the dropping of $R$. We are left with the infrared singular part $I$ which obeys power counting. It still contains a pole in $(d-4)$, which can be dealt with using e.g. the (modified) minimal subtraction scheme. Having done this, we have achieved the goal of a finite loop correction where power counting allows to compute correctly the order with which this correction will appear in the perturbation series.
481:
482: The method as presented here strongly relies on dimensional regularization. In particular, the separation of the loop integrals into two parts with fractional versus integer powers of $M_{\phi}$ {\em for a fractional dimension parameter} $d$ allows the argument that chiral symmetry (or more specifically, the Ward identities) have to be obeyed by both parts separately. Therefore dropping one part of it (the regular part) is a chirally symmetric procedure because it leaves us with a regularized amplitude that is again chirally symmetric for itself. It is important here that the scheme of dimensional regularization leaves chiral symmetry untouched, because the validity of the Ward identities does not depend on the space--time dimension parameter. Of course one must deal with {\em all} loop integrals occurring in the perturbation series in the same way to keep the physical content of the theory unchanged. The regular part of any loop integral that one computes will have to be dropped.
483:
484: If one lets $d \rightarrow$ integer $n$, we will get terms proportional to
485: \begin{displaymath}
486: \biggl(\frac{M_{\phi}}{M_{V}}\biggr)^{n+\epsilon} = \biggl(\frac{M_{\phi}}{M_{V}}\biggr)^{n}\biggl(1+\epsilon \ln \biggl(\frac{M_{\phi}}{M_{V}}\biggr)+\ldots \biggr).
487: \end{displaymath}
488: In the complete expression, one will leave out terms of $O(\epsilon)$, so that
489: for an integer dimension, the expression for the infrared part $I$ (up to
490: $O(\epsilon)$) may well contain a piece analytic in the Goldstone boson mass.
491: Only after the separation in the two pieces of different analyticity character
492: has been done, it is allowed to let $d$ approach an integer value. This is
493: why dimensional regularization, permitting noninteger valued dimension
494: parameters, is essential for this approach. Note that an elegant extension
495: of infrared regularization to multi-loop graphs is given in Ref.\cite{PL}.
496:
497:
498: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
499: \section{Another case of IR regularization}
500: \setcounter{equation}{0}
501: \label{sec:IRnew}
502: The last section, where the infrared regularization scheme has been introduced, dealt with the case that the momentum squared $q^{2}$, coming from outside the loop, was of the same order as $M_{V}^{2}$. This is the case, for example, for a diagram contributing to the self-energy of a nearly on-shell baryon with a Goldstone boson loop. This was the case considered in \cite{BL}. However, we have seen in the last chapter that vector mesons can occur as strongly virtual resonance states in processes where only soft Goldstone bosons or photons appear as external particles. If the same loop we considered in the last section is connected only to Goldstone boson lines, the momentum flowing into the loop will then be small. Since this is a Goldstone boson momentum, we must require that the 'regular part' which we want to drop from the regularized amplitude is analytic also in this parameter.
503:
504: Becher and Leutwyler introduce in their original paper the variable
505: \begin{equation}
506: \Omega = \frac{q^{2}-M_{\phi}^{2}-M_{V}^{2}}{2M_{\phi}M_{V}}
507: \end{equation}
508: which is $O(1)$ for the processes they examine, which correspond to the first of the two cases we distinguished in the last section. They consider the chiral expansion for fixed $\Omega$. But if
509: \begin{displaymath}
510: |q^{2}| \ll M_{V}^{2}, \qquad q^{2}= O(p^{2}),
511: \end{displaymath}
512: the variable $\Omega$ will be $O(p^{-1})$ ! This already signals that this case will probably have to be treated differently.
513:
514: Let us first evaluate the integral directly, for $d=4-\epsilon$. We find (omitting terms of $O(\epsilon)$)
515: \begin{eqnarray*}
516: I_{V\phi} &=& -\frac{M_{V}^{d-4}}{(4\pi)^{\frac{d}{2}}}\Gamma\left(2-{\frac{d}{2}}\right)
517: \int_{0}^{1} dz [b(z-x_{1})(z-x_{2})]^{\frac{d}{2}-2} \\
518: &=& 2\lambda + \frac{1}{16\pi^{2}} + \frac{1}{16\pi^{2}}\int_{0}^{1} dz \ln (b(z-x_{1})(z-x_{2})) \\
519: &=& 2\lambda - \frac{1}{16\pi^{2}} \\
520: && \quad+ \frac{1}{16\pi^{2}}\biggl(x_{1}\ln \biggl(\frac{x_{1}}{x_{1}-1}\biggr) + x_{2}\ln \biggl(\frac{x_{2}}{x_{2}-1}\biggr)\biggr).
521: \end{eqnarray*}
522: Here we have introduced the zeroes of $C(z)$,
523: \begin{equation}\label{zeros}
524: x_{1,2} = \frac{b+a-1}{2b} \pm \sqrt{\frac{(b+a-1)^{2}-4ab}{4b^{2}}}
525: \end{equation}
526: and the standard notation
527: \begin{displaymath}
528: \lambda = \frac{M_{V}^{d-4}}{16\pi^{2}}\biggl(\frac{1}{d-4}-\frac{1}{2}(\ln(4\pi)-\gamma+1)\biggr) .
529: \end{displaymath}
530: We have selected the mass of the heavy particle as a natural choice
531: for the renormalization scale $\mu$ here (this particular choice also leads to
532: suppression of higher order divergences that appear in the loop integrals and
533: should thus be made).
534: Furthermore we have used $C(z=1) = b(1-x_{1})(1-x_{2}) = 1\,$.
535: To examine this further we write the expansions
536: \begin{eqnarray}
537: x_{1} &=& -\frac{a}{1-a} - \frac{ab}{(1-a)^{3}} -\ldots~, \\
538: \frac{1}{x_{2}} &=& -\frac{b}{1-a} - \frac{b^{2}}{(1-a)^{3}} - \ldots~,
539: \end{eqnarray}
540: showing that, for $b\rightarrow 0$, $x_{2}$ behaves like
541: \begin{displaymath}
542: x_{2} \rightarrow \frac{b+a-1}{b} .
543: \end{displaymath}
544: Remember that in the case we consider now, $a$ and $b$ are both small variables from their definition, of chiral order $O(p^{2})$.
545: Using these expansions, and the relation
546: \begin{displaymath}
547: C(z=0) = a = bx_{1}x_{2} ,
548: \end{displaymath}
549: we see that $I_{V\phi}$ contains a term non-analytic in the Goldstone boson mass
550: \begin{displaymath}
551: I_{V\phi} = \frac{1}{16\pi^{2}}x_{1}\ln(a) +\ldots,
552: \end{displaymath}
553: and that it is analytic in the second small variable $b$ (for $|b| \ll 1$ ).
554:
555: We want to check the power counting for this case: The non-analytic terms are proportional to $x_{1}$, whose expansion in $a$ and $b$ starts at order $O(p^{2})$. This is the expected chiral order for the integral: The loop integration in 4 dimensions gives 4 powers of small momentum, whereas the Goldstone boson propagator gives $-2$. The hard pole structure is of order $O(1)$ here, because the vector meson appears just as an internal resonance line. So the power counting for the non-analytic terms is fine, as expected.
556:
557: We remark that these non-analytic terms are also produced when one proceeds after the prescription of \cite{Tang}: Expanding the hard pole structure and integrating term by term, one gets $x_{1}$ as the coefficient of the $\ln a$-terms, order by order.
558:
559: Now we want to do infrared regularization. But now we remark an important point: We can {\em not} simply take over the formulas of the last section. We note that the expression for $I$ and $R$ will contain pieces non-analytic in the other small variable $b$, which is not small in the case treated in the last section. But the original integral does not contain such a non-analyticity in $b$. We conclude that the extension of the parameter integrals to $z\gg 1$ is responsible for this non-analyticity: Somewhere in that region, we must catch up a pole for $b\rightarrow 0$. So we have the problem that, loosely speaking, the 'regular part' is not regular. We will have to modify the method of \cite{BL} somehow, and find a way to separate off the terms non-analytic in the small variable $b$.
560: To do this, we will have to examine the nature of the singularity we encounter here. This will be done in the next section.
561:
562: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
563: \section{Singularities in parameter space}
564: \setcounter{equation}{0}
565: \label{sec:sing}
566: We will consider an integral which has exactly the same features as the one we need, but is a bit simpler. Let
567: \begin{equation}
568: \tilde I = \int_{0}^{1}dz\ (z+a)^{-\frac{3}{2}}(1+bz)^{-\frac{3}{2}}
569: \end{equation}
570: where $a$ and $b$ are again small parameters in the sense that $|a|, |b| \ll 1$.
571: This will develop a singularity at $z=0$ if $a \rightarrow 0$. What if we extend the integration to infinity? To examine this we first change variables,
572: \begin{displaymath}
573: z = \frac{1}{u} ,
574: \end{displaymath}
575: and compute
576: \begin{equation}
577: \tilde I = \int_{1}^{\infty}u\ du\ (1+au)^{-\frac{3}{2}}(u+b)^{-\frac{3}{2}} .
578: \end{equation}
579: This shows the close similarity between the '$a$-singularity' at $z=0$ and the '$b$-singularity' at $u=0$. If we extend the integration to $z\rightarrow \infty$, we will pick up a non-analytic contribution from $u=0$. A 'regular part' defined as
580: \begin{equation}\label{Rtilde}
581: \tilde R = -\int_{1}^{\infty}dz\ (z+a)^{-\frac{3}{2}}(1+bz)^{-\frac{3}{2}}
582: \end{equation}
583: will be analytic in $a$, but not in $b$. This is the situation encountered in the last section, for a slightly different integral. How do we get rid of this non-analyticity?
584:
585: Remembering what we have learned so far, we know how we can get rid of certain non-analytic terms: We must 'destroy the poles' by expanding the pole structures and integrating term by term.
586: Let us do this:
587: \begin{eqnarray*}
588: \tilde I &=& \int_{0}^{1} dz (z+a)^{-\frac{3}{2}}\biggl(1-\frac{3}{2}bz + \frac{15}{8}(bz)^{2}\pm \ldots \biggr) \\ &=& \int_{0}^{1} dz (z+a)^{-\frac{3}{2}}\sum_{m=0}^{\infty} \frac{\Gamma(-\frac{1}{2})}{\Gamma(-\frac{1}{2}-m)} \frac{(bz)^{m}}{m!} \\ &=& \sum_{m=0}^{\infty} \frac{\Gamma(-\frac{1}{2})}{\Gamma(-\frac{1}{2}-m)}\frac{b^m}{m!}\int_{0}^{1}dz (z+a)^{-\frac{3}{2}}z^{m} .
589: \end{eqnarray*}
590: Here we were allowed to interchange summation and integration without changing the value of the integral, because in the interval of integration the expansion of the integrand is absolutely convergent when $a,b$ are smaller than 1.
591:
592: The dependence on $a$ now resides in the simpler integrals of the coefficients in the expansion. The idea is now to find the 'infrared singular part' of each of these coefficients. If the sum of these infrared singular parts converges, it must be the infrared singular part of the full integral $\tilde I$, because the expansion of the pole structure that we have performed did not change the integral.
593:
594: To find the infrared singular part of
595: \begin{equation}
596: I_{m} = \int_{0}^{1}dz (z+a)^{d}z^{m}
597: \end{equation}
598: with an arbitrary parameter $d$ (possibly negative) and an integer $m$, we follow the method of \cite{BL} and scale $z=ay$ to find
599: \begin{equation}
600: I_{m} = a^{d+m+1}\int_{0}^{\frac{1}{a}}dy\ (1+y)^{d}y^{m} .
601: \end{equation}
602: We would now like to take the upper limit of the integration to infinity. Whenever the extended integral converges, it gives
603: \begin{displaymath}
604: \int_{0}^{\infty}dy\ (1+y)^{d}y^{m} = \frac{\Gamma(m+1)\Gamma(-d-(m+1))}{\Gamma(-d)} .
605: \end{displaymath}
606: There will be a convergence problem if $m$ is large enough. But the divergence comes from large values of $z$ and has nothing to do with the infrared singular part. To see this in detail, let $K\gg 1$ , $m>0$, and do a partial integration:
607: \begin{eqnarray*}
608: \int_{0}^{K}dz\ (z+a)^{d}z^{m} &=& K^{m}\frac{(K+a)^{d+1}}{d+1} \nonumber\\
609: &-& \int_{0}^{K}\frac{m}{d+1}(z+a)^{d+1}z^{m-1}dz~.
610: \end{eqnarray*}
611: Doing this $m$ times, and dropping all terms proportional to
612: $(K+a)^{d+n}$ with $ n \in \mathbf{N}$ ,
613: because these are clearly expandable around $a=0$ and will therefore not contribute to the piece non-analytic in $a$, we end up with the same result as above, namely, the 'infrared singular part' of $I_{m}$ is {\em always}
614: \begin{equation}
615: I_{m, {\rm IR}} = a^{d+m+1}\frac{\Gamma(m+1)\Gamma(-d-(m+1))}{\Gamma(-d)}.
616: \end{equation}
617: This form clearly shows the character of the infrared singular part as being proportional to noninteger powers of $a$ for noninteger parameter $d$.
618:
619: We have now performed the relevant step to find the infrared singular part of each coefficient in the expansion of $\tilde I$. We insert this in the series, setting $d=-\frac{3}{2}$ for definiteness:
620: \begin{eqnarray*}
621: \tilde I &=& \sum_{m=0}^{\infty}\frac{\Gamma(-\frac{1}{2})}{\Gamma(-\frac{1}{2}-m)}\frac{b^{m}}{m!}\int_{0}^{1}dz\ (z+a)^{-\frac{3}{2}}z^{m} \\ &\rightarrow & \sum_{m=0}^{\infty}\frac{\Gamma(-\frac{1}{2})}{\Gamma(-\frac{1}{2}-m)}\frac{\Gamma(m+1)\Gamma(\frac{1}{2}-m)}{\Gamma(\frac{3}{2})}\frac{(ab)^{m}a^{-\frac{1}{2}}}{m!} \\ &=& \tilde I_{{\rm IR}} .
622: \end{eqnarray*}
623: %Making use of the well known properties
624: %\begin{displaymath}
625: %\Gamma(x+1) = x\Gamma(x) , \qquad \Gamma(m+1)=m! ,
626: %\end{displaymath}
627: One can easily sum the series,
628: \begin{eqnarray*}
629: \tilde I_{{\rm IR}} &=& \frac{4}{\sqrt{a}}\sum_{m=0}^{\infty}(ab)^{m}\biggl((m+1)-\frac{1}{2}\biggr) \\ &=& \frac{4}{\sqrt{a}}\biggl(\frac{1}{(1-ab)^{2}}-\frac{1}{2(1-ab)}\biggr) \\ &=& \frac{2}{\sqrt{a}}\frac{1+ab}{(1-ab)^{2}} .
630: \end{eqnarray*}
631: The reason why we have selected the value $d=-\frac{3}{2}$ is that it is very easy to compute the integral $\tilde I$ directly. The part non-analytic at $a\rightarrow 0$ can be read off and is the same as the result just given. We have checked this for various other values of the parameter $d$.
632:
633: In a 'naive' application of the IR method, one would be tempted to simply take
634: \begin{eqnarray*}
635: \tilde I_{{\rm BL}} &=&\int_{0}^{\infty} dz\ (z+a)^{-\frac{3}{2}}(1+bz)^{-\frac{3}{2}} \\
636: &=& \frac{2}{(1-ab)^{2}}\biggl(\frac{1+ab}{\sqrt{a}}-2\sqrt{b}\biggr) ,
637: \end{eqnarray*}
638: which contains a part non--analytic in the second small variable $b$. This is the part we have separated off by our procedure.
639:
640: We note that this '$b$-singular' part can be extracted by proceeding in exact analogy to the steps just performed: Expand the other pole structure, proportional to a power of $(z+a)$, in the integral $\tilde R$, Eq.(\ref{Rtilde}). The expansion is in powers of $a/z$, which is smaller than one in the pertinent interval of integration.
641:
642: We can now give the result for arbitrary $d$. The general '$a$-singular part' is
643: \begin{equation}
644: \tilde I_{{\rm IR}} = \sum_{m=0}^{\infty}\frac{\Gamma(d+1)\Gamma(-d-(m+1))}{\Gamma(-d)\Gamma(d+1-m)}(ab)^{m}a^{d+1} ,
645: \end{equation}
646: while the '$b$-singular part' is
647: \begin{equation}
648: \tilde I_{{\rm b}} = \sum_{m=0}^{\infty}\frac{\Gamma(d+1)\Gamma(m-2d-1)}{\Gamma(-d)}\frac{(ab)^{m}}{m!}b^{-(d+1)} .
649: \end{equation}
650: In the case $d=-\frac{3}{2}$, the last expression yields indeed
651: \begin{eqnarray*}
652: \tilde I_{{\rm b}} &=& \sum_{m=0}^{\infty}\frac{\Gamma(-\frac{1}{2})}{\Gamma(\frac{3}{2})}(m+1)(ab)^{m}\sqrt{b}
653: = \frac{-4\sqrt{b}}{(1-ab)^{2}}~ ,
654: \end{eqnarray*}
655: which is confirmed by the result of the direct calculation. We have
656: \begin{equation}
657: \tilde I_{{\rm BL}} = \tilde I_{{\rm IR}} + \tilde I_{{\rm b}},
658: \end{equation}
659: where the second part is the one we do not want in a genuine regular part (it will appear in $\tilde R$ because the non-analytic behaviour for $b\rightarrow 0$ is not present in the original integral $\tilde I$, with which we started).
660:
661: What we will need in the next section is the result for $d=-\epsilon$, where, as always, $\epsilon$ is considered as sufficiently small to allow for the neglecting of terms $O(\epsilon^{2})$. In this case,
662: \begin{equation}
663: \tilde I_{{\rm IR}} = \sum_{m=0}^{\infty} \frac{\Gamma(1-\epsilon)\Gamma(-(m+1)+\epsilon)}{\Gamma(\epsilon)\Gamma(1-m-\epsilon)}(ab)^{m}a^{1-\epsilon}\, .
664: \end{equation}
665: After some $\Gamma$-function algebra, one gets for the sum
666: \begin{eqnarray*}
667: \tilde I_{{\rm IR}} &=& a^{1-\epsilon}(-1-\epsilon) -\epsilon \sum_{m=1}^{\infty}\frac{a(ab)^{m}}{m(m+1)} + O(\epsilon^{2}) \\ &=& a(-1-\epsilon + \epsilon \ln(a)) - \epsilon a \sum_{m=1}^{\infty}\biggl(\frac{1}{m}-\frac{1}{m+1}\biggr)(ab)^{m}\\
668: && \qquad \qquad \qquad \qquad\qquad \qquad +O(\epsilon^{2}).
669: \end{eqnarray*}
670: The series can easily be summed
671: % by use of
672: %\begin{displaymath}
673: %\sum_{m=1}^{\infty}\frac{x^{m}}{m} = - \sum_{m=1}^{\infty}(-1)^{m+1}\frac{(-x)^{m}}{m} = -\ln(1-x) ,
674: %\end{displaymath}
675: %giving
676: \begin{equation}
677: \tilde I_{{\rm IR}} = -a-2\epsilon a + \epsilon a\ln(a)+\epsilon\biggl(\frac{ab-1}{b}\biggr)\ln(1-ab) .
678: \end{equation}
679: Please note that the last term is expandable in $b$, and that we have left out terms of $O(\epsilon^{2})$.
680:
681: With the very same method, we can also compute the '$b$-singular part' for the case $d=-\epsilon$. The result is
682: \begin{eqnarray}
683: \tilde I_{{\rm b}} &=& \frac{1}{2}\biggl(a-\frac{1}{b}\biggr)+\frac{1}{2}\epsilon \biggl(a-\frac{1}{b}\biggr)\ln(b) \nonumber \\
684: &+&\epsilon\biggl(\frac{1-ab}{b}\biggr)(\ln(1-ab)-1).
685: \label{Itb}
686: \end{eqnarray}
687: We have checked that $\tilde I_{{\rm BL}}$, calculated with the method of Becher and Leutwyler, is again the sum of the '$a$-singular part' and the '$b$-singular part', like it was the case for $d=-\frac{3}{2}$.
688:
689: We have now achieved a method which allows to split integrals of the form of $\tilde I_{{\rm BL}}$ into an 'infrared singular part', behaving non-analytically as $a\rightarrow 0$, and a part showing such behaviour for $b\rightarrow 0$. Note that this decomposition is unique, and that both parts are of a different analyticity character (for fractional $d$), concerning the small parameters $a$ and $b$, respectively. In the next section, we will see how this method can be applied to the scalar loop integral $I_{V\phi}$.
690:
691: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
692: \section{Corrected infrared singular part}
693: \setcounter{equation}{0}
694: \label{sec:IRcorr}
695: The integral we need for the calculation of $I_{V\phi}$ is
696: \begin{displaymath}
697: I = \int_{0}^{1}dz\ (b(z-x_{1})(z-x_{2}))^{\frac{d}{2}-2}.
698: \end{displaymath}
699: Extracting a factor
700: \begin{displaymath}
701: (-bx_{2})^{\frac{d}{2}-2} = (1-(a+b)+\ldots)^{\frac{d}{2}-2}~,
702: \end{displaymath}
703: from the integral, which is expandable in $a$ and $b$, the remainder is of the form of $\tilde I$ treated in the last section, because $x_{1}$ and $x_{2}^{-1}$ are small parameters of $O(p^{2})$ :
704: \begin{displaymath}
705: I = (-bx_{2})^{\frac{d}{2}-2}\tilde I'
706: \end{displaymath}
707: where
708: \begin{displaymath}
709: \tilde I' = \int_{0}^{1}dz\ (z+(-x_{1}))^{\frac{d}{2}-2}(1+(-x_{2})^{-1}z)^{\frac{d}{2}-2}.
710: \end{displaymath}
711: Doing the appropriate substitutions in Eq.(\ref{Itb}), the infrared singular part of $I$ becomes
712: \begin{equation}
713: I_{{\rm IR}}= x_{1}+\epsilon x_{1}-\frac{\epsilon}{2}x_{1}\ln(a)-\frac{\epsilon}{2}(x_{1}-x_{2})\ln\biggl(1-\frac{x_{1}}{x_{2}}\biggr),
714: \end{equation}
715: where we have used $a=bx_{1}x_{2}$.
716: For completeness, we also rewrite the '$b$-singular part':
717: \begin{eqnarray}
718: I_{{\rm b}} &=& \frac{x_{2}-x_{1}}{2}-\frac{\epsilon}{4}(x_{2}-x_{1})\ln(bx_{2}^{2})
719: \nonumber \\
720: &+& \frac{\epsilon}{2}(x_{2}-x_{1})\biggl(1-\ln\biggl(1-\frac{x_{1}}{x_{2}}\biggr)\biggr).
721: \end{eqnarray}
722: As a check, we add it to the infrared singular part:
723: \begin{equation}
724: I_{{\rm IR}}+I_{{\rm b}}=z_{0}\biggl(1+\epsilon-\frac{\epsilon}{2}\ln(a)\biggr)-\frac{\epsilon}{4}(x_{1}-x_{2})\ln\biggl(\frac{x_{1}}{x_{2}}\biggr).
725: \end{equation}
726: Here we have used the notation
727: \begin{displaymath}
728: z_{0} = \frac{x_{1}+x_{2}}{2}
729: \end{displaymath}
730: as in Ref.~ \cite{BL}. Again, the sum of the '$a$-singular part' and the '$b$-singular part' is the result for the integral
731: \begin{displaymath}
732: \int_{0}^{\infty}dz (b(z-x_{1})(z-x_{2}))^{-\frac{\epsilon}{2}}
733: \end{displaymath}
734: when computing it utilizing standard IR.
735: But the correct infrared singular part for our case is only a certain part of it, namely, $I_{{\rm IR}}$.
736:
737: The part which must be split off here, $I_{{\rm b}}$, vanishes if
738: \begin{displaymath}
739: x_{1}=x_{2} \Rightarrow (b+a-1)^{2}-4ab = 0 ,
740: \end{displaymath}
741: (see Eq.(\ref{zeros})), which is the case for
742: \begin{displaymath}
743: q^{2} = (M_{V}\pm M_{\phi})^{2} \equiv q^{2}_{\pm} .
744: \end{displaymath}
745: We cannot trust our procedure for $q^{2} > M_{V}^{2}$. Therefore the value $q^{2}_{-}$ should be considered as the point where the standard infrared singular part of \cite{BL} and the representation given here, i.e. $I_{{\rm IR}}$, can be joined together.
746:
747: We emphasize that the kind of argument we have given here is completely in the spirit of the method of Becher and Leutwyler, in that we examined the analyticity properties of the parameter integrals for a general dimension parameter $d$.
748:
749: The calculation of the infrared singular part of the scalar loop integral $I_{V\phi}$ can now be completed:
750: \begin{eqnarray}
751: I_{V\phi}^{{\rm IR}} &=& -\frac{M_{V}^{d-4}}{(4\pi)^{\frac{d}{2}}}
752: \Gamma\left(2-\frac{d}{2}\right) \, I_{{\rm IR}}
753: \nonumber\\
754: &=& 2x_{1}\lambda -\frac{1}{16\pi^{2}}\biggl(x_{1}-x_{1}\ln(a)\nonumber \\
755: && -(x_{1}-x_{2})\ln\biggl(1-\frac{x_{1}}{x_{2}}\biggr)\biggr) .
756: \label{IVphiIR}
757: \end{eqnarray}
758: Terms of $O(\epsilon)$ have been omitted. We claim that the difference
759: \begin{displaymath}
760: R' \equiv I_{V\phi}-I_{V\phi}^{{\rm IR}}
761: \end{displaymath}
762: is the appropriate regular part. This means that it is expandable in the small parameters $a$ and $b$ around zero. The proof consists of two observations:
763:
764: 1) Both $I_{V\phi}$ and $I_{V\phi}^{{\rm IR}}$ contain the same terms non-analytic in $a$, namely,
765: \begin{displaymath}
766: \frac{1}{16\pi^{2}}x_{1}\ln(a) .
767: \end{displaymath}
768: The difference is therefore expandable in $a$.
769:
770: 2) $I_{V\phi}$ was expandable in $b$ from the start, whereas $I_{V\phi}^{{\rm IR}}$ is expandable in $b$ {\em by construction}. Therefore the difference is of course also expandable in $b$.
771:
772: Moreover, $R'$ is unique, because we extracted exactly the part of $I_{V\phi}$ proportional to fractional powers of $a$ for fractional dimension parameter $d$. We conclude that $R'$ is a well-defined regular part, and that it can be absorbed in a renormalization of the LECs of the effective Lagrangian.
773:
774: We add the remark that the expansion of Eq.(\ref{IVphiIR}) is reproduced by
775: using the procedure of \cite{Tang}, i.e. expanding the 'hard pole structure'
776: and interchanging summation and integration. We have checked this
777: to order $O(p^{8})$, but a formal proof that it will give the same
778: result to {\em all} orders is still missing. It seems that both procedures are
779: indeed consistent (remember, however, the remarks made at the end of
780: Sect.~\ref{sec:softhard}). This means that the 'low-energy-portion' of loop integrals is,
781: in this sense, unambiguous.
782: This result is not really surprising: From the arguments of
783: Sect.~\ref{sec:softhard}, it is seen that an integral like
784: $I_{{\rm soft}}$ (see eq.(\ref{soft})) is a pure 'soft pole' integral,
785: i.e. only involving the pole structure associated with the Goldstone boson
786: propagator, and thus having no regular part, while an integral like
787: $I_{{\rm hard}}$ is regular in the Goldstone boson mass, and does not contain
788: fractional powers of $M_{\phi}$ for any choice of the dimension parameter $d$.
789:
790:
791: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
792: \section{Goldstone boson self-energy}
793: \setcounter{equation}{0}
794: \label{sec:self1}
795: We are now ready to compute the vector meson contribution of the Goldstone boson self-energy.
796: We consider first the novel type of diagrams where the heavy mass line appears in the loop,
797: see Fig.~\ref{fig:self}b.
798: %\begin{figure}
799: %\vspace{4cm}
800: %\caption{Self-energy contribution. Dashed lines: Goldstone bosons, double line: vector meson}
801: %\end{figure}
802: We get for this amplitude
803: \begin{equation}
804: \frac{12iG_{V}^{2}}{F^{4}}\delta^{ab} I_{\Sigma} \ ,
805: \end{equation}
806: using the notation
807: \begin{equation}\label{Isigma}
808: I_{\Sigma}(q) = i\int \frac{d^{d}k}{(2\pi)^{d}}\frac{q^{2}k^{2}-(q\cdot k)^{2}}{(k^{2}-M_{V}^{2}+i\epsilon)((k-q)^{2}-M_{\phi}^{2}+i\epsilon)} .
809: \end{equation}
810: This integral may be decomposed in a linear combination of scalar loop integrals by standard techniques:
811: \begin{equation}\label{Isigmad}
812: I_{\Sigma}= c_{\phi}I_{\phi}+c_{V}I_{V}+c_{V\phi}I_{V\phi},
813: \end{equation}
814: where the coefficients $c_{i}$ are given by
815: \begin{eqnarray}
816: c_{\phi} &=& \frac{q^{2}+M_{\phi}^{2}-M_{V}^{2}}{4},\nonumber\\
817: c_{V} &=& \frac{q^{2}-M_{\phi}^{2}+M_{V}^{2}}{4},\nonumber \\
818: c_{V\phi} &=&\frac{4q^{2}M_{V}^{2}-(q^{2}-M_{\phi}^{2}+M_{V}^{2})^{2}}{4},
819: \end{eqnarray}
820: while the scalar loop integrals are defined as
821: \begin{eqnarray}\label{Iphi}
822: I_{\phi}=&i\int \frac{d^{d}k}{(2\pi)^{d}}\frac{1}{k^{2}-M_{\phi}^{2}+i\epsilon} =& 2M_{\phi}^{2}\lambda + \frac{M_{\phi}^{2}}{16\pi^{2}}\ln(a), \\ I_{V} =& i\int \frac{d^{d}k}{(2\pi)^{d}}\frac{1}{k^{2}-M_{V}^{2}+i\epsilon} =& 2M_{V}^{2}\lambda , \label{IV}
823: \end{eqnarray}
824: and the scalar loop integral $I_{V\phi}$ is defined in Eq.(\ref{IVphidef}).
825: We repeat the remark that we use $\mu = M_{V}$ for the renormalization scale.
826:
827: What power would we like to have for this self-energy amplitude ? We have one loop integration, two vertices of order $O(p^{2})$ and one Goldstone boson propagator. The vector meson propagator is counted as $O(1)$ here, since the vector meson line is not connected to any external heavy particle lines. So we end up with the 'expected' power
828: \begin{displaymath}
829: D(\Sigma) = 4 + 2\times2 - (2 + 0) = 6~,
830: \end{displaymath}
831: using Eq.(\ref{chiraldim}).
832: The word 'expected' was used from a naive point of view, because we are already sophisticated enough to expect that the 'hard pole structure' associated with the vector meson propagator will give the loop integral a high energy contribution that spoils the power counting.
833:
834: Indeed, using the decomposition in scalar loop integrals and the expansions of the variables $x_{1}$ and $x_{2}$ given in eq.(3.10) and (3.11), respectively, it is straightforward to see that $I_{\Sigma}$ contains the following terms which violate the power counting:
835: \begin{displaymath}
836: I_{\Sigma}= \frac{1}{4}M_{V}^{4}\biggl(\lambda(6b-2b^{2}+6ab)+\frac{1}{16\pi^{2}}\biggl(\frac{b}{2}+\frac{ab}{2}-\frac{5}{6}b^{2}\biggr)\biggr) + \ldots,
837: \end{displaymath}
838: where the dots stand for terms satisfying the power counting, i.e. they are of order $O(p^{6})$ or higher.
839:
840: To find the 'infrared singular part' of $I_{\Sigma}$, it is sufficient to find the infrared singular part of each of the scalar loop integrals. This is because the coefficients $c_{i}$ do not contain any fractional powers of $M_{\phi}$ for any dimension parameter $d$.
841:
842: The infrared singular part of $I_{V\phi}$ has been computed in the last section. The integrand of $I_{V}$ is a pure hard pole structure without any dependence on a small parameter like $a$ or $b$, and will therefore not have an infrared singular part. Finally, the integral $I_{\phi}$ is proportional to a fractional power of $M_{\phi}$, as a direct calculation using dimensional regularization shows, so it has no regular part (it does not contain a hard pole structure which could be expanded).
843: The 'infrared regularized' self-energy amplitude is thus
844: \begin{equation}
845: I_{\Sigma}^{{\rm IR}}= \frac{12iG_{V}^{2}}{F^{4}}\delta^{ab}(c_{\phi}I_{\phi} + c_{V\phi}I_{V\phi}^{{\rm IR}}),
846: \end{equation}
847: where $I_{V\phi}^{{\rm IR}}$ is given in eq.(\ref{IVphiIR}).
848: Using the expansions of the $x_{i}$ and $\ln(1-y) = -y - {y^{2}}/{2} - \ldots$
849: ($|y| \ < 1$),
850: it can easily be checked that the 'infrared regularized' amplitude obeys power counting.
851:
852: Before we go on and apply our modified version of infrared regularization to other graphs, we want to mention one more thing. Using the vector field approach, cf.
853: App.~\ref{app:vec}, the self-energy graph leads to the expression
854: \begin{displaymath}
855: \frac{12iG_{V}^{2}}{M_{V}^{2}F^{4}}\delta^{ab}I'_{\Sigma}\ ,
856: \end{displaymath}
857: where now
858: \begin{displaymath}
859: I'_{\Sigma} = i\int \frac{d^{d}k}{(2\pi)^{d}}\frac{k^{2}(k^{2}q^{2}-(k\cdot q)^{2})}{(k^{2}-M_{V}^{2}+i\epsilon)((k-q)^{2}-M_{\phi}^{2}+i\epsilon)}.
860: \end{displaymath}
861: Subtracting the amplitude computed in the vector field approach from the amplitude computed in the tensor field approach, we get
862: \begin{eqnarray*}
863: &&A(W)-A(V) =\frac{12iG_{V}^{2}}{M_{V}^{2}F^{4}}\delta^{ab}i \nonumber\\
864: &&\times
865: \int \frac{d^{d}k}{(2\pi)^{d}}\frac{(M_{V}^{2}-k^{2})(k^{2}q^{2}-(k\cdot q)^{2})}{(k^{2}-M_{V}^{2}+i\epsilon)((k-q)^{2}-M_{\phi}^{2}+i\epsilon)}\\ &&= \frac{12G_{V}^{2}}{M_{V}^{2}F^{4}}\delta^{ab}\int \frac{d^{d}k}{(2\pi)^{d}}\frac{k^{2}q^{2}-(k\cdot q)^{2}}{(k-q)^{2}-M_{\phi}^{2}+i\epsilon}
866: \end{eqnarray*}
867: But this is the same result as one would get for a self-energy diagram where the vector meson line is replaced by a contact term interaction
868: \begin{displaymath}
869: \frac{G_{V}^{2}}{8M_{V}^{2}}\langle [u_{\mu},u_{\nu}][u^{\mu},u^{\nu}]\rangle,
870: \end{displaymath}
871: leading to a four-$\phi$ interaction
872: \begin{displaymath}
873: -\frac{G_{V}^{2}}{M_{V}^{2}F^{4}}f^{abk}f^{cdk}\partial_{\mu}\phi^{a}\partial_{\nu}\phi^{b}\partial^{\mu}\phi^{c}\partial^{\nu}\phi^{d} .
874: \end{displaymath}
875: This confirms the 'duality' between the vector and the tensor field approach \cite{Eck}.
876: Note that this result does not depend on the regularization scheme -
877: it was derived without even computing the integrals. Since the difference of the
878: amplitudes is a pure 'soft pole' Goldstone boson loop diagram, we see that
879: the 'hard part' (i.e. the regular part) is representation independent.
880: In particular, both descriptions produce the same power counting violating terms.
881:
882:
883: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
884: \section{Triangle graph}
885: \setcounter{equation}{0}
886: \label{sec:tria}
887:
888: There is one more one-loop diagram of $O(p^{6})$ where the vector meson line
889: shows up as a loop line: the triangle diagram of Fig.~\ref{fig:tri}.
890: %The vertex on top is just the interaction due to the covariant derivatives in $L^{(2)}_{{\rm eff}}$,
891: %while the other two vertices follow from the interaction proportional to $G_{V}$.
892: \begin{figure}[htb]
893: \centerline{\psfig{file=tri.eps,height=2.1cm}}
894: \caption{Triangle graph as it contributes e.g. to the pion vector form factor.
895: Solid, dashed and wiggly lines denote vector mesons (heavy particles),
896: Goldstone bosons and external sources (fields), respectively.
897: \label{fig:tri}}
898: \end{figure}
899: \noindent
900: One gets the following expression for the triangle graph:
901: \begin{equation}
902: {\mathcal A}_\Delta
903: = \frac{6G_{V}^{2}}{F^{4}}\biggl(f^{ab3}+\frac{1}{\sqrt{3}}f^{ab8}\biggr)I_{\Delta}^{\tau},
904: \end{equation}
905: where the integral is
906: \begin{eqnarray}
907: && -i \, I_{\Delta}^{\tau}(p,p+k)= \int \frac{d^{d}q}{(2\pi)^{d}} \nonumber\\
908: &&\times\frac{((2p+k) - 2q)^{\tau}
909: (p\cdot (p+k)q^{2}-(p\cdot q)((p+k)\cdot q))}{(q^{2}-M_{V}^{2})((q-p)^{2}-M_{\phi}^{2})
910: ((q-p-k)^{2}-M_{\phi}^{2})}\, . \nonumber \\
911: \end{eqnarray}
912: A decomposition of $I_{\Delta}^{\tau}$ as a linear combination of scalar loop
913: integrals is given in App.~\ref{app:int} (for the Goldstone boson momenta on mass shell).
914: What concerns us here is the question how the infrared singular part of this integral
915: can be obtained. The decomposition in scalar loop integrals contains an
916: integral we have not yet treated, namely
917: \begin{eqnarray}
918: &&I_{V\phi\phi}(p,p+k)\equiv \int \frac{d^{d}q}{(2\pi)^{d}} \nonumber \\
919: %&&\equiv \int \frac{d^{d}q}
920: &&\times \frac{i}{(q^{2}-M_{V}^{2})((q-p)^{2}-M_{\phi}^{2})((q-(p+k))^{2}-M_{\phi}^{2})}~.
921: \nonumber \\ &&
922: \end{eqnarray}
923: Fortunately, it is possible to reduce the problem of finding the infrared singular part of this integral to the case we have already examined. The procedure can in full generality be found in section 6.1 of \cite{BL}. We show how this works in the above example: Introducing one more Feynman parametrization, we write $I_{V\phi\phi}$ as
924: \begin{eqnarray*}
925: &&\int \frac{d^{d}q}{(2\pi)^{d}}\frac{i}{q^{2}-M_{V}^{2}}\int_{0}^{1}dw \times \\&&
926: \frac{\partial}{\partial M_{\phi}^{2}}\frac{1}{(1-w)((q-p)^{2}-M_{\phi}^{2})+w((q-(p+k))^{2}-M_{\phi}^{2})} \\ &&= \int\frac{d^{d}q}{(2\pi)^{d}}\frac{i}{q^{2}-M_{V}^{2}}\int_{0}^{1}dw \times \\
927: &&\frac{\partial}{\partial M_{\phi}^{2}}\frac{1}{(q-(p+wk))^{2}-(M_{\phi}^{2}-k^{2}w(1-w))}.
928: \end{eqnarray*}
929: The momentum integral is now of the form of $I_{V\phi}$, with the operator
930: \begin{equation}
931: \Delta(\ldots) \equiv \int_{0}^{1}dw\ \frac{\partial}{\partial M_{\phi}^{2}}(\ldots)
932: \end{equation}
933: acting on it. We can insert our result for $I_{V\phi}^{{\rm IR}}$, with the substitutions
934: \begin{eqnarray}
935: a = \frac{M_{\phi}^{2}}{M_{V}^{2}} &\rightarrow& \frac{M_{\phi}^{2}-k^{2}w(1-w)}{M_{V}^{2}} = a'~,
936: \\ b=\frac{p^{2}}{M_{V}^{2}} &\rightarrow& \frac{(p+wk)^{2}}{M_{V}^{2}} = b'~.
937: \end{eqnarray}
938: Please note that the external Goldstone boson momentum is now called $p$ instead of $q$.
939: Also note that the new variables $a'$ and $b'$ are also of $O(p^{2})$,
940: which allows to take over the treatment of infrared regularization presented in the foregoing sections.
941:
942: We must show that the operator $\Delta$ does not disturb the properties of infrared singularity
943: and power counting. The 'dangerous' part of this operator is the derivative with
944: respect to $M_{\phi}^{2}$, since it changes the chiral order.
945: It is clear from the above definitions that (for fixed $k^{2}$)
946: \begin{displaymath}
947: M_{V}^{2}\frac{\partial}{\partial M_{\phi}^{2}}= \frac{\partial}{\partial a}
948: = \frac{\partial}{\partial a'} \ .
949: \end{displaymath}
950: We know from the derivation of the infrared singular part that it can be written in the general form
951: \begin{displaymath}
952: I_{V\phi}^{{\rm IR}}(a',b') = (a')^{\frac{d}{2}-1}\sum_{m=0}^{\infty}\sum_{n=0}^{\infty}c_{mn}a'^{m}b'^{n}
953: \end{displaymath}
954: with some numerical coefficients $c_{mn}$ that depend only on the dimension $d$. For $d\rightarrow 4$, this gives the correct order $O(p^{2})$ for $I_{V\phi}^{{\rm IR}}$. Letting the operator $\Delta$ act on this expression, we get
955: \begin{eqnarray}
956: I_{V\phi\phi}^{{\rm IR}} &=& \Delta I_{V\phi}^{{\rm IR}}(a',b') \nonumber\\
957: &=& \int_{0}^{1}dw\ \frac{1}{M_{V}^{2}}\frac{\partial}{\partial a'}
958: \biggl((a')^{\frac{d}{2}-1}\sum_{m=0}^{\infty}
959: \sum_{n=0}^{\infty}c_{mn}a'^{m}b'^{n}\biggr) \nonumber \\
960: &=& \int_{0}^{1}dw\ (a')^{\frac{d}{2}-2}\sum_{m=0}^{\infty}
961: \sum_{n=0}^{\infty}\left(\frac{d}{2}-1+m\right)c_{mn}a'^{m}b'^{n}~.\nonumber \\&&
962: \end{eqnarray}
963: This shows that the expansion of the thus defined infrared singular part of $I_{V\phi\phi}$ starts with $M_{\phi}^{d-4}$, as one expects for such an integral by simple power counting. We learn from the last expression that, in principle, it is sufficient to know the chiral expansion of $I_{V\phi}^{{\rm IR}}$ to arrive at the chiral expansion of $I_{V\phi\phi}^{{\rm IR}}$. The only problem for practical calculations is that the parameter integrals over $w$ are not at all of a simple form, because $a'$,$b'$ and therefore also $x'_{1}$ and $x'_{2}$, defined in analogy to Eq.(3.9), are nontrivial functions of $w$.
964:
965: For $d\rightarrow 4$, $I_{V\phi\phi}^{{\rm IR}}$ is
966: \begin{displaymath}\begin{array}{lll}
967: \int_{0}^{1}dw\ \frac{1}{M_{V}^{2}}\frac{\partial}{\partial a'}\biggl(2x'_{1}\lambda-\frac{1}{16\pi^{2}}\biggl(x'_{1}-x'_{1}\ln(a')\\-(x'_{1}-x'_{2})\ln(1-\frac{x'_{1}}{x'_{2}})\biggr)\biggr)=\\ \int_{0}^{1} \frac{dw}{M_{V}^{2}}\biggl(2y_{1}\lambda-\frac{1}{16\pi^{2}}\biggl(y_{1}-y_{1}\ln(a') \\- \frac{x'_{1}}{a'}-(y_{1}-y_{2})\ln(1-\frac{x'_{1}}{x'_{2}})-\frac{y_{1}x'_{2}-y_{2}x'_{1}}{x'_{2}}\biggr)\biggr),&
968: \end{array} \end{displaymath}
969: where we defined
970: \begin{displaymath}
971: y_{1,2}=\frac{\partial}{\partial a'}x'_{1,2} = \frac{1}{2b'}\biggl(1 \pm \frac{b'-a'-1}{\sqrt{(b'+a'-1)^{2}-4a'b'}}\biggr).
972: \end{displaymath}
973: The singularity structure of $I_{V\phi\phi}$ is richer than the one of $I_{V\phi}$ because by the definition of $a'$, a term like $\ln(a')$ not only contains the infrared singularity for $M_{\phi}\rightarrow 0$, but also a cut for $k^{2}=t > 4M_{\phi}^{2}$, which is associated with the two-Goldstone boson production threshold.
974:
975: The important point is that, having the prescription for $I_{V\phi}$, we can find the infrared singular part of any loop integral where a small momentum of order $O(p)$ flows through the heavy particle line(s) (this is the case we have treated in this paper) or where a nearly on-mass-shell heavy particle is involved (in which case the results of \cite{BL} can be used directly). The principle is now well-understood, but practical calculations will be difficult for complicated diagrams, because one needs a parameter integration for every pair of propagators which are combined to one (parameter-dependent) pole structure. An example for this has been shown in the treatment of $I_{V\phi\phi}$. As another point, the decomposition of a complicated loop integral involving a lot of vertices in a decomposition in scalar loop integrals will be lengthy and complicated. But these are no {\em conceptual} problems any more. The conceptual problem of the power-counting violating terms has been solved by dropping the regular parts of all loop integrals, retaining the infrared singular parts that stem from the region where the loop momentum is $O(p)$. As a further consequence, many diagrams, namely those where the loops are formed of heavy particle lines only, can be dropped from the start because the respective loop integrals will only contain 'hard pole' structures and do not lead to an infrared singular part.
976: Using this scheme, we can proceed and treat all kinds of diagrams where heavy resonances (not only vector mesons) occur in loops, and whose momenta are to be counted as either nearly on-shell or $O(p)$ by the perturbative scheme of power counting. We finally remark
977: that the treatment of the vector meson loop graphs in the analysis of the nucleon
978: electromagnetic form factors performed in \cite{Kubis} is consistent with the procedure
979: we have established.
980:
981: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
982: \section{Vector meson self-energy graph}
983: \setcounter{equation}{0}
984: \label{sec:Vself}
985:
986: In the last section we have considered diagrams where the vector meson
987: shows up as a strongly virtual intermediate state, with a small momentum
988: flowing through the vector meson line. We found the 'infrared singular' part
989: of the corresponding amplitude, and we saw that it was necessary to modify
990: the method
991: of {\cite{BL}}, where all particles in the intermediate state
992: where considered as being close to their respective mass shell.
993: It is now natural to ask: What happens if the 'light' particles
994: (the Goldstone bosons) are far from their mass shell ? In principle,
995: the 'hard momentum part' of the pionic intermediate states has been
996: integrated out in the effective theory. But in analogy to the case of
997: the treatment of the 'heavy' vector meson in the last chapter, it
998: might be useful to take these degrees of freedom into account in a
999: systematic fashion, because in this way one sums up (infinitely many)
1000: higher order graphs. We will encounter such a situation in the following section.
1001:
1002: \subsection{One more case of IR regularization}
1003: \label{subsec:IRmore}
1004: In Fig.~\ref{fig:Vself} we show a graph contributing to the vector meson
1005: self energy. In the case where there is a 'small' ($O(p)$)
1006: momentum flowing through the vector meson line, the corresponding
1007: amplitude would be a homogeneous function of small parameters
1008: (external momentum and quark masses), since the large scale (in this case,
1009: the vector meson mass) does not show up in the loop line propagators
1010: and thus cannot produce a 'hard pole' contribution.
1011: The loop integral is the same as in the Goldstone boson sector,
1012: and therefore has no 'regular part'.
1013: \begin{figure}[htb]
1014: \centerline{\psfig{file=vself.eps,height=1.7cm}}
1015: \caption{The vector meson self-energy diagram with a pure
1016: Goldstone boson loop. Solid (dashed) lines denote
1017: vector mesons (Goldstone bosons).
1018: \label{fig:Vself}}
1019: \end{figure}
1020: \noindent
1021: When computing self-energy contributions, one is usually interested in the
1022: case where the external momentum $P$ is close to the mass shell
1023: of the corresponding particle. This leads to the appearance of the large scale
1024: in the denominator of the integrand of the loop integral, and we expect
1025: a power-counting violating contribution stemming from a 'hard pole' of the
1026: integrand. The integral will develop a regular part in the terminology of
1027: Becher and Leutwyler.
1028:
1029: We start our analysis for the case $P^{2} \gg M_{\phi}^{2}$ with the question:
1030: What is the 'soft part' of a diagram like Fig.4.1? That is, which region of
1031: the loop momentum integration produces the infrared singular part? Obviously,
1032: the case where both Goldstone boson propagators are of $O(p^{-2})$ is
1033: excluded by four-momentum conservation at the two vertices. The region
1034: where both Goldstone boson lines are far from their mass shell is a pure
1035: 'hard-momentum effect' and thus belongs to the 'regular part'. The
1036: soft part can only come from the region of the loop integration where
1037: one line is soft (i.e. it carries an $O(p)$-momentum), and the other
1038: Goldstone boson line carries the large momentum $P$ and is thus far
1039: from its mass shell.
1040:
1041: As an illustration of this argument, let us first try to extract the
1042: 'soft pole contribution' following the method of {\cite{Tang}}.
1043: We examine the scalar loop integral
1044: \begin{equation}\label{Idef}
1045: I = i\int \frac{d^{d}k}{(2\pi)^{d}}\frac{1}{(k^{2}-M_{\phi}^{2})((k-P)^{2}-M_{\phi}^{2})}.
1046: \end{equation}
1047: Following the above reflections and the receipt of {\cite{Tang}},
1048: we treat the momentum of one line as 'soft' and expand the propagator
1049: associated with the other line. Then we interchange integration
1050: and summation of the series, thereby 'destroying the hard pole':
1051: \begin{eqnarray*}
1052: I &\rightarrow& i\int\frac{d^{d}k}{(2\pi)^{d}}\frac{1}{k^{2}-M_{\phi}^{2}}\frac{1}{P^{2}}\sum_{n=0}^{\infty}\frac{(2P\cdot k + M_{\phi}^{2} - k^{2})^{n}}{(P^{2})^{n}}\\ &=& i\int\frac{d^{d}k}{(2\pi)^{d}}\frac{1}{k^{2}-M_{\phi}^{2}}\frac{1}{P^{2}}\sum_{n=0}^{\infty}\frac{(2P\cdot k)^{n}}{(P^{2})^{n}} \\ &\rightarrow& \sum_{n=0}^{\infty} \frac{i}{(P^{2})^{n+1}}\int\frac{d^{d}k}{(2\pi)^{d}}\frac{(2P\cdot k)^{n}}{k^{2}-M_{\phi}^{2}}\\ &=& \frac{1}{2}I_{\rm{soft}}.
1053: \end{eqnarray*}
1054: The factor of $\frac{1}{2}$ appears due to the fact that the full soft
1055: part also includes the part where the other line (with momentum $P-k$)
1056: is considered as 'soft'. Of course this part is equal to the above result
1057: due to the symmetry of the graph. We note further that it is {\em not}
1058: legitimate to resum the series in the above result to get
1059: \begin{eqnarray*}
1060: I' &=& i\int
1061: \frac{d^{d}k}{(2\pi)^{d}}\frac{1}{(k^{2}-M_{\phi}^{2})(P^{2}-2k\cdot P)}
1062: \\ &=& i\int\frac{d^{d}k}{(2\pi)^{d}}\int_{0}^{\infty}dz
1063: \\ &\times&\frac{1}{[(k^{2}-M_{\phi}^{2})(1-z)+z((k-P)^{2}-M_{\phi}^{2})]^{2}}
1064: \\ &=& -i\int\frac{d^{d}k}{(2\pi)^{d}}\int_{1}^{\infty}dz
1065: \\ &\times&\frac{1}{[(k^{2}-M_{\phi}^{2})(1-z)+z((k-P)^{2}-M_{\phi}^{2})]^{2}}.
1066: \end{eqnarray*}
1067: This contains a 'hard pole' contribution and will not satisfy the power
1068: counting scheme, which requires the scalar loop integral to be $O(p^{d-2})$,
1069: because only one Goldstone boson propagator is booked as $O(p^{-2})$, while
1070: the other Goldstone boson must be far off its mass shell (its momentum must
1071: be of the order of $P$ by momentum conservation). To repeat, this power
1072: counting is strictly valid only for the 'soft pole' part of the integral,
1073: which we have identified as $I_{\rm soft}$.
1074:
1075: The alert reader will note that the result $I_{\rm soft}$ corresponds
1076: to a series of tadpole graphs, involving only one Goldstone boson propagator.
1077: This can of course not be the whole story, because the amplitude of
1078: Fig.~\ref{fig:Vself} has an imaginary part due to the production of two
1079: Goldstone bosons in the intermediate state, while the tadpole sum does
1080: not have such an imaginary part. In order to take only $I_{\rm soft}$ as
1081: the regularized amplitude, one would have to write complex coefficients
1082: in the effective Lagrangian, which we do not want. A direct calculation
1083: of the full scalar loop integral shows that the imaginary part does not
1084: satisfy the power counting mentioned above. This is related to the fact
1085: that for large $P^{2}$ of the heavy external particle, the Goldstone
1086: bosons produced in the decay of this particle are not to be considered
1087: as 'soft'. Below the threshold, we have $P^{2}< 4M_{\phi}^{2}$, so $P^{2}$
1088: can not be considered as being very large compared to the
1089: scale $M_{\phi}^{2}$ in that region, and we would have to take the
1090: full integral $I$ as the soft part, and not $I_{\rm soft}$.
1091: This phenomenon of the 'missing imaginary part' is consistent with
1092: the findings of Ref.\cite{bijnens}, where this was noted using the
1093: Heavy Vector Meson approach. We will not discuss this
1094: further at this point and turn to the scheme of infrared regularization.
1095: Doing the usual steps, we obtain
1096: \begin{equation}
1097: I = -\frac{\Gamma(2-\frac{d}{2})}{(4\pi)^{\frac{d}{2}}}(P^{2})^{\frac{d}{2}-2}
1098: \int_{0}^{1}dz (D(z))^{\frac{d}{2}-2},
1099: \end{equation}
1100: where
1101: \begin{equation}
1102: D(z) = z^{2}-z+\frac{M_{\phi}^{2}}{P^{2}} .
1103: \end{equation}
1104: Motivated by the remarks made in the last paragraph, we will consider the
1105: case that $P^{2}> 4M_{\phi}^{2}$. This is fulfilled for the case we are
1106: interested in, where $P^{2}$ is close to the physical vector meson mass
1107: squared, and $M_{\phi}$ is the mass of the particles we consider as Goldstone bosons.
1108:
1109: Obviously, fractional powers of $M_{\phi}$ are produced in the parameter regions where
1110: \begin{displaymath}
1111: z^{2}-z = 0 \Rightarrow z=0 \ {\rm or}\ z=1,
1112: \end{displaymath}
1113: corresponding to the fact that either one or the other Goldstone boson
1114: line in the loop carries soft momentum. In accord with the procedure of
1115: Sect.~\ref{sec:IRnew} (cf. Eq.~(\ref{zeros})), we introduce the zeroes of $D(z)$,
1116: \begin{eqnarray}
1117: d_{1,2} &=& \frac{1}{2}(1 \mp \sigma), \nonumber \\
1118: \sigma &=& \sqrt{1-\frac{4M_{\phi}^{2}}{P^{2}}}~.
1119: \end{eqnarray}
1120: Note that $\sigma \in \mathbf{R}$ and
1121: \begin{displaymath}
1122: 0 < d_{2}-d_{1} = \sigma \leq 1 .
1123: \end{displaymath}
1124: We can simplify our analysis by 'folding' the parameter interval
1125: symmetrically,\begin{displaymath}
1126: \int_{0}^{1}dz (D(z))^{\frac{d}{2}-2} = 2\int_{0}^{\frac{1}{2}}dz
1127: (D(z))^{\frac{d}{2}-2},
1128: \end{displaymath}
1129: allowing us to expand the pole due to the zero $d_{2}>\frac{1}{2}$ :
1130: \begin{eqnarray*}
1131: &&\int_{0}^{1}dz (D(z))^{\frac{d}{2}-2} = \int_{0}^{1}dz
1132: (z-d_{1})^{\frac{d}{2}-2}(z-d_{2})^{\frac{d}{2}-2} \\ &=&
1133: 2\sum_{m=0}^{\infty}(-d_{2})^{\frac{d}{2}-2-m}\frac{1}{m!}\frac{\Gamma(\frac{d}{2}-1)}{\Gamma(\frac{d}{2}-1-m)}\\
1134: &&\qquad\times\int_{0}^{\frac{1}{2}}(z-d_{1})^{\frac{d}{2}-2}z^{m} dz .
1135: \end{eqnarray*}
1136: We did not yet change the value of the parameter integral.
1137: To find the 'infrared singular' part of the parameter integral
1138: in the last line, we note that $d_{1}$ is proportional to $M_{\phi}^{2}$
1139: and of $O(p^{2})$, and shift the integration variable to write
1140: \begin{eqnarray*}
1141: \int_{0}^{\frac{1}{2}}(z-d_{1})^{\frac{d}{2}-2}z^{m}dz &=&
1142: \int_{-d_{1}}^{0} z^{\frac{d}{2}-2}(z+d_{1})^{m}dz \ \\
1143: &+& \ \int_{0}^{\frac{1}{2}-d_{1}} z^{\frac{d}{2}-2}(z+d_{1})^{m}dz .
1144: \end{eqnarray*}
1145: Terms proportional to $d_{1}^{\frac{d}{2}}$ will only be produced
1146: by the first term on the right-hand side (remember $m\in \mathbf{N}$).
1147: Scaling the variable of integration with $d_{1}$, it takes the form
1148: \begin{eqnarray*}
1149: &&\int_{-d_{1}}^{0}z^{\frac{d}{2}-2}(z+d_{1})^{m}dz \\
1150: &=&
1151: (-1)^{m+1}(-d_{1})^{\frac{d}{2}-1+m}\int_{0}^{1}t^{\frac{d}{2}-2}(1-t)^{m}dt
1152: \\ &=& (-1)^{m+1}(-d_{1})^{\frac{d}{2}-1+m}\frac{\Gamma(\frac{d}{2}-1)\Gamma(m+1)}{\Gamma(\frac{d}{2}+m)},
1153: \end{eqnarray*}
1154: where we substituted $z = -td_{1}$.
1155:
1156: The 'infrared singular part' of $I$ is thus
1157: \begin{eqnarray}
1158: &&I_{\rm{IR}} =
1159: -\frac{2\Gamma(2-\frac{d}{2})(P^{2})^{\frac{d}{2}-2}}{(4\pi)^{\frac{d}{2}}}
1160: \\&&\times
1161: \sum_{m=0}^{\infty}\frac{(-1)^{m}(d_{1})^{\frac{d}{2}-1+m}(d_{2})^{\frac{d}{2}-2-m}(\Gamma(\frac{d}{2}-1))^{2}}{\Gamma(\frac{d}{2}-1-m)\Gamma(\frac{d}{2}+m)} \, .\nonumber
1162: \end{eqnarray}
1163: This expansion starts with $d_{1}^{\frac{d}{2}-1} \sim M_{\phi}^{d-2}$ and obeys low-energy power counting. The series could be summed up, but this is not necessary. Reviewing what we have done so far, it becomes clear that we have just selected a certain range of integration which produces the fractional powers of $M_{\phi}$. This step may be symbolized by
1164: \begin{eqnarray}
1165: I &=& \int_{0}^{1}dz (\ldots) \rightarrow \int_{0}^{d_{1}}dz (\ldots)
1166: + \int_{d_{2}}^{1}dz (\ldots)\nonumber\\
1167: & =& 2\int_{0}^{d_{1}}dz (\ldots) = I_{\rm{IR}}.
1168: \end{eqnarray}
1169: Applying this to $I$ with $d=4-\epsilon$, we find
1170: \begin{equation}\label{VselfIR}
1171: I_{\rm{IR}}= 4d_{1}\lambda+\frac{1}{16\pi^{2}}\biggl(-2d_{1}+\ln(a)+\sigma\ln\biggl(\frac{1+\sigma}{1-\sigma}\biggr)-2\sigma\ln(\sigma)\biggr),
1172: \end{equation}
1173: while the 'regular part' is
1174: \begin{equation}\label{VselfR}
1175: I-I_{\rm{IR}}= (2-4d_{1})\lambda +\frac{1}{16\pi^{2}}\biggl(-(1-2d_{1})+2\sigma\ln(\sigma)-i\pi\sigma\biggr),
1176: \end{equation}
1177: which is indeed expandable in $M_{\phi}^{2}$ for $P^{2}>4M_{\phi}^{2}$. We have again used $M_{V}$ for the renormalization scale, and the variable $a$ defined in
1178: Eq.~({\ref{abdef}).
1179:
1180: It may be checked by expanding $d_{1}$ and $\sigma$ in powers of $M_{\phi}^{2}$ that the infrared singular part indeed satisfies the power counting rules, and also that
1181: \begin{displaymath}
1182: I_{\rm{IR}} = I_{\rm{soft}}.
1183: \end{displaymath}
1184: We have already remarked in the last chapter that the low-energy part of a loop integral is unambiguously defined in this sense.
1185:
1186: The imaginary part of the scalar loop integral $I$ is
1187: \begin{displaymath}
1188: \frac{-i\sigma}{16\pi},
1189: \end{displaymath}
1190: whose chiral expansion starts $O(1)$ and therefore does not obey the power counting rules. But it cannot be subtracted from the full amplitude since it is not real. The corresponding width of the vector meson due to its possible decay into a pair of Goldstone bosons cannot simply be neglected. In principle, one should give the denominator of the vector meson propagator an imaginary part to deal with this fact.
1191:
1192: The result of Eq.~(\ref{VselfIR}) is valid above the two-Goldstone-boson threshold. At
1193: $P^{2}=4M_{\phi}^{2}$, the 'regular part', Eq.~(\ref{VselfR}), vanishes, and remains
1194: zero below the threshold, since as we remarked above the integral $I$ then has
1195: no regular part and is completely 'infrared singular'. The two representations
1196: for the infrared singular part, valid for different ranges of the parameter
1197: $P^{2}$, may be `joined together' at the threshold singularity. A similar
1198: thing happened in the last chapter for the two representations of the infrared
1199: singular part of the scalar loop integral $I_{V\phi}$.
1200:
1201:
1202: \subsection{Application to the self-energy}
1203: The major problem in finding the 'soft part' of the amplitude of
1204: Fig.~\ref{fig:Vself}
1205: has been solved in the last paragraph. For the full expression, we need
1206: to add some vertex structure from the local effective Lagrangian.
1207: We choose to work with the interaction Lagrangian of Eq.~(\ref{Wint}) and
1208: refrain from constructing interaction terms with a higher number of
1209: derivatives, though not all momenta in the present problem can be
1210: considered as 'soft'. Since the coupling constant $G_{V}$ may be
1211: measured from $\rho$--meson decay, where the Goldstone bosons are also
1212: not of soft momentum, this can be seen as a valid approximation.
1213: Applying the usual Feynman rules, we obtain
1214: \begin{eqnarray}
1215: &&(-i)\Sigma_{V}^{\mu\nu,\rho\sigma} = \frac{1}{2}\frac{G_{V}^{2}}{F^{4}}
1216: f^{abc}f^{bad} \qquad\nonumber \\
1217: &&\times \int\frac{d^{d}k}{(2\pi)^{d}}\frac{(k^{\mu}P^{\nu}
1218: -k^{\nu}P^{\mu})(P^{\rho}k^{\sigma}-P^{\sigma}k^{\rho})}
1219: {(k^{2}-M_{\phi}^{2})((k-P)^{2}-M_{\phi}^{2})}.
1220: \label{Sigint}
1221: \end{eqnarray}
1222: Before further evaluating this, we have to discuss the
1223: power counting. The vertices are both of
1224: the order $O(p)$, since only one momentum in the product $k\cdot P$
1225: is a small momentum in the sense of the power counting scheme.
1226: Remembering the discussion of the last paragraph, we want the amplitude
1227: to be of 'chiral order' $d+1+1-2 = d$. We will see that the infrared
1228: regularized amplitude will indeed respect this power counting. Using
1229: the tensor integral of App.~\ref{app:int}, we get
1230: \begin{eqnarray}
1231: &&\Sigma_{V}^{\mu\nu,\rho\sigma} = \\
1232: &&\frac{3G_{V}^{2}}{2F^{4}}
1233: \delta^{cd}P^{\mu\nu,\rho\sigma}\frac{1}{d-1}\biggl(\frac{1}{2}
1234: I_{\phi}+\frac{1}{4}(4M_{\phi}^{2}-P^{2})I\biggr)~. \nonumber
1235: \end{eqnarray}
1236: Here $I$ is the scalar loop integral of Eq.~(\ref{Idef}), and we defined
1237: \begin{equation}\label{P}
1238: P^{\mu\nu,\rho\sigma} = g^{\mu\rho}P^{\nu}P^{\sigma}-g^{\mu\sigma}
1239: P^{\nu}P^{\rho} - (\mu \leftrightarrow \nu)~.
1240: \end{equation}
1241: The infrared regularized amplitude is obtained from (\ref{Sigint}) by simply
1242: letting $I \rightarrow I_{\rm{IR}}$. The infrared part $I_{\rm{IR}}$
1243: was of $O(p^{d-2})$. In order to check that the terms of $O(p^{d-2})$
1244: cancel in the soft part of (\ref{Sigint}), it is easiest to use that the first
1245: term in the chiral expansion of $I_{\rm{IR}}$ is also the first term
1246: of the series for $I_{\rm{soft}}$, which was given in
1247: Sect.~\ref{subsec:IRmore}:
1248: \begin{displaymath}
1249: I_{\rm{soft}} = \frac{2}{P^{2}}I_{\phi} + \ldots
1250: \end{displaymath}
1251: Inserting this in $(-i)\Sigma_{V,\rm{IR}}^{\mu\nu,\rho\sigma}$, that is the
1252: infrared part of Eq.~(\ref{Sigint}), it is clearly seen that the infrared part
1253: of the amplitude is indeed of order $O(p^{d})$, as required by
1254: low-energy power counting.
1255:
1256: \subsection{Contributions to the Vector Meson Mass}
1257: First we introduce some notation. We define
1258: \begin{equation}
1259: \mathbf{1} \equiv \mathbf{1}^{\mu\nu,\rho\sigma} =
1260: \frac{1}{2}(g^{\mu\rho}g^{\nu\sigma}-g^{\mu\sigma}g^{\nu\rho}).
1261: \end{equation}
1262: Furthermore, we write
1263: \begin{displaymath}
1264: \mathbf{P} \equiv P^{\mu\nu,\rho\sigma},
1265: \end{displaymath}
1266: see Eq~(\ref{P}). It is easy to calculate
1267: \begin{eqnarray*}
1268: \mathbf{1}\cdot \mathbf{1} &=& \mathbf{1}~,~~
1269: \mathbf{1}\cdot \mathbf{P} = \mathbf{P}~, \\
1270: \mathbf{P}\cdot \mathbf{1} &=& \mathbf{P}~,~~
1271: \mathbf{P}\cdot \mathbf{P} = 2P^{2}\mathbf{P}~ ,
1272: \end{eqnarray*}
1273: where the multiplication works as e.g.
1274: \begin{displaymath}
1275: \mathbf{1}_{\mu\nu,\alpha\beta}\cdot\mathbf{P}^{\alpha\beta,\rho\sigma}
1276: = \mathbf{P}_{\mu\nu}^{\rho\sigma}.
1277: \end{displaymath}
1278: The tensor field propagator may then be written
1279: \begin{equation}
1280: \mathbf{D} = \frac{i}{M_{V}^{2}}\biggl(2\mathbf{1}
1281: +\frac{\mathbf{P}}{M_{V}^{2}-P^{2}}\biggr),
1282: \end{equation}
1283: while its inverse (in the sense of the above multiplication) is
1284: \begin{equation}
1285: \mathbf{D}^{-1} = \frac{1}{i}\biggl(\frac{M_{V}^{2}}{2}\mathbf{1}
1286: - \frac{1}{4}\mathbf{P}\biggr).
1287: \end{equation}
1288: The one-particle irreducible self-energy amplitude may be parametrized as
1289: \begin{equation}
1290: \mathbf{\Sigma} = \frac{M_{V}^{2}}{2}A\mathbf{1}-\frac{B}{4}\mathbf{P}~.
1291: \end{equation}
1292: where $A$ and $B$ are scalar functions of $P^{2}$ and the meson masses.
1293:
1294: The procedure is now standard: Summing over the number of self-energy
1295: insertions, we find that the full propagator
1296: \begin{displaymath}
1297: \mathbf{D}_{\rm full}
1298: = \mathbf{D} + \mathbf{D}(-i)\mathbf{\Sigma}\mathbf{D} + \ldots
1299: \end{displaymath}
1300: is given by
1301: \begin{eqnarray}\label{propfull}
1302: \mathbf{D}_{\rm full} &=& (\mathbf{D}^{-1}+i\mathbf{\Sigma})^{-1}
1303: \\
1304: &=& \frac{i}{M_{V}^{2}(1-A)}\left(2\mathbf{1}
1305: +\frac{\mathbf{P}}{M_{V}^{2}\biggl(\frac{1-A}{1-B}\biggr)-P^{2}}\right)~.
1306: \nonumber
1307: \end{eqnarray}
1308: We have to look for the poles of this expression. Since $A$ is a
1309: small perturbation of $O(p^{2})$, the only pole will be at
1310: \begin{equation}
1311: P^{2} = M_{V}^{2}\biggl(\frac{1-A}{1-B}\biggr)= M_{V,{\rm ph}}^{2}~,
1312: \end{equation}
1313: with $ M_{V,{\rm ph}}$ the physical mass of the vector meson.
1314: Before we use this formula to compute the contribution of
1315: Fig.~\ref{fig:Vself} to the vector meson mass,
1316: let us make a very rough estimate of the
1317: expected size of the contribution. The most general effective
1318: Lagrangian for the tensor field contains a term
1319: \begin{displaymath}
1320: c\langle W_{\mu\nu}W^{\mu\nu}\chi_{+}\rangle,
1321: \end{displaymath}
1322: yielding, among other terms, a contact term contribution of $O(p^{2})$,
1323: which gives rise to a shift of the propagator pole:
1324: \begin{displaymath}
1325: M_{V}^{2}\rightarrow M_{V}^{2} + 8cM_{\phi}^{2}~.
1326: \end{displaymath}
1327: Since the coupling constant $c$ is not known, for the purpose of our
1328: estimate we make a naturalness assumption concerning this coupling,
1329: and set $c=1$, which gives us a value of 100 MeV for the mass shift.
1330: If power counting is a consistent perturbative scheme here, we would
1331: expect for an $O(p^{4})$ correction a number of size of roughly
1332: $(M_{\phi}^{2}/M_{V}^{2})~(100~ \rm{MeV}) \sim 3\,{\rm MeV}$
1333: (for the pion contribution).
1334: Now let us compare this estimate with the
1335: (infrared regularized) amplitude corresponding to Fig.~\ref{fig:Vself}.
1336: It will contribute to $B$, defined above, with
1337: \begin{eqnarray}
1338: B_{V} &=& -\frac{6G_{V}^{2}}{F^{4}}\biggl(\frac{1}{6}I_{\phi}
1339: +\frac{4M_{\phi}^{2}-M_{V}^{2}}{12}I_{\rm{IR}}\nonumber \\
1340: &+& \frac{1}{144\pi^{2}}(d_{1}M_{V}^{2}-(1+4d_{1})M_{\phi}^{2})\biggr),
1341: \end{eqnarray}
1342: giving a mass shift of $1.2\,$MeV, which is really only a small correction,
1343: and also of the size expected by the (very rough) estimate made above.
1344: If we had used the full (real part of) the integral $I$, we would get a
1345: result that is comparable to a correction of $O(p^{2})$ (of course,
1346: there {\em{are}} such terms of $O(p^{2})$ in the full integral, i.e.
1347: the power-counting violating terms). We conclude that the main effect
1348: of the graph of Fig.~\ref{fig:Vself} (at the physical pion mass)
1349: is due to the imaginary part of this diagram,
1350: associated with the width of the vector meson propagator.
1351:
1352:
1353: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1354: \section{Chiral extrapolation of the rho meson mass}
1355: \setcounter{equation}{0}
1356: \label{sec:mrho}
1357:
1358: In this section, we analyse the quark mass dependence of the $\rho$-meson
1359: mass and related topics.
1360: This is not entirely new, see e.g. Refs.~\cite{Cohen,Ausrho}, but we do not want
1361: to rely on any model or the assumption of `dominating' contributions to the
1362: $\rho$ self-energy. In fact, there are many different contributions to the
1363: self-energy of the vector mesons, and only a few of the corresponding LECs
1364: are known from phenomenology. Of course, one could resort to models like
1365: the massive Yang-Mills approach or the extended NJL model to estimate these
1366: parameters (as it is done e.g. in the work of Bijnens and collaborators \cite{bijnens}),
1367: but our goal is more modest. We resort to parameterizing the pion mass dependence of
1368: $M_\rho$ and fix the combinations of LECs from existing lattice data \cite{CPPACS}.
1369: This allows e.g. to analyze the value of $M_\rho$ in the chiral limit.
1370:
1371: First, let us discuss the many different contributions to the vector meson
1372: mass. We restrict ourselves to terms at most quadratic in the quark masses.
1373: The first type of contribution stems from tree diagrams with quark mass
1374: insertions, i.e. operators $\sim \chi_+$ or $\sim \chi^2_+$, like e.g.
1375: \begin{equation}\label{break}
1376: \langle {\mathbf W} \cdot {\mathbf W} \, \chi_+ \rangle~,
1377: \langle {\mathbf W} \cdot {\mathbf W} \rangle \langle \chi_+ \rangle~,
1378: \ldots,
1379: \langle {\mathbf W} \cdot {\mathbf W} \, \chi_+^2 \rangle~, \ldots~.
1380: \end{equation}
1381: The LECs accompanying such explicit symmetry breaking terms are in
1382: general difficult to determine, as it is well known from the analysis
1383: of the nucleon mass in chiral perturbation theory, see e.g. \cite{FMS,BuM,BL}.
1384: Such tree
1385: graphs lead to the following vector meson mass terms:\footnote{To avoid
1386: notational clutter, we absorb all prefactors like $1/F^2$ etc. in the
1387: coefficients $k_i$.}
1388: \begin{equation}\label{Mtree}
1389: M_V^{\rm tree} = k_1 \, M_\phi^2 + k_2 \, M_\phi^4~,
1390: \end{equation}
1391: with $k_1$ ($k_2$) a combination of dimension two (four) LECs.
1392: There is also a tree graph without quark mass insertion, it corresponds
1393: to the vector meson mass in the chiral limited, denoted as $M_V^0$ in what
1394: follows.
1395: Next, we consider the various one-loop graphs.
1396: Tadpole diagrams with an insertions of the second order effective
1397: chiral Lagrangian have also to be considered, some of the pertinent
1398: structures are
1399: \begin{eqnarray*}
1400: \langle {\mathbf W} \cdot {\mathbf W} \, \chi_+ \rangle~,
1401: \langle {\mathbf W}\cdot {\mathbf W} \, u_\alpha u^\alpha \rangle~,
1402: \langle W^{\alpha\mu} W^{\beta\nu} g_{\mu\nu} \, u_\alpha u_\beta \rangle~,
1403: \ldots~.
1404: \end{eqnarray*}
1405: Note that in addition to the symmetry breakers of the type given in
1406: Eq.~(\ref{break}), kinetic terms $\sim \partial_\mu \phi \, \partial^\mu \phi$
1407: from the second order effective Lagrangian also contribute, thus increasing
1408: the number of LECs to be determined. In the comparable case of the nucleon
1409: mass, these can be determined to good accuracy form the analysis of pion-nucleon
1410: scattering in the low energy regime. The total contribution of the tadpoles
1411: to the vector meson mass takes the form
1412: \begin{equation}\label{Mtad}
1413: M_V^{\rm tadpole} = k_3 \, M_\phi^4 \, \ln \left( \frac{M_\phi^2}{M_V^2}
1414: \right)~,
1415: \end{equation}
1416: with $k_3$ another combination of dimension two LECs. The sunrise diagram
1417: (cf. Fig.~\ref{fig:self}a) starts to contribute at order $p^3$ because there
1418: are one derivative vertices of the form
1419: \begin{displaymath}
1420: \langle \epsilon^{\mu\nu\rho\sigma} \, W_{\mu\nu} \, \nabla^\alpha \,
1421: W_{\alpha\rho} \, u_\sigma \rangle~, \ldots~,
1422: \end{displaymath}
1423: A famous example of such a vertex is the $\omega\rho\pi$ coupling, which is generated
1424: in meson field theory from the Wess-Zumino-Witten term, see e.g. \cite{UlfV,KoichiV}.
1425: It was e.g. considered in the analysis of \cite{Ausrho} as one of what these
1426: authors call `dominating contributions'. Since there are various of such $VV\phi$
1427: couplings, we write the sunrise contribution to the vector meson mass as
1428: \begin{equation}\label{Msun}
1429: M_V^{\rm sunrise} = k_4 \, M_\phi^3
1430: + k_5 \, M_\phi^4 \,
1431: \ln \left( \frac{M_\phi^2}{M_V^2} \right) + \ldots ~,
1432: \end{equation}
1433: which is again reminiscent of the leading non-analytic contribution to the
1434: nucleon mass. The ellipsis denotes analytic terms $\sim M_\pi^4$ and higher
1435: order contributions. Finally, we have to consider the self-energy graph considered
1436: in the preceding section. It leads only to a fourth order contribution of
1437: the form
1438: \begin{equation}\label{Mself}
1439: M_V^{\rm self} = k_6 \, M_\phi^4 \, \ln \left( \frac{M_\phi^2}{M_V^2}
1440: \right) + \ldots~,
1441: \end{equation}
1442:
1443:
1444: To be specific, we consider now the pion mass expansion of the $\rho$-meson
1445: mass, i.e. we set $M_V = M_\rho$ and $M_\phi = M_\pi$ in the above formulae.
1446: Including {\em only} the non-analytic terms from the fourth order, it takes the form
1447: \begin{equation}\label{extra}
1448: M_\rho = M_\rho^0 + c_1 \, M_\pi^2 + c_2\, M_\pi^3 +
1449: c_3 \, M_\pi^4 \, \ln \left(\frac{M_\pi^2}{M_\rho^2}\right)
1450: + {\mathcal O}(M_\pi^4)~,
1451: \end{equation}
1452: where $M_\rho^0$ is the mass in the chiral limit, and the $c_i$ $(i=1,2,3)$ are
1453: combinations of coupling constants as discussed before. In the absence of a
1454: detailed phenomenological analysis of these couplings, we will use the CP-PACS
1455: data \cite{CPPACS} for the $\rho$-meson mass as a function of the pion (average light quark)
1456: mass to determine the parameters $M_\rho^0$, $c_1$, $c_2$ and $c_3$.
1457: We only employ lattice data with $M^2_\pi \lesssim 0.5\,$GeV$^2$.
1458: In fit~1, we fit these parameters by demanding that the physical
1459: $\rho$-mass is obtained for $M_\pi = 140\,$MeV. For fits~2 and 3, however,
1460: this restriction is lifted. In these
1461: fits, we input the chiral limit mass. Throughout, the fits are subjected
1462: to the further restriction that one obtains
1463: natural values for the combinations of LECs, that is we enforce $|c_i| \leq 3$.
1464: The corresponding fit parameters (obtained by least-square
1465: fits) are collected in Tab.~\ref{tab:1}.
1466:
1467:
1468: \begin{table}[b]
1469: \caption{Fit parameters. $^\star$ denotes an input quantity. \label{tab:1}}
1470: \begin{center}
1471: \begin{tabular}{|l|ccc|}
1472: \hline
1473: & ~~Fit~1 & Fit~2 & ~~Fit~3 \\
1474: \hline
1475: $M_\rho^0$ [GeV] & ~~0.776 & ~~0.650$^\star$ & ~~0.800$^\star$ \\
1476: $c_1$ [GeV$^{-1}$] & $-$0.662 & ~~2.200 & $-$1.215 \\
1477: $c_2$ [GeV$^{-2}$] & ~~1.291 & $-$1.934 & ~~1.915 \\
1478: $c_3$ [GeV$^{-3}$] & $-$1.723 & ~~1.572 & $-$2.367 \\
1479: \hline
1480: \end{tabular}
1481: \end{center}
1482: \end{table}
1483: \noindent
1484: \begin{figure}[t]
1485: \centerline{\psfig{file=mrho.eps,width=6.5cm}}
1486: \caption{The rho meson mass as a function of the light quark mass,
1487: $M_\pi^2 \sim (m_u+m_d)$. The solid (dot-dashed) line(s) refers to fit~1~(2,3)
1488: as described in the text. The lattice data are from CP-PACS \protect
1489: \cite{CPPACS}. The diamond denotes the physical rho mass.
1490: \label{fig:mrho}}
1491: \end{figure}
1492: \noindent
1493: The corresponding curves are shown in Fig.~\ref{fig:mrho}. To get a
1494: better handle on the theoretical uncertainty, we also allow the fits to
1495: stay within the theoretical uncertainty of the lowest point at $M_\pi^2 =
1496: 0.1\,$GeV$^2$, as shown in Fig.~\ref{fig:mrho2}.
1497: If we insist again on naturalness of the coupling constants,
1498: we can bound the $\rho$-mass in the chiral limit by
1499: \begin{equation}
1500: 650~{\rm MeV} \leq M_\rho^0 \leq 800~{\rm MeV}~.
1501: \end{equation}
1502: These results are similar to what was found in the pioneering
1503: work in Ref.~\cite{Ausrho}, but they are less model-dependent.
1504: The range for $M_\rho^0$ is also consistent with the numbers derived by Bijnens and
1505: collaborators in their study of vector mesons in chiral perturbation theory
1506: \cite{bijnens}. It would be interesting to extend these studies in two
1507: directions, first to include also more recent lattice data and second to
1508: try to give more stringent limits on the combinations of LECs by incorporating
1509: more phenomenological constraints.
1510:
1511:
1512: \begin{figure}[htb]
1513: \centerline{\psfig{file=mrho2.eps,width=6.5cm}}
1514: \caption{The rho meson mass as a function of the pion mass:
1515: Theoretical uncertainty as described in the text. For further
1516: notations, see Fig.~\ref{fig:mrho}.
1517: \label{fig:mrho2}}
1518: \end{figure}
1519: \noindent
1520:
1521: The quark mass expansion of the $\rho$-mass Eq.(\ref{extra}) allows one
1522: to deduce the corresponidng $\sigma$--term,
1523: \begin{equation}
1524: \sigma_{\pi \rho} = \hat m \, \frac{\partial M_\rho}{\partial \hat m} =
1525: M_\pi^2 \, \frac{\partial M_\rho}{\partial M_\pi^2}~,
1526: \end{equation}
1527: with $\hat m$ the average light quark mass.
1528: %utilizing $M_\pi^2 = 2B (m_u+m_d)= 2B\hat m$.
1529: From the numbers collected in Table~\ref{tab:1}, we find
1530: \begin{equation}
1531: -1.9\, M_\pi^2 \leq \sigma_{\pi \rho} \leq 1.5\, M_\pi^2~.
1532: \end{equation}
1533: This shows again that the rho as a massive particle has a very different
1534: quark mass expansion than the pion, where $\sigma_{\pi} \simeq M_\pi^2$ \cite{GL1}.
1535: In magnitude, the rho $\sigma$-term is similar to the pion-nucleon one,
1536: $\sigma_{\pi N} \simeq 45\,$MeV.
1537:
1538: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1539: \section{Summary and outlook}
1540: \setcounter{equation}{0}
1541: \label{sec:summ}
1542:
1543: In this paper, we have considered chiral perturbation theory in the presence
1544: of vector and axial-vector mesons (spin-1) fields and presented an extension
1545: of the infrared regularization scheme originally developed for baryon chiral
1546: perturbation theory. The pertinent results of this investigation can be
1547: summarized as follows:
1548: \begin{itemize}
1549: \item[1)]The most economic way to deal with vector mesons in chiral
1550: perturbation theory is to utilize the antisymmetric tensor field formulation
1551: as stressed in \cite{NuB}. When vector mesons appear in tree graphs only,
1552: calculations are straightforward as summarized in Sect.~\ref{sec:tree} and
1553: App.~\ref{app:ten}. Of
1554: course, other formulations like the vector field approach can also be used,
1555: see App.~\ref{app:vec},\ref{app:path}.
1556: \item[2)]When vector mesons appear in loops, the appearance of the large mass
1557: scale complicates the power counting, as discussed in Sect.~\ref{sec:problem}
1558: and Sect.~\ref{sec:softhard}. In essence, loop diagrams pick up large
1559: contributions when the loop momentum is close to the vector meson mass. To the
1560: contrary, the contribution from the soft poles (momenta of the order of the
1561: pion mass) that leads to the interesting chiral terms of the low-energy
1562: EFT (chiral logs and alike) obeys power counting. We have briefly summarized
1563: the method proposed in \cite{Tang} to extract the `soft pole' contribution from
1564: one-loop integrals.
1565: \item[3)]The standard case of infrared regularization \cite{BL},
1566: where the heavy particle line is conserved in the (one-loop) graphs
1567: is recapitulated in Sect.~\ref{sec:IR}. For these cases a very elegant
1568: splitting of a Feynman parameter integral allows to unambigouosly separate
1569: the infrared singular from the regular part, cf. Eq.(\ref{IRsplit}).
1570: \item[4)]In the case of spin-1 fields, new classes of self-energy graphs
1571: appear. The case for lines with small external momenta but a vector meson
1572: line appearing inside the diagram in analyzed in Sect.~\ref{sec:IRnew} and
1573: the singularity structure of the corresponding integrals is discussed in
1574: Sect.~\ref{sec:sing}. In Sect.~\ref{sec:IRcorr} the infrared singular part for such types
1575: of integrals is explicitly constructed, cf. Eq.~(\ref{IVphiIR}).
1576: As explicit examples, the Goldstone
1577: boson self-energy and the triangle diagram are worked out in Sect.~\ref{sec:self1}
1578: and Sect.~\ref{sec:tria}, respectively.
1579: \item[5)]A different type of one-loop graphs appears in the vector meson
1580: self-energy, where only light particles (Goldstone bosons) run in the loop.
1581: This is discussed in detail in Sect.~\ref{sec:Vself}, where the corresponding
1582: infrared singular part is extracted, see Eq.~(\ref{VselfIR}), and the
1583: contribution to the vector meson mass is worked out. We briefly discuss the
1584: problems related to the imaginary part of such type of diagrams.
1585: \item[6)]As an application, we consider the pion mass dependence of the $\rho$-meson
1586: mass in Sect.~\ref{sec:mrho}. We show that there are many contributions with unknown
1587: LECs, still one is able to derive a compact formula for $M_\rho (M_\pi)$,
1588: see Eq.~(\ref{extra}). We analyze
1589: existing lattice data \cite{CPPACS} and conclude that the $\rho$-meson mass in the
1590: chiral limit is bounded between 650 and 800~MeV. We have also discussed the
1591: $\pi\rho$ sigma term.
1592: \end{itemize}
1593:
1594: The methods outlined here can be applied to many interesting problems, for example
1595: one could systematically analyze vector meson effects on Goldstone properties like
1596: form factors or polarizabilities or extend these considerations to systems including
1597: baryons (for a first step see e.g. \cite{BM95}).
1598:
1599: \section*{Acknowledgements}
1600: We thank Hans Bijnens and J\"urg Gasser for useful comments and
1601: communications.
1602:
1603:
1604: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1605: \appendix
1606: \section{Tensor field approach}
1607: \def\theequation{\Alph{section}.\arabic{equation}}
1608: \setcounter{equation}{0}
1609: \label{app:ten}
1610:
1611: In this appendix, we briefly discuss the representation of spin-1 particles in terms
1612: of antisymmetric tensor fields, following closely Appendix A of \cite{NuB}.
1613:
1614: As an antisymmetric tensor field, $W_{\mu \nu}$ has six degrees of freedom,
1615: whereas a massive vector field only has three.
1616: Loosely speaking, there are two spin-1 fields 'hidden' in a general
1617: antisymmetric tensor field approach (corresponding to a reducible representation
1618: of the rotation group). To make this clear, we decompose the tensor field
1619: $W_{\mu\nu}$ (in momentum space)
1620: \begin{equation}
1621: W_{\mu\nu}= (W-PWP)_{\mu\nu} + (PWP)_{\mu\nu} \equiv W^{L}_{\mu \nu}+W^{T}_{\mu\nu},
1622: \end{equation}
1623: where the matrix $P$ is the projector
1624: \begin{equation}
1625: P_{\mu\nu}=g_{\mu\nu}-\frac{p_{\mu}p_{\nu}}{p^{2}},
1626: \end{equation}
1627: and $p_{\mu}$ is the momentum four-vector associated with the tensor field.
1628: Because of the projector property of $P$, we have
1629: \begin{displaymath}
1630: p^{\mu}W_{\mu\nu}^{T} = 0,
1631: \end{displaymath}
1632: giving 4 conditions for six degrees of freedom, but one condition is redundant due to the antisymmetry property of $W_{\mu\nu}$. So we are left with $6-3=3$ degrees of freedom for $W^{T}$, and therefore also for $W^{L}$.
1633:
1634: Inserting the above decomposition in the general form of an action principle
1635: for antisymmetric tensor fields \cite{NuB},
1636: \begin{eqnarray}
1637: \tilde S_{W}&=&\int d^{4}x \bigl\{(a-2b)\partial^{\mu}W_{\mu\nu}\partial_{\rho}W^{\rho\nu} + b\partial^{\rho}W_{\mu\nu}\partial_{\rho}W^{\mu\nu} \nonumber \\
1638: && \qquad\qquad + cW_{\mu\nu}W^{\mu\nu}\bigr\}~ ,
1639: \end{eqnarray}
1640: with arbitrary parameters $a,b$, and $c\not= 0$, and using
1641: \begin{displaymath}
1642: W_{\mu\nu}^{L}W^{\mu\nu}_{T} = 0,
1643: \end{displaymath}
1644: which is easily verified by a direct calculation, we see that the action splits in two terms:
1645: \begin{equation}
1646: \tilde S_{W} = S_{W_{L}} + S_{W_{T}},
1647: \end{equation}
1648: where
1649: \begin{eqnarray*}
1650: S_{W_{L}} &=& \int d^{4}x \bigl(a\partial^{\mu}W_{\mu\nu}^{L}\partial_{\rho}W^{\rho\nu}_{L} + cW_{\mu\nu}^{L}W^{\mu\nu}_{L}\bigr), \\ S_{W_{T}} &=& \int d^{4}x \bigl(b\partial^{\rho}W_{\mu\nu}^{T}\partial_{\rho}W^{\mu\nu}_{T} + cW_{\mu\nu}^{T}W^{\mu\nu}_{T}\bigr).
1651: \end{eqnarray*}
1652: Therefore, the path integral can also be factored:
1653: \begin{equation}
1654: \int [dW]e^{i\tilde S_{W}} = \int [dW_{L}]e^{iS_{W_{L}}}\int [dW_{T}]e^{iS_{W_{T}}}.
1655: \end{equation}
1656: In the rest frame, this decomposition corresponds to
1657: \begin{displaymath}
1658: [dW] = [dW_{L}][dW_{T}] = \prod_{i=1}^{3}[dW_{0i}]\prod_{i<j}^{3}[dW_{ij}].
1659: \end{displaymath}
1660: Following \cite{NuB}, we choose $b=0$, so that the second path integral becomes an unimportant constant (from the viewpoint of the classical action, $W_{T}$ becomes a non-propagating field). For $a=0$, in contrast, $W_{L}$ would be 'frozen' in this way.
1661: Choosing, furthermore,
1662: \begin{equation}
1663: a=-\frac{1}{2}, \qquad c=\frac{M_{V}^{2}}{4},
1664: \end{equation}
1665: and dropping the letter $L$, the massive vector field is described by
1666: \begin{eqnarray}
1667: \int[dW]e^{iS_{W}} &=&\int [dW]{\rm exp}\biggl\{i\int d^{4}x\ (-\frac{1}{2}\partial^{\mu}W_{\mu\nu}\partial_{\rho}W^{\rho\nu} \nonumber \\
1668: && \qquad \qquad + \frac{M_{V}^{2}}{4}W_{\mu\nu}W^{\mu\nu})\}.
1669: \end{eqnarray}
1670: Without invalidating the above argument, we can also add a coupling linear in $W$, of the form
1671: \begin{displaymath}
1672: -\frac{1}{4}J_{\mu\nu}W^{\mu\nu},
1673: \end{displaymath}
1674: with some external antisymmetric current $J_{\mu\nu}$.
1675: Since we do not use couplings quadratic in the tensor field in this work,
1676: we will not attempt to extend the given argument to Lagrangians
1677: including such more complicated interaction terms.
1678:
1679:
1680: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1681: %\appendix
1682: \section{Vector field approach}
1683: \setcounter{equation}{0}
1684: \label{app:vec}
1685: One can now ask how much the results obtained from calculations similar to
1686: the ones in the main body of the text depend on the description in terms of an antisymmetric tensor field. Of course a dependence of that kind is not wanted for physical observables!
1687:
1688: What happens if one uses a more conventional vector field approach for the description of the vector mesons?
1689: The Lagrangian for a massive vector field $V_{\mu}$ is well known:
1690: \begin{equation}
1691: {\mathcal L}_{V}^{kin} = -\frac{1}{4}\langle V_{\mu \nu}V^{\mu \nu}\rangle
1692: + \frac{1}{2}M_{V}^{2}\langle V_{\mu}V^{\mu}\rangle
1693: \end{equation}
1694: where $V_{\mu \nu}$ is the field strength tensor associated with $V_{\mu}$,
1695: \begin{displaymath}
1696: V_{\mu \nu} = \nabla_{\mu}V_{\nu}-\nabla_{\nu}V_{\mu} .
1697: \end{displaymath}
1698: The corresponding vector field propagator (in momentum space) reads
1699: \begin{equation}
1700: G_{\mu \nu}(k) = (-i)\frac{\biggl(g_{\mu \nu}-\frac{k_{\mu}k_{\nu}}{M_{V}^{2}}\biggr)}{k^{2}-M_{V}^{2}+i\epsilon}.
1701: \end{equation}
1702: If one now tries to write down interaction terms in analogy to the ones given before, it is seen that they are all $O(p^{3})$, giving a resonance exchange diagram of $O(p^{6})$ in contrast to the $O(p^{4})$ result derived with the antisymmetric tensor field description. In particular, the interaction terms are
1703: \begin{equation}
1704: {\mathcal L}_{V}^{int} = -\frac{f_{V}}{2\sqrt{2}}\langle F^{+}_{\mu \nu}V^{\mu \nu}\rangle
1705: - \frac{ig_{V}}{2\sqrt{2}}\langle [u_{\mu},u_{\nu}]V^{\mu \nu}\rangle .
1706: \end{equation}
1707: Here $f_{V}$ and $g_{V}$ are new coupling constants, and the minus sign is a pure convention. This interaction looks very much like Eq.~(\ref{Wint}), but note that the tensor $V_{\mu \nu}$ contains, from its definition, an additional derivative giving the interaction the order $O(p^{3})$ instead of $O(p^{2})$. The form factor contribution derived with this interaction is of higher order than the result of the last section and does {\em not} agree with experiment. If we had started with a vector field description for vector mesons, we might have concluded that the vector meson contribution is less important than suggested, for example, by a dispersive analysis. This problem
1708: was already solved in \cite{Eck}, we simply repeat here some of salient ingredients
1709: in a slightly different way.
1710:
1711: The mathematical relation between the two variants of the theory was worked out
1712: in \cite{Eck} by imposing e.g. the large momentum transfer constraints on the
1713: pion vector form factor. In App.~\ref{app:path}, we argue that the Lagrangians
1714: \begin{equation}
1715: {\mathcal L}_{W}^{kin} - \frac{1}{4}\langle J_{\mu \nu}W^{\mu \nu}\rangle
1716: \end{equation}
1717: and
1718: \begin{equation}
1719: {\mathcal L}_{V}^{kin} + \frac{1}{4M_{V}}\langle J_{\mu \nu}V^{\mu \nu}\rangle
1720: - \frac{1}{16M_{V}^{2}}\langle J_{\mu \nu}J^{\mu \nu}\rangle
1721: \end{equation}
1722: indeed give equivalent theories on the level of the path integrals, when $J_{\mu \nu}$ are some traceless hermitian sources. This equivalence is achieved by simply integrating out the field $W_{\mu \nu}$, which leads to the appearance of contact terms quadratic in the source. The source terms we use are
1723: \begin{displaymath}
1724: J_{\mu \nu} = -\sqrt{2}(F_{V}F^{+}_{\mu \nu} + iG_{V}[u_{\mu},u_{\nu}])
1725: \end{displaymath}
1726: (compare Eq.~(\ref{Wint})) and, assuming the validity of the path-integral argument for the equivalence, we draw the conclusion that equivalence leads to
1727: \begin{equation}
1728: f_{V} = \frac{F_{V}}{M_{V}} , \qquad g_{V} = \frac{G_{V}}{M_{V}}~,
1729: \end{equation}
1730: in perfect agreement with Ref.~\cite{Eck}.
1731: Furthermore, since the $V_{\mu \nu}$- couplings are of $O(p^{3})$, we conclude that vector meson exchange {\em to lowest order} $O(p^{4})$ can be represented by the contact terms
1732: \begin{eqnarray*}
1733: \frac{1}{16M_{V}^{2}}\langle J_{\mu \nu}J^{\mu \nu}\rangle &=& \left<- \frac{G_{V}^{2}}{8M_{V}^{2}}[u_{\mu},u_{\nu}][u^{\mu},u^{\nu}] \right. \nonumber\\
1734: &+& \left. \frac{F_{V}^{2}}{8M_{V}^{2}}F^{+}_{\mu \nu}F^{\mu \nu}_{+} + \frac{iF_{V}G_{V}}{4M_{V}^{2}}F^{+}_{\mu \nu}[u^{\mu},u^{\nu}]\right>~ .
1735: \end{eqnarray*}
1736: Using the definition of the objects $u_{\mu}$ and $F^{+}_{\mu \nu}$ and standard trace relations, the contact terms can be written as
1737: \begin{eqnarray*}
1738: -\frac{1}{16M_{V}^{2}}\langle J_{\mu \nu}J^{\mu \nu}\rangle &=&
1739: L^{V}_{1}P_{1}+L^{V}_{2}P_{2}+L^{V}_{3}P_{3} \nonumber\\
1740: && +L^{V}_{9}P_{9}+L^{V}_{10}P_{10}+H^{V}_{11}P_{11}~,
1741: \end{eqnarray*}
1742: with $P_{i}$ the structures of the fourth order meson Lagrangian \cite{GL2}
1743: and furthermore
1744: \begin{eqnarray*}
1745: L^{V}_{1}&=&\frac{G_{V}^{2}}{8M_{V}^{2}}~, \qquad L^{V}_{2}=2L^{V}_{1}~,
1746: \quad L^{V}_{3}=-6L^{V}_{1} \\
1747: L^{V}_{9} &=&\frac{F_{V}G_{V}}{2M_{V}^{2}}~, \quad L^{V}_{10}
1748: =-\frac{F_{V}^{2}}{4M_{V}^{2}}~, \quad
1749: H^{V}_{11}= -\frac{F_{V}^{2}}{8M_{V}^{2}}~.
1750: \end{eqnarray*}
1751:
1752: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1753: \section{Duality transformation}
1754: \setcounter{equation}{0}
1755: \label{app:path}
1756:
1757:
1758: The action for an antisymmetric tensor field $W_{\mu\nu}$ is
1759: \begin{equation}
1760: S_{W} = \int d^{4}x\ {\mathcal L}_{W}
1761: \end{equation}
1762: Note that $W_{\mu\nu}$ now stands for the field $W_{\mu\nu}^{L}$, having three
1763: degrees of freedom, as discussed in App.~\ref{app:ten}.
1764: Now let us modify this action by a term containing a vector field $V_{\mu}$:
1765: \begin{equation}
1766: {\mathcal L}_{V,W}= {\mathcal L}_{W}-\frac{1}{4}J_{\mu\nu}W^{\mu\nu}+\frac{M_{V}^{2}}{2}\biggl(V_{\mu}-\frac{1}{M_{V}}\partial^{\nu}W_{\nu\mu}\biggr)^{2}~.
1767: \end{equation}
1768: We have also added a source term linear in $W_{\mu\nu}$. The equations of motion (e.o.m.) following from this Lagrangian are
1769: \begin{eqnarray}
1770: W_{\mu\nu}+\frac{1}{M_{V}}(\partial_{\mu}V_{\nu}-\partial_{\nu}V_{\mu}) &=& \frac{1}{2M_{V}^{2}}J_{\mu\nu}, \\
1771: V_{\mu}-\frac{1}{M_{V}}(\partial^{\sigma}W_{\sigma\mu}) &=& 0 .
1772: \end{eqnarray}
1773: Substituting $V_{\mu}$ from the second equation into the first one, the latter becomes the 'old' e.o.m. following from $L_{W}-\frac{1}{4}J\cdot W $ alone. So on the classical level, the additional squared term does not change anything.
1774:
1775: Considering now path integrals, we deduce by a Gaussian integration over $V$ that
1776: \begin{equation}\label{path}
1777: \int[dW]e^{i\int d^{4}x (L_{W}-\frac{1}{4}J_{\mu\nu}W^{\mu\nu})} \sim \int[dW]\int[dV]e^{i\int d^{4}x L_{V,W}},
1778: \end{equation}
1779: where the '$\sim$' means 'up to a constant factor'. It must be noted here that the vector field $V$ should be treated like $W$, that is using a constraint to eliminate one degree of freedom. On the classical level, the second e.o.m. says that $V$ has the same number of degrees of freedom as $W$, i.e. three d.o.f. Contributions of the path integral over $V$ deviating from this e.o.m are exponentially damped like $e^{-x^{2}}$ because of the form of the squared term in $L_{V,W}$. Using a constraint on $V$, we will get just another constant prefactor as long as this constraint is linear in the field.
1780:
1781: If we now recklessly interchange the order of integrations on the
1782: right-hand-side of
1783: Eq.~(\ref{path}), define
1784: \begin{displaymath}
1785: V_{\mu\nu}= \partial_{\mu}V_{\nu}-\partial_{\nu}V_{\mu},
1786: \end{displaymath}
1787: and do the $W$-integration, we get
1788: \begin{eqnarray}
1789: &&\int[dW]e^{i\int d^{4}x\ (L_{W}-\frac{1}{4}J_{\mu\nu}W^{\mu\nu})} \nonumber\\
1790: &\sim& \int[dV][dW]\exp\biggl\{i\int d^{4}x\ \biggl(\frac{1}{4}M_{V}^{2}W_{\mu\nu}W^{\mu\nu}-\frac{1}{4}J_{\mu\nu}W^{\mu\nu}\nonumber\\
1791: && \qquad\qquad\qquad\qquad\qquad +\frac{M_{V}^{2}}{2}V_{\mu}V^{\mu}+\frac{M_{V}}{2}V_{\mu\nu}W^{\mu\nu}\biggr)\biggr\}\nonumber \\
1792: &\sim& \int[dV]\exp\biggl\{i\int d^{4}x\ \biggl(-\frac{1}{4}V_{\mu\nu}V^{\mu\nu}+\frac{M_{V}^{2}}{2}V_{\mu}V^{\mu} \nonumber\\
1793: && \qquad\qquad\qquad\qquad +\frac{1}{4M_{V}}J_{\mu\nu}V^{\mu\nu} -\frac{1}{16M_{V}^{2}}J_{\mu\nu}J^{\mu\nu}\biggr)\biggr\}~.\nonumber \\ &&
1794: \end{eqnarray}
1795: This corresponds to a conventional vector field Lagrangian, together with contact terms of the form
1796: \begin{displaymath}
1797: -\frac{1}{16M_{V}^{2}}J_{\mu\nu}J^{\mu\nu} .
1798: \end{displaymath}
1799: If the tensor field $W$ is given in the matrix notation of Eq.~(\ref{WT}), which implies that one has to take the (flavor) trace of every term in the Lagrangian $L_{W}$, the source term linear in the field $W_{\mu\nu}^{a}$ can be taken as
1800: \begin{displaymath}
1801: -\frac{1}{4}\langle W_{\mu\nu}J^{\mu\nu}\rangle = -\frac{1}{4\sqrt{2}}W_{\mu\nu}^{a}\langle T^{a}J^{\mu\nu}\rangle .
1802: \end{displaymath}
1803: If $J_{\mu\nu}$ is traceless and hermitian (which is the case for the couplings we consider in Eq.(\ref{Wint})), we produce the contact terms
1804: \begin{displaymath}
1805: \biggl(\frac{1}{16M_{V}^{2}}\biggr)\frac{1}{\sqrt{2}}\langle J_{\mu\nu}T^{a}\rangle \frac{1}{\sqrt{2}}\langle J^{\mu\nu}T^{a}\rangle = \frac{1}{16M_{V}^{2}}\langle J_{\mu\nu}J^{\mu\nu} \rangle ,
1806: \end{displaymath}
1807: which justifies the form of the contact terms given in the preceding appendix.
1808:
1809: A path-integral approach to show the duality of the antisymmetric tensor field and the vector field description has also been presented in \cite{Bij}, but the approach used here is shorter. In principle, we have not done much more than a Legendre transformation to change variables from $\partial W$ to $V$. The $W$-field has been integrated out, leaving as a 'souvenir' only the contact terms. As in the foregoing Appendix, we do not attempt to include also more complicated coupling terms in such a transformation, with the excuse that in this work the contact terms are only needed for the linear interaction of Eq.~(\ref{Wint}).
1810:
1811:
1812: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1813: \section{Loop integrals}
1814: \setcounter{equation}{0}
1815: \label{app:int}
1816:
1817: In this Appendix we treat the reduction of general loop integrals
1818: to linear combinations of scalar loop integrals. The scalar loop
1819: integrals $I_{\phi}$ and $I_{V}$ have been defined in Eqs.(\ref{Iphi}) and (\ref{IV}), respectively,
1820: while $I_{V\phi}$ was defined in Eq.~(\ref{IVphidef}).
1821: Writing $q^{2}=(q^{2}-M_{V}^{2})+M_{V}^{2}$, one derives
1822: \begin{eqnarray}
1823: &&i\int \frac{d^{d}q}{(2\pi)^{d}}\frac{q^{2}}{(q^{2}-M_{V}^{2})((q-p)^{2}-M_{\phi}^{2})}
1824: \nonumber \\ &&= I_{\phi}+M_{V}^{2}I_{V\phi}(p).
1825: \end{eqnarray}
1826: Moreover, by Lorentz invariance, we must have
1827: \begin{equation}
1828: i\int \frac{d^{d}q}{(2\pi)^{d}}\frac{q^{\mu}}{(q^{2}-M_{V}^{2})((q-p)^{2}-M_{\phi}^{2})} = p^{\mu}S ,
1829: \end{equation}
1830: because there is no other four-vector than $p^{\mu}$ available here. The scalar $S$ can be found by contracting with $p_{\mu}$:
1831: \begin{eqnarray}
1832: S&=&\frac{i}{2p^{2}}\int \frac{d^{d}q}{(2\pi)^{d}}\frac{q^{2}+p^{2}-(q-p)^{2}}{(q^{2}-M_{V}^{2})((q-p)^{2}-M_{\phi}^{2})}\nonumber \\
1833: &=& \frac{1}{2p^{2}}(I_{\phi}-I_{V}+(M_{V}^{2}-M_{\phi}^{2}+p^{2})I_{V\phi}).
1834: \end{eqnarray}
1835: Using both results together, we can compute
1836: \begin{eqnarray}
1837: &&i\int \frac{d^{d}q}{(2\pi)^{d}}\frac{(p\cdot q)q^{\mu}}{(q^{2}-M_{V}^{2})((q-p)^{2}-M_{\phi}^{2})}
1838: \nonumber \\ &&= \frac{p^{\mu}}{4p^{2}}(a_{\phi}I_{\phi}+a_{V}I_{V}+a_{V\phi}I_{V\phi}),
1839: \end{eqnarray}
1840: where the coefficients are given by
1841: \begin{eqnarray}
1842: a_{\phi} &=& M_{V}^{2}-M_{\phi}^{2}+3p^{2}, \nonumber\\
1843: a_{V} &=& M_{\phi}^{2}-M_{V}^{2}-p^{2}~,~~
1844: a_{V\phi} = a_{V}^{2}.
1845: \end{eqnarray}
1846: These results so far are already sufficient to arrive at the decomposition of Eq.~(\ref{Isigmad})
1847: for $I_{\Sigma}$. Another useful result is also derived using Lorentz invariance:
1848: \begin{eqnarray}
1849: &&i\int \frac{d^{d}q}{(2\pi)^{d}}\frac{q^{\mu}q^{\nu}}{(q^{2}-M_{\phi}^{2})((q-p)^{2}-M_{\phi}^{2})}
1850: \nonumber \\
1851: &&= g^{\mu\nu}A(p)+\frac{p^{\mu}p^{\nu}}{p^{2}}B(p)~.
1852: \end{eqnarray}
1853: The coefficients can be found by contracting with $g_{\mu\nu}$ and $p_{\mu}$,
1854: using the above results and $g_{\mu\nu}g^{\mu\nu}=d$ :
1855: \begin{eqnarray}
1856: (d-1)A(p) &=& \frac{1}{2}I_{\phi}+\frac{1}{4}(4M_{\phi}^{2}-p^{2})I_{\phi\phi}(p) \\
1857: (d-1)B(p) &=& \biggl(\frac{d}{2}-1\biggr)I_{\phi} + \biggl(\frac{d}{4}p^{2}-M_{\phi}^{2}\biggr)I_{\phi\phi}(p).\nonumber
1858: \end{eqnarray}
1859: Here the integral $I_{\phi\phi}(p)$ is obtained from $I_{V\phi}(p)$ by substituting
1860: $M_{\phi}$ for $M_{V}$.
1861:
1862: \medskip\noindent
1863: The last result we have to derive is the integral $I_{\Delta}^{\tau}(p,k)$,
1864: which we only need for on-shell kinematics , $p^{2}=k^{2}=M_{\phi}^{2}$.
1865: Using the algebraic decomposition
1866: \begin{eqnarray*}
1867: &&\frac{4(p\cdot k)q^{2}-4(p\cdot q)(k\cdot q)}{(q^{2}-M_{V}^{2})(q^{2}-2q\cdot p)(q^{2}-2q\cdot k)}
1868: \\&&= \frac{4(p\cdot k)M_{V}^{2}-M_{V}^{4}}{(q^{2}-M_{V}^{2})(q^{2}-2q\cdot p)(q^{2}-2q\cdot k)}
1869: \\&&+ \frac{4(p\cdot k)-q^{2}-M_{V}^{2}}{(q^{2}-2q\cdot p)(q^{2}-2q\cdot k)}
1870: -\frac{1}{q^{2}-M_{V}^{2}}
1871: \\&&+\frac{1}{q^{2}-2q\cdot p}+\frac{1}{q^{2}-2q\cdot k}
1872: \\&&+\frac{M_{V}^{2}}{(q^{2}-M_{V}^{2})(q^{2}-2q\cdot p)}
1873: \\&&+ \frac{M_{V}^{2}}{(q^{2}-M_{V}^{2})(q^{2}-2q\cdot k)}~,
1874: \end{eqnarray*}
1875: the results obtained in this appendix enable us to calculate
1876: \begin{eqnarray}
1877: &&I^{\tau}_{\Delta}(p,k)= \nonumber\\
1878: &&i\int\frac{d^{d}q}{(2\pi)^{d}}\frac{(p+k-2q)^{\tau}((p\cdot k)q^{2}-(p\cdot q)(k\cdot q))}
1879: {(q^{2}-M_{V}^{2})((q-p)^{2}-M_{\phi}^{2})((q-k)^{2}-M_{\phi}^{2})}\nonumber\\
1880: &&= (p+k)^{\tau}(d_{V\phi\phi}I_{V\phi\phi}(p,k)+d_{V\phi}I_{V\phi}
1881: \nonumber \\ && \quad\quad +d_{\phi\phi}I_{\phi\phi}(k-p)+d_{\phi}I_{\phi}+d_{V}I_{V})~.
1882: \end{eqnarray}
1883: The coefficients are given by
1884: \begin{eqnarray}
1885: 4d_{V\phi\phi} &=& \frac{(M_{\phi}^{2}-M_{V}^{2}+(p\cdot k))(4(p\cdot k)M_{V}^{2}-M_{V}^{4})}{M_{\phi}^{2}+(p\cdot k)} ,\nonumber \\ %%&&\\
1886: 4d_{V\phi}&=&\frac{2M_{\phi}^{2}M_{V}^{2}-M_{V}^{4}}{M_{\phi}^{2}}-\frac{M_{V}^{4}-4(p\cdot k)M_{V}^{2}}{M_{\phi}^{2}+(p\cdot k)},\nonumber \\
1887: 4d_{\phi\phi}&=&\frac{M_{\phi}^{2}+(p\cdot k)}{d-1}-\frac{4(p\cdot k)M_{V}^{2}-M_{V}^{4}}{M_{\phi}^{2}+(p\cdot k)},\nonumber\\
1888: 4d_{\phi}&=&\frac{1}{d-1}-\frac{M_{V}^{2}}{M_{\phi}^{2}},~~
1889: 4d_{V} = \frac{M_{V}^{2}}{M_{\phi}^{2}}-1.
1890: \end{eqnarray}
1891: We remind the reader that this is valid only for $p^{2}=k^{2}=M_{\phi}^{2}$. For this case, we have
1892: $I_{V\phi}(k)=I_{V\phi}(p)\equiv I_{V\phi}\,$.
1893:
1894: %%%%%%%%%%%%%%%% references %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1895:
1896: \begin{thebibliography}{99}
1897: \bibitem{GL1}
1898: J.~Gasser and H.~Leutwyler,
1899: %``Chiral Perturbation Theory To One Loop,''
1900: Annals Phys.\ {\bf 158} (1984) 142.
1901: %%CITATION = APNYA,158,142;%%
1902: \bibitem{GL2}
1903: J.~Gasser and H.~Leutwyler,
1904: %``Chiral Perturbation Theory: Expansions In The Mass Of The Strange Quark,''
1905: Nucl.\ Phys.\ B {\bf 250} (1985) 465.
1906: %%CITATION = NUPHA,B250,465;%%
1907: \bibitem{Wein}
1908: S.~Weinberg,
1909: %``Phenomenological Lagrangians,''
1910: PhysicaA {\bf 96} (1979) 327.
1911: %%CITATION = PHYSA,A96,327;%%
1912: \bibitem{ulf}
1913: U.-G.~Mei{\ss}ner,
1914: %``Recent developments in chiral perturbation theory,''
1915: Rept.\ Prog.\ Phys.\ {\bf 56} (1993) 903
1916: [arXiv:hep-ph/9302247].
1917: %%CITATION = HEP-PH 9302247;%%
1918: \bibitem{pich}
1919: A.~Pich,
1920: %``Chiral perturbation theory,''
1921: Rept.\ Prog.\ Phys.\ {\bf 58} (1995) 563
1922: [arXiv:hep-ph/9502366].
1923: %%CITATION = HEP-PH 9502366;%%
1924: \bibitem{ecker}
1925: G.~Ecker,
1926: %``Chiral perturbation theory,''
1927: Prog.\ Part.\ Nucl.\ Phys.\ {\bf 35} (1995) 1
1928: [arXiv:hep-ph/9501357].
1929: %%CITATION = HEP-PH 9501357;%%
1930: \bibitem{BKMrev}
1931: V.~Bernard, N.~Kaiser and U.-G.~Mei{\ss}ner,
1932: %``Chiral dynamics in nucleons and nuclei,''
1933: Int.\ J.\ Mod.\ Phys.\ E {\bf 4} (1995) 193
1934: [arXiv:hep-ph/9501384].
1935: %%CITATION = HEP-PH 9501384;%%
1936: \bibitem{scherer}
1937: S.~Scherer, Adv. in Nucl. Phys. {\bf 27} (2003) 277
1938: [arXiv:hep-ph/0210398].
1939: %%CITATION = HEP-PH 0210398;%%
1940: \bibitem{Heiri}
1941: H.~Leutwyler,
1942: %``On the foundations of chiral perturbation theory,''
1943: Annals Phys.\ {\bf 235} (1994) 165
1944: [arXiv:hep-ph/9311274].
1945: %%CITATION = HEP-PH 9311274;%%
1946: \bibitem{SWMIT}
1947: S.~Weinberg, in Lecture Notes in Physics, Vol. 452 (Springer Verlag,
1948: Heidelberg 1995)
1949: %``Strong interactions at low-energies,''
1950: [arXiv:hep-ph/9412326].
1951: %%CITATION = HEP-PH 9412326;%%
1952: \bibitem{UlfV}
1953: U.-G.~Mei{\ss}ner,
1954: %``Low-Energy Hadron Physics From Effective Chiral Lagrangians With Vector
1955: %Mesons,''
1956: Phys.\ Rept.\ {\bf 161} (1988) 213.
1957: %%CITATION = PRPLC,161,213;%%
1958: \bibitem{KoichiV}
1959: M.~Bando, T.~Kugo and K.~Yamawaki,
1960: %``Nonlinear Realization And Hidden Local Symmetries,''
1961: Phys.\ Rept.\ {\bf 164} (1988) 217.
1962: %%CITATION = PRPLC,164,217;%%
1963: \bibitem{NuB}
1964: G.~Ecker, J.~Gasser, A.~Pich and E.~de Rafael,
1965: %``The Role Of Resonances In Chiral Perturbation Theory,''
1966: Nucl.\ Phys.\ B {\bf 321} (1989) 311.
1967: %%CITATION = NUPHA,B321,311;%%
1968: \bibitem{Donoghue}
1969: J.~F.~Donoghue, C.~Ramirez and G.~Valencia,
1970: %``The Spectrum Of QCD And Chiral Lagrangians Of The Strong And Weak
1971: %Interactions,''
1972: Phys.\ Rev.\ D {\bf 39} (1989) 1947.
1973: %%CITATION = PHRVA,D39,1947;%%
1974: \bibitem{Eck}
1975: G.~Ecker, J.~Gasser, H.~Leutwyler, A.~Pich and E.~de Rafael,
1976: %``Chiral Lagrangians For Massive Spin 1 Fields,''
1977: Phys.\ Lett.\ B {\bf 223} (1989) 425.
1978: %%CITATION = PHLTA,B223,425;%%
1979: \bibitem{GSS}
1980: J.~Gasser, M.~E.~Sainio and A.~Svarc,
1981: %``Nucleons With Chiral Loops,''
1982: Nucl.\ Phys.\ B {\bf 307} (1988) 779.
1983: %%CITATION = NUPHA,B307,779;%%
1984: \bibitem{JM}
1985: E.~Jenkins and A.~V.~Manohar,
1986: %``Baryon Chiral Perturbation Theory Using A Heavy Fermion Lagrangian,''
1987: Phys.\ Lett.\ B {\bf 255} (1991) 558.
1988: %%CITATION = PHLTA,B255,558;%%
1989: \bibitem{BKKM}
1990: V.~Bernard, N.~Kaiser, J.~Kambor and U.-G.~Mei{\ss}ner,
1991: %``Chiral structure of the nucleon,''
1992: Nucl.\ Phys.\ B {\bf 388} (1992) 315.
1993: %%CITATION = NUPHA,B388,315;%%
1994: \bibitem{Tang}
1995: H.~B.~Tang,
1996: %``A new approach to chiral perturbation theory for matter fields,''
1997: arXiv:hep-ph/9607436;
1998: %%CITATION = HEP-PH 9607436;%%
1999: P.~J.~Ellis and H.~B.~Tang,
2000: %``Pion nucleon scattering in a new approach to chiral perturbation theory,''
2001: Phys.\ Rev.\ C {\bf 57} (1998) 3356
2002: [arXiv:hep-ph/9709354].
2003: %%CITATION = HEP-PH 9709354;%%
2004: \bibitem{BL}
2005: T.~Becher and H.~Leutwyler,
2006: %``Baryon chiral perturbation theory in manifestly Lorentz invariant form,''
2007: Eur.\ Phys.\ J.\ C {\bf 9} (1999) 643
2008: [arXiv:hep-ph/9901384].
2009: %%CITATION = HEP-PH 9901384;%%
2010: \bibitem{Mainz1}
2011: T.~Fuchs, J.~Gegelia, G.~Japaridze and S.~Scherer,
2012: %``Renormalization of relativistic baryon chiral perturbation theory and power
2013: %counting,''
2014: Phys.\ Rev.\ D {\bf 68} (2003) 056005
2015: [arXiv:hep-ph/0302117];
2016: %%CITATION = HEP-PH 0302117;%%
2017: M.~R.~Schindler, J.~Gegelia and S.~Scherer,
2018: %``Infrared and extended on-mass-shell renormalization of two-loop diagrams,''
2019: Nucl.\ Phys.\ B {\bf 682} (2004) 367
2020: [arXiv:hep-ph/0310207].
2021: %%CITATION = HEP-PH 0310207;%%
2022: \bibitem{JM95}
2023: E.~Jenkins, A.~V.~Manohar and M.~B.~Wise,
2024: %``Chiral perturbation theory for vector mesons,''
2025: Phys.\ Rev.\ Lett.\ {\bf 75}, 2272 (1995)
2026: [arXiv:hep-ph/9506356].
2027: %%CITATION = HEP-PH 9506356;%%
2028: \bibitem{BM95}
2029: B.~Borasoy and U.-G.~Mei{\ss}ner,
2030: %``Chiral Lagrangians for Baryons coupled to massive Spin-1 Fields,''
2031: Int.\ J.\ Mod.\ Phys.\ A {\bf 11}, 5183 (1996)
2032: [arXiv:hep-ph/9511320].
2033: %%CITATION = HEP-PH 9511320;%%
2034: \bibitem{Urech}
2035: R.~Urech,
2036: %``rho0 - omega mixing in chiral perturbation theory,''
2037: Phys.\ Lett.\ B {\bf 355} (1995) 308
2038: [arXiv:hep-ph/9504238].
2039: %%CITATION = HEP-PH 9504238;%%
2040: \bibitem{bijnens}
2041: J.~Bijnens and P.~Gosdzinsky,
2042: %``Electromagnetic contributions to vector meson masses and mixings,''
2043: Phys.\ Lett.\ B {\bf 388} (1996) 203
2044: [arXiv:hep-ph/9607462];
2045: %%CITATION = HEP-PH 9607462;%%
2046: J.~Bijnens, P.~Gosdzinsky and P.~Talavera,
2047: %``Vector meson masses in chiral perturbation theory,''
2048: Nucl.\ Phys.\ B {\bf 501} (1997) 495
2049: [arXiv:hep-ph/9704212];
2050: %%CITATION = HEP-PH 9704212;%%
2051: J.~Bijnens, P.~Gosdzinsky and P.~Talavera,
2052: %``Matching the heavy vector meson theory,''
2053: JHEP {\bf 9801} (1998) 014
2054: [arXiv:hep-ph/9708232];
2055: %%CITATION = HEP-PH 9708232;%%
2056: J.~Bijnens, P.~Gosdzinsky and P.~Talavera,
2057: %``Chiral corrections to vector meson decay constants,''
2058: Phys.\ Lett.\ B {\bf 429} (1998) 111
2059: [arXiv:hep-ph/9801418].
2060: %%CITATION = HEP-PH 9801418;%%
2061: \bibitem{PichV}
2062: V.~Cirigliano, G.~Ecker, H.~Neufeld and A.~Pich,
2063: %``Meson resonances, large N(c) and chiral symmetry,''
2064: JHEP {\bf 0306} (2003) 012
2065: [arXiv:hep-ph/0305311];
2066: %%CITATION = HEP-PH 0305311;%%
2067: P.~D.~Ruiz-Femenia, A.~Pich and J.~Portoles,
2068: %``Odd-intrinsic-parity processes within the resonance effective theory of
2069: %QCD,''
2070: JHEP {\bf 0307} (2003) 003
2071: [arXiv:hep-ph/0306157];
2072: %%CITATION = HEP-PH 0306157;%%
2073: I.~Rosell, J.~J.~Sanz-Cillero and A.~Pich,
2074: %``Quantum loops in the resonance chiral theory: The vector form factor,''
2075: JHEP {\bf 0408} (2004) 042
2076: [arXiv:hep-ph/0407240].
2077: %%CITATION = HEP-PH 0407240;%%
2078: \bibitem{Koichi}
2079: M.~Harada and K.~Yamawaki,
2080: %``Hidden local symmetry at loop: A new perspective of composite gauge boson
2081: %and chiral phase transition,''
2082: Phys.\ Rept.\ {\bf 381} (2003) 1
2083: [arXiv:hep-ph/0302103].
2084: %%CITATION = HEP-PH 0302103;%%
2085: \bibitem{MainzV}
2086: T.~Fuchs, M.~R.~Schindler, J.~Gegelia and S.~Scherer,
2087: %``Power counting in baryon chiral perturbation theory including vector
2088: %mesons,''
2089: Phys.\ Lett.\ B {\bf 575} (2003) 11
2090: [arXiv:hep-ph/0308006];
2091: %%CITATION = HEP-PH 0308006;%%
2092: D.~Djukanovic, M.~R.~Schindler, J.~Gegelia, G.~Japaridze and S.~Scherer,
2093: %``Universality of the rho meson coupling in effective field theory,''
2094: Phys.\ Rev.\ Lett.\ {\bf 93}, 122002 (2004)
2095: [arXiv:hep-ph/0407239].
2096: %%CITATION = HEP-PH 0407239;%%
2097: \bibitem{Kubis}B.~Kubis and U.-G.~Mei\ss ner,
2098: %``Low energy analysis of the nucleon electromagnetic form factors,''
2099: Nucl.\ Phys.\ A {\bf 679} (2001) 698
2100: [arXiv:hep-ph/0007056].
2101: %%CITATION = HEP-PH 0007056;%%
2102: \bibitem{PL}
2103: D.~Lehmann and G.~Prezeau,
2104: %``Effective field theory dimensional regularization,''
2105: Phys.\ Rev.\ D {\bf 65} (2002) 016001
2106: [arXiv:hep-ph/0102161].
2107: %%CITATION = HEP-PH 0102161;%%
2108: \bibitem{Cohen}
2109: D.~B.~Leinweber and T.~D.~Cohen,
2110: %``Unquenching the rho meson,''
2111: Phys.\ Rev.\ D {\bf 49} (1994) 3512
2112: [arXiv:hep-ph/9307261].
2113: %%CITATION = HEP-PH 9307261;%%
2114: \bibitem{Ausrho}
2115: D.~B.~Leinweber, A.~W.~Thomas, K.~Tsushima and S.~V.~Wright,
2116: %``Chiral behaviour of the rho meson in lattice QCD,''
2117: Phys.\ Rev.\ D {\bf 64} (2001) 094502
2118: [arXiv:hep-lat/0104013].
2119: %%CITATION = HEP-LAT 0104013;%%
2120: \bibitem{CPPACS}
2121: S.~Aoki {\it et al.} [CP-PACS Collaboration],
2122: %``Comparative study of full QCD hadron spectrum and static quark potential
2123: %with improved actions,''
2124: Phys.\ Rev.\ D {\bf 60} (1999) 114508
2125: [arXiv:hep-lat/9902018].
2126: %%CITATION = HEP-LAT 9902018;%%
2127: \bibitem{FMS}
2128: N.~Fettes, U.-G.~Mei{\ss}ner and S.~Steininger,
2129: %``Pion nucleon scattering in chiral perturbation theory. I: Isospin-symmetric
2130: %case,''
2131: Nucl.\ Phys.\ A {\bf 640} (1998) 199
2132: [arXiv:hep-ph/9803266].
2133: %%CITATION = HEP-PH 9803266;%%
2134: \bibitem{BuM}
2135: P.~B\"uttiker and U.-G.~Mei{\ss}ner,
2136: %``Pion nucleon scattering inside the Mandelstam triangle,''
2137: Nucl.\ Phys.\ A {\bf 668} (2000) 97
2138: [arXiv:hep-ph/9908247].
2139: %%CITATION = HEP-PH 9908247;%%
2140: \bibitem{Bij}
2141: J.~Bijnens and E.~Pallante,
2142: %``On the tensor formulation of effective vector Lagrangians and duality
2143: %transformations,''
2144: Mod.\ Phys.\ Lett.\ A {\bf 11} (1996) 1069
2145: [arXiv:hep-ph/9510338].
2146: %%CITATION = HEP-PH 9510338;%%
2147: \end{thebibliography}
2148:
2149: \end{document}
2150:
2151:
2152:
2153:
2154:
2155:
2156:
2157:
2158:
2159:
2160:
2161:
2162:
2163:
2164:
2165: