arXiv++ Combinatorics

We introduce and analyze a novel type of coalescent processes called cross-multiplicative coalescent that models a system with two types of particles, $A$ and $B$. The bonds are formed only between the pairs of particles of opposite types with the same rate for each bond, producing connected components made of particles of both types. We analyze and solve the Smoluchowski coagulation system of equations obtained as a hydrodynamic limit of the corresponding Marcus-Lushnikov process. We establish that the cross-multiplicative kernel is a gelling kernel, and find the gelation time. As an application, we derive the limiting mean length of a minimal spanning tree on a complete bipartite graph $K_{α[n], β[n]}$ with partitions of sizes $α[n]=αn +o(\sqrt{n})$ and $β[n]=βn +o(\sqrt{n})$ and independent edge weights, distributed uniformly over $[0, 1]$.

Let $G$ be a graph, let $k$ be a positive integer, and let $p:V(G)\rightarrow Z_k$ be a mapping with $|E(G)| \stackrel{k}{\equiv}\sum_{v\in V(G)}p(v) $. In this paper, we show that if $G$ is $(3k-3)$-edge-connected, then it has an orientation such that for each vertex $v$, $|d^+_G(v)-d_G(v)/2| < k$; also if $G$ contains $2k-2$ edge-disjoint spanning trees, then it admits such an orientation but by imposing greater out-degree bounds.

Let $G$ be a graph and let $f$ be a positive integer-valued function on $V(G)$. In this paper, we show that if for all $S\subseteq V(G)$, $ω(G\setminus S)<\sum_{v\in S}(f(v)-2)+2+ω(G[S])$, then $G$ has a spanning tree $T$ containing an arbitrary given matching such that for each vertex $v$, $d_T(v)\le f(v)$, where $ω(G\setminus S)$ denotes the number of components of $G\setminus S$ and $ω(G[S])$ denotes the number of components of the induced subgraph $G[S]$ with the vertex set $S$. This is an improvement of several results. Next, we prove that if for all $S\subseteq V(G)$, $ω(G\setminus S)\le \sum_{v\in S} (f(v)-1)+1$, then $G$ admits a spanning closed walk passing through the edges of an arbitrary given matching meeting each vertex $v$ at most $f(v)$ times. This result solves a long-standing conjecture due to Jackson and Wormald (1990).

We find explicit formulas for the probabilities of general boundary visit events for planar loop-erased random walks, as well as connectivity events for branches in the uniform spanning tree. We show that both probabilities, when suitably renormalized, converge in the scaling limit to conformally covariant functions which satisfy partial differential equations of second and third order, as predicted by conformal field theory. The scaling limit connectivity probabilities also provide formulas for the pure partition functions of multiple $\mathrm{SLE}_κ$ at $κ=2$.

We survey problems and results from combinatorial geometry in normed spaces, concentrating on problems that involve distances. These include various properties of unit-distance graphs, minimum-distance graphs, diameter graphs, as well as minimum spanning trees and Steiner minimum trees. In particular, we discuss translative kissing (or Hadwiger) numbers, equilateral sets, and the Borsuk problem in normed spaces. We show how to use the angular measure of Peter Brass to prove various statements about Hadwiger and blocking numbers of convex bodies in the plane, including some new results. We also include some new results on thin cones and their application to distinct distances and other combinatorial problems for normed spaces.

In 1986, Janson showed that the number of edges in the union of $k$ random spanning trees in the complete graph $K_n$ is a shifted Poisson distribution. Using results from the theory of electrical networks, we provide a new proof of this result, and we obtain an explicit rate of convergence. This rate of convergence allows us to show a new upper tail bound on the number of trees in $G(n,p)$, for $p$ a constant not depending on $n$. The number of edges in the union of $k$ random trees is related to moments of the number of spanning trees in $G(n, p)$. As an application, we prove the law of the iterated logarithm for the number of spanning trees in $G(n,p)$. More precisely, consider the infinite random graph $G(\mathbb{N}, p)$, with vertex set $\mathbb{N}$ and where each edge appears independently with constant probability $p$. By restricting to $\{1, 2, \dotsc, n\}$, we obtain a series of nested Erdös-Réyni random graphs $G(n,p)$. We show that a scaled version of the number of spanning trees satisfies the law of the iterated logarithm.

Choi et. al (2011) introduced a minimum spanning tree (MST)-based method called CLGrouping, for constructing tree-structured probabilistic graphical models, a statistical framework that is commonly used for inferring phylogenetic trees. While CLGrouping works correctly if there is a unique MST, we observe an indeterminacy in the method in the case that there are multiple MSTs. In this work we remove this indeterminacy by introducing so-called vertex-ranked MSTs. We note that the effectiveness of CLGrouping is inversely related to the number of leaves in the MST. This motivates the problem of finding a vertex-ranked MST with the minimum number of leaves (MLVRMST). We provide a polynomial time algorithm for the MLVRMST problem, and prove its correctness for graphs whose edges are weighted with tree-additive distances.

