tree
6860 papers tagged with this keyword
Order structure on the algebra of permutations and of planar binary trees
Published in J. Algebraic Combin. 15 (2002), no. 3, 253-270.
• View Publication
• BIB
In "Hopf algebra of the planar binary trees", Adv. Math. 139 (1998), no. 2, 293--309, we constructed by induction a graded associative product on the vector space generated by the planar binary trees (resp. the permutations). In the present paper we prove an explicit formula for this product in terms of a partial order on the set of planar binary trees (resp. the weak Bruhat order on the symmetric groups).
Gromov-Witten theory, Hurwitz numbers, and Matrix models, I
Published
• View Publication
• BIB
The main goal of the paper is to present a new approach via Hurwitz numbers to Kontsevich's combinatorial/matrix model for the intersection theory of the moduli space of curves. A secondary goal is to present an exposition of the circle of ideas involved: Hurwitz numbers, Gromov-Witten theory of the projective line, matrix integrals, and the theory of random trees. Further topics will be treated in a sequel.
The generalized Borwein conjecture. I. The Burge transform
Published in Contemp. Math. 291 (2001), 243--267
• View Publication
• BIB
Given an arbitrary ordered pair of coprime integers (a,b) we obtain a pair of identities of the Rogers--Ramanujan type. These identities have the same product side as the (first) Andrews--Gordon identity for modulus 2ab\pm 1, but an altogether different sum side, based on the representation of (a/b-1)^{\pm 1} as a continued fraction. Our proof, which relies on the Burge transform, first establishes a binary tree of polynomial identities. Each identity in this Burge tree settles a special case of Bressoud's generalized Borwein conjecture.
Quasi-isometries between non-locally-finite graphs and structure trees
We prove several criteria for quasi-isometry between non-locally-finite graphs and their structure trees. Results of Möller in \cite{moeller92ends2} for locally finite and transitive graphs are generalized. We also give a criterion which describes quasi-isometry by how edge-ends are split up by the cuts of a structure tree.
Cellular Structures determined by Polygons and Trees
Published in Annals of Combinatorics 5 (2001) 71-98
• View Publication
• BIB
The polytope structure of the associahedron is decomposed into two categories, types and classes. The classification of types is related to integer partitions, whereas the classes present a new combinatorial problem. We solve this and incorporate the results into properties of the real moduli space of Riemann spheres. Connections are discussed with relation to classic combinatorial problems as well as to other sciences.
Structure of some sand pile model
Published
• View Publication
• BIB
SPM (Sand Pile Model) is a simple discrete dynamical system used in physics to represent granular objects. It is deeply related to integer partitions, and many other combinatorics problems, such as tilings or rewriting systems. The evolution of the system started with n stacked grains generates a lattice, denoted by SPM(n). We study here the structure of this lattice. We first explain how it can be constructed, by showing its strong self-similarity property. Then, we define SPM(infini), a natural extension of SPM when one starts with an infinite number of grains. Again, we give an efficient construction algorithm and a coding of this lattice using a self-similar tree. The two approaches give different recursive formulae for the cardinal of SPM(n), where no closed formula have ever been found.
The Lattice of integer partitions and its infinite extension
Published in Discrete Mathematics Vol. 309, No. 6, 2009
• View Publication
• BIB
In this paper, we use a simple discrete dynamical model to study integer partitions and their lattice. The set of reachable configurations of the model, with the order induced by the transition rule defined on it, is the lattice of all partitions of an integer, equipped with a dominance ordering. We first explain how this lattice can be constructed by an algorithm in linear time with respect to its size by showing that it has a self-similar structure. Then, we define a natural extension of the model to infinity, which we compare with the Young lattice. Using a self-similar tree, we obtain an encoding of the obtained lattice which makes it possible to enumerate easily and efficiently all the partitions of a given integer. This approach also gives a recursive formula for the number of partitions of an integer, and some informations on special sets of partitions, such as length bounded partitions.
The Intersection of All Maximum Stable Sets of a Tree and its Pendant Vertices
Published
• View Publication
• BIB
A stable set in a graph G is a set of mutually non-adjacent vertices, alpha(G) is the size of a maximum stable set of G, and core(G) is the intersection of all its maximum stable sets. In this paper we demonstrate that in a tree T, of order n greater than 1, any stable set of size greater or equal to n/2 contains at least one pendant vertex. Hence, we deduce that any maximum stable set in a tree contains at least one pendant vertex. Our main finding is the theorem claiming that if T does not own a perfect matching, then at least two pendant vertices an even distance apart belong to core(T). While it is proved by Levit and Mandrescu that if G is a connected bipartite graph of order at least 2, then the size of core(G) is different from 1, our new statement reveals an additional structure of the intersection of all maximum stable sets of a tree. The above assertions give refining of one result of Hammer, Hansen and Simeone, stating that if a graph G is of order less than 2*alpha(G), then core(G) is non-empty, and also of a result of Jamison, Gunter, Hartnel and Rall, and Zito, saying that for a tree T of order at least two, the size of core(G) is different from 1.
Foata's Bijection for Tree-Like Structures
We present bijections enumerating (k,m)-trees, k-gon trees, edge labelled (2,1)-trees, and other tree-like structures. Our constructions are based on Foata's (1971) bijection for cycle-free functions, which is simplified here.
Completion of a Rational Function Sequence of Carlitz
The exponential generating functions of {n^(n+m)} for arbitrary integer m are expressed as rational functions of the e.g.f. of {n^(n-1)} [the tree function] and then of the e.g.f. of {n^n} [the endofunction function].
The coefficients in these rational functions include 2nd-order Eulerian numbers (a result of L. Carlitz), 2nd-order Stirling numbers, and Stirling numbers of the first kind for negative sets (in the sense of D. Loeb). Several combinatorial identities follow.
On the consistency of the definable tree property on \aleph_1
Published
• View Publication
• BIB
In this paper we prove the equiconsistency of ``Every omega_1 tree which is first order definable over H_{omega_1} has a cofinal branch'' with the existence of a Pi^1_1 reflecting cardinal. The proof uses a definable version of Ramsey theorem on aleph_1 which is again equiconsistent with a Pi^1_1 reflecting cardinal. We also prove that the addition of $MA$ to the definable tree property increases the consistency strength to that of a weakly compact cardinal. Finally we comment on the generalization to higher cardinals.
Valleyless Sequences
Valleyless sequences of finite length $n$ and maximum entry $k$ occur in tree enumeration problems and provide an interesting correspondence between permutations and compositions. In this paper we introduce the notion of \emph {valleyless} sequences, explore the correspondence and enumerate them using the method of generating functions.
On $α^{++}$-Stable Graphs
The stability number of a graph G, denoted by alpha(G), is the cardinality of a stable set of maximum size in G. A graph is well-covered if every maximal stable set has the same size. G is a Koenig-Egervary graph if its order equals alpha(G) + mu(G), where mu(G) is the cardinality of a maximum matching in G. In this paper we characterize $α^{++}$-stable graphs, namely, the graphs whose stability numbers are invariant to adding any two edges from their complements. We show that a König-Egerváry graph is $α^{++}$-stable if and only if it has a perfect matching consisting of pendant edges and no four vertices of the graph span a cycle. As a corollary it gives necessary and sufficient conditions for $α^{++}$-stability of bipartite graphs and trees. For instance, we prove that a bipartite graph is $α^{++}$-stable if and only if it is well-covered and C4-free.
On the kernel of tree incidence matrices
Published in Journal of Integer Sequences, Vol 3, (2000), Article 00.1.4
• Search Publication
We study the height of the delta peak at 0 in the spectrum of random tree incidence matrices. We show that the average fraction of the spectrum occupied by the eigenvalue 0 in a large random tree is asymptotic to 2x-1 = 0.1342865808195677459999... where x is the unique real root of x = exp(-x). For finite trees, we give a closed form, a generating function, and an asymptotic estimate for the sequence 1,0,3,8,135,1164,21035,.... of the total multiplicity of the eigenvalue 0 in the set of n^{n-2} tree incidence matrices of size n>0.
Tournament Sequences and Meeussen Sequences
Published in Electronic Journal of Combinatorics 7(1) (2000) #R44. http://www.combinatorics.org/Volume_7/Abstracts/v7i1r44.html
• View Publication
• BIB
A "tournament sequence" is an increasing sequence of positive integers (t_1,t_2,...) such that t_1=1 and t_{i+1} <= 2 t_i. A "Meeussen sequence" is an increasing sequence of positive integers (m_1,m_2,...) such that m_1=1, every nonnegative integer is the sum of a subset of the {m_i}, and each integer m_i-1 is the sum of a unique such subset.
We show that these two properties are isomorphic. That is, we present a bijection between tournament and Meeussen sequences which respects the natural tree structure on each set. We also present an efficient technique for counting the number of tournament sequences of length n, and discuss the asymptotic growth of this number. The counting technique we introduce is suitable for application to other well-behaved counting problems of the same sort where a closed form or generating function cannot be found.
On $α$-Critical Edges in König-Egerváry Graphs
The stability number of a graph G, denoted by alpha(G), is the cardinality of a stable set of maximum size in G. If alpha(G-e) > alpha(G), then e is an alpha-critical edge, and if mu(G-e) < mu(G), then e is a mu-critical edge, where mu(G) is the cardinality of a maximum matching in G. G is a Koenig-Egervary graph if alpha(G) + mu(G) equals its order. Beineke, Harary and Plummer have shown that the set of alpha-critical edges of a bipartite graph is a matching. In this paper we generalize this statement to Koenig-Egervary graphs. We also prove that in a Koenig-Egervary graph alpha-critical edges are also mu-critical, and that they coincide in bipartite graphs. We obtain that for any tree its stability number equals the sum of the cardinality of the set of its alpha-critical vertices and the size of the set of its alpha-critical edges. Eventually, we characterize the Koenig-Egervary graphs enjoying this property.
Spanning Trees on Hypercubic Lattices and Non-orientable Surfaces
Published in Appl. Math. Letters 13 (6), 19-25 (2000).
• View Publication
• BIB
We consider the problem of enumerating spanning trees on lattices. Closed-form expressions are obtained for the spanning tree generating function for a hypercubic lattice of size N_1 x N_2 x...x N_d in d dimensions under free, periodic, and a combination of free and periodic boundary conditions. Results are also obtained for a simple quartic net embedded on two non-orientable surfaces, a Moebius strip and the Klein bottle. Our results are based on the use of a formula expressing the spanning tree generating function in terms of the eigenvalues of an associated tree matrix. An elementary derivation of this formula is given.
Local tree-width, excluded minors, and approximation algorithms
Published
• View Publication
• BIB
The local tree-width of a graph G=(V,E) is the function ltw^G: N -> N that associates with every natural number r the maximal tree-width of an r-neighborhood in G. Our main graph theoretic result is a decomposition theorem for graphs with excluded minors that essentially says that such graphs can be decomposed into trees of graphs of bounded local tree-width.
As an application of this theorem, we show that a number of combinatorial optimization problems, such as Minimum Vertex Cover, Minimum Dominating Set, and Maximum Independent Set have a polynomial time approximation scheme when restricted to a class of graphs with an excluded minor.
Continued fractions and Catalan problems
Published
• View Publication
• BIB
We find a generating function expressed as a continued fraction that enumerates ordered trees by the number of vertices at different levels. Several Catalan problems are mapped to an ordered-tree problem and their generating functions also expressed as a continued fraction. Among these problems is the enumeration of (132)-pattern avoiding permutations that have a given number of increasing patterns of length k. This extends and illuminates a result of Robertson, Wilf and Zeilberger for the case k=3.
On $α$-Square-Stable Graphs
The stability number of a graph G, denoted by alpha(G), is the cardinality of a maximum stable set, and mu(G) is the cardinality of a maximum matching in G. If alpha(G) + mu(G) equals its order, then G is a Koenig-Egervary graph. We call G an $α$-square-stable graph, shortly square-stable, if alpha(G) = alpha(G*G), where G*G denotes the second power of G. These graphs were first investigated by Randerath and Wolkmann. In this paper we obtain several new characterizations of square-stable graphs. We also show that G is an square-stable Koenig-Egervary graph if and only if it has a perfect matching consisting of pendant edges. Moreover, we find that well-covered trees are exactly square-stable trees. To verify this result we give a new proof of one Ravindra's theorem describing well-covered trees.