Related papers: Spectrum nonincreasing maps on matrices
We say that a square real matrix $M$ is \emph{off-diagonal nonnegative} if and only if all entries outside its diagonal are nonnegative real numbers. In this note we show that for any off-diagonal nonnegative symmetric matrix $M$, there…
We prove the linearity and injectivity of two maps $\phi_1$ and $\phi_2$ on certain subsets of $M_n$ that satisfy $\operatorname{tr}(\phi_1(A)\phi_2(B))=\operatorname{tr}(AB)$. We apply it to characterize maps $\phi_i:\mathcal{S}\to…
It is known that piecewise affine surface homeomorphisms always have measures of maximal entropy. This is easily seen to fail in the discontinuous case. Here we describe a piecewise affine, globally continuous surface map with no measure of…
We define linear and radial stretch maps in the affine-additive group, and prove that they are minimizers of the mean quasiconformal distortion functional. For the proofs we use a method based on the notion of modulus of a curve family and…
A linear map $\Phi$ between matrix spaces is called cross-positive if it is positive on orthogonal pairs $(U,V)$ of positive semidefinite matrices in the sense that $\langle U,V\rangle:=\text{Tr}(UV)=0$ implies $\langle…
We discuss transformations on matrices that preserve the effective spectrum and/or the effective spectral radius.
We study the complexity of computing the mixed Schatten $\|\Phi\|_{q\to p}$ norms of linear maps $\Phi$ between matrix spaces. When $\Phi$ is completely positive, we show that $\| \Phi \|_{q \to p}$ can be computed efficiently when $q \geq…
For quantum systems described by finite matrices, linear and affine maps of matrices are shown to provide equivalent descriptions of evolution of density matrices for a subsystem caused by unitary Hamiltonian evolution in a larger system;…
We describe the structure of those graphs that have largest spectral radius in the class of all connected graphs with a given degree sequence. We show that in such a graph the degree sequence is non-increasing with respect to an ordering of…
Continuous-variable systems in quantum theory can be fully described through any one of the ${\rm s}$-ordered family of quasiprobabilities $\Lambda_{\rm s}(\alpha)$, ${\rm s} \in [-1,1]$. We ask for what values of $({\rm s}, a)$ is the…
We prove that all injective maps on positive complex matrices which preserve order and shrink spectrum are implemented by unitary or antiunitary conjugations. We show by counterexamples that all assumptions are indispensable. The result…
We established two-sided Curto-Herrero conjecture for pairs of matrices, where the first matrix has a simple spectrum. Namely, it is shown that these pairs are separated by ranks of non-commutative polynomials in matrices. Moreover, we…
We introduce a property of a matrix-valued linear map $\Phi$ that we call its "non-m-positive dimension" (or "non-mP dimension" for short), which measures how large a subspace can be if every quantum state supported on the subspace is…
Semipositive matrices (matrices that map at least one nonnegative vector to a positive vector) and minimally semipositive matrices (semipositive matrices whose no column-deleted submatrix is semipositive) are well studied in matrix theory.…
We say that a semigroup of matrices has a submultiplicative spectrum if the spectrum of the product of any two elements of the semigroup is contained in the product of the two spectra in question (as sets). In this note we explore an…
We estimate the size of the spectral gap at zero for some Hermitian block matrices. Included are quasi-definite matrices, quasi-semidefinite matrices (the closure of the set of the quasi-definite matrices) and some related block matrices…
Some arithmetic properties of spectral curves are discussed: the spectral curve, for example, of a charge $n\ge2$ Euclidean BPS monopole is not defined over $\overline{\mathbb{Q}}$ if smooth.
Let $\mathcal{A}$ and $\mathcal{B}$ be unital finite-dimensional complex algebras, each equipped with the unique Hausdorff vector topology. Denote by $\mathrm{Max}(\mathcal{A})=\{\mathcal{M}_1, \ldots, \mathcal{M}_p\}$ and…
In this paper, we obtain the sharp upper and lower bounds for the spectral radius of a nonnegative irreducible matrix. We also apply these bounds to various matrices associated with a graph or a digraph, obtain some new results or known…
A simplicial set is non-singular if the representing map of each non-degenerate simplex is degreewise injective. The simplicial mapping set $X^K$ has $n$-simplices given by the simplicial maps $\Delta[n] \times K \to X$. We prove that $X^K$…