arXiv++ Combinatorics

Inspired by recent advances in notions of spectral approximation of digraphs [Ahm+20], we study spectral algorithms for finding periodic structures in digraphs via the spectrum of a class of rotated Laplacian matrices. This class of Laplacian matrices was previously studied by Lange, Liu, Peyerimhoff, and Post [Lan+15]. We consider a notion of periodicity ratio that generalizes the bipartiteness ratio of Trevisan [Tre09], and show that it is closely related to the spectrum of rotated Laplacian matrices. In particular, if the digraph is strongly connected and represents a Markov chain, this periodicity ratio for a given $p \in \mathbb{N}$ is a quantitative measure of how close this Markov chain is to having periodicity $p$. We propose and analyze a periodicity-ratio variant of the spectral algorithm by Louis, Raghavendra, Tetali and Vempala [Lou+12]. We show that the algorithm runs in randomized polynomial time and can find many nearly periodic components (i.e, components with small periodicity ratio). This also implies a new higher-order Cheeger-type inequality for periodicity in the spirit of that in [Lou+12; LOT14]. As part of our analysis, we prove a new theorem that upper bounds the probability that the largest magnitudes of two sequences of coordinate-wise correlated complex Gaussian random variables occur at different indices, which may be of independent interest. Previously, an analogous result was known only for real Gaussian random variables.

Let $k$ and $\ell$ be positive integers. The family $C(k,\ell)$ consists of all digraphs obtained from two internally vertex-disjoint directed paths of lengths at least $k$ and $\ell$, respectively, and identifying their initial vertices and their terminal vertices. Addario-Berry, Havet and Thomassé (JCT-B, 2007) asked whether, for any positive integers $k$ and $\ell$ with $k+\ell \ge 4$, the chromatic number $χ(D)$ is at most $k+\ell-1$ for every $C(k,\ell)$-free strongly connected digraph $D$. Let $D$ be a $C(k,\ell)$-free Hamiltonian digraph. Kim, Kim, Ma and Park (JGT, 2018) showed that $χ(D) \le k+\ell$ and the bound is attained when $k+\ell=5$. In this paper, we prove that $χ(D) \le k+\ell-1$ for $k+\ell\ge 6$ and this bound is best possible for all $k+\ell\geq 6$, which resolves the problem posed by Addario-Berry, Havet and Thomassé for Hamiltonian digraphs.

Steinerberger curvature encodes the global distance geometry of a graph through an equilibrium measure. In this paper, we derive explicit curvature formulas for undirected Cayley graphs of dihedral groups $D_n$ and generalized quaternion groups $Q_{4m}$. We then extend Steinerberger curvature to strongly connected simple digraphs by introducing in-curvature and out-curvature, reflecting the asymmetry of directed distances. For these directed curvatures, we establish structural properties, including negativity criteria and a permutation relation between in- and out-curvature. Our main results are directed analogues of the Bonnet--Myers, Cheng and Lichnerowicz theorems, together with reverse Bonnet--Myers inequalities for directed diameter and out-radius, and an upper bound for in-radius in terms of total curvature.

The familiar color wheel is a disk divided into six sectors, colored red, orange, yellow, green, blue, and purple, in circular order. Three of the colors can be obtained by blending the colors in the two neighboring sectors. One might wonder: is there a color wheel in which all six of the sections have this property, without all the sections being the same color? We show that the answer is no, not just for the 6-cycle but for any finite connected graph; indeed, for any finite, strongly connected, edge-weighted digraph. The result generalizes the ``harmonic lemma" for graphs, replacing the well-behaved averaging function by paint blending, about which almost nothing is assumed. Our proof makes use of a Markov chain stopping rule.

In this paper, we study the Lin--Lu--Yau Ricci curvature of strongly connected locally finite digraphs through an explicit optimal-coupling construction. For an arc of a digraph, we derive a computable curvature formula by constructing a coupling between the probability measures at its tail and head, and by proving its optimality using a suitable $1$-Lipschitz function. The formula is not only effective for direct computation, but also unifies several known results: in particular, it recovers the Lin--Lu--Yau Ricci curvature formula for Cayley graphs of Right-Angled Artin--Coxeter Hybrid groups as a special case and gives shorter proofs of curvature results arising from matching-type conditions. We then characterize arcs with zero Ricci curvature through perfect distance matching and perfect distance partitions. We further prove that, under suitable assumptions, such arc curvature in directed Cayley graphs increases when an inverse generator or a new generator is added to the generating set. As applications, we compute the curvature of directed Cayley graphs of dihedral groups and generalized quaternion groups, including $Γ(D_n,\{a,b\})$, $Γ(Q_{4m},\{a,b\})$, $Γ(Q_{4m},\{a,a^{-1},b\})$ and $Γ(Q_{4m},\{a,b,b^{-1}\})$. Finally, we provide an algorithm for computing the Lin--Lu--Yau Ricci curvature of Cayley graphs of finitely generated groups with prescribed generating sets, together with complete curvature tables for several important families of finite groups.

