arXiv++ Combinatorics

The reconfiguration problem for homomorphisms of digraphs to a reflexive digraph cycle, which amounts to deciding if a `reconfiguration graph' is connected, is known to by polynomially time solvable via a greedy algorithm based on certain topological requirements. Even in the case that the instance digraph is a cycle of length $m$, the algorithm, being greedy, takes time $Ω(m^2)$. Encoding homomorphisms between two cycles as a relation on strings that represent the orientations of the cycles, we give a characterization of the components of the reconfiguration graph that can be computed in linear time and logarithmic space. In particular, this solves the reconfiguration problem for homomorphisms of cycles to cycles in log-space.

An AT-orientation of a graph $G$ is an orientation $D$ of $G$ such that the number of even Eulerian sub-digraphs and the number of odd Eulerian sub-digraphs of $D$ are distinct. Given a mapping $f: V(G) \to \mathbb{N}$, we say $G$ is $f$-AT if $G$ has an AT-orientation $D$ with $ < f(v)$ for each vertex $v$. For a positive integer $k$, we say $G$ is $k$-truncated degree-AT if $G$ is $f$-AT for the mapping $f$ defined as $f(v) = \min #{k, d_G(v)#} $. This paper proves that 2-connected outerplanar graphs other than odd cycles are $5$-truncated degree-AT, and 2-connected bipartite outerplanar graphs are $4$-truncated degree-AT. As a consequence, 2-connected outerplanar graphs other than odd cycles are $5$-truncated degree paintable, and 2-connected bipartite outerplanar graphs are $4$-truncated degree paintable. This improves the result of Hutchinson in [On list-coloring outerplanar graphs], where it was proved that maximal 2-connected outerplanar graphs other than are 5-truncated degree-choosable, and 2-connected bipartite outerplanar graphs are 4-truncated degree-choosable.

In 2011, Barot and Marsh provided an explicit construction of presentation of a finite Weyl group $W$ by any quiver mutation-equivalent to an orientation of a Dynkin diagram with Weyl group $W$. The construction was extended by the authors of the present paper to obtain presentations for all affine Coxeter groups, as well as to construct groups from triangulations of unpunctured surfaces and orbifolds, where the groups are invariant under change of triangulation and thus are presented as quotients of numerous distinct Coxeter groups. We extend the construction to include most punctured surfaces and orbifolds, providing a new invariant for almost all marked surfaces.

Let $G$ be a bipartite graph with adjacency matrix $A(G)$. The characteristic polynomial $φ(G,x)=\det(xI-A(G))$ and the permanental polynomial $π(G,x) = \text{per}(xI-A(G))$ are both graph invariants used to distinguish graphs. For bipartite graphs, we define the modified characteristic polynomial, which is obtained by changing the signs of some of the coefficients of $φ(G,x)$. For $4k$-intercyclic bipartite graphs, i.e., those for which the removal of any $4k$-cycle results in a $C_{4k}$-free graph, we provide an expression for $π(G,x)$ in terms of the modified characteristic polynomial of the graph and its subgraphs. Our approach is purely combinatorial in contrast to the Pfaffian orientation method found in the literature to compute the permanental polynomial.

Given a connected graph $G=(V,E)$ and a crossing family $\mathcal{C}$ over ground set $V$ such that $|δ_G(U)|\geq 2$ for every $U\in \mathcal{C}$, we prove there exists a strong orientation of $G$ for $\mathcal{C}$, i.e., an orientation of $G$ such that each set in $\mathcal{C}$ has at least one outgoing and at least one incoming arc. This implies the main conjecture in Chudnovsky et al. (Disjoint dijoins. Journal of Combinatorial Theory, Series B, 120:18--35, 2016). In particular, in every minimal counterexample to the Edmonds-Giles conjecture where the minimum weight of a dicut is $2$, the arcs of nonzero weight must be disconnected.

We consider the problem of decomposing the edges of a digraph into as few paths as possible. A natural lower bound for the number of paths in any path decomposition of a digraph $D$ is $\frac{1}{2}\sum_{v\in V(D)}|d^+(v)-d^-(v)|$; any digraph that achieves this bound is called consistent. Alspach, Mason, and Pullman conjectured in 1976 that every tournament of even order is consistent and this was recently verified for large tournaments by Girão, Granet, Kühn, Lo, and Osthus. A more general conjecture of Pullman states that for odd $d$, every orientation of a $d$-regular graph is consistent. We prove that the conjecture holds for random $d$-regular graphs with high probability i.e. for fixed odd $d$ and as $n \to \infty$ the conjecture holds for almost all $d$-regular graphs. Along the way, we verify Pullman's conjecture for graphs whose girth is sufficiently large (as a function of the degree).

In a directed graph $D$, a vertex subset $S\subseteq V$ is a total dominating set if every vertex of $D$ has an in-neighbor from $S$. A total dominating set exists if and only if every vertex has at least one in-neighbor. We call the orientation of such directed graphs valid. The total domination number of $D$, denoted by $γ_t(D)$, is the size of the smallest total dominating set of $D$. For an undirected graph $G$, we investigate the upper (or lower) orientable total domination number of $G$, denoted by $\mathrm{DOM}_t(G)$ (or $\mathrm{dom}_t(G)$), that is the maximum (or minimum) of the total domination numbers over all valid orientations of $G$. We characterize those graphs for which $\mathrm{DOM}_t(G)=|V(G)|-1$, and consequently we show that there exists a family of graphs for which $\mathrm{DOM}_t(G)$ and $\mathrm{dom}_t(G)$ can be as far as possible, namely $\mathrm{DOM}_t(G)=|V(G)|-1$ and $\mathrm{dom}_t(G)=3$.

We study the existence of periodic colorings and orientations in locally finite graphs. A coloring or orientation of a graph $G$ is periodic if the resulting colored or oriented graph is quasi-transitive, meaning that $V(G)$ has finitely many orbits under the action of the group of automorphisms of $G$ preserving the coloring or the orientation. When such a periodic coloring or orientation of $G$ exists, $G$ itself must be quasi-transitive and it is natural to investigate when quasi-transitive graphs have such periodic colorings or orientations. We provide examples of Cayley graphs with no periodic orientation or non-trivial coloring, and examples of quasi-transitive graphs of treewidth 2 without periodic orientation or proper coloring. On the other hand we show that every quasi-transitive graph $G$ of bounded pathwidth has a periodic proper coloring with $χ(G)$ colors and a periodic orientation. We relate these problems with techniques and questions from symbolic dynamics and distributed computing and conclude with a number of open problems.

Let $D=(V,A)$ be a digraph whose underlying graph is $2$-edge-connected, and let $P$ be the polytope whose vertices are the incidence vectors of arc sets whose reversal makes $D$ strongly connected. We study the lattice theoretic properties of the integer points contained in a proper face $F$ of $P$ not contained in $\{x:x_a=i\}$ for any $a\in A,i\in \{0,1\}$. We prove under a mild necessary condition that $F\cap \{0,1\}^A$ contains an integral basis $B$, i.e., $B$ is linearly independent, and any integral vector in the linear hull of $F$ is an integral linear combination of $B$. This result is surprising as the integer points in $F$ do not necessarily form a Hilbert basis. In proving the result, we develop a theory similar to Matching Theory for degree-constrained dijoins in bipartite digraphs. Our result has consequences for head-disjoint strong orientations in hypergraphs, and also to a famous conjecture by Woodall that the minimum size of a dicut of $D$, say $τ$, is equal to the maximum number of disjoint dijoins. We prove a relaxation of this conjecture, by finding for any prime number $p\geq 2$, a $p$-adic packing of dijoins of value $τ$ and of support size at most $2|A|$. We also prove that the all-ones vector belongs to the lattice generated by $F\cap \{0,1\}^A$, where $F$ is the face of $P$ satisfying $x(δ^+(U))=1$ for every minimum dicut $δ^+(U)$.

We characterize folding patterns, the combinatorial options of folding minimal alcove-to-alcove galleries in affine Coxeter complexes positively with respect to Weyl chamber orientations of the Coxeter complex, by drawing a connection to the Bruhat moment graph of the associated spherical Coxeter group. We also prove how to determine the spherical direction of the end alcove of a positively folded gallery using these graphs.

We study the poset topology of lattices arising from orientations of 1-skeleta of directionally simple polytopes, with Bruhat interval polytopes $Q_{e,w}$ as our main example. We show that the order complex $Δ((u,v)_w)$ of an interval therein is homotopy equivalent to a sphere if $Q_{u,v}$ is a face of $Q_{e,w}$ and is otherwise contractible. This significantly generalizes the known case of the permutahedron. We also show that saturated chains from $u$ to $v$ in such lattices are connected, and in fact highly connected, under moves corresponding to flipping across a 2-face. When $w$ is a Grassmannian permutation, this implies a strengthening of the restriction of Postnikov's move-equivalence theorem to the class of BCFW bridge decomposable plabic graphs.

For each simple Lie algebra $\mathfrak{g}$ of simply-laced type, Hernandez and Leclerc introduced a certain category $\mathcal{C}_{\mathbb{Z}}$ of finite-dimensional representations of the quantum affine algebra of $\mathfrak{g}$, as well as certain subcategories $\mathcal{C}_{\mathbb{Z}}^{\leq ξ}$ depending on a choice of height function adapted to an orientation of the Dynkin graph of $\mathfrak{g}$. In our previous work we constructed an algebra homomorphism $\widetilde{D}_ξ$ whose domain contains the image of the Grothendieck ring of $\mathcal{C}_{\mathbb{Z}}^{\leq ξ}$ under the truncated $q$-character morphism $\widetildeχ_q$ corresponding to $ξ$. We exhibited a close relationship between the composition of $\widetilde{D}_ξ$ with $\widetildeχ_q$ and the morphism $\overline{D}$ recently introduced by Baumann, Kamnitzer and Knutson in their study of the equivariant homology of Mirković-Vilonen cycles. In this paper, we extend $\widetilde{D}_ξ$ in order to investigate its composition with Frenkel-Reshetikhin's original $q$-character morphism. Our main result consists in proving that the $q$-characters of all standard modules in $\mathcal{C}_{\mathbb{Z}}$ lie in the kernel of $\widetilde{D}_ξ$. This provides a large family of new non-trivial rational identities suggesting possible geometric interpretations.

Baxter permutations arose in the study of fixed points of the composite of commuting functions by Glen Baxter in 1964. This type of permutations are counted by Baxter numbers $B_n$. It turns out that $B_n$ enumerate a lot of discrete objects such as the bases for subalgebras of the Malvenuto-Reutenauer Hopf algebra, the pairs of twin binary trees on $n$ nodes, or the diagonal rectangulations of an $n\times n$ grid. The refined Baxter number $D_{n,k}$ also count many interesting objects including the Baxter permutations of $n$ with $k-1$ descents and $n-k$ rises, twin pairs of binary trees with $k$ left leaves and $n-k+1$ right leaves, or plane bipolar orientations with $k+1$ faces and $n-k+2$ vertices. In this paper, we obtain the asymptotic normality of the refined Baxter number $D_{n,k}$ by using a sufficient condition due to Bender. In the course of our proof, the computation involving $B_n$ and some related numbers is crucial, while $B_n$ has no closed form which make the computation untractable. To address this problem, we employ the method of asymptotics of the solutions of linear recurrence equations. Our proof is semi-automatic. All the asymptotic expansions and recurrence relations are proved by utilizing symbolic computation packages.

We say that a digraph $D$ is $(i,j)$-step competitive if any two vertices have an $(i,j)$-step common out-neighbor in $D$ and that a graph $G$ is $(i,j)$-step competitively orientable if there exists an $(i,j)$-step competitive orientation of $G$. In [Choi et al. Competitively orientable complete multipartite graphs. Discrete Mathematics, 345(9):112950, 2022], Choi et al. introduce the notion of competitive digraph and completely characterize competitively orientable complete multipartite graphs in terms of the sizes of its partite sets. Here, a competitive digraph means a $(1,1)$-step competitive digraph. In this paper, the result of Choi et al. has been extended to a general characterization of $(i,j)$-step competitively orientable complete multipartite graphs.

Brushing of graphs is a graph searching process in which the searching agents are called brushes. We focus on brushing directed graphs based on a new model in which the brushes can only travel in the same direction as the orientation of the arcs that they traverse. We discuss strategies to brush directed graphs as well as values and bounds for the brushing number of directed graphs. We determine the brushing number for any transitive tournament, which we use to give an upper bound for the brushing number of directed acyclic graphs in general. We also establish exact values for the brushing numbers of complete directed graphs, rooted trees, and rotational tournaments.

Boesch, Li, and Suffel were the first to identify the existence of uniformly optimally reliable graphs (UOR graphs), graphs which maximize all-terminal reliability over all graphs with $n$ vertices and $m$ edges. The all-terminal reliability of a graph, and more generally a graph's all-terminal reliability polynomial $R(G;p)$, may both be obtained via the Tutte polynomial $T(G;x,y)$ of the graph $G$. Here we show that the UOR graphs found earlier are in fact maximum graphs for the Tutte polynomial itself, in the sense that they are maximum not just for all-terminal reliability but for a vast array of other parameters and polynomials that may be obtained from $T(G;x,y)$ as well. These parameters include, but are not limited to, enumerations of a wide variety of well-known orientations, partial orientations, and fourientations of $G$; the magnitudes of the coefficients of the chromatic and flow polynomials of $G$; and a wide variety of generating functions, such as generating functions enumerating spanning forests and spanning connected subgraphs of $G$. The maximality of all of these parameters is done in a unified way through the use of $(n,m)$ Tutte polynomial posets.

In this paper we study the following extremal graph theoretic problem: Given an undirected Eulerian graph $G$, which Eulerian orientation minimizes or maximizes the number of arborescences? We solve the minimization for the complete graph $K_n$, the complete bipartite graph $K_{n,m}$, and for the so-called double graphs, where there are even number of edges between any pair of vertices. In fact, for $K_n$ we prove the following stronger statement. If $T$ is a tournament on $n$ vertices with out-degree sequence $d_1^+,\dots ,d^+_n$, then $$\mathrm{allarb}(T)\geq \frac{1}{n}\left(\prod_{k=1}^n(d^+_k+1)+\prod_{k=1}^nd^+_k\right),$$ where $\mathrm{allarb}(T)$ is the total number of arborescences. Equality holds if and only if $T$ is a locally transitive tournament. We also give an upper bound for the number of arborescences of an Eulerian orientation for an arbitrary graph $G$. This upper bound can be achieved on $K_n$ for infinitely many $n$.

For a graph $G$ let $\varepsilon(G)$ denote the number of Eulerian orientations, and $v(G)$ denote the number of vertices of $G$. We show that if $(G_n)_n$ is a sequence of Eulerian graphs that are convergent in Benjamini--Schramm sense, then $\lim\limits_{n\to \infty}\frac{1}{v(G_n)}\ln \varepsilon(G_n)$ is convergent.

We investigate the complexity of parameterised holant problems p-$\mathrm{Holant}(\mathcal{S})$ for families of signatures $\mathcal{S}$. The parameterised holant framework was introduced by Curticapean in 2015 as a counter-part to the classical theory of holographic reductions and algorithms and it constitutes an extensive family of coloured and weighted counting constraint satisfaction problems on graph-like structures, encoding as special cases various well-studied counting problems in parameterised and fine-grained complexity theory such as counting edge-colourful $k$-matchings, graph-factors, Eulerian orientations or, subgraphs with weighted degree constraints. We establish an exhaustive complexity trichotomy along the set of signatures $\mathcal{S}$: Depending on $\mathcal{S}$, p-$\mathrm{Holant}(\mathcal{S})$ is: (1) solvable in FPT-near-linear time (i.e. $f(k)\cdot \tilde{\mathcal{O}}(|x|)$); (2) solvable in "FPT-matrix-multiplication time" (i.e. $f(k)\cdot {\mathcal{O}}(n^ω)$) but not solvable in FPT-near-linear time unless the Triangle Conjecture fails; or (3) #W[1]-complete and no significant improvement over brute force is possible unless ETH fails. This classification reveals a significant and surprising gap in the complexity landscape of parameterised Holants: Not only is every instance either fixed-parameter tractable or #W[1]-complete, but additionally, every FPT instance is solvable in time $f(k)\cdot {\mathcal{O}}(n^ω)$. We also establish a complete classification for a natural uncoloured version of parameterised holant problem p-$\mathrm{UnColHolant}(\mathcal{S})$, which encodes as special cases the non-coloured analogues of the aforementioned examples. We show that the complexity of p-$\mathrm{UnColHolant}(\mathcal{S})$ is different: Depending on $\mathcal{S}$ all instances are either solvable in FPT-near-linear time, or #W[1]-complete.

In this paper, we study the maximal chains of lattices which generalizes both the weak order and the Tamari lattice: certain lattices of maximal tubings. A maximal tubing poset $\mathfrak{L}(G)$ is defined for any graph $G$, but for the graphs we consider in this paper, the poset is a lattice. Just as the weak order is an orientation of the $1$-skeleton of the permutahedron and the Tamari of the associahedron, each tubing lattice is an orientation of the $1$-skeleton of a graph associahedron. The partial order on $\mathfrak{L}(G)$ is given by a projection from $\mathfrak{S}_n$ to $\mathfrak{L}(G)$. In particular, when the graph is the complete graph, the graph associahedron is the the permutahedron, and when it is the path graph, it is the Stasheff associahedron. Our main results are for lollipop graphs, graphs that ``interpolate'' between the path and the complete graphs. For lollipop graphs, the lattices consist of permutations which satisfy a generalization of $312$-avoiding. The maximum length chains correspond to partially shiftable tableaux under the Edelman-Greene's Coxeter-Knuth bijection. We also consider functions defined analogously to Stanley's symmetric function for the maximum length chains and find their expansion in terms of Young quasisymmetric Schur functions.