arXiv++ Combinatorics

We determine the zero-forcing number of maximal biconnected outerplanar graphs. When the weak dual is a path, the zero-forcing number and the induced path-covering number are both two. Otherwise, the branching faces determine a canonical core and a family of terminal strips. We prove that an optimal forcing process can be chosen in a normal form governed by explicit vertex and face capacities on the core. After fixing forests on the terminal strips, the zero-forcing number is expressed through an optimization over core-edge selections and the minimum number of root connections that must be removed to obtain an executable orientation. The path-covering number is obtained from the same capacity optimization without the repair cost. We characterize executable orientations by blocking-circuit equations and identify the two-path obstruction with a first cohomology class of a signed contact multigraph. Local replacements and a finite comparison of boundary recurrences establish the normal form for graphs of arbitrary size. A fifty-six-state recurrence constructs a minimum zero-forcing set and a complete forcing chronology in linear time from indexed triangle adjacency. We also obtain exact replacement results for rooted blocks and construct infinite families in which the zero-forcing number exceeds the path-covering number.

An additive coloring assigns positive integer labels to the vertices of a graph so that adjacent vertices have different sums of their neighbors' labels. The additive chromatic number $η(G)$ is the least $k$ for which labels from $[k]$ suffice. We give an elementary orientation argument proving that every finite simple graph $G$ satisfies $η(G) \leq Δ(G) + 1$. This argument yields a $(Δ(G) + 1)$-additive-coloring in polynomial time and improves upon the current best bound of $η(G) \leq Δ(G)^{2} - Δ(G) + 1$, valid for $Δ(G) \geq 2$, from Akbari, Ghanbari, Manaviyat, and Zare.

After the substitution $q\mapsto q+1$, vertical-strip LLT polynomials are weighted sums of strict $P$-partition generating functions indexed by orientations of decorated unit-interval graphs, with weight $q^{\mathrm{asc}(θ)}$. A flip moves an ascending edge across a triangle while keeping its long edge. We show that the sum over every flip class is elementary-positive: it equals the sum of the elementary symmetric functions given by the highest reachable vertices of its orientations. This answers Hwang's question on the Schur positivity of LLT flip-class sums, and it holds for circular unit-interval graphs as well. Summing over classes gives a new proof of the elementary expansion of Alexandersson and Sulzgruber, and its circular analog, which was open. We also obtain a flip-class refinement of the elementary expansion of LLT cumulants.

In this paper, we study the extremal number of arborescences over orientations of a fixed graph. We prove that every alternating orientation of a plane Eulerian multigraph minimizes the rooted arborescence count among its Eulerian orientations. We also prove that every tournament of odd order maximizing the total number of arborescences is regular, and hence Eulerian. These results resolve Conjectures 5.1 and 5.4 of Bandekar et al. We further establish upper bounds for arborescence counts in orientations of complete bipartite graphs and characterize the orientations attaining them.

For a connected graph $G$, let $τ(G)$, $α(G)$ and $α^*(G)$ denote its numbers of spanning trees, acyclic orientations and totally cyclic orientations, respectively. We prove that $α(G)α^*(G)\geqτ(G)^2$ for every connected bridgeless chordal graph.

We prove that the canonical orientation of the generalized Kneser graph $KG(n,k,s)$ contains a directed Hamiltonian cycle for all integers $s \geq 3$ and $n>sk$. Furthermore, we establish that the dichromatic number of this oriented graph is exactly $k$. As a special case, our results apply to the $s$-stable Kneser graphs $K_{s\text{-stab}}(n,k)$, resolving their directed Hamiltonicity and dichromatic number. Our proof adapts the class graph framework of Ledezma and Pastine to the directed setting, leveraging cyclic rotations and friend class adjacencies to construct a single directed cycle spanning all vertices. This work provides a unified and strengthened perspective on the Hamiltonian properties of Kneser-type graphs.

