A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Sharp one-third stability of optimal transport maps
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Egyptian Fractions <<<

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:fluids, heat, waves Levels:1
Category:Partial differential equations Lean version:YES! ✔
Rate this game! 4.2 out of 5 (654 votes)

>>> How to Play <<<
Sharp one-third stability of Brenier maps. For uniform source measure ρ on a compact convex body with interior in dimension at least two, quadratic optimal transport maps satisfy $\|T_\mu-T_\nu\|_{L^2(\rho)}\le C W_2(\mu,\nu)^{1/3}$ uniformly over targets in a fixed compact set. The exponent is sharp, even for three-atom targets, disproving Letrouit's conjectured square-root bound.

>>> Level Select <<<
released 2026-09-25  |  1 theorem · 4 lemmas · 11 proofs · 6,954 words  |  PLAY LEVEL 1 »  (pdf)
For the uniform probability measure ρ on a compact convex body in ℝd, d ≥ 2, quadratic optimal transport maps are one-third Hölder continuous in $L^2(\rho)$ with respect to the target's 2-Wasserstein distance. The constant is uniform over all targets supported in a fixed compact set, and the exponent is optimal. A three-atom family on a fixed cube disproves Letrouit's conjectured uniform square-root estimate.

More Partial differential equations Games!
The three-dimensional Ball–Evans approximation problemThe hot spots conjecture for simply connected planar domains PLAYABLE!The subcritical Lane–Emden and Hénon–Lane–Emden conjecturesStable blowup for a defocusing Schrödinger equation
Global uniqueness in smooth isotropic elasticityNonattainment in three-marginal Coulomb transportDe Giorgi's conjecture in dimension eight HOT!Universal computation in forced Navier–Stokes flows HOT!

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