This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

MUSES Collaboration

Phase Stability in the 3-Dimensional Open-source Code for the Chiral mean-field Model

Nikolas Cruz-Camacho 0009-0004-7870-0039 University of Illinois Urbana-Champaign, Urbana, IL 61801, USA    Rajesh Kumar 0000-0003-2746-3956 Department of Physics, Kent State University, Kent, OH 44243, USA    Mateus Reinke Pelicer 0000-0002-2189-706X Department of Physics, Kent State University, Kent, OH 44243, USA    Jeff Peterson 0000-0002-6703-418X Department of Physics, Kent State University, Kent, OH 44243, USA    T. Andrew Manning 0000-0003-2545-9195 University of Illinois Urbana-Champaign, Urbana, IL 61801, USA    Roland Haas 0000-0003-1424-6178 University of Illinois Urbana-Champaign, Urbana, IL 61801, USA    Veronica Dexheimer 0000-0001-5578-2626 Department of Physics, Kent State University, Kent, OH 44243, USA    Jaquelyn Noronha-Hostler 0000-0003-3229-4958 University of Illinois Urbana-Champaign, Urbana, IL 61801, USA
(September 13, 2025)
Abstract

In this paper we explore independently for the first time three chemical potentials (baryon μB\mu_{B}, charged μQ\mu_{Q}, and strange μS\mu_{S}) in the Chiral mean-field (CMF) model. We designed and implemented CMF++, a new version of the CMF model rewritten in C++ that is optimized, modular, and well-documented. CMF++ has been integrated into the MUSES Calculation Engine as a free and open source software module. The runtime improved in more than 4 orders of magnitude across all 3 chemical potentials, when compared to the legacy code. Here we focus on the zero temperature case and study stable, as well as metastable and unstable, vacuum, hadronic, and quark phases, showing how phase boundaries vary with the different chemical potentials. Due to the significant numerical improvements in CMF++, we can calculate for the first time high-order susceptibilities within the CMF framework to study the properties of the quark deconfinement phase transition. We found phases of matter that include a light hadronic phase, strangeness-dominated hadronic phase, and quark deconfinement within our μB\mu_{B}, μS\mu_{S}, μQ\mu_{Q} phase space. The phase transitions are of first, second (quantum critical point), and third order between these phases and we even identified a tricritical point.

I INTRODUCTION

In the past decades, the increase of colliding energy in particle accelerators and the unprecedented accuracy in astronomical observations allowed us to grasp a better understanding of the building blocks of matter, the quarks, and gluons. In a way, this allows us to glimpse at the matter that existed in the first 10610^{-6} s after the Big Bang. In the laboratory, it was shown that at extremely high temperatures the quark-gluon plasma created presents very low viscosity, behaving like an ideal fluid [1]. On the other hand, neutron stars reach extremely large baryon densities, the value being model dependent but attaining more than 14 times nuclear saturation density, nsatn_{\rm sat} in extreme cases [2], 10 nsatn_{\rm sat} for the heaviest neutron stars. Around these densities, several microphysical models have predicted deconfined quark matter within the core of neutron stars (starting with Ivanenko et. al in the 60’s [3]), while being consistent with astrophysical data, see e.g. [4]. Finally, mergers of neutron stars provide both hot and dense environments, where deconfined quarks may be observed not only electromagnetically, but also gravitationally [5, 6].

At lower energies, due to asymptotic freedom, quarks and gluons are confined within hadrons. At even lower energies baryons form atomic nuclei. These different “phases” of matter, which can be produced both in the laboratory and in the cosmos are usually depicted in a phase diagram, the Quantum chromodynamics (QCD) phase diagram, referring to the theory that describes quarks, gluons, and their interactions. The phase transition from nuclei to hadronic matter (composed of baryons with 3 quarks and mesons with one quark and one antiquark) is referred to as the Liquid-Gas phase transition, while the one from hadronic to deconfined quark matter is referred to as deconfinement. Both are expected to be first-order phase transitions in the low-temperature and high baryon density (nBn_{B}) regime and present a crossover region beyond a critical point [7, 8] (see Figure 1).

Refer to caption
Figure 1: QCD Phase Diagram from the CMF model showing the liquid-gas and deconfinement phase transitions for symmetric matter (zero net strangeness and isospin) and neutron star matter (charge neutral in beta-equilibrium).

The thermodynamical description of equilibrated matter is done through the equation of state (EoS), usually given as the relation between pressure and energy density. The dimensionality of the complete EoS depends on the characteristics of the system being described, such as temperature, number of conserved charges, and other effects (e.g. magnetic fields, spin, etc). In the case of QCD, the conserved charges typically considered are baryon number (BB), electric charge (QQ), and strangeness (SS). In principle, all quark flavors should be conserved on QCD time scales but not all quarks are produced in enough abundance to be considered in chemical equilibrium for the EoS (although some studies have considered charm [9]). In this work, the dimensionality of our equation state is 3D n={nB,nQ,nS}\vec{n}=\left\{n_{B},n_{Q},n_{S}\right\}, where nxn_{x} is the respective (number) density associated with the conserved charge x=B,S,Qx=B,S,Q. We plan to add finite temperature TT in future works.

Furthermore, different quantities can be conserved globally or locally. Changing this assumption can reduce the dimensionality of the EoS, but this is not always a completely accurate assumption. For example, an electrically neutral system could contain 10 protons and 10 electrons. That system could be distributed such that the protons and electrons are paired close enough in phase space that locally it appears that there is no net-electric charge. However, it is also possible that all the protons are clumped together and the electrons are clumped together. In the case of a clumped-up charge, the system may look more like a dipole and locally net-electric charge is not zero, even though globally the system is electrically neutral. When describing multiple phases, conservation of specific quantities can be applied either to each phase separately, or allowing mixtures of phases, see Ref. [10] and references therein. In this work, we do not impose conservation of any quantity, but instead freely vary the chemical potentials μx\mu_{x} associated with the conservation of x=B,S,Qx=B,S,Q such that we can vary in the phase space of μ={μB,μS,μQ}\vec{\mu}=\left\{\mu_{B},\mu_{S},\mu_{Q}\right\}.

To describe fully evolved (beyond the protoneutron-star stage) cold neutron-star matter, one assumes charged neutrality and β\beta-equilibrium with leptons. At β\beta-equilibrium, the charge chemical potential is related to the electron and muon chemical potentials via μe=μμ=μQ\mu_{e}=\mu_{\mu}=-\mu_{Q}. Electric charge neutrality is enforced i.e. iQini=0\sum_{i}Q_{i}n_{i}=0, where ii stands for all particles involved, QiQ_{i} for electric charge, and nin_{i} for (number) density of each particle. The time scales associated with neutron stars and their mergers allow for the creation of net strangeness through weak interactions, meaning that there is no strange chemical potential, μS=0\mu_{S}=0. Applying β\beta-equilibrium and μS=0\mu_{S}=0, reduces the dimensionality of the system from 3 dimensions of μB,μS,μQ\mu_{B},\mu_{S},\mu_{Q} (4 if one includes TT) into 1 dimension (or 2), meaning that it only depends on baryon chemical potential, μB\mu_{B} (and TT). That being said, numerical relativity simulations of, e.g., neutron-star mergers require a 3D EoS of typical temperature, baryon density, and electric charge fraction, i.e., T,nB,YQT,n_{B},Y_{Q}. Additionally, out-of-equilibrium effects can be important (e.g. bulk viscosity) when there is a delay in the system to reach β\beta-equilibrium, such that information about the EoS out of β\beta equilibrium is also required [11].

On the other hand, the conserved charges in heavy-ion collisions are dictated by the choice of nuclei that are collided and the energy of the beam that collides. At high beam energies, the nuclei are extremely Lorentz contracted, so they appear as nearly 2D objects that pass through each other nearly instantaneously, dumping energy but not stopping, so in the initial state reproduces nB=0n_{B}=0. As the beam energies are lowered, the nuclei are less Lorentz contracted, such that they become 3D objects that take a finite amount of time to pass through each other. Due to this longer timescale, there is enough time for baryons to be stopped in the initial state, such that collisions present a finite baryon number i.e. nB>0n_{B}>0. The ions themselves have a specific number of protons ZZ and nucleons AA, such that one can define the initial charge fraction YQ=Z/AY_{Q}=Z/A. Since both electric charge and baryon number are exactly conserved globally within heavy-ion collisions, then YQY_{Q} is determined by the choice of ions collided and how many (and which type) of baryons are stopped in an individual collision. The colliding nuclei do not contain net strangeness, however, due to gluon splittings into quark anti-quark pairs, strangeness is produced over time in heavy-ion collision while preserving strangeness neutrality, i.e., iSini=0\sum_{i}S_{i}n_{i}=0, where SiS_{i} is the particle strangeness. This results in a non-zero μS\mu_{S} when μB0\mu_{B}\neq 0 due to strange baryons and antibaryons. The time scales are short enough that the system cannot undergo weak decays, so the flavor of the strange quarks is preserved in the system (although quark-antiquark pairs can be annihilated qq¯gq\bar{q}\rightarrow g or produced from gluons gqq¯g\rightarrow q\bar{q} pairs). Experiments can measure strange mesons and baryons and find that approximately 10%10\% of hadrons produced have non-zero strangeness (predominately kaons) at mid to high energy collisions, see e.g. [12, 13]. Thus, one typically reduces the dimensionality of heavy-ion collisions from a 4D phase space into 2D (T,μBT,\mu_{B}) because the strange and electric charge chemical potentials become functions of T,μBT,\mu_{B} i.e. μS(T,μB)\mu_{S}(T,\mu_{B}) and μQ(T,μB)\mu_{Q}(T,\mu_{B}).

Note that the temperature of heavy-ion collisions is always non-negligible, even at some of the lowest beam energies (estimates from HADES suggest an average temperature of T70T\sim 70 MeV [14]). However, the T=0T=0 EoS limit is still interesting to study as an input for theoretical models (see e.g. [15, 16] for transport simulations where the temperature is introduced through kinetic contributions and how they connect to neutron stars [17]). Heavy-ion collisions are close to the limit of symmetric nuclear matter (SNM) where YQ=0.5Y_{Q}=0.5 (or μQ=0\mu_{Q}=0), although data exist for nuclei with a range of YQ=[0.38,0.5]Y_{Q}=[0.38,0.5]. In the limit of symmetric nuclear matter, there is exactly the same number of protons and neutrons in the colliding nuclei. At the T=0T=0 limit of SNM, there are no antiparticles, meaning that in this special case, there cannot be strange particles as well and μS\mu_{S} becomes irrelevant.

In this work, we do not impose neutron star, protoneutron star (almost isospin symmetric, but charge neutral and with μS=0\mu_{S}=0), neutron-star merger, nor heavy-ion collision conditions. Rather, we study the much more general full 3-dimensional (μB\mu_{B}, μQ\mu_{Q}, μS\mu_{S}) space assuming that the temperature is low enough compared to the chemical potentials that we can approximate T=0T=0. While the conditions we discuss above are relevant for equilibrium physics they are not the only type of physics that plays a role in these systems. For instance, in neutron star mergers the system may have some delay to return to β\beta-equilibrium, such that the EoS out-of-β\beta-equilibrium is relevant to describe bulk viscosity effects [11]. In heavy-ion collisions, local fluctuations of baryon, strangeness, and electric charge can play a role at the Large Hadron Collider (LHC) due to gluons splitting into quark anti-quark pairs and also at the Relativistic Heavy-Ion Collider Beam Energy Scan (RHIC BES) due to fluctuations in the position of the protons and neutrons in the initial state [18]. In these examples one cannot simply reduce the EoS down to 2-dimensions because information about the full 3D (T,nB,YQT,n_{B},Y_{Q}) or 4D (T,μB,μS,μQT,\mu_{B},\mu_{S},\mu_{Q}) is required to understand local fluctuations of charges, see e.g. [19]. Thus, our work is an important first step in the direction of eventually developing 3D, 4D, and 5D (when including additional magnetic field, BB) equations of state needed for these simulations.

While the Lagrangian of QCD is well-known, solving QCD is far from easy. The most common approach that has been extremely successful is lattice QCD, which represents space-time as a crystalline lattice with quarks at vertices connected by lines where the gluons travel [20]. In the limit of small vertex separation, this approach reaches the true continuum theory of QCD. However, lattice QCD calculations can only be performed at vanishing densities due to the fermion sign problem (otherwise, it exhibits the sign problem when trying to integrate highly oscillatory functions [21, 22]). In order to circumvent the fermion sign problem, it is possible to perform calculations at either imaginary chemical potentials or perturb around vanishing chemical potentials in order to obtain susceptibilities, χijkBSQ\chi_{ijk}^{BSQ}, of the EoS. Then these susceptibilities can be used to recreate the EoS in up to 4D (T,μB,μS,μQT,\mu_{B},\mu_{S},\mu_{Q}) through a Taylor series expanded in μx/T\mu_{x}/T, where x=B,S,Qx=B,S,Q [23, 24]. Given that lattice QCD results are only available at temperatures of T130T\gtrsim 130 MeV and the expansion is currently only valid up to μB/T3.5\mu_{B}/T\lesssim 3.5 with the furthest reaching expansion scheme [25], there is only a limited regime where lattice QCD results can be applied. For this reason, lattice QCD cannot be used to describe neutron stars, where μB>mp938\mu_{B}>m_{p}\sim 938 MeV at vanishing temperatures (in the MeV scale).

Due to the limitations of lattice QCD, several effective approaches have been developed in the regime of physics relevant to heavy-ion collisions. One such example is based on a bottom-up approach from holography [26, 27, 28]. Since the initial papers, the holographic approach has been significantly improved, such that one can tune its description to the latest lattice QCD results and predict the location of the QCD critical point [29]. Other approaches have found the QCD critical point in a similar location as well [30, 31, 32, 33, 34]. Thus, the EoS from heavy-ion collisions is beginning to converge at finite μB\mu_{B} (concerning certain important features), going beyond the current regime of validity for lattice QCD. Still, the EoS at finite μB\mu_{B} is still not known precisely at this time, especially when one considers effects that are off the strangeness neutral trajectory (see [19] for missing regimes in the EoS given the current lattice QCD results).

Outside the region covered by lattice QCD, perturbative QCD (pQCD) calculations are possible at extremely large μB\mu_{B} and/or large TT. They are performed using a perturbative expansion in the QCD coupling constant, which is small in this regime [35, 36, 37]. However, near the deconfinement phase transition, the QCD coupling constant becomes large and the truncated sum from perturbation theory no longer approximates the infinite sum. On the other hand, chiral effective theory (χ\chiEFT) calculations are possible at nearly vanishing temperatures and baryon densities around nuclear saturation density [38, 39]. They include every allowed particle interaction and order them by the number of powers of mass and momentum [40]. However, even with the combination of lattice QCD, pQCD, and χ\chiEFT the vast majority of the QCD phase diagram is not yet possible to map out from first principle calculations (see Fig.1 of [41]).

As a result, one must turn to effective models, utilizing phenomenological constraints to construct Lagrangians that contain the right degrees of freedom (quarks at high T,μBT,\mu_{B}, hadrons at intermediate T,μBT,\mu_{B}, and nuclei at very low T,μBT,\mu_{B}) to describe the entire space of 4D or 5D phase diagrams. These effective models should smoothly connect to first principle QCD calculations in their regime of validity and should also include known particles, their masses, and their known interactions.

At low μB\mu_{B}, the smooth (crossover) deconfinement to quark matter approximately coincides with the restoration of chiral symmetry. The spontaneous breaking of chiral symmetry (related to spin handedness) is what gives baryons approximately 99%99\% of their masses, with a small bare mass produced via the Higgs mechanism [42]. Spontaneous refers to the fact that the physical state of the system may be asymmetric even though the underlying physical laws are symmetric. This can be achieved by using a description in which hadronic masses are generated by interactions with the medium, and depend on density and/or temperature. Additional explicit symmetry-breaking terms ensure that pseudo-scalar mesons such as pions (the Goldstone bosons of the theory) have small but finite masses. Chiral symmetry breaking is also related to the formation of scalar condensates, which can for this reason be used as order parameters for this symmetry. These condensates are associated with scalar mesons that mediate the attraction between hadrons, while vector mesons mediate the repulsion between hadrons. Effective (chiral) models include the Nambu-Jona-Lasinio (NJL) model, the linear sigma model, and the parity doublet model, all of which account for chiral symmetry but have no mechanism to describe confinement [43, 44, 45, 46].

In particular, the Chiral mean-field (CMF) model is a very successful relativistic approach based on a non-linear realization of chiral symmetry [47, 48], which allows for a very good agreement with experimental nuclear data. In addition, only the mean values of the mesons are used in the CMF model, as the mesonic field fluctuations are expected to be small at high densities. As an effective model, once it is calibrated to work on a certain regime of energies, it can produce reliable results for the matter EoS and particle compositions, which can then be used in e.g, hydrodynamical simulations of heavy-ion collisions [49, 50] or astrophysics [51, 52, 53, 54, 55, 56], including core-collapse supernova explosions [57], stellar cooling [58, 59], and compact star mergers [5, 60, 61]. See Ref. [62, 63, 64] for a recent reviews that compare the CMF with other multidimensional models available in the CompOSE repository [65, 66].

The CMF model can be applied at T=0T=0 as well as intermediate, and larger temperatures. It has also been extended to include the effects of strong magnetic fields [67, 68, 69, 70]. It includes degrees of freedom (d.o.f) expected to appear in different laboratory and astrophysical scenarios (leptons, baryons, mesons, and quarks) within a single framework. Both isospin asymmetry and strangeness (from hyperons and strange quarks) are included in the formalism, in order to describe the different environments. Inspired by unified approaches for the nuclear liquid-gas phase transition (between a phase with nuclei and a bulk hadronic one) [71], a unified approach for quark deconfinement was implemented in the CMF model [72], as explained below. All degrees of freedom are a priori included in the description, allowing deconfinement to appear as a first-order phase transition or crossover (in this case referring to higher than first-order phase transition), as expected at large temperatures [73]). The transition from baryons to quarks as the density and temperature increase is done utilizing an order parameter, a scalar field Φ\Phi named in analogy with the Polyakov loop [74, 75]. This order parameter is introduced in the effective mass of baryons and quarks. Within this approach, full QCD phase diagrams can be built, showing both the liquid gas and deconfinement phase transitions [72, 76, 10, 77, 78, 79].

The CMF model in its current form has been used for over 2 decades. However, the software developed for those calculations written in Fortran 77 was inefficient, not well-documented, proprietary, and had most variables hard-coded. Thus, the legacy CMF software placed many numerical limitations on the CMF model. For instance, while the theory allows for 4D or 5D calculations of the EoS, the legacy version of the CMF model was only calculated in maximum 3D [78] due to the very long run time.

In this paper, we report on a brand-new version of the CMF model in C++ in collaboration with computer scientists through the MUSES collaboration (Modular Unified Solver of the Equation of State [80]) that increases the efficiency of the code by several orders of magnitude. It also allows for more accurate solutions, such that high-order derivatives of the EoS are now possible for the first time, and captures not just the stable region of the phase diagram but also the metastable and unstable regions across first-order phase transitions. For this work, we consider the vanishing temperature limit of the CMF model (T=0T=0) and no magnetic fields (B=0B=0). However, future work is ongoing to extend the C++ version of the CMF model both to finite TT and BB.

The paper is organized as follows: in Sec. II the theoretical development of the CMF model is outlined. First, the full chiral Lagrangian is built in Sec. II.1, then the mean-field Lagrangian is obtained in Sec. II.2, followed by the equations of motion in Sec. II.3, the thermodynamical observables in Sec. II.4, and the coupling constants used within CMF in Sec. II.5. The numerical implementation of the CMF model in C++ is outlined including a discussion of thermodynamical stability in Sec. III, and the corresponding benchmark tests from this new code are presented. Finally, the results from the upgraded version of CMF are shown in Sec. IV for different chemical potential combinations using different couplings. High-order derivatives of the EoS known as the susceptibilities are calculated and first-order phase transitions are explored, including the discussion of metastable and unstable regions. In Sec. V concluding remarks and future plans are discussed.

II CMF Formalism

This section outlines the equations used to calculate the thermodynamical properties of bulk hadronic and quark matter within the CMF model. For the first time, we show in detail in this paper the derivation of the entire mean-field Lagrangian, equations of motion, and the thermodynamic properties. Due to the large densities found in compact stars, the particles in their interior become relativistic, each with their momentum comparable to their mass. And so, a relativistic space-time metric must be adopted to describe them. The CMF model is relativistic, therefore, it respects causality, provided that the repulsive vector interactions are not too strong (see the footnote in [81]). Following the literature of relativistic models, we make use of natural units throughout the paper.

The CMF model is based on a non-linear realization of the SU(3) sigma model [48] in which hadrons interact by mesonic exchange: σ\sigma, ζ\zeta, δ\delta, ω\omega, ϕ\phi, and ρ\rho. The scalar-isoscalar field σ(ud¯)\sigma(u\bar{d}) corresponds loosely to the light quark composed meson f0(500)f_{0}(500) and is the main driver for chiral symmetry restoration. A strange scalar-isoscalar field ζ\zeta (ss¯s\bar{s}) with hidden strangeness (which is assumed to couple with strange particles) is also introduced to provide necessary attraction and is associated with the f0(980)f_{0}(980) meson [82]. The scalar-isovector field δ(u¯ud¯d)\delta(\bar{u}u-\bar{d}d) couples differently to particles with different isospin, introducing a mass splitting between isospin multiples and making the EoS sensitive to isospin. It is associated with the a0(980)a_{0}(980) meson [83, 84]. These fields mediate interactions among nucleons, hyperons, and quarks, contributing to attractive medium-range forces (scalar fields) and short-range repulsion (vector fields: vector-isoscalar ω\omega, strange vector-isoscalar ϕ\phi, and vector-isovector ρ\rho). The scalar dilaton field, χ\chi, representing the hypothetical glue ball field, is introduced to replicate QCD’s trace anomaly [48].

While in reality the strong force is propagated by gluons, the CMF model approximates this interaction as an exchange of mesons. They are not the typical particle physics mesons, such as pions or kaons (bound states of a quark and an antiquark), instead they are virtual particles that serve as force carriers for the strong force, much like how the photon is the force carrier of the electromagnetic force. Unlike electromagnetism, the strong force changes sign (and therefore whether it is attractive or repulsive) based on the separation between particles. At low TT, mesons do not contribute kinetically.

The CMF model is built in a chirally invariant way, as the masses of the particles are built from interactions with the medium and, as a result, the masses decrease with the energy. Note that the commonly used linear sigma model with linear realization approach in meson-baryon coupling leads to imbalanced hyperon potentials due to symmetric spin-0 and antisymmetric spin-1 meson interactions, and additional attraction from the ζ\zeta field without counterbalancing repulsion. Moreover, explicit symmetry-breaking terms cannot correct these potentials without disrupting partially conserved axial current relations. The non-linear realization, incorporating pseudoscalar mesons as angular parameters of chiral transformation, allows explicit symmetry-breaking terms to be added without affecting partially conserved axial current relations and decouples strange and non-strange condensates, ensuring a balanced interaction that gives correct hyperon potentials [48]. While in the linear sigma model, the different left- and right-handed chirality wave functions transform differently within the SU(3)×L{}_{\rm L}\,\times SU(3)R group, in the nonlinear realization we apply a transformation to the left- and right-handed chirality wave functions that allow them to transform in the same way, see Refs. [85, 86, 87] for more details.

The strength of the (confining) strong force changes with momentum transfer between particles, where the strong force becomes weaker with increased momentum transfer. This means that for high energies, temperature, or chemical potential, quarks become effectively deconfined [88, 89]. For this reason, quarks are also included in the CMF model (within the same description) but with different couplings [72]. The different phases, hadronic and quark, are characterized and distinguished from each other by the values of the condensates (such as σ\sigma) and the order parameter for deconfinement, Φ\Phi.

Although there are six known “flavors” of quarks, effectively, only up, down, and strange quarks are present in the energy regime we are discussing in this work (given in Table 1). The gluons serve to carry both the attractive and repulsive attributes of the strong force, but in the CMF model, these attributes are split between scalar (spin-0) mesons mediating attractive interactions and vector (spin-11) mesons mediating repulsive interactions. The baryons included in the CMF model are the baryonic octet (Table 2) and the decuplet (Table 3). An alternative version of the CMF model also exists that includes the chiral partners of the baryons, see Ref. [76, 56] but this approach is not included in CMF++.

Table 1: Table of quark properties [90].
Quark Symbol Mass Electric Charge Isospinz Strangeness
(MeV) (ee) (I3BI_{3B})
up uu 23\sim 2-3 23\frac{2}{3} 12\frac{1}{2} 0
down dd 35\sim 3-5 13-\frac{1}{3} 12-\frac{1}{2} 0
strange ss 81105\sim 81-105 13-\frac{1}{3} 0 1-1
Table 2: Table of the baryon octet and their properties [90].
Symbol Valence Mass Electric Charge Isospinz Strangeness
Quarks (MeV) (ee) (I3BI_{3B})
pp uuduud 938.27938.27 11 12\frac{1}{2} 0
nn uddudd 939.57939.57 0 12-\frac{1}{2} 0
Λ\Lambda udsuds 1115.71115.7 0 0 1-1
Σ+\Sigma^{+} uusuus 1189.41189.4 11 11 1-1
Σ0\Sigma^{0} udsuds 1192.61192.6 0 0 1-1
Σ\Sigma^{-} ddsdds 1197.41197.4 1-1 1-1 1-1
Ξ0\Xi^{0} ussuss 1314.91314.9 0 12\frac{1}{2} 2-2
Ξ\Xi^{-} dssdss 1321.71321.7 1-1 12-\frac{1}{2} 2-2
Table 3: Table of the baryon decuplet and their properties [90]
Symbol Valence Mass Electric Charge Isospinz Strangeness
Quarks (MeV) (ee) (I3BI_{3B})
Δ++\Delta^{++} uuuuuu 1232.01232.0 22 32\frac{3}{2} 0
Δ+\Delta^{+} uuduud 1232.01232.0 11 12\frac{1}{2} 0
Δ0\Delta^{0} uddudd 1232.01232.0 0 12-\frac{1}{2} 0
Δ\Delta^{-} dddddd 1232.01232.0 1-1 32-\frac{3}{2} 0
Σ+\Sigma^{*+} uusuus 1382.831382.83 11 11 1-1
Σ0\Sigma^{*0} udsuds 1382.71382.7 0 0 1-1
Σ\Sigma^{*-} ddsdds 1387.21387.2 1-1 -1 1-1
Ξ0\Xi^{*0} ussuss 1531.801531.80 0 12\frac{1}{2} 2-2
Ξ\Xi^{*-} dssdss 1535.01535.0 1-1 12-\frac{1}{2} 2-2
Ω\Omega^{-} ssssss 1672.41672.4 1-1 0 3-3

The construction of the CMF model is described in detail in the following subsections, however, the general procedure is shown in Figure 2. One develops an effective theory by determining the relevant symmetry group and then constructing the appropriate Lagrangian that contains all the particles and their interactions. Once the Lagrangian is established, then the mean-field approximation is made to simplify the Lagrangian to a form that can be solved straightforwardly. After the deconfinement mechanism is implemented, the model is named CMF. Next, the equations of motion are obtained from the Euler-Lagrange equation and the ideal fluid approximation is assumed, such that one can diagonalize the energy-momentum tensor. At this point, input from experimental and theoretical constraints for the model parameters are applied (e.g. mass and couplings of the baryons, etc.). Then, for a given set of chemical potentials μB\mu_{B}, μS\mu_{S}, μQ\mu_{Q} (and TT), the equations of motion for the mesons can be used to determine the particle population and to calculate the thermodynamic observables that allow one to obtain a multidimensional EoS.

Refer to caption
Figure 2: Flowchart depicting the steps involved in building the CMF model.

II.1 Full chiral Lagrangian

For the non-linear realization of the sigma model, the full hadronic Lagrangian density reads [48]

=kin+int+scal+vec+esb,\mathcal{L}=\mathcal{L}_{\rm kin}+\mathcal{L}_{\rm int}+\mathcal{L}_{\rm scal}+\mathcal{L}_{\rm vec}+\mathcal{L}_{\rm esb}\,, (1)

where kin\mathcal{L}_{\rm kin} is the kinetic energy term, int\mathcal{L}_{\rm int} is the baryon-meson interaction term, scal\mathcal{L}_{\rm scal} is the scalar meson self-interaction term, vec\mathcal{L}_{\rm vec} is the vector meson self-interaction term, and esb\mathcal{L}_{\rm esb} is the term for explicit breaking of chiral symmetry. We now cover each of these five terms in more detail.

II.1.1 kin\mathcal{L}_{\rm kin} the kinetic-energy term

The kinetic energy term expands as

kin=iTr(B¯γμDμB)+12Tr(DμXDμX)\displaystyle\mathcal{L}_{\rm kin}=i\mathrm{Tr}(\bar{B}\gamma_{\mu}D^{\mu}B)+\frac{1}{2}\mathrm{Tr}(D_{\mu}XD^{\mu}X)
+Tr(uμXuμX+XuμuμX)+12Tr(DμYDμY)\displaystyle+\mathrm{Tr}(u_{\mu}Xu^{\mu}X+Xu_{\mu}u^{\mu}X)+\frac{1}{2}\mathrm{Tr}(D_{\mu}YD^{\mu}Y)
+12Tr(DμχDμχ)14Tr(VμνVμν)14Tr(AμνAμν),\displaystyle+\frac{1}{2}\mathrm{Tr}(D_{\mu}\chi D^{\mu}\chi)-\frac{1}{4}\mathrm{Tr}(V^{\mu\nu}V_{\mu\nu})-\frac{1}{4}\mathrm{Tr}(A^{\mu\nu}A_{\mu\nu})\,, (2)

where DμD_{\mu} is a covariant derivative defined by

Dμ=μ+i[Γμ,],D_{\mu}\diamond=\partial_{\mu}\diamond+i[\Gamma_{\mu},\diamond]\,, (3)

with \diamond being any of the following particle matrix: BB stands for the baryon octet matrix, XX for the scalar meson nonet and YY for the pseudoscalar singlet. They are shown in the mean-field approximation in Appendix A. The [,][\cdot,\diamond] represents the operator commutator and Γμ\Gamma_{\mu} is a vector-type field that assures chiral invariance and is defined by

Γμ=i2(uμu+uμu).\Gamma_{\mu}=-\frac{i}{2}(u^{\dagger}\partial_{\mu}u+u\partial_{\mu}u^{\dagger})\,. (4)

The kinetic energy term of the pseudoscalar mesons is introduced (in analogy to Eq. 4) by defining the axial vector,

uμ=i2(uμuuμu),u_{\mu}=-\frac{i}{2}(u^{\dagger}\partial_{\mu}u-u\partial_{\mu}u^{\dagger})\,, (5)

with

u=ei2σ0πa(x)λaγ5=ei2σ0Pγ5,\begin{split}u&=e^{\frac{i}{2\sigma_{0}}\pi^{a}\left(x\right)\lambda_{a}\gamma_{5}}=e^{\frac{i}{\sqrt{2}\sigma_{0}}P\gamma_{5}}\,,\end{split} (6)

where P=πaλa2P=\frac{\pi^{a}\lambda_{a}}{\sqrt{2}} is the pseudoscalar octet matrix defined in LABEL:Pmatrix. λa\lambda_{a} are the Gell-mann matrices, γ5\gamma_{5} the fifth Dirac gamma matrix, which is the chirality operator, and πa\pi^{a} are the components of the pseudoscalar meson octet.

The vector and axial-vector field tensors are VμνV^{\mu\nu}=μVννVμ\partial^{\mu}V^{\nu}-\partial^{\nu}V^{\mu} and AμνA^{\mu\nu}=μAννAμ\partial^{\mu}A^{\nu}-\partial^{\nu}A^{\mu}, with the associated vector and axial field vectors VμV_{\mu} and AμA_{\mu}. The vector meson nonet V=VμV=V_{\mu} is shown in Appendix A and χ\chi represents the dilaton field, a.k.a. glueball field.

The first term in Eq. 2 is a Dirac term for the baryons, the second, fourth, and fifth terms are Klein-Gordon terms for their respective scalar, pseudo-scalar singlet, and dilaton fields, the sixth and seventh terms are Proca terms for the vector and axial-vector mesons, whereas the third term contains interaction between the scalar mesons and the pseudo-scalar meson nonet, including the pseudo-scalar kinetic term, Tr(uμuμ)\mathrm{Tr}(u_{\mu}u^{\mu}).

II.1.2 scal\mathcal{L}_{\rm scal} the scalar-meson self-interaction term

The scalar meson self-interaction couplings are governed solely by SU(3)V symmetry, resulting in three lowest independent invariants,

I0=det(X),I1=Tr(X),andI2=Tr(X2).I_{0}=\mathrm{det}(X)\,,~I_{1}=\mathrm{Tr}(X)\,,~\mathrm{and}~I_{2}=\mathrm{Tr}(X^{2})\,. (7)

For integer n>2n>2, In=Tr(Xn)I_{n}=\mathrm{Tr}(X^{n}) are invariant but not independent, as they can be written in terms of I0I_{0}, I1I_{1}, and I2I_{2}; for example, it can be shown using the matrix XX from LABEL:Pmatrix that

I4=Tr(X4)I1I3+12(I2I12)I2+I0I1,I_{4}=\mathrm{Tr}(X^{4})\equiv I_{1}I_{3}+\frac{1}{2}\left(I_{2}-I_{1}^{2}\right)I_{2}+I_{0}I_{1}\,, (8)

where

I3=Tr(X3)=I1I2+12(I2I12)I1+I0.I_{3}=\operatorname{Tr}(X^{3})=I_{1}I_{2}+\frac{1}{2}\left(I_{2}-I_{1}^{2}\right)I_{1}+I_{0}\,. (9)

Using these invariants (excluding linear terms in the scalar mesonic fields that would generate a non-zero scalar density in vacuum), we define the scalar Lagrangian density up to order 44 as

0=12k0χ2I2+k1I22+k2I4+2k3χI0+k3NχI3,\mathcal{L}_{0}=-\frac{1}{2}k_{0}\chi^{2}I_{2}+k_{1}I_{2}^{2}+k_{2}I_{4}+2k_{3}\chi I_{0}+k_{3N}\chi I_{3}\,, (10)

where each term has been multiplied by an appropriate power of the dilaton field to allow the coupling constants kk to be dimensionless and thus make the Lagrangian scale invariant [91, 87]. The parameter k3Nk_{3N} is related to the nuclei-scalar meson interaction in the chiral model [48]. It is not considered in the CMF, as it currently does not include nuclei as degrees of freedom, k3N=0k_{3N}=0.

Whenever there are remaining dimensionful terms in the Lagrangian, the dilaton field χn\chi^{n} must be multiplied with appropriate power to keep the coupling constants dimensionless and the Lagrangian scale invariant. Additionally, to mimic the broken scale invariance property of QCD θμμ=βQCDGμνGμν/2g\theta_{\mu}^{\mu}=\beta_{\rm QCD}G_{\mu\nu}G^{\mu\nu}/2g, a scale breaking term is added to the effective Lagrangian (with GμνG^{\mu\nu} as a gluon field tensor) [92]

scalebreak=χ44ln(χ4χ04)+ϵ3χ4ln(I0detX0)k4χ4.\mathcal{L}_{\rm scale\,break}=\frac{\chi^{4}}{4}\ln\bigg{(}\frac{\chi^{4}}{\chi_{0}^{4}}\bigg{)}+\frac{\epsilon}{3}\chi^{4}\ln\bigg{(}\frac{I_{0}}{\mathrm{det}\langle X_{0}\rangle}\bigg{)}-k_{4}\chi^{4}\,. (11)

In analogy to the scale-breaking term discussed in Ref. [91], the first term is added to the effective Lagrangian at tree level, where χ\chi represents a field associated with a spin 0+0^{+} glueball. This term disrupts scale invariance, resulting in the proportionality θμμ=χ4\theta^{\mu}_{\mu}=\chi^{4}, which follows from the definition of scale transformations [93]. However, this form of the glueball potential is strictly applicable only to the effective low-energy theory of pure, quarkless QCD. To generalize the glueball potential for the case of massless quarks, a second term is introduced. Moreover, a third term is introduced to generate a phenomenological consistent finite vacuum expectation value [94]. The second and third terms extend the logarithmic term introduced in Ref. [95] within the context of SU(3), ensuring that θμμ=χ4\theta^{\mu}_{\mu}=\chi^{4} holds. In Eq. 11, X0\langle X_{0}\rangle is the vacuum expectation value of the scalar matrix, χ0\chi_{0} is the vacuum expectation value of the dilaton field, and we set ϵ=2/33\epsilon=2/33, which is related to the quark contribution to the QCD beta function [91]. Adding these two pieces together gives us the full scalar mesonic self-interaction term

