arXiv++ Combinatorics

In this paper we prove that a uniformly distributed random circular automaton $\mathcal{A}_n$ of order $n$ synchronizes with high probability (whp). More precisely, we prove that $$ \mathbb{P}\left[\mathcal{A}_n \text{ synchronizes}\right] = 1- O\left(\frac{1}{n}\right). $$ The main idea of the proof is to translate the synchronization problem into properties of a random matrix; these properties are then handled with tools of the probabilistic method. Additionally, we provide an upper bound for the probability of synchronization of circular automata in terms of chromatic polynomials of circulant graphs.

In 1995 Stanley introduced a generalization of the chromatic polynomial of a graph $G$, called the chromatic symmetric function, $X_G$, which was generalized to noncommuting variables, $Y_G$, by Gebhard-Sagan in 2001. Recently there has been a renaissance in the study of $X_G$, in particular in classifying when $X_G$ is a positive linear combination of elementary symmetric or Schur functions. We extend this study from $X_G$ to $Y_G$, including establishing the multiplicativity of $Y_G$, and showing $Y_G$ satisfies the $k$-deletion property. Moreover, we completely classify when $Y_G$ is a positive linear combination of elementary symmetric functions in noncommuting variables, and similarly for Schur functions in noncommuting variables, in the sense of Bergeron-Hohlweg-Rosas-Zabrocki. We further establish the natural multiplicative generalization of the fundamental theorem of symmetric functions, now in noncommuting variables, and obtain numerous new bases for this algebra whose generators are chromatic symmetric functions in noncommuting variables. Finally, we show that of all known symmetric functions in noncommuting variables, only all elementary and specified Schur ones can be realized as $Y_G$ for some $G$.

The chromatic polynomial of a graph $G$, denoted $P(G,m)$, is equal to the number of proper $m$-colorings of $G$. The list color function of graph $G$, denoted $P_{\ell}(G,m)$, is a list analogue of the chromatic polynomial that has been studied since 1992, primarily through comparisons with the corresponding chromatic polynomial. DP-coloring (also called correspondence coloring) is a generalization of list coloring recently introduced by Dvořák and Postle. In this paper, we introduce a DP-coloring analogue of the chromatic polynomial called the DP color function, denoted $P_{DP}(G,m)$, and ask several fundamental open questions about it, making progress on some of them. Motivated by known results related to the list color function, we show that while the DP color function behaves similar to the list color function for some graphs, there are also some surprising differences. For example, Wang, Qian, and Yan recently showed that if $G$ is a connected graph with $l$ edges, then $P_{\ell}(G,m)=P(G,m)$ whenever $m > \frac{l-1}{\ln(1+ \sqrt{2})}$, but we will show that for any $g \geq 3$ there exists a graph, $G$, with girth $g$ such that $P_{DP}(G,m) < P(G,m)$ when $m$ is sufficiently large. We also study the asymptotics of $P(G,m) - P_{DP}(G,m)$ for a fixed graph $G$. We develop techniques to compute $P_{DP}(G,m)$ exactly and apply them to certain classes of graphs such as chordal graphs, unicyclic graphs, and cycles with a chord. Finally, we make progress towards showing that for any graph $G$, there is a $p$ such that $P_{DP}(G \vee K_p, m) = P(G \vee K_p , m)$ for large enough $m$.

Associated to any finite simple graph $Γ$ is the chromatic polynomial $P_Γ(q)$ whose complex zeroes are called the chromatic zeros of $Γ$. A hierarchical lattice is a sequence of finite simple graphs $\{Γ_n\}_{n=0}^\infty$ built recursively using a substitution rule expressed in terms of a generating graph. For each $n$, let $μ_n$ denote the probability measure that assigns a Dirac measure to each chromatic zero of $Γ_n$. Under a mild hypothesis on the generating graph, we prove that the sequence $μ_n$ converges to some measure $μ$ as $n$ tends to infinity. We call $μ$ the limiting measure of chromatic zeros associated to $\{Γ_n\}_{n=0}^\infty$. In the case of the Diamond Hierarchical Lattice we prove that the support of $μ$ has Hausdorff dimension two. The main techniques used come from holomorphic dynamics and more specifically the theories of activity/bifurcation currents and arithmetic dynamics. We prove a new equidistribution theorem that can be used to relate the chromatic zeros of a hierarchical lattice to the activity current of a particular marked point. We expect that this equidistribution theorem will have several other applications.

