Weak $(1-ε)$-nets for polynomial superlevel sets
Authors:
Pablo González-Mazón,
Alfredo Hubard,
Roman Karasev
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…
▽ More
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.
△ Less
Submitted 27 August, 2023;
originally announced August 2023.
Tri-linear birational maps in dimension three
Authors:
Laurent Busé,
Pablo González-Mazón,
Josef Schicho
Abstract:
A tri-linear rational map in dimension three is a rational map $φ: (\mathbb{P}_\mathbb{C}^1)^3 \dashrightarrow \mathbb{P}_\mathbb{C}^3$ defined by four tri-linear polynomials without a common factor. If $φ$ admits an inverse rational map $φ^{-1}$, it is a tri-linear birational map. In this paper, we address computational and geometric aspects about these transformations. We give a characterization…
▽ More
A tri-linear rational map in dimension three is a rational map $φ: (\mathbb{P}_\mathbb{C}^1)^3 \dashrightarrow \mathbb{P}_\mathbb{C}^3$ defined by four tri-linear polynomials without a common factor. If $φ$ admits an inverse rational map $φ^{-1}$, it is a tri-linear birational map. In this paper, we address computational and geometric aspects about these transformations. We give a characterization of birationality based on the first syzygies of the entries. More generally, we describe all the possible minimal graded free resolutions of the ideal generated by these entries. With respect to geometry, we show that the set $\mathfrak{Bir}_{(1,1,1)}$ of tri-linear birational maps, up to composition with an automorphism of $\mathbb{P}_\mathbb{C}^3$, is a locally closed algebraic subset of the Grassmannian of $4$-dimensional subspaces in the vector space of tri-linear polynomials, and has eight irreducible components. Additionally, the group action on $\mathfrak{Bir}_{(1,1,1)}$ given by composition with automorphisms of $(\mathbb{P}_\mathbb{C}^1)^3$ defines 19 orbits, and each of these orbits determines an isomorphism class of the base loci of these transformations.
△ Less
Submitted 3 November, 2022; v1 submitted 1 March, 2022;
originally announced March 2022.
