Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

[a]Rocco Amorosso

Internal color contributions to flux tube entanglement entropy

   Sergey Syritsyn    Raju Venugopalan
(February 12, 2025)
Abstract

In recent work [1], we introduced and computed entanglement entropy of the color flux tube (FTE2) between a heavy quark-antiquark pair in (2+1)D Yang-Mills theory. Our numerical results suggest that FTE2 can be partitioned into a component corresponding to transverse vibrations of the flux tube and an internal color entropy. Further, motivated by analytical (1+1)D calculations, and SU(2) (2+1)D Yang-Mills numerical results, we argued that the internal entropy takes the form Flog(Nc)delimited-⟨⟩𝐹subscript𝑁𝑐\langle F\rangle\log(N_{c})⟨ italic_F ⟩ roman_log ( start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ), with Fdelimited-⟨⟩𝐹\langle F\rangle⟨ italic_F ⟩ the number of times, on average, that the flux tube crossed a boundary between region V𝑉Vitalic_V and its complement. We extend here our FTE2 study to consider different geometries of region V𝑉Vitalic_V, varying the number of boundary crossings, and number of colors. Our preliminary results support the conjectured form of the internal entropy, albeit with noteworthy subtleties relating to the partial/full intersections of the flux tube with the region V𝑉Vitalic_V.

1 Introduction

Quantum entanglement is an intrinsic feature of quantum systems, reflecting non-classical correlations between subsystems. The entanglement entropy is computed from the reduced density matrix

ρ^V=TrV¯ρ^,subscript^𝜌𝑉subscripttrace¯𝑉^𝜌\hat{\rho}_{V}=\Tr_{\bar{V}}\hat{\rho}\,,over^ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT = roman_Tr start_POSTSUBSCRIPT over¯ start_ARG italic_V end_ARG end_POSTSUBSCRIPT over^ start_ARG italic_ρ end_ARG , (1)

where ρ^^𝜌\hat{\rho}over^ start_ARG italic_ρ end_ARG is the full density matrix of the system and the partial trace TrV¯subscripttrace¯𝑉\Tr_{\bar{V}}roman_Tr start_POSTSUBSCRIPT over¯ start_ARG italic_V end_ARG end_POSTSUBSCRIPT is taken over fields in region V¯¯𝑉\bar{V}over¯ start_ARG italic_V end_ARG. The reduced density matrix allows us to define the von Neumann entanglement entropy,

SEE=Tr(ρ^Vlogρ^V).superscript𝑆EEtracesubscript^𝜌𝑉subscript^𝜌𝑉S^{\text{EE}}=-\Tr\left(\hat{\rho}_{V}\log\hat{\rho}_{V}\right).italic_S start_POSTSUPERSCRIPT EE end_POSTSUPERSCRIPT = - roman_Tr ( over^ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT roman_log over^ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT ) . (2)

Entropy and quantum information have broad explanatory power, allowing us to explore complex systems without explicitly considering intricate microscopic dynamics. Recently, interest in quantum entanglement has been growing in nuclear physics, with applications spanning the structure of hadrons [2, 3], the dynamics of hadronization [4, 5, 6, 7] and thermalization [8, 9], helicity of partons [10], and heavy quarkonium [11]. Understanding confinement in the language of quantum information is not without difficulty, since it is well established that calculating the entanglement entropy in lattice gauge theory is highly nontrivial. Firstly, explicitly calculating the density matrix or the von Neumann entanglement entropy on the lattice is not feasible, so instead one typically uses the replica trick to study the Renyi entropy of order q𝑞qitalic_q:

S(q)=11qlog(TrρV^q).superscript𝑆𝑞11𝑞tracesuperscript^subscript𝜌𝑉𝑞S^{(q)}=\frac{1}{1-q}\log\left(\Tr\hat{\rho_{V}}^{q}\right).italic_S start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 1 - italic_q end_ARG roman_log ( roman_Tr over^ start_ARG italic_ρ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT end_ARG start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT ) . (3)

In the limit q1𝑞1q\to 1italic_q → 1, one recovers the von Neumann entanglement entropy.

More importantly, defining entanglement entropy in a gauge-invariant way is not straightforward. Due to Gauss’s law, the Hilbert space of gauge invariant states cannot be factorized into gauge-invariant subspaces, making the reduced density matrix defined in Eq. (1) ambiguous. The entanglement entropy in quantum field theories is also typically UV-divergent, scaling with the area for D>2𝐷2D>2italic_D > 2 [12, 13], so one typically has to study finite associated quantities rather than the Renyi entropy itself. Despite these well-known difficulties, entanglement entropy has been studied on the lattice, with previous lattice studies addressing entropic C-functions and vacuum entanglement [14, 15, 16, 17, 18, 19]. In this work, we explore an alternative method for calculating the entanglement entropy in gauge theories, dubbed flux tube entanglement entropy (FTE2) [20, 21, 1], defined as the excess entanglement entropy relative to the vacuum that can be attributed to the color flux tube stretching between a static quark-antiquark pair in pure gauge Yang-Mills theory. In Ref. [1], we showed that FTE2 is finite, gauge-invariant, and free of ambiguities in calculating the entanglement entropy related to the the non-factorizability of the Hilbert space. In this work, we will further explore FTE2, investigating specifically the entropic dynamics of the colorful degrees of freedom inside the color flux tube.