The cactus group acts on tensor products of crystals and, through Bender--Knuth involutions, on semistandard Young tableaux. We show that the big cactus group $J'_n=π_1^{\mathfrak S_n}(\overline M_{0,n}(\mathbb R))$, $n\ge3$, is obtained from the cactus group by imposing $n-1$ Dynkin-reversal relations, which say that conjugation by the full reversal acts on the Bender--Knuth generators by the Dynkin diagram automorphism; the quotient map is induced by forgetting the distinguished marked point. We give a second presentation, in which these relations are replaced by the requirement that every reduced word for the longest element of $\mathfrak S_n$ adapted to an orientation of $A_{n-1}$ represents the full reversal. These relations also hold on rectangular tableaux, where every adapted reduced word therefore acts as evacuation, and on invariant tensors: for finite normal crystals of any complex semisimple Lie algebra, the cactus action on invariants factors through $J'_n$. We prove the latter combinatorially in type $A$ and in general via Gaudin eigenline coverings. Haiman's promotion relation follows from a single adapted-word relation, but for $n\ge4$ it is strictly weaker than the whole family.

We prove that a nonempty subset of the binary vector space $\mathbb{F}_2^7$ is spectral if and only if it tiles $\mathbb{F}_2^7$ by translations. This is the smallest binary dimension left open by Ferguson and Sothanaphan. For the implication from tiling to spectrality we show that every eight-point subset of $\mathbb{F}_2^d$ admits $2^{d-3}$ frequencies whose pairwise differences avoid the zeros of its Fourier transform; consequently every tile of $\mathbb{F}_2^d$ with at least $2^{d-3}$ elements is spectral. For the converse implication, we use the Smith normal form of the Walsh matrix to exclude every spectral subset of $\mathbb{F}_2^7$, and of $\mathbb{F}_2^8$, whose size is not a power of two. The sizes $16$ and $32$ are reduced, by a projection argument, to the tiling of point sets attached to binary log-Hadamard matrices of small rank. Using the published classifications of Hadamard matrices of orders $16$ and $32$, we find that exactly sixteen order-$32$ classes up to transposition have dephased binary rank at most seven, and we give explicit tilings for both orientations of each.

We classify regular dessins on $K_{2^e,2^f}$ with nonmetacyclic colour-preserving automorphism group, retaining the two specified vertex rotations. We give nonredundant presentations and exact counts in both the abelian and nonabelian Frattini cases. For orientation- and colour-preserving isomorphisms, the number is $2^{2e-2}+16$ when $e=f\ge4$ and $3\cdot2^{2f-3}+16$ when $e>f\ge4$, with explicit counts for all smaller exponents. The construction uses a parity criterion in the abelian case and a uniquely determined odd quadratic root with two lifts in the nonabelian case. A dessin in the classification is reflexible exactly when its Frattini subgroup is abelian. All symmetric classes are circular. We determine every circular subfamily, including its face orders and genera; the circular count is $2^e+8$ on the diagonal and $2^{f-2}(2^{f-1}+1)+8$ off the diagonal for $e\ge f\ge4$.

Classical Turán theory relates the asymptotic extremal problem for an ordinary forbidden graph to its chromatic number. This principle fails when a forbidden copy must respect prescribed vertex colors, as occurs naturally in multipartite extremal problems and in embeddings with prescribed clusters. We study properly vertex-colored graphs whose hosts have a prescribed density between every pair of color classes, with containment interpreted through color-preserving homomorphisms. Our main theorem gives a finite directed reduction: for every fixed $m$ and $\varepsilon>0$, every sufficiently many-colored $d$-dense host admits a colored homomorphism from an $m$-layer half-blowup $D[m]$ of a finite digraph $D$ with density at least $d-\varepsilon$, where $D$ may be chosen with $\lceil\varepsilon^{-1}\rceil$ vertices. Consequently, the colored Turán density of every non-empty finite forbidden family equals the homomorphism Turán density of its associated acyclic orientations. We then determine the complete finite value set: these densities are exactly the Lagrangians of finite loopless digraphs, and hence are rational. The main technical input is a low-resolution sampling method that preserves all pairwise bipartite degree profiles on a large subfamily of color classes while keeping the sample size independent of the number of retained classes.

