Thermodynamically consistent accreted crust of neutron stars:
The role of proton shell effects

Mikhail E. Gusakov Ioffe Institute, Saint-Petersburg, Russia    Andrey I. Chugunov Ioffe Institute, Saint-Petersburg, Russia
(June 7, 2024; June 7, 2024)
Abstract

Observations of accreting neutron stars are widely used to constrain the microphysical properties of superdense matter. A key ingredient in this analysis is the heating associated with nuclear reactions in the outer layers of the neutron star (crust), as well as the equation of state and composition of these layers. As recently shown, the neutron hydrostatic/diffusion (nHD) condition is valid in the inner part of the crust, where some of the neutrons are not bound to the nuclei, and this condition should be properly incorporated into crustal models. Here we construct models of the accreted crust of a neutron star, taking into account the nHD condition and proton shell effects in nuclei. For numerical illustration, we employ the recently proposed compressible liquid drop model, which incorporates shell effects. However, our approach is general and can also be used in future studies relying on more sophisticated nuclear physics models.

I Introduction

The observational properties of accreting neutron stars evolve on the timescale of a human lifetime, offering an opportunity to explore the neutron star “real-time” dynamics. Specifically, crust cooling following an accretion episode has been observed and analyzed for nine sources, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11], while a few dozens of other accreting neutron stars in quiescence demonstrate thermal emission from the fully thermally relaxed crusts [12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 9, 23, 11]. The necessary ingredients for modelling these sources are the crustal equation of state (EOS) and the heat release profile over the crust. Here, we determine these properties taking into account the proton shell effects in nuclei as well as the presence of unbound neutrons in the inner crust.

To construct the EOS of the accreted crust, one should study the accretion-driven evolution of volume elements in the crust. Namely, accretion leads to the compression of each volume element, initiating nuclear reactions there. In early works, beginning from [24], this problem was considered in a single-fluid approximation, i.e., it was assumed that all matter is confined within the compressing volume element, thereby making pressure the only driving parameter of nuclear evolution (the temperature effects were also neglected).

However, as indicated in [25], the problem is not that simple due to the presence of unbound neutrons in the inner crust. The unbound neutrons must be treated as an independent fluid, which makes the traditional (single-fluid) approximation inapplicable (see [26] for a discussion of inconsistencies arising in the single-fluid approximation). The behavior of the neutron fluid is quite simple: owing to superfluid motions or rapid diffusion, it redistributes itself within the inner crust to remain in the hydrostatic/diffusion equilibrium (nHD) governed by the nHD condition

μn=constant,superscriptsubscript𝜇𝑛constant\mu_{n}^{\infty}={\rm constant},italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT = roman_constant , (1)

where μn=μneν/2superscriptsubscript𝜇𝑛subscript𝜇𝑛superscript𝑒𝜈2\mu_{n}^{\infty}=\mu_{n}e^{\nu/2}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT = italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_ν / 2 end_POSTSUPERSCRIPT is the redshifted neutron chemical potential, μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is the local neutron chemical potential, and eν/2superscript𝑒𝜈2e^{\nu/2}italic_e start_POSTSUPERSCRIPT italic_ν / 2 end_POSTSUPERSCRIPT is the redshift factor. By definition, inner crust corresponds to μnmnc2subscript𝜇𝑛subscript𝑚𝑛superscript𝑐2\mu_{n}\geq m_{n}c^{2}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ≥ italic_m start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (mnsubscript𝑚𝑛m_{n}italic_m start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is the bare neutron mass; c𝑐citalic_c is the speed of light) and the upper boundary of the inner crust is given by the condition μn=mnc2subscript𝜇𝑛subscript𝑚𝑛superscript𝑐2\mu_{n}=m_{n}c^{2}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. In the approximation of vanishing stellar temperature, T=0𝑇0T=0italic_T = 0, there are no unbound neutrons above the inner crust. The continuity of the neutron chemical potential at the crust-core boundary, as well as the equilibrium structure of the core, implies that the redshifted neutron chemical potential is constant both in the inner crust and core [25].

Because of neutron leakage, it is essential to associate a volume element with the nuclei and monitor nuclear reactions in that element. The nuclear evolution is governed by two key parameters: the pressure determined by the hydrostatic crustal model above this volume element and the neutron chemical potential, which can also be affected by the crustal model below the chosen volume element due to the nHD condition. As a result, it is generally not possible to build a model of the inner crust layer by layer, starting from the top; instead, it is necessary to consider the nuclear evolution in the entire crust simultaneously.

This problem is especially complicated (and has not been analyzed yet) at the initial stages of accretion, when the original composition of the matter in the pristine crust is replaced by the accreted material. We will not consider this transitional regime in what follows. Instead, as in our previous works, we will focus on investigating the steady-state regime of accretion, in which the composition of the crust no longer depends on time (except for small secular corrections associated with changes in the mass of the accreting star). The resulting neutron star crust will be referred to as the fully accreted crust (FAC).

The assumption of FAC makes the problem self-similar and substantially simplifies it. In particular, if Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, the pressure at the outer-inner crust interface (oi), is known, it becomes possible to construct a model of the crust, starting from the top of the crust and considering it layer by layer. The equations governing the nHD crust were first derived in [25] and rederived here in Section II for a more realistic nuclear physics model that includes shell effects.

Unfortunately, generally Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT cannot be known in advance and must be determined as a result of FAC modeling. To do this, we treat Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT as a parameter and apply the equations from Section II to construct the nHD EOS family, parametrized by the pressure Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT. We then analyze this family to constrain the actual value of Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT and the corresponding FAC model according to two requirements.

First, the number of nuclei in the crust must be nearly constant for the crustal structure to remain self-similar. Because accretion supplies additional nuclei to the crust, there must be an effective mechanism for nuclei disintegration. The physical mechanism for disintegration is related to a specific instability, which was identified in [25] and further analyzed here (see Section IV). According to the numerical results, this instability occurs if Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT exceeds the critical value Poi(min)subscriptsuperscript𝑃minoiP^{\mathrm{(min)}}_{\mathrm{oi}}italic_P start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, thus constraining Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT from below.

The second condition is used to determine the upper bound for Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT. It arises from the requirement that the FAC must be thermodynamically consistent with the neutron star core. It is important to note that the self-similar solution ends at the point where all the nuclei disintegrate and generally cannot be continued into the underlying layers. For the compressible liquid drop (CLD) model used in [25], this is not a problem, as the FAC solution ends at the crust-core boundary. However, for more realistic models, the situation is not that simple and relic crustal layers may remain between the FAC and the core (see Ref. [27] and Sections IV and V).

For numerical illustration (Section IV) we limit ourselves to a pure 56Fe ash composition (see Refs. [28, 29, 30] for multicomponent models, which, however, are limited to not-too-deep crustal layers) and apply the recently suggested CLD model with proton shell effects added on top (CLD+sh model, [31]). Using this model, we constrain the pressure Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT in Section V. In Section VI, we analyze heat release at the innermost regions of inner crust and, in Section VII, present a heuristic energy-based approach to predict FAC properties for more refined nuclear physics models. Our conclusions and results are summarized in Section VIII.

II Construction of nHD crust

As an input for the development of accreted crust models, it is necessary to invoke two fundamental physical theories: thermodynamics and kinetics of crustal matter. Thermodynamics is required to calculate the equation of state, assuming a given chemical composition and local thermodynamic equilibrium. The equation of state, determined in this manner, will be referred to as the microscopic equation of state (mEOS); note that we distinguish it from the actual equation of state established in a specific accreting neutron star. In turn, kinetics is necessary to consistently determine the composition of matter in each point of the accreting crust by accounting for nuclear reactions and the redistribution of free neutrons within the crust.

In Ref.  [25], we analyzed the nHD crust using the smooth CLD model as our thermodynamic framework. The corresponding mEOS is two-parametric, i.e., the energy density ϵ=ϵ(nb,nN)italic-ϵitalic-ϵsubscript𝑛𝑏subscript𝑛𝑁\epsilon=\epsilon(n_{b},n_{N})italic_ϵ = italic_ϵ ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) is a function of the baryon number density nbsubscript𝑛𝑏n_{b}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT and the number density of nuclei, nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT. In Section II.1 we rederive the equations of Ref. [25] in a more general form, which simplifies the subsequent discussion.

The main goal of this paper is to consider the nHD crust with a more realistic microphysics input that includes shell effects. This significantly complicates the problem because of two reasons. Firstly, mEOS ceases to be two-parametric (see Section III.2 for details). As a result, the equations governing the nHD crust need to be modified to be consistent with this more realistic mEOS. The corresponding modification is presented in Section II.2. The algorithm for the construction of the nHD crust based on these equations is given in Section II.3.

Secondly, the calculation of the shell effects to determine mEOS is a complicated and model-dependent problem. In this work, we apply three simplified models to describe shell energy corrections (see Section III.3). We treat these models more as qualitative ones, and use them as a proof-of-principle demonstration of how one should proceed in order to construct the nHD accreted crust accounting for shell effects. We find that the latter effects are crucial for modelling the nHD crust and infer some general trends that appear to be less sensitive to the quantitative behavior of shell corrections.

II.1 Smooth mEOS

In Ref. [25] we started the derivation of the equations for the nHD crust from the two-parametric mEOS ϵ(nb,nN)italic-ϵsubscript𝑛𝑏subscript𝑛𝑁\epsilon(n_{b},n_{N})italic_ϵ ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) and used the CLD model for numerical illustration. The CLD-based mEOS can be represented in this form by imposing beta-equilibrium, mechanical equilibrium, and chemical equilibrium conditions inside a spherical cell, which contains one nucleus (see the Supplementary Material of that work). Here, we take a step back and start from a three-parameter mEOS, ϵ(nb,nN,Z)italic-ϵsubscript𝑛𝑏subscript𝑛𝑁𝑍\epsilon(n_{b},n_{N},Z)italic_ϵ ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) (see Section III.1 for numerical implementation). This allows us to consider not only beta-equilibrated matter, but also a EOS for which Z𝑍Zitalic_Z is constant in the inner crust. The latter model, referred to as “Z𝑍Zitalic_Z-fixed” EOS in what follows, is used as a simplified, yet adequate model mimicking the strong proton shell closure of nuclei with Z=20𝑍20Z=20italic_Z = 20.

Let us introduce the chemical potentials, μN=ϵ/nNsubscript𝜇𝑁italic-ϵsubscript𝑛𝑁\mu_{N}=\partial\epsilon/\partial n_{N}italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT = ∂ italic_ϵ / ∂ italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT and μb=ϵ/nbsubscript𝜇𝑏italic-ϵsubscript𝑛𝑏\mu_{b}=\partial\epsilon/\partial n_{b}italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = ∂ italic_ϵ / ∂ italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT. The first one, μNsubscript𝜇𝑁\mu_{N}italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT, describes the energy change resulting from the addition of a nucleus at fixed nbsubscript𝑛𝑏n_{b}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT and Z𝑍Zitalic_Z (alternatively, one can consider it as the creation of a nucleus from nucleons already available in the matter), while μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT corresponds to the energy change due to an additional baryon at fixed nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT and Z𝑍Zitalic_Z. Since the proton number density, ZnN𝑍subscript𝑛𝑁Zn_{N}italic_Z italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT, remains also unchanged, the added baryon is a neutron and μbsubscript𝜇𝑏\mu_{b}italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT can be identified with the neutron chemical potential, μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT: μb=μnsubscript𝜇𝑏subscript𝜇𝑛\mu_{b}=\mu_{n}italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT. Below, we will write μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT instead of μbsubscript𝜇𝑏\mu_{b}italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT in all formulas.

In this section, we consider the two cases: (i) Z𝑍Zitalic_Z is conserved during compression (Z𝑍Zitalic_Z-fixed EOS), and (ii) beta-equilibrated matter, for which (see Section III.1)

ϵZ|nb,nN=0.evaluated-atitalic-ϵ𝑍subscript𝑛𝑏subscript𝑛𝑁0\left.\frac{\partial\epsilon}{\partial Z}\right|_{n_{b},\,n_{N}}=0.divide start_ARG ∂ italic_ϵ end_ARG start_ARG ∂ italic_Z end_ARG | start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_POSTSUBSCRIPT = 0 . (2)

In both cases, the pressure can be written as

P=(ϵV)V=ϵ+μnnb+μNnN.𝑃italic-ϵ𝑉𝑉italic-ϵsubscript𝜇𝑛subscript𝑛𝑏subscript𝜇𝑁subscript𝑛𝑁P=-\frac{\partial(\epsilon V)}{\partial V}=-\epsilon+\mu_{n}n_{b}+\mu_{N}n_{N}.italic_P = - divide start_ARG ∂ ( italic_ϵ italic_V ) end_ARG start_ARG ∂ italic_V end_ARG = - italic_ϵ + italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT + italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT . (3)

Here, the second equality can be derived straightforwardly by taking partial derivative at a fixed nucleon and baryon number, and using the definitions of the chemical potentials μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT and μNsubscript𝜇𝑁\mu_{N}italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT; see also Section II.1.

According to one of the Tolman-Oppenheimer-Volkoff equations [32]

P=(P+ϵ)ν/2.superscript𝑃𝑃italic-ϵsuperscript𝜈2P^{\prime}=-(P+\epsilon)\nu^{\prime}/2.italic_P start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = - ( italic_P + italic_ϵ ) italic_ν start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT / 2 . (4)

Here the prime denotes the derivative with respect to the radial coordinate r𝑟ritalic_r. Combined with the nHD condition (1) and the Gibbs-Duhem relation in the form dP=nbdμn+nNdμN𝑑𝑃subscript𝑛𝑏𝑑subscript𝜇𝑛subscript𝑛𝑁𝑑subscript𝜇𝑁dP=n_{b}d\mu_{n}+n_{N}d\mu_{N}italic_d italic_P = italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_d italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT italic_d italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT, which holds true for both the Z𝑍Zitalic_Z-fixed EOS and beta-equilibrated EOS, we arrive at the condition μN=constantsuperscriptsubscript𝜇𝑁constant\mu_{N}^{\infty}=\mathrm{constant}italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT = roman_constant. Thus,

μN=Cμn.subscript𝜇𝑁𝐶subscript𝜇𝑛\mu_{N}=C\mu_{n}.italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT = italic_C italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT . (5)

Here C𝐶Citalic_C is a constant that depends on the pressure Poisubscript𝑃oiP_{\rm oi}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT at the outer-inner crust boundary. As we demonstrated in Ref. [25] (see also Section V), FAC EOS corresponds to a certain value of C𝐶Citalic_C. However, to determine this value, it is instructive to consider the whole nHD EOS family, i.e., a family of EOSs that are allowed by the nHD condition (1). The nHD EOS family can parametrized by the pressure Poisubscript𝑃oiP_{\rm oi}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT (or, equally, by C𝐶Citalic_C).

The catalyzed crust corresponds to the global minimum of the energy density ϵ(nb,nN,Z)italic-ϵsubscript𝑛𝑏subscript𝑛𝑁𝑍\epsilon(n_{b},n_{N},Z)italic_ϵ ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) at fixed nbsubscript𝑛𝑏n_{b}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT, which is given by the beta-equilibrium condition (2) and the condition μN=ϵ/nN=0subscript𝜇𝑁italic-ϵsubscript𝑛𝑁0\mu_{N}=\partial\epsilon/\partial n_{N}=0italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT = ∂ italic_ϵ / ∂ italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT = 0. As pointed out in Ref. [25], it is a member of the beta-equilibrium nHD EOS family, corresponding to C=0𝐶0C=0italic_C = 0.

II.2 Realistic mEOS

