arXiv++ Combinatorics

A subgroup of the automorphism group of a graph $\G$ is said to be {\em half-arc-transitive} on $\G$ if its action on $\G$ is transitive on the vertex set of $\G$ and on the edge set of $\G$ but not on the arc set of $\G$. Tetravalent graphs of girths $3$ and $4$ admitting a half-arc-transitive group of automorphisms have previously been characterized. In this paper we study the examples of girth $5$. We show that, with two exceptions, all such graphs only have directed $5$-cycles with respect to the corresponding induced orientation of the edges. Moreover, we analyze the examples with directed $5$-cycles, study some of their graph theoretic properties and prove that the $5$-cycles of such graphs are always consistent cycles for the given half-arc-transitive group. We also provide infinite families of examples, classify the tetravalent graphs of girth $5$ admitting a half-arc-transitive group of automorphisms relative to which they are tightly-attached and classify the tetravalent half-arc-transitive weak metacirculants of girth $5$.

A strong orientation of a graph $G$ is an assignment of a direction to each edge such that $G$ is strongly connected. The oriented diameter of $G$ is the smallest diameter among all strong orientations of $G$. A block of $G$ is a maximal connected subgraph of $G$ that has no cut vertex. A block graph is a graph in which every block is a clique. We show that every bridgeless graph of order $n$ containing $p$ blocks has an oriented diameter of at most $n-\lfloor \frac{p}{2} \rfloor$. This bound is sharp for all $n$ and $p$ with $p \geq 2$. As a corollary, we obtain a sharp upper bound on the oriented diameter in terms of order and number of cut vertices. We also show that the oriented diameter of a bridgeless block graph of order $n$ is bounded above by $\lfloor \frac{3n}{4} \rfloor$ if $n$ is even and $\lfloor \frac{3(n+1)}{4} \rfloor$ if $n$ is odd.

In 1993, Savage, Squire, and West described an inductive construction for generating every acyclic orientation of a chordal graph exactly once, flipping one arc at a time. We provide two generalizations of this result. Firstly, we describe Gray codes for acyclic orientations of hypergraphs that satisfy a simple ordering condition, which generalizes the notion of perfect elimination order of graphs. This unifies the Savage-Squire-West construction with a recent algorithm for generating elimination trees of chordal graphs. Secondly, we consider quotients of lattices of acyclic orientations of chordal graphs, and we provide a Gray code for them, addressing a question raised by Pilaud. This also generalizes a recent algorithm for generating lattice congruences of the weak order on the symmetric group. Our algorithms are derived from the Hartung-Hoang-Mütze-Williams combinatorial generation framework, and they yield simple algorithms for computing Hamilton paths and cycles on large classes of polytopes, including chordal nestohedra and quotientopes. In particular, we derive an efficient implementation of the Savage-Squire-West construction. Along the way, we give an overview of old and recent results about the polyhedral and order-theoretic aspects of acyclic orientations of graphs and hypergraphs.

The `lifting` or `splitting-off` operation on graphs is performed by deleting two edges sv and sw having a common end s and adding a new edge between v and w. Such a lift is considered good if it preserves a certain local edge-connectivity between the pairs of vertices different from the vertex s at which lifting takes place. The operation is important for inductive proofs concerning edge-connectivity, and can be seen widely applied in the literature on connectivity augmentation, network design, orientation (of finite and infinite graphs), and edge-disjoint linkage. It was studied by Lovasz, who used the term splitting-off, and Mader, who used the term lifting. They proved the first two significant results on it, in 1976 and 1978 respectively, showing the existence of a good lift under certain conditions. Then it was used and studied by other researchers, through the 1980s, both for undirected and directed graphs. In particular, it was investigated further by Frank who proved in 1992 that there are floor of deg(s)/2 disjoint good lifts. Motivated by the applications, a new method for studying the operation was introduced by Jordan in the late 1990s. He defined and studied the structure of the `non-admissibility` graph, which is the complement of the lifting graph; the subject of this paper. He proved a number of significant structural results on it, which he applied to connectivity augmentation. Independently, in 2016, Thomassen defined the `lifting graph`, and called its complement the `bad graph`, to apply it in finding orientations of infinite graphs. Later in the same year, Thomassen with Ok and Richter extended the study, and applied their results to linkages in infinite graphs. Here we give a more comprehensive analysis of the structure of the lifting graph.

In 1983, Borowiecki and Jóźwiak posed the problem ``Characterize those graphs which have purely imaginary per-spectrum.'' This problem is still open. The most general result, although a partial solution, was given in 2004 by Yan and Zhang, who show that if $G$ is a bipartite graph containing no subgraph which is an even subdivision of $K_{2,3}$, then it has purely imaginary per-spectrum. Zhang and Li in 2012 proved that such graphs are planar and admit a Pfaffian orientation. In this article, we describe how to construct graphs with purely imaginary per-spectrum having a subgraph which is an even subdivision of $K_{2,3}$ (planar and nonplanar) using coalescence of rooted graphs.

