The formula ABA=Tr(AB)A for matrices

Grigore Calugareanu

2023-06-03

Abstract:We prove that this formula characterizes the square matrices over commutative rings for which all 2 x 2 minors equal zero.

Rings and Algebras

What problem does this paper attempt to address?

Similarity and commutators of matrices over principal ideal rings

Alexander Stasinski

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

2013-02-25

Abstract:We prove that if R is a principal ideal ring and A\in\M_n(R) is a matrix with trace zero, then A is a commutator, that is, A=XY-YX for some X,Y\in\M_n(R). This generalises the corresponding result over fields due to Albert and Muckenhoupt, as well as that over Z due to Laffey and Reams, and as a by-product we obtain new simplified proofs of these results. We also establish a normal form for similarity classes of matrices over PIDs, generalising a result of Laffey and Reams. This normal form is a main ingredient in the proof of the result on commutators.

Rings and Algebras
A short proof of the fact that the matrix trace is the expectation of the numerical values

Tomasz Kania

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

2014-02-18

Abstract:Using the fact that the normalised matrix trace is the unique linear functional $f$ on the algebra of $n\times n$ matrices which satisfies $f(I)=1$ and $f(AB)=f(BA)$ for all $n\times n$ matrices $A$ and $B$, we derive a well-known formula expressing the normalised trace of a complex matrix $A$ as the expectation of the numerical values of $A$; that is the function $\langle Ax,x\rangle$, where $x$ ranges the unit sphere of $\mathbb{C}^n$.

Classical Analysis and ODEs
A New Determinantal Formula for Three Matrices

Dinesh Khurana,T. Y. Lam

2023-08-09

Abstract:For any three $\,n\times n\,$ matrices $\,A,B,X\,$ over a commutative ring $\,S$, we prove that $\,{\rm det}\,(A+B-AXB)={\rm det}\,(A+B-BXA) \in S$. This apparently new formula may be regarded as a ``ternary generalization'' of Sylvester's classical determinantal formula $\,{\rm det}\,(I_n-AB)={\rm det}\,(I_n-BA)\,$ for any pair of $\,n\times n\,$ matrices $\,A,B\,$ over $\,S$.

Rings and Algebras
A+B=B+A

Joe D. Hoffman,Joe D. Hoffman,Steven Frankel

DOI: https://doi.org/10.1201/9781315274508-16

2018-10-03

Abstract:Matrix multiplication consists of row-element to column-element multiplication and summation of the resulting products. Multiplication of the two matrices A and B is defined only when the number of columns of matrix A is the same as the number of rows of matrix B. Matrices that satisfy this condition are called conformable in the order AB. Thus, if the size of matrix A is n x m and the size of matrix B is m x r, then AB = [ai,j][bi) = [ci,)] = C ci,i = L ai,kbk,j k=1 (i = I, 2, ... , n, j = I, 2, ... , r) (1.22) The size of matrix C is n x r. Matrices that are not conformable cannot be multiplied. It is easy to make errors when performing matrix multiplication by hand. It is helpful to trace across the rows of A with the left index finger while tracing down the columns of B with the right index finger, multiplying the corresponding elements, and summing the products. Matrix algebra is much better suited to computers than to humans.
On the principal minors of the powers of a matrix

Darij Grinberg

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

2022-04-17

Abstract:We show that if $A$ is an $n\times n$-matrix, then the diagonal entries of each power $A^{m}$ are uniquely determined by the principal minors of $A$, and can be written as universal (integral) polynomials in the latter. Furthermore, if the latter all equal $1$, then so do the former. These results are inspired by Problem B5 on the Putnam contest 2021, and shed a new light on the behavior of minors under matrix multiplication.

Rings and Algebras
A Conjecture on C-matrices of Cluster Algebras

Peigen Cao,Min Huang,Fang Li

DOI: https://doi.org/10.1017/nmj.2018.18

2018-01-01

Nagoya Mathematical Journal

