arXiv++ Combinatorics

Jaeger et al. in 1992 introduced group coloring as the dual concept to group connectivity in graphs. Let $A$ be an additive Abelian group, $ f: E(G)\to A$ and $D$ an orientation of a graph $G$. A vertex coloring $c:V(G)\to A$ is an $(A, f)$-coloring if $c(v)-c(u)\ne f(e)$ for each oriented edge $e=uv$ from $u$ to $v$ under $D$. Kochol recently introduced the assigning polynomial to count nowhere-zero chains in graphs--nonhomogeneous analogues of nowhere-zero flows in \cite{Kochol2022}, and later extended the approach to regular matroids in \cite{Kochol2024}. Motivated by Kochol's work, we define the $α$-compatible graph and the cycle-assigning polynomial $P(G, α; k)$ at $k$ in terms of $α$-compatible spanning subgraphs, where $α$ is an assigning of $G$ from its cycles to $\{0,1\}$. We prove that $P(G,α;k)$ evaluates the number of $(A,f)$-colorings of $G$ for any Abelian group $A$ of order $k$ and $f:E(G)\to A$ such that the assigning $α_{D,f}$ given by $f$ equals $α$. Such an assigning is admissible. Based on Kochol's work, we derive that $k^{-c(G)}P(G,α;k)$ is a polynomial enumerating $(A,f)$-tensions and counting specific nowhere-zero chains. Furthermore, by extending Whitney's broken cycle concept to broken compatible cycles, we show that the absolute value of the coefficient of $k^{|V(G)|-i}$ in $P(G,α;k)$ associated with admissible assignings $α$ equals the number of $α$-compatible spanning subgraphs that have $i$ edges and contain no broken $α$-compatible cycles. According to the combinatorial explanation, we establish a unified order-preserving relation from admissible assignings to cycle-assigning polynomials, and further show that for any admissible assigning $α$ of $G$ with $α(e)=1$ for every loop $e$, the coefficients of $P(G,α;k)$ are nonzero and alternate in sign.

In 1960, Nash-Williams proved his strong orientation theorem that every finite graph has an orientation in which the number of directed paths between any two vertices is at least half the number of undirected paths between them (rounded down). Nash-Williams conjectured that it is possible to find such orientations for infinite graphs as well. We provide a partial answer by proving that all rayless graphs have such an orientation.

We present a streamlined exposition of a construction by R. Chen, A. Poulin, R. Tao, and A. Tserunyan, which proves the treeability of equivalence relations generated by any locally-finite Borel graph such that each component is a quasi-tree. More generally, we show that if each component of a locally-finite Borel graph admits a finitely-separating Borel family of cuts, then we may 'canonically' replace each component of the graph by a tree of special ultrafilter-like objects on cuts called orientations; moreover, if the cuts are dense towards ends, then the union of these trees is a Borel treeing.

Erdős, Pach, Pollack, and Tuza [\textit{J. Combin. Theory Ser. B, 47(1) (1989), 73-79}] proved that the diameter of a connected $n$-vertex graph with minimum degree $δ$ is at most $\frac{3n}{δ+1}+O(1)$. The oriented diameter of an undirected graph $G$, denoted by $\overrightarrow{\text{diam}}(G)$, is the minimum diameter of a strongly connected orientation of $G$. Bau and Dankelmann [\textit{European J. Combin., 49 (2015), 126-133}] showed that for every bridgeless $n$-vertex graph $G$ with minimum degree $δ$, $\overrightarrow{\text{diam}}(G) \leq \frac{11n}{δ+1}+9$. They also showed an infinite family of graphs with oriented diameter at least $\frac{3n}{δ+1} + O(1)$ and posed the problem of determining the smallest possible value $c$ for which $\overrightarrow{\text{diam}}(G) \leq c \cdot\frac{3n}{δ+1}+O(1)$ holds. In this paper, we show that the smallest value $c$ such that the upper bound above holds for all $δ\geq 2$ is $1$, which is best possible.

The logarithm of the number of Eulerian orientations, normalised by the number of vertices, is known as the residual entropy in studies of ice-type models on graphs. The spanning tree entropy depends similarly on the number of spanning trees. We demonstrate and investigate a remarkably strong, though non-deterministic, correlation between these two entropies. This leads us to propose a new heuristic estimate for the residual entropy of regular graphs that performs much better than previous heuristics. We also study the expansion properties and residual entropy of random graphs with given degrees.

