arXiv++ Combinatorics

A graph is perfectly divisible if for each of its induced subgraph $H$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B]) < ω(H)$, and a graph $G$ is perfectly weight divisible if for every positive integral weight function on $V(G)$ and each of its induced subgraph $H$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and the maximum weight of a clique in $H[B]$ is smaller than the maximum weight of a clique in $H$. A clique $X$ of a connected graph $G$ is called a clique cutset if $G-X$ is disconnected. In this paper, we investigate the relationship between the perfect divisibility of a graph and its perfect weighted divisibility. We also show that $2P_3$-free or claw-free minimally nonperfectly divisible graphs contain no clique cutset, that conditionally answers a question of Hoàng [Discrete Math. \textbf{349} (2025) 114809].

Motivated by Thomassen's well-known line graph conjecture, many researchers have explored sufficient conditions for claw-free graphs to be Hamiltonian or Hamilton-connected. In 1994, Ageev proved that every $2$-connected claw-free graph with domination number at most $2$ is Hamiltonian. In this paper, we extend this line of research to $3$-connected graphs by establishing the best possible upper bound on the domination number that guarantees Hamiltonicity. Specifically, we show that, except for some well-defined exceptional graphs, every $3$-connected claw-free graph $G$ with domination number at most $5$ is Hamiltonian. Furthermore, we prove that, apart from a few exceptional cases, every $3$-connected claw-free graph $G$ with domination number at most $4$ is Hamilton-connected, thereby generalizing earlier results of Zheng, Broersma, Wang and Zhang and Vrána, Zhan and Zhang. We further investigate the Hamiltonian properties of line graphs of $3$-hypergraphs, and prove that every 3-connected line graph of a 3-hypergraph with domination number at most $4$ is Hamiltonian.

Both the antiferromagnetic Ising model and the hard-core model could be said to be tractable on line graphs of bounded degree. For example, Glauber dynamics is rapidly mixing in both cases. In the case of the hard-core model, we know that tractability extends further, to claw-free graphs and somewhat beyond. In contrast, it is shown here that the corresponding extensions are not possible in the case of the antiferromagnetic Ising model.

We construct orientations of rook graphs (whose underlying graphs are claw-free) that contain no directed $C_3$ but have unbounded dichromatic number. This disproves a conjecture of Aboulker, Charbit and Naserasr and improves a result of Carbonero, Koerts, Moore and Spirkl.

A graph $G$ is called matching covered if all of its edges are contained in some perfect matching of $G$. Furthermore, a cycle $C \subseteq G$ is called conformal if $G - V(C)$ has a perfect matching and $G$ itself is called cycle-conformal if all of its even cycles are conformal. Both matching covered graphs and conformal cycles play central roles in matching theory. After a string of results from various authors, focused mainly on bipartite, planar graphs and claw-free graphs, a complete characterisation of all planar, cycle-conformal graphs has recently been presented by Dalwadi, Pause, Diwan, and Kothari [DMTCS, 2025]. We continue this exploration further into the realm of non-planar graphs, giving a characterisation of matching covered, cycle-conformal graphs that are bipartite and cubic, and respectively, those that are bipartite and Pfaffian. The last class plays a fundamental role in matching theory, having important connections to the problem of counting perfect matchings, recognising graphs with even directed cycles, and computing the permanent of certain matrices efficiently. To prove our results, we break matching covered graphs down to their building blocks, the bipartite ones of which are called braces. The key to both characterisations are theorems that identify the braces in the respective classes. In particular, as our main results, we show that the cycle of length 4 is the only Pfaffian, cycle-conformal brace and we show that $K_{3,3}$ is the only cubic, cycle-conformal brace. In both cases these theorems facilitate the characterisations of the much richer classes of associated matching covered graphs. We conjecture that for each integer $\ell \geq 2$ the only $\ell$-regular, cycle-conformal brace is $K_{\ell,\ell}$.

