Related papers: Positivity of Thom polynomials II: the Lagrange si…

Stanley's non-negativity theorem is at the heart of many of the results in Ehrhart theory. In this paper, we analyze the root behavior of general polynomials satisfying the conditions of Stanley's theorem and compare this to the known root…

For a partition $\underline{\lambda} = (\lambda_{1}^{\rho _1}>\lambda_{2}^{\rho _2}>\lambda_{3}^{\rho _3}>\ldots>\lambda_{k}^{\rho _k})$ and its associated finite $\mathcal{R}$-module…

The object of the present is a proof of the existence of functorial resolution of tame quotient singularities for quasi-projective varieties over algebraically closed fields.

In an earlier article [3], we presented an algorithm that can be used to rigorously check whether a specific cosine or sine polynomial is nonnegative in a given interval or not. The algorithm proves to be an indispensable tool in…

We prove a result on the singularities of ball quotients $\Gamma\backslash\CC H^n$. More precisely, we show that a ball quotient has canonical singularities under certain restrictions on the dimension $n$ and the underlying lattice. We also…

We prove twist positivity and positivity of the pair correlation function for combined spatial and internal symmetries of free bosonic Lagrangians. We work in a general setting, extending the results obtained in Twist Positivity [1].

We study nonnegative and sums of squares symmetric (and even symmetric) functions of fixed degree. We can think of these as limit cones of symmetric nonnegative polynomials and symmetric sums of squares of fixed degree as the number of…

Given a finite set of roots of unity, we show that all power sums are non-negative integers iff the set forms a group under multiplication. The main argument is purely combinatorial and states that for an arbitrary finite set system the…

The Thom polynomial of a singularity $\eta$ expresses the cohomology class of the $\eta$-singularity locus of a map in terms of the map's simple invariants. In this informal survey -- based on two lectures given at the Isaac Newton…

For any compact orientable irreducible 3-manifold $N$ with empty or incompressible toral boundary, the twisted $L^2$-torsion is a non-negative function defined on the representation variety…

In this note we prove the Launois-Lenagan conjecture on the classification of the automorphism groups of the algebras of quantum matrices R_q[M_n] of square shape for all positive integers n, base fields K, and deformation parameters q \in…

Real algebraic geometry provides certificates for the positivity of polynomials on semi-algebraic sets by expressing them as a suitable combination of sums of squares and the defining inequalitites. We show how Putinar's theorem for…

We completely characterize sections of the cones of nonnegative polynomials, convex polynomials and sums of squares with polynomials supported on circuits, a genuine class of sparse polynomials. In particular, nonnegativity is characterized…

The question of how to certify the non-negativity of a polynomial function lies at the heart of Real Algebra and it also has important applications to Optimization. In the setting of symmetric polynomials Timofte provided a useful way of…

In this paper we give an elementary proof of the Fundamental Theorem of Algebra for polynomials over the rational tropical semi-ring. We prove that, tropically, the rational numbers are algebraically closed. We provide a simple algorithm…

Inspired by prior work of Bruinier and Ono and Mertens and Rolen, we study class polynomials for non-holomorphic modular functions arising from modular forms of negative weight. In particular, we give general conditions for the…

We study the class of Lorentzian polynomials. The class contains homogeneous stable polynomials as well as volume polynomials of convex bodies and projective varieties. We prove that the Hessian of a nonzero Lorentzian polynomial has…

We prove that the polynomials counting locally free, absolutely indecomposable, rank 1 representations of quivers over rings of truncated power series have non-negative coefficients. This is a generalisation to higher depth of positivity…

A finitely generated module over the ring L=Z[t, t^{-1}] of integer Laurent polynomials that has no Z-torsion is determined by a pair of sub-lattices of L^d. Their indices are the absolute values of the leading and trailing coefficients of…

We study real univariate polynomials with non-zero coefficients and with all roots real, out of which exactly two positive. The sequence of coefficients of such a polynomial begins with $m$ positive coefficients followed by $n$ negative…