Random spectrahedra

DOI10.1137/18M1208812MaRDI QIDQ5237461zbMATH OpenOpenAlexWikidataFDO

Authors Paul Breiding, Khazhgali Kozhasov, Antonio Lerario

Publication date 18 October 2019

Published in SIAM Journal on Optimization (Search for Journal in Brave)

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

zbMATH Keywords

semidefinite programmingrandom matricesspectrahedra

Mathematics Subject Classification ID

Random matrices (algebraic aspects) (15B52) Semidefinite programming (90C22) Positive matrices and their generalizations; cones of matrices (15B48) Random convex sets and integral geometry (aspects of convex geometry) (52A22)

Abstract: Spectrahedra are affine-linear sections of the cone $mathcal{P}_n$ of positive semidefinite symmetric $nimesn$-matrices. We consider random spectrahedra that are obtained by intersecting~$mathcal{P}_n$ with the affine-linear space $mathbf1+V$, where $mathbf1$ is the identity matrix and $V$ is an $ell$-dimensional linear space that is chosen from the unique orthogonally invariant probability measure on the Grassmanian of $ell$-planes in the space of $nimesn$ real symmetric matrices (endowed with the Frobenius inner product). Motivated by applications, for $ell=3$ we relate the average number $mathbbEsigm{a}_n$ of singular points on the boundary of a three-dimensional spectrahedron to the volume of the set of symmetric matrices whose two smallest eigenvalues coincide. In the case of quartic spectrahedra ($n=4$) we show that $mathbbEsigm{a}_4=6-frac4sqrt3$. Moreover, we prove that the average number $mathbbEh{o}_n$ of singular points on the real variety of singular matrices in $mathbf1+V$ is $n(n-1)$. This quantity is related to the volume of the variety of real symmetric matrices with repeated eigenvalues. Furthermore, we compute the asymptotics of the volume and the volume of the boundary of a random spectrahedron.

Recommendations

• Efficient sampling in spectrahedra and volume approximation
• Random matrices and the average topology of the intersection of two quadrics
• Rational quartic spectrahedra
• Sampling the feasible sets of SDPs and volume approximation
• How many eigenvalues of a random symmetric tensor are real?

Cites work

• scientific article; zbMATH DE number 5292192 (Why is no real title available?)
• scientific article; zbMATH DE number 51346 (Why is no real title available?)
• scientific article; zbMATH DE number 1962931 (Why is no real title available?)
• scientific article; zbMATH DE number 775283 (Why is no real title available?)
• scientific article; zbMATH DE number 6026126 (Why is no real title available?)
• Gap probabilities and Betti numbers of a random intersection of quadrics
• HomotopyContinuation.jl: a package for homotopy continuation in Julia
• Interior Point Methods in Semidefinite Programming with Applications to Combinatorial Optimization
• Julia: a fresh approach to numerical computing
• Level Sets and Extrema of Random Processes and Fields
• Linear matrix inequality representation of sets
• On orthogonal and symplectic matrix ensembles
• On real determinantal quartics
• On spaces of matrices containing a nonzero matrix of bounded rank.
• On symmetric and skew-symmetric determinantal varieties
• On the crossing rule
• On the distribution of the length of the longest increasing subsequence of random permutations
• On the geometry of the set of symmetric matrices with repeated eigenvalues
• Quartic spectrahedra
• Random Fields and Geometry
• Small deviations for beta ensembles
• Some geometric results in semidefinite programming
• Systems of quadratic inequalities
• The kinematic formula in Riemannian homogeneous spaces
• The multiplicity of eigenvalues
• What is \dots a spectrahedron?

Cited in

(6)

• Efficient sampling in spectrahedra and volume approximation
• On the Gaussian surface area of spectrahedra
• Positive spectrahedra: invariance principles and pseudorandom generators
• On the geometry of the set of symmetric matrices with repeated eigenvalues
• Random nested tetrahedra
• The spectral dimension of random brushes

Describes a project that uses

Uses Software

• Julia
• HomotopyContinuation

This page was built for publication: Random spectrahedra

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