For a realistic modeling of the accreted crust, one should utilize the mEOS, which takes into account nuclear shell effects. Obviously, the corresponding mEOS is more complicated than its CLD-based smooth analogue. In particular, the nuclear charge number Z𝑍Zitalic_Z becomes discrete (integer), and the energy density dependence on Z𝑍Zitalic_Z becomes rather complicated (see, e.g., Refs. [33, 31] and Section III.2). As a result, the beta-equilibrium condition (2) cannot be applied and should generally be replaced with some other requirement. Moreover, Eq. (5) can be violated if Z𝑍Zitalic_Z varies in the inner crust due to nuclear reactions. To address these difficulties, we should modify our approach as discussed in Ref. [34].

Namely, we should replace Eq. (5) with its more general counterpart which, similarly to Eq. (5) follows from the Tolman-Oppenheimer-Volkoff equation (4) and nHD condition (1):

μn=mnc2exp[PoiPdP~/(ϵ(P~)+P~)],subscript𝜇𝑛subscript𝑚𝑛superscript𝑐2superscriptsubscriptsubscript𝑃oi𝑃differential-d~𝑃italic-ϵ~𝑃~𝑃\mu_{n}=m_{n}c^{2}\,\exp\left[\int_{P_{\rm oi}}^{P}{\rm d}\widetilde{P}/(% \epsilon(\widetilde{P})+\widetilde{P})\right],italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_exp [ ∫ start_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_P end_POSTSUPERSCRIPT roman_d over~ start_ARG italic_P end_ARG / ( italic_ϵ ( over~ start_ARG italic_P end_ARG ) + over~ start_ARG italic_P end_ARG ) ] , (6)

where, as we already indicated in the introduction, mnc2subscript𝑚𝑛superscript𝑐2m_{n}c^{2}italic_m start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is the neutron chemical potential at the top of the inner crust (located at P=Poi𝑃subscript𝑃oiP=P_{\rm oi}italic_P = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT). This equation allows us to determine the chemical potential μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT in the layer with the pressure P𝑃Pitalic_P, if the EOS [e.g., the function ϵ(P)italic-ϵ𝑃\epsilon(P)italic_ϵ ( italic_P )] is known in the range from Poisubscript𝑃oiP_{\rm oi}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT to P𝑃Pitalic_P. In accordance with Refs. [35, 36, 37], our approach to constructing the inner crust model involves a step-by-step progression into deeper layers of the crust. At each layer, we determine the charge number Z𝑍Zitalic_Z by minimizing the corresponding thermodynamic potential by means of permissible nuclear reactions (see Section II.3 for more details). Previously (e.g., in Refs. [35, 36, 37]), the redistribution of unbound neutrons was disregarded. Consequently, the reactions were assumed to occur at a constant pressure, and the potential to be minimized was associated with the Gibbs free energy (e.g., [35, 36]). However, as stipulated by Eq. (6), in the nHD crust, not only is the pressure P𝑃Pitalic_P fixed in a given layer, but also the chemical potential μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT. As shown in [34], the appropriate thermodynamic potential that should be minimized at fixed P𝑃Pitalic_P and μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is then

Ψ=(ϵ+P)VμnNb.Ψitalic-ϵ𝑃𝑉subscript𝜇𝑛subscript𝑁𝑏\Psi=(\epsilon+P)V-\mu_{n}N_{b}.roman_Ψ = ( italic_ϵ + italic_P ) italic_V - italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT . (7)

Here V𝑉Vitalic_V is the volume attached to nuclei, and Nb=Vnbsubscript𝑁𝑏𝑉subscript𝑛𝑏N_{b}=Vn_{b}italic_N start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = italic_V italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT is the total number of baryons in the volume.

If (pycnonuclear) fusion and fission reactions are not allowed (either too slow or energetically forbidden), the number of nuclei is conserved. In this case, to determine Z𝑍Zitalic_Z one can minimize the potential ΨΨ\Psiroman_Ψ per one nucleus (note that it coincides with μNsubscript𝜇𝑁\mu_{N}italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT in a special case considered in this work when nuclei of only one species are present at any given pressure in the crust):

ψΨVnN=ϵ+PμnnbnN=μN.𝜓Ψ𝑉subscript𝑛𝑁italic-ϵ𝑃subscript𝜇𝑛subscript𝑛𝑏subscript𝑛𝑁subscript𝜇𝑁\psi\equiv\frac{\Psi}{Vn_{N}}=\frac{\epsilon+P-\mu_{n}n_{b}}{n_{N}}=\mu_{N}.italic_ψ ≡ divide start_ARG roman_Ψ end_ARG start_ARG italic_V italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_ARG = divide start_ARG italic_ϵ + italic_P - italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG start_ARG italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_ARG = italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT . (8)

This minimization effectively replaces the beta-equilibrium condition. For a smooth CLD model with continuous Z𝑍Zitalic_Z, it reduces to the equation (2); see Section III.2 for details.

When the composition of a given layer is determined, we can apply Eq. (6) to consider the underlying layer. By repeating this procedure, we develop a step-by-step algorithm, which is formulated in the next subsection and applied in this work to construct the nHD crust.

II.3 Algorithm

Similar to the case of a smooth mEOS, we begin by constructing the nHD EOS family, which is parametrized by the pressure Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT at the outer-inner crust interface. In subsequent sections, we discuss how to constrain the range of realistic Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT and present numerical results for the CLD+sh model of Ref. [31].

To build the nHD EOS family, we apply an algorithm based on Eqs. (6) and (7). We stress that this algorithm is quite general and, in particular, applicable in the situation when both shell effects and odd-even staggering of nuclear energies are allowed for. Since the thermodynamic potential ΨΨ\Psiroman_Ψ should be minimized at fixed P𝑃Pitalic_P and μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT we assume the mEOS to be parameterized by the pressure P𝑃Pitalic_P, neutron chemical potential μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, and nuclear charge number Z𝑍Zitalic_Z. In other words, the microphysical model should allow one to calculate the energy density ϵitalic-ϵ\epsilonitalic_ϵ and potential ψ𝜓\psiitalic_ψ for a given P𝑃Pitalic_P, μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, and Z𝑍Zitalic_Z (see Section III.2 for the realization of this form of mEOS based on the CLD+sh model, which is used in this work as a numerical example).

The algorithm contains the following stages (stages 2 and 3 are repeated at each step):

  1. 1.

    Specify the initial conditions at the top of the inner crust.

    The EOS of the fully accreted outer crust is well studied, especially for a one-component ash discussed here (see, e.g., Refs. [35, 38]). This allows us to determine the charge number at the bottom of the outer crust, located at P=Poi𝑃subscript𝑃oiP=P_{\mathrm{oi}}italic_P = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT. Combining with the neutron chemical potential at the top of the inner crust, which is equal to μn,oi=mnc2subscript𝜇𝑛oisubscript𝑚𝑛superscript𝑐2\mu_{n,{\rm oi}}=m_{n}c^{2}italic_μ start_POSTSUBSCRIPT italic_n , roman_oi end_POSTSUBSCRIPT = italic_m start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT by definition, we obtain the initial conditions (the j=0𝑗0j=0italic_j = 0 step) for the construction of the nHD inner crust. Before turning to the next stage, we also analyze the reaction pathways at the oi interface according to stage 3 to determine the composition at the top of the inner crust.

  2. 2.

    Advancing to j𝑗jitalic_j-th layer.

    Starting this step, we assume that the equation of state in the previous, (j1)𝑗1(j-1)( italic_j - 1 )-th layer, has been determined and the respective pressure is Pj1subscript𝑃𝑗1P_{j-1}italic_P start_POSTSUBSCRIPT italic_j - 1 end_POSTSUBSCRIPT, the neutron chemical potential is μn,j1subscript𝜇𝑛𝑗1\mu_{n,j-1}italic_μ start_POSTSUBSCRIPT italic_n , italic_j - 1 end_POSTSUBSCRIPT, and the charge number is Zj1subscript𝑍𝑗1Z_{j-1}italic_Z start_POSTSUBSCRIPT italic_j - 1 end_POSTSUBSCRIPT. We increase the pressure by a small amount ΔPΔ𝑃\Delta Proman_Δ italic_P, such that Pj=Pj1+ΔPsubscript𝑃𝑗subscript𝑃𝑗1Δ𝑃P_{j}=P_{j-1}+\Delta Pitalic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT italic_j - 1 end_POSTSUBSCRIPT + roman_Δ italic_P. To guarantee the nHD equilibrium, we also increase the neutron chemical potential according to the formula (6):

    μn,j=μn,j1exp[ΔPϵ(Pj1)+Pj1]subscript𝜇𝑛𝑗subscript𝜇𝑛𝑗1Δ𝑃italic-ϵsubscript𝑃𝑗1subscript𝑃𝑗1\displaystyle\mu_{n,j}=\mu_{n,j-1}\,\cdot\exp\left[\frac{\Delta P}{\epsilon(P_% {j-1})+P_{j-1}}\right]italic_μ start_POSTSUBSCRIPT italic_n , italic_j end_POSTSUBSCRIPT = italic_μ start_POSTSUBSCRIPT italic_n , italic_j - 1 end_POSTSUBSCRIPT ⋅ roman_exp [ divide start_ARG roman_Δ italic_P end_ARG start_ARG italic_ϵ ( italic_P start_POSTSUBSCRIPT italic_j - 1 end_POSTSUBSCRIPT ) + italic_P start_POSTSUBSCRIPT italic_j - 1 end_POSTSUBSCRIPT end_ARG ] (9)

    The composition will be adjusted to the equilibrium one at the next stage, and here we simply assign Zj=Zj1subscript𝑍𝑗subscript𝑍𝑗1Z_{j}=Z_{j-1}italic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_Z start_POSTSUBSCRIPT italic_j - 1 end_POSTSUBSCRIPT.

  3. 3.

    Choosing optimal Zjsubscript𝑍𝑗Z_{j}italic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT

    As inputs for this stage, we have the pressure Pjsubscript𝑃𝑗P_{j}italic_P start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT and neutron chemical potential μn,jsubscript𝜇𝑛𝑗\mu_{n,j}italic_μ start_POSTSUBSCRIPT italic_n , italic_j end_POSTSUBSCRIPT at the layer j𝑗jitalic_j, but the nuclear charge Zjsubscript𝑍𝑗Z_{j}italic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT may differ from the optimal value. It can either be equal to Zj1subscript𝑍𝑗1Z_{j-1}italic_Z start_POSTSUBSCRIPT italic_j - 1 end_POSTSUBSCRIPT or correspond to the value obtained in the preceding iteration of this stage. In order to check whether Zjsubscript𝑍𝑗Z_{j}italic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is further changing, we calculate the potential ψ𝜓\psiitalic_ψ for Z=Zj𝑍subscript𝑍𝑗Z=Z_{j}italic_Z = italic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, Zj1subscript𝑍𝑗1Z_{j}-1italic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - 1, and Zj+1subscript𝑍𝑗1Z_{j}+1italic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + 1. The latter two are nuclei that can be produced by electron capture and emission, respectively. By comparing the values ψ(Zj)𝜓subscript𝑍𝑗\psi(Z_{j})italic_ψ ( italic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ), ψ(Zj1)𝜓subscript𝑍𝑗1\psi(Z_{j}-1)italic_ψ ( italic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - 1 ), and ψ(Zj+1)𝜓subscript𝑍𝑗1\psi(Z_{j}+1)italic_ψ ( italic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + 1 ) we choose Z𝑍Zitalic_Z corresponding to the minimal ψ𝜓\psiitalic_ψ and assign Zj=Zsubscript𝑍𝑗𝑍Z_{j}=Zitalic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = italic_Z. If Zjsubscript𝑍𝑗Z_{j}italic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is modified, we repeat this stage again. If it is not modified, Zjsubscript𝑍𝑗Z_{j}italic_Z start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is considered optimal and we proceed to the next crustal layer by applying the algorithm of stage 2.

In principle, the fourth stage, which checks for pycnonuclear reactions at the layer j𝑗jitalic_j, can be added. However, for 56Fe ash this stage is unnecessary, because the typical Z20𝑍20Z\approx 20italic_Z ≈ 20, which is realized in the inner crust in this case, is too large, leading to extremely small rate of pycnonuclear reactions.

Obviously, this algorithm should be interrupted if the crust-core boundary is reached, i.e., when, for some μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, the pressure at the crust matches that in the core.

In fact, the algorithm can be interrupted even earlier because of the disintegration of all nuclei at stage 3, before reaching the crust-core boundary. This disintegration could take place as a result of the onset of an instability at P=Pinst𝑃subscript𝑃instP=P_{\rm inst}italic_P = italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT, as described in Ref. [25] for the smooth CLD model. This is the most interesting case, because the instability is required for the formation of FAC.

Refer to caption
Figure 1: Qualitative behaviour of the potential ψ𝜓\psiitalic_ψ for a smooth model with continuous Z𝑍Zitalic_Z for the three values of pressure: P<Pinst𝑃subscript𝑃instP<P_{\mathrm{inst}}italic_P < italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT, P=Pinst𝑃subscript𝑃instP=P_{\mathrm{inst}}italic_P = italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT, and P>Pinst𝑃subscript𝑃instP>P_{\mathrm{inst}}italic_P > italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT.

In terms of the potential ψ𝜓\psiitalic_ψ the criteria for the instability can be expressed as ψ(Zinst)=ψ(Zinst1)>ψ(Zinst2)>>ψ(Z=1)>0𝜓subscript𝑍inst𝜓subscript𝑍inst1𝜓subscript𝑍inst2𝜓𝑍10\psi(Z_{\rm inst})=\psi(Z_{\rm inst}-1)>\psi(Z_{\rm inst}-2)>\ldots>\psi(Z=1)>0italic_ψ ( italic_Z start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ) = italic_ψ ( italic_Z start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT - 1 ) > italic_ψ ( italic_Z start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT - 2 ) > … > italic_ψ ( italic_Z = 1 ) > 0, where Zinstsubscript𝑍instZ_{\rm inst}italic_Z start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT is the charge at the previous step of the algorithm (at the layer P<Pinst𝑃subscript𝑃instP<P_{\mathrm{inst}}italic_P < italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT). In principle, pycnonuclear fusion can become important once Z𝑍Zitalic_Z has decreased to a low enough value during the disintegration process. In this case, further transformation of nuclei into neutrons proceeds via an unstoppable analogue of the superthreshold electron capture cascade (SEC, [39]). This modification does not affect the final outcome – all nuclei disintegrate in the considered layer. Specifically, fusion-produced nuclei will undergo beta captures and subsequent neutron emissions, leading to low-Z𝑍Zitalic_Z nuclei, which, in turn, undergo pycnonuclear fusion. An overall result of this process is disintegration of one nucleus (Z,A)𝑍𝐴(Z,A)( italic_Z , italic_A ) per one pycnonuclear reaction and production of A𝐴Aitalic_A neutrons, which redistribute over the crust to keep fixed μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT in the instability layer: (Z,A)+(Z,A)(2Z,2A)(Z,A)+An𝑍𝐴𝑍𝐴2𝑍2𝐴𝑍𝐴𝐴𝑛(Z,A)+(Z,A)\rightarrow(2Z,2A)\rightarrow(Z,A)+An( italic_Z , italic_A ) + ( italic_Z , italic_A ) → ( 2 italic_Z , 2 italic_A ) → ( italic_Z , italic_A ) + italic_A italic_n (A𝐴Aitalic_A is the atomic mass number). It should be noted that in the traditional approach that neglects neutron redistribution, the SEC cascade increases the number of unbound neutrons, affecting μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT and preventing complete disintegration in some layers (e.g., [40, 37]). In contrast, for the nHD crust, the SEC cascade becomes unstoppable: the nHD condition fixes the neutron chemical potential and thus the amount of free neutrons in the layer. The neutrons produced by disintegration of nuclei are removed from the layer by superfluid flow or diffusion.