scal=12k0χ2I2+k1I22+k2I4+2k3χI0+k3NχI3+ϵ3χ4ln(I0detX0)k4χ4+χ44ln(χ4χ04).\begin{split}\mathcal{L}_{\rm scal}=&-\frac{1}{2}k_{0}\chi^{2}I_{2}+k_{1}I_{2}^{2}+k_{2}I_{4}+2k_{3}\chi I_{0}\\ &+k_{3N}\chi I_{3}+\frac{\epsilon}{3}\chi^{4}\ln\bigg{(}\frac{I_{0}}{\mathrm{det}\langle X_{0}\rangle}\bigg{)}\\ &-k_{4}\chi^{4}+\frac{\chi^{4}}{4}\ln\bigg{(}\frac{\chi^{4}}{\chi_{0}^{4}}\bigg{)}\,.\end{split} (12)

II.1.3 vec\mathcal{L}_{\rm vec} the vector-meson interaction term

The vector-meson interaction term is

vec=\displaystyle\mathcal{L}_{\rm vec}= vecm+vecSI,\displaystyle\mathcal{L}_{\rm vec}^{m}+\mathcal{L}_{\rm vec}^{\rm SI}\,,
=12χ2χ02mV2Tr(VμVμ)+vecSI,\displaystyle=\frac{1}{2}\frac{\chi^{2}}{\chi_{0}^{2}}m_{\rm V}^{2}\mathrm{Tr}({V}_{\mu}{V}^{\mu})+\mathcal{L}_{\rm vec}^{\rm SI}\,, (13)

where the first term is the mass term of each vector meson ω,ϕ,ρ\omega,\phi,\rho. The second one presents different possibilities for the self-interaction terms of the vector mesons that are chiral invariant [53]

C1: vecSI=\displaystyle\text{ C1: }\mathcal{L}_{\rm vec}^{\rm SI}= 2g4Tr(V4),\displaystyle 2g_{4}\mathrm{Tr}\left(V^{4}\right)\,,
C2: vecSI=\displaystyle\text{ C2: }\mathcal{L}_{\rm vec}^{\rm SI}= g4[32[Tr(V2)]2Tr(V4)],\displaystyle g_{4}\Bigg{[}\frac{3}{2}\left[\mathrm{Tr}\left(V^{2}\right)\right]^{2}-\mathrm{Tr}\left(V^{4}\right)\Bigg{]}\,,
C3: vecSI=\displaystyle\text{ C3: }\mathcal{L}_{\rm vec}^{\rm SI}= g4[Tr(V2)]2,\displaystyle g_{4}\left[\mathrm{Tr}\left(V^{2}\right)\right]^{2}\,,
C4: vecSI=\displaystyle\text{ C4: }\mathcal{L}_{\rm vec}^{\rm SI}= g44[Tr(V)]4,\displaystyle\frac{g_{4}}{4}[\mathrm{Tr}(V)]^{4}\,, (14)

where C2 is a combination of other terms. Two more chiral invariant combinations can be used, but they were never studied in detail because they did not seem to produce physical results.

Note that the coupling scheme denoted as C4\mathrm{C}4 for the self-interaction of vector mesons requires the introduction of a bare mass m0m_{0} for the baryon octet,

m0=m0Tr(B¯B),=iB[ψ¯im0ψi],\begin{split}\mathcal{L}_{m_{0}}&=-m_{0}\mathrm{Tr}\left(\bar{B}B\right)\,,\\ &=-\sum_{i\,\in\,B}\bigg{[}\bar{\psi}_{i}m_{0}\psi_{i}\bigg{]}\,,\end{split} (15)

to properly fit the nuclear compressibility at saturation [51]. We address parameter fitting in Sec. II.5.

II.1.4 esb\mathcal{L}_{\rm esb} the explicit symmetry-breaking term

As previously discussed in Sec. I, when chiral symmetry is spontaneously broken, Goldstone bosons emerge, which leads to large fluctuations that can lead to divergences or instabilities in the model. To remove the effects of these fluctuations, we add explicit symmetry-breaking terms to the Lagrangian density which also give rise to pseudoscalar-meson mass terms,

esbu=12χ2χ02Tr[Ap(uXu+uXu)],\mathcal{L}^{u}_{\rm esb}=-\frac{1}{2}\frac{\chi^{2}}{\chi_{0}^{2}}\mathrm{Tr}\left[A_{p}\left(uXu+u^{\dagger}Xu^{\dagger}\right)\right]\,, (16)

where Ap=12diag(mπ2fπ,mπ2fπ, 2mK2fKmπ2fπ)A_{p}=\frac{1}{\sqrt{2}}\mathrm{diag}(m_{\pi}^{2}f_{\pi},\,m_{\pi}^{2}f_{\pi},\,2m_{K}^{2}f_{K}-m_{\pi}^{2}f_{\pi}) is the matrix of explicit symmetry breaking parameters [96], with fπf_{\pi} and fKf_{K} being the decay constants of pions and kaons. This term gives rise to a pion mass and leads to partially conserved axial current relations for π\pi and KK mesons. The choice of power for the dilaton field matches the dimension of the fields of the chiral condensates [92].

In contrast to linear realization, a symmetry-breaking term can be explicitly introduced in the nonlinear realization to accurately reproduce the hyperon potentials without impacting the partially conserved axial current relations [48]. We introduce the following term with a free parameter m3Hm_{3}^{H}, which contributes to the bare mass of hyperons (with typical values given in Table 9)

potH=m3HTr(B¯BB¯[B,S])Tr(XX0),\mathcal{L}^{H}_{\rm pot}=-m^{H}_{3}\operatorname{Tr}(\bar{B}B-\bar{B}[B,S])\operatorname{Tr}\left(X-X_{0}\right)\,, (17)

where Sba=13[3(λ8)baδba]S_{b}^{a}=-\frac{1}{3}\left[\sqrt{3}\left(\lambda_{8}\right)_{b}^{a}-\delta_{b}^{a}\right]. The net Lagrangian for the explicit symmetry-breaking contribution then reads

esb=esbu+potH.\mathcal{L}_{\rm esb}=\mathcal{L}^{u}_{\rm esb}+\mathcal{L}^{H}_{\rm pot}\,. (18)

II.1.5 int\mathcal{L}_{\rm int} the baryon-meson interaction term

This interaction term is similar for all mesons, with the only difference being the Lorentz space occupied by the mesons. Therefore we can write all the interactions with two compact terms, and any baryon (BB) - meson (MM) interaction expands as

int=\displaystyle\mathcal{L}_{\rm int}= 2g8M(αM[B¯OBM]F+(1αM)[B¯OBM]D)\displaystyle-\sqrt{2}g_{8}^{M}\bigg{(}\alpha_{M}[{\bar{B}OB}M]_{F}+(1-\alpha_{M})[{\bar{B}OB}M]_{D}\bigg{)}
13g1MTr(B¯OB)Tr(M),\displaystyle-\frac{1}{\sqrt{3}}g_{1}^{M}\mathrm{Tr}({\bar{B}OB})\mathrm{Tr}(M)\,, (19)

where OO depends on the specific interaction, with values listed in Table 4, g1Mg_{1}^{M} and g8Mg_{8}^{M} are the coupling constants related to the singlet and octet (discussed in the following), and αM\alpha_{M} controls the mixing between the DD-type (symmetric) and FF-type (anti-symmetric) terms, that read

[B¯OBM]D=Tr(B¯OMB+B¯OBM)23Tr(B¯OB)Tr(M),[{\bar{B}OB}M]_{D}=\mathrm{Tr}({\bar{B}O}MB+{\bar{B}OB}M)-\frac{2}{3}\mathrm{Tr}({\bar{B}OB})\mathrm{Tr}(M)\,, (20)

and

[B¯OBM]F=Tr(B¯OMBB¯OBM).[{\bar{B}OB}M]_{F}=\mathrm{Tr}({\bar{B}O}MB-{\bar{B}OB}M)\,. (21)

The last term in the DD-type interaction term is added to cancel out the singlet contribution to the octet interaction when a nonet meson matrix is utilized.

Table 4: Table with details for each baryon-meson interaction.
Interaction with baryons OO MM
Scalar 11 XX
Pseudo-scalar γμγ5\gamma_{\mu}\gamma_{5} uμu_{\mu}
Vector (vector interaction) γμ\gamma_{\mu} VμV_{\mu}
Vector (tensor interaction) σμν\sigma^{\mu\nu} VμνV^{\mu\nu}
Axial-vector γμγ5\gamma_{\mu}\gamma_{5} AμA_{\mu}

II.2 The mean-field Lagrangian

The full quantum operator fields in the Lagrangian (Eq. 1) lead to nonlinear quantum field equations with large couplings, making perturbative approaches infeasible and challenging to solve. Hence, reliable non-perturbative approximations are essential for solving these complex many-body interactions and achieving accurate comparisons between theory and experiment [97]. To describe dense matter, we apply the mean-field approximation, as first proposed in Ref. [97]. Within the mean-field approximation, we assume homogeneous and isotropic infinite baryonic matter with defined parity (+) and charge (0). Thus, only mean-field mesons with positive parity (scalar mesons and time-like component of vector mesons) and zero third component of isospin (mesons along the diagonal of the matrices XX (see Eq. 93) and VμV_{\mu} (see Eq. 94)) are non-vanishing. The mean-field mesons with negative parity (space-like component of vector mesons, time-like component of axial-vector mesons, and pseudoscalars) do not follow parity conservation, and there is no source term for them in mean-field infinite baryonic matter111The ground state expectation value of space-like components of axial-vector mesons, despite their positive parity is zero because of the homogeneous and isotropic medium assumption..

Furthermore, in this approximation, fluctuations around the constant ground state expectation values of the scalar and vector field operators are neglected, for example,

σ(x)\displaystyle\sigma(x) =σ+δσσσ,\displaystyle=\left\langle\sigma\right\rangle+\delta\sigma\rightarrow\left\langle\sigma\right\rangle\equiv\sigma\,,
ωμ(x)\displaystyle\omega^{\mu}(x) =ωμδμ0+δωμω0ω.\displaystyle=\left\langle\omega^{\mu}\right\rangle\delta_{\mu 0}+\delta\omega^{\mu}\rightarrow\left\langle\omega_{0}\right\rangle\equiv\omega\,. (22)

As a consequence, σ\sigma, δ\delta, ζ\zeta, ω\omega, ρ\rho, and ϕ\phi are all reduced to time-and space-independent quantities. For simplicity, we omit the time index of vector mesons (ω\omega, ρ\rho, and ϕ\phi) and also omit the third component of the isospin index of the isovector mesons (ρ\rho and δ\delta). We refer to the resulting Lagrangian, also including quark degrees of freedom [72], as the Chiral Mean-Field (CMF) Lagrangian density

CMF=kin+int+scal+vec+esb+quarksUΦ.\mathcal{L}_{\rm CMF}=\mathcal{L}_{\rm kin}+\mathcal{L}_{\rm int}+\mathcal{L}_{\rm scal}+\mathcal{L}_{\rm vec}+\mathcal{L}_{\rm esb}+\mathcal{L}_{\rm quarks}-U_{\Phi}\,. (23)

In the regimes we examine, the χ\chi field has a weak coupling to the baryons, resulting in little overall contribution to the baryon thermodynamic quantities regardless of the value of the χ\chi field. Thus, for the remainder of this work, we set χ=χ0\chi=\chi_{0} (χ\chi remains “frozen” at its vacuum value, χ0\chi_{0}) and apply further simplifications. For details regarding χ\chi, see Ref. [91, 98, 99]. As a result, no equation of motion for the χ\chi field is shown.

II.2.1 kin\mathcal{L}_{\rm kin} the kinetic-energy term

In the mean-field approximation, u=u=1u=u^{\dagger}=1, thus the commutator [Γμ,]0,[\Gamma^{\mu},\diamond]\rightarrow 0, meaning that the covariant derivative reduces to the partial derivative, DμμD^{\mu}\rightarrow\partial^{\mu}. The mesons are taken as static, and thus no longer have kinetic terms (M=0\partial M=0, where MM is the matrix from Table 4), such that all of Eq. 2 reduces to

iTr(B¯γμDμB)=iiB(ψ¯iγμμψi).i\mathrm{Tr}(\bar{B}\gamma_{\mu}D^{\mu}B)=i\sum_{i\in B}\bigg{(}\bar{\psi}_{i}\gamma_{\mu}\partial^{\mu}\psi_{i}\bigg{)}\,. (24)

Quarks are discussed in the following.

II.2.2 scal\mathcal{L}_{\rm scal} the scalar-meson self-interaction term

Applying the mean-field approximation to the scalar-meson self-interaction term and calculating the InI_{n} terms explicitly (see Section B.1 for a detailed calculation), we obtain

scal=\displaystyle\mathcal{L}_{\rm scal}= 12k0χ02(σ2+ζ2+δ2)+k1(σ2+ζ2+δ2)2\displaystyle-\frac{1}{2}k_{0}\chi_{0}^{2}(\sigma^{2}+\zeta^{2}+\delta^{2})+k_{1}(\sigma^{2}+\zeta^{2}+\delta^{2})^{2}
+k2[σ4+δ42+ζ4+3(σδ)2]+k3χ0(σ2δ2)ζ\displaystyle+k_{2}\left[\frac{\sigma^{4}+\delta^{4}}{2}+\zeta^{4}+3\left(\sigma\delta\right)^{2}\right]+k_{3}\chi_{0}\left(\sigma^{2}-\delta^{2}\right)\zeta
+k3Nχ0(σ32+32σδ2+ζ3)k4χ04\displaystyle+k_{3N}\chi_{0}\left(\frac{\sigma^{3}}{\sqrt{2}}+\frac{3}{\sqrt{2}}\sigma\delta^{2}+\zeta^{3}\right)-k_{4}\chi_{0}^{4}
+ϵ3χ04ln[(σ2δ2)ζσ02ζ0],\displaystyle+\frac{\epsilon}{3}\chi_{0}^{4}\ln\left[\frac{\left(\sigma^{2}-\delta^{2}\right)\zeta}{\sigma_{0}^{2}\zeta_{0}}\right]\,, (25)

where σ0=fπ\sigma_{0}=-f_{\pi} and ζ0=fπ22fK\zeta_{0}=\dfrac{f_{\pi}}{\sqrt{2}}-\sqrt{2}f_{K} are the vacuum values of the σ\sigma and ζ\zeta fields, respectively.

II.2.3 vec\mathcal{L}_{\rm vec} the vector-meson interaction term

After applying the mean-field approximation, the total vector-meson Lagrangian can be expressed as a sum of the mass and self-interaction terms

vec=12(mω2ω2+mϕ2ϕ2+mρ2ρ2)+vecSI,\displaystyle\mathcal{L}_{\rm vec}=\frac{1}{2}\left(m_{\omega}^{2}\omega^{2}+m_{\phi}^{2}\phi^{2}+m_{\rho}^{2}\rho^{2}\right)+\mathcal{L}_{\rm vec}^{\rm SI}\,, (26)

or explicitly