Let G be a graph, and let $χ$G be its chromatic polynomial. For any non-negative integers i, j, we give an interpretation for the evaluation $χ$ (i) G (--j) in terms of acyclic orientations. This recovers the classical interpretations due to Stanley and to Green and Zaslavsky respectively in the cases i = 0 and j = 0. We also give symmetric function refinements of our interpretations, and some extensions. The proofs use heap theory in the spirit of a 1999 paper of Gessel.

We introduce the ``trivariate Tutte polynomial" of a signed graph as an invariant of signed graphs up to vertex switching that contains among its evaluations the number of proper colorings and the number of nowhere-zero flows. In this, it parallels the Tutte polynomial of a graph, which contains the chromatic polynomial and flow polynomial as specializations. The number of nowhere-zero tensions (for signed graphs they are not simply related to proper colorings as they are for graphs) is given in terms of evaluations of the trivariate Tutte polynomial at two distinct points. Interestingly, the bivariate dichromatic polynomial of a biased graph, shown by Zaslavsky to share many similar properties with the Tutte polynomial of a graph, does not in general yield the number of nowhere-zero flows of a signed graph. Therefore the ``dichromate" for signed graphs (our trivariate Tutte polynomial) differs from the dichromatic polynomial (the rank-size generating function). The trivariate Tutte polynomial of a signed graph can be extended to an invariant of ordered pairs of matroids on a common ground set -- for a signed graph, the cycle matroid of its underlying graph and its frame matroid form the relevant pair of matroids. This invariant is the canonically defined Tutte polynomial of matroid pairs on a common ground set in the sense of a recent paper of Krajewski, Moffatt and Tanasa, and was first studied by Welsh and Kayibi as a four-variable linking polynomial of a matroid pair on a common ground set.

Stanley in his paper [Stanley, Richard P.: Acyclic orientations of graphs In: Discrete Mathematics 5 (1973), Nr. 2, S. 171-178.] provided interpretations of the chromatic polynomial when it is substituted with negative integers. Greene and Zaslavsky interpreted the coefficients of the chromatic polynomial in [Greene, Curtis ; Zaslavsky, Thomas: On the interpretation of Whitney numbers through arrangements of hyperplanes, zonotopes, non-Radon partitions, and orientations of graphs. In: Transactions of the American Mathematical Society 280 (1983), jan, Nr. 1, S. 97-97.]. We shall develop an involution on factorisations of heaps of pieces and using this involution, we shall provide bijective proofs to results from both the papers.

Motivated by Dohmen-Pönitz-Tittmann's bivariate chromatic polynomial $χ_G(x,y)$, which counts all $x$-colorings of a graph $G$ such that adjacent vertices get different colors if they are $\le y$, we introduce a bivarate version of Stanley's order polynomial, which counts order preserving maps from a given poset to a chain. Our results include decomposition formulas in terms of linear extensions, a combinatorial reciprocity theorem, and connections to bivariate chromatic polynomials.

A well-known open problem in graph theory asks whether Stanley's chromatic symmetric function, a generalization of the chromatic polynomial of a graph, distinguishes between any two non-isomorphic trees. Previous work has proven the conjecture for a class of trees called spiders. This paper generalizes the class of spiders to $n$-spiders, where normal spiders correspond to $n = 1$, and verifies the conjecture for $n = 2$.

We establish a set of recursion relations for the coefficients in the chromatic polynomial of a graph or a hypergraph. As an application we provide a generalization of Whitney's broken cycle theorem for hypergraphs, as well as deriving an explicit formula for the linear coefficient of the chromatic polynomial of the $r$-complete hypergraph in terms of roots of the Taylor polynomials for the exponential function.