As the binomial edge ideal of a graph is always generated by homogeneous quadratic polynomials corresponding to the edges of the graph, the question of when a binomial edge ideal defines a Koszul algebra has been studied by many authors ever since the class of ideals was first defined. Several partial results are known, including a characterization of those binomial edge ideals that possess a quadratic Gröbner basis. However, a complete characterization of the graphs determining Koszul binomial edge ideals has remained elusive. Inspired by our recent work characterizing when the graded Möbius algebras of graphic matroids are Koszul, we answer the question once and for all by proving that a graph defines a Koszul binomial edge ideal if and only if it is strongly chordal and claw-free.

Given a claw-free graph $G=(V,E)$ with maximum degree $Δ$, we define the parameter $κ\in [0,1]$ as $κ={\max_{v\in V}|I_v|\over \lfloorΔ^2/4\rfloor}$ where $I_v$ is the set of all independent pairs in the neighborhood of $v$. We refer to $κ$ as the pair independence ratio of $G$. We prove that for any claw-free graph $G$ with pair independence ratio at most $κ$ the zeros of its chromatic polynomial $P_G(q)$ lie inside the disk $D=\{q\in \mathbb{C}:~|q|< C_κ^0Δ\}$, where $C_κ^0$ is an increasing function of $κ\in [0,1]$. If $G$ is also square-free and diamond free, the function $C_κ^0$ can be replaced by a sharper function $C_κ^1$. These bounds constitute an improvement upon results recently given by Bencs and Regts in ''Improved bounds on the zeros of the chromatic polynomial of graphs and claw-free graphs''.

It was recently proved that every claw-free cubic graph admits a (1, 1, 2, 2)-packing coloring--that is, its vertex set can be partitioned into two 1-packings and two 2-packings. This result was established by Brešar, Kuenzel, and Rall [Discrete Mathematics 348 (8) (2025), 114477]. In this paper, we provide a simpler and shorter proof.

In a study, published in \emph{Nature}, researchers from DeepMind and mathematicians demonstrated a general framework using machine learning to make conjectures in pure mathematics. Their work uses neural networks and attribution techniques to guide human intuition towards making provable conjectures. Here, we build upon this framework to develop a method for identifying sufficient conditions that imply a given mathematical statement. Our approach trains neural networks with a custom loss function that prioritizes high precision. Then uses attribution techniques and exploratory data analysis to make conjectures. As a demonstration, we apply this process to Stanley's problem of $e$-positivity of graphs--a problem that has been at the center of algebraic combinatorics for the past three decades. Guided by AI, we rediscover that one sufficient condition for a graph to be $e$-positive is that it is co-triangle-free, and that the number of claws is the most important factor for $e$-positivity. Based on the most important factors in Saliency Map analysis of neural networks, we suggest that the classification of $e$-positive graphs is more related to continuous graph invariants rather than the discrete ones. Furthermore, using neural networks and exploratory data analysis, we show that the claw-free and claw-contractible-free graphs with $10$ and $11$ vertices are $e$-positive, resolving a conjecture by Dahlberg, Foley, and van Willigenburg.

Given a graph $G$, let $Δ_2(G)$ denote the maximum number of neighbors any two distinct vertices of $G$ have in common. Vu (2002) proposed that, provided $Δ_2(G)$ is not too small as a proportion of the maximum degree $Δ(G)$ of $G$, the chromatic number of $G$ should never be too much larger than $Δ_2(G)$. We make a first approach towards Vu's conjecture from a structural graph theoretic point of view. We prove that, in the case where $G$ is claw-free, indeed the chromatic number of $G$ is at most $Δ_2(G)+3$. This is tight, as our bound is met with equality for the line graph of the Petersen graph. Moreover, we can prove this in terms of the more specific parameter that bounds the maximum number of neighbors any two endpoints of some edge of $G$ have in common. Our result may be viewed as a generalization of the classic bound of Vizing (1964) for edge-coloring.

A connected graph $G$ with a perfect matching is said to be $k$-extendable for integers $k$, $1 \leq k\leq \frac{|V(G)|}{2}-1$, if any matching in $G$ of size $k$ is contained in a perfect matching of $G$. A $k$-extendable graph is minimal if the deletion of any edge results in a graph that is not $k$-extendable. In 1994, Plummer proved that every $k$-extendable claw-free graph has minimum degree at least $2k$. Recently, He et al. showed that every minimal 1-extendable graph has minimum degree 2 or 3. In this paper, we prove that the minimum degree of a minimal 2-extendable claw-free graph is either $4$ or $5$.

