arXiv++ Combinatorics

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.

Dorbec et al. [SIAM J. Discrete Math., 27 (2013)] conjectured that, for all integers $k\geq1$ and $r\geq3$, every connected $r$-regular graph $G$ of order $n$, other than $K_{r,r}$, satisfies $γ_{P,k}(G)\leq n/(r+1)$. After disproving this conjecture, Chen et al.[Graphs Combin., 38 (2022)] proposed a corresponding conjecture for claw-free regular graphs. In this paper, we prove this conjecture: for integers $k\geq\ell\geq1$, every connected claw-free $(k+\ell+1)$-regular graph $G$ of order $n$ satisfies $γ_{P,k}(G)\leq n/(k+\ell+2)$, and this bound is tight. Moreover, without the claw-free assumption, we show that, for each fixed integer $k\geq1$, the supremum of $γ_{P,k}(G)/\lvert V(G)\rvert$ over all connected $r$-regular graphs $G$ is asymptotic to $(\ln r)/r$ as $r\to\infty$.

For a non-decreasing sequence $S=(a_1,a_2,\ldots,a_r)$ of positive integers, an $S$-packing coloring of a graph $G$ is a partition of $V(G)$ into sets $A_1,\ldots,A_r$ such that any two distinct vertices in $A_i$ are at distance greater than $a_i$, for every $i\in\{1,\ldots,r\}$. Gastineau and Togni [\emph{Discrete Math.} 339 (2016), 2461--2470] asked whether every subcubic graph, except the Petersen graph, is $(1,1,2,3)$-packing colorable. In this paper, we prove that every claw-free subcubic graph is $(1,1,2,3)$-packing colorable. Moreover, we show that every connected claw-free subcubic graph, except a single graph $\mathcal{H}$, is $(1,1,3,3,3)$-packing colorable, thereby confirming a conjecture of the first two authors. Both results are best possible. Our proofs rely on a structural framework based on the skeleton and core graphs of a claw-free subcubic graph, together with a Hall-type matching argument that reduces the construction of suitable $3$-packings to a matching problem in an auxiliary bipartite graph.

The claw-free Schur-positivity conjecture, recorded by Stanley (1998) and credited there to Gasharov, asserts that the chromatic symmetric function of every claw-free graph is Schur-positive. We give a counterexample on 12 vertices: the line graph $G$ of the graph obtained from a 4-cycle by attaching triangles at two opposite vertices and pendant edges at the other two satisfies $[s_{(3,3,3,3)}]X_G = -64$. The coefficient follows from a short computation by hand and is also reproduced by three exact implementations. An exhaustive computation over all 216,777 connected claw-free graphs on at most 11 vertices shows that every one is Schur-positive, so 12 vertices is the minimum order of any counterexample. A complete census of the 1,728,404 connected claw-free graphs on 12 vertices finds exactly two non-Schur-positive isomorphism classes; the other has graph6 code K?`CR@`bAbRB and coefficient $[s_{(3,3,3,3)}] = -40$.

The Stanley--Gasharov conjecture asserts that the chromatic symmetric function of every claw-free graph is Schur-positive. Prajapati, and independently Matherne and Morales, found counterexamples, and the latter asked for an infinite family of counterexamples. Combining Prajapati's complete census through order~$12$ with an exact census of the $144{,}492$ previously untreated connected claw-free graphs on~$n$ vertices and~$m$ edges with $13\le n\le 21$ and $n-1\le m\le 20$, we show that their counterexample graph~$G_2$ with $12$ vertices and $21$ edges is the unique minimum counterexample under the edge-first, vertex-second order. We also construct an infinite family of connected line graphs whose chromatic symmetric functions are not Schur-positive. This yields an infinite family of counterexamples to the Stanley--Gasharov conjecture.

A $(1, 1, 2, k)$-packing coloring of a graph $G$ is a partition of $V(G)$ into two independent sets, a 2-packing, and a $k$-packing. Recently, the question was posed in [A short proof that every claw-free cubic graph is (1, 1, 2, 2)-packing colorable, arXiv:2512.24001v1] as to whether every claw-free cubic graph is $(1, 1, 2, 3)$-packing colorable. We provide an answer in the affirmative in the case that $G$ is a diamond-free, claw-free cubic graph.

