Schechtman's zonotope sparsification conjecture

Let ZRdZ\subseteq\mathbb R^d be a dd-dimensional zonotope and let ε(0,1)\varepsilon\in(0,1). A zonotope is represented as a Minkowski sum of line segments; in particular, write

Z~=A~[1,1]m~Rd.\widetilde Z=\widetilde A^\top[-1,1]^{\widetilde m}\subseteq\mathbb R^d.

Schechtman's sparsification conjecture. Is there a universal constant CC such that there is a zonotope Z~\widetilde Z generated by at most

m~Cdε2\widetilde m\le \frac{Cd}{\varepsilon^2}

segments and satisfying

Z~Z(1+ε)Z~?\widetilde Z\subseteq Z\subseteq(1+\varepsilon)\widetilde Z?

This is presented as a version of Schechtman's 1987 sparsification problem. The source gives no resolution, so the problem remains open.

Sources & referencesView supporting material

Primary source

Victor Reis, “Optimal Vector Balancing for Zonotopes”, arXiv:2605.23866 (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.