arXiv++ Combinatorics

This paper considers a natural ruleset for playing a partisan combinatorial game on a directed graph, which we call Digraph Placement. Given a digraph $G$ with a not necessarily proper $2$-coloring of $V(G)$, the Digraph Placement game played on $G$ by the players Left and Right, who play alternately, is defined as follows. On her turn, Left chooses a blue vertex which is deleted along with all of its out-neighbours. On his turn Right chooses a red vertex, which is deleted along with all of its out-neighbours. A player loses if on their turn they cannot move. We show constructively that Digraph Placement is a universal partisan ruleset; for all partisan combinatorial games $X$ there exists a Digraph Placement game, $G$, such that $G = X$. Digraph Placement and many other games including Nim, Poset Game, Col, Node Kayles, Domineering, and Arc Kayles are instances of a class of placement games that we call conflict placement games. We prove that $X$ is a conflict placement game if and only if it has the same literal form as a Digraph Placement game. A corollary of this is that deciding the winner of a Digraph Placement game is PSPACE-hard. Next, for a game value $X$ we prove bounds on the order of a smallest Digraph Placement game $G$ such that $G = X$.

DP-coloring (also called correspondence coloring) is a generalization of list coloring that was introduced by Dvořák and Postle in 2015. The chromatic polynomial of a graph is an important notion in algebraic combinatorics that was introduced by Birkhoff in 1912; denoted $P(G,m)$, it equals the number of proper $m$-colorings of graph $G$. Counting function analogues of chromatic polynomials have been introduced for list colorings: $P_{\ell}$, list color functions (1990); DP colorings: $P_{DP}$, DP color functions (2019), and $P^*_{DP}$, dual DP color functions (2021). For any graph $G$ and $m \in \mathbb{N}$, $P_{DP}(G, m) \leq P_\ell(G,m) \leq P(G,m) \leq P_{DP}^*(G,m)$. In 2022 (improving on older results) Dong and Zhang showed that for any graph $G$, $P_{\ell}(G,m)=P(G,m)$ whenever $m \geq |E(G)|-1$. Consequently, the list color function of a graph is a polynomial for sufficiently large $m$. One of the most important and longstanding open questions on DP color functions asks: for every graph $G$ is there an $N \in \mathbb{N}$ and a polynomial $p(m)$ such that $P_{DP}(G,m) = p(m)$ whenever $m \geq N$? We show that the answer to the analogue of this question for dual DP color functions is no. Our proof reveals a connection between a dual DP color function and the balanced chromatic polynomial of a signed graph introduced by Zaslavsky in 1982.

A 2-distance $k$-coloring of a graph $G$ is a proper $k$-coloring such that any two vertices at distance two or less get different colors. The 2-distance chromatic number of $G$ is the minimum $k$ such that $G$ has a 2-distance $k$-coloring, denoted by $χ_2(G)$. In this paper, we show that $χ_2(G) \leq 20$ for every planar graph $G$ with maximum degree at most six, which improves a former bound $χ_2(G) \leq 21$.

We introduce graphical error-correcting codes, a new notion of error-correcting codes on $[q]^n$, where a code is a set of proper $q$-colorings of some fixed $n$-vertex graph $G$. We then say that a set of $M$ proper $q$-colorings of $G$ form a $(G, M, d)$ code if any pair of colorings in the set have Hamming distance at least $d$. This directly generalizes typical $(n, M, d)$ codes of $q$-ary strings of length $n$ since we can take $G$ as the empty graph on $n$ vertices. We investigate how one-sided spectral expansion relates to the largest possible set of error-correcting colorings on a graph. For fixed $(δ, λ) \in [0, 1] \times [-1, 1]$ and positive integer $d$, let $f_{δ, λ, d}(n)$ denote the maximum $M$ such that there exists some $d$-regular graph $G$ on at most $n$ vertices with normalized second eigenvalue at most $λ$ that has a $(G, M, d)$ code. We study the growth of $f$ as $n$ goes to infinity. We partially characterize the regimes of $(δ, λ)$ where $f$ grows exponentially or is bounded by a constant, respectively. We also prove several sharp phase transitions between these regimes.

In this work, we consider a number of problems defined on the triangular lattice with $n$ rows, which we will denote as $T_n$. Define a \textit{proper coloring} to be an assignment of colors to the points of $T_n$ such that no three points constituting the vertices of an equilateral triangle all receive the same color, and denote by $f(n)$ the smallest possible number of colors that can be used in a proper coloring of $T_n$. We either determine exactly or give upper bounds for $f(n)$ for many small values of $n$, and it is shown that $\lim_{n\to\infty} \frac{f(n)}{n} \leq \frac13$. We also give formulas counting the number of pairs of points in $T_n$ for which there are, respectively, 0, 1, or 2 choices of points in $T_n$ which extend those two into the vertices of an equilateral triangle. Along the way, we pose a number of related questions.

