arXiv++ Combinatorics

For a graph property $\mathcal{P}$ and a common vertex set $V = \{1, 2, \ldots, n\}$, a family of graphs on $V$ is \emph{$\mathcal{P}$-intersecting} iff $G \cap H$ satisfies $\mathcal{P}$ for all $G,H$ in the family. Addressing a question of Chung, Graham, Frankl, and Shearer, we explore---for various $\mathcal{P}$---the maximum cardinality among all $\mathcal{P}$-intersecting families of graphs. In the connected-intersecting case, we resolve the question completely by a short linear algebraic proof showing this maximum is attained by taking all graphs containing a fixed spanning tree (though we show other extremal constructions as well). We also present a new lower bound for containing unions of a fixed subgraph.

A spanning 2-forest separating vertices $u$ and $v$ of an undirected connected graph is a spanning forest with 2 components such that $u$ and $v$ are in distinct components. Aside from their combinatorial significance, spanning 2-forests have an important application to the calculation of resistance distance or effective resistance. The resistance distance between vertices $u$ and $v$ in a graph representing an electrical circuit with unit resistance on each edge is the number of spanning 2-forests separating $u$ and $v$ divided by the number of spanning trees in the graph. There are also well-known matrix theoretic methods for calculating resistance distance, but the way in which the structure of the underlying graph determines resistance distance via these methods is not well understood. For any connected graph $G$ with a 2-separator separating vertices $u$ and $v$, we show that the number of spanning trees and spanning 2-forests separating $u$ and $v$ can be expressed in terms of these same quantities for the smaller separated graphs, which makes computation significantly more tractable. An important special case is the preservation of the number of spanning 2-forests if $u$ and $v$ are in the same smaller graph. In this paper we demonstrate that this method of calculating resistance distance is more suitable for certain structured families of graphs than the more standard methods. We apply our results to count the number of spanning 2-forests and calculate the resistance distance in a family of Sierpinski triangles and in the family of linear 2-trees with a single bend.

The geometric $δ$-minimum spanning tree problem ($δ$-MST) is the problem of finding a minimum spanning tree for a set of points in a normed vector space, such that no vertex in the tree has a degree which exceeds $δ$, and the sum of the lengths of the edges in the tree is minimum. The similarly defined geometric $δ$-minimum bottleneck spanning tree problem ($δ$-MBST), is the problem of finding a degree bounded spanning tree such that the length of the longest edge is minimum. For point sets that lie in the Euclidean plane, both of these problems have been shown to be NP-hard for certain specific values of $δ$. In this paper, we investigate the $δ$-MBST problem in $3$-dimensional Euclidean space and $3$-dimensional rectilinear space. We show that the problems are NP-hard for certain values of $δ$, and we provide inapproximability results for these cases. We also describe new approximation algorithms for solving these $3$-dimensional variants, and then analyse their worst-case performance.

We give an Ore-Type condition sufficient for a graph G to have a spanning tree with a specified degree sequence.

This is a supplement for "Pearls in graph theory" -- a textbook written by Nora Hartsfield and Gerhard Ringel. We discuss the following topics: Ramsey theory, Probabilistic method, Deletion-contraction formulas, Matrix theorem, Graph-polynomials, Generating functions, Minimum spanning trees, Marriage theorem and its relatives, Toroidal graphs, Rado graph, Rewriting systems.

A harmonic cycle $λ$, also called a discrete harmonic form, is a solution of the Laplace's equation with the combinatorial Laplace operator obtained from the boundary operators of a chain complex. By the combinatorial Hodge theory, harmonic spaces are isomorphic to the homology groups with real coefficients. In particular, if a cell complex has a one dimensional reduced homology, it has a unique harmonic cycle up to scalar, which we call the \emph{standard harmonic cycle}. In this paper, we will present a formula for the standard harmonic cycle $λ$ of a cell complex based on a high-dimensional generalization of cycletrees. Moreover, by using duality, we will define the standard harmonic cocycle $λ^*$, and show intriguing combinatorial properties of $λ$ and $λ^*$ in relation to (dual) spanning trees, (dual) cycletrees, winding numbers $w(\cdot)$ and cutting numbers $c(\cdot)$ in high dimensions.

It is well-known that every planar graph has a Tutte path, i.e., a path $P$ such that any component of $G-P$ has at most three attachment points on $P$. However, it was only recently shown that such Tutte paths can be found in polynomial time. In this paper, we give a new proof that 3-connected planar graphs have Tutte paths, which leads to a linear-time algorithm to find Tutte paths. Furthermore, our Tutte path has special properties: it visits all exterior vertices, all components of $G-P$ have exactly three attachment points, and we can assign distinct representatives to them that are interior vertices. Finally, our running time bound is slightly stronger; we can bound it in terms of the degrees of the faces that are incident to $P$. This allows us to find some applications of Tutte paths (such as binary spanning trees and 2-walks) in linear time as well.

