Exact characterization conjecture for boundary hyperplane covers of quadratic sets
Let B={x:∥x∥2≤1}B=\{\mathbf{x}:\|\mathbf{x}\|_2\leq 1\}B={x:∥x∥2≤1} and C={x:g(x)≤0}C=\{\mathbf{x}:g(\mathbf{x})\leq 0\}C={x:g(x)≤0}, where ggg is a quadratic polynomial. Suppose that ggg has one of the forms … or … where…