arXiv++ Combinatorics

Let $G$ be an $r$-uniform hypergraph of order $t$ and $ρ(G)$ is the spectral radius of $\mathcal{A}(G)$, where $\mathcal{A}(G)$ is the adjacency tensor of $G$. A blow-up of $G$ respected to a positive integer vector $(n_{1}, n_{2},\ldots,n_{t})$, denoted by $G \circ (n_{1}, n_{2},\ldots,n_{t})$, is an $r$-uniform hypergraph obtained from $G$ by replacing each vertex $j$ of $G$ with a class of vertices $V_{j}$ of size $n_{j}\ge 1$ and if $\{j_{1},j_{2},\ldots,j_{r}\}\in E(G)$, then $\{v_{i_1},v_{i_2},\ldots,v_{i_r}\}\in E(H)$ for every $v_{i_{1}}\in V_{j_{1}}, v_{i_{2}}\in V_{j_{2}},\ldots, v_{i_{r}}\in V_{j_{r}}$. Let $\mathcal{B}_{n}(G)$ be the set of all the blow-ups of $G$ such that each $n_i\ge 1$ and $\sum_{i=1}^n n_i=n$. Let $K_{t}^{r}$ be the complete $r$-uniform hypergraph of order $t$, and let $SH(m,q,r)$ be the $r$-uniform sunflower hypergraph with $m$ petals and a kernel of size $r-q$ on $t$ vertices. For any $H\in \mathcal{B}_{n}(K_{t}^{r})$, we prove that $$ρ(K_{t}^{r}\circ(n-t+1,1,1,\ldots,1))\leqρ(H)\leq ρ(T_{t}^{r}(n)),$$ with the left equality holds if and only if $H\cong K_{t}^{r}\circ(n-t+1,1,1,\ldots,1)$, and the right equality holds if and only if $H\cong T_{t}^{r}(n)$, where $T_{t}^{r}(n)$ is the complete $t$-partite $r$-uniform hypergraph of order $n$, with parts of size $\lfloor n / k\rfloor$ or $\lceil n / k \rceil$. For any $H\in \mathcal{B}_{n}(H(m,q,r))$, we determine the exact value of the spectral radius of $H$ and characterize the hypergraphs with maximum spectral radius and minimum spectral radius in $\mathcal{B}_{n}(H(m,q,r))$, respectively.

We show that for any $\varepsilon>0$ and $Δ\in\mathbb{N}$, there exists $α>0$ such that for sufficiently large $n$, every $n$-vertex graph $G$ satisfying that $δ(G)\geq\varepsilon n$ and $e(X, Y)>0$ for every pair of disjoint vertex sets $X, Y\subseteq V(G)$ of size $αn$ contains all spanning trees with maximum degree at most $Δ$. This strengthens a result of Böttcher et al.

We present some necessary and/or sufficient conditions for the positivity problem of three-term recurrence sequences. As applications we show the positivity of diagonal Taylor coefficients of some rational functions in a unified approach. We also establish a criterion for the positivity and log-convexity of such sequences.

The Heilmann--Lieb theorem is a fundamental theorem in algebraic combinatorics which provides a characterization of the distribution of the zeros of matching polynomials of graphs. In this paper, we establish a hypergraph Heilmann--Lieb theorem as follows. Let $\h$ be a connected $k$-graph with maximum degree $Δ\geq 2$ and let $μ(\h, x)$ be its matching polynomial. We show that the zeros (with multiplicities) of $μ(\h, x)$ are invariant under a rotation of an angle $2π/{\ell}$ in the complex plane for some positive integer $\ell$ and $k$ is the maximum integer with this property. We further prove that the maximum modulus $λ(\h)$ of all the zeros of $μ(\h, x)$ is a simple root of $μ(\h, x)$ and satisfies $$Δ^{\frac{1}{ k}} \leq λ(\h)< \frac{k}{k-1}\big((k-1)(Δ-1)\big)^{\frac{1}{ k}}.$$ To achieve these, we prove that $μ(\h, x)$ divides the matching polynomial of the $k$-walk-tree of $\h$, which generalizes a classical result due to Godsil from graphs to hypergraphs.

