A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The David–Semmes Riesz-transform problem in higher codimension
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

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:1
Category:Real and complex analysis Lean version:YES! ✔
Rate this game! 4.7 out of 5 (4,114 votes)

>>> How to Play <<<
Riesz transforms and rectifiability in higher codimension. Resolves the remaining higher-codimension Riesz-transform rectifiability problem: for d ≥ 4 and $2\le n\le d-2$, an n-Ahlfors–David regular Radon measure on ℝd is uniformly n-rectifiable whenever its n-dimensional Riesz transform is uniformly L2-bounded over all positive hard truncations. The rectifiability bounds depend only on dimension, regularity and operator bounds.

>>> Level Select <<<
released 2026-09-24  |  3 theorems · 15 lemmas · 25 proofs · 22,447 words  |  PLAY LEVEL 1 »  (pdf)
We prove that an n-Ahlfors–David regular Radon measure on ℝd is uniformly n-rectifiable if its n-dimensional Riesz transform is uniformly bounded from scalar $L^2(\mu)$ to vector-valued $L^2(\mu)$ over all positive hard truncations, for integers d ≥ 4 and $2\le n\le d-2$. This gives a positive answer to the David–Semmes Riesz-transform question in its remaining higher-codimension range. The conclusion gives uniform big pieces of Lipschitz images of Euclidean balls.

More Real and complex analysis Games!
An $L^3$ bound for the trilinear Hilbert transformKoebe's circle-domain conjecture and circle-domain rigidityBrennan's conjecture and a counterexample to Kraetzer's predictionThe Falconer distance conjecture HOT!
Kakeya in three and four dimensions HOT!The $L\log L$ Fourier-convergence conjectureUltraflat real Littlewood polynomialsFourier restriction for positively curved surfaces

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