arXiv++ Combinatorics

Which $2$-regular subgraph $R$ of a cubic graph $G$ can be extended to a cycle double cover of $G$? We provide a condition which ensures that every $R$ satisfying this condition is part of a cycle double cover of $G$. As one consequence, we prove that every $2$-connected cubic graph which has a decomposition into a spanning tree and a $2$-regular subgraph $C$ consisting of $k$ circuits with $k\leq 3$, has a cycle double cover containing $C$.

Let $G$ be a connected graph in which almost all vertices have linear degrees and let $T$ be a uniform spanning tree of $G$. For any fixed rooted tree $F$ of height $r$ we compute the asymptotic density of vertices $v$ for which the $r$-ball around $v$ in $T$ is isomorphic to $F$. We deduce from this that if $\{G_n\}$ is a sequence of such graphs converging to a graphon $W$, then the uniform spanning tree of $G_n$ locally converges to a multi-type branching process defined in terms of $W$. As an application, we prove that in a graph with linear minimum degree, with high probability, the density of leaves in a uniform spanning tree is at least $1/e-o(1)$, the density of vertices of degree $2$ is at most $1/e+o(1)$ and the density of vertices of degree $k\geq 3$ is at most ${(k-2)^{k-2} \over (k-1)! e^{k-2}} + o(1)$. These bounds are sharp.

A subgraph of an edge-coloured graph is called rainbow if all its edges have different colours. The problem of finding rainbow subgraphs goes back to the work of Euler on transversals in Latin squares and was extensively studied since then. In this paper we consider two related questions concerning rainbow subgraphs of complete, edge-coloured graphs and digraphs. In the first part, we show that every properly edge-coloured complete directed graph contains a directed rainbow cycle of length $n-O(n^{4/5})$. This is motivated by an old problem of Hahn and improves a result of Gyarfas and Sarkozy. In the second part, we show that any tree $T$ on $n$ vertices with maximum degree $Δ_T\leq βn/\log n$ has a rainbow embedding into a properly edge-coloured $K_n$ provided that every colour appears at most $αn$ times and $α, β$ are sufficiently small constants.

A EW-tableau is a certain 0/1-filling of a Ferrers diagram, corresponding uniquely to an acyclic orientation, with a unique sink, of a certain bipartite graph called a Ferrers graph. We give a bijective proof of a result of Ehrenborg and van Willigenburg showing that EW-tableaux of a given shape are equinumerous with permutations with a given set of excedances. This leads to an explicit bijection between EW-tableaux and the much studied Le-tableaux, as well as the tree-like tableaux introduced by Aval, Boussicault and Nadeau. We show that the set of EW-tableaux on a given Ferrers diagram are in 1-1 correspondence with the minimal recurrent configurations of the Abelian sandpile model on the corresponding Ferrers graph. Another bijection between EW-tableaux and tree-like tableaux, via spanning trees on the corresponding Ferrers graphs, connects the tree-like tableaux to the minimal recurrent configurations of the Abelian sandpile model on these graphs. We introduce a variation on the EW-tableaux, which we call NEW-tableaux, and present bijections from these to Le-tableaux and tree-like tableaux. We also present results on various properties of and statistics on EW-tableaux and NEW-tableaux, as well as some open problems on these.

For integers $k\geq 1$ and $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph whose vertices are the $k$-element subsets of $\{1,\ldots,n\}$ and whose edges connect pairs of subsets that are disjoint. The Kneser graphs of the form $K(2k+1,k)$ are also known as the odd graphs. We settle an old problem due to Meredith, Lloyd, and Biggs from the 1970s, proving that for every $k\geq 3$, the odd graph $K(2k+1,k)$ has a Hamilton cycle. This and a known conditional result due to Johnson imply that all Kneser graphs of the form $K(2k+2^a,k)$ with $k\geq 3$ and $a\geq 0$ have a Hamilton cycle. We also prove that $K(2k+1,k)$ has at least $2^{2^{k-6}}$ distinct Hamilton cycles for $k\geq 6$. Our proofs are based on a reduction of the Hamiltonicity problem in the odd graph to the problem of finding a spanning tree in a suitably defined hypergraph on Dyck words.