vec=12(mω2ω2+mϕ2ϕ2+mρ2ρ2)\displaystyle\mathcal{L}_{\rm vec}=\frac{1}{2}\left(m_{\omega}^{2}\omega^{2}+m_{\phi}^{2}\phi^{2}+m_{\rho}^{2}\rho^{2}\right)
+g4{ C1: (ω4+6ω2ρ2+ρ4+2ϕ4), C2: (ω4+ρ4+ϕ42+3ρ2ϕ2+3ω2ϕ2), C3: (ω4+2ω2ρ2+ρ4+2ω2ϕ2+ϕ4+2ρ2ϕ2), C4: (ω4+ϕ44+3ω2ϕ2+22ω3ϕ+2ωϕ3).\displaystyle+g_{4}\begin{cases}\text{ C1: }\left(\omega^{4}+6\omega^{2}\rho^{2}+\rho^{4}+2\phi^{4}\right)\,,\\ \text{ C2: }\left(\omega^{4}+\rho^{4}+\frac{\phi^{4}}{2}+3\rho^{2}\phi^{2}+3\omega^{2}\phi^{2}\right)\,,\\ \text{ C3: }\left(\omega^{4}+2\omega^{2}\rho^{2}+\rho^{4}+2\omega^{2}\phi^{2}+\phi^{4}+2\rho^{2}\phi^{2}\right)\,,\\ \text{ C4: }\left(\omega^{4}+\frac{\phi^{4}}{4}+3\omega^{2}\phi^{2}+2\sqrt{2}\omega^{3}\phi+\sqrt{2}\omega\phi^{3}\right)\,.\\ \end{cases} (27)

The coupling scheme C2\mathrm{C}2 is a linear combination of C1\mathrm{C}1 and C3\mathrm{C}3 and which exhibits no ωρ\omega\rho mixing. The coupling scheme denoted as C4\mathrm{C}4 for the self-interaction of vector mesons is quite different from the other schemes, as it includes a term that exhibits a linear dependence on the strange vector meson ϕ\phi. Because of this linear dependence on ϕ\phi, the C4\mathrm{C}4 scheme requires a different parametrization that includes a bare mass term, Eq. 15 to ensure that the compressibility of nucleons is in a better agreement with nuclear physics data [100, 101]. See Ref. [102] for combinations of the couplings C1-C4 that allow one to separate each coupling term (in the non-strange case, ϕ=0\phi=0).

II.2.4 esb\mathcal{L}_{\rm esb} the explicit symmetry-breaking term

In the mean-field approximation, the first explicit symmetry-breaking term Eq. 16 (together with Eq. 93) simplifies to

esbu=[mπ2fπσ+(2mK2fK12mπ2fπ)ζ].\mathcal{L}^{u}_{\rm esb}=-\left[m_{\pi}^{2}f_{\pi}\sigma+\left(\sqrt{2}m_{K}^{2}f_{K}-\frac{1}{\sqrt{2}}m_{\pi}^{2}f_{\pi}\right)\zeta\right]. (28)

From Eq. 17, the expanded form of symmetry-breaking Lagrangian related to the hyperon (HH) potential is given by

potH=iH[ψ¯im3H(2(σσ0)+(ζζ0))ψi].\mathcal{L}^{H}_{\rm pot}=-\sum_{i\,\in\,H}\bigg{[}\bar{\psi}_{i}m^{H}_{3}\left(\sqrt{2}(\sigma-\sigma_{0})+(\zeta-\zeta_{0})\right)\psi_{i}\bigg{]}\,. (29)

It leads to an additional contribution to the coupling between the hyperons and the mesons σ\sigma and ζ\zeta through the parameter m3Hm^{H}_{3}, and to a constant (bare) mass term Δmi\Delta m_{i}.

Note that Δmi\Delta m_{i} also receives a contribution from the bare mass term (in the case of C4 vector-coupling), Eq. 15 as follows

ΔmN\displaystyle\Delta m_{N} =m0,\displaystyle=m_{0}\,, (30)
ΔmH\displaystyle\Delta m_{H} =m0m3H(2σ0+ζ0).\displaystyle=m_{0}-m^{H}_{3}\left(\sqrt{2}\sigma_{0}+\zeta_{0}\right)\,. (31)

Similarly, a mass correction due to an explicit breaking term with parameter m3Dm^{D}_{3} for the baryon decuplet (DD) is written as

ΔmΔ\displaystyle\Delta m_{\Delta} =0,\displaystyle=0\,, (32)
ΔmΣ\displaystyle\Delta m_{\Sigma^{*}} =ΔmΞ=m3D(2σ0+ζ0),\displaystyle=\Delta m_{\Xi^{*}}=-m^{D}_{3}(\sqrt{2}\sigma_{0}+\zeta_{0})\,, (33)
ΔmΩ\displaystyle\Delta m_{\Omega} =32m3D(2σ0+ζ0),\displaystyle=-\frac{3}{2}m^{D}_{3}(\sqrt{2}\sigma_{0}+\zeta_{0})\,, (34)

II.2.5 int\mathcal{L}_{\rm int} the baryon-meson interaction term

Applying the mean-field approximation to the baryon-meson interaction term, we only get non-zero values for the cases where M=XM=X and M=VM=V. This is due to the AA-matrix for pseudovector mesons having vanishing expectation values and the pseudoscalar mesons only coupling to the baryons with a pseudovector coupling. By doing the explicit calculation of the interaction term (see Section B.2), we can rewrite the interaction Lagrangian, Eq. 19, as

int=iBψ¯i[γ0(giωω+giρρ+giϕϕ)+giσσ+giζζ+giδδ]ψi,\begin{split}\mathcal{L}_{\rm int}=-\sum_{i\,\in\,{B}}\bar{\psi}_{i}&\big{[}\gamma_{0}\big{(}g_{i\omega}\omega+g_{i\rho}\rho+g_{i\phi}\phi\big{)}\\ &+g_{i\sigma}\sigma+g_{i\zeta}\zeta+g_{i\delta}\delta\big{]}\psi_{i}\,,\end{split} (35)

where the couplings giMg_{iM} are written in terms of αM\alpha_{M} (from Eq. 19), g8Mg_{8}^{M}, g1Mg_{1}^{M}, and m3Hm_{3}^{H}, as shown in Table 5 for the scalar-mesons (M=XM=X). We can identify the effective mass terms for the baryons in terms of these as

Table 5: Table of scalar-meson coupling constants for the baryon octet and decuplet written in terms of the fundamental couplings g8Xg_{8}^{X}, g1Xg_{1}^{X}, and αX\alpha_{X}.
Particle gσg_{\sigma} gζg_{\zeta} gδg_{\delta}
pp 23g1X+13g8X(4αX1)\sqrt{\frac{2}{3}}\,g^{X}_{1}+\frac{1}{3}g^{X}_{8}\,(4\,\alpha_{X}-1) 13g1X23g8X(4αX1)\sqrt{\frac{1}{3}}\,g^{X}_{1}-\,\frac{\sqrt{2}}{3}g^{X}_{8}\,(4\,\alpha_{X}-1) g8Xg^{X}_{8}
nn g8X-g^{X}_{8}
Λ\Lambda 23g1X+23g8X(αX1)+2m3H\sqrt{\frac{2}{3}}\,g^{X}_{1}+\frac{2}{3}g^{X}_{8}(\alpha_{X}-1)+\sqrt{2}\,m^{H}_{3} 13g1X223g8X(αX1)+m3H\sqrt{\frac{1}{3}}\,g^{X}_{1}-\frac{2\sqrt{2}}{3}g^{X}_{8}(\,\alpha_{X}-1)+m^{H}_{3} 0
Σ+\Sigma^{+} 23g1X23g8X(αX1)+2m3H\sqrt{\frac{2}{3}}\,g^{X}_{1}-\frac{2}{3}g^{X}_{8}(\alpha_{X}-1)+\sqrt{2}m^{H}_{3} 13g1X+223g8X(αX1)+m3H\sqrt{\frac{1}{3}}\,g^{X}_{1}+\frac{2\sqrt{2}}{3}g^{X}_{8}(\alpha_{X}-1)+m^{H}_{3} 2g8XαX2\,g^{X}_{8}\,\alpha_{X}
Σ0\Sigma^{0} 0
Σ\Sigma^{-} 2g8XαX-2\,g^{X}_{8}\,\alpha_{X}
Ξ0\Xi^{0} 23g1X13g8X(2αX+1)+2m3H\sqrt{\frac{2}{3}}\,g^{X}_{1}-\frac{1}{3}g^{X}_{8}(2\alpha_{X}+1)+\sqrt{2}\,m^{H}_{3}\, 13g1X+23g8X(2αX+1)+m3H\sqrt{\frac{1}{3}}\,g^{X}_{1}+\frac{\sqrt{2}}{3}g^{X}_{8}(2\alpha_{X}+1)+m^{H}_{3}\, g8X(2αX1)g^{X}_{8}\,(2\,\alpha_{X}-1)
Ξ\Xi^{-} g8X(2αX1)-g^{X}_{8}\,(2\,\alpha_{X}-1)
Δ++\Delta^{++} gDX(3αDX)g^{X}_{D}\,(3-\alpha_{DX}) 2gDXαDX\sqrt{2}\,g^{X}_{D}\,\alpha_{DX} 0
Δ+\Delta^{+}
Δ0\Delta^{0}
Δ\Delta^{-}
Σ+\Sigma^{*+} 2gDX+2m3D2\,g^{X}_{D}+\sqrt{2}\,m^{D}_{3} 2gDX+m3D\sqrt{2}\,g^{X}_{D}+m^{D}_{3} 0
Σ0\Sigma^{*0}
Σ\Sigma^{*-}
Ξ0\Xi^{*0} gDX(1+αDX)+2m3Dg^{X}_{D}\,(1+\alpha_{DX})+\sqrt{2}\,\,m^{D}_{3} 2gDX(2αDX)+m3D\sqrt{2}\,g^{X}_{D}\,(2-\alpha_{DX})+\,m^{D}_{3} 0
Ξ\Xi^{*-}
Ω\Omega 2gDXαDX+322m3D2\,g^{X}_{D}\,\alpha_{DX}+\frac{3\sqrt{2}}{2}m^{D}_{3} 2gDX(32αDX)+32m3D\sqrt{2}\,g^{X}_{D}\,(3-2\,\alpha_{DX})+\frac{3}{2}m^{D}_{3} 0
mp=\displaystyle m_{p}^{*}= ΔmN+13g1X(2σ+ζ)13g8X(4αX1)(2ζσ)+g8Xδ,\displaystyle\Delta m_{N}+\frac{1}{\sqrt{3}}g_{1}^{X}\left(\sqrt{2}\sigma+\zeta\right)-\frac{1}{3}g_{8}^{X}\left(4\alpha_{X}-1\right)\left(\sqrt{2}\zeta-\sigma\right)+g_{8}^{X}\delta\,,
mn=\displaystyle m_{n}^{*}= ΔmN+13g1X(2σ+ζ)13g8X(4αX1)(2ζσ)g8Xδ,\displaystyle\Delta m_{N}+\frac{1}{\sqrt{3}}g_{1}^{X}\left(\sqrt{2}\sigma+\zeta\right)-\frac{1}{3}g_{8}^{X}\left(4\alpha_{X}-1\right)\left(\sqrt{2}\zeta-\sigma\right)-g_{8}^{X}\delta\,,
mΛ=\displaystyle m_{\Lambda}^{*}= ΔmΛ+(m3H+13g1X)(2σ+ζ)23g8X(αX1)(2ζσ),\displaystyle\Delta m_{\Lambda}+\left(m_{3}^{H}+\frac{1}{\sqrt{3}}g_{1}^{X}\right)\left(\sqrt{2}\sigma+\zeta\right)-\frac{2}{3}g_{8}^{X}\left(\alpha_{X}-1\right)(\sqrt{2}\zeta-\sigma)\,,
mΣ+=\displaystyle m_{\Sigma^{+}}^{*}= ΔmΣ+(m3H+13g1X)(2σ+ζ)+23g8X(αX1)(2ζσ)+2g8XαXδ,\displaystyle\Delta m_{\Sigma}+\left(m_{3}^{H}+\frac{1}{\sqrt{3}}g_{1}^{X}\right)\left(\sqrt{2}\sigma+\zeta\right)+\frac{2}{3}g_{8}^{X}\left(\alpha_{X}-1\right)\left(\sqrt{2}\zeta-\sigma\right)+2g_{8}^{X}\alpha_{X}\delta\,, (36)
mΣ0=\displaystyle m_{\Sigma^{0}}^{*}= ΔmΣ+(m3H+13g1X)(2σ+ζ)+23g8X(αX1)(2ζσ),\displaystyle\Delta m_{\Sigma}+\left(m_{3}^{H}+\frac{1}{\sqrt{3}}g_{1}^{X}\right)\left(\sqrt{2}\sigma+\zeta\right)+\frac{2}{3}g_{8}^{X}\left(\alpha_{X}-1\right)\left(\sqrt{2}\zeta-\sigma\right)\,,
mΣ=\displaystyle m_{\Sigma^{-}}^{*}= ΔmΣ+(m3H+13g1X)(2σ+ζ)+23g8X(αX1)(2ζσ)2g8XαXδ,\displaystyle\Delta m_{\Sigma}+\left(m_{3}^{H}+\frac{1}{\sqrt{3}}g_{1}^{X}\right)\left(\sqrt{2}\sigma+\zeta\right)+\frac{2}{3}g_{8}^{X}\left(\alpha_{X}-1\right)\left(\sqrt{2}\zeta-\sigma\right)-2g_{8}^{X}\alpha_{X}\delta\,,
mΞ0=\displaystyle m_{\Xi^{0}}^{*}= ΔmΞ+(m3H+13g1X)(2σ+ζ)+13g8X(2αX+1)(2ζσ)+g8X(2αX1)δ,\displaystyle\Delta m_{\Xi}+\left(m_{3}^{H}+\frac{1}{\sqrt{3}}g_{1}^{X}\right)\left(\sqrt{2}\sigma+\zeta\right)+\frac{1}{3}g_{8}^{X}(2\alpha_{X}+1)\left(\sqrt{2}\zeta-\sigma\right)+g_{8}^{X}\left(2\alpha_{X}-1\right)\delta\,,
mΞ=\displaystyle m_{\Xi^{-}}^{*}= ΔmΞ+(m3H+13g1X)(2σ+ζ)+13g8X(2αX+1)(2ζσ)g8X(2αX1)δ.\displaystyle\Delta m_{\Xi}+\left(m_{3}^{H}+\frac{1}{\sqrt{3}}g_{1}^{X}\right)\left(\sqrt{2}\sigma+\zeta\right)+\frac{1}{3}g_{8}^{X}(2\alpha_{X}+1)\left(\sqrt{2}\zeta-\sigma\right)-g_{8}^{X}\left(2\alpha_{X}-1\right)\delta\,.

which can be written compactly as

mi=giσσ+giζζ+giδδ+Δmi.m_{i}^{*}=g_{i\sigma}\sigma+g_{i\zeta}\zeta+g_{i\delta}\delta+\Delta m_{i}\,. (37)

It must be noted that an additional contribution to the effective mass must be accounted for when the deconfinement order parameter is introduced in the next section. If we disregard the δ\delta-meson contribution, the baryons masses of the nucleon doublet and hyperon triplets are degenerate. The inclusion of the isovector meson δ\delta breaks this multiplet mass equality.

For the baryon decuplet DD, we follow [94] and assume they are described by Dirac spinors such that, from the interactions between the baryon resonances and scalar mesons, we may extract the effective mass terms for the isospin degenerate baryon decuplet

mΔ\displaystyle m^{*}_{\Delta} =ΔmΔ+gDX[(3αDX)σ+αDX2ζ],\displaystyle=\Delta m_{\Delta}+g_{D}^{X}\left[\left(3-\alpha_{DX}\right)\sigma+\alpha_{DX}\sqrt{2}\zeta\right]\,,
mΣ\displaystyle m^{*}_{\Sigma^{*}} =ΔmΣ+m3D(2σ+ζ)+gDX[2σ+2ζ],\displaystyle=\Delta m_{\Sigma^{*}}+m^{D}_{3}(\sqrt{2}\sigma+\zeta)+g_{D}^{X}[2\sigma+\sqrt{2}\zeta]\,,
mΞ\displaystyle m^{*}_{\Xi^{*}} =ΔmΞ+m3D(2σ+ζ)+gDX[(1+αDX)σ+(2αDX)2ζ],\displaystyle=\Delta m_{\Xi^{*}}+m^{D}_{3}(\sqrt{2}\sigma+\zeta)+g_{D}^{X}\left[\left(1+\alpha_{DX}\right)\sigma+\left(2-\alpha_{DX}\right)\sqrt{2}\zeta\right]\,,
mΩ\displaystyle m^{*}_{\Omega} =ΔmΩ+32m3D(2σ+ζ)+gDX[2αDXσ+(32αDX)2ζ].\displaystyle=\Delta m_{\Omega}+\frac{3}{2}m^{D}_{3}(\sqrt{2}\sigma+\zeta)+g_{D}^{X}\left[2\alpha_{DX}\sigma+\left(3-2\alpha_{DX}\right)\sqrt{2}\zeta\right]\,. (38)
Table 6: Table of SU(6) vector-meson coupling-constant coefficients CiC_{i} with baryons (octet and decuplet), such that giV=Ci×g8Vg_{iV}=C_{i}\times g_{8}^{V}.
ω\omega\ ϕ\phi\ ρ\rho\
nn 33 0 1-1
pp 33 0 11
Λ\Lambda 22 2-\sqrt{2} 0
Σ+\Sigma^{+} 22 2-\sqrt{2} 22
Σ0\Sigma^{0} 22 2-\sqrt{2} 0
Σ\Sigma^{-} 22 2-\sqrt{2} 2-2
Ξ0\Xi^{0} 11 22-2\sqrt{2}\ 11
Ξ\Xi^{-} 11 22-2\sqrt{2}\ 1-1
Δ++\Delta^{++} 33 0 33
Δ+\Delta^{+} 33 0 11
Δ0\Delta^{0} 33 0 1-1
Δ\Delta^{-} 33 0 3-3
Σ+\Sigma^{*+} 22 2-\sqrt{2}\ 22
Σ0\Sigma^{*0} 22 2-\sqrt{2}\ 0
Σ\Sigma^{*-} 22 2-\sqrt{2}\ 2-2
Ξ0\Xi^{*0} 11 22-2\sqrt{2}\ 11
Ξ\Xi^{*-} 11 22-2\sqrt{2}\ 1-1
Ω\Omega 0 32-3\sqrt{2}\ 0

Similarly to what has been done in Section B.2 for the baryon-scalar meson coupling constants, we can calculate the baryon-vector meson coupling constants giVg_{iV}. Based on the vector dominance model (VDM) and the universality principle, it can be inferred that the DD-type coupling is likely to be minimal [103]. Therefore, in our analysis, we employ only FF-type coupling by choosing αV=1\alpha_{V}=1 for all fits. Additionally, we can decouple the nucleons from the strange vector meson ϕ\phi by setting g1V=6g8Vg_{1}^{V}=\sqrt{6}g_{8}^{V} such that gNϕ=13g1V23g8V(4αV1)0g_{N\phi}=\sqrt{\frac{1}{3}}\,g^{V}_{1}-\,\frac{\sqrt{2}}{3}g^{V}_{8}\,(4\,\alpha_{V}-1)\rightarrow 0. Following a similar pattern, we assign αDV\alpha_{DV}=0, resulting in the absence of coupling between the ϕ\phi and the Δ\Delta baryons. The remaining couplings to the strange baryons are subsequently determined by symmetry relations (the quark model) [104] in terms of g8Vg_{8}^{V} (the only free parameter for the baryon-vector mesonic coupling), such that the ω\omega and ϕ\phi-meson couplings are given in Table 6. Note that the ρ\rho-meson couplings follow the sign convention of the δ\delta-meson. The scheme described is known as FF-type or SU(6) as it includes SU(3) flavor symmetry and SU(2) spin symmetry [105, 106]. Nevertheless, in the CMF model we break this scheme and use, e.g. for C4 gNω/gNρ=2.95g_{N\omega}/g_{N\rho}=2.95 (instead of 33) to slightly modify gNρg_{N\rho} allowing a better fit of experimental data for the symmetry energy (as small differences matter). Moreover, a parameter called VΔV_{\Delta} is introduced in the decuplet baryons’ vector coupling (gDV=CD×g8V×VΔg_{DV}=C_{D}\times g_{8}^{V}\times V_{\Delta}) allowing a better fit of experimental data for the Δ\Delta-nucleon potential. More general couplings will be explored in the future.

II.2.6 quarks\mathcal{L}_{\rm quarks} adding quarks to the model

To reproduce quark deconfinement, we include up, down, and strange quarks in the model. We assume the same Lagrangian as the baryonic one, with kinetic, mass, and interaction terms given by

quarks=ψ¯i[iγμμγ0(giωω+giρρ+giϕϕ)m0igiσσgiζζgiδδ]ψi,\begin{split}\mathcal{L}_{\rm quarks}&=\bar{\psi}_{i}\bigg{[}i\gamma_{\mu}\partial^{\mu}-\gamma_{0}\big{(}g_{i\omega}\omega+g_{i\rho}\rho+g_{i\phi}\phi\big{)}\\ &-m_{0}^{i}-g_{i\sigma}\sigma-g_{i\zeta}\zeta-g_{i\delta}\delta\bigg{]}\psi_{i}\,,\end{split} (39)

with i=u,d,si=u,d,s and masses m0u=m0d=5m_{0}^{u}=m_{0}^{d}=5 MeV for up and down quarks and m0s=150m_{0}^{s}=150 MeV for the strange quark. We write the effective quark mass like the baryonic one, Eq. 37, by defining

Δmu=Δmd=m0u,Δms=\displaystyle\Delta m_{u}=\Delta m_{d}=m_{0}^{u}\,,\quad\quad\Delta m_{s}= m0s.\displaystyle m_{0}^{s}\,. (40)

CMF parameters associated with the quark sector have scalar couplings that are set to be roughly one-third of the nucleon scalar couplings, while the vector couplings are set to zero, in agreement with the findings of Ref. [107]. The coupling values are discussed in Sec. II.5.

II.2.7 UΦU_{\Phi} the deconfinement order-parameter potential

To obtain a unified quark-hadron EoS, we implement a Polyakov-inspired potential term (referred to as the deconfinement potential) UΦU_{\Phi} of the form [72]

UΦ\displaystyle U_{\Phi} =(a0T4+a1μB4+a2T2μB2)Φ2\displaystyle=\left(a_{0}T^{4}+a_{1}\mu_{B}^{4}+a_{2}T^{2}\mu_{B}^{2}\right)\Phi^{2}
+a3T04ln(16Φ2+8Φ33Φ4),\displaystyle+a_{3}T_{0}^{4}\ln\left(1-6\Phi^{2}+8\Phi^{3}-3\Phi^{4}\right)\,, (41)

which at T=0T=0 reduces to

UΦ\displaystyle U_{\Phi} =a1μB4Φ2+a3T04ln(16Φ2+8Φ33Φ4),\displaystyle=a_{1}\mu_{B}^{4}\Phi^{2}+a_{3}T_{0}^{4}\ln\left(1-6\Phi^{2}+8\Phi^{3}-3\Phi^{4}\right), (42)

where the aa’s and T0T_{0} are constants. Here we introduced a scalar field Φ[0,1]\Phi\in[0,1], which serves as an order parameter for the quark-hadron phase transition. UΦU_{\Phi} was modified from its original form in the PNJL model [108, 109] to also contain baryon chemical potential dependent terms (of even order), to be used to study low-temperature and high-density environments, such as neutron stars. It has been shown that a μB2\mu_{B}^{2} term in UΦU_{\Phi} (instead of μB4\mu_{B}^{4}) would significantly weaken the deconfinement phase transition at T=0T=0 [81, 110, 111]. The form of UΦU_{\Phi} dictates the shape and location of the quark-hadron phase transition in the QCD phase diagram. If future information from the RHIC Beam Energy Scan and theoretical developments further constrain the QCD critical point, one could redefine UΦU_{\Phi} to reproduce these new constraints.

This bosonic scalar field Φ\Phi also appears in an additional contribution to the effective masses of the baryons.

mi=giσσ+giζζ+giδδ+Δmi+giΦΦ2.m_{i}^{*}=g_{i\sigma}\sigma+g_{i\zeta}\zeta+g_{i\delta}\delta+\Delta m_{i}+g_{i\Phi}\Phi^{2}\,. (43)

Similarly, the quark effective masses have the form

mi=giσσ+giζζ+giδδ+Δmi+giΦ(1Φ).m_{i}^{*}=g_{i\sigma}\sigma+g_{i\zeta}\zeta+g_{i\delta}\delta+\Delta m_{i}+g_{i\Phi}\left(1-\Phi\right)\,. (44)

Considering giΦg_{i\Phi} to be large, quark masses are large and baryon masses are small when Φ0\Phi\sim 0 (and vice-versa when Φ1.\Phi\sim 1.) The larger the mass of a particle, the more energy is required to create it. Therefore, when Φ\Phi is large it causes the baryon masses to be so large that it suppresses their influence and one is in a quark-dominated phase. On the other hand, when Φ\Phi is small then the quark masses are large such that they are suppressed and one is in a hadron-dominated phase. Putting this all together, Φ0\Phi\sim 0 corresponds to having only hadrons and Φ1\Phi\sim 1 corresponds to having only quarks, with intermediate values corresponding to having both hadrons and deconfined quarks (only reproduced at large temperatures).

II.3 Equations of motion

To derive the equations of motion for the seven bosons (the six mean-field mesons and the deconfinement order parameter, Φ\Phi), we apply the Euler-Lagrange equation to the CMF Lagrangian density

CMFφμ(CMF(μφ))=0,\displaystyle\frac{\partial\mathcal{L_{\rm CMF}}}{\partial\varphi}-\partial_{\mu}\left(\frac{\partial\mathcal{L_{\rm CMF}}}{\partial(\partial_{\mu}\varphi)}\right)=0\,, (45)

with φ=σ,δ,ζ,ω,ϕ,ρ\varphi=\sigma,\delta,\zeta,\omega,\phi,\rho, and Φ\Phi, resulting in

σ:igiσnsc,i=k0χ02σ+4k1(σ2+ζ2+δ2)σ+2k2(σ2+3δ2)σ+2k3χ0σζ+2ϵ3χ04σσ2δ2mπ2fπ,\displaystyle\sigma:~~\sum_{i}g_{i\sigma}n_{sc,i}=-k_{0}\chi_{0}^{2}\sigma+4k_{1}(\sigma^{2}+\zeta^{2}+\delta^{2})\sigma+2k_{2}(\sigma^{2}+3\delta^{2})\sigma+2k_{3}\chi_{0}\sigma\zeta+\frac{2\epsilon}{3}\chi_{0}^{4}\frac{\sigma}{\sigma^{2}-\delta^{2}}-m_{\pi}^{2}f_{\pi}\,,
δ:igiδnsc,i=k0χ02δ+4k1(σ2+ζ2+δ2)δ+2k2(3σ2+δ2)δ2k3χ0δζ2ϵ3χ04δσ2δ2,\displaystyle\delta:~~\sum_{i}g_{i\delta}n_{sc,i}=-k_{0}\chi_{0}^{2}\delta+4k_{1}(\sigma^{2}+\zeta^{2}+\delta^{2})\delta+2k_{2}(3\sigma^{2}+\delta^{2})\delta-2k_{3}\chi_{0}\delta\zeta-\frac{2\epsilon}{3}\chi_{0}^{4}\frac{\delta}{\sigma^{2}-\delta^{2}}\,,
ζ:igiζnsc,i=k0χ02ζ+4k1(σ2+ζ2+δ2)ζ+4k2ζ3+k3χ0(σ2δ2)+ϵ3ζχ04(2mK2fK12mπ2fπ),\displaystyle\zeta:~~\sum_{i}g_{i\zeta}n_{sc,i}=-k_{0}\chi_{0}^{2}\zeta+4k_{1}(\sigma^{2}+\zeta^{2}+\delta^{2})\zeta+4k_{2}\zeta^{3}+k_{3}\chi_{0}(\sigma^{2}-\delta^{2})+\frac{\epsilon}{3\zeta}\chi_{0}^{4}-\bigg{(}\sqrt{2}m_{K}^{2}f_{K}-\frac{1}{\sqrt{2}}m_{\pi}^{2}f_{\pi}\bigg{)}\,,
ω:igiωni=mω2ω+2g4{ C1: 2ω(ω2+3ρ2), C2: ω(2ω2+3ϕ2), C3: 2ω(ω2+ρ2+ϕ2), C4: (2ω3+3ϕ2ω+32ϕω2+ϕ32),\displaystyle\omega:~~\sum_{i}g_{i\omega}n_{i}=m_{\omega}^{2}\omega+2g_{4}\begin{cases}\text{ C1: }2\omega\left(\omega^{2}+3\rho^{2}\right)\,,\\ \text{ C2: }\omega\left(2\omega^{2}+3\phi^{2}\right)\,,\\ \text{ C3: }2\omega\left(\omega^{2}+\rho^{2}+\phi^{2}\right)\,,\\ \text{ C4: }\left(2\omega^{3}+3\phi^{2}\omega+3\sqrt{2}\phi\omega^{2}+\frac{\phi^{3}}{\sqrt{2}}\right)\,,\\ \end{cases}
ϕ:igiϕni=mϕ2ϕ+2g4{ C1: 4ϕ3, C2: ϕ(ϕ2+3(ω2+ρ2)), C3: 2ϕ(ω2+ϕ2+ρ2), C4: ϕ32+3ω2ϕ+2ω3+32ωϕ2,\displaystyle\phi:~~\sum_{i}g_{i\phi}n_{i}=m_{\phi}^{2}\phi+2g_{4}\begin{cases}\text{ C1: }4\phi^{3}\,,\\ \text{ C2: }\phi\left(\phi^{2}+3\left(\omega^{2}+\rho^{2}\right)\right)\,,\\ \text{ C3: }2\phi\left(\omega^{2}+\phi^{2}+\rho^{2}\right)\,,\\ \text{ C4: }\frac{\phi^{3}}{2}+3\omega^{2}\phi+\sqrt{2}\omega^{3}+\frac{3}{\sqrt{2}}\omega\phi^{2}\,,\\ \end{cases}
ρ:igiρni=mρ2ρ+2g4{ C1: 2ρ(3ω2+ρ2), C2: ρ(3ϕ2+2ρ2), C3: 2ρ(ω2+ϕ2+ρ2), C4: 0,\displaystyle\rho:~~\sum_{i}g_{i\rho}n_{i}=m_{\rho}^{2}\rho+2g_{4}\begin{cases}\text{ C1: }2\rho(3\omega^{2}+\rho^{2})\,,\\ \text{ C2: }\rho(3\phi^{2}+2\rho^{2})\,,\\ \text{ C3: }2\rho(\omega^{2}+\phi^{2}+\rho^{2})\,,\\ \text{ C4: }0\,,\end{cases}
Φ:igiΦnsc,i=2a1μB4Φ+a3T0412Φ3Φ22Φ1,\displaystyle\Phi:~~\sum_{i}g_{i\Phi}n_{sc,i}=2a_{1}\mu_{B}^{4}\Phi+a_{3}T_{0}^{4}\frac{12\Phi}{3\Phi^{2}-2\Phi-1}\,, (46)

where nsc,i=ψ¯iψin_{sc,i}=\langle\bar{\psi}_{i}\psi_{i}\rangle is the scalar number density and ni=ψiψin_{i}=\langle{\psi}_{i}^{\dagger}\psi_{i}\rangle is the baryon (vector) number density. The index ii always indicates a summation of the baryon octet, decuplet, and quark flavors.

Note that we do not derive equations of motion for fermions, as the expected value of their fields does not come from their equations of motion in our formalism, but instead directly from their effective chemical potentials and effective masses, which come from the chemical potentials looped over, μB,μQ,μS\mu_{B},\mu_{Q},\mu_{S}. This is discussed in detail in the following.

II.4 Thermodynamical observables

The CMF Lagrangian density can be alternatively seen as consisting of a fermion part, a boson part, and a vector interaction term fermions+bosons+V,int\mathcal{L}\equiv\mathcal{L}_{\rm fermions}+\mathcal{L}_{\rm bosons}+\mathcal{L}_{\rm V,int}. For fermions, the Lagrangian density reads

fermions=ifermions[ψ¯i(iγμμmi)ψi],\displaystyle\mathcal{L}_{\rm fermions}=\sum_{i\,\in\,\rm fermions}\bigg{[}\bar{\psi}_{i}(i\gamma_{\mu}\partial^{\mu}-m_{i}^{*})\psi_{i}\bigg{]}\,, (47)

where the scalar-meson interactions are hiding within the effective mass mim_{i}^{\ast}. This is the relativistic free Fermi gas Lagrangian but with effective masses mim_{i}^{*} (see Appendix C). The vector-meson interaction term is

V,int=ifermionsψ¯i[γ0(giωω+giρρ+giϕϕ)]ψi,\mathcal{L}_{\rm V,int}=-\sum_{i\,\in\,{\rm fermions}}\bar{\psi}_{i}\big{[}\gamma_{0}\big{(}g_{i\omega}\omega+g_{i\rho}\rho+g_{i\phi}\phi\big{)}\big{]}\psi_{i}\,, (48)

and it leads to an effective chemical potential μi\mu_{i}^{*} for the fermions, given by

μi=μigωiωgρiρgϕiϕ.\mu_{i}^{*}=\mu_{i}-g_{\omega i}\omega-g_{\rho i}\rho-g_{\phi i}\phi\,. (49)

The individual particle chemical potentials μi\mu_{i} are given by

μi=BiμB+SiμS+QiμQ,\displaystyle\mu_{i}=B_{i}\mu_{B}+S_{i}\mu_{S}+Q_{i}\mu_{Q}\,, (50)

where BiB_{i}, the particle baryon number, is 11 for baryons and 1/31/3 for quarks.

Within our formalism, bosons do not acquire effective masses. There is also no contribution from the kinetic term, resulting in the bosonic Lagrangian as

bosons\displaystyle\mathcal{L}_{\rm bosons} =mesonsUΦ,\displaystyle=\mathcal{L}_{\rm mesons}-U_{\Phi}\,, (51)

where mesons=scal+vec+esb\mathcal{L}_{\rm mesons}=\mathcal{L}_{\rm scal}+\mathcal{L}_{\rm vec}+\mathcal{L}_{\rm esb}. The total energy density, pressure, vector or baryon (number) density, and scalar density include the sum of contributions from individual fermions

εB=ifermionsεi,PB=ifermionsPi,nB,noΦ=ifermionsBini,nsc=ifermionsnsc,i,\begin{split}\varepsilon_{B}=&\sum_{i\,\in\,{\rm fermions}}\varepsilon_{i}\,,\\ P_{B}=&\sum_{i\,\in\,{\rm fermions}}P_{i}\,,\\ n_{B,{\rm no}\,\Phi}=&\sum_{i\,\in\,{\rm fermions}}B_{i}n_{i}\,,\\ n_{sc}=&\sum_{i\,\in\,{\rm fermions}}n_{sc,i}\,,\end{split} (52)

with the individual particle contributions being calculated from the energy momentum-tensor as shown in Appendix C. Here, nB,noΦn_{B,{\rm no}\,\Phi} is the number density of the fermions without the scalar field Φ\Phi contribution and, therefore, is different from the baryon density defined as nB=dP/dμBn_{B}=dP/d\mu_{B} (containing a Φ\Phi contribution) and discussed in the following. BiB_{i} ensures that each quark counts as 1/31/3 of a baryon.

At vanishing temperature, the entropy density is identically zero in our framework. Then the thermodynamic variables can be calculated directly using:

εi=γi2π2[(18mi2kFi+14kFi3)μi18mi4lnkFi+μimi],\begin{split}\varepsilon_{i}=\frac{\gamma_{i}}{2\pi^{2}}\Bigg{[}&\left(\frac{1}{8}m_{i}^{\ast 2}k_{F_{i}}+\frac{1}{4}k_{F_{i}}^{3}\right)\mu^{*}_{i}-\frac{1}{8}m_{i}^{\ast 4}\ln{\frac{k_{F_{i}}+\mu^{*}_{i}}{m_{i}}}\Bigg{]}\,,\end{split} (53)
Pi=13γi2π2[(14kFi338mi2kFi)μi+38mi4lnkFi+μimi],\begin{split}P_{i}=\frac{1}{3}\frac{\gamma_{i}}{2\pi^{2}}\Bigg{[}&\left(\frac{1}{4}k_{F_{i}}^{3}-\frac{3}{8}m_{i}^{\ast 2}k_{F_{i}}\right)\mu^{*}_{i}+\frac{3}{8}m_{i}^{\ast 4}\ln{\frac{k_{F_{i}}+\mu^{*}_{i}}{m_{i}}}\Bigg{]}\,,\end{split} (54)
ni=γi6π2kFi3,n_{i}=\frac{\gamma_{i}}{6\pi^{2}}k_{F_{i}}^{3}\,, (55)
nsc,i=γimi4π2[kFiμimi2ln(kFi+μimi)],\begin{split}n_{sc,i}=&\dfrac{\gamma_{i}\,{m_{i}^{*}}}{4\pi^{2}}\bigg{[}k_{F_{i}}\,\mu^{*}_{i}-{m_{i}^{*}}^{2}\ln\left(\dfrac{k_{F_{i}}+\mu^{*}_{i}}{{m_{i}^{*}}}\right)\bigg{]}\,,\end{split} (56)

where γi\gamma_{i} is the total degeneracy (spin and color), kFik_{F_{i}} is the Fermi momentum of particle ii, and at T=0T=0 we can also write the effective chemical potential as the effective energy level

μi=Ei=kFi2+mi2.\mu^{*}_{i}=E^{*}_{i}=\sqrt{k_{F_{i}}^{2}+m_{i}^{\ast 2}}\,. (57)

The asterisks represent the influence of the strong interaction. For a given set of μB\mu_{B}, μQ\mu_{Q}  and μS\mu_{S}, once one determines the effective particle chemical potentials Eq. 49 and masses Eqs. 43 and 44 (solving for the mean fields), at T=0T=0 the Fermi momenta and thermodynamical properties easily follow.

The baryon-vector meson interactions modify the solution of the Dirac equation, Eq. 135, by modifying its energy in the plane wave exponential as EiEi+gωiω+gρiρ+gϕiϕE_{i}\rightarrow E_{i}^{\ast}+g_{\omega i}\omega+g_{\rho i}\rho+g_{\phi i}\phi. Then, the derivative of the Dirac spinor in Eq. 139, applied to  Eq. 135 leads to a contribution to the energy density as

εint=ifermions(giωω+giϕϕ+giρρ)ni.\varepsilon_{\rm int}=\sum_{i\in{\rm fermions}}\left(g_{i\omega}\omega+g_{i\phi}\phi+g_{i\rho}\rho\right)n_{i}. (58)

We note here that the terms of the form ψ¯igiωγ0ωψi\bar{\psi}_{i}g_{i\omega}\gamma_{0}\omega\psi_{i} only contribute to the energy density due to γ0ω\gamma_{0}\omega being a simplification of γμωμ\gamma_{\mu}\omega^{\mu}. The pressure, on the other hand, does not receive extra contributions from the mean-field mesons, since their spatial components are taken to be zero (see Eq. 139).

Unlike the mesons, Φ\Phi has explicit temperature and chemical potential dependence (see Eq. 41). This means that to satisfy thermodynamic consistency, we must have εΦ=PΦ+μBnΦ\varepsilon_{\Phi}=-P_{\Phi}+\mu_{B}n_{\Phi} (with Φ\Phi having no electric charge or strangeness), with PΦ=UΦP_{\Phi}=-U_{\Phi} and nΦ=PΦμB.n_{\Phi}=\frac{\partial P_{\Phi}}{\partial\mu_{B}}. For the mesonic contribution to the thermodynamic quantities, we start from (Eq. 136) and acknowledge that μM=0\partial_{\mu}M=0 for all mesons and Φ\Phi due to the mean-field approximation. This gives the energy density and pressure as

εmesons=\displaystyle\varepsilon_{\rm mesons}= mesons,\displaystyle-\mathcal{L}_{\rm mesons}\,, (59)
Pmesons=\displaystyle P_{\rm mesons}= mesons.\displaystyle\mathcal{L}_{\rm mesons}\,. (60)

Furthermore, in a vacuum, all thermodynamic quantities should be zero. This is not the case for the scalar meson contribution, which acts as self-energy. However, their vacuum values are constant, and we can always add a constant to the Lagrangian density. Accordingly, we make a final alteration to the CMF Lagrangian density by subtracting the constant vacuum state. We do not have the same issue with fermions because their thermodynamic variables are already zero in the vacuum. The net result is

mesonsmesonsvacuum,\displaystyle\mathcal{L}_{\rm mesons}\rightarrow\mathcal{L}_{\rm mesons}-\mathcal{L}_{\rm vacuum}\,, (61)

where

vacuum=12k0χ02(σ02+ζ02)+k1(σ02+ζ02)2+k2(σ042+ζ04)+k3χ0σ02ζ0k4χ04,\begin{split}\mathcal{L}_{\rm vacuum}=&-\frac{1}{2}k_{0}\chi_{0}^{2}\left(\sigma_{0}^{2}+\zeta_{0}^{2}\right)+k_{1}\left(\sigma_{0}^{2}+\zeta_{0}^{2}\right)^{2}\\ &+k_{2}\left(\frac{\sigma_{0}^{4}}{2}+\zeta_{0}^{4}\right)+k_{3}\chi_{0}\sigma_{0}^{2}\zeta_{0}-k_{4}\chi_{0}^{4}\,,\end{split} (62)

is the aforementioned constant vacuum state value, achieved by taking σσ0\sigma\rightarrow\sigma_{0} and ζζ0\zeta\rightarrow\zeta_{0} with all other meson fields vanishing, keeping in mind that we already have χ=χ0\chi=\chi_{0} and δ0=0\delta_{0}=0.

Thus, we can write the expressions for the thermodynamic quantities (including mesonic and Φ\Phi contributions)

εbosons=\displaystyle\varepsilon_{\rm bosons}= (mesonsvacuum)PΦ+PΦμBμB,\displaystyle-\left(\mathcal{L}_{\rm{mesons}}-\mathcal{L}_{\rm vacuum}\right){-P_{\Phi}}+\frac{\partial P_{\Phi}}{\partial\mu_{B}}\mu_{B}\,,
Pbosons=\displaystyle P_{\rm bosons}= (mesonsvacuum)+PΦ,\displaystyle{(\mathcal{L}_{\rm mesons}-\mathcal{L}_{\rm vacuum})+P_{\Phi}}\,,
nbosons=\displaystyle n_{\rm bosons}= nΦ=PΦμB=4a1μB3Φ2,\displaystyle n_{\Phi}=\frac{\partial P_{\Phi}}{\partial\mu_{B}}=-4a_{1}\mu_{B}^{3}\Phi^{2}\,, (63)

where the last term is calculated analytically and would represent some sort of gluonic interaction contributing to the baryon density. Finally, we get the total contribution to the thermodynamic quantities by adding the fermion and boson contributions together

ε=\displaystyle\varepsilon= εB+εint+εbosons,\displaystyle\varepsilon_{B}+\varepsilon_{\rm int}+\varepsilon_{\rm bosons}\,,
P=\displaystyle P= PB+Pbosons,\displaystyle P_{B}+P_{\rm bosons}\,,
nB=\displaystyle n_{B}= nB,noΦ+nbosons.\displaystyle n_{B,{\rm no}\,\Phi}+n_{\rm bosons}\,. (64)

Throughout this paper, we often refer to fractions instead of densities. They are defined as ratios of sums of quantum numbers (weighted by the number density of particles)

YQ=QB=iQiniiBini=iQininB,noΦ.Y_{Q}=\frac{Q}{B}=\frac{\sum_{i}Q_{i}n_{i}}{\sum_{i}B_{i}n_{i}}=\frac{\sum_{i}Q_{i}n_{i}}{n_{B,{\rm no}\,\Phi}}\,. (65)

for the charge fraction and

YS=SB=iSiniiBini=iSininB,noΦ,Y_{S}=\frac{S}{B}=\frac{\sum_{i}S_{i}n_{i}}{\sum_{i}B_{i}n_{i}}=\frac{\sum_{i}S_{i}n_{i}}{n_{B,{\rm no}\,\Phi}}\,, (66)

for the strangeness fraction. Since the field Φ\Phi possesses no quantum number, it does not contribute to these fractions.

II.5 Coupling constants

Table 7: The constraints imposed to fix model parameters and their corresponding terms in the Lagrangian or potential.
Parameter Interaction Constraint
g1X,g8X,αXg_{1}^{X},g_{8}^{X},\alpha_{X} BX\mathcal{L}_{BX} mNm_{N}, mΛm_{\Lambda}, mΣm_{\Sigma}
gDX,αDXg_{D}^{X},\alpha_{DX} 222For the decuplet the correct approach is to use the Rarita-Schwinger equation, which can be written as a Dirac equation with extra constraints [112]. Here, we simply follow the results presented in Ref. [94]. mΔm_{\Delta}, mΣm_{\Sigma^{*}}, mΩm_{\Omega}
k0k_{0} scalσ|vac =0\left.\frac{\partial\mathcal{L}_{\rm scal}}{\partial\sigma}\right|_{\text{vac }}=0
k1k_{1} mσm_{\sigma}
k2k_{2} scalζ|vac =0\left.\frac{\partial\mathcal{L}_{\rm scal}}{\partial\zeta}\right|_{\text{vac }}=0
k3k_{3} η,η\eta,\eta^{\prime} splitting
k4k_{4} scal\mathcal{L}_{\rm scal} scalχ|vac =0\left.\frac{\partial\mathcal{L}_{\rm scal}}{\partial\chi}\right|_{\text{vac }}=0
ϵ\epsilon one-loop βQCD\beta_{\mathrm{QCD}} function
χ0\chi_{0} P(nsat)=0P\left(n_{\rm sat}\right)=0
σ0\sigma_{0} fπf_{\pi}
ζ0\zeta_{0} fπ,fKf_{\pi},f_{K}
a0a_{0} TcdT^{d}_{c}
a1a_{1} nB,cdn^{d}_{B,c}
a2a_{2} TcT_{c}, μB,c\mu_{B,c}
a3a_{3} UΦU_{\Phi} Φ0,1\Phi\in{0,1}
T0pureglueT^{\rm pureglue}_{0} TcdT^{d}_{c}, Φ0,1\Phi\in{0,1}
T0crossoverT^{\rm crossover}_{0} TcpT^{p}_{c}, Φ0,1\Phi\in{0,1}
gΦqg^{q}_{\Phi} TcpT^{p}_{c}
g8Vg_{8}^{V}, αV\alpha_{V}, g4,g_{4}, BV\mathcal{L}_{BV}, vecSI\mathcal{L}_{\rm vec}^{\rm SI} gNϕ=0,g_{N\phi}=0, g1V=6g8Vg_{1}^{V}=\sqrt{6}g_{8}^{V}, nsatn_{\rm sat}, Bsat/A,B^{\rm sat}/A,
m0m_{0} EsymsatE^{\rm sat}_{\rm sym}, LsatL^{\rm sat}, KK, ff-dd mixing (VDM)
gDV,αDVg_{D}^{V},\alpha_{DV} 11footnotemark: 1 g8V,gΔϕ=0g_{8}^{V},g_{\Delta\phi}=0
mVm_{V} vecm\mathcal{L}_{\rm vec}^{m} mωm_{\omega}, mρm_{\rho}, mϕm_{\phi}
m3Hm^{H}_{3} potH\mathcal{L}^{H}_{\rm pot} UΛU_{\Lambda}
VΔV_{\Delta} 11footnotemark: 1 UΔU_{\Delta}
m3Dm^{D}_{3} 11footnotemark: 1 UΣ,UΞ,UΩU_{\Sigma^{*}},U_{\Xi^{*}},U_{\Omega}

In Table 7, we list the free parameters of the CMF model and the corresponding constraints used to fix them. Note that the CMF couplings are constant, e.g., are not dependent on quantities like density. In the first set of rows, we present the scalar coupling constants concerning the interaction between scalar mesons and baryon octet (decuplet), which are determined based on the vacuum masses of baryons. For the octet, the following coupling relations are obtained through Eq. 36 in the vacuum

g1X=62mΛ+mΣ2m02σ0+2ζ0,g_{1}^{X}=\frac{\sqrt{6}}{2}\frac{m_{\Lambda}+m_{\Sigma}-2m_{0}}{2\sigma_{0}+\sqrt{2}\zeta_{0}}\,, (67)
αX=32mΛ12mΣ+2mNmΣ3mΛ+2mN,\alpha_{X}=\frac{-\frac{3}{2}m_{\Lambda}-\frac{1}{2}m_{\Sigma}+2m_{N}}{m_{\Sigma}-3m_{\Lambda}+2m_{N}}\,, (68)
g8X=312mΛ+12mΣmN(4αX1)(2ζ0σ0),g_{8}^{X}=3\frac{\frac{1}{2}m_{\Lambda}+\frac{1}{2}m_{\Sigma}-m_{N}}{(4\alpha_{X}-1)(\sqrt{2}\zeta_{0}-\sigma_{0})}\,, (69)

and for the decuplet, the coupling constants are obtained through Eq. 38 in the vacuum

αDX=mΩσ0+mΔ2ζ0mΣ(σ0+2ζ0),\alpha_{DX}=\frac{-m_{\Omega}\sigma_{0}+m_{\Delta}\sqrt{2}\zeta_{0}}{m_{\Sigma^{*}}(-\sigma_{0}+\sqrt{2}\zeta_{0})}\,, (70)
gDX=mΔ(3αDX)σ0+αDX2ζ0.g_{D}^{X}=\frac{m_{\Delta}}{(3-\alpha_{DX})\sigma_{0}+\alpha_{DX}\sqrt{2}\zeta_{0}}\,. (71)

Additionally, parameters like k0k_{0}, k2k_{2}, and k4k_{4} governing scalar self-interactions are adjusted to the Lagrangian minima for σ\sigma, ζ\zeta, and χ\chi in the vacuum, while k1k_{1} and k3k_{3} are tuned to match the vacuum masses of σ\sigma (which is uncertain) and the η\eta, η\eta^{\prime} splitting, respectively. The parameter ϵ\epsilon, linked to scalar scale breaking Lagrangian, is calibrated to the one-loop QCD beta function. Moreover, the vacuum value of χ0\chi_{0} is set to reproduce zero pressure at saturation. The vacuum value of the scalar field σ0\sigma_{0} is fitted to the decay constant of the π\pi meson, while ζ0\zeta_{0} is fitted to the decay constants of the π\pi and KK mesons. See Table 8 for a complete list.

The vector-baryon coupling constants have been fitted to reproduce nuclear saturation properties for isospin-symmetric matter and asymmetric matter, together with neutron-star observations. This includes g8Vg_{8}^{V}, g4g_{4}, and the bare mass of baryons m0m_{0} fitting simultaneously saturation density nsat=0.15n_{\rm sat}=0.15 fm-3 and binding energy per nucleon Bsat/A=16B^{\rm sat}/A=-16 MeV (which results in compressibility of Ksat=300K^{\rm sat}=300 MeV) and the asymmetry energy at saturation Esymsat=30E^{\rm sat}_{\rm sym}=30 MeV (by using gNρgNω/3g_{N\rho}\neq g_{N\omega}/3) producing a slope Lsat=88L^{\rm sat}=88 MeV) separately for all for the vector couplings (C1-C4).

There is also a requirement to reproduce 2\sim 2 M stars with radii consistent with observations. Reproducing these values requires a setting of vector coupling constants given in Table 9. The remaining baryon-vector-meson coupling constants relate to the value of g8Vg_{8}^{V} associated with gNωg_{N\omega}. Non-strange particles do not couple to ϕ\phi and ζ\zeta. Finally, parameter mVm_{V} relates to experimental vector meson vacuum masses.

We fit m3Hm^{H}_{3} to reproduce reasonable hyperon potentials (UB=mBmB+gBω+gBϕ+gBρU_{B}=m^{*}_{B}-m_{B}+g_{B\omega}+g_{B\phi}+g_{B\rho}) [113] for symmetric matter at saturation, in particular UΛ28U_{\Lambda}\sim-28 MeV (reproducing UΣ5U_{\Sigma}\sim 5 MeV and UΞ18U_{\Xi}\sim-18 MeV). We fit VΔV_{\Delta} to reproduce a reasonable Δ\Delta baryon potential for symmetric matter at saturation, UΔ76U_{\Delta}\sim-76 MeV (similar to the nucleon one 70\sim 70 MeV). This procedure is done separately for each of the couplings C1-C4. We use a fixed value for m3Dm^{D}_{3}, since there is little data available for the strange members of the baryon decuplet. Additionally, a full list of constants shared among coupling schemes is provided in Table 8, and a list of constants that are different in different coupling schemes is provided in Table 9.

Table 8: A table of constants shared among the couplings schemes used in the CMF model. Only some of these are independent. The variables in bold can be freely changed by the user of the CMF++ code.
gNσ=9.83g_{N\sigma}=-9.83 gNζ=1.22g_{N\zeta}=1.22 gΛσ=5.52g_{\Lambda\sigma}=-5.52
gΛζ=2.30g_{\Lambda\zeta}=-2.30 gΣσ=4.01g_{\Sigma\sigma}=-4.01 gΣζ=4.44g_{\Sigma\zeta}=-4.44
gΞσ=1.67g_{\Xi\sigma}=-1.67 gΞζ=7.75g_{\Xi\zeta}=-7.75 gΔσ=10.87g_{\Delta\sigma}=-10.87
gΔζ=2.03g_{\Delta\zeta}=-2.03 gΣσ=6.44g_{\Sigma^{*}\sigma}=-6.44 gΣζ=4.55g_{\Sigma^{*}\zeta}=-4.55
gΞσ=3.78g_{\Xi^{*}\sigma}=-3.78 gΞζ=8.32g_{\Xi^{*}\zeta}=-8.32 gΩσ=0.23g_{\Omega\sigma}=-0.23
gΩζ=11.47g_{\Omega\zeta}=-11.47 gpδ=2.34g_{p\delta}=-2.34 gnδ=2.34g_{n\delta}=2.34
gΛδ=0g_{\Lambda\delta}=0 gΣ+δ=6.95g_{\Sigma^{+}\delta}=-6.95 gΣ0δ=0g_{\Sigma^{0}\delta}=0
gΣδ=6.95g_{\Sigma^{-}\delta}=6.95 gΞ0δ=4.61g_{\Xi^{0}\delta}=-4.61 gΞδ=4.61g_{\Xi^{-}\delta}=4.61
gΔδ=0g_{\Delta\delta}=0 gΣδ=0g_{\Sigma^{*}\delta}=0 gΞδ=0g_{\Xi^{*}\delta}=0
gΩδ=0g_{\Omega\delta}=0 σ0=93.3\sigma_{0}=-93.3 MeV 𝐦π=139\mathbf{m_{\pi}}=139 MeV
𝐟π=93.3\mathbf{f_{\pi}}=93.3 MeV ζ0=106.56\zeta_{0}=-106.56 MeV 𝐦𝐊=498\mathbf{m_{K}}=498 MeV
𝐟𝐊=122\mathbf{f_{K}}=122 MeV 𝐤𝟎=2.37\mathbf{k_{0}}=2.37 𝐤𝟏=1.4\mathbf{k_{1}}=1.4
𝐤𝟐=5.55\mathbf{k_{2}}=-5.55 𝐤𝟑=2.65\mathbf{k_{3}}=-2.65 χ𝟎=401.93\mathbf{\chi_{0}}=401.93 MeV
𝐦𝟑𝐃=1.25\mathbf{m^{D}_{3}}=1.25 δ0=0\delta_{0}=0 ϵ=0.060606\mathbf{\epsilon}=0.060606
𝐦ω=780.65\mathbf{m_{\omega}}=780.65 MeV 𝐦ρ=761.06\mathbf{m_{\rho}}=761.06 MeV 𝐦ϕ=1019.0\mathbf{m_{\phi}}=1019.0 MeV
Table 9: Table of constants that are different among the coupling schemes of CMF. These include the nucleon-vector coupling constants and the bare mass contributions for the different vector self-interaction terms [53]. The variables in bold can be freely changed by the user of the CMF++ code.
Coupling 𝐠𝟒\mathbf{g_{4}} 𝐠𝐍ω\mathbf{g_{N\omega}} 𝐠𝐩ρ\mathbf{g_{p\rho}} 𝐠𝐧ρ\mathbf{g_{n\rho}} 𝐦𝟎\mathbf{m_{0}} 𝐦𝟑𝐇\mathbf{m^{H}_{3}} 𝐕𝚫\mathbf{V_{\Delta}}
C1 58.40 13.66 11.06 -11.06 0 1.24 1.07
C2 58.40 13.66 3.51 -3.51 0 1.24 1.07
C3 58.40 13.66 3.82 -3.82 0 1.24 1.07
C4 38.90 11.90 4.03 -4.03 150 0.86 1.2
Table 10: Parameters and coupling constants for the quark sector in the CMF model with the C4 coupling scheme [72], where ‘qq’ stands for uu, dd, and ss quarks. Variables in bold can be freely changed by the user of the CMF++ code.
𝐠𝐪ω=0\mathbf{g_{q\omega}}=0 𝐠𝐪ϕ=0\mathbf{g_{q\phi}}=0 𝐠𝐪ρ=0\mathbf{g_{q\rho}}=0
𝐠𝐮σ=3.00\mathbf{g_{u\sigma}}=-3.00 𝐠𝐮δ=0\mathbf{g_{u\delta}}=0 𝐠𝐮ζ=0\mathbf{g_{u\zeta}}=0
𝐠𝐝σ=3.00\mathbf{g_{d\sigma}}=-3.00 𝐠𝐝δ=0\mathbf{g_{d\delta}}=0 𝐠𝐝ζ=0\mathbf{g_{d\zeta}}=0
𝐠𝐬σ=0\mathbf{g_{s\sigma}}=0 𝐠𝐬δ=0\mathbf{g_{s\delta}}=0 𝐠𝐬ζ=3.00\mathbf{g_{s\zeta}}=-3.00
𝐦𝟎𝐮=5\mathbf{m^{u}_{0}}=5 MeV 𝐦𝟎𝐝=5\mathbf{m^{d}_{0}}=5 MeV 𝐦𝟎𝐬=150\mathbf{m^{s}_{0}}=150 MeV
𝐚𝟏=1.443×103\mathbf{a_{1}}=-1.443\times 10^{-3} 𝐚𝟑=0.396\mathbf{a_{3}}=-0.396 𝐠𝐛𝐚𝐫𝚽=1500MeV\mathbf{g_{bar\Phi}}=1500~\mathrm{MeV}
𝐠𝐪𝚽=500MeV\mathbf{g_{q\Phi}}=500~\mathrm{MeV} 𝐓𝟎crossover\mathbf{T_{0}^{\rm crossover}}=200 MeV 𝐓𝟎pureglue=270\mathbf{T_{0}^{\rm pureglue}}=270 MeV

Following this, we detail the parameters related to the deconfinement potential UΦU_{\Phi} (not including the decuplet) and quarks. For the C4 coupling scheme, the quark and Φ\Phi coupling constants (listed in Table 10) have been fitted to reproduce lattice results at zero and small chemical potential and known physics of the phase diagram. Lattice QCD predicts the first-order deconfinement phase transition (for pure glue Yang-Mills) observed at a temperature of Tcd=270T^{d}_{c}=270 MeV [109]. At μB=0\mu_{B}=0, we fit the parameter a0a_{0} and T0pureglueT^{\rm pureglue}_{0} together to TcdT^{d}_{c} as well as the pressure function P(T)P(T) which mirrors patterns seen in previous works ([108, 109]) for pure glue Yang-Mills theories. At vanishing chemical potential, when including fermions, the hadron to quark phase change is a crossover rather than a sharp transition. The mid value of the crossover band is known as the pseudo-critical temperature of chiral symmetry restoration marked by a transition temperature TcpT^{p}_{c}. In the CMF model, this temperature is identified through the peak change in the condensate σ\sigma and field Φ\Phi. The parameters T0crossoverT^{\rm crossover}_{0} and gΦqg^{q}_{\Phi} (coupling between quarks and Φ\Phi) are fitted together to reproduce TcpT^{p}_{c}=171 MeV in agreement with results from 2001 [114].

Furthermore, a1a_{1} is fitted to the critical number density (nB,cd=4n^{d}_{B,c}=4 nsatn_{\rm sat}) at the onset of deconfinement transition at T=0T=0 for neutron stars, and a2a_{2} is constrained by the critical temperature (TcT_{c}=167 MeV) and critical baryon chemical potential (μB,c\mu_{B,c}=354 MeV) for isospin symmetric matter, aligned with findings from 2004 [115]. Additionally, a3a_{3} is tuned to maintain Φ\Phi value within 0 and 1. It is noteworthy that parameters from the Polyakov-inspired potential (Eq. 42) and quark couplings (Eq. 44) have been fitted solely for C4, determining the location of the deconfinement phase transition at specific μB\mu_{B} and EoS behavior in the quark regime. Since the paper aims to compare C++ and Fortran solutions while also analyzing stability, we employ the quark sector parameters of C4 (refer to Table 10) for all other coupling schemes. Adjusting the Φ\Phi parameters to C1-C3 coupling schemes would lead to shifts in the location of the deconfinement phase transition as well as the behavior of EoS post-deconfinement transition. See Ref. [79] for a recent work in which we broke the mass degeneracy of vector mesons in the CMF model using their field redefinition. This required us to fit the C1-C4 coupling schemes to the up-to-date constraints coming from lattice QCD, low-energy nuclear, and astrophysics.

III Code Implementation

III.1 Code Overview

Refer to caption
Figure 3: CMF++ general algorithm flowchart detailing the procedures inside Algorithm (gray enclosed section).

Figure 3 shows the CMF++ code flowchart with the Python and C++ layers, where the shaded gray region highlights the C++ main driver routine. The code can be divided into three sections: input preprocessing, main algorithm, and output postprocessing. In the first section, yaml_preprocess.py validates the YAML input configuration file required for the main execution. Details about the validation procedure are illustrated in Sec. III.2. In the second section, the main routine is responsible for finding solutions for Eq. 46 and computing derived thermodynamic quantities (see Eq. 64) for the valid solutions found. More details about this section are described in Sec. III.3. The last section covers postprocessing and output. In the postprocessing section, the solutions found in the main algorithm are cleaned and classified as stable, metastable, or unstable. Additionally, the output is divided by the underlying degrees of freedom, i.e., quarks vs. baryons. The criteria and procedure for separating the solutions are detailed in Sec. III.4. Finally, the output adapters are called in postprocess.py, which transforms the final output files into either CSV or HDF5 format via the MUSES Porter library for the consumption of other MUSES modules. Details on how to run CMF++ can be found in Appendix D.

III.2 Input preprocessing

The only input required to execute the code is a YAML-formatted configuration file to ensure human and machine readability, which we named config.yaml. The YAML file contains all the computational options and the physical parameters required to run. The computational options detailed in Table 11 encompass the model hyperparameters like the name of the run, see Table 12. The file structure is detailed in the OpenAPI specifications for the model version.

The config.yaml file is processed by yaml_preprocess.py which validates it via the openapi-core library and flattens it for the ingestion of the main algorithm.

Table 11: config.yaml Computational parameters and descriptions.
Category Variable Value Description
computational_parameters run_name default name of the run
solution_resolution 1.e-8 resolution for mean-field solutions
maximum_for_residues 1.e-4 threshold for solution residues
production_run true Is this a production run?
options baryon_mass_coupling 1 baryon-meson coupling scheme
use_ideal_gas false use ideal gas?
use_quarks true use quarks?
use_octet true use baryon octet?
use_decuplet true use baryon decuplet?
use_pure_glue false use gluons only (no baryons nor quarks)?
use_hyperons true are hyperons included?
use_constant_sigma_mean_field false fix sigma mean-field to chosen value
use_delta_mean_field true is delta mean-field included?
use_Phi_order true use Polyakov-inspired potential?
use_constant_Phi_order false fix Phi field value to chosen value
vector_potential 4 vector coupling scheme C1-C4
use_default_vector_couplings true use default vector couplings?
output_files output_Lepton true create output file for Lepton module
output_debug false create output file for debugging
output_flavor_equilibration true create output file for Flavor equilibration module
output_format CSV create output files either in CSV or HDF5 format
output_particle_properties true create output file for particle populations and properties
chemical_optical_potentials muB_begin 900.0 initial baryon chemical potential (MeV)
muB_end 1800.0 final baryon chemical potential (MeV)
muB_step 1.0 step for baryon chemical potential (MeV)
muS_begin 0.0 initial strange chemical potential (MeV)
muS_end 1.0 final strange chemical potential (MeV)
muS_step 5.0 step for strange chemical potential (MeV)
muQ_begin 0.0 initial charge chemical potential (MeV)
muQ_end 1.0 final charge chemical potential (MeV)
muQ_step 5.0 step for charge chemical potential (MeV)
mean_fields_and_Phi_field sigma0_begin -100.0 initial σ\sigma mean-field (MeV)
sigma0_end -10.0 final σ\sigma mean-field (MeV)
sigma0_step 30.0 step for σ\sigma mean-field (MeV)
zeta0_begin -110.0 initial ζ\zeta mean-field (MeV)
zeta0_end -40.0 final ζ\zeta mean-field (MeV)
zeta0_step 23.333 step for ζ\zeta mean-field (MeV)
delta0_begin 0.0 initial δ\delta mean-field (MeV)
delta0_end 1.0 final δ\delta mean-field (MeV)
delta0_step 10.0 step for δ\delta mean-field (MeV)
omega0_begin 0.0 initial ω\omega mean-field (MeV)
omega0_end 100.0 final ω\omega mean-field (MeV)
omega0_step 33.333 step for ω\omega mean-field (MeV)
phi0_begin -40.0 initial ϕ\phi mean-field (MeV)
phi0_end 0.0 final ϕ\phi mean-field (MeV)
phi0_step 13.333 step for ϕ\phi mean-field (MeV)
rho0_begin 0.0 initial ρ\rho mean-field (MeV)
rho0_end 1.0 final ρ\rho mean-field (MeV)
rho0_step 10.0 step forρ\rho mean-field (MeV)
Phi0_begin 0.0 initial Φ\Phi mean-field (MeV)
Phi0_end 0.9999 final Φ\Phi mean-field (MeV)
Phi0_step 0.333 step for Φ\Phi mean-field (MeV)
Table 12: Default config.yaml physical parameters and descriptions related to the C4 coupling scheme.
Category Variable (Symbol) Value Description
physical_parameters d_betaQCD (ϵ\epsilon) 0.0606060606 fit parameter for beta QCD function
f_K (fKf_{K}) 122.0 KK decay constant (MeV)
f_pi (fπf_{\pi}) 93.3000031 π\pi decay constant (MeV)
hbarc (c\hbar c) 197.3269804 c\hbar c (MeV)
chi_field_vacuum_value (χ0\chi_{0}) 401.933763 χ\chi vacuum value (MeV)
Phi_order_optical_potential a_1 (a1a_{1}) -0.001443 fit parameter for deconfinement phase transition
a_3 (a3a_{3}) -0.396 fit parameter to keep Φ\Phi between 0 and 1
T0 (crossover) (T0crossoverT^{\rm crossover}_{0}) 200 fit parameter for pseudo critical transition temperature (MeV)
T0 (pureglue) (T0pureglueT^{\rm pureglue}_{0}) 270 fit parameter for deconfinement critical temperature (MeV)
scalar_mean_field_equation k_0 (k0k_{0}) 2.37321880 fit parameter to minimize scalar Lagrangian with respect to σ\sigma
k_1 (k1k_{1}) 1.39999998 fit parameter for mass of σ\sigma meson
k_2 (k2k_{2}) -5.54911336 fit parameter to minimize scalar Lagrangian with respect to ζ\zeta
k_3 (k3k_{3}) -2.65241888 fit parameter to account ηη\eta-\eta^{\prime} splitting
explicit_symmetry_breaking m_3H (m3Hm_{3}^{H}) 0.85914584 fit parameter for potential of strange octet baryons
m_3D (m3Dm_{3}^{D}) 1.25 fit parameter for potential of strange decuplet baryons
V_Delta (VΔV_{\Delta}) 1.2 fit parameter for potential of decuplet Δ\Delta particles
vector_nucleon_couplings gN_omega (gNωg_{N\omega}) 11.90 Nucleon coupling to ω\omega field
gN_rho (gNρg_{N\rho}) 4.03 Nucleon coupling to ρ\rho field
g_4 (g4g_{4}) 38.90 Self-coupling of the vector mesons
mean_field_vacuum_masses omega_mean_field_vacuum_mass (mωm_{\omega}) 780.562988 ω\omega mean-field vacuum mass (MeV)
phi_mean_field_vacuum_mass (mϕm_{\phi}) 1019. ϕ\phi mean-field vacuum mass (MeV)
rho_mean_field_vacuum_mass (mρm_{\rho}) 761.062988 ρ\rho mean-field vacuum mass (MeV)
quark_bare_masses up_quark_bare_mass (m0um^{u}_{0}) 5.0 up quark bare mass (MeV)
down_quark_bare_mass (m0dm^{d}_{0}) 5.0 down quark bare mass (MeV)
strange_quark_bare_mass (m0sm^{s}_{0}) 150.0 strange quark bare mass (MeV)
vacuum_masses Delta_vacuum_mass (mΔm_{\Delta}) 1232. Δ\Delta vacuum mass (MeV)
Lambda_vacuum_mass (mΛm_{\Lambda}) 1115. Λ\Lambda vacuum mass (MeV)
Sigma_vacuum_mass (mΣm_{\Sigma}) 1202. Σ\Sigma vacuum mass (MeV)
Sigma_star_vacuum_mass (mΣm_{\Sigma}{{}^{*}}) 1385. Σ\Sigma^{*} vacuum mass (MeV)
Omega_vacuum_mass (mΩm_{\Omega}) 1691. Ω\Omega vacuum mass (MeV)
Kaon_vacuum_mass (mKm_{K}) 498. KK vacuum mass (MeV)
Nucleon_vacuum_mass (mNm_{N}) 937.242981 Nucleon vacuum mass (MeV)
Pion_vacuum_mass (mπm_{\pi}) 139. π\pi vacuum mass (MeV)
mass0 (m0m_{0}) 150. Bare vacuum mass (MeV)
quark_to_fields_couplings gu_sigma (guσg_{u\sigma}) -3.0 up quark coupling for σ\sigma mean-field
gd_sigma (gdσg_{d\sigma}) -3.0 down quark coupling for σ\sigma mean-field
gs_sigma (gsσg_{s\sigma}) 0 strange quark coupling for σ\sigma mean-field
gu_zeta (guζg_{u\zeta}) 0 up quark coupling for ζ\zeta mean-field
gd_zeta (gdζg_{d\zeta}) 0 down quark coupling for ζ\zeta mean-field
gs_zeta (gsζg_{s\zeta}) -3.0 strange quark coupling for ζ\zeta mean-field
gu_delta (guδg_{u\delta}) 0.0 up quark coupling for δ\delta mean-field
gd_delta (gdδg_{d\delta}) 0.0 down quark coupling for δ\delta mean-field
gs_delta (gsδg_{s\delta}) 0.0 strange quark coupling for δ\delta mean-field
gu_omega (guωg_{u\omega}) 0.0 up quark coupling for ω\omega mean-field
gd_omega (gdωg_{d\omega}) 0.0 down quark coupling for ω\omega mean-field
gs_omega (gsωg_{s\omega}) 0.0 strange quark coupling for ω\omega mean-field
gu_phi (guϕg_{u\phi}) 0.0 up quark coupling for ϕ\phi mean-field
gd_phi (gdϕg_{d\phi}) 0.0 down quark coupling for ϕ\phi mean-field
gs_phi (gsϕg_{s\phi}) 0.0 strange quark coupling for ϕ\phi mean-field
gu_rho (guρg_{u\rho}) 0.0 up quark coupling for ρ\rho mean-field
gd_rho (gdρg_{d\rho}) 0.0 down quark coupling for ρ\rho mean-field
gs_rho (gsρg_{s\rho}) 0.0 strange quark coupling for ρ\rho mean-field
gq_Phi (gqΦg_{q\Phi}) 500.0 quark coupling for Φ\Phi field (MeV)
baryon_to_Phi_field_coupling gbar_Phi (gBΦg_{B\Phi}) 1500.0 baryon coupling to Φ\Phi field (MeV)

III.3 Algorithm

In computational terms, the CMF model is a coupled system of nonlinear algebraic equations for the mean-field mesons σ,δ,ζ,ω,ρ,ϕ\sigma,\,\delta,\,\zeta,\,\omega,\,\rho,\,\phi, and Φ\Phi field (see Eq. 46), therefore, a root solver algorithm is required. In our implementation, we adopted the numerical root solver fsolve [116], which is inspired by the fsolve function from MATLAB and is based on MINPACK [117, 118]. MINPACK is a Fortran library designed to solve systems of nonlinear equations by residual’s least-squares minimization employing a pseudo-Gauss-Newton algorithm in conjunction with gradient descent.

This validated config.yaml file is read by the C++ layer via an input class and stored within a structure. The coupling constants for each particle respective to every mean-field (Tables 5 and 6) are computed. The different particle classes (quarks, baryons from octet, and/or decuplet) are initialized and filled with their quantum numbers read from the PDG table 2021+ [119] and the couplings just computed.

The code loops over desired μB\mu_{B}, μS\mu_{S}, μQ\mu_{Q}, so the chemical potential per particle is computed via Eq. 50, then loops over every mean-field initial guesses (σ\sigma, ζ\zeta, δ\delta, ω\omega, ϕ\phi, ρ\rho, Φ\Phi) follow. The fsolve routine is called where these initial values, in conjunction with the input parameters provided by the user, are used to compute the right hand side (RHS) of Eq. 46. To compute the left hand side (LHS) of Eq. 46, the scalar Eq. 56 and vector Eq. 55 densities must be obtained for each particle involved, which implies the calculation of the effective chemical potential via Eq. 49, the effective masses (see Eq. 43 for hadrons and see Eq. 44 for quarks), and the Fermi momentum.

The fsolve routine then computes the gradient for every field equation involved and updates the mean fields and Φ\Phi field to an improved guess that minimizes the difference in RHS and LHS of Eq. 46. If the new solution for the fields lies outside of the domains, then the code skips to the next initial conditions guess. If the solution found is not self-consistent (LHS not equal to RHS), recompute the effective masses, chemical potentials, and scalar and vector densities using the new guesses and evolve the field solutions along the gradient.

The previous procedure is performed until self-consistency is achieved, which means that LHS is equal to RHS within a certain threshold and that the solution has not been achieved before. Given that a valid solution has been found, the code now proceeds to compute a collection of thermodynamic observables like pressure, energy density, density (see Eq. 64), and other relevant quantities like strangeness density, charge density, density without Φ\Phi, and densities per particle sector (quarks, baryon octet, baryon decuplet). This data is written to an intermediate file, and the C++ layer continues its execution into the next field’s initial condition guess.

Once all the μB,μS,μQ\mu_{B},\mu_{S},\mu_{Q} domains of interest have been exhausted, the main algorithm execution finishes.

III.4 Stability and phase transition criteria

Let us begin the discussion by defining susceptibilities of the pressure:

χijkBSQ=i+j+kP(μB)i(μS)j(μQ)k|T,\chi_{ijk}^{{BSQ}}=\frac{\partial^{i+j+k}P}{(\partial\mu_{B})^{i}(\partial\mu_{S})^{j}(\partial\mu_{Q})^{k}}\bigg{|}_{T}\,, (72)

where whatever chemical potential is not being varied is kept constant as well. Due to the symmetries in QCD, the ordering of the derivatives does not matter, i.e.

χijxy=χjiyx,\chi_{ij}^{xy}=\chi_{ji}^{yx}\,, (73)

where xx and yy are any B,S,QB,S,Q combinations. The first susceptibilities relate to the respective density of each conserved charge i.e.

χ1B=nB,χ1S=nS,χ1Q=nQ.\chi_{1}^{B}=n_{B}\,,\quad\chi_{1}^{S}=n_{S}\,,\quad\chi_{1}^{Q}=n_{Q}\,. (74)

Additionally, the second-order susceptibilities are then equivalent to

χ2B\displaystyle\chi_{2}^{B} =nBμB|T,μS,μQ,\displaystyle=\frac{\partial n_{B}}{\partial\mu_{B}}\Big{|}_{T,\mu_{S},\mu_{Q}}\,, (75)
χ2S\displaystyle\chi_{2}^{S} =nSμS|T,μB,μQ,\displaystyle=\frac{\partial n_{S}}{\partial\mu_{S}}\Big{|}_{T,\mu_{B},\mu_{Q}}\,, (76)
χ2Q\displaystyle\chi_{2}^{Q} =nQμQ|T,μB,μQ,\displaystyle=\frac{\partial n_{Q}}{\partial\mu_{Q}}\Big{|}_{T,\mu_{B},\mu_{Q}}\,, (77)

which have been shown to have interesting connections to the speed of sound in neutron stars [120]. The susceptibilities are also important to provide connections to the search for the QCD critical point at finite TT and understanding the deconfinement phase transition [121, 122, 123, 124, 125, 126, 127, 128, 129, 130].

A first-order phase transition is defined as a jump in χ1X\chi_{1}^{X} at a specific μX\mu_{X}. Higher-order phase transitions appear as jumps in the higher-order susceptibilities. Thus, an ithi^{th}-order phase transition occurs at the point μX\mu_{X} if χiX(μX)\chi_{i}^{X}(\mu_{X}) diverges. When an ithi^{th}-order phase transition occurs then all higher order derivatives also diverge i.e. χlX(μX)\chi_{l}^{X}(\mu_{X}) diverges where l>il>i at μX\mu_{X}. However, we only determine the order of the phase transition by the first derivative where either a jump or divergence occurs.

In the grand canonical ensemble, in the infinite volume limit, stability corresponds to minimizing the grand potential density or maximizing the pressure (see Appendix E). For this case, and assuming BSQ conserved charges, the 4-dimensional Hessian matrix is shown in Section E.5. In the following, we show results only for T=0T=0. In this case, the Hessian matrix is 3D:

M=[χ2Bχ11BSχ11BQχ11SBχ2Sχ11SQχ11QBχ11QSχ2Q],M=\begin{bmatrix}\chi_{2}^{B}&\chi_{11}^{BS}&\chi_{11}^{BQ}\\ \chi_{11}^{SB}&\chi_{2}^{S}&\chi_{11}^{SQ}\\ \chi_{11}^{QB}&\chi_{11}^{QS}&\chi_{2}^{Q}\end{bmatrix}\,, (78)

where the matrix is symmetric due to Eq. (73. Then, the determinant of each submatrix must be zero or positive. Thus, for the 1×11\times 1 matrix

det[M1×1]=χ2B0,\det\left[M_{1\times 1}\right]=\chi_{2}^{B}\geq 0\,, (79)

and for the 2×22\times 2 matrix

det[M2×2]\displaystyle\det\left[M_{2\times 2}\right] =χ2Bχ2S(χ11BS)20,\displaystyle=\chi_{2}^{B}\chi_{2}^{S}-\left(\chi_{11}^{BS}\right)^{2}\geq 0\,, (80)
χ2Bχ2S\displaystyle\chi_{2}^{B}\chi_{2}^{S} (χ11BS)2.\displaystyle\geq\left(\chi_{11}^{BS}\right)^{2}\,. (81)

Using Eq. (81), then it also implies that χ2S0\chi_{2}^{S}\geq 0 because χ11BS\chi_{11}^{BS} is real. Finally, the 3×33\times 3 matrix gives the condition that we show later on in Eq. (86).

The matrix defined in Eq. (78) was somewhat arbitrarily built in that one could also have ordered it as SQB or QBS (or any other ordering). Thus, when considering all perturbations of the matrix we then arrive at the following independent conditions:

χ2B0,χ2S\displaystyle\chi_{2}^{B}\geq 0\,,\quad\chi_{2}^{S} 0,χ2Q0,\displaystyle\geq 0\,,\quad\chi_{2}^{Q}\geq 0\,, (82)
χ2Bχ2S\displaystyle\chi_{2}^{B}\chi_{2}^{S} (χ11BS)2,\displaystyle\geq\left(\chi_{11}^{BS}\right)^{2}\,, (83)
χ2Sχ2Q\displaystyle\chi_{2}^{S}\chi_{2}^{Q} (χ11SQ)2,\displaystyle\geq\left(\chi_{11}^{SQ}\right)^{2}\,, (84)
χ2Bχ2Q\displaystyle\chi_{2}^{B}\chi_{2}^{Q} (χ11BQ)2,\displaystyle\geq\left(\chi_{11}^{BQ}\right)^{2}\,, (85)
χ2Bχ2Sχ2Q+2(χ11BSχ11BQχ11SQ)\displaystyle\chi_{2}^{B}\chi_{2}^{S}\chi_{2}^{Q}+2\left(\chi_{11}^{BS}\chi_{11}^{BQ}\chi_{11}^{SQ}\right)\geq
χ2B(χ11SQ)2+χ2S(χ11BQ)2+χ2Q(χ11BS)2.\displaystyle\chi_{2}^{B}\left(\chi_{11}^{SQ}\right)^{2}+\chi_{2}^{S}\left(\chi_{11}^{BQ}\right)^{2}+\chi_{2}^{Q}\left(\chi_{11}^{BS}\right)^{2}\,. (86)

The susceptibilities can be thought of as moments of the net-BSQ distributions (again recalling that the first moment implies the respective BSQ charge densities). Then, Eq. (82) implies that the variance of each net-BSQ distribution is positive and Eqs. (83-85) imply that the covariances must also be semi-negative definite. Finally, we note that the matrix in Eq. (78) becomes more complicated at finite temperatures. However, we leave finite TT studies to future work.

For multiple solutions of the EoS, if more than one solution obeys the stability criteria, then the one with the highest pressure (or lowest grand potential density) at fixed a μ\vec{\mu} value is denoted as the stable EoS. The other EoS’ that obey Eqs. (82-85) are called metastable 333If we have two mixtures, I and II, I is stable and II is metastable if PI(μB)>PII(μB)P^{I}(\mu_{B})>P^{II}(\mu_{B}) and both satisfy Eqs. (82-85).. Additionally, if the pressure of an EoS is negative, but it obeys the stability criteria, it is also considered metastable. If there is a unique EoS with P<0P<0 that obeys Eqs. (82-85), then vacuum solutions are considered stable. We summarize our stability criteria in Table 13.

stability label thermodynamic criteria multiple solution criteria for phase ii
stable P>0P>0\ \land Eqs. (82-86) single solution Pi>Pjij\lor\;P_{i}>P_{j\neq i}\forall j
metastable Eqs. (82-86) Pji>PiP<0\exists P_{j\neq i}>P_{i}\lor P<0
unstable At least 1 fails: Eqs. (82-86)
stable vacuum =1Pi<0\exists_{=1}\land P_{i}<0
Table 13: List of criteria for labeling the stability of a solution ii at a given point in the phase diagram. We assume there is at least one solution ii that is a subset of jj i.e. iji\subset j (all possible solutions at that point in the phase diagram).

The variables related to the stability of the system also dictate the occurrence of a phase transition. For example, a first-order phase transition, such as the quark deconfinement transition at low temperatures, occurs when

PI=PII,μI=μII.P^{I}=P^{II},\qquad\vec{\mu}^{I}=\vec{\mu}^{II}. (87)

where the superindex II indicates the hadronic phase and the superindex IIII indicates the quark phase. The presence of strangeness and charge chemical potentials offers different possibilities for the phase transition, such as making the phase transition at fixed charge fraction or strangeness fraction [10, 78]. In this paper, we assume all charges are conserved during the phase transition (a non-congruent transition), where

μBI=μBII,μQI=μQII,μSI=μSII.\mu_{B}^{I}=\mu_{B}^{II},\qquad\mu_{Q}^{I}=\mu_{Q}^{II},\qquad\mu_{S}^{I}=\mu_{S}^{II}. (88)
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 4: Stable, metastable, and unstable phases in pressure vs. baryon chemical potential (top panels) and pressure vs. baryon density (bottom panels) plane with P=dP/dnBP^{\prime}={dP}/{dn_{B}}. On the left, the liquid-gas phase transition is shown with a vacuum phase at low densities and a bulk hadronic phase at large densities. On the right, the deconfinement phase transition is shown with a bulk hadronic phase at low densities and a deconfined quark phase at high densities. A Maxwell construction is shown with examples of the equal area method.

In Figure 4 different phases relevant, e.g., for the description of the core of neutron stars, are shown: vacuum, hadronic matter, and quark matter. The top panel shows a first-order phase transition in PP vs μx\mu_{x} space and the bottom shows the first-order phase transition in PP vs nxn_{x} space. Because PP vs μx\mu_{x} must be continuous, we see a clear maximum solution at each point in μx\mu_{x}. In contrast, the stable solution for the first-order phase transition demonstrated here has a jump in nxn_{x} such that across a range of nxn_{x} we see only metastable and unstable solutions.

As the chiral model in its current version does not include nuclei, we reproduce the liquid-gas phase transition as being from vacuum to bulk baryonic matter. Depending on how they are connected and which ones are present, these phases can be unstable, metastable, or stable (see Table 13). If a system is in equilibrium, then a Maxwell construction can be performed across the metastable/unstable regime, such that the EoS remains stable even across the phase transition. However, dynamical simulations often require metastable/unstable regimes in order to accurately describe the time spent in each phase of matter (see e.g. [15, 16]). Thus, in CMF++ we build Maxwell constructions, but also preserve the metastable/unstable regimes.

Given an EoS with a metastable/unstable regime across a phase transition, one can obtain the Maxwell construction in one of two ways:

  • using the equal area method in P(n)P(\vec{n}) space, in which one finds the line (dashed line) such that the two areas in Figure 4 d) are equal i.e. A1=A2A_{1}=A_{2}. See [131] for examples and discussion in a van der Waals model for the liquid gas phase transition. This method is more typical for models within the canonical ensemble;

  • choosing the maximum pressure (minimizing the grand potential density) at a specific point in μ\vec{\mu} (one can also do the same at a specific point in TT), which is demonstrated in Figure 4 (a-b). This method is more typical for models within the grand canonical ensemble.

In this work, we follow the procedure depicted in Table 13 and apply the second method to find the (most) stable phase such that at each point in our μ\vec{\mu} phase diagram, we choose the Pi(μ)=max[Pj(μ)]P_{i}(\vec{\mu})=\texttt{max}\left[P_{j}(\vec{\mu})\right] given multiple solutions jj where iji\subset j. The second method is significantly easier in CMF++ because the metastable/unstable regime in CMF++ can become significantly more complicated than the sinusoidal appearance shown in Figure 4 d). Rather, depending on the degrees of freedom one may find more than 2 solutions or even solutions that cross each other. Thus, it is not always obvious what the definition of the areas is with so many solutions present, such that the equal area method would be impractical. To differentiate between unstable and metastable phases, we also follow the procedure depicted in Table 13.

III.5 Benchmark

Refer to caption
Figure 5: Runtime comparison for Fortran vs C++.

In Figure 5 a benchmark of the time it takes to run CMF++ compared to the legacy CMF in Fortran is shown. Along the x-axis, we demonstrate the typical total number of EoM systems solved (the set of equations in Eq. 46) for 1D, 2D, and 3D EoSs. For the 1D case, μS\mu_{S} and μQ\mu_{Q} were kept at zero and μB\mu_{B} was varied from 10 points (10k EoM systems) to 100 points (100k) and finally 1000 points (1M). For the 2D case, μS\mu_{S} was kept at zero, 1000 points were used in μB\mu_{B} and 10 points in μQ\mu_{Q}. Finally, for the 3D case, 1000 points were used in μB\mu_{B}, 10 points in μQ\mu_{Q}, and 10 points in μS\mu_{S}. Along the y-axis, we find the average runtime for 16 different particle configuration combinations (4 vector potentials, decuplet on/off, quarks on/off). The dashed line represents an extrapolation given Fortran’s extreme runtime, where the star at the end is an educated guess based on the behavior at 20M. It is important to note that the time complexity for CMF++ is 𝒪(n)\mathcal{O}(n) whereas Fortran has an 𝒪(nln(n))\mathcal{O}(n\ln(n)) one. We find that CMF++ significantly improves the performance of the calculations of the EoS by at least an order of magnitude (for the simplest calculations) and up to 4 orders of magnitude for the 3-Dimensional case.

IV Results

In this section, we present our numerical findings, exploring all four vector couplings across various combinations of degrees of freedom (d.o.f.) within the CMF model, using different combinations of independent chemical potentials.

Our general approach in the following sections is to demonstrate our results for the mean fields, Φ\Phi, and certain thermodynamic variables. Then, we show population plots for the individual species of hadrons and/or quarks. Finally, the charge fractions and susceptibilities are shown. Initially, we demonstrate that the new CMF++ can both reproduce the legacy Fortran version of CMF and also obtain more precise results in 1D. Later, new results across the 3D phase space of μ\vec{\mu} are only shown for CMF++ due to the extremely long run times that they would take in the legacy Fortran code.

IV.1 {μS=μQ=0}\left\{\mu_{S}=\mu_{Q}=0\right\}

We begin by examining various sets of d.o.f, considering the simplest case where μS=μQ=0\mu_{S}=\mu_{Q}=0.

IV.1.1 C3 and C4 with baryon octet + quarks

We start by exploring the behavior of mean-field mesons, the deconfinement phase transition order parameter, Φ\Phi, and thermodynamical properties, including the baryon octet plus quarks as d.o.f under the influence of C3 and C4 vector couplings (see Tables 8, 9 and 10 for related parameters). Displaying all coupling schemes would involve an excessive amount of quantitative detail; therefore, we only present the results for C3 and C4 couplings, as C3 behaves similarly to C2 and C1 (see Sec. F for details on the other couplings).

Refer to caption
Figure 6: C3 (μS=μQ=0\mu_{S}=\mu_{Q}=0) octet + quarks: a) b) scalar meson fields (normalized by vacuum values), c) d) vector meson fields, e) and deconfinement field as a function of baryon chemical potential, f) pressure vs energy density, g) speed of sound vs baryon density (in terms of saturation density), h) baryon density (in terms of saturation density) vs baryon chemical potential. Comparison of results from Fortran for stable branches (black solid line) and CMF++ for stable (red-orange dashed line), metastable (green upside-down triangles), and unstable (pink x’s) branches.

