Pith. sign in

REVIEW 2 major objections 4 minor 24 references

Arbitrarily Negative Energy for Small Kaluza-Klein Bubbles

T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A family of time-symmetric initial data makes Kaluza-Klein bubble energy unbounded below even at fixed geometric sizes.

desk verdict A genuinely new unbounded-below energy result for fixed-size KK bubbles; the only unproven step, I2=O(p), looks right on inspection but should be tightened by a referee. read the letter →

arxiv 2507.22120 v2 pith:2T5CXZMV submitted 2025-07-29 hep-th gr-qc

Gary T. Horowitz , Guanyu Lu This is my paper · ORCID
classification hep-thgr-qc
keywords Kaluza-KleinbubbleofnothingADMenergynegativetime-symmetricinitialdataHamiltonianconstraintvacuuminstabilityAdS/CFTunbounded
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper tries to establish that the total (ADM) gravitational energy of a Kaluza-Klein bubble of nothing is unbounded from below, even when the two geometric scales one would naturally fix are held fixed: the radius $R$ of the $S^1$ at infinity and the radius $\rho_0$ of the minimal $S^2$ where the circle pinches off. It does this with an explicit family of time-symmetric initial data controlled by a parameter $p$; for large $p$ the energy is $E = -p^3/(2^9 R^2) + O(p^2)$, so it tends to $-\infty$ while $\rho_0$ and $R$ do not change. Because this occurs for arbitrarily small bubbles, the paper concludes that the standard Kaluza-Klein vacuum is more unstable than earlier negative-energy examples suggested. The analogous construction with a negative cosmological constant does not become unbounded, which the authors read as agreement with AdS/CFT.

What carries the argument

The machinery is the ansatz for $\alpha(\rho)$ together with the integral solution of the Hamiltonian constraint. With $f_1=(\alpha\beta)^{-1}$ and $f_2=\alpha$, the constraint ${}^{(4)}R=0$ becomes a first-order equation for $\beta$, solved by $\beta(\rho)=e^{-\int h_1/h_2}(c+\int e^{\int h_1/h_2}/h_2)$. The chosen $\alpha$ makes the large-$p$ expansion of $I_1$ produce a term $e^{I_1} \sim 2^{10}\rho_0 d^2 p^{-3} e^{2p/\rho_0}$, which, when multiplied by $(\alpha'(\rho_0))^2=e^{-2p/\rho_0}/d^2$, yields the cubic negative term. The argument that the positive integral $I_2$ does not cancel it rests on the asymptotic behavior of the integrand and on numerical integration.

What would settle it

Evaluate $I_2(p)$ from Eq. (13c) by high-precision numerical integration for, say, $\rho_0=d=1$ and $R=1$ at large $p$ (e.g. $p=10^2$ to $10^4$). If $\log I_2/\log p$ approaches $3$ rather than $1$, the claimed $O(p)$ behavior fails and the central conclusion is false.

Watch

Extended reading notes

Core claim

The central claim is that no bound on the ADM energy of a Kaluza-Klein bubble of nothing can be formed from the bubble's geometric size. Starting from a time-symmetric metric $ds^2 = (\alpha\beta)^{-1} d\rho^2 + \rho^2 d\Omega^2 + \alpha d\phi^2$ and imposing the Hamiltonian constraint, the paper chooses $\alpha(\rho) = (\rho-\rho_0)/(\rho-\rho_0+d)\,e^{-p/\rho}$. The no-conical-singularity condition fixes the integration constant $c = 4(\alpha'(\rho_0))^2/R^2$, and the large-$p$ asymptotics of the integral representation give $e^{I_1} \simeq 2^{10}\rho_0 d^2 p^{-3} e^{2p/\rho_0}$. Since $\alpha'(\rho_0)=e^{-p/\rho_0}/d$, the smoothness term contributes $-p^3/(2^9 R^2)$ to leading order, while all other terms contribute at most $O(p^2)$. The result is Eq. (27), $E = -p^3/(2^9 R^2) + O(p^2)$, with $\rho_0$, $R$, and $d$ fixed.

Load-bearing premise

The load-bearing premise is that the integral $I_2$ in the energy formula grows at most linearly in the parameter $p$; if it grew as fast as $p^3$, it could cancel the negative leading term and the energy would not be unbounded.

Editorial extensions

