1 Introduction

Recent years have seen strongly increased interest in the transition form factors of light mesons [1]. One of the main reasons is the fact that pseudoscalar (\(\pi ^0, \eta , \eta '\)) pole terms constitute some of the most important contributions to hadronic light-by-light scattering, which is soon to become the biggest stumbling block in a more accurate theoretical determination of the standard model prediction for the muon’s anomalous magnetic moment; see [2] and references therein. The strength of these pole terms is determined by the singly- and doubly-virtual form factors for \(\pi ^0,\,\eta ,\,\eta ' \rightarrow \gamma ^*\gamma ^{(*)}\). However, for the virtuality of one of the photons fixed to the mass of one of the light isoscalar vector resonances \(\omega \) or \(\phi \), these form factors are intimately linked to vector-meson transition form factors that can be measured in decays such as \(\omega \rightarrow \pi ^0\ell ^+\ell ^-\) or \(\phi \rightarrow \eta \ell ^+\ell ^-\). In all likelihood, these vector-meson conversion decays present one of the few opportunities to measure the doubly-virtual \(\pi ^0\) or \(\eta \) form factors with very good precision. Furthermore, they present an essential ingredient to a more advanced theoretical understanding of hadronic light-by-light scattering [3, 4].

Recent dispersive treatments [5, 6] of the \(\omega \pi \) electromagnetic form factor \(f_{\omega \pi }(t)\) are in disagreement with experimental data in the region around \(0.6\, \text {GeV}\) [79], which show strong deviations from even approximate vector-meson-dominance behavior [10]. The main ingredient in the dispersion relation is unitarity, which allows one to express the discontinuity of the form factor in terms of the P partial wave of the process \(\pi \pi \rightarrow \omega \pi \) [6, 11] and the pion electromagnetic form factor, quantities determined with precision. Strictly speaking, this relation is valid only in the elastic region, \(4 m_\pi ^2\le t<16m_\pi ^2\). Due to the strong phase-space (and chiral) suppression of multiparticle intermediate states, the elastic regime approximately extends up to \(\omega \pi \) threshold in the P wave, \(4 m_\pi ^2\le t<t_+ = (m_\omega +m_\pi )^2\), above which the inelasticity in pion–pion scattering is assumed to be dominated by the \(\omega \pi \) intermediate state [11]. However, due to the lack of information on the discontinuity in the inelastic region, elastic unitarity is assumed to be valid also at higher energies in the evaluation of the dispersion integral. This assumption may affect the precision of the theoretical treatment. Having in view the disagreement with some experimental data on \(|f_{\omega \pi }(t)|\) below \(t_+\), it is of interest to investigate the form factor in a more model-independent framework, which avoids this assumption.

In the present paper we exploit alternative information on the form factor above \(t_+\). We use a method proposed originally by Okubo [12, 13] (before the advent of QCD), which leads to bounds on form factors by exploiting the positivity of the spectral function of a suitable current–current correlator. This technique, known as method of unitarity bounds, has been resuscitated in the QCD era and was applied to a variety of form factors of heavy and light mesons [1421] (for a review and more references see [22, 23]). In the present study, we use a dispersion relation for the polarization function of two isovector vector currents, calculated by operator product expansion (OPE) in the Euclidean region, and exploit unitarity for the spectral function. Including \(\pi \pi \) and \(\omega \pi \) states in the unitarity sum, we derive an upper bound for an integral on the modulus squared of the \(\omega \pi \) form factor along the cut from \(t_+\) to infinity. From this condition and the known discontinuity in the unphysical region \(4 m_\pi ^2\le t< t_+\), we derive bounds on the form factor in the latter region and compare them with the experimental data and the results of the standard dispersion relations.

In this work, we have adapted the original method of unitarity bounds, making it suitable for the information available on the \(\omega \pi \) form factor, namely its discontinuity across the cut below the inelastic threshold. To solve the corresponding optimization problem we use analytic techniques already applied to scattering amplitudes [24, 25]. We also had to take into account the fact that, unlike most form factors studied up to now, the \(\omega \pi \) form factor is not a real analytic function.Footnote 1 We have therefore made the proper generalization of the formalism to the case of analytic functions that are not of real type. To our knowledge such a formulation appears here for the first time and represents an important generalization of methods existing in the literature. The above modifications may have applications in the study of other form factors as well.

In Sect. 2 we briefly summarize the standard dispersive treatment of the \(\omega \pi \) form factor. In Sect. 3 we review the formalism of unitarity bounds, which leads to the integral constraint on the modulus squared of the form factor along the cut. In Sect. 4 we solve the optimization problem and derive upper and lower bounds on \(|f_{\omega \pi }(t)|\) for \(t\) below \(t_+\). Section 5 contains the numerical results of our work and Sect. 6 our conclusions.

2 Standard dispersive treatment of \(f_{\omega \pi }(t)\)

We use the definition from [5], where the form factor \(f_{\omega \pi }(t)\) is defined from the matrix element

$$\begin{aligned}&\langle \omega (p_a,\lambda )\pi (p_b)| j_\mu (0) | 0 \rangle \nonumber \\&\quad = i \epsilon _{\mu \tau \rho \sigma }\epsilon ^{\tau *}(p_a, \lambda ) p_b^\rho q^\sigma f_{\omega \pi }(t), \end{aligned}$$
(1)

where \(j_\mu \) is the isovector part of the electromagnetic current, \(\lambda \) denotes the \(\omega \) polarization, and we defined \(q=p_a+p_b\) and \(t=q^2\). The form factor \(f_{\omega \pi }(t)\) has dimension \(\mathrm{GeV}^{-1}\). The definition adopted in [26] contains a factor \(1/m_{\omega }\) in the right-hand side of (1) and the corresponding form factor is dimensionless. In the present paper we will work with the dimensionful version of the form factor.

Unitarity implies that \(f_{\omega \pi }(t)\) has a cut along the real axis for \(t \ge 4 m_\pi ^2\). Using the conventions of [5], the discontinuity of \(f_{\omega \pi }(t)\) across the cut in the elastic approximation is given by

$$\begin{aligned} \mathrm{disc}\,{f_{\omega \pi }(t)}=\frac{i\,q_{\pi \pi }^3(t)}{6\pi \sqrt{t}}F_\pi ^{*}(t)f_1(t)\,\theta \big (t-4 m_\pi ^2\big ), \end{aligned}$$
(2)

where \(q_{\pi \pi }(t)=\sqrt{t/4 - m_\pi ^2}\), \(F_\pi (t)\) is the pion electromagnetic form factor, and \(f_1(t)\) the P partial-wave amplitude of the scattering process

$$\begin{aligned} \pi ^+(q_1) \, \pi ^-(q_2)\rightarrow \omega (p_a,\lambda ) \, \pi ^0(p_b). \end{aligned}$$
(3)

In [26] the partial wave \(f_1(t)\) was calculated by the \(N/D\) method, with the left-hand cut approximated by \(\rho \)-exchange. In this model, the phase of \(f_1(t)\) exactly compensates the phase of \(F^*_\pi (t)\) in the discontinuity (2), and as a consequence the form factor \(f_{\omega \pi }(t)\) is a real analytic function. However, as discussed in [5], once rescattering effects are taken into account, the phase of the partial wave \(f_1(t)\) no longer coincides with the \(\pi \pi \) P-wave phase shift. More precisely, in the projection onto the P partial wave, the kinematical variables reach regions where the decay

$$\begin{aligned} \omega (p_a,\lambda )\rightarrow \pi ^+(q_1) \, \pi ^-(q_2) \, \pi ^0(-p_b) \end{aligned}$$
(4)

is allowed and rescattering between the final pions including three-pion cuts is possible. As a consequence, the discontinuity (2) is not purely imaginary and the \(\omega \pi \) form factor is not a real analytic function.

In [5] the pion vector form factor has been reconstructed from an Omnès representation [27] using pion–pion phase shifts [28, 29] as input. The partial wave \(f_1\) was calculated in [11] using Khuri–Treiman techniques [30].Footnote 2 Besides not fulfilling a straightforward variant of Watson’s final-state phase relation [31], it also has the peculiarity of showing a singular behavior at the pseudothreshold \(t_-=(m_\omega -m_\pi )^2\), which can be understood perturbatively from the analytic structure of certain non-trivial two-loop Feynman diagrams (see e.g. [32]). Note that this does not imply any singular behavior of \(f_{\omega \pi }(t)\) near \(t_-\): the form factor remains regular on the upper rim of the cut.

The expression (2) is valid in the region \(4 m_\pi ^2\le t< (m_\omega +m_\pi )^2\), since above the \(\omega \pi \) threshold other intermediate states contribute in the unitarity sum. By neglecting these contributions, the form factor was obtained from a once-subtracted dispersion relation [5, 26]

$$\begin{aligned} f_{\omega \pi }(t)= f_{\omega \pi }(0) + \frac{t}{2\pi i}\int _{4 m_\pi ^2}^\infty \frac{ \mathrm{disc}\,{f_{\omega \pi }(t')}}{t'(t-t')}\mathrm{d}t', \end{aligned}$$
(5)

where \(|f_{\omega \pi }(0)|\) is known experimentally from the \(\omega \rightarrow \pi ^0\gamma \) decay rate. The updated value is [33]

$$\begin{aligned} |f_{\omega \pi }(0)|=(2.30 \pm 0.04) \, \text {GeV}^{-1}. \end{aligned}$$
(6)

The recent analysis performed in [5], based on the dispersion relation (5), leads to results that are inconsistent with some experimental data around \(\sqrt{t} \approx 0.6 \, \text {GeV}\) [79]. As discussed above, one questionable point of the theoretical analysis is the extension of the elastic unitarity relation (2) above the (effective) threshold \(t_+=(m_\omega +m_\pi )^2\) of multiparticle production. In the next section we shall show how some information on the modulus of the form factor \(f_{\omega \pi }(t)\) for \(t>t_+\) can be derived from independent sources.

3 Consequences of perturbative QCD, analyticity, and unitarity

Using standard techniques [1223], we start with the QCD vacuum polarization tensor

$$\begin{aligned} \varPi ^{\mu \nu }(q)&= \int \mathrm{d}x\, \mathrm{e}^{iqx} \langle 0 | T[j^\mu (x) j^\nu (0)]|0\rangle \nonumber \\&= \big (q^\mu q^\nu -g^{\mu \nu } q^2\big )\varPi (t),\quad t=q^2, \end{aligned}$$
(7)

where \(j_\mu \) is the isovector part of the electromagnetic current. The first derivative \(\varPi ^{\,\prime }(t)\) of the QCD vacuum polarization amplitude \(\varPi (t)\) satisfies the dispersion relation

$$\begin{aligned} \varPi ^{\,\prime }(t) = \displaystyle \frac{1}{\pi } \int _0^{\infty } \frac{\mathrm{Im}\,\varPi (t' + i\epsilon )}{(t' - t)^2} \,\mathrm{d}t', \end{aligned}$$
(8)

with the spectral function given by the unitarity relation

$$\begin{aligned}&\big (q^\mu q^\nu -g^{\mu \nu } q^2\big )\mathrm{Im}\,\varPi (t+i \epsilon ) \nonumber \\&\quad \!=\!\frac{1}{2} \sum _\varGamma \int \mathrm{d}\rho _\varGamma (2 \pi )^4 \delta ^{(4)}(q\!-\!p_\varGamma ) \langle 0 | j^\mu (0) | \varGamma \rangle \langle \varGamma | j^\nu (0)^\dag | 0 \rangle .\nonumber \\ \end{aligned}$$
(9)

Keeping the \(\pi \pi \) and \(\omega \pi \) intermediate states explicitly (which should dominate the isovector spectral function at low energies), carrying out the two-body phase-space integrals and using the positivity of the spectral function, we obtain the inequality

$$\begin{aligned} \varPi ^{\,\prime }(t)&\ge \int _{4 m_\pi ^2}^\infty w_\pi (t',t) |F_\pi (t')|^2 \mathrm{d}t' \nonumber \\&+ \int _{t_+}^\infty w_{\omega \pi }(t',t) |f_{\omega \pi }(t')|^2 \mathrm{d}t', \end{aligned}$$
(10)

where

$$\begin{aligned} w_\pi (t',t)&= \frac{1}{48 \pi ^2} \frac{ 1 }{(t'-t)^2} \left( 1-\frac{4 m_\pi ^2}{t'}\right) ^{3/2}, \nonumber \\ w_{\omega \pi }(t',t)&= \frac{1}{192 \pi ^2} \frac{t'}{(t'-t)^2} \left( 1-\frac{t_-}{t'}\right) ^{3/2} \left( 1-\frac{t_+}{t'}\right) ^{3/2}.\nonumber \\ \end{aligned}$$
(11)

It is convenient to write (10) as an integral constraint on the modulus of the \(\omega \pi \) form factor as

$$\begin{aligned} \int _{t_+}^\infty w_{\omega \pi }(t',t) |f_{\omega \pi }(t')|^2 \mathrm{d}t' \le I(t), \end{aligned}$$
(12)

where

$$\begin{aligned} I(t)= \varPi ^{\,\prime }(t) - \int _{4 m_\pi ^2}^\infty w_\pi (t',t)|F_\pi (t')|^2 \mathrm{d}t'. \end{aligned}$$
(13)

This quantity can be evaluated for spacelike values \(t\equiv -Q^2<0\) using OPE and perturbative QCD for the correlator \(\varPi ^{\,\prime }(t)\), and the rich information available on the modulus of the pion form factor. The value of \(Q^2\) should be taken large enough such as to ensure the validity of the OPE, and in the same time lead to sufficiently strong bounds. As discussed in [20], a reasonable choice satisfying these requirements is \(Q^2=2\, \text {GeV}^2\). We used perturbative QCD to four loops (see [34] and references therein):

$$\begin{aligned} \varPi ^{\,\prime }_{\text {pert}}(-Q^2)&= \frac{1}{8 \pi ^2 Q^2} \Big (1 + 0.318 \alpha _s + 0.166 \alpha _s^2 \nonumber \\&+ 0.205 \alpha _s^3+ 0.504 \alpha _s^4\Big ), \end{aligned}$$
(14)

where \(\alpha _s\) is the strong coupling at \(Q^2=2\, \text {GeV}^2\). Using as input the value \(\alpha _s(m_\tau ^2)=0.320 \pm 0.020\), which covers most of the recent determinations from hadronic \(\tau \) decays (see for instance [3539]), and the coupling’s running we obtain \(\alpha _s=0.357 \pm 0.025\). This yields for \(\varPi ^{\,\prime }_{\text {pert}}\) the central value \(0.0073 \, \text {GeV}^{-2}\) with an error of about 1.3 %. We also checked that a higher-order term added in (14), taken as \(0.925\alpha _s^5\) according to [35], changes \(\varPi ^{\,\prime }_{\text {pert}}\) by about 1.2 %. The power corrections in the OPE, obtained from [40], bring a small contribution. For instance, using for the gluon condensate the standard value \(\langle \alpha _s G^2\rangle /\pi = 0.012\, \text {GeV}^4\) given in [41, 42], we obtain for its contribution the value \(0.0001 \, \text {GeV}^{-2}\). This leads to \(\varPi ^{\,\prime }(-2\, \text {GeV}^2)=(0.0074 \pm 0.0001) \, \text {GeV}^{-2}\), where the uncertainty includes quadratically the effects of the \(\alpha _s\) uncertainty and the truncation error.

The integral involving the pion electromagnetic form factor can be calculated using in the low-energy region BaBar experimental data [43] and the bounds on \(|F_\pi (t)|\) derived in [44], along with data obtained by BaBar up to \(3\, \text {GeV}\) [43] and a smooth transition to the \(1/t\) decrease predicted by QCD (for details see [44, 45]). This gives for the integral appearing in (13) the value \((0.0033\pm 0.0001) \, \text {GeV}^{-2}\), which leads to

$$\begin{aligned} I\equiv I(-2\, \text {GeV}^2) =( 0.0041 \pm 0.0002) \, \text {GeV}^{-2}. \end{aligned}$$
(15)

From the inequality (12) and the discontinuity (2) adopted in the elastic region of validity \(t<t_+\), we shall obtain bounds on the form factor at points below \(t_+\). The mathematical technique will be explained in the next section.

4 Bounds on \(|f_{\omega \pi }(t)|\) below \(t_+\)

In this section, we sequentially formulate the extremal problem, present its solution, and also discuss the special case of the optimal solution for the case of a real analytic form factor.

4.1 Formulation of an extremal problem

In order to cast the problem into a canonical form, the first step is to map the \(t\) plane cut along \(t\ge t_+\) onto the unit disk \(|z|<1\) in the \(z\equiv \tilde{z}(t)\) plane, by using a suitable conformal mapping. In particular we shall use the mapping

$$\begin{aligned} \tilde{z}(t)=\frac{1-\sqrt{1-t/t_+}}{1+\sqrt{1-t/t_+}}, \end{aligned}$$
(16)

such that the \(\tilde{z}(0)=0\). In the \(z\)-plane the elastic region \(4 m_\pi ^2\le t<t_+\) becomes the segment \(x_\pi \le x<1\) of the real axis, where \(x_\pi =\tilde{z}(4 m_\pi ^2)\), and the upper (lower) edges of the cut \(t>t_+\) become the upper (lower) semicircles.

Further, we shall construct an outer function \(C(z)\), i.e. a function analytic and without zeros in \(|z|<1\), its modulus on \(|z|=1\) being equal to \(\sqrt{w_{\omega \pi }(\tilde{t}(z), -Q^2) |\mathrm{d}\tilde{t}(z)/\mathrm{d}z|}\), where \(\tilde{t}(z)\) is the inverse of (16). The construction of the outer functions is explained in [46] (see also the review [22]). Using the expression (11) of \(w_{\omega \pi }(t, -Q^2)\), we obtain for \(C(z)\) the exact analytic expression

$$\begin{aligned} C(z)&= \frac{(1-z)^{2} (1+z)^{-1/2}}{ 16 \sqrt{6} \pi } \nonumber \\&\times \frac{(1+\tilde{z}(-Q^2))^2 (1-z\, \tilde{z}(t_-))^{3/2}}{ (1-z \,\tilde{z}(-Q^2))^2 (1+\tilde{z}(t_-))^{3/2}}. \end{aligned}$$
(17)

Then the inequality (12), written in terms of the new function \(h(z)\) defined as

$$\begin{aligned} h(z) = C(z)\,f_{\omega \pi }(\tilde{t}(z)), \end{aligned}$$
(18)

becomesFootnote 3

$$\begin{aligned} \displaystyle \frac{1}{2 \pi } \int _0^{2 \pi } \mathrm{d}\theta |h(\mathrm{e}^{i\theta })|^2 \le I, \end{aligned}$$
(19)

where \(\theta =\mathrm{arg}\,z\).

Since \(C(z)\) is real analytic in \(|z|<1\), \(C(x)\) is real for \( x_\pi \le x<1\), and from the definition (18) it follows that we can write

$$\begin{aligned} \mathrm{disc}\,{h(x)} \equiv \varDelta (x)= C(x)\, \mathrm{disc}\,{f_{\omega \pi }(\tilde{t}(x))}, \end{aligned}$$
(20)

where the discontinuity of the form factor is obtained from (2). The function \(h(z)\) can be expressed in terms of its discontinuity as

$$\begin{aligned} h(z)= \frac{1}{2\pi i}\int _{x_\pi }^1 \frac{\varDelta (x)}{x-z} \mathrm{d}x + g(z), \end{aligned}$$
(21)

where the function \(g(z)\) is analytic in \(|z|<1\), as its discontinuity vanishes:

$$\begin{aligned} \mathrm{disc}\,{g(x)}=0, \quad -1<x<1. \end{aligned}$$
(22)

Since we consider in general form factors that are not real analytic, the function \(g(z)\) is analytic, but its values on the real axis may be complex.

We now express the available information on the form factor as a number of constraints on the function \(g\). By inserting (21) in (19) we obtain the condition

$$\begin{aligned} \frac{1}{2 \pi }\int _0^{2 \pi } \mathrm{d}\theta \left| \frac{1}{2\pi i}\int _{x_\pi }^1 \frac{\varDelta (x)}{x- \mathrm{e}^{i\theta }} \mathrm{d}x + g(\mathrm{e}^{i\theta })\right| ^2\le I, \end{aligned}$$
(23)

while using (6) we see that \(g(0)\) has the value

$$\begin{aligned} g(0)= \frac{f_{\omega \pi }(0)}{C(0)}-\frac{1}{2\pi i}\int _{x_\pi }^1 \frac{\varDelta (x)}{x} \mathrm{d}x. \end{aligned}$$
(24)

The problem is to find the maximal allowed range of \(|g(z_1)|\) at an arbitrary given point \(z_1=\tilde{z}(t_1)\) in the interval \((x_\pi , 1)\), for functions \(g(z)\) analytic in \(|z|<1\) and subject both to the boundary condition (23) and the additional constraint (24).

Let us denote

$$\begin{aligned} g(z_1)= \xi , \end{aligned}$$
(25)

where \(\xi \) is an unknown parameter. A simple reasoning (see for instance [25]) shows that the allowed range of \(\xi \) is described by the inequality

$$\begin{aligned} \mu _2^2(\xi ) \le I, \end{aligned}$$
(26)

where \(\mu _2^2(\xi )\) is the solution of the minimization problem

$$\begin{aligned} \mu _2^2(\xi ) \!=\!\min _{g\in \mathcal{G}_\xi } \frac{1}{2 \pi }\int _0^{2 \pi } \mathrm{d}\theta \left| \frac{1}{2\pi i}\int _{x_\pi }^1 \frac{\varDelta (x)}{x- \mathrm{e}^{i\theta }} \mathrm{d}x + g(\mathrm{e}^{i\theta })\right| ^2\nonumber \\ \end{aligned}$$
(27)

on the class \(\mathcal{G}_\xi \) of functions analytic in \(|z|<1\), which satisfy the constraint (24) and the additional condition (25) for a given \(\xi \).

4.2 Solution of the extremal problem

We solve the constrained minimum norm problem (27) by the technique of Lagrange multipliers. We use the fact that the \(L^2\) norm squared of a complex function \(F(\theta )\) given on the boundary of the unit disk is expressed as

$$\begin{aligned} \frac{1}{2 \pi } \int _0^{2 \pi } |F(\theta )|^2 \mathrm{d}\theta =\sum _{n=-\infty }^\infty |F_n|^2 \end{aligned}$$
(28)

in terms of its Fourier coefficients

$$\begin{aligned} F_n= \frac{1}{2 \pi }\int _0^{2 \pi } F(\theta ) \mathrm{e}^{-i n \theta } \mathrm{d}\theta , \quad n \in \mathbb {Z}. \end{aligned}$$
(29)

Therefore, we write the Lagrangian of the constrained minimization problem (27) as

$$\begin{aligned} \mathcal{L}=\sum _{n=1}^\infty |c_n|^2+ \sum _{n=0}^\infty |g_n|^2+\lambda \bigg (\sum _{n=0}^\infty g_n z_1^n-\xi \bigg ), \end{aligned}$$
(30)

where \(c_n\) are the negative-frequency coefficients of the function, which can be written by applying Cauchy’s theorem as

$$\begin{aligned} c_n=-\frac{1}{2 \pi i} \int _{x_\pi }^1 \varDelta (x) x^{n-1} \mathrm{d}x, \quad n\ge 1, \end{aligned}$$
(31)

and \(g_n\) are the positive-frequency coefficients, defined through the Taylor expansion of the analytic function \(g(z)\):

$$\begin{aligned} g(z)=\sum _{n=0}^\infty g_n z^n. \end{aligned}$$
(32)

We must find the minimum of the Lagrangian (30) with respect to the complex parameters \(g_n\), which are free, except \(g_0=g(0)\) which is known from (24). The minimum conditions

$$\begin{aligned} \frac{\partial \mathcal{L}}{\partial g_n^*}=0, \quad n\ge 1, \end{aligned}$$
(33)

have the solutions

$$\begin{aligned} g_n= -\lambda z_1^n,\quad n\ge 1, \end{aligned}$$
(34)

which, introduced in the constraint (25), give the Lagrange multiplier

$$\begin{aligned} \lambda =-\frac{1-z_1^2}{z_1^2}\,(\xi -g(0)) \end{aligned}$$
(35)

and the optimal coefficients

$$\begin{aligned} g_n= (1-z_1^2)(\xi _1 -g(0)) z_1^{n-2},\quad n\ge 1. \end{aligned}$$
(36)

By inserting these coefficients in (30) and performing the summation of the first term, we find the minimum norm

$$\begin{aligned} \mu _2^2(\xi )&= \frac{1}{4 \pi ^2} \int _{x_\pi }^1\int _{x_\pi }^1\frac{\varDelta (x) \varDelta ^*(y)}{1-xy} \mathrm{d}x\,\mathrm{d}y \nonumber \\&+ |g(0)|^2+ \frac{1-z_1^2}{z_1^2}\,|\xi -g(0)|^2. \end{aligned}$$
(37)

Then the inequality (26) can be written in terms of the unknown quantity \(\xi \) as

$$\begin{aligned} |\xi -g(0)|\le \frac{z_1}{\sqrt{1-z_1^2}}\,I', \end{aligned}$$
(38)

where

$$\begin{aligned} I'=\left[ I-\frac{1}{4 \pi ^2} \int _{x_\pi }^1\int _{x_\pi }^1\frac{\varDelta (x) \varDelta ^*(y)}{1-xy} \mathrm{d}x\,\mathrm{d}y - |g(0)|^2\right] ^{1/2}.\nonumber \\ \end{aligned}$$
(39)

By using the definition (25) of \(\xi \) and the relations (18) and (21), we write the inequality (38) as

$$\begin{aligned} \left| f_{\omega \pi }(t_1) C(z_1)\!-\! \frac{1}{2\pi i}\int _{x_\pi }^1 \frac{\varDelta (x)}{x-z_1} \mathrm{d}x \!-\!g(0)\right| \!\le \! \frac{z_1}{\sqrt{1-z_1^2}}\,I',\nonumber \\ \end{aligned}$$
(40)

which leads to upper and lower bounds on \(|f_{\omega \pi }(t_1)|\):

$$\begin{aligned} \begin{aligned} |f_{\omega \pi }(t_1)|&\le \frac{\left| g(0)+\frac{1}{2\pi i}\int _{x_\pi }^1 \frac{\varDelta (x)}{x-z_1} \mathrm{d}x\right| +\frac{z_1 I'}{\sqrt{1-z_1^2}}}{C(z_1)},\\ |f_{\omega \pi }(t_1)|&\ge \frac{\left| g(0)+\frac{1}{2\pi i}\int _{x_\pi }^1 \frac{\varDelta (x)}{x-z_1} \mathrm{d}x\right| -\frac{z_1 I'}{\sqrt{1-z_1^2}}}{C(z_1)}. \end{aligned} \end{aligned}$$
(41)

We have taken into account the fact that \(C(z_1)\) calculated from (17) is positive for real \(z_1\). Using the value of \(g(0)\) from (24) and \(I'\) from (39), with \(\varDelta (x)\) defined in (20), we have all the ingredients to evaluate (41) numerically at an arbitrary point \(t_1<t_+\).

4.3 Optimal solution for real analytic functions

It is of interest to consider in particular the case when the form factor is a real analytic function, i.e. it satisfies \(f_{\omega \pi }(t^*) =(f_{\omega \pi }(t))^*\). A similar, more general, optimization problem for real analytic functions was solved previously in [24, 25] with a slightly different method. Below we shall use the method of Lagrange multipliers applied above, adapting it to real analytic functions. In this case the discontinuity of the form factor across the cut is equal to \( 2 i \,\mathrm{Im}\,f_{\omega \pi } (x+i\epsilon )\), and from (20) we obtain the discontinuity \(\varDelta (x)\) of \(h(x)\) for \(x\in (x_\pi , 1)\) as

$$\begin{aligned} \varDelta (x)=2 i \,\sigma (x), \end{aligned}$$
(42)

where

$$\begin{aligned} \sigma (x)= \mathrm{Im}\,h(x+i\epsilon )= C(x)\ \mathrm{Im}\,f_{\omega \pi }(\tilde{t}(x)+i\epsilon ). \end{aligned}$$
(43)

Moreover, from (21) it follows that the parameter \(\xi \) defined in (25) is real and given by

$$\begin{aligned} \xi =\mathrm{Re}\,h(z_1)- \frac{P}{\pi } \int _{x_\pi }^1 \frac{\sigma (x)}{x-z_1} \mathrm{d}x, \end{aligned}$$
(44)

where \(P\) denotes the Cauchy principal value. Therefore, from (38) we obtain a quadratic inequality with real coefficients for the parameter \(\mathrm{Re}\,h(z_1)\)

$$\begin{aligned} \left( \mathrm{Re}\,h(z_1)- \frac{P}{\pi } \int _{x_\pi }^1 \frac{\sigma (x)}{x-z_1} \mathrm{d}x\!-\!g(0)\right) ^2\!\le \! \frac{z_1^2}{1-z_1^2} I'^2,\quad \end{aligned}$$
(45)

where \(g(0)\) is now real and \(I'\) can be written as

$$\begin{aligned} I'=\left[ I-\frac{1}{\pi ^2} \int _{x_\pi }^1\int _{x_\pi }^1\frac{\sigma (x) \sigma (y)}{1-xy} \mathrm{d}x\,\mathrm{d}y - g(0)^2\right] ^{1/2}. \end{aligned}$$
(46)

From (45) we obtain exact upper and lower bounds on the real part of the form factor:

$$\begin{aligned} \begin{aligned} \mathrm{Re}\,f_{\omega \pi }(t_1)&\le \frac{g(0)+\frac{P}{\pi } \int _{x_\pi }^1 \frac{\sigma (x)}{x-z_1} \mathrm{d}x +\frac{z_1 I'}{\sqrt{1-z_1^2}}}{C(z_1)},\\ \mathrm{Re}\,f_{\omega \pi }(t_1)&\ge \frac{g(0)+\frac{P}{\pi } \int _{x_\pi }^1 \frac{\sigma (x)}{x-z_1} \mathrm{d}x -\frac{z_1 I'}{\sqrt{1-z_1^2}}}{C(z_1)}. \end{aligned} \end{aligned}$$
(47)

We have checked that these bounds follow as particular cases from the more general expressions given in [24, 25]. By combining the bounds (47) with the known value of the imaginary part, we derive bounds on the modulus of the form factor. These bounds are optimal, unlike the bounds given in (41), where the treatment of the modulus in the last step of the derivation amounts to a loss of optimality.

We end this section with a remark that might be useful for improving the bounds. From general arguments [22] and the expressions given above, it follows that the bounds depend monotonically on the value of \(I\) in the \(L^2\)-norm constraint (12): smaller values of \(I\) lead to narrower allowed intervals for \(|f_{\omega \pi }(t)|\!\) at \(t\!\!<\!t_+\). Therefore, the bounds can be made tighter in principle by taking into account more intermediate states, besides the \(\pi \pi \) pairs, in the unitarity relation (9) for the QCD correlator. Many of these are (re)measured exclusively with excellent precision in the ongoing quest to improve on the hadronic vacuum polarization contribution to the muon’s anomalous magnetic moment (see e.g. [47]). The positive contribution of these states can be subtracted from the QCD value of the correlator as in (13), reducing the value of \(I\). To establish the practical effect on the bounds requires further investigations.

5 Results

In the calculation of the bounds we have employed the discontinuity of the \(\omega \pi \) form factor in the range \((4 m_\pi ^2, t_+)\) from two different analyses: the recent dispersive treatment reported in [5] and the older work [26]. For the quantity \(I\) we used the estimate given in (15). It turns out that the value of the form factor at \(t=0\) plays a significant role in producing stringent constraints. Although in principle \(f_{\omega \pi }(0)\) can be complex, we assumed that it only has a small phase which can be neglected [5]. The upper and lower bounds given below were obtained using as input the central value \(f_{\omega \pi }(0)=2.30\, \text {GeV}^{-1}\).

We checked that the bounds are quite stable with respect to the variation of the input: by varying \(f_{\omega \pi }(0)\) inside the error quoted in (6), the upper bounds in the region of interest are changed by at most 2.5 %. Also, the uncertainty of the quantity \(I\) quoted in (15) affects the bounds by at most 2 %. As the experimental errors are currently rather in the 10–20 % range, we refrain from displaying these small variations in the bounds graphically and only discuss the central results.

Our results are presented in Fig. 1, which shows upper and lower bounds on the modulus squared (normalized to its value at \(t=0\)) in the part of the elastic region accessible experimentally in \(\omega \rightarrow \pi ^0\mu ^+\mu ^-\). For the input from [5], when the form factor is not a real analytic function, the bounds on \(|f_{\omega \pi }(t)|\) were calculated using (41). For the input from [26], where rescattering effects are neglected and the form factor is real analytic, we used the optimal bounds (47) on the real part, and combined them with the knowledge of the imaginary part to obtain bounds on the modulus. To assess the loss of optimality inherent in (41), we also show the upper bound calculated with this expression for the input from [26]. One can see that the bounds calculated using (41) are very close to the optimal bounds calculated with (47) for the elastic energy range of interest. For comparison, we also show the result of the dispersive calculation performed in [5], as well as several experimental data from [79].

Fig. 1
figure 1

Upper and lower bounds compared with experimental data on \(|f_{\omega \pi }(t)/f_{\omega \pi }(0)|^2\). Solid red line Bounds calculated using the expressions (41) with input from [5]. Dashed blue Optimal bounds calculated using (47) with input from [26]. The dotted blue line is the upper bound calculated with the same input [26], but using the nonoptimal expression (41). The data are from Lepton-G [7], NA60 (2009) [8], and NA60 (2011) [9]. The yellow band is the result of the dispersive calculation performed in [5]

Figure 1 shows that, although the allowed ranges for the ratio \(|f_{\omega \pi }(t)/f_{\omega \pi }(0)|^2\) calculated with (41) and (47) are rather large, the upper bounds exclude some of the data points from [79] in the region above \(0.6\, \text {GeV}\). Specifically, the exclusion is at the \(4\sigma \) level for the last point (at \(0.63\, \text {GeV}\)) from [9], and at about the \(2\sigma \) level for the other points lying above the upper bounds. On the other hand, the dispersive calculation performed in [5] is situated in the allowed range for the modulus derived here. Note also that in [48, 49], \(f_{\omega \pi }(t)\) has been calculated based on a low-energy effective theory including explicit vector-meson degrees of freedom. We have checked that, although the representation [48, 49] rises more quickly than the dispersive ones [5, 26] and follows the data more closely than most others, it still lies comfortably inside the bounds.

6 Discussion and conclusions

The present study was motivated by the discrepancies noticed recently between the theoretical calculation of the \(\omega \pi \) form factor by a dispersion relation and some of the data reported in [79]. Our aim was to avoid the assumptions made on the discontinuity of the form factor above the threshold \(t_+\), where the elastic unitarity (2) is no longer valid. To this end we have resorted to the formalism of unitarity bounds. The central point of the formalism is the derivation of an integral condition on the modulus squared of the form factor from \(t_+\) to infinity, which can be calculated using OPE and perturbative QCD in the Euclidean region for a suitable correlator, together with unitarity and positivity of the spectral function. In the present case it was convenient to consider the tensor (7) of two isovector currents.Footnote 4 From the integral condition, by using techniques of analytic interpolation theory [46], one can derive bounds on the form factor or its derivatives at points inside the holomorphy domain.

In this work we have considered a modified version of the standard formalism, suitable for including the information available on the \(\omega \pi \) form factor, namely the discontinuity (2) known in the elastic region. For real analytic functions, the bounds (47) are consistent with the more general results given in [24, 25]. We have also derived bounds on the modulus of the form factor in the case when, due to rescattering effects, it is not an analytic function of real type. This is a generalization of the formalism of unitarity bounds, considered for the first time in this paper. The framework is not specific to the \(\omega \pi \) form factor and could easily be adapted to the analysis of other form factors. The derivation uses the maximization of the modulus of a difference of complex numbers in the last step, which implies that strictly speaking the bounds (41) are not optimal. In practice, for the real analytic form factor with the discontinuity from [26], the predictions of (41) are almost indistinguishable from the optimal bounds (47) in the energy region of interest.

The numerical results show that several experimental data around \(0.6\, \text {GeV}\) are situated above the upper bounds derived in the present paper, using two different evaluations of the discontinuity (2) in the elastic region. Having in view the model-independent treatment of the region above the inelastic threshold \(t_+\) adopted in our analysis, the disagreement signals possible problems with the experimental data. Adding to the seeming inconsistency between data on \(f_{\omega \pi }(t\le t_-)\) from \(\omega \rightarrow \pi ^0\ell ^+\ell ^-\) and data on \(f_{\omega \pi }(t\ge t_+)\) from \(\mathrm{e}^+\mathrm{e}^-\rightarrow \omega \pi ^0\) [5052] (see e.g. the compilation in [1] or the continuation of the calculation [5] above \(t_+\) shown in [53]), our results therefore strongly support the desirability of renewed experimental efforts to measure the \(\omega \) conversion decay in a more exclusive setting [54, 55].