A strong edge coloring is a proper edge coloring in which every color class is an induced matching; the least number of colors is the strong chromatic index $χ'_s(G)$. Lin and Lin proved that every claw-free subcubic graph other than the triangular prism satisfies $χ'_s(G) \le 7$, with all their tight examples containing diamonds. Kardos (Problem 4.1 of the open-problem collection of the 33rd Workshop on Cycles and Colourings) asked whether every diamond-free claw-free cubic graph is strongly 6-edge-colorable, equivalently whether $χ'_s(T(G))=6$ for every cubic graph $G$, where $T(G)$ is the truncation of $G$. We exhibit an explicit connected, simple, diamond-free, claw-free cubic graph $H$ on 18 vertices with $χ'_s(H)=7$, and show that it has the fewest vertices possible for such a non-prism example. Hence the first formulation, over simple cubic graphs, is false even after excluding the prism; and since $H$ is the truncation of a cubic multigraph with parallel edges, the two formulations are not equivalent unless "cubic graph" is allowed to mean loopless multigraph, under which reading the problem is answered negatively. The narrower version restricted to truncations of simple base graphs remains open.

Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize chromatic polynomials of graphs. In 1995, Stanley introduced these symmetric functions and conjectured that they are Schur positive for claw-free graphs. We give examples of a line graphs, which are thus claw-free, whose chromatic symmetric function have a negative coefficient in its Schur expansion. We also give a counterexample to the 2018 conjecture of Monical that Schur positive chromatic symmetric functions have saturated Newton polytope when expanded in any finite number of variables. Both of these examples were found using ChatGPT-5.6 Sol Pro.

A claw-free cubic graph is a cubic graph with no induced subgraph isomorphic to $K_{1,3}$. The zero forcing process begins with an initial set $S$ of colored vertices. At each step, a colored vertex with exactly one uncolored neighbor forces that neighbor to become colored. If repeated applications of this rule color every vertex of $G$, then $S$ is called a zero forcing set. The minimum cardinality of a zero forcing set is the zero forcing number, denoted by $Z(G)$. In this paper, we answer three open questions posed by Davila and Henning concerning upper bounds on the zero forcing number of claw-free cubic graphs. We characterize the connected claw-free cubic graphs satisfying $Z(G)=α(G)+1$, where $α(G)$ is the independence number. In addition, we establish the improved upper bound $Z(G)\leq \frac{T}{2}+D+2$ for claw-free cubic graphs with Hamiltonian contraction multigraphs, where $D$ is the number of diamonds and $T$ is the number of triangles in $G$.

List-coloring, introduced independently by Vizing and by Erdős, Rubin, and Taylor in the 1970s, generalizes ordinary vertex coloring by assigning to each vertex its own set of admissible colors. A graph is chromatic-choosable if its list chromatic number equals its chromatic number. The previous survey on list-coloring by D R Woodall (2001), emphasized defective choosability, the list-coloring conjectures, and different methods used for list-coloring. This survey reviews major developments on list-coloring and chromatic-choosability, with emphasis on graph classes for which equality is known, graph classes exhibiting a nontrivial gap, and the principal methods used to prove such results. The survey covers embedded graphs, perfect graphs, complete bipartite and multipartite graphs, claw-free graphs, line graphs, powers of graphs, graph products, and selected variants of list-coloring.

We consider the INDEPENDENT SET RECONFIGURATION problem under the Token Sliding rule. Let $I$ be an independent set of a simple undirected graph $G$. Suppose that each vertex of $I$ has a token placed on it. The tokens are allowed to be moved, one at a time, by sliding along the edges of $G$, so that after each move, the vertices having tokens always form an independent set of $G$. The problem we deal is to decide if we can transform $I$ into $I'$ through a sequence of steps, each of which involves substituting a vertex in the current independent set with one of its neighbours to obtain another independent set. This problem of determining if one independent set of a graph "is reachable" from another independent set of it is known to be PSPACE-hard even for split graphs, planar graphs, and graphs of bounded treewidth. Polynomial time algorithms have been obtained for certain graph classes like trees, interval graphs, claw-free graphs, bipartite permutation graphs, block graphs, and cographs. We present a polynomial time algorithm for the problem on $P_4$-tidy graphs and $(q,q-4)$-graphs, both families of graphs generalizing cographs.

