arxiv: 2605.13921 · v1 · submitted 2026-05-13 · 🌀 gr-qc

Recognition: 2 theorem links

· Lean Theorem

A No-Go Theorem for Quantum Cosmologies with Non-natural Hamiltonians

Christine C. Dantas (Astrophysics Division , INPE , Brazil)

Authors on Pith no claims yet

Pith reviewed 2026-05-15 02:54 UTC · model grok-4.3

classification 🌀 gr-qc

keywords Eisenhart-Duval liftno-go theoremloop quantum cosmologymini-superspacenon-natural Hamiltoniansquantum cosmologygeometrization

0 comments

The pith

Non-quadratic cosmological dynamics cannot be geometrized via Eisenhart-Duval lifts.

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

The paper shows that the Eisenhart-Duval lift turns classical trajectories into null geodesics in higher-dimensional spacetime, but only when the Hamiltonian is quadratic in the momenta. Many effective quantum cosmology models replace the standard Hamiltonian with non-polynomial forms through polymer modifications, placing them outside the lift's requirements. This produces a no-go result: such models lack any metric geometrization within the ED framework. A reader would care because the limitation is structural and applies directly to concrete bounce scenarios in loop quantum cosmology.

Core claim

Mini-superspace cosmological models governed by non-natural Hamiltonians cannot admit an ED lift. Effective models in Loop Quantum Cosmology provide a concrete example: polymer-modified Hamiltonians become non-polynomial in the momenta and therefore fall outside the metric framework of the ED lift. We thus establish a kinematical no-go theorem: non-quadratic cosmological dynamics cannot be geometrized via ED constructions.

What carries the argument

The Eisenhart-Duval lift, which embeds dynamical trajectories as null geodesics in a higher-dimensional Lorentzian spacetime but only for natural Hamiltonians quadratic in canonical momenta.

If this is right

Quantum bounce models in loop quantum cosmology lie outside the metric framework of the ED lift.
Any cosmological dynamics featuring non-polynomial dependence on momenta are excluded from ED geometrization.
The restriction is purely kinematical and follows directly from the form of the Hamiltonian.
Metric geometrization of quantum-corrected cosmologies is limited to the subset of models that retain quadratic momentum structure.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Alternative geometrization schemes that do not rely on a quadratic Hamiltonian may be required for polymer or other effective quantum cosmologies.
The same structural barrier could appear in other modified gravity or quantum gravity models that introduce non-quadratic terms in the Hamiltonian.
Discrete geometric structures native to loop quantum cosmology might admit their own lifting constructions that bypass the ED restriction.

Load-bearing premise

The Eisenhart-Duval lift applies exclusively to natural Hamiltonians quadratic in the canonical momenta, and polymer-modified Hamiltonians are genuinely non-polynomial in those momenta.

What would settle it

An explicit construction of an ED lift for a concrete polymer-modified Hamiltonian in a mini-superspace model, or a proof that every such non-quadratic Hamiltonian can be rewritten as quadratic through a change of variables.

read the original abstract

The Eisenhart-Duval lift (ED) geometrizes classical dynamics by embedding their trajectories into null geodesics of a higher-dimensional Lorentzian spacetime. However, such a construction requires a natural Hamiltonian, that is, quadratic in the canonical momenta. As a consequence, mini-superspace cosmological models governed by non-natural Hamiltonians cannot admit an ED lift. Effective models in Loop Quantum Cosmology provide a concrete example: polymer-modified Hamiltonians become non-polynomial in the momenta and therefore fall outside the metric framework of the ED lift. We thus establish a kinematical no-go theorem: non-quadratic cosmological dynamics cannot be geometrized via ED constructions. Quantum-corrected bounce models therefore illustrate a structural limitation of metric geometrization within the ED framework.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper is a clean reminder that ED lifts require quadratic Hamiltonians, so polymer LQC models are excluded by definition.

read the letter

The main point is straightforward: the Eisenhart-Duval lift only geometrizes dynamics when the Hamiltonian is quadratic in the momenta, which means the non-polynomial effective Hamiltonians in loop quantum cosmology sit outside the construction. The authors call this a kinematical no-go and apply it directly to bounce models. That is the entire result, and it follows immediately from the standard definition of the lift rather than from any new calculation in the paper itself. What the work does well is keep the claim narrow and honest. It does not pretend to derive anything beyond the known quadratic requirement, and it correctly identifies polymer modifications as the concrete case that breaks the lift. The logic is tight because it rests on the pre-existing condition for the geodesic equation to reproduce Hamilton's equations. No extra assumptions about uniqueness or specific functional forms are needed. The only soft spot is that the note stays at the level of the definition without walking through an explicit LQC Hamiltonian or checking whether any modified lift might recover the dynamics in special cases. That is minor for a short observation, but a referee might ask for one concrete example to make the exclusion fully concrete. This is the kind of targeted clarification that matters for people already working on geometrization attempts in quantum cosmology. It is not reshaping the field, but it prevents a category error for anyone trying to embed LQC dynamics into a higher-dimensional metric. I would send it for peer review. The central claim is well-supported and the scope is appropriately limited.

