Paper I
Newman's Quantized Omega Contraction Theorem
Newman, Matthew Alan (2026-08-07). ORCID 0009-0007-5468-3125.
Exact contraction map, integer/rational representation, and parameter intervals for the quantized dynamics.
DOI: 10.5281/zenodo.21830284 — all versions; resolves to the latest version.
Version: v1, Zenodo record 21830285.
Version record: https://zenodo.org/records/21830285
Zenodo also lists version DOI 10.5281/zenodo.21830285, whose resolver is currently unavailable.
Publication: Zenodo preprint. Peer review: not peer reviewed. Published 2026-08-07. Document version v1. Zenodo deposit version 1.
Open PDF: /papers/Newman_Annals_Submission_Redrafted_DOI_21830285.pdf. Local mirror on this archive.
Zenodo file download: https://zenodo.org/records/21830285/files/Newman_Annals_Submission_Redrafted_DOI_21830285.pdf?download=1
Research branch: dynamics · All source works
The archive makes no blanket claim of novelty, priority, peer review, or independent validation. Some displayed identities are standard or definitional and are included to make the computational specification self-contained. Any claim of originality must concern a specifically stated formulation or derived result and must be evaluated separately against the relevant prior literature.
Cite this work
@misc{newman2026omega-i,
author = {Newman, Matthew Alan},
title = {Newman's Quantized Omega Contraction Theorem},
year = {2026},
date = {2026-08-07},
doi = {10.5281/zenodo.21830284},
url = {https://zenodo.org/records/21830285},
note = {Version v1, Zenodo record 21830285. Preprint; not peer reviewed.}
}Complete BibTeX · CITATION.cff
Claims on this archive that cite this paper
- Typed exact interfaces among Papers VII, V, I, II and frozen SRSD — theorem claim
- First floor-map disagreement at 42189065 — certificate-backed finite exact fact
- Exact 15-bit admissible interval and constrained optima — certificate-backed finite exact facts
- No accepted successor contract — status statement
- Omega-Alpha finite integer kernel and codebooks — exhaustively verified finite facts in the locally hosted synthesis
- Omega-Alpha is not a source paper — status statement
- De-branded executable audit of typed maps — executable mathematical audit of de-branded maps; not a joining theorem and not a formal proof-assistant kernel
- Lean 4 formalization of a selected geometric-provenance measurement — author-supplied Lean 4 formalization of a selected geometric-provenance measurement; hosted sources match package SHA256SUMS; lake build PASS on this archive 2026-09-13 (build.log SHA-256 ddc10580…); axiom audit 147 reports, axioms {propext, Classical.choice, Quot.sound}; Python axiom-coverage PASS; not a joining theorem, not peer review, and not independent reproduction of Papers I–VII
- Julia mathematical proof companion of a selected geometric-provenance measurement — companion software 0.1.0 / package v0.1: written proofs plus exact finite certificates corresponding to 147 Lean declarations; hosted 68 members recovered from the Word transcription match SHA256SUMS byte-for-byte; 29 Lean reference files are byte-identical to /formal/; author-supplied Julia 1.11.6 O0/O3 exit 0 is archived evidence, not a run on this archive; not a joining theorem, not an additional source paper, not peer review, and not independent reproduction of Papers I–VII
- 399 rational-floor reference kernel — Explanatory supplement for the map already published on /dynamics and used by the reconstruction tool. Not a new theorem and not an additional source paper. A valid suffix is another seed.