2 Flux Tube Entanglement Entropy (FTE2)

In this section we give a brief overview of flux tube entanglement entropy (FTE2) and its conjectured decomposition into internal and vibrational components. For a more detailed review of FTE2 in (2+1)D and (1+1)D, we refer the readers to Refs. [1, 21]. We begin by outlining the replica method and the explicit formulation of FTE2 on the lattice. We then discuss the vibrational and internal components of FTE2, particularly focusing on the (1+1)D results that motivate the internal entropy and its peculiar features in (2+1)D.

2.1 Defining FTE2

Flux tube entanglement entropy [20, 21, 1] is defined as the excess entanglement entropy relative to the vacuum that can be attributed to the color flux tube. The entanglement entropy in field theories usually takes the form [16, 22, 23, 24, 25]

S=SUV+Sf,𝑆subscript𝑆𝑈𝑉subscript𝑆𝑓S=S_{UV}+S_{f}\,,italic_S = italic_S start_POSTSUBSCRIPT italic_U italic_V end_POSTSUBSCRIPT + italic_S start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT , (4)

where S𝑆Sitalic_S represents the entropy, Sfsubscript𝑆𝑓S_{f}italic_S start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT the finite part of the entropy, and SUVsubscript𝑆𝑈𝑉S_{UV}italic_S start_POSTSUBSCRIPT italic_U italic_V end_POSTSUBSCRIPT the UV-divergent component of the entropy. To extract information about Sfsubscript𝑆𝑓S_{f}italic_S start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT, one typically calculates the entropic C-function, taking the derivative of the entropy while keeping the area of the entangling surface constant, effectively canceling contributions from SUVsubscript𝑆𝑈𝑉S_{UV}italic_S start_POSTSUBSCRIPT italic_U italic_V end_POSTSUBSCRIPT. When studying color flux tubes, one can instead explicitly subtract out the UV-divergent piece. This is done by subtracting the entanglement entropy of the vacuum from the entanglement entropy of a QQ¯𝑄¯𝑄Q\bar{Q}italic_Q over¯ start_ARG italic_Q end_ARG pair and its confining flux tube. FTE2 then takes form [1]

S~|QQ¯(q)S|QQ¯(q)S(q).\tilde{S}^{(q)}_{|Q\bar{Q}}\equiv S^{(q)}_{|Q\bar{Q}}-S^{(q)}.over~ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT | italic_Q over¯ start_ARG italic_Q end_ARG end_POSTSUBSCRIPT ≡ italic_S start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT | italic_Q over¯ start_ARG italic_Q end_ARG end_POSTSUBSCRIPT - italic_S start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT . (5)

FTE2 can be calculated on the lattice with Polyakov lines and the replica method. For computing Renyi entanglement entropy on the lattice, we follow the procedure of Ref. [17, 18] to generate (ρ^V)qsuperscriptsubscript^𝜌𝑉𝑞(\hat{\rho}_{V})^{q}( over^ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT. As laid out in Ref. [26], q𝑞qitalic_q independent replicas of the lattice, each with Lτ=β=T1subscript𝐿𝜏𝛽superscript𝑇1L_{\tau}=\beta=T^{-1}italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT = italic_β = italic_T start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, are stacked in the temporal direction. In region V¯¯𝑉\bar{V}over¯ start_ARG italic_V end_ARG, links are Lτsubscript𝐿𝜏L_{\tau}italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT periodic with Uμ(τ=0)(r)=Uμ(τ=β)(r)subscript𝑈𝜇superscript𝜏0𝑟subscript𝑈𝜇superscript𝜏𝛽𝑟U_{\mu}(\tau=0)^{(r)}=U_{\mu}(\tau=\beta)^{(r)}italic_U start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_τ = 0 ) start_POSTSUPERSCRIPT ( italic_r ) end_POSTSUPERSCRIPT = italic_U start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_τ = italic_β ) start_POSTSUPERSCRIPT ( italic_r ) end_POSTSUPERSCRIPT for each replica r𝑟ritalic_r, implementing the partial trace TrV¯ρ^subscripttrace¯𝑉^𝜌\Tr_{\bar{V}}\hat{\rho}roman_Tr start_POSTSUBSCRIPT over¯ start_ARG italic_V end_ARG end_POSTSUBSCRIPT over^ start_ARG italic_ρ end_ARG. In region V𝑉Vitalic_V, link variables are identified for consecutive replicas with Uμ(τ=0)(r+1)=Uμ(τ=β)(r)subscript𝑈𝜇superscript𝜏0𝑟1subscript𝑈𝜇superscript𝜏𝛽𝑟U_{\mu}(\tau=0)^{(r+1)}=U_{\mu}(\tau=\beta)^{(r)}italic_U start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_τ = 0 ) start_POSTSUPERSCRIPT ( italic_r + 1 ) end_POSTSUPERSCRIPT = italic_U start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_τ = italic_β ) start_POSTSUPERSCRIPT ( italic_r ) end_POSTSUPERSCRIPT and are qLτ𝑞subscript𝐿𝜏qL_{\tau}italic_q italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT periodic with Uμ(τ=0)(1)=Uμ(τ=β)(q)subscript𝑈𝜇superscript𝜏01subscript𝑈𝜇superscript𝜏𝛽𝑞U_{\mu}(\tau=0)^{(1)}=U_{\mu}(\tau=\beta)^{(q)}italic_U start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_τ = 0 ) start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT = italic_U start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_τ = italic_β ) start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT, corresponding to the product of reduced density matrices and their overall trace of ρVqsuperscriptsubscript𝜌𝑉𝑞\rho_{V}^{q}italic_ρ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT. This geometry is illustrated in Fig. 1 in (1+1)D with q=2𝑞2q=2italic_q = 2.

