arXiv++ Combinatorics

Classical parking functions can be defined in terms of drivers with preferred parking spaces searching a linear parking lot for an open parking spot. We may consider this linear parking lot as a collection of $n$ vertices (parking spots) arranged in a directed path. We generalize this notion to allow for more complicated "parking lots" and define parking functions on arbitrary directed graphs. We then consider a relationship proved by Lackner and Panholzer between parking functions on trees and "mapping digraphs" and we show that a similar relationship holds when edge orientations are reversed.

We associate two modules, the $G$-parking critical module and the toppling critical module, to an undirected connected graph $G$. The $G$-parking critical module and the toppling critical module are canonical modules (with suitable twists) of quotient rings of the well-studied $G$-parking function ideal and the toppling ideal, respectively. For each critical module, we establish a Tutte-like short exact sequence relating the modules associated to $G$, an edge contraction $G/e$ and an edge deletion $G \setminus e$ ($e$ is a non-bridge). We obtain purely combinatorial consequences of Tutte short exact sequences. For instance, we reprove a theorem of Merino that the critical polynomial of a graph is an evaluation of its Tutte polynomial, and relate the vanishing of certain combinatorial invariants (the number of acyclic orientations on connected partition graphs satisfying a unique sink property) of $G/e$ to the equality of the corresponding invariants of $G$ and $G \setminus e$.

In the prequel of the paper (arXiv:1803.02792), we considered exact enumerations of the cored versions of a doubly-intruded hexagon. The result generalized Ciucu's work about $F$-cored hexagons (Adv. Math. 2017). In this paper, we provide an extensive list of 30 tiling enumerations of hexagons with three collinear chains of triangular holes with alternating orientations. Besides two chains of holes attaching to the boundary of the hexagon, we remove one more chain of triangles that is slightly off the center of the hexagon. Two of our enumerations imply two conjectures posed by Ciucu, Eisenkölbl, Krattenthaler, and Zare (J. Combin. Theory Ser. A 2001) as two very special cases.

Given a graph $G$ with only even degrees let $\varepsilon(G)$ denote the number of Eulerian orientations, and let $h(G)$ denote the number of half graphs, that is, subgraphs $F$ such that $d_F(v)=d_G(v)/2$ for each vertex $v$. Recently, Borbényi and Csikvári proved that $\varepsilon(G)\geq h(G)$ holds true for all Eulerian graphs with equality if and and only if $G$ is bipartite. In this paper we give a simple new proof of this fact, and we give identities and inequalities for the number of Eulerian orientations and half graphs of a $2$-cover of a graph $G$.

The goal of this short paper to advertise the method of gauge transformations (aka holographic reduction, reparametrization) that is well-known in statistical physics and computer science, but less known in combinatorics. As an application of it we give a new proof of a theorem of A. Schrijver asserting that the number of Eulerian orientations of a $d$--regular graph on $n$ vertices with even $d$ is at least $\left(\frac{\binom{d}{d/2}}{2^{d/2}}\right)^n$. We also show that a $d$--regular graph with even $d$ has always at least as many Eulerian orientations as $(d/2)$--regular subgraphs.

Bipolar orientations of planar maps have recently attracted some interest in combinatorics, probability theory and theoretical physics. Plane bipolar orientations with $n$ edges are known to be counted by the $n$th Baxter number $b(n)$, which can be defined by a linear recurrence relation with polynomial coefficients. Equivalently, the associated generating function $\sum_n b(n)t^n$ is D-finite. In this paper, we address a much refined enumeration problem, where we record for every $r$ the number of faces of degree $r$. When these degrees are bounded, we show that the associated generating function is given as the constant term of a multivariate rational series, and thus is still D-finite. We also provide detailed asymptotic estimates for the corresponding numbers. The methods used earlier to count all plane bipolar orientations, regardless of their face degrees, do not generalize easily to record face degrees. Instead, we start from a recent bijection, due to Kenyon et al., that sends bipolar orientations onto certain lattice walks confined to the first quadrant. Due to this bijection, the study of bipolar orientations meets the study of walks confined to a cone, which has been extremely active in the past 15 years. Some of our proofs rely on recent developments in this field, while others are purely bijective. Our asymptotic results also involve probabilistic arguments.

