Pith. sign in

REVIEW 3 major objections 4 minor 38 references

A single geometric invariant — the curvature of an energy–momentum surface — decides whether a modified dispersion relation is physically stable, and every major Loop Quantum Gravity form passes the test.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-03 19:20 UTC pith:RNV7TLKP

load-bearing objection The paper's geometric stability criterion is load-bearing and false; the LQG robustness claims don't stand. the 3 major comments →

arxiv 2512.00933 v2 pith:RNV7TLKP submitted 2025-11-30 gr-qc

Geometric Constraints on Quantum Gravity-Inspired Dispersion Relations

Gines R. Perez Teruel This is my paper
classification gr-qc PACS 04.60.Pp04.60.-m11.30.Cp
keywords modified dispersion relationsquantum gravity phenomenologyGaussian curvaturehyperbolicityLoop Quantum Gravitydoubly special relativitynon-polynomial MDReffective field theory
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper aims to replace case-by-case analysis of modified dispersion relations (MDRs) from quantum gravity with a unified geometric test: represent any dispersion relation as a surface in energy–momentum space and read stability off the sign of its Gaussian curvature. Negative curvature means hyperbolic, well-posed propagation; positive curvature means an elliptic, unstable patch; critical points signal new invariant scales; thresholds become tangency of surfaces. Applying this test to non-polynomial MDRs beyond effective field theory — logarithmic, exponential, trigonometric — yields the first universal bounds on these relations. The central result is an exhaustive application to the four families of Loop Quantum Gravity MDRs (polymeric sine, holonomy-corrected, inverse-triad, semiclassical), all of which remain strictly hyperbolic with no elliptic patches in the phenomenologically relevant regime. If correct, this gives quantum-gravity phenomenology a coordinate-independent way to constrain theories even when EFT expansions break down.

Core claim

The paper's central claim is that intrinsic geometry of the embedded off-shell surface z=f(E,p) provides a complete viability criterion for any dispersion relation. With f_E, f_p derivatives, Gaussian curvature K = (f_EE f_pp - f_Ep^2)/(1+f_E^2+f_p^2)^2. K<0 corresponds to a saddle geometry and hyperbolic propagation; K>0 to an elliptic patch and loss of well-posedness; f_E=f_p=0 to critical points and possible new invariant scales; and reaction thresholds to tangency of mass shells. Applying this to all major LQG MDRs, the author finds the physical mass shell lies entirely within K<0 regions in the phenomenologically accessible domain, so these MDRs are strictly hyperbolic and free of criti

What carries the argument

The central object is the embedded off-shell dispersion surface S={(E,p,z): z=f(E,p)} in R^3, together with its Gaussian curvature K. Negative K is identified with hyperbolicity and well-posedness of the principal symbol; positive K with instability; critical points of f with new invariant scales. Thresholds for processes like photon decay are recast as tangency of the mass shells, i.e., parallel normals of the embedded surfaces. This single geometric machinery is applied uniformly to polynomial, non-polynomial and non-analytic MDRs, and to DSR via invariance of curvature under the reparametrization (E,p)->(E f(E/M_Pl), p g(E/M_Pl)).

Load-bearing premise

The paper assumes that negative Gaussian curvature of the off-shell surface is equivalent to hyperbolic, well-posed propagation (and positive curvature to instability) for arbitrary non-polynomial dispersion relations; this equivalence is asserted in Section 2 rather than derived.

What would settle it

