arXiv++ Combinatorics

We study the minimal spanning arborescence which is the directed analogue of the minimal spanning tree, with a particular focus on its infinite volume limit and its geometric properties. We prove that in a certain large class of transient trees, the infinite volume limit exists almost surely. We also prove that for nonamenable, unimodular graphs, the limit is almost surely one-ended assuming a certain sufficient condition that guarantees the existence of the limit. This object cannot be studied using well-known algorithms, such as Kruskal's or Prim's algorithm, to sample the minimal spanning tree which has been instrumental in getting analogous results about them (Lyons, Peres, and Schramm). Instead, we use a recursive algorithm due to Chu, Liu, Edmonds, and Bock, which leads to a novel stochastic process which we call the \emph{loop contracting random walk}. This is similar to the well-known and widely studied loop erased random walk, except instead of erasing loops we contract them. The full algorithm bears similarities with the celebrated Wilson's algorithm to generate uniform spanning trees and can be seen as a certain limit of the original Wilson's algorithm.

We give an affirmative answer to a long-standing conjecture of Thomassen, stating that every sufficiently highly connected graph has a $k$-vertex-connected orientation. We prove that a connectivity of order $O(k^2)$ suffices. As a key tool, we show that for every pair of positive integers $d$ and $t$, every $(t \cdot h(d))$-connected graph contains $t$ edge-disjoint $d$-rigid (in particular, $d$-connected) spanning subgraphs, where $h(d) = 10d(d+1)$. This also implies a positive answer to the conjecture of Kriesell that every sufficiently highly connected graph $G$ contains a spanning tree $T$ such that $G-E(T)$ is $k$-connected.

In a given graph, a HIST is a spanning tree without $2$-valent vertices. Motivated by developing a better understanding of HIST-free graphs, i.e. graphs containing no HIST, in this article's first part we study HIST-critical graphs, i.e. HIST-free graphs in which every vertex-deleted subgraph does contain a HIST (e.g. a triangle). We give an almost complete characterisation of the orders for which these graphs exist and present an infinite family of planar examples which are $3$-connected and in which nearly all vertices are $4$-valent. This leads naturally to the second part in which we investigate planar $4$-regular graphs with and without HISTs, motivated by a conjecture of Malkevitch, which we computationally verify up to order $22$. First we enumerate HISTs in antiprisms, whereafter we present planar $4$-regular graphs with and without HISTs, obtained via line graphs. Finally, we confirm Malkevitch's conjecture for the family of line graphs of cyclically $4$-edge connected cubic graphs.

We introduce the notion of quota trees in directed graphs. Given a nonnegative integer ``quota'' for each vertex of a directed multigraph $G$, a quota tree is an immersed rooted tree which hits each vertex of $G$ the prescribed number of times. When the quotas are all one, the tree is actually embedded and we recover the usual notion of a spanning arborescence (directed spanning tree). The usual algorithms which produce spanning arborescences with various properties typically have (sometimes more complicated) ``quota'' analogues. Our original motivation for studying quota trees was the problem of characterizing the sizes of the Myhill-Nerode equivalence classes in a connected deterministic finite-state automaton recognizing a given regular language. We show that the obstruction to realizing a given set of M-N class sizes is precisely the existence of a suitable quota tree. In this paper we develop the basic theory of quota trees. We give necessary and sufficient conditions for the existence of a quota tree (or forest) over a given directed graph with specified quotas, solving the M-N class size problem as a special case. We discuss some potential applications of quota trees and forests, and connect them to the $k$ lightest paths problem. We give two proofs of the main theorem: one based on an algorithmic loop invariant, and one based on direct enumeration of quota trees. For the latter, we use Lagrange inversion to derive a formula which vastly generalizes both the matrix-tree theorem and Cayley's formula for counting labeled trees. We give an efficient algorithm to sample uniformly from the set of forests with given quotas, as well as a generalization of Edmonds' algorithm for computing a minimum-weight quota forest.

In this paper, we investigate the complexity of an infinite family of Cayley graphs $\mathcal{D}_{n}=Cay(\mathbb{D}_{n}, b^{\pmβ_1},b^{\pmβ_2},\ldots,b^{\pmβ_s}, a b^{γ_1}, a b^{γ_2},\ldots, a b^{γ_t} )$ on the dihedral group $\mathbb{D}_{n}=\langle a,b| a^2=1, b^n=1,(a\,b)^2=1\rangle$ of order $2n.$ We obtain a closed formula for the number $τ(n)$ of spanning trees in $\mathcal{D}_{n}$ in terms of Chebyshev polynomials, investigate some arithmetical properties of this function, and find its asymptotics as $n\to\infty.$ Moreover, we show that the generating function $F(x)=\sum\limits_{n=1}^\inftyτ(n)x^n$ is a rational function with integer coefficients.

