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… 

Symmetric Determinantal Representation of Weakly-Skew Circuits

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.

A short proof of the symmetric determinantal representation of polynomials

The GPGCD algorithm with the Bézout matrix

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.

LMI Representations of Convex Semialgebraic Sets and Determinantal Representations of Algebraic Hypersurfaces: Past, Present, and Future

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

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

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

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

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.

Symmetric determinantal representation of polynomials

Lower bounds for non-commutative computation

  • N. Nisan
  • Computer Science, Mathematics
    STOC '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

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

On computing determinants of matrices without divisions

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

Obstructions to determinantal representability

Completeness classes in algebra

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

  • V. Strassen
  • Computer Science
    Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity
  • 1990

NONCOMMUTATIVE CONVEXITY ARISES FROM LINEAR MATRIX INEQUALITIES.