The normalized frame inequalities for cube sections and cross-polytope projections

From papers

Let S={v1,,vn}S=\{v_1,\ldots,v_n\} be an (n,k)(n,k)-frame spanning Rk\mathbb{R}^k, let

BS=(i=1nvivi)1/2,B_S=\left(\sum_{i=1}^n v_i\otimes v_i\right)^{-1/2},

and define P=co{±v1,,±vn}P=\operatorname{co}\{\pm v_1,\ldots,\pm v_n\} and Q=i=1n{xRkx,vi1}Q=\bigcap_{i=1}^n\{x\in\mathbb{R}^k\mid|\langle x,v_i\rangle|\leqslant1\}. Normalized frame inequalities. The conjectured bounds are

C(n,k)vol(k)volPdetBSvol(k);C_{\Diamond}(n,k)\mathop{\rm vol}(\Diamond^k)\leqslant\frac{\mathop{\rm vol}P}{\det B_S}\leqslant\mathop{\rm vol}(\Diamond^k); vol(k)vol(Q)detBSC(n,k)vol(k).\mathop{\rm vol}(\Box^k)\leqslant\mathop{\rm vol}(Q)\det B_S\leqslant C_{\Box}(n,k)\mathop{\rm vol}(\Box^k).

These inequalities rewrite the preceding projection and section conjectures in frame language. Since the source does not separately establish their status beyond that of the preceding conjectures, the general assertions remain open.

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

G. Ivanov, “On the volume of projections of the cross-polytope”, arXiv:1808.09165 (2020).

Solutions 0

No solutions have been posted yet.