We introduce a general technique for proving estimates for certain random planar maps which belong to the $γ$-Liouville quantum gravity (LQG) universality class for $γ\in (0,2)$. The family of random planar maps we consider are those which can be encoded by a two-dimensional random walk with i.i.d.\ increments via a mating-of-trees bijection, and includes the uniform infinite planar triangulation (UIPT; $γ=\sqrt{8/3}$); and planar maps weighted by the number of different spanning trees ($γ=\sqrt 2$), bipolar orientations ($γ=\sqrt{4/3}$), or Schnyder woods ($γ=1$) that can be put on the map. Using our technique, we prove estimates for graph distances in the above family of random planar maps. In particular, we obtain non-trivial upper and lower bounds for the cardinality of a graph distance ball consistent with the Watabiki (1993) prediction for the Hausdorff dimension of $γ$-LQG and we establish the existence of an exponent for certain distances in the map. The basic idea of our approach is to compare a given random planar map $M$ to a mated-CRT map---a random planar map constructed from a correlated two-dimensional Brownian motion---using a strong coupling (Zaitsev, 1998) of the encoding walk for $M$ and the Brownian motion used to construct the mated-CRT map. This allows us to deduce estimates for graph distances in $M$ from the estimates for graph distances in the mated-CRT map which we proved (using continuum theory) in a previous work. In the special case when $γ=\sqrt{8/3}$, we instead deduce estimates for the $\sqrt{8/3}$-mated-CRT map from known results for the UIPT. The arguments of this paper do not directly use SLE/LQG, and can be read without any knowledge of these objects.

We study simple random walk on the class of random planar maps which can be encoded by a two-dimensional random walk with i.i.d. increments or a two-dimensional Brownian motion via a "mating-of-trees" type bijection. This class includes the uniform infinite planar triangulation (UIPT), the infinite-volume limits of random planar maps weighted by the number of spanning trees, bipolar orientations, or Schnyder woods they admit, and the $γ$-mated-CRT map for $γ\in (0,2)$. For each of these maps, we obtain an upper bound for the Green's function on the diagonal, an upper bound for the effective resistance to the boundary of a metric ball, an upper bound for the return probability of the random walk to its starting point after $n$ steps, and a lower bound for the graph-distance displacement of the random walk, all of which are sharp up to polylogarithmic factors. When combined with work of Lee (2017), our bound for the return probability shows that the spectral dimension of each of these random planar maps is a.s. equal to 2, i.e., the (quenched) probability that the simple random walk returns to its starting point after $2n$ steps is $n^{-1+o_n(1)}$. Our results also show that the amount of time that it takes a random walk to exit a metric ball is at least its volume (up to a polylogarithmic factor). In the special case of the UIPT, this implies that random walk typically travels at least $n^{1/4 - o_n(1)}$ units of graph distance in $n$ units of time. The matching upper bound for the displacement is proven by Gwynne and Hutchcroft (2018). These two works together resolve a conjecture of Benjamini and Curien (2013) in the UIPT case. Our proofs are based on estimates for the mated-CRT map (which come from its relationship to SLE-decorated Liouville quantum gravity) and a strong coupling of the mated-CRT map with the other random planar map models.

In this paper, we develop a new method to produce explicit formulas for the number $τ(n)$ of spanning trees in the undirected circulant graphs $C_{n}(s_1,s_2,\ldots,s_k)$ and $C_{2n}(s_1,s_2,\ldots,s_k,n).$ Also, we prove that in both cases the number of spanning trees can be represented in the form $τ(n)=p \,n \,a(n)^2,$ where $a(n)$ is an integer sequence and $p$ is a prescribed natural number depending on the parity of $n.$ Finally, we find an asymptotic formula for $τ(n)$ through the Mahler measure of the associated Laurent polynomial $L(z)=2k-\sum\limits_{i=1}^k(z^{s_i}+z^{-s_i}).$

We consider the polyhedral properties of two spanning tree problems with additional constraints. In the first problem, it is required to find a tree with a minimum sum of edge weights among all spanning trees with the number of leaves less or equal a given value. In the second problem, an additional constraint is the assumption that the degree of all vertices of the spanning tree does not exceed a given value. The decision versions of both problems are NP-complete. We consider the polytopes of these problems and their 1-skeletons. We prove that in both cases it is a NP-complete problem to determine whether the vertices of 1-skeleton are adjacent. Although it is possible to obtain a superpolynomial lower bounds on the clique numbers of these graphs. These values characterize the time complexity in a broad class of algorithms based on linear comparisons. The results indicate a fundamental difference in combinatorial and geometric properties between the considered problems and the classical minimum spanning tree problem.

