graph
34516 papers tagged with this keyword
On ${\rm b}^{\ast}$-Coloring and $z$-Coloring of graphs with high girth
In a proper vertex coloring $c$ of a graph $G$, a vertex $u$ is called a b-vertex if $u$ is adjacent to a vertex in every other color class. A ${\rm b}^{\ast}$-coloring is a proper coloring in which a b-vertex is adjacent to a b-vertex in every other color class. A Grundy coloring is a proper coloring obtained by the First-Fit (greedy) coloring procedure. A $z$-coloring of $G$ is a ${\rm b}^{\ast}$-coloring that is also a Grundy coloring. The ${\rm b}^{\ast}$-chromatic number (resp., $z$-chromatic number), denoted by ${\rm b}^{\ast}(G)$ (resp., $z(G)$), is the maximum number of colors used in a ${\rm b}^{\ast}$-coloring (resp., $z$-coloring) of $G$. Every graph admits a ${\rm b}^{\ast}$-coloring and a $z$-coloring that can be found using a polynomial-time coloring heuristic. Let ${\rm m}^{\ast}(G)$ be the largest integer $k$ such that a vertex of degree at least $k$ in $G$ has $k$ neighbors of degree at least $k$. We employ list-coloring techniques to prove that if $G$ has a girth of at least $7$, then ${\rm b}^{\ast}(G) = {\rm m}^{\ast}(G)+ 1$. A similar result is obtained for graphs of girth at least $6$ when ${\rm m}^{\ast}=3$. Finally, we prove that if the girth is at least $2k+2$ and $G$ contains a specific tree as an ordinary subgraph, then $z(G)\geq k$.
Two Relaxations of the Dominating Hadwiger's Conjecture
Illingworth and Wood recently proposed the Dominating Hadwiger's Conjecture, a strengthening of Hadwiger's Conjecture which asserts that every graph with no dominating $K_t$-model is $(t-1)$-colorable. We prove two relaxations of this conjecture. First, we show that every graph with average degree $Ct (\log t)^2$ contains a dominating $K_t$-model for some absolute constant $C$. This bound improves on the $2^{t-2}$ due to Illingworth and Wood and is within an $O(\log t)$ factor from optimal. Second, we prove that the vertices of every graph with no dominating $K_t$-model can be partitioned into $t-1$ parts such that the subgraph induced by each part has bounded maximum degree.
The Hajnal-Szemerédi theorem in digraphs revisited
Treglown conjectured (in a complementary form) that for every positive integer $k$, every digraph $D$ satisfying $\min\{d^+(v),d^-(v)\}\le k-1$ for all $v\in V(D)$ has an equitable acyclic $k$-coloring. If true, this would imply the acyclic coloring versions of the Hajnal-Szemerédi theorem for digraphs proved by Czygrinow, DeBiasio, Kierstead, and Molla (which in turn imply the original Hajnal-Szemerédi theorem for graphs).
As it turns out, there is a simple reduction implicit in Aboulker, Oijid, Petit, Rocton, and Simon which surprisingly shows that Treglown's conjecture (and thus the results of Czygrinow, DeBiasio, Kierstead, and Molla) follows directly from the original Hajnal--Szemerédi theorem for graphs. We slightly modify the reduction in order to show that there exists a polynomial time algorithm for finding an equitable acyclic $k$-coloring in such a digraph.
On the Turán Density of $C_{10}$ in the Hypercube
The $n$-dimensional hypercube $Q_n$ is the graph with vertex set $\{0,1\}^n$ in which two vertices are adjacent if they differ in exactly one coordinate. For a graph $H$, let $\operatorname{ex}(Q_n,H)$ be the maximum number of edges in an $H$-free subgraph of $Q_n$. The hypercube Turán density of $H$ is defined by $π_{\square}(H) = \lim_{n \rightarrow \infty} \operatorname{ex}(Q_n,H)/|E(Q_n)|$. In this short note, we prove \[
π_{\square}(C_{10})\leq π_{\square}(C_6). \] Combined with Baber's upper bound on $π_{\square}(C_6)$, this yields $π_{\square}(C_{10})\leq 0.36577$. Our proof first bounds the number of copies of $C_6$ in $C_{10}$-free subgraphs of $Q_n$, and then applies an averaging argument over the subcubes of $Q_n$.
Complexity and algorithms for proper conflict-free coloring in graphs
A proper conflict-free (PCF) $k$-coloring of a graph $G$ is a proper $k$-coloring such that there exists a color that appears exactly once in the neighborhood of every non-isolated vertex $v\in V(G)$. The PCF chromatic number, denoted by $χ_{pcf}(G)$, is the least integer $k$ such that there exists a PCF $k$-coloring of $G$. Given a graph $G$ and a positive integer $k$, PCF $k$-COLORABILITY is to decide whether $G$ admits a PCF $k$-coloring. Ahn et al. [Discrete Appl. Math. 377 (2025) 10-17] proved that PCF $k$-COLORABILITY is NP-complete for bipartite graphs. We strengthen this result by proving that PCF $k$-COLORABILITY is NP-complete for perfect elimination bipartite graphs, which is a proper subclass of bipartite graphs. We also show that the PCF chromatic number of a graph cannot be approximated within $O(n^{1-\varepsilon})$ unless P=NP, for any $\varepsilon>0$. On the positive side, we provide linear-time algorithms for PCF $k$-COLORABILITY in block graphs, proper interval graphs, chain graphs, and pseudo-split graphs. We show that $χ_{pcf}(G)\leq ω(G)+1$ for block graphs, proper interval graphs, and pseudo-split graphs (except $C_5$), and we characterize all graphs for which the equality holds.
How Difficult Is It to Recognize CIS Graphs?
A graph $G$ is called $CIS$ if each maximal clique intersects each maximal stable set of $G$, with maximality taken with respect to set inclusion. CIS graphs resemble perfect graphs in several respects and have interesting applications in game theory. The complexity of recognizing CIS graphs was posed as an open problem by Chvátal in the 1990s and has since led to conflicting conjectures. We settle the problem by showing that recognizing CIS graphs is $\mathsf{coNP}\text{-complete}$.
Deletion-contraction properties of graphically stable spaces
Graphically stable spaces $\overline{\mathcal{M}}_{g,G}$ parametrize marked nodal curves whose permitted collisions of markings are determined by a graph. We study intersection numbers of $ψ$-classes on $\overline{\mathcal{M}}_{g,G}$, as well as the classes $[M_{g,G}]$ in the Grothendieck ring of varieties. In both settings, we show that the geometry is governed by an underlying graphical structure, expressed through deletion-contraction relations. As consequences, we derive string and dilaton equations and express several families of $ψ$-class integrals in terms of the chromatic polynomial. We also express the Grothendieck class of $M_{0,G}$ over an arbitrary field in terms of the chromatic polynomial and identify various Euler characteristics with combinatorial quantities. Along the way, we obtain a new formula for Crapo's $β$-invariant of graphs. Finally, we extend these relations to genus one and, under a chromatic condition, to higher genus.
Multiway $f$-Cut is fixed-parameter tractable
A connectivity function on a finite set $E$ is a function $f\colon 2^E\to\mathbb Z$ that is submodular and symmetric, with $f(\varnothing)=0$. Given a connectivity function $f$ via a value oracle, terminals $t_1,\ldots,t_r\in E$, and an integer $k$, the Multiway $f$-Cut problem asks whether $E$ has a partition $(P_1,\ldots,P_r)$ with $t_i\in P_i$ for every $i$ and $\sum_{i=1}^r f(P_i)\le k$. We prove that Multiway $f$-Cut is fixed-parameter tractable parameterized by $k$.
Cut functions of graphs are connectivity functions, so as a special case we recover the classical result that Edge Multiway Cut in graphs is fixed-parameter tractable. Our proof of correctness is completely elementary, and is arguably the simplest known proof of this fact.
Spectral gap of the normalized distance Laplacian
The smallest positive eigenvalue $\partial_2$ of the normalized distance Laplacian matrix $\mathcal{D}^{\mathcal{L}}$ of a connected graph is called its \emph{spectral gap} and is intimately related to the Cheeger constant of $\mathcal{D}^{\mathcal{L}}$. Byrne, Johnston, Schildkraut and Tait (2025) conjectured that
\[ \partial_2 \ge \frac{2}{3}\] for all connected graphs. We prove the following stronger result: for any connected graph $G$ of order at least 2, \[\partial_2 \ge \frac{2}{3} + \frac{4}{3\,t_{\max}},\] where $t_{\max}$ denotes the maximum transmission in $G$. Moreover, equality holds if and only if $G\cong K_{m,m}$ for some $m\ge 1$.
Zero transfer on mixed graphs
In this paper, we investigate zero transfer on mixed graphs. Zero transfer is a quantum walk phenomenon in which the transition amplitude between two vertices is identically zero for all times, so that no quantum state transfer occurs between them. Using the Hermitian adjacency matrix, we derive necessary and sufficient conditions for zero transfer in mixed graphs. We then specialize these criteria to oriented circulant graphs, obtaining nonexistence results for prime order, structural restrictions for even order, and exhaustive computational classifications for small orders.
Fixed forests in the minimum spanning tree and cubic volume growth
Let $M_n$ be the minimum spanning tree of the complete graph $K_n$ with i.i.d.\ uniform edge weights. For a fixed forest $F$ with connected components $T_1, \ldots, T_d$, we show that there exists a function $Ψ$ on finite trees such that $$
n^{|E(F)|} \mathbb{P}_n(F \subseteq M_n) \longrightarrow \prod_{i=1}^d Ψ(T_i). $$ We give a recursive description of $Ψ$ and calculate it explicitly for several small trees. For the star $S_k$ and the path $P_k$, we prove that $Ψ(S_k) \sim ζ(2)^k$ and $Ψ(P_k) \sim k^2/12$, respectively. We also show that the expected size of a ball of radius $r$ is asymptotic to $r^3/36$, and give exponential tail bounds.
Zero-sum Inverse Realization and Property~(P) under Join Operations
We introduce zero-sum inverse realization of property (P) of a graph $G$, obtained by imposing an additional condition \( \mathbf{1}^{\top}A^{-1}\mathbf{1}=0, \) on a matrix $A\in S(G)$ realizing property (P), where $\mathbf{1}$ is the all-ones vector. We prove that every graph of order at least three having property (P) admits such a zero-sum inverse realization. As applications, we prove that property~(P) is preserved under the join of two graphs of order at least $3$ and, more generally, under the $H$-join of a family of graphs of order at least $3$, where $H$ is arbitrary. Consequently, we obtain sufficient conditions for cographs and lexicographic products of graphs to possess property~(P). Throughout the paper, many examples are given.
Counterexamples to two conjectures on modular edge colorings of graphs
For an integer $k\geq2$, let $χ_k'(G)$ denote the minimum number of colors in an edge-coloring of a graph $G$ such that every nonzero degree in each color subgraph is congruent to $1\pmod{k}$. A graph is a $0_k$-graph if every vertex degree is divisible by $k$. We disprove a conjecture of Berthe et al.\ (On modular edge colorings of graphs, SIAM J. Discrete Math. 40 (2026) 897--904), which states that $χ_k'(G)\leq k+o(k)$ for every $0_k$-graph $G$. We prove a lower bound for $0_k$-graphs with degree set $\{k,2k\}$ and a specified vertex partition. With a suitable choice of the part sizes, if the number of edges inside one part is $o(k^2)$, then $χ_k'(G)\geq(4-2\sqrt2+o(1))k$. This gives connected bipartite and connected nonbipartite counterexamples. In particular, the same examples also disprove the earlier conjecture of Botler, Colucci, and Kohayakawa (The mod $k$ chromatic index of graphs is $O(k)$, J. Graph Theory 102 (2023) 197--200), which states that $χ_k'(G)\leq k+C$ for some absolute constant $C$.
A higher-connectivity spectral Ore theorem for triangle-free graphs
Let $B_{n,k}$ be the graph obtained from the balanced complete bipartite graph on $n$ vertices by deleting a matching of size $k$. If $G$ is an $n$-vertex triangle-free graph with $κ(\comp G)\geq k$, we prove that $\rhoA(G)\leq\rhoA(B_{n,k})$ for $n\geq4k+2$, with equality precisely when $G\cong B_{n,k}$, and we compute $\rhoA(B_{n,k})$ explicitly. We also solve the bipartite problem for every $n\geq2k+1$, determine the boundary value $\operatorname{spex}_κ(2k,K_3;k)=k-1$, and settle the full problem for $k=2$. In particular, $B_{n,2}$ is uniquely extremal exactly from order $6$ onward. For $k=1$, equivalently when the complement is connected, $B_{n,1}=K_{\ceil{n/2},\floor{n/2}}-e$ is uniquely extremal for every $n\geq3$.
Degree Game for Special Regular Graphs
For a given $d$-regular graph $G$, a Maker-Breaker degree game is played by two players who alternately claim previously unclaimed edges of $G$. In the standard variant, the goal of Maker is to maximize the maximum degree of their induced subgraph, while Breaker aims to minimize it, or equivalently, to guarantee a certain minimum degree in their own subgraph. A classic pairing strategy shows that Breaker can secure at least $\lfloor d/4 \rfloor$ edges at every vertex of any $d$-regular graph. Breaking this bound for general or even for specific classes of graphs has been a long-standing open problem in combinatorial game theory; indeed, J. Beck characterized this challenge in his monograph as the first among the seven most humiliating open problems of positional game theory. In this paper, we improve the $d/4$ bound for some infinite graph families, such as the hypercube graph $Q_d$, grids and tori. We first show that Breaker can secure a degree of one at every vertex in $Q_3$, then lift this to higher dimensions, where Breaker can guarantee a degree of at least $\lfloor d/3 \rfloor$.
Chooser-Picker Degree Games for Regular Graphs
In the unbiased Chooser-Picker (also known as Client-Waiter) game played on the edge set of a graph, Picker offers a pair of unclaimed edges in each turn, Chooser claims one, and the remaining edge goes back to Picker. We study the Chooser-Picker (C-P) degree game played on $d$-regular graphs, where Chooser aims to maximize the maximum degree of their induced subgraph, and Picker's objective is to defend every vertex by securing a certain minimum degree in Picker's own subgraph. While classical static pairing strategies guarantee a minimum degree of at least $\lfloor d/4 \rfloor$ for Breaker on general $d$-regular graphs in Maker-Breaker (M-B) games and for Picker in C-P games, outperforming this threshold has been a major open challenge in both frameworks. According to the foundational monograph of J. Beck, this challenge stands as the first among the seven most humiliating problems in combinatorial game theory. Our main result is that Picker can beat the $d/4$ bound. First, we prove that Picker can always guarantee a degree of at least one at every vertex on any $3$-regular graph. Based upon this we introduce a direct strategy to prove that Picker can secure a degree of at least $\lfloor d/3 \rfloor$ at every vertex for any $d$-regular graph. This highlights a fundamental structural advantage that Picker usually possesses over Breaker in sparse local games.
A 5/4 bound for graphic $s$-$t$ path TSP on subcubic graphs
We study the graphic $s$-$t$ path TSP on subcubic graphs (maximum degree 3): given two vertices $s,t$, find a shortest walk from $s$ to $t$ that visits every vertex. Our main result is that the optimal $5/4$ coefficient is attained for every terminal pair -- including the difficult case where deleting both $s$ and $t$ disconnects the graph. Concretely, every pair of distinct vertices $s,t$ in a simple 2-connected subcubic graph $G$ admits a spanning $s$-$t$ walk of length at most $\lfloor(5n+n_2(G))/4\rfloor-1$, where $n=|V(G)|$ and $n_2(G)$ is the number of degree-2 vertices; the asymptotic coefficient $5/4$ cannot be improved, and a simple $O(n^2)$ algorithm finds a walk of length at most $\lfloor(5n+n_2(G))/4\rfloor$.
An edge-rooted even-cover theorem of Wigal, Yoo, and Yu, combined with a short conversion lemma proved here, gives a bound of this form only when $s$ and $t$ are the two endpoints of a given edge; we remove that adjacency restriction. For cubic graphs ($n_2(G)=0$) the bound reads $\lfloor 5n/4\rfloor-1$, to our knowledge the first $5/4$ bound for cubic path TSP proved directly rather than through the general path-to-tour reduction.
Kohayakawa's conjecture and clique coverings of complements of paths and cycles
For $s\ge1$, let $G_s$ be the bipartite graph between the $s$-subsets and the $(s-1)$-subsets of $[2s]$, where adjacency means disjointness, and let $w(s)$ be the maximum number of $s$-subsets on an induced path in $G_s$. We prove $w(s)\ge \frac{4^s}{2048s^{5/2}}$ for all $s\geq 6$. This implies $\sup_{s\ge1}w(s)^{1/s}=4$, as conjectured by Kohayakawa (1991). His recursive construction then gives induced paths of order $Ω(4^r/r^{5/2})$ in the Kneser graph $KG(2r+1,r)$ and yields \[
\max\{\cc(\overline{P_n}),\ \cc(\overline{C_n})\}
\le \log_2 n+\frac52\log_2\log_2 n+O(1). \] Together with the known lower bounds, this settles a conjecture of de Caen, Gregory, and Pullman (1985) and gives \[
\cc(\overline{P_n})=\log_2 n+Θ(\log_2\log_2 n),
\qquad
\cc(\overline{C_n})=\log_2 n+Θ(\log_2\log_2 n). \] We also give an independent proof of the latter order estimates. It uses a Hamiltonicity result of Kneser graphs and a key lemma proved by the Lovász local lemma.
Released packing functions in graphs
We introduce and start the study of a variant of packing functions in graphs. Given a graph $G$ with vertex set $V$ and nonnegative integer vectors $\mathbf{k}=(k_v)_{v\in V}$, $\boldsymbol\ell=(l_v)_{v\in V}$ and $\mathbf{u}=(u_v)_{v\in V}$, a function $f : V \rightarrow \mathbb{Z}_0^+$ is a Released $( \mathbf{k}, \boldsymbol\ell, \mathbf{u})$-packing function of $G$ if $l_v\leq f(v)\leq u_v$ for every $v\in V$ and the sum of the values of $f$ over the closed neighborhood of vertices $v$ with $f(v) = u_v$ is at most $k_v$. The weight of $f$ is the value $f(V) = \sum_{v\in V} f(v)$. We study the associated decision problem (RPP), which asks, given $G$, $\mathbf{k}$, $\boldsymbol\ell$, $\mathbf{u}$ and an integer number $x$, whether $G$ admits a Released $( \mathbf{k}, \boldsymbol\ell, \mathbf{u})$-packing function of weight at least $x$. We relate RPP to the $r$-dependent set problem, derive several NP-hardness results, model RPP as a compact (polynomial in size) Integer Linear Program, and take the first steps of a polyhedral study.
A reformulation of the discrete Convexity Conjecture via $k$-thresholds
We introduce the notion of "$k$-thresholds'' and show that Talagrand's discrete convexity conjecture is equivalent to the assertion that, for some universal integer $k \ge 2$, the $k$-threshold of every increasing family is at most a universal constant times its expectation threshold. We prove a reduction theorem that bounds the $k$-threshold of any increasing graph property in terms of ordinary thresholds of graphs in suitable decompositions of its members. As a consequence, we determine, up to a constant factor, the $k$-threshold of every fixed graph in terms of a natural $k$-density parameter. We also prove that $k=2$ suffices for several classical spanning graph containment properties. More generally, we establish the conjectured comparison between $k$-thresholds and expectation thresholds for broad classes of graph containment properties whose target graphs have low degeneracy.