For example, the polynomial symbol f(E,p)=E^2-p^2+εp^4-m^2 has K>0 for p ≳ 1/√(6ε) yet E(p)=√(p^2-εp^4+m^2) remains real; if such a model is well-posed while K>0, the criterion fails. A single such counterexample within a non-polynomial MDR would overturn the universal bounds and the LQG robustness claims that hinge on K<0.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • All four major LQG-motivated MDR families are kinematically stable in the observable window, so no instability-based exclusion applies to them.
  • The framework yields the first universal lower bounds on the scales Λ, M, λ for logarithmic, exponential and trigonometric MDRs, independent of EFT expansions.
  • Factorizable DSR relations are geometrically identical to special relativity, so any observable difference from SR must come from nonlinear coordinate transformations, not from the dispersion surface's intrinsic geometry.
  • Observational data on 100 TeV–1 EeV photons, neutrinos and cosmic rays directly translate into parameter exclusions for non-analytic MDRs via the geometric criteria.

Where Pith is reading between the lines

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

  • The identification of K<0 with hyperbolicity is an assumption the paper does not prove for general non-polynomial symbols; a counterexample where a K>0 region coexists with real dispersion would weaken the claimed universal limits.
  • The same curvature criterion could be used to screen other quantum-gravity dispersion relations — for example, those from non-commutative geometry or Horava gravity — without needing an EFT treatment.
  • The paper leaves open the converse: whether every hyperbolic, well-posed non-polynomial symbol necessarily has K<0 on the mass shell; this could be tested by constructing explicit counterexamples.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper advocates a geometric criterion for quantum-gravity-inspired modified dispersion relations (MDRs): embed the off-shell dispersion function f(E,p) as a graph in R^3 and use the sign of its Gaussian curvature K to decide whether the associated propagation is hyperbolic and stable (K<0) or elliptic/ill-posed (K>0). It applies this criterion to logarithmic, exponential, trigonometric, and four families of LQG-motivated MDRs, concluding that all LQG MDRs are strictly hyperbolic with no elliptic patches in the phenomenologically relevant regime, and that factorizable DSR relations are reparametrizations of special relativity with identical negative curvature. It also converts threshold conditions into geometric tangency conditions and claims the first universal bounds on non-analytic MDRs.

Significance. The derivative computations for the catalogue of MDRs are transparent and the threshold bounds for photon decay in logarithmic/exponential models are a useful, if standard, application. The framework unifies several diagnostics in a single geometric picture, which would be valuable if the central equivalence were correct. However, the two load-bearing pillars are invalid: the K<0 ↔ hyperbolicity identification (Sec. 2) and the diffeomorphism-invariance of Gaussian curvature used in the DSR section (Sec. 5). These errors invalidate the paper's main conclusions about LQG robustness and DSR triviality. The manuscript is a clear presentation of an interesting idea, but the mathematical foundation is not sound.

major comments (3)
  1. [Section 2, Eqs. (2.6)-(2.8)] The central identification K<0 ⇔ hyperbolicity is unproved and false. K in Eq. (2.6) is the Hessian determinant of f divided by a positive denominator; it is a convexity property of the graph z=f(E,p), not a property of the principal symbol of an evolution equation. The paper's own trigonometric MDR (3.17) has f_EE=2, f_pp=-2cos(2λp), so K>0 for π/4<|λp|<3π/4. Yet the on-shell energy E(p)=λ^{-1}|sin(λp)| is real and the associated pseudo-differential equation has frequencies ω^2=λ^{-2}sin^2(λk)+m^2≥0, so the Cauchy problem is well-posed. Thus K>0 is not an 'elliptic patch', and the bound (3.23) is not a hyperbolicity requirement. The Abstract's and §4's LQG robustness claims rest entirely on this invalid equivalence.
  2. [Section 5, Eq. (5.5)] Gaussian curvature is invariant under local isometries, not arbitrary diffeomorphisms. The map Φ in Eq. (5.3) is not an isometry of the induced metric. For example, with f(x)=1+αx, g=1, u=E+αE^2/M, the graph z=u(E)^2-p^2 has K_DSR(E,p)=[-4(u_E)^2-4u u_EE]/(1+4u^2u_E^2+4p^2)^2, whereas K_SR(u,p)=-4/(1+4u^2+4p^2)^2; these differ for α≠0. Therefore Eq. (5.5) and the consequences in §5 — that all factorizable DSR MDRs are geometrically identical to SR — are not established.
  3. [Sections 4-6 and Table 1] The claim of an 'exhaustive' analysis of LQG MDRs is not supported by the computations shown. In §4.3 the inverse-triad case is declared stable because 'the sign of f_pp remains negative' without giving a domain or a bound on β; no K formula is evaluated. In §4.4 the 'semiclassical/DSR-like' MDR is only an EFT truncation, yet it is grouped with exact non-polynomial MDRs in Table 1. More fundamentally, every 'Stable: Yes' entry inherits the invalid K-criterion from §2, so the table cannot certify hyperbolicity. If the authors intend the curvature diagnostics only as a heuristic, this must be stated explicitly and the hyperbolicity terminology withdrawn.
