Cube-section affine-cube extremality conjecture

Let n>k1n>k\geq 1, let n=[1,1]n\Box^n=[-1,1]^n, and let HH be a kk-dimensional linear subspace. Write C(n,k)2kC_{\Box}(n,k)2^k for the maximum volume among sections nH\Box^n\cap H that are affine cubes. Cube-section affine-cube extremality conjecture. The maximal volume of a section of the cube n\Box^n by a kk-dimensional linear subspace HH is attained on subspaces for which the section is an affine cube; equivalently,

volk(nH)C(n,k)volkk.\operatorname{vol}_{k}(\Box^n\cap H)\leq C_{\Box}(n,k)\operatorname{vol}_{k}\Box^k.

This conjecture gives the proposed sharp upper bound in the cases where Ball's general upper bounds are not known to be tight, namely when kk does not divide nn and 2k<n2k<n.

Sources & referencesView supporting material

Primary source

Grigory Ivanov and Igor Tsiutsiurupa, “On the volume of sections of the cube”, arXiv:2004.02674 (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.