arXiv++ Combinatorics

Let $λ_1\geqλ_2\geq\cdots\geqλ_n$ be the eigenvalues of a simple graph $G$ of order $n$. The HL-index of $G$ is defined by $R(G)=\max\|λ_h|,|λ_\ell|\}$ with $h=\lfloor(n+1)/2\rfloor$ and $\ell=\lceil(n+1)/2\rceil$.In this paper, we prove that if $G$ is $ K_4$-minor-free or $ K _ {2,3} $-minor-free, then $R(G)\leq\sqrt{5}-1$ with equality attained by an infinite family of outerplanar graphs.Moreover, we show that $R(G)\leq\sqrt{d-2}$ for triangle-free graphs with maximum degree at most $d$ and average degree at most $(d-2)(d^2-2d+2)/(d^2-3d+5)$.

The Grone--Merris inequality, conjectured by Grone and Merris~(1994) and first proved by Bai~(2011), states that for every graph $G$ of order $n$ and every $1\le k\le n$, $\sum_{i=1}^kλ_i(G)\le\sum_{i=1}^k d_i^*(G)$, where $λ_1\ge\cdots\geλ_n$ are the Laplacian eigenvalues and $d_1^*\ge\cdots\ge d_n^*$ is the conjugate degree sequence. In this paper we determine exactly when equality holds. Using the split-graph trace inequality developed by Kothari and Tudose~(2026) in their proof of Brouwer's Laplacian conjecture---which relies on Bai's theorem and also establishes the equivalence between the two conjectures---together with the recent characterization of the Brouwer equality cases by Cai, Chen, Yang and Zhang~(2027), we prove that equality holds in the Grone--Merris inequality if and only if the graph $G$ belongs to one of two explicitly described families. Both families are obtained from a threshold graph by a surgical operation at one terminal block: in the first family, edges are removed from the initial dominating block; in the second, edges are added inside the initial isolated block. Our analysis yields a complete combinatorial description of all pairs $(G,k)$ for which the Grone--Merris bound is tight.

For a fixed graph $G$, an $r$-uniform hypergraph is said to contain a Berge-$G$ if there exists a bijection $f\colon E(G)\to E(\mathcal{H})$ for some subhypergraph $\mathcal{H}$ such that $e\subseteq f(e)$ for every $e\in E(G)$. Motivated by Alon and Frankl's study of Turán problems under bounded matching constraints, we investigate the maximum number of edges in $r$-uniform Berge-$K_3$-free hypergraphs with matching number at most~$s$. We determine the exact Turán numbers for the cases $r=3$ and $r=4$. For $r=3$ and $n \geq 3 s$, we prove that every $n$-vertex Berge- $K_3$-free 3-graph with matching number $s$ has at most $s(n-2 s)$ edges, and we characterize the unique extremal hypergraph attaining equality. For $r=4$ and $n \geq 4 s$, the maximum number of edges is $s\lfloor(n-2 s) / 2\rfloor$, except for the exceptional case $s=1$ and $n \equiv 1(\bmod 4)$, in which the bound is $(n-1) / 2$. As a corollary, our results recover the classical theorem of Győri on Berge-$K_3$-free hypergraphs.

Guiduli asked in 1996 the following problem concerning the maximum spectral radius of a graph under hereditary density constraints. If an $n$-vertex graph $G$ satisfies $e(H)\le c|V(H)|^2$ for every subgraph $H$ of $G$, must one have $λ(G)\le 2cn$? More generally, what remains true when the exponent $2$ is replaced by a constant less than $2$? We study the natural power-law version of this question for all $1<p\le2$. For $1<p\le 2$, define \[ d_p(G)=\max_{\varnothing\ne S\subseteq V(G)}\frac{e(G[S])}{|S|^p}. \] We determine the sharp asymptotic upper bound for $λ(G)$ in terms of $d_p(G)$ and $n$. More precisely, every $n$-vertex graph $G$ with at least one edge satisfies \[ λ(G)\le \begin{cases} \left(\left(\max_{t\in\mathbb N_{\ge1}}\dfrac{t}{(t+1)^p}\right)^{-1}+o(1)\right)d_p(G)\sqrt n,&1<p<3/2,\\[0.4em] \left(\dfrac{3\sqrt3}{4}+o(1)\right)d_p(G)\sqrt{n\log n},&p=3/2,\\[0.4em] (\mathfrak C_p+o(1))d_p(G)n^{p-1},&3/2<p<2, \end{cases} \] and each constant here is best possible. Here $\mathfrak C_p$ is characterized by an exact variational problem over finite kernels. We apply a sparse graphon operator estimate to convert hereditary $p$-density bounds into sharp spectral bounds, and this estimate also explains the transition at the critical exponent $p=3/2$. For the endpoint $p=2$, Wilf's theorem gives the exact finite-$n$ bound $λ(G)\le 2d_2(G)n$, with equality for $K_n$. Thus Guiduli's power-law problem is resolved in its sharp asymptotic form for every $1<p\leq2$, including exact leading constants.

