Adaptable Choosability in Graph Coloring

• Adaptable choosability is a list-coloring parameter that forbids vertices from sharing a color that matches an edge label, thereby controlling local conflicts.
• It bridges ordinary list coloring and conflict-coloring frameworks, offering new insights into planar, sparse, and high-girth multigraphs.
• Practical methods such as sparsity analysis, edge orientation, and conflict-choosability techniques are employed to establish choosability bounds in various graph classes.

Adaptable choosability is a list-coloring parameter in which the local obstruction is specified by an edge coloring or edge labelling rather than by adjacency alone. For a graph $G$, an edge coloring $F$ (or labelling $\tau$), and a list assignment $L$, one asks for a vertex coloring $c$ with $c(v)\in L(v)$ such that no edge $uv$ satisfies $c(u)=c(v)=F(uv)$. The least integer $k$ for which this is possible for every edge coloring and every list assignment with $|L(v)|\ge k$ is the adaptable choosability of $F$0, denoted $F$1 or $F$2 in the literature. The notion sits between ordinary list coloring, choosability with separation, and more general conflict-coloring frameworks, and it has become a useful intermediary in planar graph coloring, sparse graph theory, and asymptotic coloring of high-girth multigraphs (Casselgren et al., 2020, Aliaj et al., 2021, Casselgren et al., 17 Sep 2025).

1. Formal definition and basic mechanism

Given a graph $F$3, a list assignment $F$4 assigns to each vertex $F$5 a set $F$6 of admissible colors. An $F$7-coloring is a coloring $F$8 with $F$9 for all $\tau$0. If $\tau$1 is a possibly improper edge coloring, then $\tau$2 is adapted to $\tau$3 when no edge $\tau$4 has both endpoints and the edge itself colored the same; equivalently, $\tau$5 is forbidden on every edge. A graph is adaptably $\tau$6-choosable if for every list assignment $\tau$7 with $\tau$8 for all $\tau$9, and every edge coloring $L$0, there exists an $L$1-coloring adapted to $L$2 (Casselgren et al., 2020).

This local rule is weaker than proper coloring on a fixed instance, because equality on adjacent vertices is allowed unless it matches the edge label. At the same time, the quantification over all edge colorings $L$3 makes the invariant robust. In the multigraph formulation, the same definition is given using an edge labelling $L$4, and $L$5 is the minimum $L$6 such that every size-$L$7 list assignment and every $L$8 admit a coloring $L$9 with no edge $c$0 for which $c$1 (Aliaj et al., 2021).

A standard comparison is with choosability with separation. If $c$2 is adaptably $c$3-choosable, then $c$4 is $c$5-choosable. The proof idea is explicit: from a $c$6-list assignment, each edge is colored by its unique shared color, if such a color exists; any coloring adapted to that edge coloring is then proper as a list coloring (Casselgren et al., 2020). This observation makes adaptable choosability a sufficient condition for separation choosability with overlap parameter $c$7.

Notion	Local constraint	Relation stated in the literature
Adaptable choosability $c$8	forbid $c$9	implies $c(v)\in L(v)$0-choosability
Separation choosability $c(v)\in L(v)$1	adjacent lists share at most one color	special case of adaptable $c(v)\in L(v)$2-choosability
Union separation $c(v)\in L(v)$3	$c(v)\in L(v)$4 on edges	complementary local diversity condition

2. Separation choosability and union-local variants

Choosability with separation prescribes an upper bound on $c(v)\in L(v)$5 for adjacent vertices. A $c(v)\in L(v)$6-list assignment requires $c(v)\in L(v)$7 for all $c(v)\in L(v)$8 and $c(v)\in L(v)$9 on every edge. For planar graphs, it is known that they are $uv$0-choosable, while whether planar graphs are $uv$1-choosable remains open; one strengthening allows an independent set $uv$2 to receive lists of size $uv$3 and all other vertices lists of size $uv$4, still under the condition $uv$5 for every edge (Kierstead et al., 2013).

