Gravitational form factors of glueballs in Yang-Mills theory

Ryan Abbott    Daniel C. Hackett    Dimitra A. Pefkou    Fernando Romero-López    Phiala Shanahan
Abstract

This work presents preliminary results of the first determination of the energy-momentum tensor form factors of the scalar glueball, referred to as gravitational form factors (GFFs). The calculation has been carried out in lattice Yang-Mills theory at a single lattice spacing. Using variationally optimized operators, the matrix elements are extracted from ratios of three-point functions to two-point functions. The glueball GFFs and their kinematic dependence are compared to those of other hadrons from previous calculations.

1 Introduction

The potential existence of glueballs—hadronic states with purely gluonic degrees of freedom—has been speculated since the inception of quantum chromodynamics (QCD) [1]. Nowadays, there are multiple experimental candidates for various glueball states with allowed quantum numbers JPC=0++,0+,1++,1+,1,2++superscript𝐽𝑃𝐶superscript0absentsuperscript0absentsuperscript1absentsuperscript1absentsuperscript1absentsuperscript2absentJ^{PC}=0^{++},0^{-+},1^{++},1^{+-},1^{--},2^{++}italic_J start_POSTSUPERSCRIPT italic_P italic_C end_POSTSUPERSCRIPT = 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT , 0 start_POSTSUPERSCRIPT - + end_POSTSUPERSCRIPT , 1 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT , 1 start_POSTSUPERSCRIPT + - end_POSTSUPERSCRIPT , 1 start_POSTSUPERSCRIPT - - end_POSTSUPERSCRIPT , 2 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT, etc. [2, 3, 4, 5, 6, 7]. Lattice QCD calculations of the glueball spectrum have provided indispensable inputs to this search [8]—see Ref. [9] for a review. However, conclusive identification of observed hadrons as glueballs or glueball-like remains challenging, calling for further theory predictions of the properties of these states to compare against.

Information about the internal structure of hadrons may allow classification of observed hadron states as glueball-like objects. Features like their radius, or the momentum fraction carried by gluons, could serve as smoking-gun evidence of a hadron having predominantly gluonic degrees of freedom. Both of these quantities, as well as additional information like the energy distribution, are contained in their gravitational form factors (GFFs), which are defined from the matrix elements of the energy-momentum tensor (EMT) Tμνsuperscript𝑇𝜇𝜈T^{\mu\nu}italic_T start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT of QCD [10, 11, 12, 13]. These matrix elements, and consequently the glueball GFFs, can in principle be determined using lattice QCD.

In this work, we take a step in this direction by studying the GFFs of the scalar glueball G[0++]𝐺delimited-[]superscript0absentG[0^{++}]italic_G [ 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT ] in SU(3)𝑆𝑈3SU(3)italic_S italic_U ( 3 ) Yang-Mills theory.111There is one previous attempt in literature to obtain form factors of a G[0++]𝐺delimited-[]superscript0absentG[0^{++}]italic_G [ 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT ] state, using an SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) pure gauge action and a plaquette as the probe [14]. With a pure gauge action, the EMT contains only a gluonic contribution Tμν=2Tr[FαμFαν+14gμνFαβFαβ]superscript𝑇𝜇𝜈2Trdelimited-[]subscriptsuperscript𝐹𝜇𝛼superscript𝐹𝛼𝜈14superscript𝑔𝜇𝜈superscript𝐹𝛼𝛽subscript𝐹𝛼𝛽{T^{\mu\nu}=2\;\text{Tr}[-F^{\mu}_{\alpha}F^{\alpha\nu}+\frac{1}{4}g^{\mu\nu}F% ^{\alpha\beta}F_{\alpha\beta}]}italic_T start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = 2 Tr [ - italic_F start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT italic_α italic_ν end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT italic_F start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT ], where Fμνsuperscript𝐹𝜇𝜈F^{\mu\nu}italic_F start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT is the gluon strength tensor. A scalar glueball has two GFFs, A(t)𝐴𝑡A(t)italic_A ( italic_t ) and D(t)𝐷𝑡D(t)italic_D ( italic_t ), defined in the EMT matrix element decomposition as

G[0++](p)|Tμν|G[0++](p)=2PμPνA(t)+ΔμΔνgμνΔ22D(t),quantum-operator-product𝐺delimited-[]superscript0absentsuperscript𝑝superscript𝑇𝜇𝜈𝐺delimited-[]superscript0absent𝑝2superscript𝑃𝜇superscript𝑃𝜈𝐴𝑡superscriptΔ𝜇superscriptΔ𝜈superscript𝑔𝜇𝜈superscriptΔ22𝐷𝑡\left\langle G[0^{++}](p^{\prime})\right|T^{\mu\nu}\left|G[0^{++}](p)\right% \rangle=2P^{\mu}P^{\nu}A(t)+\frac{\Delta^{\mu}\Delta^{\nu}-g^{\mu\nu}\Delta^{2% }}{2}D(t)\;,⟨ italic_G [ 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT ] ( italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) | italic_T start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT | italic_G [ 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT ] ( italic_p ) ⟩ = 2 italic_P start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_P start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_A ( italic_t ) + divide start_ARG roman_Δ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT roman_Δ start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT - italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_D ( italic_t ) , (1)

where p𝑝pitalic_p and psuperscript𝑝p^{\prime}italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT are the four-momenta of the incoming and outgoing states, P=(p+p)/2𝑃𝑝superscript𝑝2P=(p+p^{\prime})/2italic_P = ( italic_p + italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) / 2, Δ=ppΔsuperscript𝑝𝑝\Delta=p^{\prime}-proman_Δ = italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - italic_p, and t=Δ2𝑡superscriptΔ2t=\Delta^{2}italic_t = roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. The momentum sum rule dictates that A(0)=1𝐴01A(0)=1italic_A ( 0 ) = 1, while D(0)𝐷0D(0)italic_D ( 0 ), also known as the D𝐷Ditalic_D-term, is unconstrained.

2 Lattice setup

The results in this work are obtained from a single lattice ensemble on volume L3×T=243×48superscript𝐿3𝑇superscript24348L^{3}\times T=24^{3}\times 48italic_L start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT × italic_T = 24 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT × 48 for the purely gluonic theory defined with the SU(3)𝑆𝑈3SU(3)italic_S italic_U ( 3 ) Wilson gauge action with β=5.95𝛽5.95\beta=5.95italic_β = 5.95. Setting the scale with the Sommer parameter gives a=0.098𝑎0.098a=0.098italic_a = 0.098 fm [15, 16]. We generate 𝒪(107)𝒪superscript107\mathcal{O}(10^{7})caligraphic_O ( 10 start_POSTSUPERSCRIPT 7 end_POSTSUPERSCRIPT ) configurations using 𝒪(105)𝒪superscript105\mathcal{O}(10^{5})caligraphic_O ( 10 start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT ) independent streams of heatbath and overrelaxation [17, 18, 19, 20, 21]. On each configuration, we measure correlation functions constructed using two interpolating operators:

χ1(x)=14μνReTrUμν2(x),χ2(x)=14μνReTrUμν7(x),formulae-sequencesubscript𝜒1𝑥14subscript𝜇𝜈ReTrsubscriptsuperscript𝑈2𝜇𝜈𝑥subscript𝜒2𝑥14subscript𝜇𝜈ReTrsubscriptsuperscript𝑈7𝜇𝜈𝑥\chi_{1}(x)=\frac{1}{4}\sum_{\mu\neq\nu}\text{ReTr}\,U^{2}_{\mu\nu}(x),\quad% \chi_{2}(x)=\frac{1}{4}\sum_{\mu\neq\nu}\text{ReTr}\,U^{7}_{\mu\nu}(x)\;,italic_χ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_x ) = divide start_ARG 1 end_ARG start_ARG 4 end_ARG ∑ start_POSTSUBSCRIPT italic_μ ≠ italic_ν end_POSTSUBSCRIPT ReTr italic_U start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT ( italic_x ) , italic_χ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_x ) = divide start_ARG 1 end_ARG start_ARG 4 end_ARG ∑ start_POSTSUBSCRIPT italic_μ ≠ italic_ν end_POSTSUBSCRIPT ReTr italic_U start_POSTSUPERSCRIPT 7 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT ( italic_x ) , (2)

where μ,ν{x,y,z}𝜇𝜈𝑥𝑦𝑧\mu,\nu\in\{x,y,z\}italic_μ , italic_ν ∈ { italic_x , italic_y , italic_z }, and Uμνnsubscriptsuperscript𝑈𝑛𝜇𝜈U^{n}_{\mu\nu}italic_U start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT is an n×n𝑛𝑛n\times nitalic_n × italic_n Wilson loop constructed from links stout-smeared [22] by 3 steps in spatial directions only. The absence of fermionic fields in the operators allows computing and working directly with interpolators of definite three-momentum p𝑝\vec{p}over→ start_ARG italic_p end_ARG, defined from Eq. (2) with their vacuum expectations subtracted as

χi(p,t)=xeipx[χi(x,t)χi(x,t)].subscript𝜒𝑖𝑝𝑡subscript𝑥superscript𝑒𝑖𝑝𝑥delimited-[]subscript𝜒𝑖𝑥𝑡expectationsubscript𝜒𝑖𝑥𝑡\chi_{i}(\vec{p},t)=\sum_{\vec{x}}e^{-i\vec{p}\cdot\vec{x}}\left[\chi_{i}(\vec% {x},t)-\braket{\chi_{i}(\vec{x},t)}\right].italic_χ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG , italic_t ) = ∑ start_POSTSUBSCRIPT over→ start_ARG italic_x end_ARG end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i over→ start_ARG italic_p end_ARG ⋅ over→ start_ARG italic_x end_ARG end_POSTSUPERSCRIPT [ italic_χ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( over→ start_ARG italic_x end_ARG , italic_t ) - ⟨ start_ARG italic_χ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( over→ start_ARG italic_x end_ARG , italic_t ) end_ARG ⟩ ] . (3)

The summations over μ,ν𝜇𝜈\mu,\nuitalic_μ , italic_ν in Eq. (2) project to the A1+superscriptsubscript𝐴1A_{1}^{+}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT (rest frame) or A1subscript𝐴1A_{1}italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT (moving frames) irreducible representation (irrep) of the finite-volume symmetry group, and taking the real part projects to positive charge conjugation quantum numbers. The lowest-energy state excited by these interpolators is the positive parity 0++superscript0absent0^{++}0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT glueball. However, above the 0++superscript0absent0^{++}0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT ground state, the spectrum may also include glueballs with other quantum numbers, e.g. tensor or pseudoscalar glueballs, or multi-glueball or ditorelon states, depending on the momentum frame.

We use the clover definition of Fμνsubscript𝐹𝜇𝜈F_{\mu\nu}italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT,

Fμν(x)=i8g0(Qμν(x)Qμν(x)),subscript𝐹𝜇𝜈𝑥𝑖8subscript𝑔0subscript𝑄𝜇𝜈𝑥subscriptsuperscript𝑄𝜇𝜈𝑥F_{\mu\nu}(x)=\frac{i}{8g_{0}}(Q_{\mu\nu}(x)-Q^{\dagger}_{\mu\nu}(x))\;,italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT ( italic_x ) = divide start_ARG italic_i end_ARG start_ARG 8 italic_g start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ( italic_Q start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT ( italic_x ) - italic_Q start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT ( italic_x ) ) , (4)

where