To illustrate the onset of the instability, let us consider the “smooth” model, i.e., by treating Z𝑍Zitalic_Z as a continuous variable. The schematic ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) profiles for such model are shown in Figure 1. Panel (a) shows the typical profile for layers located at P<Pinst𝑃subscript𝑃instP<P_{\rm inst}italic_P < italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT. The function ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) has a profound minimum, shown by the star, where nuclei are stable. However, there is also another extremum (local maximum) at a lower Z𝑍Zitalic_Z. With pressure increase, the minimum and the maximum become closer and closer, and at P=Pinst𝑃subscript𝑃instP=P_{\mathrm{inst}}italic_P = italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT, they merge, producing an inflection point, shown by the star in panel (b). At this point, nuclei become unstable and undergo a series of beta captures (Z𝑍Zitalic_Z is lowered), until complete disintegration into neutrons. Clearly, at the instability point, we have

00\displaystyle 0 =\displaystyle== ψZ|Pinst,μn,inst,evaluated-at𝜓𝑍subscript𝑃instsubscript𝜇𝑛inst\displaystyle\left.\frac{\partial\psi}{\partial Z}\right|_{P_{\rm inst},\,\mu_% {n,{\rm inst}}},divide start_ARG ∂ italic_ψ end_ARG start_ARG ∂ italic_Z end_ARG | start_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT , italic_μ start_POSTSUBSCRIPT italic_n , roman_inst end_POSTSUBSCRIPT end_POSTSUBSCRIPT , (10)
00\displaystyle 0 =\displaystyle== 2ψZ2|Pinst,μn,inst.evaluated-atsuperscript2𝜓superscript𝑍2subscript𝑃instsubscript𝜇𝑛inst\displaystyle\left.\frac{\partial^{2}\psi}{\partial Z^{2}}\right|_{P_{\rm inst% },\,\mu_{n,{\rm inst}}}.divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ψ end_ARG start_ARG ∂ italic_Z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG | start_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT , italic_μ start_POSTSUBSCRIPT italic_n , roman_inst end_POSTSUBSCRIPT end_POSTSUBSCRIPT . (11)

At P>Pinst𝑃subscript𝑃instP>P_{\mathrm{inst}}italic_P > italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT (panel c) ψ𝜓\psiitalic_ψ monotonically increases with Z𝑍Zitalic_Z, hence no beta-stable solutions [see Eq. (10)] are available.

In a more realistic model, the shell effects introduce many local minima in the ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) curve (see Figure 4). However, for sufficiently large P𝑃Pitalic_P, the general slope of the function ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) becomes strong enough to smooth out the local minima, leading to the instability.

As long as all nuclei in the considered volume disintegrate, the construction of the nHD accreted crust cannot be continued unambiguously to higher pressures. However, reaching P=Pinst𝑃subscript𝑃instP=P_{\mathrm{inst}}italic_P = italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT does not necessarily mark the end of the crust. At larger pressures, P>Pinst𝑃subscript𝑃instP>P_{\mathrm{inst}}italic_P > italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT, the crust can be continued by “relic” layers that are not replaced by the accreted material in the FAC regime. These layers are formed at the initial stages of accretion and can be composed of the spherical nuclei or more complicated nuclear shapes referred to as “pasta” (see, e.g., [41, 42, 43, 44, 45, 46, 47, 48, 49, 50] for a recent discussion of pasta in pristine crust). Clearly, the unambiguous determination of the composition of these layers requires consideration of their formation, which is beyond the scope of the present paper.

III Microphysics input

In our previous work [25], we employed the CLD model based on the extended Thomas-Fermi (ETF) calculations of the nucleus surface properties, which explicitly incorporates the neutron skin effects (see detailed description in the Supplementary Materials of Ref. [25]).

In this paper, we apply the CLD and CLD+sh models of Ref. [31], which are slightly different. The basic smooth CLD model of that reference does not explicitly take into account the neutron skin effect, and the surface properties are fitted to reproduce ETF calculations of the nuclear mass table for the HFB24 model (see [31] for details). As a result of this difference, the set of variables for the smooth CLD model of Ref. [31] differs from [25]. This requires some additional derivations in order to rewrite the CLD model in terms of the variables that are useful for constructing the nHD crust (Sections II.1 and II.2). These derivations are rather straightforward, but we present them in the Section III.1 for completeness.

The CLD+sh model of Ref. [31] is more realistic than the smooth CLD model of Ref. [25], because it includes proton shell effects (neutron shell corrections are small and can be disregarded [51, 52]). The proton shell energies are added on top of the CLD model. They are determined in Refs. [33, 53] from the ETF plus Strutinsky integral method (ETFSI). As shown in [31], the resulting CLD+sh model reproduces the most realistic calculations of the inner crust to date [53], providing a unique tool to study the nHD crust. The reduction of the CLD+sh model to the variables of Section II.2 is presented in section III.2.

III.1 Smooth CLD model

When applying the CLD model without shell effects, it is natural to assume that the nuclear charge Z𝑍Zitalic_Z evolves continuously in the inner crust. Of course, these assumptions will be relaxed in the next section, where the shell effects are taken into consideration. Here, we apply the CLD model suggested in Ref. [31].

The CLD model of Ref. [31] starts from an explicit expression for the free energy (see section 2 of that reference). In the zero temperature limit, which is adopted here, it reduces to the energy density ϵ(nni,npi,nno,nN,ne,w)italic-ϵsubscript𝑛𝑛𝑖subscript𝑛𝑝𝑖subscript𝑛𝑛𝑜subscript𝑛𝑁subscript𝑛𝑒𝑤\epsilon(n_{ni},n_{pi},n_{no},n_{N},n_{e},w)italic_ϵ ( italic_n start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT , italic_w ), where nnisubscript𝑛𝑛𝑖n_{ni}italic_n start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT and npisubscript𝑛𝑝𝑖n_{pi}italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT are, respectively, the neutron and proton number densities inside nuclei; nnosubscript𝑛𝑛𝑜n_{no}italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT is the number density of unbound neutrons; nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT and nesubscript𝑛𝑒n_{e}italic_n start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT are, respectively, the number densities of nuclei and electrons; and w=VpnN𝑤subscript𝑉𝑝subscript𝑛𝑁w=V_{p}n_{N}italic_w = italic_V start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT is the fraction of volume occupied by nuclei (Vpsubscript𝑉𝑝V_{p}italic_V start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT is the volume of a single nucleus).

Following Ref. [25], it is useful to introduce the “total” number densities nni(tot)=nniwsuperscriptsubscript𝑛𝑛𝑖totsubscript𝑛𝑛𝑖𝑤n_{ni}^{\rm(tot)}=n_{ni}witalic_n start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT = italic_n start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT italic_w, npi(tot)=npiwsuperscriptsubscript𝑛𝑝𝑖totsubscript𝑛𝑝𝑖𝑤n_{pi}^{\rm(tot)}=n_{pi}witalic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT = italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT italic_w, and nno(tot)=nno(1w)superscriptsubscript𝑛𝑛𝑜totsubscript𝑛𝑛𝑜1𝑤n_{no}^{\rm(tot)}=n_{no}(1-w)italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT = italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT ( 1 - italic_w ), instead of nnisubscript𝑛𝑛𝑖n_{ni}italic_n start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT, npisubscript𝑛𝑝𝑖n_{pi}italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT, and nnosubscript𝑛𝑛𝑜n_{no}italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT. For example, nni(tot)superscriptsubscript𝑛𝑛𝑖totn_{ni}^{\rm(tot)}italic_n start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT can be interpreted as the total number of neutrons in nuclei divided by the total volume (not the volume occupied by nuclei). Using these variables, the differential dϵ𝑑italic-ϵd\epsilonitalic_d italic_ϵ can be expressed as

dϵ𝑑italic-ϵ\displaystyle d\epsilonitalic_d italic_ϵ =\displaystyle== ϵnni(tot)dnni(tot)+ϵnpi(tot)dnpi(tot)+ϵnno(tot)dnno(tot)italic-ϵsuperscriptsubscript𝑛𝑛𝑖tot𝑑superscriptsubscript𝑛𝑛𝑖totitalic-ϵsuperscriptsubscript𝑛𝑝𝑖tot𝑑superscriptsubscript𝑛𝑝𝑖totitalic-ϵsuperscriptsubscript𝑛𝑛𝑜tot𝑑superscriptsubscript𝑛𝑛𝑜tot\displaystyle\frac{\partial\epsilon}{\partial n_{n{i}}^{\rm(tot)}}dn_{n{i}}^{% \rm(tot)}+\frac{\partial\epsilon}{\partial n_{p{i}}^{\rm(tot)}}dn_{p{i}}^{\rm(% tot)}+\frac{\partial\epsilon}{\partial n_{n{o}}^{\rm(tot)}}dn_{n{o}}^{\rm(tot)}divide start_ARG ∂ italic_ϵ end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT end_ARG italic_d italic_n start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT + divide start_ARG ∂ italic_ϵ end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT end_ARG italic_d italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT + divide start_ARG ∂ italic_ϵ end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT end_ARG italic_d italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT (12)
+\displaystyle++ ϵnNdnN+ϵnedne+ϵwdw.italic-ϵsubscript𝑛𝑁𝑑subscript𝑛𝑁italic-ϵsubscript𝑛𝑒𝑑subscript𝑛𝑒italic-ϵ𝑤𝑑𝑤\displaystyle\frac{\partial\epsilon}{\partial n_{N}}dn_{N}+\frac{\partial% \epsilon}{\partial n_{e}}dn_{e}+\frac{\partial\epsilon}{\partial w}dw.divide start_ARG ∂ italic_ϵ end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_ARG italic_d italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT + divide start_ARG ∂ italic_ϵ end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG italic_d italic_n start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT + divide start_ARG ∂ italic_ϵ end_ARG start_ARG ∂ italic_w end_ARG italic_d italic_w .

Introducing the baryon number density nb=nni(tot)+npi(tot)+nno(tot)subscript𝑛𝑏superscriptsubscript𝑛𝑛𝑖totsuperscriptsubscript𝑛𝑝𝑖totsuperscriptsubscript𝑛𝑛𝑜totn_{b}=n_{ni}^{\rm(tot)}+n_{pi}^{\rm(tot)}+n_{no}^{\rm(tot)}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = italic_n start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT + italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT + italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT, the neutron chemical potentials inside μni=ϵ/nni(tot)subscript𝜇𝑛𝑖italic-ϵsuperscriptsubscript𝑛𝑛𝑖tot\mu_{ni}=\partial\epsilon/\partial n_{ni}^{\rm(tot)}italic_μ start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT = ∂ italic_ϵ / ∂ italic_n start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT and outside μno=ϵ/nno(tot)subscript𝜇𝑛𝑜italic-ϵsuperscriptsubscript𝑛𝑛𝑜tot\mu_{no}=\partial\epsilon/\partial n_{no}^{\rm(tot)}italic_μ start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT = ∂ italic_ϵ / ∂ italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT nuclei, the proton chemical potential inside nuclei, μpi=ϵ/npi(tot)subscript𝜇𝑝𝑖italic-ϵsuperscriptsubscript𝑛𝑝𝑖tot\mu_{pi}=\partial\epsilon/\partial n_{pi}^{\rm(tot)}italic_μ start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT = ∂ italic_ϵ / ∂ italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT, as well as the chemical potentials of nuclei μN=ϵ/nNsubscript𝜇𝑁italic-ϵsubscript𝑛𝑁\mu_{N}=\partial\epsilon/\partial n_{N}italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT = ∂ italic_ϵ / ∂ italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT, and electrons, μe=ϵ/nesubscript𝜇𝑒italic-ϵsubscript𝑛𝑒\mu_{e}=\partial\epsilon/\partial n_{e}italic_μ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = ∂ italic_ϵ / ∂ italic_n start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT, Eq. (12) can be rewritten as

dϵ𝑑italic-ϵ\displaystyle d\epsilonitalic_d italic_ϵ =\displaystyle== μnidnb+(μpi+μeμni)dnpi(tot)+μNdnNsubscript𝜇𝑛𝑖𝑑subscript𝑛𝑏subscript𝜇𝑝𝑖subscript𝜇𝑒subscript𝜇𝑛𝑖𝑑superscriptsubscript𝑛𝑝𝑖totsubscript𝜇𝑁𝑑subscript𝑛𝑁\displaystyle\mu_{ni}dn_{b}+(\mu_{pi}+\mu_{e}-\mu_{ni})dn_{pi}^{\rm(tot)}+\mu_% {N}dn_{N}italic_μ start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT italic_d italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT + ( italic_μ start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT + italic_μ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_μ start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT ) italic_d italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT + italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT italic_d italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT (13)
+\displaystyle++ (μnoμni)dnno(tot)+ϵwdw,subscript𝜇𝑛𝑜subscript𝜇𝑛𝑖𝑑superscriptsubscript𝑛𝑛𝑜totitalic-ϵ𝑤𝑑𝑤\displaystyle(\mu_{no}-\mu_{ni})dn_{no}^{\rm(tot)}+\frac{\partial\epsilon}{% \partial w}dw,( italic_μ start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT - italic_μ start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT ) italic_d italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT + divide start_ARG ∂ italic_ϵ end_ARG start_ARG ∂ italic_w end_ARG italic_d italic_w ,

where we make use of the quasineutrality condition, ne=npi(tot)subscript𝑛𝑒superscriptsubscript𝑛𝑝𝑖totn_{e}=n_{pi}^{\rm(tot)}italic_n start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT. It is worth noting, that μpisubscript𝜇𝑝𝑖\mu_{pi}italic_μ start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT and μnisubscript𝜇𝑛𝑖\mu_{ni}italic_μ start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT are not equal to their bulk counterparts. In particular, both these quantities include contributions from the surface energy, and μpisubscript𝜇𝑝𝑖\mu_{pi}italic_μ start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT additionally includes a correction associated with Coulomb energy.

To obtain EOS in the form of Section II.1, we should keep nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT, nbsubscript𝑛𝑏n_{b}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT, and Z=npi(tot)/nN𝑍superscriptsubscript𝑛𝑝𝑖totsubscript𝑛𝑁Z=n_{pi}^{\rm(tot)}/n_{N}italic_Z = italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT / italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT fixed, while determining the remaining parameters w𝑤witalic_w and nno(tot)superscriptsubscript𝑛𝑛𝑜totn_{no}^{\rm(tot)}italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT by minimizing ϵitalic-ϵ\epsilonitalic_ϵ

00\displaystyle 0 =\displaystyle== ϵ(nb,npi(tot),nno(tot),nN,w)w,italic-ϵsubscript𝑛𝑏superscriptsubscript𝑛𝑝𝑖totsuperscriptsubscript𝑛𝑛𝑜totsubscript𝑛𝑁𝑤𝑤\displaystyle\frac{\partial\epsilon(n_{b},n_{pi}^{\rm(tot)},n_{no}^{\rm(tot)},% n_{N},w)}{\partial w},divide start_ARG ∂ italic_ϵ ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT , italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_w ) end_ARG start_ARG ∂ italic_w end_ARG , (14)
00\displaystyle 0 =\displaystyle== ϵ(nb,npi(tot),nno(tot),nN,w)nno(tot)=μnoμni,italic-ϵsubscript𝑛𝑏superscriptsubscript𝑛𝑝𝑖totsuperscriptsubscript𝑛𝑛𝑜totsubscript𝑛𝑁𝑤superscriptsubscript𝑛𝑛𝑜totsubscript𝜇𝑛𝑜subscript𝜇𝑛𝑖\displaystyle\frac{\partial\epsilon(n_{b},n_{pi}^{\rm(tot)},n_{no}^{\rm(tot)},% n_{N},w)}{\partial n_{no}^{\rm(tot)}}=\mu_{no}-\mu_{ni},divide start_ARG ∂ italic_ϵ ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT , italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_w ) end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT end_ARG = italic_μ start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT - italic_μ start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT , (15)

