arXiv++ Combinatorics

Browse math.CO papers from arXiv

tree

6861 papers tagged with this keyword
2003-01-31 v2
Free hyperplane arrangements associated to labeled rooted trees
Each labeled rooted tree is associated with a hyperplane arrangement, which is free with exponents given by the depths of the vertices of this tree. The intersection lattices of these arrangements are described through posets of forests. These posets are used to define coalgebras, whose dual algebras are shown to have a simple presentation by generators and relations.
2003-01-22
The number of trees half of whose vertices are leaves and asymptotic enumeration of plane real algebraic curves
Published • View Publication • BIB
The number of topologically different plane real algebraic curves of a given degree $d$ has the form $\exp(C d^2 + o(d^2))$. We determine the best available upper bound for the constant $C$. This bound follows from Arnold inequalities on the number of empty ovals. To evaluate its rate we show its equivalence with the rate of growth of the number of trees half of whose vertices are leaves and evaluate the latter rate.
2003-01-22
Sets with two associative operation
Published • View Publication • BIB
In this paper we consider dimonoids, which are sets equipped with two associative binary operations. Dimonoids in the sense of J.-L. Loday are xamples of duplexes. The set of all permutations, gives an example of a duplex which is not a dimonoid. We construct a free duplex generated by a given set via planar trees and then we prove that the set of all permutations form a free duplex on an explicitly described set of generators. We also consider duplexes coming from planar binary trees and vertices of the cubes. We prove that these duplexes are free with one generator in appropriate variety of duplexes.
2003-01-20
Binary trees and fibred categories
We develop a purely set-theoretic formalism for binary trees and binary graphs. We define a category of binary automata, and display it as a fibred category over the category of binary graphs. We also relate the notion of binary graphs to transition systems, which arise in the theory of concurrent computing.
2003-01-11 v3
Trees, parking functions, syzygies, and deformations of monomial ideals
Published • View Publication • BIB
For a graph G, we construct two algebras, whose dimensions are both equal to the number of spanning trees of G. One of these algebras is the quotient of the polynomial ring modulo certain monomial ideal, while the other is the quotient of the polynomial ring modulo certain powers of linear forms. We describe the set of monomials that forms a linear basis in each of these two algebras. The basis elements correspond to G-parking functions that naturally came up in the abelian sandpile model. These ideals are instances of the general class of monotone monomial ideals and their deformations. We show that the Hilbert series of a monotone monomial ideal is always bounded by the Hilbert series of its deformation. Then we define an even more general class of monomial ideals associated with posets and construct free resolutions for these ideals. In some cases these resolutions coincide with Scarf resolutions. We prove several formulas for Hilbert series of monotone monomial ideals and investigate when they are equal to Hilbert series of deformations. In the appendix we discuss the sandpile model.
2002-12-11 v3
Fermionic expressions for minimal model Virasoro characters
Published in Mem.Am.Math.Soc.175N827:1-160,2005 • View Publication • BIB
Fermionic expressions for all minimal model Virasoro characters $χ^{p, p'}_{r, s}$ are stated and proved. Each such expression is a sum of terms of fundamental fermionic form type. In most cases, all these terms are written down using certain trees which are constructed for $s$ and $r$ from the Takahashi lengths and truncated Takahashi lengths associated with the continued fraction of $p'/p$. In the remaining cases, in addition to such terms, the fermionic expression for $χ^{p, p'}_{r, s}$ contains a different character $χ^{\hat p, \hat p'}_{\hat r,\hat s}$, and is thus recursive in nature. Bosonic-fermionic $q$-series identities for all characters $χ^{p, p'}_{r, s}$ result from equating these fermionic expressions with known bosonic expressions. In the cases for which $p=2r$, $p=3r$, $p'=2s$ or $p'=3s$, Rogers-Ramanujan type identities result from equating these fermionic expressions with known product expressions for $χ^{p, p'}_{r, s}$. The fermionic expressions are proved by first obtaining fermionic expressions for the generating functions $χ^{p, p'}_{a, b, c}(L)$ of length $L$ Forrester-Baxter paths, using various combinatorial transforms. In the $L\to\infty$ limit, the fermionic expressions for $χ^{p, p'}_{r, s}$ emerge after mapping between the trees that are constructed for $b$ and $r$ from the Takahashi and truncated Takahashi lengths respectively.
2002-12-11 v7
Asymptotic Enumeration of Spanning Trees
Published in Combin. Probab. Comput. 14 (2005), 491-522. • View Publication • BIB
We give new general formulas for the asymptotics of the number of spanning trees of a large graph. A special case answers a question of McKay (1983) for regular graphs. The general answer involves a quantity for infinite graphs that we call "tree entropy", which we show is a logarithm of a normalized determinant of the graph Laplacian for infinite graphs. Tree entropy is also expressed using random walks. We relate tree entropy to the metric entropy of the uniform spanning forest process on quasi-transitive amenable graphs, extending a result of Burton and Pemantle (1993).
2002-11-08
Combinatorics of Hard Particles on Planar Graphs
Published in Nucl.Phys. B655 (2003) 313-341 • View Publication • BIB
We revisit the problem of hard particles on planar random tetravalent graphs in view of recent combinatorial techniques relating planar diagrams to decorated trees. We show how to recover the two-matrix model solution to this problem in this purely combinatorial language.
2002-11-05 v3
A Family of Invariants of Rooted Forests
Published in J. Pure Appl. Algebra, 186 (2004), no. 3, 311--327. • View Publication • BIB
Let $A$ be a commutative $k$-algebra over a field of $k$ and $Ξ$ a linear operator defined on $A$. We define a family of $A$-valued invariants $Ψ$ for finite rooted forests by a recurrent algorithm using the operator $Ξ$ and show that the invariant $Ψ$ distinguishes rooted forests if (and only if) it distinguishes rooted trees $T$, and if (and only if) it is {\it finer} than the quantity $α(T)=|\text{Aut}(T)|$ of rooted trees $T$. We also consider the generating function $U(q)=\sum_{n=1}^\infty U_n q^n$ with $U_n =\sum_{T\in \bT_n} \frac 1{α(T)} Ψ(T)$, where $\bT_n$ is the set of rooted trees with $n$ vertices. We show that the generating function $U(q)$ satisfies the equation $Ξ\exp U(q)= q^{-1} U(q)$. Consequently, we get a recurrent formula for $U_n$ $(n\geq 1)$, namely, $U_1=Ξ(1)$ and $U_n =ΞS_{n-1}(U_1, U_2, >..., U_{n-1})$ for any $n\geq 2$, where $S_n(x_1, x_2, ...)$ $(n\in \bN)$ are the elementary Schur polynomials. We also show that the (strict) order polynomials and two well known quasi-symmetric function invariants of rooted forests are in the family of invariants $Ψ$ and derive some consequences about these well-known invariants from our general results on $Ψ$. Finally, we generalize the invariant $Ψ$ to labeled planar forests and discuss its certain relations with the Hopf algebra $\mathcal H_{P, R}^D$ in \cite{F} spanned by labeled planar forests.
2002-11-04 v2
The degree distribution in bipartite planar maps: applications to the Ising model
We characterize the generating function of bipartite planar maps counted according to the degree distribution of their black and white vertices. This result is applied to the solution of the hard particle and Ising models on random planar lattices. We thus recover and extend some results previously obtained by means of matrix integrals. Proofs are purely combinatorial and rely on the idea that planar maps are conjugacy classes of trees. In particular, these trees explain why the solutions of the Ising and hard particle models on maps of bounded degree are always algebraic.
2002-11-03
On Unimodality of Independence Polynomials of some Well-Covered Trees
Published • View Publication • BIB
The number of stable sets of cardinality $k$ in graph $G$ is the $k$-th coefficient of the independence polynomial of $G$ (I. Gutman and F. Harary, 1983). In 1990, Y. O. Hamidoune proved that for any claw-free graph, its independence polynomial is unimodal, i.e., there exists a coefficient $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the second part of coefficients is non-increasing. Y. Alavi, P. J. Malde, A. J. Schwenk and P. Erdös (1987) asked whether for trees (or perhaps forests) the independence polynomial is unimodal. J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that it is true for any well-covered graph (a graph whose all maximal independent sets have the same size). V. E. Levit and E. Mandrescu (1999) demonstrated that every well-covered tree can be obtained as a join of a number of well-covered spiders, where a spider is a tree having at most one vertex of degree at least three. In this paper we show that the independence polynomial of any well-covered spider is unimodal. In addition, we introduce some graph transformations respecting independence polynomials. They allow us to reduce several types of well-covered trees to claw-free graphs, and, consequently, to prove that their independence polynomials are unimodal.
2002-10-30
On intervals in some posets of forests
Published in Journal of Combinatorial Theory, Series A 102 (2003) 367-382 • View Publication • BIB
A nice factorization is given for the characteristic polynomials of intervals in some posets of leaf-labeled forests of rooted binary trees.
2002-10-22
Families of trees decompose the random graph in any arbitrary way
Published • View Publication • BIB
Let $F=\{H_1,...,H_k\}$ be a family of graphs. A graph $G$ with $m$ edges is called {\em totally $F$-decomposable} if for {\em every} linear combination of the form $α_1 e(H_1) + ... + α_k e(H_k) = m$ where each $α_i$ is a nonnegative integer, there is a coloring of the edges of $G$ with $α_1+...+α_k$ colors such that exactly $α_i$ color classes induce each a copy of $H_i$, for $i=1,...,k$. We prove that if $F$ is any fixed family of trees then $\log n/n$ is a sharp threshold function for the property that the random graph $G(n,p)$ is totally $F$-decomposable. In particular, if $H$ is a tree, then $\log n/n$ is a sharp threshold function for the property that $G(n,p)$ contains $\lfloor e(G)/e(H) \rfloor$ edge-disjoint copies of $H$.
2002-10-07
The facet ideal of a simplicial complex
Published • View Publication • BIB
To a simplicial complex, we associate a square-free monomial ideal in the polynomial ring generated by its vertex set over a field. We study algebraic properties of this ideal via combinatorial properties of the simplicial complex. By generalizing the notion of a tree from graphs to simplicial complexes, we show that ideals associated to trees satisfy sliding depth condition, and therefore have normal and Cohen-Macaulay Rees rings. We also discuss connections with the theory of Stanley-Reisner rings.
2002-10-03
Directed trees in a string, real polynomials with triple roots, and chain mails
Published in Discrete Comput. Geom. 32 (2004), no. 3, 373--382. • View Publication • BIB
This paper starts with an observation that two infinite series of simplicial complexes, which a priori do not seem to have anything to do with each other, have the same homotopy type. One series consists of the complexes of directed forests on a double directed string, while the other one consists of Shapiro-Welker models for the spaces of hyperbolic polynomials with a triple root. We explain this coincidence in the more general context by finding an explicit homotopy equivalence between complexes of directed forests on a double directed tree, and doubly disconnecting complexes of a tree.
2002-09-20
D-log and formal flow for analytic isomorphisms of n-space
Published in Trans. Amer. Math. Soc. 355 (2003), No. 8, 3117-3141. • View Publication • BIB
Given a formal map $F=(F_1...,F_n)$ of the form $z+\text{higher}$ order terms, we give tree expansion formulas and associated algorithms for the D-Log of F and the formal flow F_t. The coefficients which appear in these formulas can be viewed as certain generalizations of the Bernoulli numbers and the Bernoulli polynomials. Moreover the coefficient polynomials in the formal flow formula coincide with the strict order polynomials in combinatorics for the partially ordered sets induced by trees. Applications of these formulas to the Jacobian Conjecture are discussed.
2002-09-04
A Hopf operad of forests of binary trees and related finite-dimensional algebras
Published • View Publication • BIB
The theme of this article is the algebraic combinatorics of leaf-labeled rooted binary trees and forests of such trees. The structure of a Hopf operad is defined on the vector spaces spanned by forests of leaf-labeled, rooted, binary trees. An explicit formula for the coproduct and its dual product is given, using a poset on forests.
2002-09-01 v9
Lattice structure for orientations of graphs
Published • View Publication • BIB
In 1986, Oliver Pretzel studied the set of orientations of a connected finite graph $G$ and showed that any two such orientations having the same flow-difference around all closed loops can be obtained from one another by a succession of local moves of a simple type. Here I show that the set of orientations of $G$ having the same flow-differences around all closed loops can be given the structure of a distributive lattice. When the graph is drawn on the plane, a dual version of the construction puts a distributive lattice structure on the set of orientations of $G$ having the same indegrees at all vertices. In both settings, adjacent lattice-elements are related by simple local moves. This construction unifies earlier, similar constructions in combinatorics and statistical mechanics. It also gives rise to an interesting lattice structure on spanning trees. This article is an updated version of a preprint originally distributed in 1993.
2002-07-29
Census of Planar Maps: From the One-Matrix Model Solution to a Combinatorial Proof
Published in Nucl.Phys. B645 (2002) 477-499 • View Publication • BIB
We consider the problem of enumeration of planar maps and revisit its one-matrix model solution in the light of recent combinatorial techniques involving conjugated trees. We adapt and generalize these techniques so as to give an alternative and purely combinatorial solution to the problem of counting arbitrary planar maps with prescribed vertex degrees.
2002-07-20
On Cayley's Enumeration of Alkanes (or 4-Valent Trees)
Published in J. Integer Sequences, 2 (1999), #99.1.1 • Search Publication
Cayley's 1875 enumerations of centered and bicentered alkanes (unlabeled trees of valency at most 4) are corrected and extended -- possibly for the first time in 124 years.