Free loci of matrix pencils and domains of noncommutative rational functions

DOI10.4171/CMH/408zbMATH Open1365.15017arXiv1512.02648MaRDI QIDQ520758FDOQ520758

Jurij Volčič, Igor Klep

Publication date: 5 April 2017

Published in: Commentarii Mathematici Helvetici (Search for Journal in Brave)

Abstract: Consider a monic linear pencil $L(x)=I-A_1{x}_1-cdots-A_g{x}_g$ whose coefficients $A_j$ are $dimesd$ matrices. It is naturally evaluated at $g$-tuples of matrices $X$ using the Kronecker tensor product, which gives rise to its free locus $Z(L)=X:detL(X)=0$. In this article it is shown that the algebras $A$ and $A^{\prime }$ generated by the coefficients of two linear pencils $L$ and $L^{\prime }$, respectively, with equal free loci are isomorphic up to radical. Furthermore, $Z(L)subseteqZ(L^{\prime })$ if and only if the natural map sending the coefficients of $L^{\prime }$ to the coefficients of $L$ induces a homomorphism $A^{\prime }/mrad{A}^{\prime }oA/mradA$. Since linear pencils are a key ingredient in studying noncommutative rational functions via realization theory, the above results lead to a characterization of all noncommutative rational functions with a given domain. Finally, a quantum version of Kippenhahn's conjecture on linear pencils is formulated and proved: if hermitian matrices $A_1,dots,A_g$ generate $M_d(mathbbC)$ as an algebra, then there exist hermitian matrices $X_1,dots,X_g$ such that $su{m}_i{A}_{i}otimes{X}_i$ has a simple eigenvalue.

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

Recommendations

• Geometry of free loci and factorization of noncommutative polynomials
• Noncommutative convexity arises from linear matrix inequalities
• On domains of noncommutative rational functions
• Factorization of Noncommutative Polynomials and Nullstellensätze for the Free Algebra
• The convex Positivstellensatz in a free algebra

zbMATH Keywords

linear matrix inequalitiesreal algebraic geometryrealization theoryhyperbolic polynomiallinear pencilfree locusKippenhahn conjecturenoncommutative rational function

Mathematics Subject Classification ID

Real algebraic sets (14P05) Matrix pencils (15A22) Infinite-dimensional and general division rings (16K40) Nil and nilpotent radicals, sets, ideals, associative rings (16N40) Trace rings and invariant theory (associative rings and algebras) (16R30) Real rational functions (26C15)

Cites Work

• Linear Matrix Inequalities in System and Control Theory
• Title not available (Why is that?)
• Multi-dimensional hyperbolic partial differential equations. First-order systems and applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantum Computation and Quantum Information
• On Majorization, Factorization, and Range Inclusion of Operators on Hilbert Space
• Handbook of semidefinite programming. Theory, algorithms, and applications
• An upper bound for the length of a finite-dimensional algebra
• Über den Wertevorrat einer Matrix
• The invariant theory of \(n\times n\) matrices
• Noncommutative rational functions, their difference-differential calculus and realizations
• Title not available (Why is that?)
• Determinantal hypersurfaces.
• Singularities of rational functions and minimal factorizations: the noncommutative and the commutative setting
• Hyperbolic programs, and their derivative relaxations
• Hyperbolic polynomials, interlacers, and sums of squares
• Linear matrix inequality representation of sets
• Obstructions to determinantal representability
• The matricial relaxation of a linear matrix inequality
• Linear spaces of nilpotent matrices
• Noncommutative convexity arises from linear matrix inequalities
• Hyperbolic polynomials and convex analysis
• Polynomials with and without determinantal representations
• Finding the radical of an algebra of linear transformations
• Analytic subordination theory of operator-valued free additive convolution and the solution of a general random matrix problem
• Inversion height in free fields
• Indecomposable matrices defining plane cubics
• Decompositions of algebras over \(\mathbb{R}\) and \(\mathbb{C}\)
• A counterexample to Kippenhahn's conjecture on Hermitian pencils

Cited In (16)

• Burnside graphs, algebras generated by sets of matrices, and the Kippenhahn conjecture
• Realizations of non-commutative rational functions around a matrix centre. II: The lost-abbey conditions
• An introduction to matrix convex sets and free spectrahedra
• Examples for the quantum Kippenhahn theorem
• Noncommutative partially convex rational functions
• Local theory of free noncommutative functions: germs, meromorphic functions, and Hermite interpolation
• Noncommutative polynomials describing convex sets
• Free Bertini’s theorem and applications
• Compact sets in the free topology
• Geometry of free loci and factorization of noncommutative polynomials
• Bianalytic maps between free spectrahedra
• Groupoid models of \(C^*\)-algebras and the Gelfand functor
• Stable Noncommutative Polynomials and Their Determinantal Representations
• Bianalytic free maps between spectrahedra and spectraballs
• Ranks of linear matrix pencils separate simultaneous similarity orbits
• A note on group representations, determinantal hypersurfaces and their quantizations

This page was built for publication: Free loci of matrix pencils and domains of noncommutative rational functions

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