Qμν(x)=Uμ(x)Uν(x+μ^)Uμ(x+ν^)Uν(x)+Uν(x)Uμ(xμ^+ν^)Uν(xμ^)Uμ(xμ^)+Uμ(xμ^)Uν(xμ^ν^)Uμ(xμ^ν^)Uν(xν^)+Uν(xν^)Uμ(xν^)Uν(xν^+μ^)Uμ(x)subscript𝑄𝜇𝜈𝑥subscript𝑈𝜇𝑥subscript𝑈𝜈𝑥^𝜇subscriptsuperscript𝑈𝜇𝑥^𝜈subscriptsuperscript𝑈𝜈𝑥subscript𝑈𝜈𝑥superscriptsubscript𝑈𝜇𝑥^𝜇^𝜈superscriptsubscript𝑈𝜈𝑥^𝜇subscript𝑈𝜇𝑥^𝜇subscriptsuperscript𝑈𝜇𝑥^𝜇subscriptsuperscript𝑈𝜈𝑥^𝜇^𝜈subscript𝑈𝜇𝑥^𝜇^𝜈subscript𝑈𝜈𝑥^𝜈subscriptsuperscript𝑈𝜈𝑥^𝜈subscript𝑈𝜇𝑥^𝜈subscript𝑈𝜈𝑥^𝜈^𝜇subscriptsuperscript𝑈𝜇𝑥\begin{split}Q_{\mu\nu}(x)=&U_{\mu}(x)U_{\nu}(x+\hat{\mu})U^{\dagger}_{\mu}(x+% \hat{\nu})U^{\dagger}_{\nu}(x)\\ +&U_{\nu}(x)U_{\mu}^{\dagger}(x-\hat{\mu}+\hat{\nu})U_{\nu}^{\dagger}(x-\hat{% \mu})U_{\mu}(x-\hat{\mu})\\ +&U^{\dagger}_{\mu}(x-\hat{\mu})U^{\dagger}_{\nu}(x-\hat{\mu}-\hat{\nu})U_{\mu% }(x-\hat{\mu}-\hat{\nu})U_{\nu}(x-\hat{\nu})\\ +&U^{\dagger}_{\nu}(x-\hat{\nu})U_{\mu}(x-\hat{\nu})U_{\nu}(x-\hat{\nu}+\hat{% \mu})U^{\dagger}_{\mu}(x)\end{split}start_ROW start_CELL italic_Q start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT ( italic_x ) = end_CELL start_CELL italic_U start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_x ) italic_U start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_x + over^ start_ARG italic_μ end_ARG ) italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_x + over^ start_ARG italic_ν end_ARG ) italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_x ) end_CELL end_ROW start_ROW start_CELL + end_CELL start_CELL italic_U start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_x ) italic_U start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_x - over^ start_ARG italic_μ end_ARG + over^ start_ARG italic_ν end_ARG ) italic_U start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_x - over^ start_ARG italic_μ end_ARG ) italic_U start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_x - over^ start_ARG italic_μ end_ARG ) end_CELL end_ROW start_ROW start_CELL + end_CELL start_CELL italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_x - over^ start_ARG italic_μ end_ARG ) italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_x - over^ start_ARG italic_μ end_ARG - over^ start_ARG italic_ν end_ARG ) italic_U start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_x - over^ start_ARG italic_μ end_ARG - over^ start_ARG italic_ν end_ARG ) italic_U start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_x - over^ start_ARG italic_ν end_ARG ) end_CELL end_ROW start_ROW start_CELL + end_CELL start_CELL italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_x - over^ start_ARG italic_ν end_ARG ) italic_U start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_x - over^ start_ARG italic_ν end_ARG ) italic_U start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_x - over^ start_ARG italic_ν end_ARG + over^ start_ARG italic_μ end_ARG ) italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_x ) end_CELL end_ROW (5)

to construct the EMT, and compute it from links stout-smeared in all directions by 3 steps. Vacuum-subtracted and projected to definite three-momentum ΔΔ\vec{\Delta}over→ start_ARG roman_Δ end_ARG, the operators of interest are

T(Δ,τ)=yeiΔy[T(y,τ)T(y,τ)]subscript𝑇Δ𝜏subscript𝑦superscript𝑒𝑖Δ𝑦delimited-[]subscript𝑇𝑦𝜏expectationsubscript𝑇𝑦𝜏T_{\mathcal{R}\ell}(\vec{\Delta},\tau)=\sum_{\vec{y}}e^{i\vec{\Delta}\cdot\vec% {y}}\left[T_{\mathcal{R}\ell}(\vec{y},\tau)-\braket{T_{\mathcal{R}\ell}(\vec{y% },\tau)}\right]italic_T start_POSTSUBSCRIPT caligraphic_R roman_ℓ end_POSTSUBSCRIPT ( over→ start_ARG roman_Δ end_ARG , italic_τ ) = ∑ start_POSTSUBSCRIPT over→ start_ARG italic_y end_ARG end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i over→ start_ARG roman_Δ end_ARG ⋅ over→ start_ARG italic_y end_ARG end_POSTSUPERSCRIPT [ italic_T start_POSTSUBSCRIPT caligraphic_R roman_ℓ end_POSTSUBSCRIPT ( over→ start_ARG italic_y end_ARG , italic_τ ) - ⟨ start_ARG italic_T start_POSTSUBSCRIPT caligraphic_R roman_ℓ end_POSTSUBSCRIPT ( over→ start_ARG italic_y end_ARG , italic_τ ) end_ARG ⟩ ] (6)

where {τ1(3),τ3(6)}superscriptsubscript𝜏13superscriptsubscript𝜏36\mathcal{R}\in\{\tau_{1}^{(3)},\tau_{3}^{(6)}\}caligraphic_R ∈ { italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 3 ) end_POSTSUPERSCRIPT , italic_τ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 6 ) end_POSTSUPERSCRIPT } denotes the irrep of the hypercubic group that the symmetric traceless Tμνsubscript𝑇𝜇𝜈T_{\mu\nu}italic_T start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT is subduced to in Euclidean space and \ellroman_ℓ indexes the irrep bases. We use the same complete orthonormal irrep bases [23] as in previous works on GFFs, e.g., Refs. [24, 25, 26, 27, 28, 29], i.e.,

Tτ1,1(3)=12(T00+T11T33+T00),Tτ1,2(3)=12(T11T22),Tτ1,3(3)=12(T33+T00),formulae-sequencesubscript𝑇superscriptsubscript𝜏11312subscript𝑇00subscript𝑇11subscript𝑇33subscript𝑇00formulae-sequencesubscript𝑇superscriptsubscript𝜏12312subscript𝑇11subscript𝑇22subscript𝑇superscriptsubscript𝜏13312subscript𝑇33subscript𝑇00\begin{split}T_{\tau_{1,1}^{(3)}}&=\frac{1}{2}(T_{00}+T_{11}-T_{33}+T_{00}),\\ T_{\tau_{1,2}^{(3)}}=\frac{1}{\sqrt{2}}&(T_{11}-T_{22}),\;T_{\tau_{1,3}^{(3)}}% =\frac{1}{\sqrt{2}}(T_{33}+T_{00})\;,\end{split}start_ROW start_CELL italic_T start_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 1 , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 3 ) end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_CELL start_CELL = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_T start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT + italic_T start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT - italic_T start_POSTSUBSCRIPT 33 end_POSTSUBSCRIPT + italic_T start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ) , end_CELL end_ROW start_ROW start_CELL italic_T start_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 3 ) end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG end_CELL start_CELL ( italic_T start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT - italic_T start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT ) , italic_T start_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 1 , 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 3 ) end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_T start_POSTSUBSCRIPT 33 end_POSTSUBSCRIPT + italic_T start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ) , end_CELL end_ROW (7)

for τ1(3)superscriptsubscript𝜏13\tau_{1}^{(3)}italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 3 ) end_POSTSUPERSCRIPT and

