arXiv++ Combinatorics

We introduce an approximate version of matrix product factorization for graphs. A simple graph $G$ on $n$ vertices is said to admit an $\varepsilon$-matrix product factorization if there exist simple graphs $H$ and $K$ on the same vertex set such that $A(H)A(K)$ and $A(G)$ disagree in at most $\varepsilon n^{2}$ entries. This Hamming-type relaxation preserves, outside the error set, the exact interpretation of each edge as having a unique $H$-then-$K$ two-step witness. We establish equivalent matrix, and witness formulations, showing that the sets $N_H(w)\times N_K(w)$ form an approximate disjoint decomposition of the ordered adjacency relation of $G$, and we derive quantitative constraints involving walk counts and the degrees of the factor graphs. We then construct approximate factorizations for several graph families. Every complete graph $K_n$ has matrix-product-factorization distance $O(1/n)$, despite the exact congruence obstruction that permits exact factorization only when $n\equiv 1\pmod 4$. More generally, a blow-up of a fixed graph on $r$ vertices admits an $\varepsilon$-factorization with $\varepsilon\le r/n$, and the construction is exact whenever every non-isolated part has even order. For bipartite graphs, we give one-sided factorizations that realize one orientation of almost all edges. In particular, every tree on $n\ge2$ vertices admits an $\varepsilon$-factorization with $\varepsilon\le 1/n$, although no nontrivial tree is exactly factorizable. These results show that rigid exact obstructions may disappear under a vanishing proportion of entrywise errors.

We prove that the local limit of the minimum spanning arborescence in the complete graph (which is an oriented cousin of the minimum spanning tree in the complete graph) is the same as that of the uniform random tree, oriented towards infinity. The latter is known to be the critical Poisson Galton--Watson tree conditioned to survive. This is in sharp contrast with the local limit of the minimum spanning tree, which is known to be different from that of the uniform spanning tree (due to results of Addario--Berry \cite{AddarioBerry2013} and Addario--Berry, Griffiths and Kang \cite{PWIT_local_minimum}). Thus we demonstrate that introducing orientations changes the local geometry of the minimum spanning tree in a non-trivial manner.

For an oriented graph $D$, let $\vecα(D)$ be the maximum order of an induced acyclic subdigraph, $\vecχ(D)$ its dichromatic number, and $\mathrm{fas}(D)$ the minimum number of arcs whose deletion makes $D$ acyclic. We prove that for every fixed $ζ\in (0, 1/2)$, there are triangle-free graphs $G_n$ on $n$ vertices such that a uniformly random orientation $D_n$ satisfies, $$ \left( \frac{1}{2} - ζ\right) e(G_n[U]) < \mathrm{fas}(D_n[U]) \leq \frac{1}{2} e(G_n[U]) $$ with probability at least $1-\exp\!\left[-Ω_ζ\!\left(\sqrt n\,(\log n)^{3/2}\right)\right]$ simultaneously for every vertex set $U$ of size at least $C_ζ\sqrt{n\log n}$. The upper bound is universal, so the feedback-arc ratio can be made arbitrarily close to the largest possible value, uniformly over all sufficiently large induced subdigraphs. In particular, $\vecα(D_n) = O(\sqrt{n \log n})$, and every linear-size induced subdigraph has dichromatic number $Ω(\sqrt{n/\log n})$. This yields $\vecα(n) = Θ(\sqrt{n \log n})$ and $\vec{t}(n) = Θ\left(\sqrt{\frac{n}{\log n}}\right)$, where $\vecα(n)$ and $\vec{t}(n)$ denote, respectively, the minimum of $\vecα(D)$ and the maximum of $\vecχ(D)$ over all oriented triangle-free graphs $D$ of order $n$. This confirms two conjectures of Aboulker, Havet, Pirot, and Schabanel.

