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.
Regulator-independent landscape probability and selection problem
A literature-status question about population measures and observer selection in a specified string-vacuum ensemble. It asserts no unique probability measure or empirical prediction.
Open problem
Fix the measurable vacuum space , its supplied population probability measure , observed data , measurable likelihood weight , and measurable observer-selection function . Fix a Polish observable space (a topological space whose topology is induced by a complete separable metric) and a measurable map whose components are the low-energy parameters to be predicted, including the vacuum energy when it is among the selected observables. Let be a specified nonempty class of regulator families compatible with the same physical model, data, likelihood, and selection rule. A regulator family is a collection of nonnegative measurable weights , indexed by a dimensionless parameter , where regulator removal means . For each and , require and define the regulated selected probability measure For each Borel , define its push-forward by . Call the predictions stable and regulator-independent if there is one probability measure on such that, for every and every bounded continuous , The open question is whether a physically specified ensemble, population dynamics, admissible regulator class, likelihood and observer-selection rule yield such a common limiting prediction measure. The finite flux-vacuum count and continuum density do not themselves supply a population measure or selected conditional probability.
Open problem references
Status
Status reviewed 2026-10-27. Candidate approaches exist; the question is not the absence of proposals. Denef–Douglas compute a source-specific continuum vacuum count, while Bousso and Douglas distinguish counting from cosmological population and observer weighting. Cicoli et al. describe unresolved measure and regularization choices in string cosmology.
Hassfeld et al. propose a local Wheeler–DeWitt measure under a cosmological central-dogma framework, with assumptions about vacuum transitions, terminal vacua and creation processes; their discussion identifies the quantum-gravity foundation and observer/phenomenology inputs as matters requiring further scrutiny. Khoury and Wong propose a Bayesian treatment with priors over nucleation time and ancestral vacuum; their conclusions depend on those priors and on landscape knowledge, and they describe possible loopholes. These are substantive proposals, not proofs that one measure satisfies the full regulator-change and stable-prediction requirement in the question.
The open status is an inference from the scope and limitations stated in these treatments, not a claim that no candidate measure has been proposed. No proof, universal probability estimate, or empirical prediction is asserted here.
Depends on
Dependency tree · 1 level
Sources
- Frederik Denef and Michael R. Douglas, Distributions of Flux Vacua, arXiv:hep-th/0404116v2
- Raphael Bousso, TASI Lectures on the Cosmological Constant, arXiv:0708.4231v2
- Michael R. Douglas, The String Theory Landscape, Universe 2019, 5(7), 176, doi:10.3390/universe5070176
- 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
- Bjoern Hassfeld, Arthur Hebecker, Manfred Salmhofer, Jonah Cedric Strauss, and Johannes Walcher, A Local Wheeler–DeWitt Measure for the String Landscape, arXiv:2205.09772v4, Nuclear Physics B 992 (2023) 116230
- Justin Khoury and Sam S. C. Wong, Bayesian Reasoning in Eternal Inflation: A Solution to the Measure Problem, arXiv:2205.11524v2, Physical Review D 108 (2023) 023506