These equations have a natural physical meaning: the first one represents the mechanical equilibrium of nucleus and unbound neutrons, while the second one represents the diffusion equilibrium for neutrons outside and inside nuclei (an analogue of the equilibrium with respect to neutron emission and captures). Since μno=μnisubscript𝜇𝑛𝑜subscript𝜇𝑛𝑖\mu_{no}=\mu_{ni}italic_μ start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT = italic_μ start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT, below we refer to both of these quantities as the neutron chemical potential and denote it simply as μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT.

Let us consider the beta equilibrium condition (2). It is equivalent to ϵ/npi(tot)=0italic-ϵsuperscriptsubscript𝑛𝑝𝑖tot0\partial\epsilon/\partial n_{pi}^{\rm(tot)}=0∂ italic_ϵ / ∂ italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT = 0, leading to

00\displaystyle 0 =\displaystyle== μpi+μeμn.subscript𝜇𝑝𝑖subscript𝜇𝑒subscript𝜇𝑛\displaystyle\mu_{pi}+\mu_{e}-\mu_{n}.italic_μ start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT + italic_μ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT . (16)

The equilibrium (catalyzed) crust can be obtained by imposing an additional condition,

μN=ϵ(nb,npi(tot),nno(tot),nN,w)nN=0.subscript𝜇𝑁italic-ϵsubscript𝑛𝑏superscriptsubscript𝑛𝑝𝑖totsuperscriptsubscript𝑛𝑛𝑜totsubscript𝑛𝑁𝑤subscript𝑛𝑁0\mu_{N}=\frac{\partial\epsilon(n_{b},n_{pi}^{\rm(tot)},n_{no}^{\rm(tot)},n_{N}% ,w)}{\partial n_{N}}=0.italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT = divide start_ARG ∂ italic_ϵ ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT , italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_w ) end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_ARG = 0 . (17)

This condition allows one to find the optimal (equilibrium) number density of nuclei, nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT.

For the accreted crust, which is considered here, additional nuclei are provided by accretion, leading to a nonequilibrium nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT and nonequilibrium crust [25, 27]. As shown in Section II.1, for the nHD inner crust, Eq. (17) should be replaced by Eq. (5).

For the sake of completeness, let us point out that the minimization of the ψ𝜓\psiitalic_ψ potential with respect to Z𝑍Zitalic_Z can be shown to be equivalent to the beta-equilibrium condition

ψZ|P,μn=μpi+μeμn=0.evaluated-at𝜓𝑍𝑃subscript𝜇𝑛subscript𝜇𝑝𝑖subscript𝜇𝑒subscript𝜇𝑛0\left.\frac{\partial\psi}{\partial Z}\right|_{P,\,\mu_{n}}=\mu_{pi}+\mu_{e}-% \mu_{n}=0.divide start_ARG ∂ italic_ψ end_ARG start_ARG ∂ italic_Z end_ARG | start_POSTSUBSCRIPT italic_P , italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUBSCRIPT = italic_μ start_POSTSUBSCRIPT italic_p italic_i end_POSTSUBSCRIPT + italic_μ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 0 . (18)

Summarizing, the equations (14)–(16) and (5) constitute a complete system of equations that allows one to calculate all the thermodynamic quantities if the parameter CμN/μn𝐶subscript𝜇𝑁subscript𝜇𝑛C\equiv\mu_{N}/\mu_{n}italic_C ≡ italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT / italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT and one of the thermodynamic quantities (e.g., nbsubscript𝑛𝑏n_{b}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT or pressure P𝑃Pitalic_P) are given.

III.2 CLD+sh model

Following Ref. [31], we derive the CLD+sh model by constraining the nuclear charge Z𝑍Zitalic_Z in the smooth CLD model to integer values and incorporating precalculated shell energies. Consequently, the total energy density is expressed in the form

ϵ(nb,nN,Z,nno(tot),w)=ϵCLD+Δϵshell,italic-ϵsubscript𝑛𝑏subscript𝑛𝑁𝑍superscriptsubscript𝑛𝑛𝑜tot𝑤superscriptitalic-ϵCLDΔsuperscriptitalic-ϵshell\epsilon(n_{b},n_{N},Z,n_{no}^{\mathrm{(tot)}},w)=\epsilon^{\rm CLD}+\Delta% \epsilon^{\rm shell},italic_ϵ ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z , italic_n start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT , italic_w ) = italic_ϵ start_POSTSUPERSCRIPT roman_CLD end_POSTSUPERSCRIPT + roman_Δ italic_ϵ start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT , (19)

where we employ the notations of Section III.1; ϵCLDsuperscriptitalic-ϵCLD\epsilon^{\rm CLD}italic_ϵ start_POSTSUPERSCRIPT roman_CLD end_POSTSUPERSCRIPT is the energy density as it is given by the CLD model, and ΔϵshellΔsuperscriptitalic-ϵshell\Delta\epsilon^{\rm shell}roman_Δ italic_ϵ start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT is a correction to the energy density, associated with the shell effects.

It is important to emphasize that in Refs. [54, 55, 33, 31] the shell corrections were primarily applied to determine Z𝑍Zitalic_Z for the ground state composition, i.e., Z𝑍Zitalic_Z that minimizes energy density at a fixed nbsubscript𝑛𝑏n_{b}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT. However, shell corrections appear to have been overlooked when calculating the “secondary” thermodynamic quantities, such as pressure. As a result, the pressure, as it was calculated in [54, 53], may not be fully thermodynamically consistent. While this inconsistency is likely insignificant for determining the catalyzed EOS, it could be important in the context of the energy release in the accreted crust discussed here. Therefore, we endeavor to avoid this inconsistency.

In general, proceeding within the CLD approach, the shell correction ΔϵshellΔsuperscriptitalic-ϵshell\Delta\epsilon^{\rm shell}roman_Δ italic_ϵ start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT to the energy density should be considered as a function of five independent thermodynamic variables: nbsubscript𝑛𝑏n_{b}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT, nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT, Z𝑍Zitalic_Z, nni(tot)subscriptsuperscript𝑛tot𝑛𝑖n^{\mathrm{(tot)}}_{ni}italic_n start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n italic_i end_POSTSUBSCRIPT, and w𝑤witalic_w. However, in this section, for the sake of simplicity, we postulate that the shell energy corrections can be expressed in the form

Δϵshell=nNEshell(nb,nN,Z).Δsuperscriptitalic-ϵshellsubscript𝑛𝑁superscript𝐸shellsubscript𝑛𝑏subscript𝑛𝑁𝑍\Delta\epsilon^{\rm shell}=n_{N}E^{\rm shell}(n_{b},n_{N},Z).roman_Δ italic_ϵ start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT = italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT italic_E start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) . (20)

This assumption is made taking into account that the shell corrections are computed on top of the CLD model, which is minimized over internal CLD variables (nno(tot)subscriptsuperscript𝑛tot𝑛𝑜n^{\mathrm{(tot)}}_{no}italic_n start_POSTSUPERSCRIPT ( roman_tot ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n italic_o end_POSTSUBSCRIPT and w𝑤witalic_w) according to Eqs. (14) and (15). As a result, we arrive at the three-parameter mEOS, with the energy density ϵ(nb,nN,Z)italic-ϵsubscript𝑛𝑏subscript𝑛𝑁𝑍\epsilon(n_{b},n_{N},Z)italic_ϵ ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ), which should be used to calculate the remaining thermodynamic quantities consistently. In particular, the pressure can be determined as

P=(ϵV)V=ϵ+μbnb+μNnN,𝑃italic-ϵ𝑉𝑉italic-ϵsubscript𝜇𝑏subscript𝑛𝑏subscript𝜇𝑁subscript𝑛𝑁P=-\frac{\partial(\epsilon V)}{\partial V}=-\epsilon+\mu_{b}n_{b}+\mu_{N}n_{N},italic_P = - divide start_ARG ∂ ( italic_ϵ italic_V ) end_ARG start_ARG ∂ italic_V end_ARG = - italic_ϵ + italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT + italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , (21)

where the chemical potentials are given by

μbsubscript𝜇𝑏\displaystyle\mu_{b}italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT \displaystyle\equiv ϵ(nb,nN,Z)nb=μn=μnCLD+μnshell,italic-ϵsubscript𝑛𝑏subscript𝑛𝑁𝑍subscript𝑛𝑏subscript𝜇𝑛superscriptsubscript𝜇𝑛CLDsuperscriptsubscript𝜇𝑛shell\displaystyle\frac{\partial\epsilon(n_{b},n_{N},Z)}{\partial n_{b}}=\mu_{n}=% \mu_{n}^{\mathrm{CLD}}+\mu_{n}^{\mathrm{shell}},divide start_ARG ∂ italic_ϵ ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG = italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_CLD end_POSTSUPERSCRIPT + italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT , (22)
μNsubscript𝜇𝑁\displaystyle\mu_{N}italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT \displaystyle\equiv ϵ(nb,nN,Z)nN=μNCLD+μNshell.italic-ϵsubscript𝑛𝑏subscript𝑛𝑁𝑍subscript𝑛𝑁superscriptsubscript𝜇𝑁CLDsuperscriptsubscript𝜇𝑁shell\displaystyle\frac{\partial\epsilon(n_{b},n_{N},Z)}{\partial n_{N}}=\mu_{N}^{% \mathrm{CLD}}+\mu_{N}^{\mathrm{shell}}.divide start_ARG ∂ italic_ϵ ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_ARG = italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_CLD end_POSTSUPERSCRIPT + italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT . (23)

Here, as in Section II.1, the baryon chemical potential μbsubscript𝜇𝑏\mu_{b}italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT corresponds to the energy change due to addition of a baryon at fixed proton number density, ZnN𝑍subscript𝑛𝑁Zn_{N}italic_Z italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT. Since ZnN𝑍subscript𝑛𝑁Zn_{N}italic_Z italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT is fixed, the added baryon is a neutron and μbsubscript𝜇𝑏\mu_{b}italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT can (again) be identified with the neutron chemical potential, μb=μnsubscript𝜇𝑏subscript𝜇𝑛\mu_{b}=\mu_{n}italic_μ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT = italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT. In Eqs. (22) and (23) μnCLDsuperscriptsubscript𝜇𝑛CLD\mu_{n}^{\mathrm{CLD}}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_CLD end_POSTSUPERSCRIPT and μNCLDsuperscriptsubscript𝜇𝑁CLD\mu_{N}^{\mathrm{CLD}}italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_CLD end_POSTSUPERSCRIPT are corresponding chemical potentials obtained from the CLD model

μnCLDsuperscriptsubscript𝜇𝑛CLD\displaystyle\mu_{n}^{\mathrm{CLD}}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_CLD end_POSTSUPERSCRIPT =\displaystyle== ϵCLD(nb,nN,Z)nb,superscriptitalic-ϵCLDsubscript𝑛𝑏subscript𝑛𝑁𝑍subscript𝑛𝑏\displaystyle\frac{\partial\epsilon^{\rm CLD}(n_{b},n_{N},Z)}{\partial n_{b}},divide start_ARG ∂ italic_ϵ start_POSTSUPERSCRIPT roman_CLD end_POSTSUPERSCRIPT ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG , (24)
μNCLDsuperscriptsubscript𝜇𝑁CLD\displaystyle\mu_{N}^{\mathrm{CLD}}italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_CLD end_POSTSUPERSCRIPT =\displaystyle== ϵCLD(nb,nN,Z)nN,superscriptitalic-ϵCLDsubscript𝑛𝑏subscript𝑛𝑁𝑍subscript𝑛𝑁\displaystyle\frac{\partial\epsilon^{\rm CLD}(n_{b},n_{N},Z)}{\partial n_{N}},divide start_ARG ∂ italic_ϵ start_POSTSUPERSCRIPT roman_CLD end_POSTSUPERSCRIPT ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_ARG , (25)

while corrections, associated with the shell effects are

μnshellsuperscriptsubscript𝜇𝑛shell\displaystyle\mu_{n}^{\mathrm{shell}}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT =\displaystyle== nNEshell(nb,nN,Z)nb,subscript𝑛𝑁superscript𝐸shellsubscript𝑛𝑏subscript𝑛𝑁𝑍subscript𝑛𝑏\displaystyle n_{N}\frac{\partial E^{\rm shell}(n_{b},n_{N},Z)}{\partial n_{b}},italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT divide start_ARG ∂ italic_E start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG , (26)
μNshellsuperscriptsubscript𝜇𝑁shell\displaystyle\mu_{N}^{\mathrm{shell}}italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT =\displaystyle== Eshell+nNEshell(nb,nN,Z)nN.superscript𝐸shellsubscript𝑛𝑁superscript𝐸shellsubscript𝑛𝑏subscript𝑛𝑁𝑍subscript𝑛𝑁\displaystyle E^{\rm shell}+n_{N}\frac{\partial E^{\rm shell}(n_{b},n_{N},Z)}{% \partial n_{N}}.italic_E start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT + italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT divide start_ARG ∂ italic_E start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT ( italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) end_ARG start_ARG ∂ italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_ARG . (27)

Technically, to derive mEOS in the form ϵ(P,μn,Z)italic-ϵ𝑃subscript𝜇𝑛𝑍\epsilon(P,\mu_{n},Z)italic_ϵ ( italic_P , italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_Z ), utilized in Section II.2, we employ numerical solvers to obtain the parameters nbsubscript𝑛𝑏n_{b}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT, nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT for given P𝑃Pitalic_P, μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT and Z𝑍Zitalic_Z, in accordance with Eqs. (21) and (22).

III.3 Models of the shell effects and numerical implementation

In this section, we discuss the proton shell models used in this study. We recall that calculating shell effects in the inner crust is a model-dependent problem. Given the uncertainties outlined below, we consider the results obtained with shell models employed in this paper as a reasonable first step and a proof-of-principle calculation, providing a foundation for subsequent calculations with more refined models.

All our shell models are primarily based on the supplementary tables presented in Ref. [33, 53].111The tables were downloaded from https://doi.org/10.1093/mnras/stz800 on December 04, 2019. However, adapting these tables to our problem is not straightforward, and thus, we need to delve into certain technical details and assumptions to clarify their application.

Firstly, it is important to note that the tables presented as supplementary data in Ref. [53] may not be directly applicable to our case. The reported values were obtained by minimizing the ETF energy density over nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT at fixed Z𝑍Zitalic_Z and nbsubscript𝑛𝑏n_{b}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT, which is not appropriate for accreted crust (see Section III.1). Nevertheless, given that the resulting EOS closely resembles the catalyzed case, it seems reasonable that actual shell energies can be well approximated by assuming that Eshellsuperscript𝐸shellE^{\rm shell}italic_E start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT does not explicitly depend on nbsubscript𝑛𝑏n_{b}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT, but primarily depends on the cell size, i.e., nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT. Consequently, the shell corrections are expressed in the form

Δϵshell=nNEshell(nN,Z),Δsuperscriptitalic-ϵshellsubscript𝑛𝑁superscript𝐸shellsubscript𝑛𝑁𝑍\Delta\epsilon^{\rm shell}=n_{N}E^{\rm shell}(n_{N},Z),roman_Δ italic_ϵ start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT = italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT italic_E start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT ( italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) , (28)

where Eshell(nN,Z)superscript𝐸shellsubscript𝑛𝑁𝑍E^{\rm shell}(n_{N},Z)italic_E start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT ( italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) can be obtained from the tables of Ref. [53]. Note that, in this approximation, shell corrections to the neutron chemical potential vanish, μnshell=0superscriptsubscript𝜇𝑛shell0\mu_{n}^{\mathrm{shell}}=0italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT = 0 [see Equation (26)].

