Lagrangian Partition Functions Subject to a Fixed Spatial Volume Constraint in the Lovelock Theory

We evaluate here the quantum gravity partition function that counts the dimension of the Hilbert space of a simply connected spatial region of a fixed proper volume in the context of Lovelock gravity, generalizing the results for Einstein gravity. It is found that there are sphere saddle metrics for a partition function at a fixed spatial volume in Lovelock theory. Those stationary points take exactly the same forms as in Einstein gravity. The logarithm of Z corresponding to a zero effective cosmological constant indicates that the Bekenstein–Hawking entropy of the boundary area and that corresponding to a positive effective cosmological constant points to the Wald entropy of the boundary area. We also show the existence of zeroth-order phase transitions between different vacua, a phenomenon distinct from Einstein gravity.


Introduction
The Euclidean action approach to the gravitational partition function Z was originally formulated by Gibbons and Hawking [2].They evaluated the path integral over spacetime geometries by the saddle point approximation and found that the logarithm of Z for a de Sitter (dS) spacetime is a quarter of the cosmological horizon area, indicating that (despite the absence of an event horizon) the corresponding thermodynamic potential was the dS entropy, analogous to the Bekenstein-Hawking entropy of a black hole [3,4].This justified the general holographic nature of gravitational entropy, the concept of which is not limited to a black hole horizon.
However interpreting these results involves addressing nuanced inquiries.In the context of statistical mechanics, the thermodynamic equilibrium of a system is determined by extremizing a thermodynamic potential.Without any constraint, the concept of thermodynamic equilibrium loses its generality since we can hardly guarantee an unconstrained system to have extrema in its thermodynamic potentials.This gives rise to the question as to what constraint other than fixing the temperature is imposed implicitly in specifying the canonical ensemble for the dS vacuum.Furthermore, the interpretation of the dS entropy remains ambiguous [5].For a Euclidean dS space, the quasi-local energy vanishes identically due to the absence of a boundary.Given the vanishing Hamiltonian, Fischler [6] and Banks [7] further argued that the finite de Sitter entropy equates to the logarithm of the dimension of the Hilbert space since the partition function reduces to the trace of the identity operator.This assertion has since received several lines of support [8][9][10][11][12][13]. Furthermore, the concept of gravitational entropy requires a general description since it can be associated with the area of any boundary separating a region of space [14,15], and not only to the area of black hole or dS horizons.
Recently, Jacobson and Visser [1] considered some of these issues by adding a spatial volume constraint to the Euclidean path integral.They proposed a partition function with a Lagrange multiplier λ(τ ) of the form in D spacetime dimensions, where the explicit expression Ĉ is implemented by and the action I E is the Euclidean Einstein-Hilbert term plus a bare cosmological constant Λ 0 , 3) The first term in the exponential in (1.1) is performed on a Euclidean manifold M E of dimension D with a periodic boundary condition on the imaginary time x 0 = τ .The second term imposes the volume constraint on each constant-τ slice with induced metric γ ij .The temperature, as the reciprocal of the period β in τ , arises from by eliminating the conical singularity at the horizon.Thus the fixed temperature, or the size of ∂M E in the τ direction, plus the fixed volume define a canonical ensemble.The partition function (1.1) should be considered a provisional prescription for manifolds M E with closed spatial sections; otherwise a Hawking-Gibbons-York (HGY) term and counterterms should be included.Together with the closedness in the τ direction, the desired saddle manifold should have a closed topology similar to the original Euclidean dS space.The partition function (1.1) was shown [1] to admit spherical saddle metrics of the form for both zero and nonzero Λ 0 .Here dΩ 2 D−1 is the induced metric on a D − 2 dimensional sphere.Two metric components g τ τ = h and g rr = 1/f are some radial dependent functions that solve the field equations, with h chosen to satisfy the boundary condition where l is the radial proper distance from the Euclidean horizon.When such a stationary point dominates, the partition function can be approximated by the minimum saddle action I min E , thus yielding Z ≈ exp (−I min E ) due to the vanishing of Ĉ for any saddles.The logarithm of Z then turns out to be the Bekenstein-Hawking entropy, i.e., one quarter of the horizon area of the boundary.Hence, the dS partition function can be understood as a special case of (1.1) where the boundary of V matches that of the dS horizon.Furthermore, this result not only justifies the interpretation of the dS entropy as the measure of the dimension of Hilbert space, but also generalizes the description of entropy (originally associated with an area) to a volume separated by a boundary.
Motivated by this approach, we investigate here how these conclusions are modified in higher curvature theories of gravity.In the low energy effective action of whatever theory provides the UV completion to General Relativity, such theories are generically expected to appear, and are known to modify the entropy of a black hole [16].It is therefore natural to inquire as to how they affect the entropy of a volume of space.For simplicity, we consider Lovelock gravity since the quasi-local energy in Lovelock theory is given by an integral on the system's boundary [17], affording the same interpretation of dS entropy as the dimension of Hilbert space as for GR [6,7].