Given a graph $G$, the domination number $γ(G)$ is the minimum cardinality of a dominating set in $G$, and the packing number $ρ(G)$ is the maximum cardinality of a set of vertices that are pairwise at distance at least $3$. The ratio between these parameters has been widely studied in several graph classes. It is known that $γ(G) \le 2ρ(G)$ for claw-free subcubic graphs, up to finitely many exceptions, and that $γ(G) \le 32ρ(G)$ for unit disk graphs. In this paper, we improve the latter bound by showing that $γ(G) \le 16ρ(G)$ for a unit disk graph $G$. For the former bound, we show that it can be improved in the cubic bridgeless setting; more precisely, every bridgeless claw-free cubic graph $G$ satisfies $γ(G) \le \frac{7}{4}ρ(G) + \frac{5}{6}$. These results are not tight. In fact, we give example of an infinite family of bridgeless cubic graphs $G$ with $γ(G) = 5ρ(G)/4$ and an infnite family of unit disk graphs $G$ in which $γ(G) = 3ρ(G)$.

In this paper, we introduce the notion of $t$-tone edge coloring. A $t$-tone edge $k$-coloring of a graph $G$ assigns to each edge of $G$ a set of $t$ distinct colors from $\{1,\dots,k\}$ such that any two edges at distance $d$ share fewer than $d$ common colors. The $t$-tone chromatic index of $G$, denoted by $τ'_t(G)$, is the minimum integer $k$ for which $G$ admits a $t$-tone edge $k$-coloring. We focus on the case $t=2$ and establish several upper bounds on $τ'_2$. In particular, for every graph $G$ with maximum degree $Δ(G)\ge2$, we prove that $τ'_2(G)\le 6Δ(G)-4$, improving the corresponding bound derived from the vertex analogue. We also show that every tree $T$ with $Δ(T)\ge3$ satisfies $τ'_2(T)=2Δ(T)$. Furthermore, every planar graph $G$ satisfies $τ'_2(G)\le \max\{41,3Δ(G)+5\}$, while every outerplanar graph $G$ satisfies $τ'_2(G)\le \max\{14,3Δ(G)\}$. For subcubic graphs $G$, the vertex analogue yields $τ'_2(G)\le12$. We improve this bound to $11$ for claw-free subcubic graphs and to $10$ for $2$-degenerate subcubic graphs. Finally, we propose two conjectures concerning optimal bounds for cubic and $K_4$-free cubic graphs, and establish them for series-parallel subcubic multigraphs and subcubic outerplanar graphs, respectively.

The domination problem is a well-studied problem in graph theory. In this paper, we study two natural variants: the hop domination problem and the $2$-step domination problem. Let $G$ be a graph with vertex set $V$ and edge set $E$. For a graph $G$, a subset $S \subseteq V(G)$ is called an \emph{hop dominating set} if every vertex not in $S$ lies at distance of exactly $2$ from at least one vertex in $S$. For $v\in V(G)$, let $N(v,2)$ denote the set of vertices in $V(G)$ that are at distance exactly $2$ from $v$. For a graph $G$, a subset $S \subseteq V(G)$ is called an \emph{$2$-step dominating set} if every vertex $v\in V(G)$ lies at a distance of exactly $2$ from at least one vertex in $S$. The \textsc{Hop Domination} (HD) problem and the \textsc{$2$-Step Domination} ($2$SD) problems ask whether a graph contains a hop domination set or a $2$-step domination set of size at most $k$, respectively. We study the computational complexity of these problems, and show that both are NP-complete, even when restricted to $d$-regular graphs for every $d\geq 3$, claw-free graphs and also unit disk graphs.

