arXiv++ Combinatorics

A unique sink orientation (USO) is an orientation of the edges of a polytope in which every face contains a unique sink. For a product of simplices $Δ_{m-1} \times Δ_{n-1}$, Felsner, Gärtner and Tschirschnitz (2005) characterize USOs which are induced by linear functions as the USOs on a $(m \times n)$-grid that correspond to a two-colored arrangement of lines. We generalize some of their results to products $Δ^1 \times\cdots\times Δ^r$ of $r$ simplices, USOs on $r$-dimensional grids and $(r+1)$-signotopes.

Let $D$ be an digraph of order $n$ with adjacency matrix $A(D)$ and outdegree matrix $Δ^+=Δ^+(D)$. Then the Laplacian and signless Laplacian matrices of $D$ are respectively defined as $L(D)=Δ^+-A(D)$ and $Q(D)=Δ^++A(D)$. In this paper, we compute singular values and an exact formula for the trace norm of Laplacian matrices of the directed path $\overrightarrow{P_n}$, the directed cycle $\overrightarrow{C_n}$ and all orientations of a star. We show that for a bipartite digraph $D$, the matrices $L(D)$ and $Q(D)$ have same singular values and use this to compute the singular values and trace norm of signless Laplacian matrices. We study the problem of determination of digraphs by their singular values and prove the directed path $\overrightarrow{P_n}$, the directed cycle $\overrightarrow{C_n}$ and oriented star $\overrightarrow{S}_n(n-1,0)$ are determined by their Laplacian and signless Laplacian singular values but are not determined by their adjacency singular values.

