arXiv++ Combinatorics

Browse math.CO papers from arXiv

tree

6737 papers tagged with this keyword
2009-01-16
On the rotation distance between binary trees
Published • View PublicationBIB
We develop combinatorial methods for computing the rotation distance between binary trees, i.e., equivalently, the flip distance between triangulations of a polygon. As an application, we prove that, for each n, there exist size n trees at distance 2n - O(sqrt(n)).
2009-01-09
Seifert cohomology of trees
To every tree we associate a filtered cochain complex. Its cohomology and the corresponding spectral sequence have clear combinatorial description. If a tree is the Dynkin diagram of a simple plane curve singularity, the graded Euler characteristic of this complex coincides with the Alexander polynomial of the link. In this case we also point the relation to the Heegard-Floer homology theory, constructed by P. Ozsvath and Z. Szabo.
2009-01-06 v2
Isomorphism and Symmetries in Random Phylogenetic Trees
The probability that two randomly selected phylogenetic trees of the same size are isomorphic is found to be asymptotic to a decreasing exponential modulated by a polynomial factor. The number of symmetrical nodes in a random phylogenetic tree of large size obeys a limiting Gaussian distribution, in the sense of both central and local limits. The probability that two random phylogenetic trees have the same number of symmetries asymptotically obeys an inverse square-root law. Precise estimates for these problems are obtained by methods of analytic combinatorics, involving bivariate generating functions, singularity analysis, and quasi-powers approximations.
2008-12-29
Sharp bounds for the number of maximal independent sets in trees of fixed diameter
We obtain sharp lower and upper bounds for the number of maximal (under inclusion) independent sets in trees with fixed number of vertices and diameter. All extremal trees are described up to isomorphism.
2008-12-29
Koszul duality for monoids and the operad of enriched rooted trees
We introduce here the notion of Koszul duality for monoids in the monoidal category of species with respect to the ordinary product. To each Koszul monoid we associate a class of Koszul algebras in the sense of Priddy, by taking the corresponding analytic functor. The operad $\mathscr{A}_M$ of rooted trees enriched with a monoid $M$ was introduced by the author many years ago. One special case of that is the operad of ordinary rooted trees, called in the recent literature the permutative non associative operad. We prove here that $\mathscr{A}_M$ is Koszul if and only if the corresponding monoid $M$ is Koszul. In this way we obtain a wide family of Koszul operads, extending a recent result of Chapoton and Livernet, and providing an interesting link between Koszul duality for associative algebras and Koszul duality for operads.
2008-12-17
Distances between pairs of vertices and vertical profile in conditioned Galton--Watson trees
Published • View PublicationBIB
We consider a conditioned Galton-Watson tree and prove an estimate of the number of pairs of vertices with a given distance, or, equivalently, the number of paths of a given length. We give two proofs of this result, one probabilistic and the other using generating functions and singularity analysis. Moreover, the second proof yields a more general estimate for generating functions, which is used to prove a conjecture by Bousquet-Melou and Janson saying that the vertical profile of a randomly labelled conditioned Galton-Watson tree converges in distribution, after suitable normalization, to the density of ISE (Integrated Superbrownian Excursion).
2008-12-12
Rooted trees and symmetric functions: Zhao's homomorphism and the commutative hexagon
Published in in Vertex Operator Algebras and Related Areas, M. Bergvelt et. al. (eds.), AMS, Providence, 2009, pp. 85-95 • View PublicationBIB
Recent work on perturbative quantum field theory has led to much study of the Connes-Kreimer Hopf algebra. Its (graded) dual, the Grossman-Larson Hopf algebra of rooted trees, had already been studied by algebraists. L. Foissy introduced a noncommutative version of the Connes-Kreimer Hopf algebra, which turns out to be self-dual. Using some homomorphisms defined by the author and W. Zhao, we describe a commutative diagram that relates the aforementioned Hopf algebras to each other and to the Hopf algebras of symmetric functions, noncommutative symmetric functions, and quasi-symmetric functions.
2008-12-11 v2
Non-crossing linked partitions and multiplication of free random variables
The material gives a new combinatorial proof of the multiplicative property of the S-transform. In particular, several properties of the coefficients of its inverse are connected to non-crossing linked partitions and planar trees.
2008-12-11
A locally finite tree that behaves like an infinite star
We construct a tree T of maximal degree 3 with infinitely many leaves such that whenever finitely many of them are removed, the remaining tree is isomorphic to T. In this sense T resembles an infinite star.
2008-12-11 v2
The number of elements in the mutation class of a quiver of type $D_n$
Published • View PublicationBIB
We show that the number of quivers in the mutation class of a quiver of Dynkin type $D_n$ is given by $\sum_{d|n} φ(n/d)\binom{2d}{d}/(2n)$ for $n \geq 5$. To obtain this formula, we give a correspondence between the quivers in the mutation class and certain rooted trees.
2008-12-05
A proof of the rooted tree alternative conjecture
Published in Discrete Mathematics Volume 309, Issue 20, 28 October 2009, Pages 5963-5967 • View PublicationBIB
Bonato and Tardif conjectured that the number of isomorphism classes of trees mutually embeddable with a given tree T is either 1 or infinite. We prove the analogue of their conjecture for rooted trees. We also discuss the original conjecture for locally finite trees and state some new conjectures.
2008-11-30 v5
Bounds for the annealed return probability on large finite percolation clusters
Published in Electronic Journal of Probability 17 (2012), no. 79, 1-17 • View PublicationBIB
Bounds for the expected return probability of the delayed random walk on finite clusters of an invariant percolation on transitive unimodular graphs are derived. They are particularly suited for the case of critical Bernoulli percolation and the associated heavy-tailed cluster size distributions. The upper bound relies on the fact that cartesian products of finite graphs with cycles of a certain minimal size are Hamiltonian. For critical Bernoulli bond percolation on the homogeneous tree this bound is sharp. The asymptotic type of the expected return probability for large times t in this case is of order of the 3/4'th power of 1/t.
2008-11-18 v2
Random Complexes and l^2-Betti Numbers
Published in J. Top. Anal. 1, no. 2 (2009), 153-175. • View PublicationBIB
Uniform spanning trees on finite graphs and their analogues on infinite graphs are a well-studied area. On a Cayley graph of a group, we show that they are related to the first $\ell^2$-Betti number of the group. Our main aim, however, is to present the basic elements of a higher-dimensional analogue on finite and infinite CW-complexes, which relate to the higher $\ell^2$-Betti numbers. One consequence is a uniform isoperimetric inequality extending work of Lyons, Pichot, and Vassout. We also present an enumeration similar to recent work of Duval, Klivans, and Martin.
2008-11-11
Combinatorics of Tripartite Boundary Connections for Trees and Dimers
Published in Electronic Journal of Combinatorics 16(1):R112, 2009 • View PublicationBIB
A grove is a spanning forest of a planar graph in which every component tree contains at least one of a special subset of vertices on the outer face called nodes. For the natural probability measure on groves, we compute various connection probabilities for the nodes in a random grove. In particular, for "tripartite" pairings of the nodes, the probability can be computed as a Pfaffian in the entries of the Dirichlet-to-Neumann matrix (discrete Hilbert transform) of the graph. These formulas generalize the determinant formulas given by Curtis, Ingerman, and Morrow, and by Fomin, for parallel pairings. These Pfaffian formulas are used to give exact expressions for reconstruction: reconstructing the conductances of a planar graph from boundary measurements. We prove similar theorems for the double-dimer model on bipartite planar graphs.
2008-11-07
On the limit of large girth graph sequences
Published • View PublicationBIB
We prove that any involution-invariant probability measure on the space of trees with maximum degrees at most d arises as the local limit of a convergent large girth graph sequence. This answers a question of Bollobas and Riordan.
2008-10-28
Maximum Multiplicity of a Root of the Matching Polynomial of a Tree and Minimum Path Cover
Published • View PublicationBIB
We give a necessary and sufficient condition for the maximum multiplicity of a root of the matching polynomial of a tree to be equal to the minimum number of vertex disjoint paths needed to cover it.
2008-10-27
Klazar trees and perfect matchings
Published • View PublicationBIB
Martin Klazar computed the total weight of ordered trees under 12 different notions of weight. The last and perhaps most interesting of these weights, w_{12}, led to a recurrence relation and an identity for which he requested combinatorial explanations. Here we provide such explanations. To do so, we introduce the notion of a "Klazar violator" vertex in an increasing ordered tree and observe that w_{12} counts what we call Klazar trees--increasing ordered trees with no Klazar violators. A highlight of the paper is a bijection from n-edge increasing ordered trees to perfect matchings of [2n]={1,2,...,2n} that sends Klazar violators to even numbers matched to a larger odd number. We find the distribution of the latter matches and, in particular, establish the one-summation explicit formula sum_{k=1}^{lfloor n/2 rfloor}(2k-1)!!^2 StirlingPartition{n+1}{2k+1} for the number of perfect matchings of [2n] with no even-to-larger-odd matches. The proofs are mostly bijective.
2008-10-27 v2
A sharp threshold for minimum bounded-depth and bounded-diameter spanning trees and Steiner trees in random networks
Published in Combinatorica 32(1):1-33, 2012 • View PublicationBIB
In the complete graph on n vertices, when each edge has a weight which is an exponential random variable, Frieze proved that the minimum spanning tree has weight tending to zeta(3)=1/1^3+1/2^3+1/3^3+... as n goes to infinity. We consider spanning trees constrained to have depth bounded by k from a specified root. We prove that if k > log_2 log n+omega(1), where omega(1) is any function going to infinity with n, then the minimum bounded-depth spanning tree still has weight tending to zeta(3) as n -> infinity, and that if k < log_2 log n, then the weight is doubly-exponentially large in log_2 log n - k. It is NP-hard to find the minimum bounded-depth spanning tree, but when k < log_2 log n - omega(1), a simple greedy algorithm is asymptotically optimal, and when k > log_2 log n+omega(1), an algorithm which makes small changes to the minimum (unbounded depth) spanning tree is asymptotically optimal. We prove similar results for minimum bounded-depth Steiner trees, where the tree must connect a specified set of m vertices, and may or may not include other vertices. In particular, when m = const * n, if k > log_2 log n+omega(1), the minimum bounded-depth Steiner tree on the complete graph has asymptotically the same weight as the minimum Steiner tree, and if 1 <= k <= log_2 log n-omega(1), the weight tends to (1-2^{-k}) sqrt{8m/n} [sqrt{2mn}/2^k]^{1/(2^k-1)} in both expectation and probability. The same results hold for minimum bounded-diameter Steiner trees when the diameter bound is 2k; when the diameter bound is increased from 2k to 2k+1, the minimum Steiner tree weight is reduced by a factor of 2^{1/(2^k-1)}.
2008-10-26
On total dominating sets in graphs
A set $S$ of vertices in a graph $G(V,E)$ is called a dominating set if every vertex $v\in V$ is either an element of $S$ or is adjacent to an element of $S$. A set $S$ of vertices in a graph $G(V,E)$ is called a total dominating set if every vertex $v\in V$ is adjacent to an element of $S$. The domination number of a graph $G$ denoted by $γ(G)$ is the minimum cardinality of a dominating set in $G$. Respectively the total domination number of a graph $G$ denoted by $γ_t(G)$ is the minimum cardinality of a total dominating set in $G$. An upper bound for $γ_t(G)$ which has been achieved by Cockayne and et al. in $\cite{coc}$ is: for any graph $G$ with no isolated vertex and maximum degree $Δ(G)$ and $n$ vertices, $γ_t(G)\leq n-Δ(G)+1$. Here we characterize bipartite graphs and trees which achieve this upper bound. Further we present some another upper and lower bounds for $γ_t(G)$. Also, for circular complete graphs, we determine the value of $γ_t(G)$.
2008-10-22
Algebraic properties of edge ideals via combinatorial topology
Published • View PublicationBIB
We apply some basic notions from combinatorial topology to establish various algebraic properties of edge ideals of graphs and more general Stanley-Reisner rings. In this way we provide new short proofs of some theorems from the literature regarding linearity, Betti numbers, and (sequentially) Cohen-Macaulay properties of edges ideals associated to chordal, complements of chordal, and Ferrers graphs, as well as trees and forests. Our approach unifies (and in many cases strengthens) these results and also provides combinatorial/enumerative interpretations of certain algebraic properties. We apply our setup to obtain new results regarding algebraic properties of edge ideals in the context of local changes to a graph (adding whiskers and ears) as well as bounded vertex degree. These methods also lead to recursive relations among certain generating functions of Betti numbers which we use to establish new formulas for the projective dimension of edge ideals. We use only well-known tools from combinatorial topology along the lines of independence complexes of graphs, (not necessarily pure) vertex decomposability, shellability, etc.