Generalising the Heilman-Lieb Theorem from statistical physics, Chudnovsky and Seymour [J. Combin. Theory Ser. B, 97(3):350--357] showed that the univariate independence polynomial of any claw-free graph has all of its zeros on the negative real line. In this paper, we show that for any fixed subdivded claw $H$ and any $Δ$, there is an open set $F \subseteq \mathbb{C}$ containing $[0, \infty)$ such that the independence polynomial of any $H$-free graph of maximum degree $Δ$ has all of its zeros outside of $F$. We also show that no such result can hold when $H$ is any graph other than a subdivided claw or if we drop the maximum degree condition. We also establish zero-free regions for the multivariate independence polynomial of $H$-free graphs of bounded degree when $H$ is a subdivided claw. The statements of these results are more subtle, but are again best possible in various senses.

A graph $G$ is a brick if it is 3-connected and $G-\{u,v\}$ has a perfect matching for any two distinct vertices $u$ and $v$ of $G$. Lucchesi and Murty proposed a problem concerning the characterization of bricks, distinct from $K_4$, $\overline{C_6}$ and the Petersen graph, in which every $b$-invariant edge is solitary. In this paper, we present a characterization of this problem when the bricks are claw-free.

An odd independent set $S$ in a graph $G=(V,E)$ is an independent set of vertices such that, for every vertex $v \in V \setminus S$, either $N(v) \cap S = \emptyset$ or $|N(v) \cap S| \equiv 1$ (mod 2), where $N(v)$ stands for the open neighborhood of $v$. The largest cardinality of odd independent sets of a graph $G$, denoted $α_{od}(G)$, is called the odd independence number of $G$. This new parameter is a natural companion to the recently introduced strong odd chromatic number. A proper vertex coloring of a graph $G$ is a strong odd coloring if, for every vertex $v \in V(G)$, each color used in the neighborhood of $v$ appears an odd number of times in $N(v)$. The minimum number of colors in a strong odd coloring of $G$ is denoted by $χ_{so}(G)$. A simple relation involving these two parameters and the order $|G|$ of $G$ is $α_{od}(G)\cdot χ_{so}(G) \geq |G|$, parallel to the same on chromatic number and independence number. We develop several basic inequalities concerning $α_{od}(G)$, and use already existing results on strong odd coloring, to derive lower bounds for odd independence in many families of graphs. We prove that $α_{od}(G) = α(G^2)$ holds for all claw-free graphs $G$, and present many results, using various techniques, concerning the odd independence number of cycles, paths, Moore graphs, Kneser graphs, the complete subdivision $S(K_n)$ of $K_n$, the half graphs $H_{n,n}$, and $K_p \Box K_q$. Further, we consider the odd independence number of the hypercube $Q_d$ and also of the complements of triangle-free graphs. Many open problems for future research are stated.