We investigate the threshold $p_{\vec H}=p_{\vec H}(n)$ for the Ramsey-type property $G(n,p)\to \vec H$, where $G(n,p)$ is the binomial random graph and $G\to\vec H$ indicates that every orientation of the graph $G$ contains the oriented graph $\vec H$ as a subdigraph. Similarly to the classical Ramsey setting, the upper bound $p_{\vec H}\leq Cn^{-1/m_2(\vec H)}$ is known to hold for some constant $C=C(\vec H)$, where $m_2(\vec H)$ denotes the maximum $2$-density of the underlying graph $H$ of $\vec H$. While this upper bound is indeed the threshold for some $\vec H$, this is not always the case. We obtain examples arising from rooted products of orientations of sparse graphs (such as forests, cycles and, more generally, subcubic $\{K_3,K_{3,3}\}$-free graphs) and arbitrarily rooted transitive triangles.

Seymour's Second Neighborhood Conjecture (SNC) states that every oriented graph contains a vertex whose second neighborhood is as large as its first neighborhood. We investigate the SNC for orientations of both binomial and pseudo random graphs, verifying the SNC asymptotically almost surely (a.a.s.) (i) for all orientations of $G(n,p)$ if $\limsup_{n\to\infty} p < 1/4$; and (ii) for a uniformly-random orientation of each weakly $(p,A\sqrt{np})$-bijumbled graph of order $n$ and density $p$, where $p=Ω(n^{-1/2})$ and $1-p = Ω(n^{-1/6})$ and $A>0$ is a universal constant independent of both $n$ and $p$. We also show that a.a.s. the SNC holds for almost every orientation of $G(n,p)$. More specifically, we prove that a.a.s. (iii) for all $\varepsilon > 0$ and $p=p(n)$ with $\limsup_{n\to\infty} p \le 2/3-\varepsilon$, every orientation of $G(n,p)$ with minimum outdegree $Ω_\varepsilon(\sqrt{n})$ satisfies the SNC; and (iv) for all $p=p(n)$, a random orientation of $G(n,p)$ satisfies the SNC.

Unique Sink Orientations (USOs) of cubes can be used to capture the combinatorial structure of many essential algebraic and geometric problems. For various structural and algorithmic questions, including enumeration of USOs and algorithm analysis, it is crucial to have systematic constructions of USOs. While some construction methods for USOs already exist, each one of them has some significant downside. Most of the construction methods have limited expressivity -- USOs with some desired properties cannot be constructed. In contrast, the phase flips of Schurr can construct all USOs, but the operation is not well understood. We were inspired by techniques from cube tilings of space; we expand upon existing techniques in the area to develop generalized rewriting rules for USOs. These rewriting rules are a new construction framework which can be applied to all USOs. The rewriting rules can generate every USO using only USOs of lower dimension. The effect of any specific rewriting rule on an USO is simple to understand. A special case of our construction produces a new elementary transformation of USOs, which we call a partial swap. We further investigate the relationship between partial swaps and phase flips and generalize partial swaps to phase swaps.

The orientable domination number, ${\rm DOM}(G)$, of a graph $G$ is the largest domination number over all orientations of $G$. In this paper, ${\rm DOM}$ is studied on different product graphs and related graph operations. The orientable domination number of arbitrary corona products is determined, while sharp lower and upper bounds are proved for Cartesian and lexicographic products. A result of Chartrand et al. from 1996 is extended by establishing the values of ${\rm DOM}(K_{n_1,n_2,n_3})$ for arbitrary positive integers $n_1,n_2$ and $n_3$. While considering the orientable domination number of lexicographic product graphs, we answer in the negative a question concerning domination and packing numbers in acyclic digraphs posed in [Domination in digraphs and their direct and Cartesian products, J. Graph Theory 99 (2022) 359-377].