The family of planar graphs is a particularly important family and models many real-world networks. In this paper, we propose a principled framework based on the widely-known Apollonian packing process to generate new planar network, i.e., Type-II Apollonian network $\mathcal{A}_{t}$. The manipulation is different from that of the typical Apollonian network, and is proceeded in terms of the iterative addition of triangle instead of vertex. As a consequence, network $\mathcal{A}_{t}$ turns out to be hamiltonian and eulerian, however, the typical Apollonian network is not. Then, we in-depth study some fundamental structural properties on network $\mathcal{A}_{t}$, and verify that network $\mathcal{A}_{t}$ is sparse like most real-world networks, has scale-free feature and small-world property, and exhibits disassortative mixing structure. Next, we design an effective algorithm for solving the problem of how to enumerate spanning trees on network $\mathcal{A}_{t}$, and derive the asymptotic solution of the spanning tree entropy, which suggests that Type-II Apollonian network is more reliable to a random removal of edges than the typical Apollonian network. Additionally, we study trapping problem on network $\mathcal{A}_{t}$, and use average trapping time as metric to show that Type-II Apollonian network $\mathcal{A}_{t}$ has better structure for fast information diffusion than the typical Apollonian network.

Let $G$ be a connected graph and $L(G)$ the set of all integers $k$ such that $G$ contains a spanning tree with exactly $k$ leaves. We show that for a connected graph $G$, the set $L(G)$ is contiguous. It follows from work of Chen, Ren, and Shan that every connected and locally connected $n$-vertex graph -- this includes triangulations -- has a spanning tree with at least $n/2 + 1$ leaves, so by a classic theorem of Whitney and our result, in any plane $4$-connected $n$-vertex triangulation one can find for any integer $k$ which is at least $2$ and at most $n/2 + 1$ a spanning tree with exactly $k$ leaves (and each of these trees can be constructed in polynomial time). We also prove that there exist infinitely many $n$ such that there is a plane $4$-connected $n$-vertex triangulation containing a spanning tree with $2n/3$ leaves, but no spanning tree with more than $2n/3$ leaves.

A cut of a graph can be represented in many different ways. Here we propose to represent a cut through a ``relation tree'', which is a spanning tree with signed edges. We show that this picture helps to classify the main greedy heuristics for the maximum cut problem, in analogy with the minimum spanning tree problem. Namely, all versions of the Sahni-Gonzalez~(SG) algorithms could be classified as the Prim class, while various Edge-Contraction~(EC) algorithms are of the Kruskal class. We further elucidate the relation of this framework to the stabilizer formalism in quantum computing, and point out that the recently proposed \textit{ADAPT-Clifford} algorithm is a reformulation of a refined version of the SG algorithm, SG3. Numerical performance of the typical algorithms from the two classes are studied with various kinds of graphs. It turns out that, the Prim-class algorithms perform better for general dense graphs, and the Kruskal-class algorithms performs better when the graphs are sparse enough.

We consider partitions of a point set into two parts, and the lengths of the minimum spanning trees of the original set and of the two parts. If $w(P)$ denotes the length of a minimum spanning tree of $P$, we show that every set $P$ of $n \geq 12$ points admits a bipartition $P= R \cup B$ for which the ratio $\frac{w(R)+w(B)}{w(P)}$ is strictly larger than $1$; and that $1$ is the largest number with this property. Furthermore, we provide a very fast algorithm that computes such a bipartition in $O(1)$ time and one that computes the corresponding ratio in $O(n \log{n})$ time. In certain settings, a ratio larger than $1$ can be expected and sometimes guaranteed. For example, if $P$ is a set of $n$ random points uniformly distributed in $[0,1]^2$ ($n \to \infty$), then for any $\eps>0$, the above ratio in a maximizing partition is at least $\sqrt2 -\eps$ with probability tending to $1$. As another example, if $P$ is a set of $n$ points with spread at most $α\sqrt{n}$, for some constant $α>0$, then the aforementioned ratio in a maximizing partition is $1 + Ω(α^{-2})$. All our results and techniques are extendable to higher dimensions.