We study unordered triples of order-$n$ floretion base vectors whose tile centroids form nondegenerate equilateral triangles. A scaled integer centroid map turns Euclidean completion into exact arithmetic on a triangular lattice, and a residue obstruction modulo $3$ shows that every equilateral centroid triangle uses three tiles of one orientation. Combined with finite triangular-lattice completion counts, this gives $|E_n|=4^n(4^n-1)/12$. Equilateral triangles containing the identity word $e_n$ as a vertex form an entirely nonlocal family of cardinality $(4^n+(-2)^n-2)/3$. For synchronized local $γ$-cycles, $|L_n|=(7^n-4^n)/3$ and $|L_n|/|E_n|\sim4(7/16)^n$, while on the no-$e$ support $S_n=\{i,j,k\}^n$ locality is exhaustive and $|E_n^S|=|L_n^S|=(2^n-1)3^{n-1}$. The union of the three main axes supports exactly $|E_n^{\rm ax}|=4^{n-1}+2^n-2$ equilateral triangles, split into the branches $x=y=z$ and $x+y+z=0$. For $T\in E_n$, the unsigned vertex product defines a product point $C_T$; a digitwise parity criterion characterizes $C_T=Q_T$ on local cycles and yields Fibonacci subfamilies. Multiplication-generation is equivalent to $p(T)=e_n$, hence $C_T=0$; locally this gives exactly the nontrivial global $γ$-orbits, and exact enumeration through order $6$ finds no nonlocal example. Retaining the signs discarded by the unsigned product gives a second classifier: a triangle has scalar vertex-sum square exactly when its three vertices pairwise anticommute. For local cycles this occurs exactly when $|S|$ is odd, giving $|\mathrm{AC}_n\cap L_n|=(7^n-1)/6$, while nonlocal pairwise-anticommuting examples already occur in order $3$.

The immanant is a generalized matrix function associated with irreducible characters of the symmetric group. The immanantal polynomial of matrix $M$ is defined as the immanant of matrix $(xI - M)$, where $I$ is the identity matrix. The characteristic polynomials and permanental polynomials of graph matrices (adjacency matrix, Laplacian matrix, signless Laplacian matrix and $A_α(G)$ matrix) have been extensively studied, yielding fascinating results. As a unification of the characteristic polynomial and permanental polynomial, the immanantal polynomial has also attracted attention and led to several important findings. In this paper, we focus on the study of immanantal polynomials for linear combination matrices composed of the degree matrix and adjacency matrix of a graph. First, applying the concept of vertex orientation for general graphs, we provide a combinatorial interpretation of the coefficients of the immanantal polynomials for the linear combination matrices of graphs, and we also characterize the bounds of these coefficients. These bounds implicitly encompass the existing results of Chan and Lam on trees and bipartite graphs. Furthermore, we give a solution to the open problem posed by Merris. Second, we characterize the first six coefficients of the hook immanantal polynomial. And the necessary and sufficient condition under which the linear combination matrices of two regular graphs have the same hook immanantal polynomial is proved. Third, we generalize the Frobenius--König theorem and the Laplace expansion theorem to immanants. Using these two theorems, we show that the star degree of a graph is always a lower bound for the multiplicity of a certain root of the immanantal polynomial of its linear combination matrix. Finally, we derive formulas for the first six coefficients of the hook immanantal polynomial for several important graph matrices.

For fixed integers $k,\ell$ with $0\leq\ell<3k$, we study the problem of deciding whether a graph is $(k,\ell)$-sparse, a notion arising in combinatorial optimization and rigidity theory. Standard pebble-game algorithms take $O(n^2)$ time for $0\leq\ell<2k$ and $O(n^3)$ time for $2k\leq\ell<3k$, although faster algorithms were known for some parameter choices. We develop efficient recognition algorithms using bounded-indegree orientations, reductions to rooted arc-connectivity, augmenting paths, and centroid decomposition. For $0\leq\ell<2k$, they run in $O(n^{1+o(1)})$ time, yielding the first subquadratic bound valid throughout the entire range. Purely combinatorial implementations run in $O(n\sqrt n)$ time throughout this range. For graphs with $O(n)$ edges, we also improve the purely combinatorial running time for decomposing the edge set into a fixed number of forests, or certifying that no such decomposition exists, from $O(n\sqrt{n\log n})$ to $O(n\sqrt n)$. For simple graphs with $2k\leq\ell<3k$, the general recognition algorithm runs in $O(n^2)$ time when $\ell\leq2k+2$ and in $O(n^2\log n)$ time otherwise. When $\ell=2k$ and $k\leq3$, a specialized algorithm improves this to $O(n^{1+o(1)})$ and admits a purely combinatorial $O(n\sqrt n)$ implementation. Whenever the input graph is not $(k,\ell)$-sparse, our recognition algorithms return an explicit violating vertex set.

