A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The sharp distortion of edit distance into $\ell_1$
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Zeta Defense <<<

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:shapes, measuring stuff Levels:3
Category:Convex and metric geometry Lean version:YES! ✔
Rate this game! 4.2 out of 5 (5,028 votes)

>>> How to Play <<<
The sharp exponential scale of edit-distance distortion. Determines the least distortion of embedding edit distance on words of length at most d into real ℓ1: it is $\exp(\Theta(\sqrt{\log d\,\log\log d}))$. Insertions, deletions and substitutions have unit cost. The constants are uniform over all finite alphabets with at least two symbols, even when the alphabet grows with d; binary words already force the lower bound.

>>> Level Select <<<
released 2026-09-27  |  2 theorems · 5 lemmas · 8 proofs · 5,461 words  |  PLAY LEVEL 1 »  (pdf)
We determine the exponential scale of the least ℓ1 distortion of unit-cost edit distance on all strings of length at most d. For every sufficiently large d, uniformly over finite alphabets of size at least two, the distortion lies between $\exp(c\sqrt{\log d\,\log\log d})$ and $\exp(C\sqrt{\log d\,\log\log d})$ for absolute constants $c,C\gt 0$. The lower bound already holds on binary strings of one common length. Thus the order of logarithmic distortion is sharp up to absolute constants.
released 2026-09-27  |  3 theorems · 17 lemmas · 18 proofs · 14,119 words  |  PLAY LEVEL 2 »  (pdf)
We give two finite-circle constructions of binary strings whose least ℓ1 distortion is $\exp(\Omega(\sqrt{\log d\,\log\log d}))$, where d bounds their length. Both constructions supply words of one common length for every sufficiently large cap. Two direct binary coding arguments transfer the constructions with absolute distortion and logarithmic block width. We also develop the overlapping-substring method of Ostrovsky and Rabani into a complete finite histogram embedding at the same exponential scale, uniformly over all finite alphabets and all words of length at most d, including the empty word.
released 2026-09-27  |  3 theorems · 12 lemmas · 17 proofs · 9,745 words  |  PLAY LEVEL 3 »  (pdf)
We give two independent constructions of binary words of one length at most d whose ordinary edit-distance metrics require ℓ1 distortion $\exp(\Omega(\sqrt{\log d\,\log\log d}))$ for every sufficiently large d. We also prove a constant-distortion binary conversion for one prescribed input length. Together with the companion upper embedding theorem, these lower bounds determine the order of logarithmic distortion uniformly over finite alphabets with at least two symbols.

More Convex and metric geometry Games!
Hyperbolicity cones without semidefinite liftsThe Gaussian propeller conjectureThe Euclidean Steinitz–Bergström conjectureA negative answer to the Lang–Plaut problem
A counterexample to Bang's cylinder-covering boundThe sharp simplex conjecture for isotropic constantsThe Mahler conjectures and symplectic width HOT!Petty's projection-volume conjecture and simplex counterexamples

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