Bilinear characterizations of companion matrices

Minghua Lin,Harald K. Wimmer

DOI: https://doi.org/10.48550/arXiv.1601.06471

2016-01-25

Numerical Analysis

Abstract:Companion matrices of the second type are characterized by properties that involve bilinear maps.

What problem does this paper attempt to address?

On the second-order correlation of characteristic polynomials of Hermite β ensembles

Zhonggen Su

DOI: https://doi.org/10.1016/j.spl.2010.06.001

IF: 0.718

2010-01-01

Statistics & Probability Letters

Abstract:Consider the Hermite β ensemble, a variant of the classical Gaussian unitary ensemble. Using Dumitriu and Edelman’s matrix model representation, we first calculate the generating function of the second-order correlation of characteristic polynomials. Then we obtain the asymptotic behaviors of the second-order correlation of characteristic polynomials both in the bulk (0<β<4) and at the edge (β>0). Analogs have recently been studied by Götze and Kösters for general Hermitian (real) Wigner matrices.
Circular Β Ensembles, CMV Representation, Characteristic Polynomials

ZhongGen Su

DOI: https://doi.org/10.1007/s11425-009-0099-2

2009-01-01

Science in China Series A Mathematics

Abstract:In this note we first briefly review some recent progress in the study of the circular β ensemble on the unit circle, where β > 0 is a model parameter. In the special cases β = 1,2 and 4, this ensemble describes the joint probability density of eigenvalues of random orthogonal, unitary and sympletic matrices, respectively. For general β, Killip and Nenciu discovered a five-diagonal sparse matrix model, the CMV representation. This representation is new even in the case β = 2; and it has become a powerful tool for studying the circular β ensemble. We then give an elegant derivation for the moment identities of characteristic polynomials via the link with orthogonal polynomials on the unit circle.
Companion unit lower Hessenberg matrices

Alberto Borobia,Roberto Canogar

DOI: https://doi.org/10.48550/arXiv.2001.06470

2020-01-18

Abstract:In recent years there has been a growing interest in companion matrices. There is a deep knowledge of sparse companion matrices, in particular it is known that every sparse companion matrix can be transformed into a unit lower Hessenberg matrix of a particularly simple type by any combination of transposition, permutation similarity and diagonal similarity. The latter is not true for the companion matrices that are non-sparse, although it is known that every non-sparse companion matrix is nonderogatory. In this work the non-sparse companion matrices that are unit lower Hessenberg will be described. A natural generalization is also considered.

Spectral Theory,Rings and Algebras
The companion section for classical groups

Thomas Hameister,Ngo Bao Chau

2024-07-01

Abstract:We use the companion matrix construction for $\mathrm{GL}_n$ to build canonical sections of the Chevalley map $[\mathfrak{g}/G]\to \mathfrak{g}/\!/ G$ for classical groups $G$ as well as the group $G_2$. To do so, we construct canonical tensors on the associated spectral covers. As an application, we make explicit lattice descriptions of affine Springer fibers and Hitchin fibers for classical groups and $G_2$.

Algebraic Geometry
On Left-Symmetric Conformal Bialgebras

Yanyong Hong,Fang Li

DOI: https://doi.org/10.1142/s0219498814500790

2014-01-01

Journal of Algebra and Its Applications

Abstract:The notion of left-symmetric bialgebra was introduced in [C. M. Bai, Left-symmetric bialgebra and an analogue of the classical Yang–Baxter equation, Commun. Contemp. Math. 10(2) (2008) 221–260] which is equivalent to a parakähler Lie algebra which is the Lie algebra of a Lie group G with a G-invariant parakähler structure. In this paper, we study a conformal analog of left-symmetric bialgebras. The notions of left-symmetric conformal coalgebra and bialgebra are introduced. Moreover, the constructions of matched pairs of Lie conformal algebras and left-symmetric conformal algebras are presented. We show that a finite left-symmetric conformal bialgebra which is free as a ℂ[∂]-module is equivalent to a parakähler Lie conformal algebra. We also obtain a conformal analog of the S-equation (see [C. M. Bai, Left-symmetric bialgebras and an analogue of the classical Yang–Baxter equation, Commun. Contemp. Math. 10(2) (2008) 221–260]), and give a construction of the conformal symplectic double.
Companion matrix, Vandermonde matrix, Jordan form, Interpolating Polynomials, and Linear Transformations

Chi-Kwong Li,Jephian C.-H. Lin

2024-03-03

