pith. sign in

arxiv: 2606.18128 · v1 · pith:E3MLPHLLnew · submitted 2026-06-16 · 🌀 gr-qc · astro-ph.CO· hep-th· math-ph· math.MP

The free boundary problem in general relativity

Kostas Tzanavaris , Latham Boyle , Neil Turok This is my paper

Pith reviewed 2026-06-26 23:27 UTC · model grok-4.3

classification 🌀 gr-qc astro-ph.COhep-thmath-phmath.MP
keywords free boundary problemgeneral relativitycosmological singularityaction principleKasner spacetimeBKL singularityFLRW cosmologyreflecting boundary conditions
0
0 comments X

The pith

Treating the cosmological singularity as a free boundary imposes conditions that exclude Kasner and BKL spacetimes but allow regular FLRW models.

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

The paper proposes treating the initial singularity in general relativity as a free boundary in the action principle, where metric variations are not constrained. Requiring the action to be stationary under these free variations derives specific boundary conditions at the singularity. These conditions rule out Kasner-like and BKL chaotic spacetimes but are satisfied by conformally regular spacetimes sourced by fluids with pressure less than or equal to energy density but positive. For Friedmann-Lemaître-Robertson-Walker cosmologies, this leads to reflecting boundary conditions for linear perturbations at the big bang, matching large-scale observations.

Core claim

Demanding stationarity of the Einstein-Hilbert action under unconstrained variations at a singular boundary yields on-shell boundary conditions that exclude Kasner and BKL singularities while admitting conformally regular spacetimes with 0 ≤ P < ρ fluids; for FLRW, perturbations satisfy reflecting conditions at the bang.

What carries the argument

The free boundary treatment of the singularity in the variational principle, deriving boundary conditions directly from action stationarity without regularization.

If this is right

  • Kasner and BKL spacetimes are excluded by the boundary conditions.
  • Conformally regular spacetimes with fluids 0 ≤ P < ρ are allowed.
  • FLRW linear scalar, vector, and tensor perturbations must satisfy reflecting boundary conditions at the singularity.
  • This selection is consistent with cosmological observations on large scales.

Where Pith is reading between the lines

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

  • Such boundary conditions could provide a principle for selecting initial conditions in quantum gravity approaches to the big bang.
  • Similar free boundary methods might apply to other singularities like those in black holes.
  • Reflecting conditions suggest a kind of symmetry in perturbation evolution through the singularity.
  • This approach could be tested by checking consistency with CMB data on large scales.

Load-bearing premise

It is valid to apply the standard action principle by treating the singularity directly as a free boundary without regularization or modification.

What would settle it

Deriving that a Kasner spacetime satisfies the stationarity condition under free variations at the singularity would falsify the claim, or observing non-reflecting perturbations in cosmology.

Figures

Figures reproduced from arXiv: 2606.18128 by Kostas Tzanavaris, Latham Boyle, Neil Turok.