We begin with the C3 coupling in Figure 6 in the limit of μS=μQ=0\mu_{S}=\mu_{Q}=0. The mean-field mesons (σ/σ0\sigma/\sigma_{0}, ζ/ζ0\zeta/\zeta_{0}, ω\omega, and ϕ\phi) as a function of μB\mu_{B} are shown in panels a)-d), respectively. Additionally, Figure 6 contains Φ\Phi in e), the pressure vs the energy density in f), the speed of sound squared vs the baryon density in g), and the baryon density vs the baryon chemical potential in h). Also shown in Figure 6 are the different types of solutions obtained in CMF++ that we classify as stable, metastable, and unstable solutions. The legacy Fortran code only provides stable solutions, which are also shown for comparison. The criteria for stability are comprehensively discussed in Sec. III.4, as well as Figure 4.

We observe a consistent correspondence between the results obtained from C++ and Fortran across all mean fields for stable solutions in Figure 6 panels a)-d). Additionally, Φ\Phi and the thermodynamic quantities are all precisely reproduced in the CMF++ version of the code, as one can see in the comparison of the black solid vs red long-dashed lines in panels e)-h). In all panels, we see identical results from stable solutions, except for the region with very low μB\mu_{B}, where Fortran has trouble finding solutions.

Within a given phase of matter (either hadron or quark), the stable solutions for the non-strange scalar σ/σ0\sigma/\sigma_{0} (panel a)) and strange scalar ζ/ζ0\zeta/\zeta_{0} (panel b)) ratios, hereon simply referred to as σ\sigma and ζ\zeta, monotonically decrease with increasing μB\mu_{B}. The decreasing trend in scalar condensates is indicative of chiral symmetry restoration. Panel b) resembles panel a) but we can see that the ζ\zeta field has a kink just below μB1200\mu_{B}\sim 1200 MeV, coinciding with the emergence of Λ\Lambda hyperons (refer to the discussion of hyperon population Figure 7). Also in the quark phase, we see a kink in ζ\zeta at μB1500\mu_{B}\sim 1500 MeV marking the appearance of strange quarks. The non-strange vector field ω\omega (panel c)) exhibits the opposite behavior than (panel a)), while the strange vector field ϕ\phi (panel d)) remains zero until the emergence of strange particles (in this case Λ\Lambda hyperon) and then presents a very similar behavior to panel b). Post deconfinement phase-transition, both vector fields become zero, as they do not couple to the quarks. Since we are discussing isospin symmetric matter (μQ=0\mu_{Q}=0), there is no finite value for isovector mesons.

As discussed previously in Sec. III.4, CMF reproduces three distinct phases of matter at T=0T=0: vacuum, hadronic phase, and quark phase. In Figure 6 the Maxwell constructions of the first-order phase transitions generate vertical lines at a fixed μB\mu_{B} for all the mean fields in panels a)-d). The liquid-gas phase transition (vacuum to hadrons) occurs at low μB\mu_{B} and the deconfinement phase transition (hadronic to quark) occurs at intermediate to high μB\mu_{B}. Within the phase transition itself, unstable phases may appear.

Additionally, within both the hadronic and quark phases, there are differences between phases that only/mainly contain light hadrons or light quarks vs those that contain strange hadrons or strange quarks. Separating the light vs strange dominant regimes within a given hadronic or quark phase may also be a phase transition of various order. In fact, there can appear sometimes even first-order phase transitions leading into strangeness dominant phases (light hadrons to strange hadron dominated) that occur before the deconfinement phase transition for specific parameter sets of CMF. In the following, we discuss the appearance of all possible phases in Figure 6 and in subsequent CMF parametrizations across different combinations of μ\vec{\mu}.

At low μB\mu_{B}, CMF reproduces a first-order liquid-gas phase transition. In Figure 6 the liquid-gas phase transition occurs at μB=921.5\mu_{B}=921.5 MeV. One can see the telltale vertical line in σ\sigma, ζ\zeta, and ω\omega in Figure 6. However, the ϕ\phi meson does not experience the liquid-gas phase transition because strangeness is not relevant at such a low μB\mu_{B}. Similarly, Φ\Phi, the order parameter for the deconfinement phase transition remains zero throughout the liquid-gas phase transition.

The phase transition at higher μB\mu_{B} is the one related to quark deconfinement. There is a strong relation between Φ\Phi and the meson mean fields. The value of Φ\Phi is shown in panel e) of Figure 6. The change in its value from 0 to 1\sim 1 at μB=1410.5\mu_{B}=1410.5 MeV signals the change in values for the effective masses of baryons (which become too large for them to be present) and quarks (which become light enough to appear).

Looking at the ϕ\phi meson, we find that strangeness begins to play a role at μB1200\mu_{B}\sim 1200 MeV when the ϕ\phi meson begins to deviate from 0. At the same time, we see that both the ζ\zeta field deviates further from the vacuum at that point as well. However, there is not a first-order phase transition as the strangeness begins to play a role because there is no clear vertical line in any of the mean fields between stable phases when the strange mean fields begin to become non-zero. We later analyze the susceptibilities in order to determine the order of the strangeness phase transition.

Even within the first-order phase transition, most of the solutions fulfill the stability criteria (although they do not have the maximum pressure) such that they are labeled metastable (shown in green). However, one can see small regions of unstable phases that appear (shown in pink). One surprising outcome can be seen fairly clearly in the ζ\zeta plot in panel b) and in the ϕ\phi plot in panel d). There is a small unstable region around μB1500\mu_{B}\sim 1500 MeV that connects two metastable regions, which is indicative of a first-order phase transition that connects two metastable phases. The two metastable phases contain strange hadrons (indicated because the ϕ\phi and ζ\zeta mean fields mediate the strange interactions). Thus, the phase transition (between metastable phases) goes from a hadronic phase with some strangeness into a strangeness-dominated hadronic phase. However, this strangeness-dominated hadronic phase has a lower overall pressure at a fixed μB\mu_{B} than the quark phase, such that it is not considered a stable solution.

