arXiv++ Combinatorics

We consider the problem of packing edge-disjoint Steiner forests in a graph. The input consists of a multi-graph $G=(V,E)$ and a collection of $h$ vertex subsets $S = \{S_1,S_2,\ldots,S_h\}$. A Steiner forest for $S$, also called an $S$-forest, is a forest of $G$ in which each $S_i$ is connected. In the case where $h=1$, this is the Steiner Tree packing problem. Kriesell's conjecture postulates that $2k$-edge-connectivity of $S_1$ is sufficient to find $k$ edge-disjoint $S_1$-trees. Lau showed that $24k$-edge-connectivity suffices for the Steiner Tree packing problem, which was improved to $6.5k$ by West and Wu and $5k+4$ by Devos, McDonald and Pivotto. In his thesis, Lau asserts that for the Steiner Forest problem, if each $S_i$ is $30k$-edge-connected in $G$, then there exist $k$ edge-disjoint $S$-forests. However, Lau's proof relies on an intermediate theorem called the Extension Theorem, which in this paper we will demonstrate has a gap by providing a counterexample to Lau's Extension Theorem. Furthermore, we will resolve this gap by correcting Lau's proof to show that $36k$-edge-connectivity of each $S_i$ suffices to pack $k$ $S$-forests. More careful analysis yields that $35k$-edge-connectivity of each $S_i$ is sufficient when $k \geq 8$.

Fair division is the problem of allocating a set of items among agents in a fair manner. One of the most sought-after fairness notions is envy-freeness (EF), requiring that no agent envies another's allocation. When items are indivisible, it ceases to exist, and envy-freeness up to any good (EFX) emerged as one of its strongest relaxations. The existence of EFX allocations is arguably the biggest open question within fair division. Recently, Christodoulou, Fiat, Koutsoupias, and Sgouritsa (EC 2023) showed that EFX allocations exist for the case of graphical valuations where an instance is represented by a graph: nodes are agents, edges are goods, and each agent values only her incident edges. On the other hand, they showed NP-hardness for checking the existence of EFX orientation where every edge is allocated to one of its incident vertices, and asked for a characterization of graphs that exhibit EFX orientation regardless of the assigned valuations. In this paper, we make significant progress toward answering their question. We introduce the notion of strongly EFX orientable graphs -- graphs that have EFX orientations regardless of how much agents value the edges. We show a surprising connection between this property and the chromatic number $χ(G)$ of the graph $G$. In particular, we show that graphs with $χ(G)\le 2$ are strongly EFX orientable, and those with $χ(G)>3$ are not strongly EFX orientable. We provide examples of strongly EFX orientable and non-strongly EFX orientable graphs of $χ(G)=3$ to prove tightness. Finally, we give a complete characterization of strong EFX orientability when restricted to binary valuations.

The online list coloring game is a two-player graph-coloring game played on a graph $G$ as follows. On each turn, a Lister reveals a new color $c$ at some subset $S \subseteq V(G)$ of uncolored vertices, and then a Painter chooses an independent subset of $S$ to which to assign $c$. As the game is played, the revealed colors at each vertex $v \in V(G)$ form a color set $L(v)$, often called a list. The paintability of $G$ measures the minimum value $k$ for which Painter has a strategy to complete a coloring of $G$ in such a way that $|L(v)| \leq k$ for each vertex $v \in V(G)$. The paintability of a graph is an upper bound for its list chromatic number, or choosability. The online list coloring game is a special case of the DP-painting game, which is defined similarly using the setting of DP-coloring. In the DP-painting game, the Lister reveals correspondence covers of a graph $G$ rather than colors, and the Painter chooses independent subsets of these covers. The DP-painting game has a parameter known as DP-paintability which is analogous to paintability. In this paper, we consider upper bounds for the paintability and DP-paintability of a graph $G$ with large maximum degree $Δ$ and chromatic number at most some fixed value $r$. We prove that the paintability of $G$ is at most $\left(1 - \frac{1}{4r+1} \right ) Δ+ 2$ and that the DP-paintability of $G$ is at most $Δ- Ω( \sqrt{Δ\log Δ})$. We prove our first upper bound using Alon-Tarsi orientations, and we prove our second upper bound by considering the strict type-$3$ degeneracy parameter recently introduced by Zhou, Zhu, and Zhu.