Secondly, it is worth mentioning that for nucleon interaction potential BSK24, applied in this work, the tables in Ref. [53] only provide shell energies for even Z𝑍Zitalic_Z. However, to consider beta-capture and beta-emission reactions, we need information about energies of odd-Z𝑍Zitalic_Z nuclei. To analyze the role of the pairing effects, we consider two models for odd-Z𝑍Zitalic_Z nuclei. In the first model, referred to as “Shell”, the shell energies for odd Z𝑍Zitalic_Z are assumed to vanish. In the second model, referred to as “Shell+Pairing”, we set the shell energies for odd-Z𝑍Zitalic_Z nuclei to be equal to the pairing term. The latter is estimated within the qualitative model suggested in [56] and also used by Mackie and Baym [57]:

Eshell(nN,Z)=11MeVA(nN)foroddZ.superscript𝐸shellsubscript𝑛𝑁𝑍11MeV𝐴subscript𝑛𝑁forodd𝑍E^{\rm shell}(n_{N},Z)=\frac{11\mathrm{MeV}}{\sqrt{A(n_{N})}}\mathrm{~{}for\,% \,odd\,\,}Z.italic_E start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT ( italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) = divide start_ARG 11 roman_M roman_e roman_V end_ARG start_ARG square-root start_ARG italic_A ( italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) end_ARG end_ARG roman_for roman_odd italic_Z . (29)

Here A(nN)𝐴subscript𝑛𝑁A(n_{N})italic_A ( italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) represents the dependence of the mass number A𝐴Aitalic_A on the number density of nuclei nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT, which, for simplicity, was adopted from the results of Z𝑍Zitalic_Z-fixed calculations (see below).

Thirdly, we assume that shell corrections become negligible above the proton drip density. This implies that we set Eshell(nN,Z)=0superscript𝐸shellsubscript𝑛𝑁𝑍0E^{\rm shell}(n_{N},Z)=0italic_E start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT ( italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) = 0, if nbsubscript𝑛𝑏n_{b}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT in the respective line of the table [53] exceeds the proton drip density nbp,dripsuperscriptsubscript𝑛𝑏𝑝dripn_{b}^{p,\mathrm{drip}}italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p , roman_drip end_POSTSUPERSCRIPT. For simplicity, we assume the proton drip density to be the same for all Z𝑍Zitalic_Z, nbp,drip=0.073superscriptsubscript𝑛𝑏𝑝drip0.073n_{b}^{p,\mathrm{drip}}=0.073italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p , roman_drip end_POSTSUPERSCRIPT = 0.073 fm-3 [33]. For some Z𝑍Zitalic_Z, we apply a smooth suppression of the function Eshell(nN,Z)superscript𝐸shellsubscript𝑛𝑁𝑍E^{\rm shell}(n_{N},Z)italic_E start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT ( italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z ) as we approach the proton drip to avoid unrealistically sharp jumps, which could impact the pressure in our thermodynamically consistent approach [see Eqs. (21)–(23)]. For numerical applications, we also eliminate some outliers from the tables in Ref. [53] and fit the remaining data on the shell energies as functions of nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT separately for each Z𝑍Zitalic_Z.

Finally, it is worth noting that the shell energy tables in [53] also do not contain data for Z<18𝑍18Z<18italic_Z < 18. For such nuclei, the shell energy was assumed to be zero, which most certainly has a negligible effect on our calculations because formation of nuclei with Z<18𝑍18Z<18italic_Z < 18 is blocked by high potential ψ𝜓\psiitalic_ψ for Z=18𝑍18Z=18italic_Z = 18 nuclei (see Figure 4).

We also employ the third (simplified) model as a sensitivity test for our results. In this model we assume that the charge number Z𝑍Zitalic_Z remains fixed, Z=20𝑍20Z=20italic_Z = 20, up to the proton drip, effectively mimicking very strong shell and pairing effects. While, strictly speaking, the dependence of the shell energy on nNsubscript𝑛𝑁n_{N}italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT influences the results by affecting the pressure, we simplify this model by assuming Eshell(nN,Z=20)=0superscript𝐸shellsubscript𝑛𝑁𝑍200E^{\rm shell}(n_{N},Z=20)=0italic_E start_POSTSUPERSCRIPT roman_shell end_POSTSUPERSCRIPT ( italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT , italic_Z = 20 ) = 0. The results for the Z𝑍Zitalic_Z-fixed model are qualitatively aligned with both the Shell and Shell+Pairing models. The quantitative differences can be used to estimate uncertainties associated with shell effects (see Sections IV.2 and VII for details).

IV nHD models of FAC

IV.1 Smooth CLD model

Refer to caption
Figure 2: Profiles ψ(Z)=Ψ/NN𝜓𝑍Ψsubscript𝑁𝑁\psi(Z)=\Psi/N_{N}italic_ψ ( italic_Z ) = roman_Ψ / italic_N start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT for several values of pressure P𝑃Pitalic_P for the three members of nHD EOS family, calculated with smooth CLD model (see text for details). Crosses indicate minima or an inflection point (marked as instability) of the function Ψ/NNΨsubscript𝑁𝑁\Psi/N_{N}roman_Ψ / italic_N start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT.