Azuma et al. showed that a cactus-expandable Boolean network $Σ$ is structurally oscillatory if and only if all the simple cycles of $Σ$ contain an odd number of inhibiting edges. We show that we do not need the cactus-expandable condition. Namely, a strongly connected Boolean network $Σ$ is structurally oscillatory if and only if all the simple cycles of $Σ$ contain an odd number of inhibiting edges. Additionally, we provide a characterization of a structurally oscillatory Boolean network for the general case.

Suppose that pebbles are distributed on the vertices of a directed graph D. A directed pebbling step u -> v along an arc u -> v removes two pebbles from u and places one pebble on v. We study the stacking number stack(D), the least integer t >= 2 such that every configuration with t pebbles can be transformed by a finite sequence of pebbling steps into a configuration with all pebbles on a single vertex, and the clearing number clear(D), defined analogously by requiring a final configuration with one pebble. Our main result is the formula stack(C_n) = n(2^{n-1}-1)+1 for the directed n-cycle C_n, for n >= 2. We also prove that, for finite simple digraphs with at least two vertices, stack(D) is defined precisely for strongly connected digraphs, and clear(D) is defined precisely for strongly connected digraphs whose directed cycle lengths have greatest common divisor 1.

For a fixed integer $m\ge 1$, let $\mathcal{A}_n^{(m)}$ be the set of permutations $π\in S_n$ that avoid the pattern $132$ and satisfy the adjacency bound $|π_{i+1}-π_i|\le m$ for all $i$. Here, a pattern $132$ means three indices $i<j<k$ such that $π_i<π_k<π_j$. A recent study initiated the enumeration of these constrained 132-avoiding permutations, treating the case $m=2$ by deriving a rational ordinary generating function and asking for finite-state decompositions, rational generating functions, and explicit rational formulas for larger fixed $m$. We introduce a two-sided endpoint-state decomposition that works uniformly for every fixed $m$. The state variables impose threshold bounds on the endpoint deficiencies $n-π_1$ and $n-π_n$, with thresholds in $\{0,1,\ldots,m-1,\infty\}$. This gives at most $(m+1)^2$ states and proves that, for every fixed $m$, the ordinary generating function $A^{(m)}(x)$ is rational and can be computed effectively by exact linear algebra. We also identify cyclic strongly connected components of the dependency graph in the finite-state system to give an explicit upper bound for the order of an eventual constant-coefficient recurrence satisfied by the sequence $a_n^{(m)}=|\mathcal{A}_n^{(m)}|$. We then recover the known case $m=2$ from this state system and work out the case $m=3$ explicitly. On the asymptotic side, we prove that the exponential growth constant exists for every $m$; for $m\ge2$ it is obtained from the spectral radii of the two cyclic components with more than one vertex in the state system. We determine the simple-pole asymptotics for $m=2$ and $m=3$, and we prove that the growth constants are nondecreasing in $m$, strictly smaller than the Catalan growth constant $4$ for every finite $m$, and converge to $4$ as $m\to\infty$.

A valuation-theoretic framework is developed for studying tropical degenerations of multilinear network games. Equilibrium conditions are modeled by an ideal over the Puiseux field, and valuation classes and cluster multiplicities are used to describe the organization of Puiseux equilibrium branches under degeneration. For valuation vectors lying in the relative interiors of generator-wise maximal tropical cells, multilinearity is shown to force a binomial reduction of the generator-wise initial system. The resulting binomial systems are governed by exponent-difference graphs, strongly connected component decompositions, and lattice indices computed via Smith normal form. In particular, unimodular diagonal blocks yield initial-coefficient rigidity, whereas non-unimodular blocks give rise to torsion-type leading-coefficient multiplicities. The generic binomial theory is complemented by a collision-normalized cross-prism family. In this family, 2^L Puiseux equilibrium branches share the same valuation vector and the same leading-coefficient vector. The corresponding limiting initial fiber is supported at a single torus point, but this point is nonreduced with scheme-theoretic length 2^L. Thus valuation coalescence is realized as an intrinsic scheme-theoretic collision rather than merely as a loss of higher-order terms. These local degeneration invariants are then related to the algebraic-degree theory of network games, showing how global equilibrium counts can be refined by valuation classes, binomial initial systems, Smith lattice data, and nonreduced collision fibers.

Let $\mathcal{D}$ be a family of digraphs. A digraph $D$ is \emph{$\mathcal{D}$-saturated} if it contains no member of $\mathcal{D}$ as a subdigraph, but for any arc $e$ in the complement of $D$, the digraph $D + e$ contains some member of $\mathcal{D}$ as a subdigraph. The \emph{saturation number} $\mathrm{sat}(n,\mathcal{D})$ and the \emph{extremal number} $\mathrm{ex}(n,\mathcal{D})$ are the minimum number and the maximum number of arcs among all $n$-vertex $\mathcal{D}$-saturated digraphs. For a positive integer $k$, let $\mathcal{D}_k$ denote the family of \emph{$k$-strongly connected digraphs}. In this paper, firstly, we prove that $$\mathrm{sat}(n,\mathcal{D}_k)=(k-1)(2n-k)+\binom{n-k+1}{2}.$$ Then for $n\geq 3(k-1)$, we prove that $$\mathrm{ex}(n,\mathcal{D}_k)\leq \binom{n-k+1}{2}+\frac{17}{6}(k-1)(n-k+1).$$ In addition, we conjecture that for sufficiently large $n$, $$\mathrm{ex}(n,\mathcal{D}_k)=\binom{n}{2}+\frac{3}{2}(k-\frac{4}{3})(n-k+1).$$

