tree
6737 papers tagged with this keyword
Planar trees, free nonassociative algebras, invariants, and elliptic integrals
Published in Algebra Discrete Math. 2008, no. 2, 1-41
• Search Publication
We consider absolutely free nonassociative algebras and, more generally, absolutely free algebras with (maybe infinitely) many multilinear operations. Such algebras are described in terms of labeled reduced planar rooted trees. This allows to apply combinatorial techniques to study their Hilbert series and the asymptotics of their coefficients. These algebras satisfy the Nielsen-Schreier property and their subalgebras are also free. Then, over a field of characteristic 0, we investigate the subalgebras of invariants under the action of a linear group, their sets of free generators and their Hilbert series. It has turned out that, except in the trivial cases, the algebra of invariants is never finitely generated. In important partial cases the Hilbert series of the algebras of invariants and the generating functions of their sets of free generators are expressed in terms of elliptic integrals.
Combinatorial Aspects of Elliptic Curves II: Relationship between Elliptic Curves and Chip-Firing Games on Graphs
Let q be a power of a prime and E be an elliptic curve defined over F_q. In "Combinatorial aspects of elliptic curves" [17], the present author examined a sequence of polynomials which express the N_k's, the number of points on E over the field extensions F_{q^k}, in terms of the parameters q and N_1 = #E(F_q). These polynomials have integral coefficients which alternate in sign, and a combinatorial interpretation in terms of spanning trees of wheel graphs. In this sequel, we explore further ramifications of this connection. In particular, we highlight a relationship between elliptic curves and chip-firing games on graphs by comparing the groups structures of both. As a coda, we construct a cyclic rational language whose zeta function is dual to that of an elliptic curve.
Graphs on Surfaces and the Partition Function of String Theory
Graphs on surfaces is an active topic of pure mathematics belonging to graph theory. It has also been applied to physics and relates discrete and continuous mathematics. In this paper we present a formal mathematical description of the relation between graph theory and the mathematical physics of discrete string theory. In this description we present problems of the combinatorial world of real importance for graph theorists. The mathematical details of the paper are as follows: There is a combinatorial description of the partition function of bosonic string theory. In this combinatorial description the string world sheet is thought as simplicial and it is considered as a combinatorial graph. It can also be said that we have embeddings of graphs in closed surfaces. The discrete partition function which results from this procedure gives a sum over triangulations of closed surfaces. This is known as the vacuum partition function. The precise calculation of the partition function depends on combinatorial calculations involving counting all non-isomorphic triangulations and all spanning trees of a graph. The exact computation of the partition function turns out to be very complicated, however we show the exact expressions for its computation for the case of any closed orientable surface. We present a clear computation for the sphere and the way it is done for the torus, and for the non-orientable case of the projective plane.
An operational calculus for the Mould operad
Published
• View Publication
• BIB
The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture of the first author about the inverse image of non-crossing trees in the dendriform operad. Finally, we explain a connection with the formalism of noncommutative symmetric functions.
On Cobweb posets tiling problem
Published in Adv. Stud. Contemp. Math. volume 16 (2), 2008 (April) pp. 219-233
• Search Publication
Kwasniewski's cobweb posets uniquely represented by directed acyclic graphs are such a generalization of the Fibonacci tree that allows joint combinatorial interpretation for all of them under admissibility condition. This interpretation was derived in the source papers and it entailes natural enquieres already formulated therein. In our note we response to one of those problems. This is a tiling problem. Our observations on tiling problem include proofs of tiling's existence for some cobweb-admissible sequences. We show also that not all cobwebs admit tiling as defined below.
The extremal values of the Wiener index of a tree with given degree sequence
Published
• View Publication
• BIB
The Wiener index of a graph is the sum of the distances between all pairs of vertices, it has been one of the main descriptors that correlate achemical compound's molecular graph with experimentally gathered data regarding the compound's characteristics. The tree that minimizes the Wiener index among trees of given maximal degree was studied. We characterize trees that achieve the maximum and minimum Wiener index, given the number of vertices and the degree sequence.
Phylogenetic networks form partial trees
A contemporary and fundamental problem faced by many evolutionary biologists is how to puzzle together a collection $\mathcal P$ of partial trees (leaf-labelled trees whose leaves are bijectively labelled by species or, more generally, taxa, each supported by e. g. a gene) into an overall parental structure that displays all trees in $\mathcal P$. This already difficult problem is complicated by the fact that the trees in $\mathcal P$ regularly support conflicting phylogenetic relationships and are not on the same but only overlapping taxa sets. A desirable requirement on the sought after parental structure therefore is that it can accommodate the observed conflicts. Phylogenetic networks are a popular tool capable of doing precisely this. However, not much is known about how to construct such networks from partial trees, a notable exception being the $Z$-closure super-network approach and the recently introduced $Q$-imputation approach. Here, we propose the usage of closure rules to obtain such a network. In particular, we introduce the novel $Y$-closure rule and show that this rule on its own or in combination with one of Meacham's closure rules (which we call the $M$-rule) has some very desirable theoretical properties. In addition, we use the $M$- and $Y$-rule to explore the dependency of Rivera et al.'s ``ring of life'' on the fact that the underpinning phylogenetic trees are all on the same data set. Our analysis culminates in the presentation of a collection of induced subtrees from which this ring can be reconstructed.
Generalized Cauchy identities, trees and multidimensional Brownian motions. Part II: Combinatorial differential calculus
We present an analogue of the differential calculus in which the role of polynomials is played by certain ordered sets and trees. Our combinatorial calculus has all nice features of the usual calculus and has an advantage that the elements of the considered ordered sets might carry some additional information. In this way an analytic proof of generalized Cauchy identities from the previous work of the second author can be directly reformulated in our new language of the combinatorial calculus; furthermore the additional information carried by vertices determines uniquely the bijections presented in Part I of this series.
An approximate version of the Loebl-Komlos-Sos conjecture
Published
• View Publication
• BIB
Loebl, Komlos, and Sos conjectured that if at least half of the vertices of a graph G have degree at least some natural number k, then every tree with at most k edges is a subgraph of G. Our main result is an approximate version of this conjecture for large enough n=|V(G)|, assumed that n=O(k). Our result implies an asymptotic bound for the Ramsey number of trees. We prove that r(T_k,T_m)\leq k+m+o(k+m),as k+m tends to infinity.
Cohen-Macaulay, Shellable and unmixed clutters with a perfect matching of König type
Published in J. Pure Appl. Algebra 212(7) (2008), 1770-1786
• View Publication
• BIB
Let $\mathcal{C}$ be a clutter with a perfect matching $e_1,...,e_g$ of König type and let $Δ_\mathcal{C}$ be the Stanley-Reisner complex of the edge ideal of $\mathcal{C}$. If all c-minors of $\mathcal{C}$ have a free vertex and $\mathcal{C}$ is unmixed, we show that $Δ_\mathcal{C}$ is pure shellable. We are able to describe, in combinatorial and algebraic terms, when $Δ_\mathcal{C}$ is pure. If $\mathcal{C}$ has no cycles of length 3 or 4, then it is shown that $Δ_\mathcal{C}$ is pure if and only if $Δ_\mathcal{C}$ is pure shellable (in this case $e_i$ has a free vertex for all $i$), and that $Δ_\mathcal{C}$ is pure if and only if for any two edges $f_1,f_2$ of $\mathcal{C}$ and for any $e_i$, one has that $f_1\cap e_i\subset f_2\cap e_i$ or $f_2\cap e_i\subset f_1\cap e_i$. It is also shown that this ordering condition implies that $Δ_\mathcal{C}$ is pure shellable, without any assumption on the cycles of $\mathcal{C}$. Then we prove that complete admissible uniform clutters and their Alexander duals are unmixed. In addition, the edge ideals of complete admissible uniform clutters are facet ideals of shellable simplicial complexes, they are Cohen-Macaulay, and they have linear resolutions. Furthermore if $ \mathcal{C}$ is admissible and complete, then $\mathcal{C}$ is unmixed. We characterize certain conditions that occur in a Cohen-Macaulay criterion for bipartite graphs of Herzog and Hibi, and extend some results of Faridi--on the structure of unmixed simplicial trees--to clutters with the König property without 3-cycles or 4-cycles.
Generating trees for permutations avoiding generalized patterns
Published
• View Publication
• BIB
We construct generating trees with one, two, and three labels for some classes of permutations avoiding generalized patterns of length 3 and 4. These trees are built by adding at each level an entry to the right end of the permutation, which allows us to incorporate the adjacency condition about some entries in an occurrence of a generalized pattern. We use these trees to find functional equations for the generating functions enumerating these classes of permutations with respect to different parameters. In several cases we solve them using the kernel method and some ideas of Bousquet-Mélou. We obtain refinements of known enumerative results and find new ones.
A combinatorial basis for the free Lie algebra of the labelled rooted trees
Published in J.of Lie Theory {\bf 20} (2010), 3--15
• Search Publication
The pre-Lie operad can be realized as a space T of labelled rooted trees. A result of F. Chapoton shows that the pre-Lie operad is a free twisted Lie algebra. That is, the S-module T is obtained as the plethysm of the S-module Lie with an S-module F. In the context of species, we construct an explicit basis of F. This allows us to give a new proof of Chapoton's results. Moreover it permits us to show that F forms a sub nonsymmetric operad of the pre-Lie operad T.
Relating two Hopf algebras built from an operad
Published in International Mathematics Research Notices 2007 (2007) rnm131, 27 pages
• View Publication
• BIB
Starting from an operad, one can build a family of posets. From this family of posets, one can define an incidence Hopf algebra. By another construction, one can also build a group directly from the operad. We then consider its Hopf algebra of functions. We prove that there exists a surjective morphism from the latter Hopf algebra to the former one. This is illustrated by the case of an operad built on rooted trees, the $\NAP$ operad, where the incidence Hopf algebra is identified with the Connes-Kreimer Hopf algebra of rooted trees.
Combinatorial Aspects of Elliptic Curves
Published in Seminaire Lotharingien de Combinatoire, vol. 56 (2007) Art. B56f
• Search Publication
Given an elliptic curve C, we study here $N_k = #C(F_{q^k})$, the number of points of C over the finite field F_{q^k}. This sequence of numbers, as k runs over positive integers, has numerous remarkable properties of a combinatorial flavor in addition to the usual number theoretical interpretations. In particular we prove that $N_k = - W_k(q, - N_1)$ where W_k(q,t) is a (q,t)-analogue of the number of spanning trees of the wheel graph. Additionally we develop a determinantal formula for N_k where the eigenvalues can be explicitly written in terms of q, N_1, and roots of unity. We also discuss here a new sequence of bivariate polynomials related to the factorization of N_k, which we refer to as elliptic cyclotomic polynomials because of their various properties.
Spanning Trees with Many Leaves in Graphs without Diamonds and Blossoms
Published
• View Publication
• BIB
It is known that graphs on n vertices with minimum degree at least 3 have spanning trees with at least n/4+2 leaves and that this can be improved to (n+4)/3 for cubic graphs without the diamond K_4-e as a subgraph. We generalize the second result by proving that every graph with minimum degree at least 3, without diamonds and certain subgraphs called blossoms, has a spanning tree with at least (n+4)/3 leaves, and generalize this further by allowing vertices of lower degree. We show that it is necessary to exclude blossoms in order to obtain a bound of the form n/3+c.
We use the new bound to obtain a simple FPT algorithm, which decides in O(m)+O^*(6.75^k) time whether a graph of size m has a spanning tree with at least k leaves. This improves the best known time complexity for MAX LEAF SPANNING TREE.
Negative dependence and the geometry of polynomials
Published in J. Amer. Math. Soc. 22 (2009), 521-567.
• View Publication
• BIB
We introduce the class of {\em strongly Rayleigh} probability measures by means of geometric properties of their generating polynomials that amount to the stability of the latter. This class covers important models such as determinantal measures (e.g. product measures, uniform random spanning tree measures) and distributions for symmetric exclusion processes. We show that strongly Rayleigh measures enjoy all virtues of negative dependence and we also prove a series of conjectures due to Liggett, Pemantle, and Wagner, respectively. Moreover, we extend Lyons' recent results on determinantal measures and we construct counterexamples to several conjectures of Pemantle and Wagner on negative dependence and ultra log-concave rank sequences.
Nearly optimal embeddings of trees
In this paper we show how to find nearly optimal embeddings of large trees in several natural classes of graphs. The size of the tree T can be as large as a constant fraction of the size of the graph G, and the maximum degree of T can be close to the minimum degree of G. For example, we prove that any graph of minimum degree d without 4-cycles contains every tree of size εd^2 and maximum degree at most (1-2ε)d - 2. As there exist d-regular graphs without 4-cycles of size O(d^2), this result is optimal up to constant factors. We prove similar nearly tight results for graphs of given girth, graphs with no complete bipartite subgraph K_{s,t}, random and certain pseudorandom graphs. These results are obtained using a simple and very natural randomized embedding algorithm, which can be viewed as a "self-avoiding tree-indexed random walk".
Harmonic morphisms and hyperelliptic graphs
Published
• View Publication
• BIB
We study harmonic morphisms of graphs as a natural discrete analogue of holomorphic maps between Riemann surfaces. We formulate a graph-theoretic analogue of the classical Riemann-Hurwitz formula, study the functorial maps on Jacobians and harmonic 1-forms induced by a harmonic morphism, and present a discrete analogue of the canonical map from a Riemann surface to projective space. We also discuss several equivalent formulations of the notion of a hyperelliptic graph, all motivated by the classical theory of Riemann surfaces. As an application of our results, we show that for a 2-edge-connected graph G which is not a cycle, there is at most one involution $ι$ on G for which the quotient $G/ι$ is a tree. We also show that the number of spanning trees in a graph G is even if and only if G admits a non-constant harmonic morphism to the graph B_2 consisting of 2 vertices connected by 2 edges. Finally, we use the Riemann-Hurwitz formula and our results on hyperelliptic graphs to classify all hyperelliptic graphs having no Weierstrass points.
Non-abelian free groups admit non-essentially free actions on rooted trees
We show that every countable non-abelian free group $Γ$ admits a spherically transitive action on a rooted tree $T$ such that the action of $Γ$ on the boundary of $T$ is not essentially free. This reproves a result of Bergeron and Gaboriau.
The existence of such an action answers a question of Grigorchuk, Nekrashevich and Sushchanskii.
Star-uniform Graphs
Published
• View Publication
• BIB
A {\it star-factor} of a graph $G$ is a spanning subgraph of $G$ such that each of its component is a star. Clearly, every graph without isolated vertices has a star factor. A graph $G$ is called {\it star-uniform} if all star-factors of $G$ have the same number of components. To characterize star-uniform graphs was an open problem posed by Hartnell and Rall, which is motivated by the minimum cost spanning tree and the optimal assignment problems. We use the concepts of factor-criticality and domination number to characterize all star-uniform graphs with the minimum degree at least two. Our proof is heavily relied on Gallai-Edmonds Matching Structure Theorem.