Year: 2023
Type: preprint
Abstract: We prove that for any Borel probability measure $μ$ on $\mathbb R^n$ there exists a set $X\subset \mathbb R^n$ of $n+1$ points such that any $n$-variate quadratic polynomial $P$ that is nonnegative on $X$ (i.e. $P(x)\geq 0$, for every $x \in X$) satisfies $μ\{P\geq 0\}\geq \frac{2}{(n+1)(n+2)}$. We also prove that given an absolutely continuous probability measure $μ$ on $\mathbb R^n$ and $D\leq 2k$, for every $δ>0$ there exists a set $X\subset \mathbb R^n$ with $|X|\leq \binom{n+2k}{n}-n-1$ such that any $n$-variate polynomial $P$ of degree $D$ that is nonnegative on $X$ satisfies $μ\{P\geq 0\}\geq \frac{1}{\binom{n+2k}{n}+1} - δ$. These statements are analogues of the celebrated centerpoint theorem, which corresponds to the case of linear polynomials. Our results follow from new estimates on the Carathéodory numbers of real Veronese varieties, or alternatively, from bounds on the nonnegative symmetric rank of real symmetric tensors.
Language: English
Subfield: Applied Mathematics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4386270764