Let $T$ be a $k$-tree equipped with a weighting function $\w: V(T)\cup E(T)\rightarrow \C$, where $k \geq 3$. The weighted matching polynomial of the weighted $k$-tree $(T,\w)$ is defined to be $$ μ(T,\w,x)= \sum_{M \in \mathcal{M}(T)}(-1)^{|M|}\prod_{e \in E(M)}\mathbf{w}(e)^k \prod_{v \in V(T)\backslash V(M)}(x-\w(v)), $$ where $\mathcal{M}(T)$ denotes the set of matchings (including empty set) of $T$. In this paper, we investigate the eigenvalues of the adjacency tensor $\A(T,\w)$ of the weighted $k$-tree $(T,\w)$. The main result provides that $\w(v)$ is an eigenvalue of $\A(T,\w)$ for every $v\in V(T)$, and if $λ\neq \w(v)$ for every $v\in V(T)$, then $λ$ is an eigenvalue of $\A(T,\w)$ if and only if there exists a subtree $T'$ of $T$ such that $λ$ is a root of $μ(T',\w,x)$. Moreover, the spectral radius of $\A(T,\w)$ is equal to the largest root of $μ(T,\w,x)$ when $\w$ is real and nonnegative. The result extends a work by Clark and Cooper ({\em On the adjacency spectra of hypertrees, Electron. J. Combin., 25 (2)(2018) $\#$P2.48}) to weighted $k$-trees. As applications, two analogues of the above work for the Laplacian and the signless Laplacian tensors of $k$-trees are obtained.

Let $H$ be a connected $m$-uniform hypergraph, and let $\mathcal{A}(H)$ be the adjacency tensor of $H$ whose spectrum is simply called the spectrum of $H$. Let $s(H)$ denote the number of eigenvectors of $\mathcal{A}(H)$ associated with the spectral radius, and $c(H)$ denote the number of eigenvalues of $\mathcal{A}(H)$ with modulus equal to the spectral radius, which are respectively called the stabilizing index and cyclic index of $H$. Let $\bar{H}$ be a $k$-fold covering of $H$ which can be obtained from some permutation assignment in the symmetric group $\mathbf{S}_k$ on $H$. In this paper, we first characterize the connectedness of $\bar{H}$ by its incidence graph and the permutation assignment, and then investigate the relationship between the spectral property of $H$ and that of $\bar{H}$. By applying module theory and group representation, if $\bar{H}$ is connected, we prove that $s(H) \mid s(\bar{H})$ and $c(H) \mid c(\bar{H})$. In particular, when $\bar{H}$ is a $2$-fold covering of $H$, if $m$ is even, we show that regardless of multiplicities, the spectrum of $\bar{H}$ contains the spectrum of $H$ and the spectrum of a signed hypergraph with $H$ as underlying hypergraph; if $m$ is odd, we give an explicit formula for $s(\bar{H})$. We also find some differences on the spectral property between hypergraph coverings and graph coverings by examples.

Let $R=\mathcal{R}(d(t),h(t))$ be a Riordan array, where $d(t)=\sum_{n\ge 0}d_nt^n$ and $h(t)=\sum_{n\ge 0}h_nt^n$. We show that if the matrix \begin{equation*} \left[\begin{array}{ccccc} d_0 & h_0 & 0 & 0 &\cdots\\ d_1 & h_1 & h_0 & 0 &\\ d_2 & h_2 & h_1 & h_0 &\\ \vdots&\vdots&&&\ddots \end{array}\right] \end{equation*} is totally positive, then so is the Riordan array $R$.

The Laplacian matching polynomial of a graph $G$, denoted by $\mathscr{L\hspace{-0.7mm}M}(G,x)$, is a new graph polynomial whose all roots are nonnegative real numbers. In this paper, we investigate the location of zeros of the Laplacian matching polynomials. Let $G$ be a connected graph. We show that $0$ is a root of $\mathscr{L\hspace{-0.7mm}M}(G, x)$ if and only if $G$ is a tree. We prove that the number of distinct positive zeros of $\mathscr{L\hspace{-0.7mm}M}(G,x)$ is at least equal to the length of the longest path in $G$. It is also established that the zeros of $\mathscr{L\hspace{-0.7mm}M}(G,x)$ and $\mathscr{L\hspace{-0.7mm}M}(G-e,x)$ interlace for each edge $e$ of $G$. Using the path-tree of $G$, we present a linear algebraic approach to investigate the largest zero of $\mathscr{L\hspace{-0.7mm}M}(G,x)$ and particularly to give tight upper and lower bounds on it.

An oriented hypergraph is a hypergraph together with an incidence orientation such that each edge-vertex incidence is given a label of $+1$ or $-1$. An oriented hypergraph is called incidence balanced if there exists a bipartition of the vertex set such that every edge intersects one part of the bipartition in positively incident vertices with the edge and other part in negatively incident vertices with the edge. In this paper, we investigate the incidence balance of oriented hypergraphs and induced signed hypergraphs by means of the eigenvalues of associated matrices and tensors, and provide a spectral method to characterize the incidence balanced oriented hypergraphs and their induced signed hypergraphs.

Let $G$ be a connected graph and let $T$ be a spanning tree of $G$. A partial orientation $σ$ of $G$ respect to $T$ is an orientation of the edges of $G$ except those edges of $T$, the resulting graph associated with which is denoted by $G_T^σ$. In this paper we prove that there exists a partial orientation $σ$ of $G$ respect to $T$ such that the largest eigenvalue of the Hermitian adjacency matrix of $G_T^σ$ is at most the largest absolute value of the roots of the matching polynomial of $G$.

Among all uniform hypergraphs with even uniformity, the odd-transversal or odd-bipartite hypergraphs are more close to bipartite simple graphs from the viewpoint of both structure and spectrum. A hypergraph is called minimal non-odd-transversal if it is non-odd-transversal but deleting any edge results in an odd-transversal hypergraph. In this paper we give an equivalent characterization of the minimal non-odd-transversal hypergraphs by the degrees and the rank of its incidence matrix over $\mathbb{Z}_2$. If a minimal non-odd-transversal hypergraph is uniform, then it has even uniformity, and hence is minimal non-odd-bipartite. We characterize $2$-regular uniform minimal non-odd-bipartite hypergraphs, and give some examples of $d$-regular uniform hypergraphs which are minimal non-odd-bipartite. Finally we give upper bounds for the least H-eigenvalue of the adjacency tensor of minimal non-odd-bipartite hypergraphs.

Let $G$ be a connected hypergraph with even uniformity, which contains cut vertices. Then $G$ is the coalescence of two nontrivial connected sub-hypergraphs (called branches) at a cut vertex. Let $\mathcal{A}(G)$ be the adjacency tensor of $G$. The least H-eigenvalue of $\mathcal{A}(G)$ refers to the least real eigenvalue of $\mathcal{A}(G)$ associated with a real eigenvector. In this paper we obtain a perturbation result on the least H-eigenvalue of $\mathcal{A}(G)$ when a branch of $G$ attached at one vertex is relocated to another vertex, and characterize the unique hypergraph whose least H-eigenvalue attains the minimum among all hypergraphs in a certain class of hypergraphs which contain a fixed connected hypergraph.

In this paper we investigate analytic properties of sextet polynomials of hexagonal systems. For the pyrene chains, we show that zeros of the sextet polynomials $P_n(x)$ are real, located in the open interval $(-3-2\sqrt{2},-3+2\sqrt{2})$ and dense in the corresponding closed interval. We also show that coefficients of $P_n(x)$ are symmetric, unimodal, log-concave, and asymptotically normal. For general hexagonal systems, we show that real zeros of all sextet polynomials are dense in the interval $(-\infty,0]$, and conjecture that every sextet polynomial has log-concave coefficients.

A mixed graph is a graph with undirected and directed edges. Guo and Mohar in 2017 determined all mixed graphs whose Hermitian spectral radii are less than $2$. In this paper, we give a sufficient condition which can make Hermitian spectral radius of a connected mixed graph strictly decreasing when an edge or a vertex is deleted, and characterize all mixed graphs with Hermitian spectral radii at most $2$ and with no cycle of length $4$ in their underlying graphs.

We establish the converse of Weyl's eigenvalue inequality for additive Hermitian perturbations of a Hermitian matrix.

We present a characterization of eigenvalue inequalities between two Hermitian matrices by means of inertia indices. As applications, we deal with some classical eigenvalue inequalities for Hermitian matrices, including the Cauchy interlacing theorem and the Weyl inequality, in a simple and unified approach. We also give a common generalization of eigenvalue inequalities for (Hermitian) normalized Laplacian matrices of simple (signed, weighted, directed) graphs. Our approach is also suitable for Hermitian matrices of the second kind of digraphs recently introduced by Mohar.

Let $G$ be a connected non-odd-bipartite hypergraph with even uniformity. The least H-eigenvalue of the signless Laplacian tensor of $G$ is simply called the least eigenvalue of $G$ and the corresponding H-eigenvectors are called the first eigenvectors of $G$. In this paper we give some numerical and structural properties about the first eigenvectors of $G$ which contains an odd-bipartite branch, and investigate how the least eigenvalue of $G$ changes when an odd-bipartite branch attached at one vertex is relocated to another vertex. We characterize the hypergraph(s) whose least eigenvalue attains the minimum among a certain class of hypergraphs which contain a fixed non-odd-bipartite connected hypergraph. Finally we present some upper bounds of the least eigenvalue and prove that zero is the least limit point of the least eigenvalues of connected non-odd-bipartite hypergraphs.

Unlike an irreducible $Z$-matrices, a weakly irreducible $Z$-tensor $\mathcal{A}$ can have more than one eigenvector associated with the least H-eigenvalue. We show that there are finitely many eigenvectors of $\mathcal{A}$ associated with the least H-eigenvalue. If $\mathcal{A}$ is further combinatorial symmetric, the number of such eigenvectors can be obtained explicitly by the Smith normal form of the incidence matrix of $\mathcal{A}$. When applying to a connected uniform hypergraph $G$, we prove that the number of Laplacian eigenvectors of $G$ associated with the zero eigenvalue is equal to the the number of adjacency eigenvectors of $G$ associated with the spectral radius, which is also equal to the number of signless Laplacian eigenvectors of $G$ associated with the zero eigenvalue if zero is an signless Laplacian eigenvalue.

Let $G$ be a connected $m$-uniform hypergraph. In this paper we mainly consider the eigenvectors of the Laplacian or signless Laplacian tensor of $G$ associated with zero eigenvalue, called the first Laplacian or signless Laplacian eigenvectors of $G$. By means of the incidence matrix of $G$, the number of first Laplacian or signless Laplaican (H- or N-)eigenvectors can be get explicitly by solving the Smith normal form of the incidence matrix over $\mathbb{Z}_m$ or $\mathbb{Z}_2$. Consequently, we prove that the number of first Laplacian (H-)eigenvectors is equal to the number of first signless Laplacian (H-)eigenvectors when zero is an (H-)eigenvalue of the signless Laplacian tensor. We establish a connection between first Laplacian (signless Laplacian) H-eigenvectors and the even (odd) bipartitions of $G$.

By using the Poisson formula for resultants and the variants of chip-firing game on graphs, we provide a combinatorial method for computing a class of of resultants, i.e. the characteristic polynomials of the adjacency tensors of starlike hypergraphs including hyperpaths and hyperstars,which are given recursively and explicitly.