minor comments (4)
  1. [Throughout] Equation references in §3.3 and §6 ('Eq. 12', 'Eqs. 17-18', 'Eqs. 21-24') do not match visible numbering; add equation numbers and correct references.
  2. [Figures 1-3] Figure captions describe colored regions and white/dashed curves, but the submitted text contains only captions without figures. Ensure final figures include the announced K=0 loci and mass shell curves and are legible.
  3. [Table 1] Caption contains a typo: 'T able' should be 'Table'. Also, the row labels 'SaturationK(IR)' are ambiguous; clarify whether 'Saturation' means bounded momentum and what 'K(IR)' denotes.
  4. [Section 3.1, Eq. (3.4)] For β<0, the inequality (3.4) is divided by a negative quantity; the statement that this 'imposes a bound on |β|' is imprecise. Present the resulting bound on β explicitly.

Circularity Check

3 steps flagged

Central 'strict hyperbolicity' of LQG MDRs is a restatement of the paper's own K<0 definition, imported from a self-cited framework; only the threshold bounds are independent.

specific steps
  1. self definitional [Abstract; Section 2, Eqs. (2.7)–(2.8); applied in Sections 4.1–4.4]
    "Using the geometric framework of Ref. [16] ... negative curvature ensures hyperbolic and stable propagation ... K <0 =⇒ saddle geometry ⇒ off–shell hyperbolicity,(2.7) K >0 =⇒ elliptic patch ⇒ loss of hyperbolicity (instability),(2.8) ... Physically acceptable propagation requires that the mass shell Γ lies entirely in regions of S with K <0."

    The paper stipulates that K<0 is 'off-shell hyperbolicity' and K>0 is 'loss of hyperbolicity'. The LQG analysis never checks PDE hyperbolicity independently; it only evaluates the sign of K (e.g., §4.1: 'cos(2λp)>0 and therefore K<0: ... no elliptic patches or instabilities arise'). The Abstract then reports the same sign information as the result that LQG MDRs 'remain strictly hyperbolic ... with no elliptic patches'. Thus the target property is just the criterion restated. The cited Courant–Hilbert/Hörmander theorems apply to polynomial principal symbols; no finite-order principal symbol is constructed for these non-polynomial MDRs, so the citations do not provide an external check of the stipulated equivalence.

  2. self citation load bearing [Section 2 opening; Section 4 introductory paragraph and 'viability criteria']
    "We build on the geometric formalism developed in Ref. [16] ... Following Ref.[16], given a general dispersion function f(E,p), we describe the off–shell surface S:r(E,p)=(E,p,f(E,p)) ... The viability criteria are: K<0 =⇒ saddle geometry ⇒ off–shell hyperbolicity, K>0 =⇒ elliptic patch ⇒ instability (loss of hyperbolicity), fE=fp=0 =⇒ critical point of f (possible new invariant scale)."

    The central method—off-shell embedding plus the identification of K<0 with hyperbolicity—is imported from the author's own Ref. [16] rather than derived or independently verified in this paper. Since that self-cited criterion is exactly what generates the 'strictly hyperbolic / no elliptic patches' verdict for every LQG MDR, the self-citation is load-bearing: if Ref. [16]'s identification is removed or false, the paper's main robustness conclusion has no remaining support. No machine-checked, code-reproduced, or external benchmark is offered for the criterion.

  3. renaming known result [Section 5, Eqs. (5.1)–(5.7), 'Reparametrization to special relativity']
    "A key observation is that (5.1) becomes the standard relativistic form after a smooth, invertible change of variables. Define u(E)=E f(E/MPl), v(E,p)=p g(E/MPl). Under this map, the dispersion relation becomes u2−v2=m2 ... DSR belongs to the 'trivial' geometric class."

    The factorizable DSR form (5.1) is defined precisely so that the substitution (u,v) removes f and g. The 'result' that DSR is a reparametrization of SR, and hence geometrically trivial, is therefore built into the ansatz rather than derived from the curvature computation. Presenting it as a 'key observation' and a 'consequence' repackages the defining property and the known DSR construction as a finding of the geometric framework. The curvature-invariance claim used to transfer K_SR to K_DSR reinforces the coordinate renaming rather than supplying new constraints.

