graph
34516 papers tagged with this keyword
A Domatic Analogue of $χ$-Bounded Graph Classes and the Gyárfás-Sumner Conjecture
Given a graph $G$, a dominating set is a subset $X\subseteq V(G)$ such that $N[X]=V(G)$. The \emph{domatic number} of $G$, denoted ${\rm dom}(G)$, is the maximum size of a partition of $V(G)$ into dominating sets. In analogy with the lower bound of the chromatic number by the clique number, the domatic number satisfies the upper bound ${\rm dom}(G)\le δ(G)+1$ where $δ(G)$ is the minimum degree of $G$. Therefore, as an analogue of the notion of $χ$-bounded graph classes, we say that a class of graphs $\mathscr{G}$ is \emph{DOM-bounded} if there exists a positive unbounded function $f_{\mathscr{G}}$ such that for every $G\in \mathscr{G}$, we have ${\rm dom}(G) \ge f_{\mathscr{G}}(δ(G))$.
We propose the following conjecture for graphs forbidding a fixed induced subgraph, analogous to the Gyárfás--Sumner Conjecture for $χ$-bounded graph classes: for every connected graph $H$, the class of $H$-free graphs is DOM-bounded if and only if $H$ is a tree of diameter at most $3$. We reduce the case of disconnected graphs to the connected setting and show that the conditions on $H$ are necessary.
We show that star-free graphs of minimum degree at least $δ$ have domatic number $Ω(δ/\log δ)$, which is best possible up to a constant factor. We also identify a subclass of star-free graphs for which the domatic number is linear in $δ$: line graphs of bounded rank hypergraphs.
In support of our conjecture in the case of double stars, we prove that $P_4$-free graphs (i.e. cographs) of minimum degree $δ$ have domatic number at least $1 + \fracδ{2}$, which is best possible.
On cliques in hypergraphs under bounded $(j,p)$-norm
Let $\mathcal{H}$ be an $r$-uniform hypergraph. For $S\in \binom{V(\mathcal{H})}{j}$, let $\mathrm{deg}(S)$ be the number of edges of $\mathcal{H}$ containing $S$, and define the $(j,p)$-norm of $\mathcal{H}$ by $\|\mathcal{H}\|_{j,p}=\left(\sum_{S\in \binom{V(\mathcal{H})}{j}}\mathrm{deg}(S)^p\right)^{1/p}$. Motivated by a problem of Chao, Dong, Shen and Yang, we determine the maximum number of $t$-cliques in an $n$-vertex $r$-graph with bounded $(j,p)$-norm in the range $p>(t-j)/(r-j)$. The proof uses an entropy argument adapted to hypergraphs, together with a continuous interpolation step. The bound is sharp whenever the corresponding Steiner systems exist.
Pancyclicity of graphs perturbed by a random $F$-factor
Resolving a conjecture of Espuny Díaz and Girão [Random Structures Algorithms, 2023], we determine the sharp minimum-degree threshold for Hamiltonicity in graphs perturbed by a uniformly random $K_r$-factor. In fact, we prove the stronger pancyclic statement. More generally, for each fixed connected graph $F$, we study the union of an arbitrary deterministic graph of linear minimum degree and a uniformly random $F$-factor. Let $α^*(F)$ and $α_{\text{pan}}^*(F)$ denote the corresponding Hamiltonicity and pancyclicity thresholds. We introduce two new parameters, $τ_{\text{pc}}(F)$ and $τ_{\text{ind}}(F)$, defined by the expected path-cover number and independence number of random induced subgraphs of $F$, and prove \[ τ_{\text{pc}}(F)\le α^*(F)\le α_{\text{pan}}^*(F)\le τ_{\text{ind}}(F). \] For $F=K_r$, the two parameters coincide and are equal to the unique positive solution $ρ_r$ of $x^r+rx-1=0$. Hence $α^*(K_r)=α_{\text{pan}}^*(K_r)=ρ_r$ for every $r\ge2$.
Stability of nontrivial graph pairs
A graph pair $(Γ, Σ)$ is called stable if every automorphism of the direct product $Γ\timesΣ$ is induced componentwise by automorphisms of $Γ$ and $Σ$. A graph is twin-free if no two distinct vertices share the same neighbourhood in the graph. Two graphs $Γ$ and $Σ$ are coprime with respect to the direct product if there is no graph $Δ$ of order greater than $1$ such that $Γ\congΓ'\timesΔ$ and $Σ\congΣ'\timesΔ$ for some graphs $Γ'$ and $Σ'$. A graph pair $(Γ,Σ)$ is nontrivial if $Γ$ and $Σ$ are coprime connected twin-free graphs and exactly one of them is bipartite. In this paper, we prove that if $Γ$ is non-bipartite, stable, and factor-loopless, then each nontrivial graph pair $(Γ,Σ)$ is stable. This gives a partial answer to [Question~19, Qin, Xia and Zhou, Discrete Math., 113856, (2024)] and proves the factor-loopless case of [Conjecture~1.3, Wang, Qin and Xia, arXiv:2509.26170]. We also give affirmative answers to [Questions~3.5, 3.6, Gan, Liu and Xia, J. Combin. Theory Ser. B, 140--164, (2025)] and a negative answer to [Question~3.7, Gan, Liu and Xia, J. Combin. Theory Ser. B, 140--164, (2025)].
Vertex-colored Turán theorems with applications in extremal hypergraph problems
Balogh, Clemen, and Lidický proved that the $\ell_{2}$-norm Turán problem for $K_{5}^{3}$ is asymptotically solved by the balanced bipartite construction, and they further conjectured that this construction is uniquely extremal for all sufficiently large $n$. We confirm this conjecture. We also determine exactly the maximum number of cliques in an $n$-vertex $K_{5}^{3}$-free $3$-uniform hypergraph for all sufficiently large $n$, thereby verifying the corresponding case of a conjecture of Frankl, Gryaznov, and Talebanfard.
The main ingredients are Turán-type theorems for vertex-colored graphs forbidding balanced cliques, including an edge bound, an $\ell_{2}$-norm bound, and a sharp crossing-triangle theorem in the two-colored balanced $K_{4}$-free case. We also use a local modification procedure within the stability method. This reduces the exact hypergraph problems to proving that the relevant objective function increases under suitable local changes near the bipartite construction.
Exact Leaf Powers on Cycles, Ladders, Crowns, and Multipartite Block Graphs
Exact \(k\)-leaf powers are graphs whose edges are exactly the pairs of leaves at distance \(k\) in a tree. We prove explicit structure theorems for exact leaf powers on several representative graph families that test different exact-distance phenomena. Our most detailed root-classification theorem concerns chordless cycles: all exact \(5\)-leaf roots of \(C_\ell\), \(\ell\ge 8\), are described by a complete terminal block language. We also prove that the \(t\)-square ladder \(L_t\) is an exact \(5\)-leaf power if and only if \(t\le 2\). In contrast, dense bipartite square structures are often representable: among block-complete multipartite graphs, the exact \(5\)-leaf powers are precisely the bipartite members, and every bipartite co-cluster graph, including every crown \(K_{n,n}-M\), is an exact \(k\)-leaf power for every \(k\ge 5\). Finally, we give parity classifications for complete multipartite graphs and multipartite block graphs at larger exact distances, and isolate a sharp fan boundary at exact distance six.
Counting Hamiltonian paths between prescribed vertices in traceable graphs with a forbidden induced subgraph
For graphs $G$ and $F$, we say that $G$ is $F$-free if $F$ does not occur as an induced subgraph of $G$. This paper is concerned with the following question: Given an $F$-free graph $G$ having two vertices between which there exists at least one Hamiltonian path, how many Hamiltonian paths between these endpoints must exist (in terms of the order of $G$)? Our main result shows that there exists a sharp dichotomy. More precisely, we show that if $F$ is not an induced subgraph of $P_3+sP_1$ for any integer $s \geq 0$, then there exists an infinite family of $F$-free graphs having two vertices between which there exists a unique Hamiltonian path. On the other hand, we prove that if $F$ is an induced subgraph of $P_3+sP_1$ for some integer $s \geq 0$, then any $F$-free graph having two vertices between which there exists a Hamiltonian path contains exponentially many such paths between these two vertices. Our proofs use Ramsey-theoretic methods, a result on the existence of two vertices with low degree in graphs containing a unique Hamiltonian cycle, a path variant of Thomassen's red-independent weakly green-dominating sets, and a structural analysis of Hamiltonian paths in $P_3+sP_1$-free graphs. As an algorithmic consequence we obtain that for every fixed $s \geq 1$, given a Hamiltonian $sP_1$-free graph together with a Hamiltonian cycle, one can decide in linear time whether a second Hamiltonian cycle exists and construct one if it does.
On 2-connected graphs without cycles of length 1 modulo 3
Burr and Erdős conjectured in 1976 that for all integers $k>\ell\geq 0$ such that $k\mathbb{Z}+\ell$ contains an even integer, every $n$-vertex graph without cycles of length $\ell$ modulo $k$ has at most a linear number of edges in $n$. Bollobás confirmed the conjecture in 1977, and Erdős further asked for the exact extremal number. To the best of our knowledge, this problem has been solved only for all residues when $k\leq 4$, and for $\ell\in \{0,2\}$ when $k\geq 5$ is odd. In particular, Bai {\it et al.} [arXiv:2503.03504] proved that if $G$ is an $n$-vertex graph with no cycles of length $1$ modulo $3$, then $e(G)\le \frac{5}{3}(n-1)$, and when $9\mid (n-1)$ the equality holds if and only if each block of $G$ is isomorphic to the Petersen graph. Note that for $n> 18$ every extremal graph contains a cut-vertex. In this paper, we investigate the 2-connected setting and determine the maximum number of edges in a 2-connected graph with no cycles of length $1$ modulo $3$. Our results provide a sharp extremal bound and a complete characterization of the extremal graphs, revealing structural differences from the general case. Combining this with the result of Bai {\it et al.}, we also obtain a complete characterization of all extremal graphs in the general setting, including the cases where $9\nmid (n-1)$. Finally, we determine the maximum number of edges in a $2$-connected graph with no cycles of length $2$ modulo $4$, whose extremal graphs differ substantially from those in the general setting. Consequently, the extremal numbers for $2$-connected graphs with no cycle of a fixed length modulo $k$ are now determined for all $k\leq 4$.
A degree version of the Burr-Erdős conjecture on trees
An old conjecture of Burr and Erd\H os states that the Ramsey number of any $n$-vertex tree $T$ is at most $2n-2$. In 2012, Schelp asked whether a degree version of the Burr--Erdős conjecture holds. More precisely, Schelp asked if is it true that for any $\varepsilon>0$ and $Δ\ge 2$, if $G$ is a graph on $N\ge (2+\varepsilon)n$ vertices and minimum degree $δ(G)\ge \lfloor 3N/4\rfloor$, then every blue/red colouring of the edges of $G$ yields a monochromatic copy of each $n$-vertex tree with maximum degree at most $Δ$. We prove this conjecture in a strong form, showing that it is true even if one removes the extra $\varepsilon n$ term in the size of the host graph.
Abundance of Unique Subhypergraphs
Given $k$-uniform hypergraphs $G$ and $H$, we say that $G$ is a unique subhypergraph of $H$ if $H$ contains exactly one subhypergraph isomorphic to $G$. For an $n$-vertex $k$-graph $H$, let $f_k(H)$ be the number of non-isomorphic unique subhypergraphs of $H$, normalized by $2^{\binom n k}/n!$, and let $f_k(n)$ be the maximum of $f_k(H)$ over all $n$-vertex $k$-graphs $H$. In the graph case $k=2$, Erdős asked whether there exists a constant $δ>0$ such that $f_2(n)>δ$ for all $n$, offering \$100 for a proof and \$25 for a disproof.
Recently, Bradač and Christoph answered this question in the negative,, proving that $f_2(n)$ tends to $0$, or equivalently that no $n$-vertex graph contains a positive proportion of all $n$-vertex graphs as unique subgraphs. In this paper we show that the situation is fundamentally different for $k$-uniform hypergraphs with $k\ge3$. In particular, for every fixed integer $k\ge 3$, we prove that $\liminf_{n\to\infty} f_k(n) \ge 2/9$.
The conflated expression graph for an arbitrary permutation
We show that the conflated expression graph for an arbitrary permutation has a unique minimal element and a unique maximal element, and every reduced expression sits on a maximal chain from the source to the sink. This generalizes the work of Manin-Schechtman regarding higher Bruhat orders, and gives an independent and self-contained proof of certain results in Hothem. In addition, we give explicit algorithms for elements in the top and bottom commutation classes. Given any reduced expression $ρ$, we give an explicit method for producing a maximal chain containing $ρ$.
Exact values of rainbow Turán numbers for fan graphs and even wheel graphs
An edge-colored graph is called rainbow if all its edges have distinct colors. For a fixed graph $H$, the rainbow Turán number $\exstar(n, H)$ is the maximum number of edges in a properly edge-colored graph with $n$ vertices that does not contain a rainbow subgraph isomorphic to $H$. A $t$-fan $\Ft$ ($t \geq 2$) is a graph formed by $t$ triangles sharing a common vertex. A wheel graph $\Wn$ is constructed by connecting a new vertex $x$ to all vertices of a cycle $\Cn$ with $n$ vertices. Keevash, Mubayi, Sudakov, Verstraëte~({\small Combin. Probab. Comput., 2007}) showed that \[ \exstar(n, F_t) \geq \floor{\frac{n^2}{4}} + (t-1)\floor{\frac{n}{2}} \] by constructing extremal graphs for $n\not\equiv 2\pmod 4$.
In this paper, we propose such a method: for a graph $H$, the upper bound of $\exstar(n, H)$ can be analyzed using the rainbow Turán number of $H'$, where $H'$ is obtained by deleting one vertex from $H$. By applying this method, we determine the exact values of the rainbow Turán numbers for two families of graphs when the number of vertices $n$ is sufficiently large. Specifically, we obtain: (1) when $n > 230t$, \[ \exstar(n, \Ft) = \floor{\frac{n^2}{4}} + (t-1)\floor{\frac{n}{2}} - \Dn, \] where $\Dn = 1$ if $n \equiv 2 \pmod{4}$, and $\Dn = 0$ otherwise; (2) for graphs $H$ satisfying $W_{2t} \subset H \subset \Kts$ ($t \leq s$), when $n$ is sufficiently large, \[ \exstar(n, H) = \begin{cases} \floor{\frac{n^2}{4}} + \floor{\frac{(t-1)n}{2}} - \Dn & \text{if } t \text{ is odd}, \\ \floor{\frac{n^2}{4}} + \floor{\frac{(t-1)n}{2}} & \text{if } t \text{ is even}. \end{cases} \]
The number of cut-edges and conflict-free connection number in planar graphs
A \textit{cut-edge} of a connected graph is an edge whose deletion increases the number of components. In this paper, we first state some conditions for a planar graph to have a few cut-edges. After that, we use the main results to study the conditions for a colored planar graph to have a bounded conflict-free connection number.
Combinatorial interpretations of Tutte polynomials at the point $(2,-1)$
Let $G$ be a simple connected graph, and let $T_{G}(x,y)$ be the Tutte polynomial of $G$. Motivated by the works in \cite{Ma}, we, in this paper, introduce the even-left spanning forests of $G$ and odd $G$-partitionable permutations, and show that $T_{G}(2,-1)$ is equal to both the number of even-left spanning forests of $G$ and the number of odd $G$-partitionable permutations. In particular, for a complete graph $K_n$, we prove that $T_{K_{n}}(2,-1)$ is the number of alternating permutations on $\{1,2,\dots,n+1\}$, using two distinct techniques: a recurrence relation and an explicit bijection construction.
Sharp $A_α$-Spectral Conditions for Odd $[1,b]$-Factors When $α>1/2$
We solve, for all sufficiently large even orders, the problem proposed by Chen et al. on sharp $A_α$-spectral conditions for the existence of odd $[1,b]$-factors when $α>1/2$. Chen et al. showed that every connected graph of even order $n$ with no odd $[1,b]$-factor has $A_α$-spectral radius at most $\max_{1\le s\le k}ρ_α(G_s)$, where $G_s=K_s\nabla\left(K_{n-(b+1)s-1}\cup(bs+1)K_1\right)$ and $k=\lfloor(n-2)/(b+1)\rfloor$. Thus the problem reduces to finding the graph with the largest $A_α$-spectral radius among these obstruction graphs. We prove that, for every $α\in(1/2,1)$, $\max_{1\le s\le k}ρ_α(G_s)=\max\{ρ_α(G_1),ρ_α(G_k)\}$. Moreover, for each fixed odd $b\ge 3$ and every even $n\ge N_b=(b+1)\max\{2b+3,14\}+2$, there exists a unique $α=α_\ast(n,b)\in(1/2,1)$ at which $ρ_α(G_1)=ρ_α(G_k)$. Consequently, $G_1$ is the unique extremal graph for $1/2<α<α_\ast(n,b)$, both $G_1$ and $G_k$ are extremal at $α=α_\ast(n,b)$, and $G_k$ is the unique extremal graph for $α_\ast(n,b)<α<1$. This gives the exact $A_α$-spectral threshold, together with the sharp exceptional graphs, for odd $[1,b]$-factors when $α>1/2$ and $n\ge N_b$.
Characterization of the structure of $k$-edge-maximal graphs
Let $κ^{\prime}(G)$ be the edge-connectivity of the graph $G$. The \textit{strength} of $G$, denoted by $\overlineκ^{\prime}(G)$, is the maximum edge-connectivity of its subgraphs. A simple graph $G$ is called $k$-\textit{edge-maximal} if $\overlineκ^{\prime}(G) \leq k$ but for any edge $e$ not in $G$, $\overlineκ^{\prime}(G+e) \geq k+1$. In this paper, we propose the concepts of kernel and closure of a graph and discuss the properties of closure. Utilizing these properties, we present the necessary and sufficient condition for a graph to be $k$-edge-maximal, which refines the results in [J. Graph Theory 14 (1990) 187--197], and prove that there exists a $k$-edge-maximal graph of order $n$ with $m$ edges if and only if $m=(n-1)k-\binom{k}{2}r$, for some integer $r$ with $1\leq r\leq \left\lfloor \frac{n}{k+2}\right\rfloor$. Furthermore, we characterize the structure of $k$-edge-maximal graphs with a given number of edges.
Eulerian-spanning set and coboundary operator: An investigation of maxcut beyond planar graphs
Using the concepts of Eulerian-spanning set and coboundary operator, we generalize Hadlock's conversion of the maxcut problem on planar graphs to one on general graphs with non-negative weights. Using our conversion, we can explore algorithms for maxcut beyond the class of planar graphs. We obtain a Fixed-Parameter Tractable algorithm for $k$-contraction apex graphs. Specifically, our algorithm can be applied to graphs with crossing number $k$, giving an $O(2^k(n+k)^{3/2}\log (n+k))$-time algorithm that matches the best known results when restricted to non-negative weights.
Characterizing all nonbipartite well-edge-dominated graphs
Given a graph $G$, a set $F$ of edges is an edge dominating set of $G$ if every edge in $G$ is either in $F$ or adjacent to an edge in $F$. A graph $G$ is said to be well-edge-dominated if every minimal edge dominating set has the same cardinality. This definition is the edge version of domination in that a set $D\subseteq V(G)$ is a dominating set if every vertex in $G$ is in $D$ or adjacent to a vertex in $D$ and the domination number $γ(G)$ is the minimum cardinality among all dominating sets. In this paper, we complete the characterization of all nonbipartite, well-edge-dominated graphs. In addition, we produce an infinite class of graphs that satisfy the well-known Vizing's conjecture in domination theory that states $γ(G\Box H) \ge γ(G)γ(H)$ where $G\Box H$ is the Cartesian product of $G$ and $H$.
On gcd-graphs over matrix rings
Graphs defined over finite rings are well studied in the literature. The study of these graphs benefits from rich connections between several areas of mathematics, including number theory, algebra, combinatorics, and graph theory, and these connections often lead to interesting interactions between algebraic and combinatorial structures. In this article, we investigate gcd-graphs defined over matrix rings with coefficients in finite fields. We show that these graphs exhibit several interesting graph-theoretic properties. Along the way, we also prove some results on the structure of matrix rings, which may be of independent interest.
Sharp upper bounds on the $A_α$-spectral radius of graphs
Let $G$ be a simple graph with degree diagonal matrix $D(G)$ and adjacency matrix $A(G)$. The signless Laplacian matrix of $G$ is defined as $Q(G)=D(G)+A(G)$. For a real number $α\in [0, 1]$, Nikiforov (2017) proposed the $A_α$-matrix of a graph $G$ as $A_α(G)=αD(G)+(1-α)A(G)$. The $A_α$-spectral radius of $G$, denoted by $ρ_α(G)$, is the largest eigenvalue of $A_α(G)$, where $ρ_0(G)=ρ(G)$ is the spectral radius of $A(G)$ and $2ρ_{\frac{1}{2}}(G)=q(G)$ is the spectral radius of $Q(G)$. Sun and Das (2020) proved that for any non-isolated vertex $v$ of degree $d_v$, $ρ^2(G)-ρ^2(G-v) \leq 2 d_v-1$, which confirmed the conjecture originally posed by Guo, Wang, and Li (2019). Recently, Liu and Ning (2026) provided a short and self-contained proof of this inequality. In this paper, we establish the corresponding result for $ρ_α(G)$. As a corollary, for every $k\in [0,d_v+1]$, we have $$ ρ^2(G)- ρ^2(G-v) \leq 2d_v-1 +(k-2)\left(\frac{d_v}{ρ(G)}-1\right). $$ This inequality coincides with that of Sun and Das when $k=2$, and is strictly sharper than theirs whenever $k\neq 2$ and $d_v\neq ρ(G)$. We also give a short proof of the inequality $ρ_α(G)-ρ_α(G-v)\leq α+\frac{(1-α)^2d_v}{ρ_α(G)-αd_v}$, which is obtained by Wang and She (2022). Moreover, we obtain a unified generalization of Hong, Shu and Fang's inequality for $ρ(G)$ and Nikiforov's inequality for $q(G)$ in terms of $ρ_α(G)$.