In this paper we construct a recursive bijection between $4$-valent maps endowed with a Eulerian orientation -- also known as the ice model -- and a family of unary-binary trees. This answers a question of Bousquet-Mélou and Elvey Price, who established that both these families have the same generating function in arXiv:2503.15046 .

Results by Jackson and Frank imply that every 2k-arc-strong digraph D contains a spanning k-arc-strong oriented subdigraph. This is best possible, even for very dense digraphs. A digraph is semicomplete if at least one of the arcs xy,yx is present for every pair of distinct vertices x,y. A tournament has exactly one of xy,yx for every such pair. Clearly every semicomplete digraph D contains a spanning tournament T which is obtained by deleting one arc from every 2-cycle of D. We prove that every (2k-1)-arc-strong semicomplete digraph on at least 2k+1 vertices contains a spanning k-arc-strong tournament. Both bounds 2k-1 and 2k+1 are best possible. The proof uses Frank's general orientation theorem for graphs as well as counting arguments based on the semicomplete structure.

We study Heilbronn's triangle problem in the unit right triangle, where $n$ points are placed to maximize the smallest of the $\binom{n}{3}$ triangle areas they span. We prove a boundary-structure result: unless all three vertices are occupied, some optimal configuration with $n \ge 5$ has at least four points on the boundary, one edge carrying two of them. With the affine $S_3$ symmetry this fixes four boundary points and $n$ orientation variables in a mixed-integer model that certifies global optimality for all $n \le 8$, including $n = 7, 8$, where no proof was previously available, closing gaps left by grid search and by branch-and-bound. For $n \le 7$ we obtain exact optima with explicit configurations. For $n = 8$ the optimum is conjectured to be the real root of a septic obtained by Chen, Zeng and Zhou, which our reconstruction confirms to $250$ digits. We show its Galois group is $S_7$, so on that conjecture no expression in radicals exists.

In 1992, Billera and Sturmfels introduced coherent monotone paths on polytopes as part of their description of the fiber polytope construction, and later in 1994 showed with Kapranov that these coherent monotone paths capture the topology of the space of all monotone paths, paths from a minimum to a maximum, in the directed graph of a polytope with orientation induced by a linear function. Those results motivate the following analog of the polynomial Hirsch conjecture: Does there always exist a coherent monotone path of polynomial length on a polytope for any choice of orientation induced by a linear function? We show this is not the case by exhibiting a family of polytopes and corresponding linear functions for which every coherent monotone path is exponentially long. As applications, we strengthen longstanding results pertaining to lower bounds for the shadow simplex method, geometric transversals in discrete geometry, and parametric linear optimization.

We study characteristic polynomials of arrangements obtained from the full $m$-Catalan arrangement by deleting hyperplanes indexed by graphs, digraphs, and gain-labeled digraphs. Zero-layer graph deletions give falling-factorial expansions with graphical Stirling coefficients. For a single deleted translated layer $x_i-x_j=l$, the coefficients are directed matching numbers when $1\le l\le\lfloor m/2\rfloor$, and directed path-cover numbers when $\lfloor m/2\rfloor<l\le m$. For simultaneous deletions in several translated layers, the coefficients are admissible sets of deleted gain-labeled arcs. In the case $l=m$, an inclusion-exclusion expansion yields a Lah-number identity relating path covers of a digraph and its complement. We also obtain an $m$-independent criterion for integer linear factorization, compact region-count formulas for a complete bipartite orientation after essentialization, and directed Ish-type applications.