Refer to caption
Figure 1: Depiction of the replica geometry of a Lx×Lτ=6×3subscript𝐿𝑥subscript𝐿𝜏63L_{x}\times L_{\tau}=6\times 3italic_L start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT × italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT = 6 × 3 lattice with q=2𝑞2q=2italic_q = 2 replicas. The lattice has periodicity Lxsubscript𝐿𝑥L_{x}italic_L start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT in the spatial direction. The lattice is Lτsubscript𝐿𝜏L_{\tau}italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT-periodic in region V¯¯𝑉\bar{V}over¯ start_ARG italic_V end_ARG and qLτ𝑞subscript𝐿𝜏qL_{\tau}italic_q italic_L start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT-periodic in region V𝑉Vitalic_V. Open points on edges are wrap-around images of the sites they are connected to by dashed lines.

We place quark and antiquark in V¯¯𝑉\bar{V}over¯ start_ARG italic_V end_ARG, with their color degrees of freedom traced according to Eq. (1), resulting in 2q2𝑞2q2 italic_q Polyakov loops of length Ltsubscript𝐿𝑡L_{t}italic_L start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT. Therefore, FTE2 can be calculated directly from the ratio of Polyakov loop correlators as [1, 20]

S~|QxQ¯y(q)=S|QxQ¯y(q)S(q)\displaystyle\tilde{S}^{(q)}_{|Q_{\vec{x}}\bar{Q}_{\vec{y}}}=S^{(q)}_{|Q_{\vec% {x}}\bar{Q}_{\vec{y}}}-S^{(q)}over~ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT | italic_Q start_POSTSUBSCRIPT over→ start_ARG italic_x end_ARG end_POSTSUBSCRIPT over¯ start_ARG italic_Q end_ARG start_POSTSUBSCRIPT over→ start_ARG italic_y end_ARG end_POSTSUBSCRIPT end_POSTSUBSCRIPT = italic_S start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT | italic_Q start_POSTSUBSCRIPT over→ start_ARG italic_x end_ARG end_POSTSUBSCRIPT over¯ start_ARG italic_Q end_ARG start_POSTSUBSCRIPT over→ start_ARG italic_y end_ARG end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_S start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT =1q1(logZ|QxQ¯y(q)Z|QxQ¯yqlogZ(q)Zq)\displaystyle=-\frac{1}{q-1}\left(\log\frac{Z^{(q)}_{|Q_{\vec{x}}\bar{Q}_{\vec% {y}}}}{Z^{q}_{|Q_{\vec{x}}\bar{Q}_{\vec{y}}}}-\log\frac{Z^{(q)}}{Z^{q}}\right)= - divide start_ARG 1 end_ARG start_ARG italic_q - 1 end_ARG ( roman_log divide start_ARG italic_Z start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT | italic_Q start_POSTSUBSCRIPT over→ start_ARG italic_x end_ARG end_POSTSUBSCRIPT over¯ start_ARG italic_Q end_ARG start_POSTSUBSCRIPT over→ start_ARG italic_y end_ARG end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_Z start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT start_POSTSUBSCRIPT | italic_Q start_POSTSUBSCRIPT over→ start_ARG italic_x end_ARG end_POSTSUBSCRIPT over¯ start_ARG italic_Q end_ARG start_POSTSUBSCRIPT over→ start_ARG italic_y end_ARG end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG - roman_log divide start_ARG italic_Z start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT end_ARG start_ARG italic_Z start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT end_ARG ) (6)
=1q1logr=1qTrPx(r)TrPy(r)[TrPxTrPy]q,absent1𝑞1delimited-⟨⟩superscriptsubscriptproduct𝑟1𝑞tracesuperscriptsubscript𝑃𝑥𝑟tracesuperscriptsubscript𝑃𝑦𝑟superscriptdelimited-[]delimited-⟨⟩tracesubscript𝑃𝑥tracesuperscriptsubscript𝑃𝑦𝑞\displaystyle=-\frac{1}{q-1}\log\frac{\langle\prod\limits_{r=1}^{q}\Tr P_{\vec% {x}}^{(r)}\Tr P_{\vec{y}}^{(r){\dagger}}\rangle}{\big{[}\langle\Tr P_{\vec{x}}% \Tr P_{\vec{y}}^{\dagger}\rangle\big{]}^{q}}\,,= - divide start_ARG 1 end_ARG start_ARG italic_q - 1 end_ARG roman_log divide start_ARG ⟨ ∏ start_POSTSUBSCRIPT italic_r = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT roman_Tr italic_P start_POSTSUBSCRIPT over→ start_ARG italic_x end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_r ) end_POSTSUPERSCRIPT roman_Tr italic_P start_POSTSUBSCRIPT over→ start_ARG italic_y end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_r ) † end_POSTSUPERSCRIPT ⟩ end_ARG start_ARG [ ⟨ roman_Tr italic_P start_POSTSUBSCRIPT over→ start_ARG italic_x end_ARG end_POSTSUBSCRIPT roman_Tr italic_P start_POSTSUBSCRIPT over→ start_ARG italic_y end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ⟩ ] start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT end_ARG , (7)

