pith. machine review for the scientific record. sign in

arxiv: 2505.01272 · v2 · submitted 2025-05-02 · 🌀 gr-qc · hep-th

Recognition: 5 theorem links

· Lean Theorem

Hamiltonian Analysis of Pre-geometric Gravity

Andrea Addazi , Salvatore Capozziello , Antonino Marcian\`o , Giuseppe Meluccio
Authors on Pith no claims yet

Pith reviewed 2026-05-06 20:15 UTC · model claude-opus-4-7

classification 🌀 gr-qc hep-th PACS 04.20.Fy04.50.Kd04.60.-m11.15.Ex
keywords pre-geometric gravityEinstein–Cartan theoryHamiltonian constraint analysisADM formalismspontaneous symmetry breakingWheeler–DeWitt equationBF theoryMacDowell–Mansouri
0
0 comments X

The pith

A Hamiltonian analysis of pre-geometric gravity reproduces canonical General Relativity after symmetry breaking, fixes the loop-gravity time gauge automatically, and leaves three propagating degrees of freedom — a graviton plus one scalar.

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

The paper takes seriously the idea that spacetime has no metric to begin with: the fundamental fields are a gauge connection for SO(1,4) or SO(3,2) and a Higgs-like multiplet, and a metric only appears once that multiplet acquires a vacuum expectation value. The authors carry out the canonical Hamiltonian analysis in this setting and check, term by term, that after symmetry breaking the ADM formulation of General Relativity (with cosmological constant, and with the Gauss–Bonnet term in the MacDowell–Mansouri case) is recovered. A clean by-product is that the matching only works in the time gauge n^0 = 1 used in loop quantum gravity, which the symmetry breaking selects on its own. Running Dirac's algorithm in the unbroken phase, they count three local degrees of freedom — a graviton plus one scalar — so the broken theory is effectively scalar–tensor. They then sketch two routes outward: a Wheeler–DeWitt equation written directly on the pre-geometric configuration space, and a Plebanski-style rewriting in which the Higgs-like field plays the role of the simplicity-constraint Lagrange multiplier, with a topological BF phase above the symmetry-breaking temperature.

Core claim

Starting from a gauge theory on a manifold that has only topological and differential structure — no metric, no tetrads — the authors carry out a full Hamiltonian analysis of the Wilczek and MacDowell–Mansouri pre-geometric Lagrangians. They show that after spontaneous symmetry breaking of the SO(1,4) or SO(3,2) gauge symmetry, the canonical structure of General Relativity in the ADM formalism is reproduced exactly, and the matching forces the ADM "time gauge" of loop quantum gravity to be selected automatically. Dirac's algorithm in the unbroken phase yields three local degrees of freedom: the two of a massless graviton plus one massive scalar (the radial mode of the Higgs-like multiplet),

What carries the argument

Dirac's algorithm applied to a Yang–Mills-type action for an SO(1,4) or SO(3,2) connection A^{AB}_\mu coupled to a Higgs-like multiplet ϕ^A, with no metric or tetrads assumed. The primary constraints Π^0_{AB} ≈ 0, Z^i_{AB}, Z^A together with the secondary constraint generating the gauge symmetry close consistently; one combination is first-class, the rest second-class. Matching the broken-phase momentum Π^i_{ab} to the ADM momentum π̄^i_{ab} via the identity ε_{abcd}ε^{0ijk}e^c_j e^d_k ↔ e^{[i}_a ε_{b]cde}ε^{0jkl}e^c_j e^d_k e^e_l reduces, under invertible tetrads, to the time-gauge condition n^0 = 1.

If this is right

  • After symmetry breaking, the pre-geometric theory is dynamically equivalent to a scalar–tensor theory of gravity, with the extra scalar identified as the radial component of the Higgs-like multiplet.
  • The matching to ADM forces n^0 = 1, i.e. the time gauge of loop quantum gravity is not a choice but a consequence of the symmetry-breaking mechanism.
  • Because the pre-geometric Hamiltonian is polynomial in the fields and their conjugate momenta, the corresponding Wheeler–DeWitt equation avoids the non-polynomial obstructions that plague metric ADM quantisation.
  • The Wilczek action can be recast as a constrained BF theory whose simplicity constraint is itself supplied by the Higgs-like field, suggesting a topological UV phase in which gravity loses all local degrees of freedom above a critical temperature.
  • The earlier worry about tachyonic instabilities and tetrad-mass modes in this class of pre-geometric theories is resolved: the gravitational constraints suppress those modes off-shell.

Where Pith is reading between the lines

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

  • If the topological BF phase is genuinely the UV regime, this would be a different kind of UV completion from asymptotic safety: gravity would not flow to a nontrivial fixed point but would simply lose its local degrees of freedom above the breaking temperature, more like a deconfinement transition than a renormalisation-group endpoint.
  • The automatic emergence of the loop-gravity time gauge from symmetry breaking is a structural hint that loop variables are not an arbitrary choice but the natural canonical data of whatever pre-geometric phase sits underneath; testing this would mean rederiving Ashtekar's electric field directly from Π^i_{a0} without going through the ADM split, which the paper already sketches.
  • The 'pre-geometric clock' picture — Higgs-like field temperature playing the role of cosmological time — is a concrete proposal for deparametrisation that could be checked against finite-temperature effective potentials of standard Higgs phenomenology.
  • The polynomial structure of the pre-geometric Hamiltonian suggests that operator-ordering ambiguities in the corresponding Wheeler–DeWitt equation are tractable in a way the metric version is not; a genuine no-go or no-anomaly result on the constraint algebra after quantisation would be the natural next milestone.

Load-bearing premise

Everything depends on the tetrads being invertible at the moment one matches the pre-geometric phase to ADM; the identity that turns the pre-geometric momentum into the ADM momentum, and the selection of the loop-gravity time gauge, both fail when invertibility fails — which is precisely the regime (the unbroken or near-unbroken phase) where the pre-geometric picture is supposed to be most informative.

What would settle it

Carry out Dirac's constraint algorithm explicitly with all Poisson brackets of Z^A, Z^i_{AB}, Z^0_{AB} and their secondary partners written out: if any of the second-class brackets fails to be invertible on the constraint surface, or a tertiary constraint appears that the authors miss, the count of three degrees of freedom (and the scalar–tensor identification) collapses. Equivalently, exhibit a propagating mode beyond graviton+scalar in the linearised broken phase.

read the original abstract

The Einstein-Cartan theory of gravity can arise from a mechanism of spontaneous symmetry breaking within the context of pre-geometric gauge theories. In this work, we develop the Hamiltonian analysis of such theories. By making contact with the ADM formalism, we show that all the results of canonical General Relativity are correctly recovered in the IR limit of the spontaneously broken phase. We then apply Dirac's algorithm to study the algebra of constraints and determine the number of degrees of freedom in the UV limit of the unbroken phase. We also discuss possible pathways toward a UV completion of General Relativity, including a pre-geometric generalisation of the Wheeler-DeWitt equation and an extended BF formulation of the pre-geometric theory.

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.

Referee Report

6 major / 9 minor

Summary. The authors perform a Hamiltonian analysis of two pre-geometric gauge formulations of gravity (Wilczek and MacDowell–Mansouri), in which Einstein–Cartan gravity is expected to emerge after spontaneous breaking of an SO(1,4) or SO(3,2) symmetry by a Higgs-like scalar multiplet ϕ^A. They (i) recast the Wilczek Lagrangian in canonical form, (ii) show that, after SSB and in the time gauge n_0=1 of the ADM formulation, the resulting Hamiltonian coincides with the ADM Hamiltonian of GR with cosmological constant, (iii) apply Dirac's algorithm to the unbroken phase and conclude 6 phase-space d.o.f. ≡ 3 physical d.o.f. (claimed compatible with a massless graviton plus the scalar ϕ^5), (iv) sketch a pre-geometric generalisation of the Wheeler–DeWitt equation, and (v) propose an extended-BF (pre-geometric Plebanski) formulation in which the simplicity constraint is enforced by a Lagrange-multiplier-like ϕ^E. An appendix repeats the analysis for the MacDowell–Mansouri Lagrangian.

Significance. If correct, the claim that the time gauge of canonical GR is selected dynamically by SSB of the pre-geometric symmetry — and that the Wilczek/MacDowell–Mansouri pre-geometric Hamiltonians are polynomial in fields and momenta — would be a useful technical input for canonical quantisation programmes (LQG-style and BF-spinfoam). The recasting of Wilczek's theory as an extended BF (PGP) action with a pre-geometric simplicity constraint generalising Plebanski's is a clean and potentially useful observation. Sec. III in particular is a careful and useful piece of bookkeeping; the identification of Ashtekar's densitised triad as the SSB image of Π^i_{A0} (Eq. 34) is suggestive. The headline d.o.f. count in Sec. IV, however, is the load-bearing claim used to argue physical sensibility of the unbroken phase, and the present derivation does not robustly support it (see Major Comments).

major comments (6)
  1. [Sec. IV (degree-of-freedom counting)] The bookkeeping that yields 2N_phys = 90 − 20 − 20 − 44 = 6 appears to subtract the (A^{AB}_0, Π^0_{AB}) gauge sector twice. The standard Dirac formula is 2N_phys = N_phase − 2N_first − N_second. With the authors' classification (N_phase=90, 10 first-class Z^0_{AB}, 44 second-class), this gives 2N_phys = 90 − 20 − 44 = 26, i.e. 13 d.o.f. The line '−20 gauge choices' removes A^{AB}_0 and Π^0_{AB} a priori, but Z^0_{AB} ≡ Π^0_{AB} ≈ 0 is the very first-class constraint already responsible for that reduction, so the additional '−2·10' for the first-class Z^0_{AB} is a double subtraction. Either the gauge sector is reduced upfront and Z^0_{AB} should not be re-counted, or the full 90-dim phase space is kept and only −2·10 (not −20−20) is subtracted. The authors should redo the count consistently and reconcile with the physical claim of 3 d.o.f.
  2. [Sec. IV, second-class count (parity)] The list of second-class constraints (30 Z^i_{AB} + 5 Z_A + 10 Ż^0_{AB} = 45) has odd cardinality, then is reduced to 44 by subtracting 1 'because H is a first-class linear combination of all constraints'. The Dirac matrix C_{αβ} = {χ_α,χ_β} of second-class constraints must be invertible and therefore even-dimensional; one cannot delete a single second-class constraint by an algebraic-dependence argument without simultaneously promoting a partner to first class. As written, this 'minus one' looks engineered to land on 6. Please exhibit the rank of the Poisson-bracket matrix on the constraint surface explicitly and identify which constraints are independent and of which class; if some Z^i_{AB} or Ż^0_{AB} combinations are first class, that materially changes both the d.o.f. count and the gauge structure.
  3. [Sec. IV, status of the secondary Ż^0_{AB}] In standard Yang–Mills-like Hamiltonian analyses, the secondary constraint coming from Π^0 ≈ 0 is the Gauss law and is first class, generating the spatial gauge transformations. The authors instead declare Ż^0_{AB} second class via Eqs. (40)–(41). Either (a) the brackets {Z^i_{AB}, Ż^0_{CD}} and {Z_A, Ż^0_{CD}} actually vanish weakly, in which case Ż^0_{AB} is first class and the Gauss-type generator survives (and the SO(1,4) gauge is fully realised at the constraint level), or (b) they do not, in which case the gauge symmetry of A^{AB}_i is partially obstructed in the unbroken phase, which is a strong physical statement that should be stated and discussed, not buried as a sign-counting choice. A demonstration via the explicit Poisson brackets (or at least their structure functions) is needed.
  4. [Sec. IV, physical interpretation of '3 d.o.f.'] Even granting the count, the interpretation 'massless graviton (2) + scalar ϕ^5 (1)' is a post-SSB statement: in the unbroken phase there is by construction no metric, no tetrad, and hence no notion of 'massless spin-2 graviton'. The number of local d.o.f. should be insensitive to the phase, but the particle content is not. Please clarify whether 3 is the d.o.f. count of the unbroken phase (where the multiplet ϕ^A has 5 scalar components partly eaten by SO(1,4)→SO(1,3)) or of the broken phase, and whether the SO(1,4)/SO(1,3) coset goldstones are counted, suppressed, or absorbed. Without this, the agreement with 'graviton + scalar' is suggestive but not demonstrated.
  5. [Sec. III, Eq. (27) and 'time-gauge selection by SSB'] The central claim that SSB 'naturally selects the time gauge' rests on the equivalence of momenta in Eq. (27), which holds iff e^0_0 = −1/N. But the SSB ansatz in Eq. (9) is A^{a5}_μ → m e^a_μ; this fixes the identification of A^{a5}_μ with the tetrad up to an overall convention but does not, by itself, force n_0 = 1. The implication 'SSB ⇒ time gauge' therefore appears to require an additional choice (the relative normalisation between ϕ-direction and the timelike normal). Please state this auxiliary assumption explicitly; otherwise the strong reading 'SSB picks the time gauge without a foliation' is overclaimed.
  6. [Sec. VI (PGP / extended BF)] The PGP action (56) treats ϕ^E as a Lagrange multiplier whose variation imposes the pre-geometric simplicity constraint. The discussion then asserts that ϕ^E acquires dynamics via thermal effects (Eq. 55) and that this provides a 'UV completion'. Two issues: (i) on-shell, the same ϕ^E that is a multiplier in (56) is dynamical in (1a)–(1b); the relation between the two roles is asserted but not derived, with the actual mechanism deferred to a forthcoming paper. As it stands, this section is qualitative and should be flagged as such in the abstract/conclusion rather than presented as a UV-completion proposal. (ii) The effective potential (55) is borrowed from a finite-temperature SM-like Higgs analysis, but the temperature here is geometrical (no metric in the unbroken phase). What plays the role of T before SSB? The argument needs a self-consistent definition of 'temperature' in a pre-met
minor comments (9)
  1. [Eq. (1b)] The factor sgn(J) and the use of |J| in the SSB potential are not motivated. Please explain why the potential depends on the orientation/sign of the volume-like quantity J rather than on ϕ^2 alone; this also affects the derivation of Eq. (4).
  2. [Footnote 1, p. 1] Excluding the kinetic term for ϕ^A 'for simplicity' is in tension with Sec. VI, where the dynamics of ϕ are essential. Please make explicit which results survive when the kinetic term is restored.
  3. [Sec. II, Eqs. (4)–(5)] The conjugate momenta are written in shorthand Π^A(ϕ,A) etc. but only later (Eqs. 35–36) given explicit forms. Forward-referencing Sec. IV at first occurrence would help the reader.
  4. [Sec. III, Eq. (14)] Two terms are crossed out by hand to indicate they vanish; please replace the strikethrough notation with a one-line justification (e.g. 'using Π^i_{a5} → 0 after SSB by Eq. (X)').
  5. [Sec. III, around Eq. (29)] The statement 'without ever requiring a foliation' is somewhat misleading: the canonical analysis (Eqs. 4–5) singles out the index 0 throughout, which is itself a choice of time. Please reword.
  6. [Sec. V] The claim that 'time does play a role' in the pre-geometric Wheeler–DeWitt equation deserves at least a sketch: time derivatives are still absent from H in (39), and the wave functional is on field configurations on M^4, so the role of time is by no means obvious. A short comparison with refoliation invariance would help.
  7. [References] Refs. [11] and [25] are general LQG textbooks/reviews; the specific results invoked (Plebanski action, simplicity constraints, Ashtekar variables) deserve more pointed citations to the original literature where used (e.g. for Eq. 51 and Eq. 34).
  8. [Appendix, Eq. (A8)] Π^a → 0 after SSB in MacDowell–Mansouri is stated but the SSB form of the potential term L_SSB still contributes to Π^E in Eq. (A2). Please clarify that L_SSB contribution drops out only on the broken vacuum ϕ^2 = v^2.
  9. [Typography] Several Greek/Latin index conventions (α,β vs i,j; tildes for spatial inverse) are introduced inline; a small notation table near Eq. (16) would help.

Simulated Author's Rebuttal

6 responses · 2 unresolved

We thank the referee for a careful and technically substantive report. The Major Comments concentrate on Sec. IV (Dirac analysis and d.o.f. count) and on the interpretive claims of Secs. III and VI; we agree that several of these points require either revision or substantially expanded justification, and we will provide both in the revised manuscript. In particular, we accept the criticism of the bookkeeping in the d.o.f. count and will redo it within the standard Dirac convention, exhibit the rank of the Poisson-bracket matrix of putative second-class constraints explicitly, and clarify the class of the secondary constraint Ż^0_{AB}. We also agree that the "SSB selects the time gauge" statement requires the explicit normalisation assumption to be stated, and that Sec. VI is qualitative and should be flagged as such. Below we respond to each Major Comment in turn.

read point-by-point responses

  1. Referee: Sec. IV: the count 90−20−20−44=6 double-subtracts the (A^{AB}_0, Π^0_{AB}) sector. With 10 first-class and 44 second-class constraints on a 90-dim phase space the standard Dirac formula gives 26, i.e. 13 d.o.f., not 3.

    Authors: We agree that, as written, the bookkeeping is inconsistent. In the standard Dirac convention, 2N_phys = N_phase − 2N_first − N_second already accounts both for the first-class constraints and for their associated gauge fixings, so the explicit '−20 gauge choices' line on top of '−2·10 first-class' is indeed a double subtraction. With our classification (90, 10 first-class, 44 second-class) the formula gives 90 − 20 − 44 = 26, hence 13 phase-space d.o.f., not 6. We will redo the count consistently in the revised version. We anticipate that a correct count requires reassessing the class of Ż^0_{AB} (see next point) and the rank of the second-class Dirac matrix; the final number of physical d.o.f. should be derived from the explicit Poisson-bracket structure rather than asserted to match the broken-phase content. We will state honestly whichever number the analysis yields, and revise the physical interpretation accordingly. We thank the referee for catching this. revision: yes

  2. Referee: Sec. IV: the second-class set 30+5+10=45 has odd cardinality and is reduced to 44 by an algebraic-dependence argument. The Dirac matrix of second-class constraints must be even-rank; deleting one without promoting a partner to first class is not legitimate.

    Authors: The referee is correct on the formal point: a second-class subsystem must have an invertible (hence even-rank) Poisson-bracket matrix, and one cannot remove a single second-class constraint via a linear-dependence argument without simultaneously identifying a first-class combination. Our '−1' was motivated by the observation that the total Hamiltonian is a linear combination of the constraints; we accept that this argument, as presented, conflates two separate issues (independence of constraints versus their class). In the revision we will (i) compute the matrix of Poisson brackets {Z^i_{AB}, Z^j_{CD}}, {Z^i_{AB}, Z_C}, {Z_A, Z_B}, {Z^i_{AB}, Ż^0_{CD}}, {Z_A, Ż^0_{CD}} explicitly on the constraint surface, (ii) determine its rank, and (iii) split the constraints into genuine first-class and second-class subsets accordingly. Any first-class combinations identified in this way will be reflected in both the gauge structure and the d.o.f. count. revision: yes

  3. Referee: Sec. IV: in Yang–Mills-like systems the secondary constraint from Π^0 ≈ 0 is a first-class Gauss law. The manuscript instead classifies Ż^0_{AB} as second class. This needs to be demonstrated by explicit brackets, or, if true, its physical implication for SO(1,4) gauge invariance discussed.

    Authors: This is a fair concern and overlaps with the previous point. By analogy with Yang–Mills, the natural expectation is that Ż^0_{AB} is a Gauss-type first-class constraint generating SO(1,4) (or SO(3,2)) gauge transformations, with the Z^i_{AB}, Z_A providing primary second-class constraints associated with the degenerate kinetic structure of the Wilczek Lagrangian. The brackets entering Eqs. (40)–(41) only fix the Lagrange multipliers λ^{AB}_i and λ^A; this by itself does not establish that Ż^0_{AB} is second class. In the revision we will compute {Z^i_{AB}, Ż^0_{CD}} and {Z_A, Ż^0_{CD}} explicitly. If these vanish weakly, Ż^0_{AB} is first class, the full SO(1,4)/SO(3,2) Gauss law survives at the constraint level, and the d.o.f. count and gauge structure are modified accordingly. If they do not vanish, the partial obstruction of the gauge symmetry in the unbroken phase is a non-trivial physical statement that we will state and discuss explicitly rather than absorb into a sign-counting step. revision: yes

  4. Referee: Sec. IV: the interpretation '3 d.o.f. = massless graviton + scalar ϕ^5' is a post-SSB statement. In the unbroken phase there is no metric/tetrad and hence no graviton notion; goldstone counting for SO(1,4)→SO(1,3) is not addressed.

    Authors: We agree. The local d.o.f. count is phase-independent, but the particle interpretation is not, and the 'graviton + scalar' language is meaningful only after SSB. In the unbroken phase the field content is the SO(1,4) (or SO(3,2)) connection A^{AB}_μ together with the 5-component multiplet ϕ^A; the SO(1,4)/SO(1,3) coset has four broken generators, so up to four would-be Goldstone components of ϕ^A can be absorbed by A^{a5}_μ via the Higgs mechanism, leaving the radial mode ϕ^5 ≡ ρ as the genuine scalar excitation in the broken phase. We will rewrite the interpretive paragraph to (a) state the count as a phase-independent local d.o.f. number derived from the constraint algebra, and (b) exhibit the Goldstone bookkeeping for the broken phase, distinguishing eaten components from physical scalars, before invoking the 'graviton + ρ' picture. The final number is contingent on the corrections requested in points 1–3 above. revision: yes

  5. Referee: Sec. III, Eq. (27): 'SSB selects the time gauge' requires e^0_0 = −1/N, which is an extra normalisation choice not forced by A^{a5}_μ → m e^a_μ alone.

    Authors: The referee is correct that the implication is not unconditional. The SSB ansatz fixes the identification A^{a5}_μ ↔ m e^a_μ but leaves the relative orientation between the internal direction picked out by ⟨ϕ^A⟩ = v δ^A_5 and the timelike normal n^a to the ADM foliation unspecified. The match between Π^i_{ab}|_SSB and π̄^i_{ab} requires precisely the alignment e^0_0 = −1/N, equivalently n_0 = 1, i.e. that the direction selected by ⟨ϕ^A⟩ in the internal 5-space project trivially onto the spatial slice. We will state this auxiliary alignment assumption explicitly in Sec. III, weaken the wording from 'SSB selects the time gauge' to 'SSB is compatible with, and singles out, the time gauge once the internal vacuum direction is aligned with the foliation normal,' and remove the stronger reading from the abstract/conclusions. revision: yes

  6. Referee: Sec. VI (PGP/BF): ϕ^E is a Lagrange multiplier in (56) but dynamical in (1a)–(1b); the 'UV completion' rests on thermal dynamics for ϕ^E with a temperature that is ill-defined in a pre-metric phase.

    Authors: We agree that Sec. VI is qualitative and should be flagged as such. (i) On the dual role of ϕ^E: in the PGP action (56) ϕ^E enters algebraically and its variation enforces the pre-geometric simplicity constraint, while in the Wilczek action (1a) ϕ^E is dynamical. The transition between the two roles — i.e. how ϕ^E acquires a kinetic term and becomes dynamical once the topological phase is broken — is precisely the mechanism deferred to the forthcoming work cited in the text; we will rephrase Sec. VI and the abstract/conclusions to make this status explicit and to avoid presenting Sec. VI as a derived UV completion. (ii) On 'temperature' in the pre-metric phase: this is a genuine conceptual issue. The effective potential (55) is borrowed for illustrative purposes only, to convey how a first- vs second-order transition would qualitatively shape the BF→Wilczek→Einstein–Cartan cascade; in the unbroken topological phase there is no metric and hence no standard thermal time. We will (a) flag (55) explicitly as a phenomenological IR/post-SSB effective description rather than a microscopic pre-geometric one, (b) remove the suggestion that it operates strictly above T_c in the topological phase, and (c) note that a self-consistent definition of pre-geometric 'time'/'temperature' (possibly via a Connes–Rovelli-type thermal-time construction adapted to the BF phase) is required and not provided here. The 'pre-geometric clock' language will be downgraded to a conjecture. revision: partial

standing simulated objections not resolved
  • A fully self-consistent definition of 'temperature' or 'thermal time' in the unbroken topological BF phase, needed to justify the temperature-dependent effective potential (55) before SSB, is not provided in the present manuscript and is beyond what we can establish here; we will downgrade the related claims to conjectures and defer the construction to future work.
  • The precise final number of local degrees of freedom in the unbroken phase cannot be asserted with confidence until the Poisson-bracket matrix of the putative second-class constraints is computed explicitly and the class of Ż^0_{AB} is settled; the value '3' quoted in the present version is not supported by the bookkeeping as written and may change after the revision.

Circularity Check

2 steps flagged

Mostly self-contained Hamiltonian analysis; mild circularity in the BF "emergence" argument where the simplicity constraint is engineered to reproduce GR's B-field by construction, and the SSB → Einstein–Cartan dictionary is imported wholesale from the authors' Ref. [1].

specific steps
  1. ansatz smuggled in via citation [Sec. VI, Eqs. (53)–(54)]
    "the Wilczek action can be recast in the formalism of a BF theory too, with a condition on the B field that is the pre-geometric generalisation of GR's simplicity constraint, i.e. B^{(W)}_{AB} = -2k_W ϵ_{ABCDE} ∇ϕ^C ∧ ∇ϕ^D ϕ^E. In doing so, in fact, the recovery of the correct metric theory of gravity after the SSB is ensured by the result B^{(W)}_{AB} →^{SSB} B^{(W)}_{ab} = B^{(EH)}_{ab}."

    The 'pre-geometric simplicity constraint' is defined so that the SSB image of B^{(W)} coincides with the GR B-field. The claim that this 'ensures recovery of the correct metric theory of gravity' is true by construction: the constraint was chosen to make Eq. (54) hold. It therefore does not provide independent evidence that GR emerges from a topological BF — it encodes GR into the constraint and reads it back out.

  2. self citation load bearing [Sec. III, Eq. (9) and Sec. II footnote 1]
    "The SSB of the vacuum state in the Wilczek theory of emergent gravity yields the following results (see Ref. [1] for the details): ϕ^A →^{SSB} v δ^A_5, A^{ab}_μ →^{SSB} ω^{ab}_μ, A^{a5}_μ →^{SSB} m e^a_μ, L_W →^{SSB} k_W v^3 m^2 ϵ_{abcd} ϵ^{μνρσ} e^a_μ e^b_ν R^{cd}_{ρσ} ± 48 k_W v^3 m^4 e"

    The entire IR-matching argument of Sec. III rests on the SSB dictionary and the identifications M_P² ≡ -8k_W v³m², Λ ≡ ±6m², all imported from the authors' Ref. [1] without re-derivation. This is the load-bearing input to the 'we recover Einstein–Cartan' claim. It is normal self-citation rather than vicious circularity, since Ref. [1] is an independent published paper, but the present Hamiltonian-level recovery of GR adds no new evidence that the SSB itself works — it presupposes it.

full rationale

The bulk of the paper performs a genuine, mechanical computation: write down conjugate momenta from the Wilczek/MacDowell–Mansouri Lagrangians, apply Dirac's algorithm, compare to ADM. These steps are checkable from the equations as written and do not reduce to their inputs by definition. The skeptic's headline complaint about the degree-of-freedom count (double subtraction of the A^{AB}_0 sector; odd parity of the second-class set) is a correctness issue (bookkeeping) rather than circularity, and falls outside this pass. Two mild circularity patterns are present and worth flagging, but neither is severe: (i) In Sec. VI, the "pre-geometric simplicity constraint" (Eq. 53) is introduced precisely so that B^{(W)}_{AB} reduces under SSB to the Einstein–Hilbert two-form B^{(EH)}_{ab} (Eq. 54). The paper presents this as ensuring "the recovery of the correct metric theory of gravity after the SSB," which is true by construction — the constraint was reverse-engineered from the desired IR limit. This is the standard situation for Plebanski-style reformulations and the authors are reasonably transparent about it, but it does mean the BF "derivation" of GR is not independent evidence that a pre-geometric BF underlies gravity. (ii) The entire SSB dictionary in Eq. (9) — ϕ^A → vδ^A_5, A^{ab}_μ → ω^{ab}_μ, A^{a5}_μ → m e^a_μ, identifications of M_P² and Λ — is imported from the authors' prior Ref. [1] without re-derivation. This is load-bearing for the IR-matching claim (Sec. III), but Ref. [1] is a published companion paper whose content is externally accessible, so this counts as ordinary self-citation rather than circular self-justification. No "uniqueness theorem" is invoked from the authors' own prior work to forbid alternatives, and there are no fitted parameters being recycled as predictions. The Hamiltonian count, whatever its arithmetic correctness, is not a fit. Overall score: 2 — minor self-citation and one constructive ansatz, central computation independent.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Model omitted the axiom ledger; defaulted for pipeline continuity.

pith-pipeline@v0.9.0 · 9467 in / 6916 out tokens · 103472 ms · 2026-05-06T20:15:26.426349+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. DESI and Dynamical Dark Energy from Extended Pre-geometric Gravity

    gr-qc 2026-05 unverdicted novelty 6.0

    A quadratic extension of pre-geometric gravity yields a gravi-axion that naturally realizes dynamical dark energy and fits DESI observations with chi-squared_red = 1.394.