Finite similar shapes conjecture for MICP representable sets
Let S⊆RnS\subseteq\mathbb{R}^nS⊆Rn be MICP representable, so that … where C⊆RdC\subseteq\mathbb{R}^dC⊆Rd and each Az⊆RdA_{\bm{z}}\subseteq\mathbb{R}^dAz⊆Rd is a projection of a closed convex set. A fi…