Abstract:Let $\mathbb{F}$ be a field, and let $C$ be the $n\times n$ companion matrix of the monic polynomial $f(x)\in \mathbb{F}[x]$ such that $f(x) = \det(xI-C) = (x - \lambda_1)^{n_1} \cdots (x - \lambda_m)^{n_m}$ for $m$ distinct elements $\lambda_1, \dots, \lambda_m \in \mathbb{F}$. It is shown that there is a generalized Vandermonde matrix $V$ associated with $f(x)$ such that $VCV^{-1}$ is in Jordan form, and the columns of $V^{-1}$ are connected to the Hermite interpolating polynomials, whose higher derivatives will have specific values at $\lambda_1, \dots, \lambda_m$. If $m = n$ and $n_1 = \cdots = n_m = 1$, then the results reduce to the fact that the (classical) Vandermonde $V$ of $\lambda_1, \dots, \lambda_n$ satisfies $VCV^{-1}$ is a diagonal matrix and that the columns of $V^{-1}$ correspond to the Lagrange interpolating polynomials. This shows that the results for real polynomials and matrices also hold for polynomials and matrices over an arbitrary field $\mathbb{F}$. Moreover, interpretations and insights of the results are given in terms of linear transformation between $\mathbb{F}^n$ and the linear space of polynomials in $\mathbb{F}[x]$ with degree less than $n$.

Combinatorics
Nil-clean companion matrices

Simion Breaz,George Ciprian Modoi

DOI: https://doi.org/10.48550/arXiv.1503.06668

2015-05-19

Abstract:We describe nil-clean companion matrices over fields.

Rings and Algebras
Smith forms of matrices in Companion Rings, with group theoretic and topological applications

Vanni Noferini,Gerald Williams

2024-08-16

Abstract:Let $R$ be a commutative ring and $g(t) \in R[t]$ a monic polynomial. The commutative ring of polynomials $f(C_g)$ in the companion matrix $C_g$ of $g(t)$, where $f(t)\in R[t]$, is called the Companion Ring of $g(t)$. Special instances include the rings of circulant matrices, skew-circulant matrices, pseudo-circulant matrices, or lower triangular Toeplitz matrices. When $R$ is an Elementary Divisor Domain, we develop new tools for computing the Smith forms of matrices in Companion Rings. In particular, we obtain a formula for the second last non-zero determinantal divisor, we provide an $f(C_g) \leftrightarrow g(C_f)$ swap theorem, and a composition theorem. When $R$ is a principal ideal domain we also obtain a formula for the number of non-unit invariant factors. By applying these to families of circulant matrices that arise as relation matrices of cyclically presented groups, in many cases we compute the groups' abelianizations. When the group is the fundamental group of a three dimensional manifold, this provides the homology of the manifold. In other cases we obtain lower bounds for the rank of the abelianisation and record consequences for finiteness or solvability of the group, or for the Heegaard genus of a corresponding manifold.

Group Theory
Group-Like algebras and Hadamard matrices

Mariana Haim

DOI: https://doi.org/10.48550/arXiv.math/0602224

2006-02-11

Abstract:We give a description in terms of square matrices of the family of group-like algebras with $S*id=id*S=u\epsilon$. In the case that $S=id$ and $char\Bbbk$ is not 2 and does not divide the dimension of the algebra, this translation take us to Hadamard matrices and, particularly, to examples of biFrobenius algebras satisfying $S*id=id*S=u\epsilon$ and that are not Hopf algebras. Finally, we generalize some known results on separability and coseparability valid for finite dimensional Hopf algebras to this special class of biFrobenius algebras with $S*id=id*S=u\epsilon$, presenting a version of Maschke's theorem for this family.

Quantum Algebra
A Characterization of the Graphs of Bilinear (D×d)-Forms over $$\Mathbb{f}_2$$

Alexander L. Gavrilyuk,Jack H. Koolen

DOI: https://doi.org/10.1007/s00493-017-3573-4

2018-01-01

COMBINATORICA

Abstract:The bilinear forms graph denoted here by Bilq(d×e) is a graph defined on the set of (d×e)-matrices (e≥d) over $\mathbb{F}_q$ with two matrices being adjacent if and only if the rank of their difference equals 1.
On the Second-Order Correlation Function of the Characteristic Polynomial of a Hermitian Wigner Matrix

F. Götze,H. Kösters

DOI: https://doi.org/10.1007/s00220-008-0544-z

2008-03-07

Abstract:We consider the asymptotics of the second-order correlation function of the characteristic polynomial of a random matrix. We show that the known result for a random matrix from the Gaussian Unitary Ensemble essentially continues to hold for a general Hermitian Wigner matrix. Our proofs rely on an explicit formula for the exponential generating function of the second-order correlation function of the characteristic polynomial.

Probability,Mathematical Physics
Choi matrices revisited. II