In 2015, Matthias Beck and his team developed a computer program in SAGE which efficiently determines the number of signed proper $k$-colorings for a given signed graph. In this article, we determine the number of different signatures on Book graph up to switching isomorphisms. We also find a recursive formula of the signed chromatic polynomials of signed Book graphs.

In this paper, we prove that $(-\infty, 0)$ is a zero-free interval for chromatic polynomials of a family ${\cal L}_0$ of hypergraphs and $(0, 1)$ is a zero-free interval for chromatic polynomials of a subfamily ${\cal L}_0'$ of ${\cal L}_0$ of hypergraphs. These results extend known results on zero-free intervals of chromatic polynomials of graphs and hypergraphs.

We study the list chromatic number of the Cartesian product of any graph $G$ and a complete bipartite graph with partite sets of size $a$ and $b$, denoted $χ_\ell(G \square K_{a,b})$. We have two motivations. A classic result on the gap between list chromatic number and the chromatic number tells us $χ_\ell(K_{a,b}) = 1 + a$ if and only if $b \geq a^a$. Since $χ_\ell(K_{a,b}) \leq 1 + a$ for any $b \in \mathbb{N}$, this result tells us the values of $b$ for which $χ_\ell(K_{a,b})$ is as large as possible and far from $χ(K_{a,b})=2$. In this paper we seek to understand when $χ_\ell(G \square K_{a,b})$ is far from $χ(G \square K_{a,b}) = \max \{χ(G), 2 \}$. It is easy to show $χ_\ell(G \square K_{a,b}) \leq χ_\ell (G) + a$. In 2006, Borowiecki, Jendrol, Král, and Miskuf showed that this bound is attainable if $b$ is sufficiently large; specifically, $χ_\ell(G \square K_{a,b}) = χ_\ell (G) + a$ whenever $b \geq (χ_\ell(G) + a - 1)^{a|V(G)|}$. Given any graph $G$ and $a \in \mathbb{N}$, we wish to determine the smallest $b$ such that $χ_\ell(G \square K_{a,b}) = χ_\ell (G) + a$. In this paper we show that the list color function, a list analogue of the chromatic polynomial, provides the right concept and tool for making progress on this problem. Using the list color function, we prove a general improvement on Borowiecki et al.'s 2006 result, and we compute the smallest such $b$ exactly for some large families of chromatic-choosable graphs.

A univariate graph polynomial P(G;X) is weakly distinguishing if for almost all finite graphs G there is a finite graph H with P(G;X)=P(H;X). We show that the clique polynomial and the independence polynomial are weakly distinguishing. Furthermore, we show that generating functions of induced subgraphs with property C are weakly distinguishing provided that C is of bounded degeneracy or tree-width. The same holds for the harmonious chromatic polynomial.

The oriented chromatic polynomial of a oriented graph outputs the number of oriented $k$-colourings for any input $k$. We fully classify those oriented graphs for which the oriented graph has the same chromatic polynomial as the underlying simple graph, closing an open problem posed by Sopena. We find that such oriented graphs can be both identified and constructed in polynomial time as they are exactly the family of quasi-transitive oriented co-interval graphs. We study the analytic properties of this polynomial and show that there exist oriented graphs which have chromatic polynomials have roots, including negative real roots, that cannot be realized as the root of any chromatic polynomial of a simple graph.

This paper introduces Dirichlet matroids, a generalization of graphic matroids arising from electrical networks. We present four main theorems. First, we exhibit a matroid quotient involving geometric duals of networks embedded in surfaces with boundary. Second, we characterize the Bergman fans of Dirichlet matroids as subfans of graphic Bergman fans. Third, we prove an interlacing result on the real zeros and poles of the trace of the response matrix. And fourth, we bound the coefficients of the precoloring polynomial of a network by the coefficients of the associated chromatic polynomial.