The same paper shows a sharp obstruction to pushing list sizes lower: for every $uv$6, there exists a planar graph $uv$7 and a $uv$8-list assignment $uv$9 with $c(u)=c(v)=F(uv)$0 for every vertex and $c(u)=c(v)=F(uv)$1 for every edge $c(u)=c(v)=F(uv)$2, such that $c(u)=c(v)=F(uv)$3 is not $c(u)=c(v)=F(uv)$4-colorable (Kierstead et al., 2013). This demonstrates that very large edge-local diversity in the union of adjacent lists does not compensate for lists of size $c(u)=c(v)=F(uv)$5 in planar graphs.

Choosability with union separation makes that edge-local diversity the primary hypothesis. For $c(u)=c(v)=F(uv)$6, a $c(u)=c(v)=F(uv)$7-list assignment requires $c(u)=c(v)=F(uv)$8 for all vertices and $c(u)=c(v)=F(uv)$9 for every edge $k$0. A graph is $k$1-choosable if every such assignment is colorable. When $k$2, this is ordinary $k$3-choosability; increasing $k$4 forces more diversity between adjacent lists (Kumbhat et al., 2015).

The resulting theory is nontrivial even on bipartite graphs: for all $k$5, there exists a bipartite graph that is not $k$6-choosable, and for all $k$7 there exists a bipartite planar graph that is not $k$8-choosable. There also exists a planar graph that is not $k$9-choosable. On the positive side, all planar graphs are $|L(v)|\ge k$0-choosable and $|L(v)|\ge k$1-choosable, and if a planar graph contains no chorded $|L(v)|\ge k$2-cycles, then it is $|L(v)|\ge k$3-choosable (Kumbhat et al., 2015). The paper presenting union separation explicitly places it in the broad landscape of adaptable choosability, as a complementary way of controlling edge-local interactions between lists.

3. General upper bounds from arboricity and maximum average degree

Two structural mechanisms recur in adaptable choosability: orientations and sparsity. If the edge-arboricity $|L(v)|\ge k$4 of a graph is at most $|L(v)|\ge k$5, then $|L(v)|\ge k$6 is adaptably $|L(v)|\ge k$7-choosable. The proof proceeds via an orientation with $|L(v)|\ge k$8: one chooses the color of $|L(v)|\ge k$9 to avoid the colors appearing on outgoing edges in the prescribed edge coloring (Casselgren et al., 2020). This gives immediate corollaries. Every planar graph is adaptably $F$00-choosable because $F$01, every triangle-free planar graph is adaptably $F$02-choosable because $F$03, and every $F$04-minor-free graph is adaptably $F$05-choosable (Casselgren et al., 2020).

A second bound is stated in terms of maximum average degree: $F$06 Consequently, every graph $F$07 is $F$08-choosable (Casselgren et al., 2020). In practice, many planar and near-planar results are obtained by proving $F$09, after which adaptable $F$10-choosability follows.

For union separation, sparsity yields an analogous threshold theorem. For $F$11 and $F$12, if

$F$13

then $F$14 is $F$15-choosable (Kumbhat et al., 2015). This gives a parallel sparsity principle: low average density guarantees colorability when adjacent lists have sufficiently large unions.

4. Planar graphs and the $F$16-choosability program

A central motivation for adaptable choosability is the conjecture that every planar graph is $F$17-choosable. Since adaptable $F$18-choosability implies $F$19-choosability, sufficient conditions for the former yield progress on the latter (Casselgren et al., 2020).

Several such conditions are known. If $F$20 is a planar graph with no intersecting triangles and every triangle is adjacent to at most one $F$21-cycle, then $F$22, hence $F$23 is adaptably $F$24-choosable and therefore $F$25-choosable. The same conclusion holds when $F$26 has no intersecting triangles and no intersecting $F$27-cycles. It also holds when no triangle is adjacent to any triangle or $F$28-cycle and every $F$29-cycle is adjacent to at most three triangles. Another result states that if any two triangles in $F$30 have distance at least $F$31 and no triangle is adjacent to a $F$32-cycle, then $F$33 is adaptably $F$34-choosable (Casselgren et al., 2020).

These proofs are based on discharging arguments designed to establish $F$35, followed by the general maximum-average-degree bound. The method is materially shorter than many classical reducibility arguments in planar list coloring, and this is one of the conceptual contributions of the adaptable framework (Casselgren et al., 2020).