where TrPx(r)tracesuperscriptsubscript𝑃𝑥𝑟\Tr P_{\vec{x}}^{(r)}roman_Tr italic_P start_POSTSUBSCRIPT over→ start_ARG italic_x end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_r ) end_POSTSUPERSCRIPT is the Polyakov loop at location x𝑥\vec{x}over→ start_ARG italic_x end_ARG in replica r𝑟ritalic_r, and TrPxtracesubscript𝑃𝑥\Tr P_{\vec{x}}roman_Tr italic_P start_POSTSUBSCRIPT over→ start_ARG italic_x end_ARG end_POSTSUBSCRIPT is the Polyakov loop on the one-replica lattice.

2.2 Internal color contributions to FTE2

In Ref. [1] it is conjectured that FTE2 can be partitioned as

S~|QQ¯(q)=Sinternal+Svibrational,\tilde{S}^{(q)}_{|Q\bar{Q}}=S_{\text{internal}}+S_{\text{vibrational}}\,,over~ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT | italic_Q over¯ start_ARG italic_Q end_ARG end_POSTSUBSCRIPT = italic_S start_POSTSUBSCRIPT internal end_POSTSUBSCRIPT + italic_S start_POSTSUBSCRIPT vibrational end_POSTSUBSCRIPT , (8)

where Sinternalsubscript𝑆internalS_{\text{internal}}italic_S start_POSTSUBSCRIPT internal end_POSTSUBSCRIPT is the entanglement entropy associated with internal color degrees of freedom, while Svibrationalsubscript𝑆vibrationalS_{\text{vibrational}}italic_S start_POSTSUBSCRIPT vibrational end_POSTSUBSCRIPT is the entanglement entropy associated with the orientation and transverse fluctuations of the flux tube.

To study the vibrational entanglement entropy in Eq. (8), one could model the color flux tube as a quantum vibrating string. In Ref. [1], we examined the predictions of a simple model, the Gaussian approximation for small transverse fluctuations of a thin string [27]. By studying this system, one finds the logarithmic behavior 14log(L)proportional-toabsent14𝐿\propto\frac{1}{4}\log(L)∝ divide start_ARG 1 end_ARG start_ARG 4 end_ARG roman_log ( start_ARG italic_L end_ARG ) for the vibrational Rényi entropy with q=2𝑞2q=2italic_q = 2 for a flux tube of length L𝐿Litalic_L. This behavior was observed on the lattice in Ref. [1].

The vibrational entropy, however, for the QQ¯𝑄¯𝑄Q\bar{Q}italic_Q over¯ start_ARG italic_Q end_ARG separations studied in Ref. [1] (up to Lσ0.8similar-to𝐿𝜎0.8L\sqrt{\sigma}\sim 0.8italic_L square-root start_ARG italic_σ end_ARG ∼ 0.8), is of much smaller magnitude than the internal entropy. The internal entanglement entropy is the dominant source of entanglement entropy that can be attributed to the flux tube, making up roughly 9095%similar-toabsent90percent95\sim 90-95\%∼ 90 - 95 % of FTE2. The internal entropy reflects the possible color states of the flux tube and must be independent of the shape of the flux tube arising from its vibrations.

