arXiv++ Combinatorics

Let $\binom{[n]}{k}$ be the set of all $k$-element subsets of the set $\{1,\ldots,n\}$ and let $\mathcal A,\mathcal B \subseteq \binom{[n]}{k}$ be two cross-intersecting families, that is, $A\cap B\neq \emptyset$ for any $A\in \mathcal A$ and $B\in \mathcal B$. The classical cross-intersecting version of the Erdős--Ko--Rado theorem, due to Pyber and Matsumoto--Tokushige, states that if $n\geq 2k$, then $|\mathcal A||\mathcal B|\leq \binom{n-1}{k-1}^2,$ where the equality holds for $n>2k$ if and only if $\mathcal A=\mathcal B$ is a star. In the present paper, we first give a stability result of this theorem by using Filmus's FKN theorem on the slice and linear algebra method as follows: There exists a constant $C>1$ such that if $n\geq 2.07k$ and $|\mathcal A||\mathcal B|\geq (1-ε)\binom{n-1}{k-1}^2$, where $ε\leq \frac{k^2}{C^2 n ^2 }$, then there is a star $\mathcal{S}$ such that $|\mathcal{S} Δ\mathcal A|\leq C ε\binom{n}{k}$ and $|\mathcal{S} Δ\mathcal B|\leq C ε\binom{n}{k}.$ Moreover, based on this stability result and the eigenvalues of the matrices of the Johnson scheme, we present an Erdős--Ko--Rado theorem for cross-intersecting families in the Euclidean inner product showing that if $n\geq 2k$ and $k\geq d \geq 0$, then $$\big\langle\mathbf{v}_d(\mathcal A),\mathbf{v}_d(\mathcal B)\big\rangle \leq \frac{\binom{k}{d}\binom{k-1}{d}}{\binom{n-1}{d}}\binom{n-1}{k-1}^2 +\binom{k-1}{d-1} \binom{n-d-1}{k-d}\binom{n-1}{k-1},$$ together with uniqueness and a corresponding stability result, where $\mathbf{v}_d(\mathcal A) \in \mathbb R^{\binom{[n]}{d}}$ is the $d$-degree vector of $\mathcal A$ whose $U$-entry is the number of members in $\mathcal A$ containing $U$.

For a graph $G$, let $s^+(G)$ and $s^-(G)$ denote the sums of the squares of its positive and negative adjacency eigenvalues. We determine all equality cases in the conjecture of Elphick, Farber, Goldberg, and Wocjan that every connected graph $G$ on $n$ vertices satisfies \[ \min \{s^+(G),s^-(G)\}\ge n-1. \] Namely, equality for $s^+$ holds exactly for trees, whereas equality for $s^-$ holds exactly for trees and complete graphs. The proof combines the $P_3$-removal lemma in the no-cut-vertex case with a detailed equality analysis of the underlying doubly nonnegative matrix inequality. Every block is forced to be complete, and a minimal-counterexample argument gives an exact rank-one decomposition of the folded matrix $M^c$. The resulting non-edge vanishings, together with $AX=XA$, rule out an interface between a bridge and a nontrivial block.

The subtree polynomial of a tree is the generating function that enumerates its subtrees according to their orders. Brown and Mol conjectured that every subtree root of a tree of order \(n\ge 2\) lies in the disk \[ \left\{z\in\mathbb C: |z|\le 1+\sqrt[n-1]{n-1} \right\}. \] We confirm this conjecture. We also show that every nonzero subtree root \(z\) satisfies \[ |z|>\sqrt[n-1]{n-1}-1. \] Consequently, all nonzero subtree roots lie in the annular region \[ \left\{z\in\mathbb C: \sqrt[n-1]{n-1}-1 < |z| \le 1+\sqrt[n-1]{n-1} \right\}. \] The upper bound is sharp for every even \(n\) and is asymptotically sharp as \(n\to\infty\) through odd integers. The lower bound is also asymptotically sharp as \(n\to\infty\).

