G-tridiagonal majorization on M n,m

For X, Y ∈ M n,m , it is said that X is g-tridiagonal majorized by Y (and it is denoted by X ≺ gt Y) if there exists a tridiagonal g-doubly stochastic matrix A such that X = AY. In this paper, the linear preservers and strong linear preservers of ≺ gt are characterized on M n,m .

Doubly stochastic matrices and the quantum channels

The main object of this paper is to study doubly stochastic matrices with majorization and the Birkhoff theorem. The Perron-Frobenius theorem on eigenvalues is generalized for doubly stochastic matrices. The region of all possible eigenvalues of n-by-n doubly stochastic matrix is the union of regular (n – 1) polygons into the complex plane. This statement is ensured by a famous conjecture known as the Perfect-Mirsky conjecture which is true for n = 1, 2, 3, 4 and untrue for n = 5. We show the extremal eigenvalues of the Perfect-Mirsky regions graphically for n = 1, 2, 3, 4 and identify corresponding doubly stochastic matrices. Bearing in mind the counterexample of Rivard-Mashreghi given in 2007, we introduce a more general counterexample to the conjecture for n = 5. Later, we discuss different types of positive maps relevant to Quantum Channels (QCs) and finally introduce a theorem to determine whether a QCs gives rise to a doubly stochastic matrix or not. This evidence is straightforward and uses the basic tools of matrix theory and functional analysis.

Eigenvalues and triangles in graphs

Bollobás and Nikiforov (J. Combin. Theory Ser. B.97 (2007) 859–865) conjectured the following. If G is a Kr+1-free graph on at least r+1 vertices and m edges, then ${\rm{\lambda }}_1^2(G) + {\rm{\lambda }}_2^2(G) \le (r - 1)/r \cdot 2m$ , where λ1 (G)and λ2 (G) are the largest and the second largest eigenvalues of the adjacency matrix A(G), respectively. In this paper we confirm the conjecture in the case r=2, by using tools from doubly stochastic matrix theory, and also characterize all families of extremal graphs. Motivated by classic theorems due to Erdős and Nosal respectively, we prove that every non-bipartite graph G of order n and size m contains a triangle if one of the following is true: (i) ${{\rm{\lambda }}_1}(G) \ge \sqrt {m - 1} $ and $G \ne {C_5} \cup (n - 5){K_1}$ , and (ii) ${{\rm{\lambda }}_1}(G) \ge {{\rm{\lambda }}_1}(S({K_{[(n - 1)/2],[(n - 1)/2]}}))$ and $G \ne S({K_{[(n - 1)/2],[(n - 1)/2]}})$ , where $S({K_{[(n - 1)/2],[(n - 1)/2]}})$ is obtained from ${K_{[(n - 1)/2],[(n - 1)/2]}}$ by subdividing an edge. Both conditions are best possible. We conclude this paper with some open problems.

Diagonal Sums of Doubly Substochastic Matrices

Let $\Omega_n$ denote the convex polytope of all $n\times n$ doubly stochastic matrices, and $\omega_{n}$ denote the convex polytope of all $n\times n$ doubly substochastic matrices. For a matrix $A\in\omega_n$, define the sub-defect of $A$ to be the smallest integer $k$ such that there exists an $(n+k)\times(n+k)$ doubly stochastic matrix containing $A$ as a submatrix. Let $\omega_{n,k}$ denote the subset of $\omega_n$ which contains all doubly substochastic matrices with sub-defect $k$. For $\pi$ a permutation of symmetric group of degree $n$, the sequence of elements $a_{1\pi(1)},a_{2\pi(2)}, \ldots, a_{n\pi(n)}$ is called the diagonal of $A$ corresponding to $\pi$. Let $h(A)$ and $l(A)$ denote the maximum and minimum diagonal sums of $A\in \omega_{n,k}$, respectively. In this paper, existing results of $h$ and $l$ functions are extended from $\Omega_n$ to $\omega_{n,k}.$ In addition, an analogue of Sylvesters law of the $h$ function on $\omega_{n,k}$ is proved.