Let us begin the discussion of the results for the smooth CLD model by examining the profiles of the potential ψ𝜓\psiitalic_ψ as a function of Z𝑍Zitalic_Z for five values of pressure. The panels (from top to bottom) correspond to P=0.085𝑃0.085P=0.085italic_P = 0.085, 0.220.220.220.22, 0.250.250.250.25, 0.270.270.270.27, and 0.280.280.280.28 MeV fm-3, respectively. In each panel, three members of the nHD EOS family are shown: Poi=Pnd(cat)subscript𝑃oisuperscriptsubscript𝑃ndcatP_{\mathrm{oi}}=P_{\mathrm{nd}}^{\mathrm{(cat)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT (solid line), Poi=1.005Pnd(cat)subscript𝑃oi1.005superscriptsubscript𝑃ndcatP_{\mathrm{oi}}=1.005\,P_{\mathrm{nd}}^{\mathrm{(cat)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = 1.005 italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT (dotted line), and Poi=Poi(min)1.011Pnd(cat)subscript𝑃oisuperscriptsubscript𝑃oimin1.011superscriptsubscript𝑃ndcatP_{\mathrm{oi}}=P_{\mathrm{oi}}^{\mathrm{(min)}}\approx 1.011\,P_{\mathrm{nd}}% ^{\mathrm{(cat)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT ≈ 1.011 italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT (dashed line). Here Pnd(cat)superscriptsubscript𝑃ndcatP_{\mathrm{nd}}^{\mathrm{(cat)}}italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT is the pressure at the oi interface for catalyzed crust, which coincides with the neutron drip pressure (see [58] for discussion). Following [27], we indicate this by the subscript “nd”.

In the smooth CLD model, the nHD EOS for the entire crust can be specified by setting the pressure Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT at the outer-inner crust interface. Consequently, the solid line, corresponding to Poi=Pnd(cat)subscript𝑃oisuperscriptsubscript𝑃ndcatP_{\mathrm{oi}}=P_{\mathrm{nd}}^{\mathrm{(cat)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT, represents the ψ𝜓\psiitalic_ψ profiles for catalyzed crust. At each pressure the profiles exhibit profound minima, as clearly visible in Figure 2. These minima correspond to the catalyzed crust composition (ψ=μN=0𝜓subscript𝜇𝑁0\psi=\mu_{N}=0italic_ψ = italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT = 0 at the minima; see Section II.1), indicating the absence of disintegration instability. It is important to note, however, that all panels, except the top one, correspond to pressures where the pasta phases are more energetically favorable in the CLD model, as reported in Ref. [47]. Hence, nuclei with large Z𝑍Zitalic_Z (Z>50𝑍50Z>50italic_Z > 50) are likely absent in the catalyzed crust, being shown here only for illustrative purposes.

The dotted line represents a slightly higher value of Poi=1.005Pnd(cat)subscript𝑃oi1.005superscriptsubscript𝑃ndcatP_{\mathrm{oi}}=1.005\,P_{\mathrm{nd}}^{\mathrm{(cat)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = 1.005 italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT, which, however, is not sufficient to induce instability. The ψ𝜓\psiitalic_ψ profiles still exhibit minima at all pressures, although these minima are less pronounced than for solid curves (Poi=Pnd(cat)subscript𝑃oisuperscriptsubscript𝑃ndcatP_{\mathrm{oi}}=P_{\mathrm{nd}}^{\mathrm{(cat)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT). Nonetheless, they still correspond to a stable composition. Therefore, the FAC model would require a larger Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT to reach instability.

The dashed line corresponds to Poi=Poi(min)1.011Pnd(cat)subscript𝑃oisuperscriptsubscript𝑃oimin1.011superscriptsubscript𝑃ndcatP_{\mathrm{oi}}=P_{\mathrm{oi}}^{\mathrm{(min)}}\approx 1.011\,P_{\mathrm{nd}}% ^{\mathrm{(cat)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT ≈ 1.011 italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT, the lowest Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT value that leads to disintegration instability in the nHD inner crust. For this Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, the minima in the ψ𝜓\psiitalic_ψ profiles become progressively shallower with increasing pressure and eventually disappear, transforming into an inflection point in the panel corresponding to P=0.27𝑃0.27P=0.27italic_P = 0.27 MeV fm-3 (the second panel from the bottom). At this pressure, the nuclei disintegrate, allowing for the existence of stationary accreted crust. However, it is worth noting that the neutron chemical potential at this point does not match the core μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT (at the same pressure), and thus, the crust must be extended to higher pressures. These layers can be called “relic” [27], since the accreted nuclei do not penetrate into these layers (they disintegrate earlier). The relic layers can be filled with spherical nuclei formed during the initial stages of accretion. Indeed, at a higher pressure, P=0.28𝑃0.28P=0.28italic_P = 0.28 MeV fm-3 (the bottom panel), a minimum in the ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) profile for the dotted curve reappears, suggesting that stable relic crust can exist. Alternatively, the relic layers could be filled with pasta, or a layer of relic spherical nuclei could be followed by a pasta layer.222To avoid any confusion, by “spherical nuclei” we mean, following, e.g., Ref. [33] nuclei whose energy is calculated within the ETFSI approach using a spherically symmetric single-particle effective potential. A detailed study of the structure of relic layers is beyond the scope of the present work.

For a smooth CLD model, the nHD solutions with Poi>Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}>P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT > italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT contain an unstable region where Ψ/NNΨsubscript𝑁N\Psi/N_{\mathrm{N}}roman_Ψ / italic_N start_POSTSUBSCRIPT roman_N end_POSTSUBSCRIPT is a monotonically increasing function of Z𝑍Zitalic_Z. This region is located between the accreted and relic parts of the crust, indicating that the crustal model with Poi>Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}>P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT > italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT is thermodynamically inconsistent and cannot be applied to describe neutron stars [25, 27]. Therefore, the nHD model with Poi=Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}=P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT is the only possible stationary crust model, and it is referred to as simply the “FAC model” in what follows.

Refer to caption
Figure 3: Crustal EOS and composition for catalyzed crust and FAC in the smooth CLD model. In the figure ρ=ε/c2𝜌𝜀superscript𝑐2\rho=\varepsilon/c^{2}italic_ρ = italic_ε / italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is the density and Ac=nb/nNsubscript𝐴𝑐subscript𝑛𝑏subscript𝑛𝑁A_{c}=n_{b}/n_{N}italic_A start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = italic_n start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT / italic_n start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT is the total number of nucleons per one nucleus.

Figure 3 compares two EOSs: the catalyzed crust and the FAC model. The density and composition of catalyzed crust are shown by solid lines for P<Ppasta0.13𝑃subscript𝑃pasta0.13P<P_{\mathrm{pasta}}\approx 0.13italic_P < italic_P start_POSTSUBSCRIPT roman_pasta end_POSTSUBSCRIPT ≈ 0.13 MeV fm -3 and dotted lines for PPpasta𝑃subscript𝑃pastaP\geq P_{\mathrm{pasta}}italic_P ≥ italic_P start_POSTSUBSCRIPT roman_pasta end_POSTSUBSCRIPT. The dotted lines are used to indicate that the region PPpasta𝑃subscript𝑃pastaP\geq P_{\mathrm{pasta}}italic_P ≥ italic_P start_POSTSUBSCRIPT roman_pasta end_POSTSUBSCRIPT may actually contain strongly nonspherical (pasta-like) structures [47], although the curves were calculated assuming spherical nuclei.

The density and composition of the FAC model are shown in Figure 3 by thick dashes. The instability takes place at Pinst0.27subscript𝑃inst0.27P_{\mathrm{inst}}\approx 0.27italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ≈ 0.27 MeV fm-3, marked with asterisks in each panel of Figure 3. As discussed above, Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT is lower than the crust-core boundary and the crust should continue with relic layers. In Figure 3, the density and composition of relic layers are represented by thin dash-dotted lines, assuming that these layers consist of spherical nuclei. It is worth noting that for the smooth CLD model, the composition of these layers can be unambiguously determined for a given Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, as the nHD equilibrium of relic layers allows us to apply formulas from Section II.1. However, if shell effects are included, determining the composition of relic layers generally requires consideration of their formation history from the beginning of accretion process.

As seen from Figure 3, both density and composition profiles of the FAC state closely resemble those of the catalyzed crust. The fact that the instability occurs at a higher density than the crust-pasta transition, as predicted by [47], suggests that the thickness of the pasta layers may be affected by accretion. However, we defer a more detailed discussion of these effects and the role of the pasta in the accreted crust to subsequent studies.

The upper panel in Figure 3 illustrates the difference in μn(P)subscript𝜇𝑛𝑃\mu_{n}(P)italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_P ) between the catalyzed crust and FAC model. It is evident that the difference is quite small (20less-than-or-similar-toabsent20\lesssim 20≲ 20 keV) and diminishes with increasing pressure. As in the other panels, the dotted part of the curve is calculated assuming that the catalyzed crust is composed of spherical nuclei at such densities.

IV.2 CLD model with shell effects

Refer to caption
Figure 4: Profiles of the potential ψ=Ψ/NN𝜓Ψsubscript𝑁𝑁\psi=\Psi/N_{N}italic_ψ = roman_Ψ / italic_N start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT for the nHD inner crust model, corresponding to Poi=Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}=P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT, plotted for several values of pressure P𝑃Pitalic_P and three considered shell models.

As for the smooth CLD model, let us begin the discussion of the results by examining the profiles of the potential ψ𝜓\psiitalic_ψ, which are shown in Figure 4. In contrast to Figure 2, the lines in each panel correspond to different shell models (see Section III.3): Z𝑍Zitalic_Z-fixed (solid line), Shell (long dashes), and Shell+Pairing (short dashes). We have chosen Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT to be equal to Poi(min)superscriptsubscript𝑃oiminP_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT, which is specific for each model (Poi(min)0.432subscriptsuperscript𝑃minoi0.432P^{\mathrm{(min)}}_{\mathrm{oi}}\approx 0.432italic_P start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ≈ 0.432 keV fm-3 for Shell and Shell+Pairing models; Poi(min)0.424subscriptsuperscript𝑃minoi0.424P^{\mathrm{(min)}}_{\mathrm{oi}}\approx 0.424italic_P start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ≈ 0.424 keV fm-3 for the Z𝑍Zitalic_Z-fixed model). The panels, from top to bottom, correspond to P=0.085𝑃0.085P=0.085italic_P = 0.085, 0.16, 0.22, 0.25 MeV fm-3 and P=Pinst𝑃superscript𝑃instP=P^{\mathrm{inst}}italic_P = italic_P start_POSTSUPERSCRIPT roman_inst end_POSTSUPERSCRIPT. The charge of the nuclei is denoted by a cross (for each model in each panel). As expected, for Shell and Shell+Pairing models, it corresponds to a local minimum of the potential ψ𝜓\psiitalic_ψ in each panel. The exception is the bottom panel, where the minimum disappears and becomes an unstable inflection point. For the Z𝑍Zitalic_Z-fixed model, the charge is artificially fixed at Z=20𝑍20Z=20italic_Z = 20 up to the proton drip (three upper panels). That is, Z=20𝑍20Z=20italic_Z = 20 does not correspond to the minimum of the ψ𝜓\psiitalic_ψ potential.

In two upper panels (P=0.085𝑃0.085P=0.085italic_P = 0.085 and 0.160.160.160.16 MeV fm-3) a profound minimum of the ψ𝜓\psiitalic_ψ potential is formed by the shell effects for both Shell and Shell+Pairing models. This guarantees the conservation of the nuclear charge number since beta-capture and beta-emission reactions are not energetically favourable. For the Z𝑍Zitalic_Z-fixed model Z𝑍Zitalic_Z is fixed, thus for all considered models, Z𝑍Zitalic_Z is equal to 20 at these pressures.

In the third panel (P=0.22𝑃0.22P=0.22italic_P = 0.22 MeV fm-3) the charge number starts to differ. For the Z𝑍Zitalic_Z-fixed model, it is kept equal to 20 by construction, while for the Shell model it evolves to Z=35𝑍35Z=35italic_Z = 35. This is because the shell effects for low-Z𝑍Zitalic_Z nuclei become small (according to the applied model), and the shell structure cannot prevent beta-reactions driven by the general trend of ψ𝜓\psiitalic_ψ provided by the CLD part of the model. The proton drip has not yet been reached, and we retain pairing effects in the Shell+Pairing model. They prevent a strong increase in Z𝑍Zitalic_Z; however, Z𝑍Zitalic_Z is increased to Z=22𝑍22Z=22italic_Z = 22 due to a pair of beta emissions, which occur between P=0.16𝑃0.16P=0.16italic_P = 0.16 MeV fm-3 and P=0.22𝑃0.22P=0.22italic_P = 0.22 MeV fm-3, when combination of the shell and pairing effects remove a ψ𝜓\psiitalic_ψ-potential barrier for the transition to Z=21𝑍21Z=21italic_Z = 21 nuclei via beta emission.

The fourth panel, P=0.25𝑃0.25P=0.25italic_P = 0.25 MeV fm-3, corresponds to the matter after the proton drip. Within our approximation, the shell and pairing corrections vanish, and ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) becomes a smooth function of Z𝑍Zitalic_Z, as given by the CLD model. The composition is driven to the minima located at Z=32𝑍32Z=32italic_Z = 32, 34, and 35 for Shell, Shell+Pairing, and Z𝑍Zitalic_Z-fixed models, respectively. The ψ𝜓\psiitalic_ψ profiles become rather close for all the considered models. Note, however, that they do not coincide exactly because the ψ𝜓\psiitalic_ψ potential depends not only on P𝑃Pitalic_P, but also on μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, which is specific for each of the considered shell models due to differences in Poi(min)superscriptsubscript𝑃oiminP_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT and in the respective EOSs. This feature leads to differences in nuclear evolution after the proton drip (see Figure 5 below).

In the bottom panel, where P=Pinst𝑃superscript𝑃instP=P^{\mathrm{inst}}italic_P = italic_P start_POSTSUPERSCRIPT roman_inst end_POSTSUPERSCRIPT, there are no minima for all models; the “optimal” Z𝑍Zitalic_Z correspond to the inflection point. Nuclei become unstable and disintegrate through a sequence of beta captures, driving them to lower Z𝑍Zitalic_Z and ψ𝜓\psiitalic_ψ.

Refer to caption
Figure 5: Accumulated heat per accreted baryon Qisubscript𝑄𝑖Q_{i}italic_Q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and composition (Z𝑍Zitalic_Z, A𝐴Aitalic_A, and the total number of nucleons Acsubscript𝐴cA_{\mathrm{c}}italic_A start_POSTSUBSCRIPT roman_c end_POSTSUBSCRIPT per one nucleus) versus P𝑃Pitalic_P for nHD crust are shown for Shell, Shell+Pairing, and Z𝑍Zitalic_Z-fixed models. For each model, Qisubscript𝑄𝑖Q_{i}italic_Q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and composition are shown for the two values of the pressure at the oi interface: Poi=Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}=P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT (thin lines) and Poi=Pnd(cat)subscript𝑃oisuperscriptsubscript𝑃ndcatP_{\mathrm{oi}}=P_{\mathrm{nd}}^{\mathrm{(cat)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT (thick lines).

Let us now turn to discussing the evolution of nuclei in the inner crust. For Z𝑍Zitalic_Z-fixed and Shell+Pairing models, Z𝑍Zitalic_Z at the oi interface starts from the value Z=20𝑍20Z=20italic_Z = 20 for all the considered members of the nHD family of crust models, corresponding to different Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT. These nuclei are formed by reactions in the outer crust and at the oi interface. Subsequent compression up to P0.15less-than-or-similar-to𝑃0.15P\lesssim 0.15italic_P ≲ 0.15 MeV fm-3 does not lead to beta-reactions and the charge number remains to be Z=20𝑍20Z=20italic_Z = 20. No heat is released. The evolution consists of continuous growth of nuclear mass numbers A𝐴Aitalic_A and Acsubscript𝐴𝑐A_{c}italic_A start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT with pressure, P𝑃Pitalic_P. Neutrons required for this growth are provided by diffusion/superfluid flow from the higher-density regions. The evolution for the Shell model is generally the same, but Z=21𝑍21Z=21italic_Z = 21 nuclei are formed at the oi interface and converted into Z=20𝑍20Z=20italic_Z = 20 nuclei by electron capture at a slightly higher pressure. This is a clear artifact of neglecting the pairing effects in that model. We expect that it does not significantly affect our results. In particular, the electron capture does not lead to any energy release, because it takes place exactly at the threshold.

Nuclear evolution in the inner layers of the inner crust is more interesting (see Figure 5). Panels in that figure, from top to bottom, present the accumulated heat Qisubscript𝑄iQ_{\mathrm{i}}italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT in the inner crust (per accreted baryon, not including the heat released at the oi interface), as well as Acsubscript𝐴𝑐A_{c}italic_A start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT, A𝐴Aitalic_A, and Z𝑍Zitalic_Z as functions of P𝑃Pitalic_P. Each panel contains two types of curves for each model (Z-fixed, Shell, and Shell+Pairing): the thin curve shows the evolution for Poi=Poi(min)subscript𝑃oisubscriptsuperscript𝑃minoiP_{\mathrm{oi}}=P^{\mathrm{(min)}}_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, while the thick curve is for Poi=Pnd(cat)subscript𝑃oisubscriptsuperscript𝑃catndP_{\mathrm{oi}}=P^{\mathrm{(cat)}}_{\mathrm{nd}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT. In the lower panels, all curves coincide at low pressure. In the upper panel, the energy release for Poi=Pnd(cat)subscript𝑃oisubscriptsuperscript𝑃catndP_{\mathrm{oi}}=P^{\mathrm{(cat)}}_{\mathrm{nd}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT is divided by a factor of 5 to fit the scale of the plot. The instability points are shown by asterisks (except in the upper panel).

Let us first consider the case Poi=Pnd(cat)subscript𝑃oisubscriptsuperscript𝑃catndP_{\mathrm{oi}}=P^{\mathrm{(cat)}}_{\mathrm{nd}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT. Then, for Shell and Shell+Pairing models, the instability occurs for Z=20𝑍20Z=20italic_Z = 20 nuclei before the proton drip. This is due to the high value of Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, for which the general trend in the ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) dependence becomes so strong that the shell effects fail to prevent beta captures. For the Z𝑍Zitalic_Z-fixed model, the instability occurs exactly at the proton drip point, simply because we do not allow Z𝑍Zitalic_Z to vary at lower P𝑃Pitalic_P in this model. All the heat Qisubscript𝑄iQ_{\mathrm{i}}italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT is released at the instability point, resulting in a jump in the Qi(P)subscript𝑄i𝑃Q_{\mathrm{i}}(P)italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P ) dependence, as shown in the upper panel.

For Poi=Poi(min)subscript𝑃oisubscriptsuperscript𝑃minoiP_{\mathrm{oi}}=P^{\mathrm{(min)}}_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, the nuclear evolution for the considered shell models is somewhat different. However, the general trend is a growth of Z𝑍Zitalic_Z up to 3335333533-3533 - 35 with subsequent decrease before the onset of instability. The increase in Z𝑍Zitalic_Z is accompanied by heat release; however, the released heat at the instability is dominant for all models.

Let us discuss the details of nuclear evolution, starting with the Shell model. The first electron emission takes place at P0.17𝑃0.17P\approx 0.17italic_P ≈ 0.17 MeV fm-3, when the shell effects for nuclei with Z=20𝑍20Z=20italic_Z = 20 become small and cannot prevent beta capture. The absence of pairing correction in this model allows for the formation of Z=21𝑍21Z=21italic_Z = 21 nuclei. Subsequent electron captures are associated with a further decrease of the shell corrections, leading to gradual disappearance of local minima of the function ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ). Finally, at P0.20𝑃0.20P\approx 0.20italic_P ≈ 0.20 MeV fm-3, the shell corrections vanish for low-Z𝑍Zitalic_Z nuclei, and the nuclear charge arrives at a minimum of ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ), determined by the smooth CLD model. The negative shell energy corrections for high-Z𝑍Zitalic_Z nuclei constitute the global minimum of ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ); however, this minimum remains unattainable. This pattern stays the same with a subsequent increase in pressure, and the proton drip does not leave any imprints on the evolution, since the local shape of ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) is already driven by the CLD model. The decrease of Z𝑍Zitalic_Z before the instability onset is associated with changes in the ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) shape with growing P𝑃Pitalic_P.

Within the Shell+Pairing model, the decrease of shell corrections at P0.17𝑃0.17P\approx 0.17italic_P ≈ 0.17 MeV fm-3 does not affect the evolution because the local minimum at Z=20𝑍20Z=20italic_Z = 20 is well defined by the pairing correction. Subsequent compression leads to a pair of electron emissions and the associated energy release from the second capture. However, the pairing correction adopted in the Shell+Pairing model is strong enough to form a local minimum at Z=22𝑍22Z=22italic_Z = 22 and prevent subsequent electron emissions until the proton drip takes place. At the proton drip, we suppress the pairing corrections along with shell corrections, and the ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) profile becomes determined by the CLD model. The nuclear charge reaches a minimum of ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) potential, located at Z=34𝑍34Z=34italic_Z = 34. During subsequent compression, Z𝑍Zitalic_Z follows the position of the minimum (see the second from the bottom panel in Figure 4).

The Z𝑍Zitalic_Z-fixed model is applied as a sensitivity test for shell effects. It prevents any evolution of the nuclear charge Z𝑍Zitalic_Z until the proton drip point. For higher pressure, as in the Shell and Shell+Pairing models, the ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) profile becomes determined by the CLD model, which drives the subsequent evolution.

Refer to caption
Figure 6: Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT vs Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT for Shell (short dashes), Shell+Pairing (long dashes) and Z𝑍Zitalic_Z-fixed (solid line) models.

Figure 6 presents the dependence of Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT on Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT for the considered models. One can observe that Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT decreases with an increase in Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT for all models.

Let us begin the discussion of this dependence with the Z𝑍Zitalic_Z-fixed model. As seen in Figure 5, for Poi=Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}=P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT, the instability occurs after the proton drip. An increase in Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT shifts the instability point to lower pressure, closer to the proton drip, located at P0.231𝑃0.231P\approx 0.231italic_P ≈ 0.231 MeV fm-3. Finally, at Poi0.425subscript𝑃oi0.425P_{\mathrm{oi}}\approx 0.425italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ≈ 0.425 keV fm-3, the instability starts at the proton drip. In the Z𝑍Zitalic_Z-fixed model, we do not allow Z𝑍Zitalic_Z to evolve before the proton drip. As a result, the instability cannot occur at a lower pressure. Consequently, for Poi>0.425subscript𝑃oi0.425P_{\mathrm{oi}}>0.425italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT > 0.425 keV fm-3, the instability always takes place at the proton drip point (some fluctuations in Figure 6 are numerical noise). This behavior is an artifact of the simplified Z𝑍Zitalic_Z-fixed approach, prompting us to switch to more realistic models.

For the Shell model, as we discussed above, even for Poi=Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}=P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT, the nuclear charge starts to evolve before the proton drip point, and the proton drip does not affect the evolution. This statement holds true for higher Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT values, and Pinst(Poi)subscript𝑃instsubscript𝑃oiP_{\mathrm{inst}}(P_{\mathrm{oi}})italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) is a monotonically decreasing function with no peculiarities at the proton drip point. The break at Poi0.44subscript𝑃oi0.44P_{\mathrm{oi}}\approx 0.44italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ≈ 0.44 keV fm-3 is associated with a change in the nuclear evolution behavior: for lower Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, the nuclear charge starts to grow (above some pressure), and the instability occurs for Z>20𝑍20Z>20italic_Z > 20, while for higher Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, the instability occurs for Z=20𝑍20Z=20italic_Z = 20 nuclei without any charge evolution before it (see the thick line for Poi=Pnd(cat)subscript𝑃oisuperscriptsubscript𝑃ndcatP_{\mathrm{oi}}=P_{\mathrm{nd}}^{\mathrm{(cat)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT and the thin line for Poi=Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}=P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT in Figure 5).

The behavior of Pinst(Poi)subscript𝑃instsubscript𝑃oiP_{\mathrm{inst}}(P_{\mathrm{oi}})italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) is a bit more complicated for the Shell+Pairing model. As with the Shell model, for Poi=Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}=P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT, the nuclear charge starts to evolve before the proton drip, but this evolution is not too strong; pairing effects prevent Z𝑍Zitalic_Z from growing above Z=22𝑍22Z=22italic_Z = 22 (see Figure 5). At the proton drip point, we remove shell and pairing corrections, and the nuclear charge increases.

Increasing Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT results in a decrease in Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT, while qualitatively nuclear evolution remains unchanged: The nuclear charge increases at the proton drip point and (generally) evolves a little further before the instability onset. However, at Poi0.433subscript𝑃oi0.433P_{\mathrm{oi}}\approx 0.433italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ≈ 0.433 keV fm-3, the instability point reaches the proton drip, where instability leads to the disintegration of Z=22𝑍22Z=22italic_Z = 22 nuclei. Subsequent growth of Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT up to 0.440.440.440.44 keV fm-3 does not affect Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT, because the pairing effects prevent disintegration of Z=22𝑍22Z=22italic_Z = 22 nuclei before the proton drip. However, as with the Shell model, for Poi>0.44subscript𝑃oi0.44P_{\mathrm{oi}}>0.44italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT > 0.44 keV fm-3, the instability occurs before the proton drip in the form of disintegration of Z=20𝑍20Z=20italic_Z = 20 nuclei, without an increase of nuclear charge before the instability. In this high-Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT region, the value of Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT is slightly higher for the Shell+Pairing model than for the Shell model because the pairing correction provides additional stabilization for Z=20𝑍20Z=20italic_Z = 20 nuclei.

V Constraints on Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT

In the previous section, we considered nHD models of the accreted crust, parametrized by the pressure at the oi interface, Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT. In this section, we discuss constraints for this quantity in the FAC state.

Firstly, as discussed in Ref. [25], there is a mechanism for nuclei disintegration, which is required in the stationary FAC state to prevent the accumulation of nuclei supplied through accretion. Within the nHD approach, this mechanism naturally arises at Poi>Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}>P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT > italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT in the form of instability, associated with the disappearance of the local minimum of the potential ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) (see Figures 2 and 4). This establishes a lower bound for Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT.

But what about the upper bound?

For the smooth CLD model, it arises naturally when one assumes that nuclei are spherical throughout the entire crust. In this case, as discussed in Section IV.1, the relic crust can be unambiguously constructed using formulas from Section II.2. The parameter C=μN/μn𝐶subscript𝜇𝑁subscript𝜇𝑛C=\mu_{N}/\mu_{n}italic_C = italic_μ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT / italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, see Eq. (5), should remain constant throughout the entire inner crust, including the relic region. However, the relic region is stable and can connect the accreted crust and core only when Poi=Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}=P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT (see Figure 2 and the corresponding discussion). For Poi>Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}>P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT > italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT, there exists a pressure region, where the beta-equilibrium equation (18) cannot be satisfied because ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) increases monotonically with an increase in Z𝑍Zitalic_Z. Hence, a crust cannot exist for Poi>Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}>P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT > italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT and Poi=Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}=P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT represents the only possible value for Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT in the nHD FAC for the smooth CLD model. Note, however, that this conclusion should be reconsidered if we allow for nonspherical nuclei in relic crustal layers. We do not explore this possibility here, but we anticipate that it may allow for slightly higher values of Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, although an upper limit for Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT should still exist.

As demonstrated in the previous section, for more realistic nHD models that include shell effects, Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT can be calculated for a given Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, and the general trend is that Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT decreases with Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT (see Figure 6). As discussed in the Introduction, Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT and the composition of the relic part located at P>Pinst𝑃subscript𝑃instP>P_{\mathrm{inst}}italic_P > italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT, can, in principle, be calculated by considering crustal evolution from the very beginning of the accretion process. This is a very complicated (and model-dependent) problem that is beyond the scope of this work. Instead, here we constrain the allowed Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT region based on the requirement that the relic crust, which connects the instability point with the stellar core in a thermodynamically consistent way,333 Thermodynamic consistency requires that: 1) the relic part of the crust must be mechanically stable at each point; 2) the nHD condition must be satisfied; 3) the pressure and neutron chemical potential must be continuous at both the instability point and crust-core interface. should be allowed at least for some compositions. Indeed, if the region before the instability point cannot be connected with the core, the respective crustal model cannot occur in a real neutron star and should be disregarded.

If one attempts to constrain Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT by formally applying the shell models from this work (see Section III.2), one should arrive at the conclusion that Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT cannot exceed Poi(min)superscriptsubscript𝑃oiminP_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT. Namely, within these models the shell corrections are absent after the proton drip, which is located lower than the crust-core boundary. Consequently, the part of the crust between the proton drip and the core is governed by the smooth CLD model. As discussed above, for the smooth CLD model the nHD crust is determined by the constant C𝐶Citalic_C, and there exists one and only one value of this constant allowing one to connect the instability point and the core with a stable relic crust, and this value corresponds to Poi=Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}=P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT. However, this conclusion relies heavily on the simplifications made in our shell models, therefore it might not be very reliable.

To establish a more reliable upper bound for Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, we impose a less stringent requirement: the relic part, starting from the instability point, should remain stable up to the proton drip point for some composition of the relic part.

It is rather difficult to check for this condition numerically, even if we restrict ourselves to the assumption that the relic crust region is composed of spherical nuclei. In particular, the result evidently depends on the applied shell model. However, as anticipated, the general trend is that the lower the value of Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT, the more challenging it becomes to identify a relic crust composition. The reason is straightforward: the relic region becomes thicker, and the slope of the smooth CLD part of the ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) function becomes larger (more unstable) .

We have verified that a stable relic crust does not exist for the Shell model with Poi=Pnd(cat)subscript𝑃oisuperscriptsubscript𝑃ndcatP_{\mathrm{oi}}=P_{\mathrm{nd}}^{\mathrm{(cat)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT. Therefore, we propose using Pnd(cat)superscriptsubscript𝑃ndcatP_{\mathrm{nd}}^{\mathrm{(cat)}}italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT as a reference upper bound for Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT for 56Fe ash. We do not attempt to determine the upper bound for the Shell model more precisely because it appears to be model-dependent. We refrain from establishing an upper bound for the Shell+Pairing model, which relies on rather artificial accounting for pairing corrections that would clearly affect the numerical results. Finally, for the Z𝑍Zitalic_Z-fixed model the instability cannot occur before the proton drip by construction.

Finalizing this section, we should stress that the above discussion is based on the assumption that the relic part of the crust contains only spherical nuclei. If it is (at least partially) composed of nonspherical nuclear clusters (pasta phases), the constraints should be reconsidered, but we leave this problem beyond the scope of this work.

VI Energy release in deep layers of the nHD crust as function of Pinstsubscript𝑃instP_{\rm inst}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT

Refer to caption
Figure 7: Heat release in the inner crust Qisubscript𝑄iQ_{\mathrm{i}}italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT and at the instability point Qinstsubscript𝑄instQ_{\mathrm{inst}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT as function of the instability pressure Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT for Z𝑍Zitalic_Z-fixed, Shell, and Shell+Pairing models.

As discussed in Section IV.2, the pressure Pinstsuperscript𝑃instP^{\mathrm{inst}}italic_P start_POSTSUPERSCRIPT roman_inst end_POSTSUPERSCRIPT can be calculated as a function of Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPTfor a given shell model. Thus, Pinstsuperscript𝑃instP^{\mathrm{inst}}italic_P start_POSTSUPERSCRIPT roman_inst end_POSTSUPERSCRIPT can be used to parametrize the family of nHD models instead of Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT. Figure 7 illustrates this point by demonstrating Qisubscript𝑄iQ_{\mathrm{i}}italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT as a function of Pinstsubscript𝑃instP_{\rm inst}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT. Long and short dashes represent the Shell and Z𝑍Zitalic_Z-fixed models, while open circles denote the Shell+Pairing model. Figure 7 also displays the heat release at the instability, Qinstsubscript𝑄instQ_{\mathrm{inst}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT. Dash-dotted line, short dashes, and crosses present Qinstsubscript𝑄instQ_{\mathrm{inst}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT for the Shell, Z𝑍Zitalic_Z-fixed, and Shell+Pairing models, respectively.

The difference between Qisubscript𝑄iQ_{\mathrm{i}}italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT and Qinstsubscript𝑄instQ_{\mathrm{inst}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT is associated with the heat released in the inner crust before the instability, P<Pinst𝑃subscript𝑃instP<P_{\rm inst}italic_P < italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT. However, for all considered models, this heat release takes place in the very deep layers (P>0.1𝑃0.1P>0.1italic_P > 0.1 MeV fm-3), and for Pinst<0.18subscript𝑃inst0.18P_{\mathrm{inst}}<0.18italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT < 0.18 MeV fm-3, all the heat is released at the instability point for both Shell and Shell+Pairing models. The reason has been already discussed in Section IV.2: at low enough Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT, the instability occurs for Z=20𝑍20Z=20italic_Z = 20 nuclei without any energy release in the intermediate layers of the inner crust (i.e., between the oi interface and the instability point).

For the Z𝑍Zitalic_Z-fixed model, the lowest possible value of Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT corresponds, by construction, to the proton drip. If the instability occurs at the proton drip, all heat is released at that point.

For high instability pressures, Pinst>0.24subscript𝑃inst0.24P_{\mathrm{inst}}>0.24italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT > 0.24 MeV fm-3, Qinstsubscript𝑄instQ_{\mathrm{inst}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT becomes the same for all shell models applied in this work. Indeed, for such Pinstsubscript𝑃instP_{\rm inst}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT the instability occurs after the proton drip, where all shell corrections for our models are set to zero (see Section III.2). Correspondingly, EOS near P=Pinst𝑃subscript𝑃instP=P_{\rm inst}italic_P = italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT should be fully determined by the smooth CLD model. In particular, immediately at the instability point one should satisfy the conditions (10) and (11) (see Section II.3 for details). Imposing them, we can determine the parameters of the CLD model, namely Z𝑍Zitalic_Z and μnsubscript𝜇𝑛\mu_{n}italic_μ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, and eventually calculate the potential ψ𝜓\psiitalic_ψ at the instability point. Because all incoming nuclei disintegrate at P=Pinst𝑃subscript𝑃instP=P_{\rm inst}italic_P = italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT, the energy release (per nucleus) there is equal to the potential ψ(Pinst)𝜓subscript𝑃inst\psi(P_{\mathrm{inst}})italic_ψ ( italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ), being the same for all models [34]. Since fusion reactions are absent for ashes composed of 56Fe, the number of disintegrating nuclei should be the same as the number of nuclei supplied by the accretion. That is, the energy release per accreted nucleon should be given by Qinst=ψ(Pinst)/Aashsubscript𝑄inst𝜓subscript𝑃instsubscript𝐴ashQ_{\mathrm{inst}}=\psi(P_{\mathrm{inst}})/A_{\mathrm{ash}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT = italic_ψ ( italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ) / italic_A start_POSTSUBSCRIPT roman_ash end_POSTSUBSCRIPT [34], being the function of Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT (Aash=56subscript𝐴ash56A_{\mathrm{ash}}=56italic_A start_POSTSUBSCRIPT roman_ash end_POSTSUBSCRIPT = 56 is the number of nucleons per one nuclei in the ash).

VI.1 Minimal energy release

For each shell model, one can determine Qinst(min)superscriptsubscript𝑄instminQ_{\mathrm{inst}}^{\mathrm{(min)}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT – the minimum possible Qinstsubscript𝑄instQ_{\mathrm{inst}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT. According to Figure 7, this corresponds to the highest possible pressure, Pinst(max)subscriptsuperscript𝑃maxinstP^{\mathrm{(max)}}_{\mathrm{inst}}italic_P start_POSTSUPERSCRIPT ( roman_max ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT, and numerically Qinst(min)superscriptsubscript𝑄instminQ_{\mathrm{inst}}^{\mathrm{(min)}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT is the same for all considered shell models, Qinst(min)0.05superscriptsubscript𝑄instmin0.05Q_{\mathrm{inst}}^{\mathrm{(min)}}\approx 0.05italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT ≈ 0.05 MeV per accreted nucleon.

This latter statement should hold true for any shell model added on top of a given smooth CLD model, provided that shell effects are negligible at high pressures. The proof of this crucial statement is, in fact, straightforward: if shell effects are neglected at high pressures, the nuclear physics there is specified by the smooth model444It can be either a CLD model (as in the present work) or, for example, a more sophisticated smooth model based on the ETF calculations [33, 53]. . As previously stated, in the smooth model the amount of energy release is determined by Pinstsubscript𝑃instP_{\mathrm{inst}}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT. Thus, the function Qinst(Pinst)subscript𝑄instsubscript𝑃instQ_{\mathrm{inst}}(P_{\mathrm{inst}})italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ) and its minimum, Qinst(min)superscriptsubscript𝑄instminQ_{\mathrm{inst}}^{\mathrm{(min)}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT, are not affected by the shell effects.

In principle, Qinst(min)superscriptsubscript𝑄instminQ_{\mathrm{inst}}^{\mathrm{(min)}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT can depend on the applied smooth model. The detailed analysis of this dependence is left for future work. Here we would like to point out that for another Skyrme-type nuclear potential (Sly4 [59]), the smooth CLD model leads to a very similar value for the minimal heat release (0.040.040.040.04 MeV per accreted nucleon, see supplementary material in Ref. [27]). This suggests that Qinst(min)(0.04÷0.05)similar-tosuperscriptsubscript𝑄instmin0.040.05Q_{\mathrm{inst}}^{\mathrm{(min)}}\sim(0.04\div 0.05)italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT ∼ ( 0.04 ÷ 0.05 ) MeV per accreted nucleon can be considered a rather model-independent estimate.

VII Heuristic predictions for the nHD inner crust

In this work, we analyze the nHD accreted crust for the three CLD+sh models described in Section III.2. We believe that these models provide a reasonable framework for the up-to-date description of the nuclear physics in the deepest layers of the inner crust. However, for the shallow regions of the inner crust, where the number density of unbound neutrons is negligible, a better approach exists. It is based on the (theoretical) atomic mass tables (AMTs) (see Refs. [40, 37], for applications of AMTs to accreted crust modeling). Currently available AMTs are constructed using detailed HFB calculations (e.g., [60, 61, 62]), finite-range droplet macroscopic model (FRDM; [63, 64]), machine learning/statistical methods [65, 66] etc. The description of the shallow crust, obtained with AMTs is expected to be more accurate and reliable than that achieved with CLDM+sh models based on the ETFSI approach.

In this section, we will assume that we have a hypothetical advanced shell model that, on the one hand, reproduces the AMT-based mEOS for the shallow region of the inner crust and, on the other hand, reduces to one of our three CLD+sh models for the deepest inner crust layers. Note that we will not make any assumptions about the form of shell corrections in the crustal region with intermediate densities, except for assuming that their behavior is physically reasonable (smooth and continuous, see below for more precise applicability conditions). Our goal will be to address the question of how a more realistic description of the shallow regions can affect the main parameters of the theory, such as the values of the pressures Poisubscript𝑃oiP_{\rm oi}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT and Pinstsubscript𝑃instP_{\rm inst}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT.

To answer this question, we will follow the approach based on the energy conservation law. The approach requires almost no additional calculations, provided that the nHD inner crust has been preanalyzed making use of a CLD+sh model. As a byproduct, we will demonstrate that the considered nHD properties do not depend on the details of the behavior of shell corrections in the intermediate layers of the inner crust.

The starting point for our energy-based approach is one of the central results of Ref. [27]. In that reference it was shown that the heat release Qisubscript𝑄iQ_{\mathrm{i}}italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT can be calculated as a function of Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT by using AMT and analyzing only nuclear reactions in the outer crust and at the oi interface. The resulting function QiAMT(Poi)subscriptsuperscript𝑄AMTisubscript𝑃oiQ^{\mathrm{AMT}}_{\mathrm{i}}(P_{\mathrm{oi}})italic_Q start_POSTSUPERSCRIPT roman_AMT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) is independent of the inner crust physics and hence should be valid for the advanced shell model. Below QiAMT(Poi)subscriptsuperscript𝑄AMTisubscript𝑃oiQ^{\mathrm{AMT}}_{\mathrm{i}}(P_{\mathrm{oi}})italic_Q start_POSTSUPERSCRIPT roman_AMT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) is assumed to be known (precalculated; see Refs. [27, 28] for examples of such a calculation).

VII.1 Heuristic constraints on Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT

In Ref. [27], we constrained Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT by imposing a condition that QiAMT(Poi)>0subscriptsuperscript𝑄AMTisubscript𝑃oi0Q^{\mathrm{AMT}}_{\mathrm{i}}(P_{\mathrm{oi}})>0italic_Q start_POSTSUPERSCRIPT roman_AMT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) > 0. The corresponding lower bound for the pressure was denoted as Poi(0)superscriptsubscript𝑃oi0P_{\mathrm{oi}}^{(0)}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT. Here we suggest applying a tighter constraint: QiAMT(Poi)>Qinst(min)subscriptsuperscript𝑄AMTisubscript𝑃oisuperscriptsubscript𝑄instminQ^{\mathrm{AMT}}_{\mathrm{i}}(P_{\mathrm{oi}})>Q_{\mathrm{inst}}^{\mathrm{(min% )}}italic_Q start_POSTSUPERSCRIPT roman_AMT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) > italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT, where Qinst(min)superscriptsubscript𝑄instminQ_{\mathrm{inst}}^{\mathrm{(min)}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT represents the minimal energy release at the instability. As discussed in Section VI.1, for BSK24 and SLy4 models Qinst(min)superscriptsubscript𝑄instminQ_{\mathrm{inst}}^{\mathrm{(min)}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT can be estimated as Qinst(min)(0.04÷0.05)similar-tosuperscriptsubscript𝑄instmin0.040.05Q_{\mathrm{inst}}^{\mathrm{(min)}}\sim(0.04\div 0.05)italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT ∼ ( 0.04 ÷ 0.05 ) MeV per accreted nucleon, provided that shell corrections are negligible in the deepest layers of the inner crust. By using the dependence QiAMT(Poi)subscriptsuperscript𝑄AMTisubscript𝑃oiQ^{\mathrm{AMT}}_{\mathrm{i}}(P_{\mathrm{oi}})italic_Q start_POSTSUPERSCRIPT roman_AMT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) calculated in Ref. [27] (see inset in Figure 8, Qinst(min)(0.04÷0.05)similar-tosuperscriptsubscript𝑄instmin0.040.05Q_{\mathrm{inst}}^{\mathrm{(min)}}\sim(0.04\div 0.05)italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT ∼ ( 0.04 ÷ 0.05 ) MeV is filled in gray in the inset) for the BSK24 HFB mass tables [61], we obtain Poi0.46subscript𝑃oi0.46P_{\mathrm{oi}}\geq 0.46italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ≥ 0.46 keV fm-3. However, this constraint is only slightly stronger (by 2%similar-toabsentpercent2\sim 2\%∼ 2 %) than the originally suggested lower bound Poi(0)superscriptsubscript𝑃oi0P_{\mathrm{oi}}^{(0)}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT [27]. Note, however, that a detailed analysis within the advanced shell model will likely lead to the same result.

As discussed in Section VI.1, Qinst(min)superscriptsubscript𝑄instminQ_{\mathrm{inst}}^{\mathrm{(min)}}italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT is determined by the CLD model and thus should not depend on the initial composition. Thus, the approach discussed in this subsection is likely applicable to accreted crust with a multicomponent composition of initial ashes. Note, however, that in the latter case, noticeable fraction of the heat can be released in the intermediate layers of the inner crust [29, 30], so that the constraint should be applied to the residual part of the heat release, which also can be estimated within the AMT approach [29, 30].

VII.2 Heuristic predictions for Pinst(Poi)subscript𝑃instsubscript𝑃oiP_{\mathrm{inst}}(P_{\mathrm{oi}})italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT )

Refer to caption
Figure 8: Heuristic prediction for the dependence Pinst(Poi)subscript𝑃instsubscript𝑃oiP_{\mathrm{inst}}(P_{\mathrm{oi}})italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) for the advanced Shell (short dashes), Shell+Pairing (long dashes) and Z𝑍Zitalic_Z-fixed (solid line) models (see text for details). The inset indicates QiAMT(Poi)superscriptsubscript𝑄iAMTsubscript𝑃oiQ_{\mathrm{i}}^{\rm AMT}(P_{\mathrm{oi}})italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_AMT end_POSTSUPERSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) dependence as it was calculated in Ref. [27] for the BSK24 HFB mass tables [61]; Qinst(min)(0.04÷0.05)similar-tosuperscriptsubscript𝑄instmin0.040.05Q_{\mathrm{inst}}^{\mathrm{(min)}}\sim(0.04\div 0.05)italic_Q start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT ∼ ( 0.04 ÷ 0.05 ) MeV is filled in gray.

Here we extend the approach from Section VII.1 in order to heuristically predict the dependence of Pinst(Poi)subscript𝑃instsubscript𝑃oiP_{\mathrm{inst}}(P_{\mathrm{oi}})italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) for the advanced shell model. As before, we employ the energy conservation law. In addition, we make use of the assumption of constancy of Z𝑍Zitalic_Z for the majority of the inner crust, up to the innermost regions, where the advanced shell model aligns with the respective CLD+sh model. This assumption is supported by our calculations (see Sections IV.2 and VI) and can be considered as an applicability condition for the approach proposed in this subsection.

As pointed out above, QiAMT(Poi)subscriptsuperscript𝑄AMTisubscript𝑃oiQ^{\mathrm{AMT}}_{\mathrm{i}}(P_{\mathrm{oi}})italic_Q start_POSTSUPERSCRIPT roman_AMT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) calculated following Ref. [27], should be equally valid for the advanced shell model, i.e., Qi(Poi)=QiAMT(Poi)subscript𝑄isubscript𝑃oisubscriptsuperscript𝑄AMTisubscript𝑃oiQ_{\rm i}(P_{\rm oi})=Q^{\mathrm{AMT}}_{\mathrm{i}}(P_{\mathrm{oi}})italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) = italic_Q start_POSTSUPERSCRIPT roman_AMT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ). At the same time, one can calculate Qi(Pinst)subscript𝑄isubscript𝑃instQ_{\mathrm{i}}(P_{\mathrm{inst}})italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ) for a certain CLD+sh model (see Section VI). If all heat release in the inner crust is concentrated in its deepest layers, it is reasonable to assume that Qi(Pinst)subscript𝑄isubscript𝑃instQ_{\mathrm{i}}(P_{\mathrm{inst}})italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ) is fully determined by the nuclear physics in the deepest layers of the inner crust (see SectionVI), and thus Qi(Pinst)subscript𝑄isubscript𝑃instQ_{\mathrm{i}}(P_{\mathrm{inst}})italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ) as calculated for the CLD+sh model, should also be valid for the advanced shell model.