The 2-distance coloring of a graph $G$ is equivalent to the proper coloring of its square graph $G^2$, it is a special distance labeling problem. DP-coloring (or "Correspondence coloring") was introduced by Dvořák and Postle in 2018, to answer a conjecture of list coloring proposed by Borodin. In recent years, many researches pay attention to the DP-coloring of planar graphs with some restriction in cycles. We study the DP-coloring of the square of subcubic graphs in terms of maximum average degree $\rm{mad}(G)$, and by the discharging method, we showed that: for a subcubic graph $G$, if $\rm{mad}(G)<9/4$, then $G^2$ is DP-5-colorable; if $\rm{mad}(G)<12/5$, then $G^2$ is DP-6-colorable. And the bound in the first result is sharp.

The mean color number of an $n$-vertex graph $G$, denoted by $μ(G)$, is the average number of colors used in all proper $n$-colorings of $G$. For any graph $G$ and a vertex $w$ in $G$, Dong (2003) conjectured that if $H$ is a graph obtained from a graph $G$ by deleting all but one of the edges which are incident to $w$, then $μ(G)\geq μ(H)$; and also conjectured that $μ(G)\geq μ((G-w)\cup K_1)$. We prove that there is an infinite family of counterexamples to these two conjectures.

Given a subgroup $\mathcal{H}$ of a product of finite groups $\mathcal{G} = \displaystyle\prod^n_{i=1} Γ_i$ and $b>1,$ we define a polymatroid $P(\mathcal{H},b).$ If all of the $Γ_i$ are isomorphic to $\mathbb{Z}/p\mathbb{Z},$ $p$ a prime, and $b=p,$ then $P(\mathcal{H},b)$ is the usual matroid associated to any $\mathbb{Z}/p\mathbb{Z}$-matrix whose row space equals $\mathcal{H}.$ In general, there are many ways in which the relationship between $P(\mathcal{H},b)$ and $\mathcal{H}$ mirrors that of the relationship between a matroid and a subspace of a finite vector space. These include representability by excluded minors, the Crapo-Rota critical theorem, the existence of a concrete algebraic object representing the polymatroid dual of $P(\mathcal{H},b),$ analogs of Greene's theorem and the MacWilliams identities when $\mathcal{H}$ is a group code over a nonabelian group, and a connection to the combinatorial Laplacian of a quotient space determined by $\mathcal{G}$ and $\mathcal{H}.$ We use the group Crapo-Rota critical theorem to demonstrate an extension to hypergraphs of the classical duality between proper colorings and nowhere-zero flows on graphs.

A proper abelian coloring of a cubic graph G by a finite abelian group A is any proper edge-coloring of G by the non-zero elements of A such that the sum of the colors of the three edges incident to any vertex v of G equals zero. It is known that cyclic groups of order smaller than 10 do not color all bridgeless cubic graphs, and that all abelian groups of order at least 12 do. This leaves the question open for the four so called exceptional groups Z4 x Z2, Z3 x Z3, Z10 and Z11 for snarks. It is conjectured in literature that every cubic graph has a proper abelian coloring by each exceptional group and it is further known that the existence of a proper Z4 x Z2-coloring of G implies the existence of a proper coloring of G by all the remaining exceptional groups. In this paper, we give a characterization of a proper Z4 x Z2-coloring in terms of the existence of a matching M in a 2-factor F of G with particular properties. Moreover, in order to modify an arbitrary matching M so that it meets the requirements of the characterization, we first introduce an incidence structure of the cycles of F in relation to the cycles of G - M. Further, we provide a sufficient condition under which M can be modified into a desired matching in terms of particular properties of the introduced incidence structure. We conclude the paper by applying the results to some oddness two snarks, in particular to permutation snarks. We believe that the approach of this paper with some additional refinements extends to larger classes of snarks, if not to all in general.

The chromatic polynomial $π_{G}(k)$ of a graph $G$ can be viewed as counting the number of vertices in a family of coloring graphs $\mathcal C_k(G)$ associated with (proper) $k$-colorings of $G$ as a function of the number of colors $k$. These coloring graphs can be understood as a reconfiguration system. We generalize the chromatic polynomial to $π_G^{(H)}(k)$, counting occurrences of arbitrary induced subgraphs $H$ in these coloring graphs, and we prove that these functions are polynomial in $k$. In particular, we study the chromatic pairs polynomial $π_{G}^{(P_2)}(k)$, which counts the number of edges in coloring graphs, corresponding to the number of pairs of colorings that differ on a single vertex. We show two trees share a chromatic pairs polynomial if and only if they have the same degree sequence, and we conjecture that the chromatic pairs polynomial refines the chromatic polynomial in general. We also instantiate our polynomials with other choices of $H$ to generate new graph invariants.

