Finite similar shapes conjecture for MICP representable sets

From papers

Let SRnS\subseteq\mathbb{R}^n be MICP representable, so that

S=zCZdAz,S=\bigcup_{\bm{z}\in C\cap\mathbb{Z}^d}A_{\bm{z}},

where CRdC\subseteq\mathbb{R}^d and each AzRdA_{\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 C0CZdC_0\subseteq C\cap\mathbb{Z}^d such that, for every zCZd\bm{z}\in C\cap\mathbb{Z}^d, some z0C0\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.

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

Miles Lubin, Juan Pablo Vielma and Ilias Zadik, “Mixed-integer convex representability”, arXiv:1706.05135 (2020).

Solutions 0

No solutions have been posted yet.