Using the (known) functions Qi(Pinst)subscript𝑄isubscript𝑃instQ_{\mathrm{i}}(P_{\mathrm{inst}})italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ) and Qi(Poi)=QiAMT(Poi)subscript𝑄isubscript𝑃oisubscriptsuperscript𝑄AMTisubscript𝑃oiQ_{\mathrm{i}}(P_{\mathrm{oi}})=Q^{\mathrm{AMT}}_{\mathrm{i}}(P_{\mathrm{oi}})italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) = italic_Q start_POSTSUPERSCRIPT roman_AMT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ), it is straightforward to find Pinstsubscript𝑃instP_{\rm inst}italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT as a function of Poisubscript𝑃oiP_{\rm oi}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT. This prediction does not require any additional calculation for the advanced shell model; it indicates that the function Pinst(Poi)subscript𝑃instsubscript𝑃oiP_{\rm inst}(P_{\rm oi})italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) does not depend on the form of the shell corrections in the interiors of the inner crust, provided that the shell effects are strong enough to prevent the evolution of Z𝑍Zitalic_Z (and thus heat release) up to the deepest layers of the inner crust.

To illustrate this approach, we combined the function Qi(Pinst)subscript𝑄isubscript𝑃instQ_{\mathrm{i}}(P_{\mathrm{inst}})italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ) calculated in this work (Figure 7) with the function QiAMT(Poi)superscriptsubscript𝑄iAMTsubscript𝑃oiQ_{\mathrm{i}}^{\mathrm{AMT}}(P_{\mathrm{oi}})italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_AMT end_POSTSUPERSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) calculated for the BSK24 HFB mass tables [61] in Ref. [27] (see inset in Figure 8). The resulting heuristic prediction for the corrected dependence Pinst(Poi)subscript𝑃instsubscript𝑃oiP_{\mathrm{inst}}(P_{\mathrm{oi}})italic_P start_POSTSUBSCRIPT roman_inst end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) is shown in Figure 8.

Comparing Figures 6 and 8, one can see that for low Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT the corrected predictions for the Z𝑍Zitalic_Z-fixed model are closer to the Shell and Shell+Pairing models than in the case of our original calculations in Section IV.2. This is because the nuclear physics input for CLD+sh versions of these models differs even in the outermost layers of the inner crust. Specifically, as discussed in Section III.2, we neglect shell corrections for the Z𝑍Zitalic_Z-fixed model. As a result, Qi(Poi)subscript𝑄isubscript𝑃oiQ_{\mathrm{i}}(P_{\mathrm{oi}})italic_Q start_POSTSUBSCRIPT roman_i end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) calculated within the Z𝑍Zitalic_Z-fixed model differs from calculations for Shell and Shell+Pairing models simply because the mass of Z=20𝑍20Z=20italic_Z = 20 nuclei predicted by the Z𝑍Zitalic_Z-fixed model differs from the mass of the same nuclei, predicted by Shell and Shell+Pairing models. The corrected results rely on the more accurate nuclear physics in the shallow inner crust region and should be considered more reliable.

VIII Summary, conclusions and perspectives

For the first time, we present detailed calculations of the nHD crust taking into account proton shell effects in nuclei (see also our preliminary results in Ref. [27]). Our work clearly demonstrates that the shell corrections have a profound effect on the FAC models (compare the results in Sections IV.2 and IV.1; see also the numbered list below).555 Shell effects also appear to be crucial for calculations made within the traditional approach [68].

The general calculation algorithm is described in Section II.3; it is based on the recently suggested thermodynamic potential ΨΨ\Psiroman_Ψ [34], which should be minimized in the nHD crust. Our algorithm can be applied in future studies of nHD accreted crust models.

We numerically construct a family of nHD models, parametrized by the pressure Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT at the outer-inner crust interface (Section IV). Next, we analyze this family to determine the range of permissible Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT values (see Section V). This two-step procedure is required because the redistribution of unbound neutrons in the inner crust does not allow us to predict Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT in advance, as it was in the traditional models, where the outer-inner crust interface was assumed to be associated with the neutron drip point (e.g., [35, 67, 58]). Within the nHD model, neutrons penetrate to lower pressures, shifting the outer-inner crust interface accordingly.

Obviously, to construct nHD models numerically, one should specify a microphysical model. Here, we employ the CLD+sh model of Ref. [31], in which the shell effects are added on top of the CLD model based on ETFSI calculations of Refs. [33, 53]. The absence of data for odd-Z𝑍Zitalic_Z nuclei in supplementary tables from those references forces us to consider two models, labeled as “Shell” and “Shell+Pairing”. In the Shell+Pairing model, we add pairing corrections to the energy of odd-Z𝑍Zitalic_Z nuclei using a simplified model, while in the Shell model, these corrections were neglected (see Section III.2 for details). As a sensitivity test, we also apply the Z𝑍Zitalic_Z-fixed model, in which Z𝑍Zitalic_Z is assumed to be fixed at the value Z=20𝑍20Z=20italic_Z = 20 up to the proton drip point (to mimic strong proton shell closure at this value of Z𝑍Zitalic_Z). In addition, we also use the smooth CLD model, where pairing and shell corrections are ignored.

Although numerical details of our calculations depend on the applied shell model, some universal features can be revealed, confirming the preliminary conclusions of Ref.  [27]:

  1. 1.

    Shell corrections suppress beta reactions in most of the inner crust, leading to a composition of low-Z𝑍Zitalic_Z (Z20similar-to𝑍20Z\sim 20italic_Z ∼ 20) nuclei rather than the Z40similar-to𝑍40Z\sim 40italic_Z ∼ 40 nuclei predicted by the smooth CLD model (see Fig. 3).

  2. 2.

    For all the considered microphysical models (smoothed and with shell corrections), there exists a minimum pressure Poi(min)superscriptsubscript𝑃oiminP_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT, such that for any Poi>Poi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}>P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT > italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT, there is an instability at pressure Pinst(Poi)superscript𝑃instsubscript𝑃oiP^{\mathrm{inst}}(P_{\mathrm{oi}})italic_P start_POSTSUPERSCRIPT roman_inst end_POSTSUPERSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ), leading to the disintegration of nuclei. Considering the function ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ), which is the appropriate thermodynamic potential for describing the nHD inner crust [34], the instability reveals itself in the disappearance of the local minima of ψ(Z)𝜓𝑍\psi(Z)italic_ψ ( italic_Z ) (see Figures 1, 2, and 4). Both the function Pinst(Poi)superscript𝑃instsubscript𝑃oiP^{\mathrm{inst}}(P_{\mathrm{oi}})italic_P start_POSTSUPERSCRIPT roman_inst end_POSTSUPERSCRIPT ( italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ) and the pressure Poi(min)superscriptsubscript𝑃oiminP_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT are strongly affected by the shell corrections (see Figure 6).

  3. 3.

    Pinstsuperscript𝑃instP^{\mathrm{inst}}italic_P start_POSTSUPERSCRIPT roman_inst end_POSTSUPERSCRIPT decreases with an increase in Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT for all considered models (Ref. [25] demonstrated qualitatively the same behavior for the smooth CLD model based on the SLy4 potential). Pinstsuperscript𝑃instP^{\mathrm{inst}}italic_P start_POSTSUPERSCRIPT roman_inst end_POSTSUPERSCRIPT can be lower than the pressure at the crust-core boundary, Pccsubscript𝑃ccP_{\mathrm{cc}}italic_P start_POSTSUBSCRIPT roman_cc end_POSTSUBSCRIPT. If this is the case, the part of the crust between Pinstsuperscript𝑃instP^{\mathrm{inst}}italic_P start_POSTSUPERSCRIPT roman_inst end_POSTSUPERSCRIPT and Pccsubscript𝑃ccP_{\rm cc}italic_P start_POSTSUBSCRIPT roman_cc end_POSTSUBSCRIPT should be considered “relic”, indicating that it has been formed during the initial phases of accretion from the pristine crust and remained unchanged thereafter (except for possible small secular evolution associated with the increase in the mass of the accreting neutron star).

  4. 4.

    Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT in the FAC can be constrained using general arguments.

    The lower bound PoiPoi(min)subscript𝑃oisuperscriptsubscript𝑃oiminP_{\mathrm{oi}}\geq P_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT ≥ italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT comes from the requirement that the nuclei disintegration mechanism should be active in the FAC to keep the crust structure stationary and avoid the accumulation of nuclei there.

    The upper bound for Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT is more complicated (see Section V). It arises from the condition that for too large Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, the instability takes place at such a low pressure Pinstsuperscript𝑃instP^{\mathrm{inst}}italic_P start_POSTSUPERSCRIPT roman_inst end_POSTSUPERSCRIPT that the accreted crust cannot be connected with the stellar core in a thermodynamically consistent way for any composition of the relic part of the crust. For the smooth CLD model, this requirement sets Poi(min)superscriptsubscript𝑃oiminP_{\mathrm{oi}}^{\mathrm{(min)}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_min ) end_POSTSUPERSCRIPT as an upper bound, making it the only allowed value for Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT. The presence of shell corrections can stabilize the relic crust, allowing for a larger Poisubscript𝑃oiP_{\mathrm{oi}}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT, which makes accurate determination of the upper bound challenging. By applying our Shell model from Section III.2 to the relic part of the crust and assuming that the relic region is composed of spherical nuclei, we conclude that Poi<Pnd(cat)subscript𝑃oisuperscriptsubscript𝑃ndcatP_{\mathrm{oi}}<P_{\mathrm{nd}}^{(\mathrm{cat})}italic_P start_POSTSUBSCRIPT roman_oi end_POSTSUBSCRIPT < italic_P start_POSTSUBSCRIPT roman_nd end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_cat ) end_POSTSUPERSCRIPT for pure 56Fe ash. However, the validity of this constraint should be checked for the presence of the pasta phases in the relic region.

  5. 5.

    For pure 56Fe ash, all heat in the inner crust is released in the deep layers, close to the instability point. While a similar statement holds true for nHD models based on smooth CLD [27], the actual reaction chains are strongly influenced by the shell effects. The heat release in the deep layers, parameterized by Pinstsuperscript𝑃instP^{\mathrm{inst}}italic_P start_POSTSUPERSCRIPT roman_inst end_POSTSUPERSCRIPT, increases as Pinstsuperscript𝑃instP^{\mathrm{inst}}italic_P start_POSTSUPERSCRIPT roman_inst end_POSTSUPERSCRIPT decreases.

  6. 6.

    There is a minimal heat release 0.040.05similar-toabsent0.040.05\sim 0.04-0.05∼ 0.04 - 0.05 MeV per accreted nucleon in the deep layers of the inner crust (Section VI.1). It is not significantly affected by the shell effects.

  7. 7.

    We propose a heuristic approach (Section VII), enabling the prediction of the properties of the nHD accreted crust for advanced nuclear physical models that align with atomic mass tables at lower densities and resemble CLD+sh models at the highest densities.

Subsequent studies should analyze to what extent our results are sensitive to the ash composition (the present work is limited to the pure 56Fe ash), nuclear physical models, and so on. These problems can be approached using the algorithm suggested and applied here (see Section II.3). We expect that the majority of our qualitative conclusions will remain unaffected even in this, more general situation.

Acknowledgements.
This work was supported by Russian Science Foundation (grant No. 22-12-00048, https://rscf.ru/project/22-12-00048/). In the final stages of the work, one of the authors (MEG) was on a long-term visit at the Weizmann Institute of Science (WIS). MEG acknowledges the support of the visit by the Simons Foundation and WIS. MEG is also grateful to the Department of Particle Physics & Astrophysics at WIS for their hospitality and excellent working conditions.

References