Boots and Royle, and independently Cao and Vince, conjectured that the join of an edge and a path on $n-2$ vertices is the unique planar graph of maximum adjacency spectral radius for $n\geq 9$. Tait and Tobin (JCTB, 2017) proved the conjecture for sufficiently large order. In this paper, we completely resolved the Boots-Royle/Cao-Vince conjecture.

Let $S(G)$ denote the Seidel matrix of a simple graph $G$, and let $E_S(G)$ be the Seidel energy of $G$, defined as the sum of the absolute values of the eigenvalues of $S(G)$. In this paper, we study the change of Seidel energy under edge deletion. For an independent-set blow-up graph $G=H[n_1,\ldots,n_p]$, we establish a general structural criterion within the framework of independent-set blow-up graphs. More precisely, if the endpoints of the deleted edge $e$ belong to blow-up parts of sizes $n_a$ and $n_b$, respectively, then $E_S(G-e)>E_S(G)$ whenever both $n_a,n_b$ are at least $4$, or one is $3$ and the other is at least $6$, or one is $2$ and the other is at least $15$. As applications, we obtain the following consequences. First, for every Turán graph $T(n,r)$ with $r\geq4$ and $n\geq4r$, deleting any edge strictly increases the Seidel energy. Second, for complete multipartite graphs, we derive an exact reduced-order spectral criterion for the remaining cases not covered by the structural result. This criterion determines whether the Seidel energy increases, decreases, or remains unchanged after deleting an edge, by using matrices whose orders depend only on the number of partite sets. These results provide affirmative answers to two problems proposed by Tian et al. [\textit{Linear and Multilinear Algebra} 70 (19) (2022), 4597--4614].

