Related papers: Commmuting exponentials in dimension at most 3

Let A and B be matrices of M_n(C). We show that if exp(A)^k exp(B)^l=exp(kA+lB) for all integers k and l, then AB=BA. We also show that if exp(A)^k exp(B)=exp(B)exp(A)^k=exp(kA+B)$ for every positive integer k, then the pair (A,B) has…

Let A,B be complex n,n complex matrices such that AB-BA and A commute. We show that, if n=2 then A,B are simultaneously triangularizable and if n>=3 then there exists such a couple A,B such that the pair (A,B) has not property L of…

We introduce and study the following relation between 2 linear functions f,g on a vector space of dimension d<=3: exp(tf+g)=exp(tf)exp(g) for every t an integer. If d=2 then f,g are simultaneously trigonalizable. If d=3 the same relation…

Let $K$ be a perfect field, $L$ be an extension field of $K$ and $A,B\in\mathcal{M}_n(K)$. If $A$ has $n$ distinct eigenvalues in $L$ that are explicitly known, then we can check if $A,B$ are simultaneously triangularizable over $L$. Now we…

Motzkin and Taussky (and independently, Gerstenhaber) proved that the unital algebra generated by a pair of commuting $d\times d$ matrices over a field has dimension at most $d$. Since then, it has remained an open problem to determine…

We prove that the algebraic set of pairs of matrices with a diagonal commutator over a field of positive prime characteristic, its irreducible components, and their intersection are $F$-pure when the size of matrices is equal to 3.…

Let $\textrm{Mat}_2(\mathbb{R})$ be the set of $2 \times 2$ matrices with real entries. For any $\varepsilon>0$ and any finitely--supported probability measure $\mu$ on $\textrm{Mat}_2(\mathbb{R})$, we prove that either \[ T(\mu) = \sum_{X,…

Using ultrafilter techniques we show that in any partition of $\mathbb{N}$ into 2 cells there is one cell containing infinitely many exponential triples, i.e. triples of the kind $a,b,a^b$ (with $a,b>1$). Also, we will show that any…

The necessary and suffcient condition for a set of matrices to commute is given and proven.

Apparently new expressions are given for the exponential of a hermitian matrix,A, in the 2x2,3x3,and 4x4 cases. Replacing A by iA these are explicit formulas for the Fourier transform of exp(iA).

Each square complex matrix is unitarily similar to an upper triangular matrix with diagonal entries in any prescribed order. Let A and B be upper triangular n-by-n matrices that (i) are not similar to direct sums of matrices of smaller…

This note presents explicit formulae for the exponentials of a wide variety of matrices which are 4x4, anti-Hermitian. Easily verifiable conditions characterizing when such matrices admit one of three minimal polynomials are also given.…

A tuple (Z_1,...,Z_p) of matrices of size r is said to be a commuting extension of a tuple (A_1,...,A_p) of matrices of size n <r if the Z_i pairwise commute and each A_i sits in the upper left corner of a block decomposition of Z_i. This…

A matrix $T \in \M_n(\C)$ is \emph{UECSM} if it is unitarily equivalent to a complex symmetric (i.e., self-transpose) matrix. We develop several techniques for studying this property in dimensions three and four. Among other things, we…

Expressions are given for the exponential of a hermitian matrix, A. Replacing A by iA these are explicit formulas for the Fourier transform of exp(iA). They extend to any size matrix the previous results for the 2 X 2, 3 X 3, and 4 X 4…

We show that if A_1, A_2, ... , A_n are square matrices, each of them is either unitary or self-adjoint, and they almost commute with respect to the rank metric, then one can find commuting matrices B_1, B_2, ... , B_n that are close to the…

If ${A}$ has no eigenvalues on the closed negative real axis, and $B$ is arbitrary square complex, the matrix-matrix exponentiation is defined as $A^B:=e^{\log({A}){B}}$. This function arises, for instance, in Von Newmann's…

An example due to Pisier shows that two commuting, completely polynomially bounded Hilbert space operators may not be simultaneously similar to contractions. Thus, while each operator is individually similar to a contraction, the pair is…

We show that for a large class of potential functions and big coupling constant $\lambda$ the Schr\"odinger cocycle over the expanding map $x\mapsto bx ~( \text{mod} 1)$ on $\mathbb{T}$ has a Lyapunov exponent $>(\log\lambda)/4$ for all…

We consider a condition for non-degenerate commuting squares of matrix algebras (finite dimensional von Neumann algebras) called the \emph{span condition}, which in the case of the $n$-dimensional standard spin models is shown to be…