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

1

Topics & keywords

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.