arXiv++ Combinatorics

In this paper, we investigate the polynomial integrand of an integral formula that yields the expected length of the minimal spanning tree of a graph whose edges are uniformly distributed over the interval [0, 1]. In particular, we derive a general formula for the coefficients of the polynomial and apply it to express the first few coefficients in terms of the structure of the underlying graph; e.g. number of vertices, edges and cycles.

The rotor-router model on a graph describes a discrete-time walk accompanied by the deterministic evolution of configurations of rotors randomly placed on vertices of the graph. We prove the following property: if at some moment of time, the rotors form a closed clockwise contour on the planar graph, then the clockwise rotations of rotors generate a walk which enters into the contour at some vertex $v$, performs a number of steps inside the contour so that the contour formed by rotors becomes anti-clockwise, and then leaves the contour at the same vertex $v$. This property generalizes the previously proved theorem for the case when the rotor configuration inside the contour is a cycle-rooted spanning tree, and all rotors inside the contour perform a full rotation. We use the proven property for an analysis of the sub-diffusive behavior of the rotor-router walk.

If we are given $n$ random points in the hypercube $[0,1]^d$, then the minimum length of a Traveling Salesperson Tour through the points, the minimum length of a spanning tree, and the minimum length of a matching, etc., are known to be asymptotically $βn^{\frac{d-1}{d}}$ a.s., where $β$ is an absolute constant in each case. We prove separation results for these constants. In particular, concerning the constants $β_{\mathrm{TSP}}^d$, $β_{\mathrm{MST}}^d$, $β_{\mathrm{MM}}^d$, and $β_{\mathrm{TF}}^d$ from the asymptotic formulas for the minimum length TSP, spanning tree, matching, and 2-factor, respectively, we prove that $β_{\mathrm{MST}}^d<β_{\mathrm{TSP}}^d$, $2β_{\mathrm{MM}}^d<β_{\mathrm{TSP}}^d$, and $β_{\mathrm{TF}}^d<β_{\mathrm{TSP}}^d$ for all $d\geq 2$. We also asymptotically separate the TSP from its linear programming relaxation in this setting. Our results have some computational relevance, showing that a certain natural class of simple algorithms cannot solve the random Euclidean TSP efficiently.

Let P be a finite set of points in general position in the plane. The structure of the complete graph K(P) as a geometric graph includes, for any pair [a,b],[c,d] of vertex-disjoint edges, the information whether they cross or not. The simple (i.e., non-crossing) spanning trees (SSTs) of K(P) are the vertices of the so-called Geometric Tree Graph of P, G(P). Two such vertices are adjacent in G(P) if they differ in exactly two edges, i.e., if one can be obtained from the other by deleting an edge and adding another edge. In this paper we show how to reconstruct from G(P) (regarded as an abstract graph) the structure of K(P) as a geometric graph. We first identify within G(P) the vertices that correspond to spanning stars. Then we regard each star S(z) with center z as the representative in G(P) of the vertex z of K(P). (This correspondence is determined only up to an automorphism of K(P) as a geometric graph.) Finally we determine for any four distinct stars S(a), S(b), S(c), and S(d), by looking at their relative positions in G(P), whether the corresponding segments cross.

We introduce polytopal cell complexes associated with partial acyclic orientations of a simple graph, which generalize acyclic orientations. Using the theory of cellular resolutions, two of these polytopal cell complexes are observed to minimally resolve certain special combinatorial polynomial ideals related to acyclic orientations. These ideals are explicitly found to be Alexander dual, which relative to comparable results in the literature, generalizes in a cleaner and more illuminating way the well-known duality between permutohedron and tree ideals. The combinatorics underlying these results naturally leads to a canonical way to represent rooted spanning forests of a labelled simple graph as non-crossing trees, and these representations are observed to carry a plethora of information about generalized tree ideals and acyclic orientations of a graph, and about non-crossing partitions of a totally ordered set. A small sample of the enumerative and structural consequences of collecting and organizing this information are studied in detail. Applications of this combinatorial miscellanea are then introduced and explored, namely: Stochastic processes on state space equal to the set of all acyclic orientations of a simple graph, including irreducible Markov chains, which exhibit stationary distributions ranging from linear extensions-based to uniform; a surprising formula for the expected number of acyclic orientations of a random graph; and a purely algebraic presentation of the main problem in bootstrap percolation, likely making it tractable to explore the set of all percolating sets of a graph with a computer.

In 1986 Harer and Zagier computed a certain matrix integral to determine an influential closed-form formula for the number of (orientable) one-face maps on n vertices colored from N colors. Kerov (1997) provided a proof which computed the same matrix integral differently, which gave an interpretation of these numbers as also counting the number of placements of non-attacking rooks on Young diagrams. Bernardi (2010) provided a bijective proof of this formula by putting one-face maps in bijection with tree-rooted maps, which are orientable maps with a designated spanning tree. In the first part of the paper, we explore the connection between these rook placements and tree-rooted maps by developing a bijection between these objects. Rook placements on Young diagrams have a q-analogue due to Garsia and Remmel (1986). In the second part of the paper, we propose a statistic on rook placements that leads to a conjectured identity which is a q-analogue of part of the Harer-Zagier formula. This identity is also expressed in terms of moments of orthogonal polynomials which are rescaling of q-Hermite polynomials. We then use these moments to give a recurrence for the proposed q-analogue.

A spanning tree with no vertices of degree 2 is called a Homeomorphically irreducible spanning tree\,(HIST). Based on a HIST embedded in the plane, a Halin graph is formed by connecting the leaves of the tree into a cycle following the cyclic order determined by the embedding. Both of the determination problems of whether a graph contains a HIST or whether a graph contains a spanning Halin graph are shown to be NP-complete. It was conjectured by Albertson, Berman, Hutchinson, and Thomassen in 1990 that a {\it every surface triangulation of at least four vertices contains a HIST}\,(confirmed). And it was conjectured by Lovász and Plummer that {\it every 4-connected plane triangulation contains a spanning Halin graph}\,(disproved). Balancing the above two facts, in this paper, we consider generalized Halin graphs, a family of graph structures which are "stronger" than HISTs but "weaker" than Halin graphs in the sense of their construction constraints. To be exact, a generalized Halin graph is formed from a HIST by connecting its leaves into a cycle. Since a generalized Halin graph needs not to be planar, we investigate the minimum degree condition for a graph to contain it as a spanning subgraph. We show that there exists a positive integer $n_0$ such that any 3-connected graph with $n\ge n_0$ vertices and minimum degree at least $(2n+3)/5$ contains a spanning generalized Halin graph. As an application, the result implies that under the same condition, the graph $G$ contains a wheel-minor of order at least $n/2$. The minimum degree condition in the result is best possible.