Towards Lovelock theory
The only change we make to (1.1) is the replacement of I E by the general Lovelock action [18], where the α p are coupling constants.The D-form R (p) is given by the antisymmetrization of exterior products of p curvature 2-forms1 R ab , with D − 2p vielbeins e a , which reads where the total antisymmetric tensor ϵ is defined by ϵ 0•••(D−1) = +1 in an orthonormal basis.For convenience we write The zeroth and the first order couplings are set to 2Λ 0 and −1 respectively for consistency with (1.3), rendering (2.1) a higher curvature modification of GR.
The Lovelock action can be easily evaluated for the ansatz (1.4) in the language of differential forms.In the vielbein frame defined by the curvature 2-forms can be directly obtained by manipulating those vielbeins with Cartan formulae for zero-torsion and metric compatible geometries.The non-vanishing and nonrepeating components for R ab are then where ′ denotes the derivative with respect to r, numbers are used for all coordinate directions and the Latin indices i, j represent coordinate indices on the sphere S D−2 .The Lovelock density (2.2) of order p can be rewritten as where the Levi-Civita tensor is replaced by permutations of the cyclic group S D of order D.
Since the curvature forms R ab are proportional to e a ∧ e b and each index appears exactly once in each permutation, we conclude all indices are distinct in the R ••• term in (2.4).This means that there are only five possible pairings of the terms in (2.3), yielding for the on-shell density, where are the four possible coefficients of the curvature forms.The quantities A to E are and are coefficients counting the duplicates of each building block.For instance, A represents the number of permutations of {0, 1} that appear in a single R ab -hence a factor of 2 shows up for the two different arrangements of {0, 1}; the second factor counts all different places that R 01 appears; the remaining (D − 2)! term corresponds to all the permutations with 0, 1 fixed.Other parameters can be obtained in a similar way.Collecting all building blocks together, we finally arrive at (2.5) The field equations on the GSSS shell (1.4) are obtained through extremizing the volume-fixed action with respect to g 00 = h(r) and g 11 = f (r) simultaneously.Given the tensor defined as E ab := δI E [g]/δg ab , the relations (2.1), (2.5), together with the volume constraint in (1.1) give rise to which can be equivalently cast into They, respectively, correspond to the explicit expansions which are consistent with the result in [19] but with some sign flips due to the positive definiteness of the Euclideanized metric (1.4).
The metric function f is fully characterized by the first equation, and so is the same as the one for unconstrained dS vacua since the volume constraint makes no contribution here.The spatial metric component thus takes the specific form given by with some positive reduced cosmological constant Λ that satisfies the algebraic equation where H(x) is defined as a polynomial of the form (2.10) where we have taken out a factor of (D − 1) to simplify subsequent expressions.
The non-trivial effects of the volume constraint take place in the second equation, which causes h to deviate from its value of unity for unconstrained dS vacua.More precisely, the explicit relation between λ and the metric component h is given by the direct substitution of (2.8) to (2.7) which yields 16πλ where H ′ (x) is the first derivative of H with respect to its argument, and λ should be a pure constant since no factor is τ -dependent in the equation.Note that the (2.11) imposes the same structure on h as in GR [1], which implies that the solutions for all Lovelock theories (GR included) are qualitatively the same.The only distinction between the various theories is that (2.9) admits multiple solutions that depending on the coupling constants α p .These correspond to various distinct Lovelock vacua that are characterized by different effective cosmological constants.These constants should be limited to non-negative values since only those that have closed topologies are consistent with a vanishing Gibbons-Hawking term in the proposed action [1].The allowed saddles can be classified into two categories, Λ = 0 and Λ > 0, and each contributes to the partition function qualitatively differently.In other words, the category of I min E should be clearly specified when approximating the states of density by saddle points.In subsequent sections we will explore generic solutions for h(r) and evaluate Z as it is maximized by each type.

