Complex illumination conjecture for the polydisc

Let KCnK\subseteq\mathbb{C}^n be a complex convex body, meaning the unit ball of a norm on Cn\mathbb{C}^n and, under the identification with R2n\mathbb{R}^{2n}, invariant under multiplication by eθie^{\theta i} for every θR\theta\in\mathbb{R}. Let DD be the closed unit disk in C\mathbb{C} and let Dn=D××DD^n=D\times\cdots\times D be the polydisc. The complex illumination number is denoted by ill(K)\operatorname{ill}(K).

Complex illumination conjecture. We have

ill(K)2n+11.\operatorname{ill}(K)\le 2^{n+1}-1.

Moreover, equality holds if and only if KK is a linear image of DnD^n.

The polydisc is the proposed complex analogue of the hypercube: the paper states that ill(Dn)=2n+11\operatorname{ill}(D^n)=2^{n+1}-1. The conjecture seeks the corresponding sharp universal bound and equality characterization for complex convex bodies; its resolution is not stated in the supplied text.

Sources & referencesView supporting material

Primary source

Liran Rotem, Alon Schejter and Boaz A. Slomka, “The Complex Illumination Problem”, arXiv:2410.12021 (2024).

Additional references

3 papers in this index state this conjecture (2022–2024). The statement above is taken from the most recent of them; the others are arXiv:2306.13517, arXiv:2204.04561.

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.