Tτ3,1(6)=12(T12+T21),Tτ3,2(6)=12(T13+T31),Tτ3,3(6)=i2(T10+T01),Tτ3,4(6)=12(T23+T32),Tτ3,5(6)=i2(T20+T02),Tτ3,6(6)=i2(T30+T03),formulae-sequencesubscript𝑇superscriptsubscript𝜏31612subscript𝑇12subscript𝑇21formulae-sequencesubscript𝑇superscriptsubscript𝜏32612subscript𝑇13subscript𝑇31formulae-sequencesubscript𝑇superscriptsubscript𝜏336𝑖2subscript𝑇10subscript𝑇01formulae-sequencesubscript𝑇superscriptsubscript𝜏34612subscript𝑇23subscript𝑇32formulae-sequencesubscript𝑇superscriptsubscript𝜏356𝑖2subscript𝑇20subscript𝑇02subscript𝑇superscriptsubscript𝜏366𝑖2subscript𝑇30subscript𝑇03\begin{split}T_{\tau_{3,1}^{(6)}}=\frac{1}{\sqrt{2}}(T_{12}+T_{21}),&\;T_{\tau% _{3,2}^{(6)}}=\frac{1}{\sqrt{2}}(T_{13}+T_{31})\;,\\ T_{\tau_{3,3}^{(6)}}=\frac{-i}{\sqrt{2}}(T_{10}+T_{01}),&\;T_{\tau_{3,4}^{(6)}% }=\frac{1}{\sqrt{2}}(T_{23}+T_{32})\;,\\ T_{\tau_{3,5}^{(6)}}=\frac{-i}{\sqrt{2}}(T_{20}+T_{02}),&\;T_{\tau_{3,6}^{(6)}% }=\frac{-i}{\sqrt{2}}(T_{30}+T_{03})\;,\end{split}start_ROW start_CELL italic_T start_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 3 , 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 6 ) end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_T start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT + italic_T start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT ) , end_CELL start_CELL italic_T start_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 3 , 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 6 ) end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_T start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT + italic_T start_POSTSUBSCRIPT 31 end_POSTSUBSCRIPT ) , end_CELL end_ROW start_ROW start_CELL italic_T start_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 3 , 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 6 ) end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG - italic_i end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_T start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT + italic_T start_POSTSUBSCRIPT 01 end_POSTSUBSCRIPT ) , end_CELL start_CELL italic_T start_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 3 , 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 6 ) end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_T start_POSTSUBSCRIPT 23 end_POSTSUBSCRIPT + italic_T start_POSTSUBSCRIPT 32 end_POSTSUBSCRIPT ) , end_CELL end_ROW start_ROW start_CELL italic_T start_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 3 , 5 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 6 ) end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG - italic_i end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_T start_POSTSUBSCRIPT 20 end_POSTSUBSCRIPT + italic_T start_POSTSUBSCRIPT 02 end_POSTSUBSCRIPT ) , end_CELL start_CELL italic_T start_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 3 , 6 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 6 ) end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG - italic_i end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( italic_T start_POSTSUBSCRIPT 30 end_POSTSUBSCRIPT + italic_T start_POSTSUBSCRIPT 03 end_POSTSUBSCRIPT ) , end_CELL end_ROW (8)

for τ3(6)superscriptsubscript𝜏36\tau_{3}^{(6)}italic_τ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 6 ) end_POSTSUPERSCRIPT, both written in Minkowski space.

3 Glueball spectrum

The analysis begins by determining the spectrum and constructing optimized ground-state interpolating operators. To proceed, we compute 2×2222\times 22 × 2 matrices of momentum-projected, vacuum-subtracted two-point functions averaged over all timeslices

Cij2pt(p,t)=1Tt0χi(p,t+t0)χj(p,t0)subscriptsuperscript𝐶2pt𝑖𝑗𝑝𝑡1𝑇subscriptsubscript𝑡0expectationsubscript𝜒𝑖𝑝𝑡subscript𝑡0subscript𝜒𝑗superscript𝑝subscript𝑡0C^{2\text{pt}}_{ij}(\vec{p},t)=\frac{1}{T}\sum_{t_{0}}\braket{\chi_{i}(\vec{p}% ,t+t_{0})\,\chi_{j}(\vec{p},t_{0})^{\dagger}}italic_C start_POSTSUPERSCRIPT 2 pt end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG , italic_t ) = divide start_ARG 1 end_ARG start_ARG italic_T end_ARG ∑ start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⟨ start_ARG italic_χ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG , italic_t + italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) italic_χ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG , italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_ARG ⟩ (9)

for all |p|26(2π/L)2superscript𝑝26superscript2𝜋𝐿2\left|\vec{p}\right|^{2}\leq 6(2\pi/L)^{2}| over→ start_ARG italic_p end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ 6 ( 2 italic_π / italic_L ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT on 200 bootstrap ensembles after binning the 𝒪(107)𝒪superscript107\mathcal{O}(10^{7})caligraphic_O ( 10 start_POSTSUPERSCRIPT 7 end_POSTSUPERSCRIPT ) configurations into groups of 1000100010001000. We average over equivalent momenta to obtain two-point functions for the 7 distinct |p|2superscript𝑝2|\vec{p}|^{2}| over→ start_ARG italic_p end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. For each |p|2superscript𝑝2\left|\vec{p}\right|^{2}| over→ start_ARG italic_p end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, we then solve the generalized eigenvalue problem (GEVP) to extract the ground state, which we identify as the scalar glueball. Employed in a “fixed pivot” mode with t0=1subscript𝑡01t_{0}=1italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 1 and diagonalization time td=3subscript𝑡𝑑3t_{d}=3italic_t start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT = 3, the GEVP provides 7 sets of weights wij(|p|2)subscript𝑤𝑖𝑗superscript𝑝2w_{ij}{(|\vec{p}|^{2})}italic_w start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( | over→ start_ARG italic_p end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ), one for each distinct |p|2superscript𝑝2|\vec{p}|^{2}| over→ start_ARG italic_p end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, which we use to construct optimized interpolators

χ0(p,t)=iw0i(|p|2)χi(p,t).subscript𝜒0𝑝𝑡subscript𝑖subscript𝑤0𝑖superscript𝑝2subscript𝜒𝑖𝑝𝑡\chi_{0}(\vec{p},t)=\sum_{i}w_{0i}{(|\vec{p}|^{2})}\chi_{i}(\vec{p},t).italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG , italic_t ) = ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT 0 italic_i end_POSTSUBSCRIPT ( | over→ start_ARG italic_p end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_χ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG , italic_t ) . (10)

From these, two-point functions are obtained as