I min for a vanishing cosmological constant
Whenever the saddle of vanishing Λ minimizes the action, the value of I min E can be obtained by substituting the solution of (2.11) into (2.5)under the assumption Λ = 0.In this scenario, f reduces to 1, and the solution for the tt component of the metric becomes where the factor of D − 2 comes from H ′ (0).The constant of integration r v satisfying h(r v ) = 0 locates the horizon at the boundary of the volume ball and is determined by the spatial volume constraint Along with the metric the range of integration of (2.1) needs to be clarified.The spatial range is limited to the volume V whereas the Euclidean time τ is restricted to a closed loop with period β, whose value is determined from eliminating the conical singularity of the manifold M E at r v .In the vicinity of the horizon the metric is approximately where r ≈ r v − l.It is easy to see that the quantity ϕ := 8πr v λτ /(D − 2) must have a period of 2π, or equivalently τ has a period of β = (D − 2)/(4λr v ), so that the conical singularity is removed.This establishes the relationship between β and λ; in terms of β the metric reads and its accompanying Ricci scalar is An explicit calculation then shows that the action is where We see that the Ricci scalar is the only contributing term to the Lagrangian density, since (2.5) becomes trivial for any p ≥ 2 when f = 1.The cosmological term is necessarily zero due to H(0) = 2Λ 0 /(D − 1) = 0.The final result clearly indicates that the Bekenstein-Hawking entropy, which is one quarter of the boundary area A v , is the extremal value of the action in this case for all Lovelock theories.

I min E
for a positive effective cosmological constant In the case where the action is minimized by some solution with a positive Λ, the function h satisfying (2.11) takes the form where Λ is some positive quantity that solves H = 0. Again, the constant of integration 1 − Λr 2 v implies the existence of a singularity at the horizon r v .The multiplier λ can again be written in terms of the period β by eliminating the conical singularity, which yields Thus the saddle metric for a constrained dS vacuum reads where the reparametrization sin χ = √ Λr is applied for simplification.If the horizon matches the cosmological one, or equivalently χ v = π/2, the metric (4.3) reduces to the static patch for unconstrained Euclidean dS spacetime, namely For the Lagrangian density (2.5) we obtain for the saddle (4.3).The action then becomes where χ v is constrained by and the horizon area A v is given by Note that the second term in the action vanishes since H(Λ) = 0, and so its value is independent of χ v .This means the action is the same as the unconstrained dS action but with A v replaced by the area of cosmological horizon.The result can be further simplified by setting H = 0, for which we rewrite the factor D as D − 2p + 2p, For non-zero Λ, the first term vanishes as it is proportional to H(Λ).The second one is the negative of the Wald entropy for the boundary area A v , consistent with [20].