In 2011, Csikvári [Electron. J. Combin. {\bf 18} (2011), $\#$P182] proved that among all graphs with a prescribed number of edges, the largest matching root is attained by a threshold graph, and conjectured that the extremal graph should be `as star-like as possible.' In this paper, we give a complete and affirmative answer to this problem and extend it to the setting of uniform hypergraphs. We prove that for every $k$-graph $\mathcal{H}$ with $m$ edges, its largest matching root satisfies $$λ(\mathcal{H})\le m^{1/k},$$ with equality if and only if $\mathcal{H}$ is intersecting. For $k=2$, after deleting all isolated vertices, the resulting graph must be the star $K_{1,m}$ or a triangle, thereby confirming Csikvári's conjecture. Moreover, if the matching number $ν(\mathcal{H})\ge 2$, then \[ λ(\mathcal{H})\le \left(\frac{m+\sqrt{m^2-4(ν(\mathcal{H})-1)}}{2}\right)^{1/k}, \] with equality if and only if $ν(\mathcal{H})=2$ and $\mathcal{H}$ has exactly one $2$-matching.

The largest matching root of a $k$-graph is the largest real root of its matching polynomial, which is equal to the maximum modulus of all the zeros of the matching polynomial. In this paper, we investigate the perturbation of the largest matching root of $k$-graphs. We determine all $k$-graphs whose largest matching root attains the maximum among all $k$-cacti and linear $k$-cacti with a given number of cycles and edges, where a $k$-cactus is a $k$-graph in which every two distinct cycles have at most one vertex in common. To achieve this, we prove that the celebrated shifting operation of $k$-graphs, introduced by Erdős, Ko and Rado, does not decrease the largest matching root. This result extends a classical result by Csikvári (Electron. J. Combin. {\bf 18} (2011) $\#$P182) stating that the Kelmans transformation does not decrease the largest matching root of graphs.

Let $\grad$, $\curl$, and $\dv$ be the graph-theoretic analogues of the gradient, curl, and divergence operators from multivariate calculus. The graph Laplacian $-\dv \grad$ gives rise to the celebrated Laplacian matrix, while the matrix representation of the graph Helmholtzian $\grad \grad^* + \curl^* \curl$ is called the Helmholtzian matrix. In this paper, we present a new graph-theoretic proof that the Helmholtzian matrix indeed represents the graph Helmholtzian. We then investigate the spectral properties of this matrix. Our main results are as follows: (i) a classification of graphs having exactly two distinct Helmholtzian eigenvalues; (ii) the nullity of the Helmholtzian matrix; and (iii) a combinatorial interpretation of the coefficients of the Helmholtzian polynomial. Furthermore, we determine the Helmholtzian spectrum for certain graph products and characterize Helmholtzian integral graphs, as well as derive bounds for the smallest Helmholtzian eigenvalue. Meanwhile, we pose some open problems for future research.

The Helmholtzian matrix of a graph $G=(V(G),E(G))$ is a graph-theoretic analogue of the vector Laplacian (or Helmholtz operator) [S. Li, L. Lu, J.F. Wang, A graph discretization of vector Laplacian, 379 (2026) 446--460]. Motivated by the applications of graph Helmholtzian in simplicial networks, we will investiagte its basic spectral properties. As the first graph matrix indexed by edge set, we find that Helmholtzian matrix is positive semi-definite and its non-negativity correlates with the odd cycles in $G$ and the orientation on $E(G)$, while its irreducibility relates to the signed graphs with loops. We show that the eigenvalues of Helmholtzian matrix are independent of the orientation and further investigate the eigenvalue interlacing under edge additions. One of striking findings is that the non-zero eigenvalues of the Laplacian matrix are those of Helmholtzian matrix of every graph. All these discoveries reveal that the Helmholtzian spectrum of $G$ balances and bridges the oriented graphs, weighted graphs and signed graphs as well as their adjacency or Laplacian spectra.

Wang, Cui, and Cioabă introduced the Laplacian matching root integral variation of a graph and proved that it cannot occur in one place. They also showed that the two-place variation is impossible for connected graphs satisfying $g(G)/c(G)>7/6$, where $g(G)$ is the girth and $c(G)$ is the dimension of the cycle space, and conjectured that no connected graph admits such a two-place variation. In this paper, we confirm this conjecture. The proof combines a structural relation obtained in their paper with two new power-sum identities for Laplacian matching roots.

The spread of a real symmetric matrix is defined as the difference between its largest and smallest eigenvalue. The study of graph-related matrices has attracted considerable attention, leading to a substantial body of findings. In this paper, we investigate a general spread problem related to $A_α$-matrix of graphs. The $A_α$-matrix of a graph $G$, introduced by Nikiforov in 2017, is a convex combinations of its diagonal degree matrix $D(G)$ and adjacency matrix $A(G)$, defined as $A_α (G) = αD(G) + (1-α) A(G)$. Let $λ_1^{(α)} (G)$ and $λ_n^{(α)} (G)$ denote the largest and smallest eigenvalues of $A_α (G)$, respectively. We determined the unique graph that maximizes $λ^{(α)}_1 (G) - β\cdotλ^{(γ)}_n (G)$ among all connected $n$-vertex graphs for sufficiently large $n$, where $0 \leq α< 1$, $1/2\leq γ< 1$ and $0<βγ\leq 1$. As an application, we confirm a conjecture proposed by Lin, Miao, and Guo [Linear Algebra Appl. 606 (2020) 1--22]. In addition, one of main results in [SIAM J. Discrete Math. 38 (2024) 590--608] is a simple corollary of our result by choosing $α= γ= 1/2$ and $β= 1$.

The asymmetric coloring number of a graph is the minimum number of colors needed to color its vertices, so that no non-trivial automorphism preserves the color classes. We investigate the asymmetric coloring number of graphs that are disjoint unions of graphs. We will derive a general relationship between the asymmetric coloring number of disjoint copies of graphs and the number of ways to color a single copy asymmetrically, and then look at particular cases such as disjoint copies of paths, stars, cycles, and hypercubes.

The spread of a graph is the difference between the largest and smallest eigenvalue of its adjacency matrix. In this paper, we investigate spread problems for graphs with excluded clique-minors. We show that for sufficiently large $n$, the $n$-vertex $K_r$-minor free graph with maximum spread is the join of a clique and an independent set, with $r-2$ and $n-r+2$ vertices, respectively.

As a bridge connecting the matching polynomial and the Laplacian matching polynomial of graphs, the subdivision method is expected to be useful for investigating the Laplacian matching polynomial. In this paper, we study applications of the method from three aspects. We prove that the zero sequence of the Laplacian matching polynomial of a graph majorizes its degree sequence, establishing a dual relation between the Laplacian matching polynomial and the characteristic polynomial of the signless Laplacian matrix of graphs. In addition, from different viewpoints, we give a new combinatorial interpretations for the coefficients of the Laplacian matching polynomial.

A graph $G$ is factored into graphs $H$ and $K$ via a matrix product if there exist adjacency matrices $A$, $B$, and $C$ of $G$, $H$, and $K$, respectively, such that $A = BC$. In this paper, we study the spectral aspects of the matrix product of graphs, including regularity, bipartiteness, and connectivity. We show that if a graph $G$ is factored into a connected graph $H$ and a graph $K$ with no isolated vertices, then certain properties hold. If $H$ is non-bipartite, then $G$ is connected. If $H$ is bipartite and $G$ is not connected, then $K$ is a regular bipartite graph, and consequently, $n$ is even. Furthermore, we show that trees are not factorizable, which answers a question posed by Maghsoudi et al.

Let $K$ be a simplical complex, and let $\mathcal{L}_i^{up}(K), \mathcal{Q}_i^{up}(K)$ be the $i$-th up Laplacian and signless Laplacian of $K$, respectively. In this paper we proved that the largest eigenvalue of $\mathcal{L}_i^{up}(K)$ is not greater than the largest eigenvalue of $\mathcal{Q}_i^{up}(K)$; furthermore, if $K$ is $(i+1)$-path connected, then the equality holds if and only if the $i$-th incidence signed graph $B_i(K)$ of $K$ is balanced. As an application we provided an upper bound for the largest eigenvalue of the $i$-th up Laplacian of $K$, which improves the bound given by Horak and Jost and generalizes the result of Anderson and Morley on graphs.We characterized the balancedness of simplicial complexes under operations such as wedge sum, join, Cartesian product and duplication of motifs. For each $i \ge 0$, by using wedge sum or duplication of motifs, we can construct an infinitely many $(i+1)$-path connected simplicial complexes $K$ with $B_i(K)$ being balanced.

We give a decomposition of the Laplace operator (in matrix form) of a covering simplicial complex as a direct sum of several matrices, one of which is the Laplace operator of the base complex. It follows that the spectrum of a covering simplicial complex is a multiset union of the spectrum of the base simplicial complex and the spectra of other relevant matrices, which implies the spectral inclusion property of Horak and Jost. In the case of a $2$-fold covering, we show that the spectrum is a multiset union of the spectrum of the base complex and that of an incidence-signed simplicial complex, thereby generalizing a result of Bilu and Linial from graphs to simplicial complexes. Additionally, we show that the dimension of the cohomology of a covering complex is greater than or equal to that of the base complex. Our arguments exploit the coverings of incidence graphs of simplicial complexes and the representation theory of permutation groups.

The divisibility and congruence of usual and generalized central trinomial coefficients have been extensively investigated. The present paper is devoted to analytic properties of these numbers. We show that usual central trinomial polynomials $T_n(x)$ have only real roots, and roots of $T_n(x)$ interlace those of $T_{n+1}(x)$, as well as those of $T_{n+2}(x)$, which gives an affirmative answer to a open question of Fisk. We establish necessary and sufficient conditions such that the generalized central trinomial coefficients $T_n(b,c)$ form a log-convex sequence or a Stieltjes moment sequence.

We investigate coordination numbers of the cubic lattices with emphases on their analytic behaviors, including the total positivity of the coordination matrices, the distribution of zeros of the coordination polynomials, the asymptotic normality of the coefficients of the coordination polynomials, the log-concavity and the log-convexity of the coordination numbers.

In this paper, we study the Laplacian matching polynomial of a graph and the effect of adding edges to a graph on the roots (called Laplacian matching roots) of this polynomial. In particular, we investigate the conditions under which the Laplacian matching roots change by integer values. We prove that the Laplacian matching root integral variation in one place is impossible and the Laplacian matching root integral variation in two places is also impossible under some constraints.