A problem of Erdős asks for extremal conditions forcing edge-disjoint cycles with a prescribed nested structure. In the geometric version, the nesting is required to be noncrossing with respect to the cyclic orders. Fernández, Kim, Kim and Liu proved that constant average degree forces two such cycles. We prove a polylogarithmic bound for the natural multi-layer version: for every fixed $k\ge 3$, every sufficiently large $n$-vertex graph with at least \[ C_k n(\log n)^{k-1}(\log\log n)^{k-3} \] edges contains $k$ pairwise edge-disjoint nested cycles without geometric crossings. The proof combines the robust sublinear expander framework of Alon, Bucić, Sauermann, Zakharov and Zamir with a controlled wrapping lemma that permits the layers to be built successively with controlled length.

For a simple graph $G$ with $n$ vertices, let $A_G$ denote the adjacency matrix of $G$, and let $λ_1(G) \geq λ_2(G) \geq \dots \geq λ_n(G)$ be its eigenvalues. For an integer $p \geq 2$, the positive $p$-energy and negative $p$-energy of $G$, denoted $\mathcal{E}^+_p(G)$ and $\mathcal{E}^-_p(G)$, are defined as follows: $\mathcal{E}^+_p(G) = \sum_{λ_i(G) > 0} |λ_i(G)|^p$ and $\mathcal{E}^-_p(G) = \sum_{λ_i(G) < 0} |λ_i(G)|^p,$ respectively. Tang, Liu, and Wang proposed a conjecture that, for any integer $p \geq 2$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^+_p(G) \geq \mathcal{E}^+_p(P_n)$. Akbari, Kumar, Mohar, and Pragada conjectured that, for any $p \geq 2$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^-_p(G) \geq \mathcal{E}^-_p(K_n)$, and they proved this conjecture for $p \geq 4$. In this paper, we prove that every connected $n$-vertex graph, except for $K_1$, $K_2$, and $P_3$, satisfies $\mathcal{E}^+_3(G) \geq \frac{\sqrt{5}}{2}n$. Moreover, we show that for any integer $p \geq 3$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^-_p(G) \geq \mathcal{E}^-_p(K_n)$, which improves upon the previously known result.

A geodesic is a shortest path which connects a pair of vertices of a graph G. In this paper we define the geodesic subpath number gpn(G) of a graph G as the number of geodesics in G. The number of subtrees and subpaths are already studied in literature, but they are both large quantities. Hence, the geodesic subpath number which is related to these quantities but smaller than both, seems worthy of investigation. We first consider extremal graphs with respect to the geodesic subpath number among all connected graphs on n vertices. This number is minimized by the so called geodetic graphs, i.e. graphs in which each pair of vertices is connected by precisely one geodesic. As for the graphs which maximize the geodesic subpath number, we provide an upper bound on gpn(G) in terms of n and we further consider several graph families which might have a large gpn(G). Yet, their value of gpn(G) still does not attain the established bound, so narrowing the gap remains as an open problem. We also consider the class of cactus graphs on n vertices and k cycles and among them characterize extremal graphs with respect to this new invariant.

Let $F$ be a graph with chromatic number $χ(F) = r+1$. Denote by $ex(n, F)$ and $Ex(n, F)$ the Turán number and the set of all extremal graphs for $F$, respectively. In addition, $ex_{ssp}(n, F)$ and $Ex_{ssp}(n, F)$ are the maximum signless Laplacian spectral radius of all $n$-vertex $F$-free graphs and the set of all $n$-vertex $F$-free graphs with signless Laplacian spectral radius $ex_{ssp}(n, F)$, respectively. It is known that $Ex_{ssp}(n, F)\supset Ex(n, F)$ if $F$ is a triangle. In this paper, employing the regularity method and Füredi's stability theorem, we prove that for a given graph $F$ and $r\geqslant 3$, if $ex(n, F) = t_r(n)+O(1)$, then $ Ex_{ssp}(n, F) \subseteq Ex(n, F)$ for sufficiently large $n$, where $t_r(n)$ is the number of edges in the Turán graph $T_r(n)$.

