Spectral radius and Hamiltonicity of uniform hypergraphs

Abstract

Report issue for preceding element

Let $n$ and $r$ be integers with $n-2\geq r\geq 3$. We prove that any $r$-uniform hypergraph $\mathcal{H}$ on $n$ vertices with spectral radius $\lambda(\mathcal{H})>\binom{n-2}{r-1}$ must contain a Hamiltonian Berge cycle unless $\mathcal{H}$ is the complete graph $K_{n-1}^{r}$ with one additional edge. This generalizes a result proved by Fiedler and Nikiforov for graphs. As part of our proof, we show that if $|\mathcal{H}|>\binom{n-1}{r}$, then $\mathcal{H}$ contains a Hamiltonian Berge cycle unless $\mathcal{H}$ is the complete graph $K_{n-1}^{r}$ with one additional edge, generalizing a classical theorem for graphs.

Report issue for preceding element

1 Introduction

Report issue for preceding element

There is a long history of finding sufficient conditions which guarantee Hamiltonicity in graphs. A classic result in this area is Dirac’s theorem [3], which states that any graph on $n$ vertices with minimum degree at least $n/2$ must contain a Hamiltonian cycle.

Report issue for preceding element

Fiedler and Nikiforov [4] gave a sufficient condition for Hamiltonicity based on a graph’s spectral radius. Recall that the spectral radius of a graph $G$ is defined as the largest eigenvalue of its adjacency matrix.

Report issue for preceding element

Theorem 1 (Fiedler-Nikiforov).

Report issue for preceding element

Let $G$ be a graph of order $n$ and spectral radius $\lambda(G)$. If $\lambda(G)\geq n-2$, then $G$ contain a Hamiltonian path unless $G\cong K_{n-1}+v$. If $\lambda(G)>n-2$, then $G$ contains a Hamiltonian cycle unless $G\cong K_{n-1}+e$.

Report issue for preceding element

A number of other authors [7, 9, 10] have extended Theorem 1 or given further spectral conditions which imply Hamiltonicity.

Report issue for preceding element

In this note, we extend Theorem 1 to the hypergraph setting. An $r$-graph or $r$-uniform hypergraph $\mathcal{H}$ on $n$ vertices is a pair $(V,\mathcal{E})$, where $|V|=n$ and $\mathcal{E}\subseteq\binom{V}{r}$, where $\binom{V}{r}$ is the set of $r$-element subsets of $V$. For a vertex $x\in V$, the degree $d(x):=|\{E:x\in E\in\mathcal{E}\}|$ is the number of edges in $\mathcal{E}$ which contain $x$. The minimum degree is defined to be $\delta(H):=\min_{x\in V}d(x)$. The complete $r$-graph on $n$ vertices $K_{n}^{r}$ is the $r$-graph whose edge-set is the set of all $r$-element subsets of a vertex set of size $n$.

Report issue for preceding element

Following Cooper and Dutle [2], the spectral radius $\lambda(\mathcal{H})$ of an $r$-graph $\mathcal{H}$ is defined as follows. The polynomial form $P_{\mathcal{H}}({\bf x}):\mathbb{R}^{n}\rightarrow\mathbb{R}$ associated with the $r$-graph $\mathcal{H}$ is defined for any vector ${\bf x}=(x_{1},\ldots,x_{n})\in\mathbb{R}^{n}$ by

Report issue for preceding element

$$P_{\mathcal{H}}({\bf x})=r\sum_{\{i_{1},i_{2},\ldots,i_{r}\}\in E(\mathcal{H})}x_{i_{1}}\ldots x_{i_{r}}.$$

The spectral radius $\lambda(\mathcal{H})$ is defined to be the maximum of $P_{\mathcal{H}}({\bf x})$ over all unit vectors in the $\ell_{r}$-norm, i.e.

Report issue for preceding element

$$\lambda(\mathcal{H})=\max_{\lVert{\bf x}\rVert_{r}=1}P_{\mathcal{H}}({\bf x}).$$

(In other works [8] the polynomial form is defined by $P_{\mathcal{H}}({\bf x})=r!\sum_{\{i_{1},i_{2},\ldots,i_{r}\}\in E(\mathcal{H})}x_{i_{1}}\ldots x_{i_{r}}$, but this of course only changes the spectral radius by a constant factor).

Report issue for preceding element