The conflict-free closed neighborhood (CFCN$^*$) chromatic number of a graph $G = (V,E)$ is the smallest positive integer $k$ for which there exists a coloring of a subset of vertices using $k$ colors such that, for every vertex in $V$, there exists a color that appears exactly once in its closed neighborhood. The conflict-free open neighborhood (CFON$^*$) chromatic number is defined analogously. In this paper, we study `list variants' of the above-mentioned coloring parameters. The conflict-free closed neighborhood (CFCN$^*$) choice number of a graph $G = (V,E)$ is the smallest positive integer $k$ such that for every assignment of lists of size $k$ to its vertices, there exists a coloring of a subset of vertices, say $V'$, in which (i) every vertex in $V'$ receives a color from its list, and (ii) for every vertex in $V$ there exists some color that appears exactly once in its closed neighborhood. The conflict-free open neighborhood (CFON$^*$) choice number is defined analogously. Dębski and Przybyło [Journal of Graph Theory, 2022] showed that for any graph $G$ with maximum degree $Δ$, the CFCN$^*$ chromatic number of its line graph is $O(\ln Δ)$. This result was later extended to claw-free graphs by Bhyravarapu et al. [Journal of Graph Theory, 2025], who proved that every $K_{1,k}$-free graph $G$ admits a CFCN$^*$ coloring using $O(k\ln Δ)$ colors. In this paper, we generalize this result to the list setting and show that every $K_{1,k}$-free graph $G$ has a CFCN$^*$ choice number of $O(k\ln Δ)$. Further, we answer some questions concerning the hardness of computing CFCN$^*$/CFON$^*$ choice numbers posed by Gupta and Mathew [SOFSEM, 2026]; in particular, we show that it is NP-hard to determine whether the CFCN$^*$/CFON$^*$ choice number a graph is equal to $k$, for $k=1,2$.

The conflict-free chromatic index of a graph $G$ is the minimum number of colours in an edge colouring of $G$ such that the neighbourhood of every edge contains a colour appearing exactly once. Its vertex analogue is the conflict-free chromatic number. These two parameters naturally coincide when the second is applied to the line graph of $G$. It is known that two variants of the latter parameter exhibit substantially different behaviour. For closed vertex neighbourhoods, where each vertex belongs to its own neighbourhood, it is known that $O(\ln^2 Δ)$ colours suffice, where $Δ$ denotes the maximum degree of $G$, and this bound is tight in order. In contrast, for open neighbourhoods, the corresponding parameter can be as large as $Δ+1$, but is bounded above by $O(\ln^{2+\varepsilon} Δ)$ for claw-free graphs. Since line graphs are claw-free, this yields the best known general upper bound for the edge analogue in the setting of open neighbourhoods. For closed edge neighbourhoods, a stronger general upper bound of $3\log_2 Δ+ 4$ is known. In this paper, we show that for both variants, the conflict-free chromatic index is bounded above by $(1+o(1))\log_2 Δ$. Since complete graphs require at least $(1 - o(1)) \log_2 Δ$ colours in the closed as well as the open setting, our result is asymptotically tight in order and in the leading constant. Moreover, we strengthen this conclusion by showing that $(1 - o(1)) \log_2 Δ$ colours are also typically necessary, as we prove this asymptotically almost surely for random graphs in both dense and relatively sparse regimes. Our proofs combine the probabilistic method with deterministic graph decomposition techniques, as well as new results relating the parameters under consideration with the chromatic number of a graph.

Inspired by the majority colorings and C-colorings, we introduce and study the majority C-coloring of graphs. In such a vertex coloring, every vertex shares its color with at least half of its neighbors. The maximum number of colors that can be used in a majority C-coloring of a graph $G$ is called the majority C-chromatic number and denoted by $\mc(G)$. An upper bound on $\mc(G)$ is proved in terms of the order, minimum, and maximum degree. Its sharpness is demonstrated by several results over different graph classes. In particular, $\mc(P_n^k)= \mc(C_n^k)= \lfloor n/(k+1)\rfloor$ is true for the $k$-th power of a path and a cycle if $n \ge k+1$. Further, $\mc(G) = (n-d)/3$ holds if $G$ is a $(\mbox{claw}, K_4)$-free cubic graph and contains $d$ diamonds. %claw-free cubic graph on $n \ge 6$ vertices and contains $d$ diamonds. It is further shown that the majority C-chromatic number is not monotone under edge deletion. In fact, both the lower and upper bounds are sharp in the inequality chain $\mc(G)-2 \leq \mc(G-e) \leq \mc(G) +1$. The minimum and maximum number of edges in an $n$-vertex graph $G$ with $\mc(G)=k$ are determined for every $n$ and $k$. It is also pointed out that the classical chromatic number $χ(G)$ and $\mc(G)$ are incomparable, and the difference $\mc(G)-χ(G)$ can take any positive or negative integer. On the other hand, $\mc(G)+χ(G) \leq n+1$ holds for every graph $G$ of order $n$. The decision problem of whether $\mc(G) \ge k$ holds is NP-complete for every fixed $k\ge 2$. In contrast, some sufficient conditions for $\mc(G) \ge 2$ are proved, and a linear-time algorithm is presented that determines $\mc(T)$ if $T$ is a tree.

For a graph $G$, let $f_o(G)$ denote the maximum order of an induced subgraph of $G$ all of whose vertices have odd degree, and let $χ(G)$ denote the chromatic number of $G$. Scott (CPC, 1992) proved that $f_o(G) \ge |V(G)|/(2χ(G))$ for every graph without isolated vertices, and conjectured that the factor $2$ can be removed. Wang and Wu (JGT, 2024) showed that this conjecture fails for bipartite graphs, but holds for line graphs. In this article, we confirm Scott's conjecture for claw-free graphs without isolated vertices, thereby strengthening the result of Wang and Wu. We also construct $K_{1,r}$-free graphs of arbitrarily large order to show that the conjecture fails for this broader class, for every integer $r \ge 4$. Wang and Wu also asked whether $f_o(L(G)) \ge n/2$ holds for every connected regular graph $G$ of order $n \ge 3$. We show that $C_5$ is the smallest counterexample to this problem. On the positive side, we prove that if $G$ is a connected $k$-regular $C_5$-free graph on $n$ vertices with $k \ge 2$, then $f_o(L(G)) \ge n/2$.

We study separating matchings in graphs, that is, matchings whose removal increases the number of connected components, and focus on determining the maximum size of such a matching in a graph $G$, denoted by $\mathrm{mms}(G)$. We show that every subcubic graph admits a separating matching, except for exactly eight graphs, which allows us to focus on bounding $\mathrm{mms}(G)$ for cubic graphs. Our main results show that every cubic graph $G$ on $n$ vertices that admits a separating matching satisfies $\mathrm{mms}(G) \ge n/2 - 2$. For bipartite cubic graphs, assuming a conjecture of Funk, the problem reduces to a recursively defined class $\mathcal{F}$, for which we prove that $\mathrm{mms}(G) \ge n/2 - 1$, up to four exceptional graphs. In contrast, we show that every claw-free cubic graph satisfies $\mathrm{mms}(G) = n/2$. These results extend previous work on matching cuts and disconnected $2$-factors, and provide the first systematic study of maximum separating matchings.

For a non-decreasing sequence $S=(s_1,s_2,\dots,s_k)$, an $S$-packing coloring of a graph $G$ is a vertex coloring using the colors $s_1,s_2,\dots,s_k$ such that any two vertices assigned the same color $s_i$ are at distance greater than $s_i$. A subcubic graph is said to be $k$-saturated, for $0\le k\le3$, if every vertex of degree 3 is adjacent to at most $k$ vertices of degree~3. The \emph{local girth} of a vertex is the length of the smallest cycle containing it. Brešar, Kuenzel, and Rall [\textit{Discrete Math.} 348(8) (2025),~114477] proved that every claw-free cubic graph is $(1,1,2,2)$-packing colorable, confirming the conjecture for this family. Equivalently, a claw-free cubic graph is one in which each $3$-vertex has local girth~3. Motivated by this observation and by recent progress on $S$-packing colorings of $k$-saturated subcubic graphs, we study the influence of local girth on their $S$-packing colorability. We establish a series of results describing how the parameters of saturation and local girth jointly determine the admissible $S$-packing sequences. Sharpness is verified through explicit constructions, and several open problems are posed to delineate the remaining cases.