A unique sink orientation (USO) is an orientation of the edges of a hypercube such that each face has a unique sink. Many optimization problems like linear programs reduce to USOs, in the sense that each vertex corresponds to a possible solution, and the global sink corresponds to the optimal solution. People have been studying intensively the problem of find the sink of a USO using vertex evaluations, i.e., queries which return the orientation of the edges around a vertex. This problem is a so called promise problem, as it assumes that the orientation it receives is a USO. In this paper, we analyze a non-promise version of the USO problem, in which we try to either find a sink or an efficiently verifiable violation of the USO property. This problem is worth investigating, because some problems which reduce to USO are also promise problems (and so we can also define a non-promise version for them), and it would be interesting to discover where USO lies in the hierarchy of subclasses of $\texttt{TFNP}^\texttt{dt}$, and for this a total search problem is required (which is the case for the non-promise version). We adapt many known properties and algorithms from the promise version to the non-promise one, including known algorithms for small dimensions and lower and upper bounds, like the Fibonacci Seesaw Algorithm. Furthermore, we present an efficient resolution proof of the problem, which shows it is in the search complexity class $\texttt{PLS}^\texttt{dt}$ (although this fact was already known via reductions). Finally, although initially the only allowed violations consist of $2$ vertices, we generalize them to more vertices, and provide a full categorization of violations with $4$ vertices, showing that they are also efficiently verifiable.

For a group $Γ$, a $Γ$-labelled graph is an undirected graph $G$ where every orientation of an edge is assigned an element of $Γ$ so that opposite orientations of the same edge are assigned inverse elements. A path in $G$ is non-null if the product of the labels along the path is not the neutral element of $Γ$. We prove that for every finite group $Γ$, non-null $S$-$T$ paths in $Γ$-labelled graphs exhibit the half-integral Erdős-Pósa property. More precisely, there is a function $f$, depending on $Γ$, such that for every $Γ$-labelled graph $G$, subsets of vertices $S$ and $T$, and integer $k$, one of the following objects exists: a family $\cal F$ consisting of $k$ non-null $S$-$T$ paths in $G$ such that every vertex of $G$ participates in at most two paths of $\cal F$; or a set $X$ consisting of at most $f(k)$ vertices that meets every non-null $S$-$T$ path in $G$. This in particular proves that in undirected graphs $S$-$T$ paths of odd length have the half-integral Erdős-Pósa property.

An undirected graph is said to be cordial if there is a friendly (0,1)-labeling of the vertices that induces a friendly (0,1)-labeling of the edges. An undirected graph $G$ is said to be $(2,3)$-orientable if there exists a friendly (0,1)-labeling of the vertices of $G$ such that about one third of the edges are incident to vertices labeled the same. That is, there is some digraph that is an orientation of $G$ that is $(2,3)$-cordial. Examples of the smallest noncordial/non-$(2,3)$-orientable graphs are given and upper bounds on the possible number of edges in a cordial/$(2,3)$-orientable graph are presented. It is also shown that if $T$ is a linear operator on the set of all undirected graphs on $n$ vertices that strongly preserves the set of cordial graphs or the set of $(2,3)$-orientable graphs then $T$ is a vertex permutation..

Randomly sampling an acyclic orientation on the complete bipartite graph $K_{n,k}$ with parts of size $n$ and $k$, we investigate the length of the longest path. We provide a probability generating function for the distribution of the longest path length, and we use Analytic Combinatorics to perform asymptotic analysis of the probability distribution in the case of equal part sizes $n = k$ tending toward infinity. We show that the distribution is asymptotically Gaussian, and we obtain precise asymptotics for the mean and variance. These results address a question asked by Peter J. Cameron. Keywords: bipartite graph, directed graph, random graph, acyclic orientation, poly-Bernoulli numbers, lonesum matrices, generating function, analytic combinatorics, asymptotics.

Orchards are a biologically relevant class of phylogenetic networks as they can describe treelike evolutionary histories augmented with horizontal transfer events. Moreover, the class has attractive mathematical characterizations that can be exploited algorithmically. On the other hand, undirected orchard networks have hardly been studied yet. Here, we prove that deciding whether an undirected, binary phylogenetic network is an orchard -- or equivalently, whether it has an orientation that makes it a rooted orchard -- is NP-hard. For this, we introduce a new characterization of undirected orchards which could be useful for proving positive results.

