Related papers: Irreducibility criterion for the set of two matric…
By focusing on the X-matrix part of a density matrix of two qubits we provide an algebraic lower bound for the concurrence. The lower bound is generalized for cases beyond two qubits and can serve as a sufficient condition for…
Let ${\bf M}=(M_1,\ldots, M_k)$ be a tuple of real $d\times d$ matrices. Under certain irreducibility assumptions, we give checkable criteria for deciding whether ${\bf M}$ possesses the following property: there exist two constants…
Let $K$ be an algebraically closed field and let $M_n(K)$ denote the algebra of $n\times n$ matrices over $K$. A classical problem asks for the minimal possible dimension of a maximal commutative subalgebra $A \subseteq M_n(K)$. We…
The main result of this paper is the decidability of the membership problem for $2\times 2$ nonsingular integer matrices. Namely, we will construct the first algorithm that for any nonsingular $2\times 2$ integer matrices $M_1,\dots,M_n$…
This paper is a contribution to the study of the subgroup structure of exceptional algebraic groups over algebraically closed fields of arbitrary characteristic. Following Serre, a closed subgroup of a semisimple algebraic group $G$ is…
In the space of square matrices, we characterize row-generated subspaces, on which the determinant is an irreducible polynomial. As a corollary, we characterize square systems of polynomial equations with indeterminate coefficients, whose…
Let $\Lambda$ be a finite-dimensional $k$-algebra with $k$ algebraically closed. Bongartz has recently shown that the existence of an indecomposable $\Lambda$-module of length $n > 1$ implies that also indecomposable $\Lambda$-modules of…
We provide two different proofs of an irreducibility criterion for the preimages of a transverse subvariety of a product of elliptic curves under a diagonal endomorphism of sufficiently large degree.For curves, we present an arithmetic…
Let $\Gamma$ denote a bipartite distance-regular graph with diameter $D \ge 4$ and valency $k \ge 3$. Let $X$ denote the vertex set of $\Gamma$, and let $A$ denote the adjacency matrix of $\Gamma$. For $x \in X$ let $T=T(x)$ denote the…
Basic modules of McLain groups $M=M(\Lambda,\leq, R)$ are defined and investigated. These are (possibly infinite dimensional) analogues of Andr\'e's supercharacters of $U_n(q)$. The ring $R$ need not be finite or commutative and the field…
We consider the set $\mathcal{M}_n(\mathbb Z; H)$ of $n\times n$-matrices with integer elements of size at most $H$ and obtain a new upper bound on the number of matrices from $\mathcal{M}_n(\mathbb Z; H)$ with a given characteristic…
We study the representations of a class of non-commutative polynomial algebras truncated at degree 3, with one additional relation. We determine the irreducible components of their varieties of representations. We do this by showing that…
In this paper we first determine all irreducible representations of a wedge product of two table algebras in terms of the irreducible representations of two factors involved. Then we give some necessary and sufficient conditions for a table…
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model…
We consider the set $\mathcal{M}_n(\mathbb{Z}; H)$ of $n\times n$-matrices with integer elements of size at most $H$ and obtain upper and lower bounds on the number of distinct irreducible characteristic polynomials which correspond to…
Let $k$ be an algebraically closed field of characteristic different from 2. Up to isomorphism, the algebra $\operatorname{Mat}_{n \times n}(k)$ can be endowed with a $k$-linear involution in one way if $n$ is odd and in two ways if $n$ is…
In this short note we prove a lemma about the dimension of certain algebraic sets of matrices. This result is needed in our paper arXiv:1201.1672. The result presented here has also applications in other situations and so it should appear…
Let $\mathcal A\subseteq \mat$ be a unital $*$-subalgebra of the algebra $\mat$ of all $n\times n$ complex matrices and let $B$ be an hermitian matrix. Let $\U_n(B)$ denote the unitary orbit of $B$ in $\mat$ and let $\mathcal E_\mathcal A$…
We present a criterion, based on three commutator relations, that allows to decide whether two self-adjoint matrices with non-overlapping support are simultaneously unitarily similar to quasidiagonal matrices, i.e., whether they can be…
In this paper we give a criterion of irreducibility for a complex power series in two variables, using the notion of jacobian Newton diagrams, defined with respect to any direction. Moreover we study the singularity at infinity of a plane…