arXiv++ Combinatorics

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.

In a digraph $D$,a quasi-kernel is an independent set $Q$ such that for every vertex $u$, there is a vertex $v \in Q$ satisfying $\text{dist}(v,u)\leq 2$. In 1974 Chvátal and Lovász showed every digraph contains a quasi-kernel. In 1976, P. L. Erdős and Székely conjectured that every sourceless digraph has a quasi-kernel of order at most $\frac{n}{2}$. Despite significant recent attention by the community the problem remains far from solved, with no bound of the form $(1-ε)n$ known. We introduce a polynomial time algorithm which greedily constructs a small quasi-kernel. Using this algorithm we show that if $D$ is a $\vec{K}_{1,d}$-free digraph, then $D$ has a quasi-kernel of order at most $\frac{(d^2 - 2d + 2)n}{d^2-d+1}$. By refining this argument we prove that for any $D$ with maximum out-degree $3$ this algorithm constructs a quasi-kernel of order at most ${4n}/{7}$. Finally, we consider the problem in digraphs forbidding certain orientation of short cycles as subgraphs, concluding that all orientations $D$ of a graph $G$ with girth at least $7$ have a quasi-kernel of order at most $\frac{(d^2+4)n}{(d+2)^2}$, where $d$ is the maximum out-degree of $D$.

By their nature it is difficult to differentiate chaotic dynamical systems through measurement. In recent years, work has begun on using methods of Topological Data Analysis (TDA) to qualitatively type dynamical data by approximating the topology of the underlying attracting set. This comes with the additional challenges of high dimensionality incurring computational complexity along with the lack of directional information encoded in the approximated topology. Due to the latter fact, standard methods of TDA for this high dimensional dynamical data do not differentiate between periodic cycles and non-periodic cycles in the attractor. We present a framework to address both of these challenges. We begin by binning the dynamical data, and capturing the sequential information in the form of a coarse-grained weighted and directed network. We then calculate the persistent Dowker homology of the asymmetric network, encoding spatial and temporal information. Analytically, we highlight the differences in periodic and non-periodic cycles by providing a full characterization of their one-dimensional Dowker persistences. We prove how the homologies of graph wedge sums can be described in terms of the wedge component homologies. Finally, we generalize our characterization to cactus graphs with arbitrary edge weights and orientations. Our analytical results give insight into how our method captures temporal information in its asymmetry, producing a persistence framework robust to noise and sensitive to dynamical structure.

In the sufficiently sparse case, we find the probability that a uniformly random bipartite graph with given degree sequence contains no edge from a specified set of edges. This enables us to enumerate loop-free digraphs and oriented graphs with given in-degree and out-degree sequences, and obtain subgraph probabilities. Our theorems are not restricted to the near-regular case. As an application, we determine the expected permanent of sparse or very dense random matrices with given row and column sums; in the regular case, our formula holds over all densities. We also draw conclusions about the degrees of a random orientation of a random undirected graph with given degrees, including its number of Eulerian orientations.

A celebrated but non-effective theorem of Tibor Gallai states that for any finite set $A$ of $\Z^n$ and for any finite number of colors $c$ there is a minimal $m$ such that no coloring of the finite $m^n$-grid can avoid that a homothetic image of $A$ is monochromatic. We find (or confirm) $m$ for equilateral triangles, squares, and various types of rectangles. Also, we extend the problem from homothety to general similarity, or to similarity generated using some special rotations. In particular, we compute Gallai similarity numbers for lattice rectangles similar to $1\times k$ (in all orientations) for $k=2,3,4$. The solutions have been found in the framework of the Satisfiability Problem in Propositional Logic (SAT). While some questions were solved using managed brute force, for the more computationally intensive questions we used modern SAT solvers together with symmetry breaking techniques. Some other minor questions are solved for triangles and squares, and new lower bounds are found for regular hexagons on the triangular lattice and for three-dimensional cubes in $\Z^3$.

For a digraph $G$, let $f(G)$ be the maximum chromatic number of an acyclic subgraph of $G$. For an $n$-vertex digraph $G$ it is proved that $f(G) \ge n^{5/9-o(1)}s^{-14/9}$ where $s$ is the bipartite independence number of $G$, i.e., the largest $s$ for which there are two disjoint $s$-sets of vertices with no edge between them. This generalizes a result of Fox, Kwan and Sudakov, who proved this for the case $s=0$ (i.e., tournaments and semicomplete digraphs). Consequently, if $s=n^{o(1)}$, then $f(G) \ge n^{5/9-o(1)}$ which polynomially improves the folklore bound $f(G) \ge n^{1/2-o(1)}$. As a corollary, with high probability, all orientations of the random $n$-vertex graph with edge probability $p=n^{-o(1)}$ (in particular, constant $p$, hence almost all $n$-vertex graphs) satisfy $f(G) \ge n^{5/9-o(1)}$. Our proof uses a theorem of Gallai and Milgram that together with several additional ideas, essentially reduces to the proof of Fox, Kwan and Sudakov.