A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Ultraflat real Littlewood polynomials
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Hamilton's Revenge <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:squiggles, limits Levels:3
Category:Real and complex analysis Lean version:YES! ✔
Rate this game! 4.9 out of 5 (3,522 votes)

>>> How to Play <<<
Real ultraflat Littlewood polynomials and unbounded binary merit factors. Constructs polynomials with N consecutive coefficients in $\{-1,1\}$ whose modulus is $(1+o(1))\sqrt N$ uniformly on the entire unit circle, for every sufficiently large integer length N. Thus real Littlewood polynomials are ultraflat, including at the real endpoints. Their binary merit factors tend to infinity, disproving Turyn's bounded-merit-factor conjecture.

>>> Level Select <<<
released 2026-10-05  |  1 theorem · 7 lemmas · 8 proofs · 6,216 words  |  PLAY LEVEL 1 »  (pdf)
For every $\varepsilon\in(0,1)$ and every sufficiently large integer N, there is a polynomial of length N with coefficients in $\{-1,1\}$ whose modulus lies between $(1-\varepsilon)\sqrt N$ and $(1+\varepsilon)\sqrt N$ everywhere on the unit circle. Thus real Littlewood polynomials can be ultraflat through every sufficiently large integer length. The signs may be chosen separately at each length.
released 2026-10-05  |  2 theorems · 5 lemmas · 8 proofs · 10,159 words  |  PLAY LEVEL 2 »  (pdf)
For every η > 0 and every sufficiently large integer N, there is a polynomial with N consecutive coefficients in $\{-1,1\}$ whose modulus lies between $\sqrt N/16$ and $(1+\eta)\sqrt N$ everywhere on the unit circle.
released 2026-09-23  |  2 theorems · 5 lemmas · 11 proofs · 9,276 words  |  PLAY LEVEL 3 »  (pdf)
We prove that the minimum possible maximum modulus on the unit circle of a polynomial with N consecutive real coefficients in $\{-1,1\}$ is $(1+o(1))\sqrt N$, as N tends to infinity through all integers. This disproves the real-sign analogue of Erdős's fixed relative-gap conjecture. As a consequence, the largest binary merit factor at length N tends to infinity through all integer lengths, disproving Turyn's conjecture.

More Real and complex analysis Games!
Sogge's local smoothing conjecture in dimension threeThe Sobolev endpoint in Carleson's Schrödinger convergence problemThe David–Semmes Riesz-transform problem in higher codimensionMaximal and variational bounds for the triangular Hilbert transform
Stein's conjecture for Hilbert transforms along Lipschitz directionsThe geometric case of the Erdős similarity conjectureEndpoint regularity of the planar centered maximal functionAn $L^3$ bound for the trilinear Hilbert transform

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