With graphs considered as natural models for many network design problems, edge connectivity $κ'(G)$ and maximum number of edge-disjoint spanning trees $τ(G)$ of a graph $G$ have been used as measures for reliability and strength in communication networks modeled as graph $G$ (see \cite{Cunn85, Matula87}, among others). Mader \cite{Mader71} and Matula \cite{Matula72} introduced the maximum subgraph edge connectivity $\overline{κ'}(G)=\max \{κ'(H): H \mbox{ is a subgraph of } G \}$. Motivated by their applications in network design and by the established inequalities \[ \overline{κ'}(G)\ge κ'(G) \ge τ(G), \] we present the following in this paper: (i) For each integer $k>0$, a characterization for graphs $G$ with the property that $\overline{κ'}(G) \le k$ but for any edge $e$ not in $G$, $\overline{κ'}(G+e)\ge k+1$. (ii) For any integer $n > 0$, a characterization for graphs $G$ with $|V(G)| = n$ such that $κ'(G) = τ(G)$ with $|E(G)|$ minimized.

We show that for proving the Stanley conjecture, it is sufficient to consider a very special class of monomial ideals. These ideals (or rather their lcm lattices) are in bijection with the simplicial spanning trees of skeletons of a simplex. We apply this result to verify the Stanley conjecture for quotients of monomial ideals with up to six generators. For seven generators we obtain a partial result.

We consider the Erdős-Rényi random graph process, which is a stochastic process that starts with $n$ vertices and no edges, and at each step adds one new edge chosen uniformly at random from the set of missing edges. Let $\mathcal{G}(n,m)$ be a graph with $m$ edges obtained after $m$ steps of this process. Each edge $e_i$ ($i=1,2,..., m$) of $\mathcal{G}(n,m)$ independently chooses precisely $k \in \mathbb{N}$ colours, uniformly at random, from a given set of $n-1$ colours (one may view $e_i$ as a multi-edge). We stop the process prematurely at time $M$ when the following two events hold: $\mathcal{G}(n,M)$ is connected and every colour occurs at least once ($M={n \choose 2}$ if some colour does not occur before all edges are present; however, this does not happen asymptotically almost surely). The question addressed in this paper is whether $\mathcal{G}(n,M)$ has a rainbow spanning tree (that is, multicoloured tree on $n$ vertices). Clearly, both properties are necessary for the desired tree to exist. In 1994, Frieze and McKay investigated the case $k=1$ and the answer to this question is "yes" (asymptotically almost surely). However, since the sharp threshold for connectivity is $\frac {n}{2} \log n$ and the sharp threshold for seeing all the colours is $\frac{n}{k} \log n$, the case $k=2$ is of special importance as in this case the two processes keep up with one another. In this paper, we show that asymptotically almost surely the answer is "yes" also for $k \ge 2$.

In this paper, we first prove that if the edges of $K_{2m}$ are properly colored by $2m-1$ colors in such a way that any two colors induce a 2-factor of which each component is a 4-cycle, then $K_{2m}$ can be decomposed into $m$ isomorphic multicolored spanning trees. Consequently, we show that there exist three disjoint isomorphic multicolored spanning trees in any properly (2$m-$1)-edge-colored $K_{2m}$ for $m\geq 14$.

We show that every connected graph has a spanning tree that displays all its topological ends. This proves a 1964 conjecture of Halin in corrected form, and settles a problem of Diestel from 1992.

Let $k\ge 2$ be an integer and $T_1,\ldots, T_k$ be spanning trees of a graph $G$. If for any pair of vertices $(u,v)$ of $V(G)$, the paths from $u$ to $v$ in each $T_i$, $1\le i\le k$, do not contain common edges and common vertices, except the vertices $u$ and $v$, then $T_1,\ldots, T_k$ are completely independent spanning trees in $G$. For $2k$-regular graphs which are $2k$-connected, such as the Cartesian product of a complete graph of order $2k-1$ and a cycle and some Cartesian products of three cycles (for $k=3$), the maximum number of completely independent spanning trees contained in these graphs is determined and it turns out that this maximum is not always $k$.

We consider questions related to the existence of spanning trees in graphs with the property that after the removal of any path in the tree the graph remains connected. We show that, for planar graphs, the existence of trees with this property is closely related to the Hamiltonicity of the graph. For graphs with a 1- or 2-vertex cut, the Hamiltonicity also plays a central role. We also deal with spanning trees satisfying this property restricted to paths arising from fundamental cycles. The cycle space of a graph can be generated by the fundamental cycles of any spanning tree, and Tutte showed, that for a 3-connected graph, it can be generated by nonseparating cycles. We are also interested in the existence of a fundamental basis consisting of nonseparating cycles.

Graph packing and partitioning problems have been studied in many contexts, including from the algorithmic complexity perspective. Consider the packing problem of determining whether a graph contains a spanning tree and a cycle that do not share edges. Bernáth and Király proved that this decision problem is NP-complete and asked if the same result holds when restricting to planar graphs. Similarly, they showed that the packing problem with a spanning tree and a path between two distinguished vertices is NP-complete. They also established the NP-completeness of the partitioning problem of determining whether the edge set of a graph can be partitioned into a spanning tree and a (not-necessarily spanning) tree. We prove that all three problems remain NP-complete even when restricted to planar graphs.

A tree with at most $k$ leaves is called a $k$-ended tree. A spanning 2-ended tree is a Hamilton path. A Hamilton cycle can be considered as a spanning 1-ended tree. The earliest result concerning spanning trees with few leaves states that if $k$ is a positive integer and $G$ is a connected graph of order $n$ with $d(x)+d(y)\ge n-k+1$ for each pair of nonadjacent vertices $x,y$, then $G$ has a spanning $k$-ended tree. In this paper, we improve this result in two ways, and an analogous result is proved for dominating $k$-ended trees based on the generalized parameter $t_k$ - the order of a largest $k$-ended tree. In particular, $t_1$ is the circumference (the length of a longest cycle), and $t_2$ is the order of a longest path.

The space C of conservative vertex colorings (over a field F) of a countable, locally finite graph G is introduced. The subspace of based colorings is shown to be isomorphic to the bicycle space of the graph. For graphs G with a free Z^d-action by automorphisms, C is a finitely generated module over the polynomial ring F[Z^d], and for this a polynomial invariant, the Laplacian polynomial, is defined. Properties of this polynomial are discussed. The logarithmic Mahler measure of the Laplacian polynomial is characterized in terms of the growth of spanning trees of G.

We consider a system of qubits coupled via nearest-neighbour interaction governed by the Heisenberg Hamiltonian. We further suppose that all coupling constants are equal to $1$. We are interested in determining which graphs allow for a transfer of quantum state with fidelity equal to $1$. To answer this question, it is enough to consider the action of the Laplacian matrix of the graph in a vector space of suitable dimension. Our main result is that if the underlying graph is a tree with more than two vertices, then perfect state transfer does not happen. We also explore related questions, such as what happens in bipartite graphs and graphs with an odd number of spanning trees. Finally, we consider the model based on the $XY$-Hamiltonian, whose action is equivalent to the action of the adjacency matrix of the graph. In this case, we conjecture that perfect state transfer does not happen in trees with more than three vertices.

Operators are induced on fermion and zeon algebras by the action of adjacency matrices and combinatorial Laplacians on the vector spaces spanned by the graph's vertices. Properties of the algebras automatically give information about the graph's spanning trees and vertex coverings by cycles \& matchings. Combining the properties of operators induced on fermions and zeons gives a fermion-zeon convolution that recovers the number of Hamiltonian cycles in an arbitrary graph. The mathematics underlying the graph-theoretic interpretation of these operators is provided by Kirchhoff's theorem and by the seminal works of Goulden and Jackson and Liu, who established formulas for enumeration of Hamiltonian cycles and paths using determinants and permanents of adjacency matrices.

In this paper, we continue the study of neighborhood total domination in graphs first studied by Arumugam and Sivagnanam [Opuscula Math. 31 (2011), 519--531]. A neighborhood total dominating set, abbreviated NTD-set, in a graph $G$ is a dominating set $S$ in $G$ with the property that the subgraph induced by the open neighborhood of the set $S$ has no isolated vertex. The neighborhood total domination number, denoted by $\gnt(G)$, is the minimum cardinality of a NTD-set of $G$. Every total dominating set is a NTD-set, implying that $γ(G) \le \gnt(G) \le \gt(G)$, where $γ(G)$ and $\gt(G)$ denote the domination and total domination numbers of $G$, respectively. Arumugam and Sivagnanam posed the problem of characterizing the connected graphs $G$ of order $n \ge 3$ achieving the largest possible neighborhood total domination number, namely $\gnt(G) = \lceil n/2 \rceil$. A partial solution to this problem was presented by Henning and Rad [Discrete Applied Mathematics 161 (2013), 2460--2466] who showed that $5$-cycles and subdivided stars are the only such graphs achieving equality in the bound when $n$ is odd. In this paper, we characterize the extremal trees achieving equality in the bound when $n$ is even. As a consequence of this tree characterization, a characterization of the connected graphs achieving equality in the bound when $n$ is even can be obtained noting that every spanning tree of such a graph belongs to our family of extremal trees.