English
Related papers

Related papers: Real Stability and Log Concavity are coNP-Hard

200 papers

Assuming that the Permanent polynomial requires algebraic circuits of exponential size, we show that the class VNP does not have efficiently computable equations. In other words, any nonzero polynomial that vanishes on the coefficient…

Computational Complexity · Computer Science 2024-02-29 Mrinal Kumar , C. Ramya , Ramprasad Saptharishi , Anamay Tengse

For every bivariate polynomial $p(z_1, z_2)$ of bidegree $(n_1, n_2)$, with $p(0,0)=1$, which has no zeros in the open unit bidisk, we construct a determinantal representation of the form $$p(z_1,z_2)=\det (I - K Z),$$ where $Z$ is an…

Functional Analysis · Mathematics 2013-07-01 Anatolii Grinshpan , Dmitry S. Kaliuzhnyi-Verbovetskyi , Victor Vinnikov , Hugo J. Woerdeman

In further pursuit of a solution to the celebrated nonnegative inverse eigenvalue problem, Loewy and London [Linear and Multilinear Algebra 6 (1978/79), no.~1, 83--90] posed the problem of characterizing all polynomials that preserve all…

Rings and Algebras · Mathematics 2024-02-07 Benjamin J. Clark , Pietro Paparella

We show that if the rotation set of a homeomorphism of the torus is stable under small perturbations of the dynamics, then it is a convex polygon with rational vertices. We also show that such homeomorphisms are $C^0$-generic and have…

Dynamical Systems · Mathematics 2017-03-08 Pierre-Antoine Guihéneuf , Andres Koropecki

A probabilistic approach to the stable matching problem has been identified as an important research area with several important open problems. When considering random matchings, ex-post stability is a fundamental stability concept. A…

Computer Science and Game Theory · Computer Science 2026-02-23 Haris Aziz , Gergely Csáji , Péter Biró

A graph with convex quadratic stability number is a graph for which the stability number is determined by solving a convex quadratic program. Since the very beginning, where a convex quadratic programming upper bound on the stability number…

Combinatorics · Mathematics 2018-11-15 Domingos M. Cardoso

Univariate polynomial root-finding is a classical subject, still important for modern computing. Frequently one seeks just the real roots of a polynomial with real coefficients. They can be approximated at a low computational cost if the…

Symbolic Computation · Computer Science 2017-04-14 Victor Y. Pan , Liang Zhao

The subject logic in computer science should entail proof theoretic applications. So the question arises whether open problems in computational complexity can be solved by advanced proof theoretic techniques. In particular, consider the…

Computational Complexity · Computer Science 2020-12-09 L. Gordeev , E. H. Haeusler

In graph realization problems one is given a degree sequence and the task is to decide whether there is a graph whose vertex degrees match to the given sequence. This realization problem is known to be polynomial-time solvable when the…

Computational Complexity · Computer Science 2012-01-18 Sepp Hartung , André Nichterlein

We study the discrete dynamics of standard (or left) polynomials $f(x)$ over division rings $D$. We define their fixed points to be the points $\lambda \in D$ for which $f^{\circ n}(\lambda)=\lambda$ for any $n \in \mathbb{N}$, where…

Rings and Algebras · Mathematics 2023-06-22 Adam Chapman , Solomon Vishkautsan

Classes of homogeneous polynomials between Banach spaces have been studied in the last three decades from the perspective of the so-called ideal property: if a polynomial P belongs to a class Q, then the composition u o P o v of P with…

Functional Analysis · Mathematics 2016-10-04 Geraldo Botelho , Ewerton R. Torres

Here we study the typical rank for real bivariate homogeneous polynomials of degree $d\ge 6$ (the case $d\le 5$ being settled by P. Comon and G. Ottaviani). We prove that $d-1$ is a typical rank and that if $d$ is odd, then $(d+3)/2$ is a…

Algebraic Geometry · Mathematics 2012-04-17 Edoardo Ballico

We investigate the class of regular-ordered word equations. In such equations, each variable occurs at most once in each side and the order of the variables occurring in both sides is the preserved (the variables can be, however, separated…

Formal Languages and Automata Theory · Computer Science 2017-03-01 Joel D. Day , Florin Manea , Dirk Nowotka

We expand upon the notion of equivariant log concavity, and make equivariant log concavity conjectures for Orlik--Solomon algebras of matroids, Cordovil algebras of oriented matroids, and Orlik--Terao algebras of hyperplane arrangements. In…

Combinatorics · Mathematics 2021-11-01 Jacob P. Matherne , Dane Miyata , Nicholas Proudfoot , Eric Ramos

In this paper, we mainly study the stability of iterated polynomials and linear transformations preserving the strong $q$-log-convexity of polynomials Let $[T_{n,k}]_{n,k\geq0}$ be an array of nonnegative numbers. We give some criteria for…

Combinatorics · Mathematics 2023-07-19 Bao-Xuan Zhu

We show that the problem of deciding whether a given Euclidean lattice L has an orthonormal basis is in NP and co-NP. Since this is equivalent to saying that L is isomorphic to the standard integer lattice, this problem is a special form of…

Discrete Mathematics · Computer Science 2019-10-10 Christoph Hunkenschröder

We prove a sharp degree bound for polynomials constant on a hyperplane with a fixed number of nonnegative distinct monomials. This bound was conjectured by John P. D'Angelo, proved in two dimensions by D'Angelo, Kos and Riehl and in three…

Algebraic Geometry · Mathematics 2013-12-05 Jiri Lebl , Han Peters

This paper is devoted to several new results concerning (standard) octonion polynomials. The first is the determination of the roots of all right scalar multiples of octonion polynomials. The roots of left multiples are also discussed,…

Rings and Algebras · Mathematics 2023-06-22 Adam Chapman , Solomon Vishkautsan

We prove that Schur classes of nef vector bundles are limits of classes that have a property analogous to the Hodge-Riemann bilinear relations. We give a number of applications, including (1) new log-concavity statements about…

Algebraic Geometry · Mathematics 2021-06-22 Julius Ross , Matei Toma

We consider homogeneous multiaffine polynomials whose coefficients are the Pl\"ucker coordinates of a point $V$ of the Grassmannian. We show that such a polynomial is stable (with respect to the upper half plane) if and only if $V$ is in…

Complex Variables · Mathematics 2019-08-15 Kevin Purbhoo