number-theory / Distribution mod one; Mahler's Z-numbers

Mahler's ZZ-number problem in its generalized form

Theorem E gives Z3/2(27,57)=∅Z_{3/2}(\tfrac27,\tfrac57)=\emptyset: a window of length 37=0.428571…\tfrac37=0.428571\ldots at base 3/23/2, beating the 31/8131/81 of [Dub19, Thm. 1.2], and with no assumption on the arithmetic nature of ξ\xi, where that result needs algebraicity. Mahler's problem itself is untouched: for which parameters ZZ is empty remains open, and this is a record window rather than a classification.

30Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theorySep 12, 2026Significance 30/100Registry: lean checked

Mahler's ZZ-number problem in its generalized form

Prior state unknown→proved

Theorem E gives Z3/2(27,57)=∅Z_{3/2}(\tfrac27,\tfrac57)=\emptyset: a window of length 37=0.428571…\tfrac37=0.428571\ldots at base 3/23/2, beating the 31/8131/81 of [Dub19, Thm. 1.2], and with no assumption on the arithmetic nature of ξ\xi, where that result needs algebraicity. Mahler's problem itself is untouched: for which parameters ZZ is empty remains open, and this is a record window rather than a classification.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem E gives Z3/2(27,57)=∅Z_{3/2}(\tfrac27,\tfrac57)=\emptyset: a window of length 37=0.428571…\tfrac37=0.428571\ldots at base 3/23/2, beating the 31/8131/81 of [Dub19, Thm. 1.2], and with no assumption on the arithmetic nature of ξ\xi, where that result needs algebraicity. Mahler's problem itself is untouched: for which parameters ZZ is empty remains open, and this is a record window rather than a classification.

Theorem E gives Z3/2(27,57)=∅Z_{3/2}(\tfrac27,\tfrac57)=\emptyset: a window of length 37=0.428571…\tfrac37=0.428571\ldots at base 3/23/2, beating the 31/8131/81 of [Dub19, Thm. 1.2], and with no assumption on the arithmetic nature of ξ\xi, where that result needs algebraicity. Mahler's problem itself is untouched: for which parameters ZZ is empty remains open, and this is a record window rather than a classification.

Recorded attempts

Evidence graph

Connected research record