Miquel dynamics is a discrete time dynamics for circle patterns, which relies on Miquel's six circle theorem. Previous work shows that the evolution of the circle centers satisfy the dSKP equation on the octahedral lattice $A_3$. As a consequence, Miquel dynamics is a discrete integrable system. Moreover, Miquel dynamics give rise to a real-valued cluster structure. The evolution of the cluster variables under Miquel dynamics is also called a Y-system in the discrete integrable systems community. If the Y-system is real positive-valued then the circle pattern is accompanied by an invariant dimer model, an exactly solvable model studied in statistical physics. However, while circle patterns are Möbius invariant, the circle centers and the Y-system are not Möbius invariant, which violates the so called transformation group principle. In this article we show that half the intersection points satisfy the dSKP equation as well, and we introduce two new real-valued Y-systems for Miquel dynamics that involve only the intersection points. Therefore, the new Y-systems are Möbius invariant, and thus satisfy the transformation group principle. We also show that the circle centers and intersection points combined satisfy the dSKP equation on the 4-dimensional octahedral lattice $A_4$. In addition, we present two more complex-valued Y-systems for Miquel dynamics, which are real-valued in and only in the case of integrable circle patterns. We also investigate the special cases of harmonic embeddings and s-embeddings, which relate to the spanning tree and Ising model respectively.

We show that every $n$-vertex triangulation has a connected dominating set of size at most $10n/21$. Equivalently, every $n$ vertex triangulation has a spanning tree with at least $11n/21$ leaves. Prior to the current work, the best known bounds were $n/2$, which follows from work of Albertson, Berman, Hutchinson, and Thomassen (J. Graph Theory \textbf{14}(2):247--258). One immediate consequence of this result is an improved bound for the SEFENOMAP graph drawing problem of Angelini, Evans, Frati, and Gudmundsson (J. Graph Theory \textbf{82}(1):45--64). As a second application, we show that for every set $P$ of $\lceil 11n/21\rceil$ points in $\R^2$ every $n$-vertex planar graph has a one-bend non-crossing drawing in which some set of $11n/21$ vertices is drawn on the points of $P$. The main result extends to $n$-vertex triangulations of genus-$g$ surfaces, and implies that these have connected dominating sets of size at most $10n/21+O(\sqrt{gn})$.

In this paper we consider positional games where the winning sets are tree universal graphs. Specifically, we show that in the unbiased Maker-Breaker game on the complete graph $K_n$, Maker has a strategy to occupy a graph which contains copies of all spanning trees with maximum degree at most $cn/\log(n)$, for a suitable constant $c$ and $n$ being large enough. We also prove an analogous result for Waiter-Client games. Both of our results show that the building player can play at least as good as suggested by the random graph intuition. Moreover, they improve on a special case of earlier results by Johannsen, Krivelevich, and Samotij as well as Han and Yang for Maker-Breaker games.

In the recently introduced framework of solution discovery via reconfiguration [Fellows et al., ECAI 2023], we are given an initial configuration of $k$ tokens on a graph and the question is whether we can transform this configuration into a feasible solution (for some problem) via a bounded number $b$ of small modification steps. In this work, we study solution discovery variants of polynomial-time solvable problems, namely Spanning Tree Discovery, Shortest Path Discovery, Matching Discovery, and Vertex/Edge Cut Discovery in the unrestricted token addition/removal model, the token jumping model, and the token sliding model. In the unrestricted token addition/removal model, we show that all four discovery variants remain in P. For the toking jumping model we also prove containment in P, except for Vertex/Edge Cut Discovery, for which we prove NP-completeness. Finally, in the token sliding model, almost all considered problems become NP-complete, the exception being Spanning Tree Discovery, which remains polynomial-time solvable. We then study the parameterized complexity of the NP-complete problems and provide a full classification of tractability with respect to the parameters solution size (number of tokens) $k$ and transformation budget (number of steps) $b$. Along the way, we observe strong connections between the solution discovery variants of our base problems and their (weighted) rainbow variants as well as their red-blue variants with cardinality constraints.