full rationale

The paper is not a fitted-input exercise: the logarithmic/exponential/photonic bounds in Sections 3.1–3.2 and 6 are genuine algebraic consequences of the assumed MDR forms and the threshold-tangency condition, and the paper itself notes that the strong logarithmic limit 'originates from the tangency criterion (threshold), not from hyperbolicity K<0'. Those parts are non-circular. The circularity is concentrated in the paper's central framework: 'hyperbolicity' is defined as K<0 (Eqs. 2.7–2.8), the LQG sections verify only the sign of K, and the Abstract/conclusions then report 'strictly hyperbolic' and 'no elliptic patches' as an independently established robustness result. That is a prediction reducing by construction to the defining criterion. The framework itself is carried over from the author's prior Ref. [16] without independent verification, making the self-citation load-bearing for the LQG claim. The DSR subsection additionally repackages the defining factorizable ansatz as a geometric discovery. Because the threshold-based bounds still stand and no parameters are fitted, the appropriate score is a partial 6, not a total 8 or 10.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

No numbers are fitted; parameters β, μ, λ, M, Λ, α are model inputs from the surveyed QG approaches. The load-bearing assumptions are the K↔hyperbolicity equivalence, the diffeomorphism invariance of K used in DSR, the representative character of the MDR forms, and the sub-Planckian observational regime.

axioms (5)
  • ad hoc to paper Gaussian curvature K<0 of the graph z=f(E,p) is equivalent to hyperbolic, well-posed propagation for the associated PDE.
    Stated in Section 2 after Eq. (2.6)-(2.9); no proof given and it is false: e.g. f=E^2-p^2+εp^4-m^2 has K>0 for p>1/√(6ε) while E(p) remains real.
  • ad hoc to paper Intrinsic Gaussian curvature is invariant under the map Φ:(E,p)→(u(E),v(E,p)) used for DSR.
    Section 5 Eq. (5.5); false unless Φ is an isometry of the induced metrics, which it is not.
  • domain assumption The listed MDR forms faithfully represent the QG approaches cited (causal sets, asymptotic safety, nonlocal gravity, κ-Poincaré, LQG families).
    Sections 3 and 4; no derivation from those approaches, only representative parameterizations from Refs [4-15,24-38].
  • domain assumption Phenomenologically relevant regime is sub-Planckian with p≤p_max ~ 100 TeV–1 EeV; mass shells remain in |λp|≪1 etc.
    Used throughout Section 4 to declare all LQG MDRs hyperbolic; e.g. §4.1 'in the experimentally accessible regime |λp|≪1'.
  • domain assumption At reaction threshold the three mass shells have common slope dE/dp and parallel normals.
    Eq. (2.10)-(2.11); standard for polynomial dispersion, asserted for non-polynomial.