C0++2pt(p,t)=1Tt0χ0(p,t+t0)χ0(p,t0)=i,jw0i(|p|2)Cij2pt(p,t)w0j(|p|2),superscriptsubscript𝐶superscript0absent2pt𝑝𝑡1𝑇subscriptsubscript𝑡0expectationsubscript𝜒0𝑝𝑡subscript𝑡0subscript𝜒0superscript𝑝subscript𝑡0subscript𝑖𝑗subscript𝑤0𝑖superscript𝑝2subscriptsuperscript𝐶2pt𝑖𝑗𝑝𝑡subscriptsuperscript𝑤0𝑗superscript𝑝2C_{0^{++}}^{2\text{pt}}(\vec{p},t)=\frac{1}{T}\sum_{t_{0}}\braket{\chi_{0}(% \vec{p},t+t_{0})~{}\chi_{0}(\vec{p},t_{0})^{\dagger}}=\sum_{i,j}w_{0i}(|\vec{p% }|^{2})\,C^{2\mathrm{pt}}_{ij}(\vec{p},t)\,w^{*}_{0j}(|\vec{p}|^{2}),italic_C start_POSTSUBSCRIPT 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 pt end_POSTSUPERSCRIPT ( over→ start_ARG italic_p end_ARG , italic_t ) = divide start_ARG 1 end_ARG start_ARG italic_T end_ARG ∑ start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⟨ start_ARG italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG , italic_t + italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG , italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_ARG ⟩ = ∑ start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT 0 italic_i end_POSTSUBSCRIPT ( | over→ start_ARG italic_p end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_C start_POSTSUPERSCRIPT 2 roman_p roman_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG , italic_t ) italic_w start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 italic_j end_POSTSUBSCRIPT ( | over→ start_ARG italic_p end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (11)

labeled by the quantum numbers of the scalar glueball. Figure 1 compares the ground-state energies extracted using GEVP-optimized interpolators versus the individual interpolators in the basis.

Refer to caption
Figure 1: Effective energies Eeff(t)=log(C2pt(t)/C2pt(t+1))subscript𝐸eff𝑡logsuperscript𝐶2pt𝑡superscript𝐶2pt𝑡1E_{\text{eff}}(t)=\text{log}(C^{2\text{pt}}(t)/C^{2\text{pt}}(t+1))italic_E start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT ( italic_t ) = log ( italic_C start_POSTSUPERSCRIPT 2 pt end_POSTSUPERSCRIPT ( italic_t ) / italic_C start_POSTSUPERSCRIPT 2 pt end_POSTSUPERSCRIPT ( italic_t + 1 ) ) as a function of sink time t𝑡titalic_t for the different boost momenta, comparing the diagonal correlators Cii2ptsubscriptsuperscript𝐶2pt𝑖𝑖C^{2\text{pt}}_{ii}italic_C start_POSTSUPERSCRIPT 2 pt end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_i end_POSTSUBSCRIPT of Eq. (9) computed with single interpolators from the basis Eq. (2) with the GEVP-optimized one of Eq. (11) defined with the composite interpolator Eq. (10)

4 Matrix elements

To obtain the matrix elements defined in Eq. (1), we use the GEVP-optimized interpolators χ0subscript𝜒0\chi_{0}italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT to compute vacuum-subtracted three-point functions [30]

C0++,3pt(p,Δ,ts,τ)subscriptsuperscript𝐶3ptsuperscript0absentsuperscript𝑝Δsubscript𝑡𝑠𝜏\displaystyle C^{3\mathrm{pt}}_{0^{++},\mathcal{R}\ell}(\vec{p^{\prime}},\vec{% \Delta},t_{s},\tau)italic_C start_POSTSUPERSCRIPT 3 roman_p roman_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT , caligraphic_R roman_ℓ end_POSTSUBSCRIPT ( over→ start_ARG italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG , over→ start_ARG roman_Δ end_ARG , italic_t start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT , italic_τ ) =1Tt0χ0(p,ts+t0)T(Δ,τ+t0)χ0(p,t0)absent1𝑇subscriptsubscript𝑡0expectationsubscript𝜒0superscript𝑝subscript𝑡𝑠subscript𝑡0subscript𝑇Δ𝜏subscript𝑡0subscript𝜒0superscriptsuperscript𝑝subscript𝑡0\displaystyle=\frac{1}{T}\sum_{t_{0}}\braket{\chi_{0}(\vec{p}^{\prime},t_{s}+t% _{0})\,T_{\mathcal{R}\ell}(\vec{\Delta},\tau+t_{0})\,\chi_{0}(\vec{p}^{\prime}% ,t_{0})^{\dagger}}= divide start_ARG 1 end_ARG start_ARG italic_T end_ARG ∑ start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⟨ start_ARG italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_t start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT + italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) italic_T start_POSTSUBSCRIPT caligraphic_R roman_ℓ end_POSTSUBSCRIPT ( over→ start_ARG roman_Δ end_ARG , italic_τ + italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) italic_χ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_ARG ⟩ (12)

