What this final edition establishes
On this page · Permalink · Source line 1
The original external problem is Nishibuchi's Conjecture 3.9 for generalized Euler numbers. Its full parameter range is resolved. If \(p\) is prime, \(m\) is positive with \(m\mid p-1\) or \(m=2\), \(0\le j<mp\), and \(q=\operatorname{lcm}(2,p-1)\), then the original Euler coefficients are \(p\)-adically integral and
The paper states the generating function and the conversion between ordinary degree and packet row before using this formula. The normalized coefficient is \(C_{N,j}(n)\) and the original coefficient is \(E_{Nn}^{(N,j)}=j!C_{N,j}(n)\). The constant coefficient of the original series is \(j!\).
The strongest common-step conclusion in width four is particularly compact. For \(n\ge0\) and \(k,H\ge1\),
where
There is no starting-row threshold. The exponent is exact in addresses zero and one for every order and positive step. It is exact in address two at every power-of-two order. The proof chapters also give mixed-step forms, the cancellation criterion in addresses zero and one, and exact first-displacement laws.
| Result | Scope | Evidence in this edition |
|---|---|---|
| Nishibuchi Conjecture 3.9 | Every parameter in the original statement; explicit \(n\ge r\) | Inherited Lean proof |
| Width-four all-row common-step bound, first differences, least periods and isometry | Every address, row and positive displacement | Inherited Lean proof |
| General prime-power inverse transfer and mixed steps | Every prime-power width; signed steps for odd primes | Written proof and audit |
| Factorial gains and exact higher-order families | Four width-four addresses, with stated sharpness scopes | Written proof and audit |
| Taylor radii and broader dyadic first differences | Exact radii in addresses \(0,1,2\); stated all-rank cases | Written proof and audit |
| Ordinary Euler tail simplicity | Partial families and an explicit remaining discriminant problem | Open in full generality |
The complete earlier Paper IX development follows alongside the strengthening. Dated appendices retain the original continuation arguments and recovered historical text. Statements about an earlier open target or an earlier build remain records of that checkpoint; the current theorem and scope statements govern this edition. The Lean companion supplies the exact formal source map and distinguishes source reconciliation from compiler execution. The visual guide supplies exact finite examples and theorem-derived diagrams.
This is a project publication under the name Komorebi P. The recorded parallel proof audits are internal computational-assistant reviews. They are not external peer review. The edition makes no claim of journal acceptance, external certification, or global historical priority.