We study the quadratic convexification of the compact nonconvex set ${G} := \left[1/2,2\right]^2 \cap \{(x_1,x_2)\in\mathbb R^2\mid x_1x_2\leq1\}, $ which is a square truncated by a hyperbolic arc. Although the ordinary convex hull of ${G}$ is a triangle, its lifted convex hull in the complete quadratic space retains the nontrivial geometry of the curved boundary. We characterize all extreme rays of the cone of quadratic polynomials nonnegative on $G$, including parameterized families of bounded tangent and bitangent rays. Using this classification and conic duality, we derive an exact finite semidefinite representation of the lifted convex hull of ${G}$. The analysis follows the general framework of our earlier work on an unbounded product-constrained region, but the bounded geometry creates new boundary-contact patterns and leads to a different finite organization of the nonnegative-quadratic cone.
We study quadratic polynomials that are nonnegative on the non-compact set \[ F:=\{(x_1,x_2)\in\mathbb R^2:\ x_1\ge 0,\ x_2\ge 0,\ x_1x_2\le 1\}. \] All extreme rays of the cone of nonnegative quadratic polynomials are characterized on this set. The characterization allows us to study parameterized valid inequalities f...
Yipeng Zhang, Yu-Yuan Ouyang, Boshi Yang· 1 citation
Let \[\mathfrak O=\{(x,y)\in[0,1]^2:x+y\le \sqrt2\} \] be the first-quadrant sector of a regular octagon. For quadratic forms \(P(x,y)=ax^2+bxy+cy^2\), we study the supremum norm over \(\mathfrak O\). We obtain a complete five-region formula for the norm, according to whether the norming contact occurs at an endpoint o...
Manwook Han, S. Kim, G. A. Muñoz-Fernández et al.· 1 citation· ⚡1
In this article, we study three properties of a bounded $\mathbb{C}$-convex domain $\Omega \subset \mathbb{C}^n$, $n \geq 2$, with smooth boundary, namely Gromov hyperbolicity of its Kobayashi distance, finiteness of the D'Angelo type of $\partial \Omega$, and the existence of a subelliptic estimate for the $\bar{\part...
We prove that the set of bounded ratios $\BR(X)$ on a semialgebraic set $X\subset\R^n_{>0}$ is the convex cone of linear forms that are nonnegative on the tropicalization $\trop(X)$. In particular, it is a rational polyhedral convex cone. For $X$ the set of Lorentzian polynomials with fixed M-convex support, it is the...
We solve the asymptotic Plateau problem in hyperbolic space for the curvature given by the normalized geometric mean of the $p$-fold sums of the principal curvatures. For every $n\ge3$, $2\le p\le n-1$, and $\sigma\in(0,1)$, each bounded domain $\Omega\subset\mathbb{R}^n$ with smooth mean-convex boundary admits a uniqu...
Let $M^n$, $n\ge3$, be the smooth, connected, complete, noncompact boundary of a closed convex set with nonempty interior in $\mathbb{R}^{n+1}$. We prove that its normalized scalar-curvature integral at infinity is at most $4\pi\omega_{n-2}(1-\operatorname{AVR}(M))$, except when, up to an ambient rigid motion, $M$ is t...
Qi-Xuan Hu, Shuai Zhang· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
