Perfectly interlocking number schedules may have one shape
- What it is
- The paper claims a classification of exact integer partitions into Beatty sequences: whole-number patterns produced by a rounding rule.
- Who did it
- Hu Tan and Ying Zhang
- What it could mean
- Imagine several rhythms covering every beat exactly once, with no collisions. This claim would settle which proportions make that perfect fit possible in a famous family of mathematical sequences.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
A Proof of Fraenkel's Conjecture ↗See the proposed checks
State the precise periodic/common-period reduction; independently verify the inverse-sine obstruction and each claimed finite rational/integer verification; then examination the induction and two-sequence disjointness step that converts the one-third-density assertion into the full binary scale pattern.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- The manuscript claims Fraenkel's conjectured binary density pattern for partitions of the integers into at least three Beatty sequences with distinct moduli. Its proposed route runs through a dimension-free one-third-density statement, Fourier cancellation, and three exact finite verifications, making the proof architecture specific enough to map promptly.
- Why this could matter
- Perfectly interlocking number schedules may have one shape Imagine several repeating schedules that cover every integer exactly once without collision. Fraenkel's conjecture says that, with three or more distinct rhythms, their shares must follow one rigid doubling pattern.
- If it holds up
- Foundational: a decades-old classification becomes complete, deepening the mathematics of exact partitions and potentially informing future work on collision-free periodic scheduling.
- If it does not
- Other perfectly balanced patterns may exist, and the failed step would narrow where to search for them.
- Impact horizon
- Foundational · Number patterns · Discrete scheduling · Exact partitions
- Version
- submitted 2026-09-01 17:36:33 UTC
- Why we tracked it
- a fresh full-resolution claim for a named number-theory conjecture, but without a public formalization, codebase, or certificate route on the primary record.
- Highest-risk dependency
- The dimension-free reduction and its use of the three finite verifications must cover every allowed number of Beatty components and preserve the distinct-moduli hypotheses; the abstract cannot establish that global scope.
- Available artifacts
- arXiv provides PDF, experimental HTML, and TeX source; no linked formal proof, code, data, or certificate repository was found on the primary record.
- Current boundary
- Intake record only; examination not started.