Related papers: The $\mathcal{S}$-cone and a primal-dual view on s…

Let $S$ be a $3$-dimensional quantum polynomial algebra, and $f \in S_2$ a central regular element. The quotient algebra $A = S/(f)$ is called a noncommutative conic. For a noncommutative conic $A$, there is a finite dimensional algebra…

This paper is devoted to the generalized differential study of the normal cone mappings associated with a large class of parametric constraint systems (PCS) that appear, in particular, in nonpolyhedral conic programming. Conducting a local…

Conditional Sums-of-AM/GM-Exponentials (conditional SAGE) is a decomposition method to prove nonnegativity of a signomial or polynomial over some subset $X$ of real space. In this article, we undertake the first structural analysis of…

The spin representation $(\mathbb C^2)^{\otimes n}$ has a dual canonical basis introduced by Lusztig that is important in many areas of algebra, geometry, and physics. Khovanov observed that a portion of the dual canonical basis can be…

We study cyclic sieving phenomena (CSP) on combinatorial objects from an abstract point of view by considering a rational polyhedral cone determined by the linear equations that define such phenomena. Each lattice point in the cone…

A polynomial that is a sum of squares (SOS) of other polynomials is evidently positive. The converse is not true, there are positive polynomials which are not SOS. This note focuses on the problem of certifying, in exact arithmetic, that a…

We provide a complete and explicit characterization of the real zeros of sums of nonnegative circuit (SONC) polynomials, a recent certificate for nonnegative polynomials independent of sums of squares. As a consequence, we derive an exact…

Projectivizations of pointed polyhedral cones $C$ are positive geometries in the sense of Arkani-Hamed, Bai, and Lam. Their canonical forms look like $$ \Omega_C(x)=\frac{A(x)}{B(x)} dx, $$ with $A,B$ polynomials. The denominator $B(x)$ is…

In this paper, we prove that every SONC polynomial decomposes into a sum of nonnegative circuit polynomials with the same support, which reveals the advantage of SONC decompositions for certifying nonnegativity of sparse polynomials…

We use tropicalization to study the duals to cones of nonnegative polynomials and sums of squares on a semialgebraic set $S$. The truncated cones of moments of measures supported on the set $S$ is dual to nonnegative polynomials on $S$,…

We provide a complete and explicit characterization of the exposed extreme rays of the cone of sums of nonnegative circuit (SONC) polynomials. The criterion we derive is purely combinatorial and depends only on the existence of certain…

We study optimal simple second-order cone representations (a particular subclass of second-order cone representations) for weighted geometric means, which turns out to be closely related to minimum mediated sets. Several lower and upper…

The cone of nonnegative polynomials is of fundamental importance in real algebraic geometry, but its facial structure is understood in very few cases. We initiate a systematic study of the facial structure of the cone of nonnegative…

We prove a noncompact Serre-Swan theorem characterising modules which are sections of vector bundles not necessarily trivial at infinity. We then identify the endomorphism algebras of the resulting modules. The endomorphism results continue…

In this paper, we are interested in the decomposition of the tensor product of two representations ofa symmetrizable Kac-Moody Lie algebra ${\mathfrak g}$, or more precisely in the tensor cone of~${\mathfrak g}$.As usual, we parametrize the…

We consider the problem of minimizing a sparse nonconvex quadratic function over the unit hypercube. By developing an extension of the Reformulation-Linearization Technique (RLT) to continuous quadratic sets, we propose a novel second-order…

We initiate a systematic study of nonnegative polynomials $P$ such that $P^k$ is not a sum of squares for any odd $k\geq 1$, calling such $P$ \emph{stubborn}. We develop a new invariant of a real isolated zero of a nonnegative polynomial in…

The zero locus of a bivariate polynomial $P(x,y)=0$ defines a compact Riemann surface $\Sigma$. The fundamental second kind differential is a symmetric $1\otimes 1$ form on $\Sigma\times \Sigma$ that has a double pole at coinciding points…

An early result of Noncommutative Geometry was Connes' observation in the 1980's that the Dirac-Dolbeault cycle for the $2$-torus $\mathbb{T}^2$, which induces a Poincar\'e self-duality for $\mathbb{T}^2$, can be 'quantized' to give a…

We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally…