arXiv++ Combinatorics

Let $A$ be an $n\times n$ matrix and let $\vee^k A$ be its $k$-th symmetric tensor product. We express the normalized trace of $\vee^k A$ as an integral of the $k$-th powers of the numerical values of $A$ over the unit sphere $\mathbb{S}^{n}$ of $\mathbb{C}^{n}$ with respect to the normalized Euclidean surface measure. Equivalently, this expression in turn can be interpreted as an integral representation for the (normalized) complete symmetric polynomials over $\mathbb{C}^n$. As applications, we present a new proof for the MacMahon Master Theorem in enumerative combinatorics. Then, our next application deals with a generalization of the work of Cuttler et al. in \cite{cuttler} concerning the monotonicity of products of complete symmetric polynomials. In the process, we give a solution to an open problem that was raised by I. Rovenţa and L. E. Temereanca in \cite{roventa}.

An $n$-list $λ:=\left(r; λ_2, \ldots, λ_n\right)$ of complex numbers with $r>0,$ is said to be realizable if $λ$ is the spectrum of $n\times n$ nonnegative matrix $A$ and in this case $A$ is said to be a nonnegative realization of $λ$. If, in addition, each row and column sum of $A$ equals $r$, then $λ$ is said to be doubly stochastically realizable and in such case $A$ is said to be a doubly stochastic realization for $λ$. In 1997, Guo proved that if $\left(λ_2,\ldots, λ_n\right)$ is any list of complex numbers which is closed under complex conjugation then there exists a least real number $λ_0$ with $\max\limits_{2\leq j\leq n}|λ_j|\leqλ_0\leq 2n\max\limits_{2\leq j\leq n}|λ_j|$ such that the list of complex numbers $\{ λ_1,λ_2,...,λ_n\}$ is realizable if and only if $λ_1\geq λ_0$. In 2020, Julio and Soto showed that the upper bound may be reduced to $(n-1)\max\limits_{2\leq j\leq n}|λ_j|$ in the case when at least one of the $λ_i$ is real. In this paper, we first describe an algorithm for passing from a nonnegative realization to a doubly stochastic realization. As applications, we give a new sufficient condition for a stochastic matrix $A$ to be cospectral to a doubly stochastic matrix $B$ and in this case $B$ is shown to be the unique closest doubly stochastic matrix to $A$ with respect to the Frobenius norm. Then, our next results slightly improve the upper bound for the nonnegative realization presented by Julio and Soto and in the case when none of the $λ_i$ is real, we also give an improvement of Guo's bound. Then, for doubly stochastic realizations, we obtain an upper bound that improves Guo's bound as well. Finally, for certain particular cases, we give a further improvement of our last bound for doubly stochastic realization.

A symmetric doubly stochastic matrix A is said to be determined by its spectra if the only symmetric doubly stochastic matrices that are similar to A are of the form $P^TAP$ for some permutation matrix P. The problem of characterizing such matrices is considered here. An almost the same but a more difficult problem was proposed by [ M. Fang, A note on the inverse eigenvalue problem for symmetric doubly stochastic matrices, Lin. Alg. Appl., 432 (2010) 2925-2927] as follows: Characterize all n-tuples $λ= (1,λ_2,...,λ_n)$ such that up to a permutation similarity, there exists a unique symmetric doubly stochastic matrix with spectrum $λ.$ In this short note, some general results concerning our two problems are first obtained. Then, we completely solve these two problems for the case n = 3. Some connections with spectral graph theory are then studied. Finally, concerning the general case, two open questions are posed and a conjecture is introduced.

In this note, we present a generalization of some results concerning the spectral properties of a certain class of block matrices. As applications, we study some of its implications on nonnegative matrices, doubly stochastic matrices and graph theory namely on graph spectra and graph energy.