Kyung Hoon Han,Seung-Hyeok Kye

2023-10-12

Abstract:In this paper, we consider all possible variants of Choi matrices of linear maps, and show that they are determined by non-degenerate bilinear forms on the domain space. We will do this in the setting of finite dimensional vector spaces. In case of matrix algebras, we characterize all variants of Choi matrices which retain the usual correspondences between $k$-superpositivity and Schmidt number $\le k$ as well as $k$-positivity and $k$-block-positivity. We also compare de Pillis' definition [Pacific J. Math. 23 (1967), 129--137] and Choi's definition [Linear Alg. Appl. 10 (1975), 285--290], which arise from different bilinear forms.

Quantum Physics,Operator Algebras
On a Characterization of the Bilinear Forms Graphs Bil q ( d × d )

Alexander L. Gavrilyuk,Jack H. Koolen

2014-01-01

Abstract:Much attention has been paid to a problem of classification of all Q-polynomial distance-regular graphs with large diameter [1] (for the definitions, we refer the reader to Section 2). One of the steps towards solution of this problem is a characterization of known distance-regular graphs by their intersection arrays. For the current status of the classification of the Q-polynomial distance-regular graphs, we refer the reader to the survey paper [3] by Van Dam, Koolen and Tanaka. The bilinear forms graph denoted here by Bilq(d×n) is a graph defined on the set of d×n-matrices over Fq with two matrices being adjacent if and only if the rank of their difference is 1. We refer to [2, Chapter 9.5.A] for the detailed description of these graphs. In 1999, K. Metsch [5] obtained the following result.
Bilinear Transformation for Discrete-Time Positive Real and Negative Imaginary Systems.

Mei Liu,Junlin Xiong

DOI: https://doi.org/10.1109/TAC.2018.2797180

IF: 6.549

2018-01-01

IEEE Transactions on Automatic Control

Abstract:This paper studies the connection between discrete-time and continuous-time negative imaginary systems. First, we analyze differences between two statements that are claimed to provide equivalent conditions for systems to be discrete-time positive real. Our conclusion is that one is equivalent to the definition of discrete-time positive real transfer matrices, the other is not. Second, by means of...
Bilinear systems -- A new link to $\mathcal H_2$-norms, relations to stochastic systems and further properties

Martin Redmann

DOI: https://doi.org/10.48550/arXiv.1910.14427

2021-04-01

Abstract:In this paper, we prove several new results that give new insights into bilinear systems. We discuss conditions for asymptotic stability using probabilistic arguments. Moreover, we provide a global characterization of reachability in bilinear systems based on a certain Gramian. Reachability energy estimates using the same Gramian have only been local so far. The main result of this paper, however, is a new link between the output error and the $\mathcal H_2$-error of two bilinear systems. This result has several consequences in the field of model order reduction. It explains why $\mathcal H_2$-optimal model order reduction leads to good approximations in terms of the output error. Moreover, output errors based on the $\mathcal H_2$-norm can now be proved for balancing related model order reduction schemes in this paper. All these new results are based on a Gronwall lemma for matrix differential equations that is established here.

Numerical Analysis,Optimization and Control
Canonical forms for a class of pairs of commuting nilpotent matrices under simultaneous similarity

Jiuzhao Hua

2023-04-29

Abstract:We present canonical forms for all indecomposable pairs $(A,B)$ of commuting nilpotent matrices over an arbitrary field under simultaneous similarity, where $A$ is the direct sum of two Jordan blocks with distinct sizes. We also provide the transformation matrix $X$ such that $(A, X^{-1}BX)$ is in its canonical form.

General Mathematics
A Characterization of the Graphs of Bilinear (d× D)-Forms over 𝔽_2

Alexander L. Gavrilyuk,Jack H. Koolen

2015-01-01

Abstract:The bilinear forms graph denoted here by Bil_q(e× d) is a graph defined on the set of (e× d)-matrices (e≥ d) over 𝔽_q with two matrices being adjacent if and only if the rank of their difference equals 1. In 1999, K. Metsch showed that the bilinear forms graph Bil_q(e× d) is characterized by its intersection array if one of the following holds: (-) q=2 and e≥ d+4, (-) q≥ 3 and e≥ d+3. Thus, the following cases have been left unsettled: (-) q=2 and e∈{d,d+1,d+2,d+3}, (-) q≥ 3 and e∈{d,d+1,d+2}. In this work, we show that the graph of bilinear (d× d)-forms over the binary field, where d≥ 3, is characterized by its intersection array. In doing so, we also classify locally grid graphs whose μ-graphs are hexagons and the intersection numbers b_i,c_i are well-defined for all i=0,1,2.
A Schur-Weyl duality analogue based on a commutative bilinear operation

