Symmetric Determinantal Representation of Formulas and Weakly Skew Circuits
@article{Grenet2010SymmetricDR, title={Symmetric Determinantal Representation of Formulas and Weakly Skew Circuits}, author={Bruno Grenet and Erich L. Kaltofen and Pascal Koiran and Natacha Portier}, journal={ArXiv}, year={2010}, volume={abs/1007.3804} }
We deploy algebraic complexity theoretic techniques for constructing symmetric determinantal representations of formulas and weakly skew circuits. Our representations produce matrices of much smaller dimensions than those given in the convex geometry literature when applied to polynomials having a concise representation (as a sum of monomials, or more generally as an arithmetic formula or a weakly skew circuit). These representations are valid in any field of characteristic different from 2. In…
Figures and Tables from this paper
13 Citations
Symmetric Determinantal Representation of Weakly-Skew Circuits
- MathematicsSTACS
- 2011
It is shown that the partial permanent cannot be VNP-complete in a finite field of characteristic 2 unless the polynomial hierarchy collapses, and algebraic complexity theoretic techniques for constructing symmetric determinantal representations of weak-skew circuits, which include formulas are deployed.
The GPGCD algorithm with the Bézout matrix
- Mathematics, Computer ScienceACM Commun. Comput. Algebra
- 2019
This paper presents approximate algebraic algorithms for calculating approximate greatest common divisor (GCD), which consider a pair of given polynomials f and g, and find f andG which are close to f andg, respectively, in the sense of polynomial norm, and have the GCD of certain degree.
Density of rational points near/on compact manifolds with certain curvature conditions
- MathematicsAdvances in Mathematics
- 2022
LMI Representations of Convex Semialgebraic Sets and Determinantal Representations of Algebraic Hypersurfaces: Past, Present, and Future
- Mathematics
- 2012
10 years ago or so Bill Helton introduced me to some mathematical problems arising from semidefinite programming. This paper is a partial account of what was and what is happening with one of these…
NP-hardness of polytope M-matrix testing and related problems
- MathematicsArXiv
- 2012
This result establishes NP-hardness of several fundamental problems in systems analysis and control, such as testing the instability of an uncertain dynamical system, and minimizing the spectral radius of an affine matrix function.
A Study on a New Method of Dynamic Aperture Enlargement
- Mathematics
- 2018
This report summarizes progress made towards a new approach for enlarging the dynamic aperture of particle accelerators. Unlike prior methods which attempted to move the location of select resonances…
Représentations des polynômes, algorithmes et bornes inférieures
- Mathematics
- 2012
La complexite algorithmique est l'etude des ressources necessaires — le temps, la memoire, … — pour resoudre un probleme de maniere algorithmique. Dans ce cadre, la theorie de la complexite…
References
SHOWING 1-10 OF 38 REFERENCES
Symmetric Determinantal Representation of Weakly-Skew Circuits
- MathematicsSTACS
- 2011
It is shown that the partial permanent cannot be VNP-complete in a finite field of characteristic 2 unless the polynomial hierarchy collapses, and algebraic complexity theoretic techniques for constructing symmetric determinantal representations of weak-skew circuits, which include formulas are deployed.
Lower bounds for non-commutative computation
- Computer Science, MathematicsSTOC '91
- 1991
The question of the power of negation in this model is shown to be closely related to a well known open problem relating communication complexity and rank, and exponential lower bounds for monotone algebraic circuit size are obtained.
Determinant: Combinatorics, Algorithms, and Complexity
- Computer Science, MathematicsChic. J. Theor. Comput. Sci.
- 1997
It is proved that the complexity class GapL characterizes the complexity of computing the determinant of matrices over the integers, and a direct proof of this characterization is presented.
Improved construction for universality of determinant and permanent
- Mathematics, Computer ScienceInf. Process. Lett.
- 2006
On computing determinants of matrices without divisions
- Mathematics, Computer ScienceISSAC '92
- 1992
An algorithm ~ given that computes the determinant of an n x n matrix with entries fr~rn an arbitrary commutative ring in 0(n3~ ring additions, subtractions, and multiplications; the ‘soft-O” O…
Completeness classes in algebra
- Mathematics, PhilosophySTOC
- 1979
The aim of this paper is to demonstrate that for both algebraic and combinatorial problems this phenomenon exists in a form that is purely algebraic in both of the respects (A) and (B).
Algebraic Complexity Theory
- Computer ScienceHandbook of Theoretical Computer Science, Volume A: Algorithms and Complexity
- 1990