Phase transitions between different vacua
As mentioned above, the approximation for Z only works for cases where saddle points exist.Its validity necessarily confines the system into a certain amount of volume.This value is bounded by the total spatial volume screened inside the cosmological horizon in GR where only one vacuum solution could exist.However, Lovelock gravities extend the possibilities for vacuum solutions, and so we expect a discontinuity to appear in S when V reaches an intermediate value between two cosmological spatial volumes if the saddle point dominating for a smaller V no longer remains a solution due to the volume exceeding its maximum.For a dS vacuum, its free energy reduces to the gravitational entropy due to the lack of quasi-local energy Therefore a discontinuity in S implies a zeroth-order phase transition at a given temperature.
We take Gauss-Bonnet gravity in D ≥ 5 to illustrate this idea.In this scenario, possible dS vaccua are characterized by non-negative solutions of using (2.9).Consider the parameter space where (5.1) has two non-negative solutions.This forces the sum and the product of two solutions to satisfy which further reduce to α 2 > 0 and Λ 0 ≥ 0. Furthermore, (5.1) simplifies the saddle action to be where Λ is a solution to (5.1), and A v is induced by (4.7) together with the constraint (4.6).An immediate conclusion we can draw from (4.6) is that when V is sufficiently small such that both saddles exist, a smaller Λ implies a greater r v and thus a larger boundary area at a given volume.Note that a smaller Λ vacuum has a larger volume bound; in order to construct such a transition, we eliminate cases where the saddle with the smaller Λ minimizes the action for any volume smaller than the maximum V that corresponds to the other solution.In other words, to have transitions, larger Λ must have smaller action where this saddle exists.
It is easy to see Λ 0 = 0 implies one negative and one positive action for Λ = 0 and Λ ̸ = 0, respectively.The solution with zero Λ always dominates the partition function, and so yields no interesting transition behaviour.For a positive Λ 0 , we divide the discussion into three cases.
1. D/(D − 4) − Υ < 0 for both vacua In this case, the larger Λ does not dominate the action for any V , since its A v is smaller and the square bracket in (5.3) is less negative.So this case is trivial.3. D/(D − 4) − Υ > 0 for both vacua This case likely allows a discontinuity since A v is larger and D/(D − 4) − Υ is less positive for the solution with a smaller Λ.However we find that, at least for even dimensions, the smaller Λ solution always dominates the partition function as long as V is smaller than its cosmological volume.This is because in order to ensure that (5.3) has the desired properties, we not only need two degrees of freedom from Λ ± but also that from Λ 0 .
In summary, a phase transition is generically not allowed in the Gauss Bonnet theory.However the situation differs in cubic (or higher-curvature) Lovelock gravity, since there are more coupling constants but the number of solutions required to make the transition take place is still only two.
As an example, we find that zeroth-order transitions can occur in cubic Lovelock gravity theory in D ≥ 7. Noting that F/T = − ln Z = I, as shown in figure 1, we can see three different vacua emerge in a particular case of cubic Lovelock gravity where the vacuum with a larger Λ has the smaller action.Meanwhile, a larger Λ implies a smaller cosmological volume.Thus two zeroth order phase transitions appear in the free energy diagram at a fixed temperature as shown in the figure 1.
Although our examples have been for even spatial dimensions, we expect similar results to hold for odd dimensions as well.In this case the integral in volume (4.6) contains a part related to an inverse trigonometric function, and solving for r v for a given V must be carried out numerically.

Conclusions
Our results support the interpretation of the dS entropy as the dimension of the Hilbert space of all states constrained in a spatial volume, even when higher-curvature corrections to Einstein gravity are taken into account.
We have found that such corrections, as described by Lovelock gravity, generally yield metrics of constrained dS vacua that take the same form as that in Einstein gravity [1].However instead of the unique dS horizon radius given by the bare cosmological constant, we now have multiple vacua characterized by the non-negative zero points of (2.9).As long as the partition function is dominated by one of these saddles, the logarithm of Z is given by the Wald entropy of the boundary.Once this vacuum no longer minimizes the Euclidean action due to volume expansion, a phase transition between vacua will occur.

2 .
D/(D − 4) − Υ has a different sign for each vacuum Here the solution with D/(D − 4) − Υ > 0 has a larger Λ and larger action.Thus this case also produces a trivial effect.