John M. Campbell

2024-06-05

Abstract:Schur-Weyl duality concerns the actions of $\text{GL}_{n}(\mathbb{C})$ and $S_{k}$ on tensor powers of the form $V^{\otimes k}$ for an $n$-dimensional vector space $V$. There are rich histories within representation theory, combinatorics, and statistical mechanics involving the study and use of diagram algebras, which arise through the restriction of the action of $\text{GL}_{n}(\mathbb{C})$ to subgroups of $\text{GL}_{n}(\mathbb{C})$. This leads us to consider further variants of Schur-Weyl duality, with the use of variants of the tensor space $V^{\otimes k}$. Instead of taking repeated tensor products of $V$, we make use of a freest commutative bilinear operation in place of $\otimes$, and this is motivated by an associated invariance property given by the action of $S_{k}$. By then taking the centralizer algebra with respect to the action of the group of permutation matrices in $\text{GL}_{n}(\mathbb{C})$, this gives rise to a diagram-like algebra spanned by a new class of combinatorial objects. We construct orbit-type bases for the centralizer algebras introduced in this paper, and we apply these bases to prove a combinatorial formula for the dimensions of our centralizer algebras.

Representation Theory
Is This a New Class of Matrices?

Jovan Mikić

2023-09-16

Abstract:We consider a new class of matrices associated to a real square matrix $A$ and to a vector $\vec{c} \in \{-1,1\}^n$ such that $c_1=1$ by using a map $\varphi_{\vec{c}}$ which turns out to be a conjugation of a matrix $A$ by a signature matrix. It is shown that every such matrix is similar and congruent to a matrix $A$ and that they have same permanental polynomials. There are $2^{n-1}$ maps $\varphi_{\vec{c}}$ and they form an abelian group under the composition of maps isomorphic to the group $({\mathbb{Z}_2}^{n-1}, +)$. A decomposition of matrices, on a symmetric and antisymmetric matrix under a map $\varphi_{\vec{c}}$, is considered. Particularly, it is shown that sum of all principal minors of the order two of a matrix $A$ is equal to the sum of all principal minors of the order two of their symmetric and antisymmetric parts. It is shown that any symmetric matrix and any antisymmetric matrix under the map $\varphi_{\vec{c}}$ are simultaneously permutation similar to certain block matrices which have two blocks. Finally, for a fixed matrix $A$, it is proved that the number of different matrices $\varphi_{\vec{c}}(A)$ is $2^{n-t}$, where $t$ is the number of connected components of the graph $G$ whose adjacency matrix is $A$.

Rings and Algebras
On the Second-Order Correlation Function of the Characteristic Polynomial of a Real Symmetric Wigner Matrix

H. Kösters

DOI: https://doi.org/10.48550/arXiv.0803.0932

2008-03-07

Abstract:We consider the asymptotic behaviour of the second-order correlation function of the characteristic polynomial of a real symmetric random matrix. Our main result is that the existing result for a random matrix from the Gaussian Orthogonal Ensemble essentially continues to hold for a general real symmetric Wigner matrix.

Probability

Bilinear characterizations of companion matrices

On the second-order correlation of characteristic polynomials of Hermite β ensembles

Circular Β Ensembles, CMV Representation, Characteristic Polynomials

Companion unit lower Hessenberg matrices

The companion section for classical groups

On Left-Symmetric Conformal Bialgebras

Companion matrix, Vandermonde matrix, Jordan form, Interpolating Polynomials, and Linear Transformations

Nil-clean companion matrices

Smith forms of matrices in Companion Rings, with group theoretic and topological applications

Group-Like algebras and Hadamard matrices

A Characterization of the Graphs of Bilinear (D×d)-Forms over $$\Mathbb{f}_2$$

On the Second-Order Correlation Function of the Characteristic Polynomial of a Hermitian Wigner Matrix

Choi matrices revisited. II

On a Characterization of the Bilinear Forms Graphs Bil q ( d × d )

Bilinear Transformation for Discrete-Time Positive Real and Negative Imaginary Systems.

Bilinear systems -- A new link to $\mathcal H_2$-norms, relations to stochastic systems and further properties

Canonical forms for a class of pairs of commuting nilpotent matrices under simultaneous similarity

A Characterization of the Graphs of Bilinear (d× D)-Forms over 𝔽_2

A Schur-Weyl duality analogue based on a commutative bilinear operation

Is This a New Class of Matrices?

On the Second-Order Correlation Function of the Characteristic Polynomial of a Real Symmetric Wigner Matrix