The EoS is a relationship between the pressure and energy density P(ε)P(\varepsilon), which is shown in panel f) of Figure 6. The stable branches with the Maxwell construction show a monotonically increasing EoS with a slight kink around ε500\varepsilon\sim 500 MeV/fm3 where the hyperons switch on. Then, one can see the first-order phase transition at the plateau where PP remains constant while ε\varepsilon increases. In the quark phase, the pressure monotonically increases once again, with a very small kink appearing again when strange quarks become relevant (although that is quite hard to see).

The metastable/unstable solutions are shown in green and pink, respectively, which include both quark and hadronic solutions. As discussed previously for the strange mean fields, we can see in panel f) a phase transition within metastable phases (going from a light-dominated hadronic phase into a strangeness-dominated hadronic phase) that appears at higher pressure for a fixed energy density). The lower branches that appear at low pressure below the first-order phase transition correspond to light quark phases. Note that if quarks had not been considered, the hadronic phases would be the stable ones and a Maxwell construction would have to be built across the unstable hadronic phase.

Some of the features of the EoS may be difficult to pinpoint in the P(ε)P(\varepsilon) plot (specifically where strange hadrons or quarks become relevant). However, in panel g) showing cs2c_{s}^{2} vs nBn_{B} these features become clearer (being cs2c_{s}^{2} the derivative dP/dϵdP/d\epsilon). For instance, looking at cs2c_{s}^{2} and starting first at low nBn_{B}, we can see several interesting features. First, strange hadrons appear, creating a small peak/kink in cs2c_{s}^{2} (denoting a higher-order phase transition) when the Λ\Lambda’s appear. Then the next feature is a drop in cs20c_{s}^{2}\rightarrow 0 that leads to a plateau. The plateau corresponds to the first-order phase transition (when you have used a Maxwell construction). The metastable and unstable regimes are also shown across the phase transition. They provide a different structure instead of the plateau from the Maxwell construction. Finally, after the phase transition, we see that the cs2c_{s}^{2} rises again because of the quark phase. We can see that there is a small peak in the quark phase that arises from strange quarks appearing. Afterwards, cs2c_{s}^{2} remains near the QCD conformal limit of (1/3)(1/3) and is consistent with the pQCD results [132] as well as their constraints following stability and causality [133].

Finally, the nBn_{B} vs μB\mu_{B} plot is shown in panel h). Note that the number density nBn_{B} contains an additional non-fermionic contribution from Φ\Phi (Eqs. 63 and 64). At the liquid-gas phase transition, there is a small vertical jump at low μB\mu_{B}, followed by a monotonically increasing nB(μB)n_{B}(\mu_{B}) until the deconfinement phase transition is reached just after μB1400\mu_{B}\sim 1400 MeV. Then, in the quark phase, there is a steeper rise in the nB(μB)n_{B}(\mu_{B}) compared to what occurred in the hadronic phase (due to the Φ\Phi contribution). The metastable/unstable branches are shown in green and pink, respectively. The branch that is continuous with the hadronic phase at lower nBn_{B} is for the hadronic into strangeness-dominated hadronic phases, whereas the upper nB(μB)n_{B}(\mu_{B}) branch that connects to the quark phase is the metastable light quark phase. We can see that for this specific parametrization, the deconfinement phase transition happens at relatively large nBn_{B} (for μS=μQ=0\mu_{S}=\mu_{Q}=0).

Refer to caption
Figure 7: C3 (μS=μQ=0\mu_{S}=\mu_{Q}=0) octet + quarks: particle populations versus baryon chemical potential using stable solutions from CMF++.

To analyze the individual contributions of particles to the EoS, we plot the population of particles against μB\mu_{B} in Figure 7. The populations are defined at the baryonic number density of specific species such that if they were all added together we would recover the baryon number density (minus the Φ\Phi contribution in the quark phase) i.e.

nBhad\displaystyle n_{B}^{had} =ihadnB,i=np+nn+nΛ+\displaystyle=\sum_{i}^{had}n_{B,i}=n_{p}+n_{n}+n_{\Lambda}+\dots (89)
nBquark\displaystyle n_{B}^{quark} =iqnB,i=iqBini=13nu+13nd+13ns\displaystyle=\sum_{i}^{q}n_{B,i}=\sum_{i}^{q}B_{i}n_{i}=\frac{1}{3}n_{u}+\frac{1}{3}n_{d}+\frac{1}{3}n_{s} (90)

where Eq. (89) provides the baryon density in the hadronic phase and Eq. (90) provides the baryon density in the quark phase (given the species that appear for this specific C3 coupling at this specific choice in the μ\vec{\mu} space). Given that we have μQ=0\mu_{Q}=0, we are dealing with the symmetric nuclear matter or in other words have isospin symmetry. Due to isospin symmetry, the in-medium mass and density of protons and neutrons exhibit degeneracy i.e. nn=npn_{n}=n_{p} and mn=mpm_{n}^{*}=m_{p}^{*} at all μB\mu_{B}.

The nucleons begin to populate around

μB0\displaystyle\mu_{B}^{0} =\displaystyle= mN+B.E922MeV\displaystyle m_{N}+B.E\sim 922\rm{MeV} (91)

where mN=(mp+mn)/2m_{N}=(m_{p}+m_{n})/2 is the average nucleon vacuum mass and B.EB.E is the binding energy per nucleon. Additionally, at μB=1176\mu_{B}=1176 MeV, Λ\Lambda hyperons emerge, opening the Fermi sea and thereby softening the EoS (this coincides in the first peak in cs2(nB)c_{s}^{2}(n_{B}) in Figure 6). Following the deconfinement phase transition around μB=1410.5\mu_{B}=1410.5 MeV, baryons are replaced by quarks, resulting in a growth in the number density of quarks with μB\mu_{B}. The density of uu and dd quarks are equal across all μB\mu_{B}. Around μB1450\mu_{B}\sim 1450\; MeV, the ss quarks switch on, which corresponds to the second peak in cs2(nB)c_{s}^{2}(n_{B}) during the quark phase in Figure 6. One significant difference in the hadronic vs quark phase is that Λ\Lambda baryon shares a significantly larger fraction of the total baryon number density (with respect to protons and neutrons) than the strange quark does (with respect to up and down quarks).

Refer to caption
Figure 8: C3 (μS=μQ=0\mu_{S}=\mu_{Q}=0) octet + quarks: a) strangeness and b) charge fractions vs baryon chemical potential, c) second and d) third order baryon susceptibilities, all versus baryon chemical potential. Comparison of results from Fortran for stable branches (black solid line) and CMF++ for stable (red orange-dashed line), metastable (green upside-down triangles), and unstable (pink x’s) branches.

In Figure 8 we have our last set of figures for C3 and μS=μQ=0\mu_{S}=\mu_{Q}=0. In panel a) we show the strangeness fraction YSY_{S} vs the baryon chemical potential and in panel b) we show the electric charge fraction YQY_{Q} vs the baryon chemical potential. The baryon susceptibilities vs the baryon chemical potential are shown for second-order in panel c) and third-order in panel d).

Naively, one may expect that for μS=μQ=0\mu_{S}=\mu_{Q}=0, we have YS=0Y_{S}=0 and YQ=0.5Y_{Q}=0.5. However, as we can see in panel a), it is possible to obtain YS<0Y_{S}<0 due to the switching on of the Λ\Lambda baryon in the hadronic phase and later strange quarks in the quark phase (recall that a strange quark carries S=1S=-1 strangeness, such that YS<0Y_{S}<0). After the emergence of the Λ\Lambda hyperon (refer to Figure 7), the magnitude of YSY_{S} steadily increases until μB=1410.5\mu_{B}=1410.5 MeV, when it jumps to zero at the deconfinement, at which point the strange quarks slowly appear increasing the strangeness magnitude (see again Figure 7). In the limit of isospin symmetric matter, the Λ\Lambda baryon contributes no net-isospin since its quark content is udsuds and, therefore, is more preferred compared to the Σ+\Sigma^{+} (uus) or Σ\Sigma^{-} (dds), which would create an isospin imbalance. Note the increase in the magnitude of YSY_{S} in the metastable and stable phases at large μB\mu_{B} in panel a). This increase in the magnitude of YSY_{S} in the metastable regime arises due to the hadronic phase with many hyperons (i.e. a strangeness-dominated hadronic phase) that would have appeared were quarks not included in the calculation.

In the charge fraction plot in panel b) we find that YQY_{Q} remains at 0.5 (representing an equal amount of positive and neutral nucleons) until the appearance of the neutral Λ\Lambda hyperon. After the Λ\Lambda hyperons appear, YQY_{Q} continues to decrease because they create a further imbalance between charged and neutron hadrons. At densities above the deconfinement transition, YQY_{Q} begins to decrease once more with increasing μB\mu_{B} due to the ss quark’s increasing relevance. Note that the isospin fraction YIY_{I} remains zero for all μB\mu_{B}. The relation between the different fractions is related to quantum numbers and can be derived from the Gell-Mann–Nishijima formula, resulting in YQ=YI+12+12YSY_{Q}=Y_{I}+\frac{1}{2}+\frac{1}{2}Y_{S} (for negative strangeness). This is discussed in detail in ref. [78]. We note that the metastable and unstable branches are also shown in YQ(μB)Y_{Q}(\mu_{B}) and mirror the same qualitative behavior as was already discussed for YS(μB)Y_{S}(\mu_{B}).

To gain a clearer insight into the different phase transitions, second and third-order susceptibilities (χn=dnP/dμBn\chi_{n}={d^{n}P}/{d\mu^{n}_{B}} with n=2,3n=2,3) are displayed against μB\mu_{B} in panels c) and d), respectively. The susceptibilities are normalized by different orders of μB\mu_{B} to ensure they are dimensionless. Recall that the first-order susceptibility is just nBn_{B}, which was already shown in Figure 6 where we already saw the first-order discontinuities for the liquid-gas phase transition (μB=921\mu_{B}=921 MeV) and deconfinement (μB=1410.5\mu_{B}=1410.5 MeV). Then, the two first-order phase transitions are propagated into χ2\chi_{2} as two divergences and into χ3\chi_{3} also as two divergences (although they are significantly larger).

In χ2\chi_{2} we can see that two kinks appear at μB=1176\mu_{B}=1176 MeV and μB=1410.5\mu_{B}=1410.5 MeV that correspond to the transition where strange baryons and strange quarks appear, respectively. Then, in χ3\chi_{3} the kinks turn into divergences at these same locations, which indicates that the onset of strangeness is a third-order phase transition. Thus, we can draw an interesting connection here to cs2(nB)c_{s}^{2}(n_{B}) that displays kinks at precisely these locations as well. Given that one can show that for a single conserved charge that cs2=nB/(μBχ2)c_{s}^{2}=n_{B}/(\mu_{B}\chi_{2}) [120] and nB/μBn_{B}/\mu_{B} is smooth and continuous, then this kink in χ2\chi_{2} also appears in cs2(nB)c_{s}^{2}(n_{B}) as an inverted kink.

Refer to caption
Figure 9: C4 (μS=μQ=0\mu_{S}=\mu_{Q}=0) octet + quarks: a) b) scalar meson fields (normalized by vacuum values), c) d) vector meson fields, e) and deconfinement field as a function of baryon chemical potential, f) pressure vs energy density, g) speed of sound vs baryon density, h) baryon density vs baryon chemical potential. Comparison of results from Fortran for stable branches (black solid line) and CMF++ for stable (red-orange dashed line), metastable (green upside-down triangles), and unstable (pink x’s) branches.
Refer to caption
Figure 10: C4 (μS=μQ=0\mu_{S}=\mu_{Q}=0) octet + quarks: particle populations versus baryon chemical potential using stable solutions from CMF++.
Refer to caption
Figure 11: C4 (μS=μQ=0\mu_{S}=\mu_{Q}=0) octet + quarks: a) strangeness and b) charge fractions vs baryon chemical potential, c) second and d) third order baryon susceptibilities, all versus baryon chemical potential. Comparison of results from Fortran for stable branches (black solid line) and CMF++ for stable (red orange-dashed line), metastable (green upside-down triangles), and unstable (pink x’s) branches.

Figure 9 depicts the same set of plots that include mean fields, Φ\Phi, and thermodynamic properties as in Figure 6, but for the C4 coupling scheme. We once again include the information on both the stable, metastable, and unstable phases. We also compared the legacy CMF to CMF++. We found a strong agreement between the results obtained from C++ and Fortran solutions.

In Figure 10 the corresponding population plot is shown for the C4 coupling for the combination of octet+quarks. Finally, in Figure 11 the charge and strange fractions are shown as well as the susceptibilities of the pressure. In the following, we discuss these three plots and compare and contrast them with the previous C3 coupling that we showed as well.

The key difference between the C3 and C4 couplings lies in the presence of mixed couplings ω3ϕ\omega^{3}\phi and ωϕ3\omega\phi^{3} in the C4 coupling (Eq. 27), leading to a different sensitivity to strangeness. Due to these changes, there is no stable hadronic phase that includes strange baryons for the C4 couplings at μS=μQ=0\mu_{S}=\mu_{Q}=0 (see Figure 10). However, strange quarks do appear in the deconfined quark phase.

The mean fields associated with strangeness (ϕ\phi and ζ\zeta) include self-interactions for the ϕ\phi meson and the ζ\zeta meson that couples with the non-strange scalar field σ\sigma (see Eq. 46), resulting in additional attractive interactions. Thus, due to these self-interactions and ζσ\zeta-\sigma couplings, even when no strange baryons are present in the hadronic phase, we find that ϕ0\phi\neq 0 and ζ/ζ01\zeta/\zeta_{0}\neq 1 (see Figure 9). More specifically due to the ω3ϕ\omega^{3}\phi and ωϕ3\omega\phi^{3} coupling terms in C4, ϕ\phi has a much larger absolute value in the hadronic phase, see panel d) in Figure 9, compared to C3 in panel d) in Figure 6. On the other hand, comparing ζ\zeta in panel b) to C3 in panel b) in Figure 6, we find that ζ/ζ0\zeta/\zeta_{0} is closer to unity for C4.

We only focus on the deconfinement phase transition for C4 because the liquid-gas phase transition has the same properties as C3. For the C4 coupling, across panels a) to b) of Figure 9, we observe a jump in the ratio of the scalar mean fields, after which the scalar mean fields continue to decrease. The vector fields become zero at this point as they do not couple to quarks. Based on the behavior of the mean fields, we conclude that the phase transition for the C4 coupling shifts to a somewhat lower μB=1382.5\mu_{B}=1382.5 MeV. The shift in the phase transition to lower μB\mu_{B} is confirmed by the Φ\Phi behavior shown in panel e) where we see the vertical line at μB=1382.5\mu_{B}=1382.5 MeV and the shift is also confirmed later on in the population plot in Figure 10. The first-order phase transition also appears in panels f) for P(ε)P(\varepsilon) and g) for cs2(nB)c_{s}^{2}(n_{B}) of Figure 9. The signatures of the first-order phase transition are similar to C3, even though they appear at a different location. C4 has a slightly larger phase transition than C3 (larger jump in nBn_{B}) because it is a sharper change from protons and neutrons into quarks than if other hadrons had appeared before deconfinement.

In order to understand strangeness in the coupling C4, let us begin with the population plot in Figure 10. We see that for the hadronic regime, we only have protons and neutrons (in precisely equal amounts since this is for symmetric nuclear matter) such that there are no strange baryons. Thus, in the thermodynamic properties of C4 the lack of strange baryons implies that there is no kink in cs2(nB)c_{s}^{2}(n_{B}) in the stable hadron phase (panel g) of Figure 9).

However, in the quark regime, we see in the population plot in Figure 10 that strange quarks are present and they play a more significant role compared to the C3 coupling. Because of the presence of these strange quarks, we see there is a kink in ζ\zeta (panel b) of Figure 9) when the strange quark switches on and then ζ\zeta becomes significantly larger in magnitude in the quark phase as the amount of strangeness increases with μB\mu_{B}. In terms of thermodynamics, we see a kink in cs2(nB)c_{s}^{2}(n_{B}) at high nBn_{B} when the strange quarks appear (panel g) of Figure 9). Additionally, we find that nB(μB)n_{B}(\mu_{B}) is significantly steeper in the quark phase (panel h) of Figure 9). The influence on cs2c_{s}^{2} and nB(μB)n_{B}(\mu_{B}) are both consequences of the fact that the strange quarks play a much larger role in the C4 coupling than in the C3 coupling, even though they appear at roughly the same μB\mu_{B}.

As discussed above, the C4 coupling does not produce strange hadrons in the hadron phase. Since strange hadrons soften the EoS, then the C4 coupling has a stiffer EoS at low nBn_{B} compared to the C3 coupling. In fact, the larger ω\omega value in C4 leads to a stronger repulsive force, that gives us a stiffer cs2c_{s}^{2} at low nBn_{B}. The stiffer EoS at low nBn_{B} then results in the modeling of more massive neutron stars when finite isospin is included [51, 72, 134, 53, 54, 81, 68, 110, 67, 69, 135, 10, 77, 78, 136].

In the quark phase, the cs2(nB)c_{s}^{2}(n_{B}) looks very similar between C3 and C4. However, because of the stiffer low nBn_{B} EoS for C4 (and the fact that cs2c_{s}^{2} is a derivative of P(ε)P(\varepsilon)), then that leads to also a stiffer high nBn_{B} EoS for C4 as well (even though both of their cs2(nB)c_{s}^{2}(n_{B}) look very similar at high nBn_{B}).

One of the most significant differences between the C4 and C3 (see panels g) of Figure 9 and Figure 6) couplings is that the metastable/unstable regimes are significantly different for C3 compared to C4. We find that the order parameter Φ\Phi has the same qualitative shape, although the phase transition does take place at a different spot (see panels g) of Figure 9 and Figure 6). However, when we look at P(ε)P(\varepsilon) we see that the metastable region is significantly more simplistic for C4, such that there is no longer a phase transition within hadronic metastable phases that existed previously for C3 (see panels f) of Figure 9 and Figure 6). Thus, C4 does not present a strangeness-dominated metastable hadronic phase (that would be stable if it wasn’t for the quarks) as C3 did. However, one can see that for the metastable regime in cs2(nB)c_{s}^{2}(n_{B}) around nB5nsatn_{B}\sim 5n_{sat}, there is a small kink, which implies that the strange hadrons would become non-zero if quarks were not considered (see panel g) of Figure 9).

Due to the absence of hyperons in the baryonic sector (for C4 in the case with μS=μQ=0\mu_{S}=\mu_{Q}=0), both YSY_{S} and YQY_{Q} in panels a) and b) of Figure 11 remain YQ=0.5Y_{Q}=0.5 and YS=0Y_{S}=0 until the strange quarks appear (compare with Figure 8). However, once the strange quarks appear after the phase transition, we see that YSY_{S} in the stable phase is significantly larger in overall magnitude for C4 than for C3, demonstrating once again the larger role that strange quarks play in C4. That effect also leads to a much larger deviation of YQY_{Q} from 0.5 in the quark phase. The metastable hadronic phase shown for YSY_{S} and YQY_{Q} also makes it clear what we discussed previously when we looked at the metastable region of cs2(nB)c_{s}^{2}(n_{B}) that for the C4 coupling strange baryons appear in the metastable regime.

Finally, we return to the susceptibilities to better understand the order of the phase transitions (panels c) and d) of Figure 11). To remind the reader, we already saw jumps in the first-order baryon susceptibility, i.e nBn_{B} in Figure 9 at μB=921.5\mu_{B}=921.5 MeV for the liquid-gas phase transition and at μB=1382.5\mu_{B}=1382.5 MeV for the first-order deconfinement phase transition. Then in the second-order susceptibility, χ2\chi_{2} we see significantly larger divergences at these points. As expected, for χ3\chi_{3}, those divergences are amplified further (higher-order susceptibilities scale with high-orders of the correlation length such that they are more sensitive to phase transitions, see e.g. [121]). We can also see the telltale kink in χ2\chi_{2} when the strange quarks switch on at high μB\mu_{B}. The kink in χ2\chi_{2} then leads to a divergence in χ3\chi_{3} such that we also see a third-order phase transition for the C4 coupling within the quark phase. This third-order phase transition also has the kink in cs2(nB)c_{s}^{2}(n_{B}), providing another example that a third-order phase transition leads to a kink in cs2(nB)c_{s}^{2}(n_{B}).

IV.1.2 C1-C4 with baryon octet + decuplet

Refer to caption
Figure 12: C1-C4 (μS=μQ=0\mu_{S}=\mu_{Q}=0) octet + decuplet: a) b) scalar meson fields (normalized by vacuum values), c) d) vector meson fields, and e) deconfinement field as a function of baryon chemical potential, f) pressure vs energy density, g) speed of sound vs baryon density, h) baryon density vs baryon chemical potential. Results from CMF++ stable solutions for C1 (red-orange solid line), C2 (black dashed line), C3 (green dotted line), and C4 (cyan dash-dotted line).
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 13: C1-C4 (μS=μQ=0\mu_{S}=\mu_{Q}=0) octet + decuplet: particle populations versus baryon chemical potential using stable solutions from CMF++. C1 is shown in panel a), C2 in panel b), C3 in panel c), and C4 in panel d).
Refer to caption
Figure 14: C1-C4 (μS=μQ=0\mu_{S}=\mu_{Q}=0) octet + decuplet: a) strangeness and b) charge fractions vs baryon chemical potential, c) second and d) third order baryon susceptibilities, all versus baryon chemical potential. Results from CMF++ stable solutions for C1 (red-orange solid line), C2 (black dashed line), C3 (green dotted line), and C4 (cyan dash-dotted line).

Up until now, we have considered a combination of the baryon octet and quark phases. Here we explore the alternative where no quark phase is present but a larger, more complex hadronic phase is possible wherein both the baryon octet and decuplet are possible. Thus, in this scenario, as μB\mu_{B} increases we anticipate that a wealth of new baryonic states are switched on. Since the decuplet includes Δ\Delta’s, the new baryons do not necessarily carry strangeness, but maybe light states as well. Note that the appearance of first Δ\Delta’s vs hyperons depends on the couplings and parameters in the CMF module.

At this time, the quark couplings have not yet been fitted while also including the decuplet baryons. Thus, we have not yet incorporated the combination of the octet+decuplet+quarks in this analysis. We have performed some initial testing with the possibility of octet+decuplet+quarks and found that in that case (within the current parametrization) the quarks appear at very large μB\mu_{B}’s, outside the regime of neutron stars.

In Figure 12 we show the mean fields, Φ\Phi, and thermodynamic properties for C1-C4 for the case of the octet+decuplet at μS=μQ=0\mu_{S}=\mu_{Q}=0. While we no longer show the comparison between C++ and legacy Fortran versions of CMF, we note that we have checked their consistency for all following plots. However, we do not show the comparisons to improve the readability of the plots. Finally, we note that the C4 coupling reproduces for the chosen d.o.f. a much lower density and energy density than the other couplings (for a given μB\mu_{B}, so it only appears at the beginning of the plots that use those quantities as the x-axis. In the presence of both the baryon octet and decuplet, the differences between C1-C4 are overall more significant than before. Previous work [53] has shown that C1-C3 produce nearly identical results in the case of just the baryon octet+quarks (although there are small subtle differences in YSY_{S} and YQY_{Q} close to the phase transition from C1C1 vs C2C3C2-C3). Now with the decuplet present, we find that C1C4C1-C4 all lead to distinct solutions that can be seen quite clearly in both the mean-field mesons and the thermodynamics.

In panels a)-d) of Figure 12 we find general trends in the mean-field mesons that are the same as what we saw for the baryon octet+quark configuration i.e. σ\sigma, ζ\zeta, and ϕ\phi always decrease with μB\mu_{B} while ω\omega increases. However, their exact behavior within these general trends can differ quite significantly and present jumps/kinks as different particles switch on. The C1 and C4 couplings are simpler because they do not contain first-order phase transitions from a light hadronic phase into a strangeness or Δ\Delta-dominated hadronic phase. Thus, we find that the C1 and C4 coupling schemes change more smoothly as one increases μB\mu_{B}. Specifically, the C4 coupling scheme even with the baryon octet+decuplet, has significantly fewer contributions from hadrons that are not protons and neutrons (see Figure 13). Because C4 is dominated by protons and neutrons, it leads to a significantly stiff low nBn_{B} EoS, and the means fields have a smooth behavior across all μB\mu_{B}. In contrast, C1C1 has a relatively smooth behavior in σ\sigma and ω\omega, but there is a sudden change (not quite first order) in ζ\zeta and ϕ\phi, where we can see sharp drops in their values around μB15001600\mu_{B}\sim 1500-1600 MeV (again, in Figure 12). The increase in the magnitude of ζ\zeta and ϕ\phi still occurs across a range of μB\mu_{B}, such that we would not classify it as a first-order phase transition, but it appears to be a sharper higher-order phase transition (we discuss the exact order in the susceptibilities later on).

We now come to the C2 and C3 couplings, which demonstrate quite interesting behavior. For every panel a)-d) in Figure 12, we see a clear vertical line around μB=1370.5\mu_{B}=1370.5 MeV for C2 and μB=1408.5\mu_{B}=1408.5 MeV for C3. For the mesons, these vertical lines translate to a small jump in ω\omega and σ\sigma, and a very significant jump in ζ\zeta and ϕ\phi. Thus, what we find is that we have a first-order phase transition from a light baryon-dominated regime to a strange and Δ\Delta baryon-dominated regime. We later explore the implications of what baryons switch on across this phase transition when we explore the population plots. This first-order phase transition in the hadronic phase is the same phase transition that we saw previously for C3 couplings when quarks were present in Figures 6 and 9 that fell in the metastable regime.

Panel e) in Figure 12 confirms the absence of quarks, as indicated by the Φ\Phi field remaining zero across the entire μB\mu_{B} range. Thus, the first-order hadronic phase transition that we see in Figure 12 arises entirely from the couplings, effective masses, etc. and is not driven by the explicit order parameter Φ\Phi that we have built into our model.

Panel f) in Figure 12 presents the EoS for all coupling cases. We see significant differences from C4 compared to the other couplings. The C4 couplings lead to a very stiff EoS that steadily rises with ε\varepsilon. If we then compare this to the speed of sound in panel g), we see that we also reach the largest cs2c_{s}^{2} with C4, such that cs2>0.5c_{s}^{2}>0.5. One can see a small kink in cs2c_{s}^{2} for C4, which is our first hint that other particles beyond protons and neutrons switch on for C4, but it is a rather subtle effect. It is clear then, looking at nB(μB)n_{B}(\mu_{B}) in panel h), that the lack of other hadrons that switch on for C4 leads to the lowest corresponding nBn_{B} for a given μB\mu_{B}. In other words, the fewer hadronic species possible at a given μB\mu_{B} implies a lower nBn_{B}.

Let us now return to the EoS in panel f) in Figure 12 and explore the C1 coupling that appears to fall in between what is seen for C4 and C1-C2. Recall that the C1 coupling did not have a first-order phase transition into a strangeness-dominated hadronic phase. However, it did demonstrate steep changes in its mean-field mesons, potentially indicating a higher-order phase transition. In P(ε)P(\varepsilon) we can see signs of this higher-order phase transition by the slight flattening in the pressure, but P(ε)P(\varepsilon) never reaches a true plateau like one would anticipate for a first-order phase transition. If we then look at the speed of sound in panel g), we can see the quite interesting non-monotonic behavior in C1. The kinks in cs2c_{s}^{2} correspond to the appearance of new baryons at a given nBn_{B}. Altogether, we find 5 distinct peaks in cs2c_{s}^{2} vs nBn_{B} for C1, which likely indicates the presence of 5 new hadronic species switching on at certain nBn_{B}’s. Additionally, we see a softening where cs2c_{s}^{2} drops to cs20.1c_{s}^{2}\rightarrow 0.1 but does not hit exactly 0, as one would expect for a first-order phase transition. Finally, this behavior leads to a steeper rise in nB(μB)n_{B}(\mu_{B}) in panel h) because of the new hadronic degrees of freedom that switch on.

Finally, we come to C2-C3 which has shown indications that a first-order phase transition occurred within the mean-field mesons, even though the deconfinement order parameter is always Φ=0\Phi=0. At low nBn_{B} for C2 and C3 we see a tiny peak in cs2c_{s}^{2} in panel g) of Figure 12 around nB2.5nsatn_{B}\sim 2.5n_{sat} that occurs at the same location as what is seen for C1. Thus, we likely have at least one new particle switching on before the first-order phase transition occurs at higher nBn_{B}. Looking at the P(ε)P(\varepsilon) relationship in panel f) we see that there is a plateau consistent with a first-order phase transition that then translates into a region of cs20c_{s}^{2}\rightarrow 0 in panel g) and a jump in nB(μB)n_{B}(\mu_{B}) in panel h) for C2-C3. Following the first-order phase transition, we find a very steep increase in nB(μB)n_{B}(\mu_{B}) in panel h), which is consistent with what we understood before - new degrees of freedom leads to a larger nBn_{B} at a fixed μB\mu_{B}.

The evidence is quite clear that we have a first-order phase transition, but that the phases of matter are always hadronic on both sides of the phase transition. It is also interesting to compare this hadronic phase transition to what we saw previously for the baryon octet into quarks in Figure 6 and Figure 9. The general behavior of the C2-C3 EoS is very similar for the deconfinement phase transition vs the hadronic phase transition. In fact, the hadronic phase transitions for C2-C3 take place at nearly the same location as the deconfinement phase transition, which is why in Figure 6 we saw a phase transition within the metastable regime.

Here we show the population plots for C1-C4 in Figure 13. The C4 coupling has the simplest population, so let us begin with that. We find that for the C4 coupling the system is heavily dominated by just protons and neutrons, although Λ\Lambda baryons appear at high μB=1464[MeV]\mu_{B}=1464\,\mathrm{[MeV]}. However, their contribution is only a very small fraction of the baryon number.

Let us now discuss the C1 coupling, for which previously we suspected 5 new particles to switch on due to the peaks in cs2c_{s}^{2}. We also previously found that there was no first-order phase transition within the hadronic phase. When we look at the population plot, we find confirmation of both of these facts. The particles slowly turn on (there is no distinct jump in their population numbers) while the influence of the proton/neutron begins to decrease around μB1400\mu_{B}\sim 1400 MeV. Additionally, we can confirm that new particles (all degeneracies at once) switch on in the (increasing μB\mu_{B}) order of: first Λ\Lambda’s, second Δ\Delta’s, third Ξ0\Xi^{0} and Ξ\Xi^{-}, fourth Σ±\Sigma^{\pm} and Σ0\Sigma^{0}, fifth Ξ0\Xi^{*0} and Ξ\Xi^{*-}. Thus, it is true that 5 different species of particles turn on at those peaks, but each peak sometimes includes multiple versions of that particle with different electric charges. We find that once the Δ\Delta baryons switch on we reach the peak in protons/neutrons such that they decrease as the contribution of Δ\Delta’s increases. We also observe that as the S=2S=-2 baryons switch on, we see the influence of Λ\Lambda’s wane as well.

In the C2 and C3 coupling, we observe that in the low nBn_{B} region the hadron phase consists of predominately protons, neutrons, and Λ\Lambda’s that appear a bit before μB<1200\mu_{B}<1200 MeV. For the C3 coupling, we even see a small contribution of Δ\Delta’s just before the first-order phase transition appears into the strangeness and Δ\Delta-dominated phase. We then see a first-order phase transition at μB=1370.5\mu_{B}=1370.5 MeV for C2 and at μB=1408.5\mu_{B}=1408.5 MeV for C3 to a different mixture of hyperons and baryon decuplet (roughly going from top to bottom in density): first Ξ\Xi, nucleons, Δ\Delta, Ξ\Xi^{*}, Λ\Lambda, and Σ\Sigma, then Ω\Omega, then Σ\Sigma^{*}. C2 and C3 have slightly different mixtures of all these baryons after the first-order phase transition, however, the key result is that S=2S=-2 are the most populous baryon in this strangeness-dominated phase and even S=3S=-3 Ω\Omega^{-} baryons are allowed.

Panels a) and b) of Figure 14 depicts the evolution of YSY_{S} and YQY_{Q} with respect to μB\mu_{B}. Because the C4 coupling has the least populous strange baryons, YSY_{S} and YQY_{Q} remain at 0 and 0.5, respectively, until the emergence of the Λ\Lambda hyperon at large μB\mu_{B}. Conversely, for C1, YSY_{S} and YQY_{Q} remain constant until the first strange particle switches on (Λ\Lambda) where YSY_{S} smoothly because non-zero and YQY_{Q} smoothly decreases. As more new hadrons switch on, YSY_{S} and YQY_{Q} both begin to drop more rapidly. The largest drop occurs around μB1500\mu_{B}\sim 1500 [MeV] where the S=2S=-2 becomes relevant and rapidly increases in importance. Finally, for C2-C3 we see a vertical line in YSY_{S} and YQY_{Q} where the first-order hadronic phase transition occurs. The overall magnitude of YSY_{S} is the largest for C2-C3 because even S=3S=-3 hadronic states are switched on.

The susceptibilities in panels c) and d) illustrate the location of the first-order phase transition in C2 and C3 at μB=1370.5\mu_{B}=1370.5 MeV and μB=1408.5\mu_{B}=1408.5 MeV, respectively (in addition to the liquid-gas phase transition). For C1 we see an especially surprising effect. In χ2\chi_{2} we have two second-order phase transitions (or maybe nearly second-order) that appear in the range of μB15001600\mu_{B}\sim 1500-1600 [MeV] that relates to Σ\Sigma’s and Ξ\Xi’s rapidly switching on. These (nearly) second-order phase transitions lead to the softening in cs2c_{s}^{2} that was seen earlier in panel g) of Figure 12. We specify that these are “nearly” second-order phase transitions because we do not see cs20c_{s}^{2}\rightarrow 0 and it does not appear that χ2\chi_{2} is quite diverging, although it looks very close to that behavior. χ3\chi_{3} in panel d) confirms that the other phase transitions that we saw in C1 are all of third-order. We do not find any phase transitions in C4 (beyond the liquid-gas phase transition).

IV.2 {μB,μS0,μQ=0}\left\{\mu_{B},\mu_{S}\neq 0,\mu_{Q}=0\right\}

Refer to caption
Figure 15: C3 (μS0,μQ=0\mu_{S}\neq 0,\mu_{Q}=0) octet + decuplet + quarks: a) scalar meson field σ\sigma normalized by vacuum value, b) deconfinement field Φ\Phi, c) strangeness fraction, d) charge fraction, e) baryon density, and f) speed of sound as functions of baryon and strange chemical potentials.
Refer to caption
Figure 16: C4 (μS0,μQ=0\mu_{S}\neq 0,\mu_{Q}=0) octet + decuplet + quarks: a) scalar meson field σ\sigma normalized by vacuum value, b) deconfinement field Φ\Phi, c) strangeness fraction, d) charge fraction, e) baryon density, and f) speed of sound as functions of baryon and strange chemical potentials.

In the following discussion, we analyze the role of the strangeness chemical potential μS\mu_{S} while keeping the charge potential fixed, μQ=0\mu_{Q}=0. This scenario is similar to what would be seen in low-energy heavy-ion collisions (although they are typically at finite TT) because there are local fluctuations of both baryon charge and strangeness such that fluctuations in μB,μS\mu_{B},\mu_{S} also appear, but the system is nearly isospin symmetric such that μQ\mu_{Q} (the amount of isospin asymmetry depends on the choice of initial colliding nuclei) is close to zero.

Since the strangeness number is negative (see Table 2), a positive μS\mu_{S} at large μB\mu_{B} leads to a smaller magnitude of YSY_{S}, and a negative μS\mu_{S} leads to a larger magnitude of strangeness density. Nevertheless, a more positive μS\mu_{S} could have no effect on the system in the case that there was not enough energy for strange particles to appear in the first place. In principle, an extraordinarily large μS>μB\mu_{S}>\mu_{B} would lead to the preference for anti-strange particles, however, this is not a limit that is relevant to neither heavy-ion collisions nor neutron stars, so we do not explore it here. In astrophysics, μS=0\mu_{S}=0. In heavy-ion collisions, the system is globally strangeness neutral and if one is calculating quantities related to the entire system, μS\mu_{S} can easily reach up to a third of μB\mu_{B} to ensure strangeness neutrality. That being said, local fluctuations of strangeness absolutely exist and have been measured experimentally (in fact, strange particles account for roughly 10%10\% of the final particles produced at high energies [12], it is just that they are exactly balanced by particles that carry anti-strangeness). Thus, it is possible that one subsection of the fluid experiences μS<0\mu_{S}<0 whereas another section experiences μS>0\mu_{S}>0 (see e.g. [19]).

IV.2.1 C3 and C4 with baryon octet + decuplet + quarks