If this is right

  • No lower bound on the ADM energy of a Kaluza-Klein bubble of nothing can be stated in terms of the circle radius at infinity and the minimal-sphere radius at the bubble.
  • Arbitrarily small bubbles can have arbitrarily negative energy, so the flat Kaluza-Klein vacuum is unstable in a stronger sense than the older negative-energy examples suggested.
  • Zero-energy initial data that look like the Kaluza-Klein vacuum outside a small region should exist, making a small-action instanton for vacuum decay plausible.
  • The AdS analogue remains bounded below, so the mechanism is special to asymptotically flat Kaluza-Klein boundary conditions, consistent with AdS/CFT.
  • Bubbles with very negative energy start out expanding at the moment of time symmetry, since very negative energy forces $\alpha'(\rho_0)$ to be small.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A rigorous bound showing $I_2=O(p)$ would turn the heuristic cancellation argument into a proof; until then the unboundedness claim rests on that numerical and heuristic step.
  • Because the main family's curvature at the bubble grows exponentially with $|E|^{1/3}$, quantum gravity may restore a lower bound at the Planck scale; the appendix's polynomial-curvature family indicates that this is not an artifact of the specific ansatz.
  • The AdS contrast suggests a general energy-minimization theorem for fixed boundary $S^2\times S^1\times R$; extending recent proofs from other boundary topologies could settle it.
  • Numerically evolving this initial data would test whether the combination of a small bubble and huge negative energy leads to rapid expansion or to a naked singularity.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. This paper constructs an explicit family of time-symmetric, SO(3) x U(1)-symmetric initial data for five-dimensional Kaluza-Klein theory and analyzes the ADM energy of the resulting bubble-of-nothing spacetimes. The metric ansatz is given in Eq. (2), with the function alpha(rho) chosen in Eq. (14). The authors solve the Hamiltonian constraint exactly through Eq. (10) and derive a general closed-form expression for the ADM energy, Eq. (13). For large values of the parameter p, they obtain the asymptotic result E = -p^3/(2^9 R^2) + O(p^2), with the bubble radius rho0 and the S1 radius R fixed, implying that the ADM energy is unbounded from below even for fixed geometric bubble size. The paper also checks consistency with the Brill-Pfister bound, shows that the bubbles initially expand, and presents numerical evidence that the analogous construction in asymptotically AdS spacetimes does not lead to arbitrarily negative energy.

Significance. If the central estimate is correct, the paper settles a natural question in Kaluza-Klein gravity: it shows that no lower bound on the ADM energy can be expressed solely in terms of the size of the minimal S2 at the bubble and the S1 radius at infinity. The construction is explicit, the Hamiltonian constraint is solved exactly, and the leading term in Eq. (27) is derived analytically. The paper also gives useful consistency checks (Section V) and a physically motivated contrast with AdS/CFT (Section VI), where the same construction yields bounded energy. A particular strength is that the parameter p is a free parameter of the ansatz, not fitted to the target energy, so the argument is not circular. The main weakness is that the estimate I2 = O(p) in Section IV, on which the unboundedness result depends, is supported only by a heuristic argument and a numerical integration with a cutoff rather than by a rigorous bound.

major comments (2)
  1. [Sec. IV, Eq. (13c) and Eq. (27)] The central claim E = -p^3/(2^9 R^2) + O(p^2) relies on the estimate I2 = O(p) for the integral defined in Eq. (13c). The justification in the text before Fig. 1 is heuristic: it asserts that the positive first factor in the integrand stays close to zero until rho ~ sqrt(|alpha2|) ~ p and then approaches one. This does not rule out an interval of length ~p^3 on which that factor is still near zero, which would make I2 ~ -c p^3 and therefore -I2/2 ~ +c p^3/2, potentially canceling the leading negative term in Eq. (26). The numerical plot in Fig. 1 is not a substitute for a proof: it covers only p <= 100 and, as the footnote states, involves a cutoff for divergent terms. I ask the authors to replace this step with a rigorous pointwise bound on the integrand, using the explicit expression in Eq. (20), or to provide a controlled asymptotic expansion of I2 as p -> infinity that establishes I2 = O(p).
  2. [Appendix B, Eq. (B16)] The same uncontrolled estimate is used in Appendix B, where the claim that "by the same reasoning as in section IV, I2 is at most linear in b" is asserted. The integrand there involves the roots of the quintic Q(x), so the behavior is more complicated than in the main text. Since the unboundedness result in Appendix B also hinges on this linear-in-b estimate, the authors should either prove it or state explicitly that the appendix reports a conjectural family pending a rigorous bound.