In the present paper, we investigate a family of circulant graphs with non-fixed jumps $$G_n=C_{βn}(s_1, \ldots,s_k,α_1n,\ldots,α_\ell n),\, 1\le s_1<\ldots<s_k\le[\frac{βn}{2}],\, 1\le α_1< \ldots<α_\ell\le[\fracβ{2}].$$ Here $n$ is an arbitrary large natural number and integers $s_1, \ldots,s_k,α_1, \ldots,α_\ell$ are supposed to be fixed. First, we present an explicit formula for the number of spanning trees in the graph $G_n.$ This formula is a product of $βs_k-1$ factors, each given by the $n$-th Chebyshev polynomial of the first kind evaluated at the roots of some prescribed polynomial of degree $s_k.$ Next, we provide some arithmetic properties of the complexity function. We show that the number of spanning trees in $G_n$ 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 of parity of $β$ and $n.$ Finally, we find an asymptotic formula for $τ(n)$ through the Mahler measure of the Laurent polynomials differing by a constant from $2k-\sum\limits_{i=1}^k(z^{s_i}+z^{-s_i}).$

Let $R$ and $B$ be a set of red points and a set of blue points in the plane, respectively, such that $R\cup B$ is in general position, and let $f:R \to \{2,3,4, \ldots \}$ be a function. We show that if $2\le |B|\le \sum_{x\in R}(f(x)-2) + 2$, then there exists a non-crossing geometric spanning tree $T$ on $R\cup B$ such that $2\le \operatorname{deg}_T(x)\le f(x)$ for every $x\in R$ and the set of leaves of $T$ is $B$, where every edge of $T$ is a straight-line segment.

Finding the exact integrality gap $α$ for the LP relaxation of the 2-edge-connected spanning multigraph problem (2EC) is closely related to the same problem for the Held-Karp relaxation of the metric traveling salesman problem (TSP). While the former problem seems easier than the latter, since it is less constrained, currently the upper bounds on the respective integrality gaps for the two problems are the same. An approach to proving integrality gaps for both of these problems is to consider fundamental classes of extreme points. For 2EC, better bounds on the integrality gap are known for certain important special cases of these fundamental points. For example, for half-integer square points, the integrality gap is between $\frac{6}{5}$ and $\frac{4}{3}$. Our main result is to improve the approximation factor to $\frac{9}{7}$ for 2EC for these points. Our approach is based on constructing convex combinations and our key tool is the top-down coloring framework for tree augmentation, whose flexibility we employ to exploit beneficial properties in both the initial spanning tree and in the input graph. We also show how these tools can be tailored to the closely related problem of uniform covers for which the proofs of the best-known bounds do not yield polynomial-time algorithms. Another key ingredient is to use a rainbow spanning tree decomposition, which allows us to obtain a convex combination of spanning trees with particular properties

Attempting to recognize a tree inside a phylogenetic network is a fundamental undertaking in evolutionary analysis. In the last few years, therefore, tree-based phylogenetic networks, which are defined by a spanning tree called a subdivision tree, have attracted attention of theoretical biologists. However, the application of such networks is still not easy, due to many problems whose time complexities are not clearly understood. In this paper, we provide a general framework for solving those various old or new problems from a coherent perspective, rather than analyzing the complexity of each individual problem or developing an algorithm one by one. More precisely, we establish a structure theorem that gives a way to canonically decompose any rooted binary phylogenetic network N into maximal zig-zag trails that are uniquely determined, and use it to characterize the set of subdivision trees of N in the form of a direct product, in a way reminiscent of the structure theorem for finitely generated Abelian groups. From the main results, we derive a series of linear time and linear time delay algorithms for the following problems: given a rooted binary phylogenetic network N, 1) determine whether or not N has a subdivision tree and find one if there exists any; 2) measure the deviation of N from being tree-based; 3) compute the number of subdivision trees of N; 4) list all subdivision trees of N; and 5) find a subdivision tree to maximize or minimize a prescribed objective function. All algorithms proposed here are optimal in terms of time complexity. Our results do not only imply and unify various known results, but also answer many open questions and moreover enable novel applications, such as the estimation of a maximum likelihood tree underlying a tree-based network. The results and algorithms in this paper still hold true for a special class of rooted non-binary phylogenetic networks.

By complexity of a finite graph we mean the number of spanning trees in the graph. The aim of the present paper is to give a new approach for counting complexity $τ(n)$ of cyclic $n$-fold coverings of a graph. We give an explicit analytic formula for $τ(n)$ in terms of Chebyshev polynomials and find its asymptotic behavior as $n\to\infty$ through the Mahler measure of the associated voltage polynomial. We also prove that $F(x)=\sum\limits_{n=1}^\inftyτ(n)x^n$ is a rational function with integer coefficients.

