tree
6861 papers tagged with this keyword
Counting the spanning trees of a directed line graph
The line graph LG of a directed graph G has a vertex for every edge of G and an edge for every path of length 2 in G. In 1967, Knuth used the Matrix-Tree Theorem to prove a formula for the number of spanning trees of LG, and he asked for a bijective proof. In this paper, we give a bijective proof of a generating function identity due to Levine which generalizes Knuth's formula. As a result of this proof we find a bijection between binary de Bruijn sequences of degree n and binary sequences of length 2^{n-1}. Finally, we determine the critical groups of all the Kautz graphs and de Bruijn graphs, generalizing a result of Levine.
Lack of Sphere Packing of Graphs via Non-Linear Potential Theory
Published
• View Publication
• BIB
It is shown that there is no quasi-sphere packing of the lattice grid Z^{d+1} or a co-compact hyperbolic lattice of H^{d+1} or the 3-regular tree \times Z, in R^d, for all d. A similar result is proved for some other graphs too. Rather than using a direct geometrical approach, the main tools we are using are from non-linear potential theory.
Which Digraphs with Ring Structure are Essentially Cyclic?
Published in Advances in Applied Mathematics 45 (2010), pp. 232-251
• View Publication
• BIB
We say that a digraph is essentially cyclic if its Laplacian spectrum is not completely real. The essential cyclicity implies the presence of directed cycles, but not vice versa. The problem of characterizing essential cyclicity in terms of graph topology is difficult and yet unsolved. Its solution is important for some applications of graph theory, including that in decentralized control. In the present paper, this problem is solved with respect to the class of digraphs with ring structure, which models some typical communication networks. It is shown that the digraphs in this class are essentially cyclic, except for certain specified digraphs. The main technical tool we employ is the Chebyshev polynomials of the second kind. A by-product of this study is a theorem on the zeros of polynomials that differ by one from the products of Chebyshev polynomials of the second kind. We also consider the problem of essential cyclicity for weighted digraphs and enumerate the spanning trees in some digraphs with ring structure.
A note on $k$-cordial $p$-uniform hypertrees
Hovey introduced a $k$-cordial labeling of graphs as a generalization both of harmonious and cordial labelings. He proved that all tress are $k$-cordial for $k \in \{1,...,5\}$ and he conjectured that all trees are $k$-cordial for all $k$. \indent We consider a corresponding problem for hypergraphs, namely, we show that $p$-uniform hypertrees are $k$-cordial for certain values of $k$.
Constructing Numerical Semigroups of a Given Genus
Published in Semigroup Forum 80 (2010), 242-254
• View Publication
• BIB
Let n_g denote the number of numerical semigroups of genus g. Bras-Amoros conjectured that n_g possesses certain Fibonacci-like properties. Almost all previous attempts at proving this conjecture were based on analyzing the semigroup tree. We offer a new, simpler approach to counting numerical semigroups of a given genus. Our method gives direct constructions of families of numerical semigroups, without referring to the generators or the semigroup tree. In particular, we give an improved asymptotic lower bound for n_g.
Note on the 4- and 5-leaf powers
Motivated by the problem of reconstructing evolutionary history, Nishimura et al. defined $k$-leaf powers as the class of graphs $G=(V,E)$ which has a $k$-leaf root $T$, i.e., $T$ is a tree such that the vertices of $G$ are exactly the leaves of $T$ and two vertices in $V$ are adjacent in $G$ if and only if their distance in $T$ is at most $k$. It is known that leaf powers are chordal graphs. Brandstädt and Le proved that every $k$-leaf power is a $(k+2)$-leaf power and every 3-leaf power is a $k$-leaf power for $k\geq 3$. They asked whether a $k$-leaf power is also a $(k+1)$-leaf power for any $k\geq 4$. Fellows et al. gave an example of a 4-leaf power which is not a 5-leaf power. It is interesting to find all the graphs which have both 4-leaf roots and 5-leaf roots. In this paper, we prove that, if $G$ is a 4-leaf power with $L(G)\neq \emptyset$, then $G$ is also a 5-leaf power, where $L(G)$ denotes the set of leaves of $G$.
Minimum congestion spanning trees in planar graphs
Published in Discrete Mathematics, 310 (2010), no. 6-7, 1204-1209
• View Publication
• BIB
The main purpose of the paper is to develop an approach to evaluation or estimation of the spanning tree congestion of planar graphs. This approach is used to evaluate the spanning tree congestion of triangular grids.
Colored trees and noncommutative symmetric functions
Published
• View Publication
• BIB
Let $\CRF_S$ denote the category of $S$-colored rooted forests, and $\H_{\CRF_S}$ denote its Ringel-Hall algebra as introduced in \cite{KS}. We construct a homomorphism from a $K^+_0 (\CRF_S)$--graded version of the Hopf algebra of noncommutative symmetric functions to $\H_{\CRF_S}$. Dualizing, we obtain a homomorphism from the Connes-Kreimer Hopf algebra to a $K^+_0 (\CRF_S)$--graded version of the algebra of quasisymmetric functions. This homomorphism is a refinement of one considered by W. Zhao in \cite{Z}.
SPDE Approximation for Random Trees
We consider the genealogy tree for a critical branching process conditioned on non-extinction. We enumerate vertices in each generation of the tree so that for each two generations one can define a monotone map describing the ancestor--descendant relation between their vertices. We show that under appropriate rescaling this family of monotone maps converges in distribution in a special topology to a limiting flow of discontinuous monotone maps which can be seen as a continuum tree. This flow is a solution of an SPDE with respect to a Brownian sheet.
Relative Tutte Polynomials for Colored Graphs and Virtual Knot Theory
Published
• View Publication
• BIB
We introduce the concept of a relative Tutte polynomial of colored graphs. We show that this relative Tutte polynomial can be computed in a way similar to the classical spanning tree expansion used by Tutte in his original paper on this subject. We then apply the relative Tutte polynomial to virtual knot theory. More specifically, we show that the Kauffman bracket polynomial (hence the Jones polynomial) of a virtual knot can be computed from the relative Tutte polynomial of its face (Tait) graph with some suitable variable substitutions. Our method offers an alternative to the ribbon graph approach, using the face graph obtained from the virtual link diagram directly.
A Tree Sperner Lemma
Published
• View Publication
• BIB
In this paper we prove a combinatorial theorem for finite labellings of trees, and show that it is equivalent to a theorem for finite covers of metric trees and a fixed point theorem on metric trees. We trace how these connections mimic the equivalence of the Brouwer fixed point theorem with the classical KKM lemma and Sperner's lemma. We also draw connections to a KKM-type theorem about infinite covers of metric trees and fixed point theorems for non-compact metric trees. Finally, we develop a new KKM-type theorem for cycles, and discuss interesting social consequences, including an application in voting theory.
Dissimilarity vectors of trees are contained in the tropical Grassmannian
Published
• View Publication
• BIB
In this short writing we prove that the set of m-dissimilarity vectors of n-trees is contained in the (m,n)-tropical Grassmannian, answering a question of Pachter and Speyer. We do this by proving a generalization of an equivalent conjecture proposed by Cools.
Analysis of misere Sprouts game with reduced canonical trees
Sprouts is a two-player topological game, invented in 1967 by Michael Paterson and John Conway. The game starts with p spots, lasts at most 3p-1 moves, and the player who makes the last move wins. In the misere version of Sprouts, on the contrary, the player who makes the last move loses. Sprouts is a very intricate game, and the first computer analysis in 1991 reached only p=11. New results were made possible in 2007 up to p=32 by using combinatorial game theory: when a position is a sum of independant games, it is possible to replace some of these games by a natural number, called the nimber, without changing the winning or losing outcome of the complete position. However, this reduction does not apply to the misere version, making the analysis of Sprouts (and more generally of any game) more difficult in the misere version. In 1991, only p=9 was reached in misere Sprouts, and we describe in this paper how we obtained up to p=17. First, we describe a theoretical tool, the reduced canonical tree, which plays a role similar to the nimber in the normal version. Then, we describe the way we have implemented it in our program, and detail the results it allowed us to obtain on misere Sprouts.
The structure of alternative tableaux
Published
• View Publication
• BIB
In this paper we study alternative tableaux introduced by Viennot. These tableaux are in simple bijection with permutation tableaux, defined previously by Postnikov . We exhibit a simple recursive structure for alternative tableaux. From this decomposition, we can easily deduce a number of enumerative results. We also give bijections between these tableaux and certain classes of labeled trees. Finally, we exhibit a bijection with permutations, and relate it to some other bijections that already appeared in the literature.
New Hopf Structures on Binary Trees (Extended Abstract)
Published
• View Publication
• BIB
The multiplihedra {M_n} form a family of polytopes originating in the study of higher categories and homotopy theory. While the multiplihedra may be unfamiliar to the algebraic combinatorics community, it is nestled between two families of polytopes that certainly are not: the permutahedra {S_n} and associahedra {Y_n}. The maps between these families reveal several new Hopf structures on tree-like objects nestled between the Malvenuto-Reutenauer (MR) Hopf algebra of permutations and the Loday-Ronco (LR) Hopf algebra of planar binary trees. We begin their study here, constructing a module over MR and a Hopf module over LR from the multiplihedra. Rich structural information about this module is uncovered via a change of basis--using Möbius inversion in posets built on the 1-skeleta of the {M_n}. Our analysis uses the notion of an interval retract, which should have independent interest in poset combinatorics. It also reveals new families of polytopes, and even a new factorization of a known projection from the associahedra to hypercubes.
Critical random graphs: limiting constructions and distributional properties
Published
• View Publication
• BIB
We consider the Erdos-Renyi random graph G(n,p) inside the critical window, where p = 1/n + lambda * n^{-4/3} for some lambda in R. We proved in a previous paper (arXiv:0903.4730) that considering the connected components of G(n,p) as a sequence of metric spaces with the graph distance rescaled by n^{-1/3} and letting n go to infinity yields a non-trivial sequence of limit metric spaces C = (C_1, C_2, ...). These limit metric spaces can be constructed from certain random real trees with vertex-identifications. For a single such metric space, we give here two equivalent constructions, both of which are in terms of more standard probabilistic objects. The first is a global construction using Dirichlet random variables and Aldous' Brownian continuum random tree. The second is a recursive construction from an inhomogeneous Poisson point process on R_+. These constructions allow us to characterize the distributions of the masses and lengths in the constituent parts of a limit component when it is decomposed according to its cycle structure. In particular, this strengthens results of Luczak, Pittel and Wierman by providing precise distributional convergence for the lengths of paths between kernel vertices and the length of a shortest cycle, within any fixed limit component.
A characterization of the edge-shelling convex geometries of trees
We investigate the class of the edge-shelling convex geometries of trees. The edge-shelling convex geometry of a tree is the convex geometry consisting of the sets of edges of the subtrees. For the edge-shelling convex geometry of a tree, the size of the stem of any rooted circuit is two. The class of the edge-shelling convex geometry of a tree is closed under trace operation. We characterize the class of the edge-shelling convex geometry of a tree in terms of trace-minimal forbidden minors. Moreover, the trace-minimal forbidden minors are specified for the class of convex geometries such that the size of any stem is two.
Geometric combinatorial algebras: cyclohedron and simplex
Published in Journal of Algebraic Combinatorics Volume 32, Number 4, 597-627, (2010)
• View Publication
• BIB
In this paper we report on results of our investigation into the algebraic structure supported by the combinatorial geometry of the cyclohedron. Our new graded algebra structures lie between two well known Hopf algebras: the Malvenuto-Reutenauer algebra of permutations and the Loday-Ronco algebra of binary trees. Connecting algebra maps arise from a new generalization of the Tonks projection from the permutohedron to the associahedron, which we discover via the viewpoint of the graph associahedra of Carr and Devadoss. At the same time that viewpoint allows exciting geometrical insights into the multiplicative structure of the algebras involved. Extending the Tonks projection also reveals a new graded algebra structure on the simplices. Finally this latter is extended to a new graded Hopf algebra (one-sided) with basis all the faces of the simplices.
Phase transition for the mixing time of the Glauber dynamics for coloring regular trees
Published in Annals of Applied Probability 2012, Vol. 22, No. 6, 2210-2239
• View Publication
• BIB
We prove that the mixing time of the Glauber dynamics for random k-colorings of the complete tree with branching factor b undergoes a phase transition at $k=b(1+o_b(1))/\ln{b}$. Our main result shows nearly sharp bounds on the mixing time of the dynamics on the complete tree with n vertices for $k=Cb/\ln{b}$ colors with constant C. For $C\geq1$ we prove the mixing time is $O(n^{1+o_b(1)}\ln{n})$. On the other side, for $C<1$ the mixing time experiences a slowing down; in particular, we prove it is $O(n^{1/C+o_b(1)}\ln{n})$ and $Ω(n^{1/C-o_b(1)})$. The critical point C=1 is interesting since it coincides (at least up to first order) with the so-called reconstruction threshold which was recently established by Sly. The reconstruction threshold has been of considerable interest recently since it appears to have close connections to the efficiency of certain local algorithms, and this work was inspired by our attempt to understand these connections in this particular setting.
On the boolean-width of a graph: structure and applications
Published
• View Publication
• BIB
We study the recently introduced boolean-width of graphs. Our structural results are as follows. Firstly, we show that almost surely the boolean-width of a random graph on $n$ vertices is $O(\log^2 n)$, and it is easy to find the corresponding decomposition tree.
Secondly, for any constant $d$ a graph of maximum degree $d$ has boolean-width linear in treewidth. This implies that almost surely the boolean-width of a (sparse) random $d$-regular graph on $n$ vertices is linear in $n$.
Thirdly, we show that the boolean-cut value is well approximated by VC dimension of corresponding set system. Since VC dimension is widely studied, we hope that this structural result will prove helpful in better understanding of boolean-width.
Combining our first structural result with algorithms from Bui-Xuan et al \cite{BTV09,BTV09II} we get for random graphs quasi-polynomial $O^*(2^{O(\log ^4 n)})$ time algorithms for a large class of vertex subset and vertex partitioning problems.