We study separable discrete convex optimization over indegree vectors of orientations of an undirected graph, focusing on the effect of imposing acyclicity. Since the extreme points of the indegree polytope are precisely the indegree vectors of acyclic orientations, this amounts to comparing optimization over its integer points with optimization over its extreme points. Over all orientations, minimizing a vertex-separable discrete convex objective is strongly polynomial-time solvable by minimum-cost flow. Over acyclic orientations, for every fixed discrete convex function shared by all vertices, we obtain a dichotomy: if the function is linear on the positive integers, the problem is solvable in linear time; otherwise exact optimization is NP-hard on connected simple graphs, and APX-hard when the function is non-negative. We also give strongly polynomial-time constant-factor approximation algorithms for broad classes of convex and concave objectives. For the $p$-power sum of indegrees, this yields a $2^p$-approximation for every fixed integer $p\geq1$, while the problem is APX-complete for every fixed integer $p\geq2$; if $p$ is part of the input, no deterministic polynomial-time $2^{p^{1-\varepsilon}}$-approximation exists for any fixed $\varepsilon>0$ unless $\mathrm{P}=\mathrm{NP}$. We further give an exact $O(2^{|V|}|V|+\operatorname{poly}(|V|,|E|))$-time dynamic program for general separable objectives, with a matching lower bound in the exponent under the Exponential Time Hypothesis. Finally, decreasingly minimal and increasingly maximal acyclic orientations need not coincide and are both NP-hard, while minimizing the maximum weighted indegree over acyclic orientations remains strongly polynomial-time solvable.

Let $f(d)$ be the smallest integer such that every finite connected bridgeless simple graph of diameter $d$ admits a strong orientation of diameter at most $f(d)$. Chvátal and Thomassen (1978) proved $\lceil d^2/2\rceil+d\le f(d)\le2d^2+2d$. In this paper, we prove that $\lceil d^2/2\rceil+d\le f(d)\le\lceil d^2/2\rceil+d+18$ for every $d\ge2$, which shows that $f(d)=\lceil d^2/2\rceil+d+O(1)$ and determines both the quadratic and linear terms up to a bounded additive error. The key method of our proof is to construct a central subgraph $H$ that admits a strong orientation of diameter $O(d)$ and is within distance $\lfloor d/2\rfloor$ of every vertex outside it. We obtain the sharp linear coefficient by jointly estimating outside paths and their connecting paths in $H$ at the actual attachment vertices, rebuilding $H$ when necessary.

A $k$-bend path is a non-self-intersecting polyline that lies on a grid and consists of at most $k+1$ axis-parallel line segments. An $\llcorner$-EPG graph is a graph whose vertices can be represented by 1-bend paths on a grid, where each path is either $\llcorner$, $\shortmid$, or $\text{-}$, such that two vertices are adjacent if and only if the corresponding paths share at least one grid edge. Characterizing chordal $\llcorner$-EPG graphs was explicitly posed as an open problem by Cameron, Chaplick, and Hoàng. We resolve this by giving two equivalent characterizations of connected chordal $\llcorner$-EPG graphs. The first assigns to every connected chordal $\llcorner$-EPG graph an ordered clique partition tree of its vertex set, where the underlying tree is the bipartite incidence graph of the horizontal and vertical edge-intersection components. The second is stated purely in terms of maximal cliques: a connected chordal graph is $\llcorner$-EPG if and only if some clique tree admits an admissible partial orientation. A reduction lemma replaces local clique labels by maximal cliques, linking the two characterizations. For a prescribed clique tree, the existence of an admissible partial orientation reduces to 2-SAT and is decided in $O(nM^2)$ time, where $n$ and $M$ are the numbers of vertices and maximal cliques. Finally, we show that strong chordality is not sufficient: we exhibit a strongly chordal graph that is a minimal forbidden induced subgraph for $\llcorner$-EPG, and a family of split graphs with a unique clique tree for which membership in $\llcorner$-EPG reduces to a neighborhood condition.

