保存先:
| 第一著者: | |
|---|---|
| フォーマット: | Recurso digital |
| 言語: | |
| 出版事項: |
Zenodo
2026
|
| オンライン･アクセス: | https://doi.org/10.5281/zenodo.18529329 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
目次:
- <p><span>Abstract. </span><span><span>We prove the Riemann Hypothesis conditionally on the Recognition Geometry axiom of finite local resolution (RG4), recently formalized in [1] and partly verified in Lean 4</span></span><span><span><sup></sup><sup></sup></span></span><span>. </span><span><span>The argument combines three independently established components: (1) the unconditional inner-function encoding of the zeros of ζ as a pure Blaschke product on {ℜs > 1/2} [2]</span></span><span><span><sup></sup><sup></sup><sup></sup><sup></sup></span></span><span>; (2) </span><span><span>the Recognition Stability Audit (RSA), which converts the Schur certification of a Cayley-transformed arithmetic ratio into a finite Pick-matrix certificate [3] </span></span><span><span><sup></sup><sup></sup><sup></sup><sup></sup></span></span><span><span>; and (3) the finite-to-global bridge supplied by RG4: a recognizer with finite local branching produces a finite-state rational audited field whose Schur property is decided by an exact algebraic test</span></span><span><span><sup></sup><sup></sup><sup></sup><sup></sup></span></span><span>. </span><span><span>Under RG4 with the 8-tick realizability model of Recognition Science, the Cayley field of the arithmetic ratio is rational of bounded degree, and the Schur/Pick certification becomes exact—no tail bound is needed</span></span><span><span><sup></sup><sup></sup><sup></sup><sup></sup></span></span><span>. </span><span><span>We record the precise conditional implication, identify the single remaining domain-adapter theorem (connecting the arithmetic Cayley field to an 8-tick realization), and isolate two independent routes by which the condition can be discharged classically</span></span><span><span><sup></sup><sup></sup><sup></sup><sup></sup></span></span><span>.</span></p>