An odd coloring of a graph $G$ is a proper coloring of $G$ such that for every non-isolated vertex $v$, there is a color appearing an odd number of times in $N_G(v)$. Odd coloring of graphs was studied intensively in recent few years. In this paper, we introduce the notion of a strong odd coloring, as not only a strengthened version of odd coloring, but also a relaxation of square coloring. A strong odd coloring of a graph $G$ is a proper coloring of $G$ such that for every non-isolated vertex $v$, if a color appears in $N_G(v)$, then it appears an odd number of times in $N_G(v)$. We denote by $χ_{so}(G)$ the smallest integer $k$ such that $G$ admits a strong odd coloring with $k$ colors. We prove that if $G$ is a graph with $mad(G)\le\frac{20}{7}$, then $χ_{so}(G)\le Δ(G)+4$, and the bound is tight. We also prove that if $G$ is a graph with $mad(G)\le\frac{30}{11}$ and $Δ(G)\ge 4$, then $χ_{so}(G)\le Δ(G)+3$.

Given a list assignment for a graph, list packing asks for the existence of multiple pairwise disjoint list colorings of the graph. Several papers have recently appeared that study the existence of such a packing of list colorings. Formally, a proper $L$-packing of size $k$ of a graph $G$ is a set of $k$ pairwise disjoint proper $L$-colorings of $G$ where $L$ is a list assignment of colors to the vertices of $G$. In this note, we initiate the study of counting such packings of list colorings of a graph. We define $P_\ell^\star(G,q,k)$ as the guaranteed number of proper $L$-packings of size $k$ of $G$ over all list assignments $L$ that assign $q$ colors to each vertex of $G$, and we let $P^\star(G,q,k)$ be its classical coloring counterpart. We let $P_\ell^\star(G,q)= P_\ell^\star(G,q,q)$ so that $P_\ell^\star(G,q)$ is the enumerative function for the previously studied list packing number $χ_\ell^\star(G)$. Note that the chromatic polynomial of $G$, $P(G,q)$, is $P^\star(G,q,1)$, and the list color function of $G$, $P_\ell(G,q)$, is $P_\ell^\star(G,q,1)$. Inspired by the well-known behavior of the list color function and the chromatic polynomial, we make progress towards the question of whether $P_{\ell}^\star(G,q,k) = P^\star(G,q,k)$ when $q$ is large enough. Our result generalizes the recent theorem of Dong and Zhang (2023), which improved results going back to Donner (1992), about when the list color function equals the chromatic polynomial. Further, we use a polynomial method to generalize bounds on the list packing number, $χ_\ell^\star(G)$, of sparse graphs to exponential lower bounds (in the number of vertices of $G$) on the corresponding list packing functions, $P_\ell^\star(G,q)$.

We define the problem as a two-player game between Algorithm and Builder. The game is played in rounds. Each round, Builder presents an interval that is neither contained in nor contains any previously presented interval. Algorithm immediately and irrevocably assigns the interval a color that has not been assigned to any interval intersecting it. The set of intervals form an interval representation for a unit interval graph and the colors form a proper coloring of that graph. For every positive integer $ω$, we define the value $R(ω)$ as the maximum number of colors for which Builder has a strategy that forces Algorithm to use $R(ω)$ colors with the restriction that the unit interval graph constructed cannot contain a clique of size $ω+1$. In 1981, Chrobak and Ślusarek showed that $R(ω)\leq2ω-1$. In 2005, Epstein and Levy showed that $R(ω)\geq\lfloor{3ω/2\rfloor}$. This problem remained unsolved for $ω\geq 3$. In 2023, Biró and Curbelo showed that $R(3)=5$. In this paper, we show that $R(4)=7$

We say that a graph is $k$-mixing if it is possible to transform any $k$-coloring into any other via a sequence of single vertex recolorings keeping a proper coloring all along. Cereceda, van den Heuvel and Johnson proved that deciding if a graph is $3$-mixing is co-NP-complete and left open the case $k \ge 4$. We prove that for every $k \ge 4$, $k$-mixing is co-NP-hard.