A Berge cycle of length $\ell$ in an $r$-graph is a list of $\ell$ distinct edges $e_{1},\ldots,e_{\ell}$ and $\ell$ distinct vertices $v_{1},\ldots v_{\ell}$ such that $v_{i}\in e_{i}\cap e_{i+1}$ for $1\leq i\leq\ell-1$ and $v_{\ell}\in e_{\ell}\cap e_{1}$. A Berge path of length $\ell$ is obtained from a Berge cycle of length $\ell$ by deleting one of the edges. A Hamiltonian Berge cycle and a Hamiltonian Berge path are a Berge cycle and Berge path, respectively, which span all vertices of the $r$-graph; an $r$-graph containing a Hamiltonian Berge cycle is Hamiltonian. An $r$-graph is Hamiltonian-connected if it contains a Hamiltonian Berge path between any pair of vertices.

Report issue for preceding element

We now state our $r$-graph version of Theorem 1.

Report issue for preceding element

Theorem 2.

Report issue for preceding element

Let $r\geq 3$ be an integer and suppose $n\geq r+2$. Let $\mathcal{H}$ be an $r$-graph on $n$ vertices. If $\lambda(\mathcal{H})\geq\binom{n-2}{r-1}$, then $\mathcal{H}$ contains a Hamiltonian Berge path unless $\mathcal{H}\cong K_{n-1}^{r}+v$. If $\lambda(\mathcal{H})>\binom{n-2}{r-1}$, then $\mathcal{H}$ contains a Hamiltonian Berge cycle unless $\mathcal{H}\cong K_{n-1}^{r}+e$.

Report issue for preceding element

Here, $K_{n-1}^{r}+v$ denotes the union of an $r$-uniform, $(n-1)$-clique and an isolated vertex $v$, and $K_{n-1}^{r}+e$ is a $K_{n-1}^{r}+v$ with an additional edge incident to $v$.

Report issue for preceding element

To establish Theorem 2, we first prove a sufficient condition for the existence of a Hamiltonian Berge path or cycle based on $|\mathcal{H}|,$ the number of edges in the hypergraph $\mathcal{H}$.

Report issue for preceding element

Theorem 3.

Report issue for preceding element

Let $r\geq 3$ be an integer and suppose $n\geq r+2$. Let $\mathcal{H}$ be an $r$-graph on $n$ vertices. If $|\mathcal{H}|\geq\binom{n-1}{r}$, then $\mathcal{H}$ contains a Hamiltonian Berge path unless $\mathcal{H}\cong K_{n-1}^{r}+v$. If $|\mathcal{H}|>\binom{n-1}{r}$, then $\mathcal{H}$ contains a Hamiltonian Berge cycle unless $\mathcal{H}\cong K_{n-1}^{r}+e$.

Report issue for preceding element

Theorem 3 extends a classical result that any graph $G$ with more than $\binom{n-1}{2}+1$ edges must contain a Hamiltonian cycle. To our knowledge, Theorem 3 has not appeared explicitly in the literature. We demonstrate that it follows from Dirac-type threshold results for $r$-graphs previously proven by Kostochka, Luo and McCourt [5, 6].

Report issue for preceding element

We note the condition $n\geq r+2$ in Theorem 2 and Theorem 3 is best possible for $r\geq 3$. The only $r$-graph with $r+1$ vertices which contains a Hamiltonian Berge cycle is the complete graph $K_{r+1}^{r}$, since it is the only such $r$-graph which even has $r+1$ edges. Therefore, any noncomplete $r$-graph on $r+1$ vertices with at least three edges satisfies the conditions of Theorem 2 and Theorem 3, but does not contain a Hamiltonian Berge cycle.

Report issue for preceding element

2 Proof of Theorem 3

Report issue for preceding element

In this section, we prove Theorem 3. We first handle the special case $n=r+2$.

Report issue for preceding element

Lemma 1.

Report issue for preceding element

Let $n\geq 5$. If $\mathcal{H}$ is an $n$-vertex, $(n-2)$-graph with $|\mathcal{H}|\geq n$, then $\mathcal{H}$ is Hamiltonian unless $\mathcal{H}\cong K_{n-1}^{n-2}+e$.

Report issue for preceding element

Proof.

Report issue for preceding element

We can use a CSP solver to check that for $5\leq n\leq 8$, every $n$-vertex, $(n-2)$-graph with $n$ edges is Hamiltonian except for $K_{n-1}^{n-2}+e$ and every $n$-vertex, $(n-2)$-graph with $n+1$ edges is Hamiltonian. So assume that $n\geq 9$.

Report issue for preceding element