We study the tropical octahedron recurrence on the lattice tetrahedron $\{(x_1,x_2,x_3,x_4)\in\mathbb Z_{\geq0}^4: x_1+x_2+x_3+x_4=n\}$ with an intrinsic double-hive boundary law. Let $M_1^{(n)},M_2^{(n)},M_3^{(n)}$ be independent standard $n\times n$ GUE matrices and, for fixed $\ell_1,\ell_2,\ell_3>0$, set $ X_r^{(n)}=\ell_r\sqrt n\,M_r^{(n)},\qquad r=1,2,3. $ The boundary law on the two upper panels is the Gibbs density on the cone of double hives whose four exterior sides correspond, in the prescribed orientations, to the spectra of $X_1^{(n)},X_2^{(n)},X_3^{(n)}$, and $X_1^{(n)}+X_2^{(n)}+X_3^{(n)}$. We then perform an octahedron-recurrence sweep to obtain the value at every lattice point of the tetrahedron. After scaling lattice positions by $n^{-1}$ and recurrence values by $n^{-2}$, we prove that the resulting random field converges uniformly in probability to a deterministic Lipschitz function on $\{(x_1,x_2,x_3,x_4)\in\mathbb R_{\geq0}^4: x_1+x_2+x_3+x_4=1\}$. For every strictly interior target lattice point we construct a canonical planar bipartite graph supported on a union of three triangular panels and prove an exact perfect-matching formula for the recurrence value. Its variable weights are explicit interlacing gaps from the minor processes of $X_1^{(n)},X_2^{(n)},X_3^{(n)}$, together with explicit seam and matching-independent terms. The asymptotic analysis of this formula yields a surface-tension variational characterization of the deterministic limit. This matching rule supplies, in the present four-simplex setting, the kind of higher-dimensional combinatorial formula identified as a major cluster-algebra problem by Henriques and Speyer.

Häggkvist and Thomason proved that every $n$-vertex oriented graph with minimum semidegree at least $(\frac{5}{12}+o(1))n$ contains every orientation of a Hamilton cycle. Using Szemerédi's regularity lemma, Kelly later improved this to the asymptotically sharp bound $(\frac{3}{8}+o(1))n$. Taylor subsequently generalized Kelly's theorem by proving that every sufficiently large robust outexpander with linear minimum semidegree contains every orientation of a Hamilton cycle. We revisit Häggkvist and Thomason's proof and show that it can be modified to give a regularity-free proof of Taylor's theorem (and thus Kelly's theorem). Building on this, we also give regularity-free proofs of related results on Hamilton-connectivity and linkage in robust outexpanders. As applications of these results, we are able to replace the use of the regularity lemma in known results on arbitrary orientations of Hamilton cycles in $n$-vertex digraphs with minimum semidegree at least $\frac{n}{2}$ and in $n$-vertex digraphs with minimum total degree at least $(1+o(1))n$. The first step is to show that, in an $n$-vertex robust outexpander with linear minimum semidegree, two uniformly chosen disjoint sets of logarithmic size satisfy Hall's condition with high probability. The second is to show that robust expansion is inherited by uniformly chosen linear sized sets. In both cases, we use the graph-container methods of Kleitman--Winston and Sapozhenko to reduce the possible obstructions to a small enough family to permit a union bound.

A graph is beautiful if each of its induced subgraphs is the intersection graph of all maximal nonempty 1-rectangles of a binary matrix, with adjacency defined by a common cell. Beautiful graphs were introduced as a hereditary class of Berge graphs, but a complete forbidden-induced-subgraph characterization was not obtained. We prove that a finite graph is beautiful if and only if it has no induced $C_4$, gem, net, watch, or odd hole. More precisely, these graphs are exactly the $C_4$-free comparability graphs admitting a partial order in which every interval is a chain. The proof constructs such an order from inclusion-maximal closed neighbourhoods: their representatives induce a bipartite graph whose domination regions admit compatible orientations. One order matrix then represents the graph and, through its principal submatrices, every induced subgraph. The representation step is formulated using classical double-bound graphs and the established correspondence between maximal bicliques and interval-intersection-closed posets. Consequences include polynomial-time recognition, the exact minimal obstruction families, and a corrected characterization in the $K_4$-free case.

Let $f(d)$ be the smallest integer such that every connected bridgeless graph of diameter $d$ admits an orientation with directed diameter at most $f(d)$. Chvátal and Thomassen (1978) proved $\left\lceil{d^2}/{2}\right\rceil+d\le f(d) \le 2d^2+2d$. In this paper, we prove that $f(d)\le \left\lceil d^2/2\right\rceil+6d$, which shows $f(d)= d^2/2+Θ(d)$ and determine the leading quadratic coefficient of $f(d)$. The key method of our proof is to construct a central subgraph $H$ such that it admits a strong orientation of diameter $O(d)$ and the distance between $H$ and every vertex outside $H$ is at most $ d/2 $.