We now focus on the C3 and C4 coupling schemes, which are shown using 3D density plots in Figure 15 and Figure 16, respectively, and allow the presence of the baryon octet, decuplet, and quarks. In these figures, only the stable solutions of C++ results are shown. Let us now explain how we can interpret the 3D plots. The x-axis corresponds to the baryon chemical potential and the y-axis corresponds to the strange chemical potential. Then, each plot uses the color scheme to depict a given variable’s value, with its range indicated on the right side of the image. Panel a) shows the ratio of the σ\sigma mean-field to its vacuum value, b) shows the deconfinement order parameter Φ\Phi, panels c) and d) show the strangeness and charge fractions, panel e) depicts the ratio of baryon density to the saturation density and panel f) the speed of sound squared in units of the speed of light.

For both C3-C4 in the light hadronic phase (not strangeness or Δ\Delta dominated), we find that the σ\sigma field is always maximum at low μB\mu_{B} and then continuously decreases with μB\mu_{B} (regardless of the value in μS\mu_{S}, as discussed in Sec. IV.1. At some point, a discontinuity appears that we will discuss later, but then a new phase of matter appears at large μB\mu_{B}. The nature of this new phase of matter at large μB\mu_{B} depends on both the coupling and the values of μS\mu_{S}.

For the C4 coupling, the new phase of matter is a quark phase wherein within the quark phase the σ\sigma (panel a) of Figure 16) has a maximum immediately after the phase transition, followed by a monotonic decrease as μB\mu_{B} increases. Referring to the order parameter Φ\Phi in panel b), we can see clearly that this phase transition corresponds to the deconfinement phase transition, since Φ1\Phi\rightarrow 1 in the quark phase. We find that the deconfinement phase transition for C4 does not depend on the μS\mu_{S} value, which is because Λ\Lambda’s appear significantly later in the C4 coupling such that they do not significantly influence the mean fields/thermodynamics in the hadronic phase.

However, for the C3 coupling, the intermediate/high μB\mu_{B} phase of matter strongly depends on μS\mu_{S}. More positive μS\mu_{S} leads to a quark phase for C3 coupling, however, more negative μS\mu_{S} leads to a strangeness-dominated hadronic phase. We can distinguish between the quark phase by using the order parameter Φ\Phi in panel b) of Figure 15 that only approaches 1 for most positive values of μS\mu_{S} (although some small negative values of μS\mu_{S} at large μB\mu_{B} do also lead to a quark phase). Then, it is clear that the other phase of matter must be a strangeness-dominated phase by referring to YSY_{S} in panel c) in Figure 15 where YS1Y_{S}\rightarrow-1 in this phase. In the quark phase for C3, σ\sigma is significantly larger than for the strangeness-dominated phase wherein σ\sigma approaches zero, which is indicative of the chiral restoration at very high densities. This highlights the anti-correlation of Φ\Phi and σ\sigma at the deconfinement phase transition (see Figure A21 in Sec. F) related through hadronic and quark effective masses (Eq. 43 and Eq. 44).

For C3, one very interesting consequence of these two different discontinuities is that it gives rise to a triple (critical) point. In fact, this is a quantum triple critical point because these calculations are all performed at T=0T=0. Given that heavy-ion collisions can have fluctuations of μS\mu_{S}, it may mean that it is possible to experience this quantum critical point at very low beam energy heavy-ion collisions. We have yet to study how the location/existence of this quantum triple critical point varies with temperature, but we leave that for the next stage of CMF++ when the temperature is included.

In the C3 coupling, as μS\mu_{S} decreases and the magnitude of the strangeness fraction |YS||Y_{S}| increases, the phase transition to the strange-dominated phase rapidly moves to lower values of μB\mu_{B} (one can see this clearly in panel c) as the green/yellow colors switch abruptly to red). The shift in the phase transition with μS\mu_{S} happens because the pressure increases with decreasing μS\mu_{S} (for a given μB\mu_{B}) due to the increasing amount of strange particles, which also increases the baryon density (panel e), filling up the Fermi sea. The shift in the phase transition is not related to the stiffening of the EoS (by stiffening we mean an increase in PP with respect to ε\varepsilon because instead hyperons typically soften the EoS). Meanwhile, in the light hadronic phase, the pressure is not as strongly affected, since only the Λ\Lambda hyperon appears.

We find that for C3 there is already some strangeness (likely the Λ\Lambda’s) that switches on during the light hadronic phase. One can see that in panel c) in Figure 15 since the blue (consistent with YS0Y_{S}\sim 0) shifts to green/yellow (consistent with YS0.3Y_{S}\sim-0.3 to 0.6-0.6). Then for μS>0\mu_{S}>0 one would go to a light quark phase (strangeness appears to play almost no role in the C3 quark phase for positive μS\mu_{S}) or into the strangeness-dominated hadronic phase for μS<0\mu_{S}<0.

In the strangeness-dominated phase, both the octet hyperons and their corresponding spin 3/2 excitations are present, as well as the Δ\Deltas and the Ω\Omega baryons. The light-to-strangeness-dominated hadronic phase transition was already present in the μS=0\mu_{S}=0 case. However, at μS=0\mu_{S}=0 this hadronic phase transition was only observed in the metastable region when quarks were present (see Figure 6) but in the absence of quarks, the hadronic phase transition appeared in the stable region (see Figure 12).

In contrast, for C4 in Figure 16, we see that YS0Y_{S}\sim 0 in panel c) for the entire regime where Φ=0\Phi=0 in panel b). However, in the quarks phase for C4, a large, negative μS\mu_{S} is strongly correlated with a large, negative YSY_{S}, such that large μS\mu_{S} switches on a large number of strange quarks. In the μS>0\mu_{S}>0 regime in the quark phase for C4, we find almost no strangeness, such that light quarks dominate.

We have already discussed YSY_{S} quite a bit, but here we briefly discuss the relationship between YSY_{S} and YQY_{Q}. For these results, we have made the assumption that μQ=0\mu_{Q}=0, which corresponds to isospin symmetric matter, where (as already discussed) YQ=12+12YSY_{Q}=\frac{1}{2}+\frac{1}{2}Y_{S}. This clearly holds in panels c) and d) in Figs. 15-16. In fact, this relationship is easy to calculate at the limit of YS=1Y_{S}=-1 that corresponds to YQ=0Y_{Q}=0, which corresponds exactly to what can be seen in the bottom right-hand corner of panels c) and d) in Figs. 15-16.

We do not show the P(ε)P(\varepsilon) relationship directly but rather cs2c_{s}^{2} in panel f) because it is easier to see changes in the degrees of freedom and the influence of phase transition in a derivative plot. Due to the complexities that appear in cs2c_{s}^{2} across the μB,μS\mu_{B},\mu_{S} plane, we discuss the C3 and C4 couplings separately.

The C3 coupling has a number of new particles that switch on as μB\mu_{B} increases (this was previously apparent through the population plots at the limit of μS=0\mu_{S}=0). Here in the μB,μS\mu_{B},\mu_{S} plane we can see new particles switch on through discontinuities in the color spectra, which correspond to kinks in cs2(nB)c_{s}^{2}(n_{B}). For C3, the Λ\Lambda particle is the first one to appear, at μB=1176\mu_{B}=1176 MeV at μS=0\mu_{S}=0. The discontinuity in color (or rather kink in cs2c_{s}^{2}) is correlated with μS\mu_{S} as we vary μB\mu_{B} such that large, negative values of μS\mu_{S} see the kink at low μB\mu_{B} whereas large positive values of μS\mu_{S} see the kink at large μB\mu_{B}. Additionally, the sharpness of the kink changes with μS\mu_{S}, negative values of μS\mu_{S} have a smoother kink vs positive values of μS\mu_{S} that sharpen the kink. We can understand the correlated behavior in the location of the kink in μBkink(μS)\mu_{B}^{kink}(\mu_{S}) because μS<0\mu_{S}<0 decreases the energy required to produce strange baryons, allowing for them to appear at lower μB\mu_{B}. For positive μS>0\mu_{S}>0 there is a very small kink near the deconfinement phase transition, which is a result of the onset of Δ\Delta baryons.

Following the hadronic phase for C3, there is a first-order phase transition into quarks. Because μS<0\mu_{S}<0 allows for the possibility of new strange states (at lower μB\mu_{B}), another kink appears, followed very closely behind by a jump to cs20c_{s}^{2}\rightarrow 0 (not shown here because the Maxwell construction is not shown) at the first or second-order phase transition marking the onset of the strangeness-dominated phase. In the negative μS\mu_{S} region, the kink near the hadronic phase transition is due to the onset of the Ξ\Xi particles, which now appear before Δ\Deltas (the one at lower μB\mu_{B} is due to the Λ\Lambda’s). The lack of points in the large μB\mu_{B}, positive μS\mu_{S} region indicates that no convergence is found when solving the field equations Eq. 46.

The C4 coupling results for cs2c_{s}^{2} in panel f) are significantly easier to understand. Generally, cs2c_{s}^{2} is stiffer than the other couplings and we can see that steady increase up until the quark phase appears. At the quark phase, there is a sharp drop in cs2c_{s}^{2} that stays close to the conformal limit of cs21/3c_{s}^{2}\rightarrow 1/3. For μS<0\mu_{S}<0 we do see that there is the possibility of Λ\Lambda hyperons switching on in the hadronic phase when a small discontinuity corresponding to a kink in cs2c_{s}^{2} can be seen (although the kink appears rather smooth). Even in the quark phase, there appears a small kink as well, but it is quite difficult to see.

IV.3 {μB,μS=0,μQ0}\left\{\mu_{B},\mu_{S}=0,\mu_{Q}\neq 0\right\}

Refer to caption
Figure 17: C3 (μS=0,μQ0\mu_{S}=0,\mu_{Q}\neq 0) octet + decuplet + quarks: a) scalar meson field σ\sigma normalized by vacuum value, b) deconfinement field Φ\Phi, c) strangeness fraction, d) charge fraction, e) baryon density, and f) speed of sound as functions of baryon and charge chemical potentials.
Refer to caption
Figure 18: C4 (μS=0,μQ0\mu_{S}=0,\mu_{Q}\neq 0) octet + decuplet + quarks: a) scalar meson field σ\sigma normalized by vacuum value, b) deconfinement field Φ\Phi, c) strangeness fraction, d) charge fraction, e) baryon density, and f) speed of sound as functions of baryon and charge chemical potentials.

Now we analyze the interplay of the charge chemical potential, μQ\mu_{Q}, and μB\mu_{B}, while holding μS=0\mu_{S}=0. The charge chemical potential is directly related to the appearance of electrically charged particles and, unlike the strangeness potential, it breaks the degeneracy between particles of the same family. From Eq. 50, we can expect a significantly negative μQ\mu_{Q} to reduce the overall net positive charge of the system, bringing it farther away from symmetric nuclear matter. How this shift away from symmetric nuclear matter depends on the degrees of freedom of the system, their couplings, and interactions. For instance, for a system of just neutrons and protons, μQ<0\mu_{Q}<0 suppresses the YQY_{Q} of the system such that either fewer protons appear or more neutrons appear. For a system that allows for richer hadron chemistry, a negative μQ\mu_{Q} suppresses the appearance of positively charged particles and/or enhances the appearance of negatively charged particles. We explore only the region of negative μQ\mu_{Q}, since this is the physically relevant region both for heavy-ion collisions where Z/A0.4Z/A\sim 0.4 (leading to small μQ<0\mu_{Q}<0) and for asymmetric nuclear matter found in neutron stars (leading to large μQ<0\mu_{Q}<0), where β\beta equilibrium is achieved.

IV.3.1 C3 and C4 with baryon octet + decuplet + quarks

The figures follow the same structure as in Sec. IV.2, but where we have changed the y-axis from μS\mu_{S} to μQ\mu_{Q}. We show the σ\sigma mean fields a), the deconfinement order parameter b), charge d) and strange c) fractions, baryon density e) and speed of sound squared f) for C3 in  Figure 17 and for C4 in  Figure 18.

At finite μQ\mu_{Q}, the σ\sigma mean-field (panel a)) still generally decreases with μB\mu_{B}, within a given phase of matter. However, we can see that a non-monotonic behavior in σ\sigma can appear across μB\mu_{B}. In the case of the C4 coupling, we see a non-monotonic behavior in σ\sigma where there is a minimum in the hadronic phase right before the deconfinement phase transition (see panel b)) wherein σ\sigma then increases in the quark phase, before decreasing again at high μB\mu_{B}. In the case of the C3 coupling, this behavior is more complex and depends on μQ\mu_{Q} because the existence of the deconfinement phase transition only appears for μQ100\mu_{Q}\gtrsim-100 MeV. In the C3 coupling, the strangeness-dominated hadronic phase further complicates this non-monotonic behavior of σ\sigma. For instance, if one fixes μQ=50\mu_{Q}=-50 MeV, one can see that σ\sigma steadily decreases until just before μB1400\mu_{B}\sim 1400 MeV where a sharp drop appears (going into the strangeness-dominated hadronic phase). Then, going towards higher μB\mu_{B}, we see a sharp increase in σ\sigma at the onset of quark deconfinement at around μB1450\mu_{B}\sim 1450 MeV.

At negative μQ50\mu_{Q}\lesssim-50 MeV for both the C3 and C4 couplings, a small region with σ/σ0=1\sigma/\sigma_{0}=1 is seen (dark blue seen at very low μB\mu_{B}), which indicates the presence of the liquid-gas transition. When we see σ/σ0=1\sigma/\sigma_{0}=1, this is an indication that the vacuum solution is the stable solution. Of course, the actual liquid-gas phase transition should not go to a vacuum phase but rather switch to nuclei (which are not included in our model).

As previously discussed, we use the baryon density nBn_{B} (panel e)) to determine the existence of a first-order phase transition (a jump in seen in nB(μB)n_{B}(\mu_{B})) and/or the order of any given phase transition through the susceptibilities. In the C3 coupling scheme, we can immediately see in Figure 17 two first-order lines that appear when μQ<0\mu_{Q}<0. We can then use a combination of the deconfinement order parameter in panel b) (recall that if Φ=0\Phi=0 we are still in a hadronic phase) and the strangeness fraction in panel c) (recall that YS1Y_{S}\rightarrow-1 in the strangeness-dominated phase) to disentangle the deconfinement phase transition vs a first-order phase transition into the strangeness-dominated phase. At exactly μQ=0\mu_{Q}=0 these two first-order lines converge into a triple point such that one goes directly from the light hadronic phase into the deconfined quark phase (see that the point where the lines converge also corresponds to an order parameter of Φ=1\Phi=1). However, at μQ<0\mu_{Q}<0 it is clear that as one increases μB\mu_{B}, then one first reaches a strangeness-dominated phase, and then only at even higher μB\mu_{B} is the quark deconfinement phase reached. If μQ110\mu_{Q}\lesssim-110 MeV, then the quark deconfinement phase transition disappears entirely because there is a region where the code finds no solution. The critical μB\mu_{B} of the hadronic phase transition moves to lower values as μQ\mu_{Q} decreases since the pressure in the strangeness-dominated phase rises while in light hadronic phase it decreases (both at a given μB\mu_{B}) due to the larger amount of negatively charged particles in the light hadronic phase, which soften the EoS (pressure vs. energy density).

For C4, there is no hadronic phase transition. Thus, we never reach a strangeness-dominated hadronic phase in the C4 coupling. However, we can still use cs2c_{s}^{2} in panel f) to identify new particles that have switched on and understand the role that μQ\mu_{Q} values have in the possibility of opening up these new particles. We find that lowering the charge chemical potential to more negative values moves the onset of the Λ\Lambda to lower μB\mu_{B}, as marked by the strangeness fraction in panel c) and the discontinuity in the speed of sound, shown in panel f), starting around μB1370\mu_{B}\approx 1370 MeV and μQ65\mu_{Q}\approx-65 MeV. The Λ\Lambda is affected by the charge chemical potential, even though it is not charged, due to the coupling between the ω\omega and ϕ\phi mesons in C4, Eq. 46, which increases the effective chemical of the Λ\Lambda, moving its onset to a lower μB\mu_{B} as μQ\mu_{Q} decreases.

In the C3 coupling, the location of the deconfinement transition in μB\mu_{B} is anti-correlated with μQ\mu_{Q} (in other words more negative μQ\mu_{Q} leads to a phase transition at a higher μB\mu_{B}). The anti-correlation of the location of the critical μB\mu_{B} for deconfinement with μQ\mu_{Q} occurs because the quark phase presents a very large density and has a lower pressure for lower μQ\mu_{Q} (for fixed μB\mu_{B}). Within the deconfined quark phase, we find that at low absolute value of μQ\mu_{Q} there are very few strange quarks. However, as the absolute value of μQ\mu_{Q} increases, it opens up more strange quarks (because they carry electric charge 1/3-1/3). Eventually, at μQ130\mu_{Q}\sim-130 MeV, the code no longer finds solutions consistent with a quark phase such that solutions end with the strangeness-dominated hadronic phase.

For the deconfinement phase transition, we find an opposite effect when it comes to the correlations between the critical μQ\mu_{Q} and μQ\mu_{Q} for C4 coupling. At μQ=0\mu_{Q}=0 we find that the deconfinement phase transition occurs at the maximum μB\mu_{B} in panel b) for the order parameter Φ\Phi. As μQ\mu_{Q} becomes increasingly negative, then there is a slow shift into the critical μB\mu_{B} for deconfinement to lower values. Because C4 has a much larger quark phase than C3, we can see more interesting effects that appear in the quark phase at large μQ\mu_{Q}. Both the strange and down quarks are preferred for low μQ\mu_{Q} because they carry a negative charge, whereas the positive up quarks are suppressed. The consequence of a dominant down/strange quark phase is that YSY_{S} becomes very negative and YQ<0Y_{Q}<0 as well in the quark phase. This isospin asymmetry causes the pressure to rise as a function of decreasing μQ\mu_{Q} (for a given μB\mu_{B}).

While we have discussed how we can use YSY_{S} in panel c) and YQY_{Q} in panel d) in Figure 17 to interpret the underlying properties of the phase of matter, here we discuss their general behavior across the μB,μQ\mu_{B},\mu_{Q} phase space. Starting with the C3 coupling, we find that YSY_{S} is mostly 0 in the light hadronic phase. Only after μB1200\mu_{B}\gtrsim 1200 MeV do we begin to see a slightly negative YSY_{S} due to the appearance of the Λ\Lambda. However, μQ<0\mu_{Q}<0 opens up the strangeness-dominated hadronic phase in the range of μB13001500\mu_{B}\sim 1300-1500 MeV (depending on μQ\mu_{Q}) wherein YS=1Y_{S}=-1 where almost all hadrons carry strangeness (and some carry multiple strangeness). Then the deconfined quark phase is significantly less strange and only has some significant contribution of strange quarks when μQ\mu_{Q} is very negative.

The YQY_{Q} behavior is quite different than YSY_{S}. The YQY_{Q} plot for C3 in panel d) has different regimes of interest. Unsurprisingly, close to μQ0\mu_{Q}\sim 0 one is close to the symmetric nuclear matter and YQ0.5Y_{Q}\sim 0.5 (the one exception is in the strangeness-dominated phase where, even at low μQ\mu_{Q}, YQ0Y_{Q}\sim 0). Then at low μB\mu_{B} and very negative μQ\mu_{Q}, we find that YQ0Y_{Q}\rightarrow 0 because pure neutron matter is reached. For μQ<0\mu_{Q}<0 and intermediate μB\mu_{B} (still in the light hadronic phase) we find small, positive values of YQY_{Q}. In this regime protons have switched on and eventually some other particles like Λ\Lambda’s (that are neutral but still suppress YQY_{Q} because they increase nBn_{B}). At very largely negative μQ\mu_{Q} and large μB\mu_{B} but still, in the light hadronic phase, we can even see YQ<0Y_{Q}<0. The strangeness-dominated phase generally has mostly negative values of YQY_{Q} because protons are heavily suppressed while strange baryons with a negative charge are preferred. Finally, in the quark phase, the value of YQY_{Q} strongly depends on the value of μQ\mu_{Q}. At low μQ\mu_{Q}, the quark phase is primarily an even mix of up and down quarks such that YQ0.5Y_{Q}\sim 0.5, but as μQ\mu_{Q} becomes more negative then strange and down quarks are preferred, which decreases YQY_{Q}.

For the C4 coupling in Figure 18 we find that YSY_{S} is essentially zero for the light hadronic phase and only because significantly negative once the deconfined quark phase is reached. Then at large μB\mu_{B} and very negative μQ\mu_{Q}, there is a region where strange quarks are preferred such that YQ0.8Y_{Q}\rightarrow-0.8.

The YQY_{Q} for C4 reaches 0 for the pure neutron matter region at low μB\mu_{B} and very negative μQ\mu_{Q}. Then at large μB\mu_{B} (or smaller μB\mu_{B} for large μQ\mu_{Q}) it is close to 0.5 in the light hadronic phase. For the quark phase, only at μQ0\mu_{Q}\sim 0 do we find YQ0.5Y_{Q}\sim 0.5. As μQ\mu_{Q} becomes more negative in the quark phase, we find YQY_{Q} slowly becomes smaller until it eventually becomes negative (and then more and more negative).

Next, let us discuss the properties of nBn_{B} in panel e) for both the C3 and C4 couplings. We find that in the light hadronic phase, both have very small values of nBn_{B} that slowly increase with μB\mu_{B} (regardless of μQ\mu_{Q}). For C3 in the strangeness-dominated phase, the new hadronic states open up new degrees of freedom, leading to much larger nBn_{B}. For the deconfined quark phase in C3, we find very large values of nBn_{B} such that they are much likely well beyond the reach of neutron stars. In contrast, C4 goes directly to the quark phase at large μB\mu_{B}. In the quark phase, we find a large jump in nBn_{B} from hadrons into quarks across the phase transition. Then nBn_{B} steadily increases with μB\mu_{B} in the quark phase, independently of μQ\mu_{Q}.

Next, we can use cs2c_{s}^{2} to determine when new hadronic species are switching on in the C3 coupling due to the kinks/discontinuities that appear. From the speed of sound plot (in panel f)), we can identify how the appearance of different baryons changes with μB,μQ\mu_{B},\mu_{Q}.

For C3, at 0<μQ500<\mu_{Q}\lesssim-50 MeV the first discontinuity in cs2(μB)c_{s}^{2}(\mu_{B}) as one increases μB\mu_{B} is due to the Λ\Lambda’s. This is clear because YSY_{S} changes at this point, but YQY_{Q} is only mildly affected. Then we see a smaller kink that appears that causes a YSY_{S} to become more negative and YQY_{Q} to slightly decrease. Then, the strangeness-dominated phase appears around μB1400\mu_{B}\sim 1400 MeV, which switches on the Δ\Delta^{-}, Ξ\Xi^{-}, Σ\Sigma^{-} baryons, such that YS1Y_{S}\rightarrow-1 and YQ0Y_{Q}\sim 0. There is then one final discontinuity in cs2c_{s}^{2} that indicates the quark deconfinement phase transition.

For μQ<50\mu_{Q}<-50 MeV an even richer hadronic phase appears and many new states open up. At low μB\mu_{B} we have a discontinuity, which occurs as a transition from pure neutron matter into one that includes protons as well (as often seen in neutron star calculations, since the proton chemical potential μp=μB+μQ\mu_{p}=\mu_{B}+\mu_{Q} is less than the neutron one, μn=μB\mu_{n}=\mu_{B}). Then, the Λ\Lambda baryon switches on at μB1170\mu_{B}\approx 1170 MeV, with an associated discontinuity that is only slightly modified by μQ\mu_{Q} due to the changes in the meson fields. Three more discontinuities appear at sufficiently low μQ\mu_{Q}, associated with the onset of the Ξ\Xi^{-}, Δ\Delta^{-}, and Σ\Sigma^{-} particles, respectively. Then a sharp transition in cs20c_{s}^{2}\rightarrow 0 appears for the first-order phase transition into the strangeness-dominated regime. In summary, the order or appearance is Λ\Lambda, Δ\Delta^{-}, Ξ\Xi^{-}, Σ\Sigma^{-}, in the hadronic phase, and then, in the strangeness-dominated, the Ξ\Xi’s become dominant, but all the octet particles appear, as well as the Δ\Delta’s.

Overall, we find that cs2c_{s}^{2} is pretty dependent on μQ\mu_{Q} for both C3 and C4. At μQ0\mu_{Q}\sim 0 for C3 we see one kink at around μB1200\mu_{B}\sim 1200 MeV and then the triple critical point at around μB1400\mu_{B}\sim 1400 MeV that leads to some kinks with a very brief dip in cs2c_{s}^{2} at the phase transition(s). As μQ\mu_{Q} becomes more negative, then cs2c_{s}^{2} has a large number of kinks that appear at may see 1-2 regions (depending on the exactly μQ\mu_{Q}) where cs0c_{s}\rightarrow 0. For C4 we already discussed previously that symmetric nuclear matter has a very stiff EoS with no kinks in the hadronic phase (and only a very tiny one in the quark phase). However, as one goes to μQ<0\mu_{Q}<0 a dip in cs2c_{s}^{2} appears when the proton switches one and a kink appears when the Λ\Lambda appears as well, followed by the jump across the first-order deconfinement phase transition.

IV.4 {μB,μS0,μQ0}\left\{\mu_{B},\mu_{S}\neq 0,\mu_{Q}\neq 0\right\}

Up until this point, we have always set one or two chemical potentials to zero. Due to the limitations of 2-dimensional plots, it is significantly more difficult to vary all 3 chemical potentials at once in a meaningful manner. Thus, in the following, we hold either μS=const\mu_{S}=const while varying μB,μQ\mu_{B},\mu_{Q} or hold μQ=const\mu_{Q}=const while varying μB,μS\mu_{B},\mu_{S}.

Refer to caption
Figure 19: C3 (μS0,μQ=200MeV\mu_{S}\neq 0,\mu_{Q}=-200\,\mathrm{MeV}) octet + decuplet + quarks: a) scalar meson field σ\sigma normalized by vacuum value, b) deconfinement field Φ\Phi, c) strangeness fraction, d) charge fraction, e) baryon density, and f) speed of sound as functions of baryon and strange chemical potentials.
Refer to caption
Figure 20: C3 (μS=50MeV,μQ0\mu_{S}=-50\,\mathrm{MeV},\mu_{Q}\neq 0) octet + decuplet + quarks: a) scalar meson field σ\sigma normalized by vacuum value, b) deconfinement field Φ\Phi, c) strangeness fraction, d) charge fraction, e) baryon density, and f) speed of sound as functions of baryon and strange chemical potentials.

IV.4.1 C3 with baryon octet + decuplet + quarks

In this section, we consider the baryon octet, decuplet, and quarks to allow for the widest possible range of degrees of freedom while we explore the interplay of μB,μS,μQ\mu_{B},\mu_{S},\mu_{Q}. We focus on the C3 coupling, which has the most distinct features and has a larger variety of particle species that regularly appear in the EoS compared to C4. Note that, because heavy particles tend to soften the EoS, the lower amount of heavy particles in the C4 coupling generally has an easier time reproducing astrophysical constraints of neutron star masses and radii [53].

In Figure 19, the charge chemical potential is kept fixed at μQ=200\mu_{Q}=-200 MeV, which is a typical value in hadronic neutron star matter, and the strangeness chemical potential is varied. Then in Figure 20 we study the opposite scenario wherein the strangeness chemical potential is fixed at μS=50\mu_{S}=-50 MeV, and the μQ\mu_{Q} is varied. In each of the panels, we show the σ\sigma mean-field meson a), the Φ\Phi order parameter b), charge d) and strange c) fractions, baryon density e) and speed of sound squared f).

Let us begin with the fixed μQ=200\mu_{Q}=-200 MeV in Figure 19. To explain the σ\sigma, we begin at the low μB\mu_{B} end and work our way up to larger μB\mu_{B}. At very low μB\mu_{B} and largely negative μS\mu_{S} we find a very tiny phase of matter that forms a blue triangle, i.e. σ/σ01\sigma/\sigma_{0}\rightarrow 1. While one might be tempted to assume that this is a vacuum state since it occurs at low μB\mu_{B}, we later see that it is dominated by strange baryons (although at very low density). Then at larger μB\mu_{B} the behavior of σ\sigma has the same qualitative appearance as what was seen in panel a) from Figure 15 and even has similar values for the hadronic phase, the strangeness-dominated phase, and the quark deconfined phase.

However, the exact location of these phases of matter and the shape of their first-order phase transitions are different at finite μQ\mu_{Q}. The quark deconfinement in Figure 19 occurs in a region of positive μS\mu_{S} and larger μB\mu_{B} and the strangeness-dominated hadronic phase occurs at lower values of the μS\mu_{S} compared to what we saw previously in Figure 15. The main role of the negative μQ\mu_{Q} is to push the triple point from μS0\mu_{S}\gtrsim 0 to μS23\mu_{S}\gtrsim 23 MeV. A consequence of the change in the location of the triple point at finite μQ\mu_{Q} is that the deconfinement phase transition shifts to lower μB\mu_{B}. At, e.g., μS=50\mu_{S}=-50 MeV, only the hadronic phase transition occurs, as confirmed by the deconfinement field Φ\Phi in panel b).

For μQ=200\mu_{Q}=-200 MeV the deconfinement transition shifts to lower μB\mu_{B} in the positive μS\mu_{S} region (when compared with Figure 15), due to the higher amount of negatively charged particles at the same μB\mu_{B} in the hadronic phase. These extra negatively charged strange particles increase the pressure for a given μB\mu_{B} (see panels c), d) and e) in Figure 19) of the hadronic phase (while softening the EoS). In contrast, in the quark phase, finite μQ\mu_{Q} (Figure 19 vs. Figure 15) only changes the ratio of up and down quarks, since the phase transition occurs before the onset of strangeness (panel c)).

One conclusion that we can draw from these plots is if C3 correctly describes the matter within neutron stars and heavy-ion collisions, then we could expect that neutron stars have deconfinement phase transition at lower μB\mu_{B} than what we expect in heavy-ion collisions (where μQ\mu_{Q} is negative but normally smaller than what is seen in neutron stars). Additionally, because heavy-ion collisions can experience fluctuations in μS\mu_{S} due to variations in the local strangeness content, it could be that some regions of the fluid see a first-order phase transition into a strangeness-dominated regime, but other parts of the fluids experience a first-order phase transition into quarks, and yet other parts may fluctuate from quarks into strange baryons (or vice versa).

When we hold μS=50\mu_{S}=-50 MeV, fixed in Figure 20, we find that we remove the deconfinement phase transition entirely for C3 (see that Φ=0\Phi=0 in panel b) across all μB,μQ\mu_{B},\mu_{Q}). However, we can see that there is significant variation in σ\sigma across μB\mu_{B} in that we see a small region where σ/σ01\sigma/\sigma_{0}\sim 1 at low μB\mu_{B} (panel a)), very negative μQ\mu_{Q}, then a somewhat steadily decreasing values of σ\sigma followed by a sharp drop for σ0\sigma\rightarrow 0. Since there is no deconfined phase transition, then this regime only contains hadronic states. This sharp drop in σ\sigma corresponds to the strangeness-dominated hadronic phase (see panel C)).

In the case of fixed μS=50\mu_{S}=-50 MeV and varying μQ\mu_{Q} in Figure 20, we find that the phase transition into the strangeness-dominated hadronic phase is at approximately the same location as what was previously seen for μQ=0\mu_{Q}=0 in Figure 17, it is just that the strangeness-dominated hadronic phase is now always the stable solution regardless of μQ\mu_{Q} at finite μS\mu_{S} (to the exclusion of the quark phase). Also, the strangeness-dominated phase is able to find solutions out to large μB\mu_{B} as well when μS<0\mu_{S}<0 as compared to the μS=0\mu_{S}=0 case (e.g.,  Figure 17).

In both Figure 19 and Figure 20, the Ξ\Xi^{-} appears before the proton. For μQ170\mu_{Q}\lesssim-170 MeV when μS=50\mu_{S}=-50 MeV and for μS50\mu_{S}\lesssim-50 MeV when μQ=200\mu_{Q}=-200 MeV. The strangeness and charge fraction, displayed in panels c) and d) of Figure 19 and Figure 20, show the same tendency as discussed previously: in each phase, both present an overall decrease with μB\mu_{B} after the onset of the strangeness and with decreasing μS\mu_{S} or μQ\mu_{Q} at the lowest μ\mu’s analyzed. This feature is mostly due to the substantial contribution of the Ξ\Xi^{-} and Σ\Sigma^{-} hyperons, which become more relevant than protons at sufficiently low μS\mu_{S}. We can tell the strong roles of these hyperons by the very negative YSY_{S} in panel c) and the also negative or small YQY_{Q} in panel d). In fact, for C3 we find an interesting phenomena at μB920\mu_{B}\lesssim 920 MeV and μQ70\mu_{Q}\lesssim-70~MeV, where there is a phase where only the Σ\Sigma^{-} particle appears when μQ=200\mu_{Q}=-200 MeV (Figure 19).

The baryon density, shown in panel e) in both Figure 19 and Figure 20 increases with μB\mu_{B} and with decreasing μQ\mu_{Q} or μS\mu_{S}, in all phases. Additionally, the value of the density in the quark and the strangeness-dominated phases are very similar immediately after the transition, with nB10nsatn_{B}\gtrsim 10n_{\rm sat}.

For μQ=200\mu_{Q}=-200 MeV, the vertical discontinuities in the speed of sound, displayed in the leftmost part of panel f) in Figure 19, indicate the appearance of the proton and the Δ\Delta^{-}. The Δ\Delta^{-} is then followed by the Λ\Lambda’s, Ξ\Xi^{-}, and Σ\Sigma^{-} as one increases μB\mu_{B}. However, Ξ\Xi^{-}, and Σ\Sigma^{-} do not appear above μS60\mu_{S}\approx 60 MeV, but as μS\mu_{S} decreases, they eventually overcome protons and neutrons. While we do not show the population plots in 3D due to their immense complexity, in the hyperonic phase the most abundant particles are in order of abundance Ξ\Xi^{-}, Ξ0\Xi^{0}, Ξ\Xi^{*-}, n, Δ\Delta^{-}, Δ0\Delta^{0}, Ω\Omega, Σ\Sigma^{-}, Ξ0\Xi^{*0}, Δ0\Delta^{0}, p, Δ+\Delta^{+}, Λ\Lambda, Σ0\Sigma^{0}, Δ++\Delta^{+}+ and Σ+\Sigma^{+}.

For μS=50\mu_{S}=-50 MeV (Figure 20), the appearance of protons and Λ\Lambda are identified as the first two kinks from the figure. The change on the onset of the Λ\Lambda with μQ\mu_{Q} is due to the coupling of the vector fields Eq. 46. After the Λ\Lambda’s appear, the Ξ\Xi^{-} and Σ\Sigma^{-} appear as one increases μB\mu_{B} in the μQ>150\mu_{Q}>-150 MeV. Below μQ=150\mu_{Q}=-150 MeV, the Ξ\Xi^{-} eventually becomes more abundant than the Λ\Lambda and the proton. Across the first-order phase transition, into the strangeness-dominated phase, we see that cs20c_{s}^{2}\rightarrow 0, and the population follows the one in Figure 20.

V Final remarks

We presented in this paper new results from the Chiral Mean Field (CMF) model at vanishing temperatures calculated using the new CMF++ code that will be integrated as a module in the MUSES cyberinfrastructure and be available to the public soon as open-source [137]. The runtime improved more than 4 orders of magnitude in 3 dimensions (μB,μS,μQ\mu_{B},\mu_{S},\mu_{Q}), when compared to the legacy Fortran code, while showing good agreement in a wide variety of configurations, couplings, thermodynamic quantities, etc. Numerical improvements also allowed us to calculate higher-order susceptibilities for the first time, which allowed us to identify first, second (quantum critical points), and third-order phase transitions for the first time within CMF.

For the sake of clarity, we have presented a thorough review of the CMF model, including for the first time a thorough derivation of the formalism focusing on T=0T=0. The derivation includes the Lagrangian density, equations of motion, and thermodynamic properties. We are now able to calculate the unstable and metastable regimes between first-order phase transitions within CMF++ and have outlined the complex stability criteria for 3 chemical potentials (BSQ) in the grand canonical ensemble for both T=0T=0 (7 stability conditions) and finite TT (15 stability conditions).

While exploring different CMF vector couplings (C1-C4 defined in the paper) and a large 3-Dimensional parameter space in chemical potential, μB\mu_{B}, μS\mu_{S}, μQ\mu_{Q}, we were able to identify different phases of matter that may appear at T=0T=0: pure neutron matter, light hadronic matter (protons, neutrons, and sometimes Λ\Lambda’s), strangeness and Δ\Delta-dominated hadronic phase (S=2S=-2 baryons dominate but other baryons may appear such as Δ\Delta’s, Σ\Sigma’s, and even Ω\Omega’s), and deconfined quark matter (although there is a strong flavor dependence of the quark phase such that we have seen quarks phases dominated by light quarks, others by strange quarks, and yet others by down and strange quarks). The strangeness and Δ\Delta dominated hadronic phase is especially interesting because often a first-order phase transition appears into this phase of matter such that the EoS may look very similar to one that goes from a light hadronic phase into a deconfined quark phase (although in our model we find that the phase transition into the strangeness-dominated phase tends to be smaller than into quarks). This strangeness-dominated hadronic phase is triggered by large amounts of hyperons or heavier (spin 3/2) baryons appearing in the system. We found that the strangeness-dominated phase may be a stable solution of the EoS or even hidden within the metastable regime.

