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
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 with , let be a scale factor and define . Fix a constant reduced Planck mass and set , , , and . For that mode interpretation, specify a spatially flat product chart and its unit comoving observer . Use spatial Fourier modes , , with physical momentum measured by and reduced physical wavelength ; the use of reduced wavelength fixes the convention in the cutoff comparison. In the source's mode interpretation, a mode is sub-Planckian at when its physical wavelength in the chosen frame is less than , super-Hubble at when that wavelength exceeds , and frozen when its specified mode amplitude is approximately time-independent outside the Hubble scale.
The trans-Planckian censorship conjecture (TCC) proposes , equivalently in the fixed reduced-Planck convention. For a history-wide version, impose the bound at every pair of endpoints : . Then any mode with has at each later time in the interval. For modes initially sub-Planckian at only, it suffices to impose this condition for and every intermediate endpoint . The single bound at alone does not exclude an earlier super-Hubble crossing when 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 follows by integrating , 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.
Open problem references
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
- Trans-Planckian Censorship and the Swampland
- Hitchhiker’s Guide to the Swampland: The Cosmologist’s Handbook to the string-theoretical Swampland Programme
- Michele Cicoli, Joseph P. Conlon, Anshuman Maharana, Susha Parameswaran, Fernando Quevedo, and Ivonne Zavala, String Cosmology: from the Early Universe to Today, arXiv:2303.04819v2
- Nathan Benjamin Agmon, Alek Bedroya, Monica Jinwoo Kang, and Cumrun Vafa, Lectures on the string landscape and the Swampland, arXiv:2212.06187v2