In this paper, we study some spanning trees with bounded degree and leaf degree from eigenvalues. For any integer $k\geq2$, a $k$-tree is a spanning tree in which every vertex has degree no more than $k$. Let $T$ be a spanning tree of a connected graph. The leaf degree of $T$ is the maximum number of end-vertices attached to $v$ in $T$ for any $v\in V(T)$. By referring to the technique shown in [Eigenvalues and $[a,b]$-factors in regular graphs, J. Graph Theory. 100 (2022) 458-469], for an $r$-regular graph $G$, we provide an upper bound for the fourth largest adjacency eigenvalue of $G$ to guarantee the existence of a $k$-tree. Moreover, for a $t$-connected graph, we prove a tight sufficient condition for the existence of a spanning tree with leaf degree at most $k$ in terms of spectral radius. This generalizes a result of Theorem 1.5 in [Spectral radius and spanning trees of graphs, Discrete Math. 346 (2023) 113400]. Finally, for a general graph $G$, we present two sufficient conditions for the existence of a spanning tree with leaf degree at most $k$ via the Laplacian eigenvalues of $G$ and the spectral radius of the complement of $G$, respectively.

We consider a variation on Maker-Breaker games on graphs or digraphs where the edges have random costs. We assume that Maker wishes to choose the edges of a spanning tree, but wishes to minimise his cost. Meanwhile Breaker wants to make Maker's cost as large as possible.

We show that $(n,d,λ)$-graphs with $λ=O(d/\log^3 n)$ are universal with respect to all bounded degree spanning trees. This significantly improves upon the previous best bound due to Han and Yang of the form $λ=d/\exp{(O(\sqrt{\log n}))}$, and makes progress towards a problem of Alon, Krivelevich, and Sudakov from 2007. Our proof relies on the existence of sorting networks of logarithmic depth, as given by a celebrated construction of Ajtai, Komlós and Szemerédi. Using this construction, we show that the classical vertex-disjoint paths problem can be solved for a set of vertices fixed in advance.

Chung and Graham considered the problem of minimizing the number of edges in an $n$-vertex graph containing all $n$-vertex trees as a subgraph. They showed that such a graph has at least $\frac{1}{2}n \log{n}$ edges. In this note, we improve this lower estimate to $n \log{n}$.

Base polytopes of polymatroids, also known as generalized permutohedra, are polytopes whose edges are parallel to a vector of the form $\mathbf{e}_i - \mathbf{e}_j$. We consider the following computational problem: Given two vertices of a generalized permutohedron $P$, find a shortest path between them on the skeleton of $P$. This captures many known flip distance problems, such as computing the minimum number of exchanges between two spanning trees of a graph, the rotation distance between binary search trees, the flip distance between acyclic orientations of a graph, or rectangulations of a square. We prove that this problem is $NP$-hard, even when restricted to very simple polymatroids in $\mathbb{R}^n$ defined by $O(n)$ inequalities. Assuming $P\not= NP$, this rules out the existence of an efficient simplex pivoting rule that performs a minimum number of nondegenerate pivoting steps to an optimal solution of a linear program, even when the latter defines a polymatroid. We also prove that the shortest path problem is inapproximable when the polymatroid is specified via an evaluation oracle for a corresponding submodular function, strengthening a recent result by Ito et al. (ICALP'23). More precisely, we prove the $APX$-hardness of the shortest path problem when the polymatroid is a hypergraphic polytope, whose vertices are in bijection with acyclic orientations of a given hypergraph. The shortest path problem then amounts to computing the flip distance between two acyclic orientations of a hypergraph. On the positive side, we provide a polynomial-time approximation algorithm for the problem of computing the flip distance between two acyclic orientations of a hypergraph, where the approximation factor is the maximum codegree of the hypergraph. Our result implies an exact polynomial-time algorithm for the flip distance between two acyclic orientations of any linear hypergraph.

Let $G$ be a connected multigraph with $n$ vertices, and suppose $G$ has been edge-colored with $n-1$ colors so that each color class induces a spanning tree. Rota's Basis Conjecture for graphic matroids posits that one can find $n-1$ mutually edge-disjoint rainbow spanning trees. In a recent paper, Maezawa and Yazawa have shown that the conjecture holds if one assumes that the color classes induce spanning stars. We delve further into the star case to explore some extreme subcases including: all stars with different centers, the same center, or one of two centers. In addition, we identify the cases in which a graph composed of monochromatic stars can be decomposed into rainbow stars. We also show that the statement is false if one replaces `stars' with `paths'.

Our previous paper shows that the (vertex) spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial (id est is non-zero if all variables have positive imaginary parts) if and only if $G$ is distance-hereditary. In this note we generalize the result on weighted graphs. This generalization allows us to define the class of weighted distance-hereditary graphs.