Referee Report

1 major / 2 minor

Summary. The manuscript establishes a kinematical no-go theorem asserting that the Eisenhart-Duval (ED) lift cannot geometrize cosmological dynamics governed by non-natural Hamiltonians. Because the ED construction requires the Hamiltonian to be quadratic in the canonical momenta so that null geodesics on the lifted metric reproduce Hamilton's equations, effective models in Loop Quantum Cosmology whose polymer-modified Hamiltonians are non-polynomial in the momenta lie outside this class. The result is presented as a structural limitation on metric geometrization for quantum-corrected bounce cosmologies.

Significance. If the central claim holds, the work identifies a clear boundary condition for the applicability of the ED lift to quantum-gravity-inspired cosmologies. The argument is parameter-free, rests directly on the standard definition of a natural Hamiltonian, and requires no additional assumptions about the uniqueness of the lift or the precise form of the LQC correction. This supplies a falsifiable criterion that can be checked against any proposed effective Hamiltonian.

major comments (1)

[Abstract] Abstract: the central claim is stated without an explicit derivation of why the ED lift is restricted to quadratic Hamiltonians or a direct verification that a representative polymerized LQC Hamiltonian (e.g., the sin(μp)/μ replacement) is non-polynomial in the momenta; an inline derivation or short appendix would make the no-go fully self-contained.

minor comments (2)

[Abstract] The abstract and introduction could briefly recall the precise definition of the ED lift (the lifted metric and the null-geodesic condition) before stating the no-go, improving readability for readers outside the immediate subfield.
[Introduction] A short table or explicit comparison of the functional dependence on momenta for the classical FLRW Hamiltonian versus one or two LQC effective Hamiltonians would make the distinction concrete without lengthening the text.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment and the constructive suggestion to enhance the self-contained character of the no-go result. We agree that an explicit derivation strengthens the presentation and have revised the manuscript accordingly.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim is stated without an explicit derivation of why the ED lift is restricted to quadratic Hamiltonians or a direct verification that a representative polymerized LQC Hamiltonian (e.g., the sin(μp)/μ replacement) is non-polynomial in the momenta; an inline derivation or short appendix would make the no-go fully self-contained.

Authors: We thank the referee for this observation. In the revised manuscript we have added a short inline derivation in the introduction (immediately after the statement of the theorem) that recalls why the ED lift requires a Hamiltonian quadratic in the momenta: only then do the null geodesics of the lifted metric reproduce Hamilton’s equations via the standard projection. We also include an explicit verification that the polymerized replacement p → sin(μp)/μ yields a non-polynomial function of the momentum, confirming that the effective LQC Hamiltonian lies outside the natural class. These additions are placed in the main text and render the argument fully self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper applies the pre-existing definition of the Eisenhart-Duval lift, which by standard construction requires a natural Hamiltonian quadratic in the momenta. Polymer-modified LQC Hamiltonians are excluded solely because they are non-polynomial in momenta, a direct consequence of the known polymerization replacement. No equation in the paper reduces a prediction to a fitted input, no uniqueness theorem is imported from the authors' prior work, and no ansatz is smuggled via self-citation. The kinematical no-go follows from the external definition of natural Hamiltonians and is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the established definition of the Eisenhart-Duval lift and the standard form of effective Hamiltonians in loop quantum cosmology without introducing new free parameters or postulated entities.

axioms (1)

domain assumption The Eisenhart-Duval lift requires a natural Hamiltonian that is quadratic in the canonical momenta.
This requirement is invoked directly as the basis for the no-go theorem.

pith-pipeline@v0.9.0 · 5426 in / 1202 out tokens · 64261 ms · 2026-05-15T02:54:40.682963+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem (Structural No-Go): Let the Hamiltonian H(p, q) fail to be polynomial of degree two in canonical momenta. Then no Lorentzian metric on a finite-dimensional manifold reproduces its Hamiltonian flow via null geodesics in the Eisenhart–Duval construction.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

In effective LQC, the Hamiltonian typically takes the schematic form HLQC(q, p) = A(q) sin²(λp)/λ² + V(q), which is non-polynomial and periodic in p.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · 5 internal anchors

[1]

Eisenhart L P 1928 Annals of Mathematics 30 591–606 ISSN 0003486X, 19398980 URL http: //www.jstor.org/stable/1968307

work page arXiv 1928
[2]

Duval C, Burdet G, K¨ unzle H P and Perrin M 1985 Physical Review D 31 1841–1853 URL https: //doi.org/10.1103/PhysRevD.31.1841

work page doi:10.1103/physrevd.31.1841 1985
[3]

org/10.1103/PhysRevD.43.3907

Duval C, Gibbons G and Horv´ athy P 1991 Physical Review D 43 3907–3922 URL https://doi. org/10.1103/PhysRevD.43.3907

work page doi:10.1103/physrevd.43.3907 1991
[4]