Stanley's symmetrized chromatic polynomial is a generalization of the ordinary chromatic polynomial to a graph invariant with values in a ring of polynomials in infnitely many variables. The ordinary chromatic polynomial is a specialization of the Stanley's one. Our goal is to extend Stanley's chromatic polynomial to embedded graphs. In contrast to well-known extensions of, say, the Tutte polynomial from abstract to embedded graphs [5], we do not treat an embedded graph as an abstract graph endowed with additional information about the embedding. Instead, we consider the binary delta-matroid associated to an embedded graph and define the extended Stanley's chromatic polynomial as an invariant of delta-matroids. We show that, similarly to Stanley's symmetrized chromatic polynomial of graphs, which satisfies 4-term relations for simple graphs and determines in this way a knot invariant, extended Stanley's chromatic polynomial of binary delta-matroids we define satisfies the 4-term relations for binary delta-matroids [10] and determines, therefore, an invariant of links.

By the construction of suitable graphs and the determination of their chromatic polynomials, we resolve two open questions concerning real chromatic roots. First we exhibit graphs for which the Beraha number $B_{10} = (5 + \sqrt{5})/2$ is a chromatic root. As it was previously known that no other non-integer Beraha number is a chromatic root, this completes the determination of precisely which Beraha numbers can be chromatic roots. Next we construct an infinite family of $3$-connected graphs such that for any $k \geqslant 1$, there is a member of the family with $q=2$ as a chromatic root of multiplicity at least $k$. The former resolves a question of Salas and Sokal [J. Statist. Pys. 104 (2001) pp. 609--699] and the latter a question of Dong and Koh [J. Graph Theory 70 (2012) pp. 262--283].

We introduce a notion of color-criticality in the context of chromatic-choosability. We define a graph $G$ to be strong $k$-chromatic-choosable if $χ(G) = k$ and every $(k-1)$-assignment for which $G$ is not list-colorable has the property that the lists are the same for all vertices. That is the usual coloring is, in some sense, the obstacle to list-coloring. We prove basic properties of strongly chromatic-choosable graphs such as chromatic-choosability and vertex-criticality, and we construct infinite families of strongly chromatic-choosable graphs. We derive a sufficient condition for the existence of at least two list colorings of strongly chromatic-choosable graphs and use it to show that: if $M$ is a strong $k$-chromatic-choosable graph with $|E(M)| \leq |V(M)|(k-2)$ and $H$ is a graph that contains a Hamilton path, $w_1, w_2, \ldots, w_m$, such that $w_i$ has at most $ρ\geq 1$ neighbors among $w_1, \ldots, w_{i-1}$, then $χ_{\ell}(M \square H) \le k+ ρ- 1$. We show that this bound is sharp for all $ρ\ge 1$ by generalizing the theorem to apply to $H$ that are $(M,ρ)$-Cartesian accommodating which is a notion we define with the help of the list color function, $ P_{\ell}(G,k)$, the list analogue of the chromatic polynomial. We also use the list color function to determine the list chromatic number of certain star-like graphs: $χ_{\ell}(M \square K_{1,s}) =$ $k \; \text{if } s < P_{\ell}(M,k)$, or $k+1 \; \text{if } s \geq P_{\ell}(M,k)$, where $M$ is a strong $k$-chromatic-choosable graph. We show that $ P_{\ell}(M,k)$ equals $P(M,k)$, the chromatic polynomial, when $M$ is an odd cycle, complete graph, or the join of an odd cycle with a complete graph.

A famous and wide-open problem, going back to at least the early 1970's, concerns the classification of chromatic polynomials of graphs. Toward this classification problem, one may ask for necessary inequalities among the coefficients of a chromatic polynomial, and we contribute such inequalities when a chromatic polynomial $χ_G(n) = χ^*_0 \binom {n+d} d + χ^*_1 \binom {n+d-1} d + \dots + χ^*_d \binom n d$ is written in terms of a binomial-coefficient basis. For example, we show that $χ^*_{ j } \le χ^*_{ d-j }$, for $0 \le j \le \frac{ d }{ 2 }$. Similar results hold for flow and tension polynomials enumerating either modular or integral nowhere-zero flows/tensions of a graph. Our theorems follow from connections among chromatic, flow, tension, and order polynomials, as well as Ehrhart polynomials of lattice polytopes that admit unimodular triangulations. Our results use Ehrhart inequalities due to Athanasiadis and Stapledon and are related to recent work by Hersh--Swartz and Breuer--Dall, where inequalities similar to some of ours were derived using algebraic-combinatorial methods.