Mini-Superspace Universality and No-Scale Quantum Cosmology

Aharon Davidson; Tomer Ygael

REVIEW 2 major objections 4 minor 15 references

Mini-Superspace Universality and No-Scale Quantum Cosmology

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

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

Pith's one-line read At the mini-superspace level, Einstein and Weyl-Dirac gravity are indistinguishable.

desk verdict Clean mini-superspace proof that Einstein-Hilbert and Weyl-Dirac gravity share the same Hartle-Hawking wave function for non-critical Brans-Dicke omega, but the 'arbitrary omega' claim overreaches because the critical point is excluded by the derivation. read the letter →

arxiv 1908.02959 v2 pith:3QOVNW5N submitted 2019-08-08 gr-qc hep-th

Tomer Ygael , Aharon Davidson This is my paper · ORCID

classification gr-qchep-th MSC 83C4583F05

keywords mini-superspaceWeyl-DiracgravityBrans-DicketheoryHartle-Hawkingwavefunctionno-scalequantumcosmologyKaluza-KleinreductionWheeler-deWittequationlocalscaleinvariance

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 sets out to show that quantum cosmology cannot tell Einstein-Hilbert gravity apart from Weyl-Dirac gravity at the mini-superspace level. The claim is that both theories are governed by the same single-variable Hartle-Hawking wave function, with the scale factor $a$ replaced by the Dirac in-scalar $b=a\varphi$, where $\varphi$ is the dilaton. This equivalence is said to hold for an arbitrary Brans-Dicke parameter and to be independent of $\omega$. The result matters because local scale invariance could underlie the early universe without leaving any trace in the mini-superspace wave function, and because it extends Hartle-Hawking cosmology to a no-scale, Weyl-Dirac setting.

What carries the argument

The load-bearing object is Dirac's in-scalar $b=a\varphi$, the product of the cosmic scale factor and the dilaton, which is invariant under the local scale transformations $a\to e^\Omega a$, $\varphi\to e^{-\Omega}\varphi$. In the reduced mini-superspace Hamiltonian, the coefficient of the lapse $v$ gives the constraint $a p_a-\varphi p_\varphi=0$, whose quantum form $(a\partial_a-\varphi\partial_\varphi)\psi=0$ has as its general solution $\psi(a,\varphi)=\psi(a\varphi)$. Substituting this into the Hamiltonian constraint collapses the Wheeler-deWitt equation to a single ordinary differential equation in $b$, identical to the Hartle-Hawking equation. The same in-scalar logic, with $z=\log(S\varphi^2)$ and the in-scalar $s$, organizes the Kaluza-Klein extension.

What would settle it

Carry out the Hamiltonian reduction directly at the critical Brans-Dicke value $\omega=-3/2$, where the velocity-inversion formula is singular; if the resulting constraint algebra or quantum equation differs from Eqs. (20)-(22), the arbitrary-$\omega$ claim fails. A second check is to verify the asserted Kaluza-Klein Lagrangian Eq. (32) by explicit reduction, since the paper says the derivation was done elsewhere without a reference.

Watch

Extended reading notes

Core claim

The central discovery is that the Hartle-Hawking wave function is not a fingerprint of general relativity. At the mini-superspace level, Weyl-Dirac gravity, built from the Brans-Dicke action with a quartic dilaton potential and a Weyl vector, reduces to a Hamiltonian whose two first-class constraints become, after the Dirac replacement $p\to-i\hbar\partial_q$ and symmetrization, the scale-invariance equation $(a\partial_a-\varphi\partial_\varphi)\psi=0$ and the Wheeler-deWitt equation $-\frac{\hbar^2}{24}\frac{d^2\psi(b)}{db^2}+(6\kappa b^2-2\Lambda b^4)\psi(b)=0$, with $b=a\varphi$. The first equation forces $\psi(a,\varphi)=\psi(a\varphi)$, and the second is exactly the original Hartle-Hawking equation for the in-scalar $b$. The paper further finds that in a five-dimensional Kaluza-Klein extension the Weyl vector enters only through its fifth-component in-scalar $s$, producing a two-variable wave function $\psi(b,s)$ whose near-Big-Bang behavior depends on $s$ and on whether the Brans-Dicke parameter is critical.