The landscape is not monotone with respect to forbidding short cycles in the simplest possible way. Triangle-free planar graphs are adaptably $F$36-choosable, but planar graphs without $F$37-cycles may fail to be adaptably $F$38-choosable in general (Casselgren et al., 2020). This guards against the misconception that forbidding a single short cycle length is automatically enough. At the same time, some nontrivial planar subclasses do satisfy the desired conclusion: every Halin graph is $F$39-choosable (Casselgren et al., 2020).

5. High-degree sparse multigraphs and conflict-coloring methods

A different regime emerges for multigraphs of large maximum degree $F$40 and no cycles of length $F$41 or $F$42. In that setting,

$F$43

Thus, adaptable choosability grows on the order of $F$44 rather than linearly in $F$45 (Aliaj et al., 2021). The same work states that this is within a factor of $F$46 of optimal, and that the asymptotically best possible leading constant under these assumptions lies between $F$47 and $F$48 (Aliaj et al., 2021).

The proof is obtained from a more general conflict-choosability theorem. In conflict coloring, an edge labelling $F$49 assigns an ordered pair of forbidden colors to each edge, and a coloring $F$50 is proper if no edge $F$51 satisfies $F$52. The conflict degree $F$53 measures how many edges between a fixed pair of vertices can impose the same local forbidden color. Adaptable coloring is the symmetric conflict-coloring case with conflict degree $F$54, and consequently $F$55 (Aliaj et al., 2021).

The general theorem states that for any $F$56, there exists $F$57 such that if $F$58 has maximum degree $F$59, no cycles of length $F$60 or $F$61, and $F$62, then every list assignment with

$F$63

admits a proper conflict coloring. A corollary gives the cleaner numerical bound that list size $F$64 suffices when $F$65 (Aliaj et al., 2021).

Technically, the proof uses a truncation lemma to remove overly problematic colors, an iterative semi-random coloring procedure, and concentration inequalities including Talagrand, Chernoff, and the Lovász Local Lemma. The evolving state is tracked by parameters $F$66 and $F$67, representing list sizes and badness measures, and a Reed-type finishing lemma completes the coloring when the remaining conflict load is small relative to the lists (Aliaj et al., 2021).

6. Comparative invariants, exact small cases, and planar classifications

Recent work places adaptable choosability in a sharper comparative framework together with separation choosability $F$68 and the single conflict chromatic number $F$69. The basic inequalities are

$F$70

This suggests that adaptable choosability is an intermediate invariant: stronger than separation choosability, but weaker than single-conflict and ordinary list coloring (Casselgren et al., 17 Sep 2025).

At the low end, the parameter $F$71 is completely characterized for connected graphs of minimum degree at least $F$72: such a graph is adaptably $F$73-choosable if and only if it consists of two or three internally disjoint paths connecting two distinct vertices. The same characterization holds for single conflict $F$74-colorability. By contrast, the class with $F$75 is broader; for example, $F$76 is separation $F$77-choosable but not adaptably $F$78-choosable (Casselgren et al., 17 Sep 2025).

There are also explicit families where the three parameters coincide. If $F$79 is connected, $F$80, and $F$81 contains at least two disjoint cycles of length at least $F$82, then

$F$83

Conversely, there are explicit families with $F$84, and the paper poses the open problem of whether $F$85 can be arbitrarily large (Casselgren et al., 17 Sep 2025).

For planar graphs, the attainable triples $F$86 are highly constrained. Excluding the unresolved cases $F$87 and $F$88, a simple planar graph has such a triple if and only if it is one of

$F$89

There is a planar multigraph with triple $F$90, but whether such a simple planar graph exists remains open. Another planar impossibility result states that no planar graph satisfies

$F$91

At the same time, there are planar graphs with $F$92 and $F$93, so equality between separation and adaptable choosability already fails in the planar setting (Casselgren et al., 17 Sep 2025).

These results clarify both the utility and the limitations of adaptable choosability. It often serves as a tractable surrogate for $F$94-choosability, especially on sparse graphs, yet its position relative to other local-conflict invariants is subtle and now partially classified.