for all |p|26(2π/L)2superscriptsuperscript𝑝26superscript2𝜋𝐿2\left|\vec{p}^{\prime}\right|^{2}\leq 6(2\pi/L)^{2}| over→ start_ARG italic_p end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ 6 ( 2 italic_π / italic_L ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and |Δ|210(2π/L)2superscriptΔ210superscript2𝜋𝐿2\left|\vec{\Delta}\right|^{2}\leq 10(2\pi/L)^{2}| over→ start_ARG roman_Δ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ 10 ( 2 italic_π / italic_L ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. To isolate the ground-state matrix element, we form the standard ratios to cancel the leading overlap factors and time dependence

R0++,(p,Δ,ts,τ)=C0++,3pt(p,Δ,ts,τ)C0++2pt(p,ts)C0++2pt(p,tsτ)C0++2pt(p,tsτ)C0++2pt(p,ts)C0++2pt(p,ts)C0++2pt(p,τ)C0++2pt(p,τ).subscript𝑅superscript0absentsuperscript𝑝Δsubscript𝑡𝑠𝜏subscriptsuperscript𝐶3ptsuperscript0absentsuperscript𝑝Δsubscript𝑡𝑠𝜏subscriptsuperscript𝐶2ptsuperscript0absentsuperscript𝑝subscript𝑡𝑠subscriptsuperscript𝐶2ptsuperscript0absent𝑝subscript𝑡𝑠𝜏subscriptsuperscript𝐶2ptsuperscript0absentsuperscript𝑝subscript𝑡𝑠𝜏subscriptsuperscript𝐶2ptsuperscript0absentsuperscript𝑝subscript𝑡𝑠subscriptsuperscript𝐶2ptsuperscript0absent𝑝subscript𝑡𝑠subscriptsuperscript𝐶2ptsuperscript0absentsuperscript𝑝𝜏subscriptsuperscript𝐶2ptsuperscript0absent𝑝𝜏R_{0^{++},\mathcal{R}\ell}(\vec{p^{\prime}},\vec{\Delta},t_{s},\tau)=\frac{C^{% 3\mathrm{pt}}_{0^{++},\mathcal{R}\ell}(\vec{p^{\prime}},\vec{\Delta},t_{s},% \tau)}{C^{2\mathrm{pt}}_{0^{++}}(\vec{p^{\prime}},t_{s})}\sqrt{\frac{C^{2% \mathrm{pt}}_{0^{++}}(\vec{p},t_{s}-\tau)}{C^{2\mathrm{pt}}_{0^{++}}(\vec{p}^{% \prime},t_{s}-\tau)}\frac{C^{2\mathrm{pt}}_{0^{++}}(\vec{p}^{\prime},t_{s})}{C% ^{2\mathrm{pt}}_{0^{++}}(\vec{p},t_{s})}\frac{C^{2\mathrm{pt}}_{0^{++}}(\vec{p% }^{\prime},\tau)}{C^{2\mathrm{pt}}_{0^{++}}(\vec{p},\tau)}}.italic_R start_POSTSUBSCRIPT 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT , caligraphic_R roman_ℓ end_POSTSUBSCRIPT ( over→ start_ARG italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG , over→ start_ARG roman_Δ end_ARG , italic_t start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT , italic_τ ) = divide start_ARG italic_C start_POSTSUPERSCRIPT 3 roman_p roman_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT , caligraphic_R roman_ℓ end_POSTSUBSCRIPT ( over→ start_ARG italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG , over→ start_ARG roman_Δ end_ARG , italic_t start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT , italic_τ ) end_ARG start_ARG italic_C start_POSTSUPERSCRIPT 2 roman_p roman_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( over→ start_ARG italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG , italic_t start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) end_ARG square-root start_ARG divide start_ARG italic_C start_POSTSUPERSCRIPT 2 roman_p roman_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG , italic_t start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT - italic_τ ) end_ARG start_ARG italic_C start_POSTSUPERSCRIPT 2 roman_p roman_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_t start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT - italic_τ ) end_ARG divide start_ARG italic_C start_POSTSUPERSCRIPT 2 roman_p roman_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_t start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) end_ARG start_ARG italic_C start_POSTSUPERSCRIPT 2 roman_p roman_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG , italic_t start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) end_ARG divide start_ARG italic_C start_POSTSUPERSCRIPT 2 roman_p roman_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_τ ) end_ARG start_ARG italic_C start_POSTSUPERSCRIPT 2 roman_p roman_t end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( over→ start_ARG italic_p end_ARG , italic_τ ) end_ARG end_ARG . (13)

The resulting quantities are proportional to the matrix elements of interest up to known kinematic factors and excited state effects. Thus, to extract the matrix elements, we fit a constant to all possible (tssubscript𝑡𝑠t_{s}italic_t start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT,τ𝜏\tauitalic_τ) time ranges with at least 8 data points within the constraints that tsmin5subscript𝑡subscript𝑠min5t_{s_{\text{min}}}\geq 5italic_t start_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT min end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≥ 5, tsmax15subscript𝑡subscript𝑠max15t_{s_{\text{max}}}\leq 15italic_t start_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT max end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≤ 15, τ2𝜏2\tau\geq 2italic_τ ≥ 2, τts2𝜏subscript𝑡𝑠2\tau\leq t_{s}-2italic_τ ≤ italic_t start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT - 2 of each ratio and model-average over the resulting set of fits with AIC weights [31]. Example ratios and fits thereof are shown in Fig. 2.

Refer to caption
Figure 2: Example ratios of three- and two-point functions at different sink times tssubscript𝑡𝑠t_{s}italic_t start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, expected to be proportional to the matrix elements of Eq. (1) up to known kinematic factors. Deviation from a constant value (i.e., curvature) is an indication of excited-state contamination effects. The bands correspond to model averages over fits to different time ranges. The two rows show examples from each of the two irreps, and the three columns to different momentum transfers t𝑡titalic_t.

5 Gravitational form factors

The GFFs are obtained by first grouping the data for each irrep separately into 12 bins using k-means clustering [32] on the momentum transfer squared t=Δ2𝑡superscriptΔ2t=\Delta^{2}italic_t = roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, then solving the overconstrained systems of linear equations dictated by Eq. (1) to obtain the bare GFFs A(t)subscript𝐴𝑡A_{\mathcal{R}}(t)italic_A start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT ( italic_t ) and D(t)subscript𝐷𝑡D_{\mathcal{R}}(t)italic_D start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT ( italic_t ) for each bin and irrep. These may be renormalized by imposing the sum rule A(0)=1𝐴01A(0)=1italic_A ( 0 ) = 1. The renormalization factors 1/Abare(0)1subscriptsuperscript𝐴bare01/A^{\mathrm{bare}}_{\mathcal{R}}(0)1 / italic_A start_POSTSUPERSCRIPT roman_bare end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT ( 0 ) are obtained from a fit of a dipole model α/(1+t/Λ2)2𝛼superscript1𝑡superscriptΛ22\alpha/(1+t/\Lambda^{2})^{2}italic_α / ( 1 + italic_t / roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT to the bare GFF A(t)subscript𝐴𝑡A_{\mathcal{R}}(t)italic_A start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT ( italic_t ), where α𝛼\alphaitalic_α and ΛΛ\Lambdaroman_Λ are fitted parameters, identifying α=Abare(0)𝛼subscriptsuperscript𝐴bare0\alpha=A^{\mathrm{bare}}_{\mathcal{R}}(0)italic_α = italic_A start_POSTSUPERSCRIPT roman_bare end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT ( 0 ). The bare GFFs in each momentum bin for each irrep are then multiplied by these factors, averaged together, and fit again with dipoles to obtain the results shown in Fig. 3.

Figure 3 compares the results for A(t)𝐴𝑡A(t)italic_A ( italic_t ) and D(t)𝐷𝑡D(t)italic_D ( italic_t ) of the 0++superscript0absent0^{++}0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT glueball against the gluon GFFs obtained for four hadrons with quantum numbers JP=0superscript𝐽𝑃superscript0J^{P}=0^{-}italic_J start_POSTSUPERSCRIPT italic_P end_POSTSUPERSCRIPT = 0 start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT, 1superscript11^{-}1 start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT, 1/2+1superscript21/2^{+}1 / 2 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT, and 3/2+3superscript23/2^{+}3 / 2 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT, corresponding to the pion, ρ𝜌\rhoitalic_ρ meson, nucleon, and ΔΔ\Deltaroman_Δ baryon, computed for a single lattice QCD ensemble with a0.12fm𝑎0.12fma\approx 0.12~{}\text{fm}italic_a ≈ 0.12 fm and mπ450MeVsubscript𝑚𝜋450MeVm_{\pi}\approx 450~{}\text{MeV}italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT ≈ 450 MeV [33]. This previous work used an ensemble with Nf=2+1subscript𝑁𝑓21N_{f}=2+1italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT = 2 + 1 clover-improved dynamical quark flavors, for which the hadron GFFs receive both a quark and a gluon contribution; only the gluon one was constrained, neglecting its mixing with the quark one. The comparison of the overall normalization between those and the gluon GFFs in this work—which coincide with the total GFFs in a theory with only gluonic degrees of freedom, as investigated here—is not meaningful. We thus rescale the results of Ref. [33] to match each glueball GFF in the forward limit, i.e., such that Ag(t=0)=1subscript𝐴𝑔𝑡01A_{g}(t=0)=1italic_A start_POSTSUBSCRIPT italic_g end_POSTSUBSCRIPT ( italic_t = 0 ) = 1 and Dg(t=0)=D0++(t=0)subscript𝐷𝑔𝑡0subscript𝐷superscript0absent𝑡0D_{g}(t=0)=D_{0^{++}}(t=0)italic_D start_POSTSUBSCRIPT italic_g end_POSTSUBSCRIPT ( italic_t = 0 ) = italic_D start_POSTSUBSCRIPT 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_t = 0 ) for all hadrons. We can then compare the t𝑡titalic_t-dependence of the form factors. The glueball A(t)𝐴𝑡A(t)italic_A ( italic_t ) form factor decays more slowly than that of the pion, corresponding to a smaller mass radius contribution. The uncertainty of D(t)𝐷𝑡D(t)italic_D ( italic_t ) is very large; however, the form factor shows a t𝑡titalic_t-dependence more similar to that of the meson D(t)𝐷𝑡D(t)italic_D ( italic_t ) form factors than of the baryonic ones.

