tree
6733 papers tagged with this keyword
Information on Combinatorial Interpretation of Fibonomial Coefficients
Published in Bull. Soc. Sci. Lett. Lodz Ser. Rech. Deform. 53, Ser. Rech.Deform. 42 (2002) pp.39-41
• Search Publication
Fibonomial coefficients count the number of specific finite birth self-similar subposets of an infinite non-tree poset naturally related to the Fibonacci tree of rabbits growth process.
The lattice dimension of a tree
The lattice dimension of a graph G is the minimal dimension of a cubic lattice in which G can be isometrically embedded. We prove that the lattice dimension of a tree with n leaves is $\lceil n/2 \rceil$.
The First Order Definability of Graphs with Separators via the Ehrenfeucht Game
Published
• View Publication
• BIB
We say that a first order formula $Φ$ defines a graph $G$ if $Φ$ is true on $G$ and false on every graph $G'$ non-isomorphic with $G$. Let $D(G)$ be the minimal quantifier rank of a such formula. We prove that, if $G$ is a tree of bounded degree or a Hamiltonian (equivalently, 2-connected) outerplanar graph, then $D(G)=O(\log n)$, where $n$ denotes the order of $G$. This bound is optimal up to a constant factor. If $h$ is a constant, for connected graphs with no minor $K_h$ and degree $O(\sqrt n/\log n)$, we prove the bound $D(G)=O(\sqrt n)$. This result applies to planar graphs and, more generally, to graphs of bounded genus.
Succinct Definitions in the First Order Theory of Graphs
Published
• View Publication
• BIB
We say that a first order sentence A defines a graph G if A is true on G but false on any graph non-isomorphic to G. Let L(G) (resp. D(G)) denote the minimum length (resp. quantifier rank) of a such sentence. We define the succinctness function s(n) (resp. its variant q(n)) to be the minimum L(G) (resp. D(G)) over all graphs on n vertices.
We prove that s(n) and q(n) may be so small that for no general recursive function f we can have f(s(n))\ge n for all n. However, for the function q^*(n)=\max_{i\le n}q(i), which is the least monotone nondecreasing function bounding q(n) from above, we have q^*(n)=(1+o(1))\log^*n, where \log^*n equals the minimum number of iterations of the binary logarithm sufficient to lower n below 1.
We show an upper bound q(n)<\log^*n+5 even under the restriction of the class of graphs to trees. Under this restriction, for q(n) we also have a matching lower bound.
We show a relationship D(G)\ge(1-o(1))\log^*L(G) and prove, using the upper bound for q(n), that this relationship is tight.
For a non-negative integer a, let D_a(G) and q_a(n) denote the analogs of D(G) and q(n) for defining formulas in the negation normal form with at most a quantifier alternations in any sequence of nested quantifiers. We show a superrecursive gap between D_0(G) and D_3(G) and hence between D_0(G) and D(G). Despite it, for q_0(n) we still have a kind of log-star upper bound: q_0(n)\le2\log^*n+O(1) for infinitely many n.
The moduli space of n tropically collinear points in R^d
The tropical semiring (R, min, +) has enjoyed a recent renaissance, owing to its connections to mathematical biology as well as optimization and algebraic geometry. In this paper, we investigate the space of labeled n-point configurations lying on a tropical line in d-space, which is interpretable as the space of n-species phylogenetic trees. This is equivalent to the space of d by n matrices of tropical rank two, a simplicial complex. We prove that this simplicial complex is shellable for dimension d=3 and compute its homology in this case, conjecturing that this complex is shellable in general. We also investigate the space of d by n matrices of Barvinok rank two, a subcomplex directly related to optimization, giving a complete description of this subcomplex in the case d=3.
Some six-dimensional rigid forms
Published in pages 102-108 in Voronoi's Impact on Modern Science, Book 3 (H. Syta, A. Yurachivsky, P. Engel eds.; Institute of Math., Kyiv 2005 = Vol.55 of Proc. Inst. Math. Nat. Acad. Sci. Ukraine).
• Search Publication
One can always decompose Dirichlet-Voronoi polytopes of lattices non-trivially into a Minkowski sum of Dirichlet-Voronoi polytopes of rigid lattices. In this report we show how one can enumerate all rigid positive semidefinite quadratic forms (and thereby rigid lattices) of a given dimension d. By this method we found all rigid positive semidefinite quadratic forms for d = 5 confirming the list of 7 rigid lattices by Baranovskii and Grishukhin. Furthermore, we found out that for d <= 5 the adjacency graph of primitive L-type domains is an infinite tree on which GL_d(Z) acts. On the other hand, we demonstrate that in d = 6 we face a combinatorial explosion.
On trees covering chains or stars
Published
• View Publication
• BIB
In this paper, in the context of the ``Dessins d'enfants'' theory, we give a combinatorial criterion for a plane tree to cover a tree from the classes of "chains" or "stars''. Besides, we discuss some applications of this result which are related to the arithmetical theory of torsion on curves.
Toric ideals of homogeneous phylogenetic models
Published in Proceedings of the 2004 international symposium on symbolic and algebraic computation
• View Publication
• BIB
We consider the phylogenetic tree model in which every node of the tree is observed and binary and the transitions are given by the same matrix on each edge of the tree. We are able to compute the Grobner basis and Markov basis of the toric ideal of invariants for trees with up to 11 nodes. These are perhaps the first non-trivial Grobner bases calculations in 2^11 indeterminates. We conjecture that there is a quadratic Grobner basis for binary trees. Finally, we give a explicit description of the polytope associated to this toric ideal for an infinite family of binary trees and conjecture that there is a universal bound on the number of vertices of this polytope for binary trees.
The Algebra of Binary Search Trees
Published in Theoret. Computer Sci., 339 (2005), 129-165
• View Publication
• BIB
We introduce a monoid structure on the set of binary search trees, by a process very similar to the construction of the plactic monoid, the Robinson-Schensted insertion being replaced by the binary search tree insertion. This leads to a new construction of the algebra of Planar Binary Trees of Loday-Ronco, defining it in the same way as Non-Commutative Symmetric Functions and Free Symmetric Functions. We briefly explain how the main known properties of the Loday-Ronco algebra can be described and proved with this combinatorial point of view, and then discuss it from a representation theoretical point of view, which in turns leads to new combinatorial properties of binary trees.
Labelled and unlabelled enumeration of $k$-gonal 2-trees
Published in Journal of Combinatorial Theory, Series A, 106 (2004), 193-219.
• View Publication
• BIB
In this paper, we generalize 2-trees by replacing triangles by quadrilaterals, pentagons or $k$-sided polygons ($k$-gons), where $k\geq 3$ is fixed. This generalization, to $k$-gonal 2-trees, is natural and is closely related, in the planar case, to some specializations of the cell-growth problem. Our goal is the labelled and unlabelled enumeration of $k$-gonal 2-trees according to the number $n$ of $k$-gons. We give explicit formulas in the labelled case, and, in the unlabelled case, recursive and asymptotic formulas.
Bijective Proofs for "Enumerative Properties of Ferrers Graphs"
Recently, Ehrenborg and Van Willenburg defined a class of bipartite graphs that correspond naturally to Ferrers diagrams, and proved several results about them. We give bijective proofs for the (already known) expressions for the number of spanning trees and (where applicable) Hamiltonian paths of these graphs.
Their paper can be found at http://www.ms.uky.edu/~jrge/Papers/Ferrers_graphs.pdf .
Faber-Krahn Type Inequalities for Trees
The Faber-Krahn theorem states that among all bounded domains with the same volume in ${\mathbb R}^n$ (with the standard Euclidean metric), a ball that has lowest first Dirichlet eigenvalue. Recently it has been shown that a similar result holds for (semi-)regular trees. In this article we show that such a theorem also hold for other classes of (not necessarily non-regular) trees. However, for these new results no couterparts in the world of the Laplace-Beltrami-operator on manifolds are known.
Local limit of labeled trees and expected volume growth in a random quadrangulation
Published in Annals of Probability 2006, Vol. 34, No. 3, 879-917
• View Publication
• BIB
Exploiting a bijective correspondence between planar quadrangulations and well-labeled trees, we define an ensemble of infinite surfaces as a limit of uniformly distributed ensembles of quadrangulations of fixed finite volume. The limit random surface can be described in terms of a birth and death process and a sequence of multitype Galton--Watson trees. As a consequence, we find that the expected volume of the ball of radius $r$ around a marked point in the limit random surface is $Θ(r^4)$.
The minimal spanning tree and the upper box dimension
Published in Proc. Amer. Math. Soc. 134:4 (2006), 1183--1187
• View Publication
• BIB
We show that the alpha-weight of an MST over n points in a metric space with upper box dimension d has a bound independent of n if alpha is smaller than d and does not have one if alpha is larger than d.
The Bergman complex of a matroid and phylogenetic trees
Published
• View Publication
• BIB
We study the Bergman complex B(M) of a matroid M: a polyhedral complex which arises in algebraic geometry, but which we describe purely combinatorially. We prove that a natural subdivision of the Bergman complex of M is a geometric realization of the order complex of its lattice of flats. In addition, we show that the Bergman fan B'(K_n) of the graphical matroid of the complete graph K_n is homeomorphic to the space of phylogenetic trees T_n.
A combinatorial derivation of the number of labeled forests
Lajos Takacs gave a somewhat formidable alternating sum formula for the number of forests of unrooted trees on $n$ labeled vertices. Here we use a weight-reversing involution on suitable tree configurations to give a combinatorial derivation of Takacs' formula.
Reconstructing Trees from Subtree Weights
Published
• View Publication
• BIB
The tree-metric theorem provides a necessary and sufficient condition for a dissimilarity matrix to be a tree metric, and has served as the foundation for numerous distance-based reconstruction methods in phylogenetics. Our main result is an extension of the tree-metric theorem to more general dissimilarity maps. In particular, we show that a tree with n leaves is reconstructible from the weights of the m-leaf subtrees provided that n \geq 2m-1.
Combinatorics of binomial decompositions of the simplest Hodge integrals
Published in In: "Gromov-Witten theory of spin curves and orbifolds", 153-165, Contemp. Math., 403, Amer. Math. Soc., Providence, RI, 2006
• View Publication
• BIB
We reduce the calculation of the simplest Hodge integrals to some sums over decorated trees. Since Hodge integrals are already calculated, this gives a proof of a rather interesting combinatorial theorem and a new representation of Bernoulli numbers.
Dimers, Tilings and Trees
Published
• View Publication
• BIB
Generalizing results of Temperley, Brooks, Smith, Stone and Tutte and others we describe a natural equivalence between three planar objects: weighted bipartite planar graphs; planar Markov chains; and tilings with convex polygons. This equivalence provides a measure-preserving bijection between dimer coverings of a weighted bipartite planar graph and spanning trees on the corresponding Markov chain. The tilings correspond to harmonic functions on the Markov chain and to ``discrete analytic functions'' on the bipartite graph.
The equivalence is extended to infinite periodic graphs, and we classify the resulting ``almost periodic'' tilings and harmonic functions.
Combinatorial Hopf algebras and generalized Dehn-Sommerville relations
Published in Compositio Mathematica, 142, January 2006, 1--30
• View Publication
• BIB
A combinatorial Hopf algebra is a graded connected Hopf algebra over a field $F$ equipped with a character (multiplicative linear functional) $ζ:H\to F$. We show that the terminal object in the category of combinatorial Hopf algebras is the algebra $QSym$ of quasi-symmetric functions; this explains the ubiquity of quasi-symmetric functions as generating functions in combinatorics. We illustrate this with several examples. We prove that every character decomposes uniquely as a product of an even character and an odd character. Correspondingly, every combinatorial Hopf algebra $(H,ζ)$ possesses two canonical Hopf subalgebras on which the character $ζ$ is even (respectively, odd). The odd subalgebra is defined by certain canonical relations which we call the generalized Dehn-Sommerville relations. We show that, for $H=QSym$, the generalized Dehn-Sommerville relations are the Bayer-Billera relations and the odd subalgebra is the peak Hopf algebra of Stembridge. We prove that $QSym$ is the product (in the categorical sense) of its even and odd Hopf subalgebras. We also calculate the odd subalgebras of various related combinatorial Hopf algebras: the Malvenuto-Reutenauer Hopf algebra of permutations, the Loday-Ronco Hopf algebra of planar binary trees, the Hopf algebras of symmetric functions and of non-commutative symmetric functions.