The Projective Blow-Up of the Probability Simplex: Turing Jump Degrees, a Stationary Fixed-Point Theorem, and Π⁰₂-Completeness
Indexed indatacite
Abstract
We study the iterated projective blow-up of the probability simplex Δ^(N−1), replacing its boundary seam at each stage with a copy of ℝP^(N−2) recording the direction of approach. The resulting tower {E_n}_(n≥1) of exceptional divisors yields three results. Via Shoenfield's Limit Lemma, E_n corresponds exactly to the n-th Turing jump ∅^(n) for all N ≥ 2. Coupling the blow-up geometry to a Feller–Markov kernel via a wired product yields a stationary measure μ* satisfying the Seam Consistency Condition (SCC) — a chart-overlap compatibility condition on ℝP^(N−2) — in all overlaps simultaneously; under isotropic refresh, μ* is unique, with Δ⁰₂ direction marginal. The SCC is Π⁰₂-complete and inexpressible in any…
Citation impact
6
total citations
- FWCI
- —
- Percentile
- —
- References
- 0
Too recent for citation history.
Authors
1Topics & keywords
Topics
Keywords
- Projective geometry
- Iterated function
- Simplex
- Turing machine
- Probability measure
- Measure (data warehouse)
- Tower
- Pencil (optics)
UN Sustainable Development Goals
- Life below water
No related works found for this paper.