Recently, Alon and Frankl (JCTB, 2024) determined the maximum number of edges in $K_{\ell+1}$-free $n$-vertex graphs with bounded matching number. For integers $\ell\ge r \ge 2$, the family $\mathcal{K}_{\ell+1}^{r}$ consists of all $r$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges such that, for some $(\ell+1)$-set $K$, every pair $\{x,y\} \subseteq K$ is covered by an edge in $F$. In this paper, we study the maximum number of edges in $\mathcal{K}_{\ell+1}^r$-free $r$-uniform hypergraphs that have the matching number at most $s$, that is, $\mathrm{ex}_r(n, \{\mathcal{K}_{\ell+1}^r, M^r_{s+1}\})$, and obtain the exact value for sufficiently large $n$, along with the corresponding extremal hypergraph. This result can be viewed as a hypergraph extension of the work of Alon and Frankl. In addition, for the $3$-uniform Fano plane $\mathbb{F}$, we determine the exact value of $\mathrm{ex}_3(n, \{\mathbb{F}, M^3_{s+1}\})$, and characterize the corresponding extremal hypergraph.

In 1986, Brualdi and Solheid firstly proposed the problem of determining the maximum spectral radius of graphs in the set $\mathcal{H}_{n,m}$ consisting of all simple connected graphs with $n$ vertices and $m$ edges, which is a very tough problem and far from resolved. The $A_α$-spectral radius of a simple graph of order $n$, denoted by $ρ_α(G)$, is the largest eigenvalue of the matrix $A_α(G)$ which is defined as $αD(G)+(1-α)A(G)$ for $0\le α< 1$, where $D(G)$ and $A(G)$ are the degree diagonal and adjacency matrices of $G$, respectively. In this paper, if $r$ is a positive integer, $n>30r$ and $n-1\leq m \le rn-\frac{r(r+1)}{2}$, we characterize all extremal graphs which have the maximum $A_α$-spectral radius of graphs in the set $\mathcal{H}_{n,m}$. Moreover, the problem on $A_α$-spectral radius proposed by Chang and Tam [T.-C. Chang and B.-T. Tam, Graphs of fixed order and size with maximal $A_α$-index. Linear Algebra Appl. 673 (2023), 69-100] has been solved.

The Turán number of a graph $H$ is the maximum number of edges in any graph of order $n$ that does not contain $H$ as a subgraph. In 1959, Erd\H os and Gallai obtained a sharp upper bound of Turán numbers for a path of arbitrary length. In 1975, Faudree and Schelp, and independently in 1977, Kopylov determined the exact values of Turán numbers of paths with arbitrary length. In this paper, we determine the Turán number of two vertex-disjoint paths of odd order at least 4. Together with previous works, we determine the exact Turán numbers of two vertex-disjoint paths completely. This confirms the first $k=2$ case of a conjecture proposed by Yuan and Zhang in 2021, which generalizes the Turán number formula of paths due to Faudree-Schelp, and Kopylov in a broader setting. Our main tools include a refinement of Pósa's rotation lemma, a stability result of Kopylov's theorem on cycles, and a recent inequality on circumference, minimum degree, and clique number of a 2-connected graph.

Generalized Turán problem with given size, denoted as $\mathrm{mex}(m,K_r,F)$, determines the maximum number of $K_r$-copies in an $F$-free graph with $m$ edges. We prove that for $r\ge 3$ and $α\in(\frac 2 r,1]$, any graph $G$ with $m$ edges and $Ω(m^{\frac{αr}{2}})$ $K_r$-copies has a subgraph of order $n_0=Ω(m^\fracα{2})$, which contains $Ω(n_0^{\frac{i(r-2)α}{(2-α)r-2}})$ $K_i$-copies for each $i = 2, \ldots, r$. This implies an upper bound of $\mathrm{mex}(m, K_r, F)$ when an upper bound of $\mathrm{ex}(n,K_r,F)$ is known. Furthermore, we establish an improved upper bound of $\mathrm{mex}(m, K_r, F)$ by $\mathrm{ex}(n, F)$ and $\min_{v_0 \in V(F)} \mathrm{ex}(n, K_r, F - v_0)$. As a corollary, we show $\mathrm{mex}(m, K_r, K_{s,t}) = Θ( m^{\frac{rs - \binom{r}{2}}{2s-1}} )$ for $r \geq 3$, $s \geq 2r-2$ and $t \geq (s-1)! + 1$, and obtain non-trivial bounds for other graph classes such as complete $r$-partite graphs and $K_s \vee C_\ell$, etc.

A balanced 2-partition of a graph is a bipartition $A,A^c$ of $V(G)$ such that $|A|=|A^c|$. Balogh, Clemen, and Lidický conjectured that for every $K_4$-free graph on $n$ (even) vertices, there exists a balanced 2-partition $A,A^c$ such that $\max\{e(A),e(A^c)\}\leq n^2/16$ edges. In this paper, we present a family of counterexamples to the conjecture and provide a new upper bound ($0.074n^2$) for every sufficiently large even integer $n$.