pith-pipeline@v1.3.0-alltime-deepseek · 10297 in / 22050 out tokens · 214013 ms · 2026-08-03T19:20:02.096404+00:00 · methodology

0 comments
read the original abstract

Modified dispersion relations (MDRs) arise in many quantum-gravity approaches, often in non-polynomial or non-analytic form beyond the reach of effective field theory (EFT). Logarithmic, exponential and trigonometric MDRs appear in causal set theory, nonlocal gravity and $\kappa$-Poincar\'e models, while Loop Quantum Gravity (LQG) yields polymeric (sine), holonomy, inverse-triad and semiclassical corrections. Using the geometric framework of Ref.~\cite{GRP}, we analyse the intrinsic curvature of the associated energy--momentum surfaces, where negative curvature ensures hyperbolic and stable propagation, and curvature sign changes or critical points indicate kinematical instabilities or new invariant scales. We apply this method exhaustively to all major MDRs derived in LQG and find that they remain strictly hyperbolic in the entire phenomenologically relevant regime, with no elliptic patches or critical branching. The same framework provides universal constraints on representative logarithmic, exponential and trigonometric MDRs beyond EFT. Thus, geometric criteria yield a unified and coordinate-independent assessment of stability, thresholds and invariant scales, and demonstrate the robustness of MDRs emerging from LQG.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

