arXiv++ Combinatorics

Keevash, Lenz, and Mubayi proved a spectral Erdős--Ko--Rado theorem, showing that, for sufficiently large $n$, the complete $t$-star uniquely maximizes the adjacency-tensor spectral radius among all $t$-intersecting $k$-uniform families. In this paper, we establish a spectral Hilton--Milner--Frankl theorem for nontrivial $t$-intersecting families in the explicit range $1\le t\le k-2$ and $n\ge 100\cdot 2^k k^7$. More precisely, we prove that, for every nontrivial $t$-intersecting $k$-uniform family $\mathcal F$, the spectral radius satisfies \[ ρ(\mathcal F)\le \max\{ρ(\mathcal H_{n,k,t}),ρ(\mathcal A_{n,k,t})\}, \] where $\mathcal H_{n,k,t}$ and $\mathcal A_{n,k,t}$ are the two extremal families appearing in the classical Hilton--Milner--Frankl theorem. Moreover, equality holds only for the extremal candidates attaining the maximum, up to isomorphism. We further compare the two candidates asymptotically. For each fixed $t$, the unique real solution $x=x_t$ of \[ (t+2)^{x-t-1}(t+1)^{t+1}=(x-t+1)^{x-1} \] determines, as $k$ varies, which of $\mathcal H_{n,k,t}$ and $\mathcal A_{n,k,t}$ has the larger asymptotic spectral radius.

Recently, Frankl and Wang considered a product version of the classical Hilton-Milner theorem. They conjectured that, if $\mathcal{F} \subset \binom{[n]}{k}$ and $\mathcal{G} \subset \binom{[n]}{\ell}$ are non-trivial cross-intersecting families with $n \geq 2k > 2\ell \geq 4$, the maximum of $|\mathcal{F}||\mathcal{G}|$ is attained by the natural Hilton-Milner-type configurations. In this paper, we present two main results concerning this conjecture. Firstly, we show that the conjecture does not hold in general. By introducing a two-center construction, we prove that for every fixed integer $\ell \geq 3$ and all sufficiently large $k$, the conjecture is false in a linear range $2k+1 \leq n \leq (c_\ell - ε)k$ for any $0 < ε< c_\ell - 2$, where $c_\ell > 2$ is an explicit constant. Secondly, we prove that the conjecture holds when $n > 100\ell k^2$ and $3 \leq \ell < k$, and we completely characterize the extremal families. Our proofs rely on the size of minimal covers and analyzing the structural properties of $2$-cover graphs.