Key network motifs searching in complex networks is one of the crucial aspects of network analysis. There has been a series of insightful findings and valuable applications for various scenarios through the analysis of network structures. However, in dynamic systems, slight changes in the choice of dynamic equations and parameters can alter the significance of motifs. The known methods are insufficient to address this issue effectively. In this paper, we introduce a concept of perturbation energy based on the system's Jacobian matrix, and define motif centrality for dynamic systems by seamlessly integrating network topology with dynamic equations. Through simulations, we observe that the key motifs obtained by the proposed energy method present better effective and accurate than them by integrating network topology methods, without significantly increasing algorithm complexity. The finding of key motifs can be used to apply for system control, such as formulating containment policies for the spread of epidemics and protecting fragile ecosystems. Additionally, it makes substantial contribution to a deeper understanding of concepts in physics, such as signal propagation and system's stability.

This paper focuses on extensions of the classic Erdős-Gallai Theorem for the set of weighted function of each edge in a graph. The weighted function of an edge $e$ of an $n$-vertex uniform hypergraph $\mathcal{H}$ is defined to a special function with respect to the number of edges of the longest Berge path containing $e$. We prove that the summation of the weighted function of all edges is at most $n$ for an $n$-vertex uniform hypergraph $\mathcal{H}$ and characterize all extremal hypergraphs that attain the value, which strengthens and extends the hypergraph version of the classic Erdős-Gallai Theorem.

In this paper, we present a sharp upper bound for the spectral radius of an $n$-vertex graph without $F$-minor for sufficient large $n$, where $F$ is obtained from the complete graph $K_r$ by deleting disjointed paths. Furthermore, the graphs which achieved the sharp bound are characterized. This result may be regarded to be an extended revision of the number of edges in an $n$-vertex graph without $F$-minor.

Let $G$ be an simple graph of order $n$ whose adjacency eigenvalues are $λ_1\ge\dots\geλ_n$. The HL--index of $G$ is defined to be $R(G)= \max\{|λ_{h}|, |λ_{l}|\}$ with $h=\left\lfloor\frac{n+1}{2}\right\rfloor$ and $ l=\left\lceil\frac{n+1}{2}\right\rceil.$ Mohar conjectured that $R(G)\le 1$ for every planar subcubic graph $G$. In this note, we prove that Mohar's Conjecture holds for every $K_4$-minor-free subcubic graph. Note that a $K_4$-minor-free graph is also called a series--parallel graph. In addition, $R(G)\le 1$ for every subcubic graph $G$ which contains a subgraph $K_{2,3}$.

Various disasters stem from minor perturbations, such as the spread of infectious diseases, cascading failure in power grids, etc. Analyzing perturbations is crucial for both theoretical and application fields. Previous researchers have proposed basic propagation patterns for perturbation and explored the impact of basic network motifs on the collective response to these perturbations, However, the current framework is limited in its ability to decouple interactions, and therefore cannot analyze more complex structures. In this article, we establish an effective, robust and powerful propagation framework under a general dynamic model. This framework reveals common and dense network motifs that exert a critical influence on signal propagation, often spanning orders of magnitude compared with conclusions generated by previous work. Moreover, our framework provides a new approach to understand the fundamental principles of complex systems and the negative feedback mechanism, which is of great significance for research of system controlling and network resilience.

Stanley introduced the concept of chromatic symmetric functions of graphs which extends and refines the notion of chromatic polynomials of graphs, and asked whether trees are determined up to isomorphism by their chromatic symmetric functions. Using the technique of differentiation with respect to power-sum symmetric functions, we give a positive answer to Stanley's question for the class of trees with exactly two vertices of degree at least 3. In addition, we prove that for any tree $T$, the generalized degree sequence for subtrees of $T$ is determined by the chromatic symmetric function of $T$, providing evidence to a conjecture of Crew.

Let $A(G)$ and $D(G)$ be the adjacency and degree matrices of a simple graph $G$ on $n$ vertices, respectively. The \emph{$A_α$-spectral radius} of $G$ is the largest eigenvalue of $A_α(G)=αD(G)+(1-α)A(G)$ for a real number $α\in[0,1]$. In this paper, for $α\in (0,1)$, we obtain a sharp upper bound for the $A_α$-spectral radius of graphs on $n$ vertices without a subgraph isomorphic to a liner forest for $n$ large enough and characterize all graphs which attain the upper bound. As a result, we completely obtain the maximum signless Laplacian spectral radius of graphs on $n$ vertices without a subgraph isomorphic to a liner forest for $n$ large enough.