We investigate `almost counterexamples' to Seymour's second neighbourhood conjecture. In what we call Seymour-tight orientations, the size of the first neighbourhood of each vertex equals the size of its second neighbourhood. We give several examples and constructions. Specifically, we prove that the class of Seymour-tight orientations is closed under taking (generalized) lexicographic products. Moreover, the lexicographic product of a putative counterexample to Seymour's second neighbourhood conjecture and a Seymour-tight orientation is again a counterexample. Using lexicographic products, we show that if the conjecture is false, then there exist counterexamples that are close to regular tournaments, and moreover that any digraph occurs as an induced subgraph of a counterexample. We then use this same machinery to construct special putative counterexamples to Sullivan's conjecture. The inherent symmetry of these orientations give access to an algebraic perspective. Seymour-tight orientations that are also Cayley digraphs correspond to special pairs of critical sets in groups, which connects potentially to additive combinatorics. We use Kemperman's theorem to characterize those Seymour-tight orientations that are the Cayley digraph of an abelian group.

A graph is called strongly $\Z_{2k+1}$-connected if for each boundary function $β: V(G)\mapsto \Z_{2k+1}$ with $\sum_{v\in V(G)}β(v)\equiv 0\pmod{2k+1}$, there exists an orientation $D$ of $G$ such that $d_D^+(v) - d_D^-(v) \equiv β(v) \pmod{2k+1}$ for each $v \in V(G)$. We show that every planar multigraph with $5$ edge-disjoint spanning trees is strongly $\Z_{5}$-connected. This verifies a special case of the Additive Base Conjecture when restricted to planar graphs. Hence, every $10$-edge-connected directed planar graph admits an antisymmetric $\Z_5$-flow. So, by duality, every orientation of a planar graph of girth at least $10$ admits a homomorphism to a $5$-vertex tournament. Our result also gives a new proof of the known result that every planar graph of girth at least $10$ has a homomorphism to the $5$-cycle.

A graph is strongly $\Z_{\ell}$-connected if for each boundary function $β: V(G)\mapsto \Z_{\ell}$ with $β(v) \equiv d(v) \pmod{2}$ for every vertex $v$ and $\sum_{v \in V(G)} β(v) \equiv 0 \pmod{2\ell}$, there exists an orientation $D$ of $G$ such that $d_D^+(v) - d_D^-(v) \equiv β(v) \pmod{2\ell}$ for each $v \in V(G)$. This is a useful notion for studying circular flows of graphs. This note presents a fully self-contained, manual proof of a characterization of $4$-vertex strongly $\mathbb{Z}_\ell$-connected graphs for any integer $\ell\geq 2$, which will be used in our further study in this topic.

Let $\vec{G}=(V,E^+\cup E^-)$ be a bidirected graph whose underlying undirected graph $G=(V,E)$ is $2$-edge-connected. A strongly connected orientation (SCO) is defined as a subset of arcs that contains exactly one of $e^+,e^-$ for every $e\in E$ and induces a strongly connected subgraph of $\vec{G}$. Given a family $\mathcal{F}$ of proper subsets of $V$, we call an SCO tight if there is exactly one arc entering $U$ for every $U\in \mathcal{F}$. We give a polynomial-time algorithm to construct a set $\mathcal{B}$ consisting of tight SCO's which forms an integral basis for the linear hull of tight SCO's. This means that $\mathcal{B}$ is a linearly independent subset of tight SCO's, and every integer vector in the linear hull of tight SCO's can be written as an integral combination of $\mathcal{B}$. This extends the main result of Abdi, Conuéjols, Liu and Silina (IPCO 2025), who gave a non-constructive proof of the existence of such a basis in an equivalent setting. While their proof uses polyhedral theory, our proof is purely combinatorial and yields a polynomial-time algorithm. As an application of our algorithm, we show that parity-constrained tight strongly connected orientation can be solved in deterministic polynomial time. Along the way, we discover appealing connections to the theory of perfect matching lattices.

We study the problem of finding an acyclic orientation of an undirected graph with constrained in-degree parities specified by a subset T of vertices. An orientation is called T -odd if a vertex v has odd in-degree if and only if v P T . While the unconstrained parity orientation problem is polynomial (Chevalier et al. (1983)), imposing acyclicity makes it more challenging, and its complexity remains an open question. Szegedy and Szegedy ( 2006) proposed a randomized polynomial-time algorithm for this problem, but it is not known whether it belongs to co-NP. Furthermore, Gravier et al. (2025) showed the problem becomes NP-complete on partially directed graphs, even when restricted to planar cubic graphs. We identify three necessary conditions for the existence of acyclic T -odd orientation: a global parity condition P, and two conditions S and S ensuring the existence of potential sources and sinks. Following the work of Frank and Kiraly (2002), we define graph classes containing the graphs for which a given subset of the necessary conditions P, S and S is also sufficient for the existence of an acyclic T -odd orientation. We establish the inclusion relationships between these classes. We complete the study of these classes by a characterization of the solvable instances for Cartesian products of paths and cycles. The proofs of these results are all constructive, so that acyclic T -odd orientations can be built in polynomial time whenever they exist. We use these families, along with cliques, to demonstrate the strictness of the class inclusions in our hierarchy.

The Alon-Tarsi number of a graph $ G $ is the smallest $ k $ such that there exists an orientation $ D $ of $ G $ with maximum outdegree $ k - 1 $ satisfying that the number of even Eulerian subgraphs is different from the number of odd Eulerian subgraphs. The degeneracy of a graph $ G $ is the maximum value of the minimum degree over all subgraphs of $ G $. In this paper, we obtain a characterization of graphs with $AT(G)=2$ for any graph $G$, and study the Alon-Tarsi number of $F$-sum in terms of degeneracy.

Given a digraph $D$, we denote by $\vecα(D)$ the maximum size of an acyclic set of $D$ (i.e. a set of vertices which induces a subdigraph with no directed cycles), and by $\vecχ(D)$ the minimum number of acyclic sets into which $V(D)$ can be partitioned. In this paper, we study $\vecα(D)$ and $\vecχ(D)$ from various perspectives, including restrictions on degrees and cycle lengths. A main result is that, if $D$ is a random $r$-regular digon-free simple digraph of order $n$, then $\vecα(D) = Θ(n \log r /r)$ with high probability. This corresponds to a result of Spencer and Subramanian on the Erdős--Rényi random digraph model. Along the way, we derive some related results and propose some conjectures. An example of this is an analogue of the theorem of Bondy which bounds the chromatic number of a graph by the circumference of any strong orientation.

We prove a conjecture of Shteiner and Shteyner stating that for a bipartite graph $G=(V,E)$, the number of forests in $G$ equals the number of degree sequences arising from its spanning subgraphs. In the process, we provide several equivalent evaluations of the Tutte polynomial $T_G(x,y)$ at $(2,1)$, including interpretations in terms of degree vectors obtained from orientations of $G$.

The dichromatic number of a digraph $D$, denoted by $\vecχ(D)$, is the smallest number of colours required to colour the vertices of $D$ such that each colour class induces an acyclic digraph. A conjecture of Erdős and Neumann-Lara states that there exists a function $f(k)$ such that for every graph $G$ with $χ(G) \geq f(k)$ there is an orientation of $G$ such that the resulting digraph $D$ satisfies $\vecχ(D) \geq k$. We prove the list version of this conjecture: if $G$ has large list chromatic number then there is an orientation of $G$ such that the resulting digraph has large list dichromatic number. The main tool in our result is the following theorem, which is an extension of an analogous result of Alon for the chromatic number: every graph of minimum degree $d$ admits an orientation such that the resulting digraph has list dichromatic number of order at least $\ln d$.

In an oriented graph, the inversion of a subset of vertices X is the operation reversing the direction of every arc with both endpoints in X. Given a graph G, the inversion distance between two orientations G is the minimum number of inversions transforming one into the other. The inversion diameter diam(G) is the maximum such distance over all pairs of orientations of G. Through an equivalent formulation of inversions over 2-edge-colorings of G, we introduce the use of homomorphism-universal 2-edge-colored graphs to obtain bounds on the inversion diameter of various classes of graphs. Our first result upper bounds the inversion diameter by a linear function of the acyclic chromatic number, improving on the previous quadratic dependency. We then consider the inversion diameter of planar graphs, exhibiting a lower bound of 6, as well as new lower and upper bounds for those of a given girth, in particular settling the girth 7 case. We then show that any triangle-free graph G with maximum degree D satisfies diam(G) <= D + log D, making progress on the conjecture of Havet et al. that diam(G) <= D. Finally, we prove a general result about subdivisions: if a graph has inversion diameter k, any of its subdivisions has inversion diameter at most k + log k + 5.

We prove several results concerning cycle tilings and $H$-factors in digraphs. We provide a minimum semi-degree condition for forcing a digraph to contain a given spanning collection of vertex-disjoint orientations of cycles. Our result is asymptotically best possible for odd cycles and can be viewed as a digraph analogue of the El-Zahar conjecture. In addition, we asymptotically determine the minimum degree threshold for forcing an $H$-factor in a digraph for a range of digraphs $H$, including the cases when $H$ is a tree or anti-directed cycle. Furthermore, an asymptotically exact Ore-type result for forcing a transitive tournament factor in a digraph is proven. Several related open problems are also highlighted.

We prove several results about matroids and matroidal families associated with rigidity in dimension $2$. In particular, we establish new properties of the generic rigidity matroid family $\mathcal{R}$ and Kalai's hyperconnectivity matroid family $\mathcal{H}$. We show that $\mathcal{R}$ is the unique matroidal $2$-rigidity family in which $K_{3,3}$ is not a circuit. As a geometric corollary of this result and the Bolker-Roth theorem, it follows that $\mathcal{H}$ and $\mathcal{R}$ are the only $2$-rigidity families associated with algebraic curves in $\mathbb{R}^2$. Bernstein used tropical geometry to characterize $\mathcal{H}$-independent graphs as those admitting an edge-ordering without directed cycles and alternating closed trails. We provide a combinatorial proof of the sufficiency direction and extend Bernstein's theorem to positive characteristic. It follows that the wedge power matroid of $n$ generic points in dimension $n-2$ does not depend on the field characteristic. Our proof method allows to identify many graphs that are independent in every $2$-rigidity family. In particular, we show this for all connected cubic graphs, with exceptions of $K_4$ and $K_{3,3}$. This gives a complete classification of cubic graphs in this respect and answers a question of Kalai in a strong form. As a corollary, we obtain a new property of cubic graphs: every connected cubic graph except $K_4$ and $K_{3,3}$ has an orientation without directed and alternating cycles. Equivalently, it can be edge-partitioned into two forests in a special `interlocked' way.

