number-theory / Equidistribution mod 1

(ξα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)

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.

22Significance / 100
2Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theorySep 6, 2026Significance 22/100Registry: lean checked

(ξα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)

proved→proved

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…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
number-theoryAug 31, 2026Significance 22/100

(ξα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)

Prior state unknown→proved

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.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

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.

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.

Recorded attempts

Evidence graph

Connected research record

$(\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