Connectivity of temporal graphs has been widely studied both as graph theory and as gossip theory. In particular, it is well known that in order to connect every vertex to every other, a temporal graph needs to have at least $2n-4$ edges where $n$ is the number of vertices. This paper investigates the optimal number of edges required to satisfy partial connectivity requirements. We introduce the problem of Connectivity Request Satisfaction where we are given a directed graph that we call the request graph, where an arc from $u$ to $v$ means that we need to be able to go from $u$ to $v$. Our goal is to build a temporal graph on the same vertex set with as few temporal edges as possible that would satisfy all the requests. When the graph we build is directed, we prove that the number of temporal arcs required is $n-\mathrm{cc}+\mathrm{dfvs}$ where $\mathrm{cc}$ is the number of connected component of the request graph and $\mathrm{dfvs}$ is the size of its smallest directed feedback vertex set. It follows that the problem is NP-complete but inherits fixed parameter tractability properties of Directed Feedback Vertex Set. When the graph we build is undirected, we establish a characterization of strongly connected request graphs that admit a solution with $n-1$ edges: it is possible if and only if any set of pairwise non-vertex-disjoint closed walks all share a common vertex. We prove that this criteria can be tested in polynomial time.

In this article, we provide three formulas allowing to compute the minimum amount of initial chips leading to an infinite Chip-firing game. These formulas hold for strongly connected directed loop-free multigraphs and generalize what was already known in the Eulerian case. In addition to the many theoretical aspects, some algorithmic consequences are also investigated.

We consider Boolean networks with interaction graphs partitioned into strongly connected components, which we call strong modules. This type of network decomposition has been considered in the literature, primarily from the perspective of attractor detection algorithms. In this paper, we aim to provide an algebraic basis for this line of research in the case of asynchronous Boolean networks. We prove that the asynchronous attractors of a network can be described as a dependent sum construction: as products of attractors of its controlled strong modules. We then show that a representation of all attractors can be computed in polynomial time under two conditions: the strong modules are small, and either the network is sparse or its defining functions have small size circuits (in particular when they are nested canalizing). We illustrate these results on a published Boolean model.

We introduce the study of \textit{randomly oriented divisor graphs}. For each $ρ\in [0,1]$, the randomly oriented divisor graph $\mathcal{D}_ρ(N)$ is obtained from the divisor graph on $\{1, 2, \ldots, N\}$ by directing each edge according to divisibility and independently reversing the direction of each edge with probability $ρ$. We study the expected size of the largest strongly connected component, $\textbf{E}[\#Φ(\mathcal{D}_ρ(N))]$. Our main result gives a lower bound for this quantity in terms of the distribution of values of the divisor function $τ(n)$. As a consequence, we show that for any fixed $ρ\in (0,1)$, the largest strongly connected component has expected size asymptotic to $N$. To obtain explicit bounds, we prove an effective version of a theorem of Hardy and Ramanujan on the normal order of $\log τ(n)$, which may be of independent interest.

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.

A digraph $\mathbb G$ is called weakly connected, strongly connected, and extremely connected if any two vertices of $\mathbb G$ are connected respectively by an oriented, a directed, and a symmetric path in $\mathbb G$. We investigate the algebraic properties of digraphs that force some of these connectivity notions to coincide. We prove that for digraphs with a Hobby-McKenzie polymorphism, the strong and the extreme components coincide. Conversely, if the strong and the extreme components of any compatible digraph in an equational class of algebras coincide, then the class must have a Hobby-McKenzie term. As a consequence, we obtain that an equational class $\mathcal V$ is $n$-permutable for some $n$ if and only if the weak components of any compatible reflexive digraph in $\mathcal V$ are extremely connected.

We introduce a persistence-type invariant for finite weighted graphs based on combinatorial multivector dynamics. For each threshold parameter, a relation matrix determines a graph multivector field, whose induced directed dynamics admits a Morse decomposition given by its strongly connected components. As the threshold varies, these multivector fields form a monotone refinement family. We define the Morse persistence diagram by recording the birth and death of Morse sets along this filtration. The construction is purely combinatorial and does not rely on simplicial homology or persistence modules. We prove that the resulting persistence diagram is stable with respect to perturbations of the relation matrix in the sup norm. Each Morse set furthermore carries a combinatorial Conley index, yielding a topologically enriched invariant for multiscale graph structure.

For every fixed dimension $d$ and sufficiently large $n$, we determine the maximum possible diameter of a strongly connected $d$-dimensional simplicial complex on $n$ vertices. This improves on a sequence of previous results and settles a problem of Santos from 2013. On the way, as a special case, we also characterise the existence of an extra-tight Euler tour in the complete $d$-uniform hypergraph on $n$ vertices.