In Ref. [21], it was shown that FTE2 in (1+1)-dimensional Yang-Mills theory, where a flux tube does not have transverse degrees of freedom, takes the form

(S~|QQ¯(q))(1+1)YM=Flog(Nc),\big{(}\tilde{S}^{(q)}_{|Q\bar{Q}}\big{)}_{\rm(1+1)YM}=F\cdot\log(N_{c})\,,( over~ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT ( italic_q ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT | italic_Q over¯ start_ARG italic_Q end_ARG end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT ( 1 + 1 ) roman_YM end_POSTSUBSCRIPT = italic_F ⋅ roman_log ( start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) , (9)

where F𝐹Fitalic_F is the number of boundaries between V𝑉Vitalic_V and V¯¯𝑉\bar{V}over¯ start_ARG italic_V end_ARG crossed by the flux tube.

The internal entanglement entropy of the flux tube is independent of the distance between the quark and the antiquark in (1+1)D. However in higher dimensional systems, the flux tube can fluctuate in transverse dimensions to avoid region V𝑉Vitalic_V, or cross the boundary multiple times. In this case, Sinternalsubscript𝑆internalS_{\rm internal}italic_S start_POSTSUBSCRIPT roman_internal end_POSTSUBSCRIPT takes form [1]

Sinternal=Flog(Nc),subscript𝑆internaldelimited-⟨⟩𝐹subscript𝑁𝑐S_{\text{internal}}=\langle F\rangle\cdot\log(N_{c})\,,italic_S start_POSTSUBSCRIPT internal end_POSTSUBSCRIPT = ⟨ italic_F ⟩ ⋅ roman_log ( start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) , (10)

where Fdelimited-⟨⟩𝐹\langle F\rangle⟨ italic_F ⟩ is the average number of times the flux tube crosses the V/V¯𝑉¯𝑉V/\bar{V}italic_V / over¯ start_ARG italic_V end_ARG spatial boundary. In Ref. [1], the half slab geometry in Fig. 2 is used to investigate FTE2, where region V𝑉Vitalic_V consists of a finite width slab extending indefinitely to x𝑥x\to\inftyitalic_x → ∞ (on a finite periodic lattice, the slab spans Lx/2subscript𝐿𝑥2L_{x}/2italic_L start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT / 2 of the lattice). As small deflections of the flux tube follow a roughly Gaussian distribution, we anticipated Fdelimited-⟨⟩𝐹\langle F\rangle⟨ italic_F ⟩ to be described by the error function of x𝑥xitalic_x in this half slab geometry.

FTE2 indeed behaves like an error function, but offset from the center by a distance that was suggested [1] might be associated with the intrinsic width of the flux tube. For a thin (zero intrinsic width) string, the number of boundary crossings F𝐹Fitalic_F is unambiguous, but for a flux tube with finite non-zero intrinsic width, it is unclear how to treat partial boundary crossings a priori. When only part of the flux tube intersects region V𝑉Vitalic_V (a “partial boundary crossing”), this could in principle increment F𝐹Fitalic_F by zero, one, or some fraction proportional to how much of the flux tube enters V𝑉Vitalic_V. The results of Ref. [1] seem to suggest that the flux tube contributes to the entanglement entropy of a region only when its entire intrinsic width lies in that region. We will investigate this further in the following section.

Refer to caption
Refer to caption
Figure 2: Left: A depiction of the “half-slab” geometry, with region V𝑉Vitalic_V (shaded blue) having width w𝑤witalic_w in the y𝑦yitalic_y direction. The quark and antiquark sources are separated by distance L𝐿Litalic_L and are located at (0,±L/2)0plus-or-minus𝐿2(0,\pm L/2)( 0 , ± italic_L / 2 ). Right: FTE2 in (2+1)D SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) Yang-Mills theory and error function fit as a function of x𝑥xitalic_x obtained by Ref. [1]. The curve is centered at xcσ0=0.19subscript𝑥𝑐subscript𝜎00.19x_{c}\sqrt{\sigma_{0}}=-0.19italic_x start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG = - 0.19 indicated by the red dashed line and has half-width Wσ00.3𝑊subscript𝜎00.3W\sqrt{\sigma_{0}}\approx 0.3italic_W square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ≈ 0.3. Data was obtained at aσ0=0.056𝑎subscript𝜎00.056a\sqrt{\sigma_{0}}=0.056italic_a square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG = 0.056 for L=12a𝐿12𝑎L=12aitalic_L = 12 italic_a, w=4a𝑤4𝑎w=4aitalic_w = 4 italic_a, and y=0𝑦0y=0italic_y = 0. Figures reproduced from [1].

3 2+1 D Yang-Mills simulations of FTE2

We will present here preliminary calculations of FTE2 in SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) and SU(3)𝑆𝑈3SU(3)italic_S italic_U ( 3 ) Yang-Mills gauge theory on a (2+1)D lattice, comparing FTE2 to the expectations from the internal entropy (10) by varying the number of colors and boundary crossings. We use the standard Wilson plaquette Yang-Mills action, performing sweeps with alternating Kennedy-Pendleton heatbath updates [28] and over-relaxation updates [29] and using the multilevel algorithm [30] for computing the Polyakov loop correlators. Nc=2subscript𝑁𝑐2N_{c}=2italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 2 simulations are performed at Tc/2subscript𝑇𝑐2T_{c}/2italic_T start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT / 2 to match the analysis in [1]. Nc=3subscript𝑁𝑐3N_{c}=3italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 3 simulations are performed at Tc/4subscript𝑇𝑐4T_{c}/4italic_T start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT / 4. We begin by studying Nc=3subscript𝑁𝑐3N_{c}=3italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 3. The resulting scaling study is shown in Fig. 3.

Refer to caption
Refer to caption
Figure 3: Left: FTE2 S~|QQ¯\tilde{S}_{|{Q\bar{Q}}}over~ start_ARG italic_S end_ARG start_POSTSUBSCRIPT | italic_Q over¯ start_ARG italic_Q end_ARG end_POSTSUBSCRIPT in (2+1)D SU(3)𝑆𝑈3SU(3)italic_S italic_U ( 3 ) Yang-Mills theory as a function of a𝑎aitalic_a in the x𝑥x\to-\inftyitalic_x → - ∞ limit (xσ0<1.8𝑥subscript𝜎01.8x\sqrt{\sigma_{0}}<-1.8italic_x square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG < - 1.8). Here x𝑥xitalic_x is the relative position of the flux tube and region V𝑉Vitalic_V, corresponding to the half-slab geometry shown in Fig. 2. Results are shown for a fixed QQ¯𝑄¯𝑄{Q\bar{Q}}italic_Q over¯ start_ARG italic_Q end_ARG distance Lσ00.75𝐿subscript𝜎00.75L\sqrt{\sigma_{0}}\approx 0.75italic_L square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ≈ 0.75, slab width wσ00.25𝑤subscript𝜎00.25w\sqrt{\sigma_{0}}\approx 0.25italic_w square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ≈ 0.25, and y=0𝑦0y=0italic_y = 0. Right: FTE2 as a function of x𝑥xitalic_x in the half slab geometry. Other parameters are the same as in the figure on the left. The dashed red line is a constant 2log3232\log 32 roman_log 3, the expected internal entropy contribution in the x𝑥x\to-\inftyitalic_x → - ∞ limit.

We observe similar qualitative behavior for Nc=3subscript𝑁𝑐3N_{c}=3italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 3 as the Nc=2subscript𝑁𝑐2N_{c}=2italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 2 case studied in Ref. [1], with the value of FTE2 in the x𝑥x\to-\inftyitalic_x → - ∞ limit once again indicating that it must be dominated by the internal color contribution 2logNc2.202subscript𝑁𝑐2.202\log N_{c}\approx 2.202 roman_log italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ≈ 2.20 for string length Lσ0=0.75𝐿subscript𝜎00.75L\sqrt{\sigma_{0}}=0.75italic_L square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG = 0.75. We also observe that FTE2 at x0greater-than-or-equivalent-to𝑥0x\gtrsim 0italic_x ≳ 0 takes approximately the form of the error function, as anticipated from our discussion of Eq. (10). FTE2 is once again not symmetric around x=0𝑥0x=0italic_x = 0. Fitting FTE2 data for xσ0>0.4𝑥subscript𝜎00.4x\sqrt{\sigma_{0}}>-0.4italic_x square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG > - 0.4 to an error function (2logNc)erf((xcx)/(W2)missing)similar-toabsent2subscript𝑁𝑐error-functionsubscript𝑥𝑐𝑥𝑊2missing\sim(2\log N_{c})\erf\big((x_{c}-x)/(W\sqrt{2})\big{missing})∼ ( 2 roman_log italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) roman_erf ( start_ARG ( italic_x start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_x ) / ( italic_W square-root start_ARG 2 end_ARG ) roman_missing end_ARG ), we find its center at xcσ0=0.27subscript𝑥𝑐subscript𝜎00.27x_{c}\sqrt{\sigma_{0}}=-0.27italic_x start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG = - 0.27 and its Gaussian half-width Wσ00.3𝑊subscript𝜎00.3W\sqrt{\sigma_{0}}\approx 0.3italic_W square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ≈ 0.3. The half-width W𝑊Witalic_W of the profile with Nc=3subscript𝑁𝑐3N_{c}=3italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 3 matches its counterpart with Nc=2subscript𝑁𝑐2N_{c}=2italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 2, while the displacement xcsubscript𝑥𝑐x_{c}italic_x start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT of the profile center is suggestively 3/2similar-toabsent32\sim 3/2∼ 3 / 2 of the case with Nc=2subscript𝑁𝑐2N_{c}=2italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 2.

