A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Arithmetic classification of Bernoulli convolutions
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Color the Plane <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:things that move forever Levels:1
Category:Dynamical systems and ergodic theory Lean version:not yet
Rate this game! 4.3 out of 5 (4,977 votes)

>>> How to Play <<<
Arithmetic classification and non-Pisot singularity for Bernoulli convolutions. Classifies singular and absolutely continuous unbiased Bernoulli convolutions for every $\lambda\in(0,1)$ by an infinite, one-sided approximation condition using explicit finite sets of algebraic units. It also proves singularity at reciprocals of every quartic Salem number in $(1,2)$, giving examples beyond reciprocal Pisot parameters.

>>> Level Select <<<
released 2026-10-03  |  3 theorems · 12 lemmas · 21 proofs · 13,212 words  |  PLAY LEVEL 1 »  (pdf)
We give an arithmetic classification of singular and absolutely continuous unbiased Bernoulli convolutions for every parameter $\lambda\in(0,1)$. The criterion is expressed through one-sided approximation by explicitly defined finite sets of algebraic units; it is an infinite approximation condition, not a finite membership algorithm. We also establish singular examples beyond reciprocals of Pisot numbers: singularity holds at the reciprocal of every quartic Salem number in $(1,2)$ and at the reciprocal of a specified non-Pisot root of an explicit degree-31 polynomial.

More Dynamical systems and ergodic theory Games!
A $C^1$ counterexample to Shub’s entropy conjectureZero entropy does not guarantee a smooth positive-volume modelPointwise multiple ergodic averages for mixing transformationsUniform limit-cycle bounds in Hilbert's sixteenth problem HOT!
Banach's simple Lebesgue-spectrum problemRokhlin's multiple-mixing problemSinai's positive-entropy conjecture for the standard mapThe near-boundary Birkhoff conjecture

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games