minor comments (4)
  1. [Eq. (14)] The ansatz states p in R, but the positivity of h2 and the large-p analysis require p >= 0; please state this restriction explicitly.
  2. [Eqs. (17)-(19)] The roots rho_i of the cubic can be complex, but the notation treats them as real quantities. It would be clearer to state that the partial-fraction decomposition and the products are understood in the complex plane and that the final expressions are real.
  3. [Fig. 1] The figure would be more informative if it showed the numerical error associated with the cutoff and an overlay of a linear fit, so the reader can assess how convincingly the stated I2 = O(p) behavior is supported.
  4. [Sec. VI] The AdS analysis is numerical for selected parameter values; the text appropriately hedges the conclusion, but it would help to list the range of rho0/l and p values that were checked.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the unbounded-energy result is derived from an explicit ansatz with a free parameter p, and the unproven I2 = O(p) estimate is a rigor gap rather than a circular reduction.

full rationale

The central claim, Eq. (27), follows from an explicit family (14) with p a free parameter; Eq. (13) is derived from the Hamiltonian constraint and the ADM boundary integral, not from the target energy. The leading term (26) is an analytic expansion, and I2 is a definite integral of the same ansatz, not a fitted parameter. The only delicate step is the heuristic bound I2 = O(p) in Sec. IV: the paper argues from Eq. (A7) and Fig. 1 that the positive first factor of the I2 integrand approaches one by rho ~ sqrt(|alpha2|) ~ p. This is a mathematical-estimate gap, not circularity; even if the estimate failed, that would falsify the construction, not reveal that an input was renamed as an output. Self-citations [11], [12], [16], [17], and [21] are used for context, consistency checks, and the AdS contrast; they are not needed to establish the flat-space unboundedness. Section VI explicitly disclaims a proof ('While we do not have a proof...'), and the AdS boundedness discussion is not the paper's main claim. No equation is equivalent to another by construction, and no fitted parameter is called a prediction. The numerical plot in Fig. 1, with its stated cutoff, is supporting evidence for an estimate, not an input to the derivation.

Assumptions & free parameters 2 free parameters · 5 assumptions · 0 invented entities

The central claim rests on standard general-relativity constraint and ADM formulas plus a specific two-parameter ansatz. The only hand-chosen quantities are the family parameters p and d. No new particles, forces, or entities are introduced. The I2 estimate is a numerical check, not an added axiom.

free parameters (2)
  • p = p -> +infinity; no fixed numerical value
    The hand-chosen parameter in the ansatz Eq. (14) that drives the energy E ~ -p^3/(2^9 R^2). It is varied to make the ADM energy arbitrarily negative while rho0, R, and d stay fixed.
  • d = Arbitrary positive constant; figures use d = 1
    A positive shape parameter in the ansatz Eq. (14). The unboundedness holds for any fixed d > 0, so it is not fitted to the claimed energy.
assumptions (5)
  • domain assumption A time-symmetric slice has K_ij = 0, so the Hamiltonian constraint reduces to (4)R = 0.
    Used at the start of Section III to solve for f1 from a chosen f2.
  • standard math The five-dimensional ADM energy is given by Eq. (1) and equals m + mu for the asymptotic expansion (2)-(3).
    Adopted from Bombelli et al. and Deser-Soldate; this defines the quantity the paper shows is unbounded.
  • domain assumption The S1 collapse at the bubble is smooth only if b R^2 / (4a) = 1, which fixes the integration constant c.
    Equation (6), used to set c = 4 / (R^2 alpha'(rho0)^2) in Eq. (11).
  • ad hoc to paper The chosen ansatz alpha(rho) in Eq. (14) with p >= 0 keeps h2(rho) > 0 and yields a positive regular beta(rho) via Eq. (10).
    This specific ansatz is the engine of the construction; its choice is not derived from deeper principles.
  • standard math The large-rho expansions in Appendix A justify Eq. (13) and the asymptotic behavior used for I1 and I2.
    The energy formula relies on these expansions; they are standard but not machine-checked.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Arbitrarily Negative Energy for Small Kaluza-Klein Bubbles." pith.science (2026). https://pith.science/paper/2T5CXZMV

@misc{pith2026250722120,
  author       = {Pith},
  title        = {Pith review of: Arbitrarily Negative Energy for Small Kaluza-Klein Bubbles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2T5CXZMV}},
  note         = {Machine review of arXiv:2507.22120}
}
read the original abstract

