The complex Illumination problem

Abstract We formulate a complex analog of the celebrated Levi-Hadwiger-Boltyanski illumination (or covering) conjecture for complex convex bodies in $$\mathbb {C}^n$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mrow> <mml:mi>C</mml:mi> </mml:mrow> <mml:mi>n</mml:mi> </mml:msup> </mml:math> , as well as its (non-comparable) fractional version. A key element in posing these problems is computing the classical and fractional illumination numbers of the complex analog of the hypercube, i.e., the polydisc. We prove that the illumination number of the polydisc in $$\mathbb {C}^n$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mrow> <mml:mi>C</mml:mi> </mml:mrow> <mml:mi>n</mml:mi> </mml:msup> </mml:math> is equal to $$2^{n+1}-1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mn>2</mml:mn> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msup> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> and that the fractional illumination number of the polydisc in $$\mathbb {C}^n$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mrow> <mml:mi>C</mml:mi> </mml:mrow> <mml:mi>n</mml:mi> </mml:msup> </mml:math> is equal to $$2^n$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mn>2</mml:mn> <mml:mi>n</mml:mi> </mml:msup> </mml:math> . In addition, we verify both conjectures for the classes of complex zonotopes and zonoids.