Papers by Michael J. Pelsmajer
10 paper(s) by this author
· All BibTeX
Flexible list colorings: Maximizing the number of requests satisfied
Published
• View Publication
• BIB
Flexible list coloring was introduced by Dvořák, Norin, and Postle in 2019. Suppose $0 \leq ε\leq 1$, $G$ is a graph, $L$ is a list assignment for $G$, and $r$ is a function with non-empty domain $D\subseteq V(G)$ such that $r(v) \in L(v)$ for each $v \in D$ ($r$ is called a request of $L$). The triple $(G,L,r)$ is $ε$-satisfiable if there exists a proper $L$-coloring $f$ of $G$ such that $f(v) = r(v)$ for at least $ε|D|$ vertices in $D$. We say $G$ is $(k, ε)$-flexible if $(G,L',r')$ is $ε$-satisfiable whenever $L'$ is a $k$-assignment for $G$ and $r'$ is a request of $L'$. It was shown by Dvořák et al. that if $d+1$ is prime, $G$ is a $d$-degenerate graph, and $r$ is a request for $G$ with domain of size $1$, then $(G,L,r)$ is $1$-satisfiable whenever $L$ is a $(d+1)$-assignment. In this paper, we extend this result to all $d$ for bipartite $d$-degenerate graphs.
The literature on flexible list coloring tends to focus on showing that for a fixed graph $G$ and $k \in \mathbb{N}$ there exists an $ε> 0$ such that $G$ is $(k, ε)$-flexible, but it is natural to try to find the largest possible $ε$ for which $G$ is $(k,ε)$-flexible. In this vein, we improve a result of Dvořák et al., by showing $d$-degenerate graphs are $(d+2, 1/2^{d+1})$-flexible. In pursuit of the largest $ε$ for which a graph is $(k,ε)$-flexible, we observe that a graph $G$ is not $(k, ε)$-flexible for any $k$ if and only if $ε> 1/ ρ(G)$, where $ρ(G)$ is the Hall ratio of $G$, and we initiate the study of the list flexibility number of a graph $G$, which is the smallest $k$ such that $G$ is $(k,1/ ρ(G))$-flexible. We study relationships and connections between the list flexibility number, list chromatic number, list packing number, and degeneracy of a graph.
Strong Hanani-Tutte for the Torus
If a graph can be drawn on the torus so that every two independent edges cross an even number of times, then the graph can be embedded on the torus.
On Equitable List Arboricity of Graphs
Equitable list arboricity, introduced by Zhang in 2016, generalizes the notion of equitable list coloring by requiring the subgraph induced by each color class to be acyclic (instead of edgeless) in addition to the usual upper bound on the size of each color class. Graph $G$ is equitably $k$-list arborable if an equitable, arborable list coloring of $G$ exists for every list assignment for $G$ that associates with each vertex in $G$ a list of $k$ available colors. Zhang conjectured that any graph $G$ is equitably $k$-list arborable for each $k$ satisfying $k \geq \lceil (1+Δ(G))/2 \rceil$. We verify this conjecture for powers of cycles by applying a new lemma which is a general tool for extending partial equitable, arborable list colorings. We also propose a stronger version of Zhang's Conjecture for certain connected graphs: any connected graph $G$ is equitably $k$-list arborable for each $k$ satisfying $k \geq \lceil Δ(G)/2 \rceil$ provided $G$ is neither a cycle nor a complete graph of odd order. We verify this stronger version of Zhang's Conjecture for powers of paths, 2-degenerate graphs, and certain other graphs. We also show that if $G$ is equitably $k$-list arborable it does not necessarily follow that $G$ is equitably $(k+1)$-list arborable which addresses a question of Drgas-Burchardt, Furmanczyk, and Sidorowicz (2018).
Partial DP-Coloring
Published
• View Publication
• BIB
In 1980, Albertson and Berman introduced partial coloring. In 2000, Albertson, Grossman, and Haas introduced partial list coloring. Here, we initiate the study of partial coloring for an insightful generalization of list coloring introduced in 2015 by Dvořák and Postle, DP-coloring (or correspondence coloring). We consider the DP-coloring analogue of the Partial List Coloring Conjecture, which generalizes a natural bound for partial coloring. We show that while this partial DP-coloring conjecture does not hold, several results on partial list coloring can be extended to partial DP-coloring. We also study partial DP-coloring of the join of a graph with a complete graph, and we present several interesting open questions.
A Simple Characterization of Proportionally 2-choosable Graphs
Published
• View Publication
• BIB
We recently introduced proportional choosability, a new list analogue of equitable coloring. Like equitable coloring, and unlike list equitable coloring (a.k.a. equitable choosability), proportional choosability bounds sizes of color classes both from above and from below. In this note, we show that a graph is proportionally 2-choosable if and only if it is a linear forest such that its largest component has at most 5 vertices and all of its other components have two or fewer vertices. We also construct examples that show that characterizing equitably 2-choosable graphs is still open.
Proportional Choosability: A New List Analogue of Equitable Coloring
Published
• View Publication
• BIB
In 2003, Kostochka, Pelsmajer, and West introduced a list analogue of equitable coloring called equitable choosability. In this paper, we motivate and define a new list analogue of equitable coloring called proportional choosability. A $k$-assignment $L$ for a graph $G$ specifies a list $L(v)$ of $k$ available colors for each vertex $v$ of $G$. An $L$-coloring assigns a color to each vertex $v$ from its list $L(v)$. For each color $c$, let $η(c)$ be the number of vertices $v$ whose list $L(v)$ contains $c$. A proportional $L$-coloring of $G$ is a proper $L$-coloring in which each color $c \in \bigcup_{v \in V(G)} L(v)$ is used $\lfloor η(c)/k \rfloor$ or $\lceil η(c)/k \rceil$ times. A graph $G$ is proportionally $k$-choosable if a proportional $L$-coloring of $G$ exists whenever $L$ is a $k$-assignment for $G$. We show that if a graph $G$ is proportionally $k$-choosable, then every subgraph of $G$ is also proportionally $k$-choosable and also $G$ is proportionally $(k+1)$-choosable, unlike equitable choosability for which analogous claims would be false. We also show that any graph $G$ is proportionally $k$-choosable whenever $k \geq Δ(G) + \lceil |V(G)|/2 \rceil$, and we use matching theory to completely characterize the proportional choosability of stars and the disjoint union of cliques.
Total Equitable List Coloring
Published
• View Publication
• BIB
An equitable coloring is a proper coloring of a graph such that the sizes of the color classes differ by at most one. A graph $G$ is equitably $k$-colorable if there exists an equitable coloring of $G$ which uses $k$ colors, each one appearing on either $\lfloor |V(G)|/k \rfloor$ or $\lceil |V(G)|/k \rceil$ vertices of $G$. In 1994, Fu conjectured that for any simple graph $G$, the total graph of $G$, $T(G)$, is equitably $k$-colorable whenever $k \geq \max\{χ(T(G)), Δ(G)+2\}$ where $χ(T(G))$ is the chromatic number of the total graph of $G$ and $Δ(G)$ is the maximum degree of $G$. We investigate the list coloring analogue. List coloring requires each vertex $v$ to be colored from a specified list $L(v)$ of colors. A graph is $k$-choosable if it has a proper list coloring whenever vertices have lists of size $k$. A graph is equitably $k$-choosable if it has a proper list coloring whenever vertices have lists of size $k$, where each color is used on at most $\lceil |V(G)|/k \rceil$ vertices. In the spirit of Fu's conjecture, we conjecture that for any simple graph $G$, $T(G)$ is equitably $k$-choosable whenever $k \geq \max\{χ_l(T(G)), Δ(G)+2\}$ where $χ_l(T(G))$ is the list chromatic number of $T(G)$. We prove this conjecture for all graphs satisfying $Δ(G) \leq 2$ while also studying the related question of the equitable choosability of powers of paths and cycles.
Finding minors in graphs with a given path structure
Given graphs G and H with V(G) containing V(H), suppose that we have a u,v-path P_{uv} in G for each edge uv in H. There are obvious additional conditions that ensure that G contains H as a rooted subgraph, subdivision, or immersion; we seek conditions that ensure that G contains H as a rooted minor or minor. This naturally leads to studying sets of paths that form an H-immersion, with the additional property that paths that contain the same vertex must have a common endpoint. We say that $H$ is contractible if, whenever G contains such an H-immersion, G must also contain a rooted H-minor. We show, for example, that forests, cycles, K_4, and K_{1,1,3} are contractible, but that graphs that are not 6-colorable and graphs that contain certain subdivisions of K_{2,3} are not contractible.
Dominating Sets in Triangulations on Surfaces
Published
• View Publication
• BIB
A dominating set D of a graph G is a set such that each vertex v of G is either in the set or adjacent to a vertex in the set. Matheson and Tarjan (1996) proved that any n-vertex plane triangulation has a dominating set of size at most n/3, and conjectured a bound of n/4 for n sufficiently large. King and Pelsmajer recently proved this for graphs with maximum degree at most 6. Plummer and Zha (2009) and Honjo, Kawarabayashi, and Nakamoto (2009) extended the n/3 bound to triangulations on surfaces.
We prove two related results: (i) There is a constant c such that any n-vertex plane triangulation with maximum degree at most 6 has a dominating set of size at most n/6 + c. (ii) For any surface S, nonnegative t, and epsilon > 0, there exists C such that for any n-vertex triangulation on S with at most t vertices of degree other than 6, there is a dominating set of size at most n(1/6 + epsilon) + C.
As part of the proof, we also show that any n-vertex triangulation of a non-orientable surface has a non-contractible cycle of length at most 2sqrt(n). Albertson and Hutchinson (1986) proved that for n-vertex triangulation of an orientable surface other than a sphere has a non-contractible cycle of length sqrt(2n), but no similar result was known for non-orientable surfaces.
Dominating Sets in Plane Triangulations
Published
• View Publication
• BIB
In 1996, Matheson and Tarjan conjectured that any n-vertex triangulation with n sufficiently large has a dominating set of size at most n/4. We prove this for graphs of maximum degree 6.