Load-bearing premise

The velocity inversion used to derive the mini-superspace Hamiltonian assumes $3+2\omega\ne0$, yet the paper claims the result for arbitrary Brans-Dicke parameter including the critical value $\omega=-3/2$, and gives no separate derivation for the critical case.

Editorial extensions

If this is right

The no-boundary Hartle-Hawking wave function can be reproduced by a locally scale-invariant theory, so a detection of the Hartle-Hawking state would not single out Einstein-Hilbert gravity over Weyl-Dirac gravity.
The equivalence holds for every Brans-Dicke parameter $\omega$, so the mini-superspace prediction is free of the Brans-Dicke ambiguity.
In the Kaluza-Klein extension with constant in-radius $S\varphi^2=1$, the wave function becomes $\psi(b,s)$ and the Weyl vector's fifth component $s$ acts like part of an effective cosmological constant, $\Lambda_{\mathrm{eff}}(s)=\Lambda+\frac{9}{4}(3+2\omega_4)s^2$.
For critical $\omega_4=-3/2$ and $\eta<0$, the wave function automatically satisfies the deWitt initial condition $\psi(0,s)=0$, giving a well-behaved origin without invoking the no-boundary proposal.
For super-critical $\omega_4>-3/2$, the effective cosmological constant stays positive even if $\Lambda\to0$, and the wave function concentrates near small $s$.

Reading between the lines

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

If the equivalence persists beyond mini-superspace, observational signatures built from the homogeneous wave function cannot exclude local scale invariance as the underlying symmetry of the very early universe; one would need inhomogeneous or anisotropic modes to distinguish the theories.
The $\omega$-independence shown here suggests a testable extension: compute the next-order corrections, for instance including anisotropies or non-minimal couplings, and check whether the degeneracy between Einstein-Hilbert and Weyl-Dirac quantum cosmology breaks, and at which order.
In the super-critical case, the $s$-dependent term in $\Lambda_{\mathrm{eff}}$ means that a small effective cosmological constant could be traded for a small expectation value of a Weyl in-scalar rather than a fundamental $\Lambda$; this could be probed by studying whether the wave function's concentration near $s^2\ll1$ survives interactions or decoherence.
The automatic deWitt initial condition at critical coupling is a qualitative difference from Hartle-Hawking; if quantum cosmology is ever confronted with initial-condition data, the $\eta<0$ branch predicts no-boundary-like but not identical behavior, which may be empirically distinguishing.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

One thing you should know before reading: the paper's core result is real and cleanly derived, but the headline claim is too strong. The proof that Weyl-Dirac gravity and Einstein-Hilbert gravity share the same Hartle-Hawking wave function at mini-superspace works, but only for 3+2omega != 0. The text explicitly requires this before inverting velocities (before Eq. 14), and the Hamiltonian (16) carries a (3+2omega) denominator. At omega = -3/2 the Legendre transform degenerates and the scale-invariance constraint changes character; the paper never treats that case. So the 'arbitrary Brans-Dicke parameter' in the abstract is not established. The later Kaluza-Klein section does not fix this, because Eq. (37) still has the same denominator, and the S phi^2 = 1 ansatz does not address the constraint structure. This is a genuine overclaim, though the non-critical result stands.

What is good: the central derivation from the Weyl-Dirac action to the pair of Schroedinger equations is self-contained, easy to verify, and shows real craftsmanship. The b = a phi substitution falls out of the constraint algebra, not into it, so there's no circularity. The Kaluza-Klein part is more exploratory, but the identification of the fifth Weyl component as a 4D in-scalar that can influence near-Big-Bang behavior is a genuine novelty. The constant in-radius example gives a concrete Schroedinger equation and a clear picture of how the Weyl vector can enter quantum cosmology.

