Naor's lattice quotient embedding conjecture

About 1 year old · traced to

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+Λ):=inf⁡k∈Λ∥x−y+k∥1.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 r∈Nr\in\mathbb{N} and every lattice Λ⊂Rr\Lambda\subset\mathbb{R}^r,

c1(ℓ1r/Λ)≲r(log⁡r)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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.