Abstract:For a skew-symmetrizable cluster algebra ${\mathcal{A}}_{t_{0}}$ with principal coefficients at $t_{0}$, we prove that each seed $\unicode[STIX]{x1D6F4}_{t}$ of ${\mathcal{A}}_{t_{0}}$ is uniquely determined by its $C$-matrix, which was proposed by Fomin and Zelevinsky (Compos. Math. 143 (2007), 112–164) as a conjecture. Our proof is based on the fact that the positivity of cluster variables and sign coherence of $c$-vectors hold for ${\mathcal{A}}_{t_{0}}$, which was actually verified in Gross et al. (Canonical bases for cluster algebras, J. Amer. Math. Soc. 31(2) (2018), 497–608). Further discussion is provided in the sign-skew-symmetric case so as to obtain a weak version of the conjecture in this general case.
A new analytical formula for the inverse of a square matrix

W Astar

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

2021-09-13

Abstract:A concise analytical formula is developed for the inverse of an invertible 3 x 3 matrix using a telescoping method, and is generalized to larger square matrices. The formula is confirmed using randomly generated matrices in Matlab

General Mathematics
The determinant of the second additive compound of a square matrix: a formula and applications

Murad Banaji

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

2018-06-19

Commutative Algebra

Abstract:A formula is presented for the determinant of the second additive compound of a square matrix in terms of coefficients of its characteristic polynomial. This formula can be used to make claims about the eigenvalues of polynomial matrices, with sign patterns as an important special case. A number of corollaries and applications of this formula are given.
An Explicit Formula for the Number of Solutions of X^2=0 in Triangular Matrices over a Finite Field

Shalosh B. Ekhad,Doron Zeilberger

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

1995-12-20

Abstract:We prove an explicit formula for the number of $n \times n$ upper triangular matrices, over $GF(q)$, whose square is the zero matrix. This formula was recently conjectured by Sasha Kirillov and Anna Melnikov[KM].

Combinatorics
When the Tracy-Singh product of matrices represents a certain operation on linear operators

Fabienne Chouraqui

2024-01-18

Abstract:Given two linear transformations, with representing matrices $A$ and $B$ with respect to some bases, it is not clear, in general, whether the Tracy-Singh product of the matrices $A$ and $B$ corresponds to a particular operation on the linear transformations. Nevertheless, it is not hard to show that in the particular case that each matrix is a square matrix of order of the form $n^2$, $n>1$, and is partitioned into $n^2$ square blocks of order $n$, then their Tracy-Singh product, $A \boxtimes B$, is similar to $A \otimes B$, and the change of basis matrix is a permutation matrix. In this note, we prove that in the special case of linear operators induced from set-theoretic solutions of the Yang-Baxter equation, the Tracy-Singh product of their representing matrices is the representing matrix of the linear operator obtained from the direct product of the set-theoretic solutions.

Combinatorics,Rings and Algebras
An explicit decomposition formula of a matrix in $GL_{2}\left(\mathbb{Z}\right)$

Dominique Fosse

2023-04-11

Abstract:Given $A:=\left(\begin{smallmatrix}1&1\\0&1\end{smallmatrix}\right)$, $B:=\left(\begin{smallmatrix}1&0\\1&1\end{smallmatrix}\right)$ and $C:=\left(\begin{smallmatrix}1&0\\0&-1\end{smallmatrix}\right)$ three elements of $GL_{2}\left(\mathbb{Z}\right)$, we propose an explicit formula that provides the decomposition of any $M\in GL_{2}\left(\mathbb{Z}\right)$ in $\langle A,B,C\rangle$.

Number Theory
On the straightening law for minors of a matrix

Richard G. Swan

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

2016-05-21

Commutative Algebra

Abstract:We give a simple new proof for the straightening law of Doubilet, Rota, and Stein using a generalization of the Laplace expansion of a determinant.
Matrix-Traces On C*-Algebra M-N(A)

Hx Cao,Zb Xu,Jh Zhang,Wh Li

DOI: https://doi.org/10.1016/S0024-3795(01)00514-6

IF: 1.307

2002-01-01

Linear Algebra and its Applications

Abstract:In this note, for a C*-algebra A, we define a matrix-trace on the C*-algebra M-n (A) to be a positive linear mapping tau : Mn(A) --> A such that tau(u*au) = tau(a) (For Alla is an element of M-n(A), For Allu is an element of U(M-n(A))) and tau(a(2)) less than or equal to (tau(a))(2) (For Alla greater than or equal to 0). We give some basic properties of a matrix-trace and prove that if A is a unital Abelian C*-algebra, then a map tau is an A-module matrix-trace on M-n(A) if and only if there exists an element lambda of A with 0 less than or equal to lambdaless than or equal to lambda(2) such that tau(a) = lambda.tr(a) (For Alla = [a(ij)] is an element of M-n (A)), where tr(a) = Sigma(i=1)(n). (C) 2001 Elsevier Science Inc. All rights reserved.
On the cardinality of matrices with prescribed rank and partial trace over a finite field