Soft spots, in order: (1) the critical omega = -3/2 gap is the main one; it's not a minor technicality because that value is exactly where the pure Brans-Dicke action is locally scale invariant. The abstract's 'arbitrary' should either be proven for the critical case or qualified. (2) The Kaluza-Klein Lagrangian (32) is imported from 'elsewhere' with no citation, so that part is unverifiable as written. The authors say it can have a life of its own, but I cannot check it without the reference. That is a reproducibility problem, though not fatal. (3) The paper is written as a letter and skips some classical equations in the KK section; acceptable if the rest holds.

Bottom line: the non-critical equivalence is a solid, citable result, and the overclaim is the kind of thing a careful referee can push the authors to fix. I would send this to peer review, because the core is worth referee time and the missing case is likely tractable. I would also bring it to a reading group, mainly to discuss the constrained quantization and the critical point. Just cite the non-critical result, not the 'arbitrary' claim, until it is actually proven.

Referee Report

2 major / 4 minor

Summary. The paper studies mini-superspace quantization of Weyl-Dirac gravity, a Brans-Dicke theory supplemented by a Weyl vector and a quartic dilaton potential. It reduces the action (3) on a homogeneous isotropic minisuperspace, performs a Legendre transform for 3+2ω≠0, obtains the Hamiltonian (16) linear in n and v, and derives two Schrödinger equations: the scale-invariance constraint (20), which forces ψ(a,φ)=ψ(b) with b=aφ, and the Hartle-Hawking equation (22) for ψ(b), identical in form to the Einstein-Hilbert result with a replaced by the in-scalar b. The abstract claims this equivalence holds for arbitrary Brans-Dicke parameter. The paper then presents a five-dimensional Kaluza-Klein reduction of Weyl-Dirac gravity, identifies the in-scalars b, z=log(Sφ²), and s, and analyzes the constant in-radius ansatz Sφ²=1, leading to a two-variable Schrödinger equation with modified near-Big-Bang behavior.

Significance. If the ω-dependence issue is resolved, this is a neat and useful result: it shows that the mini-superspace Hartle-Hawking wave function is not a unique fingerprint of Einstein-Hilbert gravity, and it derives the b=aφ substitution from the scale-invariance constraint rather than inserting it by hand. The main chain from Eq. (3) to Eqs. (20)-(22) is self-contained, the algebra checks, and no free parameters are introduced beyond the existing constants; ω drops out of the final equation. The Kaluza-Klein part is more speculative and is not needed for the first conclusion, but it offers a concrete mechanism by which the Weyl vector can enter quantum cosmology through an extra dimension.

major comments (2)