We study representations of finite groups on Stanley--Reisner rings of simplicial complexes and on lattice points in lattice polytopes. The framework of translative group actions allows us to use the theory of proper colorings of simplicial complexes without requiring an explicit coloring to be given. We prove that the equivariant Hilbert series of a Cohen--Macaulay simplicial complex under a translative group action admits a rational expression whose numerator is a positive integer combination of irreducible characters. This implies an analogous rational expression for the equivariant Ehrhart series of a lattice polytope with a unimodular triangulation that is invariant under a translative group action. As an application, we study the equivariant Ehrhart series of alcoved polytopes in the sense of Lam and Postnikov and derive explicit results in the case of order polytopes and of Lipschitz poset polytopes.

Irredundance coloring of $G$ is a proper coloring in which there exists a maximal irredundant set $R$ such that all the vertices of $R$ have different colors. The minimum number of colors required for an irredundance coloring of $G$ is called the irredundance chromatic number of $G$, and is denoted by $χ_{i}(G)$. Irredundance compelling coloring of $G$ is a proper coloring of $G$ in which every rainbow committee (the set containing a vertex of each color) is an irredundant set of $G$. The maximum number of colors required for an irredundance compelling coloring of $G$ is called the irredundance compelling chromatic number of $G$, and is denoted by $χ_{irc}(G)$. In this paper, we make a detailed study on $χ_{i}(G)$, $χ_{irc}(G)$ and its relation to other coloring and domination parameters

A $k$-uniform hypergraph (or $k$-graph) $H = (V, E)$ is $k$-partite if $V$ can be partitioned into $k$ sets $V_1, \ldots, V_k$ such that each edge in $E$ contains precisely one vertex from each $V_i$. In this note, we consider list colorings for such hypergraphs. We show that for any $\varepsilon > 0$ if each vertex $v \in V(H)$ is assigned a list of size $|L(v)| \geq \left((k-1+\varepsilon)Δ/\log Δ\right)^{1/(k-1)}$, then $H$ admits a proper $L$-coloring, provided $Δ$ is sufficiently large. Up to a constant factor, this matches the bound on the chromatic number of simple $k$-graphs shown by Frieze and Mubayi, and that on the list chromatic number of triangle free $k$-graphs shown by Li and Postle. Our results hold in the more general setting of ``color-degree'' as has been considered for graphs. Furthermore, we establish a number of asymmetric statements matching results of Alon, Cambie, and Kang for bipartite graphs.

In 2015, Brown and Erey conjectured that every $2$-connected graph $G$ on $n$ vertices with chromatic number $k\geq 4$ has at most $(x-1)_{k-1}\big((x-1)^{n-k+1}+(-1)^{n-k}\big)$ proper $x$-colorings for all $x\geq k$. Engbers, Erey, Fox, and He proved this conjecture for $x=k$. In this paper, we prove Brown and Erey's conjecture under the condition that either the clique number of $G$ is $k$, or the independent number of $G$ is $2$.

We show that the anti-ferromagnetic Potts model on trees exhibits strong spatial mixing for a near-optimal range of parameters. Our work complements recent results of Chen, Liu, Mani, and Moitra [arXiv.2304.01954] who showed this to be true in the infinite temperature setting, corresponding to uniform proper colorings. We furthermore prove weak spatial mixing results complementing results in [arXiv.2304.01954].

In the flexible list coloring problem, we consider a graph $G$ and a color list assignment $L$ on $G$, as well as a subset $U \subseteq V(G)$ for which each $u \in U$ has a preferred color $p(u) \in L(u)$. Our goal is to find a proper $L$-coloring $φ$ of $G$ such that $φ(u) = p(u)$ for at least $ε|U|$ vertices $u \in U$. We say that $G$ is $ε$-flexibly $k$-choosable if for every $k$-size list assignment $L$ on $G$ and every subset of vertices with coloring preferences, $G$ has a proper $L$-coloring that satisfies an $ε$ proportion of these coloring preferences. Dvořák, Norin, and Postle [Journal of Graph Theory, 2019] asked whether every $d$-degenerate graph is $ε$-flexibly $(d+1)$-choosable for some constant $ε= ε(d) > 0$. In this paper, we prove that there exists a constant $ε> 0$ such that every graph with maximum average degree less than $3$ is $ε$-flexibly $3$-choosable, which gives a large class of $2$-degenerate graphs which are $ε$-flexibly $(d+1)$-choosable. In particular, our results imply a theorem of Dvořák, Masařík, Musílek, and Pangrác [Journal of Graph Theory, 2020] stating that every planar graph of girth $6$ is $ε$-flexibly $3$-choosable for some constant $ε> 0$. To prove our result, we generalize the existing reducible subgraph framework traditionally used for flexible list coloring to allow reducible subgraphs of arbitrarily large order.