Naor's lattice quotient embedding conjecture

From papers

Let c1(X)c_1(X) denote the infimal bi-Lipschitz distortion of a metric space XX into L1L_1. For a lattice ΛRr\Lambda\subset\mathbb{R}^r, equip Rr/Λ\mathbb{R}^r/\Lambda with the quotient 1\ell_1 metric

d(x+Λ,y+Λ):=infkΛxy+k1.d(x+\Lambda,y+\Lambda):=\inf_{k\in\Lambda}\|x-y+k\|_1.

Naor's lattice quotient conjecture. There exists a constant c>0c>0 such that for every rNr\in\mathbb{N} and every lattice ΛRr\Lambda\subset\mathbb{R}^r,

c1(1r/Λ)r(logr)c.c_1(\ell_1^r/\Lambda)\lesssim r(\log r)^c.

This is presented as an L1L_1 analogue of a result of Haviv and Regev. The source supplies no resolution status beyond calling it a conjecture.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Cosmas Kravaris, “L_1 and L_2 embeddings of the symmetric group”, arXiv:2512.09226 (2026).

Solutions 0

No solutions have been posted yet.