We say that a tree $T$ is an $S$-Steiner tree if $S \subseteq V(T)$ and a hypergraph is an $S$-Steiner hypertree if it can be trimmed to an $S$-Steiner tree. We prove that it is NP-complete to decide, given a hypergraph $\mathcal{H}$ and some $S \subseteq V(\mathcal{H})$, whether there is a subhypergraph of $\mathcal{H}$ which is an $S$-Steiner hypertree. As corollaries, we give two negative results for two Steiner orientation problems in hypergraphs. Firstly, we show that it is NP-complete to decide, given a hypergraph $\mathcal{H}$, some $r \in V(\mathcal{H})$ and some $S \subseteq V(\mathcal{H})$, whether this hypergraph has an orientation in which every vertex of $S$ is reachable from $r$. Secondly, we show that it is NP-complete to decide, given a hypergraph $\mathcal{H}$ and some $S \subseteq V(\mathcal{H})$, whether this hypergraph has an orientation in which any two vertices in $S$ are mutually reachable from each other. This answers a longstanding open question of the Egerváry Research group. We further show that it is NP-complete to decide if a given hypergraph has a well-balanced orientation. On the positive side, we show that the problem of finding a Steiner hypertree and the first orientation problem can be solved in polynomial time if the number of terminals $|S|$ is fixed.

Let $(X,τ)$ be a Polish space with Borel probability measure $μ,$ and $G$ a locally finite one-ended Borel graph on $X.$ We show that $G$ admits a Borel one-ended spanning tree generically. If $G$ is induced by a free Borel action of an amenable (resp., polynomial growth) group then we show the same result $μ$-a.e. (resp., everywhere). Our results generalize recent work of Timár, as well as of Conley, Gaboriau, Marks, and Tucker-Drob, who proved this in the probability measure preserving setting. We apply our theorem to find Borel orientations in even degree graphs and measurable and Baire measurable perfect matchings in regular bipartite graphs, refining theorems that were previously only known to hold for measure preserving graphs. In particular, we prove that bipartite one-ended $d$-regular Borel graphs admit Baire measurable perfect matchings.

A tournament is a directed graph resulting from an orientation of the complete graph; so, if $M$ is a tournament's adjacency matrix, then $M + M^T$ is a matrix with $0$s on its diagonal and all other entries equal to $1$. An outstanding question in tournament theory asks to classify the adjacency matrices of tournaments which are singular (or nonsingular). We study this question using the structure of tournaments as graphs, in particular their cycle structure. More specifically, we find, as precisely as possible, the number of cycles of length three that dictates whether the corresponding tournament matrix is singular or nonsingular. We also give structural classifications of the tournaments that have the specified numbers of cycles of length three.

In 1972 Tutte famously conjectured that every 4-edge-connected graph has a nowhere zero 3-flow; this is known to be equivalent to every 5-regular, 4-edge-connected graph having an edge orientation in which every in-degree is either 1 or 4. Jaeger conjectured a generalization of Tutte's conjecture, namely, that every $4p+1$-regular, $4p$-edge-connected graph has an edge orientation in which every in-degree is either $p$ or $3p+1$. Inspired by the work of Pralat and Wormald investigating $p=1$, for $p=2$ we show this holds asymptotically almost surely for random 9-regular graphs. It follows that the conjecture holds for almost all 9-regular, 8-edge-connected graphs. These results make use of the technical small subgraph conditioning method.

A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$. Word-representable graphs generalize several important classes of graphs such as $3$-colorable graphs, circle graphs, and comparability graphs. There is a long line of research in the literature dedicated to word-representable graphs. In this paper, we study word-representability of simplified de Bruijn graphs. The simplified de Bruijn graph $S(n,k)$ is a simple graph obtained from the de Bruijn graph $B(n,k)$ by removing orientations and loops and replacing multiple edges between a pair of vertices by a single edge. De Bruijn graphs are a key object in combinatorics on words that found numerous applications, in particular, in genome assembly. We show that binary simplified de Bruijn graphs (i.e.\ $S(n,2)$) are word-representable for any $n\geq 1$, while $S(2,k)$ and $S(3,k)$ are non-word-representable for $k\geq 3$. We conjecture that all simplified de Bruijn graphs $S(n,k)$ are non-word-rerpesentable for $n\geq 4$ and $k\geq 3$.

A homothetic packing of squares is any set of various-size squares with the same orientation where no two squares have overlapping interiors. If all $n$ squares have the same size then we can have up to roughly $4n$ contacts by arranging the squares in a grid formation. The maximum possible number of contacts for a set of $n$ squares will drop drastically, however, if the size of each square is chosen more-or-less randomly. In the following paper we describe a necessary and sufficient condition for determining if a set of $n$ squares with fixed sizes can be arranged into a homothetic square packing with more than $2n-2$ contacts. Using this, we then prove that any (possibly not homothetic) packing of $n$ squares will have at most $2n-2$ face-to-face contacts if the various widths of the squares do not satisfy a finite set of linear equations.