We show that the ADM energy of a Kaluza-Klein bubble of nothing is unbounded from below even if the size of the circle at infinity and the size of the minimal sphere at the bubble are fixed. We demonstrate this by presenting a family of explicit time-symmetric initial data satisfying these boundary conditions with arbitrarily negative energy. In particular, this is true for very small bubbles, which indicates that the standard Kaluza-Klein vacuum is more unstable than previously thought.

Figures

Figures reproduced from arXiv: 2507.22120 by the authors.

Figure 1
Figure 1. FIG. 1: A plot of [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. , both E and B are O (p 3 ) and E > −2B. 2×106 4×106 6×106 8×106 1×107 p3 -20 000 -15 000 -10 000 -5000 E -2 B FIG. 2: A plot of E and −2B vs. p 3 , with ρ0 = R = d = 1 [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. FIG. 3: Plots of the integral contributions to the energy, with [PITH_FULL_IMAGE:figures/full_fig_p011_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: FIG. 4: A plot of [PITH_FULL_IMAGE:figures/full_fig_p011_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 19 canonical work pages

  1. [1]

    Schoen and S.-T

    R. Schoen and S.-T. Yau, On the proof of the positive mass conjecture in general relativity, Commun. Math. Phys. 65, 45 (1979)

    work page 1979

  2. [2]

    Schoen and S.-T

    R. Schoen and S.-T. Yau, Positivity of the total mass of a general space-time, Phys. Rev. Lett. 43, 1457 (1979)

    work page 1979

  3. [3]

    (B12) 15 Hence, − 2ρ0 R2eI1 (α′(ρ0))2 = − 35/2 Q3 i=1 (−ri)qi b 23/2R2ρ4 0d2 1 + O b−1/2

    (B10) Thus, p1 = q1 + O b−1/2 , p 2 = q2 + O b−1/2 , p 3 = q3 + O b−1/2 , (B11a) p4 = 5 2 + O b−1/2 , p 5 = 5 2 + O b−1/2 , (B11b) where qi are given by qi = 48r2 i + 4(8ρ0 + 8d + p)ri + 4ρ2 0 + 12dρ0 + 2dp 18r2 i + 2(8ρ0 + 5d + p)ri + 2ρ2 0 + 6dρ0 + dp . (B12) 15 Hence, − 2ρ0 R2eI1 (α′(ρ0))2 = − 35/2 Q3 i=1 (−ri)qi b 23/2R2ρ4 0d2 1 + O b−1/2 . (B13) So t...

    work page

  4. [4]

    Witten, A new proof of the positive energy theorem, Commun

    E. Witten, A new proof of the positive energy theorem, Commun. Math. Phys. 80, 381 (1981)

    work page 1981

  5. [5]

    Kaluza, Zum Unit¨ atsproblem der Physik, Sitzungsber

    T. Kaluza, Zum Unit¨ atsproblem der Physik, Sitzungsber. Preuss. Akad. Wiss. Berlin (Math. Phys. ) 1921, 966 (1921), arXiv:1803.08616 [physics.hist-ph]

    arXiv 1921

  6. [6]

    Schoen and S.-T

    R. Schoen and S.-T. Yau, Proof of the positive mass theorem. II., Commun. Math. Phys. 79, 231 (1981)

    work page 1981

  7. [7]

    Zhang, Positive mass conjecture for five-dimensional Lorentzian manifolds, J

    X. Zhang, Positive mass conjecture for five-dimensional Lorentzian manifolds, J. Math. Phys. 40, 3540 (1999)

    work page 1999

  8. [8]

    Dai, A positive mass theorem for spaces with asymptotic SUSY compactification, Commu- nications in Mathematical Physics 244, 335–345 (2004)

    X. Dai, A positive mass theorem for spaces with asymptotic SUSY compactification, Commu- nications in Mathematical Physics 244, 335–345 (2004)

    work page 2004

Show all 24 references
  1. [9]

    Klein, Quantentheorie und f¨ unfdimensionale Relativit¨ atstheorie, Zeitschrift f¨ ur Physik A 37, 895 (1926)

    O. Klein, Quantentheorie und f¨ unfdimensionale Relativit¨ atstheorie, Zeitschrift f¨ ur Physik A 37, 895 (1926). 16

    1926

  2. [10]

    Witten, Instability of the Kaluza-Klein vacuum, Nucl

    E. Witten, Instability of the Kaluza-Klein vacuum, Nucl. Phys. B 195, 481 (1982)

    1982

  3. [11]

    Brill and G

    D. Brill and G. T. Horowitz, Negative energy in string theory, Phys. Lett. B 262, 437 (1991)

    1991

  4. [12]

    A more physical and natural choice is to fix the size of the minimal S2 at the bubble (and the S1 at infinity), which is what we consider in this paper

    derived a lower bound to the energy, but their bound was in terms of a radial coordinate in a conformally related flat space which does not have any direct geometric significance. A more physical and natural choice is to fix the size of the minimal S2 at the bubble (and the S1...

    2025 arXiv

  5. [13]

    Dai, A note on positive energy theorem for spaces with asymptotic SUSY compactification, Journal of Mathematical Physics 46, 10.1063/1.1862095 (2005)

    X. Dai, A note on positive energy theorem for spaces with asymptotic SUSY compactification, Journal of Mathematical Physics 46, 10.1063/1.1862095 (2005)

    2005 doi

  6. [14]

    Deser and M

    S. Deser and M. Soldate, Gravitational energy in spaces with compactified dimensions, Nucl. Phys. B 311, 739 (1989)

    1989

  7. [15]

    We can calculate (4)Rθθ(ρ0) = 1 − ρ0α′(ρ0)β(ρ0) = 1 − 4ρ0 R2α′(ρ0) , (34) where we have used Eq

    that all the negative energy Brill-Horowitz bubbles [11] start out expanding. We can calculate (4)Rθθ(ρ0) = 1 − ρ0α′(ρ0)β(ρ0) = 1 − 4ρ0 R2α′(ρ0) , (34) where we have used Eq. (11). Hence, for our solution, ¨A = −8π 1 − 4ρ0d R2 e p ρ0 . (35) Thus, our Kaluza-Klein bubbles with ...

  8. [16]

    Brill and H

    D. Brill and H. Pfister, States of negative total energy in Kaluza-Klein theory, Phys. Lett. B 228, 359 (1989)

    1989

  9. [17]

    Bombelli, R

    L. Bombelli, R. K. Koul, G. Kunstatter, J. Lee, and R. D. Sorkin, On energy in five-dimensional gravity and the mass of the Kaluza-Klein monopole, Nucl. Phys. B 289, 735 (1987)

    1987

  10. [18]

    Corley and T

    S. Corley and T. Jacobson, Collapse of Kaluza-Klein bubbles, Phys. Rev. D 49, R6261 (1994), arXiv:gr-qc/9403017

    1994 arXiv

  11. [19]

    Copsey and G

    K. Copsey and G. T. Horowitz, Gravity dual of gauge theory on S2 × S1 × R, JHEP 06, 021, arXiv:hep-th/0602003

    arXiv

  12. [20]

    G. T. Horowitz, D. Wang, and X. Ye, New energy inequality in AdS spacetimes, Phys. Rev. D 110, 064015 (2024), arXiv:2406.13068 [gr-qc]

    2024 arXiv

  13. [21]

    Balasubramanian and P

    V. Balasubramanian and P. Kraus, A stress tensor for anti-de Sitter gravity, Commun. Math. Phys. 208, 413 (1999), arXiv:hep-th/9902121

    1999 arXiv

  14. [22]

    S. W. Hawking and G. T. Horowitz, The gravitational Hamiltonian, action, entropy and surface terms, Class. Quant. Grav. 13, 1487 (1996), arXiv:gr-qc/9501014

    1996 arXiv

  15. [23]

    G. T. Horowitz and R. C. Myers, The AdS / CFT correspondence and a new positive energy conjecture for general relativity, Phys. Rev. D 59, 026005 (1998), arXiv:hep-th/9808079

    1998 arXiv

  16. [24]

    Brendle and P.-K

    S. Brendle and P.-K. Hung, Systolic inequalities and the Horowitz-Myers conjecture (2024), arXiv:2406.04283 [math]

    2024

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.