[No-scale quantum cosmology, Eqs. (8)-(16)] The abstract and Eq. (23) claim the result holds for arbitrary Brans-Dicke parameter, but the derivation of the canonical Hamiltonian requires 3+2ω≠0. Immediately before Eq. (14) the text states 'For non-critical scale invariance, that is 3+2ω≠0, one can now inversely calculate the velocities'. At ω=-3/2 the coefficient multiplying (vφ+φ')² in Eq. (8) vanishes, v drops out of the Lagrangian, the Legendre transform degenerates, and the denominator 3+2ω in Eq. (16) is singular. Thus Eqs. (20)-(22) are established only for ω≠-3/2. Since the critical value is precisely the case of ungauged local scale invariance, a separate Dirac-Bergmann treatment of the critical point, or a justified limiting argument, is required before the words 'arbitrary' and 'ω-independent' can be sustained.
[Weyl-Dirac Kaluza-Klein reduction, Eq. (32)] The text says 'The detailed derivation has been carried out elsewhere' but gives no citation or appendix. This Lagrangian underpins the Hamiltonian (37), the Schrödinger equation (42), and the constant-radius model (45)-(46), so the Kaluza-Klein portion of the paper is unverifiable as written. The authors should either include the reduction steps or cite a specific reference where they are carried out.

minor comments (4)

[No-scale quantum cosmology, Eq. (10)] The first definition appears to read p_v=∂L/∂φ'≈0, but the momentum conjugate to the non-dynamical v should be ∂L/∂v'≈0; as printed, ∂L/∂φ' is the dilaton momentum and is not generally zero.
[Weyl-Dirac Kaluza-Klein reduction, Eq. (30)] The relation ω5=ω4+1/6 is stated without derivation; a brief explanation of the normalization convention would help the reader verify that the critical cases match.
[No-scale Kaluza-Klein quantum cosmology, Eq. (42)] The transition from Eq. (42) to Eq. (45) sets Sφ²=1, which drops the ∂²/∂z² term; this is presented as a 'handicapped' ansatz rather than a gauge choice, but it would be worth stating explicitly that this is a restriction of the wave function, not a consequence of the constraints.
[References and figures] Reference [13] contains a likely typo in the author name ('de Len Ardon' should probably be 'de León Ardón'). Also, the text refers to Fig. 1, but no figure appears in the manuscript text; if the figure is missing from the submission, it must be included.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the Weyl-Dirac wave function is derived from the action, not inserted; the flagged ω=-3/2 and Eq. (32) issues are completeness gaps, not circularity.

full rationale

The central claim is derived by substituting the Weyl-Dirac mini-Lagrangian (8) into a Legendre transform to obtain the Hamiltonian (16), then imposing the constraints (18)-(19) as Dirac constraints. The scale-invariance constraint (20) forces ψ=ψ(aφ), and the Hamiltonian constraint then reduces exactly to the Hartle-Hawking equation (22) with b=aφ. This is a genuine reduction from the action, not an insertion of the target equation: no parameter is fitted and no result is imported from the authors' prior work for the main proof. The only self-citation, [14], concerns Maxwell-Weyl kinetic mixing and is not load-bearing. Two non-circular completeness gaps should be flagged: before Eqs. (14)-(15) the velocity inversion explicitly requires 3+2ω≠0, so the abstract's 'arbitrary Brans-Dicke parameter' claim is not proven at the critical ω=-3/2 by the displayed derivation; and after Eq. (32) the text says 'The detailed derivation has been carried out elsewhere' with no reference, so the Kaluza-Klein Lagrangian is asserted rather than derived. Neither gap makes the prediction equivalent to its input; they are omitted-support issues, so the circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no fitted parameters and no new physical entities; the central objects (dilaton φ, Weyl vector K_μ, Kaluza-Klein radius) are standard in the cited theories. The load-bearing assumptions are the Dirac quantization prescription, the specific Weyl-Dirac action, the mini-superspace ansatz, and the unverified KK reduction.

assumptions (4)

domain assumption Dirac quantization of first-class constraints
Constraints p_v≈0 and p_n≈0 (Eq. 10) are imposed as operator equations on the wave function, with the symmetrized ordering qp to derive Eqs. (20) and (22).
domain assumption Weyl-Dirac action defines the theory
Eq. (3) is taken as the definition of Weyl-Dirac gravity following Dirac; the equivalence claim is relative to this action.
domain assumption Mini-superspace truncation
FRW line element (Eq. 7) with homogeneous φ and pure-gauge vector K_μ=v(t)dt reduces the theory to a finite-dimensional system; the universality claim is limited to this truncation.
domain assumption Kaluza-Klein effective Lagrangian from elsewhere
Eq. (32) is imported without derivation and without a reference, despite the claim that detailed derivation is elsewhere.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Mini-Superspace Universality and No-Scale Quantum Cosmology." pith.science (2026). https://pith.science/paper/3QOVNW5N

@misc{pith2026190802959,
  author       = {Pith},
  title        = {Pith review of: Mini-Superspace Universality and No-Scale Quantum Cosmology},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3QOVNW5N}},
  note         = {Machine review of arXiv:1908.02959}
}

