Source authenticated

(ξαn)n≥1(\xi\alpha^n)_{n\ge1} is not uniformly distributed modulo one for Pisot α\alpha and ξ\xi in the Cantor set C(α)C(\alpha)

VibeMathed recorded: (ξαn)n≥1(\xi\alpha^n)_{n\ge1} is not uniformly distributed modulo one for Pisot α\alpha and ξ\xi in the Cantor set C(α)C(\alpha). Consult the linked registry entry for the original report and scope.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Aug 31, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: lean-checked. Publication: announcement. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its 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

Open the source record ↗

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

(ξαn)n≥1(\xi\alpha^n)_{n\ge1} is not uniformly distributed modulo one for Pisot α\alpha and ξ\xi in the Cantor set C(α)C(\alpha) →

(ξαn)n≥1(\xi\alpha^n)_{n\ge1} is not uniformly distributed modulo one for Pisot α\alpha and ξ\xi in the Cantor set C(α)C(\alpha) evidence for this event

This event attributed to Fable 5

VibeMathed record: (ξαn)n≥1(\xi\alpha^n)_{n\ge1} is not uniformly distributed modulo one for Pisot α\alpha and ξ\xi in the Cantor set C(α)C(\alpha) evidence for this event

(ξαn)n≥1(\xi\alpha^n)_{n\ge1} is not uniformly distributed modulo one for Pisot α\alpha and ξ\xi in the Cantor set C(α)C(\alpha) parent of this event

Registry link 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 α>1\alpha > 1 of X2−aX−bX^2 - aX - b whose conjugate has modulus below one - and both instances are quadratic. The arbitrary-degree material is conditional ingredients: for the family Xd−aXd−1−1X^d - aX^{d-1} - 1 the real root exceeding aa is shown to be Pisot for a≥3a \ge 3, 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 α\alpha 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

Verify, challenge, or extend the result.

$(\xi\alpha^n)_{n\ge1}$ is not uniformly distributed modulo one for Pisot $\alpha$ and $\xi$ in the Cantor set $C(\alpha)$ — Mathematical Frontier Network