If there exists $v\in\mathcal{H}$ with $d(v)=1$, then $\mathcal{H}-v$ has at most ${n-1\choose n-2}$ edges. It follows immediately that $|\mathcal{H}|\leq{n-1\choose n-2}+1$ with equality only if $\mathcal{H}\cong K_{n-1}^{n-2}+e$. Now suppose $\delta(\mathcal{H})\geq 2$. If there exists a pair of vertices $u$ and $v$ that together span at most $n-2$ edges, then $\mathcal{H}-u-v$ contains at most one edge, and hence $|\mathcal{H}|<n$, a contradiction.

Report issue for preceding element

Consider an edge-maximal counterexample $\mathcal{H}$. Then $\mathcal{H}$ has at least $n$ edges and is not Hamiltonian, but the addition of any new edge creates a Hamiltonian Berge cycle. In particular, $\mathcal{H}$ must have a Hamiltonian Berge path. Since each such path $P$ uses $n-1<|\mathcal{H}|$ edges, there exists an edge $e^{(P)}$ that is not used in $P$.

Report issue for preceding element

We first show that among all such pairs $(P,e^{(P)})$, say $P=v_{1},e_{1},\ldots,e_{n-1},v_{n}$, we may choose one with $v_{1}\in e^{(P)}$. Suppose that $v_{1}\not\in e^{(P)}$. By symmetry, every edge $e\notin E(P)$ contains neither $v_{1}$ nor $v_{n}$. Thus $e^{(P)}$ is the only edge outside of $P$ and $e^{(P)}=\{v_{2},\ldots,v_{n-1}\}$. Without loss of generality, let $d(v_{1})\geq d(v_{n})$. Since every pair of vertices span at least $n-1$ edges, we have $d(v_{1})+d(v_{n})\geq n-1$ and so $d(v_{1})\geq 3$. There exists some $e_{i}$, $i\notin\{1,n-1\}$ containing $v_{1}$. Then the pair $(P^{\prime},e_{i})$ with

Report issue for preceding element

$$P^{\prime}=v_{1},e_{1},\ldots,v_{i},e^{(P)},v_{i+1},e_{i+1},\ldots,v_{n},$$

is chosen so that $v_{1}\in e^{(P^{\prime})}$.

Report issue for preceding element

Let $(P,e^{(P)})$ be such that $P$ is a Hamiltonian Berge path with $v_{1}\in e^{(P)}$. If $v_{n}\in e^{(P)}$ as well then $\mathcal{H}$ has a Hamiltonian Berge cycle. Suppose $v_{n}\not\in e^{(P)}$.

Report issue for preceding element

Let $J=\{j:v_{n}\in e_{j}\}$. If $J=\{n-1\}$, then there exists an edge $f^{(P)}$ which is not used in $P$ since $d(v_{n})\geq 2$. Clearly, $e^{(P)}\neq f^{(P)}$ and $|e^{(P)}\cap f^{(P)}|\geq n-4$. Since $\mathcal{H}$ is $(n-2)$-uniform with $n\geq 9$, there exists a pair of vertices $\{v_{i},v_{i+1}\}\subset e^{(P)}\cap f^{(P)}$ and $\mathcal{H}$ has a Hamiltonian Berge cycle

Report issue for preceding element

$$v_{1},\ldots,v_{i},f^{(P)},v_{n},e_{n-1},v_{n-1},\ldots,v_{i+1},e^{(P)},v_{1}.$$

Hence, we may assume $|J|>1$. If there exists $j\in J$ such that $v_{j+1}\in e^{(P)}$ then $\mathcal{H}$ has a Hamiltonian Berge cycle

Report issue for preceding element

$$v_{1},\ldots,v_{j},e_{j},v_{n},e_{n-1},v_{n-1},\ldots,v_{j+1},e^{(P)},v_{1}.$$

It follows that

Report issue for preceding element

$$\{v_{j+1}:j\in J\}\cap e^{(P)}=\emptyset.$$ (1)

Let $e_{i}$ be an edge containing $v_{n}$ with $i\neq n-1$. Define $J^{\prime}=\{j:\{v_{j},v_{j+1}\}\subset e^{(P)}\}$. Since $v_{n}\notin e^{(P)}$, $|J^{\prime}|\geq|e^{(P)}|-1-1=n-4$. By (1), for all $j\in J^{\prime}$, $v_{n}\notin e_{j}$. Moreover, at most $2$ edges $e_{j}$ with $j\in J^{\prime}$ do not contain $v_{i}$ or $v_{i+1}$ since $\mathcal{H}$ is $(n-2)$-uniform. Thus, there exists at least $|J^{\prime}|-2\geq n-6\geq 3$ edges $e_{j}$ with $j\in J^{\prime}$ and $\{v_{i},v_{i+1}\}\in e_{j}$. Let $J^{\prime\prime}\subseteq J$ be all such $j$.