Duval C, Henkel M, Horvathy P A, Rouhani S and Zhang P M 2024International Journal of Theoret- ical Physics 63 184 (Preprint 2403.20316) URL https://doi.org/10.1007/s10773-024-05673-0

work page doi:10.1007/s10773-024-05673-0
[5]

Cariglia M and Alves F K 2015 European Journal of Physics 36 025018 URL https://doi.org/ 10.1088/0143-0807/36/2/025018

work page doi:10.1088/0143-0807/36/2/025018 2015
[6]

1016/S0370-1573(96)00046-4

Overduin J M and Wesson P S 1997 Physics Reports 283 303–378 URL https://doi.org/10. 1016/S0370-1573(96)00046-4

work page 1997
[7]

org/10.1007/BF01208647

Brinkmann H W 1925 Mathematische Annalen 94 119–145 ISSN 1432-1807 URL https://doi. org/10.1007/BF01208647

work page doi:10.1007/bf01208647 1925
[8]

jstor.org/stable/1969831

Bargmann V 1954 Annals of Mathematics 59 1–46 ISSN 0003486X, 19398980 URL http://www. jstor.org/stable/1969831

work page arXiv 1954
[9]

Cariglia M, Galajinsky A, Gibbons G W and Horvathy P A 2018 European Physical Journal C 78 314 (Preprint 1802.03370) URL https://doi.org/10.1140/epjc/s10052-018-5789-x

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1140/epjc/s10052-018-5789-x 2018
[10]

Weinberg S 1972 Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity (New York: John Wiley & Sons) ISBN 9780471925675

work page 1972
[11]

Misner C W, Thorne K S and Wheeler J A 1973 Gravitation (San Francisco: W. H. Freeman and Company) ISBN 9780716703440

work page 1973
[12]

Cariglia M, Duval C, Gibbons G and Horv´ athy P 2016 Annals of Physics 373 631–654 ISSN 0003- 4916 URL https://www.sciencedirect.com/science/article/pii/S0003491616301348

work page 2016
[13]

Ermakov V P 2008 Applied Analysis and Discrete Mathematics 2 123–145 english translation by A. O. Harin, ed. P. G. L. Leach URL https://doi.org/10.2298/AADM0802123E

work page doi:10.2298/aadm0802123e 2008
[14]

Milne W E 1930 Physical Review 35 863–867 URL https://doi.org/10.1103/PhysRev.35.863 10

work page doi:10.1103/physrev.35.863 1930
[15]

Pinney E 1950 Proceedings of the American Mathematical Society 1 681 URL https://doi.org/ 10.1090/S0002-9939-1950-0037979-0

work page doi:10.1090/s0002-9939-1950-0037979-0 1950
[16]

Kiefer C 2012 Quantum Gravity 3rd ed (Oxford: Oxford University Press) ISBN 978-0199585205

work page 2012
[17]

Rovelli C 2004 Quantum Gravity (Cambridge: Cambridge University Press) ISBN 9780521837330

work page 2004
[18]

Thiemann T 2007 Modern Canonical Quantum General Relativity Cambridge Monographs on Math- ematical Physics (Cambridge: Cambridge University Press) ISBN 9780521842631

work page 2007
[19]

Rovelli C and Vidotto F 2015 Covariant Loop Quantum Gravity: An Elementary Introduction to Quantum Gravity and Spinfoam Theory Cambridge Monographs on Mathematical Physics (Cam- bridge: Cambridge University Press) ISBN 9781107069626

work page 2015
[20]

Ashtekar A and Singh P 2011 Classical and Quantum Gravity 28 213001

work page 2011
[21]

Ashtekar A, Pawlowski T and Singh P 2006 Physical Review Letters 96 141301

work page 2006
[22]

Ashtekar A, Pawlowski T and Singh P 2006 Physical Review D 74 084003

work page 2006
[23]

Singh P 2009 Classical and Quantum Gravity 26 125005 URL https://doi.org/10.1088/ 0264-9381/26/12/125005

work page 2009
[24]

Bojowald M, Diaz M and Duque E I 2025 arXiv e-prints arXiv:2507.08116 (Preprint 2507.08116)

work page internal anchor Pith review Pith/arXiv arXiv 2025
[25]

Brandenberger R and Peter P 2017 Foundations of Physics 47 797–850

work page 2017
[26]

Trautman A 1965 Sur la th´ eorie newtonienne de la gravitation Foundations and Current Problems of General Relativity ed Deser S and Ford K W (Englewood Cliffs, NJ: Prentice-Hall)

work page 1965
[27]

Gibbons G W 2016 Classical and Quantum Gravity 33 025004 (Preprint 1508.06755)

work page internal anchor Pith review Pith/arXiv arXiv 2016
[28]

Perlick V 2006 General Relativity and Gravitation 38 365–380 (Preprint gr-qc/0508029)

work page internal anchor Pith review Pith/arXiv arXiv 2006
[29]

Barcaroli L, Bramberger M, Girelli F, Pfeifer C and Wohlfarth M N R 2014 Physical Review D 90 084053 (Preprint 1407.3267) 11

work page internal anchor Pith review Pith/arXiv arXiv 2014