Boundary discrete surface-area conjecture for simplices

From papers

Let S=conv({v0,,vd})S=\operatorname{conv}(\{v_0,\ldots,v_d\}) be a dd-simplex with 0S{v0,,vd}\mathbf{0}\in S\setminus\{v_0,\ldots,v_d\} and with rational vertex directions. For each ii, let πi:RdRd1\pi_i:\mathbb{R}^d\to\mathbb{R}^{d-1} be the linear projection vanishing at viv_i, and let I{0,,d}I\subset\{0,\ldots,d\} be the set of labels of facets containing the origin. The boundary discrete surface-area conjecture.

μ(S)12i=0dVolπi(Zd)(πi(S))+iIVolπi(Zd)(πi(S))VolZd(S).\mu(S)\leq\frac12\frac{\sum_{i=0}^d\operatorname{Vol}_{\pi_i(\mathbb{Z}^d)}(\pi_i(S))+\sum_{i\in I}\operatorname{Vol}_{\pi_i(\mathbb{Z}^d)}(\pi_i(S))}{\operatorname{Vol}_{\mathbb{Z}^d}(S)}.

This extends the discrete surface-area conjecture from simplices with the origin in the interior to simplices with the origin on the boundary. The source proposes the extension but gives no general resolution.

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

Giulia Codenotti, Francisco Santos and Matthias Schymura, “The covering radius and a discrete surface area for non-hollow simplices”, arXiv:1903.02866 (2021).

Solutions 0

No solutions have been posted yet.