abstract

We prove that, at the mini superspace level, and for an arbitrary Brans-Dicke parameter, one cannot tell traditional Einstein-Hilbert gravity from local scale invariant Weyl-Dirac gravity. Both quantum mechanical cosmologies are governed by the one and the same time-independent single-variable Hartle-Hawking wave function. It is only that its original argument, the cosmic scale factor $a$, is replaced by $a\phi$ ($\phi$ being the dilaton field) to form a Dirac in-scalar. The Weyl vector enters quantum cosmology only in the presence of an extra dimension, where its fifth component, serving as a 4-dim Kaluza-Klein in-scalar, governs the near Big Bang behavior of the wave function. The case of a constant Kaluza-Klein in-radius is discussed in some detail.

Figures

Figures reproduced from arXiv: 1908.02959 by the authors.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 14 canonical work pages

[1]

DeWitt, Phys

B.S. DeWitt, Phys. Rev. 160, 1113 (1967); J.A. Wheeler, in Battelle Rencontres, p.242 (Benjamin NY, 1968); W.E. Blyth and C. Isham, Phys. Rev. D11, 768 (1975)

work page 1967
[2]

Mini-Superspace Universality and No-Scale Quantum Cosmology

However, as prescribed by Dirac, local scale invariance can be extended to accompany any Brans- Dicke ω-theory. The corresponding Weyl-Dirac gravity is ﬁeld theoretically formulated by the action I = ∫ d4x√−g ( φ2R⋆− 4ωgµνφ⋆µφ⋆ν −1 4gµνgλσKµλKνσ− 2Λφ4) . (3) The Ricci scalarR, known to govern the Einstein-Hilbert action, has been consistently supplemented...

work page Pith review arXiv 1908
[3]

Hawking and I.G

S.W. Hawking and I.G. Moss, Phys. Lett. 110B, 35 (1982); J. Hartle and S.W. Hawking, Phys. Rev. D28, 2960 (1983); J.J. Halliwell and S.W. Hawking, Phys. Rev. D31, 1777 (1985)

work page 1982
[4]

Linde, Nuovo Cimento 39, 401 (1984); A.D

A.D. Linde, Nuovo Cimento 39, 401 (1984); A.D. Linde, Sov. Phys. JETP 60, 211 (1984)

work page 1984
[5]

Vilenkin, Phys

A. Vilenkin, Phys. Lett. 117B, 25 (1982); A. Vilenkin, Phys. Rev. D30, 509 (1984); A. Vilenkin, Phys. Rev. D50, 2581 (1994)

work page 1982
[6]

Davidson, D

A. Davidson, D. Karasik and Y. Lederer, Class. Quan- tum Grav. 16, 1349 (1999); I. Bars, S.-H. Chen, P. J. Steinhardt, and N. Turok, Phys. Lett. B 715, 278 (2012)

work page 1999
[7]

Feldbrugge, J

J. Feldbrugge, J. -L. Lehners,and Neil Turok, Phys. Rev. Lett. 119, 171301(2017); J. Feldbrugge, J. -L. Lehners and N. Turok, Phys. Rev. D97, 023509 (2018)

work page 2017
[8]

Di Tucci and J.-L

A. Di Tucci and J.-L. Lehners, Phys. Rev. Lett. 122, 201302 (2019)

work page 2019

Show all 15 references

[9]

in Gravitation und Elektrizitat , Sitzungsber

H.Weyl. in Gravitation und Elektrizitat , Sitzungsber. D. Berlin Akad., , S.465 (1918); A.S. Eddington, in The mathematical theory of relativity , p. 196 (Cambridge, 1923); P.A.M. Dirac, Proc. R. Soc. Lond. A333, 403 (1973)

1918
[10]

Mannheim and D

