graph
35150 papers tagged with this keyword
A characterization of tight ($ k, 0 $)-stable graphs
Let k and l be two non-negative integers with k > l. A graph G is (k,l)-stable if alpha(G - S) >= alpha(G) - l for every subset S of V(G) with |S| = k, where alpha(G) denotes the independence number of G. Dong and Wu established that alpha(G) <= floor((n - k + 1)/2) + l for a (k, l)-stable graph G, where n is the order of G. A (k, l)-stable graph G is tight if alpha(G) = floor((n - k + 1)/2) + l. In this paper, we provide a complete characterization of tight (k, 0)-stable graphs for k >= 4. In particular, we prove that tight (k, 0)-stable graphs are K_{k+1} and K_{k+2} for k >= 5, which not only extends the result of Liu, Song and Wang [J. Graph Theory 110(2) (2025), 193-199] from k >= 24 to k >= 5, but also proves the conjecture of Dong and Luo [Electron. J. Comb. 32(4) (2025), 4-45] once more.
A generalised transference principle
The last two decades have witnessed a growing trend towards proving sparse random analogues of combinatorial theorems. One unified approach to proving such theorems, formalised by Conlon and Gowers [Ann. of Math. 2016], involves establishing a 'transference principle' which allows one to translate between robust properties in the dense setting and the sparse $p$-random setting, provided $p$ is not too small. Our results provide a more general transference theorem, extending the results of Conlon and Gowers and also those of Schacht [Ann. of Math. 2016]. Among a variety of other applications, we use this to obtain a sparse counting lemma for graphs and hypergraphs which are not necessarily strictly balanced. Our method achieves asymptotically optimal bounds on the probability $p$, and the probability of success.
Cluster-Graph Edit Distance: Metric Proxies, Multiscale Embeddings, and Complexity
The cluster graphs on $n$ vertices, the disjoint unions of complete graphs, have the integer partitions of $n$ as their isomorphism classes, and the quotient edit distance $q^*(λ,μ)=\min_{σ\in S_n}|E(G_λ)\triangleσE(G_μ)|$ makes that set a metric space. Its metric geometry and its computational complexity both issue from one identity: $q^*$ is an affine function of the maximum of $\lVert X\rVert_F^2$ over the contingency tables with margins $λ$ and $μ$. Combinatorially, it yields two explicit $\ell_1$ models: the vertex-mass metric $δ_1$ on sorted degree sequences, with $\frac12δ_1\le q^*<\frac32δ_1$ and both constants optimal, and the block-energy metric $B$ on the vectors $\bigl(\binom{λ_i}2\bigr)_i$, with $q^*\le B\le2q^*-1$ by a per-table refinement measuring how far an alignment is from a block bijection. Hence $c_1(\mathcal K_n)\le2$, and an $O(n\log n)$-time algorithm returns an alignment of cost below $2q^*$ with the certificate $q^*\in[\lceil(B+1)/2\rceil,B]$. The Euclidean distortion of the class is $c_2(\mathcal K_n)=Θ(n^{1/4})$; against it we measure the weighted dyadic sums $F^{(γ)}$ of the Ferrers staircase, of dimension below $4n$ and computable in $O(n)$ time. The unweighted member has distortion exactly $Θ(n^{1/4}\sqrt{\log n})$, while the critical weight $γ=\frac14$ improves this unconditionally to $O(n^{1/4}(\log n)^{1/4})$ through an inverse energy inequality proved from the quantization of staircase jumps; removing the residual $(\log n)^{1/4}$ is reduced to one inverse inequality on the realizable cone. Computationally, the same identity gives a classification: deciding $q^*(λ,μ)\le Q$ is strongly NP-complete, evaluation is strongly NP-hard and admits no FPTAS unless $\mathrm P=\mathrm{NP}$, while the farthest alignment is polynomial-time solvable.
A rainbow version of Lehel's conjecture
Lehel's conjecture states that every 2-edge-colouring of K_n admits a partition of its vertex set into two monochromatic cycles. It was proven for sufficiently large n by Łuczak, Rödl, and Szemerédi in 1998, later improved by Allen in 2008, and fully resolved by Bessy and Thomassé in 2010.
In this paper, we consider a rainbow analogue of Lehel's conjecture in the setting of properly edge-coloured complete graphs. We prove that, for sufficiently large n, every properly edge-coloured Kn admits a partition of its vertex set into two vertex-disjoint rainbow cycles
On a problem concerning $\mathbb Z_3$-Ramsey numbers
For a graph $G$ with $3\mid e(G)$, let $R(G,\mathbb Z_3)$ denote the least integer $N$ such that every edge weighting $w:E(K_N)\to\mathbb Z_3$ admits a copy of $G$ whose edge weights sum to zero. We prove that every $n$-vertex graph $G$ with $n\ge6$ and $3\mid e(G)$ satisfies $R(G,\mathbb Z_3)\le n+5$. Moreover, the stronger bound $R(G,\mathbb Z_3)\le n+4$ holds whenever $G$ contains an induced $P_4$ or an induced $2K_2$. Consequently, we resolve a problem posed by Caro and Mifsud: every graph $G$ with $3\mid e(G)$ satisfies $R(G,\mathbb Z_3)\le |V(G)|+8$, with equality if and only if $G\cong K_3$.
Ramsey number $R(4, 20) \ge 252$
We exhibit two explicit circulant graphs of prime order $251$ that are $K_4$-free and have independence number $19$. Consequently \[R(4,20)\ge 252.\] These improve the bound $R(4,20)\ge 237$ given by Nagda, Raghavan, Thakurta and the long standing bound $R(4,21)\ge 242$ recorded in Radziszowski's dynamic survey. The graphs are $32$-subsets of a pair of undirected quintic cyclotomic classes modulo $251$, in analogy with the quartic-residue circulant of order $313$ used for $R(4,22)$. Clique-freeness is elementary; the independence-number claims are certified by a bitset branch-and-bound on the $186$-vertex residual of a vertex.
Caged Retractions of Polymatroids
We develop a unified theory of caged retractions of discrete polymatroids. Given a polymatroid and a cage $κ$, the $κ$-retraction is a canonical $κ$-caged polymatroid obtained by projecting bases into the cage and retaining the maximal projected bases. We prove that this construction agrees with an explicit rank-function formula. We show that the inclusion of the $κ$-caged polymatroids into all polymatroids and the $κ$-retraction form a Galois connection with respect to the weak-map order. As applications, we obtain caged versions of polymatroid union, the disjoint basis theorem, and induction along a bipartite graph. When $κ=\textbf{1}$, these recover the corresponding matroid constructions. We also study how caged retractions interact with Lorentzian polynomials and representations over near-idempotent tracts. In each case, the construction preserves the relevant structure.
Eventually Turán good I: Edge-Linear Thresholds and Monotonicity
A graph $H$ is $K_{r+1}$-Turán-good if, for every sufficiently large $n$, the Turán graph $T_r(n)$ maximizes the number of copies of $H$ among all $n$-vertex $K_{r+1}$-free graphs. It is strictly $K_{r+1}$-Turán-good if $T_r(n)$ is the unique extremal graph.
Morrison, Nir, Norin, Rzążewski and Wesolek [\emph{JCTB}, 2023] proved that every graph $H$ is $K_{r+1}$-Turán-good whenever $r\ge 300v(H)^9$. They raised the following two questions:
1.Can the sufficient condition $r\ge 300v(H)^9$ be reduced to a condition of quadratic order in $v(H)$?
2.Is the Turán-good property monotone in $r$? More precisely, if a graph $H$ is $K_r$-Turán-good, must it also be $K_{r+1}$-Turán-good?
We affirmatively resolve the first question and derive an even stronger bound linear in the edge number: every graph $H$ with at least one edge is strictly $K_{r+1}$-Turán-good and $K_{r+1}$-Turán-stable whenever $r\ge 168e(H)$. This condition is quadratic in $v(H)$ for arbitrary graphs and linear in $v(H)$ for every sparse graph family with $e(H)=O(v(H))$.
We answer the second question negatively. For every $r\ge3$, there exists a graph that is strictly $K_r$-Turán-good but not $K_{r+1}$-Turán-good. More quantitatively, for every sufficiently large $h$, there exists a graph $H$ with $v(H)\le h$ and an integer $r=h-2\sqrt h+O(1)$ such that $H$ is strictly $K_r$-Turán-good but not $K_{r+1}$-Turán-good.
The monotonicity threshold $λ(H)$ is the least integer $R\ge 2$ such that, for every $r\ge R$, the graph $H$ is $K_{r+1}$-Turán-good whenever it is $K_r$-Turán-good. For \[ λ_{\max}(h)=\max\{λ(H)\mid v(H)\le h\}, \] our two results yield \[ h-2\sqrt h-O(1)\le λ_{\max}(h)\le 84h^2. \]
Two conjectures on graphs and their edge-path matrices
The edge-path matrix is a square matrix where each off-diagonal entry records the maximum number of edge-disjoint paths between the corresponding pair of vertices. Akbari et al. [On edge-path eigenvalues of graphs, Linear Multilinear Algebra 70 (2022) 2998-3008] proposed two conjectures: Conjecture 1 relates the edge-path matrix to an upper bound on the number of edges in the graph, while Conjecture 2 asserts that a graph is Eulerian if and only if all entries of its edge-path matrix are even. In this paper, we prove the two conjectures.
On the saturation number of the kite graph
For a fixed graph $H$, a graph $G$ is $H$-saturated if $G$ does not contain a copy of $H$, but adding any edge $e \in E(\overline{G})$ to $G$ creates a copy of $H$. The saturation number $\mathrm{sat}(n,H)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. Let $K$ be the kite graph, formed by removing one edge from $ K_4$ and then attaching a pendant edge to a vertex of degree two in the resulting graph.In this paper, we first establish a relationship between connectivity and $K$-saturated graphs, and subsequently determine the saturation number of the kite graph $K$. Moreover, we completely characterize all extremal graphs.Our result provides a partial answer to a problem raised by Hua and Peng [Discrete Math. 349 (2026) 114674].
Dense-core approach to the Brualdi--Hoffman--Turán problem on odd wheels
We present a unified presentation of the fixed-size adjacency-spectral extremal problem for odd wheels $W_{2k+1}$, where $k\geq2$ and $W_{2k+1}=K_1\vee C_{2k}$. The exceptional case $W_5$ and the general case $W_{2k+1}$, $k\ge3$, share the same dense-core reduction and edge-spectral stability, but have different rigidity structures. We prove that every $W_5$-free graph of sufficiently large size $m$ satisfies $ρ(G)^2-ρ(G)\le m,$ with equality precisely for $K_{n,n}$ with a perfect matching embedded in each part, where $n$ is even and $m=n^2+n$. For any fixed $k\ge3$, every $W_{2k+1}$-free graph of sufficiently large size $m$ satisfies $ρ(G)^2-(k-1)ρ(G)\le m-\binom{k}{2},$ with equality precisely for $K_k\vee qK_1$ when $m=\binom{k}{2}+kq$. Our results completely settle a conjecture proposed by Yu, Li and Peng and, via a distinct approach, further strengthen known results concerning odd cycles, friendship graphs and odd fan graphs for sufficiently large $m.$ The proof combines the edge-spectral stability theorem, residual functions and the dense-core method.
Equality Cases for the Face-Degree Majorization Theorem on Simplicial Complexes
The Grone--Merris--Bai theorem states that the Laplacian spectrum of a
simple graph is majorized by its conjugate degree sequence. Recently,
Zhang, Song, and Fan extended this result to simplicial complexes by
establishing a majorization relation between the spectrum of the
$(r-1)$-dimensional up-Laplacian and the conjugate $(r-1)$-degree sequence.
In this paper, we characterize all equality cases in the partial-sum
inequalities of this higher-dimensional majorization theorem. For every
$r$-dimensional simplicial complex $X$ with $r\ge2$, we prove that
\[
\sum_{i=1}^{q}λ_{r-1,i}(X)
=
\sum_{i=1}^{q}d_{r-1,i}^{\top}(X)
\]
if and only if
\[
q\ge \max\{\operatorname{rank}B_r(X),Δ_{r-1}(X)\}.
\]
Thus, unlike the graph case, equality can occur only after both sequences
have exhausted all their nonzero terms. As consequences, equality in the
first partial sum and equality between the entire sequences are both equivalent
to $X$ containing a unique $r$-simplex. The proof is based on the local
down-Laplacian decomposition and the equality case of the Ky Fan inequality.
Directed strongly regular graphs from groups, loops and quasigroups
We introduce four infinite families of directed strongly regular graphs of orders $2n^2$ and $3n^2$. The constructions are described in terms of groups, quasigroups, loops and their Latin squares. Two preliminary Cayley digraph constructions over wreath products are extended to arbitrary quasigroups and loops, yielding directed strongly regular graphs with parameters $(2n^2,3n-2,2n-1,n-1,3),(2n^2,4n-2,2n+2,n+2,6),(3n^2,4n-2,2n,n,4),(3n^2,6n-2,2n+6,n+6,10)$.
The matching extendability of optimal 2-planar graphs
A graph is 2-planar if it can be drawn in the plane such that each edge is crossed by at most two other edges. It is known that for a 2-planar graph $G$, $|E(G)| \le 5|V(G)| - 10$. When the equality holds, we call $G$ an optimal 2-planar graph. This paper investigates the matching extendability of optimal 2-planar graphs. By local optimality, we prove that every 4-connected optimal 2-planar graph $G$ of even order is 1-extendable, and give a criterion for $G$ to be 2-extendable. We also prove that no optimal 2-planar graph is 5-extendable and construct a 4-extendable optimal 2-planar graph based on the dodecahedron. Finally, we show that every 6-connected optimal 2-planar graph of even order with at least $2m+2$ vertices is distance 3 $m$-extendable for any $m \ge 0$.
On the finite group whose proper enhanced power graph is claw-free
Let $G$ be a finite group. The \emph{enhanced power graph} of $G$, denoted by $\mathcal{E}(G)$, is the graph with vertex set $G$ in which two vertices $u$ and $v$ are adjacent if and only if there exists an element $w \in G$ such that both $u$ and $v$ belong to $\langle w \rangle$. The \emph{proper enhanced power graph} of $G$, denoted by $\mathcal{E}^{**}(G)$, is the subgraph of $\mathcal{E}(G)$ induced by the non-dominating vertices.
The main objective of this paper is to investigate finite groups whose proper enhanced power graph is claw-free, that is, contains no induced subgraph isomorphic to the complete bipartite graph $K_{1,3}$. We first prove that $\mathcal{E}(G)$ is claw-free if and only if $G$ is cyclic. The set of dominating vertices of $\mathcal{E}(G)$ forms a cyclic subgroup of the center of $G$, namely the \emph{cyclicizer} $\cyc(G)$ of $G$. This allows us to give a precise description of the structure of $G/\cyc(G)$ when $\mathcal{E}^{**}(G)$ is claw-free. If $G$ is solvable but not nilpotent, then $G$ is metacyclic, or $G/\cyc(G)$ is either a Frobenius group or a $2$-Frobenius group. If $G$ is non-solvable, then $G/\cyc(G)$ is isomorphic to $\PSL(2,q)$ or $\PGL(2,q),$ and this allows us to give a complete classification of the non-solvable groups whose proper enhanced power graph is claw-free.
A Family of Simultaneously Cospectral Trees for Degree-Distance Matrices
Spectral characterization of graphs for various graph matrices constitutes a central topic in spectral graph theory. Let $G$ be a graph with adjacency matrix $A(G)$, diagonal degree matrix $\Deg(G)$, distance matrix $D(G)$, and transmission matrix \(\Trs(G)\), respectively. Recently, Alfaro and Zapata (2024) introduced the degree-distance matrices \(\Ddegp(G)=\Deg(G)+D(G)\) and \(\Ddeg(G)=\Deg(G)-D(G)\), together with the transmission-adjacency matrices \(\Atrsp(G)=\Trs(G)+A(G)\) and \(\Atrs(G)=\Trs(G)-A(G)\). Based on computational evidence for trees on at most \(20\) vertices, they conjectured that all trees are determined by the spectra of \(\Ddegp\) as well as \(\Ddeg\).
In this paper, we disprove these conjectures by constructing an infinite family of pairs of non-isomorphic trees. More precisely, for each integer \(r\ge 3\), we construct a pair of trees on \(17r-15\) vertices which are simultaneously cospectral with respect to the following six matrices \[
A,\quad L,\quad Q,\quad D,\quad \Ddegp,\quad \Ddeg . \] The construction is based on an \(r\)-regularized leaf extension and an equitable-partition reduction. We also record a simple sign-switching observation for transmission-adjacency matrices: if \(G\) is bipartite, then \(\Atrs(G)\) and \(\Atrsp(G)\) are similar via a diagonal \(\{\pm1\}\)-matrix and have the same Smith normal form. Consequently, for trees, the spectral and Smith normal form problems for \(\Atrs\) and \(\Atrsp\) are equivalent.
Comaximal Graphs of finite-dimensional Lie algebras over finite fields: Triangle counts and structural invariants
Let $L$ be a finite-dimensional Lie algebra over a field $F$. The comaximal graph $Γ(L)$ has as vertices the proper nonzero subalgebras of $L$, two of them adjacent whenever they generate $L$; its structure was previously classified for Lie algebras of dimension at most 3 over finite fields. Here we extend that work in two directions. First, we obtain explicit formulas for the number of triangles $t(Γ(L))$ for every three-dimensional Lie algebra over $\F_q$. Second, we extend the classification to several four-dimensional families over $\mathbb{F}_q$, the abelian, Heisenberg, and filiform algebras, and $\mathfrak{gl}_2(\F_q)$. We also relate graph-theoretic properties of $Γ(L)$, such as completeness and the role of the Frattini subalgebra, to structural properties of $L$, including supersolvability. These results yield new combinatorial invariants for finite-dimensional Lie algebras over finite fields.
Three Infinite Families Separating Schur Positivity, the Strongly Nice Property, and the Nice Property
For a graph $G$, Schur positivity of $X_G$ implies that $G$ is strongly nice, and every strongly nice graph is nice. We construct three infinite families separating these properties. We first give a connected family $F_t$, $t\ge6$, that is strongly nice but not Schur positive. We then prove that homogeneous strongly nice symmetric functions with nonnegative monomial coefficients are closed under multiplication, and hence that strongly nice graphs are closed under disjoint union. As an application, for $H=K_{3,3}-e$, the graphs \[ M_t=H\sqcup K_t,\qquad t\ge3, \] form a disconnected family that is strongly nice but not Schur positive. Finally, we define \[ N_r=K_r\vee(K_2\sqcup2K_1),\qquad r\ge2, \] and prove that every $N_r$ is connected and nice but not strongly nice. We also introduce the level-$k$ nice property and show that the level depth of $N_r$ is $4r!$.
The maximum number of maximal dissociation sets in trees
Let $G$ be a simple graph. A dissociation set of $G$ proposed by Yannakakis in $1981$ is defined as a set of vertices that induces a subgraph in which every vertex has a degree of at most $1$. A dissociation set is maximal if it is not contained as a proper subset in any other dissociation set. In $2025$, Wang et al.\cite{ZiyuanWang} established that for any tree $T$ of order $n\geq 4$, the number of maximal dissociation sets in $T$ is at most $3^{\frac{n-1}{3}}+\frac{n-1}{3}$ and characterized the extremal trees attaining the upper bound. They also proposed a conjecture about the upper bound of the maximal dissociation set. In this paper, we consider this conjecture and show that the maximum number of maximal dissociation sets in a tree of order $n(n\geq 3)$ is $g(n)$, where \[ g(n) = \begin{cases} n, & n=3,4,5,6,\\ 3^{\frac{n-1}{3}}+\frac{n-1}{3}, & n \equiv 1 \pmod{3},~n\geq7,\\ 4\cdot 3^{\frac{n-5}{3}}+n-5, & n \equiv 2 \pmod{3},~n\geq8, \\ 16\cdot 3^{\frac{n-9}{3}}+3n-25, & n \equiv 0 \pmod{3},~n\geq12~\text{and }~n\neq21, \\ 19, & n=9, \\ 1349, & n=21. \end{cases} \] We also characterize the extremal trees with the maximum number of maximal dissociation sets.
The Bethe-Hessian down to the Percolation Threshold
The Bethe-Hessian is a symmetric matrix for which the negative spectrum has been observed to encode the informative structure of sparse stochastic block models. We prove that, in the stochastic block model where all vertices have expected degree $d>1$, the number of negative eigenvalues of the Bethe-Hessian is exactly the number predicted by the eigenvalues of the planted model lying outside the bulk spectrum. The condition $d>1$ is optimal, and matches a regime in which existing spectral approaches based on larger non-Hermitian matrices apply. Our result extends a theorem of Stephan and Zhu, who established the same conclusion under the assumption $d\geq 2$.
Our improvement relies on two main ideas. First, we construct test vectors on the $2$-core, where degree fluctuations are substantially smaller, and then extend them to the entire graph while controlling the quadratic form. Second, we construct the test vectors using an isotropic basis of the underlying Markov random field, with coefficients adapted to each relevant planted eigenvalue. This allows us to control the fluctuations of the test vectors throughout the sparse regime.