arXiv++ Combinatorics

The Erdős Matching Conjecture concerns the maximum number of hyperedges in an $r$-uniform hypergraph with bounded matching number. In this paper, we study a spectral counterpart of this conjecture. For sufficiently large $n$, we determine the maximum spectral radius over all $n$-vertex $r$-uniform hypergraphs whose matching number is less than $s$, and characterize the unique extremal hypergraph. To establish the main theorem, we first apply the shifting method to reduce the problem to shifted hypergraphs. We then derive several spectral upper bounds through hypergraph decomposition and related variational estimates for tensor spectral radii. With these estimates, we analyze the structural properties of shifted-saturated hypergraphs and prove the spectral extremal theorem for shifted hypergraphs with bounded matching numbers. Finally, we drop the shifted condition and extend our spectral bound to general $r$-uniform hypergraphs. Our main theorem states that for any $n$-vertex $r$-uniform hypergraph $H$ with matching number $ν(H)<s$, the inequality $ρ(H)\leq ρ(\mathcal{F}_{s-1}(n))$ holds whenever $n$ is sufficiently large. Here $\mathcal{F}_{a}(n)$ denotes the family of all $r$-subsets of $[n]$ intersecting the vertex set $[a]$, and equality is attained if and only if $H$ is isomorphic to $\mathcal{F}_{s-1}(n)$. As an immediate corollary, we derive a spectral counterpart of the classical Erdős-Ko-Rado theorem for intersecting hypergraph families.

We introduce a spectral version of the classical inducibility problem. Given an $\ell$-vertex graph $F$ and an $n$-vertex graph $G$, let $H_F(G)$ be the $\ell$-uniform hypergraph whose edges are the $\ell$-sets inducing a copy of $F$ in $G$. We study the maximum possible $α$-spectral radius of $H_F(G)$ over all $n$-vertex graphs $G$. For fixed $G$, this spectral parameter tends to $\ell!$ times the number of induced copies of $F$ in $G$ as $α\to\infty$, and therefore refines the usual induced-copy count. Our main result is a spectral analogue of the Brown--Sidorenko reduction: for every complete multipartite graph $F$, every $n$, and every $α\ge1$, a spectral extremal graph can be chosen to be complete multipartite. We also show that the leading asymptotic constant is the ordinary inducibility $i(F)$, and obtain exact multipartite reductions for stars $K_{1,t}$ and balanced complete $r$-partite graphs $K_{a,\ldots,a}$ with $r\le 2^a-1$.

Let $\mathcal{H}=(V, E)$ be an $r$-uniform hypergraph on $n$ vertices. The signless Laplacian spectral radius of $\mathcal{H}$ is defined as the maximum modulus of the eigenvalues of the tensor $\mathcal{Q}(\mathcal{H})=\mathcal{D}(\mathcal{H})+\mathcal{A}(\mathcal{H})$, where $\mathcal{D}(\mathcal{H})$ and $\mathcal{A}(\mathcal{H})$ are the degree diagonal tensor and the adjacency tensor of $\mathcal{H}$, respectively. In this paper, we establish a general theorem that extends the spectral Turán result of Keevash, Lenz and Mubayi [SIAM J. Discrete Math., 28 (4) (2014)] to the setting of signless Laplacian spectral Turán problems. We prove that if a family $\mathcal{F}$ of $r$-uniform hypergraphs is degree-stable with respect to a family $\mathcal{H}_n$ of $r$-uniform hypergraphs and its extremal constructions satisfy certain natural assumptions, then the signless Laplacian spectral Turán problem for $\mathcal{F}$ can be effectively reduced to the corresponding problem restricted to the family $\mathcal{H}_n$. As a concrete application, we completely determine the extremal hypergraph that maximizes the signless Laplacian spectral radius among all Fano plane-free $3$-uniform hypergraphs, showing that the unique extremal hypergraph is the balanced complete bipartite $3$-uniform hypergraph.

For $0 \leq α< 1$, the $α$-spectral radius of a graph $G$ is defined as the largest eigenvalue of $A_α(G)=αD(G)+(1-α)A(G)$, where $D(G)$ and $A(G)$ are the diagonal matrix of degrees and adjacency matrix of $G$, respectively. A graph is called color-critical if it contains an edge whose deletion reduces its chromatic number. The celebrated Erdős-Stone-Simonovits theorem asserts that $ \mathrm{ex}(n,\mathcal{F})=\left(1-\frac{1}{χ(\mathcal{F})-1}+o(1)\right)\frac{n^2}{2},$ where $χ(\mathcal{F})$ is the chromatic number of $\mathcal{F}$. Nikiforov and Zheng et al. established the adjacency spectral and signless Laplacian spectral versions of this theorem, respectively. In this paper, we present the $α$-spectral version of this theorem, which unifies the aforementioned results. Furthermore, we characterize the $α$-spectral extremal graphs for color-critical graphs, thereby extending the existing results on adjacency spectral and signless Laplacian spectral extremal graphs for such graphs.

Let \( \mathcal{F} \) be a family of graphs. The generalized Turán number \( \operatorname{ex}(n, K_r, \mathcal{F}) \) is the maximum number of $K_r$ in an \( n \)-vertex graph that does not contain any member of \( \mathcal{F} \) as a subgraph. Recently, Alon and Frankl initiated the study of Turán problems with bounded matching number. In this paper, we determine the generalized Turán number of \( C_{\geq k} \) with bounded matching number.

Given a family of graphs $\mathcal{F}$, the Turán number $ex(n, \mathcal{F})$ denotes the maximum number of edges in any $\mathcal{F}$-free graph on $n$ vertices. Recently, Alon and Frankl studied of maximum number of edges in an $n$-vertex $\{K_{k+1}, M_{s+1}\}$-free graph, where $K_{k+1}$ is a complete graph on $k+1$ vertices and $M_{s+1}$ is a matching of $s+1$ edges. They determined the exact value of $ex(n, \{K_{k+1},M_{s+1}\})$. In this paper, we extend the matching $M_{s+1}$ to star forest $(s+1)S_l$, and determine the exact value of $ex(n, \{K_{k+1},(s+1)S_l\})$ for sufficiently large enough $n$. Furthermore, all the extremal graphs are obtained.