The famous Ham-Sandwich theorem states that any $d$ point sets in $\mathbb{R}^d$ can be simultaneously bisected by a single hyperplane. The $α$-Ham-Sandwich theorem gives a sufficient condition for the existence of biased cuts, i.e., hyperplanes that do not cut off half but some prescribed fraction of each point set. We give two new proofs for this theorem. The first proof is completely combinatorial and highlights a strong connection between the $α$-Ham-Sandwich theorem and Unique Sink Orientations of grids. The second proof uses point-hyperplane duality and the Poincaré-Miranda theorem and allows us to generalize the result to and beyond oriented matroids. For this we introduce a new concept of rainbow arrangements, generalizing colored pseudo-hyperplane arrangements. Along the way, we also show that the realizability problem for rainbow arrangements is $\exists \mathbb{R}$-complete, which also implies that the realizability problem for grid Unique Sink Orientations is $\exists \mathbb{R}$-complete.

We construct orientations of rook graphs (whose underlying graphs are claw-free) that contain no directed $C_3$ but have unbounded dichromatic number. This disproves a conjecture of Aboulker, Charbit and Naserasr and improves a result of Carbonero, Koerts, Moore and Spirkl.

The oriented Turán number of a given oriented graph $\overrightarrow{F}$, denoted by $\exo(n,\overrightarrow{F})$, is the largest number of arcs in $n$-vertex $\overrightarrow{F}$-free oriented graphs. This concept could be seen as an oriented version of the classical Turán number. In this paper, we first prove several propositions that give exact results for several oriented graphs. In particular, we determine all exact values of $\exo(n,\overrightarrow{F})$ for every oriented graph $\overrightarrow{F}$ with at most three arcs and sufficiently large $n$. After that, we prove a stability result and use it to determine the Turán number of an orientation of $C_4$. Finally, we prove oriented versions of the random zooming theorem by Fernández, Hyde, Liu, Pikhurko and Wu and the almost regular subgraph theorem by Erdős and Simonovits, and use them to obtain an oriented version of the Füredi-Alon-Krivelevich-Sudakov Theorem, which generalizes the famous KST Theorem.

