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.

Regulator-independent landscape probability and selection problem

Physical scope

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 (V,Σ), its supplied population probability measure μ, observed data D, measurable likelihood weight ℓD, and measurable observer-selection function S:V→[0,1]. Fix a Polish observable space X (a topological space whose topology is induced by a complete separable metric) and a measurable map O:V→X whose components are the low-energy parameters to be predicted, including the vacuum energy when it is among the selected observables. Let R be a specified nonempty class of regulator families compatible with the same physical model, data, likelihood, and selection rule. A regulator family ρ∈R is a collection of nonnegative measurable weights Rϵρ:V→[0,∞), indexed by a dimensionless parameter 0<ϵ<1, where regulator removal means ϵ↓0. For each ρ and ϵ, require Zϵρ:=∫VRϵρ(v)ℓD(v)S(v) dμ(v)∈(0,∞), and define the regulated selected probability measure Pϵρ(A):=(Zϵρ)−1∫ARϵρ(v)ℓD(v)S(v) dμ(v),A∈Σ. For each Borel B⊆X, define its push-forward by (O∗Pϵρ)(B):=Pϵρ(O−1(B)). Call the predictions stable and regulator-independent if there is one probability measure Q on X such that, for every ρ∈R and every bounded continuous f:X→R, lim⁡ϵ↓0∫Xf d(O∗Pϵρ)=∫Xf dQ. 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.

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