Let $F(x)=\sum\limits_{n=1}^\inftyτ(n)x^n$ be the generating function for the number $τ(n)$ of spanning trees in the circulant graphs $C_{n}(s_1,s_2,\ldots,s_k).$ We show that $F(x)$ is a rational function with integer coefficients satisfying the property $F(x)=F(1/x).$ A similar result is also true for the circulant graphs of odd valency $C_{2n}(s_1,s_2,\ldots,s_k,n).$ We illustrate the obtained results by a series of examples.

We investigate the problem of simultaneously dominating all spanning trees of a given graph. We prove that on 2-connected graphs, a subset of the vertices dominates all spanning trees of the graph if and only if it is a vertex cover. Using this fact we present an exact algorithm that finds a simultaneous dominating set of minimum size using an oracle for finding a minimum vertex cover. The algorithm can be implemented to run in polynomial time on several graph classes, such as bipartite or chordal graphs. We prove that there is no polynomial time algorithm that finds a minimum simultaneous dominating set on perfect graphs, unless P=NP. Finally, we provide a 2-approximation algorithm for finding a minimum simultaneous dominating set.

Let $T$ be a tree, a vertex of degree one is called a leaf. The set of leaves of $T$ is denoted by $Leaf(T)$. The subtree $T-Leaf(T)$ of $T$ is called the stem of $T$ and denoted by $Stem(T).$ In this note, we give a sharp sufficient condition to show that a $K_{1,t}-$free graph has a spanning tree whose stem has a few leaves. By applying the main result, we give improvements of previous related results.

A well-known result of Benjamini, Lyons, Peres, and Schramm states that if $G$ is a finitely generated Cayley graph of a group $Γ$, then $Γ$ is amenable if and only if $G$ admits a $Γ$-invariant random spanning tree with at most two ends. We show that this is equivalent to the existence of a $Γ$-invariant random spanning double ray in a power of $G$.

The global structure of the minimal spanning tree (MST) is expected to be universal for a large class of underlying random discrete structures. However, very little is known about the intrinsic geometry of MSTs of most standard models, and so far the scaling limit of the MST viewed as a metric measure space has only been identified in the case of the complete graph [5]. In this work, we show that the MST constructed by assigning i.i.d. continuous edge-weights to either the random (simple) $3$-regular graph or the $3$-regular configuration model on $n$ vertices, endowed with the tree distance scaled by $n^{-1/3}$ and the uniform probability measure on the vertices, converges in distribution with respect to Gromov-Hausdorff-Prokhorov topology to a random compact metric measure space. Further, this limiting space has the same law as the scaling limit of the MST of the complete graph identified in [5] up to a scaling factor of $6^{1/3}$. Our proof relies on a novel argument that proceeds via a comparison between a $3$-regular configuration model and the largest component in the critical Erdős-Rényi random graph. The techniques of this paper can be used to establish the scaling limit of the MST in the setting of general random graphs with given degree sequences provided two additional technical conditions are verified.

For each $Δ>0$, we prove that there exists some $C=C(Δ)$ for which the binomial random graph $G(n,C\log n/n)$ almost surely contains a copy of every tree with $n$ vertices and maximum degree at most $Δ$. In doing so, we confirm a conjecture by Kahn.

The operation of transforming one spanning tree into another by replacing an edge has been considered widely, both for general and planar straight-line graphs. For the latter, several variants have been studied (e.g., edge slides and edge rotations). In a transition graph on the set $\mathcal{T}(S)$ of noncrossing straight-line spanning trees on a finite point set $S$ in the plane, two spanning trees are connected by an edge if one can be transformed into the other by such an operation. We study bounds on the diameter of these graphs, and consider the various operations on point sets in both general position and convex position. In addition, we address variants of the problem where operations may be performed simultaneously or the edges are labeled. We prove new lower and upper bounds for the diameters of the corresponding transition graphs and pose open problems.

Recently O. Bernardi gave a formula for the Tutte polynomial $T(x,y)$ of a graph, based on spanning trees and activities just like the original definition, but using a fixed ribbon structure to order the set of edges in a different way for each tree. The interior polynomial $I$ is a generalization of $T(x,1)$ to hypergraphs. We supply a Bernardi-type description of $I$ using a ribbon structure on the underlying bipartite graph $G$. Our formula works because it is determined by the Ehrhart polynomial of the root polytope of $G$ in the same way as $I$ is. To prove this we interpret the Bernardi process as a way of dissecting the root polytope into simplices, along with a shelling order. We also show that our generalized Bernardi process gives a common extension of bijections (and their inverses) constructed by Baker and Wang between spanning trees and break divisors.