Alphabeta Math
Open problemQuestion: Literature-sourcedProof: Not applicablePipeline-generated‡ sources checked 2026-11-05
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Trans-Planckian censorship conjecture in cosmology

Physical scope

Open cosmological expansion-bound conjecture on a specified interval and fixed Planck/frame convention; the mode-freezing interpretation is conditional on the stated perturbation and horizon assumptions and is not an observational finding.

Open problem

Use the supplied four-dimensional Einstein-frame cosmology and swampland-claim data. On a fixed interval [ti,tf] with ti<tf, let a:[ti,tf]→(0,∞) be a C1 scale factor and define H(t):=a˙(t)/a(t)>0. Fix a constant reduced Planck mass MP and set ℓP:=MP−1, ai:=a(ti), af:=a(tf), and Hf:=H(tf). For that mode interpretation, specify a spatially flat product chart ds2=−dt2+a(t)2δijdxidxj and its unit comoving observer n=∂t. Use spatial Fourier modes eik⋅x, k≠0, with physical momentum p(t)=∣k∣/a(t) measured by n and reduced physical wavelength λ(t)=p(t)−1=a(t)/∣k∣; the use of reduced wavelength fixes the 2π convention in the cutoff comparison. In the source's mode interpretation, a mode is sub-Planckian at ti when its physical wavelength in the chosen frame is less than ℓP, super-Hubble at t when that wavelength exceeds H(t)−1, and frozen when its specified mode amplitude is approximately time-independent outside the Hubble scale.

The trans-Planckian censorship conjecture (TCC) proposes (af/ai)ℓP<Hf−1, equivalently ∫titfH dt<ln⁡(MP/Hf) in the fixed reduced-Planck convention. For a history-wide version, impose the bound at every pair of endpoints ti≤s<t≤tf: (a(t)/a(s))ℓP<H(t)−1. Then any mode with λ(s)<ℓP has λ(t)=(a(t)/a(s))λ(s)<H(t)−1 at each later time in the interval. For modes initially sub-Planckian at ti only, it suffices to impose this condition for s=ti and every intermediate endpoint t. The single bound at tf alone does not exclude an earlier super-Hubble crossing when a(t)H(t) is nonmonotone. The source's additional physical reading about remaining quantum and not freezing requires a separately specified cutoff, mode evolution and freeze-out prescription; it is not deduced from the endpoint inequality alone. The integral identity ∫titfH dt=ln⁡(af/ai) follows by integrating d(ln⁡a)/dt=H, so the inequalities are algebraically equivalent. With a varying Planck scale, a different frame or a different endpoint prescription, the bound must be reformulated. The mode interpretation is not a consequence of that integral identity alone. This is a conjecture about an expanding interval, not an observed bound.

Status

Status review dated 2025-09-05: the bounded record is Bedroya–Vafa, §2, PDF pp. 4–6; Agmon–Bedroya–Kang–Vafa, PDF pp. 214–220; Cicoli et al., §7.7, PDF pp. 144–148; and Lehnert, §II.Q, PDF p. 84. Lehnert states that its reviewed literature was published before 2025 (PDF p. 2, note 8). Bedroya–Vafa propose the expansion bound and discuss its mode interpretation and conditional cosmological deductions; these do not prove the conjecture or constitute observations. The cited reviews describe qualifications, including questions about constraints on a time-dependent EFT. The bounded source set leaves the universal claim conjectural. This item makes no status claim about literature after that cutoff and does not claim an exhaustive search.

Depends on

Dependency tree · 2 levels

Sources