Sound velocity peak induced by the chiral partner in dense two-color QCD

Mamiya Kawaguchi [email protected] School of Nuclear Science and Technology, University of Chinese Academy of Sciences, Bei**g 100049, China    Daiki Suenaga [email protected] Kobayashi-Maskawa Institute for the Origin of Particles and the Universe, Nagoya University, Nagoya, 464-8602, Japan Research Center for Nuclear Physics, Osaka University, Ibaraki 567-0048, Japan
Abstract

Recently, the peak structure of the sound velocity was observed in the lattice simulation of two-color and two-flavor QCD at the finite quark chemical potential. The comparison with the chiral perturbation theory (ChPT) result was undertaken; however, the ChPT failed in reproducing the peak structure. In this study, to extend the ChPT framework, we incorporate contributions of the σ𝜎\sigmaitalic_σ meson, that is identified as the chiral partner of pions, on top of the low-energy pion dynamics by using the linear sigma model (LSM). Based on the LSM we derive analytic expressions of the thermodynamic quantities as well as the sound velocity within a mean-field approximation. As a result, we find that those quantities are provided by sums of the ChPT results and corrections, where the latter is characterized by a mass difference between the chiral partners, the σ𝜎\sigmaitalic_σ meson and pion. The chiral partner contributions are found to yield a peak in the sound velocity successfully. We furthermore show that the sound velocity peak emerges only when mσ>3mπsubscript𝑚𝜎3subscript𝑚𝜋m_{\sigma}>\sqrt{3}m_{\pi}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT > square-root start_ARG 3 end_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT and μq>mπsubscript𝜇𝑞subscript𝑚𝜋\mu_{q}>m_{\pi}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT > italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT, with mσ(π)subscript𝑚𝜎𝜋m_{\sigma(\pi)}italic_m start_POSTSUBSCRIPT italic_σ ( italic_π ) end_POSTSUBSCRIPT and μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT being the σ𝜎\sigmaitalic_σ meson (pion) mass and the quark chemical potential, respectively. The correlation between the sound velocity peak and the sign of the trace anomaly is also addressed.

I Introduction

The sound velocity is a crucial ingredient for characterizing the baryonic dense matter, particularly in the context of neutron stars. Recent discussions have emphasized that the presence of a peak structure in the sound velocity is an essential feature for meeting the observation of the mass and radius relation in neutron stars [1, 2]. To clarify the presence of the sound velocity peak from the first-principles viewpoint of quantum chromodynamics (QCD), there is a growing demand for lattice QCD simulations including the quark chemical potential (μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT). However, it is not easy to accomplish lattice simulations in high dense regions, primarily due to the so-called sign problem in three-color QCD at finite μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT [3, 4].

To avoid the sign problem, QCD-like theories are considered instead of the real-life QCD with three colors. For instance, the sign problem is absent in the case of two-color QCD (QC2D) with two flavors, owing to the pseudoreality of SU(2)c𝑆𝑈subscript2𝑐SU(2)_{c}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT gauge group [5]. This advantageous feature enables the implementation of lattice simulations in large μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT regions in QC2D.

In QC2D, the diquarks, made of two quarks, form color-singlet baryons due to again the pseudoreality of SU(2)c𝑆𝑈subscript2𝑐SU(2)_{c}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT, and thus they obey the Bose-Einstein statistics. When the chemical potential μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT reaches half the value of the pion mass, the ground-state diquark baryons become massless. Consequently, this gives rise to the Bose-Einstein condensation of diquarks, i.e., the diquark condensation, along with the creation of a baryonic matter, resulting in a transition to the baryon superfluid phase [6, 7]. In contrast to the large μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT, the hadronic phase is realized in the lower μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT, which is smoothly connected to the vacuum. Lattice simulations have been extensively performed to reveal various aspects in the cold dense QC2D such as phase structures, thermodynamics quantities and the hadron mass spectrum, across the phase transition [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30] (for a review, see [31]).

Recently, the μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT dependence of the sound velocity has been evaluated in the QC2D lattice simulation [32]. The simulated result has indicated that in the baryon superfluid phase, the sound velocity monotonically grows from zero as μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT increases, and soon it exceeds the conformal limit cs2=1/3superscriptsubscript𝑐𝑠213c_{s}^{2}=1/3italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 / 3. Meanwhile, at sufficiently large μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT the relevant scale of the dense matter is solely provided by μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT, resulting in that the sound velocity eventually converges on cs2=1/3superscriptsubscript𝑐𝑠213c_{s}^{2}=1/3italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 / 3. Therefore, the observed excess implies the appearance of peak structures in the sound velocity. Note that the isospin chemical potential dependence of the sound velocity in the three-color QCD has also been investigated through lattice simulations [33, 34, 35, 36, 37], implying the presence of the sound velocity peak in the isospin asymmetric matter of the real-life QCD.

The high-density behavior of the sound velocity has also been theoretically under investigation in both the real-life QCD and QCD-like theories, based on quark-level pictures and their extensions [38, 39, 40] including the quarkyonic description [41]. Besides, impacts of the quark saturation inside hadrons on the sound velocity peak have also been examined [42, 43, 44], while considering the relation to the continuous transition from hadron to quark matter [45, 41]. Despite those extensive efforts, no conclusive picture for the peak structure of the sound velocity has been established yet.

In QC2D with large μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT, the gluon is unaffected by the Meissner effect [46, 47, 48] since the diquark condensate exists as a color singlet object. This leads to the gluon sector in QC2D being unscreened and implies that the highly dense QC2D system is expected to remain confined [49, 50, 51]. Indeed, the recent lattice simulation has shown that the Polyakov loop L𝐿Litalic_L maintains small values even after the phase transition to the baryon superfluid phase: L1much-less-than𝐿1L\ll 1italic_L ≪ 1 [26, 24]. This indicates that QC2D would be in the confinement phase in a wide range of μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT and the hadronic picture could be applicable across the baryon superfluid phase transition, although at the extremely high-density region the quark degrees of freedom become significant. The difficulty in clarifying the microscopic pictures of cold dense matter is related to the quark-hadron continuity [1]. In this study, we approach the baryonic matter from the low-energy perspective using hadronic models. These models allow us to continuously enter the baryon superfluid phase based on the hadronic picture, which would be one of the reliable methods to elucidate properties of the sound velocity from the low-energy viewpoint of dense QC2D.

As a conventional approach of such a hadron effective model, the chiral perturbation theory (ChPT) is frequently employed to make a comparison with lattice observations of cold dense QC2[6, 7, 52, 53, 51, 54]. In particular, the ChPT evaluation for the sound velocity within the mean-field approximation exhibits no explicit model parameter dependence [49, 13], and for this reason, the ChPT results serve as a robust benchmark of the low-energy QC2D in comparing with the lattice data. Indeed, the ChPT prediction of the sound velocity is in good agreement with the lattice data in the vicinity of the phase-transition point; however, it monotonically converges to cs2=1superscriptsubscript𝑐𝑠21c_{s}^{2}=1italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 at high density without showing any peak structures. Hence, there is a discrepancy between the QC2D lattice observation and the ChPT prediction of slightly higher μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT. This is because the ChPT is constructed upon a low-energy expansion with respect to the Nambu-Goldstone (NG) bosons, and this model is adaptable for only the deep low-energy regime of QC2D. Thus, it is natural that the ChPT cannot apply to the high-dense regime, owing to the lack of higher excitations.

Motivated by the shortcomings of the ChPT, in the present study we incorporate overlooked contributions from excited hadrons into an effective model, in order to bridge the gap between the QC2D lattice observation and the ChPT evaluation. In particular, we make use of the linear sigma model (LSM) invented in Ref. [55] to take into account additional contributions of the chiral partner, i.e., the σ𝜎\sigmaitalic_σ meson, which is linked with the NG bosons under the chiral symmetry. Then, we discuss how the σ𝜎\sigmaitalic_σ meson contributes to the sound velocity to generate the peak structure. Besides, the recent QC2D lattice simulation provides the μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT dependence of the trace anomaly, indicating that the trace anomaly becomes negative in high-density regions [32]. We further examine the correlation between the sound velocity and the trace anomaly within the LSM.

This paper is organized as follows. In Sec. II we provide a brief review of the ChPT approach at a mean-field level, and present analytic expressions of the thermodynamics quantities including the sound velocity. Those quantities are also evaluated within the LSM approach in Sec. III, and the σ𝜎\sigmaitalic_σ meson contributions on top of the ChPT framework is clarified in this section. Then, in Sec. IV, numerical demonstrations to visualize the σ𝜎\sigmaitalic_σ meson contributions are provided, and finally, in Sec. V, we conclude the present work.

II ChPT in cold dense QC2D

In this study, we aim to delve into the understanding of the sound velocity from a perspective of the hadronic picture. In particular, we take into account hadron contributions absent in the ChPT framework and extend the hadronic result of the sound velocity beyond the low-energy regime governed by the ChPT. To facilitate our discussion, in this section, we provide a brief review of the ChPT which serves as a low-energy effective model for the lightest hadrons identified as the NG bosons associated with the chiral symmetry breaking. We also provide an overview of the well-established thermodynamic quantities in the ChPT. Following that, we review the evaluation of the sound velocity in finite quark chemical potentials at zero temperature.

II.1 ChPT Lagrangian

In this subsection, we introduce the ChPT Lagrangian for two-flavor QC2D which can access the baryonic matter.

In QC2D, two (anti)quarks can be bound together by the strong interaction to form color-singlet (anti)baryons in addition to mesons, carrying the quark number +22+2+ 2 (22-2- 2). In contrast to the three-color QCD, those diquark baryons behave as bosonic particles sharing common properties with mesons due to the pseudoreal nature of color SU(2)c𝑆𝑈subscript2𝑐SU(2)_{c}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT group. Hence, both the diquark baryons and mesons are treated on an equal footing in constructing the hadron effective model in QC2D. Besides, it is known that the pseudoreality allows us to extend SU(2)L×SU(2)R𝑆𝑈subscript2𝐿𝑆𝑈subscript2𝑅SU(2)_{L}\times SU(2)_{R}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT chiral symmetry to the Pauli-Gürsey SU(4)𝑆𝑈4SU(4)italic_S italic_U ( 4 ) symmetry, and in the low-energy region, this SU(4)𝑆𝑈4SU(4)italic_S italic_U ( 4 ) symmetry is spontaneously broken to the Sp(4)𝑆𝑝4Sp(4)italic_S italic_p ( 4 ) symmetry [6, 7]. Therefore, in QC2D, low-energy effective models are constructed upon the symmetry-breaking pattern of G=SU(4)H=Sp(4)𝐺𝑆𝑈4𝐻𝑆𝑝4G=SU(4)\to H=Sp(4)italic_G = italic_S italic_U ( 4 ) → italic_H = italic_S italic_p ( 4 ).

To formulate the ChPT Lagrangian, we introduce the nonlinear field ξ𝜉\xiitalic_ξ which is parametrized by the NG bosons πisuperscript𝜋𝑖\pi^{i}italic_π start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT,

ξ𝜉\displaystyle\xiitalic_ξ =\displaystyle== exp(iπiXifπ).𝑖superscript𝜋𝑖superscript𝑋𝑖subscript𝑓𝜋\displaystyle\exp\left(\frac{i\pi^{i}X^{i}}{f_{\pi}}\right).roman_exp ( divide start_ARG italic_i italic_π start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_ARG start_ARG italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT end_ARG ) . (1)

Here, in two-flavor QC2D, the manifold of G/H=SU(4)/Sp(4)𝐺𝐻𝑆𝑈4𝑆𝑝4G/H=SU(4)/Sp(4)italic_G / italic_H = italic_S italic_U ( 4 ) / italic_S italic_p ( 4 ) is characterized by five degrees of freedom, and hence the superscript “i𝑖iitalic_i” in Eq. (1) runs from 1111 to 5555. In terms of the hadrons, πi=1,2,3superscript𝜋𝑖123\pi^{i=1,2,3}italic_π start_POSTSUPERSCRIPT italic_i = 1 , 2 , 3 end_POSTSUPERSCRIPT and πi=4,5superscript𝜋𝑖45\pi^{i=4,5}italic_π start_POSTSUPERSCRIPT italic_i = 4 , 5 end_POSTSUPERSCRIPT denote the pseudoscalars and (anti)baryons serving as the NG bosons, i.e., pions and positive-parity (anti)diquarks. The 4×4444\times 44 × 4 matrices Xisuperscript𝑋𝑖X^{i}italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT are generators belonging to the Lie algebra of G/H=SU(4)/Sp(4)𝐺𝐻𝑆𝑈4𝑆𝑝4G/H=SU(4)/Sp(4)italic_G / italic_H = italic_S italic_U ( 4 ) / italic_S italic_p ( 4 ) given by