P.D. Mannheim and D. Kazanas, 342, 635 (1989); P.D. Mannheim, Astrophys. J. 479, 659 (1994); P.D. Mannheim , Found. Phys. 42, 338 (2012); G. ’t Hooft, Int. Jour. Mod. Phys. D24, 1543001 (2015)

1989
[11]

Brans and R.H

C. Brans and R.H. Dicke, Phys. Rev. 124, 925 (1961)

1961
[12]

I. Bars, P. Steinhardt, and N. Turok, Phys. Rev. D89, 043515 (2014); I. Bars and A. James, Phys. Rev. D93, 044029 (2016)

2014
[13]

Grumiller and R

D. Grumiller and R. Jackiw, Int. Jour. of Mod. Phys. D15, 2075 (2006); D. Grumiller and R. Jackiw, Phys. Lett. A172, 2547 (2008); F. Darabi and P.S. Wesson, Phys. Lett. B527, 1 (2002)

2006
[14]

Gielen1, R

S. Gielen1, R. de Len Ardon and R. Percacci, Class. Quant. Grav. 35, 195009; (2018); I. Bars, Phys. Rev. D98, , 103510 (2018)

2018
[15]

Holdom, Phys

R. Holdom, Phys. Lett. B166, 196 (1986); A. Davidson and T. Ygael, Phys. Lett. B772, 5 (2017)

1986

Pith tools

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

[1] [1]

DeWitt, Phys

B.S. DeWitt, Phys. Rev. 160, 1113 (1967); J.A. Wheeler, in Battelle Rencontres, p.242 (Benjamin NY, 1968); W.E. Blyth and C. Isham, Phys. Rev. D11, 768 (1975)

work page 1967

[2] [2]

Mini-Superspace Universality and No-Scale Quantum Cosmology

However, as prescribed by Dirac, local scale invariance can be extended to accompany any Brans- Dicke ω-theory. The corresponding Weyl-Dirac gravity is ﬁeld theoretically formulated by the action I = ∫ d4x√−g ( φ2R⋆− 4ωgµνφ⋆µφ⋆ν −1 4gµνgλσKµλKνσ− 2Λφ4) . (3) The Ricci scalarR, known to govern the Einstein-Hilbert action, has been consistently supplemented...

work page Pith review arXiv 1908

[3] [3]

Hawking and I.G

S.W. Hawking and I.G. Moss, Phys. Lett. 110B, 35 (1982); J. Hartle and S.W. Hawking, Phys. Rev. D28, 2960 (1983); J.J. Halliwell and S.W. Hawking, Phys. Rev. D31, 1777 (1985)

work page 1982

[4] [4]

Linde, Nuovo Cimento 39, 401 (1984); A.D

A.D. Linde, Nuovo Cimento 39, 401 (1984); A.D. Linde, Sov. Phys. JETP 60, 211 (1984)

work page 1984

[5] [5]

Vilenkin, Phys

A. Vilenkin, Phys. Lett. 117B, 25 (1982); A. Vilenkin, Phys. Rev. D30, 509 (1984); A. Vilenkin, Phys. Rev. D50, 2581 (1994)

work page 1982

[6] [6]

Davidson, D

A. Davidson, D. Karasik and Y. Lederer, Class. Quan- tum Grav. 16, 1349 (1999); I. Bars, S.-H. Chen, P. J. Steinhardt, and N. Turok, Phys. Lett. B 715, 278 (2012)

work page 1999

[7] [7]

Feldbrugge, J

J. Feldbrugge, J. -L. Lehners,and Neil Turok, Phys. Rev. Lett. 119, 171301(2017); J. Feldbrugge, J. -L. Lehners and N. Turok, Phys. Rev. D97, 023509 (2018)

work page 2017

[8] [8]

Di Tucci and J.-L

A. Di Tucci and J.-L. Lehners, Phys. Rev. Lett. 122, 201302 (2019)

work page 2019