For a simple signed graph $G$ with the adjacency matrix $A$ and net degree matrix $D^{\pm}$, the net Laplacian matrix is $L^{\pm}=D^{\pm}-A$. We introduce a new oriented incidence matrix $N^{\pm}$ which can keep track of the sign as well as the orientation of each edge of $G$. Also $L^{\pm}=N^{\pm}(N^{\pm})^T$. Using this decomposition, we find the numbers of positive and negative spanning trees of $G$ in terms of the principal minors of $L^{\pm}$ generalizing Matrix Tree Theorem for an unsigned graph. We present similar results for the signless net Laplacian matrix $Q^{\pm}=D^{\pm}+A$ along with a combinatorial formula for its determinant.

A well-known result of Stanley's shows that given a graph $G$ with chromatic symmetric function expanded into the basis of elementary symmetric functions as $X_G = \sum c_λe_λ$, the sum of the coefficients $c_λ$ for $λ$ with $λ_1' = k$ (equivalently those $λ$ with exactly $k$ parts) is equal to the number of acyclic orientations of $G$ with exactly $k$ sinks. However, more is known. The sink sequence of an acyclic orientation of $G$ is a tuple $(s_1,\dots,s_k)$ such that $s_1$ is the number of sinks of the orientation, and recursively each $s_i$ with $i > 1$ is the number of sinks remaining after deleting the sinks contributing to $s_1,\dots,s_{i-1}$. Equivalently, the sink sequence gives the number of vertices at each level of the poset induced by the acyclic orientation. A lesser-known follow-up result of Stanley's determines certain cases in which we can find a sum of $e$-basis coefficients that gives the number of acyclic orientations of $G$ with a given partial sink sequence. Of interest in its own right, this result also admits as a corollary a simple proof of the $e$-positivity of $X_G$ when the stability number of $G$ is $2$. In this paper, we prove a vertex-weighted generalization of this follow-up result, and conjecture a stronger version that admits a similar combinatorial interpretation for a much larger set of $e$-coefficient sums of chromatic symmetric functions. In particular, the conjectured formula would give a combinatorial interpretation for the sum of the coefficients $c_λ$ with prescribed values of $λ_1'$ and $λ_2'$ for any unweighted claw-free graph (not necessarily an incomparability graph, as in the setting of the Stanley-Stembridge conjecture).

A tournament on a graph is an orientation of its edges. The score sequence lists the in-degrees in non-decreasing order. Works by Winston and Kleitman (1983) and Kim and Pittel (2000) showed that the number $S_n$ of score sequences on the complete graph $K_n$ satisfies $S_n=Θ(4^n/n^{5/2})$. By combining a recent recurrence relation for $S_n$ in terms of the Erdős--Ginzburg--Ziv numbers $N_n$ with the limit theory for discrete infinitely divisible distributions, we observe that $n^{5/2}S_n/4^n\to e^λ/2\sqrtπ$, where $λ=\sum_{k=1}^\infty N_k/k4^k$. This limit agrees numerically with the asymptotics of $S_n$ conjectured by Takács (1986). We also identify the asymptotic number of strong score sequences, and show that the number of irreducible subscores in a random score sequence converges in distribution to a shifted negative binomial with parameters $r=2$ and $p=e^{-λ}$.

In this paper we first study clusters in type $\tilde{\mathbb{A}}$ by collecting them into a finite number of infinite families given by Dehn twists of their corresponding triangulations, and show that these families are counted by the Catalan numbers. We also highlight the similarities and differences between the annuli diagrams used to study clusters and those used to study exceptional sets in type $\tilde{\mathbb{A}}$. We then focus on exceptional collections (sets) of modules over path algebras of quivers by first showing that the notion of relative projectivity in exceptional sets is well defined. We finish by counting the number of exceptional sets of representations of type $\mathbb{A}$ quivers with straight orientation and using this to count the number of families of exceptional sets of type $\tilde{\mathbb{A}}$ with straight orientation.

A tournament is an orientation of a complete graph. We say that a vertex $x$ in a tournament $\vec T$ controls another vertex $y$ if there exists a directed path of length at most two from $x$ to $y$. A vertex is called a king if it controls every vertex of the tournament. It is well known that every tournament has a king. We follow Shen, Sheng, and Wu (SIAM J. Comput., 2003) in investigating the query complexity of finding a king, that is, the number of arcs in $\vec T$ one has to know in order to surely identify at least one vertex as a king. The aforementioned authors showed that one always has to query at least $Ω(n^{4/3})$ arcs and provided a strategy that queries at most $O(n^{3/2})$. While this upper bound has not yet been improved for the original problem, Biswas et al. (Frontiers in Algorithmics, 2017) proved that with $O(n^{4/3})$ queries one can identify a semi-king, meaning a vertex which controls at least half of all vertices. Our contribution is a novel strategy which improves upon the number of controlled vertices: using $O(n^{4/3} \operatorname{polylog} n)$ queries, we can identify a $(\frac{1}{2}+\frac{2}{17})$-king. To achieve this goal we use a novel structural result for tournaments.