Mineyev's taiko construction, in Garg--Mineyev's finite support-size formulation, gives a concrete route from finite support data to zero divisors and units in group rings of torsion-free CAT(0) groups over $\mathbb{F}_2$. We prove that this triple-girth product-structure route is globally closed: no product structure, even or odd, with support sizes $m,n\ge2$ admits a coherent orientation for which the no-fold and triple-girth conditions both hold. Consequently the Garg--Mineyev triple-girth product-structure assembly route produces neither zero-divisor nor unit counterexamples over $\mathbb{F}_2$ for any such support-size pair. The obstruction is structural, not a bounded-search artifact. High middle-link girth forces signed colors into a balanced near-disjoint rectangle decomposition of the board, with the single odd defect omitted. The product identity, pressure inequalities, Fisher inequalities, and a dual Fisher bound force the middle link to have girth $4$ or $6$; in the girth-six case, the minimum of the two horizontal-link girths is at most $5$. This dichotomy rules out every triple-girth branch. A weighted dual Fisher inequality and an exact finite certificate sharpen the frontier: if the middle link has girth $6$, the horizontal girth is at most $4$, and characteristic-two affine-plane constructions attain equality. Thus the Garg--Mineyev finite failures reflect a structural barrier in the taiko geometry itself. The finite certificate is used only for this sharper frontier, not for the no-$T_4$ obstruction.

We consider the encoding of graph problems as Quadratic Unconstrained Binary Optimization (QUBO) problems, which are solvable by either quantum or classical annealers. Yet, the class of problems encoded as QUBO problems has not previously included nowhere-zero flows. Nowhere-zero flows are related to Tutte's $5$-flow conjecture and appear in many contexts in graph theory. We provide an encoding of nowhere-zero flows as a QUBO Hamiltonian and prove the correctness of the construction. Our construction yields a Hamiltonian $H_{\mathrm{mod},k}$ whose ground state has zero energy if and only if the graph $G$ has a nowhere-zero $\mathbb Z_k$-flow. By Tutte's equivalence theorem, zero ground energy is equivalent to $\varphi(G)\le k$, and the zero-energy degeneracy is given by the flow polynomial $F(G;k)$. In particular, when the ground-state energy is zero, this is also the ground-state degeneracy. The construction uses one-hot variables to represent the edge flow residues modulo $k$ and auxiliary variables to represent the per-vertex modular quotient. We prove that the correctness of the construction is independent of the choice of orientation, root vertex, and positive penalty weights. We verify the construction on $59$ examples of graphs and values of $k$ that include both yes-instances and no-instances. We exhaustively sweep orientations and root choices on selected robustness instances and test a finite suite of positive penalty weights. The resulting Hamiltonian is implemented using the dimod.BinaryQuadraticModel class, which is compatible with the D-Wave Ocean SDK. Quantum-hardware runs and claims about potential speedup using these devices are left to follow-up work.

For an acyclic cluster algebra, the $c$-vectors are, up to sign, the real Schur roots of the associated root system. We study the two-coordinate projections $(c_v, c_w)$ of this configuration: when the difference $c_v - c_w$ is bounded the image lies in a band of lattice lines, and we ask when the projection fills that band. A band-existence dichotomy, valid in every acyclic type, shows the difference is bounded if and only if the null root satisfies $δ_v = δ_w$. For affine type $\widetilde{A}_n$ (the annulus), in the source-sink orientation, we resolve the filling question completely: every coordinate projection fills its band except along the source-sink diagonal, which carries only the finite regular part. The obstruction is the Auslander--Reiten defect, which a projection sees on its diagonal exactly when the defect is a coordinate difference; the only such pair is the source-sink pair of $\widetilde{A}_n$, so the pattern depends on the chosen seed. More generally, every banded pair of null-root coefficient one fills, except these diagonals. Off the diagonal a banded pair in $\widetilde{E}_7$ fails to fill, so non-filling is not confined to type $\widetilde{A}_n$; a computation classifies the pairs of coefficient at least two over a range of affine types, where this $\widetilde{E}_7$ pair is the only further failure, and the general classification remains open.