38 extracted references · 3 linked inside Pith

  1. [1]

    Jacobson, S

    T. Jacobson, S. Liberati, D. Mattingly, Annals Phys.321, 150 (2006)

    2006

  2. [2]

    Amelino-Camelia, Living Rev

    G. Amelino-Camelia, Living Rev. Relativ.16, 5 (2013)

    2013

  3. [3]

    Hossenfelder, Living Rev

    S. Hossenfelder, Living Rev. Relativ.16, 2 (2013)

    2013

  4. [4]

    R. D. Sorkin, inApproaches to Quantum Gravity(Cambridge UP, 2009)

    2009

  5. [5]

    Henson, inApproaches to Quantum Gravity(Cambridge UP, 2009)

    J. Henson, inApproaches to Quantum Gravity(Cambridge UP, 2009)

    2009

  6. [6]

    Ambjørn, J

    J. Ambjørn, J. Jurkiewicz, R. Loll, Phys. Rev. Lett.95, 171301 (2005)

    2005

  7. [7]

    Reuter, F

    M. Reuter, F. Saueressig, New J. Phys.14, 055022 (2012)

    2012

  8. [8]

    Biswas, E

    T. Biswas, E. Gerwick, T. Koivisto, A. Mazumdar, Phys. Rev. Lett.108, 031101 (2012)

    2012

  9. [9]

    Modesto, Phys

    L. Modesto, Phys. Rev. D86, 044005 (2012)

    2012

  10. [10]

    Amelino-Camelia, Nature418, 34 (2002)

    G. Amelino-Camelia, Nature418, 34 (2002)

    2002

  11. [11]

    Kowalski-Glikman, Lect

    J. Kowalski-Glikman, Lect. Notes Phys.669, 131 (2005)

    2005

  12. [12]

    Ashtekar, S

    A. Ashtekar, S. Fairhurst, J. L. Willis, Class. Quant. Grav.20, 1031 (2003)

    2003

  13. [13]

    G. M. Hossain, V. Husain, S. S. Seahra, Class. Quant. Grav.27, 165013 (2010)

    2010

  14. [14]

    Amelino-Camelia, M

    G. Amelino-Camelia, M. Arzano, Y. Ling, G. Mandanici, Phys. Rev. D70, 107501 (2004)

    2004

  15. [15]

    Gambini, J

    R. Gambini, J. Pullin, Phys. Rev. D59, 124021 (1999)

    1999

  16. [16]

    Energy–Momentum Surfaces: A Differential Geometric Framework for Dispersion Relations,

    G. R. P´ erez Teruel, “Energy–Momentum Surfaces: A Differential Geometric Framework for Dispersion Relations,” Int. J. Geom. Meth. Mod. Phys. (2025), DOI: 10.1142/S0219887826500507, arXiv:2510.16577 [gr-qc]

    arXiv 2025

  17. [17]

    Liberati, Class

    S. Liberati, Class. Quant. Grav.30, 133001 (2013)

    2013

  18. [18]

    Collins, A

    J. Collins, A. Perez, D. Sudarsky, L. Urrutia, H. Vucetich, Phys. Rev. Lett.93, 191301 (2004)

    2004

  19. [19]

    A. A. Abdo et al. (Fermi-LAT Collaboration), Nature462, 331 (2009)

    2009

  20. [20]

    M. G. Aartsen et al. (IceCube Collaboration), Phys. Rev. Lett.113, 101101 (2014)

    2014

  21. [21]

    Aab et al

    A. Aab et al. (Pierre Auger Collaboration), Science357, 1266 (2017)

    2017

  22. [22]

    Courant and D

    R. Courant and D. Hilbert,Methods of Mathematical Physics, Vol. II (Interscience, New York, 1962)

    1962

  23. [23]

    H¨ ormander,The Analysis of Linear Partial Differential Operators, Vol

    L. H¨ ormander,The Analysis of Linear Partial Differential Operators, Vol. II (Springer, Berlin, 1983)

    1983

  24. [24]

    G. M. Hossain, V. Husain and S. S. Seahra, Phys. Rev. D80, 044018 (2009)

    2009

  25. [25]

    Grain and A

    J. Grain and A. Barrau, Phys. Rev. Lett.102, 081301 (2009); Phys. Rev. D79, 063512 (2009)

    2009

  26. [26]

    Bojowald and H

    M. Bojowald and H. Hossain, Phys. Rev. D77, 023508 (2008)

    2008

  27. [27]

    Agull´ o and P

    I. Agull´ o and P. Singh, arXiv:1612.01236 [gr-qc]. – 14 –

    Pith/arXiv arXiv

  28. [28]

    Brahma, C

    S. Brahma, C. Y. Chen and D. H. Yeom, Phys. Rev. D97, 086005 (2018), arXiv:1610.07865 [gr-qc]

    Pith/arXiv arXiv 2018

  29. [29]

    Bojowald and G

    M. Bojowald and G. M. Paily, Phys. Rev. D86, 104018 (2012)

    2012

  30. [30]

    Bojowald, Living Rev

    M. Bojowald, Living Rev. Relativ.11, 4 (2008)

    2008

  31. [31]

    Wilson-Ewing, Comptes Rendus Physique18, 207 (2017)

    E. Wilson-Ewing, Comptes Rendus Physique18, 207 (2017)

    2017

  32. [32]

    Bojowald, AIP Conf

    M. Bojowald, AIP Conf. Proc.1458, 16 (2011)

    2011

  33. [33]

    Bojowald, Universe6, 36 (2020)

    M. Bojowald, Universe6, 36 (2020)

    2020

  34. [34]

    Girelli, E

    F. Girelli, E. R. Livine and D. Oriti, SIGMA8, 098 (2012)

    2012

  35. [35]

    Ling, Phys

    Y. Ling, Phys. Rev. D73, 087702 (2006)

    2006

  36. [36]

    Ling, JCAP08, 017 (2007)

    Y. Ling, JCAP08, 017 (2007)

    2007

  37. [37]

    Amelino-Camelia, Nature418, 34 (2002); Int

    G. Amelino-Camelia, Nature418, 34 (2002); Int. J. Mod. Phys. D11, 35 (2002)

    2002

  38. [38]

    Liberati, inApproaches to Quantum Gravity, ed

    S. Liberati, inApproaches to Quantum Gravity, ed. D. Oriti (Cambridge University Press, 2009), arXiv:0901.2740 [gr-qc]. – 15 –

    Pith/arXiv arXiv 2009