An injective $k$-edge-coloring of a graph $G$ is a mapping $φ$: $E(G)\rightarrow\{1,2,...,k\}$, such that $φ(e)\neφ(e')$ if edges $e$ and $e'$ are at distance two, or are in a triangle. The smallest integer $k$ such that $G$ has an injective $k$-edge-coloring is called the injective chromatic index of $G$, denoted by $χ_i'(G)$. A graph is called claw-free if it has no induced subgraph isomorphic to the complete bipartite graph $K_{1,3}$. In this paper, we show that $χ_i'(G)\le 13$ for every claw-free graph $G$ with $Δ(G)\leq 4$, where $Δ(G)$ is the maximum degree of $G$.

An old conjecture of Erd{ő}s and Gallai states that every $n$ vertex graph can be decomposed, that is $E(G)$ can be partitioned, into $O(n)$ cycles and edges. The covering version of this conjecture was proven by Pyber in 1985, where it was shown that all graphs can be covered by $n-1$ cycles and edges. The best upper bound on the number of cycles and edges required to decompose any graph is $O(n\log^*(n))$, which was recently shown by Buci{ć} and Montgomery in 2023. Here $\log^*(n)$ denotes the iterated logarithm function. Meanwhile, a construction of Erdős demonstrate that there exists graphs which require $(\frac{3}{2}-o(1))n$ cycles and edges to be decomposed. We prove all graphs with maximum degree at most $4$ can be decomposed into $n-1$ or fewer cycles and edges. We also show that every $n$ vertex claw-free graph can be decomposed into $n-1$ or fewer $2$-regular subgraphs and edges. Finally, we prove that every graph $G$ containing a cycle can be covered by $n-2$ or fewer cycles and edges. This improves Pyber's covering theorem by proving that $n-1$ cycles and edges are required only for trees.

A detour in a graph is a longest path. This thesis is mainly about connected, non-traceable graphs with the property that each vertex is the start (or end) vertex of a detour. There are also related results on claw-free, 2-connected, non-traceable graphs, and maximal non-traceable graphs.

In their 1997 paper titled ``Fruit Salad", Gyárfás posed the following conjecture: there exists a constant $k$ such that if each path of a graph spans a $3$-colourable subgraph, then the graph is $k$-colourable. It is noted that $k=4$ might suffice. Let $r(G)$ be the maximum chromatic number of any subgraph $H$ of $G$ where $H$ is spanned by a path. The only progress on this conjecture comes from Randerath and Schiermeyer in 2002, who proved that if $G$ is an $n$ vertex graph, then $χ(G) \leq r(G)\log_{\frac{8}{7}}(n)$. We prove that for all natural numbers $r$, there exists a graph $G$ with $r(G)\leq r$ and $χ(G)\geq \lfloor\frac{3r}{2}\rfloor -1$. Hence, for all constants $k$ there exists a graph with $χ- r > k$. Our proof is constructive. We also study this problem in graphs with a forbidden induced subgraph. We show that if $G$ is $K_{1,t}$-free, for $t\geq 4$, then $χ(G) \leq (t-1)(r(G)+\binom{t-1}{2}-3)$. If $G$ is claw-free, then we prove $χ(G) \leq 2r(G)$. Additionally, the graphs $G$ where every induced subgraph $G'$ of $G$ satisfy $χ(G') = r(G')$ are considered. We call such graphs path-perfect, as this class generalizes perfect graphs. We prove that if $H$ is a forest with at most $4$ vertices other than the claw, then every $H$-free graph $G$ has $χ(G) \leq r(G)+1$. We also prove that if $H$ is additionally not isomorphic to $2K_2$ or $K_2+2K_1$, then all $H$-free graphs are path-perfect.

Let $G$ be a simple graph of order $n$ with eigenvalues $λ_1(G)\geq \cdots \geq λ_n(G)$. Define \[s^+(G)=\sum_{λ_i >0} λ_i^2(G), \quad s^-(G)=\sum_{λ_i<0} λ_i^2(G).\] It was conjectured by Elphick, Farber, Goldberg and Wocjan that for every connected graph $G$ of order $n$, $s^+(G) \ge n-1.$ We verify this conjecture for graphs with domination number at most 2. We then strengthen the conjecture as follows: if $G$ is a connected graph of order $n$ and size $m \geq n+1$, then $s^+(G) \geq n$. We prove this conjecture for claw-free graphs and graphs with diameter 2.

We present two new contributions to the study of the independence polynomial $Z_G(z)$ of a finite simple graph $G = (V,E)$. First, we provide an improved lower bound for the zero-free region of $Z_G(z)$ for the important class of claw-free graphs. Our bound exceeds the classical Shearer radius and it is derived through a refined application of the Fernández-Procacci criterion using properties of the local neighborhood structure in claw-free graphs. Second, we establish a novel combinatorial expression for $Z_G(z)$, inspired by the connection with the abstract polymer gas models in statistical mechanics, which offers a new structural interpretation of the polynomial and may be of independent interest. These results strengthen the connection between statistical physics, combinatorics, and graph theory, and suggest new approaches for analytic exploration.