English
Related papers

Related papers: Symmetric Determinantal Representations in Charact…

200 papers

We show that for a multivariable polynomial $p(z)=p(z_1, \ldots , z_d)$ with a determinantal representation $$ p(z) = p(0) \det (I_n- K (\oplus_{j=1}^d z_j I_{n_j}))$$ the matrix $K$ is structurally similar to a strictly $J$-contractive…

Functional Analysis · Mathematics 2024-11-11 Gilbert J. Groenewald , Sanne ter Horst , Hugo J. Woerdeman

Consider a convex set S defined by a matrix inequality of polynomials or rational functions over a domain. The set S is called semidefinite programming (SDP) representable or just semidefinite representable if it equals the projection of a…

Optimization and Control · Mathematics 2011-03-30 Jiawang Nie

We present a constructive solution to the N-representability problem---a full characterization of the conditions for constraining the two-electron reduced density matrix (2-RDM) to represent an N-electron density matrix. Previously known…

Quantum Physics · Physics 2012-07-04 David A. Mazziotti

Via explicit diagonalization of the chiral $SU(N)_{2}$ fusion matrices, we discuss the possibility of representing the fusion ring of the chiral SU(N) models, at level K=2, by a polynomial ring in a single variable when $N$ is odd and by a…

solv-int · Physics 2009-10-31 A. Lima-Santos

We first show the existence of an effective determinantal representation for any univariate polynomial with real coefficients. Then, we more precisely establish that any univariate polynomial with real coefficients has an effective…

Rings and Algebras · Mathematics 2008-09-05 Ronan Quarez

It is proved that each of compact linear groups of one special type admits a polynomial factorization map onto a real vector space. More exactly, the group is supposed to be non-commutative one-dimensional and to have two connected…

Algebraic Geometry · Mathematics 2014-11-24 O. G. Styrt

The problem of expressing a specific polynomial as the determinant of a square matrix of affine-linear forms arises from algebraic geometry, optimisation, complexity theory, and scientific computing. Motivated by recent developments in this…

Commutative Algebra · Mathematics 2023-09-18 Ada Boralevi , Jasper van Doornmalen , Jan Draisma , Michiel E. Hochstenbach , Bor Plestenjak

In 2010, A. Shpilka and I. Volkovich established a prominent result on the equivalence of polynomial factorization and identity testing. It follows from their result that a multilinear polynomial over the finite field of order 2 can be…

Discrete Mathematics · Computer Science 2019-01-08 Pavel Emelyanov , Denis Ponomaryov

For bivariate polynomials of degree $n\le 5$ we give fast numerical constructions of determinantal representations with $n\times n$ matrices. Unlike some other available constructions, our approach returns matrices of the smallest possible…

Numerical Analysis · Mathematics 2023-09-18 Anita Buckley , Bor Plestenjak

When reasoning about explanations of Machine Learning (ML) classifiers, a pertinent query is to decide whether some sensitive features can serve for explaining a given prediction. Recent work showed that the feature membership problem (FMP)…

Artificial Intelligence · Computer Science 2022-02-16 Xuanxiang Huang , Joao Marques-Silva

We give two determinantal representations for a bivariate polynomial. They may be used to compute the zeros of a system of two of these polynomials via the eigenvalues of a two-parameter eigenvalue problem. The first determinantal…

Numerical Analysis · Mathematics 2023-09-18 Bor Plestenjak , Michiel E. Hochstenbach

We characterize when a size-2 positive semidefinite (psd) factorization of a positive matrix of rank 3 and psd rank 2 is unique. The characterization is obtained using tools from rigidity theory. In the first step, we define…

Metric Geometry · Mathematics 2024-10-25 Kristen Dawson , Serkan Hoşten , Kaie Kubjas , Lilja Metsälampi

We consider the problem of complex root classification, i.e., finding the conditions on the coefficients of a univariate polynomial for all possible multiplicity structures on its complex roots. It is well known that such conditions can be…

Symbolic Computation · Computer Science 2024-09-11 Hoon Hong , Jing Yang

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 introduce Polytopic Matrix Factorization (PMF) as a novel data decomposition approach. In this new framework, we model input data as unknown linear transformations of some latent vectors drawn from a polytope. In this sense, the article…

Machine Learning · Statistics 2022-02-22 Gokcan Tatli , Alper T. Erdogan

For a prime $p$, we show that uniqueness of factorization into irreducible $\Sigma_{p^2}$-invariant representations of $\mathbb{Z}/p \wr \mathbb{Z}/p$ holds if and only if $p=2$. We also show nonuniqueness of factorization for…

Group Theory · Mathematics 2023-05-30 José Cantarero , Jorge Gaspar-Lara

In this paper we consider polynomial representability of functions defined over $Z_{p^n}$, where $p$ is a prime and $n$ is a positive integer. Our aim is to provide an algorithmic characterization that (i) answers the decision problem: to…

Symbolic Computation · Computer Science 2015-02-16 Ashwin Guha , Ambedkar Dukkipati

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

For an $n \times n$ matrix $M$ with entries in $\mathbb{Z}_2$ denote by $R(M)$ the minimal rank of all the matrices obtained by changing some numbers on the main diagonal of $M$. We prove that for each non-negative integer $k$ there is a…

Combinatorics · Mathematics 2021-04-22 Eugene Kogan

In this paper we prove a complete panel of consistency results for the discrete de Rham (DDR) complex introduced in the companion paper [D. A. Di Pietro and J. Droniou, An arbitrary-order discrete de Rham complex on polyhedral meshes. Part…

Numerical Analysis · Mathematics 2021-02-03 Daniele Antonio Di Pietro , Jérôme Droniou