Xisuperscript𝑋𝑖\displaystyle X^{i}italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT =\displaystyle== 122(τfi00(τfi)T)(for i=1,2,3),122matrixsuperscriptsubscript𝜏𝑓𝑖00superscriptsuperscriptsubscript𝜏𝑓𝑖𝑇for i=1,2,3\displaystyle\frac{1}{2\sqrt{2}}\begin{pmatrix}\tau_{f}^{i}&0\\ 0&(\tau_{f}^{i})^{T}\end{pmatrix}\;\;\;(\mbox{for $i=1,2,3$}),divide start_ARG 1 end_ARG start_ARG 2 square-root start_ARG 2 end_ARG end_ARG ( start_ARG start_ROW start_CELL italic_τ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL ( italic_τ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_CELL end_ROW end_ARG ) ( for italic_i = 1 , 2 , 3 ) ,
Xisuperscript𝑋𝑖\displaystyle X^{i}italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT =\displaystyle== 122(0Dfi(Dfi)0)(for i=4,5),122matrix0superscriptsubscript𝐷𝑓𝑖superscriptsuperscriptsubscript𝐷𝑓𝑖0for i=4,5\displaystyle\frac{1}{2\sqrt{2}}\begin{pmatrix}0&D_{f}^{i}\\ (D_{f}^{i})^{\dagger}&0\end{pmatrix}\;\;\;(\mbox{for $i=4,5$}),divide start_ARG 1 end_ARG start_ARG 2 square-root start_ARG 2 end_ARG end_ARG ( start_ARG start_ROW start_CELL 0 end_CELL start_CELL italic_D start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL ( italic_D start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_CELL start_CELL 0 end_CELL end_ROW end_ARG ) ( for italic_i = 4 , 5 ) , (2)

with τfisuperscriptsubscript𝜏𝑓𝑖\tau_{f}^{i}italic_τ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT being the Pauli matrix in the flavor space, and Dfsubscript𝐷𝑓D_{f}italic_D start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT being Df4=τf2superscriptsubscript𝐷𝑓4superscriptsubscript𝜏𝑓2D_{f}^{4}=\tau_{f}^{2}italic_D start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT = italic_τ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and Df5=iτf2superscriptsubscript𝐷𝑓5𝑖superscriptsubscript𝜏𝑓2D_{f}^{5}=i\tau_{f}^{2}italic_D start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT = italic_i italic_τ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. The constant fπsubscript𝑓𝜋f_{\pi}italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT in Eq. (1) is the pion decay constant at the vacuum. Since the nonlinear field ξ𝜉\xiitalic_ξ is the representative of the coset space G/H𝐺𝐻G/Hitalic_G / italic_H, its transformation law can be determined by

ξgξhT,𝜉𝑔𝜉superscript𝑇\displaystyle\xi\to g\xi h^{T},italic_ξ → italic_g italic_ξ italic_h start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , (3)

with gG𝑔𝐺g\in Gitalic_g ∈ italic_G and hH𝐻h\in Hitalic_h ∈ italic_H. Since hhitalic_h satisfies

hTEh=EwithE=(0𝟏𝟏0)superscript𝑇𝐸𝐸with𝐸matrix0110\displaystyle h^{T}Eh=E\;\;\;\mbox{with}\;\;\;E=\begin{pmatrix}0&{\bm{1}}\\ -{\bm{1}}&0\end{pmatrix}italic_h start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_E italic_h = italic_E with italic_E = ( start_ARG start_ROW start_CELL 0 end_CELL start_CELL bold_1 end_CELL end_ROW start_ROW start_CELL - bold_1 end_CELL start_CELL 0 end_CELL end_ROW end_ARG ) (4)

from its definition, one can define a useful chiral field U𝑈Uitalic_U which transforms homogeneously under the transformation (3) as

U𝑈\displaystyle Uitalic_U =\displaystyle== ξETξT.𝜉superscript𝐸𝑇superscript𝜉𝑇\displaystyle\xi E^{T}\xi^{T}.italic_ξ italic_E start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_ξ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT . (5)

Indeed, this U𝑈Uitalic_U exhibits the following transformation law:

U𝑈\displaystyle Uitalic_U \displaystyle\to gUgT.𝑔𝑈superscript𝑔𝑇\displaystyle gUg^{T}.italic_g italic_U italic_g start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT . (6)

Using the chiral field U𝑈Uitalic_U, one can write down the SU(4)𝑆𝑈4SU(4)italic_S italic_U ( 4 )-invariant ChPT Lagrangian of the lowest order in terms of the derivative (momentum) expansion [6, 7]. :

ChPTsubscriptChPT\displaystyle{\cal L}_{\rm ChPT}caligraphic_L start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT =\displaystyle== fπ24tr[DμUDμU]superscriptsubscript𝑓𝜋24trdelimited-[]subscript𝐷𝜇superscript𝑈superscript𝐷𝜇𝑈\displaystyle\frac{f_{\pi}^{2}}{4}{\rm tr}\left[D_{\mu}U^{\dagger}D^{\mu}U\right]divide start_ARG italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 end_ARG roman_tr [ italic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_D start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_U ] (7)
+fπ2mπ24tr[EU+UE],superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋24trdelimited-[]𝐸𝑈superscript𝑈superscript𝐸\displaystyle+\frac{f_{\pi}^{2}m_{\pi}^{2}}{4}{\rm tr}\left[EU+U^{\dagger}E^{% \dagger}\right],+ divide start_ARG italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 end_ARG roman_tr [ italic_E italic_U + italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_E start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ] ,

where mπsubscript𝑚𝜋m_{\pi}italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT denotes the pion mass at the vacuum. The first term in Eq. (7) is the kinetic term of the chiral field U𝑈Uitalic_U and the quark number chemical potential μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT is embedded in the covariant derivative,

DμU=μUiμqδμ0(JU+UJT),subscript𝐷𝜇𝑈subscript𝜇𝑈𝑖subscript𝜇𝑞subscript𝛿𝜇0𝐽𝑈𝑈superscript𝐽𝑇\displaystyle D_{\mu}U=\partial_{\mu}U-i\mu_{q}\delta_{\mu 0}(JU+UJ^{T}),italic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_U = ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_U - italic_i italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_μ 0 end_POSTSUBSCRIPT ( italic_J italic_U + italic_U italic_J start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) , (8)

with

J=(𝟏00𝟏).𝐽matrix1001\displaystyle J=\begin{pmatrix}{\bm{1}}&0\\ 0&-{\bm{1}}\end{pmatrix}.italic_J = ( start_ARG start_ROW start_CELL bold_1 end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL - bold_1 end_CELL end_ROW end_ARG ) . (9)

The second term in Eq. (7) corresponds to the explicit chiral symmetry-breaking term, which provides the finite mass for the NG bosons πisuperscript𝜋𝑖\pi^{i}italic_π start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT.

II.2 ChPT in the baryon superfluid phase

As demonstrated by the lattice simulations in QC2D, the diquark baryonic matter is created, accompanied by the phase transition to the baryon superfluid phase, at which the chemical potential takes the half value of the vacuum pion mass, μqcrmπ/2superscriptsubscript𝜇𝑞crsubscript𝑚𝜋2\mu_{q}^{\rm cr}\equiv m_{\pi}/2italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT ≡ italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT / 2 [10, 21, 24]. These notable properties can also be described within the chiral effective models including the ChPT. In this subsection, we recapitulate the well-known analytic expressions of the thermodynamic quantities in the ChPT [49, 13]: the pressure, the quark-number density, the quark-number susceptibility and the energy density.

To evaluate the superfluid phase transition in the ChPT, we take the vacuum expectation value (VEV) for the chiral field U𝑈Uitalic_U,

U=ei22X5βET=(cosβ+i22X5sinβ)ET,delimited-⟨⟩𝑈superscript𝑒𝑖22subscript𝑋5𝛽superscript𝐸𝑇𝛽𝑖22subscript𝑋5𝛽superscript𝐸𝑇\displaystyle\langle U\rangle=e^{i2\sqrt{2}X_{5}\beta}E^{T}=\left(\cos\beta+i2% \sqrt{2}X_{5}\sin\beta\right)E^{T},⟨ italic_U ⟩ = italic_e start_POSTSUPERSCRIPT italic_i 2 square-root start_ARG 2 end_ARG italic_X start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT italic_β end_POSTSUPERSCRIPT italic_E start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT = ( roman_cos italic_β + italic_i 2 square-root start_ARG 2 end_ARG italic_X start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT roman_sin italic_β ) italic_E start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , (10)

where β𝛽\betaitalic_β lies in a range of 0βπ/20𝛽𝜋20\leq\beta\leq\pi/20 ≤ italic_β ≤ italic_π / 2. By considering the matching with the underlying QC2D, we have the following correspondence between the quark bilinear condensates and β𝛽\betaitalic_β in the VEV of U𝑈Uitalic_U [6, 7],

ϕ¯ChPT=cosβ,d¯ChPT=sinβ,formulae-sequencesubscript¯italic-ϕChPT𝛽subscript¯𝑑ChPT𝛽\displaystyle\bar{\phi}_{\rm ChPT}=\cos\beta,\;\;\;\bar{d}_{\rm ChPT}=\sin\beta,over¯ start_ARG italic_ϕ end_ARG start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT = roman_cos italic_β , over¯ start_ARG italic_d end_ARG start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT = roman_sin italic_β , (11)

where ϕ¯¯italic-ϕ\bar{\phi}over¯ start_ARG italic_ϕ end_ARG and d¯¯𝑑\bar{d}over¯ start_ARG italic_d end_ARG are defined such that they are normalized by the vacuum chiral condensate ψ¯ψ|vacevaluated-atdelimited-⟨⟩¯𝜓𝜓vac\langle\bar{\psi}\psi\rangle|_{\rm vac}⟨ over¯ start_ARG italic_ψ end_ARG italic_ψ ⟩ | start_POSTSUBSCRIPT roman_vac end_POSTSUBSCRIPT as

ϕ¯ψ¯ψ/ψ¯ψ|vac,¯italic-ϕevaluated-atdelimited-⟨⟩¯𝜓𝜓delimited-⟨⟩¯𝜓𝜓vac\displaystyle\bar{\phi}\equiv\langle\bar{\psi}\psi\rangle/\langle\bar{\psi}% \psi\rangle|_{\rm vac},over¯ start_ARG italic_ϕ end_ARG ≡ ⟨ over¯ start_ARG italic_ψ end_ARG italic_ψ ⟩ / ⟨ over¯ start_ARG italic_ψ end_ARG italic_ψ ⟩ | start_POSTSUBSCRIPT roman_vac end_POSTSUBSCRIPT ,
d¯i2ψTCγ5τc2τf2ψ+H.c./ψ¯ψ|vac.\displaystyle\bar{d}\equiv\langle-\frac{i}{2}\psi^{T}C\gamma_{5}\tau_{c}^{2}% \tau_{f}^{2}\psi+{\rm H.c.}\rangle/\langle\bar{\psi}\psi\rangle|_{\rm vac}.over¯ start_ARG italic_d end_ARG ≡ ⟨ - divide start_ARG italic_i end_ARG start_ARG 2 end_ARG italic_ψ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_C italic_γ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_τ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ψ + roman_H . roman_c . ⟩ / ⟨ over¯ start_ARG italic_ψ end_ARG italic_ψ ⟩ | start_POSTSUBSCRIPT roman_vac end_POSTSUBSCRIPT . (12)

In Eq. (11), the subscript “ChPT” has been attached to emphasize that this is the ChPT evaluation for later convenience. Within the ChPT analysis, the baryon superfluid phase transition is induced by a nonzero value of β𝛽\betaitalic_β as seen from Eqs. (11) and (12).

In this study, we adopt the mean-field approximation where the hadronic loop corrections are not considered. Substituting Eq. (12) into the ChPT Lagrangian (7) at the mean-field level, an effective potential Vmean=superscript𝑉meandelimited-⟨⟩V^{\rm mean}=-\langle{\cal L}\rangleitalic_V start_POSTSUPERSCRIPT roman_mean end_POSTSUPERSCRIPT = - ⟨ caligraphic_L ⟩ is obtained as

VChPTmean(β)=4μq2fπ2sin2β2fπ2mπ2cosβ.superscriptsubscript𝑉ChPTmean𝛽4superscriptsubscript𝜇𝑞2superscriptsubscript𝑓𝜋2superscript2𝛽2superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2𝛽\displaystyle V_{\rm ChPT}^{\rm mean}(\beta)=-4\mu_{q}^{2}f_{\pi}^{2}\sin^{2}% \beta-2f_{\pi}^{2}m_{\pi}^{2}\cos\beta.italic_V start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_mean end_POSTSUPERSCRIPT ( italic_β ) = - 4 italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_β - 2 italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos italic_β .
(13)

The phase transition is determined by solving the stationary condition of VChPTmeansuperscriptsubscript𝑉ChPTmeanV_{\rm ChPT}^{\rm mean}italic_V start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_mean end_POSTSUPERSCRIPT with respect to β𝛽\betaitalic_β: VChPTmean/β=0superscriptsubscript𝑉ChPTmean𝛽0\partial V_{\rm ChPT}^{\rm mean}/\partial\beta=0∂ italic_V start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_mean end_POSTSUPERSCRIPT / ∂ italic_β = 0, which yields

β𝛽\displaystyle\betaitalic_β =\displaystyle== 0(for μq<μqcr),0(for μq<μqcr)\displaystyle 0\;\;\;\mbox{(for $\mu_{q}<\mu_{q}^{\rm cr}$)},0 (for italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT < italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT ) ,
cosβ𝛽\displaystyle\cos\betaroman_cos italic_β =\displaystyle== mπ24μq2(for μqμqcr).superscriptsubscript𝑚𝜋24superscriptsubscript𝜇𝑞2(for μqμqcr)\displaystyle\frac{m_{\pi}^{2}}{4\mu_{q}^{2}}\;\;\;\mbox{(for $\mu_{q}\geq\mu_% {q}^{\rm cr}$)}.divide start_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG (for italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ≥ italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT ) . (14)

This expression surely shows that the baryon superfluid phase transition in the ChPT occurs at μqcr=mπ/2superscriptsubscript𝜇𝑞crsubscript𝑚𝜋2\mu_{q}^{\rm cr}=m_{\pi}/2italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT = italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT / 2. In terms of the chiral and diquark condensates, Eq. (14) implies

ϕ¯ChPT(H)=1,d¯ChPT(H)=0,formulae-sequencesubscriptsuperscript¯italic-ϕHChPT1subscriptsuperscript¯𝑑HChPT0\displaystyle\bar{\phi}^{(\rm H)}_{\rm ChPT}=1\ ,\ \ \bar{d}^{(\rm H)}_{\rm ChPT% }=0,over¯ start_ARG italic_ϕ end_ARG start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT = 1 , over¯ start_ARG italic_d end_ARG start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT = 0 ,
ϕ¯ChPT(BS)=1μ¯2,d¯ChPT(BS)=11μ¯4,formulae-sequencesubscriptsuperscript¯italic-ϕBSChPT1superscript¯𝜇2subscriptsuperscript¯𝑑BSChPT11superscript¯𝜇4\displaystyle\bar{\phi}^{(\rm BS)}_{\rm ChPT}=\frac{1}{\bar{\mu}^{2}}\ ,\ \ % \bar{d}^{(\rm BS)}_{\rm ChPT}=\sqrt{1-\frac{1}{\bar{\mu}^{4}}},over¯ start_ARG italic_ϕ end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , over¯ start_ARG italic_d end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT = square-root start_ARG 1 - divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG end_ARG , (15)

in the hadronic (H) and baryon superfluid (BS) phases, with μ¯¯𝜇\bar{\mu}over¯ start_ARG italic_μ end_ARG denoting the chemical potential normalized by the critical value, μ¯=μq/μqcr¯𝜇subscript𝜇𝑞superscriptsubscript𝜇𝑞cr\bar{\mu}=\mu_{q}/\mu_{q}^{\rm cr}over¯ start_ARG italic_μ end_ARG = italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT / italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT. We note that the sign of the diquark condensate has been chosen to be positive. Equation (15) indicates that the chiral condensate is always constant in the hadronic phase. In the superfluid phase, it decreases proportionally to 1/μq21superscriptsubscript𝜇𝑞21/\mu_{q}^{2}1 / italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Meanwhile, the diquark condensate approaches ψ¯ψ|vacevaluated-atdelimited-⟨⟩¯𝜓𝜓vac\langle\bar{\psi}\psi\rangle|_{\rm vac}⟨ over¯ start_ARG italic_ψ end_ARG italic_ψ ⟩ | start_POSTSUBSCRIPT roman_vac end_POSTSUBSCRIPT as μqsubscript𝜇𝑞\mu_{q}\to\inftyitalic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT → ∞.

By inserting the solution of β𝛽\betaitalic_β into the effective potential (13), one can express the pressure, p=Vmean𝑝superscript𝑉meanp=-V^{\rm mean}italic_p = - italic_V start_POSTSUPERSCRIPT roman_mean end_POSTSUPERSCRIPT, in both the phases:

pChPT(H)superscriptsubscript𝑝ChPTH\displaystyle p_{\rm ChPT}^{(\rm H)}italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT =\displaystyle== 2fπ2mπ2,2superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2\displaystyle 2f_{\pi}^{2}m_{\pi}^{2},2 italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,
pChPT(BS)superscriptsubscript𝑝ChPTBS\displaystyle p_{\rm ChPT}^{(\rm BS)}italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT =\displaystyle== fπ2mπ2(μ¯2+1μ¯2).superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2superscript¯𝜇21superscript¯𝜇2\displaystyle f_{\pi}^{2}m_{\pi}^{2}\left(\bar{\mu}^{2}+\frac{1}{\bar{\mu}^{2}% }\right).italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) . (16)

In the hadronic phase, the pressure pChPT(H)superscriptsubscript𝑝ChPTHp_{\rm ChPT}^{(\rm H)}italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT does not have the chemical potential dependence and keeps the vacuum value, ensuring that the ChPT result satisfies the so-called Silver-Braze property observed in the lattice simulations. At asymptotically large μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT, pChPT(BS)superscriptsubscript𝑝ChPTBSp_{\rm ChPT}^{\rm(BS)}italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT grows with a power of μq2superscriptsubscript𝜇𝑞2\mu_{q}^{2}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

At the vacuum, the pressure is not reduced to zero but has a finite contribution as in Eq. (16), which should be subtracted to facilitate the following demonstration appropriately. After this subtraction, the pressure in the superfluid phase reads

pChPTsubsuperscriptsubscript𝑝ChPTsub\displaystyle p_{\rm ChPT}^{\rm sub}italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT =\displaystyle== pChPT(BS)pChPT(H)superscriptsubscript𝑝ChPTBSsuperscriptsubscript𝑝ChPTH\displaystyle p_{\rm ChPT}^{(\rm BS)}-p_{\rm ChPT}^{(\rm H)}italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT - italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT (17)
=\displaystyle== fπ2mπ2(μ¯1μ¯)2.superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2superscript¯𝜇1¯𝜇2\displaystyle f_{\pi}^{2}m_{\pi}^{2}\left(\bar{\mu}-\frac{1}{\bar{\mu}}\right)% ^{2}.italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( over¯ start_ARG italic_μ end_ARG - divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_μ end_ARG end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT .

Using this subtracted pressure, the baryon number density n𝑛nitalic_n and the baryon susceptibility χ𝜒\chiitalic_χ are analytically evaluated as

nChPTsubscript𝑛ChPT\displaystyle n_{\rm ChPT}italic_n start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT =\displaystyle== pChPTsubμq=1μq2fπ2mπ2(μ¯21μ¯2),superscriptsubscript𝑝ChPTsubsubscript𝜇𝑞1subscript𝜇𝑞2superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2superscript¯𝜇21superscript¯𝜇2\displaystyle\frac{\partial p_{\rm ChPT}^{\rm sub}}{\partial\mu_{q}}=\frac{1}{% \mu_{q}}2f_{\pi}^{2}m_{\pi}^{2}\left(\bar{\mu}^{2}-\frac{1}{\bar{\mu}^{2}}% \right),divide start_ARG ∂ italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT end_ARG = divide start_ARG 1 end_ARG start_ARG italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT end_ARG 2 italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ,
χChPTsubscript𝜒ChPT\displaystyle\chi_{\rm ChPT}italic_χ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT =\displaystyle== 2pChPTsubμq2=8fπ2(1+31μ¯4).superscript2superscriptsubscript𝑝ChPTsubsuperscriptsubscript𝜇𝑞28superscriptsubscript𝑓𝜋2131superscript¯𝜇4\displaystyle\frac{\partial^{2}p_{\rm ChPT}^{\rm sub}}{\partial\mu_{q}^{2}}=8f% _{\pi}^{2}\left(1+3\frac{1}{\bar{\mu}^{4}}\right).divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = 8 italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 + 3 divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) . (18)

Furthermore, the subtracted energy density, ϵ=p+μqnitalic-ϵ𝑝subscript𝜇𝑞𝑛\epsilon=-p+\mu_{q}nitalic_ϵ = - italic_p + italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT italic_n, can also be evaluated as

ϵChPTsubsuperscriptsubscriptitalic-ϵChPTsub\displaystyle\epsilon_{\rm ChPT}^{\rm sub}italic_ϵ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT =\displaystyle== pChPTsub+μqnChPTsuperscriptsubscript𝑝ChPTsubsubscript𝜇𝑞subscript𝑛ChPT\displaystyle-p_{\rm ChPT}^{\rm sub}+\mu_{q}n_{\rm ChPT}- italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT + italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT (19)
=\displaystyle== fπ2mπ2[1μ¯2(μ¯2+3)(μ¯21)].superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2delimited-[]1superscript¯𝜇2superscript¯𝜇23superscript¯𝜇21\displaystyle f_{\pi}^{2}m_{\pi}^{2}\left[\frac{1}{\bar{\mu}^{2}}(\bar{\mu}^{2% }+3)(\bar{\mu}^{2}-1)\right].italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 3 ) ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) ] .

II.3 Sound velocity in ChPT

Using the thermodynamic quantities shown in Sec. II.2, one can obtain an analytic expression of the sound velocity in the ChPT within the mean-field approximation. In general, the sound velocity is defined by a derivative of the pressure p𝑝pitalic_p with respect to the energy density ϵitalic-ϵ\epsilonitalic_ϵ: cs2=p/ϵsuperscriptsubscript𝑐𝑠2𝑝italic-ϵc_{s}^{2}=\partial p/\partial\epsilonitalic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ∂ italic_p / ∂ italic_ϵ, along the isentropic curve. At zero temperature, the isentropic trajectory sticks to the μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT axis, and then, the sound velocity can be simplified to the following concise expression [56]:

cs2=nμqχ.superscriptsubscript𝑐𝑠2𝑛subscript𝜇𝑞𝜒\displaystyle c_{s}^{2}=\frac{n}{\mu_{q}\chi}.italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG italic_n end_ARG start_ARG italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT italic_χ end_ARG . (20)

Using the ChPT evaluations of the baryon number density and the baryon susceptibility in Eq. (18), the sound velocity is expressed as [49, 13]

(csChPT)2=nChPTμqχChPT=11/μ¯41+3/μ¯4.superscriptsuperscriptsubscript𝑐𝑠ChPT2subscript𝑛ChPTsubscript𝜇𝑞subscript𝜒ChPT11superscript¯𝜇413superscript¯𝜇4\displaystyle\left(c_{s}^{\rm ChPT}\right)^{2}=\frac{n_{\rm ChPT}}{\mu_{q}\chi% _{\rm ChPT}}=\frac{1-1/\bar{\mu}^{4}}{1+3/\bar{\mu}^{4}}.( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ChPT end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG italic_n start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT end_ARG start_ARG italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT end_ARG = divide start_ARG 1 - 1 / over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 1 + 3 / over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG . (21)

It is interesting to note that (csChPT)2superscriptsuperscriptsubscript𝑐𝑠ChPT2\left(c_{s}^{\rm ChPT}\right)^{2}( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ChPT end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is simply described by the chemical potential tagged with the pion mass (or viewed as the function of only the normalized chemical potential μ¯=μq/μqcr=2μq/mπ¯𝜇subscript𝜇𝑞superscriptsubscript𝜇𝑞cr2subscript𝜇𝑞subscript𝑚𝜋\bar{\mu}=\mu_{q}/\mu_{q}^{\rm cr}=2\mu_{q}/m_{\pi}over¯ start_ARG italic_μ end_ARG = italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT / italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT = 2 italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT / italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT). In the baryonic matter, the sound velocity starts from zero at μq=μqcrsubscript𝜇𝑞superscriptsubscript𝜇𝑞cr\mu_{q}=\mu_{q}^{\rm cr}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT = italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT (corresponding to μ¯=1¯𝜇1\bar{\mu}=1over¯ start_ARG italic_μ end_ARG = 1). As the chemical potential increases, the sound velocity in the ChPT grows monotonically and approaches 1111 for μqsubscript𝜇𝑞\mu_{q}\to\inftyitalic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT → ∞ without exhibiting a peak.

The μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT dependence of the sound velocity has been observed in the QC2D lattice simulation [32], indicating that the sound velocity departs from zero in the superfluid phase and exceeds the conformal limit cs2=1/3superscriptsubscript𝑐𝑠213c_{s}^{2}=1/3italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 / 3. This conformal limit must be realized for sufficiently large μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT, since in such a dense matter the relevant scale is solely provided by μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT. Hence, the lattice result claims the appearance of the peak structure in the intermediate chemical potential regime in cold dense QC2D. This observation, however, contradicts the ChPT estimation (21). In what follows, we show that this lack of the peak structure in the ChPT framework can be resolved by including contributions from chiral partners of the NG bosons.

III LSM in cold dense QC2D

In Sec. II, we have shown that the sound velocity evaluated within the ChPT fails in yielding the peak structure. Since the ChPT framework describes only NG boson dynamics, one may infer that the shortcomings are due to the lack of higher excitations. Here, the so-called chiral partners of the NG bosons carrying opposite parities can be considered reasonably as the excitations, which are connected to the NG bosons under the chiral transformation.#1#1#1In this regard, the ChPT would be regarded as the “lowest-energy” effective model of QC2D where the chiral partners of the NG bosons are integrated out, owing to the nonlinear representation. To take into account the contribution from these chiral partners, here, we move onto the LSM approach.

III.1 LSM at mean-field approximation

The chiral partners can be introduced by linearizing the chiral field U=ξETξT=ξ2ET𝑈𝜉superscript𝐸𝑇superscript𝜉𝑇superscript𝜉2superscript𝐸𝑇U=\xi E^{T}\xi^{T}=\xi^{2}E^{T}italic_U = italic_ξ italic_E start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_ξ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT = italic_ξ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_E start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT in the ChPT, i.e., by parametrizing ξ2superscript𝜉2\xi^{2}italic_ξ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT with positive-parity mesons (negative-parity diquark baryons) as well as the NG bosons. Hence, a building block in the LSM incorporating those hadrons can be introduced as [55]

Σ=(𝒮ii𝒫i)XiE,Σsuperscript𝒮𝑖𝑖superscript𝒫𝑖superscript𝑋𝑖𝐸\displaystyle\Sigma=(\mathscr{S}^{i}-i\mathscr{P}^{i})X^{i}E,roman_Σ = ( script_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT - italic_i script_P start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ) italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_E , (22)

where Xi=0=𝟏4×4/(22)superscript𝑋𝑖0subscript14422X^{i=0}={\bm{1}}_{4\times 4}/(2\sqrt{2})italic_X start_POSTSUPERSCRIPT italic_i = 0 end_POSTSUPERSCRIPT = bold_1 start_POSTSUBSCRIPT 4 × 4 end_POSTSUBSCRIPT / ( 2 square-root start_ARG 2 end_ARG ), and Xisuperscript𝑋𝑖X^{i}italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT (i=1𝑖1i=1italic_i = 1 - 5555) is defined in Eq. (2). The dynamical variables 𝒮isuperscript𝒮𝑖\mathscr{S}^{i}script_S start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT and 𝒫isuperscript𝒫𝑖\mathscr{P}^{i}script_P start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT are identified to the hadrons as follows: 𝒮i=0superscript𝒮𝑖0\mathscr{S}^{i=0}script_S start_POSTSUPERSCRIPT italic_i = 0 end_POSTSUPERSCRIPT is the isosinglet scalar meson (σ𝜎\sigmaitalic_σ meson); 𝒮i=1,2,3superscript𝒮𝑖123\mathscr{S}^{i=1,2,3}script_S start_POSTSUPERSCRIPT italic_i = 1 , 2 , 3 end_POSTSUPERSCRIPT are the isotriplet scalar mesons (a0subscript𝑎0a_{0}italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT mesons); 𝒮i=4,5superscript𝒮𝑖45\mathscr{S}^{i=4,5}script_S start_POSTSUPERSCRIPT italic_i = 4 , 5 end_POSTSUPERSCRIPT are the positive-parity (anti)baryons; 𝒫i=0superscript𝒫𝑖0\mathscr{P}^{i=0}script_P start_POSTSUPERSCRIPT italic_i = 0 end_POSTSUPERSCRIPT is the isosinglet pseudoscalar meson (η𝜂\etaitalic_η meson); 𝒫i=1,2,3superscript𝒫𝑖123\mathscr{P}^{i=1,2,3}script_P start_POSTSUPERSCRIPT italic_i = 1 , 2 , 3 end_POSTSUPERSCRIPT are the isotriplet pseudoscalar meson (pions); 𝒫i=4,5superscript𝒫𝑖45\mathscr{P}^{i=4,5}script_P start_POSTSUPERSCRIPT italic_i = 4 , 5 end_POSTSUPERSCRIPT are the negative-parity (anti)baryons. It should be noted that ΣΣ\Sigmaroman_Σ has mass dimension +11+1+ 1 while U𝑈Uitalic_U is dimensionless, where these fields are related by ΣfπU=fπξ2ETsimilar-toΣsubscript𝑓𝜋𝑈subscript𝑓𝜋superscript𝜉2superscript𝐸𝑇\Sigma\sim f_{\pi}U=f_{\pi}\xi^{2}E^{T}roman_Σ ∼ italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT italic_U = italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT italic_ξ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_E start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT.

Given that the difference between ΣΣ\Sigmaroman_Σ and U𝑈Uitalic_U is just the way of parametrization of the hadron field, ΣΣ\Sigmaroman_Σ also transforms under the Pauli-Gürsey SU(4)𝑆𝑈4SU(4)italic_S italic_U ( 4 ) symmetry as

ΣgΣgT,Σ𝑔Σsuperscript𝑔𝑇\displaystyle\Sigma\to g\Sigma g^{T},roman_Σ → italic_g roman_Σ italic_g start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , (23)

following the transformation law of U𝑈Uitalic_U. Hence, with the linearly parametrized ΣΣ\Sigmaroman_Σ, the LSM Lagrangian, that is invariant under SU(4)𝑆𝑈4SU(4)italic_S italic_U ( 4 ) transformation, is constructed as [55]

LSMsubscriptLSM\displaystyle{\cal L}_{\rm LSM}caligraphic_L start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT =\displaystyle== tr[DμΣDμΣ]m02tr[ΣΣ]λ1(tr[ΣΣ])2trdelimited-[]subscript𝐷𝜇superscriptΣsuperscript𝐷𝜇Σsuperscriptsubscript𝑚02trdelimited-[]superscriptΣΣsubscript𝜆1superscripttrdelimited-[]superscriptΣΣ2\displaystyle{\rm tr}[D_{\mu}\Sigma^{\dagger}D^{\mu}\Sigma]-m_{0}^{2}{\rm tr}[% \Sigma^{\dagger}\Sigma]-\lambda_{1}({\rm tr}[\Sigma^{\dagger}\Sigma])^{2}roman_tr [ italic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT roman_Σ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_D start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT roman_Σ ] - italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_tr [ roman_Σ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT roman_Σ ] - italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( roman_tr [ roman_Σ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT roman_Σ ] ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (24)
λ2tr[(ΣΣ)2]+mlc¯2tr[EΣ+ΣE],subscript𝜆2trdelimited-[]superscriptsuperscriptΣΣ2subscript𝑚𝑙¯𝑐2trdelimited-[]superscript𝐸ΣsuperscriptΣ𝐸\displaystyle-\lambda_{2}{\rm tr}[(\Sigma^{\dagger}\Sigma)^{2}]+\frac{m_{l}% \bar{c}}{2}\,{\rm tr}[E^{\dagger}\Sigma+\Sigma^{\dagger}E]\ ,- italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_tr [ ( roman_Σ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT roman_Σ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] + divide start_ARG italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG end_ARG start_ARG 2 end_ARG roman_tr [ italic_E start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT roman_Σ + roman_Σ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_E ] ,

where m02superscriptsubscript𝑚02m_{0}^{2}italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is a mass parameter, and λ1subscript𝜆1\lambda_{1}italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and λ2subscript𝜆2\lambda_{2}italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are dimensionless parameters controlling interactions among the hadrons. The last piece proportional to mlc¯subscript𝑚𝑙¯𝑐m_{l}\bar{c}italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG is responsible for the explicit breaking of the Pauli-Gürsey SU(4)𝑆𝑈4SU(4)italic_S italic_U ( 4 ) symmetry which is inevitable to generate finite masses of the NG bosons. In Eq. (24), the U(1)A𝑈subscript1𝐴U(1)_{A}italic_U ( 1 ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT anomalous contributions are not introduced since the lattice results on the mass difference between η𝜂\etaitalic_η and pion imply small effects from the U(1)A𝑈subscript1𝐴U(1)_{A}italic_U ( 1 ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT anomaly [55].

According to the matching with the underlying QC2D, the fields 𝒮0superscript𝒮0\mathscr{S}^{0}script_S start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT and 𝒫5superscript𝒫5\mathscr{P}^{5}script_P start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT can be linked to the quark bilinear fields [57]:

ψ¯ψ=2c¯𝒮0,i2ψTCγ5τc2τf2ψ+H.c.=2c¯𝒫5.\displaystyle\bar{\psi}\psi=-\sqrt{2}\bar{c}\mathscr{S}^{0},\;\;\;-\frac{i}{2}% \psi^{T}C\gamma_{5}\tau_{c}^{2}\tau_{f}^{2}\psi+{\rm H.c.}=-\sqrt{2}\bar{c}% \mathscr{P}^{5}.over¯ start_ARG italic_ψ end_ARG italic_ψ = - square-root start_ARG 2 end_ARG over¯ start_ARG italic_c end_ARG script_S start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT , - divide start_ARG italic_i end_ARG start_ARG 2 end_ARG italic_ψ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_C italic_γ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_τ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ψ + roman_H . roman_c . = - square-root start_ARG 2 end_ARG over¯ start_ARG italic_c end_ARG script_P start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT .
(25)

Within the LSM, the chiral condensate and the diquark condensate are, hence, introduced as

σ0𝒮0,Δ𝒫5,formulae-sequencesubscript𝜎0delimited-⟨⟩superscript𝒮0Δdelimited-⟨⟩superscript𝒫5\displaystyle\sigma_{0}\equiv\langle\mathscr{S}^{0}\rangle\ ,\ \ \Delta\equiv% \langle\mathscr{P}^{5}\rangle\ ,italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ≡ ⟨ script_S start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ⟩ , roman_Δ ≡ ⟨ script_P start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT ⟩ , (26)

where σ0subscript𝜎0\sigma_{0}italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and ΔΔ\Deltaroman_Δ are chosen to be positive. As in the case of the ChPT analysis, we also implement the mean-field approximation in the present LSM analysis. Then, substituting Eq. (26) into Eq. (24) through Eq. (22), the effective potential is expressed as

VLSMmean(σ0,Δ)subscriptsuperscript𝑉meanLSMsubscript𝜎0Δ\displaystyle V^{\rm mean}_{\rm LSM}(\sigma_{0},\Delta)italic_V start_POSTSUPERSCRIPT roman_mean end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , roman_Δ ) =\displaystyle== 2μq2Δ2+m022(σ02+Δ2)2superscriptsubscript𝜇𝑞2superscriptΔ2superscriptsubscript𝑚022superscriptsubscript𝜎02superscriptΔ2\displaystyle-2\mu_{q}^{2}\Delta^{2}+\frac{m_{0}^{2}}{2}(\sigma_{0}^{2}+\Delta% ^{2})- 2 italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) (27)
+λ~4(σ02+Δ2)22mlc¯σ0,~𝜆4superscriptsuperscriptsubscript𝜎02superscriptΔ222subscript𝑚𝑙¯𝑐subscript𝜎0\displaystyle+\frac{\tilde{\lambda}}{4}(\sigma_{0}^{2}+\Delta^{2})^{2}-\sqrt{2% }m_{l}\bar{c}\sigma_{0}\ ,+ divide start_ARG over~ start_ARG italic_λ end_ARG end_ARG start_ARG 4 end_ARG ( italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - square-root start_ARG 2 end_ARG italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ,

where we have defined λ~λ1+λ2/4~𝜆subscript𝜆1subscript𝜆24\tilde{\lambda}\equiv\lambda_{1}+\lambda_{2}/4over~ start_ARG italic_λ end_ARG ≡ italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / 4 to denote the four-point couplings collectively. The phase structure can be evaluated through stationary conditions,

VLSMmean(σ0,Δ)σ0=0,VLSMmean(σ0,Δ)Δ=0.formulae-sequencesubscriptsuperscript𝑉meanLSMsubscript𝜎0Δsubscript𝜎00subscriptsuperscript𝑉meanLSMsubscript𝜎0ΔΔ0\displaystyle\frac{V^{\rm mean}_{\rm LSM}(\sigma_{0},\Delta)}{\partial\sigma_{% 0}}=0,\;\;\;\frac{V^{\rm mean}_{\rm LSM}(\sigma_{0},\Delta)}{\partial\Delta}=0.divide start_ARG italic_V start_POSTSUPERSCRIPT roman_mean end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , roman_Δ ) end_ARG start_ARG ∂ italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG = 0 , divide start_ARG italic_V start_POSTSUPERSCRIPT roman_mean end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT ( italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , roman_Δ ) end_ARG start_ARG ∂ roman_Δ end_ARG = 0 . (28)

By solving these stationary conditions, one can see that the critical chemical potential to enter the superfluid phase coincides with the one derived in the ChPT: μqcr=mπ/2superscriptsubscript𝜇𝑞crsubscript𝑚𝜋2\mu_{q}^{\rm cr}=m_{\pi}/2italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT = italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT / 2. In fact, from Eq. (28) the condensates are evaluated as

σ0(H)=2mlc¯/mπ2,superscriptsubscript𝜎0H2subscript𝑚𝑙¯𝑐superscriptsubscript𝑚𝜋2\displaystyle\sigma_{0}^{(\rm H)}=\sqrt{2}m_{l}\bar{c}/m_{\pi}^{2},italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT = square-root start_ARG 2 end_ARG italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT over¯ start_ARG italic_c end_ARG / italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,
Δ(H)=0(for μq<μqcr),superscriptΔH0(for μq<μqcr)\displaystyle\Delta^{(\rm H)}=0\ \ \ \ \ \ \ \ \mbox{(for $\mu_{q}<\mu_{q}^{% \rm cr}$)},roman_Δ start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT = 0 (for italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT < italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT ) , (29)

while

σ0(BS)=σ0(H)mπ24μq2,superscriptsubscript𝜎0BSsuperscriptsubscript𝜎0Hsuperscriptsubscript𝑚𝜋24superscriptsubscript𝜇𝑞2\displaystyle\sigma_{0}^{(\rm BS)}=\frac{\sigma_{0}^{\rm(H)}m_{\pi}^{2}}{4\mu_% {q}^{2}},italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT = divide start_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ,
Δ(BS)=[1λ~(4μq2m02)(σ0(BS))2]1/2(for μqμqcr).superscriptΔBSsuperscriptdelimited-[]1~𝜆4superscriptsubscript𝜇𝑞2superscriptsubscript𝑚02superscriptsuperscriptsubscript𝜎0BS212(for μqμqcr)\displaystyle\Delta^{(\rm BS)}=\left[\frac{1}{\tilde{\lambda}}(4\mu_{q}^{2}-m_% {0}^{2})-(\sigma_{0}^{(\rm BS)})^{2}\right]^{1/2}\;\;\;\mbox{(for $\mu_{q}\geq% \mu_{q}^{\rm cr}$)}.roman_Δ start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT = [ divide start_ARG 1 end_ARG start_ARG over~ start_ARG italic_λ end_ARG end_ARG ( 4 italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - ( italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT (for italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ≥ italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT ) .
(30)

We note that the vacuum pion mass within the LSM is read from the quadratic term of the pion fluctuation field upon the mean-field approximation, in Eq. (24), as

mπ2superscriptsubscript𝑚𝜋2\displaystyle m_{\pi}^{2}italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =\displaystyle== m02+λ~(σ0(H))2.superscriptsubscript𝑚02~𝜆superscriptsuperscriptsubscript𝜎0H2\displaystyle m_{0}^{2}+\tilde{\lambda}(\sigma_{0}^{\rm(H)})^{2}.italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + over~ start_ARG italic_λ end_ARG ( italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (31)

Following a similar procedure, the vacuum mass of the chiral partner of the pion, the σ𝜎\sigmaitalic_σ meson, is evaluated to be

mσ2=m02+3λ~(σ0(H))2.superscriptsubscript𝑚𝜎2superscriptsubscript𝑚023~𝜆superscriptsuperscriptsubscript𝜎0H2\displaystyle m_{\sigma}^{2}=m_{0}^{2}+3\tilde{\lambda}(\sigma_{0}^{\rm(H)})^{% 2}.italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 3 over~ start_ARG italic_λ end_ARG ( italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (32)

The analytic expressions of σ0subscript𝜎0\sigma_{0}italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and ΔΔ\Deltaroman_Δ in Eq. (30) include explicit model parameters, which prevent us from achieving an intuitive picture of their μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT dependencies. For this reason, in what follows we try to translate σ0(H)superscriptsubscript𝜎0H\sigma_{0}^{\rm(H)}italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT, m02superscriptsubscript𝑚02m_{0}^{2}italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and λ~~𝜆\tilde{\lambda}over~ start_ARG italic_λ end_ARG into more physically transparent quantities. First, by evaluating the broken current associated with the broken SU(4)/Sp(4)𝑆𝑈4𝑆𝑝4SU(4)/Sp(4)italic_S italic_U ( 4 ) / italic_S italic_p ( 4 ) space, one can easily show that the mean field σ0(H)superscriptsubscript𝜎0H\sigma_{0}^{\rm(H)}italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT is connected to the pion decay constant as

σ0(H)=2fπ,superscriptsubscript𝜎0H2subscript𝑓𝜋\displaystyle\sigma_{0}^{\rm(H)}=\sqrt{2}f_{\pi},italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT = square-root start_ARG 2 end_ARG italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT , (33)

which is derived in the Appendix. Next, from Eqs. (31) and (32), m02superscriptsubscript𝑚02m_{0}^{2}italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and λ~~𝜆\tilde{\lambda}over~ start_ARG italic_λ end_ARG can be expressed in terms of the pion and σ𝜎\sigmaitalic_σ meson masses, which reads

m02=3mπ2mσ22,λ~=mσ2mπ22(σ0(H))2.formulae-sequencesuperscriptsubscript𝑚023superscriptsubscript𝑚𝜋2superscriptsubscript𝑚𝜎22~𝜆superscriptsubscript𝑚𝜎2superscriptsubscript𝑚𝜋22superscriptsuperscriptsubscript𝜎0H2\displaystyle m_{0}^{2}=\frac{3m_{\pi}^{2}-m_{\sigma}^{2}}{2}\ ,\ \ \tilde{% \lambda}=\frac{m_{\sigma}^{2}-m_{\pi}^{2}}{2(\sigma_{0}^{\rm(H)})^{2}}.italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 3 italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG , over~ start_ARG italic_λ end_ARG = divide start_ARG italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 ( italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (34)

Therefore, substituting those relations into Eq. (30), finally σ0subscript𝜎0\sigma_{0}italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and ΔΔ\Deltaroman_Δ in the superfluid phase are rewritten to

σ0(BS)=2fπμ¯2,superscriptsubscript𝜎0BS2subscript𝑓𝜋superscript¯𝜇2\displaystyle\sigma_{0}^{(\rm BS)}=\frac{\sqrt{2}f_{\pi}}{\bar{\mu}^{2}},italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT = divide start_ARG square-root start_ARG 2 end_ARG italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT end_ARG start_ARG over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ,
Δ(BS)=[16fπ2δm¯σπ2(μ¯21)+2fπ2(11μ¯4)]1/2,superscriptΔBSsuperscriptdelimited-[]16superscriptsubscript𝑓𝜋2𝛿superscriptsubscript¯𝑚𝜎𝜋2superscript¯𝜇212superscriptsubscript𝑓𝜋211superscript¯𝜇412\displaystyle\Delta^{(\rm BS)}=\left[\frac{16f_{\pi}^{2}}{\delta\bar{m}_{% \sigma-\pi}^{2}}(\bar{\mu}^{2}-1)+2f_{\pi}^{2}\left(1-\frac{1}{\bar{\mu}^{4}}% \right)\right]^{1/2},roman_Δ start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT = [ divide start_ARG 16 italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) + 2 italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 - divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) ] start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT ,
(35)

where the normalized chemical potential μ¯=μq/μqcr¯𝜇subscript𝜇𝑞superscriptsubscript𝜇𝑞cr\bar{\mu}=\mu_{q}/\mu_{q}^{\rm cr}over¯ start_ARG italic_μ end_ARG = italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT / italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT is used, and the dimensionless mass difference between σ𝜎\sigmaitalic_σ meson and pion is defined by#2#2#2A mass difference of the chiral partners, the σ𝜎\sigmaitalic_σ meson and pion, measures strength of the chiral symmetry breaking. When the chiral symmetry is explicitly and/or spontaneously broken, the σ𝜎\sigmaitalic_σ meson mass deviates from the pion mass, leading to the nonzero value of δm¯σπ2𝛿subscriptsuperscript¯𝑚2𝜎𝜋\delta\bar{m}^{2}_{\sigma-\pi}italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT.

δm¯σπ2mσ2mπ2(μqcr)2.𝛿superscriptsubscript¯𝑚𝜎𝜋2superscriptsubscript𝑚𝜎2superscriptsubscript𝑚𝜋2superscriptsuperscriptsubscript𝜇𝑞cr2\displaystyle\delta\bar{m}_{\sigma-\pi}^{2}\equiv\frac{m_{\sigma}^{2}-m_{\pi}^% {2}}{(\mu_{q}^{\rm cr})^{2}}.italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≡ divide start_ARG italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (36)

Equation (35) clearly shows that the fate of the mean fields σ0subscript𝜎0\sigma_{0}italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and ΔΔ\Deltaroman_Δ in the superfluid phase is essentially determined by vacuum values of the decay constant and the mass difference between the chiral partners.#3#3#3This simple expression of the mean fields is not modified even when the U(1)A𝑈subscript1𝐴U(1)_{A}italic_U ( 1 ) start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT anomaly effects are introduced, and accordingly the following discussions are not changed.

At the end of this subsection, we make comparisons between the ChPT and LSM results on μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT dependencies of the chiral and diquark condensates. From the matching result in Eq. (25) together with Eq. (35), one can derive the following relations with respect to the normalized chiral and diquark condensates in the superfluid phase:

ϕ¯LSM(BS)=ϕ¯ChPT(BS),subscriptsuperscript¯italic-ϕBSLSMsubscriptsuperscript¯italic-ϕBSChPT\displaystyle\bar{\phi}^{(\rm BS)}_{\rm LSM}=\bar{\phi}^{(\rm BS)}_{\rm ChPT},over¯ start_ARG italic_ϕ end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT = over¯ start_ARG italic_ϕ end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT ,
(d¯LSM(BS))2=(d¯ChPT(BS))2+(δd¯(BS))2,superscriptsubscriptsuperscript¯𝑑BSLSM2superscriptsubscriptsuperscript¯𝑑BSChPT2superscript𝛿superscript¯𝑑BS2\displaystyle(\bar{d}^{(\rm BS)}_{\rm LSM})^{2}=(\bar{d}^{(\rm BS)}_{\rm ChPT}% )^{2}+(\delta\bar{d}^{\rm(BS)})^{2},( over¯ start_ARG italic_d end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( over¯ start_ARG italic_d end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_δ over¯ start_ARG italic_d end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (37)

with

(δd¯(BS))28δm¯σπ2(μ¯21),superscript𝛿superscript¯𝑑BS28𝛿superscriptsubscript¯𝑚𝜎𝜋2superscript¯𝜇21\displaystyle(\delta\bar{d}^{(\rm BS)})^{2}\equiv\frac{8}{\delta\bar{m}_{% \sigma-\pi}^{2}}(\bar{\mu}^{2}-1),( italic_δ over¯ start_ARG italic_d end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≡ divide start_ARG 8 end_ARG start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) , (38)

where the ChPT results on ϕ¯¯italic-ϕ\bar{\phi}over¯ start_ARG italic_ϕ end_ARG and d¯¯𝑑\bar{d}over¯ start_ARG italic_d end_ARG are provided in Eq. (15). Thus, from Eq. (37), the normalized chiral condensate is found to share the common μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT scaling in the superfluid phase. Meanwhile, the squared diquark condensate is divided into the ChPT result and an additional contribution (δd¯(BS))2superscript𝛿superscript¯𝑑BS2(\delta\bar{d}^{(\rm BS)})^{2}( italic_δ over¯ start_ARG italic_d end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. In particular, Eq. (38) indicates that the additional effects are quantified by the mass difference of the chiral partners, σ𝜎\sigmaitalic_σ meson and pion, and amplified as the chemical potential increases. Since (δd¯(BS))2superscript𝛿superscript¯𝑑BS2(\delta\bar{d}^{(\rm BS)})^{2}( italic_δ over¯ start_ARG italic_d end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is proportional to 1/δm¯σπ21𝛿superscriptsubscript¯𝑚𝜎𝜋21/\delta\bar{m}_{\sigma-\pi}^{2}1 / italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, d¯LSM(BS)subscriptsuperscript¯𝑑BSLSM\bar{d}^{(\rm BS)}_{\rm LSM}over¯ start_ARG italic_d end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT is reduced to d¯ChPT(BS)subscriptsuperscript¯𝑑BSChPT\bar{d}^{(\rm BS)}_{\rm ChPT}over¯ start_ARG italic_d end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT when the σ𝜎\sigmaitalic_σ meson mass is sufficiently large compared to the pion mass. This reduction is natural; such a heavy-mass limit is equivalent to integrating out the σ𝜎\sigmaitalic_σ meson from the LSM framework, which should converge on the ChPT. Hence, one can conclude that the (δd¯(BS))2superscript𝛿superscript¯𝑑BS2(\delta\bar{d}^{(\rm BS)})^{2}( italic_δ over¯ start_ARG italic_d end_ARG start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is induced as a correction beyond the lowest-energy dynamics governed by the NG bosons. Those clear properties of the LSM played by the σ𝜎\sigmaitalic_σ meson are also reflected to the thermodynamic quantities, as is shown in the following analysis.

III.2 Thermodynamic quantities in LSM

In this subsection, we exhibit the thermodynamic quantities in the LSM approach within the mean-field approximation, and shed light on connections between results from the ChPT and LSM.

The pressure within the LSM is straightforwardly evaluated from the potential (27). In terms of the physical quantities, mπsubscript𝑚𝜋m_{\pi}italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT, mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT and fπsubscript𝑓𝜋f_{\pi}italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT provided in Eqs. (31), (32), and (33), it reads

pLSM(H)superscriptsubscript𝑝LSMH\displaystyle p_{\rm LSM}^{(\rm H)}italic_p start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT =\displaystyle== fπ2mπ2(δm¯σπ216+1),superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2𝛿subscriptsuperscript¯𝑚2𝜎𝜋161\displaystyle f_{\pi}^{2}m_{\pi}^{2}\left(\frac{\delta\bar{m}^{2}_{\sigma-\pi}% }{16}+1\right),italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( divide start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT end_ARG start_ARG 16 end_ARG + 1 ) ,
pLSM(BS)superscriptsubscript𝑝LSMBS\displaystyle p_{\rm LSM}^{(\rm BS)}italic_p start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT =\displaystyle== fπ2mπ2[(4δm¯σπ2+1μ¯2)(μ¯21)2\displaystyle f_{\pi}^{2}m_{\pi}^{2}\Bigg{[}\left(\frac{4}{\delta\bar{m}^{2}_{% \sigma-\pi}}+\frac{1}{\bar{\mu}^{2}}\right)(\bar{\mu}^{2}-1)^{2}italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ ( divide start_ARG 4 end_ARG start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (39)
+(δm¯σπ216+1)],\displaystyle+\left(\frac{\delta\bar{m}^{2}_{\sigma-\pi}}{16}+1\right)\Bigg{]},+ ( divide start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT end_ARG start_ARG 16 end_ARG + 1 ) ] ,

in both the hadronic and baryon superfluid phases. Similarly to the normalized diquark condensate indicated in Eq. (37), the pressure in both the phases includes the mass difference of the chiral partners δm¯σπ2𝛿subscriptsuperscript¯𝑚2𝜎𝜋\delta\bar{m}^{2}_{\sigma-\pi}italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT. We note that the LSM analysis surely satisfies the Silver-Braze property in the hadronic phase, as seen from Eq. (39).

Here, we discuss connections between the LSM and ChPT results in terms of the thermodynamic quantities. Subtracting the vacuum pressure from pLSM(BS)superscriptsubscript𝑝LSMBSp_{\rm LSM}^{(\rm BS)}italic_p start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT similarly to Eq. (17), one can find that the subtracted pressure evaluated in the LSM is also separated into the ChPT result and an additional part:

pLSMsubsuperscriptsubscript𝑝LSMsub\displaystyle p_{\rm LSM}^{\rm sub}italic_p start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT =\displaystyle== pLSM(BS)pLSM(H)superscriptsubscript𝑝LSMBSsuperscriptsubscript𝑝LSMH\displaystyle p_{\rm LSM}^{\rm(BS)}-p_{\rm LSM}^{\rm(H)}italic_p start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_BS ) end_POSTSUPERSCRIPT - italic_p start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_H ) end_POSTSUPERSCRIPT (40)
=\displaystyle== pChPTsub+δp,superscriptsubscript𝑝ChPTsub𝛿𝑝\displaystyle p_{\rm ChPT}^{\rm sub}+\delta p,italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT + italic_δ italic_p ,

where δp𝛿𝑝\delta pitalic_δ italic_p reads

δp=fπ2mπ2[4δm¯σπ2(μ¯21)2].𝛿𝑝superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2delimited-[]4𝛿subscriptsuperscript¯𝑚2𝜎𝜋superscriptsuperscript¯𝜇212\displaystyle\delta p=f_{\pi}^{2}m_{\pi}^{2}\left[\frac{4}{\delta\bar{m}^{2}_{% \sigma-\pi}}(\bar{\mu}^{2}-1)^{2}\right].italic_δ italic_p = italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ divide start_ARG 4 end_ARG start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT end_ARG ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] . (41)

In this expression a square bracket has been included to extract the common coefficient derived in the ChPT result (17). Accordingly, the baryon number density and the baryon susceptibility in the LSM are found to be linked with the ChPT results,

nLSMsubscript𝑛LSM\displaystyle n_{\rm LSM}italic_n start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT =\displaystyle== nChPT+δn,subscript𝑛ChPT𝛿𝑛\displaystyle n_{\rm ChPT}+\delta n,italic_n start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT + italic_δ italic_n ,
χLSMsubscript𝜒LSM\displaystyle\chi_{\rm LSM}italic_χ start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT =\displaystyle== χChPT+δχ,subscript𝜒ChPT𝛿𝜒\displaystyle\chi_{\rm ChPT}+\delta\chi,italic_χ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT + italic_δ italic_χ , (42)

where δn𝛿𝑛\delta nitalic_δ italic_n and δχ𝛿𝜒\delta\chiitalic_δ italic_χ are given by

δn𝛿𝑛\displaystyle\delta nitalic_δ italic_n =\displaystyle== 1μq2fπ2mπ2[8δm¯σπ2(μ¯4μ¯2)],1subscript𝜇𝑞2superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2delimited-[]8𝛿subscriptsuperscript¯𝑚2𝜎𝜋superscript¯𝜇4superscript¯𝜇2\displaystyle\frac{1}{\mu_{q}}2f_{\pi}^{2}m_{\pi}^{2}\left[\frac{8}{\delta\bar% {m}^{2}_{\sigma-\pi}}(\bar{\mu}^{4}-\bar{\mu}^{2})\right],divide start_ARG 1 end_ARG start_ARG italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT end_ARG 2 italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ divide start_ARG 8 end_ARG start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT end_ARG ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT - over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ] ,
δχ𝛿𝜒\displaystyle\delta\chiitalic_δ italic_χ =\displaystyle== 8fπ2[8δm¯σπ2(3μ¯21)].8superscriptsubscript𝑓𝜋2delimited-[]8𝛿subscriptsuperscript¯𝑚2𝜎𝜋3superscript¯𝜇21\displaystyle 8f_{\pi}^{2}\left[\frac{8}{\delta\bar{m}^{2}_{\sigma-\pi}}(3\bar% {\mu}^{2}-1)\right].8 italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ divide start_ARG 8 end_ARG start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT end_ARG ( 3 over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) ] . (43)

In addition, we can evaluate the subtracted energy in the LSM from ϵ=p+μqnitalic-ϵ𝑝subscript𝜇𝑞𝑛\epsilon=-p+\mu_{q}nitalic_ϵ = - italic_p + italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT italic_n, which yields

ϵLSMsubsuperscriptsubscriptitalic-ϵLSMsub\displaystyle\epsilon_{\rm LSM}^{\rm sub}italic_ϵ start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT =\displaystyle== ϵChPTsub+δϵ,superscriptsubscriptitalic-ϵChPTsub𝛿italic-ϵ\displaystyle\epsilon_{\rm ChPT}^{\rm sub}+\delta\epsilon,italic_ϵ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT + italic_δ italic_ϵ , (44)

where δϵ𝛿italic-ϵ\delta\epsilonitalic_δ italic_ϵ is given by

δϵ𝛿italic-ϵ\displaystyle\delta\epsilonitalic_δ italic_ϵ =\displaystyle== fπ2mπ2[4δm¯σπ2(3μ¯2+1)(μ¯21)].superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2delimited-[]4𝛿subscriptsuperscript¯𝑚2𝜎𝜋3superscript¯𝜇21superscript¯𝜇21\displaystyle f_{\pi}^{2}m_{\pi}^{2}\left[\frac{4}{\delta\bar{m}^{2}_{\sigma-% \pi}}(3\bar{\mu}^{2}+1)(\bar{\mu}^{2}-1)\right].italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ divide start_ARG 4 end_ARG start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT end_ARG ( 3 over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 1 ) ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) ] .

The contributions, δp𝛿𝑝\delta pitalic_δ italic_p, δn𝛿𝑛\delta nitalic_δ italic_n, δχ𝛿𝜒\delta\chiitalic_δ italic_χ and δϵ𝛿italic-ϵ\delta\epsilonitalic_δ italic_ϵ, are expressed by the pion decay constant, pion mass and mass difference of the chiral partners, as well as the chemical potential. Notably, these terms are proportional to the inverse of δm¯σπ2𝛿subscriptsuperscript¯𝑚2𝜎𝜋\delta\bar{m}^{2}_{\sigma-\pi}italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT:

δp,δn,δχ,δϵ1/δm¯σπ2.proportional-to𝛿𝑝𝛿𝑛𝛿𝜒𝛿italic-ϵ1𝛿subscriptsuperscript¯𝑚2𝜎𝜋\displaystyle\delta p,\delta n,\delta\chi,\delta\epsilon\propto 1/\delta\bar{m% }^{2}_{\sigma-\pi}.italic_δ italic_p , italic_δ italic_n , italic_δ italic_χ , italic_δ italic_ϵ ∝ 1 / italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT . (46)

At the heavy mass limit of the σ𝜎\sigmaitalic_σ meson, those corrections are suppressed such that the thermodynamic quantities are reduced to the ChPT results:

limmσpLSMsubsubscriptsubscript𝑚𝜎superscriptsubscript𝑝LSMsub\displaystyle\lim_{m_{\sigma}\to\infty}p_{\rm LSM}^{\rm sub}roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT → ∞ end_POSTSUBSCRIPT italic_p start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT =\displaystyle== pChPTsub,superscriptsubscript𝑝ChPTsub\displaystyle p_{\rm ChPT}^{\rm sub},italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT ,
limmσnLSMsubscriptsubscript𝑚𝜎subscript𝑛LSM\displaystyle\lim_{m_{\sigma}\to\infty}n_{\rm LSM}roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT → ∞ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT =\displaystyle== nChPT,subscript𝑛ChPT\displaystyle n_{\rm ChPT},italic_n start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT ,
limmσχLSMsubscriptsubscript𝑚𝜎subscript𝜒LSM\displaystyle\lim_{m_{\sigma}\to\infty}\chi_{\rm LSM}roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT → ∞ end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT =\displaystyle== χChPT,subscript𝜒ChPT\displaystyle\chi_{\rm ChPT},italic_χ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT ,
limmσϵLSMsubsubscriptsubscript𝑚𝜎superscriptsubscriptitalic-ϵLSMsub\displaystyle\lim_{m_{\sigma}\to\infty}\epsilon_{\rm LSM}^{\rm sub}roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT → ∞ end_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT =\displaystyle== ϵChPTsub,superscriptsubscriptitalic-ϵChPTsub\displaystyle\epsilon_{\rm ChPT}^{\rm sub},italic_ϵ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT , (47)

as observed for the squared diquark condensate in Eq. (37). Therefore, as explained at the end of Sec. III.1, the additional contributions for the thermodynamic quantities are regarded as corrections beyond the lowest-energy regime governed by the NG bosons.

III.3 Sound velocity in LSM

In Sec. III.2, we have evaluated the thermodynamic quantities by employing the LSM and succeeded in extending the ChPT results so as to include the corrections from the chiral partners. Here, we discuss the chiral partner contribution to the sound velocity within the LSM framework.

Using the baryon number density and the baryon susceptibility in Eq. (42), we find the analytical expression of the sound velocity in the LSM within the mean-field approximation,

(csLSM)2superscriptsuperscriptsubscript𝑐𝑠LSM2\displaystyle\left(c_{s}^{\rm LSM}\right)^{2}( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LSM end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =\displaystyle== nChPT+δnμq(χChPT+δχ)subscript𝑛ChPT𝛿𝑛subscript𝜇𝑞subscript𝜒ChPT𝛿𝜒\displaystyle\frac{n_{\rm ChPT}+\delta n}{\mu_{q}(\chi_{\rm ChPT}+\delta\chi)}divide start_ARG italic_n start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT + italic_δ italic_n end_ARG start_ARG italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ( italic_χ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT + italic_δ italic_χ ) end_ARG (48)
=\displaystyle== (11/μ¯4)+8(μ¯21)/δm¯σπ2(1+3/μ¯4)+8(3μ¯21)/δm¯σπ2,11superscript¯𝜇48superscript¯𝜇21𝛿subscriptsuperscript¯𝑚2𝜎𝜋13superscript¯𝜇483superscript¯𝜇21𝛿subscriptsuperscript¯𝑚2𝜎𝜋\displaystyle\frac{(1-1/\bar{\mu}^{4})+8(\bar{\mu}^{2}-1)/\delta\bar{m}^{2}_{% \sigma-\pi}}{(1+3/\bar{\mu}^{4})+8(3\bar{\mu}^{2}-1)/\delta\bar{m}^{2}_{\sigma% -\pi}},divide start_ARG ( 1 - 1 / over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) + 8 ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) / italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT end_ARG start_ARG ( 1 + 3 / over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) + 8 ( 3 over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) / italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT end_ARG ,

which is only dependent on the masses of σ𝜎\sigmaitalic_σ meson and pion together with the chemical potential but is independent of the pion decay constant.

When we take mσsubscript𝑚𝜎m_{\sigma}\to\inftyitalic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT → ∞ while kee** μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT finite, the sound velocity is reduced to the ChPT result:

limmσ(csLSM)2=(csChPT)2=11/μ¯41+3/μ¯4,subscriptsubscript𝑚𝜎superscriptsuperscriptsubscript𝑐𝑠LSM2superscriptsuperscriptsubscript𝑐𝑠ChPT211superscript¯𝜇413superscript¯𝜇4\displaystyle\lim_{m_{\sigma}\to\infty}\left(c_{s}^{\rm LSM}\right)^{2}=\left(% c_{s}^{\rm ChPT}\right)^{2}=\frac{1-1/\bar{\mu}^{4}}{1+3/\bar{\mu}^{4}},roman_lim start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT → ∞ end_POSTSUBSCRIPT ( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LSM end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ChPT end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 1 - 1 / over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 1 + 3 / over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG , (49)

as naively expected. On the other hand, when taking μqsubscript𝜇𝑞\mu_{q}\to\inftyitalic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT → ∞ with mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT kept finite, the sound velocity approaches the conformal limit in the end:

limμq(csLSM)2=13.subscriptsubscript𝜇𝑞superscriptsuperscriptsubscript𝑐𝑠LSM213\displaystyle\lim_{\mu_{q}\to\infty}\left(c_{s}^{\rm LSM}\right)^{2}=\frac{1}{% 3}.roman_lim start_POSTSUBSCRIPT italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT → ∞ end_POSTSUBSCRIPT ( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LSM end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 3 end_ARG . (50)

We note that the smaller value of mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT taken the more rapidly the sound velocity converges on the conformal limit.

Although (csLSM)2superscriptsuperscriptsubscript𝑐𝑠LSM2\left(c_{s}^{\rm LSM}\right)^{2}( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LSM end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT includes the δm¯σπ2𝛿superscriptsubscript¯𝑚𝜎𝜋2\delta\bar{m}_{\sigma-\pi}^{2}italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT contributions nonlinearly, formally one can decompose (csLSM)2superscriptsuperscriptsubscript𝑐𝑠LSM2\left(c_{s}^{\rm LSM}\right)^{2}( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LSM end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT into the ChPT result and corrections as

(csLSM)2=(csChPT)2+δcs2,superscriptsuperscriptsubscript𝑐𝑠LSM2superscriptsuperscriptsubscript𝑐𝑠ChPT2𝛿superscriptsubscript𝑐𝑠2\displaystyle\left(c_{s}^{\rm LSM}\right)^{2}=\left(c_{s}^{\rm ChPT}\right)^{2% }+\delta c_{s}^{2},( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LSM end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ChPT end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_δ italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (51)

by explicitly extracting Eq. (21). After this decomposition, δcs2<0𝛿superscriptsubscript𝑐𝑠20\delta c_{s}^{2}<0italic_δ italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT < 0 for any μ¯¯𝜇\bar{\mu}over¯ start_ARG italic_μ end_ARG (1)absent1(\geq 1)( ≥ 1 ) is easily proven analytically while, of course, (csChPT)2>0superscriptsuperscriptsubscript𝑐𝑠ChPT20\left(c_{s}^{\rm ChPT}\right)^{2}>0( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ChPT end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT > 0. Hence, there appears a competition between (csChPT)2>0superscriptsuperscriptsubscript𝑐𝑠ChPT20\left(c_{s}^{\rm ChPT}\right)^{2}>0( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_ChPT end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT > 0 and δcs2<0𝛿superscriptsubscript𝑐𝑠20\delta c_{s}^{2}<0italic_δ italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT < 0, i.e., between the ChPT contributions from the NG bosons and the correction provided from the chiral-partner dynamics. As a consequence, the emergence of nonmonotonic behaviors in the sound velocity, including the peak structure, is expected.

IV Numerical demonstrations

In Sec. III, we have learned that the LSM analysis leads to generating corrections to the ChPT results of the thermodynamics quantities, that is characterized by the mass difference δm¯σπ2𝛿superscriptsubscript¯𝑚𝜎𝜋2\delta\bar{m}_{\sigma-\pi}^{2}italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. In this section, focusing on this clear structure, we present numerical results on the sound velocity and the trace anomaly to take a closer look at roles of the σ𝜎\sigmaitalic_σ meson. We note that currently the mass of the σ𝜎\sigmaitalic_σ meson defined as the chiral partner remains obscure, due to not only errors in the lattice results [30] but also possible mixing effects from other hadrons such as a 0+superscript00^{+}0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT glueball. Hence, in what follows we vary the value of mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT for numerical demonstrations.

IV.1 Sound velocity

In this subsection, we present numerical results on the impact of the σ𝜎\sigmaitalic_σ meson on the sound velocity.

Depicted in Fig. 1 is the resultant μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT dependencies of the sound velocities evaluated in the LSM with several values of mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT. The solid black curve corresponds to the ChPT result which is also reproduced within the LSM framework by taking mσsubscript𝑚𝜎m_{\sigma}\to\inftyitalic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT → ∞. The peak structure for certain choices of mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT is indeed observed, as the recent lattice data implies [32]. The figure also indicate that, in the vicinity of μq=μqcrsubscript𝜇𝑞superscriptsubscript𝜇𝑞cr\mu_{q}=\mu_{q}^{\rm cr}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT = italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT, the results are less sensitive to the value of mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT. In fact, from Eq. (48), the sound velocity for μqμqcrsubscript𝜇𝑞superscriptsubscript𝜇𝑞cr\mu_{q}\approx\mu_{q}^{\rm cr}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ≈ italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT is simply approximated by

(csLSM)2μ¯1,superscriptsuperscriptsubscript𝑐𝑠LSM2¯𝜇1\displaystyle\left(c_{s}^{\rm LSM}\right)^{2}\approx\bar{\mu}-1,( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LSM end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ over¯ start_ARG italic_μ end_ARG - 1 , (52)

which does not exhibit any δm¯σπ2𝛿superscriptsubscript¯𝑚𝜎𝜋2\delta\bar{m}_{\sigma-\pi}^{2}italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT dependencies. This linear line is shown by the dashed line in Fig. 1. On the other hand, when looking at the high-density region such as μq=3mπμqcrsubscript𝜇𝑞3subscript𝑚𝜋much-greater-thansuperscriptsubscript𝜇𝑞cr\mu_{q}=3m_{\pi}\gg\mu_{q}^{\rm cr}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT = 3 italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT ≫ italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT, the value of cs2superscriptsubscript𝑐𝑠2c_{s}^{2}italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT changes from cs2=1superscriptsubscript𝑐𝑠21c_{s}^{2}=1italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 toward cs2=1/3superscriptsubscript𝑐𝑠213c_{s}^{2}=1/3italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 / 3 in association with reduction of the σ𝜎\sigmaitalic_σ meson mass, indicating a significant dependence on mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT. In fact, for finite mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT, one can show that the sound velocity in high dense regime is expanded as

(csLSM)2=13+δm¯σπ28361μ¯2+𝒪(1/μ¯3),superscriptsuperscriptsubscript𝑐𝑠LSM213𝛿superscriptsubscript¯𝑚𝜎𝜋28361superscript¯𝜇2𝒪1superscript¯𝜇3\displaystyle\left(c_{s}^{\rm LSM}\right)^{2}=\frac{1}{3}+\frac{\delta\bar{m}_% {\sigma-\pi}^{2}-8}{36}\frac{1}{\bar{\mu}^{2}}+{\cal O}\left(1/\bar{\mu}^{3}% \right),( italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LSM end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 3 end_ARG + divide start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 8 end_ARG start_ARG 36 end_ARG divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + caligraphic_O ( 1 / over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) , (53)

where the coefficient of 1/μ¯21superscript¯𝜇21/\bar{\mu}^{2}1 / over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT depends on mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT. This clearly shows that the sound velocity for μ¯1much-greater-than¯𝜇1\bar{\mu}\gg 1over¯ start_ARG italic_μ end_ARG ≫ 1 is strongly affected by the value of mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT, and finally it converges on 1/3131/31 / 3 as long as mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT is not infinitely large, as derived in Eq. (50).

Refer to caption
Figure 1: μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT dependence of the sound velocity with various values of mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT.

Equation (53) also implies that when the coefficient of 1/μ¯21superscript¯𝜇21/\bar{\mu}^{2}1 / over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is positive, i.e., δm¯σπ2>8𝛿superscriptsubscript¯𝑚𝜎𝜋28\delta\bar{m}_{\sigma-\pi}^{2}>8italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT > 8, the sound velocity approaches 1/3131/31 / 3 from above for sufficiently large μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT, leading to the at least one peak structure. In order to take a closer look the emergence of the peak, here we consider a stationary condition of cs2superscriptsubscript𝑐𝑠2c_{s}^{2}italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT: cs2/μ¯|μ¯=μ¯p=0evaluated-atsuperscriptsubscript𝑐𝑠2¯𝜇¯𝜇subscript¯𝜇𝑝0\left.\partial c_{s}^{2}/\partial\bar{\mu}\right|_{\bar{\mu}=\bar{\mu}_{p}}=0∂ italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / ∂ over¯ start_ARG italic_μ end_ARG | start_POSTSUBSCRIPT over¯ start_ARG italic_μ end_ARG = over¯ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_POSTSUBSCRIPT = 0, which is, more concretely, rewritten into

(δm¯σπ22μ¯p6)(δm¯σπ28)+18δm¯σπ2μ¯p2=0.𝛿subscriptsuperscript¯𝑚2𝜎𝜋2subscriptsuperscript¯𝜇6𝑝𝛿subscriptsuperscript¯𝑚2𝜎𝜋818𝛿subscriptsuperscript¯𝑚2𝜎𝜋subscriptsuperscript¯𝜇2𝑝0\displaystyle(\delta\bar{m}^{2}_{\sigma-\pi}-2\bar{\mu}^{6}_{p})(\delta\bar{m}% ^{2}_{\sigma-\pi}-8)+18\delta\bar{m}^{2}_{\sigma-\pi}\bar{\mu}^{2}_{p}=0.( italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT - 2 over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) ( italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT - 8 ) + 18 italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 0 . (54)

This equation possesses a single solution of positive μ¯p2superscriptsubscript¯𝜇𝑝2\bar{\mu}_{p}^{2}over¯ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT only when δm¯σπ28>0𝛿subscriptsuperscript¯𝑚2𝜎𝜋80\delta\bar{m}^{2}_{\sigma-\pi}-8>0italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT - 8 > 0 is satisfied. In other words, within the present LSM, we can obtain only one peak in the sound velocity and this peak is derived only when

mσ>3mπ.subscript𝑚𝜎3subscript𝑚𝜋\displaystyle m_{\sigma}>\sqrt{3}m_{\pi}.italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT > square-root start_ARG 3 end_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT . (55)

On the contrary, when the σ𝜎\sigmaitalic_σ meson mass is constrained by mσ3mπsubscript𝑚𝜎3subscript𝑚𝜋m_{\sigma}\leq\sqrt{3}m_{\pi}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ≤ square-root start_ARG 3 end_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT, the sound velocity monotonically grows toward the conformal limit 1/3131/31 / 3 without exhibiting any peaks. We can verify the constraint (55) numerically, as illustrated in Fig. 2. In this figure, the peak positions indicated by filled circles surely appear only when (55) is satisfied. The figure also implies that two different values of mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT can yield the identical peak position μ¯psubscript¯𝜇𝑝\bar{\mu}_{p}over¯ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT. Such a doubling of the peak position is realized because Eq. (54) is a quadratic equation with respect to δm¯σπ2𝛿superscriptsubscript¯𝑚𝜎𝜋2\delta\bar{m}_{\sigma-\pi}^{2}italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

Refer to caption
Figure 2: Constraints on the emergence of the sound velocity peak.
Refer to caption (a) Refer to caption (b)
Figure 3: Peak value (a) and peak position (b) as functions of the σ𝜎\sigmaitalic_σ meson mass.

As the σ𝜎\sigmaitalic_σ meson mass becomes heavier, the suppression of the sound velocity from the correction δcs2𝛿superscriptsubscript𝑐𝑠2\delta c_{s}^{2}italic_δ italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT gets weakened. In order to gain insights into a relationship between this weakening and the peak properties, we depict the peak value cs2(μ¯p)superscriptsubscript𝑐𝑠2subscript¯𝜇𝑝c_{s}^{2}(\bar{\mu}_{p})italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( over¯ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) and the peak position μ¯psubscript¯𝜇𝑝\bar{\mu}_{p}over¯ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT as functions of mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT, in panels (a) and (b) of Fig. 3, respectively. Panel (a) of Fig. 3 shows that as mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT becomes larger from the critical value mσ=3mπsubscript𝑚𝜎3subscript𝑚𝜋m_{\sigma}=\sqrt{3}m_{\pi}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT = square-root start_ARG 3 end_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT, the peak value is enhanced from cs2=1/3superscriptsubscript𝑐𝑠213c_{s}^{2}=1/3italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 / 3 toward cs2=1superscriptsubscript𝑐𝑠21c_{s}^{2}=1italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1 monotonically. From panel (b), one can see that there exists a lower limit of the peak position, μ¯p=2subscript¯𝜇𝑝2\bar{\mu}_{p}=2over¯ start_ARG italic_μ end_ARG start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 2, realized when mσ=3mπsubscript𝑚𝜎3subscript𝑚𝜋m_{\sigma}=3m_{\pi}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT = 3 italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT. In other words, the peak is generated only for μq>2μqcrsubscript𝜇𝑞2superscriptsubscript𝜇𝑞cr\mu_{q}>2\mu_{q}^{\rm cr}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT > 2 italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT within the present LSM approach. Besides, the doubling of the peak position explained below Eq. (55) is clearly seen in this panel. Despite such a doubling, its peak value is distinct from panel (a) of Fig. 3. Therefore, by combining both the information, the peak value and the peak position, one can identify the value of mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT exclusively.

IV.2 Trace anomaly

Owing to the contribution of the σ𝜎\sigmaitalic_σ meson, the asymptotic behavior of the sound velocity at the high-density region is changed to approach the conformal limit. The related conformal property would be further investigated from the trace anomaly measured by Θμμ=ϵ3psubscriptsuperscriptΘ𝜇𝜇italic-ϵ3𝑝\Theta^{\mu}_{\mu}=\epsilon-3proman_Θ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = italic_ϵ - 3 italic_p. In the recent QC2D lattice simulation, the chemical potential dependence of the trace anomaly has also been computed [32], implying that its sign turns from positive to negative at some chemical potential in the superfluid phase. In this subsection, motivated by this characteristic property, we explore the correlation between the sound velocity peak and the sign of the trace anomaly in the baryonic matter within the LSM approach.

In the QC2D lattice simulation, the μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT dependence of the trace anomaly is evaluated by subtracting the vacuum value from ΘμμsubscriptsuperscriptΘ𝜇𝜇\Theta^{\mu}_{\mu}roman_Θ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT [32]. Following this lattice definition, we evaluate the subtracted trace anomaly in the LSM as#4#4#4Owing to this subtraction, vanishing of the trace anomaly evaluated here, (Θsub)μμ=0subscriptsuperscriptsuperscriptΘsub𝜇𝜇0\left(\Theta^{\rm sub}\right)^{\mu}_{\mu}=0( roman_Θ start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = 0, does not correspond to the restoration of the scale symmetry of the theory.

(ΘLSMsub)μμsubscriptsuperscriptsuperscriptsubscriptΘLSMsub𝜇𝜇\displaystyle(\Theta_{\rm LSM}^{\rm sub})^{\mu}_{\mu}( roman_Θ start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT =\displaystyle== ϵLSMsub3pLSMsubsuperscriptsubscriptitalic-ϵLSMsub3superscriptsubscript𝑝LSMsub\displaystyle\epsilon_{\rm LSM}^{\rm sub}-3p_{\rm LSM}^{\rm sub}italic_ϵ start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT - 3 italic_p start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT (56)
=\displaystyle== (ΘChPT)μμ+δΘμμ,subscriptsuperscriptsubscriptΘChPT𝜇𝜇𝛿subscriptsuperscriptΘ𝜇𝜇\displaystyle(\Theta_{\rm ChPT})^{\mu}_{\mu}+\delta\Theta^{\mu}_{\mu},( roman_Θ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT + italic_δ roman_Θ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ,

where the subtracted ChPT contribution (ΘChPTsub)μμsubscriptsuperscriptsuperscriptsubscriptΘChPTsub𝜇𝜇(\Theta_{\rm ChPT}^{\rm sub})^{\mu}_{\mu}( roman_Θ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT and the chiral-partner correction δΘμμ𝛿subscriptsuperscriptΘ𝜇𝜇\delta\Theta^{\mu}_{\mu}italic_δ roman_Θ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT are provided by

(ΘChPTsub)μμsubscriptsuperscriptsuperscriptsubscriptΘChPTsub𝜇𝜇\displaystyle(\Theta_{\rm ChPT}^{\rm sub})^{\mu}_{\mu}( roman_Θ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT =\displaystyle== ϵChPTsub3pChPTsubsuperscriptsubscriptitalic-ϵChPTsub3superscriptsubscript𝑝ChPTsub\displaystyle\epsilon_{\rm ChPT}^{\rm sub}-3p_{\rm ChPT}^{\rm sub}italic_ϵ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT - 3 italic_p start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT
=\displaystyle== fπ2mπ2[2μ¯2(μ¯23)(μ¯21)],superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2delimited-[]2superscript¯𝜇2superscript¯𝜇23superscript¯𝜇21\displaystyle f_{\pi}^{2}m_{\pi}^{2}\left[\frac{-2}{\bar{\mu}^{2}}(\bar{\mu}^{% 2}-3)(\bar{\mu}^{2}-1)\right],italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ divide start_ARG - 2 end_ARG start_ARG over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 3 ) ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) ] ,

and

δΘμμ𝛿subscriptsuperscriptΘ𝜇𝜇\displaystyle\delta\Theta^{\mu}_{\mu}italic_δ roman_Θ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT =\displaystyle== δϵ3δp𝛿italic-ϵ3𝛿𝑝\displaystyle\delta\epsilon-3\delta pitalic_δ italic_ϵ - 3 italic_δ italic_p (58)
=\displaystyle== fπ2mπ2[16δm¯σπ2(μ¯21)],superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2delimited-[]16𝛿subscriptsuperscript¯𝑚2𝜎𝜋superscript¯𝜇21\displaystyle f_{\pi}^{2}m_{\pi}^{2}\left[\frac{16}{\delta\bar{m}^{2}_{\sigma-% \pi}}(\bar{\mu}^{2}-1)\right],italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ divide start_ARG 16 end_ARG start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT end_ARG ( over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 ) ] ,

respectively. Here, to make sure, we again emphasize that the correction is proportional to 1/δm¯σπ21𝛿superscriptsubscript¯𝑚𝜎𝜋21/\delta\bar{m}_{\sigma-\pi}^{2}1 / italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT which vanishes for mσsubscript𝑚𝜎m_{\sigma}\to\inftyitalic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT → ∞ limit, and hence in this limit (ΘLSMsub)μμsubscriptsuperscriptsuperscriptsubscriptΘLSMsub𝜇𝜇(\Theta_{\rm LSM}^{\rm sub})^{\mu}_{\mu}( roman_Θ start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT is reduced to (ΘChPTsub)μμsubscriptsuperscriptsuperscriptsubscriptΘChPTsub𝜇𝜇(\Theta_{\rm ChPT}^{\rm sub})^{\mu}_{\mu}( roman_Θ start_POSTSUBSCRIPT roman_ChPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_sub end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT. In chiral effective models, the typical mass scale of the trace anomaly is characterized by fπ2mπ2superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2f_{\pi}^{2}m_{\pi}^{2}italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Then, to easily grasp the μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT dependence of the trace anomaly, we define the following dimensionless one:

Θ¯=Θμμfπ2mπ2.¯ΘsubscriptsuperscriptΘ𝜇𝜇superscriptsubscript𝑓𝜋2superscriptsubscript𝑚𝜋2\displaystyle\bar{\Theta}=\frac{\Theta^{\mu}_{\mu}}{f_{\pi}^{2}m_{\pi}^{2}}.over¯ start_ARG roman_Θ end_ARG = divide start_ARG roman_Θ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT end_ARG start_ARG italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (59)

Looking at the high-density regions, the μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT scaling of the normalized trace anomaly Θ¯¯Θ\bar{\Theta}over¯ start_ARG roman_Θ end_ARG in the LSM reads

Θ¯LSMsubscript¯ΘLSM\displaystyle\bar{\Theta}_{\rm LSM}over¯ start_ARG roman_Θ end_ARG start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT =\displaystyle== (16δm¯σπ22)μ¯2+(16δm¯σπ2+8)16𝛿subscriptsuperscript¯𝑚2𝜎𝜋2superscript¯𝜇216𝛿subscriptsuperscript¯𝑚2𝜎𝜋8\displaystyle\left(\frac{16}{\delta\bar{m}^{2}_{\sigma-\pi}}-2\right)\bar{\mu}% ^{2}+\left(-\frac{16}{\delta\bar{m}^{2}_{\sigma-\pi}}+8\right)( divide start_ARG 16 end_ARG start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT end_ARG - 2 ) over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( - divide start_ARG 16 end_ARG start_ARG italic_δ over¯ start_ARG italic_m end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ - italic_π end_POSTSUBSCRIPT end_ARG + 8 ) (60)
+O(1/μ¯4).𝑂1superscript¯𝜇4\displaystyle+O(1/\bar{\mu}^{4}).+ italic_O ( 1 / over¯ start_ARG italic_μ end_ARG start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) .

From this expression, we find that in the high-density regions the sign of trace anomaly is related to the σ𝜎\sigmaitalic_σ meson mass. When mσ=3mπsubscript𝑚𝜎3subscript𝑚𝜋m_{\sigma}=\sqrt{3}m_{\pi}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT = square-root start_ARG 3 end_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT the first term of Eq. (60) vanishes, leading to Θ¯LSM6subscript¯ΘLSM6\bar{\Theta}_{\rm LSM}\to 6over¯ start_ARG roman_Θ end_ARG start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT → 6 that is positive. For smaller σ𝜎\sigmaitalic_σ meson mass, mσ<3mπsubscript𝑚𝜎3subscript𝑚𝜋m_{\sigma}<\sqrt{3}m_{\pi}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT < square-root start_ARG 3 end_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT, Θ¯LSMsubscript¯ΘLSM\bar{\Theta}_{\rm LSM}over¯ start_ARG roman_Θ end_ARG start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT positively diverges; meanwhile, when the σ𝜎\sigmaitalic_σ meson mass satisfies mσ>3mπsubscript𝑚𝜎3subscript𝑚𝜋m_{\sigma}>\sqrt{3}m_{\pi}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT > square-root start_ARG 3 end_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT, the asymptotic sign of Θ¯LSMsubscript¯ΘLSM\bar{\Theta}_{\rm LSM}over¯ start_ARG roman_Θ end_ARG start_POSTSUBSCRIPT roman_LSM end_POSTSUBSCRIPT turns out to be negative. It is noteworthy that the critical value for the sign of the trace anomaly mσ=3mπsubscript𝑚𝜎3subscript𝑚𝜋m_{\sigma}=\sqrt{3}m_{\pi}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT = square-root start_ARG 3 end_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT is identical to the one which discriminates the emergence of the sound velocity peak, as delineated in Sec. IV.1. Those remarkable correlations are summarized in Table 1.

σ𝜎\sigmaitalic_σ Meson mass Peak of cs2superscriptsubscript𝑐𝑠2c_{s}^{2}italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT Asymptotic sign of Θ¯¯Θ\bar{\Theta}over¯ start_ARG roman_Θ end_ARG
mσ>3mπsubscript𝑚𝜎3subscript𝑚𝜋m_{\sigma}>\sqrt{3}m_{\pi}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT > square-root start_ARG 3 end_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT \checkmark Negative
mσ3mπsubscript𝑚𝜎3subscript𝑚𝜋m_{\sigma}\leq\sqrt{3}m_{\pi}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ≤ square-root start_ARG 3 end_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT Positive
Table 1: Relation between the sound velocity peak and the sign of the trace anomaly for μ¯¯𝜇\bar{\mu}\to\inftyover¯ start_ARG italic_μ end_ARG → ∞.

In order to visualize those behaviors of the trace anomaly, we depict μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT dependence of Θ¯¯Θ\bar{\Theta}over¯ start_ARG roman_Θ end_ARG in Fig. 4. From this figure, it is evident that the finite σ𝜎\sigmaitalic_σ meson mass for mσ>3mπsubscript𝑚𝜎3subscript𝑚𝜋m_{\sigma}>\sqrt{3}m_{\pi}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT > square-root start_ARG 3 end_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT plays the role in yielding the negative trace anomaly which has indeed been observed on the lattice simulation.

Refer to caption
Figure 4: μqsubscript𝜇𝑞\mu_{q}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT dependence on the normalized trace anomaly Θ¯¯Θ\bar{\Theta}over¯ start_ARG roman_Θ end_ARG.

V Summary and discussion

In this paper, we have investigated the sound velocity at the finite quark chemical potential and zero temperature in QC2D with two quark flavors, based on an effective model described by hadronic degrees of freedom. In particular, we have employed the linear sigma model, LSM, invented in Ref. [55] that is capable of describing not only the NG bosons associated with the chiral symmetry breaking but also their chiral partners as higher excitations, to go beyond the leading-order ChPT framework [6, 7].

Utilizing a mean-field approximation, we have analytically found that the thermodynamic quantities evaluated within the LSM are expressed by sums of the ChPT results and the corrections. Notably, the latter corrections are characterized by the inverse of a mass difference between the chiral partners, the σ𝜎\sigmaitalic_σ meson and pion. Hence, in a heavy mass limit of the σ𝜎\sigmaitalic_σ meson, the corrections vanish and the thermodynamic quantities in our LSM are reduced to the ChPT results, as naively expected. For this reason, in the QC2D thermodynamic aspects, the LSM is regarded as a reasonable extension of the ChPT motivated by chiral symmetry. Therefore, we conclude that the LSM evaluation of the QC2D thermodynamics can serve as a new benchmark of hadron model approaches to compare with lattice observations.

Within the ChPT analysis, the sound velocity in a sufficiently dense region converges on cs21superscriptsubscript𝑐𝑠21c_{s}^{2}\to 1italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT → 1, meanwhile, based on the LSM, we have found that the asymptotic behavior of the sound velocity is affected by the σ𝜎\sigmaitalic_σ meson mass to approach the conformal limit cs21/3superscriptsubscript𝑐𝑠213c_{s}^{2}\to 1/3italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT → 1 / 3. In addition, the σ𝜎\sigmaitalic_σ meson contribution provides only one peak in the sound velocity when mσ>3mπsubscript𝑚𝜎3subscript𝑚𝜋m_{\sigma}>\sqrt{3}m_{\pi}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT > square-root start_ARG 3 end_ARG italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT is satisfied. Furthermore, this peak has been found to emerge only for μq>2μqcrsubscript𝜇𝑞2superscriptsubscript𝜇𝑞cr\mu_{q}>2\mu_{q}^{\rm cr}italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT > 2 italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT, where μqcr=mπ/2superscriptsubscript𝜇𝑞crsubscript𝑚𝜋2\mu_{q}^{\rm cr}=m_{\pi}/2italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_cr end_POSTSUPERSCRIPT = italic_m start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT / 2 denotes the critical chemical potential to enter the baryon superfluid phase.

We have further investigated the correlation between the sound velocity peak and the sign of the trace anomaly within the LSM. When the sound velocity peak appears, the sign of the trace anomaly turns negative with the increase of the chemical potential. Conversely, when the sound velocity peak is absent, the trace anomaly becomes always positive. We note that the QC2D lattice simulation indicated both the presence of the sound velocity peak and the negative trace anomaly at some chemical potential [32].

We expect that the revealed features of the sound velocity and trace anomaly provide useful information on roles of hadronic degrees of freedom in cold dense QC2D from the chiral partner aspects, and predictions for future QC2D lattice simulations.

In what follows, we give comments and discussions that are not addressed in this paper. In this work, we have employed the LSM to incorporate the chiral partners as excitations that are not inherent in the ChPT, toward examination of, particularly, the peak structure of the sound velocity. For another direction to go beyond the lowest-energy regime of QC2D, one would consider higher-order corrections within the ChPT framework. In fact, the ChPT Lagrangian including 𝒪(p4)𝒪superscript𝑝4{\cal O}(p^{4})caligraphic_O ( italic_p start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) as well as 𝒪(p2)𝒪superscript𝑝2{\cal O}(p^{2})caligraphic_O ( italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) terms at the mean-field level is also capable of yielding the sound velocity peak despite containing unfixed parameters. It is well known that the ChPT is useful to explain the low-energy NG-boson dynamics because of its systematic treatment. Meanwhile, the LSM has a great advantage that it can describe the chiral partners, i.e., P𝑃Pitalic_P-wave excited hadrons, in addition to the NG bosons respecting chiral symmetry, and lattice simulations indeed observed such excited hadrons [30]. Besides, there exits an argument that NG-boson contributions in all orders of the momentum expansion within the ChPT would be replaced by a σ𝜎\sigmaitalic_σ meson dynamics, in terms of the pion scattering lengths [58]. For these reasonings, our present LSM analysis is expected to be a promising approach to extend the ChPT results on the thermodynamics in cold dense QC2D.

Our findings are evaluated within the mean-field approximation. To confirm the validity of our evaluations at the quantum level, it is worth going beyond the mean-field approximation in the LSM. Indeed, the one-loop calculation of the NG-boson fluctuations has already been taken into account in the ChPT analysis [59, 60, 61]. Given this fact, the inclusion of the chiral partner contribution in the one-loop calculation would be straightforward. More explicit analysis of such loop corrections in the LSM is to be pursued elsewhere.

Our present investigation has been mostly devoted to examining the sound velocity in the hadronic level, utilizing the LSM treating spin-00 hadrons. As the chemical potential is increased, it is expected that further excitations such as spin-1111 hadrons would also start to contribute to the sound velocity [62], and finally the quark degrees of freedom appear. However, how those other excited hadrons have influences on the sound velocity and how the quark-gluon dynamics begins to manifest themselves in the baryonic matter remain unclear [41, 38, 39, 40, 44, 47, 48], owing to the current limited lattice data in cold dense QC2D. Moreover, the σ𝜎\sigmaitalic_σ meson spectrum may be contaminated by a 0+superscript00^{+}0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT glueball through their mixings. Hence, in order to gain insights into those contributions, we expect more lattice results on not only the sound velocity but also the hadron spectrum in the future. Despite those uncertainties, our main harvest, the reproduction of the sound velocity peak in cold dense QC2D by extending the NG boson dynamics to include the chiral partners, would already have great significance.

ACKNOWLEDGMENT

This work of M.K. is supported in part by the National Natural Science Foundation of China (NSFC) Grant No. 12235016, and the Strategic Priority Research Program of Chinese Academy of Sciences under Grant No XDB34030000. D.S. was supported by the RIKEN special postdoctoral researcher program and by the Japan Society for the Promotion of Science (JSPS) KAKENHI Grants No. 23K03377 and 23H05439. The authors thank Naoki Yamamoto for fruitful discussions and comments and Etsuko Itou and Kei Iida for useful information on the lattice data of the sound velocity and trace anomaly.

Appendix A Spontaneous chiral symmetry breaking in low-energy QC2D and LSM

In this appendix, we derive the connection between the chiral condensate and pion decay constant in Eq. (33).

We start from the underlying Lagrangian of the two-flavor QC2D,

QC2D=ψ¯(iγμDμml)ψ14GμνaGμν,a,subscriptsubscriptQC2D¯𝜓𝑖superscript𝛾𝜇subscript𝐷𝜇subscript𝑚𝑙𝜓14superscriptsubscript𝐺𝜇𝜈𝑎superscript𝐺𝜇𝜈𝑎\displaystyle{\cal L}_{\rm QC_{2}D}=\bar{\psi}(i\gamma^{\mu}D_{\mu}-m_{l})\psi% -\frac{1}{4}G_{\mu\nu}^{a}G^{\mu\nu,a},caligraphic_L start_POSTSUBSCRIPT roman_QC start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT = over¯ start_ARG italic_ψ end_ARG ( italic_i italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) italic_ψ - divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_G start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_G start_POSTSUPERSCRIPT italic_μ italic_ν , italic_a end_POSTSUPERSCRIPT , (61)

where ψ=(u,d)T𝜓superscript𝑢𝑑𝑇\psi=(u,d)^{T}italic_ψ = ( italic_u , italic_d ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT denotes the two-flavor quark doublet, and Dμψ=(μ+igAμaTca)ψsubscript𝐷𝜇𝜓subscript𝜇𝑖𝑔superscriptsubscript𝐴𝜇𝑎superscriptsubscript𝑇𝑐𝑎𝜓D_{\mu}\psi=(\partial_{\mu}+igA_{\mu}^{a}T_{c}^{a})\psiitalic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_ψ = ( ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT + italic_i italic_g italic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_T start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ) italic_ψ is the covariant derivative incorporating interactions with a gluon field Aμasuperscriptsubscript𝐴𝜇𝑎A_{\mu}^{a}italic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT. The 2×2222\times 22 × 2 matrix Tca=τca/2superscriptsubscript𝑇𝑐𝑎superscriptsubscript𝜏𝑐𝑎2T_{c}^{a}=\tau_{c}^{a}/2italic_T start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT = italic_τ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT / 2 is the generator of SU(2)c𝑆𝑈subscript2𝑐SU(2)_{c}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT color group with τcasuperscriptsubscript𝜏𝑐𝑎\tau_{c}^{a}italic_τ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT being the Pauli matrix; g𝑔gitalic_g and mlsubscript𝑚𝑙m_{l}italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT are the QC2D coupling constant and an isospin symmetric mass of current quarks, mu=mdmlsubscript𝑚𝑢subscript𝑚𝑑subscript𝑚𝑙m_{u}=m_{d}\equiv m_{l}italic_m start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ≡ italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT. For the sake of convenience in the following discussion, we take the Weyl representation of the Dirac matrices,

γμsuperscript𝛾𝜇\displaystyle\gamma^{\mu}italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT =\displaystyle== (0σμσ¯μ0),γ5=(1001),matrix0superscript𝜎𝜇superscript¯𝜎𝜇0subscript𝛾5matrix1001\displaystyle\begin{pmatrix}0&\sigma^{\mu}\\ \bar{\sigma}^{\mu}&0\end{pmatrix},\;\;\;\gamma_{5}=\begin{pmatrix}1&0\\ 0&-1\end{pmatrix},( start_ARG start_ROW start_CELL 0 end_CELL start_CELL italic_σ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL over¯ start_ARG italic_σ end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT end_CELL start_CELL 0 end_CELL end_ROW end_ARG ) , italic_γ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT = ( start_ARG start_ROW start_CELL 1 end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL - 1 end_CELL end_ROW end_ARG ) , (62)

where σμ=(𝟏,σi)superscript𝜎𝜇1superscript𝜎𝑖\sigma^{\mu}=({\bm{1}},\sigma^{i})italic_σ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = ( bold_1 , italic_σ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ) and σ¯μ=(𝟏,σi)superscript¯𝜎𝜇1superscript𝜎𝑖\bar{\sigma}^{\mu}=({\bm{1}},-\sigma^{i})over¯ start_ARG italic_σ end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = ( bold_1 , - italic_σ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ) with the Pauli matrix σisuperscript𝜎𝑖\sigma^{i}italic_σ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT in spinor space. By using the Weyl representation, the quark field, which belongs to the fundamental representation for SU(2)c𝑆𝑈subscript2𝑐SU(2)_{c}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT, is decomposed into the left- and right-handed components,

ψ=(ψR,ψL)T.𝜓superscriptsubscript𝜓𝑅subscript𝜓𝐿𝑇\displaystyle\psi=(\psi_{R},\psi_{L})^{T}.italic_ψ = ( italic_ψ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT , italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT . (63)

From the pseudoreal viewpoint of SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) groups, it is convenient to introduce the following “conjugate fields”,

ψ~L,Rsubscript~𝜓𝐿𝑅\displaystyle\tilde{\psi}_{L,R}over~ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_L , italic_R end_POSTSUBSCRIPT =\displaystyle== σ2τc2ψL,Rsubscript𝜎2superscriptsubscript𝜏𝑐2subscriptsuperscript𝜓𝐿𝑅\displaystyle\sigma_{2}\tau_{c}^{2}\psi^{*}_{L,R}italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ψ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L , italic_R end_POSTSUBSCRIPT (64)
=\displaystyle== (u~L,R,d~L,R)T.superscriptsubscript~𝑢𝐿𝑅subscript~𝑑𝐿𝑅𝑇\displaystyle(\tilde{u}_{L,R},\tilde{d}_{L,R})^{T}.( over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_L , italic_R end_POSTSUBSCRIPT , over~ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_L , italic_R end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT .

Note that this pseudoreal representation satisfies a property similar to the Grassmann property for fundamental quarks ψL(R)TψL(R)=0superscriptsubscript𝜓𝐿𝑅𝑇subscript𝜓𝐿𝑅0\psi_{L(R)}^{T}\psi_{L(R)}=0italic_ψ start_POSTSUBSCRIPT italic_L ( italic_R ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_ψ start_POSTSUBSCRIPT italic_L ( italic_R ) end_POSTSUBSCRIPT = 0,

ψ~L(R)ψL(R)=0.superscriptsubscript~𝜓𝐿𝑅subscript𝜓𝐿𝑅0\displaystyle\tilde{\psi}_{L(R)}^{\dagger}\psi_{L(R)}=0.over~ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_L ( italic_R ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ψ start_POSTSUBSCRIPT italic_L ( italic_R ) end_POSTSUBSCRIPT = 0 . (65)

By combining the fundamental and pseudoreal representations, one can define the following field,

Ψ=(ψR,ψ~L)T=(uR,dR,u~L,d~L)T,Ψsuperscriptsubscript𝜓𝑅subscript~𝜓𝐿𝑇superscriptsubscript𝑢𝑅subscript𝑑𝑅subscript~𝑢𝐿subscript~𝑑𝐿𝑇\displaystyle\Psi=(\psi_{R},\tilde{\psi}_{L})^{T}=(u_{R},d_{R},\tilde{u}_{L},% \tilde{d}_{L})^{T},roman_Ψ = ( italic_ψ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT , over~ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT = ( italic_u start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT , italic_d start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT , over~ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , over~ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , (66)

where these four components are in the flavor space. Then, the two-flavor QC2D Lagrangian can be expressed as

QC2D=Ψσμ(iμgAμaTca)Ψ14GμνaGμν,asubscriptsubscriptQC2DsuperscriptΨsuperscript𝜎𝜇𝑖subscript𝜇𝑔superscriptsubscript𝐴𝜇𝑎superscriptsubscript𝑇𝑐𝑎Ψ14superscriptsubscript𝐺𝜇𝜈𝑎superscript𝐺𝜇𝜈𝑎\displaystyle{\cal L}_{\rm QC_{2}D}=\Psi^{\dagger}\sigma^{\mu}\left(i\partial_% {\mu}-gA_{\mu}^{a}T_{c}^{a}\right)\Psi-\frac{1}{4}G_{\mu\nu}^{a}G^{\mu\nu,a}caligraphic_L start_POSTSUBSCRIPT roman_QC start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_D end_POSTSUBSCRIPT = roman_Ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( italic_i ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_g italic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_T start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ) roman_Ψ - divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_G start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_G start_POSTSUPERSCRIPT italic_μ italic_ν , italic_a end_POSTSUPERSCRIPT
ml2(ΨTσ2τc2ETΨ+(H.c.)).\displaystyle\;\;\;\;\;\;\;\;\;\;\;\;-\frac{m_{l}}{2}\left(\Psi^{T}\sigma^{2}% \tau_{c}^{2}E^{T}\Psi+({\rm H.c.})\right).- divide start_ARG italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ( roman_Ψ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_τ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_E start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT roman_Ψ + ( roman_H . roman_c . ) ) . (67)

At the massless limit of the current quark masses, this Lagrangian is invariant under the SU(4)𝑆𝑈4SU(4)italic_S italic_U ( 4 ) transformation,

ΨgΨwith gSU(4).Ψ𝑔Ψwith gSU(4)\displaystyle\Psi\to g\Psi\;\;\mbox{with $g\in SU(4)$}.roman_Ψ → italic_g roman_Ψ with italic_g ∈ italic_S italic_U ( 4 ) . (68)

By using the ΨΨ\Psiroman_Ψ field, the quark condensate can be described as

ψ¯ψ=(12ΨTσ2τc2ETΨ+(H.c.)).\displaystyle\langle\bar{\psi}\psi\rangle=\langle\left(\frac{1}{2}\Psi^{T}% \sigma^{2}\tau_{c}^{2}E^{T}\Psi+({\rm H.c.})\right)\rangle.⟨ over¯ start_ARG italic_ψ end_ARG italic_ψ ⟩ = ⟨ ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_τ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_E start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT roman_Ψ + ( roman_H . roman_c . ) ) ⟩ . (69)

This quark condensate constructed by ΨΨ\Psiroman_Ψ is not invariant under the SU(4)𝑆𝑈4SU(4)italic_S italic_U ( 4 ) transformation but invariant under the Sp(4)𝑆𝑝4Sp(4)italic_S italic_p ( 4 ) transformation,

ΨhΨwith hSp(4).ΨΨwith hSp(4)\displaystyle\Psi\to h\Psi\;\;\mbox{with $h\in Sp(4)$}.roman_Ψ → italic_h roman_Ψ with italic_h ∈ italic_S italic_p ( 4 ) . (70)

Namely, when the quark condensate gets a finite value, the SU(4)𝑆𝑈4SU(4)italic_S italic_U ( 4 ) symmetry is spontaneously broken into the Sp(4)𝑆𝑝4Sp(4)italic_S italic_p ( 4 ) symmetry in the vacuum of the two-flavor QC2D. Consequently, five NG bosons show up, which is associated with the number of the broken generators of SU(4)/Sp(4)𝑆𝑈4𝑆𝑝4SU(4)/Sp(4)italic_S italic_U ( 4 ) / italic_S italic_p ( 4 ), Xisuperscript𝑋𝑖X^{i}italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT (i=15𝑖1similar-to5i=1\sim 5italic_i = 1 ∼ 5). Indeed, a current of the broken symmetry is coupled to the NG bosons.

Under the broken symmetry transformation with the rotation angle θisuperscript𝜃𝑖\theta^{i}italic_θ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT, the quark field ΨΨ\Psiroman_Ψ is transformed as

Ψexp[iθiXi]Ψ.Ψ𝑖superscript𝜃𝑖superscript𝑋𝑖Ψ\displaystyle\Psi\to\exp[-i\theta^{i}X^{i}]\Psi.roman_Ψ → roman_exp [ - italic_i italic_θ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ] roman_Ψ . (71)

Then, one can obtain the broken current,

j5iμsuperscriptsubscript𝑗5𝑖𝜇\displaystyle j_{5}^{i\mu}italic_j start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i italic_μ end_POSTSUPERSCRIPT =\displaystyle== ΨσμXiΨ.superscriptΨsubscript𝜎𝜇superscript𝑋𝑖Ψ\displaystyle\Psi^{\dagger}\sigma_{\mu}X^{i}\Psi.roman_Ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT roman_Ψ . (72)

Note that this current can be rewritten by the original field ψ𝜓\psiitalic_ψ,

j5iμ=superscriptsubscript𝑗5𝑖𝜇absent\displaystyle j_{5}^{i\mu}=italic_j start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i italic_μ end_POSTSUPERSCRIPT =
{122ψ¯γμγ5τfiψ(for i=1,2,3)i42ψTCγ5τc2(Dfi)(γμ)ψ+(H.c.)(for i=4,5)\displaystyle\begin{cases}\frac{1}{2\sqrt{2}}\bar{\psi}\gamma^{\mu}\gamma_{5}% \tau^{i}_{f}\psi\;\;(\mbox{for }i=1,2,3)\\ \frac{i}{4\sqrt{2}}\psi^{T}C\gamma_{5}\tau^{2}_{c}(D_{f}^{i})^{\dagger}(\gamma% ^{\mu})^{\dagger}\psi+({\rm H.c.})\;\;(\mbox{for }i=4,5)\end{cases}{ start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 2 square-root start_ARG 2 end_ARG end_ARG over¯ start_ARG italic_ψ end_ARG italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_γ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT italic_τ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT italic_ψ ( for italic_i = 1 , 2 , 3 ) end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_i end_ARG start_ARG 4 square-root start_ARG 2 end_ARG end_ARG italic_ψ start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_C italic_γ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ( italic_D start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_ψ + ( roman_H . roman_c . ) ( for italic_i = 4 , 5 ) end_CELL start_CELL end_CELL end_ROW

where C=iγ2γ0𝐶𝑖superscript𝛾2superscript𝛾0C=i\gamma^{2}\gamma^{0}italic_C = italic_i italic_γ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_γ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT denotes the charge-conjugation operator. As a consequence of the spontaneous chiral symmetry breaking, there exists an overlap amplitude between the broken current j5iμsubscriptsuperscript𝑗𝑖𝜇5j^{i\mu}_{5}italic_j start_POSTSUPERSCRIPT italic_i italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT and the NG bosons 𝒫isuperscript𝒫𝑖\mathscr{P}^{i}script_P start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT in the low-energy regime of QC2D,

0|j5iμ(x)|𝒫j(p)=ifπpμeipxδij(i,j=15),quantum-operator-product0subscriptsuperscript𝑗𝑖𝜇5𝑥superscript𝒫𝑗𝑝𝑖subscript𝑓𝜋superscript𝑝𝜇superscript𝑒𝑖𝑝𝑥superscript𝛿𝑖𝑗𝑖𝑗1similar-to5\displaystyle\langle 0|j^{i\mu}_{5}(x)|\mathscr{P}^{j}(p)\rangle=-if_{\pi}p^{% \mu}e^{-ip\cdot x}\delta^{ij}\;\;\;(\mbox{$i,j=1\sim 5$}),⟨ 0 | italic_j start_POSTSUPERSCRIPT italic_i italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT ( italic_x ) | script_P start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ( italic_p ) ⟩ = - italic_i italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_p ⋅ italic_x end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT ( italic_i , italic_j = 1 ∼ 5 ) ,
(74)

where fπsubscript𝑓𝜋f_{\pi}italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT denotes the pion decay constant.

In the LSM, we can also define the broken current at the vacuum (μq=0subscript𝜇𝑞0\mu_{q}=0italic_μ start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT = 0). By following the underlying transformation in Eq. (71), ΣΣ\Sigmaroman_Σ also transforms under the broken symmetry of SU(4)𝑆𝑈4SU(4)italic_S italic_U ( 4 ) as

Σexp[iθiXi]Σexp[iθi(Xi)T].Σ𝑖superscript𝜃𝑖superscript𝑋𝑖Σ𝑖superscript𝜃𝑖superscriptsuperscript𝑋𝑖𝑇\displaystyle\Sigma\to\exp[-i\theta^{i}X^{i}]\Sigma\exp[-i\theta^{i}(X^{i})^{T% }].roman_Σ → roman_exp [ - italic_i italic_θ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ] roman_Σ roman_exp [ - italic_i italic_θ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ] . (75)

From Eq. (24), the broken current of the LSM reads

j5iμ=2(μ𝒫j𝒮kμ𝒮j𝒫k)tr[{Xj,Xk}Xi].\displaystyle j_{5}^{i\mu}=2(\partial^{\mu}\mathscr{P}^{j}\mathscr{S}^{k}-% \partial^{\mu}\mathscr{S}^{j}\mathscr{P}^{k}){\rm tr}\Bigl{[}\{X^{j},X^{k}\}X^% {i}\Bigl{]}.italic_j start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i italic_μ end_POSTSUPERSCRIPT = 2 ( ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT script_P start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT script_S start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT - ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT script_S start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT script_P start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT ) roman_tr [ { italic_X start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT , italic_X start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT } italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ] . (76)

In the hadronic phase where the vacuum undergoes the spontaneous chiral symmetry breaking, σ0=𝒮00subscript𝜎0delimited-⟨⟩superscript𝒮00\sigma_{0}=\langle\mathscr{S}^{0}\rangle\ \neq 0italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = ⟨ script_S start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ⟩ ≠ 0 and Δ=𝒫5=0Δdelimited-⟨⟩superscript𝒫50\Delta=\langle\mathscr{P}^{5}\rangle=0roman_Δ = ⟨ script_P start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT ⟩ = 0, the broken current takes the form of

j5iμsuperscriptsubscript𝑗5𝑖𝜇\displaystyle j_{5}^{i\mu}italic_j start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i italic_μ end_POSTSUPERSCRIPT =\displaystyle== 12σ0μ𝒫i+.12subscript𝜎0superscript𝜇superscript𝒫𝑖\displaystyle\frac{1}{\sqrt{2}}\sigma_{0}\partial^{\mu}\mathscr{P}^{i}+\cdots.divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∂ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT script_P start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT + ⋯ . (77)

Here we have picked up a term relevant to NG bosons. Thus, within the LSM, the overlap amplitude between the broken current j5iμsuperscriptsubscript𝑗5𝑖𝜇j_{5}^{i\mu}italic_j start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i italic_μ end_POSTSUPERSCRIPT and the NG bosons 𝒫isuperscript𝒫𝑖\mathscr{P}^{i}script_P start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT is evaluated as

0|j5iμ(x)|𝒫j(p)=i12σ0pμeipxδij.quantum-operator-product0subscriptsuperscript𝑗𝑖𝜇5𝑥superscript𝒫𝑗𝑝𝑖12subscript𝜎0superscript𝑝𝜇superscript𝑒𝑖𝑝𝑥superscript𝛿𝑖𝑗\displaystyle\langle 0|j^{i\mu}_{5}(x)|\mathscr{P}^{j}(p)\rangle=-i\frac{1}{% \sqrt{2}}\sigma_{0}p^{\mu}e^{-ip\cdot x}\delta^{ij}.⟨ 0 | italic_j start_POSTSUPERSCRIPT italic_i italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT ( italic_x ) | script_P start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT ( italic_p ) ⟩ = - italic_i divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_p ⋅ italic_x end_POSTSUPERSCRIPT italic_δ start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT . (78)

Matching to the underlying definition in Eq. (74), the chiral condensate can be connected to the pion decay constant as

σ0=2fπ.subscript𝜎02subscript𝑓𝜋\displaystyle\sigma_{0}=\sqrt{2}f_{\pi}.italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = square-root start_ARG 2 end_ARG italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT . (79)

Note that the factor 22\sqrt{2}square-root start_ARG 2 end_ARG deviates from the well-known case of the three-color QCD with two flavors since the chiral SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) symmetry is extended to the SU(4)𝑆𝑈4SU(4)italic_S italic_U ( 4 ) symmetry due to the pseudoreality of QC2D.

References

  • [1] Gordon Baym, Tetsuo Hatsuda, Toru Kojo, Philip D. Powell, Yifan Song, and Tatsuyuki Takatsuka. From hadrons to quarks in neutron stars: a review. Rept. Prog. Phys., 81(5):056902, 2018.
  • [2] Yong-Jia Huang, Luca Baiotti, Toru Kojo, Kentaro Takami, Hajime Sotani, Hajime Togashi, Tetsuo Hatsuda, Shigehiro Nagataki, and Yi-Zhong Fan. Merger and Postmerger of Binary Neutron Stars with a Quark-Hadron Crossover Equation of State. Phys. Rev. Lett., 129(18):181101, 2022.
  • [3] Gert Aarts. Introductory lectures on lattice QCD at nonzero baryon number. J. Phys. Conf. Ser., 706(2):022004, 2016.
  • [4] Keitaro Nagata. Finite-density lattice QCD and sign problem: Current status and open problems. Prog. Part. Nucl. Phys., 127:103991, 2022.
  • [5] Shin Muroya, Atsushi Nakamura, Chiho Nonaka, and Tetsuya Takaishi. Lattice QCD at finite density: An Introductory review. Prog. Theor. Phys., 110:615–668, 2003.
  • [6] J. B. Kogut, Misha A. Stephanov, and D. Toublan. On two color QCD with baryon chemical potential. Phys. Lett. B, 464:183–191, 1999.
  • [7] J. B. Kogut, Misha A. Stephanov, D. Toublan, J. J. M. Verbaarschot, and A. Zhitnitsky. QCD - like theories at finite baryon density. Nucl. Phys. B, 582:477–513, 2000.
  • [8] Simon Hands, John B. Kogut, Maria-Paola Lombardo, and Susan E. Morrison. Symmetries and spectrum of SU(2) lattice gauge theory at finite chemical potential. Nucl. Phys. B, 558:327–346, 1999.
  • [9] J. B. Kogut, D. K. Sinclair, S. J. Hands, and S. E. Morrison. Two color QCD at nonzero quark number density. Phys. Rev. D, 64:094505, 2001.
  • [10] Simon Hands, Istvan Montvay, Luigi Scorzato, and Jonivar Skullerud. Diquark condensation in dense adjoint matter. Eur. Phys. J. C, 22:451–461, 2001.
  • [11] Shin Muroya, Atsushi Nakamura, and Chiho Nonaka. Behavior of hadrons at finite density: Lattice study of color SU(2) QCD. Phys. Lett. B, 551:305–310, 2003.
  • [12] Shailesh Chandrasekharan and Fu-Jiun Jiang. Phase-diagram of two-color lattice QCD in the chiral limit. Phys. Rev. D, 74:014506, 2006.
  • [13] Simon Hands, Seyong Kim, and Jon-Ivar Skullerud. Deconfinement in dense 2-color QCD. Eur. Phys. J. C, 48:193, 2006.
  • [14] B. Alles, Massimo D’Elia, and M. P. Lombardo. Behaviour of the topological susceptibility in two colour QCD across the finite density transition. Nucl. Phys. B, 752:124–139, 2006.
  • [15] Simon Hands, Peter Sitch, and Jon-Ivar Skullerud. Hadron Spectrum in a Two-Colour Baryon-Rich Medium. Phys. Lett. B, 662:405–412, 2008.
  • [16] Simon Hands, Seyong Kim, and Jon-Ivar Skullerud. A Quarkyonic Phase in Dense Two Color Matter? Phys. Rev. D, 81:091502, 2010.
  • [17] Simon Hands and Philip Kenny. Topological Fluctuations in Dense Matter with Two Colors. Phys. Lett. B, 701:373–377, 2011.
  • [18] Seamus Cotter, Pietro Giudice, Simon Hands, and Jon-Ivar Skullerud. Towards the phase diagram of dense two-color matter. Phys. Rev. D, 87(3):034507, 2013.
  • [19] Simon Hands, Seyong Kim, and Jon-Ivar Skullerud. Non-relativistic spectrum of two-color QCD at non-zero baryon density. Phys. Lett. B, 711:199–204, 2012.
  • [20] Tamer Boz, Seamus Cotter, Leonard Fister, Dhagash Mehta, and Jon-Ivar Skullerud. Phase transitions and gluodynamics in 2-colour matter at high density. Eur. Phys. J. A, 49:87, 2013.
  • [21] V. V. Braguta, E. M. Ilgenfritz, A. Yu. Kotov, A. V. Molochkov, and A. A. Nikolaev. Study of the phase diagram of dense two-color QCD within lattice simulation. Phys. Rev. D, 94(11):114510, 2016.
  • [22] Tamer Boz, Ouraman Hajizadeh, Axel Maas, and Jon-Ivar Skullerud. Finite-density gauge correlation functions in QC2D. Phys. Rev. D, 99(7):074514, 2019.
  • [23] N. Yu. Astrakhantsev, V. G. Bornyakov, V. V. Braguta, E. M. Ilgenfritz, A. Yu. Kotov, A. A. Nikolaev, and A. Rothkopf. Lattice study of static quark-antiquark interactions in dense quark matter. JHEP, 05:171, 2019.
  • [24] Kei Iida, Etsuko Itou, and Tong-Gyu Lee. Two-colour QCD phases and the topology at low temperature and high density. JHEP, 01:181, 2020.
  • [25] Jonas Wilhelm, Lukas Holicki, Dominik Smith, Björn Wellegehausen, and Lorenz von Smekal. Continuum Goldstone spectrum of two-color QCD at finite density with staggered quarks. Phys. Rev. D, 100(11):114507, 2019.
  • [26] Tamer Boz, Pietro Giudice, Simon Hands, and Jon-Ivar Skullerud. Dense two-color QCD towards continuum and chiral limits. Phys. Rev. D, 101(7):074506, 2020.
  • [27] Kei Iida, Etsuko Itou, and Tong-Gyu Lee. Relative scale setting for two-color QCD with Nfsubscript𝑁𝑓N_{f}italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT=2 Wilson fermions. PTEP, 2021(1):013B05, 2021.
  • [28] N. Astrakhantsev, V. V. Braguta, E. M. Ilgenfritz, A. Yu. Kotov, and A. A. Nikolaev. Lattice study of thermodynamic properties of dense QC2D. Phys. Rev. D, 102(7):074507, 2020.
  • [29] V. G. Bornyakov, V. V. Braguta, A. A. Nikolaev, and R. N. Rogalyov. Effects of Dense Quark Matter on Gluon Propagators in Lattice QC2D. Phys. Rev. D, 102:114511, 2020.
  • [30] Kotaro Murakami, Daiki Suenaga, Kei Iida, and Etsuko Itou. Measurement of hadron masses in 2-color finite density QCD. PoS, LATTICE2022:154, 2023.
  • [31] Victor V. Braguta. Phase Diagram of Dense Two-Color QCD at Low Temperatures. Symmetry, 15(7):1466, 2023.
  • [32] Kei Iida and Etsuko Itou. Velocity of sound beyond the high-density relativistic limit from lattice simulation of dense two-color QCD. PTEP, 2022(11):111B01, 2022.
  • [33] William Detmold, Kostas Orginos, and Zhifeng Shi. Lattice QCD at non-zero isospin chemical potential. Phys. Rev. D, 86:054507, 2012.
  • [34] Bastian B. Brandt, Gergely Endrodi, Eduardo S. Fraga, Mauricio Hippert, Jurgen Schaffner-Bielich, and Sebastian Schmalzbauer. New class of compact stars: Pion stars. Phys. Rev. D, 98(9):094510, 2018.
  • [35] Bastian B. Brandt, Francesca Cuteri, and Gergely Endrodi. Equation of state and speed of sound of isospin-asymmetric QCD on the lattice. JHEP, 07:055, 2023.
  • [36] Ryan Abbott, William Detmold, Fernando Romero-López, Zohreh Davoudi, Marc Illa, Assumpta Parreño, Robert J. Perry, Phiala E. Shanahan, and Michael L. Wagman. Lattice quantum chromodynamics at large isospin density. Phys. Rev. D, 108(11):114506, 2023.
  • [37] Mauricio Hippert, Jorge Noronha, and Paul Romatschke. Upper Bound on the Speed of Sound in Nuclear Matter from Transport. 2 2024.
  • [38] Toru Kojo, Gordon Baym, and Tetsuo Hatsuda. Implications of NICER for Neutron Star Matter: The QHC21 Equation of State. Astrophys. J., 934(1):46, 2022.
  • [39] Yuki Fujimoto and Kenji Fukushima. Equation of state of cold and dense QCD matter in resummed perturbation theory. Phys. Rev. D, 105(1):014025, 2022.
  • [40] Jens Braun, Andreas Geißel, and Benedikt Schallmo. Speed of sound in dense strong-interaction matter. 6 2022.
  • [41] Larry McLerran and Sanjay Reddy. Quarkyonic Matter and Neutron Stars. Phys. Rev. Lett., 122(12):122701, 2019.
  • [42] Toru Kojo. Stiffening of matter in quark-hadron continuity. Phys. Rev. D, 104(7):074005, 2021.
  • [43] Toru Kojo and Daiki Suenaga. Peaks of sound velocity in two color dense QCD: Quark saturation effects and semishort range correlations. Phys. Rev. D, 105(7):076001, 2022.
  • [44] Ryuji Chiba and Toru Kojo. Sound velocity peak and conformality in isospin QCD. 4 2023.
  • [45] Kota Masuda, Tetsuo Hatsuda, and Tatsuyuki Takatsuka. Hadron–quark crossover and massive hybrid stars. PTEP, 2013(7):073D01, 2013.
  • [46] Toru Kojo and Gordon Baym. Color screening in cold quark matter. Phys. Rev. D, 89(12):125008, 2014.
  • [47] Daiki Suenaga and Toru Kojo. Gluon propagator in two-color dense QCD: Massive Yang-Mills approach at one-loop. Phys. Rev. D, 100(7):076017, 2019.
  • [48] Toru Kojo and Daiki Suenaga. Thermal quarks and gluon propagators in two-color dense QCD. Phys. Rev. D, 103(9):094008, 2021.
  • [49] D. T. Son and Misha A. Stephanov. QCD at finite isospin density: From pion to quark - anti-quark condensation. Phys. Atom. Nucl., 64:834–842, 2001.
  • [50] D. T. Son and Misha A. Stephanov. QCD at finite isospin density. Phys. Rev. Lett., 86:592–595, 2001.
  • [51] Takuya Kanazawa, Tilo Wettig, and Naoki Yamamoto. Chiral Lagrangian and spectral sum rules for dense two-color QCD. JHEP, 08:003, 2009.
  • [52] J. T. Lenaghan, F. Sannino, and K. Splittorff. The Superfluid and conformal phase transitions of two color QCD. Phys. Rev. D, 65:054002, 2002.
  • [53] Max A. Metlitski and Ariel R. Zhitnitsky. Theta-parameter in 2 color QCD at finite baryon and isospin density. Nucl. Phys. B, 731:309–334, 2005.
  • [54] Masayasu Harada, Chiho Nonaka, and Tetsuro Yamaoka. Masses of vector bosons in two-color dense QCD based on the hidden local symmetry. Phys. Rev. D, 81:096003, 2010.
  • [55] Daiki Suenaga, Kotaro Murakami, Etsuko Itou, and Kei Iida. Probing the hadron mass spectrum in dense two-color QCD with the linear sigma model. Phys. Rev. D, 107(5):054001, 2023.
  • [56] Takuya Minamikawa, Toru Kojo, and Masayasu Harada. Quark-hadron crossover equations of state for neutron stars: constraining the chiral invariant mass in a parity doublet model. Phys. Rev. C, 103(4):045205, 2021.
  • [57] Mamiya Kawaguchi and Daiki Suenaga. Fate of the topological susceptibility in two-color dense QCD. JHEP, 08:189, 2023.
  • [58] Deirdre Black, Amir H. Fariborz, Renata Jora, Nae Woong Park, Joseph Schechter, and M. Naeem Shahid. Remark on pion scattering lengths. Mod. Phys. Lett. A, 24:2285–2289, 2009.
  • [59] K. Splittorff, D. Toublan, and J. J. M. Verbaarschot. Diquark condensate in QCD with two colors at next-to-leading order. Nucl. Phys. B, 620:290–314, 2002.
  • [60] K. Splittorff, D. Toublan, and J. J. M. Verbaarschot. Thermodynamics of chiral symmetry at low densities. Nucl. Phys. B, 639:524–548, 2002.
  • [61] Jens O. Andersen, Qing Yu, and Hua Zhou. Pion condensation in QCD at finite isospin density, the dilute Bose gas, and speedy Goldstone bosons. Phys. Rev. D, 109(3):034022, 2024.
  • [62] Daiki Suenaga, Kotaro Murakami, Etsuko Itou, and Kei Iida. Mass spectrum of spin-one hadrons in dense two-color QCD: Novel predictions by extended linear sigma model. 12 2023.