Neutron Stars and Gravitational Waves: the Key Role of Nuclear Equation of State

Neutron stars are the densest known objects in the universe and an ideal laboratory for the strange physics of super-condensed matter. Theoretical studies in connection with recent observational data of isolated neutron stars, as well as binary neutron stars systems, offer an excellent opportunity to provide robust solutions on the dense nuclear problem. In the present work, we review recent studies concerning the applications of various theoretical nuclear models on a few recent observations of binary neutron stars or neutron-star--black-hole systems. In particular, using a simple and well-established model, we parametrize the stiffness of the equation of state with the help of the speed of sound. Moreover, in comparison to the recent observations of two events by LIGO/VIRGO collaboration, GW170817 and GW190425, we suggest possible robust constraints. We also concentrate our theoretical study on the resent observation of a compact object with mass~$\sim 2.59_{-0.09}^{+0.08}~M_{\odot}$ (GW190814 event), as a component of a system where the main companion was a black hole with mass $\sim 23~M_{\odot}$. There is scientific debate concerning the identification of the low mass component, as it falls into the neutron-star--black-hole mass gap. This is an important issue since understanding the nature of GW190814 event will offer rich information concerning the upper limit of the speed of sound in dense matter and the possible phase transition into other degrees of freedom. We systematically study the tidal deformability of a possible high-mass candidate existing as an individual star or as a component in a binary neutron star system. Finally, we provide some applications of equations of state of hot, dense nuclear matter in hot neutron stars, protoneutron stars, and binary neutron star merger remnants.


I. INTRODUCTION
One of the currently unsolved open problems in nuclear physics is the properties of dense nuclear matter. In particular, compact objects, such as white dwarfs and especially neutron stars, offer the opportunity to study the behavior of nuclear matter at high densities [1][2][3][4]. Neutron stars are a very promising tool for studying the properties of dense nuclear matter, such as the speed of sound and its possible upper bound.
The main assumption for the speed of sound is that it cannot exceed the speed of light because of the causality. However, this is not determinant, as Zel'dovich [5,6] showed the importance of defining a rigorous limit of speed of sound upon the equation of state (EoS). To be more specific, in the electromagnetic interaction, the main assumption is that v s ≤ c/ √ 3 is generally low in nature. Moreover, by considering the interaction of baryons through a vector field, he noticed that the upper limit of the speed of sound is the causality, v s = c. Therefore, the only restriction imposed by general principles is that v s ≤ c [5,6]. On the other hand, Hartle noticed that the causality is not enough to constrain the high-density part of the EoS [7], while Weinberg pointed out that the speed of sound is much less than the speed of light for a cold nonrelativistic fluid [4]. In addition, for nonrelativistic and/or weakly coupled theories, the bound v s = c/ √ 3, according to Bedaque and Steiner seems to be valid, while in conformal theories, the upper bound is saturated [8]. According to these authors, the existence of a 2 M neutron star, in combination with the knowledge of the EoS of hadronic matter at the low density region, is not consistent with the limit c/ √ 3. We notice that various recent studies have been conducted regarding the speed of sound and the tidal deformability of neutron stars [9][10][11][12]. * pkoliogi@physics.auth.gr One of the goals of this study is to apply a method that directly relates the observed tidal deformability, derived from binary neutron star mergers, to the maximum mass of neutron stars, aiming to obtain constraints on the upper bound of the speed of sound. The main idea is the fact that while the measured upper limit of the effective tidal deformability favors softer EoSs, recent measurements of high neutron star masses favor stiffer EoSs. As a basis in our study, we used a model in which we parametrized the EoS through the various bounds of the speed of sound (stiffness). Hence, the EoS is a functional of the transition density and the speed of sound bound. In our approach, we used the observation of two recent events, GW170817 [13] and GW190425 [14], as well as the current observed maximum neutron star masses (1.908±0.016M [15], 2.01 ± 0.04 M [16], 2.14 +0. 10 −0.09 M [17], and 2.27 +0.17 −0.15 M [18]). The need for (a) a soft EoS for the low density region (to be in accordance with the observed upper limit of the effective tidal deformability) and (b) a stiff EoS for the high density region (to provide the high neutron star masses) leads to robust constraints on the EoS. In addition, this method allows making postulations about the kind of future measurements that would be more informative and help to improve our knowledge.
Furthermore, we highlight the very recent observation of the GW190814 event, where a gravitational wave has been detected from the merger of a 22.2-24.3 M black hole with a non-identified compact object with mass 2.5-2.67 M [19,20]. Although the authors of the mentioned references suggest that is unlikely for the second component's mass to belong to a neutron star, they do leave open the window that the improved knowledge of the neutron star EoS and further observations of the astrophysical population of compact objects could alter this assessment.
It is worth pointing out that the observation of the GW190814 event has some additional general benefits, apart from the measurement of 2.6 M of the second partner [19].
Firstly, this binary system has the most unequal mass ratio yet measured with gravitational waves close to the value of 0.112. Secondly, the dimensionless spin of the primary black hole is constrained to ≤0.07, where various tests of general relativity confirm this value, as well as its predictions of higher multiple emissions at high confidence intervals. Moreover, the GW190814 event poses a challenge for the understanding of the population of merging compact binaries. It was found, after systematic analysis, that the merger rate density of the GW190814-like binary system was 7 +16 −6 Gpc −3 yr −1 [19]. More relevant to the present study, the observation of the GW190814 event led to the following conclusion: due to the source's asymmetric masses, the lack of detection of an electromagnetic counterpart and of clear signature of tides or the spin-induced quadrupole effect in the waveform of the gravitational waves, we are not able to distinguish between a black-hole-black-hole and black-hole-neutron-star system [19]. In this case, one must count only the comparison between the mass of the second partner with the estimation of maximum neutron star mass [21]. This is one of the main subjects which has been revised in the present work. It should be emphasized that the measurements of neutron star mass can also inform us about a bound on the maximum gravitational mass independently of the assumptions of the specific EoS. For example, Alsing et al. [22], fitting the known population of neutron stars in binaries to double-Gaussian mass distribution, obtained the empirical constraint that M max ≤ 2.6 M (with 90% confidence interval ).
Farr and Chatziionannou updated knowledge from previous studies, including recent measurements [23]. Their study constrains the maximum mass M max = 2.25 +0. 81 −0.26 M , leading to the conclusion that the posterior probability (for the mass of the second partner m 2 ≤ M max ) is around only 29%. However, the prediction of M max is sensitive to the selection mass rules of neutron stars (not only on binary systems but also isolated) as well as to the discovery of new events, and this consequently remains an open problem. Finally, the conclusion of the recent GW190814 event in comparison with previous ones (for example the GW170817 event [24]) may shed light on the problem of the M max . For example, the spectral EoSs, which are conditioned by the GW170817 event, are once more elaborated to include the possibility that the prediction of M max is at least equal to m 2 . This approach leads to significant constraints on the radius and tidal deformability of a neutron star with mass of 1.4 M (R 1.4 = 12.9 +0. 8 −0.7 km and Λ 1.4 = 616 +273 −158 , respectively, [19]).
The matter of the finite temperature and its effect on the nuclear EoS, as well as astrophysical applications, has been extensively studied by Bethe et al. [25], Brown et al. [26], Lamb et al. [27], Lattimer and Ravenhall [28], and Lattimer [29]. Lattimer and Swesty [30], as well as Shen et al. [31], constructed the most used hot neutron star EoSs. The first one is based on the liquid drop-type model, and the second one is based on the relativistic mean field model. Afterwards, Shen et al. [31] broadened their study in order to study supernovae, binary neutron star mergers, and black hole formations by developing EoSs for various temperatures and proton fractions [32]. In addition, the density and temperature dependence of the nuclear symmetry free energy using microscopic two-and three-body nuclear potentials constructed from Chiral effective field theory have been studied in a series of works, including the one of Wellenhofer et al. [33]. Furthermore, hot neutron star and supernova properties have been studied by Constantinou et al. [34,35], where a suitable hot EoS is produced. Finally, the interplay between the temperature and the neutron star matter was probed by Sammarruca et al. [36], by considering the framework of chiral effective field theory.
In addition, a model for cold nucleonic EoSs, extended to include temperature and proton fractions for simulations of astrophysical phenomena, was constructed by Raithel et al. [46]. Pons et al. [47], as well as Prakash et al. [48], focused on describing the thermal and chemical evolution of protoneutron stars by considering neutrino opacities consistently calculated with the EoS. Finally, neutron stars, along with the hot EoS of dense matter, are presented in a recent review of Lattimer and Prakash [49].
The processes that occupy the stages of the merger and postmerger phases of a binary neutron star system have been extensively studied in recent years. However, matters that concern the remnant evolution are still under consideration or even unsolved. In particular, the remnant evolution contains (a) the collapse time, (b) the threshold mass, (c) the possible phase transition in the interior of the star, and (d) the disk ejecta and neutrino emission (for an extended discussion and applications, see Perego et al. [50]). It has to be noted here that the possibility of a phase transition will affect the signal of the emitted gravitational wave. Relevant previous work is also be available in Bauswein et al. [51], Kaplan et al. [52], Tsokaros et al. [53], Yasin et al. [54], Radice et al. [55], Sarin et al. [56], Soma and Bandyopadhyay [57], and Sen [58].
In the present work, we review some applications of the thermal effects on neutron star properties. In particular, we apply a momentum-dependent effective interaction (MDI) model, where thermal effects can be studied simultaneously on the kinetic part of the energy and also on the interaction one. In addition, the extension of the proposed model can lead to EoSs with varying stiffness with respect to the parameterized symmetry energy. In fact, Gale et al. [59] presented a model aimed at the influence of MDI on the momentum flow of heavy-ion collisions. However, the model has been successfully applied in studying the properties of cold and hot nuclear and neutron star matter (for an extensive review of the model, see References [60][61][62]).
Moreover, we review specific properties of neutron stars (including mainly the mass and radius, moment of inertia, Kerr parameter, etc.) with respect to the EoS, both at nonrotating and rapidly rotating (considering the mass-shedding limit) configurations. The above properties are well applied in studying hot neutron stars, protoneutron stars, and the remnants of binary neutron star systems.
To summarize, in the present work, we review the applications of various theoretical nuclear models on a few recent observations of binary neutron stars or neutron-star-black-hole systems, including mainly the GW170817, GW190425, and GW190814 events. Our results have been published recently in sections, in the following journals [63][64][65][66].
It has to be noted that the present study is mainly dedicated to the case of the emission of the gravitation waves due to the merger of a binary neutron star system. However, there are other mechanisms by which gravitational waves are emitted by a neutron star and thus, have additional ways of studying its internal structure (for a recent review, see Reference [67]). These mechanisms, which are considered as continuous gravitational waves sources, include, for example, (a) the case of radiation of gravitational waves by a rigidly rotating aligned triaxial ellipsoid (radiation of purely quadrupolar waves), (b) the emission of gravitational waves due to asymmetry in the magnetic field distribution in the interior of the neutron star, and (c) the radiation of gravitational waves from the rapidly rotating neutron stars. In this case, neutron stars may suffer a number of different instabilities with a general feature in common: they can be directly associated with unstable modes of oscillation (for exable g-modes, f-modes, w-modes, r-modes; for a review see Reference [68]). The more notable mechanism is the r-mode oscillations. In these oscillations, the restoring force is the Coriolis force. The r-mode mechanics have been proposed as an explanation for the observed relatively low spin frequencies of young neutron stars, as well as of accreting neutron stars in low-mass X-ray binaries. This instability only occurs when the gravitational radiation driving timescale is shorter compared to the ones of the various dissipation mechanisms, which occur in the neutron star matter [69]. The free procession may cause deformation of the neutron star, leading to a better understanding of some neutron star matter properties, including breaking strain, viscosity, rigidity, and elasticity [67]. We expect that in the future, the development of the sensitivity of LIGO and Virgo detectors in cooperation with and new instruments will help to significantly improve our knowledge of neutron star interiors with the detection of the emitted gravitational waves [67].
Another way to study the properties of dense nuclear matter that exists inside neutron stars can be done with the help of the statistical study of the observed properties of neutron stars. To be more specific, we refer to the observational data concern-ing both isolated neutron stars and those that exist in binary systems. In the first case, there are extensive studies where observational data are applied to estimations with the help of statistical studies, for example, the maximum possible mass of a neutron star, but mainly the radius of neutron stars with masses of about 1.4 M . In each case, valuable information and ideas can be extracted and utilized in terms of knowledge of the EoS of neutron star matter, in order to evaluate the reliability of the existing EoS (see the review article [70] and references therein). In the case of binary systems, the analysis of the emitted gravitational waves from the fusion of a binary system of neutron stars, where a large amount of information is received by studying the amplitude and phase of gravitational waves, is utilized. These studies mainly focus on the measurement (and utilization of the measurement) of tidal deformability. In any case, extensive and systematic statistical estimation of data can lead to valuable knowledge of the structure and composition of neutron stars (for a recent review see [71] and references therein).
The article is organized as follows: in Section II, we present the theory concerning the EoS and the structure of cold neutron stars. In Section III, we present the construction of the hot EoSs (both isothermal and isoentropic) and briefly discuss the stability equations of hot rapidly rotating neutron stars. The results and the discussion are provided in Section IV, while Section V includes the most noteworthy concluding remarks of the present review.

