tree
6861 papers tagged with this keyword
Principal $Γ$-cone for a tree
Published
• View Publication
• BIB
Each orientation on a Dynkin graph $Γ$ defines a cone (in a certain real configuration space) which is further divided into chambers. We enumerate the number of chambers for two particular cones, which are called the pricipal $Γ$-cones and are attached to bipartite decompositions of $Γ$, by a use of hook length formulae. We prove that these pricipal cones are characterized by the maximality of the number of chambers in them.
Connectivity transitions in networks with super-linear preferential attachment
Published
• View Publication
• BIB
We analyze an evolving network model of Krapivsky and Redner in which new nodes arrive sequentially, each connecting to a previously existing node b with probability proportional to the p-th power of the in-degree of b. We restrict to the super-linear case p>1. When 1+1/k< p \leq 1 + 1/(k-1) the structure of the final countable tree is determined. There is a finite tree T with distinguished v (which has a limiting distribution) on which is "glued" a specific infinite tree. v has an infinite number of children, an infinite number of which have k-1 children, and there are only a finite number of nodes (possibly only v) with k or more children. Our basic technique is to embed the discrete process in a continuous time process using exponential random variables, a technique that has previously been employed in the study of balls-in-bins processes with feedback.
Noncrossing partitions under rotation and reflection
We consider noncrossing partitions of [n] under the action of (i) the reflection group (of order 2), (ii) the rotation group (cyclic of order n) and (iii) the rotation/reflection group (dihedral of order 2n). First, we exhibit a bijection from rotation classes to bicolored plane trees on n edges, and consider its implications. Then we count noncrossing partitions of [n] invariant under reflection and show that, somewhat surprisingly, they are equinumerous with rotation classes invariant under reflection. The proof uses a pretty involution originating in work of Germain Kreweras. We conjecture that the "equinumerous" result also holds for arbitrary partitions of [n].
Free Rota-Baxter algebras and rooted trees
Published in Jour. Algebra and Its Applications, 7 (2008), 167-194
• View Publication
• BIB
A Rota-Baxter algebra, also known as a Baxter algebra, is an algebra with a linear operator satisfying a relation, called the Rota-Baxter relation, that generalizes the integration by parts formula. Most of the studies on Rota-Baxter algebras have been for commutative algebras. Two constructions of free commutative Rota-Baxter algebras were obtained by Rota and Cartier in the 1970s and a third one by Keigher and one of the authors in the 1990s in terms of mixable shuffles. Recently, noncommutative Rota-Baxter algebras have appeared both in physics in connection with the work of Connes and Kreimer on renormalization in perturbative quantum field theory, and in mathematics related to the work of Loday and Ronco on dendriform dialgebras and trialgebras.
This paper uses rooted trees and forests to give explicit constructions of free noncommutative Rota--Baxter algebras on modules and sets. This highlights the combinatorial nature of Rota--Baxter algebras and facilitates their further study. As an application, we obtain the unitarization of Rota-Baxter algebras.
Combinatorics of the free Baxter algebra
Published
• View Publication
• BIB
We study the free (associative, non-commutative) Baxter algebra on one generator. The first explicit description of this object is due to Ebrahimi-Fard and Guo. We provide an alternative description in terms of a certain class of trees, which form a linear basis for this algebra. We use this to treat other related cases, particularly that in which the Baxter map is required to be quasi-idempotent, in a unified manner. Each case corresponds to a different class of trees.
Our main focus is on the underlying combinatorics. In several cases, we provide bijections between our various classes of trees and more familiar combinatorial objects including certain Schroeder paths and Motzkin paths. We calculate the dimensions of the homogeneous components of these algebras (with respect to a bidegree related to the number of nodes and the number of angles in the trees) and the corresponding generating series. An important feature is that the combinatorics is captured by the idempotent case; the others are obtained from this case by various binomial transforms. We also relate free Baxter algebras to Loday's dendriform trialgebras and dialgebras. We show that the free dendriform trialgebra (respectively, dialgebra) on one generator embeds in the free Baxter algebra with a quasi-idempotent map (respectively, with a quasi-idempotent map and an idempotent generator). This refines results of Ebrahimi-Fard and Guo.
Schreier Sets in Ramsey Theory
Published
• View Publication
• BIB
We show that Ramsey theory, a domain presently conceived to guarantee the existence of large homogeneous sets for partitions on k-tuples of words (for every natural number k) over a finite alphabet, can be extended to one for partitions on Schreier-type sets of words (of every countable ordinal). Indeed, we establish an extension of the partition theorem of Carlson about words and of the (more general) partition theorem of Furstenberg-Katznelson about combinatorial subspaces of the set of words (generating from k-tuples of words for any fixed natural number k) into a partition theorem about combinatorial subspaces (generating from Schreier-type sets of words of order any fixed countable ordinal). Furthermore, as a result we obtain a strengthening of Carlson's infinitary Nash-Williams type (and Ellentuck type) partition theorem about infinite sequences of variable words into a theorem, in which an infinite sequence of variable words and a binary partition of all the finite sequences of words, one of whose components is, in addition, a tree, are assumed, concluding that all the Schreier-type finite reductions of an infinite reduction of the given sequence have a behavior determined by the Cantor-Bendixson ordinal index of the tree-component of the partition, falling in the tree-component above that index and in its complement below it.
Enumeration schemes for restricted permutations
Published
• View Publication
• BIB
Zeilberger's enumeration schemes can be used to completely automate the enumeration of many permutation classes. We extend his enumeration schemes so that they apply to many more permutation classes and describe the Maple package WILFPLUS, which implements this process. We also compare enumeration schemes to three other systematic enumeration techniques: generating trees, substitution decompositions, and the insertion encoding.
Noncrossing Trees and Noncrossing Graphs
Published
• View Publication
• BIB
We give a parity reversing involution on noncrossing trees that leads to a combinatorial interpretation of a formula on noncrossing trees and symmetric ternary trees in answer to a problem proposed by Hough. We use the representation of Panholzer and Prodinger for noncrossing trees and find a correspondence between a class of noncrossing trees, called proper oncrossing trees, and the set of symmetric ternary trees. The second result of this paper is a parity reversing involution on connected noncrossing graphs which leads to a relation between the number of noncrossing trees with a given number of edges and descents and the number of connected noncrossing graphs with a given number of vertices and edges.
Boxicity of Series Parallel Graphs
Published
• View Publication
• BIB
The three well-known graph classes, planar graphs (P), series-parallel graphs(SP) and outer planar graphs(OP) satisfy the following proper inclusion relation: OP C SP C P. It is known that box(G) <= 3 if G belongs to P and box(G) <= 2 if G belongs to OP. Thus it is interesting to decide whether the maximum possible value of the boxicity of series-parallel graphs is 2 or 3. In this paper we construct a series-parallel graph with boxicity 3, thus resolving this question. Recently Chandran and Sivadasan showed that for any G, box(G) <= treewidth(G)+2. They conjecture that for any k, there exists a k-tree with boxicity k+1. (This would show that their upper bound is tight but for an additive factor of 1, since the treewidth of any k-tree equals k.) The series-parallel graph we construct in this paper is a 2-tree with boxicity 3 and is thus a first step towards proving their conjecture.
Evolutionary Trees and the Ising Model on the Bethe Lattice: a Proof of Steel's Conjecture
Published
• View Publication
• BIB
A major task of evolutionary biology is the reconstruction of phylogenetic trees from molecular data. The evolutionary model is given by a Markov chain on a tree. Given samples from the leaves of the Markov chain, the goal is to reconstruct the leaf-labelled tree.
It is well known that in order to reconstruct a tree on $n$ leaves, sample sequences of length $Ω(\log n)$ are needed. It was conjectured by M. Steel that for the CFN/Ising evolutionary model, if the mutation probability on all edges of the tree is less than $p^{\ast} = (\sqrt{2}-1)/2^{3/2}$, then the tree can be recovered from sequences of length $O(\log n)$. The value $p^{\ast}$ is given by the transition point for the extremality of the free Gibbs measure for the Ising model on the binary tree. Steel's conjecture was proven by the second author in the special case where the tree is "balanced." The second author also proved that if all edges have mutation probability larger than $p^{\ast}$ then the length needed is $n^{Ω(1)}$. Here we show that Steel's conjecture holds true for general trees by giving a reconstruction algorithm that recovers the tree from $O(\log n)$-length sequences when the mutation probabilities are discretized and less than $p^\ast$. Our proof and results demonstrate that extremality of the free Gibbs measure on the infinite binary tree, which has been studied before in probability, statistical physics and computer science, determines how distinguishable are Gibbs measures on finite binary trees.
Congruence properties of depths in some random trees
Consider a random recusive tree with n vertices. We show that the number of vertices with even depth is asymptotically normal as n tends to infinty. The same is true for the number of vertices of depth divisible by m for m=3, 4 or 5; in all four cases the variance grows linearly. On the other hand, for m at least 7, the number is not asymptotically normal, and the variance grows faster than linear in n. The case m=6 is intermediate: the number is asymptotically normal but the variance is of order n log n.
This is a simple and striking example of a type of phase transition that has been observed by other authors in several cases. We prove, and perhaps explain, this non-intuitive behavious using a translation to a generalized Polya urn.
Similar results hold for a random binary search tree; now the number of vertices of depth divisible by m is asymptotically normal for m at most 8 but not for m at least 9, and the variance grows linearly in the first case both faster in the second. (There is no intermediate case.)
In contrast, we show that for conditioned Galton-Watson trees, including random labelled trees and random binary trees, there is no such phase transition: the number is asymptotically normal for every m.
On the number of genus one labeled circle trees
A genus one labeled circle tree is a tree with its vertices on a circle, such that together they can be embedded in a surface of genus one, but not of genus zero. We define an e-reduction process whereby a special type of subtree, called an e-graph, is collapsed to an edge. We show that genus is invariant under e-reduction. Our main result is a classification of genus one labeled circle trees through e-reduction. Using this we prove a modified version of a conjecture of David Hough, namely, that the number of genus one labeled circle trees on $n$ vertices is divisible by $n$ or if it is not divisible by $n$ then it is divisible by $n/2$. Moreover, we explicitly characterize when each of these possibilities occur.
The distinguishing number of the iterated line graph
We show that for all simple graphs G other than the cycles C_3,C_4,C_5, and the claw K_1,3 there exists a K > 0 such that whenever k > K the k-th iterate of the line graph can be distinguished by at most two colors. Additionally we determine, for trees, when the distinguishing number of the line graph of T is greater than the distinguishing number of T.
The density of the ISE and local limit laws for embedded trees
Published in The Annals of Applied Probability 16, 3 (2006) 1597--1632
• View Publication
• BIB
It has been known for a few years that the occupation measure of several models of embedded trees converges, after a suitable normalization, to the random measure called ISE (Integrated SuperBrownian Excursion). Here, we prove a local version of this result: ISE has a (random) Hölder continuous density, and the vertical profile of embedded trees converges to this density, at least for some such trees. As a consequence, we derive a formula for the distribution of the density of ISE at a given point. This follows from earlier results by Bousquet-Mélou on convergence of the vertical profile at a fixed point. We also provide a recurrence relation defining the moments of the (random) moments of ISE.
Noncommutative Symmetric Systems over Associative Algebras
Published in J. Pure Appl. Algebra, 210 (2007), no. 2, 363--382
• View Publication
• BIB
This paper is the first of a sequence papers ([Z4]--[Z7]) on the {\it ${\mathcal N}$CS $(\text{noncommutative symmetric})$ systems} over differential operator algebras in commutative or noncommutative variables ([Z4]); the ${\mathcal N}$CS systems over the Grossman-Larson Hopf algebras ([GL],[F]) of labeled rooted trees ([Z6]); as well as their connections and applications to the inversion problem ([BCW],[E4]) and specializations of NCSFs ([Z5],[Z7]). In this paper, inspired by the seminal work [GKLLRT] on NCSFs (noncommutative symmetric functions), we first formulate the notion {\it ${\mathcal N}$CS systems} over associative $\mathbb Q$-algebras. We then prove some results for ${\mathcal N}$CS systems in general; the ${\mathcal N}$CS systems over bialgebras or Hopf algebras; and the universal ${\mathcal N}$CS system formed by the generating functions of certain NCSFs in [GKLLRT]. Finally, we review some of the main results that will be proved in the followed papers [Z4], [Z6] and [Z7] as some supporting examples for the general discussions given in this paper.
A Noncommutative Symmetric System over the Grossman-Larson Hopf Algebra of Labeled Rooted Trees
Published in J. Alg. Comb. 28 (2008), 235--260.
• View Publication
• BIB
In this paper, we construct explicitly a noncommutative symmetric (${\mathcal N}$CS) system over the Grossman-Larson Hopf algebra of labeled rooted trees. By the universal property of the ${\mathcal N}$CS system formed by the generating functions of certain noncommutative symmetric functions, we obtain a specialization of noncommutative symmetric functions by labeled rooted trees. Taking the graded duals, we also get a graded Hopf algebra homomorphism from the Connes-Kreimer Hopf algebra of labeled rooted forests to the Hopf algebra of quasi-symmetric functions. A connection of the coefficients of the third generating function of the constructed ${\mathcal N}$CS system with the order polynomials of rooted trees is also given and proved.
NCS Systems over Differential Operator Algebras and the Grossman-Larson Hopf Algebras of Labeled Rooted Trees
Let $K$ be any unital commutative $\bQ$-algebra and $W$ any non-empty subset of $\bN^+$. Let $z=(z_1, ..., z_n)$ be commutative or noncommutative free variables and $t$ a formal central parameter. % Denote uniformly by $\kzz$ and $\kttzz$ the formal power series algebras % of $z$ over $K$ and $K[[t]]$, respectively. Let $\cDazz$ $(α\geq 1)$ be the unital algebra generated by the differential operators of $\kzz$ which increase the degree in $z$ by at least $α-1$ and $ \ataz $ the group of automorphisms $F_t(z)=z-H_t(z)$ of $\kttzz$ with $o(H_t(z))\geq α$ and $H_{t=0}(z)=0$. First, we study a connection of the \cNcs systems $Ω_{F_t}$ $(F_t\in \ataz)$ (\cite{GTS-I}, \cite{GTS-II}) over the differential operators algebra $\cDazz$ and the \cNcs system $Ω_\bT^W$ (\cite{GTS-IV}) over the Grossman-Larson Hopf algebra $\cH_{GL}^W$ (\cite{GL}, \cite{F1}, \cite{F2}) of $W$-labeled rooted trees. We construct a Hopf algebra homomorphism $\mathcal A_{F_t}: \cH_{GL}^W \to \cDazz$ $(F_t\in \ataz)$ such that $\mathcal A_{F_t}^{\times 5}(Ω_\bT^W) =Ω_{F_t}$. Secondly, we generalize the tree expansion formulas for the inverse map (\cite{BCW}, \cite{Wr3}), the D-Log and the formal flow (\cite{WZ}) of $F_t$ in the commutative case to the noncommutative case. Thirdly, we prove the injectivity of the specialization $\cT:{\mathcal N}Sym \to \cH_{GL}^{\bN^+}$ (\cite{GTS-IV}) of NCSF's (noncommutative symmetric functions) (\cite{G-T}). Finally, we show the family of the specializations $\cS_{F_t}$ of NCSF's with all $n\geq 1$ and the polynomial automorphisms $F_t=z-H_t(z)$ with $H_t(z)$ homogeneous and the Jacobian matrix $JH_t$ strictly lower triangular can distinguish any two different NCSF's. The graded dualized versions of the main results above are also discussed.
Smith Normal Form and Acyclic Matrics
Published
• View Publication
• BIB
An approach, based on the Smith Normal Form, is introduced to study the spectra of symmetric matrices with a given graph. The approach serves well to explain how the path cover number (resp. diameter of a tree T) is related to the maximum multiplicity occurring for an eigenvalue of a symmetric matrix whose graph is T (resp. the minimum number q(T) of distinct eigenvalues over the symmetric matrices whose graphs are T). The approach is also applied to a more general class of connected graphs G, not necessarily trees, in order to establish a lower bound on q(G).
A simple recurrence for covers of the sphere with branch points of arbitrary ramification
Published
• View Publication
• BIB
The problem of counting ramified covers of a Riemann surface up to homeomorphism was proposed by Hurwitz in the late 1800's. This problem translates combinatorially into factoring a permutation of specified cycle type, with certain conditions on the cycle types of the factors, such as minimality and transitivity.
Goulden and Jackson have given a proof for the number of minimal, transitive factorizations of a permutation into transpositions. This proof involves a partial differential equation for the generating series, called the Join-Cut equation. Recently, Bousquet-Mélou and Schaeffer have found the number of minimal, transitive factorizations of a permutation into arbitrary unspecified factors. This was proved by a purely combinatorial argument, based on a direct bijection between factorizations and certain objects called $m$-Eulerian trees.
In this paper, we give a simple partial differential equation for Bousquet-Mélou and Schaeffer's generating series, and for Goulden and Jackson's generating series, as well as a new proof of the result by Bousquet-Mélou and Schaeffer. We apply algebraic methods based on Lagrange's theorem, and combinatorial methods based on a new use of Bousquet-Mélou and Schaeffer's $m$-Eulerian trees.
Forest matrices around the Laplacian matrix
Published in Linear Algebra and Its Applications. 2002. V. 356. 253--274
• View Publication
• BIB
We study the matrices Q_k of in-forests of a weighted digraph G and their connections with the Laplacian matrix L of G. The (i,j) entry of Q_k is the total weight of spanning converging forests (in-forests) with k arcs such that i belongs to a tree rooted at j. The forest matrices, Q_k, can be calculated recursively and expressed by polynomials in the Laplacian matrix; they provide representations for the generalized inverses, the powers, and some eigenvectors of L. The normalized in-forest matrices are row stochastic; the normalized matrix of maximum in-forests is the eigenprojection of the Laplacian matrix, which provides an immediate proof of the Markov chain tree theorem. A source of these results is the fact that matrices Q_k are the matrix coefficients in the polynomial expansion of adj(a*I+L). Thereby they are precisely Faddeev's matrices for -L.
Keywords: Weighted digraph; Laplacian matrix; Spanning forest; Matrix-forest theorem; Leverrier-Faddeev method; Markov chain tree theorem; Eigenprojection; Generalized inverse; Singular M-matrix