In 1967, Katona and Szemerédi showed that no undirected graph with $n$ vertices and fewer than $\frac{n}{2}\log_2\frac{n}{2}$ edges admits an orientation of diameter two. In 1978, Chvátal and Thomassen revealed the complexity of determining whether an undirected graph can be oriented to achieve a diameter of two, proving it to be NP-complete. This breakthrough has sparked ongoing interest in identifying sufficient conditions for graphs to be oriented with the smallest possible diameter of two -- critical for optimizing communication and network flow in larger structures. In 2019, Czabarka, Dankelmann, and Székely significantly advanced this field by establishing that the minimum degree threshold for achieving such an orientation in undirected graphs of order $n$ is $\frac{n}{2} + Θ(\ln n)$. In this paper, we extend this foundational result by determining the minimum degree threshold necessary for realizing an orientation with diameter two in mixed graphs, which contain both undirected and directed edges. Mixed graphs offer a versatile framework, representing an intermediate stage in the orientation process, making our findings a substantial generalization of previous results.

An orientation of a graph is semi-transitive if it contains no directed cycles and has no shortcuts. An undirected graph is semi-transitive if it can be oriented in a semi-transitive manner. The class of semi-transitive graphs includes several important graph classes. The Mycielski graph of an undirected graph is a larger graph constructed in a specific manner, which maintains the property of being triangle-free but increases the chromatic number. In this note, we prove Hameed's conjecture, which states that the Mycielski graph of a graph $G$ is semi-transitive if and only if $G$ is a bipartite graph. Notably, our solution to the conjecture provides an alternative and shorter proof of the Hameed's result on a complete characterization of semi-transitive extended Mycielski graphs.

In this paper we present some geometrical representations of the Frobenius group of order $21$ (henceforth, $F_{21}$). The main focus is on investigating the group of common automorphisms of two orthogonal Fano planes and the automorphism group of a suitably oriented Fano plane. We show that both groups are isomorphic to $F_{21},$ independently of the choice of the two orthogonal Fano planes and of the choice of the orientation. We show, moreover, that any triangular embedding of the complete graph $K_7$ into a surface is isomorphic to the classical toroidal biembedding and hence is face $2$-colorable, with the two color classes defining a pair of orthogonal Fano planes. As a consequence, we show that, for any triangular embedding of $K_7$ into a surface, the group of the automorphisms that preserve the color classes is the Frobenius group of order $21.$ This way we provide three geometrical representations of $F_{21}$. Also, we apply the representation in terms of two orthogonal Fano planes to give an alternative proof that $F_{21}$ is the automorphism group of the Kirkman triple system of order $15$ that is usually denoted as #61.

The chromatic symmetric $X_G$ function is a symmetric function generalization of the chromatic polynomial of a graph, introduced by Stanley (1995). Stanley gave an expansion formula for $X_G$ in terms of the power sum symmetric functions $p_λ$ using the principle of inclusion-exclusion, and in arXiv:1904.01262, Bernardi and Nadeau gave an alternate $p$-expansion for $X_G$ in terms of acyclic orientations. In arXiv:2301.02177, Crew, Pechenik, and Spirkl defined the Kromatic symmetric function $\overline{X}_G$ as a $K$-theoretic analogue of $X_G$, constructed in the same way except that each vertex is assigned a nonempty set of colors such that adjacent vertices have nonoverlapping color sets. They defined a $K$-analogue $\overline{p}_λ$ of the power sum basis and computed the first few coefficients of the $\overline{p}$-expansion of $\overline{X}_G$ for some small graphs $G$. They conjectured that the $\overline{p}$-expansion always has integer coefficients and asked whether there is an explicit formula for these coefficients. In this note, we give a formula for the $\overline{p}$-expansion of $\overline{X}_G$, show two ways to compute the coefficients recursively (along with examples), and prove that the coefficients are indeed always integers. In a more recent paper arXiv:2502.21285, we use our formula from this note to give a combinatorial description of the $\overline{p}$-coefficients $[\overline{p}_λ]\overline{X}_G$ and a simple characterization of their signs in the case of unweighted graphs.

Given a graph $G$, we say that an orientation $D$ of $G$ is a KT orientation if, for all $u, v \in V(D)$, there is at most one directed path (in any direction) between $u$ and $v$. Graphs that admit such orientations have been used by Kierstead and Trotter (1992), Carbonero, Hompe, Moore, and Spirkl (2023), Briański, Davies, and Walczak (2024), and Girão, Illingworth, Powierski, Savery, Scott, Tamitegami, and Tan (2024) to construct graphs with large chromatic number and small clique number that served as counterexamples to various conjectures. Motivated by this, we consider which graphs admit KT orientations (named after Kierstead and Trotter). In particular, we construct a graph family with small independence number (sublinear in the number of vertices) which admits a KT orientation. We show that the problem of determining whether a given graph admits a KT orientation is NP-complete, even if we restrict ourselves to planar graphs. Finally, we provide an algorithm to decide if a graph with maximum degree at most 3 admits a KT orientation, whereas, for graphs with maximum degree 4, the problem remains NP-complete.