Refer to caption
Figure 4: FTE2 in (2+1)D SU(3)𝑆𝑈3SU(3)italic_S italic_U ( 3 ) Yang-Mills theory as a function of x𝑥xitalic_x obtained at aσ0=0.063𝑎subscript𝜎00.063a\sqrt{\sigma_{0}}=0.063italic_a square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG = 0.063 for L=12a𝐿12𝑎L=12aitalic_L = 12 italic_a, w=4a𝑤4𝑎w=4aitalic_w = 4 italic_a, and y=0𝑦0y=0italic_y = 0. The green solid line is obtained by fitting the xσ0>0.4𝑥subscript𝜎00.4x\sqrt{\sigma_{0}}>-0.4italic_x square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG > - 0.4 data to an error function normalized to 2logNc2subscript𝑁𝑐2\log N_{c}2 roman_log italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT (Nc=3subscript𝑁𝑐3N_{c}=3italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 3) by varying the offset xcsubscript𝑥𝑐x_{c}italic_x start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT and the half-width W𝑊Witalic_W. The optimal error function curve is centered at xcσ0=0.27subscript𝑥𝑐subscript𝜎00.27x_{c}\sqrt{\sigma_{0}}=-0.27italic_x start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG = - 0.27 indicated by the red dashed line and has half-width Wσ00.3𝑊subscript𝜎00.3W\sqrt{\sigma_{0}}\approx 0.3italic_W square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ≈ 0.3.

Next, we examine the FTE2 dependence on the number of boundary crossings of the flux tube. Instead of one, we instead put two half-slabs in between the quark and the antiquark, doubling the number of boundary crossings in the x𝑥x\to-\inftyitalic_x → - ∞ limit for Nc=2subscript𝑁𝑐2N_{c}=2italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 2. The results of this study are shown in Fig. 5, where the additional boundary crossings increase FTE2 in this limit to roughly its internal entropy prediction, 4log(Nc)=4log(2)4subscript𝑁𝑐424\log(N_{c})=4\log(2)4 roman_log ( start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) = 4 roman_log ( start_ARG 2 end_ARG ).

Refer to caption
Refer to caption
Figure 5: Left: “Double-slab” geometry, with region V𝑉Vitalic_V (shaded blue) consisting of two disconnected slabs of width w𝑤witalic_w, separated by distance wgapsubscript𝑤gapw_{\rm gap}italic_w start_POSTSUBSCRIPT roman_gap end_POSTSUBSCRIPT. Right: FTE2 as a function of x𝑥xitalic_x obtained for the double slab geometry at aσ0=0.112𝑎subscript𝜎00.112a\sqrt{\sigma_{0}}=0.112italic_a square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG = 0.112 for L=10a𝐿10𝑎L=10aitalic_L = 10 italic_a, w=wgap=2a𝑤subscript𝑤gap2𝑎w=w_{\rm gap}=2aitalic_w = italic_w start_POSTSUBSCRIPT roman_gap end_POSTSUBSCRIPT = 2 italic_a, and y=0𝑦0y=0italic_y = 0. The red dashed line is at 4logNc4subscript𝑁𝑐4\log N_{c}4 roman_log italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT (Nc=2subscript𝑁𝑐2N_{c}=2italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 2), the expectation of the internal entropy contribution in the x𝑥x\to-\inftyitalic_x → - ∞ limit.

Our results generally agree with the hypothesis that the FTE2 consists of a dominant internal term taking the form in Eq. (10) and a smaller vibrational component.

We investigated further the x𝑥xitalic_x-axis offset of the internal entropy. In [1], we suggested that the internal color degrees of freedom contribute to FTE2 only when the entire flux tube, including its finite intrinsic width, crosses into the complement region. In other words, only those configurations, in which the flux tube is fully intersected by the V/V¯𝑉¯𝑉V/\bar{V}italic_V / over¯ start_ARG italic_V end_ARG boundary and divided by it into completely disconnected longitudinal segments, contribute to its internal entanglement. This can be investigated by comparing the two geometries shown in Fig. 6 (left, middle), where region V𝑉Vitalic_V consists of two half-slabs extending in opposite x𝑥xitalic_x directions. Since FTE2 has very little y𝑦yitalic_y-dependence in the single-slab case [1], naively one might expect the two slab geometries in Fig. 6 to produce similar FTE2 values. Indeed, if the flux tube had infinitesimal intrinsic width, configurations with F=0𝐹0F=0italic_F = 0 (no crossings) and F=4𝐹4F=4italic_F = 4 would have had equal probabilities in the gapped geometry (Fig. 6, middle), which would result in the same FTE2 value as the “no-gap” geometry (Fig. 6, left).