Report issue for preceding element

Since $|e_{i}|=n-2$ and $|J^{\prime\prime}|\geq 3$, there exists $k\in J^{\prime\prime}$ such that $v_{k}\in e_{i}$. If $i<k$, then $\mathcal{H}$ has a Hamiltonian Berge cycle

Report issue for preceding element

$$v_{1},\ldots,v_{i},e_{k},v_{i+1},e_{i+1},\ldots,v_{k},e_{i},v_{n},e_{n-1},\ldots,v_{k+1},e^{(P)},v_{1}.$$

If $i>k$, then we instead get a Hamiltonian Berge cycle

Report issue for preceding element

$$v_{1},\ldots,v_{k},e_{i},v_{n},e_{n-1},\ldots,v_{i+1},e_{k},v_{i},\ldots,v_{k+1},e^{(P)},v_{1}.$$

∎

Report issue for preceding element

We will use the following Dirac-type results of Kostochka, Luo and McCourt [6, Theorem 1.3 and 1.4].

Report issue for preceding element

Theorem 4 (Kostochka-Luo-McCourt).

Report issue for preceding element

Let $n>r\geq 3$. Suppose $\mathcal{H}$ is an $n$-vertex, $r$-graph.

Report issue for preceding element

1. If (i) $r\leq(n-1)/2$ and $\delta(\mathcal{H})\geq\binom{\lfloor{(n-1)/2\rfloor}}{r-1}+1$ or (ii) $n-1\geq r\geq n/2$ and $\delta(\mathcal{H})\geq r$, then $\mathcal{H}$ contains a Hamiltonian Berge cycle.

   Report issue for preceding element

2. If (i) $r\leq n/2$ and $\delta(\mathcal{H})\geq\binom{\lfloor{n/2\rfloor}}{r-1}+1$ or (ii) $n-1\geq r>n/2\geq 3$ and $\delta(\mathcal{H})\geq r-1$, then $\mathcal{H}$ is Hamiltonian-connected.

   Report issue for preceding element

We use Theorem 4 to prove Theorem 3 for $n\geq r+3$.

Report issue for preceding element

Proof of Theorem 3.

Report issue for preceding element

We first assume $n\geq 2r+1$. Let $\mathcal{H}$ be an $n$-vertex $r$-graph and assume that $\mathcal{H}$ does not contain a Hamiltonian Berge cycle. Then, by Theorem 4(1)(i), there is a vertex $x$ with degree at most $\binom{\lfloor{(n-1)/2\rfloor}}{r-1}$. If $d(x)=1$, then it follows immediately that $|\mathcal{H}|\leq\binom{n-1}{r}+1$ and $\mathcal{H}\cong K_{n-1}^{r}+e$ if $|\mathcal{H}|=\binom{n-1}{r}+1$. Otherwise, if $d(x)\geq 2$, then there exist distinct vertices $u,v\in V-\{x\}$ such that there are distinct edges containing the $2$-sets $\{x,u\}$ and $\{x,v\}$ respectively. If $\mathcal{H}-x$ is Hamiltonian-connected, then there is a Hamiltonian Berge path from $u$ to $v$, and we can connect $x$ to this path to obtain a Hamiltonian Berge cycle. So $\mathcal{H}-x$ cannot be Hamiltonian-connected. Hence, by Theorem 4(2)(i), there is a vertex $y$ in $\mathcal{H}-x$ with degree at most $\binom{\lfloor{(n-1)/2\rfloor}}{r-1}$ in $\mathcal{H}-x$. Therefore, using the convexity of binomial coefficients, we have

Report issue for preceding element

$$|\mathcal{H}| =|\mathcal{H}-x-y|+d_{\mathcal{H}}(x)+d_{\mathcal{H}-x}(y)$$

$$\leq\binom{n-2}{r}+\binom{\lfloor{(n-1)/2\rfloor}}{r-1}+\binom{\lfloor{(n-1)/2\rfloor}}{r-1}$$

$$\leq\binom{n-2}{r}+\binom{\lfloor{(n-1)/2\rfloor}+\lfloor{(n-2)/2\rfloor}}{r-1}+\binom{\lfloor{(n-1)/2\rfloor}-\lfloor{(n-2)/2\rfloor}}{r-1}$$

