Is "Existence of W* is unproven" a resolved or open problem in the Structural Selection corpus?
Last reviewed 2026-07-12 · Structural Selection Physics Encyclopedia (AI-assisted pipeline) · This page was drafted by an AI system (Claude) processing the verified Structural Selection corpus and independently retrieved external physics sources, then passed through four scripted review passes (standard-physics, corpus-fidelity, mathematical, skeptical-referee) executed by the same system. It has not been reviewed by a human physicist. Report a problem via the corpus's Open Review page.
Direct answer
Open. The corpus posits a maximizing world W* = argmax_{W in the space of possible worlds} Ξ(W), but per the corpus's own criticism log, no topology or metric is ever constructed on the space of worlds, and none of the four components (C, S, G, D) of the selection functional Ξ is given an explicit formula — so the standard sufficient conditions for a maximizer to exist (continuity, compactness) cannot even be checked, let alone verified.
Standard physics
In mainstream mathematics, proving that a maximum of a real-valued functional exists (rather than just writing 'argmax') is a real, nontrivial step, not a formality — the standard sufficient tool is the direct method in the calculus of variations (introduced by Zaremba and Hilbert around 1900), which requires the functional to be sequentially lower (or upper, for a max) semicontinuous and coercive on a space where minimizing/maximizing sequences have convergent subsequences. Without an explicit topology and an explicit functional, none of these conditions can be checked.
- Direct Methods in the Calculus of Variations — World Scientific — source
Mathematical background
The general pattern (Weierstrass-type existence theorem): if a functional F is sequentially lower semicontinuous with respect to some topology, and coercive (its sublevel sets are contained in sequentially compact sets), then F attains its infimum — and symmetrically for a supremum/maximum with upper semicontinuity. Applying this to W* = argmax Ξ(W) over the space of possible worlds requires: (1) an actual topology or metric on that space, (2) an explicit enough form of Ξ = αC + βS + γG − δD to check continuity/semicontinuity, and (3) either compactness of the relevant sublevel/superlevel sets or coercivity of Ξ. The corpus's own criticism log states plainly that none of these three ingredients exists in the source text.
What remains open
The corpus's own audit log states: 'no topology or metric is ever constructed on the space of worlds, and none of C, S, G, D (the components of Ξ) is given an explicit formula — so continuity or compactness... cannot even be checked.' This is logged as an open, high-remaining-risk item, downgraded from an implied settled fact to a conditional proposition ('IF the space can be given a topology under which it's compact, OR Ξ can be shown coercive, THEN W* exists') rather than resolved.
Structural Selection perspective
The current corpus does not yet derive an answer to this question.
The corpus's own criticism log (slug gap-1-existence-of-w-star) states the existence claim was downgraded from an asserted fact to an explicitly conditional one: existence of W* would follow IF a suitable topology/compactness or coercivity property could be established, but neither has been. A minimal toy formalization is noted as sketched in the audit's closure supplement, but the corpus is explicit that it is not built out into a real proof.
Corpus derivation / interpretation
Corpus criticism log entry gap-1-existence-of-w-star (category: mathematical, status: open, book: Pre-Physical Selection & Emergent Reality, location: Ch. 03.2, 04.1, 04.2, 04.4, Appendix D.1-D.4): existence of W* is asserted without a constructed topology/metric on the space of worlds or explicit formulas for Ξ's components, so the standard existence conditions cannot be checked.
The corpus's repair downgrades the claim to a conditional proposition and notes an unbuilt toy formalization exists in a supplement.
Comparison
This is exactly the kind of gap that the direct method in the calculus of variations is designed to close in mainstream mathematical physics — and mainstream practice treats 'construct the topology, check coercivity/semicontinuity' as a mandatory, often highly nontrivial step (entire textbooks like Dacorogna's or Giusti's are devoted to it for concrete functionals in elasticity and geometric measure theory), not a step that can be skipped by writing 'argmax.' The corpus's gap is therefore not a failure at an unusually hard research frontier — it is a gap at a step mainstream practice treats as a required, checkable part of any existence claim of this form.
Falsifiability
Not directly falsifiable — this is a question about proof completeness, not an empirical claim. It would be resolved (not falsified) if the corpus supplied an explicit topology on the space of worlds and explicit formulas for Ξ's components sufficient to check coercivity or compactness.
Limitations
This page reports the corpus's own self-assessment from its public criticism log; it does not attempt to independently construct a topology or coercivity argument that might close the gap, nor does it evaluate the unbuilt toy formalization the corpus mentions exists in an audit supplement not reviewed as part of producing this page.
References
- Direct Methods in the Calculus of Variations — World Scientific — https://www.worldscientific.com/worldscibooks/10.1142/5002