We concentrate on some recent results of Egawa and Ozeki [J. Graph Theory, 2015 and Combinatorica, 2014], and He et al. [J. Graph Theory, 2002]. We give shorter proofs and polynomial time algorithms as well. We present two new proofs for the sufficient condition for having a spanning tree with prescribed lower bounds on the degrees, achieved recently by Egawa and Ozeki. The first one is a natural proof using induction, and the second one is a simple reduction to the theorem of Lovász. Using an algorithm of Frank we show that the condition of the theorem can be checked in time $O(m\sqrt{n})$, and moreover, in the same running time -- if the condition is satisfied -- we can also generate the spanning tree required. This gives the first polynomial time algorithm for this problem. Next we show a nice application of this theorem for the simplest case of the Weak Nine Dragon Tree Conjecture, and for the game coloring number of planar graphs, first discovered by He et al. Finally, we give a shorter proof and a polynomial time algorithm for a good characterization of having a spanning tree with prescribed degree lower bounds, for the special case when $G[S]$ is a cograph, where $S$ is the set of the vertices having degree lower bound prescription at least two. This theorem was proved by Egawa and Ozeki in 2014 while they did not give a polynomial time algorithm.

A Hist in a cubic graph $G$ is a spanning tree $T$ which has only vertices of degree three and one. A snark with a Hist is called a Hist-snark, see \cite{HO}. We present several computer generated Hist-snarks which form generalizations of the Petersen graph. Moreover, we state some results on Hist-snarks which have been achieved with computer support.

We study torsion in homology of the random $d$-complex $Y \sim Y_d(n,p)$ experimentally. Our experiments suggest that there is almost always a moment in the process where there is an enormous burst of torsion in homology $H_{d-1}(Y)$. This moment seems to coincide with the phase transition studied in \cite{AL,LP,LP3} , where cycles in $H_d(Y)$ first appear with high probability. Our main study is the limiting distribution on the $q$-part of the torsion subgroup of $H_{d-1}(Y)$ for small primes $q$. We find strong evidence for a limiting Cohen--Lenstra distribution, where the probability that the $q$-part is isomorphic to a given $q$-group $H$ is inversely proportional to the order of the automorphism group $|\mbox{Aut}(H)|$. We also study the torsion in homology of the uniform random $\Q$-acyclic $2$-complex. This model is analogous to a uniform spanning tree on a complete graph, but more complicated topologically since Kalai showed that the expected order of the torsion group is exponentially large in $n^2$ \cite{Kalai}. We give experimental evidence that in this model also, the torsion is Cohen--Lenstra distributed in the limit.

Refining a classical proof of Whitney, we show that any $4$-connected planar triangulation can be decomposed into a Hamiltonian path and two trees. Therefore, every $4$-connected planar graph decomposes into three forests, one having maximum degree at most $2$. We use this result to show that any Hamiltonian planar triangulation can be decomposed into two trees and one spanning tree of maximum degree at most $3$. These decompositions improve the result of Gonçalves [Covering planar graphs with forests, one having bounded maximum degree. J. Comb. Theory, Ser. B, 100(6):729--739, 2010] that every planar graph can be decomposed into three forests, one of maximum degree at most $4$. We also show that our results are best-possible.

A branch vertex in a tree is a vertex of degree at least three. We prove that, for all $s\geq 1$, every connected graph on $n$ vertices with minimum degree at least $(\frac{1}{s+3}+o(1))n$ contains a spanning tree having at most $s$ branch vertices. Asymptotically, this is best possible and solves, in less general form, a problem of Flandrin, Kaiser, Kuuzel, Li and Ryjáucek, which was originally motivated by an optimization problem in the design of optical networks.

Restrictions of incidence-preserving path maps produce an oriented hypergraphic All Minors Matrix-tree Theorems for Laplacian and adjacency matrices. The images of these maps produce a locally signed graphic, incidence generalization, of cycle covers and basic figures that correspond to incidence-k-forests. When restricted to bidirected graphs the natural partial ordering of maps results in disjoint signed boolean lattices whose minor calculations correspond to principal order ideals. As an application, (1) the determinant formula of a signed graphic Laplacian is reclaimed and shown to be determined by the maximal positive-circle-free elements, and (2) spanning trees are equivalent to single-element order ideals.