Let $M$ be a regular matroid. The Jacobian group ${\rm Jac}(M)$ of $M$ is a finite abelian group whose cardinality is equal to the number of bases of $M$. This group generalizes the definition of the Jacobian group (also known as the critical group or sandpile group) ${\rm Jac}(G)$ of a graph $G$ (in which case bases of the corresponding regular matroid are spanning trees of $G$). There are many explicit combinatorial bijections in the literature between the Jacobian group of a graph ${\rm Jac}(G)$ and spanning trees. However, most of the known bijections use vertices of $G$ in some essential way and are inherently "non-matroidal". In this paper, we construct a family of explicit and easy-to-describe bijections between the Jacobian group of a regular matroid $M$ and bases of $M$, many instances of which are new even in the case of graphs. We first describe our family of bijections in a purely combinatorial way in terms of orientations; more specifically, we prove that the Jacobian group of $M$ admits a canonical simply transitive action on the set ${\mathcal G}(M)$ of circuit-cocircuit reversal classes of $M$, and then define a family of combinatorial bijections $β_{σ,σ^*}$ between ${\mathcal G}(M)$ and bases of $M$. (Here $σ$ (resp. $σ^*$) is an acyclic signature of the set of circuits (resp. cocircuits) of $M$.) We then give a geometric interpretation of each such map $β=β_{σ,σ^*}$ in terms of zonotopal subdivisions which is used to verify that $β$ is indeed a bijection. Finally, we give a combinatorial interpretation of lattice points in the zonotope $Z$; by passing to dilations we obtain a new derivation of Stanley's formula linking the Ehrhart polynomial of $Z$ to the Tutte polynomial of $M$.

Two of the natural topologies for infinite graphs with edge-ends are Etop and Itop. In this paper, we study and characterize them. We show that Itop can be constructed by inverse limits of inverse systems of graphs with finitely many vertices. Furthermore, as an application of the inverse limit approach, we construct a topological spanning tree in Itop

In the present paper we find a simple algorithm for counting Jacobian group of the generalized Petersen graph GP(n,k). Also, we obtain a closed formula for the number of spanning trees of this graph in terms of Chebyshev polynomials.

This paper studies Minimum Spanning Trees under incomplete information for its vertices. We assume that no information is available on the precise placement of vertices so that it is only known that vertices belong to some neighborhoods that are second order cone representable and distances are measured with a $\ell_q$-norm. Two mixed integer non linear mathematical programming formulations are presented, based on alternative representations of subtour elimination constraints. A solution scheme is also proposed, resulting from a reformulation suitable for a Benders-like decomposition, which is embedded within an exact branch-and-cut framework. Furthermore, a mathheuristic is developed, which alternates in solving convex subproblems in different solution spaces, and is able to solve larger instances. The results of extensive computational experiments are reported and analyzed.

We propose a new algorithmic framework, called "partial rejection sampling", to draw samples exactly from a product distribution, conditioned on none of a number of bad events occurring. Our framework builds (perhaps surprising) new connections between the variable framework of the Lovász Local Lemma and some classical sampling algorithms such as the "cycle-popping" algorithm for rooted spanning trees. Among other applications, we discover new algorithms to sample satisfying assignments of k-CNF formulas with bounded variable occurrences.

An edge in a $k$-connected graph $G$ is called {\em $k$-contractible} if the graph $G/e$ obtained from $G$ by contracting $e$ is $k$-connected. Generalizing earlier results on $3$-contractible edges in spanning trees of $3$-connected graphs, we prove that (except for the graphs $K_{k+1}$ if $k \in \{1,2\}$) (a) every spanning tree of a $k$-connected triangle free graph has two $k$-contractible edges, (b) every spanning tree of a $k$-connected graph of minimum degree at least $\frac{3}{2}k-1$ has two $k$-contractible edges, (c) for $k>3$, every DFS tree of a $k$-connected graph of minimum degree at least $\frac{3}{2}k-\frac{3}{2}$ has two $k$-contractible edges, (d) every spanning tree of a cubic $3$-connected graph nonisomorphic to $K_4$ has at least $\frac{1}{3}|V(G)|-1$ many $3$-contractible edges, and (e) every DFS tree of a $3$-connected graph nonisomorphic to $K_4$, the prism, or the prism plus a single edge has two 3-contractible edges. We also discuss in which sense these theorems are best possible.

The purpose of this note is to give a succinct summary of some basic properties of T-graphs which arise in the study of the dimer model. We focus in particular on the relation between the dimer model on the heaxgonal lattice with a given slope, and the behaviour of the uniform spanning tree on the associated T-graph. Together with the main result of the companion paper \cite{BLR16}, the results here show Gaussian free field fluctuations for the height function in some dimer models.