Kumar Balasubramanian,Krishna Kaipa,Himanshi Khurana

2024-09-30

Abstract:Let $F$ be the finite field of order $q$ and $\M(n,r, F)$ be the set of $n\times n$ matrices of rank $r$ over the field $F$. For $\alpha\in F$ and $A\in \M(n,F)$, let $$Z^{\alpha}_{A,r}=\left\{X\in \M(n,r, F)\mid \tr(AX)=\alpha\right \}.$$ In this article, we solve the problem of determining the cardinality of $Z_{A,r}^{\alpha}$. We also solve the generalization of the problem to rectangular matrices.

Rings and Algebras
A note on the atomicity of arithmeticity

Michael Hoefnagel,Pierre-Alain Jacqmin

2024-01-12

Abstract:The main aim of this note is to show that, in the regular context, every matrix property in the sense of Z. Janelidze either implies the Mal'tsev property, or is implied by the majority property. When the regular category is arithmetical, i.e., both Mal'tsev and a majority category, then we show that satisfies every non-trivial matrix property.

Category Theory
On bounded ratios of minors of totally positive matrices

Daniel Soskin,Michael Gekhtman

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

2023-10-23

Abstract:We provide several examples of bounded Laurent monomials of minors of a totally positive matrix, which can not be factored into a product of so called primitive ratios, thus showing that the conjecture about factorization of bounded ratios stated in [3] by Fallat, Gekhtman, and Johnson does not hold. However, all found examples satisfy subtraction-free conjecture stated also in [3]. In addition, we show that the set of all bounded ratios form a polyhedral cone of dimension $\binom{2n}{n}-2n$.

Rings and Algebras,Combinatorics
On Kitaev's determinant formula

A. Elgart,M. Fraas

DOI: https://doi.org/10.1090/spmj/1796

2024-04-13

St Petersburg Mathematical Journal

Abstract:A sufficient condition is established under which det ( A B A − 1 B − 1 ) = 1 \det (ABA^{-1}B^{-1})=1 for a pair of bounded, invertible operators A , B A,B on a Hilbert space.

mathematics
On Generalizing Trace Minimization Principles, II

Xin Liang,Ren-Cang Li

DOI: https://doi.org/10.1016/j.laa.2024.01.015

IF: 1.307

2024-02-02

Linear Algebra and its Applications

Abstract:This paper is concerned with establishing a trace minimization principle for two Hermitian matrix pairs. Specifically, we will answer the question: when is infX⁡tr(AˆXHAX) subject to BˆXHBX=I (the identity matrix of apt size) finite? Sufficient and necessary conditions are obtained and, when the infimum is finite, an explicit formula for it is established in terms of the finite eigenvalues of the matrix pairs. Our results extend Fan's trace minimization principle (1949) for a Hermitian matrix, a minimization principle of Kovač-Striko and Veselić (1995) for a Hermitian matrix pair, and most recent ones by the authors and their collaborators for a Hermitian matrix pair and a Hermitian matrix.

mathematics, applied
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

The formula ABA=Tr(AB)A for matrices

Similarity and commutators of matrices over principal ideal rings

A short proof of the fact that the matrix trace is the expectation of the numerical values

A New Determinantal Formula for Three Matrices

A+B=B+A

On the principal minors of the powers of a matrix

A Conjecture on C-matrices of Cluster Algebras

A new analytical formula for the inverse of a square matrix

The determinant of the second additive compound of a square matrix: a formula and applications

An Explicit Formula for the Number of Solutions of X^2=0 in Triangular Matrices over a Finite Field

When the Tracy-Singh product of matrices represents a certain operation on linear operators

An explicit decomposition formula of a matrix in $GL_{2}\left(\mathbb{Z}\right)$

On the straightening law for minors of a matrix

Matrix-Traces On C*-Algebra M-N(A)

On the cardinality of matrices with prescribed rank and partial trace over a finite field

A note on the atomicity of arithmeticity

On bounded ratios of minors of totally positive matrices

On Kitaev's determinant formula

On Generalizing Trace Minimization Principles, II

Is This a New Class of Matrices?