code · pending
Artifact ↗is not uniformly distributed modulo one for Pisot and in the Cantor set
The problem is open, and the repository says so: what is proved are criteria for it and two instances, not the general case. Every compared statement that concludes Problem 10.61 does so for a quadratic setup - a real root of whose conjugate has modulus below one - and both instances are quadratic. The arbitrary-degree material is conditional ingredients: for the family the real root exceeding is shown to be Pisot for , with a conjugate-modulus bound and a numerical inequality. No compared statement carries those above degree two, because the covering criterion is proved only for quadratic setups. The covering criterion also leaves quadratic with route-A exponent at least one undecided, about which nothing is claimed.
Exact FrontierDelta
Scope and record
Occurred: Sep 6, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-checked. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: $(\xi\alpha^n)_{n\ge1}$ is not uniformly distributed modulo one for Pisot $\alpha$ and $\xi$ in the Cantor set $C(\alpha)$ · Bugeaud Problem 10.61
Confidence: Not scored
Registry verification: lean checked · announcement · partial
Attribution
VibeMathed
registry · event recorded by
Fable 5
model · ai model contributor · Anthropic
Opus 5
model · ai model contributor · Anthropic
Ralf Stephan
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects is not uniformly distributed modulo one for Pisot and in the Cantor set →
Supersedes is not uniformly distributed modulo one for Pisot and in the Cantor set →
is not uniformly distributed modulo one for Pisot and in the Cantor set evidence for this event
This event attributed to Fable 5
VibeMathed record: is not uniformly distributed modulo one for Pisot and in the Cantor set evidence for this event
is not uniformly distributed modulo one for Pisot and in the Cantor set parent of this event
Registry link evidence for this event
Preprint evidence for this event
Github repo evidence for this event
The problem is open, and the repository says so: what is proved are criteria for it and two instances, not the general case. Every compared statement that concludes Problem 10.61 does so for a quadratic setup - a real root of whose conjugate has modulus below one - and both instances are quadratic. The arbitrary-degree material is conditional ingredients: for the family the real root exceeding is shown to be Pisot for , with a conjugate-modulus bound and a numerical inequality. No compared statement carries those above degree two, because the covering criterion is proved only for quadratic setups. The covering criterion also leaves quadratic with route-A exponent at least one undecided, about which nothing is claimed. parent of this event
This event attributed to Opus 5
This event attributed to Ralf Stephan
Act on this frontier