arXiv subjects

Hal Kierstead

Publications and source records attributed to Hal Kierstead.

6 recordsLinked to original sources

arXiv2026

The Hajnal-Szemer\'edi 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\'edi theorem for digraphs proved by Czygrinow, DeBiasio, Kierstead, and Molla (which in turn imply the original Hajnal-Szemer\'edi 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\'edi 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.

math.CO↗

arXiv2015

Extracting list colorings from large independent sets

We take an application of the Kernel Lemma by Kostochka and Yancey to its logical conclusion. The consequence is a sort of magical way to draw conclusions about list coloring (and online list coloring) just from the existence of an independent set incident to many edges. We use this to prove an Ore-degree version of Brooks' Theorem for online list-coloring. The Ore-degree of an edge $xy$ in a graph $G$ is $\theta(xy) = d_G(x) + d_G(y)$. The Ore-degree of $G$ is $\theta(G) = \max_{xy\in E(G)}\theta(xy)$. We show that every graph with $\theta\ge18$ and $\omega\le\frac{\theta}{2}$ is online $\left\lfloor \frac{\theta}{2}\right\rfloor $-choosable. In addition, we prove an upper bound for online list-coloring triangle-free graphs: $\chi_{OL}\le\Delta+1-\lfloor\frac{1}{4}\lg(\Delta)\rfloor$. Finally, we characterize Gallai trees as the connected graphs $G$ with no independent set incident to at least $|G|$ edges.

math.CO↗

arXiv2014

Improved lower bounds on the number of edges in list critical and online list critical graphs

We prove that every $k$-list-critical graph ($k \ge 7$) on $n \ge k+2$ vertices has at least $\frac12 \left(k-1 + \frac{k-3}{(k-c)(k-1) + k-3}\right)n$ edges where $c = (k-3)\left(\frac12 - \frac{1}{(k-1)(k-2)}\right)$. This improves the bound established by Kostochka and Stiebitz. The same bound holds for online $k$-list-critical graphs, improving the bound established by Riasat and Schauz. Both bounds follow from a more general result stating that either a graph has many edges or it has an Alon-Tarsi orientable induced subgraph satisfying a certain degree condition.

math.CO↗

arXiv2013

On choosability with separation of planar graphs with lists of different sizes

A (k,d)-list assignment L of a graph G is a mapping that assigns to each vertex v a list L(v) of at least k colors and for any adjacent pair xy, the lists L(x) and L(y) share at most d colors. A graph G is (k,d)-choosable if there exists an L-coloring of G for every (k,d)-list assignment L. This concept is also known as choosability with separation. It is known that planar graphs are (4,1)-choosable but it is not known if planar graphs are (3,1)-choosable. We strengthen the result that planar graphs are (4,1)-choosable by allowing an independent set of vertices to have lists of size 3 instead of 4.

math.CO↗

arXiv2010

Toward a Hajnal-Szemeredi theorem for hypergraphs

Let $H$ be a triple system with maximum degree $d>1$ and let $r>10^7\sqrt{d}\log^{2}d$. Then $H$ has a proper vertex coloring with $r$ colors such that any two color classes differ in size by at most one. The bound on $r$ is sharp in order of magnitude apart from the logarithmic factors. Moreover, such an $r$-coloring can be found via a randomized algorithm whose expected running time is polynomial in the number of vertices of $\cH$. This is the first result in the direction of generalizing the Hajnal-Szemer\'edi theorem to hypergraphs.

math.CO↗

arXiv2004

A Note on Graph Pebbling

We say that a graph G is Class 0 if its pebbling number is exactly equal to its number of vertices. For a positive integer d, let k(d) denote the least positive integer so that every graph G with diameter at most d and connectivity at least k(d) is Class 0. The existence of the function k was conjectured by Clarke, Hochberg and Hurlbert, who showed that if the function k exists, then it must satisfy k(d)=Ω(2^d/d). In this note, we show that k exists and satisfies k(d)=O(2^{2d}). We also apply this result to improve the upper bound on the random graph threshold of the Class 0 property.

math.CO↗