Let $D$ be an oriented graph, and let $f_T(D)$ denote the number of copies of $D$ in a tournament $T$. We say that $D$ is \emph{converse invariant} if $f_T(D)=f_T(\overline D)$ for every tournament $T$, where $\overline D$ is obtained from $D$ by reversing all arcs. Ai, Gutin, Lei, Yeo, and Zhou introduced a digraph polynomial for studying this property and conjectured that an orientation of a tree of maximum degree at least $3$ is converse invariant if and only if it is self-converse or can be obtained recursively by bridge-mirroring from an orientation of a path. We disprove this conjecture. More precisely, we characterize converse-invariant orientations of trees of diameter four and exhibit non-self-converse examples that do not arise from the recursive bridge-mirroring construction. To prove the classification, we introduce a multilinear polynomial $P_D$ encoding the difference $f_T(D)-f_T(\overline D)$ over all tournaments $T$, and we give a coefficient formula for $P_D$ as a signed sum over copies of subgraphs of the underlying graph of $D$. This polynomial method yields parity obstructions, gives new proofs that oriented paths and cycles are converse invariant, and provides the main tool for the diameter-four classification.

The inversion of a set $X$ of vertices in an oriented graph reverses every arc with both endpoints in $X$. The inversion graph $I(G)$ of a graph $G$ has the labelled orientations of $G$ as its vertices, two orientations being adjacent when a single inversion transforms one into the other, and the inversion diameter $\diam(I(G))$ is its diameter. Answering a question of Havet, Hörsch and Rambaud, we prove the bound in terms of edge number $\diam(I(G)) \le 2\sqrt{|E(G)|}$, and we complement it with a lower bound $\diam(I(G)) \ge \frac{|E(G)|}{|V(G)|}$ obtained by viewing $I(G)$ as a Cayley graph on $\F_2^{E(G)}$. We further refine the upper bound for bipartite graphs $G$ by showing $ \diam(I(G))\le \max\left\{ρ, \left\lceil\log_2\bigl(2+σ(2^{ρ-1}-1)\bigr)\right\rceil\right\}$ where the two parts of $G$ have maximum degrees $σ$ and $ρ$, respectively.

The Riemann--Roch theorem for graphs, due to Baker and Norine, is a foundational result establishing a powerful analogy between finite graphs and algebraic curves. We describe a complete formal proof of this theorem implemented in the Lean 4 theorem prover. Our formalization includes the existence and uniqueness of q-reduced divisors, a modified form of Dhar's burning algorithm, the bijection between acyclic orientations with unique source and maximal superstable configurations, and Clifford's theorem. We also include several challenges for future formalization.

Let $G$ be a locally finite multigraph that is bipartite and "unbalanced," meaning that it has a nontrivial bipartition $(A,B)$ with $°(x) > °(y)$ for all $x \in A$ and $y \in B$. We explore matchings in such graphs through the lens of descriptive set theory. In particular, we show that when $G$ is Borel and $μ$ is a Borel probability measure on its vertex set, there is a Borel matching in $G$ that covers $μ$-almost every vertex in $A$. This was previously known only under the assumption that $μ$ is $G$-invariant, which we eliminate using a novel probabilistic approach. We also describe various extra conditions that imply the existence of a Borel matching covering every vertex in $A$. Along the way, we confirm a conjecture of the first and third named authors concerning the existence of Borel independent complete sections in Borel graphs of finite asymptotic separation index. In addition to their intrinsic interest, our results have applications to various other topics, such as edge-colorings, balanced orientations, and equidecomposition theory for group actions. For example, we show that the measurable edge-chromatic number of every Borel multigraph with finite maximum degree $Δ$ is at most $\lfloor\frac{3Δ}{2}\rfloor$, matching Shannon's optimal bound for finite multigraphs. Another example is that paradoxical Borel group actions with finite asymptotic separation index admit paradoxical decompositions with Borel pieces. This refines a result of Marks and Unger.

