Examples for the quantum Kippenhahn theorem

DOI10.7153/OAM-2019-13-74MaRDI QIDQ5216888zbMATH OpenOpenAlexWikidataFDO

Authors Ben Lawrence

Publication date 20 February 2020

Published in Operators and Matrices (Search for Journal in Brave)

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

zbMATH Keywords

double eigenvaluesfree analysisKippenhahn conjecturelinear pencilnoncommutative algebra

Mathematics Subject Classification ID

Matrix pencils (15A22) Inequalities involving eigenvalues and eigenvectors (15A42) Noncommutative function spaces (46L52) Semidefinite programming (90C22)

Abstract: Semidefinite programming optimises a linear objective function over a spectrahedron, and is one of the major advances of mathematical optimisation. Spectrahedra are described by linear pencils, which are linear matrix polynomials with hermitian matrix coefficients. Our focus will be on dimension-free linear pencils where the variables are permitted to be hermitian matrices. A major question on linear pencils, and matrix theory in general, is Kippenhahn's Conjecture. The conjecture states that given a linear pencil $xH+yK$ if the hermitian matrices $H$ and $K$ generate the full matrix algebra, then the pencil must have at least one simple eigenvalue for some $x$ and $y$. The conjecture is known to be false, via a single counterexample due to Laffey. A dimension-free version of the conjecture, known as the Quantum Kippenhahn Theorem, has recently been proven true non-constructively. We present a novel family of counterexamples to Kippenhahn's Conjecture, and use this family to construct concrete examples of the Quantum Kippenhahn Theorem.

Recommendations

• A counterexample to Kippenhahn's conjecture on Hermitian pencils
• Kippenhahn's theorem for joint numerical ranges and quantum states
• Spectrahedral shadows
• Equality of higher numerical ranges of matrices and a conjecture of Kippenhahn on Hermitian pencils
• Geometry of Linear Matrix Inequalities

Cites work

• A conjecture of Kippenhahn about the characteristic polynomial of a pencil generated by two hermitian matrices. II
• A counterexample to Kippenhahn's conjecture on Hermitian pencils
• Aspects of semidefinite programming. Interior point algorithms and selected applications
• Burnside graphs, algebras generated by sets of matrices, and the Kippenhahn conjecture
• Determinantal representations and the Hermite matrix
• Equality of higher numerical ranges of matrices and a conjecture of Kippenhahn on Hermitian pencils
• Free loci of matrix pencils and domains of noncommutative rational functions
• Handbook of semidefinite programming. Theory, algorithms, and applications
• Hermitian pencils with a cubic minimal polynomial
• scientific article; zbMATH DE number 3678541 (Why is no real title available?)
• scientific article; zbMATH DE number 47926 (Why is no real title available?)
• Indecomposable matrices defining plane cubics
• On a conjecture of Kippenhahn about the characteristic polynomial of a pencil generated by two Hermitian matrices. I
• On the discriminant of real symmetric matrices
• Self-adjoint determinantal representations of real plane curves
• Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization
• The matricial relaxation of a linear matrix inequality
• Über den Wertevorrat einer Matrix

Cited in

(2)

• An example of a quantum catastrophe
• A counterexample to Kippenhahn's conjecture on Hermitian pencils

This page was built for publication: Examples for the quantum Kippenhahn theorem

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