A {\it semi-proper orientation} of a given graph $G$ is a function $(D,w)$ that assigns an orientation $D(e)$ and a positive integer weight $ w(e)$ to each edge $e$ such that for every two adjacent vertices $v$ and $u$, $S_{(D,w)}(v) \neq S_{(D,w)}(u) $, where $S_{(D,w)}(v) $ is the sum of the weights of edges with head $v$ in $D$. The {\it semi-proper orientation number} of a graph $G$, denoted by $\overrightarrowχ_s (G)$, is $ \min_{(D,w)\in Γ} \max_{v\in V(G)} S_{(D,w)}(v) $, where $Γ$ is the set of all semi-proper orientations of $G$. The {\it optimal semi-proper orientation} is a semi-proper orientation $(D,w)$ such that $ \max_{v\in V(G)} S_{(D,w)}(v)= \overrightarrowχ_s (G) $. In this work, we show that every graph $G$ has an optimal semi-proper orientation $(D,w)$ such that the weight of each edge is one or two. Next, we show that determining whether a given planar graph $G$ with $\overrightarrowχ_s (G)=2 $ has an optimal semi-proper orientation $(D,w)$ such that the weight of each edge is one is NP-complete. Finally, we prove that the problem of determining the semi-proper orientation number of planar bipartite graphs is NP-hard.

The orientation morphism $Or(\cdot)(P)\colon γ\mapsto\dot{P}$ associates differential-polynomial flows $\dot{P}=Q(P)$ on spaces of bi-vectors $P$ on finite-dimensional affine manifolds $N^d$ with (sums of) finite unoriented graphs $γ$ with ordered sets of edges and without multiple edges and one-cycles. It is known that $d$-cocycles $\boldsymbolγ\in\ker d$ with respect to the vertex-expanding differential $d=[{\bullet}\!\!{-}\!{-}\!\!{\bullet},\cdot]$ are mapped by $Or$ to Poisson cocycles $Q(P)\in\ker\,[\![ P,{\cdot}]\!]$, that is, to infinitesimal symmetries of Poisson bi-vectors $P$. The formula of orientation morphism $Or$ was expressed in terms of the edge orderings as well as parity-odd and parity-even derivations on the odd cotangent bundle $ΠT^* N^d$ over any $d$-dimensional affine real Poisson manifold $N^d$. We express this formula in terms of (un)oriented graphs themselves, i.e. without explicit reference to supermathematics on $ΠT^* N^d$.

Motivated by the work of Panina and her coauthors on cyclopermutohedron we study a poset whose elements correspond to equivalence classes of partitions of the set $\{1,\cdots, n+1\}$ up to cyclic permutations and orientation reversion. This poset is the face poset of a regular CW complex which we call bi-cyclopermutohedron and denote it by $\mathrm{QP}_{n+1}$. The complex $\mathrm{QP}_{n+1}$ contains subcomplexes homeomorphic to moduli space of certain planar polygons with $n+1$ sides up to isometries. In this article we find an optimal discrete Morse function on $\mathrm{QP}_{n+1}$ and use it to compute its homology with $\mathbb{Z}$ as well as $\mathbb{Z}_2$ coefficients.

The game of cops and robbers is a well-known game played on graphs. In this paper we consider the straight-ahead orientations of 4-regular quadrangulations of the torus and the Klein bottle and we prove that their cop number is bounded by a constant. We also show that the cop number of every k-regularly oriented toroidal grid is at most 13.

A graph $G$ is a cocomparability graph if there exists an acyclic transitive orientation of the edges of its complement graph $\overline{G}$. LBFS$^{+}$ is a variant of the generic Lexicographic Breadth First Search (LBFS), which uses a specific tie-breaking mechanism. Starting with some ordering $σ_{0}$ of $G$, let $\{σ_{i}\}_{i\geq 1}$ be the sequence of orderings such that $σ_{i}=$LBFS$^{+}(G, σ_{i-1})$. The LexCycle($G$) is defined as the maximum length of a cycle of vertex orderings of $G$ obtained via such a sequence of LBFS$^{+}$ sweeps. Dusart and Habib conjectured in 2017 that LexCycle($G$)=2 if $G$ is a cocomparability graph and proved it holds for interval graphs. In this paper, we show that LexCycle($G$)=2 if $G$ is a $\overline{P_{2}\cup P_{3}}$-free cocomparability graph, where a $\overline{P_{2}\cup P_{3}}$ is the graph whose complement is the disjoint union of $P_{2}$ and $P_{3}$. As corollaries, it's applicable for diamond-free cocomparability graphs, cocomparability graphs with girth at least 4, as well as interval graphs.

In this paper we prove that the dominator chromatic number of every oriented tree is invariant under reversal of orientation. In addition to this marquee result, we also prove the exact dominator chromatic number for arborescences and anti-arborescences as well as bounds on other orientations of oft studied tree topologies including generalized stars and caterpillars.