In this paper, we introduce and study two variants of the chromatic quasisymmetric function of a graph: the total chromatic quasisymmetric function via vertex labeling and via acyclic orientations. The original definition of the chromatic quasisymmetric function of a graph by Shareshian and Wachs depends on a labeling of the vertices of the graph, which directly affects the properties of the coefficients appearing in the decomposition of the chromatic quasisymmetric function of a graph into different bases. Motivated by this, we construct the first variant of the chromatic quasisymmetric function of a graph by normalizing it with respect to all the labelings of the vertices. The second variant is motivated by the \emph{tree isomorphism conjecture} and is constructed in terms of acyclic orientations. We investigate the properties of the coefficients in the expansion in the monomial quasisymmetric basis for both variants and provide a comparative analysis. Furthermore, we derive explicit formulas for the coefficients in the monomial decomposition of the two variants for the star graph. For the labeling-based variant, these coefficients arise from a binomial identity for which we provide a combinatorial proof.

We consider triangulations of closed $2$-dimensional (not necessarily orientable) surfaces. Any minimal set of zigzags that double covers the set of edges provides a $z$-orientation of the triangulation. We introduce Markov chains of $z$-oriented triangulations. Our main result is a characterization of their ergodicity. This topic is closely connected to coloring of Eulerian triangulations.

We prove that the coefficient of the star $\mathfrak{st}_{21^{n-2}}$ in the chromatic symmetric function $X_G$ determines whether a connected graph $G$ is $2$-connected. We also prove new linear relations on other star coefficients of chromatic symmetric functions. This allows us to find new bases for certain spans of chromatic symmetric functions. Finally, we relate the coefficient of the star $\mathfrak{st}_n$ to acyclic orientations.