Introduction
Topological methods provide a way to classify black-hole properties that is less sensitive to the details of a particular solution. The approach adopted here is based on Duan’s ϕ \phi ϕ -mapping theory [1 ] : a two-dimensional vector field is constructed from a scalar function, and its zero points carry integer winding numbers. Their sum, the total topological charge (TTC), remains unchanged under smooth deformations, provided the relevant boundary conditions are preserved, and can therefore be used to distinguish topological classes. This framework has been applied to light rings and photon spheres [58 , 59 , 60 , 61 ] and to black-hole thermodynamics [72 , 73 ] , and has since been explored in a wide range of gravitational models [2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 , 12 , 13 , 14 , 15 , 16 , 17 , 18 , 19 , 20 , 21 , 22 , 23 , 24 , 25 , 26 , 27 , 28 , 29 , 30 , 31 , 32 , 33 , 34 , 35 , 36 , 37 , 38 , 39 , 40 , 41 , 42 , 43 , 44 , 45 , 46 , 47 , 48 , 49 , 50 , 51 , 52 , 53 , 54 , 55 , 56 , 57 ] .
For photon spheres, Cunha and collaborators established topological results for light rings around ultracompact objects and black holes, including the existence and stability properties of the relevant circular null orbits [58 , 59 , 60 ] . We subsequently related these results to a topological charge and extended the analysis asymptotically anti-de Sitter and de Sitter spacetimes [61 ] . In our previous work, this correspondence was used to classify the spacetime around black holes and to organize parameter ranges by their horizon and orbit structure [62 , 63 , 64 , 65 , 66 , 67 , 68 ] . We apply this construction to the circular null geodesics of the background metric and to the extraordinary electromagnetic characteristics. The distinction is relevant in nonlinear electrodynamics, where the propagation cone depends on derivatives of the electromagnetic Lagrangian [99 , 100 ] .
A complementary line of research applies topological methods to black-hole thermodynamics. In the conventional approach, one studies the temperature as a function of the horizon radius and examines the Gibbs free energy to identify phase transitions; a crossing of the locally stable branches of a free-energy swallowtail, for example, identifies a first-order small–large black-hole transition [69 , 70 , 71 ] . Wei, Liu and Mann showed that this information can also be encoded in the zeros of a vector field constructed from a generalized free energy, with the associated topological charges distinguishing stable and unstable branches [72 , 73 ] . Subsequent studies have applied this method to a variety of black-hole solutions and thermodynamic ensembles. The present analysis uses the topological classification alongside the temperature and free-energy curves, so that the topological results can be checked against the conventional thermodynamic description.
The holographic description of black-hole thermodynamics provides a further connection between bulk gravitational physics and the thermodynamics of a dual conformal field theory (CFT). In extended black-hole thermodynamics, variations of the cosmological constant and Newton’s constant can be translated into variations of boundary thermodynamic quantities, including the CFT central charge and its conjugate chemical potential [92 , 94 ] . This dictionary has been used to study ensemble-dependent phase transitions and critical behavior for charged and rotating AdS black holes [93 , 95 ] . Related work has examined holographic phase transitions in charged Gauss–Bonnet gravity [71 ] , the relation between CFT thermodynamics and the weak gravity and weak cosmic censorship conjectures [98 ] , and classical and topological CFT thermodynamics in Lifshitz and hyperscaling-violating geometries [96 ] . Recent applications to Einstein–Maxwell–power–Yang–Mills AdS black holes further illustrate how nonlinear gauge sectors can influence the phase structure of the boundary theory [97 ] . Together, these studies provide the context for examining the holographic thermodynamics of the magnetically charged nonlinear-electrodynamics black hole considered here.
The black hole studied in this work is the magnetically charged solution of Einstein gravity with a negative cosmological constant coupled to a two-parameter nonlinear electrodynamics, introduced by Kruglov [89 ] . That work presented the metric and mass functions, the extended first law, the Smarr relation, the heat capacity and the Gibbs free energy, and estimated a critical pressure of approximately 0.003 for q = 1 q=1 q = 1 , β = 0.1 \beta=0.1 β = 0.1 and σ = 0.75 \sigma=0.75 σ = 0.75 from the Gibbs free energy, since the critical point is not available in closed analytic form. We study the dependence of the horizon and background-orbit structure, together with thermodynamic topology, on β \beta β , σ \sigma σ and q q q . We also verify numerically the Smarr relation, including the 2 β B 2\beta\mathcal{B} 2 β B term established in Ref. [89 ] , and extend the holographic dictionary of Refs. [92 , 93 , 94 ] to this model.
The paper is organized as follows. Section II summarizes the topological construction for photon spheres. Section III introduces the model, discusses the relation between the integration constant in the metric and the total mass, and presents the background classification and the effective-optical comparison. Section IV gives the extended first law and Smarr relation and examines the thermodynamic topology and free energy. Section V constructs the holographic dictionary, checks the first law and Euler relation of the dual CFT, and studies the relevant ensembles, critical point and critical exponents. Section VI presents our conclusions.
Topological Description of Circular Null Orbits
Photon spheres are linked to gravitational lensing and to the shadow of a black hole [4 , 74 , 75 , 76 , 77 , 78 , 79 , 80 ] , and circular null orbits, their stability and the associated photon surfaces have been studied extensively [81 , 82 , 83 , 84 , 85 , 86 , 87 , 88 ] . The construction used here is described in detail in Refs. [58 , 59 , 60 , 61 , 62 , 63 , 64 ] ; only the relations needed below are recalled. The construction applies to a static metric on a nondegenerate domain. In the background analysis below, “photon sphere” denotes a circular null orbit of the spacetime metric; the effective electromagnetic orbits are treated in § 1.2 H. A static, spherically symmetric metric is written as
d s 2 = − f ( r ) d t 2 + d r 2 g ( r ) + h ( r ) ( d θ 2 + sin 2 θ d φ 2 ) . (1) ds^2=-f(r)dt^2+\frac{dr^2}{g(r)}+h(r)\left(d\theta^2+\sin^2\theta\,d\varphi^2\right). \tag*{(1)} d s 2 = − f ( r ) d t 2 + g ( r ) d r 2 + h ( r ) ( d θ 2 + sin 2 θ d φ 2 ) . (1)
For null geodesics in the equatorial plane θ = π / 2 \theta=\pi/2 θ = π /2 the Lagrangian is L = 1 2 g μ ν x ˙ μ x ˙ ν = 0 \mathcal{L}=\frac{1}{2}g_{\mu\nu}\dot{x}^{\mu}\dot{x}^{\nu}=0 L = 2 1 g μν x ˙ μ x ˙ ν = 0 , with conserved energy E = f t ˙ E= f\dot{t} E = f t ˙ and angular momentum L = h ϕ ˙ L=h\dot{\phi} L = h ϕ ˙ . The condition L = 0 \mathcal{L}=0 L = 0 is equivalent to r ˙ 2 + V e f f ( r ) = 0 \dot{r}^{2}+V_{\mathrm{eff}}(r)=0 r ˙ 2 + V eff ( r ) = 0 with
V e f f ( r ) = g ( r ) ( L 2 h ( r ) − E 2 f ( r ) ) . (2) V_{\mathrm{eff}}(r)=g(r)\left(\frac{L^2}{h(r)}-\frac{E^2}{f(r)}\right). \tag*{(2)} V eff ( r ) = g ( r ) ( h ( r ) L 2 − f ( r ) E 2 ) . (2)
A circular null orbit satisfies V e f f = V e f f ′ = 0 V_{\mathrm{eff}}=V_{\mathrm{eff}}'=0 V eff = V eff ′ = 0 . Because V e f f V_{\mathrm{eff}} V eff depends on the null geodesic’s constants of motion E E E and L L L , the function
H ( r , θ ) = − g t t g φ φ = 1 sin θ f ( r ) h ( r ) (3) \mathbf{H}(r,\theta)=\sqrt{\frac{-g_{tt}}{g_{\varphi\varphi}}}=\frac{1}{\sin\theta}\sqrt{\frac{f(r)}{h(r)}} \tag*{(3)} H ( r , θ ) = g φφ − g tt = sin θ 1 h ( r ) f ( r ) (3)
is used instead, since it is built from the metric alone. Its extrema in r r r at θ = π / 2 \theta=\pi/2 θ = π /2 coincide with the circular photon orbits: a maximum corresponds to an unstable photon sphere (U-PS) and a minimum to a stable one (S-PS). In the θ \theta θ direction, H \mathbf{H} H always has a minimum at θ = π / 2 \theta=\pi/2 θ = π /2 . The vector field
ϕ = ( ϕ r , ϕ θ ) = ( g ∂ r H , ∂ θ H h ) (4) \boldsymbol{\phi}=(\phi^r,\phi^\theta)=\left(\sqrt{g}\,\partial_r\mathbf{H},\frac{\partial_\theta\mathbf{H}}{\sqrt{h}}\right) \tag*{(4)} ϕ = ( ϕ r , ϕ θ ) = ( g ∂ r H , h ∂ θ H ) (4)
vanishes precisely at these orbits. With ϕ = ∥ ϕ ∥ e i Ω \boldsymbol{\phi}=\|\boldsymbol{\phi}\|e^{i\Omega} ϕ = ∥ ϕ ∥ e i Ω , the winding number of a zero point z i z_i z i is
ω i = 1 2 π ∮ C i d Ω , Ω = arctan ϕ θ ϕ r , (5) \omega_i=\frac{1}{2\pi}\oint_{C_i}d\Omega,\qquad\Omega=\arctan\frac{\phi^\theta}{\phi^r}, \tag*{(5)} ω i = 2 π 1 ∮ C i d Ω , Ω = arctan ϕ r ϕ θ , (5)
where C i C_i C i is a closed counterclockwise curve in the ( r , θ ) (r,\theta) ( r , θ ) plane that encloses only z i z_i z i , and Ω \Omega Ω is evaluated with a two-argument arctangent and unwrapped continuously along a parametrization of C i C_i C i . Equivalently, ω i = κ i ζ i \omega_i=\kappa_i\zeta_i ω i = κ i ζ i , where the Hopf index κ i ≥ 1 \kappa_i\geq1 κ i ≥ 1 is the number of times the normalized field n = ϕ / ∥ ϕ ∥ \boldsymbol{n}=\boldsymbol{\phi}/\|\boldsymbol{\phi}\| n = ϕ /∥ ϕ ∥ covers the unit circle around z i z_i z i , and ζ i = ± 1 \zeta_i=\pm1 ζ i = ± 1 is the sign of the Jacobian of ϕ \boldsymbol{\phi} ϕ at the zero point. The associated topological current j μ = ( 2 π ) − 1 ϵ μ ν ρ ϵ a b ∂ ν ϕ a ∂ ρ ϕ b j^\mu=(2\pi)^{-1}\epsilon^{\mu\nu\rho}\epsilon_{ab}\partial_\nu\phi^a\partial_\rho\phi^b j μ = ( 2 π ) − 1 ϵ μν ρ ϵ ab ∂ ν ϕ a ∂ ρ ϕ b , with the indices running over ( t , r , θ ) (t,r,\theta) ( t , r , θ ) , is identically conserved, ∂ μ j μ = 0 \partial_\mu j^\mu=0 ∂ μ j μ = 0 , and is supported on the zeros of ϕ \boldsymbol{\phi} ϕ . The total charge is
Q = ∑ i ω i . (6) Q=\sum_i\omega_i. \tag*{(6)} Q = i ∑ ω i . (6)
Near a maximum of H \mathbf{H} H in r r r the field behaves as ( ϕ r , ϕ θ ) ∝ ( − x , y ) (\phi^r,\phi^\theta)\propto(-x,y) ( ϕ r , ϕ θ ) ∝ ( − x , y ) , a saddle with ω = − 1 \omega=-1 ω = − 1 ; near a minimum it behaves as ( x , y ) (x,y) ( x , y ) with ω = + 1 \omega=+1 ω = + 1 . For an exterior domain satisfying the horizon and asymptotic hypotheses of Refs. [58 , 59 , 60 , 61 ] , the background charge is Q = − 1 Q=-1 Q = − 1 : the number of unstable photon spheres outside the horizon exceeds the number of stable ones by one. We distinguish singular horizonless configurations with a stable–unstable background pair (NS) from those without background circular null orbits (NS0). Both can have Q = 0 Q=0 Q = 0 : a pair contributes + 1 − 1 +1-1 + 1 − 1 , whereas an orbit-free domain has an empty sum. Singularity is determined from the central geometry and horizon structure, not from the total index. Their formation from regular initial data is a dynamical question related to weak cosmic censorship [102 ] .
The Four-Dimensional AdS Magnetic Black Hole
Solution and mass parameters
The action is
I = ∫ d 4 x − g [ R − 2 Λ 16 π G + L ( F ) ] . (7) I=\int d^4x\sqrt{-g}\left[\frac{R-2\Lambda}{16\pi G}+\mathcal{L}(\mathcal{F})\right]. \tag*{(7)} I = ∫ d 4 x − g [ 16 π G R − 2Λ + L ( F ) ] . (7)
with Λ = − 3 / l 2 \Lambda=-3/l^{2} Λ = − 3/ l 2 and the nonlinear electrodynamics Lagrangian [89 ]
L ( F ) = − F 4 π ( 1 + 2 β F ) σ , F = F μ ν F μ ν 4 = B 2 − E 2 2 . (8) \mathcal{L}(\mathcal{F})=-\frac{\mathcal{F}}{4\pi(1+2\beta\mathcal{F})^{\sigma}},\qquad\mathcal{F}=\frac{F_{\mu\nu}F^{\mu\nu}}{4}=\frac{B^{2}-E^{2}}{2}. \tag*{(8)} L ( F ) = − 4 π ( 1 + 2 β F ) σ F , F = 4 F μν F μν = 2 B 2 − E 2 . (8)
The coupling β > 0 \beta>0 β > 0 has dimension [ L 4 ] [L^{4}] [ L 4 ] in units c = ℏ = 1 c=\hbar=1 c = ℏ = 1 and [ L 2 ] [L^{2}] [ L 2 ] in the geometrized units G = c = 1 G=c=1 G = c = 1 used below, in which the charge q q q has the dimension of a length, and σ > 0 \sigma>0 σ > 0 is dimensionless. In the weak-field limit the Lagrangian reduces to that of Maxwell. For the magnetic field B = q / r 2 B=q/r^{2} B = q / r 2 one finds, in units G = 1 G=1 G = 1 ,
f ( r ) = 1 − 2 m 0 r + r 2 l 2 − I ( r ) r , (9) f(r)=1-\frac{2m_{0}}{r}+\frac{r^{2}}{l^{2}}-\frac{\mathcal{I}(r)}{r}, \tag*{(9)} f ( r ) = 1 − r 2 m 0 + l 2 r 2 − r I ( r ) , (9)
I ( r ) = q 2 r 4 σ − 1 ( 4 σ − 1 ) ( β q 2 ) σ 2 F 1 ( σ , σ − 1 4 ; σ + 3 4 ; − r 4 β q 2 ) , (10) \mathcal{I}(r)=\frac{q^{2}r^{4\sigma-1}}{(4\sigma-1)(\beta q^{2})^{\sigma}}\,{}_2F_{1}\left(\sigma,\sigma-\frac{1}{4};\sigma+\frac{3}{4};-\frac{r^{4}}{\beta q^{2}}\right), \tag*{(10)} I ( r ) = ( 4 σ − 1 ) ( β q 2 ) σ q 2 r 4 σ − 1 2 F 1 ( σ , σ − 4 1 ; σ + 4 3 ; − β q 2 r 4 ) , (10)
where m 0 m_{0} m 0 is an integration constant and 2 F 1 ( a , b ; c ; z ) {}_2F_{1}(a,b;c;z) 2 F 1 ( a , b ; c ; z ) is the Gauss hypergeometric function. The function I \mathcal{I} I is the integral of the magnetic energy density, and its derivative is elementary,
I ′ ( r ) = q 2 r 4 σ − 2 ( r 4 + β q 2 ) σ . (11) \mathcal{I}'(r)=\frac{q^{2}r^{4\sigma-2}}{(r^{4}+\beta q^{2})^{\sigma}}. \tag*{(11)} I ′ ( r ) = ( r 4 + β q 2 ) σ q 2 r 4 σ − 2 . (11)
For σ > 1 / 4 \sigma>1/4 σ > 1/4 the magnetic energy m M m_{M} m M is finite and the ADM mass is the sum M = m 0 + m M M=m_{0}+m_{M} M = m 0 + m M [89 ] , with
m M = q 3 / 2 Γ ( σ − 1 4 ) Γ ( 5 4 ) 2 β 1 / 4 Γ ( σ ) . (12) m_{M}=\frac{q^{3/2}\Gamma\left(\sigma-\frac{1}{4}\right)\Gamma\left(\frac{5}{4}\right)}{2\beta^{1/4}\Gamma(\sigma)}. \tag*{(12)} m M = 2 β 1/4 Γ ( σ ) q 3/2 Γ ( σ − 4 1 ) Γ ( 4 5 ) . (12)
The metric function then takes the form
f ( r ) = 1 − 2 M r + q 2 r 2 2 F 1 ( σ , 1 4 ; 5 4 ; − β q 2 r 4 ) + r 2 l 2 , (13) f(r)=1-\frac{2M}{r}+\frac{q^{2}}{r^{2}}\,{}_2F_{1}\left(\sigma,\frac{1}{4};\frac{5}{4};-\frac{\beta q^{2}}{r^{4}}\right)+\frac{r^{2}}{l^{2}}, \tag*{(13)} f ( r ) = 1 − r 2 M + r 2 q 2 2 F 1 ( σ , 4 1 ; 4 5 ; − r 4 β q 2 ) + l 2 r 2 , (13)
in which M M M is the total mass. For σ ≤ 1 / 4 \sigma\leq1/4 σ ≤ 1/4 the energy density is not integrable at the origin, so m 0 m_{0} m 0 is not the constant of a convergent integral and m M m_{M} m M in Eq. (12) diverges at σ = 1 / 4 \sigma=1/4 σ = 1/4 through Γ ( σ − 1 / 4 ) \Gamma(\sigma-1/4) Γ ( σ − 1/4 ) . The closed form of I \mathcal{I} I in Eq. (10) is singular at σ = 1 / 4 \sigma=1/4 σ = 1/4 for the same reason, and this value is omitted from the fixed-m 0 m_{0} m 0 scan in that representation. For σ ≠ 1 / 4 \sigma\neq1/4 σ = 1/4 , Eq. (13) with M = m 0 + m M M=m_{0}+m_{M} M = m 0 + m M , where m M m_{M} m M is given by Eq. (12) (continued analytically for σ < 1 / 4 ) , i s i d e n t i c a l t o E q . ( 9 ) ; t h i s i d e n t i t y w a s v e r i f i e d n u m e r i c a l l y t o $ 10 − 15 \sigma<1/4), is identical to Eq. (9); this identity was verified numerically to \$10^{-15} σ < 1/4 ) , i s i d e n t i c a l t o E q . ( 9 ) ; t hi s i d e n t i t y w a s v er i f i e d n u m er i c a l l y t o $1 0 − 15 for σ = 0.12 \sigma=0.12 σ = 0.12 , 0.3 0.3 0.3 , 0.9 0.9 0.9 . In the photon-sphere analysis below, as in Refs. [62 , 63 , 64 , 65 , 66 , 67 , 68 ] , the constant m 0 m_{0} m 0 is held fixed, and the relation between m 0 m_{0} m 0 and M M M is discussed in Sec. III F. In the thermodynamic analysis of Sec. IV the total mass M M M is fixed by the horizon condition and does not appear as a free parameter.
Background circular-null-orbit functions
With g = f g=f g = f and h = r 2 h=r^{2} h = r 2 , (3) and (4) give
H ( r , θ ) = f ( r ) r sin θ . \mathbf{H}(r,\theta)=\frac{\sqrt{f(r)}}{r\sin\theta}. H ( r , θ ) = r sin θ f ( r ) .
ϕ r = r f ′ ( r ) − 2 f ( r ) 2 r 2 sin θ , (14) \phi^{r}=\frac{rf'(r)-2f(r)}{2r^{2}\sin\theta}, \tag*{(14)} ϕ r = 2 r 2 sin θ r f ′ ( r ) − 2 f ( r ) , (14)
ϕ θ = − f ( r ) cos θ r 2 sin 2 θ , \phi^{\theta}=-\frac{\sqrt{f(r)}\cos\theta}{r^{2}\sin^{2}\theta}, ϕ θ = − r 2 sin 2 θ f ( r ) cos θ ,
and, from (9) and (11),
r f ′ − 2 f = 6 m 0 r − 2 + 3 I ( r ) r − I ′ ( r ) . (15) rf'-2f=\frac{6m_{0}}{r}-2+\frac{3\mathcal{I}(r)}{r}-\mathcal{I}'(r). \tag*{(15)} r f ′ − 2 f = r 6 m 0 − 2 + r 3 I ( r ) − I ′ ( r ) . (15)
The radial component of ϕ \phi ϕ coincides with the expression containing hypergeometric functions of σ + 1 \sigma+1 σ + 1 and σ + 3 / 4 \sigma+3/4 σ + 3/4 that is obtained by direct differentiation of H \mathbf{H} H ; the two forms were compared numerically at several radii and values of σ \sigma σ and agree to working precision. The background orbit condition ϕ r ( r , π / 2 ) = 0 \phi^{r}(r,\pi/2)=0 ϕ r ( r , π /2 ) = 0 is explicitly independent of l l l , since r 2 / l 2 r^{2}/l^{2} r 2 / l 2 cancels in (15) . The positive roots of f ( r ) = 0 f(r)=0 f ( r ) = 0 determine the horizon structure; the larger root, when two are present, is the outer event horizon.
All numerical values were obtained with arbitrary-precision evaluation of the hypergeometric functions. Roots were bracketed on a logarithmic grid and refined by Brent’s method, and threshold values of σ \sigma σ were determined by solving the double-root conditions, f = f ′ = 0 f=f'=0 f = f ′ = 0 for the horizons and ϕ r = ∂ r ϕ r = 0 \phi^{r}=\partial_{r}\phi^{r}=0 ϕ r = ∂ r ϕ r = 0 for the photon spheres, simultaneously for the radius and for σ \sigma σ . The winding numbers quoted in Secs. III and IV were also computed directly from (5) by numerical integration along small closed counterclockwise curves around each zero point, and agree with the stated values. We set m 0 = 1 m_{0}=1 m 0 = 1 and l = 1 l=1 l = 1 and consider the two representative charges q = 0.5 q=0.5 q = 0.5 (q < m 0 q<m_{0} q < m 0 ) and q = 1.2 q=1.2 q = 1.2 (q > m 0 q>m_{0} q > m 0 ).
Case q < m 0 q<m_{0} q < m 0
For q = 0.5 q=0.5 q = 0.5 the horizon structure depends on σ \sigma σ in the same way for all values of β \beta β examined, with the thresholds listed in Table 1 . The geometry has two horizons for σ < σ 1 \sigma<\sigma_{1} σ < σ 1 , no horizon for σ 1 < σ < 1 / 4 \sigma_{1}<\sigma<1/4 σ 1 < σ < 1/4 , and a single horizon for σ > 1 / 4 \sigma>1/4 σ > 1/4 . The second threshold σ 2 \sigma_{2} σ 2 in Table 1 is the value at which the pair of photon spheres of the horizonless geometry disappears. Because the thresholds move with β \beta β , the discussion is carried out for β = 0.1 \beta=0.1 β = 0.1 , for which the metric function is shown in Figure 1 .
Table 1. Background-metric thresholds in σ \sigma σ for q = 0.5 q=0.5 q = 0.5 , m 0 = l = 1 m_{0}=l=1 m 0 = l = 1 . Two horizons exist for σ < σ 1 \sigma<\sigma_{1} σ < σ 1 and none for σ 1 < σ < 1 / 4 \sigma_{1}<\sigma<1/4 σ 1 < σ < 1/4 . In the horizonless geometry a stable–unstable photon-sphere pair exists for σ 1 < σ < σ 2 \sigma_{1}<\sigma<\sigma_{2} σ 1 < σ < σ 2 .
Figure 1. Background metric function f ( r ) f(r) f ( r ) for q = 0.5 q = 0.5 q = 0.5 , m 0 = 1 m_0 = 1 m 0 = 1 , l = 1 l = 1 l = 1 , β = 0.1 \beta= 0.1 β = 0.1 and σ = 0.12 \sigma= 0.12 σ = 0.12 (two horizons), 0.19 0.19 0.19 (no horizon) and 0.3 0.3 0.3 (one horizon).
For σ = 0.12 \sigma=0.12 σ = 0.12 the horizons are located at r = 0.1832 r=0.1832 r = 0.1832 and r = 0.6953 r=0.6953 r = 0.6953 . The normalized field ϕ \phi ϕ outside the event horizon is shown in Figure 2 . It has a single zero point at r = 1.8087 r=1.8087 r = 1.8087 , with winding number − 1 -1 − 1 , which identifies an unstable photon sphere and Q = − 1 Q = -1 Q = − 1 . The zero of ϕ r \phi^r ϕ r at r = 0.2412 r = 0.2412 r = 0.2412 lies between the two horizons and is not part of the exterior geometry.
Figure 2. Normalized topological field n n n of the background metric in the ( r , θ ) (r,\theta) ( r , θ ) plane for σ = 0.12 \sigma= 0.12 σ = 0.12 , q = 0.5 q = 0.5 q = 0.5 , m 0 = 1 m_0 = 1 m 0 = 1 , l = 1 l = 1 l = 1 , β = 0.1 \beta= 0.1 β = 0.1 , in the region outside the event horizon r + = 0.6953 r_+ = 0.6953 r + = 0.6953 . The unstable circular null orbit at ( r , θ ) = ( 1.8087 , π / 2 ) (r,\theta) = (1.8087,\pi/2) ( r , θ ) = ( 1.8087 , π /2 ) is a zero point of winding number − 1 -1 − 1 (red circle).
For σ = 0.15 \sigma= 0.15 σ = 0.15 the geometry has no horizon. Figure 3 (a) shows a stable photon sphere at r = 0.4479 r = 0.4479 r = 0.4479 with ω = + 1 \omega= +1 ω = + 1 and an unstable one at r = 1.0606 r = 1.0606 r = 1.0606 with ω = − 1 \omega= -1 ω = − 1 , and Figure 3 (b) shows the corresponding minimum and maximum of H \mathbf{H} H . The stable and unstable orbit indices sum to Q = 0 Q = 0 Q = 0 . This behavior holds in the whole interval σ 1 < σ < σ 2 \sigma_1 < \sigma< \sigma_2 σ 1 < σ < σ 2 , that is, 0.1465105 < σ < 0.1548466 0.1465105 < \sigma< 0.1548466 0.1465105 < σ < 0.1548466 for β = 0.1 \beta= 0.1 β = 0.1 . For σ 2 < σ < 1 / 4 \sigma_2 < \sigma< 1/4 σ 2 < σ < 1/4
Figure 3. (a) Normalized topological field n n n of the background metric for σ = 0.15 \sigma= 0.15 σ = 0.15 with the stable circular null orbit at r = 0.4479 r = 0.4479 r = 0.4479 (ω = + 1 \omega= +1 ω = + 1 , purple) and the unstable circular null orbit at r = 1.0606 r = 1.0606 r = 1.0606 (ω = − 1 \omega= -1 ω = − 1 , red). (b) H ( r , π / 2 ) \mathbf{H}(r,\pi/2) H ( r , π /2 ) for the same parameters (q = 0.5 q = 0.5 q = 0.5 , m 0 = 1 m_0 = 1 m 0 = 1 , l = 1 l = 1 l = 1 , β = 0.1 \beta= 0.1 β = 0.1 ).
the field ϕ r \phi^r ϕ r has no zero, and there is neither a horizon nor a background circular null orbit. This is consistent with the fixed-mass criterion of Sec. III G: on this interval the total mass M ( σ ) = m 0 + m M ( σ ) M(\sigma) = m_0 + m_M(\sigma) M ( σ ) = m 0 + m M ( σ ) lies below M p s min M_{\mathrm{ps}}^{\min} M ps m i n , so no background photon-sphere pair can occur. The interval belongs to the NS0 class.
For σ > 1 / 4 \sigma> 1/4 σ > 1/4 a single horizon and a single unstable photon sphere were found at every value tested. For σ = 0.3 \sigma= 0.3 σ = 0.3 they are located at r + = 1.5831 r_+ = 1.5831 r + = 1.5831 and r = 8.5046 r = 8.5046 r = 8.5046 , and Figure 4 shows the single zero of ϕ r \phi^r ϕ r and the maximum of H \mathbf{H} H . As σ → 1 / 4 + \sigma\to1/4^+ σ → 1/ 4 + the photon-sphere radius grows without bound, r = 27.42 r = 27.42 r = 27.42 at σ = 0.26 \sigma= 0.26 σ = 0.26 and r = 239.6 r = 239.6 r = 239.6 at σ = 0.251 \sigma= 0.251 σ = 0.251 . The results are collected in Table II.
Figure 4. (a) Background radial component ϕ r ( r , π / 2 ) \phi^r(r,\pi/2) ϕ r ( r , π /2 ) for σ = 0.3 \sigma= 0.3 σ = 0.3 (q = 0.5 q = 0.5 q = 0.5 , m 0 = 1 m_0 = 1 m 0 = 1 , l = 1 l = 1 l = 1 , β = 0.1 \beta= 0.1 β = 0.1 ), with its single zero at r = 8.5046 r = 8.5046 r = 8.5046 . (b) H ( r , π / 2 ) \mathbf{H}(r,\pi/2) H ( r , π /2 ) outside the horizon r + = 1.5831 r_+ = 1.5831 r + = 1.5831 .
Case q > m 0 q > m_0 q > m 0
For q = 1.2 q = 1.2 q = 1.2 no horizon is found for 0 < σ < 1 / 4 0 < \sigma< 1/4 0 < σ < 1/4 , for any of the values β = 0.001 \beta= 0.001 β = 0.001 , 0.1 0.1 0.1 and 1.2 1.2 1.2 (tested at σ = 0.02 \sigma= 0.02 σ = 0.02 , 0.08 0.08 0.08 , 0.15 0.15 0.15 , 0.2 0.2 0.2 , 0.24 0.24 0.24 , and for β = 0.1 \beta= 0.1 β = 0.1 on a grid of step 0.01 0.01 0.01 in σ \sigma σ ), as shown by the metric function in Figure 5 . The field ϕ r \phi^r ϕ r has no zero in this range (Figure 6 (a), curve for σ = 0.23 \sigma= 0.23 σ = 0.23 ); this is consistent with the fixed-mass classification of § 1.2 G, and the range is classified as NS0 in the background-metric sector. For σ > 1 / 4 \sigma>1/4 σ > 1/4 there is one horizon and one unstable photon sphere. For σ = 0.9 \sigma=0.9 σ = 0.9 they are at r + = 1.3280 r_{+}=1.3280 r + = 1.3280 and r = 6.6879 r=6.6879 r = 6.6879 (Figure 6 ), and the photon-sphere radius grows without bound as σ → 1 / 4 + \sigma\to1/4^{+} σ → 1/ 4 + (r = 93.82 r=93.82 r = 93.82 at σ = 0.26 \sigma=0.26 σ = 0.26 and r = 882.8 r=882.8 r = 882.8 at σ = 0.251 \sigma=0.251 σ = 0.251 ). The result is included in Table II.
Figure 5. Background metric function f ( r ) f(r) f ( r ) for q = 1.2 q=1.2 q = 1.2 , m 0 = 1 m_0=1 m 0 = 1 , l = 1 l=1 l = 1 , β = 0.1 \beta=0.1 β = 0.1 and σ = 0.1 \sigma=0.1 σ = 0.1 , 0.5, 2. No horizon exists for σ = 0.1 < 1 / 4 \sigma=0.1<1/4 σ = 0.1 < 1/4 ; there is one horizon for σ = 0.5 \sigma=0.5 σ = 0.5 and 2.
Figure 6. (a) Background radial component ϕ r ( r , π / 2 ) \phi^{r}(r,\pi/2) ϕ r ( r , π /2 ) for σ = 0.9 \sigma=0.9 σ = 0.9 (purple, zero at r = 6.6879 r=6.6879 r = 6.6879 ) and σ = 0.23 \sigma=0.23 σ = 0.23 (red, dash-dotted, no zero), with q = 1.2 q=1.2 q = 1.2 , m 0 = 1 m_0=1 m 0 = 1 , l = 1 l=1 l = 1 , β = 0.1 \beta=0.1 β = 0.1 . (b) H ( r , π / 2 ) H(r,\pi/2) H ( r , π /2 ) outside the horizon r + = 1.3280 r_{+}=1.3280 r + = 1.3280 .
Table 2. Horizon and background circular-null-orbit classification for m 0 = l = 1 m_0=l=1 m 0 = l = 1 and β = 0.1 \beta=0.1 β = 0.1 . BH denotes a black hole; NS and NS0 denote singular horizonless configurations with and without a stable–unstable background-orbit pair, respectively. U-PS and S-PS label unstable and stable background orbits. The listed radii correspond to the representative σ \sigma σ values in the third column. An orbit-free domain has total index zero; for the NS0 rows, TTC = 0 =0 = 0 denotes this empty sum and the topological theorem is not applied to it. The fixed-m 0 m_0 m 0 parametrization omits σ = 1 / 4 \sigma=1/4 σ = 1/4 . The lower block gives the same classification for additional charges.
Dependence on the magnetic charge
The value q = m 0 q=m_0 q = m 0 is not the boundary between the two behaviors, which is a function of σ \sigma σ and β \beta β . The lower block of Table II gives the class for several charges at β = 0.1 \beta=0.1 β = 0.1 . For q = 0.3 q=0.3 q = 0.3 the black hole persists at all tested values of σ \sigma σ . For q = 0.8 < m 0 q=0.8<m_0 q = 0.8 < m 0 the geometry is a naked singularity with a photon-sphere pair at σ = 0.05 \sigma=0.05 σ = 0.05 and belongs to NS0 at σ = 0.12 \sigma=0.12 σ = 0.12 and 0.2. The values q = 1 q=1 q = 1 and q = 1.2 q=1.2 q = 1.2 give the same pattern.
Relation to the ADM mass
The parameter m 0 m_0 m 0 is not the total mass of the solution. For σ ≠ 1 / 4 \sigma\ne1/4 σ = 1/4 the ADM mass is M = m 0 + m M ( σ ) M=m_0+m_M(\sigma) M = m 0 + m M ( σ ) , and at fixed m 0 m_0 m 0 it changes with σ \sigma σ and diverges at σ = 1 / 4 \sigma=1/4 σ = 1/4 . For q = 0.5 q=0.5 q = 0.5 , m 0 = 1 m_0=1 m 0 = 1 and β = 0.1 \beta=0.1 β = 0.1 one finds M = 0.6950 , 0.5105 , − 0.2804 , − 6.571 , 9.145 , 2.854 , 1.369 M=0.6950, 0.5105, -0.2804, -6.571, 9.145, 2.854, 1.369 M = 0.6950 , 0.5105 , − 0.2804 , − 6.571 , 9.145 , 2.854 , 1.369 at σ = 0.12 , 0.15 , 0.20 , 0.24 , 0.26 , 0.30 , 0.90 \sigma=0.12,0.15,0.20,0.24,0.26,0.30,0.90 σ = 0.12 , 0.15 , 0.20 , 0.24 , 0.26 , 0.30 , 0.90 , respectively. The mass decreases with σ \sigma σ in 0 < σ < 1 / 4 0<\sigma<1/4 0 < σ < 1/4 , passes through zero at σ ≃ 0.189 \sigma\simeq0.189 σ ≃ 0.189 and tends to − ∞ -\infty − ∞ as σ → 1 / 4 − \sigma\to1/4^{-} σ → 1/ 4 − , whereas it tends to + ∞ +\infty + ∞ as σ → 1 / 4 + \sigma\to1/4^{+} σ → 1/ 4 + . The absence of horizons and photon spheres for σ 2 < σ < 1 / 4 \sigma_{2}<\sigma<1/4 σ 2 < σ < 1/4 therefore reflects an ADM mass that is small or negative in that interval, and the growth of the horizon and photon-sphere radii for σ → 1 / 4 + \sigma\to1/4^{+} σ → 1/ 4 + reflects the growth of the mass. This accounts for the boundary at σ = 1 / 4 \sigma=1/4 σ = 1/4 in Table II, which is a feature of the parametrization by m 0 m_{0} m 0 and not of the metric written in terms of M M M , Eq. (13) , which is analytic across σ = 1 / 4 \sigma=1/4 σ = 1/4 . The classification at fixed total mass is given in Sec. III G. Central regularity requires σ ≥ 1 \sigma\geq1 σ ≥ 1 and m 0 = 0 m_{0}=0 m 0 = 0 [89 ] . The configurations in the fixed-m 0 = 1 m_{0}=1 m 0 = 1 scan are therefore singular at the center. For σ ≤ 1 / 4 \sigma\leq1/4 σ ≤ 1/4 , the magnetic energy integral from the origin diverges, although the fixed-M M M exterior metric remains defined for r > 0 r>0 r > 0 .
Table III. Background critical masses at fixed M M M for β = 0.1 \beta=0.1 β = 0.1 , l = 1 l=1 l = 1 : the minimum M p s min M_{\rm ps}^{\min} M ps m i n of M p s ( r ) M_{\rm ps}(r) M ps ( r ) , above which a photon-sphere pair exists, and the extremal mass M e x t M_{\rm ext} M ext , the minimum of M h ( r ) M_{h}(r) M h ( r ) , above which a horizon exists. For σ < 1 / 4 \sigma<1/4 σ < 1/4 , the classes are NS0 for M < M p s min M<M_{\rm ps}^{\min} M < M ps m i n and NS for M p s min < M < M e x t M_{\rm ps}^{\min}<M<M_{\rm ext} M ps m i n < M < M ext .
Classification at fixed total mass
The thresholds of Table I refer to the slice m 0 = 1 m_{0}=1 m 0 = 1 . To separate the structure of the solution from this choice, the classification was repeated with the total mass M M M as the independent parameter, using Eq. (13) , which is analytic at σ = 1 / 4 \sigma=1/4 σ = 1/4 . In this form the horizons satisfy M = M h ( r ) M=M_{h}(r) M = M h ( r ) and the photon spheres satisfy r f ′ − 2 f = 0 rf^{\prime}-2f=0 r f ′ − 2 f = 0 , that is M = M p s ( r ) M=M_{\rm ps}(r) M = M ps ( r ) , with
M h ( r ) = r 2 [ 1 + r 2 l 2 + q 2 r 2 2 F 1 ( σ , 1 4 ; 5 4 ; − β q 2 r 4 ) ] , M p s ( r ) = r 6 [ 2 + 3 q 2 r 2 2 F 1 ( σ , 1 4 ; 5 4 ; − β q 2 r 4 ) + J ′ ( r ) ] . (16) M_{h}(r)=\frac{r}{2}\left[1+\frac{r^{2}}{l^{2}}+\frac{q^{2}}{r^{2}}\,{}_{2}F_{1}\left(\sigma,\frac{1}{4};\frac{5}{4};-\frac{\beta q^{2}}{r^{4}}\right)\right],
\qquad
M_{\rm ps}(r)=\frac{r}{6}\left[2+\frac{3q^{2}}{r^{2}}\,{}_{2}F_{1}\left(\sigma,\frac{1}{4};\frac{5}{4};-\frac{\beta q^{2}}{r^{4}}\right)+\mathcal{J}'(r)\right]. \tag*{(16)} M h ( r ) = 2 r [ 1 + l 2 r 2 + r 2 q 2 2 F 1 ( σ , 4 1 ; 4 5 ; − r 4 β q 2 ) ] , M ps ( r ) = 6 r [ 2 + r 2 3 q 2 2 F 1 ( σ , 4 1 ; 4 5 ; − r 4 β q 2 ) + J ′ ( r ) ] . (16)
The number of horizons and of photon spheres at a given M M M is the number of intersections of the line M = c o n s t M=\mathrm{const} M = const with these two curves, and the class of the geometry changes where M M M equals a local extremum of M h M_{h} M h or M p s M_{\rm ps} M ps . Figure 7 shows the classes in the ( σ , M ) (\sigma,M) ( σ , M ) plane for β = 0.1 \beta=0.1 β = 0.1 and l = 1 l=1 l = 1 , together with the slice M = m 0 + m M ( σ ) M=m_{0}+m_{M}(\sigma) M = m 0 + m M ( σ ) at m 0 = 1 m_{0}=1 m 0 = 1 . Table III gives the critical masses: for σ ≤ 1 / 4 \sigma\leq1/4 σ ≤ 1/4 a pair of photon spheres exists for M ≥ M p s min M\geq M_{\rm ps}^{\min} M ≥ M ps m i n , and a horizon for M ≥ M e x t M\geq M_{\rm ext} M ≥ M ext , the minimum of M h M_{h} M h . Two results follow. First, the critical masses vary smoothly with σ \sigma σ across σ = 1 / 4 \sigma=1/4 σ = 1/4 ; no feature of the classification at fixed M M M is associated with this value. Second, the thresholds of the fixed-m 0 m_{0} m 0 scan are the values of σ \sigma σ at which the curve M = m 0 + m M ( σ ) M=m_{0}+m_{M}(\sigma) M = m 0 + m M ( σ ) crosses these critical masses M e x t ( σ 1 ) M_{\rm ext}(\sigma_{1}) M ext ( σ 1 ) and M p s min ( σ 2 ) M_{\rm ps}^{\min}(\sigma_{2}) M ps m i n ( σ 2 ) . For q = 0.5 q=0.5 q = 0.5 , the relations m 0 + m M ( σ 1 ) = M e x t ( σ 1 ) m_{0}+m_{M}(\sigma_{1})=M_{\rm ext}(\sigma_{1}) m 0 + m M ( σ 1 ) = M ext ( σ 1 ) and m 0 + m M ( σ 2 ) = M p s min ( σ 2 ) m_{0}+m_{M}(\sigma_{2})=M_{\rm ps}^{\min}(\sigma_{2}) m 0 + m M ( σ 2 ) = M ps m i n ( σ 2 ) hold for each of the three values of β \beta β in Table I, for example 0.53735 and 0.46996 at β = 0.1 \beta=0.1 β = 0.1 , and the same masses are obtained from the two curves of Eq. (16) . The interval σ 2 < σ < 1 / 4 \sigma_{2}<\sigma<1/4 σ 2 < σ < 1/4 therefore corresponds to a total mass below M p s min M_{\rm ps}^{\min} M ps m i n , and for q = 1.2 q=1.2 q = 1.2 the fixed-m 0 m_{0} m 0 slice lies in NS0 for σ < 1 / 4 \sigma<1/4 σ < 1/4 , since m M < 0 m_{M}<0 m M < 0 there, so that M < m 0 = 1 < M p s min = 1.13 M<m_{0}=1<M_{\rm ps}^{\min}=1.13 M < m 0 = 1 < M ps m i n = 1.13 . The single-horizon black hole for σ > 1 / 4 \sigma>1/4 σ > 1/4 at fixed m 0 m_{0} m 0 reflects the large values of M = m 0 + m M M=m_{0}+m_{M} M = m 0 + m M , which exceed M e x t M_{\rm ext} M ext by a wide margin.
Effective optical geometry
Electromagnetic disturbances in nonlinear electrodynamics propagate along characteristic cones determined by the field Lagrangian [99 , 100 ] . We consider the geometric-optics limit on the fixed magnetic background and compare its extraordinary circular rays with the background null geodesics.
Characteristic cones and propagation domain
For F = F μ ν F μ ν / 4 \mathcal{F}=F_{\mu\nu}F^{\mu\nu}/4 F = F μν F μν /4 , the field equation and Bianchi identity are
∇ μ ( L F F μ ν ) = 0 , ∇ [ λ F μ ν ] = 0. (17) \nabla_{\mu}\left(\mathcal{L}_{\mathcal{F}}F^{\mu\nu}\right)=0,\qquad\nabla_{[\lambda}F_{\mu\nu]}=0. \tag*{(17)} ∇ μ ( L F F μν ) = 0 , ∇ [ λ F μν ] = 0. (17)
Writing the leading disturbance as b μ ν = k μ a ν − k ν a μ b_{\mu\nu}=k_{\mu}a_{\nu}-k_{\nu}a_{\mu} b μν = k μ a ν − k ν a μ gives the principal equation
L F [ k 2 a ν − k ν ( k ⋅ a ) ] + L F F ζ ν ( ζ ⋅ a ) = 0 , ζ ν = k μ F μ ν . (18) \mathcal{L}_{\mathcal{F}}\left[k^{2}a^{\nu}-k^{\nu}(k\cdot a)\right]+\mathcal{L}_{\mathcal{F}\mathcal{F}}\zeta^{\nu}(\zeta\cdot a)=0,\qquad\zeta^{\nu}=k_{\mu}F^{\mu\nu}. \tag*{(18)} L F [ k 2 a ν − k ν ( k ⋅ a ) ] + L FF ζ ν ( ζ ⋅ a ) = 0 , ζ ν = k μ F μν . (18)
Away from coefficient degeneracies, the physical characteristic polynomial factors into an ordinary and an extraordinary cone [101 ] :
( g μ ν k μ k ν ) ( γ α β k α k β ) = 0. (19) \left(g^{\mu\nu}k_{\mu}k_{\nu}\right)\left(\gamma^{\alpha\beta}k_{\alpha}k_{\beta}\right)=0. \tag*{(19)} ( g μν k μ k ν ) ( γ α β k α k β ) = 0. (19)
The ordinary factor is the null-cone condition of the background metric g μ ν g_{\mu\nu} g μν . Consequently, the background circular null orbits studied in Sec. III are the circular rays of the ordinary polarization mode; they are not, without further analysis, the circular rays of the extraordinary mode.
γ μ ν = g μ ν − L F F L F F μ α F α ν . (20) \gamma^{\mu\nu}=g^{\mu\nu}-\frac{\mathcal{L}_{\mathcal{F}\mathcal{F}}}{\mathcal{L}_{\mathcal{F}}}F^{\mu}{}_{\alpha}F^{\alpha\nu}. \tag*{(20)} γ μν = g μν − L F L FF F μ α F α ν . (20)
The coefficient in Eq. (20) follows the 1 / 4 1/4 1/4 convention for F \mathcal{F} F ; the two cones can coincide along special propagation directions.
For the magnetic field F θ φ = q sin θ F_{\theta\varphi}=q\sin\theta F θ φ = q sin θ , introduce
u = β q 2 r 4 , A ( u ) = 1 + ( 1 − σ ) u , (21) u=\frac{\beta q^{2}}{r^{4}},\qquad A(u)=1+(1-\sigma)u, \tag*{(21)} u = r 4 β q 2 , A ( u ) = 1 + ( 1 − σ ) u , (21)
N ( u ) = 1 + ( 2 − 5 σ ) u + ( 1 − σ ) ( 1 − 2 σ ) u 2 . (22) N(u)=1+(2-5\sigma)u+(1-\sigma)(1-2\sigma)u^{2}. \tag*{(22)} N ( u ) = 1 + ( 2 − 5 σ ) u + ( 1 − σ ) ( 1 − 2 σ ) u 2 . (22)
Figure 7. Background classification in the ( σ , M ) (\sigma,M) ( σ , M ) plane for β = 0.1 \beta= 0.1 β = 0.1 , l = 1 l = 1 l = 1 and (a) q = 0.5 q = 0.5 q = 0.5 , (b) q = 1.2 q = 1.2 q = 1.2 . BH, NS and NS0 follow the definitions in Table II; all orbit labels refer to the background metric. The black curve is the slice M = m 0 + m M ( σ ) M = m_0 + m_M(\sigma) M = m 0 + m M ( σ ) with m 0 = 1 m_0 = 1 m 0 = 1 , which diverges at σ = 1 / 4 \sigma= 1/4 σ = 1/4 (dotted line) and is shown where 0 < M < 3 0 < M < 3 0 < M < 3 .
For σ > 1 \sigma> 1 σ > 1 , A ( u ) A(u) A ( u ) vanishes at u = 1 / ( σ − 1 ) u = 1/(\sigma- 1) u = 1/ ( σ − 1 ) , i.e. at r = [ β q 2 ( σ − 1 ) ] 1 / 4 r = [\beta q^2(\sigma- 1)]^{1/4} r = [ β q 2 ( σ − 1 ) ] 1/4 ; on and beyond this radius the extraordinary optical geometry is not defined by (20) . The extraordinary analysis is therefore restricted to the propagation domain in which A ( u ) ≠ 0 A(u) \ne0 A ( u ) = 0 , together with the conditions stated below. Differentiating (8) yields
L F = − A ( u ) 4 π ( 1 + u ) σ + 1 , (23) \mathcal{L}_{\mathcal{F}}=-\frac{A(u)}{4\pi(1+u)^{\sigma+1}}, \tag*{(23)} L F = − 4 π ( 1 + u ) σ + 1 A ( u ) , (23)
K ≡ L F + 2 F L F F = − N ( u ) 4 π ( 1 + u ) σ + 2 . \mathcal{K}\equiv\mathcal{L}_{\mathcal{F}}+2\mathcal{F}\mathcal{L}_{\mathcal{F}\mathcal{F}}=-\frac{N(u)}{4\pi(1+u)^{\sigma+2}}. K ≡ L F + 2 F L FF = − 4 π ( 1 + u ) σ + 2 N ( u ) .
The ratio
η ( r ) = K L F = N ( u ) ( 1 + u ) A ( u ) (24) \eta(r)=\frac{\mathcal{K}}{\mathcal{L}_{\mathcal{F}}}=\frac{N(u)}{(1+u)A(u)} \tag*{(24)} η ( r ) = L F K = ( 1 + u ) A ( u ) N ( u ) (24)
defines the extraordinary propagation metric, up to a regular conformal factor:
d s e 2 = − f d t 2 + d r 2 f + r 2 η d Ω 2 . (25) ds_{\mathrm{e}}^2=-f\,dt^2+\frac{dr^2}{f}+\frac{r^2}{\eta}d\Omega^2. \tag*{(25)} d s e 2 = − f d t 2 + f d r 2 + η r 2 d Ω 2 . (25)
Its static optical spatial metric is d t 2 = d r 2 / f 2 + r 2 d Ω 2 / ( f η ) dt^2=dr^2/f^2+r^2d\Omega^2/(f\eta) d t 2 = d r 2 / f 2 + r 2 d Ω 2 / ( f η ) , and η → 1 \eta\to1 η → 1 in the Maxwell limit.
We use the static component connected to the asymptotic weak-field region, with
f > 0 , A ( u ) > 0 , N ( u ) > 0. (26) f>0,\qquad A(u)>0,\qquad N(u)>0. \tag*{(26)} f > 0 , A ( u ) > 0 , N ( u ) > 0. (26)
These conditions retain the Maxwell signs of L F \mathcal{L}_{\mathcal{F}} L F and K \mathcal{K} K and keep the principal part nondegenerate with the same static time direction. They specify a local propagation domain, rather than a full dynamical-stability criterion. For σ = 0.12 \sigma=0.12 σ = 0.12 , 0.15 0.15 0.15 and 0.30 0.30 0.30 , the coefficients of A A A and N N N are positive for u ≥ 0 u\geq0 u ≥ 0 . For σ = 0.9 \sigma=0.9 σ = 0.9 , the positive root of N = 1 − 2.5 u − 0.08 u 2 N=1-2.5u-0.08u^2 N = 1 − 2.5 u − 0.08 u 2 is u ∗ ≃ 0.3950070225 u_\ast\simeq0.3950070225 u ∗ ≃ 0.3950070225 . At q = 1.2 q=1.2 q = 1.2 and β = 0.1 \beta=0.1 β = 0.1 , it corresponds to r d e g ≃ 0.777033 r_{\mathrm{deg}}\simeq0.777033 r deg ≃ 0.777033 , inside the outer horizon r + ≃ 1.328025 r_+\simeq1.328025 r + ≃ 1.328025 of the example below.
Circular rays and topological indices
The functions entering the topological construction are
H e = f η r sin θ , U e = H e 2 ( r , π / 2 ) = f η r 2 , (27) H_{\mathrm{e}}=\frac{\sqrt{f\eta}}{r\sin\theta},\qquad U_{\mathrm{e}}=H_{\mathrm{e}}^2(r,\pi/2)=\frac{f\eta}{r^2}, \tag*{(27)} H e = r sin θ f η , U e = H e 2 ( r , π /2 ) = r 2 f η , (27)
ϕ e r = η 2 r 2 sin θ ( r f ′ − 2 f + r f η ′ η ) , ϕ e θ = − η f cos θ r 2 sin 2 θ . (28) \phi_{\mathrm{e}}^r=\frac{\sqrt{\eta}}{2r^2\sin\theta}\left(rf'-2f+rf\frac{\eta'}{\eta}\right),\qquad
\phi_{\mathrm{e}}^\theta=-\frac{\eta\sqrt{f}\cos\theta}{r^2\sin^2\theta}. \tag*{(28)} ϕ e r = 2 r 2 sin θ η ( r f ′ − 2 f + r f η η ′ ) , ϕ e θ = − r 2 sin 2 θ η f cos θ . (28)
The circular rays lie at θ = π / 2 \theta=\pi/2 θ = π /2 and solve
C e ( r ) = η ( r ) ( r f ′ − 2 f ) + r f η ′ = 0 , (29) \mathcal{C}_{\mathrm{e}}(r)=\eta(r)(rf'-2f)+rf\eta'=0, \tag*{(29)} C e ( r ) = η ( r ) ( r f ′ − 2 f ) + r f η ′ = 0 , (29)
equivalently U e ′ = 0 U_{\mathrm{e}}'=0 U e ′ = 0 on the domain (26). A nondegenerate maximum of U e U_{\mathrm{e}} U e is unstable and has winding number − 1 -1 − 1 ; a minimum is stable and has winding number + 1 +1 + 1 , with the orientation of (5) .
Writing f = f 0 + r 2 / l 2 f=f_0+r^2/l^2 f = f 0 + r 2 / l 2 , with f 0 f_0 f 0 independent of l l l , gives
C e = η ( r f 0 ′ − 2 f 0 ) + r f 0 η ′ + r 3 l 2 η ′ . (30) \mathcal{C}_{\mathrm{e}}=\eta(rf_0'-2f_0)+rf_0\eta'+\frac{r^3}{l^2}\eta'. \tag*{(30)} C e = η ( r f 0 ′ − 2 f 0 ) + r f 0 η ′ + l 2 r 3 η ′ . (30)
The extraordinary orbit condition therefore depends explicitly on the AdS scale when η ′ ≠ 0 \eta'\ne0 η ′ = 0 .
Comparison with the background orbits
Table IV compares selected background and extraordinary orbits at m 0 = l = 1 m_0=l=1 m 0 = l = 1 and β = 0.1 \beta=0.1 β = 0.1 . Candidate roots were bracketed on a 6000-point logarithmic grid in the valid static component, up to r = 10 3 r=10^3 r = 1 0 3 , and refined by differentiating U b = f / r 2 U_b=f/r^2 U b = f / r 2 and U e U_e U e at 50 and 80 decimal digits. The displayed radii agree between the two precisions. The curvature signs and winding numbers agree; the latter were evaluated on two 4097-point elliptical contours with relative radial and angular amplitudes 10 − 3 10^{-3} 1 0 − 3 and 10 − 4 10^{-4} 1 0 − 4 .
Figure 8 resolves the displacement of the two horizonless extrema and displays the effective vector fields near their zeros. The minimum moves inward and the maximum outward, with local indices + 1 +1 + 1 and − 1 -1 − 1 . The exterior black-hole example also shifts outward. The largest relative displacement among the five listed orbits is 5.19%, while their stability assignments are unchanged.
This comparison concerns isolated orbits at the stated parameter values. The labels NS and NS0 in the preceding sections refer to the background-metric sector, equivalently to the ordinary polarization mode. The extraordinary merger boundaries require C e = ∂ r C e = 0 \mathcal{C}_e=\partial_r\mathcal{C}_e=0 C e = ∂ r C e = 0 , together with the propagation-domain boundaries; they are not determined by the representative root search, so the background classification should not be extrapolated to the extraordinary sector without solving these conditions.
Topological Phase Diagrams
Generalized free energy
The generalized free energy is [72 ]
F = M − S τ , (31) \mathcal{F}=M-\frac{S}{\tau}, \tag*{(31)} F = M − τ S , (31)
where τ \tau τ is the inverse temperature of the ensemble, and it is on shell only for τ = τ h = 1 / T h \tau=\tau_h=1/T_h τ = τ h = 1/ T h . In the extended phase space the pressure is P = − Λ / 8 π = 3 / ( 8 π l 2 ) P=-\Lambda/8\pi=3/(8\pi l^2) P = − Λ/8 π = 3/ ( 8 π l 2 ) , the entropy is S = π r h 2 S=\pi r_h^2 S = π r h 2 , and the mass M M M is an enthalpy [89 ] . On shell, F \mathcal{F} F therefore equals the Gibbs free energy G = M − T S G=M-TS G = M − T S , and not the Helmholtz free energy. The condition f ( r h ) = 0 f(r_h)=0 f ( r h ) = 0 in Eq. (13) gives
M = r h 2 + 4 π P r h 3 3 + q 2 2 r h 2 F 1 ( 1 4 , σ ; 5 4 ; − β q 2 r h 4 ) , (32) M=\frac{r_h}{2}+\frac{4\pi P r_h^3}{3}+\frac{q^2}{2r_h}\,{}_2F_1\left(\frac{1}{4},\sigma;\frac{5}{4};-\frac{\beta q^2}{r_h^4}\right), \tag*{(32)} M = 2 r h + 3 4 π P r h 3 + 2 r h q 2 2 F 1 ( 4 1 , σ ; 4 5 ; − r h 4 β q 2 ) , (32)
and the Hawking temperature T = ∂ M / ∂ S = M ′ ( r h ) / ( 2 π r h ) T=\partial M/\partial S=M'(r_h)/(2\pi r_h) T = ∂ M / ∂ S = M ′ ( r h ) / ( 2 π r h ) is
T = 1 4 π r h [ 1 + 8 π P r h 2 − q 2 r h 2 F 1 + 4 σ β q 4 5 r h 6 F 2 ] , (33) T=\frac{1}{4\pi r_h}\left[1+8\pi P r_h^2-\frac{q^2}{r_h^2}\mathcal{F}_1+\frac{4\sigma\beta q^4}{5r_h^6}\mathcal{F}_2\right], \tag*{(33)} T = 4 π r h 1 [ 1 + 8 π P r h 2 − r h 2 q 2 F 1 + 5 r h 6 4 σ β q 4 F 2 ] , (33)
with F 1 = 2 2 F 1 ( 1 4 , σ ; 5 4 ; z ) \mathcal{F}_1=2{}_2F_1\left(\frac{1}{4},\sigma;\frac{5}{4};z\right) F 1 = 2 2 F 1 ( 4 1 , σ ; 4 5 ; z ) , F 2 = 2 2 F 1 ( 5 4 , σ + 1 ; 9 4 ; z ) \mathcal{F}_2=2{}_2F_1\left(\frac{5}{4},\sigma+1;\frac{9}{4};z\right) F 2 = 2 2 F 1 ( 4 5 , σ + 1 ; 4 9 ; z ) and z = − β q 2 / r h 4 z=-\beta q^2/r_h^4 z = − β q 2 / r h 4 . This agrees with the temperature of Ref. [89 ] , and the derivative of Eq. (32) was checked numerically against Eq. (33) . The vector field is
ϕ = ( ∂ F ∂ r h , − cot Θ csc Θ ) , \boldsymbol{\phi}=\left(\frac{\partial\mathcal{F}}{\partial r_h},-\cot\Theta\csc\Theta\right), ϕ = ( ∂ r h ∂ F , − cot Θ csc Θ ) ,
∂ F ∂ r h = M ′ ( r h ) − 2 π r h τ , (34) \frac{\partial\mathcal{F}}{\partial r_h}=M'(r_h)-\frac{2\pi r_h}{\tau}, \tag*{(34)} ∂ r h ∂ F = M ′ ( r h ) − τ 2 π r h , (34)
with 0 ≤ Θ ≤ π 0\leq\Theta\leq\pi 0 ≤ Θ ≤ π , so that ϕ Θ \phi^\Theta ϕ Θ diverges at Θ = 0 , π \Theta=0,\pi Θ = 0 , π and the field points outward there. The zero points lie at Θ = π / 2 \Theta=\pi/2 Θ = π /2 and satisfy
τ = τ h ( r h ) = 2 π r h M ′ ( r h ) = 20 π r h 7 40 π P r h 8 + 4 σ β q 4 F 2 − 5 q 2 r h 5 F 1 + 5 r h 6 . (35) \begin{aligned}
\tau=\tau_h(r_h)=\frac{2\pi r_h}{M'(r_h)} \\
&=\frac{20\pi r_h^7}{40\pi P r_h^8+4\sigma\beta q^4\mathcal{F}_2-5q^2r_h^5\mathcal{F}_1+5r_h^6}. \tag*{(35)}
\end{aligned} τ = τ h ( r h ) = M ′ ( r h ) 2 π r h = 40 π P r h 8 + 4 σ β q 4 F 2 − 5 q 2 r h 5 F 1 + 5 r h 6 20 π r h 7 . (35)
A zero point with d τ h / d r h < 0 d\tau_h/dr_h<0 d τ h / d r h < 0 (a branch with positive heat capacity) has winding number + 1 +1 + 1 , and one with d τ h / d r h > 0 d\tau_h/dr_h>0 d τ h / d r h > 0 has winding number − 1 -1 − 1 . The functions in this section depend only on ( q , β , σ , P ) (q,\beta,\sigma,P) ( q , β , σ , P ) . The mass parameter m 0 m_0 m 0 and the AdS radius l l l do not appear separately, since M M M is determined by r h r_h r h and P P P fixes l l l . The partition of σ \sigma σ by horizon number in Sec. III therefore does not apply here, and the charges q = 0.5 q=0.5 q = 0.5 and q = 1.2 q=1.2 q = 1.2 are used only for continuity with that section. The analysis is restricted to non-extremal black holes, T > 0 T>0 T > 0 ; extremal configurations occur at T = 0 T=0 T = 0 and terminate the branches.
Extended first law and Smarr relation
In the extended phase space the mass of Eq. (32) is a function of the four variables S = π r h 2 S=\pi r_h^2 S = π r h 2 , P P P , q q q and β \beta β , while the exponent σ \sigma σ is a fixed parameter of the model. The conjugate quantities are defined by the partial derivatives
T = ( ∂ M ∂ S ) P , q , β , V = ( ∂ M ∂ P ) S , q , β = 4 π r h 3 3 , T=\left(\frac{\partial M}{\partial S}\right)_{P,q,\beta},\qquad
V=\left(\frac{\partial M}{\partial P}\right)_{S,q,\beta}=\frac{4\pi r_h^3}{3}, T = ( ∂ S ∂ M ) P , q , β , V = ( ∂ P ∂ M ) S , q , β = 3 4 π r h 3 ,
Φ = ( ∂ M ∂ q ) S , P , β , B = ( ∂ M ∂ β ) S , P , q . (36) \Phi=\left(\frac{\partial M}{\partial q}\right)_{S,P,\beta},\qquad
\mathcal{B}=\left(\frac{\partial M}{\partial\beta}\right)_{S,P,q}. \tag*{(36)} Φ = ( ∂ q ∂ M ) S , P , β , B = ( ∂ β ∂ M ) S , P , q . (36)
Differentiating Eq. (32) with the rule d d z 2 F 1 ( a , b ; c ; z ) = a b c 2 F 1 ( a + 1 , b + 1 ; c + 1 ; z ) \frac{d}{dz}{}_2F_1(a,b;c;z)=\frac{ab}{c}{}_2F_1(a+1,b+1;c+1;z) d z d 2 F 1 ( a , b ; c ; z ) = c ab 2 F 1 ( a + 1 , b + 1 ; c + 1 ; z ) gives the temperature of Eq. (33) together with
Φ = q r h F 1 − σ β q 3 5 r h 5 F 2 , B = − σ q 4 10 r h 5 F 2 , (37) \Phi=\frac{q}{r_h}\mathcal{F}_1-\frac{\sigma\beta q^3}{5r_h^5}\mathcal{F}_2,\qquad
\mathcal{B}=-\frac{\sigma q^4}{10r_h^5}\mathcal{F}_2, \tag*{(37)} Φ = r h q F 1 − 5 r h 5 σ β q 3 F 2 , B = − 10 r h 5 σ q 4 F 2 , (37)
where F 1 \mathcal{F}_1 F 1 and F 2 \mathcal{F}_2 F 2 are defined below Eq. (33) . Here Φ \Phi Φ is the magnetic potential and B \mathcal{B} B is the quantity conjugate to β \beta β . Since M M M is a state function, its differential is the extended first law,
d M = T d S + V d P + Φ d q + B d β . (38) dM=T\,dS+V\,dP+\Phi\,dq+\mathcal{B}\,d\beta. \tag*{(38)} d M = T d S + V d P + Φ d q + B d β . (38)
Equations (37) and (38) coincide with the corresponding results of Ref. [89 ] (Eqs. (25) –(27) of the arXiv version).
Table 4. Background and extraordinary circular orbits at m 0 = l = 1 m_0=l=1 m 0 = l = 1 , β = 0.1 \beta=0.1 β = 0.1 . S and U denote stable and unstable orbits. Subscripts b and e denote background and extraordinary quantities, respectively. The relative shift is 100 ( r e − r b ) / r b 100(r_e-r_b)/r_b 100 ( r e − r b ) / r b , and η e = η ( r e ) \eta_e=\eta(r_e) η e = η ( r e ) . The black-hole rows refer to exterior orbits; both σ = 0.15 \sigma=0.15 σ = 0.15 rows belong to the same horizonless geometry.
The conjugate quantities have a direct interpretation in terms of the field energy. With the energy density ρ = − L = q 2 x 4 σ − 4 / [ 8 π ( x 4 + β q 2 ) σ ] \rho=-\mathcal{L}=q^2x^{4\sigma-4}/[8\pi(x^4+\beta q^2)^\sigma] ρ = − L = q 2 x 4 σ − 4 / [ 8 π ( x 4 + β q 2 ) σ ] of the magnetic field, one has I ′ = 8 π x 2 ρ \mathcal{I}'=8\pi x^2\rho I ′ = 8 π x 2 ρ by Eq. (11) , and the horizon condition together with I ( ∞ ) = 2 m M \mathcal{I}(\infty)=2m_M I ( ∞ ) = 2 m M turns Eq. (32) into
M = r h 2 + 4 π P r h 3 3 + 4 π ∫ r h ∞ ρ ( x ) x 2 d x . (39) M=\frac{r_h}{2}+\frac{4\pi P r_h^3}{3}+4\pi\int_{r_h}^{\infty}\rho(x)x^2\,dx. \tag*{(39)} M = 2 r h + 3 4 π P r h 3 + 4 π ∫ r h ∞ ρ ( x ) x 2 d x . (39)
The integral converges for every σ > 0 \sigma>0 σ > 0 , because ρ x 2 ∼ x − 2 \rho x^2\sim x^{-2} ρ x 2 ∼ x − 2 at large x x x , so that the relations of this subsection also hold for σ < 1 / 4 \sigma<1/4 σ < 1/4 without reference to the analytic continuation of m M m_M m M . In this form Φ = 4 π ∫ r h ∞ ∂ q ρ x 2 d x \Phi=4\pi\int_{r_h}^{\infty}\partial_q\rho\,x^2dx Φ = 4 π ∫ r h ∞ ∂ q ρ x 2 d x and B = 4 π ∫ r h ∞ ∂ β ρ x 2 d x \mathcal{B}=4\pi\int_{r_h}^{\infty}\partial_\beta\rho\,x^2dx B = 4 π ∫ r h ∞ ∂ β ρ x 2 d x . Since ∂ β ρ < 0 \partial_\beta\rho<0 ∂ β ρ < 0 , one has B < 0 \mathcal{B}<0 B < 0 for all parameter values. The temperature can be written as T = f ′ ( r h ) / 4 π = [ 1 + 8 π P r h 2 ρ ( r h ) ] / ( 4 π r h ) T=f'(r_h)/4\pi=[1+8\pi P r_h^2\rho(r_h)]/(4\pi r_h) T = f ′ ( r h ) /4 π = [ 1 + 8 π P r h 2 ρ ( r h )] / ( 4 π r h ) , which is equal to Eq. (33) .
In the units G = c = 1 G = c = 1 G = c = 1 one has [ M ] = [ r h ] = [ q ] = L [M] = [r_h] = [q] = L [ M ] = [ r h ] = [ q ] = L , [ S ] = L 2 [S] = L^2 [ S ] = L 2 , [ P ] = L − 2 [P] = L^{-2} [ P ] = L − 2 and [ β ] = L 2 [\beta] = L^2 [ β ] = L 2 , so that M ( λ 2 S , λ − 2 P , λ q , λ 2 β ) = λ M ( S , P , q , β ) M(\lambda^2 S,\lambda^{-2}P,\lambda q,\lambda^2\beta) = \lambda M(S,P,q,\beta) M ( λ 2 S , λ − 2 P , λ q , λ 2 β ) = λ M ( S , P , q , β ) . Euler’s theorem for homogeneous functions then gives the Smarr relation
M = 2 T S − 2 P V + Φ q + 2 β B . (40) M = 2TS - 2PV + \Phi q + 2\beta\mathcal{B}. \tag*{(40)} M = 2 T S − 2 P V + Φ q + 2 β B . (40)
The term 2 β B 2\beta\mathcal{B} 2 β B cannot be dropped. Without it the right-hand side differs from M M M by 2 β B ≠ 0 2\beta\mathcal{B} \ne0 2 β B = 0 , since B < 0 \mathcal{B} < 0 B < 0 for β > 0 \beta> 0 β > 0 and σ > 0 \sigma> 0 σ > 0 . This term vanishes for β → 0 \beta\to0 β → 0 , where F 1 → 1 \mathcal{F}_1 \to1 F 1 → 1 and Eq. (40) reduces to the Smarr relation of the Reissner–Nordström–AdS black hole, M = 2 T S − 2 P V + Φ q M = 2TS - 2PV + \Phi q M = 2 T S − 2 P V + Φ q with Φ = q / r h \Phi= q/r_h Φ = q / r h .
Both relations were verified numerically. For σ = 0.12 \sigma= 0.12 σ = 0.12 , 0.15 0.15 0.15 , 0.45 0.45 0.45 and 0.9 0.9 0.9 , the closed forms of Eqs. (33) and (37) agree with central-difference derivatives of Eq. (32) to 4 × 10 − 23 4 \times10^{-23} 4 × 1 0 − 23 in absolute value at 30-digit working precision (step 10 − 10 10^{-10} 1 0 − 10 ) and to 4 × 10 − 36 4 \times10^{-36} 4 × 1 0 − 36 at 50 digits (step 10 − 17 10^{-17} 1 0 − 17 ); the same holds at σ = 0.25 \sigma= 0.25 σ = 0.25 and σ = 1.2 \sigma= 1.2 σ = 1.2 . The Smarr relation, Eq. (40) , is satisfied by the closed forms to 10 − 51 10^{-51} 1 0 − 51 at 50 digits (scripts verify_thermo_precision.py and verify_firstlaw_path.py). The first law, Eq. (38) , was integrated along the straight path from ( r h , P , q , β ) = ( 1.5 , 0.001 , 0.5 , 0.1 ) (r_h,P,q,\beta) = (1.5, 0.001, 0.5, 0.1) ( r h , P , q , β ) = ( 1.5 , 0.001 , 0.5 , 0.1 ) to ( 2.2 , 0.004 , 0.8 , 0.3 ) (2.2, 0.004, 0.8, 0.3) ( 2.2 , 0.004 , 0.8 , 0.3 ) ; with 50-digit quadrature the residual is below 3 × 10 − 51 3 \times10^{-51} 3 × 1 0 − 51 for σ = 0.12 \sigma= 0.12 σ = 0.12 , 0.25 0.25 0.25 , 0.45 0.45 0.45 , 0.9 0.9 0.9 and 1.2 1.2 1.2 .
The comparison of the temperature isobars across the nonlinear exponent is shown in Figure 9 . In both panels we fix q = 0.5 q = 0.5 q = 0.5 and β = 0.1 \beta= 0.1 β = 0.1 and use the pressure fractions P / P c = 0.5 , 1 , 1.8 P/P_c = 0.5, 1, 1.8 P / P c = 0.5 , 1 , 1.8 , with the critical pressure evaluated separately for each value of σ \sigma σ . The horizon radius r h r_h r h is varied along each isobar, and the mass M h ( r h ) M_h(r_h) M h ( r h ) is reconstructed from the horizon condition, Eq. (32) ; the curves therefore describe a family of black-hole solutions, not the radial profile of a single geometry with fixed mass. Only the branches with T > 0 T > 0 T > 0 are displayed. For σ = 0.12 \sigma= 0.12 σ = 0.12 the temperature changes sign once, at the radii quoted below, and is positive beyond it; for σ = 1.2 \sigma= 1.2 σ = 1.2 it is positive for all r h r_h r h at the three pressures considered. Hence M h ( r h ) M_h(r_h) M h ( r h ) is monotonic on each displayed branch and the mass M h ( r h ) M_h(r_h) M h ( r h ) is not attained at any larger radius, so that each displayed horizon is the outermost root of f f f . The relation d M h / d r h = 2 π r h T > 0 dM_h/dr_h = 2\pi r_h T > 0 d M h / d r h = 2 π r h T > 0 alone would not establish this, because M h M_h M h may repeat a value at a larger radius when T T T changes sign. For σ = 0.12 \sigma= 0.12 σ = 0.12 , the physical branches begin at their respective T = 0 T = 0 T = 0 crossings, at r h ≃ 0.47939 r_h \simeq0.47939 r h ≃ 0.47939 , 0.47068 0.47068 0.47068 and 0.45858 0.45858 0.45858 for P / P c = 0.5 P/P_c = 0.5 P / P c = 0.5 , 1 1 1 and 1.8 1.8 1.8 . For σ = 1.2 \sigma= 1.2 σ = 1.2 , the temperature is positive at small radii and behaves as T ∼ 1 / ( 4 π r h ) T \sim1/(4\pi r_h) T ∼ 1/ ( 4 π r h ) as r h → 0 + r_h \to0^+ r h → 0 + , hence the small-radius branches rise above the upper temperature limit of the plot. The horizontal axis is shown from zero for comparison, but r h = 0 r_h = 0 r h = 0 is not included as a physical point.
Figure 9. Hawking temperature T ( r h ) T(r_h) T ( r h ) at q = 0.5 q=0.5 q = 0.5 and β = 0.1 \beta=0.1 β = 0.1 for P = 0.5 P c P=0.5P_c P = 0.5 P c , P = P c P=P_c P = P c and P = 1.8 P c P=1.8P_c P = 1.8 P c : (a) σ = 0.12 \sigma=0.12 σ = 0.12 , with P c = 0.013304283174 P_c=0.013304283174 P c = 0.013304283174 ; (b) σ = 1.2 \sigma=1.2 σ = 1.2 , with P c = 0.013727349243 P_c=0.013727349243 P c = 0.013727349243 . The critical pressures are calculated separately at fixed q q q by imposing ∂ T / ∂ r h = ∂ 2 T / ∂ r h 2 = 0 \partial T/\partial r_h=\partial^2T/\partial r_h^2=0 ∂ T / ∂ r h = ∂ 2 T / ∂ r h 2 = 0 . The color-coded legends identify the three pressure levels, and black circles mark the critical points ( r c , T c ) (r_c,T_c) ( r c , T c ) . Only the physical segments with T > 0 T>0 T > 0 are shown. For σ = 1.2 \sigma=1.2 σ = 1.2 , the small-r h r_h r h branches leave the upper edge because T → + ∞ T\to+\infty T → + ∞ as r h → 0 + r_h\to0^+ r h → 0 + ; the arrows indicate continuation toward smaller r h r_h r h . Each point on an isobar belongs to a solution whose mass is fixed by the horizon condition, rather than to one geometry with fixed mass. On the plotted branches T > 0 T>0 T > 0 and M h M_h M h is monotonic in r h r_h r h .
Critical points
Writing T = A ( r h ) + 2 P r h T = A(r_h) + 2Pr_h T = A ( r h ) + 2 P r h , the conditions ∂ r h T = ∂ r h 2 T = 0 \partial_{r_h}T = \partial^2_{r_h}T = 0 ∂ r h T = ∂ r h 2 T = 0 give A ′ ′ ( r c ) = 0 A''(r_c) = 0 A ′′ ( r c ) = 0 and P c = − A ′ ( r c ) / 2 P_c = -A'(r_c)/2 P c = − A ′ ( r c ) /2 . Table V lists physical solutions with P c > 0 P_c > 0 P c > 0 . The final two entries, ( q , σ ) = ( 3.249107 , 1.2 ) (q,\sigma) = (3.249107, 1.2) ( q , σ ) = ( 3.249107 , 1.2 ) and ( 3.920545 , 1.5 ) (3.920545, 1.5) ( 3.920545 , 1.5 ) , additionally satisfy the regularity condition m 0 = M − m M = 0 m_0 = M - m_M = 0 m 0 = M − m M = 0 ; for each exponent, q q q and r c r_c r c were solved together with the criticality equations. Thus these are regular critical black holes, rather than generic critical points at a fixed charge. For both solutions, T c > 0 T_c > 0 T c > 0 and the larger positive root of f ( r ) = 0 f(r) = 0 f ( r ) = 0 is r h = r c r_h = r_c r h = r c ; the corresponding inner horizons are r − = 0.752053 r_- = 0.752053 r − = 0.752053 and 0.982012 0.982012 0.982012 , respectively. As a test of the procedure, the parameters of Ref. [89 ] , q = 1 q = 1 q = 1 , β = 0.1 \beta= 0.1 β = 0.1 and σ = 0.75 \sigma= 0.75 σ = 0.75 , give r c = 2.4374 r_c = 2.4374 r c = 2.4374 and P c = 0.003332 P_c = 0.003332 P c = 0.003332 , in agreement with the value P c ≈ 0.003 P_c \approx0.003 P c ≈ 0.003 reported there. For β → 0 \beta\to0 β → 0 the model reduces to the Reissner–Nordström–AdS black hole with magnetic charge q q q , for which r c = 6 q r_c = \sqrt{6}q r c = 6 q , P c = 1 / ( 96 π q 2 ) P_c = 1/(96\pi q^2) P c = 1/ ( 96 π q 2 ) , T c = 6 / ( 18 π q ) T_c = \sqrt{6}/(18\pi q) T c = 6 / ( 18 π q ) and P c r c / T c = 3 / 16 P_c r_c/T_c = 3/16 P c r c / T c = 3/16 in the present units. Table V also lists the ratios of the critical quantities to these values at the same charge. The fixed-charge examples show that the nonlinear electrodynamics shifts r c r_c r c , P c P_c P c and T c T_c T c relative to RN. The last two rows are regular critical solutions for which the charge was selected by m 0 = 0 m_0 = 0 m 0 = 0 ; they are not part of a fixed-q q q scan in σ \sigma σ . The condition m 0 = 0 m_0 = 0 m 0 = 0 is imposed on the critical state itself, in the full state space with the usual independent variables. Since m 0 = M − m M m_0 = M - m_M m 0 = M − m M and M = M h ( r h , P ) M = M_h(r_h,P) M = M h ( r h , P ) varies along any path through this state at fixed q q q , β \beta β and σ \sigma σ , neighbouring states, including the two coexisting phases at pressures slightly below P c P_c P c , have m 0 ≠ 0 m_0 \ne0 m 0 = 0 and a singular center. The regularity statement therefore applies to the critical point and not to the neighbouring states. Their ratios remain close to the RN values, as expected from the small values of β q 2 / r c 4 \beta q^2/r_c^4 β q 2 / r c 4 at the selected critical points. For P > P c P > P_c P > P c the temperature of the cases σ = 0.12 \sigma= 0.12 σ = 0.12 and σ = 0.45 \sigma= 0.45 σ = 0.45 has no extrema in the region T > 0 T > 0 T > 0 and there is no phase transition. At P = P c P = P_c P = P c the temperature has an inflection point, which is the critical point of the second-order transition. For P < P c P < P_c P < P c the temperature has a local maximum and a local minimum, so that a first-order transition is possible. Whether it occurs is decided by the free energy (§ 1.3 E). For σ = 0.9 \sigma= 0.9 σ = 0.9 and 1.2 1.2 1.2 the temperature also develops an additional small-radius minimum, because T → ∞ T \to\infty T → ∞ as r h → 0 r_h \to0 r h → 0 . For σ = 1.2 \sigma= 1.2 σ = 1.2 and q = 0.5 q = 0.5 q = 0.5 , at P = 10 − 3 P = 10^{-3} P = 1 0 − 3 the extrema occur at r h = 0.4790 r_h = 0.4790 r h = 0.4790 (minimum), 0.8044 0.8044 0.8044 (maximum) and 6.2469 6.2469 6.2469 (minimum); the extra small-black-hole branch changes the topological charge pattern as detailed below. This small-radius minimum does not, by itself, imply phase coexistence.
Table V. Critical point ( r c , P c , T c ) (r_c,P_c,T_c) ( r c , P c , T c ) for β = 0.1 \beta=0.1 β = 0.1 and its ratio to the Reissner–Nordström–AdS value at the same q q q (r c R N = 6 q r_c^{\mathrm{RN}}=\sqrt{6}q r c RN = 6 q , P c R N = 1 / ( 96 π q 2 ) P_c^{\mathrm{RN}}=1/(96\pi q^2) P c RN = 1/ ( 96 π q 2 ) , T c R N = 6 / ( 18 π q ) T_c^{\mathrm{RN}}=\sqrt{6}/(18\pi q) T c RN = 6 / ( 18 π q ) , with P c r c / T c = 3 / 16 = 0.1875 P_cr_c/T_c=3/16=0.1875 P c r c / T c = 3/16 = 0.1875 ). The rows with q = 0.5 q=0.5 q = 0.5 and σ = 1.2 , 1.5 \sigma=1.2,1.5 σ = 1.2 , 1.5 are generic fixed-charge critical solutions and are not assumed regular. The final two rows are regular critical solutions with m 0 = 0 m_0=0 m 0 = 0 , obtained by solving for q q q together with the criticality conditions.
Topological charges at P = 10 − 3 P = 10^{-3} P = 1 0 − 3
The benchmark cases below have P = 10 − 3 < P c P = 10^{-3} < P_c P = 1 0 − 3 < P c . The zero points and the extrema of T ( r h ) T(r_h) T ( r h ) are given in Table VI . The extrema are the radii at which a pair of zero points of opposite charge is created or annihilated as τ \tau τ is varied. They bound the unstable intermediate branch.
Table VI. Zero points of ϕ \phi ϕ for β = 0.1 \beta=0.1 β = 0.1 and P = 10 − 3 P=10^{-3} P = 1 0 − 3 , with the winding number in parentheses. The extrema of T ( r h ) T(r_h) T ( r h ) are given as r h r_h r h (T T T ). Zero points exist at the stated τ \tau τ ; the intervals of τ \tau τ with the maximal number of zero points are given in the text.
q = 0.5 q = 0.5 q = 0.5 , σ = 0.12 \sigma= 0.12 σ = 0.12 . Figure 10 shows τ h ( r h ) \tau_h(r_h) τ h ( r h ) and the field for $\tau = 0. There are three zero points, a small stable black hole at r h = 0.6337 r_h = 0.6337 r h = 0.6337 ( + 1 ) (+1) ( + 1 ) , an unstable intermediate black hole at $1.5075[eq] (-1)$ and a large stable black hole at 23.2926 23.2926 23.2926 ( + 1 ) (+1) ( + 1 ) , so TTC = + 1 = +1 = + 1 . The unstable branch extends between the local maximum of T T T at r h = 0.8692 r_h = 0.8692 r h = 0.8692 and its local minimum at r h = 6.2469 r_h = 6.2469 r h = 6.2469 , and three zero points exist for 15.84 < τ < 39.76 15.84 < \tau< 39.76 15.84 < τ < 39.76 . For τ > 39.76 \tau> 39.76 τ > 39.76 only the small black hole remains, so that the total charge is + 1 +1 + 1 for every τ \tau τ .
Figure 10. σ = 0.12 \sigma= 0.12 σ = 0.12 , q = 0.5 q = 0.5 q = 0.5 , β = 0.1 \beta= 0.1 β = 0.1 , P = 10 − 3 P = 10^{-3} P = 1 0 − 3 . (a) τ h ( r h ) \tau_h(r_h) τ h ( r h ) and the line τ = 20 \tau= 20 τ = 20 . (b), (c) Normalized field n n n in the ( r h , Θ ) (r_h,\Theta) ( r h , Θ ) plane for τ = 20 \tau= 20 τ = 20 , with zero points at r h = 0.6337 r_h = 0.6337 r h = 0.6337 (+1, purple), 1.5075 (−1, red) and 23.2926 (+1).
q = 0.5 q=0.5 q = 0.5 , σ = 0.9 \sigma=0.9 σ = 0.9 . Here T ( r h ) → ∞ T(r_h)\to\infty T ( r h ) → ∞ for r h → 0 r_h\to0 r h → 0 , in contrast with σ = 0.12 \sigma=0.12 σ = 0.12 where T → − ∞ T\to-\infty T → − ∞ , and the temperature has four branches separated by the extrema at r h = 0.3948 r_h=0.3948 r h = 0.3948 (minimum), 0.8269 0.8269 0.8269 (maximum) and 6.2469 6.2469 6.2469 (minimum). The branches alternate in sign, − 1 , + 1 , − 1 , + 1 -1,+1,-1,+1 − 1 , + 1 , − 1 , + 1 . For τ = 35 \tau=35 τ = 35 (Fig. 11(c)) only the last two are intersected, giving the zero points 3.6839 (− 1 -1 − 1 ) and 10.5076 (+ 1 +1 + 1 ) and TTC = 0 =0 = 0 . For 15.55 < τ < 31.91 15.55<\tau<31.91 15.55 < τ < 31.91 , for example τ = 25 \tau=25 τ = 25 , four zero points appear (Fig. 11) and the sum is again zero. The total charge 0 is therefore independent of τ \tau τ and differs from the class + 1 +1 + 1 of the case σ = 0.12 \sigma=0.12 σ = 0.12 because of the small black hole branch with negative heat capacity. Although P = 10 − 3 < P c = 0.013599 P=10^{-3}<P_c=0.013599 P = 1 0 − 3 < P c = 0.013599 , the stable branches r h ∈ ( 0.3948 , 0.8269 ) r_h\in(0.3948,0.8269) r h ∈ ( 0.3948 , 0.8269 ) and r h > 6.2469 r_h>6.2469 r h > 6.2469 are not related by a first-order transition at this pressure. Where both exist, for 0.03134 < T < 0.06432 0.03134<T<0.06432 0.03134 < T < 0.06432 , the large black hole has the lower Gibbs free energy (§ 1.3 E), so that the small black hole is metastable. A first-order small–large transition exists for σ = 0.9 \sigma= 0.9 σ = 0.9 only for P ∗ < P < P c P_* < P < P_c P ∗ < P < P c with P ∗ = 0.001307 P_* = 0.001307 P ∗ = 0.001307 . Here TTC = 0 expresses the balance of positive and negative local indices; the two- and four-zero patterns illustrate that this sum does not fix the branch count. Equilibrium coexistence is determined by the free energy. For P > P c P > P_c P > P c only the minimum at small r h r_h r h remains, and the zero points are two, with charges −1 and +1.
q = 0.5 q = 0.5 q = 0.5 , σ = 1.2 \sigma= 1.2 σ = 1.2 . At P = 10 − 3 P = 10^{-3} P = 1 0 − 3 the inverse-temperature curve τ h ( r h ) = 1 / T ( r h ) \tau_h(r_h) = 1/T(r_h) τ h ( r h ) = 1/ T ( r h ) has extrema at r h = 0.479013 r_h = 0.479013 r h = 0.479013 , 0.804373 and 6.246925, where τ h \tau_h τ h is approximately 18.6795, 15.4121 and 39.7600, respectively. For τ = 17 \tau= 17 τ = 17 , the equation T ( r h ) = 1 / τ T(r_h) = 1/\tau T ( r h ) = 1/ τ gives four zero points at r h = 0.4155011 r_h = 0.4155011 r h = 0.4155011 , 0.5918585, 1.1426777 and 27.9907209, with winding numbers −1, +1, −1, +1. At τ = 25 \tau= 25 τ = 25 , only two zero points remain, at r h = 2.0960916 r_h = 2.0960916 r h = 2.0960916 and 17.7616232, with winding numbers −1 and +1. Both cases therefore have total topological charge Q = 0 Q = 0 Q = 0 . The three-panel plot in Figure 12 compares both inverse-temperature levels and the corresponding normalized vector fields.
Figure 12. Thermodynamic topology for q = 0.5 q = 0.5 q = 0.5 , σ = 1.2 \sigma= 1.2 σ = 1.2 , β = 0.1 \beta= 0.1 β = 0.1 , and P = 10 − 3 P = 10^{-3} P = 1 0 − 3 . (a) τ h ( r h ) \tau_h(r_h) τ h ( r h ) for τ = 17 , 25 \tau= 17,25 τ = 17 , 25 , with intersections marked by circles. (b,c) Normalized field n ( r h , Θ ) n(r_h,\Theta) n ( r h , Θ ) for τ = 17 , 25 \tau= 17,25 τ = 17 , 25 , respectively. Red and purple circles denote zero points with winding numbers ω = − 1 \omega= -1 ω = − 1 and + 1 +1 + 1 ; blue and orange arrows indicate ϕ r h > 0 \phi^{r_h} > 0 ϕ r h > 0 and ϕ r h < 0 \phi^{r_h} < 0 ϕ r h < 0 . The r h r_h r h axes are logarithmic.
q = 1.2 q = 1.2 q = 1.2 , σ = 0.45 \sigma= 0.45 σ = 0.45 . For τ = 35 \tau= 35 τ = 35 (Figure 13 ) there are three zero points, at r h = 1.8321 r_h = 1.8321 r h = 1.8321 (+1), 2.8904 (−1) and 10.5699 (+1), so TTC = +1. The unstable branch lies between the extrema at r h = 2.2125 r_h = 2.2125 r h = 2.2125 and 5.9041, and three zero points exist for 33.51 < τ < 40.44 33.51 < \tau< 40.44 33.51 < τ < 40.44 .
Figure 13. σ = 0.45 \sigma=0.45 σ = 0.45 , q = 1.2 q=1.2 q = 1.2 , β = 0.1 \beta=0.1 β = 0.1 , P = 10 − 3 P=10^{-3} P = 1 0 − 3 . (a) τ h ( r h ) \tau_h(r_h) τ h ( r h ) and the line τ = 35 \tau=35 τ = 35 . (b) Normalized field n n n for τ = 35 \tau=35 τ = 35 , with zero points at r h = 1.8321 r_h=1.8321 r h = 1.8321 (+1), 2.8904 2.8904 2.8904 (−1) and 10.5699 10.5699 10.5699 (+1).
Free energy
The on-shell free energy G ( T ) = M − T S G(T) = M - TS G ( T ) = M − T S is shown parametrically in Figure 14 . For σ = 0.12 \sigma= 0.12 σ = 0.12 and σ = 0.45 \sigma= 0.45 σ = 0.45 it has a single swallowtail whose cusps are at the extrema of T T T in Table VI . The crossing of the two stable branches fixes the first-order transition temperature T t T_t T t , at which T ( r s ) = T ( r l ) T(r_s) = T(r_l) T ( r s ) = T ( r l ) and G ( r s ) = G ( r l ) G(r_s) = G(r_l) G ( r s ) = G ( r l ) for the small and the large black hole (Table VII ). For σ = 0.9 \sigma= 0.9 σ = 0.9 and 1.2 the curve has an additional small-radius cusp associated with a negative-heat-capacity branch. At P = 10 − 3 P = 10^{-3} P = 1 0 − 3 the stable branches do not cross for either of these two values of σ \sigma σ . For σ = 0.9 \sigma= 0.9 σ = 0.9 , the crossing appears for P > P ∗ = 0.001307 P > P_* = 0.001307 P > P ∗ = 0.001307 ; for σ = 1.2 \sigma= 1.2 σ = 1.2 , a first-order crossing is found at P = 0.005 P = 0.005 P = 0.005 , with the coexistence values listed in Table VII . The free energy therefore complements the topological assignment: the local indices label the thermal stability of the computed zeros, whereas the free energy selects the equilibrium branch.
Table VII. First-order coexistence of the small (r s r_s r s ) and large (r l r_l r l ) black holes, defined by T ( r s ) = T ( r l ) T(r_s) = T(r_l) T ( r s ) = T ( r l ) and G ( r s ) = G ( r l ) = G t G(r_s) = G(r_l) = G_t G ( r s ) = G ( r l ) = G t , for β = 0.1 \beta= 0.1 β = 0.1 . The quantity Δ S = π ( r l 2 − r s 2 ) \Delta S = \pi(r_l^2-r_s^2) Δ S = π ( r l 2 − r s 2 ) is the entropy jump. For σ = 0.9 \sigma= 0.9 σ = 0.9 and 1.2 1.2 1.2 at P = 10 − 3 P = 10^{-3} P = 1 0 − 3 the stable branches do not cross.
Figure 14. Gibbs free energy G = M − T S G=M-TS G = M − T S at P = 10 − 3 P=10^{-3} P = 1 0 − 3 , β = 0.1 \beta=0.1 β = 0.1 as a function of T T T : (a) σ = 0.12 \sigma=0.12 σ = 0.12 , q = 0.5 q=0.5 q = 0.5 ; (b) σ = 0.9 \sigma=0.9 σ = 0.9 , q = 0.5 q=0.5 q = 0.5 ; (c) σ = 0.45 \sigma=0.45 σ = 0.45 , q = 1.2 q=1.2 q = 1.2 . Circles mark the extrema of T ( r h ) T(r_h) T ( r h ) .
Figure 15 extends the Gibbs-free-energy analysis to the high-σ \sigma σ regime at fixed q = 0.5 q = 0.5 q = 0.5 . For both σ = 1.2 \sigma= 1.2 σ = 1.2 and 1.5, T ( r h ) T(r_h) T ( r h ) has three extrema, yielding four branches in the positive-temperature domain. The heat capacity, C P = 2 π r h T / ( d T / d r h ) C_P = 2\pi r_h T/(dT/dr_h) C P = 2 π r h T / ( d T / d r h ) , distinguishes the locally stable segments (C P > 0 C_P > 0 C P > 0 , solid curves) from the unstable ones (C P < 0 C_P < 0 C P < 0 , dashed curves). The insets resolve the small-black-hole branches, whose folds are compressed in the full view. Over the temperature range shared by the stable intermediate- and large-radius branches, the large-radius branch has lower G G G ; the two stable branches therefore do not cross, and no first-order small–large coexistence occurs at P = 10 − 3 P = 10^{-3} P = 1 0 − 3 .
Figure 15. Bulk Gibbs free energy G = M − T S G=M-TS G = M − T S versus T T T for P = 10 − 3 P=10^{-3} P = 1 0 − 3 , q = 0.5 q=0.5 q = 0.5 , and β = 0.1 \beta=0.1 β = 0.1 : (a) σ = 1.2 \sigma=1.2 σ = 1.2 and (b) σ = 1.5 \sigma=1.5 σ = 1.5 . Solid and dashed curves denote C P > 0 C_P>0 C P > 0 and C P < 0 C_P<0 C P < 0 , respectively; open circles mark extrema of T ( r h ) T(r_h) T ( r h ) . Insets enlarge the small-black-hole branches. Only T > 0 T>0 T > 0 solutions are shown.
Holographic Thermodynamics
Assuming a holographic interpretation, the black hole is described by a thermodynamic state of a three-dimensional conformal field theory (CFT) on a sphere of radius R R R . The boundary theory is characterized here only through its thermodynamic variables, defined by an extension of the bulk–boundary dictionary to the present solution; it is not identified microscopically. In the holographic extension of the thermodynamics of Refs. [92 , 93 , 94 ] , a variation of the cosmological constant is a variation of the central charge C C C of the CFT, while the radius R R R is an independent parameter that fixes the CFT volume V = 4 π R 2 \mathcal{V} = 4\pi R^2 V = 4 π R 2 . This section constructs the dictionary for the present black hole, which carries a magnetic charge and the coupling β \beta β , verifies the first law and the Euler relation, and then repeats for this black hole the analysis of the charged AdS black hole in Ref. [93 ] : the phase structure in the canonical, grand-canonical and mixed ensembles, the critical point and the critical exponents.
Dictionary
In the units G = 1 G = 1 G = 1 the CFT variables are
E = l M R , T ~ = l T R , S = π r h 2 , V = 4 π R 2 , E = \frac{lM}{R}, \qquad\widetilde{T} = \frac{lT}{R}, \qquad S = \pi r_h^2, \qquad\mathcal{V} = 4\pi R^2, E = R l M , T = R l T , S = π r h 2 , V = 4 π R 2 ,
Figure 11. Thermodynamic topology for σ = 0.9 \sigma= 0.9 σ = 0.9 , q = 0.5 q = 0.5 q = 0.5 , β = 0.1 \beta= 0.1 β = 0.1 , and P = 10 − 3 P = 10^{-3} P = 1 0 − 3 . (a) τ h ( r h ) \tau_h(r_h) τ h ( r h ) for τ = 25 , 35 \tau= 25,35 τ = 25 , 35 , with intersections marked by circles. (b,c) Normalized field n ( r h , Θ ) n(r_h,\Theta) n ( r h , Θ ) for τ = 25 , 35 \tau= 25,35 τ = 25 , 35 , respectively. Red and purple circles denote zero points with winding numbers ω = − 1 \omega= -1 ω = − 1 and + 1 +1 + 1 ; blue and orange arrows indicate ϕ r h > 0 \phi^{r_h} > 0 ϕ r h > 0 and ϕ r h < 0 \phi^{r_h} < 0 ϕ r h < 0 . The r h r_h r h axes are logarithmic.
C = l 2 4 , Q ~ = q l , Φ ~ = Φ R , β ~ = β , (41) C = \frac{l^2}{4}, \qquad\widetilde{Q} = ql, \qquad\widetilde{\Phi} = \frac{\Phi}{R}, \qquad\widetilde{\beta} = \beta, \tag*{(41)} C = 4 l 2 , Q = q l , Φ = R Φ , β = β , (41)
where M M M , T T T and Φ \Phi Φ are given by Eqs. (32) , (33) and (37) , and l 2 = 3 / ( 8 π P ) l^2 = 3/(8\pi P) l 2 = 3/ ( 8 π P ) . The first seven entries are the dictionary of Refs. [92 , 93 , 94 ] for a conformal factor ω = R / l \omega= R/l ω = R / l , with the electric charge replaced by the magnetic charge q q q , and with the normalization of C C C of Ref. [93 ] . The coupling is carried over unchanged as a formal thermodynamic variable, β ~ = β \widetilde{\beta} = \beta β = β , with dimension [ L 2 ] [L^2] [ L 2 ] , and is held fixed in the ensembles below. We use β ~ = 0.1 \widetilde{\beta} = 0.1 β = 0.1 in units R = 1 R = 1 R = 1 . Its conjugate quantity is Ψ ~ = l L / R \widetilde{\Psi}=l\mathcal{L}/R Ψ = l L / R . Q ~ = q l \widetilde{Q}=ql Q = q l is the magnetic flux of the bulk field through the sphere, held fixed in the canonical ensemble, and Φ ~ = Φ / R \widetilde{\Phi}=\Phi/R Φ = Φ/ R is defined as its thermodynamic conjugate through the first law, Eq. (37) . For Maxwell theory this replacement is the electric–magnetic dual of the electric dictionary; for the present nonlinear Lagrangian it is a definition by the first law, and the ensembles at fixed Φ ~ \widetilde{\Phi} Φ are Legendre transforms of E E E . No field-theory interpretation of β ~ \widetilde{\beta} β is given. The pressure and the chemical potential of the CFT are
p = E 2 V , μ = E − T ~ S ~ − Φ ~ Q ~ − Ψ ~ β ~ C . (42) p=\frac{E}{2\mathcal{V}},\qquad\mu=\frac{E-\widetilde{T}\widetilde{S}-\widetilde{\Phi}\widetilde{Q}-\widetilde{\Psi}\widetilde{\beta}}{C}. \tag*{(42)} p = 2 V E , μ = C E − T S − Φ Q − Ψ β . (42)
The expression for p p p is the equation of state of a conformal fluid in two spatial dimensions. The term Ψ ~ β ~ \widetilde{\Psi}\widetilde{\beta} Ψ β in μ \mu μ is the contribution of the coupling to the Euler relation, Eq. (45) . In terms of the dimensionless variables x = r h / l x=r_h/l x = r h / l and y = q / l = Q ~ / ( 4 C ) y=q/l=\widetilde{Q}/(4C) y = q / l = Q / ( 4 C ) , and of the ratio β ^ = β / l 2 = β ~ / ( 4 C ) \widehat{\beta}=\beta/l^2=\widetilde{\beta}/(4C) β = β / l 2 = β / ( 4 C ) , with z = − β ^ y 2 / x 4 z=-\widehat{\beta}y^2/x^4 z = − β y 2 / x 4 , one finds in units R = 1 R=1 R = 1
E R C = 2 x ( 1 + x 2 ) + 2 y 2 F 1 x , S = 4 π C x 2 , T ~ R = 1 4 π x [ 1 + 3 x 2 − y 2 F 1 x 2 + 4 σ β ^ y 4 F 2 5 x 6 ] , Φ ~ R = y x F 1 − σ β ^ y 3 F 2 5 x 5 , μ R = x − x 3 − y 2 F 1 x + 2 σ β ^ y 4 F 2 5 x 5 . (43) \begin{aligned}
\frac{ER}{C}&=2x(1+x^2)+\frac{2y^2F_1}{x},\qquad S=4\pi Cx^2,\\
\widetilde{T}R&=\frac{1}{4\pi x}\left[1+3x^2-\frac{y^2F_1}{x^2}+\frac{4\sigma\widehat{\beta}y^4F_2}{5x^6}\right],\\
\widetilde{\Phi}R&=\frac{y}{x}F_1-\frac{\sigma\widehat{\beta}y^3F_2}{5x^5},\\
\mu R&=x-x^3-\frac{y^2F_1}{x}+\frac{2\sigma\widehat{\beta}y^4F_2}{5x^5}. \tag*{(43)}
\end{aligned} C E R T R Φ R μ R = 2 x ( 1 + x 2 ) + x 2 y 2 F 1 , S = 4 π C x 2 , = 4 π x 1 [ 1 + 3 x 2 − x 2 y 2 F 1 + 5 x 6 4 σ β y 4 F 2 ] , = x y F 1 − 5 x 5 σ β y 3 F 2 , = x − x 3 − x y 2 F 1 + 5 x 5 2 σ β y 4 F 2 . (43)
and p = E / ( 8 π R 2 ) p=E/(8\pi R^2) p = E / ( 8 π R 2 ) , with F 1 = 2 F 1 ( 1 4 , σ ; 5 4 ; z ) F_1={}_2F_1\left(\frac{1}{4},\sigma;\frac{5}{4};z\right) F 1 = 2 F 1 ( 4 1 , σ ; 4 5 ; z ) and F 2 = 2 F 1 ( 3 4 , σ + 1 ; 9 4 ; z ) F_2={}_2F_1\left(\frac{3}{4},\sigma+1;\frac{9}{4};z\right) F 2 = 2 F 1 ( 4 3 , σ + 1 ; 4 9 ; z ) . For β ^ = 0 \widehat{\beta}=0 β = 0 these are the expressions of Ref. [93 ] . The last term of μ R \mu R μ R is − Ψ ~ β ~ / ( C R − 1 ) -\widetilde{\Psi}\widetilde{\beta}/(CR^{-1}) − Ψ β / ( C R − 1 ) . The dimensionless quantities T ~ R \widetilde{T}R T R , μ R \mu R μ R , Φ ~ R \widetilde{\Phi}R Φ R , E / ( C R − 1 ) E/(CR^{-1}) E / ( C R − 1 ) and S / C S/C S / C depend only on ( x , y ) (x,y) ( x , y ) and ( σ , β ^ ) (\sigma,\widehat{\beta}) ( σ , β ) . Thus the phase structure depends on ( σ , β ^ , y ) (\sigma,\widehat{\beta},y) ( σ , β , y ) when C C C is fixed. In our fixed-C C C canonical and grand-canonical examples, R = 1 R=1 R = 1 , β ~ = 0.1 \widetilde{\beta}=0.1 β = 0.1 and C = 5 / 6 C=5/6 C = 5/6 , so β ^ = 0.03 \widehat{\beta}=0.03 β = 0.03 . If instead C C C varies at fixed Q ~ \widetilde{Q} Q and β ~ \widetilde{\beta} β , then β ^ \widehat{\beta} β must vary as β ^ = κ y \widehat{\beta}=\kappa y β = κ y , where κ = β ~ / Q ~ \kappa=\widetilde{\beta}/\widetilde{Q} κ = β / Q ; the fixed-β ^ \widehat{\beta} β curves cannot be reused for that variation.
First law and Euler relation
The first law of the CFT is
d E = T ~ d S ~ − p d V + μ d C + Φ ~ d Q ~ + Ψ ~ d β ~ , Ψ ~ = l L R . (44) dE=\widetilde{T}\,d\widetilde{S}-p\,d\mathcal{V}+\mu\,dC+\widetilde{\Phi}\,d\widetilde{Q}+\widetilde{\Psi}\,d\widetilde{\beta},\qquad\widetilde{\Psi}=\frac{l\mathcal{L}}{R}. \tag*{(44)} d E = T d S − p d V + μ d C + Φ d Q + Ψ d β , Ψ = R l L . (44)
It follows from the bulk first law, Eq. (38) , with d P = − 3 d l / ( 4 π l 3 ) dP=-3\,dl/(4\pi l^3) d P = − 3 d l / ( 4 π l 3 ) , d q = d Q ~ / l − Q ~ d l / l 2 dq=d\widetilde{Q}/l-\widetilde{Q}\,dl/l^2 d q = d Q / l − Q d l / l 2 , d β = d β ~ d\beta=d\widetilde{\beta} d β = d β , and from E ∝ 1 / R E\propto1/R E ∝ 1/ R at fixed S S S , C C C , Q ~ \widetilde{Q} Q and β ~ \widetilde{\beta} β , which gives p = − ∂ E / ∂ V = E / ( 2 V ) p=-\partial E/\partial\mathcal{V}=E/(2\mathcal{V}) p = − ∂ E / ∂ V = E / ( 2 V ) . The last term is the response to a variation of the coupling and vanishes for all processes and ensembles considered below, in which β ~ \widetilde{\beta} β is held fixed (d β ~ = 0 d\widetilde{\beta}=0 d β = 0 ). It is retained so that the first law is stated for general variations of the parameters, in parallel with the term B d β \mathcal{B}\,d\beta B d β of Eq. (38) . The Euler relation is
E = T ~ S ~ + μ C + Φ ~ Q ~ + Ψ ~ β ~ , (45) E=\widetilde{T}\widetilde{S}+\mu C+\widetilde{\Phi}\widetilde{Q}+\widetilde{\Psi}\widetilde{\beta}, \tag*{(45)} E = T S + μ C + Φ Q + Ψ β , (45)
without a term p V p\mathcal{V} p V , in agreement with Refs. [92 , 93 , 94 ] . The term Ψ ~ β ~ \widetilde{\Psi}\widetilde{\beta} Ψ β is present because β ~ = β \widetilde{\beta}=\beta β = β scales as λ 2 \lambda^2 λ 2 under the transformation ( r h , l , q , β ) → ( λ r h , λ l , λ q , λ 2 β ) (r_h,l,q,\beta)\to(\lambda r_h,\lambda l,\lambda q,\lambda^2\beta) ( r h , l , q , β ) → ( λ r h , λ l , λ q , λ 2 β ) of § 1.3 B, in the same way as S S S , C C C , Q ~ \widetilde{Q} Q and E R = l M E_R=lM E R = l M . The function E R E_R E R is thus homogeneous of degree one in ( S , C , Q ~ , β ~ ) (S,C,\widetilde{Q},\widetilde{\beta}) ( S , C , Q , β ) at fixed R R R , and Eq. (45) is Euler’s theorem for it. The relation is the counterpart of the Smarr relation, Eq. (40) , and the two expressions for μ \mu μ , from Eq. (45) and as ∂ E / ∂ C \partial E/\partial C ∂ E / ∂ C at fixed ( S , V , Q ~ , β ~ ) (S,\mathcal{V},\widetilde{Q},\widetilde{\beta}) ( S , V , Q , β ) , coincide only if the Smarr relation holds including the term 2 β B 2\beta\mathcal{B} 2 β B .
One could instead hold fixed the dimensionless ratio β ^ = β / l 2 \widehat{\beta}=\beta/l^2 β = β / l 2 , which is invariant under the scaling. That alternative convention removes the coupling term from the Euler relation and gives μ β ^ = μ + Ψ ~ β ~ / C = x − x 3 − y 2 F 1 / x \mu_{\widehat{\beta}}=\mu+\widetilde{\Psi}\widetilde{\beta}/C=x-x^3-y^2F_1/x μ β = μ + Ψ β / C = x − x 3 − y 2 F 1 / x in units R = 1 R=1 R = 1 , with conjugate quantity Ψ ~ β ^ = l 3 B / R \widetilde{\Psi}_{\widehat{\beta}}=l^3\mathcal{B}/R Ψ β = l 3 B / R . Although both conventions can be formulated consistently, we do not use fixed β ^ \widehat{\beta} β when C C C varies: throughout this work the physical coupling β ~ = β \widetilde{\beta}=\beta β = β is fixed. The conventions coincide for the fixed-C C C phase diagrams, where l l l and β ^ \widehat{\beta} β are automatically constant, but differ for variations of C C C at fixed Q ~ \widetilde{Q} Q . The dictionary was verified by comparing Eqs. (41) –(44) with partial derivatives of E ( S , V , C , Q ~ , β ~ ) E(S,\mathcal{V},C,\widetilde{Q},\widetilde{\beta}) E ( S , V , C , Q , β ) . The original benchmark cases agree to better than 10 − 30 10^{-30} 1 0 − 30 in 30-digit arithmetic; the added σ = 1.2 \sigma=1.2 σ = 1.2 benchmark agrees to numerical precision. The last column of Table XVII reports the difference between μ \mu μ and ∂ E / ∂ C \partial E/\partial C ∂ E / ∂ C .
Table XVII. CFT quantities for representative bulk states with β = 0.1 \beta=0.1 β = 0.1 in units R = 1 R=1 R = 1 , with C = l 2 / 4 C=l^{2}/4 C = l 2 /4 . The last column is ∣ ∂ E / ∂ C − μ ∣ \lvert\partial E/\partial C-\mu\rvert ∣ ∂ E / ∂ C − μ ∣ , with the derivative at fixed ( S , q ~ , Q ~ , β ~ ) (S,\tilde{q},\tilde{Q},\tilde{\beta}) ( S , q ~ , Q ~ , β ~ ) evaluated numerically and μ \mu μ obtained from Eq. (42) .
Ensembles and free energies
Following Ref. [93 ] , the thermodynamic variables ( Q ~ , Φ ~ ) (\widetilde{Q},\widetilde{\Phi}) ( Q , Φ ) , ( p , V ) (p,\mathcal{V}) ( p , V ) and ( μ , C ) (\mu,C) ( μ , C ) form three conjugate pairs, and the choice of one variable from each pair defines one of eight ensembles. The corresponding potentials, all of which follow from Eq. (45) and E = 2 p V E=2p\mathcal{V} E = 2 p V , are listed in Table XVIII . The potential of the ensemble ( Φ ~ , V , μ ) (\widetilde{\Phi},\mathcal{V},\mu) ( Φ , V , μ ) vanishes identically in Ref. [93 ] ; here it equals Ψ ~ β ~ \widetilde{\Psi}\widetilde{\beta} Ψ β by Eq. (45) , which is zero for β = 0 \beta=0 β = 0 . The coupling β ~ \widetilde{\beta} β is held fixed in all ensembles. The phase structure below is studied in the ensembles at fixed volume V \mathcal{V} V with controls ( Q ~ , V , C ) (\widetilde{Q},\mathcal{V},C) ( Q , V , C ) , ( Φ ~ , V , C ) (\widetilde{\Phi},\mathcal{V},C) ( Φ , V , C ) and ( Q ~ , V , μ ) (\widetilde{Q},\mathcal{V},\mu) ( Q , V , μ ) . In the four ensembles in which p p p is fixed and the volume of the CFT varies, and for β ^ = 0 \widehat{\beta}=0 β = 0 Ref. [93 ] finds no transitions in them. For the present black hole the dependence on p p p and V \mathcal{V} V is examined through the pressure–volume isotherms of Sec. VI.
Table XVIII. Ensembles of the CFT with β ~ \tilde{\beta} β ~ fixed. The potential is the Legendre transform of E E E with respect to the variables not held fixed.
Canonical ensemble (Q, V, C)
At fixed ( C , Q ~ , β ~ ) (C,\widetilde{Q},\widetilde{\beta}) ( C , Q , β ) the bulk parameters l l l , q q q and β \beta β are fixed, and the dimensionless temperature T ~ R = l T ( r h ) \widetilde{T}R=lT(r_h) T R = l T ( r h ) does not depend on R R R . The phase structure is that of § 1.3 at the pressure P = 3 / ( 8 π l 2 ) = 3 / ( 32 π C ) P=3/(8\pi l^2)=3/(32\pi C) P = 3/ ( 8 π l 2 ) = 3/ ( 32 π C ) and is controlled by y = Q ~ / ( 4 C ) y=\widetilde{Q}/(4C) y = Q / ( 4 C ) . The critical point is the solution of ∂ x T ~ = ∂ x 2 T ~ = 0 \partial_x\widetilde{T}=\partial_x^2\widetilde{T}=0 ∂ x T = ∂ x 2 T = 0 at fixed y y y , and it is given in Table VIII for β ^ = 0.03 \widehat{\beta}=0.03 β = 0.03 and for β ^ = 0 \widehat{\beta}=0 β = 0 . The latter reproduces the values of Ref. [93 ] : x c = 1 / 6 x_c=1/\sqrt{6} x c = 1/ 6 , y c = 1 / 6 y_c=1/6 y c = 1/6 , C / Q ~ c = 3 / 2 C/\widetilde{Q}_c=3/2 C / Q c = 3/2 and T ~ c R = 6 / ( 3 π ) \widetilde{T}_cR=\sqrt{6}/(3\pi) T c R = 6 / ( 3 π ) , which confirms the implementation. For β ^ > 0 \widehat{\beta}>0 β > 0 the fixed-C C C critical values C / Q ~ c C/\widetilde{Q}_c C / Q c , S c / C S_c/C S c / C , μ c R \mu_cR μ c R and p c p_c p c decrease, while Φ ~ c R \widetilde{\Phi}_cR Φ c R increases; the shifts grow with σ \sigma σ . The critical temperature changes by less than 0.6%. For y < y c y<y_c y < y c the temperature T ~ ( x ) \widetilde{T}(x) T ( x ) has a local maximum and minimum and the free energy F = E − T ~ S F=E-\widetilde{T}S F = E − T S has a swallowtail (Figure 16 a). A first-order transition between a small-entropy and a large-entropy phase at a temperature T ~ t ( y ) \widetilde{T}_t(y) T t ( y ) occurs on the model-dependent interval of y y y in which the two stable branches of the swallowtail cross. Table IX gives the transition for several values of y y y , that is for several values of Q ~ / C \widetilde{Q}/C Q / C , and Figure 16 c shows the coexistence line in the ( T ~ , Q ~ / C ) (\widetilde{T},\widetilde{Q}/C) ( T , Q / C ) plane, which ends at the critical point. For σ = 0.12 \sigma= 0.12 σ = 0.12 and for β ^ = 0 \hat{\beta} = 0 β ^ = 0 the line extends to small y y y . For σ = 0.9 \sigma= 0.9 σ = 0.9 the transition exists only in the window y ∗ ≤ y ≤ y c y_* \le y \le y_c y ∗ ≤ y ≤ y c with y ∗ = 0.1618 y_* = 0.1618 y ∗ = 0.1618 . For σ = 1.2 \sigma= 1.2 σ = 1.2 the window is much narrower and lies close to the critical point, 0.172858 ≲ y ≤ y c = 0.175606 0.172858 \lesssim y \le y_c = 0.175606 0.172858 ≲ y ≤ y c = 0.175606 , so that its swallowtail is small; it is shown for y = 0.1735 y = 0.1735 y = 0.1735 in Figure 16 b, where the cusps are resolved in the inset, and the corresponding coexistence line is the short segment ending at Q ~ / C ≃ 0.70 \widetilde{Q}/C \simeq0.70 Q / C ≃ 0.70 in Figure 16 c and Figure 16 d. Below the model-dependent lower threshold there is no small–large free-energy crossing between the stable branches. This y y y -window belongs to the fixed-C C C canonical diagram and is not identified with the bulk pressure window P ∗ < P < P c P_* < P < P_c P ∗ < P < P c , which would require a separate fixed-Q ~ \widetilde{Q} Q calculation at fixed β ~ \widetilde{\beta} β . For σ = 0.45 \sigma= 0.45 σ = 0.45 the transition exists for y ≥ 0.0574 y \ge0.0574 y ≥ 0.0574 , but for y ≲ 0.12 y \lesssim0.12 y ≲ 0.12 the small phase is a very small black hole, x s ≲ 0.1 x_s \lesssim0.1 x s ≲ 0.1 , and for 0.105 ≲ y ≲ 0.115 0.105 \lesssim y \lesssim0.115 0.105 ≲ y ≲ 0.115 the function T ~ ( x ) \widetilde{T}(x) T ( x ) has in addition a narrow stable island at T ~ R ≃ 0.31 \widetilde{T}R \simeq0.31 T R ≃ 0.31 –0.34 0.34 0.34 , which lies above the lower envelope of the free energy and does not take part in the transition. The coexistence lines were obtained from crossings of stable branches of T ~ ( x ) \widetilde{T}(x) T ( x ) on the lower envelope of F F F ; an independently written root-finder (code package) reproduces Table IX . Since Q ~ = 4 C y \widetilde{Q} = 4Cy Q = 4 C y , these are coexistence lines in the ( Q ~ , T ~ ) (\widetilde{Q},\widetilde{T}) ( Q , T ) plane at fixed C = 5 / 6 C = 5/6 C = 5/6 and fixed β ~ = 0.1 \widetilde{\beta} = 0.1 β = 0.1 . They are not the coexistence lines in the ( 1 / C , T ~ ) (1/C,\widetilde{T}) ( 1/ C , T ) plane at fixed Q ~ \widetilde{Q} Q , which are given in Sec. V E. The coexistence line is, as in a van der Waals fluid, a line of first-order transition ending at a critical point. For the fixed-C C C canonical ensemble considered here, the van der Waals correspondence is Q ~ ↔ P \widetilde{Q}\leftrightarrow P Q ↔ P and Φ ~ , μ ↔ V \widetilde{\Phi},\mu\leftrightarrow V Φ , μ ↔ V , as in [93 ] . The alternative identification 1 / C ↔ P 1/C\leftrightarrow P 1/ C ↔ P is treated in Sec. V E, where β ^ \hat{\beta} β ^ changes with C C C at fixed β ~ \widetilde{\beta} β and Q ~ \widetilde{Q} Q ; it is not represented by Figure 16 . At fixed C C C the temperature at the critical point is almost independent of σ \sigma σ and of the chosen nonlinear coupling (Table VIII ).
Table VIII. Canonical critical point in units R = 1 R = 1 R = 1 . For the nonlinear models, β ~ = 0.1 \widetilde{\beta} = 0.1 β = 0.1 and C = 5 / 6 C = 5/6 C = 5/6 are held fixed, so β ^ = 0.03 \hat{\beta} = 0.03 β ^ = 0.03 ; RN is the β ~ = 0 \widetilde{\beta} = 0 β = 0 limit. The listed ratio is C / Q ~ c = 1 / ( 4 y c ) C/\widetilde{Q}_c = 1/(4y_c) C / Q c = 1/ ( 4 y c ) at fixed C C C , not a critical locus obtained by varying C C C at fixed Q ~ \widetilde{Q} Q . S c S_c S c is in units of C C C , and p c p_c p c is in units of C / R 3 C/R^3 C / R 3 .
Figure 16. Free energy and coexistence lines of the fixed-C C C canonical ensemble for fixed β ~ = 0.1 \tilde{\beta}=0.1 β ~ = 0.1 and C = 5 / 6 C=5/6 C = 5/6 (thus β ^ = 0.03 \hat{\beta}=0.03 β ^ = 0.03 ). (a) F ~ R / C \tilde{F}_{R}/C F ~ R / C against T ~ R \tilde{T}R T ~ R for σ = 0.12 \sigma=0.12 σ = 0.12 at y = 0.12 y=0.12 y = 0.12 , y c = 0.16736 y_c=0.16736 y c = 0.16736 and 0.22 0.22 0.22 . (b) The same quantity for σ = 1.2 \sigma=1.2 σ = 1.2 at y = 0.1735 y=0.1735 y = 0.1735 , y c = 0.17561 y_c=0.17561 y c = 0.17561 and 0.18 0.18 0.18 ; the swallowtail at y = 0.1735 y=0.1735 y = 0.1735 is very small and is enlarged in the inset. (c) Coexistence lines in the ( T ~ R , Q ~ / C ) (\tilde{T}R,\tilde{Q}/C) ( T ~ R , Q ~ / C ) plane for RN and for σ = 0.12 \sigma=0.12 σ = 0.12 , 0.9 0.9 0.9 , 0.45 0.45 0.45 and 1.2 1.2 1.2 . The circles mark the critical points, at which each line ends, and the squares mark the opposite end of each line, at y = 0.01 y=0.01 y = 0.01 for RN and σ = 0.12 \sigma=0.12 σ = 0.12 , at y ∗ = 0.1618 y_*=0.1618 y ∗ = 0.1618 for σ = 0.9 \sigma=0.9 σ = 0.9 , at y = 0.0574 y=0.0574 y = 0.0574 for σ = 0.45 \sigma=0.45 σ = 0.45 and at y ∗ = 0.172858 y_*=0.172858 y ∗ = 0.172858 for σ = 1.2 \sigma=1.2 σ = 1.2 . (d) Enlargement of the region around the critical points.
Table IX. First-order transition in the canonical ensemble for fixed β ~ = 0.1 \widetilde{\beta}=0.1 β = 0.1 and C = 5 / 6 C=5/6 C = 5/6 (hence β ^ = 0.03 \widehat{\beta}=0.03 β = 0.03 ) in units R = 1 R=1 R = 1 . x s x_s x s and x l x_l x l are the values of r h / l r_h/l r h / l of the small and large phase, Δ S / C = 4 π ( x l 2 − x s 2 ) \Delta S/C=4\pi(x_l^2-x_s^2) Δ S / C = 4 π ( x l 2 − x s 2 ) , T ~ t Δ S / C \widetilde{T}_t\Delta S/C T t Δ S / C is the latent heat and F ~ t = F / C \widetilde{F}_t=F/C F t = F / C is the common free energy. The cases are RN (β ^ = 0 \widehat{\beta}=0 β = 0 ), A (σ = 0.12 \sigma=0.12 σ = 0.12 ), B (σ = 0.9 \sigma=0.9 σ = 0.9 ), C (σ = 0.45 \sigma=0.45 σ = 0.45 ) and D (σ = 1.2 \sigma=1.2 σ = 1.2 ).
Critical point at fixed Q ~ \widetilde{Q} Q with varying C C C
In the identification 1 / C ↔ P 1/C\leftrightarrow P 1/ C ↔ P the charge Q ~ \widetilde{Q} Q and the coupling β ~ \widetilde{\beta} β are fixed while C C C , and with it l l l , varies. With κ = β ~ / Q ~ = 0.1 \kappa= \widetilde{\beta}/\widetilde{Q} = 0.1 κ = β / Q = 0.1 one has y = Q ~ / ( 4 C ) y = \widetilde{Q}/(4C) y = Q / ( 4 C ) and β ^ = κ y \hat{\beta} = \kappa y β ^ = κ y , so that β ^ \hat{\beta} β ^ changes along the family. The temperature T ~ R ( x , y ) \widetilde{T}R(x,y) T R ( x , y ) is then Eq. (43) with β ^ = κ y \hat{\beta} = \kappa y β ^ = κ y . Since y y y is held fixed in the derivatives with respect to x x x , the critical point is again defined by ∂ x T ~ = ∂ x 2 T ~ = 0 \partial_x\widetilde{T} = \partial_x^2\widetilde{T} = 0 ∂ x T = ∂ x 2 T = 0 , now evaluated with β ^ = κ y \hat{\beta} = \kappa y β ^ = κ y . The coexistence line is obtained for each y y y from the conditions T ~ ( x s ) = T ~ ( x l ) \widetilde{T}(x_s) = \widetilde{T}(x_l) T ( x s ) = T ( x l ) and F ~ ( x s ) = F ~ ( x l ) \widetilde{F}(x_s) = \widetilde{F}(x_l) F ( x s ) = F ( x l ) at that value of β ^ \hat{\beta} β ^ . The critical points and the lower end of the coexistence lines are given in Table X and the lines are shown in Figure 17 . The critical temperature changes by about 0.5 % 0.5\% 0.5% from RN to σ = 1.5 \sigma= 1.5 σ = 1.5 , and the critical ratio C / Q ~ c C/\widetilde{Q}_c C / Q c decreases from 3 / 2 3/2 3/2 with σ \sigma σ less strongly than at fixed C C C (Table VIII ), because β ^ c = κ y c \hat{\beta}_c = \kappa y_c β ^ c = κ y c is then smaller than 0.03 0.03 0.03 and grows with Q ~ / C \widetilde{Q}/C Q / C . The coexistence lines of the cases with a small black hole branch of negative heat capacity (σ = 0.9 \sigma= 0.9 σ = 0.9 , 1.2 1.2 1.2 and 1.5 1.5 1.5 ) end at larger y y y than those of RN, σ = 0.12 \sigma= 0.12 σ = 0.12 and σ = 0.45 \sigma= 0.45 σ = 0.45 , as in the fixed-C C C ensemble.
Figure 17. Canonical coexistence lines in the ( T ~ R , Q ~ / C ) (\tilde{T}R,\tilde{Q}/C) ( T ~ R , Q ~ / C ) plane at fixed Q ~ \tilde{Q} Q ~ and β ~ = 0.1 \tilde{\beta}=0.1 β ~ = 0.1 (κ = 0.1 \kappa=0.1 κ = 0.1 ), so that β ^ = κ y \hat{\beta}=\kappa y β ^ = κ y varies along each line. Curves denote RN (black), σ = 0.12 \sigma=0.12 σ = 0.12 (green), σ = 0.45 \sigma=0.45 σ = 0.45 (red), σ = 0.9 \sigma=0.9 σ = 0.9 (yellow), σ = 1.2 \sigma=1.2 σ = 1.2 (purple) and σ = 1.5 \sigma=1.5 σ = 1.5 (blue). Circles mark the critical points. (b) Enlargement of the region around the critical points.
Critical exponents
Near the critical point the exponents are those of mean-field theory, α = 0 \alpha= 0 α = 0 , β c = 1 / 2 \beta_c = 1/2 β c = 1/2 , γ = 1 \gamma= 1 γ = 1 and δ = 3 \delta= 3 δ = 3 , for β ^ = 0 \hat{\beta} = 0 β ^ = 0 , in agreement with Ref. [9 ] . The same exponents hold for the present black hole because T ~ ( x , y ) \widetilde{T}(x,y) T ( x , y ) is analytic at the critical point and its expansion there is nondegenerate: with ∂ x T ~ = ∂ x 2 T ~ = 0 \partial_x\widetilde{T} = \partial_x^2\widetilde{T} = 0 ∂ x T = ∂ x 2 T = 0 , the cubic coefficient ∂ x 3 T ~ \partial_x^3\widetilde{T} ∂ x 3 T takes the values 11.46 11.46 11.46 , 11.28 11.28 11.28 , 10.65 10.65 10.65 , 9.30 9.30 9.30 and 7.49 7.49 7.49 , and the control-parameter coefficient ∂ y T ~ \partial_y\widetilde{T} ∂ y T the values − 0.390 -0.390 − 0.390 , − 0.394 -0.394 − 0.394 , − 0.406 -0.406 − 0.406 , − 0.431 -0.431 − 0.431 and − 0.463 -0.463 − 0.463 , for RN and for σ = 0.12 \sigma= 0.12 σ = 0.12 , 0.45 0.45 0.45 , 0.9 0.9 0.9 and 1.2 1.2 1.2 , respectively, all at β ^ = 0.03 \hat{\beta} = 0.03 β ^ = 0.03 (script verify_critical_coeffs.py); both are nonzero, as required for δ = 3 \delta= 3 δ = 3 and β c = 1 / 2 \beta_c = 1/2 β c = 1/2 ; the nonlinear numerical checks below are performed in the fixed-C C C ensemble, where fixed β ~ \widetilde{\beta} β and fixed β ^ \hat{\beta} β ^ are equivalent. Three of the exponents were verified numerically by local fits for the cases RN, A, B and C; for case D (σ = 1.2 \sigma= 1.2 σ = 1.2 ) the exponents follow from the nondegeneracy of the expansion given above. The order parameter x l − x s x_l-x_s x l − x s along the coexistence line behaves as ( 1 − y / y c ) β c (1-y/y_c)^{\beta_c} ( 1 − y / y c ) β c with local exponents 0.5000 0.5000 0.5000 –0.5011 0.5011 0.5011 for 1 − y / y c = 3 × 10 − 3 1-y/y_c = 3\times10^{-3} 1 − y / y c = 3 × 1 0 − 3 , 3 × 10 − 4 3\times10^{-4} 3 × 1 0 − 4 and 3 × 10 − 4 3\times10^{-4} 3 × 1 0 − 4 . The critical isotherm T ~ = T ~ c \widetilde{T} = \widetilde{T}_c T = T c , Q ~ − Q ~ c ∝ ( Φ ~ − Φ ~ c ) δ \widetilde{Q}-\widetilde{Q}_c \propto(\widetilde{\Phi}-\widetilde{\Phi}_c)^\delta Q − Q c ∝ ( Φ − Φ c ) δ with local exponents 3.027 3.027 3.027 , 3.012 3.012 3.012 and 3.006 3.006 3.006 for r h r_h r h at 1 % 1\% 1% , 0.5 % 0.5\% 0.5% and 0.2 % 0.2\% 0.2% from the critical value. The susceptibility ( ∂ Φ ~ / ∂ Q ~ ) T ~ (\partial\widetilde{\Phi}/\partial\widetilde{Q})_{\widetilde{T}} ( ∂ Φ / ∂ Q ) T at Φ ~ = Φ ~ c \widetilde{\Phi}=\widetilde{\Phi}_c Φ = Φ c behaves as ( T ~ / T ~ c − 1 ) − 1 (\widetilde{T}/\widetilde{T}_c-1)^{-1} ( T / T c − 1 ) − 1 with local exponents 0.989 0.989 0.989 –0.991 0.991 0.991 and 0.999 0.999 0.999 for T ~ / T ~ c − 1 = 10 − 3 \widetilde{T}/\widetilde{T}_c-1 = 10^{-3} T / T c − 1 = 1 0 − 3 –10 − 4 10^{-4} 1 0 − 4 and 10 − 4 10^{-4} 1 0 − 4 –10 − 5 10^{-5} 1 0 − 5 , so that γ = 1 \gamma= 1 γ = 1 . The results are collected in Table XI . The heat capacity C Φ ~ / C C_{\widetilde{\Phi}}/C C Φ / C at the critical point is finite, with the val-
Table XI. Critical exponents of the canonical ensemble at fixed C C C : mean-field values and numerical local exponents quoted in the text. The exponent β c \beta_c β c is the order-parameter exponent and is unrelated to the coupling β \beta β ; t = T ~ / T ~ c − 1 t=\widetilde{T}/\widetilde{T}_c-1 t = T / T c − 1 , and C Φ ~ ≡ C Φ ~ V C / C C_{\widetilde{\Phi}}\equiv C_{\widetilde{\Phi}V C}/C C Φ ≡ C Φ V C / C .
Table X. Critical point at fixed Q ~ \widetilde{Q} Q with β ~ = 0.1 \widetilde{\beta}=0.1 β = 0.1 held fixed (κ = β ~ / Q ~ = 0.1 \kappa=\widetilde{\beta}/\widetilde{Q}=0.1 κ = β / Q = 0.1 , R = 1 R=1 R = 1 , varying C C C ). The last column is the value of Q ~ / C \widetilde{Q}/C Q / C at which the coexistence line ends; for RN and σ = 0.12 \sigma=0.12 σ = 0.12 the line was followed down to Q ~ / C = 0.04 \widetilde{Q}/C=0.04 Q / C = 0.04 .
ues −16.76, −16.43, −13.66 and −15.42 for β ^ = 0 \hat{\beta}=0 β ^ = 0 and for σ = 0.12 \sigma=0.12 σ = 0.12 , 0.9 0.9 0.9 and 0.45 0.45 0.45 at β ^ = 0.03 \hat{\beta}=0.03 β ^ = 0.03 , in agreement with α = 0 \alpha=0 α = 0 for the variable pair ( Q ~ , Φ ~ ) (\widetilde{Q},\widetilde{\Phi}) ( Q , Φ ) in the van der Waals correspondence. The finiteness of C Φ ~ V C C_{\widetilde{\Phi}VC} C Φ V C concerns only the absence of a divergence; its negative sign is not a statement about stability.
Grand-canonical ensemble (Phi, V, C)
In the grand-canonical calculations we again hold C = 5 / 6 C=5/6 C = 5/6 and β ~ = 0.1 \widetilde{\beta}=0.1 β = 0.1 fixed, so β ^ = 0.03 \hat{\beta}=0.03 β ^ = 0.03 . At fixed Φ ~ \widetilde{\Phi} Φ the charge y ( x ) y(x) y ( x ) follows from Φ ~ R = ϕ \widetilde{\Phi}R=\phi Φ R = ϕ , and the potential is W / C = μ R + Ψ ~ β ~ / ( C R − 1 ) = x − x 3 − y 2 F 1 / x W/C=\mu R+\widetilde{\Psi}\widetilde{\beta}/(CR^{-1})=x-x^3-y^2F_1/x W / C = μ R + Ψ β / ( C R − 1 ) = x − x 3 − y 2 F 1 / x . In the RN limit y = ϕ x y=\phi x y = ϕ x , and T ~ R = ( 1 + 3 x 2 − ϕ 2 ) / ( 4 π x ) \widetilde{T}R=(1+3x^2-\phi^2)/(4\pi x) T R = ( 1 + 3 x 2 − ϕ 2 ) / ( 4 π x ) has a single minimum. The temperature has therefore a single stable branch, the black hole with positive heat capacity, and the transition is the confinement–deconfinement (Hawking–Page) transition at W = 0 W=0 W = 0 between thermal AdS and the black hole (Figure 18 a). Table XII gives the transition temperature. At Φ ~ R = 0.3 \widetilde{\Phi}R=0.3 Φ R = 0.3 , Figure 18 (a) shows the curves for RN and for σ = 0.12 \sigma=0.12 σ = 0.12 , 0.45 0.45 0.45 , 0.9 0.9 0.9 and 1.2 1.2 1.2 ; the corresponding transition temperatures are listed in Table XII . The plotted curves nearly coincide on the main scale, consistent with the very small shifts in the Hawking–Page temperature; the inset resolves the separation of their W = 0 W=0 W = 0 crossings. For σ = 1.2 \sigma=1.2 σ = 1.2 the Hawking–Page point lies at T ~ H P R = 0.303638 \widetilde{T}_{\mathrm{HPR}}=0.303638 T HPR = 0.303638 , which is 1.1 × 10 − 5 1.1\times10^{-5} 1.1 × 1 0 − 5 below the RN value 0.303648 0.303648 0.303648 ; this is the largest shift among the cases shown, and in the inset the σ = 1.2 \sigma=1.2 σ = 1.2 curve is the lowest of the five, in the
Table XII. Hawking–Page temperature T ~ H P R \widetilde{T}_{\mathrm{HPR}} T HPR of the ensemble ( Φ ~ , V , C ) (\widetilde{\Phi},\mathcal{V},C) ( Φ , V , C ) for fixed β ~ = 0.1 \widetilde{\beta}=0.1 β = 0.1 , C = 5 / 6 C=5/6 C = 5/6 and hence β ^ = 0.03 \hat{\beta}=0.03 β ^ = 0.03 (RN denotes β ~ = 0 \widetilde{\beta}=0 β = 0 ).
Figure 18. (a) Potential W / C W/C W / C of the ensemble ( Φ ~ , V , C ) (\tilde{\Phi},\mathcal{V},C) ( Φ ~ , V , C ) against T ~ R \tilde{T}R T ~ R for Φ ~ R = 0.3 \tilde{\Phi}R = 0.3 Φ ~ R = 0.3 ; the Hawking–Page temperature is the zero. The inset enlarges the closely spaced zero crossings. Curves denote RN (black), σ = 0.12 \sigma= 0.12 σ = 0.12 (green), σ = 0.45 \sigma= 0.45 σ = 0.45 (red), σ = 0.9 \sigma= 0.9 σ = 0.9 (yellow) and σ = 1.2 \sigma= 1.2 σ = 1.2 (purple). (b) Cusp temperature T ~ min R \tilde{T}_{\min}R T ~ m i n R and larger-x x x endpoint temperature T ~ 1 R \tilde{T}_{1}R T ~ 1 R for the mixed ensemble, plotted against μ R \mu R μ R ; the endpoint curve is dashed gray. The colors identify the same five cases, for β ~ / Q ~ = 0.1 \tilde{\beta}/\tilde{Q} = 0.1 β ~ / Q ~ = 0.1 .
same order as the exponent. For Φ ~ R < 0.4 \widetilde{\Phi}R<0.4 Φ R < 0.4 , the shifts with σ \sigma σ are confined to the last reported decimal or are smaller. As for β ^ = 0 \hat{\beta}=0 β ^ = 0 , it decreases with Φ ~ \widetilde{\Phi} Φ . No swallowtail appears in W ( T ~ ) W(\widetilde{T}) W ( T ) for Φ ~ R ≤ 0.4 \widetilde{\Phi}R\leq0.4 Φ R ≤ 0.4 .
Mixed ensemble (Q, V, mu)
In the mixed ensemble we hold Q ~ \widetilde{Q} Q , V \mathcal{V} V , μ \mu μ and the physical coupling β ~ = 0.1 \widetilde{\beta}=0.1 β = 0.1 fixed while the central charge C C C , and hence l l l , varies. Taking Q ~ = 1 \widetilde{Q}=1 Q = 1 and R = 1 R=1 R = 1 gives κ = Q ~ / Φ ~ = 0.1 \kappa=\widetilde{Q}/\widetilde{\Phi}=0.1 κ = Q / Φ = 0.1 and β ^ = κ y \hat{\beta}=\kappa y β ^ = κ y , so β ^ \hat{\beta} β ^ varies along the curve rather than remaining fixed at 0.03 0.03 0.03 . The condition μ R = c o n s t \mu R=\mathrm{const} μ R = const reads y 2 F 1 / x − 2 κ y 4 F 2 / ( 5 x 5 ) = x − x 3 − μ R y^2F_1/x-2\kappa y^4F_2/(5x^5)=x-x^3-\mu R y 2 F 1 / x − 2 κ y 4 F 2 / ( 5 x 5 ) = x − x 3 − μ R , which determines y ( x ) y(x) y ( x ) . The entropy is S = π Q ~ 2 / y S=\pi\widetilde{Q}^2/y S = π Q 2 / y , and the heat capacity is C μ / Q ~ = T ~ d ( π x 2 / y ) / d x / ( d T ~ / d x ) C_\mu/\widetilde{Q}=\widetilde{T}\,d(\pi x^2/y)/dx/(d\widetilde{T}/dx) C μ / Q = T d ( π x 2 / y ) / d x / ( d T / d x ) . For μ R > 0 \mu R>0 μ R > 0 , the allowed interval in x x x is bounded by the two roots of x − x 3 = μ R x-x^3=\mu R x − x 3 = μ R . We denote the temperature at the larger-x x x endpoint by T ~ 1 \widetilde{T}_1 T 1 and the temperature at the smaller-x x x endpoint by T ~ 2 \widetilde{T}_2 T 2 ; both endpoints occur at y → 0 y\to0 y → 0 , with T ~ R = ( 1 + 3 x 2 ) / ( 4 π x ) \widetilde{T}_R=(1+3x^2)/(4\pi x) T R = ( 1 + 3 x 2 ) / ( 4 π x ) . The two branches meet at a cusp with T ~ 0 = T ~ min ( μ ) \widetilde{T}_0=\widetilde{T}_{\min}(\mu) T 0 = T m i n ( μ ) . The finite branch discontinuity in the free energy occurs at the separate endpoint T ~ 1 \widetilde{T}_1 T 1 , not at the cusp. Whether this discontinuity represents a transition between locally stable equilibrium phases depends on the stability of the lower-entropy branch at that temperature and is examined below. Table XIII lists T ~ min \widetilde{T}_{\min} T m i n and the larger-x x x endpoint temperature T ~ 1 \widetilde{T}_1 T 1 for κ = 0.1 \kappa=0.1 κ = 0.1 , while Figure 18 b shows T ~ min ( μ ) \widetilde{T}_{\min}(\mu) T m i n ( μ ) . The difference between T ~ min \widetilde{T}_{\min} T m i n and its Reissner–Nordström value increases with σ \sigma σ and decreases with μ \mu μ . Among the cases in Figure 18 b, σ = 1.2 \sigma=1.2 σ = 1.2 lies highest: at μ R = 0.1 \mu R=0.1 μ R = 0.1 it exceeds the RN value by about 4% (0.18368 against 0.17590), and at μ R = 0.25 \mu R=0.25 μ R = 0.25 by only 0.2%. For μ = 0 \mu=0 μ = 0 , the RN branch has T ~ min → 0 \widetilde{T}_{\min}\to0 T m i n → 0 , whereas the nonlinear model has a finite lower endpoint for β ^ > 0 \hat{\beta}>0 β ^ > 0 .
Table XIII. Lower temperature T ~ min R \widetilde{T}_{\min}R T m i n R at the cusp and larger-x x x endpoint temperature T ~ 1 R = ( 1 + 3 x ~ + 2 ) / ( 4 π x + ) \widetilde{T}_1R=(1+3\tilde{x}_+^2)/(4\pi x_+) T 1 R = ( 1 + 3 x ~ + 2 ) / ( 4 π x + ) of the mixed ensemble for β ~ = 0.1 \widetilde{\beta}=0.1 β = 0.1 , where x + x_+ x + is the larger root of x − x 3 = μ R x-x^3=\mu R x − x 3 = μ R and y = 0 y=0 y = 0 . For β ~ = 0 \widetilde{\beta}=0 β = 0 and μ = 0 \mu=0 μ = 0 , the RN temperature T ~ R = x / π \widetilde{T}R=x/\pi T R = x / π has no positive-temperature minimum and T ~ min = 0 \widetilde{T}_{\min}=0 T m i n = 0 .
Figure 19 presents the corresponding branch structure and numerical μ \mu μ –T ~ \tilde{T} T ~ phase diagram for the representative value σ = 0.45 \sigma=0.45 σ = 0.45 . In panel (a), the branches meet continuously at the cusp T 0 = T min T_0=T_{\min} T 0 = T m i n . At the distinct endpoint T 1 T_1 T 1 , the high-entropy branch reaches G R = 0 GR=0 GR = 0 , whereas the lower-entropy solution at the same temperature has a finite value of G R GR GR ; the two endpoint values are marked separately, without an added segment between them. The low-entropy branch changes the sign of C μ C_\mu C μ at T i n t T_{\mathrm{int}} T int . In panel (b), the boundaries T 0 T_0 T 0 , T 1 T_1 T 1 , T 2 T_2 T 2 and T i n t T_{\mathrm{int}} T int delimit the branch structure over the positive-μ R \mu R μ R range sampled numerically. The external legend indicates the sign of C μ C_\mu C μ in the shaded regions, but this sign alone does not establish full local thermodynamic stability. A zeroth-order equilibrium transition can be claimed only where the destination branch also satisfies the full local-stability conditions discussed in Appendix A.
Figure 19. Mixed-ensemble free-energy branches and phase boundaries for nonlinear electrodynamics with σ = 0.45 \sigma= 0.45 σ = 0.45 , Q ~ = 1 \tilde{Q} = 1 Q ~ = 1 , β ~ / Q ~ = 0.1 \tilde{\beta}/\tilde{Q} = 0.1 β ~ / Q ~ = 0.1 and R = 1 R = 1 R = 1 . (a) The potential G R G R GR as a function of T ~ R \tilde{T}R T ~ R for several values of μ R \mu R μ R . For the highlighted curve μ R = 0.1 \mu R = 0.1 μ R = 0.1 , T 0 T_0 T 0 denotes the cusp, T 1 T_1 T 1 the endpoint of the high-entropy (larger-x x x ) branch, and T 2 T_2 T 2 the endpoint of the lower-x x x branch. The vertical dashed line marks T i n t T_{\mathrm{int}} T int , where C μ = 0 C_\mu= 0 C μ = 0 on the lower-entropy branch. The distinct values of G R G R GR at T 1 T_1 T 1 are shown by separate markers and are not connected by an extra segment. (b) Numerical μ \mu μ –T ~ \tilde{T} T ~ phase diagram showing the same characteristic boundaries. The external legend identifies the sign of C μ C_\mu C μ in each shaded region; this sign alone does not establish full local thermodynamic stability.
For σ = 1.2 \sigma=1.2 σ = 1.2 the same construction is shown in Figure 20 . The boundary curves T 0 T_0 T 0 , T 1 T_1 T 1 , T 2 T_2 T 2 and T i n t T_{\mathrm{int}} T int keep the ordering found for σ = 0.45 \sigma=0.45 σ = 0.45 , and the only visible changes are quantitative. For μ R = 0.1 \mu R=0.1 μ R = 0.1 the cusp temperature rises from T 0 R = 0.17866 T_0R=0.17866 T 0 R = 0.17866 to 0.18368 0.18368 0.18368 and T i n t R T_{\mathrm{int}}R T int R decreases from 0.3988 0.3988 0.3988 to 0.3940 0.3940 0.3940 , while T 1 R = 0.30991 T_1R=0.30991 T 1 R = 0.30991 and T 2 R = 0.81177 T_2R=0.81177 T 2 R = 0.81177 are fixed by μ \mu μ alone and therefore do not depend on σ \sigma σ . The value of μ \mu μ at which T i n t T_{\mathrm{int}} T int crosses T 1 T_1 T 1 moves from μ ∗ R ≃ 0.1514 \mu_*R\simeq0.1514 μ ∗ R ≃ 0.1514 to 0.1500 0.1500 0.1500 . A qualitative difference appears for negative μ \mu μ . At μ R = − 0.1 \mu R=-0.1 μ R = − 0.1 the temperature does not start from zero as it does for σ = 0.45 \sigma=0.45 σ = 0.45 : because T → ∞ T\to\infty T → ∞ as x → 0 x\to0 x → 0 for σ > 1 / 4 \sigma>1/4 σ > 1/4 , the curve has a minimum at T ~ R ≃ 0.0995 \tilde{T}R\simeq0.0995 T ~ R ≃ 0.0995 , where G R ≃ 0.98 GR\simeq0.98 GR ≃ 0.98 , and continues to larger temperatures on a second branch, whose temperature is cut at T ~ R = 1.7 \tilde{T}R=1.7 T ~ R = 1.7 in the figure.
Figure 20. Mixed-ensemble free-energy branches and phase boundaries for nonlinear electrodynamics with σ = 1.2 \sigma= 1.2 σ = 1.2 , Q ~ = 1 \widetilde{Q}=1 Q = 1 , β ~ / Q ~ = 0.1 \widetilde{\beta}/\widetilde{Q}=0.1 β / Q = 0.1 and R = 1 R=1 R = 1 . The quantities and notation are those of Figure 19 . (a) The potential G R GR GR as a function of T ~ R \widetilde{T}R T R for several values of μ R \mu R μ R ; for the highlighted curve μ R = 0.1 \mu R=0.1 μ R = 0.1 , T 0 T_0 T 0 denotes the cusp, and T 1 T_1 T 1 and T 2 T_2 T 2 the endpoints of the larger-x x x and lower-x x x branches. The dashed vertical line marks T ~ i n t R = 0.394 \widetilde{T}_{\mathrm{int}}R=0.394 T int R = 0.394 . The curve for μ R = − 0.1 \mu R=-0.1 μ R = − 0.1 is shown for T ~ R ≤ 1.7 \widetilde{T}R\leq1.7 T R ≤ 1.7 . (b) The corresponding μ \mu μ –T ~ \widetilde{T} T phase diagram; the dotted line marks μ ∗ R ≃ 0.150 \mu_*R\simeq0.150 μ ∗ R ≃ 0.150 .
Pressure–volume plane
Ref. [93 ] finds no criticality in the ( p , V ) (p,\mathcal{V}) ( p , V ) plane for the charged AdS black hole. For the present black hole, at fixed ( T ~ , C , Q ~ ) (\tilde{T},C,\tilde{Q}) ( T ~ , C , Q ~ ) one has R = τ ( x ) / T ~ R=\tau(x)/\tilde{T} R = τ ( x ) / T ~ with τ = T ~ R \tau=\tilde{T}R τ = T ~ R , V = 4 π R 2 \mathcal{V}=4\pi R^2 V = 4 π R 2 and p = C T ~ 3 h ( x ) / ( 2 π ) p=C\tilde{T}^3h(x)/(2\pi) p = C T ~ 3 h ( x ) / ( 2 π ) , where h ( x ) = ϵ ( x ) / τ ( x ) h(x)=\epsilon(x)/\tau(x) h ( x ) = ϵ ( x ) / τ ( x ) and ϵ = M / l \epsilon=M/l ϵ = M / l . A critical point requires ∂ x h = ∂ x 2 h = 0 \partial_xh=\partial_x^2h=0 ∂ x h = ∂ x 2 h = 0 with ∂ x τ ≠ 0 \partial_x\tau\ne0 ∂ x τ = 0 , and corresponds to the merging of two extrema of the isotherm p ( V ) p(\mathcal{V}) p ( V ) . The factor T ~ 3 \tilde{T}^3 T ~ 3 shows that the shape of the isotherm does not depend on T ~ \tilde{T} T ~ : for a conformal theory on a sphere the combination p V 3 / 2 p\mathcal{V}^{3/2} p V 3/2 is a function of x x x and y y y only, and a critical point is a line in the ( p , V ) (p,\mathcal{V}) ( p , V ) plane parametrized by T ~ \tilde{T} T ~ , with p V 3 / 2 p\mathcal{V}^{3/2} p V 3/2 constant along it. In this subsection a critical point of the isotherm p ( V ) p(\mathcal{V}) p ( V ) means the merging of two of its extrema, a property of the equation of state at fixed ( T ~ , C ~ , Q ~ ) (\tilde{T},\tilde{C},\tilde{Q}) ( T ~ , C ~ , Q ~ ) . We counted the extrema of h ( x ) h(x) h ( x ) on the branch τ > 0 \tau>0 τ > 0 for y ∈ [ 0.005 , 0.40 ] y\in[0.005,0.40] y ∈ [ 0.005 , 0.40 ] and β ^ = 0 \hat{\beta}=0 β ^ = 0 and β ^ = 0.03 \hat{\beta}=0.03 β ^ = 0.03 , and located every change in their number by solving ∂ x h = ∂ x 2 h = 0 \partial_xh=\partial_x^2h=0 ∂ x h = ∂ x 2 h = 0 (Table XIV ). For RN and σ = 0.12 \sigma=0.12 σ = 0.12 the number of extrema does not change with y y y , so that there is no critical point in the range scanned, in agreement with Ref. [93 ] . For σ = 0.9 \sigma=0.9 σ = 0.9 , σ = 1.2 \sigma=1.2 σ = 1.2 and σ = 1.5 \sigma=1.5 σ = 1.5 a pair of extrema is created at one critical point and persists for larger y y y . For σ = 0.45 \sigma=0.45 σ = 0.45 the number of extrema increases from one to three at y = 0.11168 y=0.11168 y = 0.11168 and returns to one at y = 0.11774 y=0.11774 y = 0.11774 , where two of them merge, so that there are two critical points in a narrow interval of Q ~ / C \tilde{Q}/C Q ~ / C . In all cases with critical points the temperature τ ( x ) \tau(x) τ ( x ) is monotonic between the extrema, so that Y \mathcal{Y} Y is a single-valued function of x x x and the isotherm p ( Y ) p(\mathcal{Y}) p ( Y ) has a van der Waals-type loop. At each critical point of Table XIV , d τ / d x d\tau/dx d τ / d x lies between 0.11 and 0.26, so that the heat capacity at fixed ( Y , C , Q ~ ) (\mathcal{Y},C,\tilde{Q}) ( Y , C , Q ~ ) , 8 π C x T ~ / τ ′ 8\pi Cx\tilde{T}/\tau' 8 π C x T ~ / τ ′ , is positive there. Extra extrema that lie beyond the domain through which τ → ∞ \tau\to\infty τ → ∞ for y → 1 / 6 y\to1/\sqrt{6} y → 1/ 6 do not correspond to critical points.
Table XIV. Critical points of the isotherms p ( Y ) p(\mathcal{Y}) p ( Y ) at fixed ( T ~ , C , Q ~ ) (\tilde{T},C,\tilde{Q}) ( T ~ , C , Q ~ ) for β ^ = 0.03 \hat{\beta}=0.03 β ^ = 0.03 (β ^ = 0.1 \hat{\beta}=0.1 β ^ = 0.1 , C = 5 / 6 C=5/6 C = 5/6 in units R = 1 R=1 R = 1 ). The last column is p c Y c 3 / 2 / C = 4 π ϵ c p_c\mathcal{Y}_c^{3/2}/C=4\sqrt{\pi}\epsilon_c p c Y c 3/2 / C = 4 π ϵ c .
Heat capacities and stability
At fixed C C C one has S = 4 π C x 2 S=4\pi Cx^2 S = 4 π C x 2 , and the heat capacity at fixed values of the variables X X X of such an ensemble is
C X = T ~ ( ∂ S ∂ T ~ ) X = 8 π C x T ~ ( d T ~ / d x ) X , (46) C_X=\tilde{T}\left(\frac{\partial S}{\partial\tilde{T}}\right)_X=\frac{8\pi Cx\tilde{T}}{(d\tilde{T}/dx)_X}, \tag*{(46)} C X = T ~ ( ∂ T ~ ∂ S ) X = ( d T ~ / d x ) X 8 π C x T ~ , (46)
where T ~ ( x ) \tilde{T}(x) T ~ ( x ) is evaluated along the curve defined by X X X : y y y constant for ( Q ~ , Y , C ) (\tilde{Q},\mathcal{Y},C) ( Q ~ , Y , C ) , y ( x ) y(x) y ( x ) from Φ ~ R = const \tilde{\Phi}R=\text{const} Φ ~ R = const for ( Φ ~ , Y , C ) (\tilde{\Phi},\mathcal{Y},C) ( Φ ~ , Y , C ) and y ( x ) y(x) y ( x ) from μ R = const \mu R=\text{const} μ R = const for ( Q ~ , Y , μ ) (\tilde{Q},\mathcal{Y},\mu) ( Q ~ , Y , μ ) , while Eq. (46) does not apply to the mixed ensemble, where C C C varies, S = π Q ~ x 2 / y ( x ) S=\pi\tilde{Q}x^2/y(x) S = π Q ~ x 2 / y ( x ) and C μ = T ~ ( d S / d x ) / ( d T ~ / d x ) C_\mu=\tilde{T}(dS/dx)/(d\tilde{T}/dx) C μ = T ~ ( d S / d x ) / ( d T ~ / d x ) as in Sec. V H. A branch is thermally stable if C X > 0 C_X>0 C X > 0 ; the relation of this criterion to full local stability is examined in Appendix A. Figure 21 shows C X / C C_X/C C X / C for the three ensembles and Table XIX gives the points at which C X C_X C X diverges, that is the extrema of T ~ ( x ) \tilde{T}(x) T ~ ( x ) . In the canonical ensemble at y = 0.12 y=0.12 y = 0.12 the heat capacity has two divergences for σ = 0.12 \sigma=0.12 σ = 0.12 , 0.45 0.45 0.45 and for the RN case: a small black hole branch with C X > 0 C_X>0 C X > 0 for x < x 1 x<x_1 x < x 1 , an unstable branch with C X < 0 C_X<0 C X < 0 between x 1 x_1 x 1 and x 2 x_2 x 2 , and a large black hole branch with C X > 0 C_X>0 C X > 0 for x > x 2 x>x_2 x > x 2 . This is the van der Waals structure whose free energy has the swallowtail of Figure 16 a, and the first-order transition of Table IX connects the two stable branches. The large-black-hole divergence x 2 ≃ 0.532 x_2\simeq0.532 x 2 ≃ 0.532 is almost independent of σ \sigma σ . The small-black-hole divergence x 1 x_1 x 1 is lowered by the nonlinear electrodynamics and moves to larger T ~ \tilde{T} T ~ for σ = 0.45 \sigma=0.45 σ = 0.45 . For σ = 0.9 \sigma=0.9 σ = 0.9 and σ = 1.2 \sigma=1.2 σ = 1.2 it is absent for x ≳ 0.02 x\gtrsim0.02 x ≳ 0.02 , so that y = 0.12 y=0.12 y = 0.12 lies outside the window of the first-order transition found above. In the grand-canonical ensemble there is a single divergence at x ≃ 0.5508 x\simeq0.5508 x ≃ 0.5508 for Φ ~ R = 0.3 \tilde{\Phi}R=0.3 Φ ~ R = 0.3 , at the minimum of T ~ \tilde{T} T ~ , which separates the unstable small and the stable large black hole, in agreement with the absence of a swallowtail and with the Hawking–Page transition of Sec. V G. In the mixed ensemble, the heat capacity diverges at the cusp temperature T ~ min ( μ ) \tilde{T}_{\min}(\mu) T ~ m i n ( μ ) , where the branches
Figure 21. Heat capacity C X / C C_X/C C X / C , plotted as arcsinh ( C X / 5 C ) \operatorname{arcsinh}(C_X/5C) arcsinh ( C X /5 C ) against x = r h / l x=r_h/l x = r h / l . In (a) and (b), the colored curves use fixed β ~ = 0.1 \widetilde{\beta}=0.1 β = 0.1 and C = 5 / 6 C=5/6 C = 5/6 , hence β ^ = 0.03 \widehat{\beta}=0.03 β = 0.03 ; in (c), β ~ = 0.1 \widetilde{\beta}=0.1 β = 0.1 and Q ~ = 1 \widetilde{Q}=1 Q = 1 are fixed, so κ = 0.1 \kappa=0.1 κ = 0.1 and β ^ = κ y \widehat{\beta}=\kappa y β = κ y varies with C C C . Colors denote σ = 0.12 \sigma=0.12 σ = 0.12 (blue dashed), 0.45 0.45 0.45 (green dash-dotted), 0.9 0.9 0.9 (red dotted) and 1.2 1.2 1.2 (purple dash-dot-dotted); RN is black. Panel (a) is the canonical ensemble at y = 0.12 y=0.12 y = 0.12 , (b) the grand-canonical ensemble at Φ ~ R = 0.3 \widetilde{\Phi}R=0.3 Φ R = 0.3 , and (c) the mixed ensemble at μ R = 0.1 \mu R=0.1 μ R = 0.1 . The inverse-hyperbolic-sine scaling displays the divergences. The insets in (b) and (c) enlarge the ranges 0.5996 ≤ x ≤ 0.6004 0.5996\leq x\leq0.6004 0.5996 ≤ x ≤ 0.6004 and 0.425 ≤ x ≤ 0.445 0.425\leq x\leq0.445 0.425 ≤ x ≤ 0.445 , respectively, where the curves of the different cases are separated only slightly on the main scale.
Table XIX. Divergences of the heat capacity, given by the extrema of T ~ ( x ) \tilde{T}(x) T ~ ( x ) . In the canonical and grand-canonical cases, β ~ = 0.1 \tilde{\beta}=0.1 β ~ = 0.1 and C = 5 / 6 C=5/6 C = 5/6 are fixed, so β ^ = 0.03 \hat{\beta}=0.03 β ^ = 0.03 ; the canonical case uses y = 0.12 y=0.12 y = 0.12 and the grand-canonical case Φ ~ R = 0.3 \tilde{\Phi}_{R}=0.3 Φ ~ R = 0.3 . In the mixed ensemble, β ~ = 0.1 \tilde{\beta}=0.1 β ~ = 0.1 , Q ~ = 1 \tilde{Q}=1 Q ~ = 1 and μ R = 0.1 \mu_{R}=0.1 μ R = 0.1 are fixed, so κ = 0.1 \kappa=0.1 κ = 0.1 and β ^ = κ y \hat{\beta}=\kappa y β ^ = κ y varies. In the canonical ensemble the branches x < x 1 x<x_{1} x < x 1 and x 1 < x < x 2 x_{1}<x<x_{2} x 1 < x < x 2 are stable and unstable, respectively, and the branch x > x 2 x>x_{2} x > x 2 is stable.
meet continuously. The finite discontinuity in the branch-valued potential instead occurs at the distinct endpoint T ~ 1 \widetilde{T}_1 T 1 of the larger-x x x branch (Figure 19 ). A zeroth-order equilibrium transition can be inferred only if the competing branch is locally stable there; the sampled endpoint states fail the Hessian test (Table XVI ). The cusp and endpoint temperatures shift with σ \sigma σ . At large x x x the heat capacity of the stable branch grows as C X ≃ 8 π C x 2 = 2 S C_X \simeq8\pi C x^2 = 2S C X ≃ 8 π C x 2 = 2 S in the canonical and grand-canonical ensembles, as for a neutral AdS black hole. In the mixed ensemble with μ R > 0 \mu_R > 0 μ R > 0 the branch is confined between the two roots of x − x 3 = μ R x-x^3=\mu_R x − x 3 = μ R and has no large-x x x limit.
Table XVI. Numerical endpoint test in the mixed ensemble. T 1 T_{1} T 1 is the endpoint temperature of the high-entropy branch, G l o w G_{\mathrm{low}} G low is the potential of the lower-entropy solution at the same temperature, and Δ ( G R ) = G l o w R \Delta(GR)=G_{\mathrm{low}}R Δ ( GR ) = G low R because G h i g h R → 0 G_{\mathrm{high}}R\to0 G high R → 0 . Negative det H \det H det H indicates an indefinite Hessian.
A positive heat capacity, C X > 0 C_X>0 C X > 0 , tests thermal stability against entropy fluctuations at fixed ensemble controls. For the grand-canonical and mixed ensembles, full local stability also requires the corresponding energy Hessian to be positive semidefinite. In the mixed ensemble, the lower-x x x interval includes states with C μ > 0 C_\mu>0 C μ > 0 but E C C < 0 E_{CC}<0 E C C < 0 , so this condition is not sufficient for full stability. The criteria, numerical checks, and their implications for the branch-end discontinuity are given in Appendix A. The sampled endpoint states are locally unstable.
Conclusions
We have examined the background circular null orbits, effective electromagnetic propagation, thermodynamic topology, and boundary thermodynamic description of a magnetically charged AdS solution in nonlinear electrodynamics.
The background classification is controlled by horizon formation and the creation or annihilation of circular-null-orbit pairs. For m 0 = l = 1 m_0=l=1 m 0 = l = 1 , q = 0.5 q=0.5 q = 0.5 and β = 0.1 \beta=0.1 β = 0.1 , the background thresholds are σ = 0.1465105 \sigma=0.1465105 σ = 0.1465105 for horizon merger and σ = 0.1548466 \sigma=0.1548466 σ = 0.1548466 for merger of the background orbit pair. At fixed m 0 m_0 m 0 , the apparent boundary near σ = 1 / 4 \sigma=1/4 σ = 1/4 follows the divergent relation between m 0 m_0 m 0 and the total mass. The background mass thresholds are smooth across this value when expressed in terms of M M M . Central regularity remains a separate condition, requiring σ ≥ 1 \sigma\geq1 σ ≥ 1 and m 0 = 0 m_0=0 m 0 = 0 .
The extraordinary optical geometry introduces the factor η \eta η into the radial potential and an explicit AdS-scale dependence into the orbit condition. In the four configurations examined, the five isolated orbit indices are preserved while their radii shift by up to 5.19 % 5.19\% 5.19% . The horizonless example contains a stable–unstable pair whose two extrema move apart, as shown in Figure 8 .
Figure 8. Background and extraordinary optical orbit structure at m 0 = l = 1 m_0=l=1 m 0 = l = 1 , β = 0.1 \beta=0.1 β = 0.1 . (a) U b = f / r 2 U_b=f/r^2 U b = f / r 2 (dark dashed curve) and U e = f η / r 2 U_e=f\eta/r^2 U e = f η / r 2 (blue solid curve) for the horizonless geometry with q = 0.5 q=0.5 q = 0.5 , σ = 0.15 \sigma=0.15 σ = 0.15 . Open and filled circles mark background and extraordinary extrema, respectively; purple denotes stable minima and red unstable maxima. (b,c) Normalized extraordinary topological fields n e = ϕ e / ∥ ϕ e ∥ \mathbf{n}_e=\boldsymbol{\phi}_e/\lVert\boldsymbol{\phi}_e\rVert n e = ϕ e / ∥ ϕ e ∥ near the stable and unstable orbits. Orange arrows show the field direction, with the zero itself omitted. The purple and red dashed contours have counterclockwise winding numbers + 1 +1 + 1 and − 1 -1 − 1 , verified independently of the displayed field grid. (d) The two potentials near the exterior unstable orbits for q = 1.2 q=1.2 q = 1.2 , σ = 0.9 \sigma=0.9 σ = 0.9 , using the same curve colours as in (a); dotted lines locate r b r_b r b and r e r_e r e . All plotted regions satisfy Eq. (26) .
The thermodynamic phase structure depends on the small-radius temperature and the crossings of stable Gibbs-free-energy branches. At P = 10 − 3 P=10^{-3} P = 1 0 − 3 , the cases ( q , σ ) = ( 0.5 , 0.12 ) (q,\sigma)=(0.5,0.12) ( q , σ ) = ( 0.5 , 0.12 ) and ( 1.2 , 0.45 ) (1.2,0.45) ( 1.2 , 0.45 ) have T T C = + 1 \mathrm{TTC}=+1 TTC = + 1 and exhibit first-order small–large black-hole transitions. For q = 0.5 q=0.5 q = 0.5 and σ = 0.9 \sigma=0.9 σ = 0.9 or 1.2 1.2 1.2 , the temperature instead diverges to + ∞ +\infty + ∞ as r h → 0 r_h\to0 r h → 0 , and an additional small-radius branch with negative heat capacity appears. Their stable Gibbs-free-energy branches do not cross at P = 10 − 3 P=10^{-3} P = 1 0 − 3 . For σ = 0.9 \sigma=0.9 σ = 0.9 , a first-order crossing occurs in the interval 0.001307 < P < P c 0.001307<P<P_c 0.001307 < P < P c , with P c = 0.013599 P_c=0.013599 P c = 0.013599 , whereas for σ = 1.2 \sigma=1.2 σ = 1.2 a crossing is found at P = 0.005 P=0.005 P = 0.005 , where T t = 0.0582955 T_t=0.0582955 T t = 0.0582955 . The change in thermodynamic behavior is therefore associated with the small-radius temperature and the resulting branch structure, rather than with a transition at σ = 1 \sigma=1 σ = 1 . Regular critical configurations are obtained by imposing m 0 = 0 m_0=0 m 0 = 0 together with the criticality conditions. The resulting solutions have positive critical pressure and temperature and an outer event horizon, at ( q , σ ) = ( 3.249 , 1.2 ) (q,\sigma)=(3.249,1.2) ( q , σ ) = ( 3.249 , 1.2 ) and ( 3.921 , 1.5 ) (3.921,1.5) ( 3.921 , 1.5 ) (Table V ). At these points, the ratio P r c / T c P_{rc}/T_c P r c / T c differs from the Reissner–Nordström value 3 / 16 3/16 3/16 by approximately 0.03 % 0.03\% 0.03% . The extended first law and the Smarr relation hold for every σ > 0 \sigma>0 σ > 0 , including σ = 1 / 4 \sigma=1/4 σ = 1/4 , since they follow from the horizon condition and from integrals over r > r h r>r_h r > r h that converge for all σ > 0 \sigma>0 σ > 0 and do not involve m 0 m_0 m 0 ; they require the quantity B = ∂ M / ∂ β \mathcal{B}=\partial M/\partial\beta B = ∂ M / ∂ β conjugate to β \beta β to be included; omitting the term 2 β B 2\beta\mathcal{B} 2 β B violates the Smarr relation by exactly that amount.
In the holographic description, the bulk relations map to a first law and a fixed-R R R Euler relation for the dual CFT,
E = T S ~ + μ C + Q ~ Φ ~ + Ψ ~ β , E=T\widetilde{S}+\mu C+\widetilde{Q}\widetilde{\Phi}+\widetilde{\Psi}\beta, E = T S + μ C + Q Φ + Ψ β ,
with no independent p V p\mathcal{V} p V term in the Euler relation. At fixed C C C , the canonical ensemble exhibits van der Waals-type criticality, with critical temperatures that depend only weakly on σ \sigma σ and remain close to the Reissner–Nordström value (Table VIII ). The ratio C / Q ~ c C/\widetilde{Q}_c C / Q c decreases with increasing σ \sigma σ from the Reissner–Nordström value 3 / 2 3/2 3/2 at β ~ = 0 \widetilde{\beta}=0 β = 0 . In the benchmark cases examined, the exponents β c \beta_c β c , γ \gamma γ , and δ \delta δ are numerically consistent with their mean-field values, while the finite heat capacity at the critical point is consistent with α = 0 \alpha=0 α = 0 . The range of Q ~ / C \widetilde{Q}/C Q / C supporting the first-order transition narrows as σ \sigma σ increases and becomes particularly small for σ = 1.2 \sigma=1.2 σ = 1.2 , where it is 0.1729 ≲ y ≲ 0.1756 0.1729\lesssim y\lesssim0.1756 0.1729 ≲ y ≲ 0.1756 . When 1 / C 1/C 1/ C is treated as an analogue of pressure at fixed Q ~ \widetilde{Q} Q , the critical locus follows the same qualitative trend. In this construction, β ~ \widetilde{\beta} β is held fixed while β ^ = β ~ / ( 4 C ) \widehat{\beta}=\widetilde{\beta}/(4C) β = β / ( 4 C ) varies with C C C . The corresponding isotherms in the ( p , γ ~ ) (p,\widetilde{\gamma}) ( p , γ ) plane exhibit critical points for σ ≥ 0.45 \sigma\geq0.45 σ ≥ 0.45 among the cases studied, but not for the Reissner–Nordström model or for σ = 0.12 \sigma=0.12 σ = 0.12 .
The grand-canonical ensemble displays a Hawking–Page transition, with its temperature changing only in the fifth decimal place across the models considered. In the mixed ensemble, the free-energy branches meet continuously at the cusp T ~ min ( μ ) \widetilde{T}_{\min}(\mu) T m i n ( μ ) , while a distinct finite discontinuity occurs at the endpoint T ~ 1 \widetilde{T}_1 T 1 of the larger-x x x branch. This branch-end discontinuity is established numerically; the sampled competing endpoint states are locally unstable by the Hessian test, so the discontinuity is not a transition between two locally stable phases.
The orbit radii characterize the geometry and its electromagnetic propagation cones. Relating them to a shadow requires a specified polarization sector, observer and emission model, together with treatment of the AdS boundary [83 , 84 , 99 ] .
Hessian test of local thermodynamic stability
A positive heat capacity tests thermal stability only against entropy fluctuations at fixed ensemble controls. Full local stability requires the Hessian of the CFT energy with respect to the extensive variables allowed to fluctuate in the chosen ensemble to be positive semidefinite. In the canonical ensemble the only fluctuating extensive variable is S S S , so the criterion reduces to C Q > 0 C_Q > 0 C Q > 0 . In the grand-canonical ensemble the fluctuating variables are ( S , Q ~ ) (S,\widetilde{Q}) ( S , Q ) , whereas in the mixed ensemble they are ( S , C ) (S,C) ( S , C ) . The corresponding Hessians are
H g c = ∂ 2 E ∂ ( S , Q ~ ) 2 , H m i x = ∂ 2 E ∂ ( S , C ) 2 , (47) H_{\mathrm{gc}} = \frac{\partial^2 E}{\partial(S,\widetilde{Q})^2}, \qquad H_{\mathrm{mix}} = \frac{\partial^2 E}{\partial(S,C)^2}, \tag*{(47)} H gc = ∂ ( S , Q ) 2 ∂ 2 E , H mix = ∂ ( S , C ) 2 ∂ 2 E , (47)
where the variables held fixed are those specified by each ensemble, and the physical coupling β ~ \widetilde{\beta} β is held fixed throughout. For a symmetric 2 × 2 2 \times2 2 × 2 Hessian, positive definiteness requires a positive relevant diagonal element and a positive determinant. In particular,
C Φ = T ~ E Q Q det H g c , C μ = T ~ E C C det H m i x . (48) C_{\Phi} = \frac{\widetilde{T} E_{QQ}}{\det H_{\mathrm{gc}}}, \qquad C_{\mu} = \frac{\widetilde{T} E_{CC}}{\det H_{\mathrm{mix}}}. \tag*{(48)} C Φ = det H gc T E QQ , C μ = det H mix T E C C . (48)
Thus C X > 0 C_X > 0 C X > 0 alone is not a sufficient condition for full local stability in the grand-canonical and mixed ensembles.
We evaluated the Hessian derivatives from the closed-form holographic energy while holding the physical coupling β ~ \widetilde{\beta} β fixed. For the grand-canonical ensemble, E Q Q E_{QQ} E QQ remains positive over the numerical branch examined and tends to zero from above as x → ∞ x \to\infty x → ∞ ; its infimum over the full large-black-hole branch is therefore zero, not the finite-interval value at a chosen cutoff. In the mixed ensemble, C μ > 0 C_{\mu} > 0 C μ > 0 occurs on both a lower-x x x interval and a high-x x x interval. The minimum of E C C E_{CC} E C C over all such intervals lies on the lower-x x x interval and is negative for all five cases considered, including σ = 1.2 \sigma= 1.2 σ = 1.2 . Since C μ = T ~ E C C / det H m i x C_{\mu} = \widetilde{T} E_{CC}/\det H_{\mathrm{mix}} C μ = T E C C / det H mix and T ~ > 0 \widetilde{T} > 0 T > 0 , this gives det H m i x < 0 \det H_{\mathrm{mix}} < 0 det H mix < 0 there: positive heat capacity does not imply full local stability. Table XV compares the determinant roots with the heat-capacity-divergence locations and reports the corresponding diagonal bound. These numerical results apply to the parameter choices stated in the caption and do not establish stability for arbitrary parameters.
Table XV. Hessian diagonal test for the grand-canonical and mixed ensembles, with R = 1 R=1 R = 1 and β ~ = 0.1 \tilde{\beta}=0.1 β ~ = 0.1 . The value x d e t x_{\mathrm{det}} x det is the root of det H \det H det H ; x c a p x_{\mathrm{cap}} x cap is the corresponding heat-capacity-divergence location in Table XIX . In the grand-canonical ensemble, C = 5 / 6 C=5/6 C = 5/6 and Φ ~ R = 0.3 \tilde{\Phi}R=0.3 Φ ~ R = 0.3 ; the last column gives inf E Q Q = 0 \inf E_{QQ}=0 inf E QQ = 0 , approached as x → ∞ x\to\infty x → ∞ on the positive-heat-capacity branch. In the mixed ensemble, Q ~ = 1 \tilde{Q}=1 Q ~ = 1 and μ R = 0.1 \mu R=0.1 μ R = 0.1 ; the last column gives the minimum of E C C E_{CC} E C C over all allowed intervals with C μ > 0 C_{\mu}>0 C μ > 0 . Its location x ⋆ x_{\star} x ⋆ lies on the lower-x x x interval.
To test the proposed zeroth-order interpretation, we also evaluated the lower-entropy solution at the same temperature T 1 T_1 T 1 where the high-entropy branch terminates. At this endpoint, the high-entropy branch has G R → 0 GR \to0 GR → 0 , while the lower-entropy solution has a finite potential. Table XVI reports the resulting branch-valued jump together with C μ C_{\mu} C μ , the relevant Hessian entries, and the smallest Hessian eigenvalue for representative values of μ R \mu R μ R and σ \sigma σ . The numerical scan shows that, even where C μ C_{\mu} C μ becomes positive, the determinant remains negative and the Hessian has a negative eigenvalue at the endpoint. Hence all sixteen sampled lower-entropy endpoint states are locally unstable, with det H < 0 \det H < 0 det H < 0 and λ min < 0 \lambda_{\min} < 0 λ m i n < 0 , and the finite branch-end discontinuity does not connect two locally stable phases at these parameter values.
The scan covers the representative parameters listed in Table XVI ; this result does not exclude locally stable endpoint states elsewhere in parameter space. The mixed-ensemble results are therefore reported as a finite branch-end discontinuity whose lower-entropy side is locally unstable at the sampled points.
Supplementary tables
The tables below collect numerical material referred to in Secs. V and V J.
Declaration on the Use of Artificial Intelligence Technologies
In the preparation of this manuscript, the authors utilized artificial intelligence-based technologies solely for optimizing and refining the linguistic structure, ensuring compliance with academic journal publication standards, and improving graphics, language quality, grammar and \LaTeX typesetting. All ideas, statements, calculations, and interpretations of the results are entirely original and the direct outcome of the authors’ research. It is emphasized that the text refined by these tools was critically and meticulously reviewed multiple times to ensure its alignment with the authors’ original intent and scientific findings. The authors assume full responsibility for the originality, accuracy, and integrity of the intellectual content, including all analyses, interpretations, and conclusions.
References