Given a zero-sum function $β: V(G) \rightarrow \mathbb{Z}_3$ with $\sum_{v\in V(G)}β(v)=0$, an orientation $D$ of $G$ with $d^+_D(v)-d^-_D(v)= β(v)$ in $\mathbb{Z}_3$ for every vertex $v\in V(G)$ is called a $β$-orientation. A graph $G$ is $\mathbb{Z}_3$-connected if $G$ admits a $β$- orientation for every zero-sum function $β$. Jaeger et al. conjectured that every $5$-edge-connected graph is $\mathbb{Z}_3$-connected. A graph is $\langle\mathbb{Z}_3\rangle$-extendable at vertex $v$ if any pre-orientation at $v$ can be extended to a $β$-orientation of $G$ for any zero-sum function $β$. We observe that if every $5$-edge-connected essentially $6$-edge-connected graph is $\langle\mathbb{Z}_3\rangle$-extendable at any degree five vertex, then the above mentioned conjecture by Jaeger et al. holds as well. Furthermore, applying the partial flow extension method of Thomassen and of Lovász et al., we prove that every graph with at least 4 edge-disjoint spanning trees is $\mathbb{Z}_3$-connected. Consequently, every $5$-edge-connected essentially $23$-edge-connected graph is $\langle\mathbb{Z}_3\rangle$-extendable at degree five vertex.

An orientation of a graph $G$ is proper if any two adjacent vertices have different indegrees. The proper orientation number $\overrightarrowχ(G)$ of a graph $G$ is the minimum of the maximum indegree, taken over all proper orientations of $G$. In this paper, we show that a connected bipartite graph may be properly oriented even if we are only allowed to control the orientation of a specific set of edges, namely, the edges of a spanning tree and all the edges incident to one of its leaves. As a consequence of this result, we prove that 3-connected planar bipartite graphs have proper orientation number at most 6. Additionally, we give a short proof that $\overrightarrowχ(G) \leq 4$, when $G$ is a tree and this proof leads to a polynomial-time algorithm to proper orient trees within this bound.

Correlation functions in quantum field theory are calculated using Feynman amplitudes, which are finite dimensional integrals associated to graphs. The integrand is the exponential of the ratio of the first and second Symanzik polynomials associated to the Feynman graph, which are described in terms of the spanning trees and spanning 2-forests of the graph, respectively. In a previous paper with Bloch, Burgos and Fresán, we related this ratio to the asymptotic of the Archimedean height pairing between degree zero divisors on degenerating families of Riemann surfaces. Motivated by this, we consider in this paper the variation of the ratio of the two Symanzik polynomials under bounded perturbations of the geometry of the graph. This is a natural problem in connection with the theory of nilpotent and SL2 orbits in Hodge theory. Our main result is the boundedness of variation of the ratio. For this we define the exchange graph of a given graph which encodes the exchange properties between spanning trees and spanning 2-forests in the graph. We provide a description of the connected components of this graph, and use this to prove our result on boundedness of the variations.

The 3-Decomposition Conjecture states that every connected cubic graph can be decomposed into a spanning tree, a 2-regular subgraph and a matching. We show that this conjecture holds for the class of connected plane cubic graphs.

In the present paper we consider the problem of constructing all the projective rooted spanning trees of a given graph. We propose an algorithm based on reducing this problem to the problem of constructing all the maximal independent sets of a certain derived graph. We also offer an algorithm for step-by-step growing the spanning trees that sifts, at each step, any sub-trees non-extendable to projective spanning trees. The proposed algorithms were applied for analyzing the possible variants of the syntactic subordination of nouns through prepositions .

Diestel and Leader have characterised connected graphs that admit a normal spanning tree via two classes of forbidden minors. One class are Halin's $(\aleph_0,\aleph_1)$-graphs: bipartite graphs with bipartition $(\mathbb{N},B)$ such that $B$ is uncountable and every vertex of $B$ has infinite degree. Our main result is that under Martin's Axiom and the failure of the Continuum Hypothesis, the class of forbidden $(\aleph_0,\aleph_1)$-graphs in Diestel and Leader's result can be replaced by one single instance of such a graph. Under CH, however, the class of $(\aleph_0,\aleph_1)$-graphs contains minor-incomparable elements, namely graphs of binary type, and $\mathcal{U}$-indivisible graphs. Assuming CH, Diestel and Leader asked whether every $(\aleph_0,\aleph_1)$-graph has an $(\aleph_0,\aleph_1)$-minor that is either indivisible or of binary type, and whether any two $\mathcal{U}$-indivisible graphs are necessarily minors of each other. For both questions, we construct examples showing that the answer is in the negative.