TY - JOUR AU - Sasaki,, Kenji AB - Abstract We investigate the HAL QCD potential in |$I=1$||$\pi \pi$| scattering using the hybrid method for all-to-all propagators, in which a propagator is approximated by low eigenmodes, and the remaining high-eigenmode part is stochastically estimated. To verify the applicability of the hybrid method to systems containing quark creation|$/$|annihilation contributions such as the |$\rho$| meson, we calculate the |$I=1$||$\pi\pi$| potential with the |$(2+1)$|-flavor gauge configurations on a |$16^3 \times 32$| lattice with lattice spacing |$a \approx 0.12$| fm and |$(m_{\pi},m_{\rho}) \approx (870, 1230)$| MeV, in which the |$\rho$| meson appears as a deeply bound state. While we find that the naive stochastic evaluations for quark creation|$/$|annihilation contributions lead to extremely large statistical fluctuations, additional noise reduction methods enable us to obtain a sufficiently precise potential, which shows a strong attractive force. We also confirm that the binding energy and |$k^3 \cot \delta$| obtained from our potential are roughly consistent with an existing |$\rho$| meson bound state, within the large systematic error associated with our calculation, whose possible origin is also discussed. 1. Introduction One of the most challenging issues in particle and nuclear physics is to understand hadronic resonances in terms of the fundamental theory of quarks and gluons, quantum chromodynamics (QCD). To achieve this goal, two methods for studying hadron–hadron interactions non-perturbatively in lattice QCD have been employed so far: Lüscher’s finite-volume method [1–3] and the HAL QCD method [4–7]. Lüscher’s finite-volume method enables us to calculate scattering phase shifts directly from finite-volume energy spectra. Pole structures of bound states and resonances can be addressed by the analytic continuation of the S-matrix into the complex energy region, which, however, would require some ansatz for the structure of the S-matrix, in particular for coupled channel systems. Several mesonic resonances, such as the |$\rho$| meson, have been studied in lattice QCD by this method [8, 9]; see also Ref. [10] and the references therein. In the HAL QCD method, on the other hand, energy-independent but non-local potentials of hadron interactions are constructed from the Nambu–Bethe–Salpeter (NBS) wave function calculated in lattice QCD, from which physical observables are extracted afterward. This method has a unique advantage for understanding hadronic resonances from first principles. In this method, once the potential is obtained, one can directly address the pole structure of the S-matrix without any additional model-dependent ansatz. The extension to coupled channel systems, which are often essential to understanding resonances, can be achieved in a straightforward manner [11]. Another strength of this method is that the signal of the potential can be extracted not only from the ground state but also from excited states, which is crucial for reliable calculations for baryon–baryon systems [7,12]. Various interesting results have been reported using this method, for example the identification of the |$Z_c(3900)$| as the threshold cusp effect [13,14], and predictions on the existence of |$\Omega \Omega$| and |$N \Omega$| dibaryons at the physical point [15,16]. At present, however, studies of resonances with the HAL QCD method are restricted due to difficulty in treating all-to-all propagators with reasonable numerical cost and sufficient precision. In our previous attempts [17,18], we utilized the LapH method [19] to treat all-to-all propagators, and it was revealed that the LapH smearing on the sink operator enhances the non-locality of the potential, so that the leading-order approximation in the derivative expansion for the potential becomes insufficient. To establish a more suitable method for all-to-all propagators, we have recently applied the hybrid method [20], which treats all-to-all propagators with a low-eigenmode approximation plus the stochastic estimation for the remaining high modes, to the HAL QCD method [21]. In contrast to the LapH method, the hybrid method can maintain the locality of quark operators since it contains full information of the eigenmodes of the Dirac operator. In Ref. [21], we studied |$I=2$||$\pi \pi$| S-wave scattering with the hybrid method, and we confirmed that the combination of the HAL QCD method and the hybrid method gave us reliable results with better convergence of the derivative expansion, as long as appropriate choices of parameters for the hybrid method have been made. In this paper we apply the hybrid method to the |$I=1$||$\pi \pi$| system and study the |$\rho$| meson. Since all-to-all propagators are mandatory to calculate quark creation|$/$|annihilation contributions, this is the best benchmark system to verify the applicability of the hybrid method. We calculate the potential on the gauge configurations at |$(m_{\pi},m_{\rho}) \approx (870,1230)$| MeV, in which the |$\rho$| meson is not a resonance but a deeply bound state. It is revealed that stochastic estimations in the hybrid method for quark creation|$/$|annihilation contributions greatly enhance the statistical fluctuations of the HAL QCD potential, and therefore we require some additional noise reductions to obtain a sufficiently precise potential. As a consistency check, we calculate the binding energy and |$k^3 \cot \delta$| from the resultant potential, and confirm that a deeply bound |$\rho$| state is reproduced within a somewhat large systematic error. This paper is organized as follows. In Sect. 2 we briefly explain the HAL QCD method and the hybrid method. Details of the simulations in this study are given in Sect. 3. Our main result, the potential of the |$I=1$||$\pi \pi$| system, is presented in Sect. 4. We also discuss physical observables computed by the potential and the origin of their systematic uncertainty here. Our conclusion and the future outlook are given in Sect. 5. 2. Method 2.1. HAL QCD method The fundamental quantity in the HAL QCD method is the NBS wave function, which is defined for the |$I=1$| two-pion system as $$\begin{equation} \psi_{W}({\bf r},\Delta t) = \langle 0| (\pi \pi)_{I=1,I_z=0}({\bf r},0,\Delta t) |\pi \pi;I=1,I_z=0,{\bf k} \rangle, \end{equation}$$(1) where |$|\pi \pi;I=1,I_z=0,{\bf k} \rangle$| is an asymptotic state for the elastic |$I=1$||$\pi \pi$| system in the center-of-mass frame with relative momentum |${\bf k}$|⁠, total energy |$W = 2 \sqrt{m_{\pi}^2 + k^2}$|⁠, and |$ k = \vert {\bf k} \vert$|⁠. The operator |$(\pi \pi)_{I=1,I_z=0}({\bf r},t,\Delta t)$| is a local two-pion operator projected to the |$I=1, I_z=0$| channel, explicitly given by $$\begin{equation} (\pi \pi)_{I=1,I_z=0}({\bf r},t,\Delta t) = \frac{1}{\sqrt{2}} \sum_{\bf x} \{ \pi^{+}({\bf r+x},t+\Delta t) \pi^{-}({\bf x},t) - \pi^{-}({\bf r+x},t+\Delta t) \pi^{+}({\bf x},t) \}, \end{equation}$$(2) where |$\pi^{+}({\bf x},t)$| (⁠|$\pi^{-}({\bf x},t)$|⁠) is the positively (negatively) charged pion operator defined as |$\pi^{+}({\bf x},t) = \bar d({\bf x},t) \gamma_5 u({\bf x},t)$| (⁠|$\pi^{-}({\bf x},t) = \bar u({\bf x},t) \gamma_5 d({\bf x},t)$|⁠) with up and down quark fields |$u({\bf x},t)$| and |$d({\bf x},t)$|⁠. The above definition of the NBS wave function is more general than the equal-time (⁠|$\Delta t =0)$| NBS wave function conventionally employed in the HAL QCD method, where two sink hadron operators are put on the same time slice. In general, the HAL QCD potential depends on the choice of hadron operators in the definition of the NBS wave function; we call this the “scheme” dependence of the potential [17,22]. The potential derived from the NBS wave function with |$\Delta t \not=0$| belongs to the same scheme as the conventional equal-time scheme if we take |$\Delta t \rightarrow 0$| in the continuum limit, while it belongs to a different scheme if we keep physical |$\Delta t$| finite in the continuum limit. Since the calculations in this study are performed only at one lattice spacing, we consider the results from |$\Delta t= 0$| and |$\Delta t \not=0$| as those in two different schemes between which the discretization artifact appears differently. While the potentials are scheme dependent, physical quantities such as phase shifts and binding energies, of course, do not depend on the scheme (up to the discretization errors). On can even take advantage of this arbitrariness by choosing a better scheme so that statistical/systematic errors are minimized. As discussed later, the main reason why we introduce the scheme with non-zero |$\Delta t$| is to reduce statistical fluctuations of the potential for the |$I=1$||$\pi\pi$| system, which are caused by stochastic estimations for all-to-all quark propagators in the hybrid method. As discussed in Refs. [5,23] for the case of the |$\Delta t=0$| scheme, we can show that the radial part of the |$l$|th partial component in the NBS wave function with the non-zero |$\Delta t$| scheme behaves at large |$r = \vert{\bf r}\vert$| as $$\begin{equation} \psi^{l}_{W}(r,\Delta t) \approx A_{l}(\Delta t,{\bf k}) e^{i\delta_l} \frac{\sin(kr-l \pi/2+\delta_l(k))}{kr}, \end{equation}$$(3) where |$A_{l}(\Delta t,{\bf k})$| is an overall factor and |$\delta_l(k)$| is the scattering phase shift, which is equal to the phase of the S-matrix implied by its unitarity. By using this behavior, we can construct an energy-independent but non-local potential through the Schrödinger-type equation as $$\begin{equation} \frac{1}{2 \mu}(\nabla^2 + k^2) \psi_{W}({\bf r},\Delta t) = \int d^3 {\bf r'}\, U_{\Delta t}({\bf r},{\bf r'})\psi_{W}({\bf r'},\Delta t), \end{equation}$$(4) where |$\mu = m_{\pi}/2$| is a reduced mass of two pions, and a subscript |$\Delta t$| of |$U$| represents the scheme for the potential. In practice, the non-locality of the potential is treated by the derivative expansion as $$\begin{equation} U_{\Delta t} ({\bf r},{\bf r'}) = \big(V_{\Delta t}^{\rm LO} (r) + V_{\Delta t}^{\rm NLO}(r) \nabla^2 + {\mathcal O}(\nabla^4)\big) \delta({\bf r-r'}). \end{equation}$$(5) The normalized |$\pi\pi$| correlation function, numerically calculable in lattice QCD, is related to the NBS wave functions as $$\begin{equation} R({\bf r},t,\Delta t) \equiv \frac{F({\bf r},t,\Delta t)}{C(t)^2} \approx \sum_n {B_n} \psi_{W_n}({\bf r},\Delta t) e^{-(W_n - 2m_{\pi}) t} + \cdots , \end{equation}$$(6) where |$W_n$| and |$B_n$| are the energy and overlap factor of the |$n$|th excited elastic state, and the ellipsis indicates inelastic contributions. Here, |$C(t)$| and |$F({\bf r},t,\Delta t)$| are |$\pi$| and |$\pi\pi$| correlation functions defined by $$\begin{eqnarray} C(t) &=& \sum_{{\bf x,y},t_0}\langle \pi^{-}({\bf x},t+t_0) \pi^{+}({\bf y},t_0) \rangle , \\ \end{eqnarray}$$(7) $$\begin{eqnarray} F({\bf r},t,\Delta t) &=& \sum_{t_0} \langle (\pi \pi)_{I=1,I_z=0}({\bf r},t+t_0,\Delta t) {\mathcal J}^{T_1^-}_{I=1,I_z=0}(t_0) \rangle, \end{eqnarray}$$(8) where |${\mathcal J}^{T_1^-}_{I=1,I_z=0}(t_0)$| is a source operator which creates |$I=1$| and |$I_z=0$||$\pi \pi$| scattering states in the |$T_1^-$| representation. Among several choices for the source operator, we take a |$\rho$|-type source operator in our study, given by $$\begin{equation} \label{eq:rho-src} {\mathcal J}^{T_1^-}_{\rho;I=1,I_z=0}(t_0) = \sum_{\bf x} \bar \rho^0_3 ({\bf x},t), \end{equation}$$(9) where |$\rho^0_i$| is the neutral |$\rho$| meson operator, |$\rho^0_i = \bar u \gamma_i u - \bar d \gamma_i d$|⁠. Since this source operator strongly overlaps with the |$\rho$| meson state, we expect that the truncation error of the derivative expansion in the effective leading-order analysis is suppressed around the mass of the |$\rho$| meson. The normalized correlation function |$R({\bf r},t,\Delta t)$| satisfies [7] $$\begin{equation} \label{eq:timedepHAL} \left[ \frac{\nabla^2}{m_{\pi}} -\frac{\partial}{\partial t} + \frac{1}{4m_{\pi}} \frac{\partial^2}{\partial t^2} \right] R({\bf r},t,\Delta t) = \int d^3{\bf r'} U_{\Delta t}({\bf r},{\bf r'}) R({\bf r'},t,\Delta t) \end{equation}$$(10) at a sufficiently large |$t$| where inelastic contributions in |$R({\bf r},t,\Delta t)$| become negligible. From Eq. (10), the effective leading-order (LO) potential is obtained as $$\begin{equation} V_{\Delta t}^{\rm LO}(r) = \frac{\left[ \dfrac{\nabla^2}{m_{\pi}} -\dfrac{\partial}{\partial t} + \dfrac{1}{4m_{\pi}} \dfrac{\partial^2}{\partial t^2} \right] R({\bf r},t,\Delta t)}{R({\bf r},t,\Delta t)}. \end{equation}$$(11) Using the rotational invariance of the potential, we can rewrite the above definition to improve signals as [24] $$\begin{equation} V_{\Delta t}^{\rm LO}(r) = \frac{ \sum_{g\in O_h} R^{\dagger}(g{\bf r},t,\Delta t) \left[ \dfrac{\nabla^2}{m_{\pi}} -\dfrac{\partial}{\partial t} + \dfrac{1}{4m_{\pi}} \dfrac{\partial^2}{\partial t^2} \right] R(g{\bf r},t,\Delta t)}{\sum_{g\in O_h} R^{\dagger}(g{\bf r},t,\Delta t) R(g{\bf r},t,\Delta t)}, \end{equation}$$(12) where |$O_h$| is the cubic rotation group. We also note that we employ the fourth-order difference approximation for |$\nabla^2$| to reduce discretization errors at short distances, since it turns out that physical observables in the deeply bound system are sensitive to the potential at short distances. 2.2. All-to-all propagator: the hybrid method In this subsection we briefly explain the hybrid method, a technique for the all-to-all propagator calculation employed in this study. Let us consider the spectral decomposition of the quark propagator as $$\begin{equation} D^{-1}(x,y) = \sum_{i=0}^{N-1} \frac{1}{\lambda_i} v^{(i)}(x) \otimes v^{\dagger(i)}(y) \gamma_5, \end{equation}$$(13) where |$v^{(i)}(x)$| and |$ \lambda_i$| are eigenvectors and eigenvalues of the Hermitian Dirac operator |$H=\gamma_5 D$|⁠, respectively, with |$N$| being the total number of eigenmodes, and color and spinor indices are implicit for simplicity. We assume here that |$|\lambda_i| \le |\lambda_j|$| for |$i < j$|⁠. The low-eigenmode approximation for the propagator with the spectral decomposition is introduced as $$\begin{equation} D_0^{-1}(x,y) = \sum_{i=0}^{N_{\rm eig}-1} \frac{1}{\lambda_i} v^{(i)}(x) \otimes v^{\dagger(i)}(y) \gamma_5, \qquad N_{\rm eig}