One model of real-life spreading processes is First Passage Percolation (also called SI model) on random graphs. Social interactions often follow bursty patterns, which are usually modelled with i.i.d.~heavy-tailed passage times on edges. On the other hand, random graphs are often locally tree-like, and spreading on trees with leaves might be very slow, because of bottleneck edges with huge passage times. Here we consider the SI model with passage times following a power law distribution $\mathbb{P}(ξ>t)\sim t^{-α}$, with infinite mean. For any finite connected graph $G$ with a root $s$, we find the largest number of vertices $κ(G,s)$ that are infected in finite expected time, and prove that for every $k \leq κ(G,s)$, the expected time to infect $k$ vertices is at most $O(k^{1/α})$. Then, we show that adding a single edge from $s$ to a random vertex in a random tree $\mathcal{T}$ typically increases $κ(\mathcal{T},s)$ from a bounded variable to a fraction of the size of $\mathcal{T}$, thus severely accelerating the process. We examine this acceleration effect on some natural models of random graphs: critical Galton-Watson trees conditioned to be large, uniform spanning trees of the complete graph, and on the largest cluster of near-critical Erdős-Rényi graphs. In particular, at the upper end of the critical window, the process is already much faster than exactly at criticality.

For any given loopless graph $G$, we introduce $Q$ - deformations of its Postnikov-Shapiro algebras counting spanning trees, counting spanning forests and $Q$ - deformations of internal algebra of $G$. We determine the total dimension of the algebras; our proof also gives a new proof of the formula for the total dimensions of the usual Postnikov-Shapiro algebras. Furthermore, we construct "square-free" definition of usual internal algebra of $G$.

The absolute value of the coefficient of $q$ in the chromatic polynomial of a graph $G$ is known as the chromatic discriminant of $G$ and is denoted $α(G)$. There is a well known recurrence formula for $α(G)$ that comes from the deletion-contraction rule for the chromatic polynomial. In this paper we prove another recurrence formula for $α(G)$ that comes from the theory of Kac-Moody Lie algebras. We start with a brief survey on many interesting algebraic and combinatorial interpretations of $α(G)$. We use two of these interpretations (in terms of acyclic orientations and spanning trees) to give two bijective proofs for our recurrence formula of $α(G)$.

A multigraph is a nonsimple graph which is permitted to have multiple edges, that is, edges that have the same end nodes. We introduce the concept of spanning simplicial complexes $Δ_s(\mathcal{G})$ of multigraphs $\mathcal{G}$, which provides a generalization of spanning simplicial complexes of associated simple graphs. We give first the characterization of all spanning trees of a uni-cyclic multigraph $\mathcal{U}_{n,m}^r$ with $n$ edges including $r$ multiple edges within and outside the cycle of length $m$. Then, we determine the facet ideal $I_\mathcal{F}(Δ_s(\mathcal{U}_{n,m}^r))$ of spanning simplicial complex $Δ_s(\mathcal{U}_{n,m}^r)$ and its primary decomposition. The Euler characteristic is a well-known topological and homotopic invariant to classify surfaces. Finally, we device a formula for Euler characteristic of spanning simplicial complex $Δ_s(\mathcal{U}_{n,m}^r)$.

Given a graph $G$, the $G$-parking function ideal $M_G$ is an artinian monomial ideal in the polynomial ring $S$ with the property that a linear basis for $S/M_G$ is provided by the set of $G$-parking functions. It follows that the dimension of $S/M_G$ is given by the number of spanning trees of $G$, which by the Matrix Tree Theorem is equal to the determinant of the reduced Laplacian of $G$. The ideals $M_G$ and related algebras were introduced by Postnikov and Shapiro where they studied their Hilbert functions and homological properties. The author and Sanyal showed that a minimal resolution of $M_G$ can be constructed from the graphical hyperplane arrangement associated to $G$, providing a combinatorial interpretation of the Betti numbers. Motivated by constructions in the theory of chip-firing on graphs, we study certain `skeleton' ideals $M_G^{(k)} \subset M_G$ generated by subsets of vertices of $G$ of size at most $k+1$. Here we focus our attention on the case $k=1$, the $1$-skeleton of the $G$-parking functions ideals. We consider standard monomials of $M_G^{(1)}$ and provide a combinatorial interpretation for the dimension of $S/M_G^{(1)}$ in terms of the signless Laplacian for the case $G = K_{n+1}$ is the complete graph. Our main study concerns homological properties of these ideals. We study resolutions of $M_G^{(1)}$ and show that for a certain class of graphs minimal resolution is supported on decompositions of Euclidean space coming from the theory of tropical hyperplane arrangements. This leads to combinatorial interpretations of the Betti numbers of these ideals.