The theory of submodular flows, introduced by Edmonds and Giles, is a cornerstone of combinatorial optimization, unifying network flows, matroid intersections and directed cut coverings. In this paper, we establish a measurable-space version of this framework, addressing the structural existence and duality questions raised as part of Problem~10.6 by Lovász in \textit{Submodular setfunctions on sigma-algebras, version 2}. We develop a theory of submodular flows on standard Borel spaces and establish the measurable analogues of the existence and optimality theorems. Furthermore, we introduce a measurable notion of the residual graph and characterize extreme flows by combining a base-polytope intersection condition with an acyclicity condition for the measurable residual graph, generalizing the discrete geometric intuition to the infinite-dimensional setting. Finally, we apply the theory to constrained supply-demand problems on measurable bipartite graphs and to fractional measurable orientations.

A randomly perturbed digraph is an $n$-vertex directed graph with all out- and in-degrees linear in $n$, to which a linear number (depending on the degree) of random edges have been randomly added. We show that randomly perturbed digraphs whose edges have been colored uniformly with $n$ colors have a rainbow copy of every orientation of every possible length cycle, simultaneously, with high probability. This is a common generalization of work of Araujo, Balogh, Krueger, Piga, and Treglown in the uncolored setting and Katsamaktsis, Letzter, and Sgueglia for consistently oriented spanning cycles. Our proof uses Montgomery's distributive absorption method.

We introduce edgewise jump invariants and gradient-type structures for the partition graph $G_n$, whose vertices are the partitions of $n$ and whose edges correspond to elementary transfers of one unit between parts. Previous work on $G_n$ has focused mainly on vertex-level invariants such as degree, local simplex dimension, and support size. Here we study how such invariants change along edges. For an oriented edge $e=(λ,μ)$ and a vertex invariant $F$, we define the signed jump $Δ_e F=F(μ)-F(λ)$ and focus on the basic jump signature \[ J(e)=(Δ_e d,Δ_eδ,Δ_eσ), \] where $d$ is degree, $δ$ is local simplex dimension, and $σ$ is support size. We prove that support jumps are universally bounded by $2$ and describe them in terms of local multiplicity data. We also develop a taxonomy of active, neutral, pure, and mixed transitions, relate nonzero jumps of integer-valued invariants to threshold-layer crossings, and discuss strict gradient orientations associated with real-valued vertex invariants. Finally, we formulate a reproducible protocol for a computational atlas of jump spectra, transition ranks, large-jump edges, and localization patterns. No large-scale computations are carried out here; the atlas is presented as a framework for subsequent work.

A graph $G=(V,E)$ is said to be word-representable if there exists a word $w$ over the alphabet $V$ such that two distinct letters $x,y\in V$ alternate in $w$ if and only if $xy \in E$. Word-representable graphs form a well-studied graph class with connections to graph orientations, combinatorics on words, and graph coloring. A near-triangulation is a planar graph in which every face except the outer face is a triangle. Several subclasses of near-triangulations have previously been investigated in the context of word-representability, including polyomino triangulations, triangulations of rectangular polyominoes with a single domino tile, $K_4$-free near-triangulations, face subdivisions of triangular grid graphs, triangulations of grid-covered cylinder graphs, and chordal near-triangulations. In this paper, we obtain a complete characterization of word-representable near-triangulations in terms of forbidden induced subgraphs. Our result unifies and extends the previously known characterizations for the above subclasses, while also correcting inaccuracies appearing in earlier works.

A transitive tournament is an acyclic orientation of a complete graph. We study decompositions and packings of the transitive tournament \(TT_n\) into connected two-arc motifs. The three motifs considered are chains, colliders, and forks, which are also fundamental local configurations in directed acyclic graphs. We first construct decompositions of \(TT_n\) into mixtures of these motifs whenever such decompositions exist. We then consider the corresponding pure packing problem for each individual motif. For \(H\) equal to a chain, a collider, or a fork, we determine the maximum number of arc-disjoint copies of \(H\) in \(TT_n\). These results give a precise extremal description of two-arc motif packings in transitive tournaments and suggest further questions on motif decompositions in broader classes of directed acyclic graphs.