Figure 2
Figure 2. Figure 2: FIG. 2. The gluing of two regions [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗
read the original abstract

We study the action principle for space-times whose boundary is singular. We suggest that it is natural to treat the singularity as a {\it free} boundary, where the variation is unconstrained. Demanding that the action is stationary under such free variations then implies certain (on-shell) boundary conditions at the singularity. We derive these boundary conditions for the case of Einstein gravity coupled to matter and show that, when applied to an initial spacelike singularity, they exclude Kasner-like or BKL space-times, but admit conformally regular space-times (including FLRW models) sourced by fluids satisfying $0 \leq P < \rho$. For standard hot big bang FLRW cosmologies, the admissible linear (scalar, vector, tensor) perturbations satisfy reflecting boundary conditions at the bang, in agreement with large-scale cosmological observations.

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

0 major / 2 minor

Summary. The manuscript proposes treating singular boundaries in general relativity as free boundaries with unconstrained variations in the Einstein-Hilbert action coupled to matter. Stationarity of the action under such variations yields on-shell boundary conditions at an initial spacelike singularity that exclude Kasner-like and BKL spacetimes while admitting conformally regular solutions, including FLRW cosmologies sourced by perfect fluids satisfying 0 ≤ P < ρ. For FLRW backgrounds the admissible linear scalar, vector, and tensor perturbations obey reflecting boundary conditions at the bang, consistent with large-scale observations.

Significance. If the central derivation holds, the work supplies a variational criterion for admissible singularities that is free of additional parameters or regularization and directly selects against chaotic BKL behavior while permitting observationally viable FLRW perturbations. This constitutes a parameter-free selection mechanism grounded in the standard action principle, with potential implications for early-universe cosmology.

minor comments (2)
  1. The abstract states that the boundary conditions are derived for Einstein gravity coupled to matter, but the explicit variation (including the precise form of the boundary term that must vanish) should be written out with equation numbers in the main text to allow direct verification of the exclusion of Kasner/BKL solutions.
  2. Notation for the fluid equation of state (0 ≤ P < ρ) and the definition of conformal regularity should be introduced with a brief reminder of the relevant curvature invariants or metric ansatz when first used.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, assessment of significance, and recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper applies the standard variational principle by treating the singularity as a free boundary with unconstrained variations, then derives on-shell boundary conditions for Einstein gravity plus matter. This is a direct logical extension of the action principle to a new setting; the resulting conditions (excluding Kasner/BKL while admitting conformally regular FLRW with 0 ≤ P < ρ, and reflecting perturbations) follow from stationarity without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. No equations or steps in the provided abstract or description reduce the claimed result to its inputs by construction. The approach is self-contained as a proposal whose validity is the central claim itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on applying the variational principle to singular boundaries treated as free; no free parameters or invented entities are mentioned.

axioms (1)
  • domain assumption The action principle can be applied to space-times with singular boundaries by treating the singularity as a free boundary where variations are unconstrained.
    This is the foundational suggestion that enables derivation of the boundary conditions.

pith-pipeline@v0.9.1-grok · 5675 in / 1201 out tokens · 30942 ms · 2026-06-26T23:27:54.835902+00:00 · methodology

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

45 extracted references · 9 linked inside Pith

  1. [1]

    Solutions like these occur both in pure gravity (where ∑i p2 i =1) and also for stiff matter, or massless scalars, where ∑i p2 i <1 [18–21]

    A subclass of such geometries are homogeneous (but anisotropic)Kasner-like geometriesof the form g=−dt⊗dt+ 3 ∑ i=1 t2pi ei⊗ei,(9) where Σ is a 3-manifold with co-framee i, and thep i are functions on Σ satisfying ∑i pi =1. Solutions like these occur both in pure gravity (where ∑i p2 i =1) and also for stiff matter, or massless scalars, where ∑i p2 i <1 [1...

  2. [2]

    For stiff fluids,w=1, the on-shell action is not finite

    If 0≤w<1, the solution(M, 0g)satisfies (6), and is therefore a critical point of the action. For stiff fluids,w=1, the on-shell action is not finite

  3. [3]

    physically acceptable

    For 0≤w<1, the perturbationsδgthat satisfy the linearized version of (6) (Eq. (20) below) obey ∂ϕB ∂η ∣ η=0 = ∂hij ∂η ∣ η=0 =0,(10) 4 whereηis the conformal time,ϕ B is the Bardeen potential, andh ij are the tensor perturbations. No vector perturbations are allowed and the perturbed geometry is conformally regular. In the special cases of dust or perfect ...

  4. [4]

    S. W. Hawking and G. F. R. Ellis,The Large Scale Struc- ture of Space-Time, Cambridge Monographs on Mathe- matical Physics (Cambridge University Press, 1973)

    1973

  5. [5]

    Christodoulou,The Action Principle and Partial Dif- ferential Equations, Annals of Mathematics Studies No

    D. Christodoulou,The Action Principle and Partial Dif- ferential Equations, Annals of Mathematics Studies No. 146 (Princeton University Press, 2000)

    2000

  6. [6]

    Polchinski,String theory

    J. Polchinski,String theory. Vol. 1: An introduction to the bosonic string, Cambridge Monographs on Mathe- matical Physics (Cambridge University Press, 2007)

    2007

  7. [7]

    Lovelock, J

    D. Lovelock, J. Math. Phys.12, 498 (1971)

    1971

  8. [8]

    Lovelock, J

    D. Lovelock, J. Math. Phys.13, 874 (1972)

    1972

  9. [9]

    Chern, Annals of Mathematics45, 747 (1944)

    S.-S. Chern, Annals of Mathematics45, 747 (1944)

    1944

  10. [10]

    Chern, Annals of Mathematics46, 674 (1945)

    S.-s. Chern, Annals of Mathematics46, 674 (1945)

    1945

  11. [11]

    Eguchi, P

    T. Eguchi, P. B. Gilkey, and A. J. Hanson, Physics re- ports66, 213 (1980)

    1980

  12. [12]

    R. C. Myers, Physical Review D36, 392 (1987). 8

    1987

  13. [13]

    S. W. Hawking, The path integral approach to quantum gravity, inGeneral Relativity: An Einstein Centenary Survey(Cambridge University Press, 1979) pp. 746–789

    1979

  14. [14]

    J. W. York, Phys. Rev. Lett.28, 1082 (1972)

    1972

  15. [15]

    G. W. Gibbons and S. W. Hawking, Phys. Rev. D15, 2752 (1977)

    1977

  16. [16]

    Straumann,General Relativity, 2nd ed., Graduate Texts in Physics (Springer, 2013)

    N. Straumann,General Relativity, 2nd ed., Graduate Texts in Physics (Springer, 2013)

    2013

  17. [17]

    Krasnov,Formulations of General Relativity: Gravity, Spinors and Differential Forms, Cambridge Monographs on Mathematical Physics (Cambridge University Press, 2020)

    K. Krasnov,Formulations of General Relativity: Gravity, Spinors and Differential Forms, Cambridge Monographs on Mathematical Physics (Cambridge University Press, 2020)

    2020

  18. [18]

    K. P. Tod, Classical and Quantum Gravity8, L77 (1991)

    1991

  19. [19]

    R. P. A. C. Newman, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences 443, 473 (1993)

    1993

  20. [20]

    R. P. A. C. Newman, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences 443, 493 (1993)

    1993

  21. [21]

    Andersson and A

    L. Andersson and A. D. Rendall, Commun. Math. Phys. 218, 479 (2001), arXiv:gr-qc/0001047

    Pith/arXiv arXiv 2001

  22. [22]

    Fournodavlos, I

    G. Fournodavlos, I. Rodnianski, and J. Speck, J. Am. Math. Soc.36, 827 (2023), arXiv:2012.05888 [math.AP]

    arXiv 2023

  23. [23]

    Fournodavlos and J

    G. Fournodavlos and J. Luk, Am. J. Math.145, 1183 (2023), arXiv:2003.13591 [gr-qc]

    arXiv 2023

  24. [24]

    Athanasiou and G

    N. Athanasiou and G. Fournodavlos, Commun. Math. Phys.406, 252 (2025), arXiv:2412.16630 [math.AP]

    arXiv 2025

  25. [25]

    V. A. Belinsky, I. M. Khalatnikov, and E. M. Lifshitz, Adv. Phys.19, 525 (1970)

    1970

  26. [26]

    V. a. Belinsky, I. m. Khalatnikov, and E. m. Lifshitz, Adv. Phys.31, 639 (1982)

    1982

  27. [27]

    Damour, M

    T. Damour, M. Henneaux, B. Julia, and H. Nicolai, Physics Letters B509, 323 (2001), arXiv:hep-th/0103094 [hep-th]

    Pith/arXiv arXiv 2001

  28. [28]

    M. J. Perry, JHEP05(161), arXiv:2301.03443 [hep-th]

    arXiv

  29. [29]

    C. M. Claudel and K. P. Newman, Proceedings of the Royal Society of London Series A454, 1073 (1998)

    1998

  30. [30]

    Anguige and K

    K. Anguige and K. P. Tod, Annals of Physics276, 257 (1999), arXiv:gr-qc/9903008 [gr-qc]

    Pith/arXiv arXiv 1999

  31. [31]

    Anguige and K

    K. Anguige and K. P. Tod, Annals of Physics276, 294 (1999), arXiv:gr-qc/9903009 [gr-qc]

    Pith/arXiv arXiv 1999

  32. [32]

    Boyle, K

    L. Boyle, K. Finn, and N. Turok, Phys. Rev. Lett.121, 251301 (2018), arXiv:1803.08928 [hep-ph]

    Pith/arXiv arXiv 2018

  33. [33]

    Boyle, K

    L. Boyle, K. Finn, and N. Turok, Annals of Physics438, arXiv:1803.08930 (2022), arXiv:1803.08930 [hep-ph]

    arXiv 2022

  34. [34]

    Turok and L

    N. Turok and L. Boyle, Phys. Lett. B849, 138443 (2024), arXiv:2201.07279 [hep-th]

    arXiv 2024

  35. [35]

    Boyle and N

    L. Boyle and N. Turok, Phys. Lett. B849, 138442 (2024), arXiv:2210.01142 [gr-qc]

    arXiv 2024

  36. [36]

    J. B. Hartle and S. W. Hawking, Phys. Rev. D28, 2960 (1983)

    1983

  37. [37]

    Feldbrugge, J.-L

    J. Feldbrugge, J.-L. Lehners, and N. Turok, Phys. Rev. D95, 103508 (2017), arXiv:1703.02076 [hep-th]

    Pith/arXiv arXiv 2017

  38. [38]

    Feldbrugge, J.-L

    J. Feldbrugge, J.-L. Lehners, and N. Turok, Phys. Rev. Lett.119, 171301 (2017), arXiv:1705.00192 [hep-th]

    Pith/arXiv arXiv 2017

  39. [39]

    Feldbrugge, J.-L

    J. Feldbrugge, J.-L. Lehners, and N. Turok, Phys. Rev. D97, 023509 (2018), arXiv:1708.05104 [hep-th]

    Pith/arXiv arXiv 2018

  40. [40]

    Lehners, Phys

    J.-L. Lehners, Phys. Rept.1022, 1 (2023), arXiv:2303.08802 [hep-th]

    arXiv 2023

  41. [41]

    Tzanavaris, L

    K. Tzanavaris, L. Boyle, and N. Turok, arXiv e-prints , arXiv:2412.09558 (2024), arXiv:2412.09558 [hep-th]

    arXiv 2024

  42. [42]

    G. T. Horowitz and R. C. Myers, Gen. Rel. Grav.27, 915 (1995), arXiv:gr-qc/9503062

    Pith/arXiv arXiv 1995

  43. [43]

    B. F. Schutz, Phys. Rev. D2, 2762 (1970)

    1970

  44. [44]

    Tzanavaris (2026), in preparation

    K. Tzanavaris (2026), in preparation

    2026

  45. [45]

    J. M. Stewart, Class. Quant. Grav.7, 1169 (1990)

    1990