Fine torus conjecture for discretizing integral seminorms

Let KRdK\subseteq\mathbb R^d be a nondegenerate integral convex polytope containing the origin. A fine structure on Rd\mathbb R^d is required to be Zd\mathbb Z^d-periodic, and dF~d_{\widetilde F} denotes its induced metric. Fine torus conjecture. There exists such a fine structure F~\widetilde F satisfying

dF~(x,x+v)=maxφKφ(v)=:vKd_{\widetilde F}(x,x+v)=\max_{\varphi\in K}\varphi(v)=:\|v\|_K

for every vZdv\in\mathbb Z^d and every vertex xx of F~\widetilde F, with exactly d!2Kd!^2|K| dd-dimensional cells up to integer translations. The source presents this as a conjectural optimal discretization of integral seminorms; the discretization problem is noted to be open already in dimension three for the cube, where the conjectured minimum is 36 tetrahedra per period.

Sources & referencesView supporting material

Primary source

Marcos Cossarini, “Discrete surfaces with length and area and minimal fillings of the circle”, arXiv:2009.02415 (2020).

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.