$$=\binom{n-2}{r}+\binom{n-2}{r-1}$$

$$=\binom{n-1}{r}.$$

If $r+3\leq n\leq 2r$, then by using the same argument with the minimum degree bounds given by Theorem 4(1)(ii) and Theorem 4(2)(ii), we similarly obtain

Report issue for preceding element

$$|\mathcal{H}| =|\mathcal{H}-x-y|+d_{\mathcal{H}}(x)+d_{\mathcal{H}-x}(y)$$

$$\leq\binom{n-2}{r}+(r-1)+(r-2)\leq\binom{n-1}{r}.$$

The remaining case $n=r+2$ follows from Lemma 1.

Report issue for preceding element

We have proved that if $|\mathcal{H}|\geq\binom{n-1}{r}+1$, then $\mathcal{H}$ contains a Hamiltonian Berge cycle unless $\mathcal{H}\cong K_{n-1}^{r}+e$. The hypergraph $K_{n-1}^{r}+e$ has a Hamiltonian Berge path with the degree one vertex as one of its endpoints. Assume $|\mathcal{H}|=\binom{n-1}{r}$. If $\mathcal{H}\cong K_{n-1}^{r}+v$, then $\mathcal{H}$ does not have a Hamiltonian Berge path as it has an isolated vertex. Otherwise, there exists some $e^{\prime}\notin\mathcal{E}(\mathcal{H})$ such that $\mathcal{H}+e^{\prime}\not\cong K_{n-1}^{r}+e$, so that in particular $\mathcal{H}+e^{\prime}$ contains a Hamiltonian Berge cycle. It follows that $\mathcal{H}$ contains a Hamiltonian Berge path. ∎

Report issue for preceding element

3 Proof of Theorem 2

Report issue for preceding element

The following result of Bai and Lu [1] bounds the spectral radius of a hypergraph in terms of the number of edges. For a fixed integer $r$, define the polynomial $p_{r}(x)=\binom{x}{r}=\frac{x(x-1)\cdots(x-r+1)}{r!}$. The polynomial $p_{r}$ is an increasing function on the interval $[r-1,\infty)$; furthermore, its inverse function $p_{r}^{-1}:[0,\infty)\rightarrow[r-1,\infty)$ exists and is also increasing. Following Bai and Lu, define the function

Report issue for preceding element

$$f_{r}(x):=p_{r-1}(p_{r}^{-1}(x)-1).$$

Theorem 5 (Bai-Lu).

Report issue for preceding element

For fixed $r\geq 2$, let $\mathcal{H}$ be an $r$-graph with $m$ edges. Then,

Report issue for preceding element

$$\lambda(\mathcal{H})\leq f_{r}(m),$$

and equality holds if and only if $m=\binom{k}{r}$ and $\mathcal{H}$ is the union of the complete graph $K_{k}^{r}$ and possibly some isolated vertices.

Report issue for preceding element

This is a generalization of the classic bound of Stanley [11], which states that for a graph with $m$ edges, the spectral radius is bounded above by $\frac{\sqrt{1+8m}-1}{2}$.

Report issue for preceding element

We proceed with the proof of Theorem 2.

Report issue for preceding element

Proof of Theorem 2.

Report issue for preceding element

Let $\mathcal{H}$ be an $n$-vertex $r$-graph with $\lambda(\mathcal{H})\geq\binom{n-2}{r-1}$. From Bai and Lu’s inequality in Theorem 5, we have

Report issue for preceding element

$$\binom{n-2}{r-1}\leq\lambda(\mathcal{H}) \leq p_{r-1}(p_{r}^{-1}(m)-1),$$

$$\Rightarrow\quad p^{-1}_{r-1}\left(\binom{n-2}{r-1}\right) \leq p^{-1}_{r}(m)-1,$$

$$\Rightarrow\quad n-2+1 \leq p^{-1}_{r}(m),$$

$$\Rightarrow\quad {n-1\choose r} \leq m.$$

Hence, by Theorem 3, $\mathcal{H}$ contains a Hamiltonian Berge path unless $\mathcal{H}\cong K_{n-1}^{r}+v$. If the inequality is strict in our assumption, it follows from Theorem 3 that $\mathcal{H}$ contains a Hamiltonian Berge cycle unless $\mathcal{H}\cong K_{n-1}^{r}+e$. ∎

Report issue for preceding element