Refer to caption Refer to caption Refer to caption

Figure 6: (Left) Schematic of a flux tube exhibiting a full boundary crossing in the “no gap” geometry. Here the flux tube is divided into two disconnected components in V¯¯𝑉\bar{V}over¯ start_ARG italic_V end_ARG. (Middle) Schematic of a flux tube exhibiting a partial boundary crossing in the “gap” geometry. Here the flux tube has one connected component in V¯¯𝑉\bar{V}over¯ start_ARG italic_V end_ARG. (Right) FTE2 of the staggered slab geometries with and without a gap. Data is obtained with aσ0=0.112𝑎subscript𝜎00.112a\sqrt{\sigma_{0}}=0.112italic_a square-root start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG = 0.112, y=0𝑦0y=0italic_y = 0, L=10a𝐿10𝑎L=10aitalic_L = 10 italic_a, and Nc=2subscript𝑁𝑐2N_{c}=2italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 2. Each slab has width 2a2𝑎2a2 italic_a and the gap has width 2a2𝑎2a2 italic_a.

However, if the flux tube has finite width and the above hypothesis is true, we expect substantially different results from these two geometries: the “staggered slab” geometry without a gap always partitions the flux tube into two or more disconnected components in V¯¯𝑉\bar{V}over¯ start_ARG italic_V end_ARG, while the “staggered slab” geometry with a gap allows for configurations of the flux tube at x0similar-to𝑥0x\sim 0italic_x ∼ 0 with one connected component in V¯¯𝑉\bar{V}over¯ start_ARG italic_V end_ARG, as shown in Fig. 6 (middle). The results of this study are shown in Fig 6 (right). There is indeed a significant difference between the staggered slab geometry, with and without a gap, suggesting that partial boundary crossings do not contribute significantly to F𝐹Fitalic_F in Eq. (10), thereby lowering the internal entropy in the “staggered slab-with gap” geometry. This is indirect evidence that FTE2 can be used to study the intrinsic width of a color flux tube.

4 Discussion

In this work, we continued our study of flux tube entanglement entropy, investigating its dominant component, the entanglement due to internal colorful degrees of freedom of the flux tube. We further tested the conjectured form of the internal entropy in Eq. (10), demonstrating that it successfully describes FTE2 for Nc=3subscript𝑁𝑐3N_{c}=3italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 3, and number of boundary crossings F=4𝐹4F=4italic_F = 4, in addition to the previously studied Nc=2subscript𝑁𝑐2N_{c}=2italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 2 and F=2𝐹2F=2italic_F = 2 cases. We further evaluated the specific dynamics of a flux tube partially intersecting region V𝑉Vitalic_V, finding a significant difference between flux tubes that fully and partially intersect region V𝑉Vitalic_V, due to the intrinsic width of the flux tube. Our results suggest that it is important that effective string models of confinement in pure gauge theories take into account the intrinsic width of the QCD string, in line with prior work in [31, 32]. These preliminary conclusions can be further tested by extending our study to more nontrivial geometries, and to Yang-Mills theory in 3+1 dimensions.

Acknowledgements

R.A is supported by the Simons Foundation under Award number 994318 (Simons Collaboration on Confinement and QCD Strings). S.S. is supported by NSF supported by the National Science Foundation under award PHY-2412963. In addition, R.A. is supported in part by the Office of Science, Office of Nuclear Physics, U.S. Department of Energy under Contract No. DEFG88ER41450 and by the National Science Foundation under award PHY-2412963. R.V is supported by the U.S. Department of Energy, Office of Science under contract DE-SC0012704. R.V’s work on quantum information science is supported by the U.S. Department of Energy, Office of Science, National Quantum Information Science Research Centers, Co-design Center for Quantum Advantage (C2QA) under contract number DE-SC0012704. R.V. was also supported at Stony Brook by the Simons Foundation as a co-PI under Award number 994318 (Simons Collaboration on Confinement and QCD Strings). The authors thank Stony Brook Research Computing and Cyberinfrastructure and the Institute for Advanced Computational Science at Stony Brook University for access to the Seawulf HPC system, which was made possible by grants from the National Science Foundation (awards 1531492 and 2215987) and matching funds from the Empire State Development’s Division of Science, Technology and Innovation (NYSTAR) program (contract C210148).

References