An oriented graph $D$ is converse invariant if, for any tournament $T$, the number of copies of $D$ in $T$ is equal to that of its converse $-D$. El Sahili and Ghazo Hanna [J. Graph Theory 102 (2023), 684-701] showed that any oriented graph $D$ with maximum degree at most 2 is converse invariant. They proposed a question: Can we characterize all converse invariant oriented graphs? In this paper, we introduce a digraph polynomial and employ it to give a necessary condition for an oriented graph to be converse invariant. This polynomial serves as a cornerstone in proving all the results presented in this paper. In particular, we characterize all orientations of trees with diameter at most 3 that are converse invariant. We also show that all orientations of regular graphs are not converse invariant if $D$ and $-D$ have different degree sequences. In addition, in contrast to the findings of El Sahili and Ghazo Hanna, we prove that every connected graph $G$ with maximum degree at least $3$, admits an orientation $D$ of $G$ such that $D$ is not converse invariant. We pose one conjecture.

In an oriented graph $\overrightarrow{G}$, the inversion of a subset $X$ of vertices consists in reversing the orientation of all arcs with both end-vertices in $X$. The inversion graph of a graph $G$, denoted by $\mathcal{I}(G)$, is the graph whose vertices are orientations of $G$ in which two orientations $\overrightarrow{G_1}$ and $\overrightarrow{G_2}$ are adjacent if and only if there is an inversion $X$ transforming $\overrightarrow{G_1}$ into $\overrightarrow{G_2}$. The inversion diameter of a graph $G$ is the diameter of its inversion graph $\mathcal{I}(G)$ denoted by $diam(\mathcal{I}(G))$. Havet, Hörsch, and Rambaud~(2024) first proved that for $G$ of treewidth $k$, $diam(\mathcal{I}(G)) \le 2k$, and there are graphs of treewidth $k$ with inversion diameter $k+2$. In this paper, we construct graphs of treewidth $k$ with inversion diameter $2k$, which implies that the previous upper bound $diam(\mathcal{I}(G)) \le 2k$ is tight. Moreover, for graphs with maximum degree $Δ$, Havet, Hörsch, and Rambaud~(2024) proved $diam(\mathcal{I}(G)) \le 2Δ-1$ and conjectured that $diam(\mathcal{I}(G)) \le Δ$. We prove the conjecture when $Δ=3$ with the help of computer calculations.

In 1992, Bitar and Goles introduced the parallel chip-firing game on undirected graphs. Two years later, Prisner extended the game to directed graphs. While the properties of parallel chip-firing games on undirected graphs have been extensively studied, their analogs for parallel chip-firing games on directed graphs have been sporadic. In this paper, we prove the outstanding analogs of the core results of parallel chip-firing games on undirected graphs for those on directed graphs. We find the possible periods of a parallel chip-firing game on a directed simple cycle and introduce the method of Gauss-Jordan elimination on a Laplacian-like matrix to establish a lower bound on the maximum period of a parallel chip-firing game on an orientation of an undirected complete graph and an undirected complete bipartite graph. Finally, we expand the method of motors by Jiang, Scully, and Zhang to directed graphs to show that a binary string $s$ can be the atomic firing sequence of a vertex in a parallel chip-firing game on a strongly connected directed graph if and only if $s$ contains $1$ or $s=0$.

Thomason [$\textit{Trans. Amer. Math. Soc.}$ 296.1 (1986)] proved that every sufficiently large tournament contains Hamilton paths and cycles with all possible orientations, except possibly the consistently oriented Hamilton cycle. This paper establishes $\textit{transversal}$ generalizations of these classical results. For a collection $\mathbf{T}=\{T_1,\dots,T_m\}$ of not-necessarily distinct tournaments on the common vertex set $V$, an $m$-edge directed subgraph $\mathcal{D}$ with the vertices in $V$ is called a transversal if there exists an bijection $\varphi\colon E(\mathcal{D})\to [m]$ such that $e\in E(T_{\varphi(e)})$ for all $e\in E(\mathcal{D})$. We prove that for sufficiently large $n$, there exist transversal Hamilton cycles of all possible orientations possibly except the consistently oriented one. We also obtain a similar result for the transversal Hamilton paths of all possible orientations. These results generalize the classical theorem of Thomason, and our approach provides another proof of this theorem.

We prove a generalization of the well-known Bondy-Bopanna-Siegel Lemma to DP-colorings from a class of correspondence assignments which we call derangement assignments. Since DP-colorings from derangement assignments generalize zero-free list colorings of signed graphs, this yields an orientation theorem for zero-free signed list colorings, as well.