A. The Momentum-Dependent Interaction Nuclear Model
The description of the interior structure of neutron stars demands the use of a nuclear model suitable to describe the properties of dense nuclear matter. In the present work, the EoS of nuclear matter is studied using the MDI model. In this model, the energy per baryon is given by the formulae [60,72] E(n, I) = 3 10 where u is the baryon density normalized with respect to the saturation density (n s = 0.16 fm −3 ), I = (n n − n p )/n is the asymmetry parameter, X 0 = x 0 + 1/2, and X 3 = x 3 + 1/2.
The parameters A, B, σ, C i , and B appear in the description of symmetric nuclear matter (SNM) and are determined so that the relation E(n s , 0) = −16 MeV holds. Λ 1 and Λ 2 are finite range parameters equal to 1.5k 0 F and 3k 0 F , respectively, where k 0 F is the Fermi momentum at the saturation density. The remaining parameters, x 0 , x 3 , Z i , appear in the description of asymmetric nuclear matter (ANM) and, with a suitable parametrization, are used in order to obtain different forms for the density dependence of symmetry energy, as well as the value of the slope parameter L and the value of the symmetry energy E sym at the saturation density, defined as [63] L = 3n s dE sym (n) dn n s and E sym (n) = 1 2 and consequently different parametrizations of the EoS stiffness.
The specific choice of the MDI model is based on the following: (a) it combines both density and momentum dependent interaction among the nucleons, (b) it is suitable for studying neutron star matter at zero and finite temperature (due to the momentum term), (c) it reproduces with high accuracy the properties of SNM at the saturation density, including isovector quantities, (d) it reproduces the microscopic properties of the Chiral model for pure neutron matter (PNM) and the results of state-of-the-art calculations of Akmal et al. [73] with suitable parametrizations, (e) it predicts higher maximum neutron star mass than the observed ones [16][17][18], and (f) it maintains the causal behavior of the EoS even at densities higher than the ones that correspond to the maximum mass configuration.

