Related papers: A quantitative version of the commutator theorem f…

We point attention to the fact that in SO(10) models with non-canonical (type II) see-saw mechanism and exact b-tau unification the trace of the neutrino mass matrix is very small, in fact practically zero. This has the advantage of being a…

Given two elements $a$ and $b$ of a noncommutative ring, we express $\left( ba\right)^n$ as a "row vector times matrix times column vector" product, where the matrix is the $n$-th power of a matrix with entries…

Let $H$ be a positive semi-definite matrix partitioned in $\beta\times \beta$ Hermitian blocks, $H=[A_{s,t}]$, $1\le s,t,\le \beta$. Then, for all symmetric norms, {equation*} \| H \| \le \| \sum_{s=1}^{\beta} A_{s,s} \|. {equation*} The…

A commutative algebra is exact if its multiplication endomorphisms are trace-free and is Killing metrized if its Killing type trace-form is nondegenerate and invariant. A Killing metrized exact commutative algebra is necessarily neither…

In this document we study the uniform local path connectivity of sets of $m$-tuples of pairwise commuting normal matrices with some additional constraints. More specifically, given given $\varepsilon>0$, a fixed metric $\eth$ in…

We study the trace set of the commutator subgroup of $\Gamma(2),$ a type of Local-Global problem about thin groups. We determine the local obstructions and then use the correspondence between binary quadratic forms and hyperbolic matrices…

Fillmore Theorem says that if A is an nxn complex non-scalar matrix and {\gamma}_1,...,{\gamma}_{n} are complex numbers with {\gamma}_1+...+{\gamma}_{n}=trA, then there exists a matrix B similar to A with diagonal entries…

For an upper bidiagonal matrix $B$ where all the diagonal and the upper subdiagonal entries are positive, two subtraction-free formulae for computation of the traces $J_{M} ( B ) = \textrm{Tr} ( ( B^{\top} B )^{- M} ) = \textrm{Tr} ( ( B…

Fully commutative elements in types $B$ and $D$ are completely characterized and counted by Stembridge. Recently, Feinberg-Kim-Lee-Oh have extended the study of fully commutative elements from Coxeter groups to the complex setting, giving…

In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…

It is known that every complex trace-zero matrix is the sum of four square-zero matrices, but not necessarily of three such matrices. In this note, we prove that for every trace-zero matrix $A$ over an arbitrary field, there is a…

In this short paper, we give a complete and affirmative answer to a conjecture on matrix trace inequalities for the sum of positive semidefinite matrices. We also apply the obtained inequality to derive a kind of generalized Golden-Thompson…

We consider algebras in a modular tensor category C. If the trace pairing of an algebra A in C is non-degenerate we associate to A a commutative algebra Z(A), called the full centre, in a doubled version of the category C. We prove that two…

We prove the formula C(a,b) = K(a|C(a,b)) + C(b|a,C(a,b)) + O(1) that expresses the plain complexity of a pair in terms of prefix and plain conditional complexities of its components.

Let $m,n$ be positive integers. For all $m\times n$ complex matrices $A, C$ and an $n\times m$ matrix $B$, we define a generalized commutator as $ABC-CBA$. We estimate the Frobenius norm of it, and finally get the inequality, which is a…

Let ${\mathcal M}_2(\mathbb F)$ be the algebra of 2$\times$2 matrices over the real or complex field $\mathbb F$. For a given positive integer $k\geq 1$, the $k$-commutator of $A$ and $B$ is defined by $[A,B]_k=[[A,B]_{k-1},B]$ with…

According to an old result of Albert and Muckenhoupt, the commutators in the endomorphism ring of a finite dimensional vector space are precisely the elements of trace zero. We replace the finite dimensional vector space with a complex of…

Let (R, m) be a local commutative ring. Suppose that m is principal and that m^2 = 0. We give a complete description of the cellular lattice of perfect chain complexes of modules over this ring.

A ring is called a commutator ring if every element is a sum of additive commutators. In this paper we give examples of such rings. In particular, we show that given any ring R, a right R-module N, and a set X, End_R(\bigoplus_X N) and…

We study so called regular Lie algebras, i.e. Lie algebras in which each nonzero element is regular. We make a connection with an open problem whether any element of reduced trace zero in a simple associative algebra is a commutator.