Within one of the vector couplings we studied, we found that a tricritical point appeared in the μB,μS\mu_{B},\mu_{S} phase space such that at high μB\mu_{B} (depending on the μS\mu_{S}) one could either find a first-order phase transition into deconfined quarks or into a strangeness dominated hadronic phase (or even a first-order phase transition separating quarks from a strangeness dominated hadronic phase). Given that heavy-ion collisions can have local fluctuations of μS\mu_{S} due to gluons splitting into quark anti-quark pairs, then it is not unreasonable to think that effects of this tricritical point could be potentially observed in low-energy heavy-ion collisions.

Our next step is to develop the finite TT version of the CMF++ code, which is already underway. The finite TT version of CMF++ will allow direct comparisons to lattice QCD as well as the potential to couple to other finite TT codes that reach large μB\mu_{B} such as the holography EoS [29].

Acknowledgements.
The authors acknowledge useful discussions with Jorge Noronha and Johannes Jahan on the stability constraints. All authors of this paper are a part of the MUSES collaboration, which is supported by the NSF under OAC-2103680. Additional support for the collaboration members includes: RH is supported under OAC-2005572, and OAC-2004879. J.N.H. acknowledges support from the US-DOE Nuclear Science Grant No. DE-SC0023861, and within the framework of the Saturated Glue (SURGE) Topical Theory Collaboration. R.K., J.P., and V.D were funded by the National Science Foundation, grant number PHY1748621. The work is also supported by the Illinois Campus Cluster, a computing resource that is operated by the Illinois Campus Cluster Program (ICCP) in conjunction with the National Center for Supercomputing Applications (NCSA), which is supported by funds from the University of Illinois Urbana Champaign. Figures in the manuscript were produced using matplotlib [138, 139].

References

Appendix A Particle multiplets

The following baryon and meson matrices are constructed from the triplet tensor products 𝟑𝟑𝟑{\bf{3}}\otimes{\bf{3}}\otimes{\bf{3}} and 𝟑𝟑¯{\bf{3}}\otimes\bar{\bf{3}}, respectively, where 𝟑=(u,d,s)T{\bf{3}}=(u,d,s)^{T} [140].

  • Baryon Matrix

    B=(Σ02+Λ6Σ+pΣΣ02+Λ6nΞΞ02Λ6).B=\begin{pmatrix}\frac{\Sigma^{0}}{\sqrt{2}}+\frac{\Lambda}{\sqrt{6}}&\Sigma^{+}&p\\ \Sigma^{-}&\frac{-\Sigma^{0}}{\sqrt{2}}+\frac{\Lambda}{\sqrt{6}}&n\\ \Xi^{-}&\Xi^{0}&-2\frac{\Lambda}{\sqrt{6}}\end{pmatrix}\,. (92)
  • Scalar-Meson Matrix

    X=(δ0+σ2δ+κ+δδ0+σ2κ0κκ¯0ζ).X=\begin{pmatrix}\frac{\delta^{0}+\sigma}{\sqrt{2}}&\delta^{+}&\kappa^{+}\\ \delta^{-}&\frac{-\delta^{0}+\sigma}{\sqrt{2}}&\kappa^{0}\\ \kappa^{-}&\bar{\kappa}^{0}&\zeta\end{pmatrix}\,. (93)
  • Vector-Meson Matrix

    Vμ=(ρμ0+ωμ2ρμ+Kμ+ρμρμ0+ωμ2Kμ0KμK¯μ0ϕμ).V_{\mu}=\begin{pmatrix}\frac{\rho_{\mu}^{0}+\omega_{\mu}}{\sqrt{2}}&\rho_{\mu}^{+}&K_{\mu}^{*+}\\ \rho_{\mu}^{-}&\frac{-\rho_{\mu}^{0}+\omega_{\mu}}{\sqrt{2}}&K_{\mu}^{*0}\\ K_{\mu}^{*-}&\bar{K}_{\mu}^{*0}&\phi_{\mu}\end{pmatrix}\,. (94)
  • Pseudoscalar-Meson Matrix

    P=(12(π0+η81+2w2)π+2K+w+1π12(π0+η81+2w2)2K0w+12Kw+12K0¯w+121+2w2η8),\displaystyle P=\begin{pmatrix}\frac{1}{\sqrt{2}}\left(\pi^{0}+\frac{\eta^{8}}{\sqrt{1+2w^{2}}}\right)&\pi^{+}&2\frac{K^{+}}{w+1}\\ \pi^{-}&\frac{1}{\sqrt{2}}\left(-\pi^{0}+\frac{\eta^{8}}{\sqrt{1+2w^{2}}}\right)&2\frac{K^{0}}{w+1}\\ 2\frac{K^{-}}{w+1}&2\frac{\bar{K^{0}}}{w+1}&-\sqrt{\frac{2}{1+2w^{2}}}\eta^{8}\end{pmatrix}\,,

    where w=2ζ0/σ0w=\sqrt{2}\zeta_{0}/\sigma_{0}.

  • Pseudoscalar-Meson Singlet Matrix

    Y=13η0(100010001).Y=\sqrt{\frac{1}{3}}\eta^{0}\begin{pmatrix}1&0&0\\ 0&1&0\\ 0&0&1\end{pmatrix}\,. (96)

Appendix B Lagrangian density calculations

B.1 The self-interaction term for scalar mesons

In this study, we consider a term with the form

scal=12k0χ2I2+k1I22+k2I4+2k3χI0+k3NχI3+ϵ3χ4lnI0detX0k4χ4+χ44ln(χ4χ04).\begin{split}\mathcal{L}_{\rm scal}=&-\dfrac{1}{2}k_{0}\chi^{2}I_{2}+k_{1}I_{2}^{2}+k_{2}I_{4}+2k_{3}\chi I_{0}+k_{3N}\chi I_{3}+\dfrac{\epsilon}{3}\chi^{4}\ln\dfrac{I_{0}}{\mathrm{det}\langle X_{0}\rangle}-k_{4}\chi^{4}+\frac{\chi^{4}}{4}\ln\bigg{(}\frac{\chi^{4}}{\chi_{0}^{4}}\bigg{)}\,.\end{split} (97)

In the mean-field approximation,  Eq. 93 becomes

X=(δ+σ2000δ+σ2000ζ),X=\begin{pmatrix}\dfrac{\delta+\sigma}{\sqrt{2}}&0&0\\ 0&\dfrac{-\delta+\sigma}{\sqrt{2}}&0\\ 0&0&\zeta\end{pmatrix}\,, (98)

and from Eq. 7,

I0=det(X)=(δ+σ2)(δ+σ2)(ζ)=(σ2δ22)ζ.\begin{split}I_{0}=&~\mathrm{det}(X)=\bigg{(}\dfrac{\delta+\sigma}{\sqrt{2}}\bigg{)}\bigg{(}\dfrac{-\delta+\sigma}{\sqrt{2}}\bigg{)}\bigg{(}\zeta\bigg{)}=\left(\dfrac{\sigma^{2}-\delta^{2}}{2}\right)\zeta\,.\end{split} (99)

For the vacuum expectation value of XX, X0\langle X_{0}\rangle, the isovector meson δ\delta does not contribute

detX0=σ02ζ02.\mathrm{det}\langle X_{0}\rangle=\dfrac{\sigma_{0}^{2}\zeta_{0}}{2}\,. (100)

For the other terms in the Lagrangian, we use

Tr(Xn)=(δ+σ2)n+(δ+σ2)n+(ζ)n,\mathrm{Tr}(X^{n})=\bigg{(}\dfrac{\delta+\sigma}{\sqrt{2}}\bigg{)}^{n}+\bigg{(}\dfrac{-\delta+\sigma}{\sqrt{2}}\bigg{)}^{n}+\bigg{(}\zeta\bigg{)}^{n}\,, (101)

such that from Eqs. 7, 8, and 9 becomes

I2=Tr(X2)=σ2+ζ2+δ2,I3=Tr(X3)=σ3+3σδ22+ζ3,I4=Tr(X4)=σ4+6σ2δ2+δ42+ζ4.I_{2}=\mathrm{Tr}(X^{2})=\sigma^{2}+\zeta^{2}+\delta^{2},\quad I_{3}=\mathrm{Tr}(X^{3})=\dfrac{\sigma^{3}+3\sigma\delta^{2}}{\sqrt{2}}+\zeta^{3}\,,\quad I_{4}=\mathrm{Tr}(X^{4})=\dfrac{\sigma^{4}+6\sigma^{2}\delta^{2}+\delta^{4}}{2}+\zeta^{4}\,. (102)

The scalar Lagrangian is then given by

scal=\displaystyle\mathcal{L}_{\rm scal}= 12k0χ2(δ2+σ2+ζ2)+k1(δ2+σ2+ζ2)2+k2[δ42+3δ2σ2+σ42+ζ4]+k3χ(σ2δ22)ζ\displaystyle-\dfrac{1}{2}k_{0}\chi^{2}\left(\delta^{2}+\sigma^{2}+\zeta^{2}\right)+k_{1}\left(\delta^{2}+\sigma^{2}+\zeta^{2}\right)^{2}+k_{2}\left[\dfrac{\delta^{4}}{2}+3\delta^{2}\sigma^{2}+\dfrac{\sigma^{4}}{2}+\zeta^{4}\right]+k_{3}\chi\left(\dfrac{\sigma^{2}-\delta^{2}}{2}\right)\zeta (103)
+k3Nχ(σ3+3σδ22+ζ3)+ϵ3χ4lnδ2ζ+σ2ζσ02ζ0k4χ4+14ln(χ4χ04).\displaystyle+k_{3N}\chi\left(\dfrac{\sigma^{3}+3\sigma\delta^{2}}{\sqrt{2}}+\zeta^{3}\right)+\dfrac{\epsilon}{3}\chi^{4}\ln\dfrac{-\delta^{2}\zeta+\sigma^{2}\zeta}{\sigma_{0}^{2}\zeta_{0}}-k_{4}\chi^{4}+\frac{1}{4}\ln\bigg{(}\frac{\chi^{4}}{\chi_{0}^{4}}\bigg{)}\,. (104)

B.2 The baryon-meson interaction term

To calculate Eqs. 20 and 21, we write explicitly the B¯OBM\bar{B}OBM matrix

B¯OBM=(B¯OBM(1,1)B¯OBM(1,2)B¯OBM(1,3)B¯OBM(2,1)B¯OBM(2,2)B¯OBM(2,3)B¯OBM(3,1)B¯OBM(3,2)B¯OBM(3,3)),\displaystyle\bar{B}OBM=\begin{pmatrix}\bar{B}OBM_{(1,1)}&\bar{B}OBM_{(1,2)}&\bar{B}OBM_{(1,3)}\\ \bar{B}OBM_{(2,1)}&\bar{B}OBM_{(2,2)}&\bar{B}OBM_{(2,3)}&\\ \bar{B}OBM_{(3,1)}&\bar{B}OBM_{(3,2)}&\bar{B}OBM_{(3,3)}\end{pmatrix}\,,

having for a diagonal MM

B¯OBM(1,1)=\displaystyle\bar{B}OBM_{(1,1)}= [(Σ¯0O2+Λ¯0O6)(Σ02+Λ6)+Σ¯OΣ+Ξ¯OΞ](M11),\displaystyle\Bigg{[}\left(\dfrac{\bar{\Sigma}^{0}O}{\sqrt{2}}+\dfrac{\bar{\Lambda}^{0}O}{\sqrt{6}}\right)\left(\dfrac{\Sigma^{0}}{\sqrt{2}}+\dfrac{\Lambda}{\sqrt{6}}\right)+\bar{\Sigma}^{-}O\Sigma^{-}+\bar{\Xi}^{-}O\Xi^{-}\Bigg{]}\bigg{(}M_{11}\bigg{)}\,, (106)
B¯OBM(2,2)=\displaystyle\bar{B}OBM_{(2,2)}= [Σ¯+OΣ++(Σ¯0O2+Λ¯0O6)(Σ02+Λ6)+Ξ¯0OΞ0](M22),\displaystyle\Bigg{[}\bar{\Sigma}^{+}O\Sigma^{+}+\left(\dfrac{-\bar{\Sigma}^{0}O}{\sqrt{2}}+\dfrac{\bar{\Lambda}^{0}O}{\sqrt{6}}\right)\left(\dfrac{-\Sigma^{0}}{\sqrt{2}}+\dfrac{\Lambda}{\sqrt{6}}\right)+\bar{\Xi}^{0}O\Xi^{0}\Bigg{]}\bigg{(}M_{22}\bigg{)}\,, (107)
B¯OBM(3,3)=\displaystyle\bar{B}OBM_{(3,3)}= [p¯Op+n¯On+23Λ¯0OΛ](M33),\displaystyle\Bigg{[}\bar{p}Op+\bar{n}On+\dfrac{2}{3}\bar{\Lambda}^{0}O\Lambda\Bigg{]}\bigg{(}M_{33}\bigg{)}\,, (108)

with trace

Tr(B¯OBM)=\displaystyle\mathrm{Tr}(\bar{B}OBM)= [(Σ¯0O2+Λ¯0O6)(Σ02+Λ6)+Σ¯OΣ+Ξ¯OΞ](M11)+[Σ¯+OΣ++(Σ¯0O2+Λ¯0O6)\displaystyle\Bigg{[}\left(\dfrac{\bar{\Sigma}^{0}O}{\sqrt{2}}+\dfrac{\bar{\Lambda}^{0}O}{\sqrt{6}}\right)\left(\dfrac{\Sigma^{0}}{\sqrt{2}}+\dfrac{\Lambda}{\sqrt{6}}\right)+\bar{\Sigma}^{-}O\Sigma^{-}+\bar{\Xi}^{-}O\Xi^{-}\Bigg{]}\bigg{(}M_{11}\bigg{)}+\Bigg{[}\bar{\Sigma}^{+}O\Sigma^{+}+\left(\dfrac{-\bar{\Sigma}^{0}O}{\sqrt{2}}+\dfrac{\bar{\Lambda}^{0}O}{\sqrt{6}}\right)
(Σ02+Λ6)+Ξ0¯OΞ0](M22)+[p¯Op+n¯On+23Λ¯0OΛ](M33).\displaystyle\left(\dfrac{-\Sigma^{0}}{\sqrt{2}}+\dfrac{\Lambda}{\sqrt{6}}\right)+\bar{\Xi^{0}}O\Xi^{0}\Bigg{]}\bigg{(}M_{22}\bigg{)}+\Bigg{[}\bar{p}Op+\bar{n}On+\dfrac{2}{3}\bar{\Lambda}^{0}O\Lambda\Bigg{]}\bigg{(}M_{33}\bigg{)}\,. (109)

On the other hand,

B¯OMB=(B¯OMB(1,1)B¯OMB(1,2)B¯OMB(1,3)B¯OMB(2,1)B¯OMB(2,2)B¯OMB(2,3)B¯OMB(3,1)B¯OMB(3,2)B¯OMB(3,3)),\displaystyle\bar{B}OMB=\begin{pmatrix}\bar{B}OMB_{(1,1)}&\bar{B}OMB_{(1,2)}&\bar{B}OMB_{(1,3)}\\ \bar{B}OMB_{(2,1)}&\bar{B}OMB_{(2,2)}&\bar{B}OMB_{(2,3)}&\\ \bar{B}OMB_{(3,1)}&\bar{B}OMB_{(3,2)}&\bar{B}OMB_{(3,3)}\end{pmatrix}\,,

and again, explicitly for a diagonal MM,

B¯OMB(1,1)=\displaystyle\bar{B}OMB_{(1,1)}= (Σ¯0O2+Λ¯0O6)(Σ02+Λ6)M11+Σ¯OΣM22+Ξ¯OΞM33,\displaystyle\bigg{(}\dfrac{\bar{\Sigma}^{0}O}{\sqrt{2}}+\dfrac{\bar{\Lambda}^{0}O}{\sqrt{6}}\bigg{)}\bigg{(}\dfrac{\Sigma^{0}}{\sqrt{2}}+\dfrac{\Lambda}{\sqrt{6}}\bigg{)}M_{11}+\bar{\Sigma}^{-}O\Sigma^{-}M_{22}+\bar{\Xi}^{-}O\Xi^{-}M_{33}\,, (111)
B¯OMB(2,2)=\displaystyle\bar{B}OMB_{(2,2)}= Σ¯+OΣ+M11+(Σ¯0O2+Λ¯0O6)(Σ02+Λ6)M22+Ξ¯0OΞ0M33,\displaystyle\bar{\Sigma}^{+}O\Sigma^{+}M_{11}+\bigg{(}\dfrac{-\bar{\Sigma}^{0}O}{\sqrt{2}}+\dfrac{\bar{\Lambda}^{0}O}{\sqrt{6}}\bigg{)}\bigg{(}\dfrac{-\Sigma^{0}}{\sqrt{2}}+\dfrac{\Lambda}{\sqrt{6}}\bigg{)}M_{22}+\bar{\Xi}^{0}O\Xi^{0}M_{33}\,, (112)
B¯OMB(3,3)=\displaystyle\bar{B}OMB_{(3,3)}= p¯OpM11+n¯OnM22+23Λ¯0OΛ0M33,\displaystyle\bar{p}Op~M_{11}+\bar{n}On~M_{22}+\dfrac{2}{3}\bar{\Lambda}^{0}O\Lambda^{0}M_{33}\,, (113)

with trace

Tr(B¯OMB)=\displaystyle\mathrm{Tr}(\bar{B}OMB)= [(Σ¯0O2+Λ¯0O6)(Σ02+Λ6)+Σ¯+OΣ++p¯Op](M11)+[Σ¯OΣ+(Σ¯0O2+Λ¯0O6)\displaystyle\bigg{[}\bigg{(}\dfrac{\bar{\Sigma}^{0}O}{\sqrt{2}}+\dfrac{\bar{\Lambda}^{0}O}{\sqrt{6}}\bigg{)}\bigg{(}\dfrac{\Sigma^{0}}{\sqrt{2}}+\dfrac{\Lambda}{\sqrt{6}}\bigg{)}+\bar{\Sigma}^{+}O\Sigma^{+}+\bar{p}Op\bigg{]}\bigg{(}M_{11}\bigg{)}+\bigg{[}\bar{\Sigma}^{-}O\Sigma^{-}+\bigg{(}\dfrac{-\bar{\Sigma}^{0}O}{\sqrt{2}}+\dfrac{\bar{\Lambda}^{0}O}{\sqrt{6}}\bigg{)}
(Σ02+Λ6)+n¯On](M22)+[Ξ¯OΞ+Ξ¯0OΞ0+23Λ¯0OΛ](M33).\displaystyle\bigg{(}\dfrac{-\Sigma^{0}}{\sqrt{2}}+\dfrac{\Lambda}{\sqrt{6}}\bigg{)}+\bar{n}On\bigg{]}\bigg{(}M_{22}\bigg{)}+\bigg{[}\bar{\Xi}^{-}O\Xi^{-}+\bar{\Xi}^{0}O\Xi^{0}+\dfrac{2}{3}\bar{\Lambda}^{0}O\Lambda\bigg{]}\bigg{(}M_{33}\bigg{)}\,. (114)

Also,

Tr(B¯OB)=iBψ¯iOψi,\mathrm{Tr}(\bar{B}OB)=\sum_{i\in B}\bar{\psi}_{i}O\psi_{i}\,, (115)

and

Tr(B¯OB)Tr(M)\displaystyle\mathrm{Tr}(\bar{B}OB)\mathrm{Tr}(M) =(p¯Op+n¯On+Λ¯0OΛ+Σ¯+OΣ++Σ¯0OΣ0+Σ¯OΣ+Ξ¯0OΞ0+Ξ¯OΞ)(M11+M22+M33).\displaystyle=\bigg{(}\bar{p}Op+\bar{n}On+\bar{\Lambda}^{0}O\Lambda+\bar{\Sigma}^{+}O\Sigma^{+}+\bar{\Sigma}^{0}O\Sigma^{0}+\bar{\Sigma}^{-}O\Sigma^{-}+\bar{\Xi}^{0}O\Xi^{0}+\bar{\Xi}^{-}O\Xi^{-}\bigg{)}\bigg{(}M_{11}+M_{22}+M_{33}\bigg{)}\,. (116)

Combining those into Eqs. 20 and 21, we obtain

[B¯OBM]AS=\displaystyle[\bar{B}OBM]_{\rm AS}= [p¯Op+Σ¯+OΣ+Σ¯OΣΞ¯OΞ](M11)\displaystyle\bigg{[}\bar{p}Op+\bar{\Sigma}^{+}O\Sigma^{+}-\bar{\Sigma}^{-}O\Sigma^{-}-\bar{\Xi}^{-}O\Xi^{-}\bigg{]}\bigg{(}M_{11}\bigg{)}
+\displaystyle+ [n¯On+Σ¯OΣΣ¯+OΣ+Ξ0¯OΞ0](M22)\displaystyle\bigg{[}\bar{n}On+\bar{\Sigma}^{-}O\Sigma^{-}-\bar{\Sigma}^{+}O\Sigma^{+}-\bar{\Xi^{0}}O\Xi^{0}\bigg{]}\bigg{(}M_{22}\bigg{)}
+\displaystyle+ [p¯Opn¯On+Ξ¯OΞ+Ξ¯0OΞ0](M33),\displaystyle\bigg{[}-\bar{p}Op-\bar{n}On+\bar{\Xi}^{-}O\Xi^{-}+\bar{\Xi}^{0}O\Xi^{0}\bigg{]}\bigg{(}M_{33}\bigg{)}, (117)
[B¯OBM]S\displaystyle[\bar{B}OBM]_{\rm S} =13(Σ¯0OΣ0Λ¯0OΛ+Σ¯+OΣ++p¯Op+Σ¯OΣ+Ξ¯OΞ2Ξ¯0OΞ02n¯On)(M11)\displaystyle=\dfrac{1}{3}\bigg{(}\bar{\Sigma}^{0}O\Sigma^{0}-\bar{\Lambda}^{0}O\Lambda+\bar{\Sigma}^{+}O\Sigma^{+}+\bar{p}Op+\bar{\Sigma}^{-}O\Sigma^{-}+\bar{\Xi}^{-}O\Xi^{-}-2\bar{\Xi}^{0}O\Xi^{0}-2\bar{n}On\bigg{)}\bigg{(}M_{11}\bigg{)}
+13(Σ¯0OΣ0Λ¯0OΛ+Σ¯+OΣ++n¯On+Σ¯OΣ+Ξ¯0OΞ02Ξ¯OΞ2p¯Op)(M22)\displaystyle+\dfrac{1}{3}\bigg{(}\bar{\Sigma}^{0}O\Sigma^{0}-\bar{\Lambda}^{0}O\Lambda+\bar{\Sigma}^{+}O\Sigma^{+}+\bar{n}On+\bar{\Sigma}^{-}O\Sigma^{-}+\bar{\Xi}^{0}O\Xi^{0}-2\bar{\Xi}^{-}O\Xi^{-}-2\bar{p}Op\bigg{)}\bigg{(}M_{22}\bigg{)}
+13(p¯Op+n¯On+Ξ¯0OΞ0+Ξ¯OΞ+2Λ¯0OΛ2Σ¯+OΣ+2Σ¯0OΣ02Σ¯OΣ)(M33),\displaystyle+\dfrac{1}{3}\bigg{(}\bar{p}Op+\bar{n}On+\bar{\Xi}^{0}O\Xi^{0}+\bar{\Xi}^{-}O\Xi^{-}+2\bar{\Lambda}^{0}O\Lambda-2\bar{\Sigma}^{+}O\Sigma^{+}-2\bar{\Sigma}^{0}O\Sigma^{0}-2\bar{\Sigma}^{-}O\Sigma^{-}\bigg{)}\bigg{(}M_{33}\bigg{)}\,, (118)

where the ΣΛ\Sigma\Lambda terms are not considered as they do not contribute to the mean-field approximation.

Case 1) For M=XM=X (the scalar-meson matrix in the mean-field approximation)

X=diag(δ+σ2,δ+σ2,ζ),Tr(X)=2σ+ζ,\displaystyle X=\mathrm{diag}\bigg{(}\dfrac{\delta+\sigma}{\sqrt{2}},\dfrac{-\delta+\sigma}{\sqrt{2}},\zeta\bigg{)}\,,\quad\quad\mathrm{Tr}(X)=\sqrt{2}\sigma+\zeta\,,
σ=X11+X222,δ=X11X222,ζ=X33.\displaystyle\sigma=\dfrac{X_{11}+X_{22}}{\sqrt{2}}\,,\quad\delta=\dfrac{X_{11}-X_{22}}{\sqrt{2}}\,,\quad\zeta=X_{33}\,.

To illustrate how to find the coupling for the baryons, we take the particular case of the proton. Its couplings to the scalar mesons σ\sigma, δ\delta and ζ\zeta are found by replacing Eq. 116Eq. 117, and Eq. 118 in Eq. 19, such that

int,Xp\displaystyle\mathcal{L}_{{\rm int},Xp} =2g8X[αX(p¯p(X11X33))+(1αX)(13p¯p(X112X22+X33))]13g1X(p¯p(X11+X22+X33)).\displaystyle=-\sqrt{2}g_{8}^{X}\bigg{[}\alpha_{X}\bigg{(}\bar{p}p\big{(}X_{11}-X_{33}\big{)}\bigg{)}+(1-\alpha_{X})\bigg{(}\dfrac{1}{3}\bar{p}p(X_{11}-2X_{22}+X_{33})\bigg{)}\bigg{]}-\dfrac{1}{\sqrt{3}}g_{1}^{X}\bigg{(}\bar{p}p(X_{11}+X_{22}+X_{33})\bigg{)}\,. (119)

From the mass term of Dirac Lagrangian for fermions, we find

mp=int,X,pp¯p=\displaystyle m^{*}_{p}=-\frac{\mathcal{L}_{{\rm int},X,p}}{{\bar{p}p}}= 2g8X(αX[(σ+δ2ζ)]+(1αX)[13(2δσδ2+ζ)])+13g1X[(2σ+ζ)]\displaystyle\sqrt{2}g_{8}^{X}\bigg{(}\alpha_{X}\left[(\dfrac{\sigma+\delta}{\sqrt{2}}-\zeta)\right]+(1-\alpha_{X})\left[\dfrac{1}{3}(\sqrt{2}\delta-\dfrac{\sigma-\delta}{\sqrt{2}}+\zeta)\right]\bigg{)}+\dfrac{1}{\sqrt{3}}g_{1}^{X}\left[(\sqrt{2}\sigma+\zeta)\right]\,
=\displaystyle= g8X(αX[σ+δ2ζ13(3δσ+2ζ)]+13(3δσ+2ζ))+13g1X[(2σ+ζ)]\displaystyle g_{8}^{X}\bigg{(}\alpha_{X}\left[\sigma+\delta-\sqrt{2}\zeta-\dfrac{1}{3}(3\delta-\sigma+\sqrt{2}\zeta)\right]+\dfrac{1}{3}(3\delta-\sigma+\sqrt{2}\zeta)\bigg{)}+\dfrac{1}{\sqrt{3}}g_{1}^{X}\left[(\sqrt{2}\sigma+\zeta)\right]\,
=\displaystyle= g8X(αX[43(σ2ζ)]13(σ2ζ)+δ)+13g1X[(2σ+ζ)]\displaystyle g_{8}^{X}\bigg{(}\alpha_{X}\left[\dfrac{4}{3}(\sigma-\sqrt{2}\zeta)\right]-\dfrac{1}{3}(\sigma-\sqrt{2}\zeta)+\delta\bigg{)}+\dfrac{1}{\sqrt{3}}g_{1}^{X}\left[(\sqrt{2}\sigma+\zeta)\right]\,
=\displaystyle= 13g1X(2σ+ζ)+g8X3(4αX1)(σ2ζ)+g8Xδ,\displaystyle\dfrac{1}{\sqrt{3}}g_{1}^{X}(\sqrt{2}\sigma+\zeta)+\dfrac{g_{8}^{X}}{3}(4\alpha_{X}-1)(\sigma-\sqrt{2}\zeta)+g_{8}^{X}\delta\,, (120)

which is a term appearing in the total effective mass of the proton in Eq. 36. By rearranging the terms for a particular scalar meson, we get

mp=\displaystyle m^{*}_{p}= [(g8X3(4αX1)+23g1X)σ+(23g8X(4αX1)+13g1X)ζ+g8Xδ]p¯p.\displaystyle\left[\left(\frac{g_{8}^{X}}{3}(4\alpha_{X}-1)+\sqrt{\frac{2}{3}}g_{1}^{X}\right)\sigma+\left(-\frac{\sqrt{2}}{3}g_{8}^{X}(4\alpha_{X}-1)+\frac{1}{\sqrt{3}}g_{1}^{X}\right)\zeta+g_{8}^{X}\delta\right]{\bar{p}p}\,. (121)

The neutron has the same coupling to the σ\sigma and ζ\zeta mesons, but it couples to the δ\delta with opposite sign, so we can write

gNσ\displaystyle g_{N\sigma} =g8X3(4αX1)+23g1X,\displaystyle=\frac{g_{8}^{X}}{3}(4\alpha_{X}-1)+\sqrt{\frac{2}{3}}g_{1}^{X},
gNζ\displaystyle g_{N\zeta} =23g8X(4αX1)+13g1X,\displaystyle=-\frac{\sqrt{2}}{3}g_{8}^{X}(4\alpha_{X}-1)+\frac{1}{\sqrt{3}}g_{1}^{X}, (122)
gpδ\displaystyle g_{p\delta} =g8X,gnδ=g8X.\displaystyle=g_{8}^{X},\qquad g_{n\delta}=-g_{8}^{X}\,.

Indeed, this holds for all baryons in the octet: the σ\sigma and ζ\zeta couplings are equal for the baryon families, while the δ\delta coupling differentiates them due to isospin. Additionally, for the hyperons, the addition of the symmetry-breaking term to fix their potentials, Eq. 29, adds an additional contribution proportional to m3Hm_{3}^{H} in the σ\sigma and ζ\zeta couplings. For the Λ\Lambda hyperon:

gσΛ=23g8X(αX1)+23g1X+2m3H,gζΛ=223g8X(αX1)+13g1X+m3H,gδΛ=0.\begin{split}g_{\sigma\Lambda}&=\frac{2}{3}g_{8}^{X}(\alpha_{X}-1)+\sqrt{\frac{2}{3}}g_{1}^{X}+\sqrt{2}m_{3}^{H}\,,\\ g_{\zeta\Lambda}&=-\frac{2\sqrt{2}}{3}g_{8}^{X}(\alpha_{X}-1)+\frac{1}{\sqrt{3}}g_{1}^{X}+m_{3}^{H}\,,\\ g_{\delta\Lambda}&=0\,.\end{split} (123)

For the Σ\Sigma’s:

gσΣ=23g8X(αX1)+23g1X+2m3H,gζΣ=223g8X(αX1)+13g1X+m3H,gδΣ+=2g8XαX,gδΣ0=0,gδΣ=2g8XαX.\begin{split}g_{\sigma\Sigma}&=-\frac{2}{3}g_{8}^{X}(\alpha_{X}-1)+\sqrt{\frac{2}{3}}g_{1}^{X}+\sqrt{2}m_{3}^{H}\,,\\ g_{\zeta\Sigma}&=\frac{2\sqrt{2}}{3}g_{8}^{X}(\alpha_{X}-1)+\frac{1}{\sqrt{3}}g_{1}^{X}+m_{3}^{H}\,,\\ g_{\delta\Sigma^{+}}&=2g_{8}^{X}\alpha_{X},\qquad g_{\delta\Sigma^{0}}=0,\qquad g_{\delta\Sigma^{-}}=-2g_{8}^{X}\alpha_{X}\,.\end{split} (124)

And for the Ξ\Xi’s:

gσΞ=13g8X(2αX+1)+23g1X+2m3H,gζΞ=23g8X(2αX+1)+13g1X+m3H,gδΞ0=g8X(2αX1),gδΞ=g8X(2αX1).\begin{split}g_{\sigma\Xi}&=-\frac{1}{3}g_{8}^{X}(2\alpha_{X}+1)+\sqrt{\frac{2}{3}}g_{1}^{X}+\sqrt{2}m_{3}^{H}\,,\\ g_{\zeta\Xi}&=\frac{\sqrt{2}}{3}g_{8}^{X}(2\alpha_{X}+1)+\frac{1}{\sqrt{3}}g_{1}^{X}+m_{3}^{H}\,,\\ g_{\delta\Xi^{0}}&=g_{8}^{X}(2\alpha_{X}-1),\qquad g_{\delta\Xi^{-}}=-g_{8}^{X}(2\alpha_{X}-1)\,.\end{split} (125)

From this discussion, we can identify the effective masses, written explicitly in terms of the original couplings. In Eq. 120, the singlet term mB=13g1X(2σ+ζ)m_{B}^{*}=\dfrac{1}{\sqrt{3}}g_{1}^{X}(\sqrt{2}\sigma+\zeta) is identical for all baryons. The second term exists for both nucleons mNg8X3(4αX1)(σ2ζ)m_{N}^{*}\equiv\dfrac{g_{8}^{X}}{3}(4\alpha_{X}-1)(\sigma-\sqrt{2}\zeta), and the third δ\delta term differentiates the nucleons due to isospin. We can repeat this for all hyperons as well, the terms that are identical for the hyperon multiplets are

secondtermofmΛ=\displaystyle\rm{second\ term\ of}\ m_{\Lambda}^{*}= 23g8X(αX1)(2ζσ)+m3H(2σ+ζ),\displaystyle-\dfrac{2}{3}g_{8}^{X}(\alpha_{X}-1)(\sqrt{2}\zeta-\sigma)+m_{3}^{H}(\sqrt{2}\sigma+\zeta)\,,
secondtermofmΣ=\displaystyle\rm{second\ term\ of}\ m_{\Sigma}^{*}= 23g8X(αX1)(2ζσ)+m3H(2σ+ζ),\displaystyle\dfrac{2}{3}g_{8}^{X}(\alpha_{X}-1)(\sqrt{2}\zeta-\sigma)+m_{3}^{H}(\sqrt{2}\sigma+\zeta)\,,
secondtermofmΞ=\displaystyle\rm{second\ term\ of}\ m_{\Xi}^{*}= 13g8X(2αX+1)(2ζσ)+m3H(2σ+ζ).\displaystyle\dfrac{1}{3}g_{8}^{X}(2\alpha_{X}+1)(\sqrt{2}\zeta-\sigma)+m_{3}^{H}(\sqrt{2}\sigma+\zeta)\,. (126)

The full effective mass expressions, including the constant mass term Δmi\Delta m_{i}, are

mp=\displaystyle m_{p}^{*}= ΔmN+mB+mN+g8Xδ,\displaystyle\Delta m_{N}+m_{B}^{*}+m_{N}^{*}+g_{8}^{X}\delta\,,
mn=\displaystyle m_{n}^{*}= ΔmN+mB+mNg8Xδ,\displaystyle\Delta m_{N}+m_{B}^{*}+m_{N}^{*}-g_{8}^{X}\delta\,,
mΛ=\displaystyle m_{\Lambda}^{*}= ΔmΛ+mB+mΛ,\displaystyle\Delta m_{\Lambda}+m_{B}^{*}+m_{\Lambda}^{*}\,,
mΣ+=\displaystyle m_{\Sigma^{+}}^{*}= ΔmΣ+mB+mΣ+2g8XαXδ,\displaystyle\Delta m_{\Sigma}+m_{B}^{*}+m_{\Sigma}^{*}+2g_{8}^{X}\alpha_{X}\delta\,,
mΣ0=\displaystyle m_{\Sigma^{0}}^{*}= ΔmΣ+mB+mΣ,\displaystyle\Delta m_{\Sigma}+m_{B}^{*}+m_{\Sigma}^{*}\,,
mΣ=\displaystyle m_{\Sigma^{-}}^{*}= ΔmΣ+mB+mΣ2g8XαXδ,\displaystyle\Delta m_{\Sigma}+m_{B}^{*}+m_{\Sigma}^{*}-2g_{8}^{X}\alpha_{X}\delta\,,
mΞ0=\displaystyle m_{\Xi^{0}}^{*}= ΔmΞ+mB+mΞ+g8X(2αX1)δ,\displaystyle\Delta m_{\Xi}+m_{B}^{*}+m_{\Xi}^{*}+g_{8}^{X}(2\alpha_{X}-1)\delta\,,
mΞ=\displaystyle m_{\Xi^{-}}^{*}= ΔmΞ+mB+mΞg8X(2αX1)δ.\displaystyle\Delta m_{\Xi}+m_{B}^{*}+m_{\Xi}^{*}-g_{8}^{X}(2\alpha_{X}-1)\delta\,. (127)

