The multiplicity of eigenvalues of nonnegative weakly irreducible tensors and uniform hypergraphs

Yi-Zheng Fan

2024-12-03

Abstract:Hu and Ye conjectured that for a $k$-th order and $n$-dimensional tensor $\mathcal{A}$ with an eigenvalue $\lambda$ and the corresponding eigenvariety $\mathcal{V}_\lambda(\mathcal{A})$, $$\mathrm{am}(\lambda) \ge \sum_{i=1}^\kappa \mathrm{dim}(V_i)(k-1)^{\mathrm{dim}(V_i)-1},$$ where $\mathrm{am}(\lambda)$ is the algebraic multiplicity of $\lambda$, and $V_1,\ldots,V_\kappa$ are all irreducible components of $\mathcal{V}_\lambda(\mathcal{A})$. In this paper, we prove that if $\mathcal{A}$ is a nonnegative weakly irreducible tensor with spectral radius $\rho$, then $\mathrm{am}(\lambda) \ge |\mathbb{V}_\lambda(\mathcal{A})|$ for all eigenvalues $\lambda$ of $\mathcal{A}$ with modulus $\rho$, where $\mathbb{V}_\lambda(\mathcal{A})$ is the projective eigenvariety of $\mathcal{A}$ associated with $\lambda$. Consequently we confirm Hu-Ye's conjecture for the above eigenvalues $\lambda$ of $\mathcal{A}$ and also the least H-eigenvalue of a weakly irreducible $Z$-tensor. We prove several equality cases in Hu-Ye's conjecture for the eigenvalues of the adjacency tensor or Laplacian tensor of uniform hypergraphs.

Combinatorics

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to verify the conjecture proposed by Hu and Ye regarding the eigenvalues multiplicity of non - negative weakly irreducible tensors and uniform hypergraphs. Specifically, in 2016, Hu and Ye proposed a conjecture that for a $k$-th order $n$-dimensional tensor $A$, if it has an eigenvalue $\lambda$, and the eigencluster $V_{\lambda}(A)$ associated with $\lambda$ has $\kappa$ irreducible components $V_1,\ldots,V_{\kappa}$, then the algebraic multiplicity $am(\lambda)$ of $\lambda$ satisfies the following inequality: \[ am(\lambda) \geq \sum_{i = 1}^{\kappa}\dim(V_i)(k - 1)^{\dim(V_i)- 1} \] In particular, \[ am(\lambda) \geq gm(\lambda)(k - 1)^{gm(\lambda)- 1} \] where $gm(\lambda)$ represents the geometric multiplicity of $\lambda$. In this paper, the author proves that if $A$ is a non - negative weakly irreducible tensor and its spectral radius is $\rho$, then for all eigenvalues $\lambda$ whose modulus is equal to $\rho$, we have: \[ am(\lambda) \geq |V_{\lambda}(A)| \] This not only verifies that the Hu - Ye conjecture holds for these eigenvalues, but also verifies the case of the minimum $H$-eigenvalue of weakly irreducible $Z$-tensors. In addition, the author also proves the Hu - Ye conjecture in several equal - sign cases, especially for the eigenvalues of the adjacency tensor or the Laplacian tensor of uniform hypergraphs.

The multiplicity of eigenvalues of nonnegative weakly irreducible tensors and uniform hypergraphs

A Generalization of Pólya Conjecture and Li–Yau Inequalities for Higher Eigenvalues

Principal eigenvectors of nonnegative tensors and hypergraphs

Eigenvectors of Z-tensors associated with least H-eigenvalue with application to hypergraphs.

A new definition of geometric multiplicity of eigenvalues of tensors and some results based on it

On the multiplicity of the eigenvalues of discrete tori

Some Upper Bounds on the Eigenvalues of Uniform Hypergraphs

The multiplicity of the zero Laplacian eigenvalue of uniform hypertrees

Some variational principles for Z-eigenvalues of nonnegative tensors

Some Bounds for H-eigenpairs and Z-eigenpairs of a Tensor

Some Properties of the Laplace and Normalized Laplace Spectra of Uniform Hypergraphs

Extreme ratio between spectral and Frobenius norms of nonnegative tensors

The Proof of a Conjecture on Largest Laplacian and Signless Laplacian H-eigenvalues of Uniform Hypergraphs

Sum-of-Squares Decomposition and Augmented Vandermonde Decomposition of Strong Hankel Tensors: Theory and Algorithms

Further Results for Perron-Frobenius Theorem for Nonnegative Tensors II

Some New Inequalities for the Minimum H-eigenvalue of Nonsingular M-tensors

A new $Z$-eigenvalue inclusion theorem for tensors

A Sharp Upper Bound on the Spectral Radius of a Nonnegative K-Uniform Tensor and Its Applications to (directed) Hypergraphs

Connected graphs with large multiplicity of $-1$ in the spectrum of the eccentricity matrix

A splitting theorem for Kahler manifolds whose Ricci tensors have constant eigenvalues

ℋ-tensors and Nonsingular ℋ-tensors