Determinantal representations of hyperbolic plane curves: an elementary approach

DOI10.1016/J.JSC.2013.05.004zbMATH Open1284.14066arXiv1207.7047OpenAlexW2088097425MaRDI QIDQ2437232FDOQ2437232

Cynthia Vinzant, Daniel Plaumann

Publication date: 3 March 2014

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Abstract: 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 has a definite real symmetric determinantal representation. The goal of this paper is to give a more concrete proof of a slightly weaker statement. Here we show that every hyperbolic plane curve has a definite determinantal representation with Hermitian matrices. We do this by relating the definiteness of a matrix to the real topology of its minors and extending a construction of Dixon from 1902. Like Helton and Vinnikov's theorem, this implies that every hyperbolic region in the plane is defined by a linear matrix inequality.

Full work available at URL: https://arxiv.org/abs/1207.7047

zbMATH Keywords

determinantal representationshyperbolic polynomialsinterlacingHermitian matrices of linear forms

Mathematics Subject Classification ID

Hermitian, skew-Hermitian, and related matrices (15B57) Plane and space curves (14H50) Determinantal varieties (14M12)

Cites Work

• Classical algebraic geometry. A modern view
• Title not available (Why is that?)
• Self-adjoint determinantal representations of real plane curves
• Determinantal hypersurfaces.
• Hyperbolic programs, and their derivative relaxations
• LMI Representations of Convex Semialgebraic Sets and Determinantal Representations of Algebraic Hypersurfaces: Past, Present, and Future
• Real algebraic curves
• A Note on Hyperbolic Polynomials.
• Linear matrix inequality representation of sets
• Title not available (Why is that?)
• Polynomials with and without determinantal representations
• The Lax conjecture is true
• Complete description of determinantal representations of smooth irreducible curves
• Zero-pole interpolation for matrix meromorphic functions on a compact Riemann surface and a matrix Fay trisecant identity
• Computing Linear Matrix Representations of Helton-Vinnikov Curves
• Quartic curves and their bitangents
• On the derivative cones of polyhedral cones
• Horn's problem, Vinnikov curves, and the hive cone

Cited In (40)

• The Chow form of a reciprocal linear space
• Amalgamation of real zero polynomials
• Cyclic weighted shift matrix with reversible weights
• Elementary transformations of Pfaffian representations of plane curves
• Hyperbolic forms admit reversible weighted shift determinantal representation
• The numerical range of a periodic tridiagonal operator reduces to the numerical range of a finite matrix
• The local-global principle for symmetric determinantal representations of smooth plane curves
• On algorithms to obtain linear determinantal representations of smooth plane curves of higher degree
• Spectrahedral representations of plane hyperbolic curves
• Unitary similarity of a weighted shift matrix to a symmetric matrix
• Algebraic boundaries of convex semi-algebraic sets
• The number of real eigenvectors of a real polynomial
• Determinantal representations of hyperbolic forms via weighted shift matrices
• Determinantal representations of hyperbolic curves via polynomial homotopy continuation
• Noncommutative polynomials describing convex sets
• Hyperbolic polynomials, interlacers, and sums of squares
• Theta divisor and Abel map for 4-by-4 matrices
• Characterizing principal minors of symmetric matrices via determinantal multiaffine polynomials
• The degree one Laguerre-Pólya class and the shuffle-word-embedding conjecture
• Kippenhahn's construction revisited
• Abel theorem and inverse numerical range
• Unitary similarity of the determinantal representation of unitary bordering matrices
• Level crossing in random matrices: I. Random perturbation of a fixed matrix
• Certifying Polynomial Nonnegativity via Hyperbolic Optimization
• Inverse numerical range and determinantal representation
• Stable and real-zero polynomials in two variables
• Title not available (Why is that?)
• Definite determinantal representations of multivariate polynomials
• Hyperbolic secant varieties of \(M\)-curves
• Determinantal representations and Bézoutians
• Singular points of the algebraic curves associated to unitary bordering matrices
• Kippenhahn's Theorem for Joint Numerical Ranges and Quantum States
• Title not available (Why is that?)
• The Geometry of Rank-One Tensor Completion
• Definite determinantal representations via orthostochastic matrices
• Inverse numerical range and Abel-Jacobi map of Hermitian determinantal representation
• Complete description of determinantal representations of smooth irreducible curves
• Determinantal representations of invariant hyperbolic plane curves
• Two results on the size of spectrahedral descriptions
• Characteristic polynomials of symmetric matrices over the univariate polynomial ring

This page was built for publication: Determinantal representations of hyperbolic plane curves: an elementary approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2437232)