Finite similar shapes conjecture for MICP representable sets

About 9 years old · traced to

Let S⊆RnS\subseteq\mathbb{R}^n be MICP representable, so that

S=⋃z∈C∩ZdAz,S=\bigcup_{\bm{z}\in C\cap\mathbb{Z}^d}A_{\bm{z}},

where C⊆RdC\subseteq\mathbb{R}^d and each Az⊆RdA_{\bm{z}}\subseteq\mathbb{R}^d is a projection of a closed convex set. A finite family of similar shapes should suffice: there should exist a finite set C0⊆C∩ZdC_0\subseteq C\cap\mathbb{Z}^d such that, for every z∈C∩Zd\bm{z}\in C\cap\mathbb{Z}^d, some z0∈C0\bm{z}_0\in C_0 satisfies that AzA_{\bm{z}} is homothetic to Az0A_{\bm{z}_0}, meaning that it is a translation and scaling of Az0A_{\bm{z}_0}. This conjecture proposes a finite-shape refinement of the equal-shape property for MICP representations: although the projected sets need not all be translates of finitely many convex sets when their volumes vary infinitely, they should differ from finitely many model sets only by translations and scalings.

References

Primary source

Miles Lubin, Juan Pablo Vielma and Ilias Zadik, “Mixed-integer convex representability”, arXiv:1706.05135 (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.