B. Speed of Sound Formalism
An EoS can be parametrized in order to reproduce specific values of the speed of sound in the interior of the neutron star. This parametrization is possible following the formula available from References [22,[74][75][76][77][78][79][80]: where P and E denote the pressure and the energy density, respectively, and the corresponding subscript "tr" in energy density denotes the energy density at the transition density.
However, following the approach in Equation (3), only the continuity in the EoS is ensured. The artificial character of Equation (3) does not take into account the continuity in the speed of sound. Therefore, in order to ensure the continuity and a smooth transition, we followed the method presented in Reference [81]. We proceeded with the matching of the EoSs with the transition density by considering that, above this value, the speed of sound is parametrized as follows (for more details, see Reference [81]): where the parameters c 1 and c 2 are fit to the speed of sound and its derivative at n tr and also to the demands v s (n tr ) = [c/ √ 3, c] [74] according to the value of α. The remaining parameter w controls the width of the curve, which in our case is equal to 10 −3 fm −3 , in order to preserve the neutron star properties. Using Equation (4), the EoS for n ≥ n tr can be constructed with the help of the following [81]: C. Construction of the EoS The construction of the EoS for the interior of neutron stars is based on the MDI model and data provided by Akmal et al. [73]. More specifically, we utilized the data for the A18+UIX (hereafter APR-1) EoS from Akmal et al. [73] for the energy per particle of SNM and PNM in the density range [0.04, 0.96] fm −3 . Due to the complexity of the microscopic data, we divided the density region into three sections-(a) low-density region [0.04, 0.2] fm −3 , (b) medium-density region [0.2, 0.56] fm −3 , and (c) high-density region [0.56, 0.96] fm −3 -in order to acquire the best fitting using Equation (1). From this process emerged the coefficients for the SNM and ANM, and eventually the EoS, hereafter MDI-APR.
In the case of the speed-of-sound-parametrized EoSs, the construction of the EoSs follows the procedure: (a) in region E ≤ E c−edge , we used the equation of Feynman et al. [82] and also of Baym et al. [83] for the crust and low densities of neutron star; (b) in the intermediate region, E c−edge ≤ E ≤ E tr , we employed the MDI-APR EoS; and (c) for E tr ≥ E region, the EoS is maximally stiff with the speed of sound, defined as v s = c √ (∂P/∂E) S (where S is the entropy) fixed in the present work in the range [c/ √ 3, c]. The lowest allowed value of the speed of sound, that is (v s /c) 2 = 1/3, is introduced in order to be consistent with the possibility of a phase transition in quark matter. In this case, the theoretical predictions lead to this value as an upper bound of the speed of sound. The implementation of speed of sound values between the limited ones will lead to results well constrained by the two mentioned limits. Although the energy densities below the E c−edge have negligible effects on the maximum mass configuration, we used them in calculations for the accurate estimation of the tidal deformability.
In this study, two cases, based on the transition density, n tr = pn s and the speed of sound, are employed, in particular, For reasons of completeness, the treatment with both discontinuity and continuity in the speed of sound is presented 10 15 Rest mass density (g cm −3 ) MDI-APR LIGO/Virgo 90% CI [24] LIGO/Virgo 50% CI [24] 0.0 0.5 1.
Rest mass density (g cm −3 ) MDI-APR LIGO/Virgo 90% CI [24] LIGO/Virgo 50% CI [24]  in Table V of Reference [74]. The main point was that the two approaches converge and consequently the effects of the discontinuity are negligible.
In Figure 1, we present the pressure as a function of the rest mass density (ρ rest = n b m n ) and the square speed of sound in units of speed of light as a function of the transition density for the EoSs constructed in cases (a) and (b). In addition, we display the credibility intervals proposed by Reference [24] from LIGO/Virgo collaboration for the GW170817 event. It is clear from these figures that the pure MDI-APR EoS is welldefined in the proposed limits of LIGO/Virgo collaboration and also fulfills the speed of light limit at high densities.

Nonrotating Neutron Stars
For a static spherical symmetric system, which is the case of a nonrotating neutron star, the metric can be written as follows [1,2]: The density distribution and the local pressure is related to the metric functions λ(r) and ν(r) according to the relations [1,2] 8πG 8πG where derivatives with respect to the radius are denoted by . The combination of Equations (9) and (10) leads to the well known Tolman-Oppenheimer-Volkoff (TOV) equations [1,2]: It is difficult to obtain exact solutions to TOV equations in closed analytical form, and they are solved numerically with an equation of state specified [84]. Actually, there are hundreds of analytical solutions of TOV equations, but there are three that satisfy the criteria that the pressure and energy density vanish on the surface of the star, and they also both decrease monotonically with increasing radius. These three solutions are the Tolman VII, the Buchdahl, and the Nariai IV. Actually, the Tolman VII and the Buchdahl have already been analyzed and employed in Reference [85]. It is worth pointing out that in the present work we use the Tolman VII solution, which contains two parameters, that is, the central density ρ c and the compactness parameter β = GM/Rc 2 . All the mentioned solutions have been presented and analyzed in detail in References [85][86][87][88].
One of the most significant sources for the detectors of terrestrial gravitational waves is the gravitational waves from inspiraling binary neutron star systems before their merger [86,[89][90][91][92][93][94][95][96]. The component masses of these binary systems can be measured. Additionally, during the last orbits before the merger, the tidal effects that are present can also be measured [90].
The dimensionless parameter that describes the response of a neutron star to the induced tidal field is called tidal Love number k 2 . This parameter depends on the neutron star structure (i.e., the mass of the neutron star, and the EoS). Specifically, the tidal Love number k 2 is a proportional parameter between the induced quadrupole moment Q i j and the applied tidal field E i j [90,97] given below: where R is the neutron star's radius and λ = 2R 5 k 2 /3G is a key-role quantity, which is called tidal deformability. The tidal Love number k 2 is given by [90,91] The quantity y R is determined by solving the following differential equation with the initial condition y(0) = 2 [93]. F(r) and Q(r) are functionals of E(r), P(r), and M(r), defined as [86,93] and The Equation (15) must be integrated self-consistently with the TOV equations using the boundary conditions y(0) = 2, P(0) = P c and M(0) = 0 [86,91]. The numerical solution of these equations provides the mass M, the radius R of the neutron star, and the value of y R = y(R). The latter parameter along with the quantity β are the basic ingredients of the tidal Love number k 2 .
Moving on to the parameters of a binary neutron star system, a well-measured quantity by the gravitational waves detectors is the chirp mass M c of the system [13,98]: where m 1 and m 2 are the masses of the heavier and lighter components. Therefore, the binary mass ratio q = m 2 /m 1 is within the range 0 ≤ q ≤ 1.
Another quantity that can be constrained from the analysis of the gravitational wave signal and is of great interest, is the effective tidal deformability [13,98] where Λ i is the dimensionless tidal deformability, defined as [13,98] By observing Equations (14) and (20), one can find that Λ i depends both on the star's compactness and the value of y(R). More specifically, Λ i depends directly on the stiffness of the EoS through the compactness β and indirectly through the speed of sound which appears in Equation (17). In addition, the applied EoS also affects the behavior of Λ regarding the neutron star's mass M and radius R.

Rotating Neutron Stars
In a fully general relativistic framework, the rotating neutron stars are studied with the use of the stationary axisymmetric spacetime metric, which is given by [99] where the metric functions ν, ψ, ω, and µ depend only on the coordinates r and θ. In order to describe a rapidly rotating neutron star, in addition to the above metric, we need the matter inside the neutron star described as a perfect fluid. By neglecting sources of non-isotropic stresses, as well as viscous ones and heat transport, then the matter inside the neutron star can be fully described by the stress-energy tensor [99], where u α is the fluid's 4-velocity and E and P are the energy density and pressure. For the stability of cold rotating neutron stars, the turningpoint criterion is being used. It has to be noted that this is only a sufficient and not a necessary condition. Actually, the neutral stability line is positioned to the left of the turning-point line in (M, ρ c ) space, which implies that the star will collapse before reaching the turning-point line [100,101].
The numerical integration of the equilibrium equations was conducted under the RNS code [102] by Stergioulas and Friedman [103], which is actually based on the method developed by Komatsu, Eriguchi, and Hachisu [104] and modifications introduced by Cook, Shapiro, and Teukolsky [105].

A. Thermodynamical Description of Hot Neutron Star Matter
The description of nuclear matter at finite temperature includes the Helmholtz free energy, where the differentials of the total free energy, as well as the total internal energy (assuming that the baryons are contained in volume V) are given by [106,107] where S tot is the total entropy of baryons, µ i is the chemical potential of each species, and N i is the number of particles of each species, respectively. Furthermore, the free energy per particle can be expressed as where E = E/n and S = s/n are the internal energy and entropy per particle, respectively. It has to be noted here that for T = 0 MeV, Equation (25) leads to the equality between free and internal energy. In addition, the entropy density s has the same functional form as a noninteracting gas system, calculated through the form with spin degeneracy g = [1,2]. The first case corresponds to protons, neutrons, electrons, and muons, and the second case corresponds to neutrinos. Finally, the pressure and chemical potentials, which depend on the above quantities, are described as::

B. Bulk Thermodynamic Quantities
The pressure and chemical potentials, which are essential for the thermodynamical description of nuclear matter, can also be connected to the key quantity, that is, the free energy, as where f denotes the free energy density. It is worth mentioning that the pressure P can also be determined by [106,107], In this case, the calculation of the entropy per particle is possible by differentiating the free energy density f with respect to the temperature, By applying Equation (30), the chemical potentials take the form [37,108,109] The free energy F(n, T, I) and the internal energy E(n, T, I), as well as the entropy, which depends on the latter quantities, can have the following quadratic dependence from the asymmetry parameter [37,[109][110][111][112]: S (n, T, I) = S (n, T, as the parabolic approximation (PA) suggests, where While the above approximation is valid for the specific model, in general, it is mandatory to check it. For completeness, the PA is satisfied in both the internal energy and the free energy, as References [37,[109][110][111][112] state. However, there are studies [113] in which the PA contains uncertainties. In sum, the PA and its validity strongly depend on the specific character of the selected nuclear model. Equation (35), which is mandatory for this approximation, can be acquired by substituting Equation (36) aŝ This equation is similar to that obtained for cold catalyzed nuclear matter by replacing E sym (n) with F sym (n, T ).

C. Lepton's Contribution
Stable nuclear matter and a chemical equilibrium state are explicitly connected at high densities for all reactions. Specifically, electron capture and β decay take place simultaneously In consequence, a change in the electron fraction Y e is in order.
Considering that the generated neutrinos have left the system, a significant effect on the EoS is presented by changing the values of proton fraction Y p [114,115]. In particular, the absence of neutrinos implies that It is has to be mentioned that, in principle, the matter contains neutrons, protons, electrons, muons, photos, and antiparticles, which are in a thermal equilibrium state. However, in the present study, we consider only the contribution of neutron, protons, and electrons, as the contribution of the remaining particles is negligible [114]. As a consequence, the following relation holds: The energy density and pressure of leptons are calculated through the following formulae: The chemical potential of electrons is available through the Equations (43) and (46), as which is crucial for the calculation of the proton fraction as a function of both the baryon density and the temperature.
The construction of the EoS of hot nuclear matter in the βequilibrium state is provided through the calculation of the total energy density E t , as well as the total pressure P t . The total energy density (with all terms) is given by

D. Isothermal Configuration
In the isothermal temperature profile, by considering that for each value of temperature, the value of the proton fraction is a well-known function of the baryon density, the total energy density is evaluated as where E e (n, T, Y p ) is given by Equation (47), replacing the leptons with electrons and µ e from Equation (50), and F PA and S PA are given by Equations (36) and (38), respectively. Moreover, the total pressure is evaluated as where and P e (n, T, Y p ) is given by Equation (49), replacing the leptons with the electrons and µ e from Equation (50). Thus, the Equations (54) and (56) for the energy density and the pressure, respectively, correspond to the ingredients for the construction of isothermal EoSs of hot nuclear matter in β equilibrium state.

E. Isentropic Configuration and Neutrino Trapping
In an isentropic configuration, we assume that the entropy per baryon and lepton fraction are constant in the interior of the neutron star (protoneutron star). Specifically, according to Equation (44), the neutrinos are trapped in the interior of the star and the proton fraction is significantly increased. The relevant chemical equilibrium can be expressed in terms of the chemical potentials for the four species, In addition, the charge neutrality demands the equality between proton and electron fraction, while the total fraction of leptons is equal to Y l = Y e + Y ν e . Henceforth, the chemical equilibrium is expressed as In this case too, the relevant system of equations can provide us with the density and temperature dependence of proton and neutrino fractions, and their chemical potentials, by assuming a constant entropy per baryon. Nonetheless, we applied the approximation of Y p 2/3Y l + 0.05 (3% accuracy) introduced by Takatsuka et al. [114], in order to avoid computational complications. The ingredients for the construction of isentropic EoSs are given by the Equations (51) and (52).

F. Construction of the Hot EoSs
The construction of the EoS for the interior of neutron stars at finite temperature and entropy per baryon is based on the MDI model and data provided by Akmal et al. [73]. In particular, we utilized the APR-1 EoS data from Akmal et al. [73] for the energy per particle of SNM and PNM in the density range [0.04, 0.96] fm −3 . The process leads to the evaluation of the coefficients for the symmetric and asymmetric nuclear matter, and finally, to the construction of the EoS, hereafter MDI+APR1.
In the case of the isothermal temperature profile, we have constructed 10 EoSs in the temperature range [1,60] MeV, while in the isentropic case, we have constructed nine EoSs in entropy per baryon and lepton fraction ranges [1,3] k B and [0.2, 0.4], respectively. For the crust region of the finite temperature cases and the low-density region (n b ≤ 0.08 fm −3 ), as well as the finite entropies per baryon and lepton fractions, the EoSs of Lattimer and Swesty [30] and the specific model corresponding to the incomprehensibility modulus at the saturation density of SNM K s = 220 MeV are used (https://www.stellarcollapse.org, accessed on 4 March 2020).

G. Rapidly Rotating Hot Neutron Stars
The stability of hot neutron stars is acquired via a specific version of the secular instability criterion of Friedman et al. [116], which follows Theorem I of Sorkin [117].
In a continuous sequence of equilibria at a fixed baryon number N bar and total entropy of the neutron star S ns t , the extremal point of the stability loss is found when [118] where J and n c b are the angular momentum and central baryon density of the star, respectively.
Furthermore, in a sequence, the turning-point appears in the case where three out of four following derivatives vanish, with M gr and M b denoting the gravitational and baryon mass [52,119]. In addition, the turning-point theorem shows that at this point, the fourth derivative also vanishes, and the sequence has transitioned from stable to unstable. It has to be mentioned that the criterion for secularly stable/unstable configurations is essential only for constant entropy per baryon or temperature [119]. In this review, the entropy per baryon and the temperature in each case are constant throughout the neutron star. Therefore, the remaining criteria vanish at the maximum mass configuration (the last stable point). Furthermore, we considered that in the rotating configuration, the maximum mass and the maximum angular velocity coincide, which generally is not the case [99]. However, the existing difference is very small, and it could not be detected within the precision of our calculations [118].
The numerical integration of the equilibrium equations was conducted under the publicly available numerical code nrotstar from the C++ Lorene/Nrotstar library [120].

A. Speed of Sound and Tidal Deformability
In our study, we used two cases for the value of speed of sound, the lower bound of (v s /c) 2 = 1/3 and the upper one of (v s /c) 2 = 1, and four transition densities n tr = {1, 1.5, 2, 3}n s [65].
In Figure 2, we display the corresponding mass-radius (M-R) diagram, which we obtained from the numerical solution to the TOV system of equations. The green colored lines correspond to the (v s /c) 2 = 1/3 limit, while the blue ones correspond to the (v s /c) 2 = 1 limit. One can observe that each transition density leads to bifurcations in the M-R diagram. Between the same kind of linestyle, the lower and upper bounds, (v s /c) 2 = 1/3 and (v s /c) 2 = 1 of speed of sound correspond to lower and higher masses, respectively. In general, the higher the transition density, the softer the EoS, with the lower bound of (v s /c) 2 = 1/3 leading to a more soft EoS compared to the (v s /c) 2 = 1 case. In addition, the estimation of the GW170817 event and the NICER's data are also displayed [24,121]. We notice that while there is an accordance between the two observations, the GW170817 event  (from the gravitational-waves perspective) is more informative for our study than the NICER's detection, as it restricts the cases leading to the exclusion of EoS at least with transition density n tr = n s , for both bounds of speed of sound.
Our study takes into consideration the observation of binary neutron stars mergers from the gravitational waves detectors. Therefore, we used the measured upper limit of the effective tidal deformabilityΛ provided by the events GW170817 and GW190425 [14,24,98]. . We notice that we modified the range of the component masses (especially in the second event) to have an equal mass boundary, i.e., q ≤ 1.
In Figure 3, we display the effective tidal deformabilityΛ as a function of q for both events. In Figure 3a, we observe that the upper limit onΛ (derived from the GW170817 event) leads to the exclusion of both cases of speed of sound with transition density n tr = 1, 1.5 n s . By comparing to Figure 2, the constraints on the upper limit ofΛ in Figure 3 make more clear which cases must be excluded. For the second event in Figure 3b, we observe that all the EoSs are shifted to lower values ofΛ, compared to the GW170817 event. This is because of the higher value of chirp mass in the second event (GW190425). Contrary to the GW170817 event, the upper limit onΛ, provided by GW190425 event, excludes only these EoSs with transition density n tr = n s , for both bounds of the speed of   sound. In general, for both events, the EoSs corresponding to higher values of transition density n tr lead to smaller values ofΛ. Therefore, the measured upper limits ofΛ favor softer EoSs. We have to notice that for the GW190425 event, we did not take into consideration the cases with transition density n tr = 3 n s because the EoS with (v s /c) 2 = 1/3 and n tr = 3n s cannot reproduce the masses of this event.
Beyond the useful constraints that we obtained so far by the study of the EoSs through the observed upper limit ofΛ, a more direct connection between this quantity and the speed of sound bounds is still needed. This idea, which lies at the very heart of our study, was the main motive. Such a direct relation between the referred quantities can be accomplished if we treat the variation ofΛ in Figure 3 as a function of the transition density n tr , i.e., theΛ (1/3,1) min − n tr andΛ (1/3,1) max − n tr relations.
In Figure 4, we display the relation between the effective tidal deformabilityΛ and the transition density n tr at the maximum mass configuration for the two bounds of the speed of sound, v s = c/ √ 3 and v s = c, and the two events GW170817 ( Figure 4a) and GW190425 (Figure 4b). The corresponding upper measured limits forΛ, as well as the compatible lower transition density values, are also indicated. The predictions on the bound of the speed of sound which are considered between the two referred limits correspond to the middle region. The main remarks from the observation of Figure 4 are the following 1. The overall thickness decreases as the transition density n tr reaches higher values. This behavior can be explained by the variation of the radius M(R) presented in the M-R diagram (see Figure 2).
2. The thickness of each shaded region decreases as the n tr reaches higher values.
3. The shaded areas are shifted downwards in the GW190425 event, compared with the GW170817 event. This behavior is due to the increase in the component masses. A similar behavior was observed in Figure 3b, compared to Figure 3a.
According to our findings, for the GW170817 event, the lower limit for the transition density is 1.626n s for v s = c/ √ 3 and 1.805n s for v s = c. In the case of the second event, GW190425, the corresponding limits are 1.015n s for v s = c/ √ 3 and 1.216n s for v s = c. Therefore, the first event imposes more stringent constraints on the EoS. In particular, the value of the speed of sound must be lower than v s = c/ √ 3, at least up to density 1.626n s (so the EoS is soft enough to predict the tidal deformability). Furthermore, the EoS must remain casual at least up to density 1.805n s . In addition, according to the Fermi liquid theory (FLT), the speed of sound must be v 2 s,FLT ≤ 0.163c 2 for n = 1.5n s [122], meaning that the EoS cannot exceed this value for n ≤ 1.5n s , which is in agreement with our finding of the lower limit n tr = 1.626n s for the case of v s = c/ √ 3. We notice that so far we used the upper limit onΛ to impose stringent constraints on the n tr . The existence of a lower limit onΛ could provide further information. Indeed, for the GW170817 event, such a lower limit is provided both by the gravitational wave data [24,98] and the electromagnetic (EM) counterpart of the merger [123][124][125][126][127][128]. Most et al. [129] used the bound of Reference [123] and demonstrated its significance in order to further constrain the tidal deformabilityΛ 1.4 and the radius R 1.4 of a M = 1.4 M neutron star. For our case of interest and especially for the GW170817 event, a lower limit onΛ similar to the proposed values, could not provide any further constraint, even if we consider the more optimistic boundary ofΛ ≥ 400.
On the contrary, for the second event GW190425, its higher component masses lead to smaller values ofΛ. Hence, there is an inability for the upper limit ofΛ to provide further constraints. We speculate that the existence of a lower limit onΛ would be able to provide constraints, especially leading to an upper limit for n tr . Hence, binary neutron stars coalescences with heavy masses would be helpful to constrain the upper limit of n tr via the lower limit ofΛ as provided by the EM counterpart. Unfortunately, an EM counterpart for the GW190425 event was not detected [14,130]. Furthermore, we provide in Figure 4 an expression for thẽ Λ (1/3) min andΛ (1) min boundary curves of the green (lower) and blue (upper) shaded regions, respectively. This expression gives the exact value of the lower limit on n (1/3) tr and n (1) tr , respectively. The expression is given by the following equation, and the coefficients on Table I, As one can observe from Figure 2, the highest mass is provided by the stiffest EoSs, i.e., the higher value of speed of sound. Therefore, the behavior of the maximum mass M max and the speed of sound v 2 s has to be studied further. In Figure 5, the behavior of the effective tidal deformabilityΛ as a function of the maximum mass for the two speed of sound bounds and for both events is displayed. The corresponding upper observational limit forΛ (black dashed horizontal line), the compatible maximum mass in each case (horizontal arrows), and the current observed maximum neutron star mass M = 2.14 +0.10 −0.09 M (vertical purple shaded region) are also indicated. At first glance in Figure 5, there is a contradiction between the maximum mass and the upper limit of the observedΛ. For the first event shown in Figure 5a, the upper limit of Λ is compatible with a maximum mass value 2.106M for v s = c/ √ 3 and 3.104M for v s = c. Nonetheless, this bound corresponds to transition density in approximation 1.5n s . Experimental evidence disfavors this value. Therefore, the simultaneous derivation of the maximum mass combined with the experimental knowledge that the EoS cannot take this bound of sound speed for n tr = 1.5n s are in contradiction. Furthermore, the upper limit on M max for the case of (v s /c) 2 = 1/3 lies roughly inside the estimation of the measured maximum mass. In the general perspective, we notice that two different points of view antagonize each other. The constraints derived by the upper limit onΛ lead to softer EoSs, contrary to the observational estimations of the maximum mass of neutron stars, which lead to stiffer EoSs. As we move to higher values of the speed of sound, this contrast decreases, with the causal scenario of v s = c leading to a very wide area for the maximum mass.
In the case of the second event GW190425 displayed in Figure 5b, the constraints provided by the measuredΛ are less stringent than the GW170817 event, with a maximum mass value of M max ≤ 2.534 M for v s = c/ √ 3 and M max ≤ 3.772 M for v s = c. HOwever, the presence of a lower limit onΛ, especially in the case of events with heavy components (such as GW190425), could constrain the lower maximum mass. In addition, we provide an expression that describes theΛ as a function of the maximum mass M max . The expression is given by the following equation and the coefficients in Table I, The expression in this form means that M max → 0 ⇒Λ → 0. Moreover, the adoption of an upper limit on the maximum mass M max in Figure 5 could provide an additional constraint on the behavior of the speed of sound. Specifically, by applying the estimated upper limit M max ≤ 2.33 M [131], the case of (v s /c) 2 = 1 in Figure 5a for the GW170817 event should be excluded. On the contrary, the estimated upper limit M max ≤ 2.106 M for the (v s /c) 2 = 1/3 bound, is a more tight constraint. Additionally, an upper limit such as M max ≤ 2. Another interesting relation is theΛ as a function of the radius of a 1.4 M neutron star, for both events, which is displayed in Figure 6. First of all, the upper limit onΛ leads to a limitation on the maximum values of the radius, especially in the case of v s = c/ √ 3. Furthermore, there is a trend betweenΛ and R 1.4 , which was also remarked on by Raithel et al. [132], mentioning that the effective tidal deformability depends strongly on the radii of the stars rather on the component masses. This strong dependence can be observed in Figure 6.
In particular, for the GW170817 event, the curves of the two limited cases, red and blue for the (v s /c) 2 = 1/3 and (v s /c) 2 = 1 bounds, respectively, of the speed of sound are almost identical. The cross marks correspond to the specific values for each case. In our study, we considered four cases of transition density n tr ; therefore, eight marks are expected in total, but in the diagram, only seven can be seen. This is because of the identical values for the n tr = 3n s case that the two bounds provide. This is clear from their behavior in Figure 2 in which, for the mass range of GW170817 event, their M-R curves are identical.
Moreover, as the effective tidal deformabilityΛ shows higher values, the distance between them also increases. The same behavior is present in the curves of Figure 3a, in which their in-between distance increases for higher values ofΛ. This increment is related to the n tr , meaning that the differentiation for small values of n tr is more obvious. Hence, in these cases, the effect of each bound of the speed of sound is easier to be manifested.
The dotted purple line corresponds the approximate relation of References [133,134]. We notice that this approximate relation is valid only for the first event and for specific assumptions on the components' radii. In particular, the main assumption of this approximation consists on the R 1 ≈ R 2 relation. From the comparison of Figure 6 with the M-R diagram of Figure 2, it follows that for smaller values of n tr (i.e., more stiff EoSs), (a) the inclination of the curves increases and (b) the difference between the M-R curves of boundary cases also increases. Therefore, these remarks, combined with the strong dependence of Λ i to R (see Equation (20)), show the inability of the proposed expression to accurately reproduce the values ofΛ in the high-values region can be explained.
The grey shaded area indicates the excluded area due to the upper limit onΛ, provided by Reference [98]. The upper limit  For the second event (GW190425), we notice that the exact range of the component masses is not determinant [130]. The orange and green lines and marks correspond to the (v s /c) 2 = 1/3 and (v s /c) 2 = 1 bounds, respectively, of the speed of sound. The shaded grey region indicates the excluded region by the upper limit ofΛ [14]. The orange and green arrows indicate the allowed region for each case. For (v s /c) 2 = 1/3, the constraint on the radius is R 1.4 ≤ 14.712 km, while for (v s /c) 2 = 1 is R 1.4 ≤ 14.53 km. These are more stringent constraints compared to the 15 km and 16 km of Reference [14]. We notice that recently it was found in Reference [138] that the joint contribution of gravitational waves and NICER data favors the violation of the conformal limit (v s /c) 2 < 1/3. In particular, this analysis suggests the violation of the conformal limit around 4ρ nuc density, where ρ nuc = 2.8 × 10 14 g/cm 3 is the nuclear saturation density.
In addition, one can observe the similarity of the curves' behavior between the two events. For higher values of n tr , the distance between the points grows. One of the main differences is that for the second event, the curves and the points are shifted to smaller values ofΛ because of the higher chirp mass M c of the system. Another observation is that the fitting lines are more distinct from each other, contrary to the GW170817 event, in which they were almost identical; nevertheless, there is a common trend (see also Reference [132]). For this reason, we applied the following expressioñ where R 1.4 is in km, similar to the proposed relations of References [133,134]. The coefficients for each case are given in Table II.

B. GW190814: A Postulation of the Most Massive Neutron Star
The GW190814 event that arose from the merger of a ∼ 23 M black hole with a ∼ 2.6 M compact object has provided various scenarios for the nature of the second component. In particular, the possibilities for the second merger component are that of (a) the lightest black hole, (b) the most compact neutron star, (c) a rapidly rotating neutron star, and (d) an exotic compact object. We note that in the present review, we consider only the scenarios where the compact object is a nonrotating (most compact) neutron star or is a rapidly rotating one [66].
In Figure 7, we display the gravitational mass as a function of the Kerr parameter for the pure MDI-APR EoS. In addition, we note the universal relation where K max = 0.68 is the Kerr parameter at the mass-shedding limit, for two limiting cases:  Figures 1 and 7 show that the pure MDI-APR EoS, which is well-defined in the above limits, is a suitable hadronic EoS to describe the ∼2.6 M compact object.
Furthermore, by assuming that the second merger component is rotating at its mass-shedding limit, possible constraints are available through the Kerr parameter, the equatorial radius, and the central energy/baryon density. Specifically, by employing the relation found in Reference [63] [63] by assuming that the low mass component was rotating at its mass-shedding limit. The cross, the plus sign, and the diamond show the maximum mass configuration at the mass-shedding limit.
for the observable gravitational mass, the maximum Kerr parameter is evaluated in the range K max = [0.67, 0.69], a feature that is also noted in Figure 7. Moreover, taking into consideration the relation from Reference [64] that connects the Kerr parameter with the compactness parameter at the mass-shedding limit, namely the equatorial radius is calculated in the range R max = [14.77, 14.87] km. Finally, we focused on the central energy/baryon density, a property that is connected to the time evolution of pulsars and the appearance of a possible phase transition. The above dependence is presented in Figure 8 as the dependence of the maximum gravitational mass on both the central energy density and the central baryon density. Specifically, Figure 8 contains a wide range of hadronic EoSs (23 EoSs) [63] both at the nonrotating and maximally rotating configurations, the analytical  M.R. Hadronic EoSs [63] Cook et al. [140] Salgado et al. [141] (vs/c) 2 = 1/3 -N.R.
according to Reference [63], the calculation data from Cook et al. [140] and Salgado et al. [141], and the recent data for the nonrotating and maximally rotating configurations both in the cases of (v s /c) 2 = 1/3 and (v s /c) 2 = 1 with the corresponding transition densities. In addition, via Equation (68), which is used for the description of the upper bound for the density of cold baryonic matter [63], the central energy density can be constrained in the narrow range ε c /c 2 = [2.53, 2.89] 10 15 g cm −3 . The latter indicates that neutron stars with higher values of central energy density cannot exist. Furthermore, Figure 8 provides us the tools to extract the corresponding region for the central baryon density, which is n c = [7. 27,8.09] n s . It is worth mentioning that the cases in this review meet the limit for the central energy/baryon density as they are included in the region described under Equation (68).

Isolated Non-Rotating Neutron Star
In this study, we extended our previous work in Reference [65] for an isolated nonrotating neutron star by using two transition densities n tr = [1.5, 2]n s and eight values of speed of sound bounds (v s /c) 2 = [1/3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1] [66]. The values of transition density were taken to be close to the constraints of Reference [65]. By solving numerically the system of TOV equations, combined with the previous bounds for the speed of sound, we obtained the M-R diagram, displayed in Figure 9(a).
At first sight, there are two main branches in Figure 9a related to the transition density. The solid (dashed) curves correspond to the n tr = 1.5n s (n tr = 2n s ) case. Depending on each value for the bound of the speed of sound, there are bifurcations in the families of EoSs. As we move to higher values for the speed of sound, the color of the curves lightens. The blue solid horizontal line, with the accompanying shaded region, represents the estimation of the recently observed massive compact object of Reference [19]. In general, the branch of EoSs with n tr = 1.5n s provides stiffer EoSs compared to the n tr = 2n s branch. Hence, the EoSs of the n tr = 1.5n s case are more likely to provide such a massive nonrotating neutron star than the n tr = 2n s case in which three EoSs lie outside of the shaded region. Specifically, between the same kind of transition density n tr the EoSs with higher bounds of the speed of sound lead to higher values of neutron star mass and radius. Therefore, a generally high bound of the speed of sound (as the transition density has higher values, the speed of sound would be closer to the causal scenario) is needed for the description of such a massive compact object.
As one can observe in Figure 9a, there is a trend across the maximum masses. In order to study this behavior, we constructed the diagram of Figure 9b. The cross and star marks represent the maximum masses of n tr = 1.5n s and n tr = 2n s cases, respectively. The color of the marks is lighter for higher values of the speed of sound. The blue solid horizontal line, with the accompanying shaded region, indicates the estimation of the recently observed massive compact object of Reference [19]. The purple and green curves represent the following expression for the n tr = 1.5n s and n tr = 2n s cases, respectively, given below where d = (v s /c) 2 . The coefficients are given in Table III. By applying the formula mentioned above, we were able to obtain estimations of the speed of sound values for each transition density n tr . In particular, for a nonrotating massive neutron star with M = 2.59 M the speed of sound must be (a) (v s /c) 2 = 0.485 (n tr = 1.5n s ), and (b) (v s /c) 2 = 0.659 (n tr = 2n s ). The exact values' interval is given in Table III. We note that in the case of higher values of transition density n tr , the fitted expression and marks are shifted downwards; i.e., the higher the point of the transition in density, the smaller the provided maximum mass. In addition, as one can see in Figure 9b, the higher values of the speed of sound are better able to predict such massive neutron stars, until a specific boundary value of transition density n tr (higher than those we adopted in our study), in which even the causality could not lead to such a massive neutron star.
Hence, a very massive nonrotating neutron star favors higher values of the speed of sound than the v s = c/ √ 3 limit. Based on our previous work, the current observation of neutron star mergers leads to a lower bound on the transition density n tr [65]. At this point, a contradiction arises; the transition density n tr must be above a specific lower value but not big enough to predict very massive masses.
In Figure 11, we display the tidal parameters for the single neutron star case that we study as a function of the mass. The vertical blue shaded region and line indicate the mass estimation for the second compact object of Reference [19]. One can observe that in both diagrams there are two main families of EoSs, distinguished by the transition density n tr . The EoSs with higher speed of sound bounds lead to bigger values on both tidal parameters. This means that a neutron star with a higher speed of sound value is more deformable than a more compact one (with a lower speed of sound value). Moreover, the EoSs with smaller transition density n tr and higher (v s /c) 2 values are more likely to predict a very massive neutron star of M = 2.59 M .
We notice that taking into consideration cases with higher transition density n tr could lead to smaller values of tidal parameters, i.e., more compact and less deformable stars. Hence, a very high value of the speed of sound, close to the causality, would be necessary to provide such a massive nonrotating neutron star.

A Very Massive Neutron Star in a Binary Neutron Stars System
Beyond the hypothetical scenario of a single nonrotating neutron star, it is of particular interest to consider the binary case of two neutron stars, with the heavier having a mass of m 1 = 2.59 M and letting the secondary lighter neutron star fluctuate within the range m 2 ∈ (1, 2.59) M . By subtracting the component masses m 1 , m 2 in Equation (18), we obtain the corresponding values of M c . Then, since the masses are defined, from the Equations (19) and (20), the effective tidal deformabilityΛ can be determined.
In Figure 10a, we display the effective tidal deformability Λ as a function of the chirp mass M c of the system, for all the possible binary neutron star systems with such a massive neutron star component. We have to underline that from all the EoSs that we studied in the single-neutron star case previously, in the binary case, we used only those that can provide a neutron star with 2.59 M mass. As one can see in Figure 10, there are two families of EoSs, distinguished by the transition density n tr . For each family of EoSs, the EoSs with higher values of the speed of sound predict higher values ofΛ. We notice that for a binary system with m 1 = 2.59 M and m 2 = 1.4 M , the chirp mass is M c = 1.642 M . Another remark is that binary neutron star systems with both heavy components, meaning higher M c , lead to smaller values ofΛ. In this case, a possible lower limit onΛ might provide useful constraints on the EoS.
In Figure 10b, we display the dependence ofΛ on the corresponding binary mass ratio q. We have to underline that this kind ofΛ − q diagram is different from the usual ones (see in comparison Figure 3) because the chirp mass M c has no specific value. In particular, in this work, the M c is treated as a variable, and each point of Figure 10b corresponds to a different binary neutron star system with the heavier component in all cases being a very massive neutron star with mass 2.59 M . Similarly to Figure 10a, there are two main families for the curves, and the EoSs with higher speed of sound provide higher values ofΛ. The more symmetric binary neutron star systems (q → 1) lead to smaller values ofΛ. On the contrary, the highest values ofΛ correspond to the most asymmetric binary neutron star systems. We notice that for a binary system with m 1 = 2.59 M and m 2 = 1.4 M , the asymmetry ratio is q = 0.541.   Figure 12, we display this dependence. To be more specific, the EoSs are in five main groups, characterized by the transition density n tr . Our study has been expanded to transition densities n tr = [1.25, 1.75, 2.25] n s so that the calculations could be more accurate The higher speed of sound values correspond to lighter color. In analog to the observations of the previous Figure 10, the high speed of sound bounds lead to higherΛ and R 1.4 .
In addition, we applied a fitting formula to the (v s /c) 2 = [0.8, 0.9, 1] cases. The formula was taken to be in the kind of the proposed relations of References [133,134], Λ = c 5 R c 6 1.4 (70) where the coefficients for each case are given in Table IV.
According to a recent study, a similar power-law relation connects the tidal deformability of a single neutron star to the R 1.4 [142]. The significance of the tidal deformability Λ 1.4 and R 1.4 in order to obtain information about microscopic quantities was studied in Reference [143]. By imposing an upper limit on R 1.4 , one can obtain an upper limit onΛ. Hence, by adopting the general limit of Reference [132], we obtained the constraints of Table IV. D. Finite Temperature Effects on Rapidly Rotating Neutron Stars

Sequences of Constant Baryon Mass
A way to study the effects of finite temperature on the rapidly rotating remnant after a binary neutron star merger is the sequences of constant baryon mass. The sequences provide us with information about the evolution and instabilities of hot neutron stars. In particular, in the case of the isothermal EoSs, we considered the same baryon mass configuration for the EoSs and constructed a sequence related to the cooling of a hot neutron star [64]. Figure 13a displays the Kepler frequency as a function of the temperature for four baryon masses in the range [1.6, 2.2] M . Specifically, in the range [0, 15] MeV, the Kepler frequency decreases sharply with the temperature, while for higher temperatures, a smoother behavior is presented. This dependence can be described as where f and T are in units of Hz and MeV, respectively, and the coefficients α i with i = 0-3 are given in Table V. This behavior suggests that the effects of temperature are more pronounced in the range [0, 15] MeV, leading to significant lower Kepler frequencies, where for higher temperatures than T > 15 MeV, the effects are moderated. Afterwards, in Figure 13b, the dependence of Kepler frequency on the central baryon density is presented, for four baryon masses in the range [1.6, 2.2] M . While for low values of temperature the central baryon density increases with increasing temperature, for high values of temperature, a reduction in the values of the central baryon density is noted. In addition, for low values of temperature (T < 30 MeV) there is the appearance of a linear relation between the Kepler frequency and the central baryon density, assuming always a constant temperature. The significance of Figure 13b is focused on temperatures higher than T = 30 MeV, where a linear relation described as with f and n c b given in units of Hz and fm −3 , respectively, interprets the dependence of the Kepler frequency on the central baryon density independent from the specific baryon mass. Henceforth, Equation (72) defines the allowed region that a neutron star can exist with rotation at its mass-shedding limit for a specific central baryon density and vice versa. Afterwards, in Figure 15 we present the Kerr parameter as a function of the gravitational mass for neutron stars at the mass-shedding limit in (a) isothermal and (b) isentropic profile. In addition, we display the constraints for the Kerr parameter of neutron stars with the shaded region [64] and the Kerr bound for astrophysical Kerr black holes [97]. As the temperature or the entropy per baryon increases in the neutron star, the Kerr parameter decreases, except for high values of temperature (T = 60 MeV) where a slightly increase is observed. Furthermore, Figure 15c  the Kerr parameter creates a plate, meaning that the increase in temperature does not affect the Kerr parameter.
The introduction of temperature in neutron stars cannot violate the proposed limit for Kerr black holes [97] and the one from cold neutron stars [64]. Therefore, the gravitational collapse of a hot and uniformly rotating neutron star, constrained to mass-energy and angular momentum conservation, cannot lead to a maximally rotating Kerr black hole.
In addition, it is worth mentioning that, while in the cold neutron star, for M gr > 1 M , the Kerr parameter is almost independent of the gravitational mass, in hot configurations, Kerr parameter is an increasing function of the gravitational mass. The latter leads to the conclusion that while the interplay between the angular momentum and the gravitational mass in cold neutron stars is imperceptible, that is not the case in hot neutron stars, where a significant dependence is suggested.
Finally, Figure 16 displays the angular velocity as a function of the ratio of kinetic to gravitational binding energy T/W for neutron stars at the mass-shedding limit in (a) isothermal and (b) isentropic profile. Gravitational waves can be produced from neutron stars through the nonaxisymmetric perturbations. The vertical dotted line notes the limit for nonaxisymmetric instabilities from gravitational radiation, located at T/W ∼ 0.08 for models with M gr = 1.4 M [145]. The introduction of temperature leads to the conclusion that nonaxisymmetric instabilities cannot exist in hot neutron stars. However, for cases with low values of temperature (T ≤ 1 MeV and S = 1 with Y l = 0.2), the nonaxisymmetric instability would set in before the mass-shedding limit is reached. The latter indicates that both the maximum gravitational mass and the angular velocity will be lowered. The aftermath from the analysis on the compactness parameter, Kerr parameter, and ratio T/W is the insight for the hot and rapidly rotating remnant after a neutron star merger. Actually, the remaining object is a compact object consisting of neutron star matter. By assuming a remnant with at least T ≥ 30 MeV for isothermal neutron stars and S = 1 with Y l = 0.2 for isentropic ones, rotating at its mass-shedding limit, possible constraints are available through the mentioned quantities. In particular, • compactness parameter: β iso rem ≤ 0.19 and β ise rem ≤ 0.27, • Kerr parameter: K iso rem ≤ 0.42 and K ise rem ≤ 0.68, • ratio T/W: (T/W) iso rem ≤ 0.05 and (T/W) ise rem ≤ 0.127, where the superscripts "iso" and "ise" correspond to isothermal and isentropic profiles [for more details see Reference [64]]. Specifically, in the case that the remnant follows the isothermal profile, the remaining object is a lesser compact object than the cold neutron star, with lower values of maximum gravitational mass and frequency, and stable toward the dynamical instabilities. In the case that the remnant follows the isentropic profile, the remaining object is comparable to the cold neutron star.

V. CONCLUDING REMARKS
In this review we have presented a suitable EoS parameterized to reproduce specific values of the speed of sound and gravitational mass of neutron stars. In addition, we introduced the effects of finite temperature both in isolated neutron stars and in matters of merging. In particular, we have constructed equilibrium sequences of both nonrotating and rapidly rotating with the Kepler frequency neutron stars and paid special attention to the gravitational and baryon mass, the radius, the transition baryon density, the Kerr parameter, the moment of inertia, the ratio T/W, and the tidal deformability. This study is applied in several gravitational wave events, GW170817, GW190425, and GW190814, and possible constraints for the EoS are extracted.
Firstly, we studied the EoS and especially imposed constraints on the speed of sound (which affects the stiffness of the EoS) and the transition density by using recent observations of two binary neutron stars mergers (GW170817 and GW190425 events). The implemented method that we developed was based on the upper limits of the effective tidal deformability (derived from the mentioned events), combined with measurements of the maximum neutron star mass. As a base in our study, we used the MDI-APR EoS, for two cases of speed of sound bounds [63,74]; the conformal case v s = c/ √ 3 and the causal one of v s = c.
The treatment of the effective tidal deformability as a function of the transition density allowed us to extract constraints on the bounds of the speed of sound. Specifically, for the GW170817 event, we found that the speed of sound must be lower than the value v s = c/ √ 3, at least up to densities n tr ≈ 1.6n s , and lower than v s = c up to densities n tr ≈ 1.8n s . For the GW190425 event, the respective values are n tr ≈ n s for the lower speed of sound bound and n tr ≈ 1.2n s for the upper one. These constraints are less rigorous than those derived from the GW170817 event.
Moreover, we studied the effective tidal deformability as a function of the maximum mass for both cases of speed of sound bounds. For the GW170817, we obtained that the maximum mass should be M max ≤ 2.106 M for the v s = c/ √ 3 bound and M max ≤ 3.104 M for the upper bound v s = c. We notice that the limit of M max ≈ 2.11 M corresponds to a transition density equal to n tr ≈ 1.5n s . Hence, according to this finding, the conformal limit v s = c/ √ 3 is in contradiction with the observational estimations of the M max of neutron stars. Therefore, it must be violated in order to be able to simultaneously describe small values of the effective tidal deformability and high values for neutron star mass. The reason for this contradiction is based on two different points of view that antagonize one another: the upper limit onΛ favors softer EoSs (higher values of n tr ), while the maximum mass observations require stiffer EoSs (smaller values of n tr ). For higher values of the speed of sound, this contradiction becomes less severe (i.e., M max ≈ 3.1 M for the case v s = c). We notice that the GW190425 was not able to offer further information.
Furthermore, from the study of the effective tidal deformability and the radius R 1.4 of a 1.4 M neutron star, we observed that all the EoSs follow a common trend. This trend is affected mainly by the chirp mass of the binary system. To be more specific, as the chirp mass reaches higher values, the trend moves downwards. From the event GW170817 we obtained an upper limit R 1.4 ≈ 13 km for both cases, which is consistent with other estimations. The event GW190425 provided an upper limit R 1.4 ≈ 14.712 km for the v s = c/ √ 3 bound and R 1.4 ≈ 14.53 km for the v s = c bound.
We postulate that the discovery of future events of binary neutron stars mergers will provide rich information and further constraints on the bound of the speed of sound. In particular, the detection of future events could lead to more stringent constraints on the upper limit ofΛ and therefore more rigorous constraints on n tr and bounds of the sound speed. Based on our approach, the more useful events for the lower limit of n tr would be those with lighter component masses. Moreover, it would be of great interest to probe the lower limit ofΛ. Such a lower limit might lead to an upper value of the transition density n tr . We make the assumption that heavier neutron star mergers would be suitable in the direction of a possible upper limit on n tr . In any case, further detection of neutron stars mergers will assist in these open problems.
The baryon mass of the postmerger remnant is considered approximately conserved, a feature that gives rise to the significance of the temperature. In particular, in the case of hot neutron stars, the baryon mass is lower than the cold ones. As remnants are considered rapidly rotating, we study them at the mass-shedding limit. Specifically, in the cold case, the baryon mass is 3.085 M , while for a hot one at T = 30 MeV is 2.427 M and for one at S = 1 is 3.05 M . By considering that the merger components have approximately equal masses, the above limits correspond to merger components with ∼1.5425, ∼1.2135, and ∼1.525 M baryon masses, respectively. Furthermore, the immediate aftermaths of GW170817 [13] and GW190425 [14] events created hot and rapidly rotating remnants probably at the mass-shedding limit. In the case of GW170817 event, the remnant with ∼2.7 M can be supported under the uniform rotation of cold and isentropic neutron stars with respect to the baryon mass of MDI+APR1 EoS. In contrast, isothermal neutron stars cannot support these values of mass. As far as the GW190425 event, the assumption of uniform rotation cannot be used to interpret the remnant of ∼3.7 M . It has to be noted that the postmeger remnant is assumed to rotate differentially. However, uniform rotation is a valid candidate to provide us with useful information about neutron stars.
In the GW190814 event [19], a compact object with a mass of ∼2.6 M was observed as a merger component. It is believed to be either the lightest black hole or the most massive neutron star [139]. Nonetheless, Most et al. [139] suggest that the compact object could be a neutron star rapidly spinning with K in the range [0. 49, 0.68]. In this case, the relevant postulation is in accordance with this study. More specifically, the values of the gravitational mass and Kerr parameter coincide with the ones from the MDI+APR1 EoS in both cold catalyzed matter and isentropic matter with S = 1 and Y l = 0.2. Following the latter conclusion, there is a possibility that the observed star was rotating close to or at its mass-shedding limit and provide us additional constraints on the high density region of the nuclear EoS. In addition, possible constraints can be extracted for the corresponding equatorial radius. The Kerr parameter at the mass-shedding limit of the MDI+APR1 EoS lies in the region of K max = [0. 67, 0.69]. This region also includes the upper limit of the relevant region from Reference [139] in a narrow range. Furthermore, by exploiting the relation between the Kerr parameter and the compactness parameter, a possible tight region for the equatorial radius of the star is implied as R max = [14.77, 14.87] km.
The Kerr parameter also has the role of an indicator of the collapse to a black hole. In hot neutron stars, the Kerr parameter decreases as the temperature inside the neutron star increases and never exceeds that of the cold neutron star. In conclusion, thermal support cannot lead a rapidly rotating star to collapse into a maximally rotating Kerr black hole. In addition, after ∼1 M , while the Kerr parameter is almost constant for the cold neutron stars, for hot neutron stars, the Kerr parameter is increasing with respect to the gravitational mass. The latter leads to a specific maximum value.
The ratio T/W is explicitly linked to the gravitational collapse to a black hole and the existence of stable supramassive neutron stars. We consider in the present study only the first scenario. Instabilities originating from the gravitational radiation, in which the critical value is at T/W ∼ 0.08 for the M gr = 1.4 M configuration [145], do not exist for hot neutron stars. Nonetheless, for low values of temperatures, as the ratio T/W exceeds the critical value, this limit sets the upper value for the maximum gravitational mass and angular velocity. It has to be noted that studies concerning the Kerr parameter as well as the ratio T/W and the corresponding effect of the temperature are very rare. The existence of the latter studies may open a new window in neutron star studies.
A way to manifest the significance of the thermal support in neutron stars is the evolutionary sequences of constant baryon mass. In this configuration, the dependence of the Kepler frequency on the central baryon density presents a linear relation for temperatures higher than T = 30 MeV. The existence of such a relation, independent of the baryon mass, can define the allowed region of the pair of the central baryon density and corresponding Kepler frequency for a rotating hot neutron star at its mass-shedding limit.
Central baryon/energy density can also be of great interest in cold neutron stars, as it is connected with the evolution of the neutron star and the possible appearance of a phase transition. The end point from our study is that the central energy density must be lower than the values in the range ε c /c 2 = [2.53, 2.89] 10 15 g cm −3 , while for the central baryon density, the corresponding range is n c = [7. 27,8.09] n s . The latter can inform us about the stability of the neutron star, as a neutron star with higher values of central energy/baryon density cannot exist, as well as the appearance of the back-bending process.
Moreover, we examined the hypothetical scenario of a very massive neutron star with mass equal to ∼2.59 +0.08 −0.09 M , such as the secondary component of the GW190814 system [19]. The study of the maximum mass of each EoS as a function of the speed of sound bounds (for each value of transition density n tr ), provide us constraints in the speed of sound. To be more specific, the n tr = 1.5n s case leads to (v s /c) 2 ∈ [0.448, 0.52], while the n tr = 2n s case leads to (v s /c) 2 ∈ [0.597, 0.72]. We postulate that as the transition density n tr is getting higher values, it is more difficult to achieve such a massive nonrotating neutron star. In particular, above a specific high-transitiondensity n tr value, the speed of sound should be close to the causality to provide such a massive neutron star.
By studying the tidal parameters for the single case, we observed that the lower transition densities n tr lead to higher tidal parameters. Hence, the transition density n tr = 2n s corresponds to a more compact neutron star (less deformation). Furthermore, between the same kind of transition density n tr , the EoSs with higher bounds on the speed of sound predict higher tidal parameters. Therefore, for the same transition density, the higher speed of sound bound means that the neutron star is less compact (more deformation).
Moving on to the binary neutron star system case, we adopted the hypothesis of a very massive component with m 1 = 2.59 M , allowing us to investigate a variety of hypothetical binary neutron star systems with such a heavy component neutron star. In the case of heavy components of binary neutron star systems, meaning high value for the system's chirp mass M c , the effective tidal deformabilityΛ has smaller values (smaller deformation). This behavior was noticed also in thẽ Λ − q diagram, in which the increasing binary mass symmetric ratio q leads to smaller values ofΛ. For a binary neutron system with the heavier component equal to m 1 = 2.59 M and the lighter one equal to m 2 = 1.4 M , the chirp mass M c and the ratio q were estimated to be M c = 1.642 M and q = 0.541, respectively.
Lastly, we studied the case of a binary neutron star system with m 1 = 2.59 M with a secondary component m 2 = 1.4 M . We especially concentrated on the radius R 1.4 . A general remark is that the transition density n tr = 1.5n s provides higher values of R 1.4 andΛ than the n tr = 2n s case. We extended our study to further transition densities n tr , which confirmed this general behavior. Additionally, the higher bounds of the speed of sound provide higher values on both parameters. By imposing an upper limit on the radius, we extracted some upper limits on theΛ for each value of the speed of sound. In particular, this upper limit onΛ shifts to higher values as the bound of the speed of sound increases.
This hypothetical scenario of a very massive neutron star demonstrated the key role of a microscopic quantity of the EoS, the speed of sound, which dramatically affects the EoS in combination with the changes in the transition density. We notice that the existence of such a massive nonrotating neutron star would mean a significant difference from all the cases known so far, which is a challenge for physics.
The underlying physics of neutron star mergers and the hot, rapidly rotating remnant should be investigated by considering differential rotation and cooling mechanisms, as these are the main features in the early postmerger phase. In addition, special emphasis should be given in the phase transition region, the existence of exotic degrees of freedom in the interior of neutron stars, as well as the accurate measurement of the tidal deformability. Finally, the observation of binary neutron star mergers and black-hole-neutron-star mergers, combined with the above studies, may provide significant constraints for the construction of the EoS.