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

At least 7 years old · documented by

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=1nvi⊗vi)−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{x∈Rk∣∣⟨x,vi⟩∣⩽1}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)⩽volPdet⁡BS⩽vol(◊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)det⁡BS⩽C□(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.

References

Primary source

G. Ivanov, “On the volume of projections of the cross-polytope”, arXiv:1808.09165 (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.