A transitive graph is 2-dimensional if it can be represented as the intersection of two linear orders. Such representations make answering of reachability queries trivial, and allow many problems that are NP-hard on arbitrary graphs to be solved in polynomial time. One may therefore be interested in finding 2-dimensional graphs that closely approximate a given graph of arbitrary order dimension. In this paper we show that the maximal 2-dimensional subgraphs of a transitive graph G are induced by the optimal near-transitive orientations of the complement of G. The same characterization holds for the maximal permutation subgraphs of a transitively orientable graph. We provide an algorithm that enables this problem reduction in near-linear time, and an approach for enlarging non-maximal 2-dimensional subgraphs, such as trees.

Extending the notion of geometric bijections for regular matroids, introduced by the first and third author with Matthew Baker, we describe a family of bijections between bases of an oriented matroid and special orientations. These bijections are specified by a pair of circuit and cocircuit signatures coming respectively from a generic single-element lifting and extension. We then characterize generic single-element liftings and extensions using these bijections. We also explain the relation of our work with the works of Gioan--Las Vergnas and Ding. Some implications in oriented matroid programming and oriented matroid triangulations are also discussed.

We consider the problem of embedding a symmetric configuration with block size 3 in an orientable surface in such a way that the blocks of the configuration form triangular faces and there is only one extra large face. We develop a sufficient condition for such an embedding to exist given any orientation of the configuration, and show that this condition is satisfied for all configurations on up to 19 points. We also show that there exists a configuration on 21 points which is not embeddable in any orientation. As a by-product, we give a revised table of numbers of configurations, correcting the published figure for 19 points. We give a number of open questions about embeddability of configurations on larger numbers of points.

Let G be a graph, and let $χ$G be its chromatic polynomial. For any non-negative integers i, j, we give an interpretation for the evaluation $χ$ (i) G (--j) in terms of acyclic orientations. This recovers the classical interpretations due to Stanley and to Green and Zaslavsky respectively in the cases i = 0 and j = 0. We also give symmetric function refinements of our interpretations, and some extensions. The proofs use heap theory in the spirit of a 1999 paper of Gessel.

We show that every bipartite planar graph with minimum degree at least 3 has proper orientation number at most 3.

In this paper we study graphs which admit acyclic orientations that contain a pair of arc-disjoint out-branching and in-branching (such an orientation is called good) and we focus on edge-minimal such graphs. A 2T-graph is a graph whose edge set can be decomposed into two edge-disjoint spanning trees. Vertex-minimal 2T-graphs with at least two vertices which are known as generic circuits play an important role in rigidity theory for graphs. We prove that every generic circuit has a good orientation. Using this result we prove that if $G$ is 2T-graph whose vertex set has a partition $V_1,V_2,\ldots{},V_k$ so that each $V_i$ induces a generic circuit $G_i$ of $G$ and the set of edges between different $G_i$'s form a matching in $G$, then $G$ has a good orientation. We also obtain a characterization for the case when the set of edges between different $G_i$'s form a double tree, that is, if we contract each $G_i$ to one vertex, and delete parallel edges we obtain a tree. All our proofs are constructive and imply polynomial algorithms for finding the desired good orderings and the pairs of arc-disjoint branchings which certify that the orderings are good. We also identify a structure which can be used to certify a 2T-graph which does not have a good orientation.

We prove that for every $n\geq 2$ the class of all finite $n$-partite tournaments (orientations of complete $n$-partite graphs) has the extension property for partial automorphisms, that is, for every finite $n$-partite tournament $G$ there is a finite $n$-partite tournament $H$ such that every isomorphism of induced subgraphs of $G$ extends to an automorphism of $H$. Our constructions are purely combinatorial (whereas many earlier EPPA results use deep results from group theory) and extend to other classes such as the class of all finite semi-generic tournaments.

In 1959, Grötzsch famously proved that every planar graph of girth at least 4 is 3-colourable (or equivalently, admits a homomorphism to $C_3$). A natural generalization of this is the following conjecture: for every positive integer $t$, every planar graph of girth at least $4t$ admits a homomorphism to $C_{2t+1}$. This is in fact the planar dual of a well-known conjecture of Jaeger which states that every $4t$-edge-connected graph admits a modulo $(2t+1)$-orientation. Though Jaeger's original conjecture was disproved in 2018 by Han et al., Lovasz et al. showed that every $6t$-edge connected graph admits a modulo $(2t+1)$-flow. The latter result implies that every planar graph of girth at least $6t$ admits a homomorphism to $C_{2t+1}$. We improve upon this in the $t=3$ case, by showing that every planar graph of girth at least $16$ admits a homomorphism to $C_7$. We obtain this through a more general result regarding the density of $C_7$-critical graphs: if $G$ is a $C_7$-critical graph with $G \not \in \{C_3, C_5\}$, then $e(G) \geq \tfrac{17v(G)-2}{15}$.