Case 2) For M=VM=V (the vector-meson matrix in the mean-field approximation)

V=diag(ρ+ω2,ρ+ω2,ϕ),Tr(V)=2ω+ϕ,\displaystyle V=\mathrm{diag}\Big{(}\dfrac{\rho+\omega}{\sqrt{2}},\dfrac{-\rho+\omega}{\sqrt{2}},\phi\Big{)}\,,\quad\quad\mathrm{Tr}(V)=\sqrt{2}\omega+\phi\,, (128)
ω=V11+V222,ρ=V11V222,ϕ=V33.\displaystyle\omega=\dfrac{V_{11}+V_{22}}{\sqrt{2}}\,,\quad\rho=\dfrac{V_{11}-V_{22}}{\sqrt{2}}\,,\quad\phi=V_{33}\,. (129)

For the vector mesons, an additional complication arises: the ω\omega and ϕ\phi fields are defined as a combination of the singlet and octet mesons (v1v^{1} and v8v^{8}) as

ω=cosθVv1+sinθVv8,ϕ=sinθVv1+cosθVv8,\begin{split}\omega&=\cos\theta_{V}v^{1}+\sin\theta_{V}v^{8}\,,\\ \phi&=-\sin\theta_{V}v^{1}+\cos\theta_{V}v^{8}\,,\\ \end{split} (130)

which adds a dependence on θV\theta_{V} in the baryon-meson couplings. In principle, this is also the case for the σ\sigma and ζ\zeta mesons, but for them, the mixing angle is θS=0\theta_{S}=0, such that σ\sigma is purely singlet and ζ\zeta is purely octet, and there is no angular contribution. For the vectors on the other hand, it is customary to take the ideal mixing angle, tanθV=12\tan\theta_{V}=\frac{1}{\sqrt{2}}, with the αV=1\alpha_{V}=1 condition (see Sec. II.2.5 for more). See [104] for a more complete discussion.

Appendix C Equations of motion and thermodynamics for a free Fermi gas

For a given fermion (or antifermion) ii of mass mim_{i}, which must obey Fermi-Dirac statistics, the distribution function as a function of energy level, temperature, and chemical potential reads

fi±(Ei,T,μi)=1e(Eiμi)/T+1.f_{i\pm}(E_{i},T,\mu_{i})=\dfrac{1}{e^{(E_{i}\mp\mu_{i})/T}+1}\,. (131)

The Dirac Lagrangian density for spin 1/2 fermions is given by

=iψ¯i(γμμmi)ψi,\mathcal{L}=i\bar{\psi}_{i}(\gamma_{\mu}\partial^{\mu}-m_{i})\psi_{i}\,, (132)

from which applying the Euler-Lagrange equations

ψiμ((μψi))=0,ψ¯iμ((μψ¯i))=0,\dfrac{\partial\mathcal{L}}{\partial\psi_{i}}-\partial_{\mu}\left(\dfrac{\mathcal{L}}{\partial\left(\partial_{\mu}\psi_{i}\right)}\right)=0\,,\ \ \ \ \dfrac{\partial\mathcal{L}}{\partial\bar{\psi}_{i}}-\partial_{\mu}\left(\dfrac{\mathcal{L}}{\partial\left(\partial_{\mu}\bar{\psi}_{i}\right)}\right)=0\,, (133)

for each particle (or antiparticle) resulting in the equations of motion

iμψi¯γμ+miψi¯=0,iγμμψimiψi=0.i\partial_{\mu}\bar{\psi_{i}}\gamma^{\mu}+m_{i}\bar{\psi_{i}}=0\,,\ \ \ \ i\gamma^{\mu}\partial_{\mu}\psi_{i}-m_{i}\psi_{i}=0\,. (134)

These are both linear and first-order, indicating a plane-wave solution of the form

ψi(t,x)=Ψ(k,s)ei(Eitkx),\psi_{i}(t,\vec{x})=\Psi(\vec{k},s)e^{-i(E_{i}t-\vec{k}\cdot\vec{x})}\,, (135)

where Ψ\Psi is a four-vector spinor for Fermi momentum k\vec{k} and spin ss. If ψi\psi_{i} satisfies the equations of motion, then the Lagrangian is zero. We can use this in the energy-momentum tensor together with the 3+13+1 dimensional Minkowski metric gμν=diag(+,,,)g_{\mu\nu}=\mathrm{diag(+,-,-,-)} to obtain the energy-momentum tensor

Tμν=gμν+(μψi)νψi,T_{\mu\nu}=-\mathcal{L}g_{\mu\nu}+\dfrac{\partial\mathcal{L}}{\partial(\partial_{\mu}\psi_{i})}\partial_{\nu}\psi_{i}\,, (136)

yielding

Tμν=iψi¯γμνψi.T_{\mu\nu}=i\bar{\psi_{i}}\gamma^{\mu}\partial_{\nu}\psi_{i}\,. (137)

The energy density and pressure are then obtained in the ideal fluid approximation, where there is no dissipation and all non-diagonal terms vanish, by

εi=T00,Pi=13j=13Tjj,\varepsilon_{i}=T_{00}\,,\ \ \ \ P_{i}=\dfrac{1}{3}\sum_{j=1}^{3}T_{jj}\,, (138)

giving

εi=iψi¯γ00ψi,Pi=i3ψi¯γψi.\varepsilon_{i}=i\bar{\psi_{i}}\gamma^{0}\partial_{0}\psi_{i}\,,\ \ \ \ P_{i}=-\dfrac{i}{3}\bar{\psi_{i}}\vec{\gamma}\cdot\vec{\nabla}\psi_{i}\,. (139)

Additionally, we assume there is rotational symmetry, which is broken by the presence of magnetic fields, that would to different pressures in the directions longitudinal and perpendicular to the local direction of the field. Applying plane-wave ψ\psi and periodic boundary conditions it can be shown that

εi=γi2π20𝑑kEik2(fi++fi),\varepsilon_{i}=\dfrac{\gamma_{i}}{2\pi^{2}}\int_{0}^{\infty}dkE_{i}k^{2}(f_{i+}+f_{i-})\,, (140)

and

Pi=13γi2π20𝑑kk4Ei(fi++fi),P_{i}=\dfrac{1}{3}\dfrac{\gamma_{i}}{2\pi^{2}}\int_{0}^{\infty}dk\dfrac{k^{4}}{E_{i}}(f_{i+}+f_{i-})\,, (141)

where γi=2\gamma_{i}=2 for baryons and leptons and γi=6\gamma_{i}=6 for quarks is the particle degeneracy. Ei=k2+mi2E_{i}=\sqrt{k^{2}+m_{i}^{2}} are particle energy levels. Likewise, the number density and entropy density can be calculated as

ni=γi2π20𝑑kk2(fi+fi),n_{i}=\dfrac{\gamma_{i}}{2\pi^{2}}\int_{0}^{\infty}dkk^{2}(f_{i+}-f_{i-})\,, (142)

and

si=\displaystyle s_{i}= γi2π20dkk2[fi+ln(1fi+)+filn(1fi)\displaystyle\dfrac{\gamma_{i}}{2\pi^{2}}\int_{0}^{\infty}dkk^{2}\Bigg{[}f_{i+}\ln\left(\dfrac{1}{f_{i+}}\right)+f_{i-}\ln\left(\dfrac{1}{f_{i-}}\right)
+(1fi+)ln(11fi+)+(1fi)ln(11fi)].\displaystyle+(1-f_{i+})\ln\left(\dfrac{1}{1-f_{i+}}\right)+(1-f_{i-})\ln\left(\dfrac{1}{1-f_{i-}}\right)\Bigg{]}\,. (143)

Additionally, in the presence of interactions, the scalar (number) density nsc,in_{sc,i} (or the source for scalar fields) is

nsc,i=γi2π20𝑑kk2miEi(fi++fi).n_{sc,i}=\dfrac{\gamma_{i}}{2\pi^{2}}\int_{0}^{\infty}dk\dfrac{k^{2}m_{i}}{E_{i}}\left(f_{i+}+f_{i-}\right)\,. (144)

In the limit of zero temperature, the Fermi-Dirac distribution for fermions, fi+f_{i+}, becomes unity between k=0k=0 and k=kFik=k_{Fi} and zero for higher kk’s. The Fermi-Dirac distribution for antifermions, fif_{i-}, becomes zero. As a consequence, the direct integration of eqs. Eq. 140– Eq. 144 yield eqs. Eq. 53– Eq. 56 and si=0s_{i}=0.

Appendix D How to use the software

There are multiple ways to run the CMF solver software to calculate equations of state:

  • To run a calculation using a standalone script, download the source code package from the associated software publication [137], where you can also find instructions detailing how to compile and execute the code along with directions to the MUSES support community.

  • You may also run the CMF solver as a MUSES module in a processing workflow executed by the MUSES Calculation Engine. This method allows you to optionally include other MUSES modules in your workflows to perform more complex data processing. The Calculation Engine is also free and open-source software, available both for download and as an online service offered by the MUSES collaboration. Although a local installation requires Docker Compose, the use of containerization means you can run the software without installing the complex set of specific dependencies required by the CMF module. See the MUSES project website to learn more [80].

Appendix E Ensembles

Given a multi-variable function dependent on 33 parameters F(a,b,c), we can ensure it possesses a minimum by showing that it has an extremum

dF(a,b,c)=0,dF(a,b,c)=0\,, (145)

and that it has positive concavity. The latter follows from the determinant of the Hessian matrix

M=[2Fa2|b,c2Fab|c2Fac|b2Fba|c2Fb2|a,c2Fbc|a2Fca|b2Fcb|a2Fc2|a,b],M=\begin{bmatrix}\frac{\partial^{2}F}{\partial a^{2}}\Big{|}_{b,c}&\frac{\partial^{2}F}{\partial a\partial b}\Big{|}_{c}&\frac{\partial^{2}F}{\partial a\partial c}\Big{|}_{b}\\ \frac{\partial^{2}F}{\partial b\partial a}\Big{|}_{c}&\frac{\partial^{2}F}{\partial b^{2}}\Big{|}_{a,c}&\frac{\partial^{2}F}{\partial b\partial c}\Big{|}_{a}\\ \frac{\partial^{2}F}{\partial c\partial a}\Big{|}_{b}&\frac{\partial^{2}F}{\partial c\partial b}\Big{|}_{a}&\frac{\partial^{2}F}{\partial c^{2}}\Big{|}_{a,b}\\ \end{bmatrix}\,, (146)

and its submatrices being 0\geq 0. In the case of, e.g., 2Fab|c\frac{\partial^{2}F}{\partial a\partial b}\Big{|}_{c}, it is implied that this means b|a,cFa|b,c\frac{\partial}{\partial b}\Big{|}_{a,c}\frac{\partial F}{\partial a}\Big{|}_{b,c}. The order of derivatives does not matter, as this matrix is symmetric, but permutations of the variables must be included, as there is no physical justification for any particular order.

E.1 Microcanonical ensemble

In this ensemble, based on the conservation of energy E=PV+TS+NxμxE=-PV+TS+N_{x}\mu_{x}, the fixed variables are a number of xx particles NxN_{x}, volume VV, and energy EE. Minimization of energy implies that the differential

dE=PdV+TdS+μxdNx=0,dE=-PdV+TdS+\mu_{x}dN_{x}=0\,, (147)

and detM0M\geq 0 with (aVa\rightarrow V, bSb\rightarrow S, and cNxc\rightarrow N_{x})

M=[PV|S,NxPS|V,NxPNx|V,STV|S,NxTS|V,NxTNx|S,VμxV|Nx,SμxS|Nx,VμxNx|V,S],M=\begin{bmatrix}-\frac{\partial P}{\partial V}\Big{|}_{S,N_{x}}&-\frac{\partial P}{\partial S}\Big{|}_{V,N_{x}}&-\frac{\partial P}{\partial N_{x}}\Big{|}_{V,S}\\ \frac{\partial T}{\partial V}\Big{|}_{S,N_{x}}&\frac{\partial T}{\partial S}\Big{|}_{V,N_{x}}&\frac{\partial T}{\partial N_{x}}\Big{|}_{S,V}\\ \frac{\partial\mu_{x}}{\partial V}\Big{|}_{N_{x},S}&\frac{\partial\mu_{x}}{\partial S}\Big{|}_{N_{x},V}&\frac{\partial\mu_{x}}{\partial N_{x}}\Big{|}_{V,S}\end{bmatrix}\,, (148)

where we used that dE/dV=PdE/dV=-P, dE/dS=TdE/dS=T, and dE/dNx=μxdE/dN_{x}=\mu_{x}.

In the zero-temperature limit, MM reduces to

M=[PV|NxPNx|VμxV|NxμxNx|V],M=\begin{bmatrix}-\frac{\partial P}{\partial V}\Big{|}_{N_{x}}&-\frac{\partial P}{\partial N_{x}}\Big{|}_{V}\\ \frac{\partial\mu_{x}}{\partial V}\Big{|}_{N_{x}}&\frac{\partial\mu_{x}}{\partial N_{x}}\Big{|}_{V}\end{bmatrix}\,, (149)

and stability requires

PV|Nx\displaystyle-\frac{\partial P}{\partial V}\Big{|}_{N_{x}} 0,\displaystyle\geq 0\,, (150)
μxNx|V\displaystyle\frac{\partial\mu_{x}}{\partial N_{x}}\Big{|}_{V} 0,\displaystyle\geq 0\,, (151)

and

PV|NxμxNx|V+PNx|VμxV|Nx0.-\frac{\partial P}{\partial V}\Big{|}_{N_{x}}\frac{\partial\mu_{x}}{\partial N_{x}}\Big{|}_{V}+\frac{\partial P}{\partial N_{x}}\Big{|}_{V}\frac{\partial\mu_{x}}{\partial V}\Big{|}_{N_{x}}\geq 0\,. (152)

Using the Maxwell relation PN|V=μxV|N-\frac{\partial P}{\partial N}\Big{|}_{V}=\frac{\partial\mu_{x}}{\partial V}\Big{|}_{N}, we obtain

PV|NxμxNx|V(PNx|V)2.-\frac{\partial P}{\partial V}\Big{|}_{N_{x}}\frac{\partial\mu_{x}}{\partial N_{x}}\Big{|}_{V}\geq\left(\frac{\partial P}{\partial N_{x}}\Big{|}_{V}\right)^{2}\,. (153)

Using Eq. 151 and the definition of nx=Nx/Vn_{x}=N_{x}/V, one can also write

nx2NxPnx|Nx\displaystyle\frac{n_{x}^{2}}{N_{x}}\frac{\partial P}{\partial n_{x}}\Big{|}_{N_{x}} 0,\displaystyle\geq 0\,, (154)
Pnx|Nx\displaystyle\frac{\partial P}{\partial n_{x}}\Big{|}_{N_{x}} 0.\displaystyle\geq 0\,. (155)

E.2 Canonical ensemble

In this ensemble, based on the conservation of (Helmholtz) free energy F=ESTF=E-ST, the fixed variables are a number of particles NN, volume VV, and energy TT. Minimization of free energy implies that the differential

dF=PdVSdT+μxdN=0,dF=-PdV-SdT+\mu_{x}dN=0\,, (156)

and detM0M\geq 0 with (aVa\rightarrow V, bTb\rightarrow T, and cNxc\rightarrow N_{x})

M=[PV|T,NxPT|V,NxPNx|V,TSV|T,NxST|V,NxSNx|T,VμxV|Nx,TμxT|Nx,VμxNx|V,T],M=\begin{bmatrix}-\frac{\partial P}{\partial V}\Big{|}_{T,N_{x}}&-\frac{\partial P}{\partial T}\Big{|}_{V,N_{x}}&-\frac{\partial P}{\partial N_{x}}\Big{|}_{V,T}\\ -\frac{\partial S}{\partial V}\Big{|}_{T,N_{x}}&-\frac{\partial S}{\partial T}\Big{|}_{V,N_{x}}&-\frac{\partial S}{\partial N_{x}}\Big{|}_{T,V}\\ \frac{\partial\mu_{x}}{\partial V}\Big{|}_{N_{x},T}&\frac{\partial\mu_{x}}{\partial T}\Big{|}_{N_{x},V}&\frac{\partial\mu_{x}}{\partial N_{x}}\Big{|}_{V,T}\end{bmatrix}\,, (157)

where we used that dF/dV=PdF/dV=-P, dF/dT=SdF/dT=-S, and dF/dNx=μxdF/dN_{x}=\mu_{x}.

In the zero-temperature limit, MM reduces once more to Eq. 149.

E.3 Grand canonical ensemble

In this ensemble, based on the conservation of grand potential Ω=ETSμxN\Omega=E-TS-\mu_{x}N, the fixed variables are chemical potentials μx\mu_{x}, volume VV, and energy TT. Minimization of grand potential implies that the differential

dΩ=PdVSdTNxdμx=0,d\Omega=-PdV-SdT-N_{x}d\mu_{x}=0\,, (158)

and detM0M\geq 0 with (aVa\rightarrow V, bTb\rightarrow T, and cμxc\rightarrow\mu_{x})

M=[PV|T,μxPT|V,μxPμx|V,TSV|T,μxST|V,μxSμx|T,VNxV|μx,TNxT|μx,VNxμx|V,T],M=\begin{bmatrix}-\frac{\partial P}{\partial V}\Big{|}_{T,\mu_{x}}&-\frac{\partial P}{\partial T}\Big{|}_{V,\mu_{x}}&-\frac{\partial P}{\partial\mu_{x}}\Big{|}_{V,T}\\ -\frac{\partial S}{\partial V}\Big{|}_{T,\mu_{x}}&-\frac{\partial S}{\partial T}\Big{|}_{V,\mu_{x}}&-\frac{\partial S}{\partial\mu_{x}}\Big{|}_{T,V}\\ -\frac{\partial N_{x}}{\partial V}\Big{|}_{\mu_{x},T}&-\frac{\partial N_{x}}{\partial T}\Big{|}_{\mu_{x},V}&-\frac{\partial N_{x}}{\partial\mu_{x}}\Big{|}_{V,T}\end{bmatrix}\,, (159)

where we used that dΩ/dV=Pd\Omega/dV=-P, dΩ/dT=Sd\Omega/dT=-S, and dΩ/dμx=Nxd\Omega/d\mu_{x}=-N_{x}.

In the zero-temperature limit, MM reduces to

M=[PV|μxPμx|VNxV|μxNxμx|V],M=\begin{bmatrix}-\frac{\partial P}{\partial V}\Big{|}_{\mu_{x}}&-\frac{\partial P}{\partial\mu_{x}}\Big{|}_{V}\\ -\frac{\partial N_{x}}{\partial V}\Big{|}_{\mu_{x}}&-\frac{\partial N_{x}}{\partial\mu_{x}}\Big{|}_{V}\end{bmatrix}\,, (160)

and stability requires

PV|μx\displaystyle-\frac{\partial P}{\partial V}\Big{|}_{\mu_{x}} 0,\displaystyle\geq 0\,, (161)
Nxμx|V\displaystyle-\frac{\partial N_{x}}{\partial\mu_{x}}\Big{|}_{V} 0,\displaystyle\geq 0\,, (162)

and

PV|μxNxμx|VPμx|VNxV|μx0.\frac{\partial P}{\partial V}\Big{|}_{\mu_{x}}\frac{\partial N_{x}}{\partial\mu_{x}}\Big{|}_{V}-\frac{\partial P}{\partial\mu_{x}}\Big{|}_{V}\frac{\partial N_{x}}{\partial V}\Big{|}_{\mu_{x}}\geq 0\,. (163)

Using the Maxwell relation Pμx|V=NV|μx\frac{\partial P}{\partial\mu_{x}}\Big{|}_{V}=\frac{\partial N}{\partial V}\Big{|}_{\mu_{x}}, we obtain

PV|μxNxμx|V(Pμx|V)2.\frac{\partial P}{\partial V}\Big{|}_{\mu_{x}}\frac{\partial N_{x}}{\partial\mu_{x}}\Big{|}_{V}\geq\left(\frac{\partial P}{\partial\mu_{x}}\Big{|}_{V}\right)^{2}\,. (164)

E.4 Infinite volume limit

For bulk matter, it is convenient to divide our grand potential with respect to the volume to get P=Ω/V=ϵTsμxnP=-\Omega/V=-\epsilon-Ts-\mu_{x}n, the fixed variables now being only μx\mu_{x} and TT. Maximization of the pressure implies that the differential

dP=sdT+nxdμx=0,dP=sdT+n_{x}d\mu_{x}=0\,, (165)

and detM0M\geq 0 with (aa\rightarrow\infty, bTb\rightarrow T, and cμxc\rightarrow\mu_{x})

M=[sT|μxsμx|TnxT|μxnxμx|T],M=\begin{bmatrix}\frac{\partial s}{\partial T}\Big{|}_{\mu_{x}}&\frac{\partial s}{\partial\mu_{x}}\Big{|}_{T}\\ \frac{\partial n_{x}}{\partial T}\Big{|}_{\mu_{x}}&\frac{\partial n_{x}}{\partial\mu_{x}}\Big{|}_{T}\end{bmatrix}\,, (166)

where we used that dP/dT=sdP/dT=s, and dP/dμx=nxdP/d\mu_{x}=n_{x}.

In the zero-temperature limit, MM reduces to

M=[nxμx],M=\begin{bmatrix}\frac{\partial n_{x}}{\partial\mu_{x}}\end{bmatrix}\,, (167)

and stability requires

nxμx\displaystyle\frac{\partial n_{x}}{\partial\mu_{x}} 0.\displaystyle\geq 0\,. (168)

We can also write for our particular case

nxPPμx\displaystyle\frac{\partial n_{x}}{\partial P}\frac{\partial P}{\partial\mu_{x}} 0,\displaystyle\geq 0\,, (169)
nxPnx\displaystyle\frac{\partial n_{x}}{\partial P}n_{x} 0,\displaystyle\geq 0\,, (170)

which using Eq. 168 means

Pnx0fornx0.\displaystyle\frac{\partial P}{\partial n_{x}}\geq 0\quad\rm{for}\quad n_{x}\geq 0\,. (171)

This is the case for baryon number, x=Bx=B, at T=0T=0. Note that this is similar to Eq. 155, one of the stability conditions in the microcanonical or canonical ensembles.

E.5 Multiple chemical potentials

Expanding Eq. 166 to the case of 33 chemical potentials, μB\mu_{B}, μS\mu_{S}, and μQ\mu_{Q}

M=[sT|μsμB|T,μS,μQsμS|T,μB,μQsμQ|T,μB,μSnBT|μnBμB|T,μS,μQnBμS|T,μB,μQnBμQ|T,μB,μSnST|μnSμB|T,μS,μQnSμS|T,μB,μQnSμQ|T,μB,μSnQT|μnQμB|T,μS,μQnQμS|T,μB,μQnQμQ|T,μB,μS],M=\begin{bmatrix}\frac{\partial s}{\partial T}\big{|}_{\vec{\mu}}&\frac{\partial s}{\partial\mu_{B}}\big{|}_{T,\mu_{S},\mu_{Q}}&\frac{\partial s}{\partial\mu_{S}}\big{|}_{T,\mu_{B},\mu_{Q}}&\frac{\partial s}{\partial\mu_{Q}}\big{|}_{T,\mu_{B},\mu_{S}}\\ \frac{\partial n_{B}}{\partial T}\big{|}_{\vec{\mu}}&\frac{\partial n_{B}}{\partial\mu_{B}}\Big{|}_{T,\mu_{S},\mu_{Q}}&\frac{\partial n_{B}}{\partial\mu_{S}}\Big{|}_{T,\mu_{B},\mu_{Q}}&\frac{\partial n_{B}}{\partial\mu_{Q}}\Big{|}_{T,\mu_{B},\mu_{S}}\\ \frac{\partial n_{S}}{\partial T}\big{|}_{\vec{\mu}}&\frac{\partial n_{S}}{\partial\mu_{B}}\Big{|}_{T,\mu_{S},\mu_{Q}}&\frac{\partial n_{S}}{\partial\mu_{S}}\Big{|}_{T,\mu_{B},\mu_{Q}}&\frac{\partial n_{S}}{\partial\mu_{Q}}\Big{|}_{T,\mu_{B},\mu_{S}}\\ \frac{\partial n_{Q}}{\partial T}\big{|}_{\vec{\mu}}&\frac{\partial n_{Q}}{\partial\mu_{B}}\Big{|}_{T,\mu_{S},\mu_{Q}}&\frac{\partial n_{Q}}{\partial\mu_{S}}\Big{|}_{T,\mu_{B},\mu_{Q}}&\frac{\partial n_{Q}}{\partial\mu_{Q}}\Big{|}_{T,\mu_{B},\mu_{S}}\end{bmatrix}\,, (172)

or using Eqs. 72 and 75.

M=[sT|μsμB|T,μS,μQsμS|T,μB,μQsμQ|T,μB,μSnBT|μχ2Bχ11BSχ11BQnST|μχ11SBχ2Sχ11SQnQT|μχ11QBχ11QSχ2Q].M=\begin{bmatrix}\frac{\partial s}{\partial T}\big{|}_{\vec{\mu}}&\frac{\partial s}{\partial\mu_{B}}\big{|}_{T,\mu_{S},\mu_{Q}}&\frac{\partial s}{\partial\mu_{S}}\big{|}_{T,\mu_{B},\mu_{Q}}&\frac{\partial s}{\partial\mu_{Q}}\big{|}_{T,\mu_{B},\mu_{S}}\\ \frac{\partial n_{B}}{\partial T}\big{|}_{\vec{\mu}}&\chi_{2}^{B}&\chi_{11}^{BS}&\chi_{11}^{BQ}\\ \frac{\partial n_{S}}{\partial T}\big{|}_{\vec{\mu}}&\chi_{11}^{SB}&\chi_{2}^{S}&\chi_{11}^{SQ}\\ \frac{\partial n_{Q}}{\partial T}\big{|}_{\vec{\mu}}&\chi_{11}^{QB}&\chi_{11}^{QS}&\chi_{2}^{Q}\end{bmatrix}\,. (173)

Then, to find the stability constraints, one must ensure that the determinants of all submatrices are positive. Thus, one can show that at finite TT and infinite VV the constraints are:

χ2B0,χ2S\displaystyle\chi_{2}^{B}\geq 0\,,\quad\chi_{2}^{S} 0,χ2Q0,\displaystyle\geq 0\,,\quad\chi_{2}^{Q}\geq 0\,, (174)
χ2Bχ2S\displaystyle\chi_{2}^{B}\chi_{2}^{S} (χ11BS)2,\displaystyle\geq\left(\chi_{11}^{BS}\right)^{2}\,, (175)
χ2Sχ2Q\displaystyle\chi_{2}^{S}\chi_{2}^{Q} (χ11SQ)2,\displaystyle\geq\left(\chi_{11}^{SQ}\right)^{2}\,, (176)
χ2Bχ2Q\displaystyle\chi_{2}^{B}\chi_{2}^{Q} (χ11BQ)2,\displaystyle\geq\left(\chi_{11}^{BQ}\right)^{2}\,, (177)
χ2Bχ2Sχ2Q+2(χ11BSχ11BQχ11SQ)\displaystyle\chi_{2}^{B}\chi_{2}^{S}\chi_{2}^{Q}+2\left(\chi_{11}^{BS}\chi_{11}^{BQ}\chi_{11}^{SQ}\right) χ2B(χ11SQ)2+χ2S(χ11BQ)2+χ2Q(χ11BS)2,\displaystyle\geq\chi_{2}^{B}\left(\chi_{11}^{SQ}\right)^{2}+\chi_{2}^{S}\left(\chi_{11}^{BQ}\right)^{2}+\chi_{2}^{Q}\left(\chi_{11}^{BS}\right)^{2}\,, (178)
sT|μ\displaystyle\frac{\partial s}{\partial T}\bigg{|}_{\vec{\mu}} 0,\displaystyle\geq 0\,, (179)
χ2BsT|μ\displaystyle\chi_{2}^{B}\frac{\partial s}{\partial T}\bigg{|}_{\vec{\mu}} [sμB|T,μS,μQ]2,\displaystyle\geq\left[\frac{\partial s}{\partial\mu_{B}}\bigg{|}_{T,\mu_{S},\mu_{Q}}\right]^{2}\,, (180)
χ2SsT|μ\displaystyle\chi_{2}^{S}\frac{\partial s}{\partial T}\bigg{|}_{\vec{\mu}} [sμS|T,μB,μQ]2,\displaystyle\geq\left[\frac{\partial s}{\partial\mu_{S}}\bigg{|}_{T,\mu_{B},\mu_{Q}}\right]^{2}\,, (181)
χ2QsT|μ\displaystyle\chi_{2}^{Q}\frac{\partial s}{\partial T}\bigg{|}_{\vec{\mu}} [sμQ|T,μB,μS]2,\displaystyle\geq\left[\frac{\partial s}{\partial\mu_{Q}}\big{|}_{T,\mu_{B},\mu_{S}}\right]^{2}\,, (182)
sT|μ[χ2Bχ2S(χ11BS)2]+2χ11BSsμB|T,μS,μQsμS|T,μB,μQ\displaystyle\frac{\partial s}{\partial T}\bigg{|}_{\vec{\mu}}\left[\chi_{2}^{B}\chi_{2}^{S}-\left(\chi_{11}^{BS}\right)^{2}\right]+2\chi_{11}^{BS}\frac{\partial s}{\partial\mu_{B}}\bigg{|}_{T,\mu_{S},\mu_{Q}}\frac{\partial s}{\partial\mu_{S}}\bigg{|}_{T,\mu_{B},\mu_{Q}} \displaystyle\geq χ2B(sμS|T,μB,μQ)2+χ2S(sμB|T,μS,μQ)2,\displaystyle\chi_{2}^{B}\left(\frac{\partial s}{\partial\mu_{S}}\bigg{|}_{T,\mu_{B},\mu_{Q}}\right)^{2}+\chi_{2}^{S}\left(\frac{\partial s}{\partial\mu_{B}}\bigg{|}_{T,\mu_{S},\mu_{Q}}\right)^{2}\,, (183)
sT|μ[χ2Bχ2Q(χ11BQ)2]+2χ11BQsμB|T,μS,μQsμQ|T,μB,μS\displaystyle\frac{\partial s}{\partial T}\bigg{|}_{\vec{\mu}}\left[\chi_{2}^{B}\chi_{2}^{Q}-\left(\chi_{11}^{BQ}\right)^{2}\right]+2\chi_{11}^{BQ}\frac{\partial s}{\partial\mu_{B}}\bigg{|}_{T,\mu_{S},\mu_{Q}}\frac{\partial s}{\partial\mu_{Q}}\bigg{|}_{T,\mu_{B},\mu_{S}} \displaystyle\geq χ2B(sμQ|T,μB,μS)2+χ2Q(sμB|T,μS,μQ)2,\displaystyle\chi_{2}^{B}\left(\frac{\partial s}{\partial\mu_{Q}}\bigg{|}_{T,\mu_{B},\mu_{S}}\right)^{2}+\chi_{2}^{Q}\left(\frac{\partial s}{\partial\mu_{B}}\bigg{|}_{T,\mu_{S},\mu_{Q}}\right)^{2}\,, (184)
sT|μ[χ2Sχ2Q(χ11SQ)2]+2χ11SQsμS|T,μB,μQsμQ|T,μB,μS\displaystyle\frac{\partial s}{\partial T}\bigg{|}_{\vec{\mu}}\left[\chi_{2}^{S}\chi_{2}^{Q}-\left(\chi_{11}^{SQ}\right)^{2}\right]+2\chi_{11}^{SQ}\frac{\partial s}{\partial\mu_{S}}\bigg{|}_{T,\mu_{B},\mu_{Q}}\frac{\partial s}{\partial\mu_{Q}}\bigg{|}_{T,\mu_{B},\mu_{S}} \displaystyle\geq χ2S(sμQ|T,μB,μS)2+χ2Q(sμS|T,μB,μQ)2,\displaystyle\chi_{2}^{S}\left(\frac{\partial s}{\partial\mu_{Q}}\bigg{|}_{T,\mu_{B},\mu_{S}}\right)^{2}+\chi_{2}^{Q}\left(\frac{\partial s}{\partial\mu_{S}}\bigg{|}_{T,\mu_{B},\mu_{Q}}\right)^{2}\,, (185)
sT|μ[χ2Bχ2Sχ2Q+2χ11BSχ11SQχ11BQj=B,S,Qχ2j(χ11j+1,j+2)2]+j=B,S,Q[(χ11j,j+1)2χ2jχ2j+1](sμj+2|T,μj+2)2\displaystyle\frac{\partial s}{\partial T}\bigg{|}_{\vec{\mu}}\left[\chi_{2}^{B}\chi_{2}^{S}\chi_{2}^{Q}+2\chi_{11}^{BS}\chi_{11}^{SQ}\chi_{11}^{BQ}-\sum_{j=B,S,Q}\chi_{2}^{j}\left(\chi_{11}^{j+1,j+2}\right)^{2}\right]+\sum_{j=B,S,Q}\left[\left(\chi_{11}^{j,j+1}\right)^{2}-\chi_{2}^{j}\chi_{2}^{j+1}\right]\left(\frac{\partial s}{\partial\mu_{j+2}}\bigg{|}_{T,\mu_{\neq j+2}}\right)^{2}
+2j=B,S,Q[χ2jχ11j+1,j+2χ11j,j+1χ11j,j+2]sμj+1|T,μj+1sμj+2|T,μj+2\displaystyle+2\sum_{j=B,S,Q}\left[\chi_{2}^{j}\chi_{11}^{j+1,j+2}-\chi_{11}^{j,j+1}\chi_{11}^{j,j+2}\right]\frac{\partial s}{\partial\mu_{j+1}}\bigg{|}_{T,\mu_{\neq j+1}}\frac{\partial s}{\partial\mu_{j+2}}\bigg{|}_{T,\mu_{\neq j+2}} <\displaystyle< 0.\displaystyle 0\,.

Appendix F C1-C4 with baryon octet + quarks

Refer to caption
Figure A21: C1-C4 (μS=μQ=0\mu_{S}=\mu_{Q}=0) octet + quarks: a) b) scalar meson fields (normalized by vacuum values), c) d) vector meson fields, and e) deconfinement field as a function of baryon chemical potential, f) pressure vs energy density, g) speed of sound vs baryon density, h) baryon density vs baryon chemical potential. Comparison of results from Fortran for stable branch (dashed lines) and CMF++ for stable branch (solid lines) for C1 (red-orange), C2 (black), C3 (green), and C4 (cyan).
Refer to caption
Figure A22: C1-C4 (μS=μQ=0\mu_{S}=\mu_{Q}=0) octet + quarks: a) strangeness and b) charge fractions vs baryon chemical potential, c) second and d) third order baryon susceptibilities, all versus baryon chemical potential. Comparison of results from Fortran for stable branch (dashed lines) and CMF++ for stable branch (solid lines) for C1 (red-orange), C2 (black), C3 (green), and C4 (cyan).

Below we make a direct comparison between all four couplings C1-C4 for stable solutions only for the baryon octet+quarks at μS=μQ=0\mu_{S}=\mu_{Q}=0. Within panels a)-d) of Figure A21, we depict mean-field mesons against μB\mu_{B}. As the previous discussions have covered in detail the C3 and C4 coupling schemes, we proceed to examine C1 and C2 in detail here. We note that the stable solutions of C++ and legacy Fortran solutions match for these couplings, except for the liquid-gas first-order phase transition, where Fortran presents no points. The σ\sigma and ω\omega mean fields (panel a) and b)) follow a trend similar to C3 and C4. The C1 and C2 coupling schemes showcase a pronounced deconfinement first-order phase transition (panel e)) around μB=1406.5\mu_{B}=1406.5 MeV, and μB=1411.5\mu_{B}=1411.5 MeV, respectively.

Concerning the strange mean-field mesons, for C1 and C2, they decrease with increasing μB\mu_{B}, particularly upon the emergence of hyperons, until the deconfinement phase transition. Above the deconfinement phase transition, the strange field ζ\zeta decreases in value, while, the ϕ\phi field drops to zero in the quark phase (due to its lack of coupling with quarks, see Table 10), exactly as C3 and C4.

For C1 and C2, Φ\Phi (panel e)) behaves just like C3. For the EoS (panel f)), all couplings exhibit first-order deconfinement phase transition. In the hadronic phase, the wiggle observed in C1 and C2, just like C3, is due to the emergence of Λ\Lambda hyperons, indicating a higher-order phase transition as confirmed by the speed of sound plot in panel g). In the quark phase, all coupling schemes overlap because vector fields do not couple with quarks. Panel h) shows that the density of C1 and C2 aligns with C3.

In panels a) and b) of Figure A22, we observe YSY_{S} and YQY_{Q}, with C1 and C2 resembling C3. Lastly, panels c) and d) depict susceptibilities for all coupling cases, with the discontinuities marking the first-order phase transitions (marked by discontinuities in χ2\chi_{2}). The discontinuities in χ3\chi_{3} indicate that the onset of strangeness in the stable phases (both hadronic and quark) is a third-order phase transition.