English
Related papers

Related papers: Definite Determinantal Representations via Orthost…

200 papers

This paper studies Symmetric Determinantal Representations (SDR) in characteristic 2, that is the representation of a multivariate polynomial P by a symmetric matrix M such that P=det(M), and where each entry of M is either a constant or a…

Computational Complexity · Computer Science 2013-06-06 Bruno Grenet , Thierry Monteil , Stéphan Thomassé

We establish various certifying determinantal representation results for a polynomial that contains as a factor a prescribed multivariable polynomials that is strictly stable on a tube domain. The proofs use a Cayley transform in…

Functional Analysis · Mathematics 2024-11-27 Victor Vinnikov , Hugo J. Woerdeman

We define the non-commutative multiple bi-orthogonal polynomial systems, which simultaneously generalize the concepts of multiple orthogonality, matrix orthogonal polynomials and of the bi-orthogonality. We present quasideterminantal…

Exactly Solvable and Integrable Systems · Physics 2025-10-03 Adam Doliwa

We propose a new approach to the combinatorial interpretations of linearization coefficient problem of orthogonal polynomials. We first establish a difference system and then solve it combinatorially and analytically using the method of…

Classical Analysis and ODEs · Mathematics 2012-11-20 Mourad E. H. Ismail , Anisse Kasraoui , Jiang Zeng

We deploy numerical semidefinite programming and conversion to exact rational inequalities to certify that for a positive semidefinite input polynomial or rational function, any representation as a fraction of sums-of-squares of polynomials…

Optimization and Control · Mathematics 2012-03-02 Feng Guo , Erich L. Kaltofen , Lihong Zhi

The permanent vs. determinant problem is one of the most important problems in theoretical computer science, and is the main target of geometric complexity theory proposed by Mulmuley and Sohoni. The current best lower bound for the…

Computational Complexity · Computer Science 2015-04-02 Akihiro Yabe

A smooth curve in the real projective plane is hyperbolic if its ovals are maximally nested. By the Helton-Vinnikov Theorem, any such curve admits a definite symmetric determinantal representation. We use polynomial homotopy continuation to…

Algebraic Geometry · Mathematics 2016-07-05 Anton Leykin , Daniel Plaumann

We obtain a description of the Bipartite Perfect Matching decision problem as a multilinear polynomial over the Reals. We show that it has full degree and $(1-o_n(1))\cdot 2^{n^2}$ monomials with non-zero coefficients. In contrast, we show…

Discrete Mathematics · Computer Science 2020-02-25 Gal Beniamini , Noam Nisan

Given a polynomial $x \in {\mathbb R}^n \mapsto p(x)$ in $n=2$ variables, a symbolic-numerical algorithm is first described for detecting whether the connected component of the plane sublevel set ${\mathcal P} = \{x : p(x) \geq 0\}$…

Optimization and Control · Mathematics 2008-01-24 Didier Henrion

In this paper we explore determinantal representations of multiaffine polynomials and consequences for the image of various spaces of matrices under the principal minor map. We show that a real multiaffine polynomial has a definite…

Algebraic Geometry · Mathematics 2022-05-12 Abeer Al Ahmadieh , Cynthia Vinzant

We apply the bi-moment determinant method to compute a representation of the matrix product algebra -- a quadratic algebra satisfied by the operators $\mathbf{d}$ and $\mathbf{e}$ -- for the five parameter ($\alpha$, $\beta$, $\gamma$,…

Mathematical Physics · Physics 2019-02-19 R. Brak , W. Moore

Orthostochastic matrices are the entrywise squares of orthogonal matrices, and naturally arise in various contexts, including notably definite symmetric determinantal representations of real polynomials. However, defining equations for the…

Algebraic Geometry · Mathematics 2020-01-30 Justin Chen , Papri Dey

In this paper, we give some determinantal and permanental representations of Generalized Fibonacci Polynomials by using various Hessenberg matrices. These results are general form of determinantal and permanental representations of k…

Number Theory · Mathematics 2011-11-18 Adem Sahin , Kenan Kaygisiz

If a real symmetric matrix of linear forms is positive definite at some point, then its determinant is a hyperbolic hypersurface. In 2007, Helton and Vinnikov proved a converse in three variables, namely that every hyperbolic plane curve…

Algebraic Geometry · Mathematics 2015-03-20 Daniel Plaumann , Cynthia Vinzant

Orthogonal polynomials of two real variables can often be represented in complex variables. We explore the connection between the two types of representations and study the structural relations of complex orthogonal polynomials. The complex…

Classical Analysis and ODEs · Mathematics 2013-07-31 Yuan Xu

We prove two "master" convolution theorems for multivariate determinantal polynomials. The methods used include basic properties of what we call a "minor-orthogonal" ensemble as well as properties of the mixed discriminant of matrices. We…

Combinatorics · Mathematics 2020-10-20 Adam W. Marcus

The two-matrix model can be solved by introducing bi-orthogonal polynomials. In the case the potentials in the measure are polynomials, finite sequences of bi-orthogonal polynomials (called "windows") satisfy polynomial ODEs as well as…

Exactly Solvable and Integrable Systems · Physics 2015-06-26 M. Bertola , B. Eynard

A fundamental problem in computational algebraic geometry is the computation of the resultant. A central question is when and how to compute it as the determinant of a matrix. whose elements are the coefficients of the input polynomials…

Symbolic Computation · Computer Science 2018-05-15 Matías Bender , Jean-Charles Faugère , Angelos Mantzaflaris , Elias Tsigaridas

We utilize the same technique as in [arXiv:2205.04254 (2022)] to provide some representations of polynomials non-negative on a basic semi-algebraic set, defined by polynomial inequalities, under more general conditions. Based on each…

Optimization and Control · Mathematics 2022-10-13 Ngoc Hoang Anh Mai

Let K be a field and let M_n(K) denote the space of n x n matrices with entries in K. Let M be a subspace of M_n(K) of dimension d with the property that there are elements in M with non-zero determinant. Given a basis of M, we define the…

Rings and Algebras · Mathematics 2021-12-15 Rod Gow