Refer to caption
Figure 3: Comparison between the G[0++]𝐺delimited-[]superscript0absentG[0^{++}]italic_G [ 0 start_POSTSUPERSCRIPT + + end_POSTSUPERSCRIPT ] glueball GFFs in Yang-Mills theory obtained in this work, and the gluon GFFs of four other hadrons—the pion, ρ𝜌\rhoitalic_ρ meson, nucleon, and ΔΔ\Deltaroman_Δ baryon, indicated with their JPsuperscript𝐽𝑃J^{P}italic_J start_POSTSUPERSCRIPT italic_P end_POSTSUPERSCRIPT quantum numbers—obtained with an Nf=2+1subscript𝑁𝑓21N_{f}=2+1italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT = 2 + 1 QCD ensemble with mπ=450MeVsubscript𝑚𝜋450MeVm_{\pi}=450~{}\text{MeV}italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT = 450 MeV [33]. The latter have been normalized to match the values of the glueball A(0)𝐴0A(0)italic_A ( 0 ) and D(0)𝐷0D(0)italic_D ( 0 ).

6 Conclusion

These preliminary results constitute the first time the internal structure of glueballs has been investigated in an SU(3)𝑆𝑈3SU(3)italic_S italic_U ( 3 ) lattice gauge theory, representing a promising first step towards understanding the internal structure of potential glueball-like hadrons in nature, and towards an analogous computation in QCD. The next steps towards finalizing the calculation include expanding the variational basis of operators to better control excited state effects, comparing results computed with different choices of EMT smearing to assess contamination by operator-source and operator-sink contact terms, and extending the study to heavier glueball states with different quantum numbers. Looking forwards, it will also be interesting to investigate whether several recent methods developments can improve the determination of these quantities. In particular, the Lanczos analysis formalism provides more robust treatment of excited states while resolving signal-to-noise issues for both spectroscopy and matrix elements [34, 35]. Separately, multi-level algorithms have been shown to provide substantially improved signals in calculations of the glueball spectrum [36], and the same technology may be applied to matrix element calculations.

Acknowledgements

The authors thank Julian Urban for contributions at early stages of the project. We also thank L. Barca and M. Hansen for useful discussions. This work is supported in part by the U.S. Department of Energy, Office of Science, Office of Nuclear Physics, under grant Contract Number DE-SC0011090 and by Early Career Award DE-SC0021006, and has benefited from the QGT Topical Collaboration DE-SC0023646. PES is supported in part by Simons Foundation grant 994314 (Simons Collaboration on Confinement and QCD Strings) and by the U.S. Department of Energy SciDAC5 award DE-SC0023116. DAP is supported from the Office of Nuclear Physics, Department of Energy, under contract DE-SC0004658. This manuscript has been authored by Fermi Research Alliance, LLC under Contract No. DE-AC02-07CH11359 with the U.S. Department of Energy, Office of Science, Office of High Energy Physics. This research used resources of the National Energy Research Scientific Computing Center (NERSC), a U.S. Department of Energy Office of Science User Facility operated under Contract No. DE-AC02-05CH11231. FRL acknowledges partial support by the Mauricio and Carlota Botton Fellowship. RA is supported by the U.S. Department of Energy SciDAC5 award DE-SC0023116 and the High Energy Physics Computing Traineeship for Lattice Gauge Theory (DE-SC0024053).

References

  • [1] H. Fritzsch and M. Gell-Mann, Current algebra: Quarks and what else?, eConf C720906V2 (1972) 135 [hep-ph/0208010].
  • [2] E. Klempt and A. Zaitsev, Glueballs, Hybrids, Multiquarks. Experimental facts versus QCD inspired concepts, Phys. Rept. 454 (2007) 1 [0708.4016].
  • [3] V. Crede and C.A. Meyer, The Experimental Status of Glueballs, Prog. Part. Nucl. Phys. 63 (2009) 74 [0812.0600].
  • [4] H.-X. Chen, W. Chen, X. Liu, Y.-R. Liu and S.-L. Zhu, An updated review of the new hadron states, Rept. Prog. Phys. 86 (2023) 026201 [2204.02649].
  • [5] BESIII collaboration, Confirmation of the X(1835)𝑋1835X(1835)italic_X ( 1835 ) and observation of the resonances X(2120)𝑋2120X(2120)italic_X ( 2120 ) and X(2370)𝑋2370X(2370)italic_X ( 2370 ) in J/ψγπ+πη𝐽𝜓𝛾superscript𝜋superscript𝜋superscript𝜂J/\psi\to\gamma\pi^{+}\pi^{-}\eta^{\prime}italic_J / italic_ψ → italic_γ italic_π start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT italic_η start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, Phys. Rev. Lett. 106 (2011) 072002 [1012.3510].
  • [6] BESIII collaboration, Observation of X(2370)𝑋2370X(2370)italic_X ( 2370 ) and search for X(2120) in J/ψγKK¯η𝐽𝜓𝛾𝐾¯𝐾superscript𝜂J/\psi\rightarrow\gamma K{\bar{K}}\eta^{\prime}italic_J / italic_ψ → italic_γ italic_K over¯ start_ARG italic_K end_ARG italic_η start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, Eur. Phys. J. C 80 (2020) 746 [1912.11253].
  • [7] BESIII collaboration, Determination of Spin-Parity Quantum Numbers of X(2370) as 0-+ from J/ψ𝜓\psiitalic_ψγ𝛾\gammaitalic_γKS0KS0η𝜂\etaitalic_η, Phys. Rev. Lett. 132 (2024) 181901 [2312.05324].
  • [8] A. Athenodorou and M. Teper, The glueball spectrum of SU(3) gauge theory in 3 + 1 dimensions, JHEP 11 (2020) 172 [2007.06422].
  • [9] D. Vadacchino, A review on Glueball hunting, in 39th International Symposium on Lattice Field Theory, 5, 2023 [2305.04869].
  • [10] C. Lorcé, H. Moutarde and A.P. Trawiński, Revisiting the mechanical properties of the nucleon, Eur. Phys. J. C 79 (2019) 89 [1810.09837].
  • [11] M. Polyakov, Generalized parton distributions and strong forces inside nucleons and nuclei, Phys. Lett. B 555 (2003) 57 [hep-ph/0210165].
  • [12] M.V. Polyakov and P. Schweitzer, Forces inside hadrons: pressure, surface tension, mechanical radius, and all that, Int. J. Mod. Phys. A 33 (2018) 1830025 [1805.06596].
  • [13] V.D. Burkert, L. Elouadrhiri, F.X. Girod, C. Lorcé, P. Schweitzer and P.E. Shanahan, Colloquium: Gravitational Form Factors of the Proton, 2303.08347.
  • [14] G.A. Tickle and C. Michael, An Investigation of the Structure of the O+ Glueball in SU(2) Lattice Gauge Theory, Nucl. Phys. B 333 (1990) 593.
  • [15] S. Necco and R. Sommer, The N(f) = 0 heavy quark potential from short to intermediate distances, Nucl. Phys. B 622 (2002) 328 [hep-lat/0108008].
  • [16] S. Durr, Z. Fodor, C. Hoelbling and T. Kurth, Precision study of the SU(3) topological susceptibility in the continuum, JHEP 04 (2007) 055 [hep-lat/0612021].
  • [17] M. Creutz, Monte Carlo Study of Quantized SU(2) Gauge Theory, Phys. Rev. D 21 (1980) 2308.
  • [18] N. Cabibbo and E. Marinari, A New Method for Updating SU(N) Matrices in Computer Simulations of Gauge Theories, Phys. Lett. B 119 (1982) 387.
  • [19] A.D. Kennedy and B.J. Pendleton, Improved Heat Bath Method for Monte Carlo Calculations in Lattice Gauge Theories, Phys. Lett. B 156 (1985) 393.
  • [20] F.R. Brown and T.J. Woch, Overrelaxed Heat Bath and Metropolis Algorithms for Accelerating Pure Gauge Monte Carlo Calculations, Phys. Rev. Lett. 58 (1987) 2394.
  • [21] S.L. Adler, Overrelaxation Algorithms for Lattice Field Theories, Phys. Rev. D 37 (1988) 458.
  • [22] C. Morningstar and M.J. Peardon, Analytic smearing of SU(3) link variables in lattice QCD, Phys. Rev. D 69 (2004) 054501 [hep-lat/0311018].
  • [23] M. Gockeler, R. Horsley, E.-M. Ilgenfritz, H. Perlt, P.E.L. Rakow, G. Schierholz et al., Lattice operators for moments of the structure functions and their transformation under the hypercubic group, Phys. Rev. D 54 (1996) 5705 [hep-lat/9602029].
  • [24] D. Brömmel, Pion Structure from the Lattice, Ph.D. thesis, Regensburg U., 2007. 10.3204/DESY-THESIS-2007-023.
  • [25] W. Detmold, D. Pefkou and P.E. Shanahan, Off-forward gluonic structure of vector mesons, Phys. Rev. D 95 (2017) 114515 [1703.08220].
  • [26] P. Shanahan and W. Detmold, Gluon gravitational form factors of the nucleon and the pion from lattice QCD, Phys. Rev. D 99 (2019) 014511 [1810.04626].
  • [27] P. Shanahan and W. Detmold, Pressure Distribution and Shear Forces inside the Proton, Phys. Rev. Lett. 122 (2019) 072003 [1810.07589].
  • [28] D.C. Hackett, D.A. Pefkou and P.E. Shanahan, Gravitational Form Factors of the Proton from Lattice QCD, Phys. Rev. Lett. 132 (2024) 251904 [2310.08484].
  • [29] D.C. Hackett, P.R. Oare, D.A. Pefkou and P.E. Shanahan, Gravitational form factors of the pion from lattice QCD, Phys. Rev. D 108 (2023) 114504 [2307.11707].
  • [30] B. Blossier, M. Della Morte, G. von Hippel, T. Mendes and R. Sommer, On the generalized eigenvalue method for energies and matrix elements in lattice field theory, JHEP 04 (2009) 094 [0902.1265].
  • [31] W.I. Jay and E.T. Neil, Bayesian model averaging for analysis of lattice field theory results, Phys. Rev. D 103 (2021) 114502 [2008.01069].
  • [32] D. Steinberg, “kmeans1d.” https://github.com/dstein64/kmeans1d, 2019.
  • [33] D.A. Pefkou, D.C. Hackett and P.E. Shanahan, Gluon gravitational structure of hadrons of different spin, Phys. Rev. D 105 (2022) 054509 [2107.10368].
  • [34] M.L. Wagman, Lanczos, the transfer matrix, and the signal-to-noise problem, 2406.20009.
  • [35] D.C. Hackett and M.L. Wagman, Lanczos for lattice QCD matrix elements, 2407.21777.
  • [36] L. Barca, S. Schaefer, F. Knechtli, J.A. Urrea-Niño, S. Martins and M. Peardon, Exponential error reduction for glueball calculations using a two-level algorithm in pure gauge theory, Phys. Rev. D 110 (2024) 054515 [2406.12656].