tree
6861 papers tagged with this keyword
Combinatorial operads from monoids
Published in Journal of Algebraic Combinatorics, 41, Issue 2, 493--538, 2015
• View Publication
• BIB
We introduce a functorial construction which, from a monoid, produces a set-operad. We obtain new (symmetric or not) operads as suboperads or quotients of the operads obtained from usual monoids such as the additive and multiplicative monoids of integers and cyclic monoids. They involve various familiar combinatorial objects: endofunctions, parking functions, packed words, permutations, planar rooted trees, trees with a fixed arity, Schröder trees, Motzkin words, integer compositions, directed animals, and segmented integer compositions. We also recover some already known (symmetric or not) operads: the magmatic operad, the associative commutative operad, the diassociative operad, and the triassociative operad. We provide presentations by generators and relations of all constructed nonsymmetric operads.
The tridendriform structure of a Magnus expansion
Published in Discrete and Continuous Dynamical Systems - Series A (DCDS-A), 34, Number 3, (2014), 1021-1040
• View Publication
• BIB
The notion of trees plays an important role in Butcher's B-series. More recently, a refined understanding of algebraic and combinatorial structures underlying the Magnus expansion has emerged thanks to the use of rooted trees. We follow these ideas by further developing the observation that the logarithm of the solution of a lihear first-order finite-difference equation can be written in terms of the Magnus expansion taking place in a pre-Lie algebra. By using basic combinatorics on planar reduced trees we derive a closed formula for the Magnus expansion in the context of free tridendriform algebra. The tridendriform algebra structure on word quasi-symmetric functions permits us to derive a discrete analogue of the Mielnik-Plebanski-Strichartz formula for this logarithm.
Huffman coding as an algorithm to construct chains in partition lattices
Published
• View Publication
• BIB
The Huffman coding algorithm is interpreted in the lattice of partitions of the source alphabet. Maximal chains in the partition lattice correspond to linear extensions of tree orders, and those among the chains that exhibit a simple greedy property correspond precisely to executions of the Huffman algorithm.
Regular independent sets
Published
• View Publication
• BIB
The regular independence number, introduced by Albertson and Boutin in 1990, is the size of a largest set of independent vertices with the same degree. Lower bounds were proven for this invariant, in terms of the order, for trees and planar graphs. In this article, we generalize and extend these results to find lower bounds for the regular $k$-independence number for trees, forests, planar graphs, $k$-trees and $k$-degenerate graphs.
Asymptotic Properties of Fibonacci Cubes and Lucas Cube
It is proved that the asymptotic average eccentricity and the asymptotic average degree of Fibonacci cubes and Lucas cubes are $(5+\sqrt 5)/10$ and $(5-\sqrt 5)/5$, respectively. A new labeling of the leaves of Fibonacci trees is introduced and proved that the eccentricity of a vertex of a given Fibonacci cube is equal to the depth of the associated leaf in the corresponding Fibonacci tree. Hypercube density is also introduced and studied. The hypercube density of both Fibonacci cubes and Lucas cubes is shown to be $(1-1/\sqrt 5)/\log_2\varphi$, where $\varphi$ is the golden ratio, and the Cartesian product of graphs is used to construct families of graphs with a fixed, non-zero hypercube density. It is also proved that the limit normed sum of ratios of Fibonacci words and Lucas words with fixed coordinate 0 and 1, respectively, is $\varphi^2$.
Spanning forests in regular planar maps
Published in J. Combin. Theory Ser. A 135 (2015) 1-59
• View Publication
• BIB
We address the enumeration of p-valent planar maps equipped with a spanning forest, with a weight z per face and a weight u per connected component of the forest. Equivalently, we count p-valent maps equipped with a spanning tree, with a weight z per face and a weight μ:=u+1 per internally active edge, in the sense of Tutte; or the (dual) p-angulations equipped with a recurrent sandpile configuration, with a weight z per vertex and a variable μ:=u+1 that keeps track of the level of the configuration. This enumeration problem also corresponds to the limit q -> 0 of the q-state Potts model on p-angulations. Our approach is purely combinatorial. The associated generating function, denoted F(z,u), is expressed in terms of a pair of series defined implicitly by a system involving doubly hypergeometric series. We derive from this system that F(z,u) is differentially algebraic in z, that is, satisfies a differential equation in z with polynomial coefficients in z and u. This has recently been proved to hold for the more general Potts model on 3-valent maps, but via a much more involved and less combinatorial proof. For u >= -1, we study the singularities of F(z,u) and the corresponding asymptotic behaviour of its n-th coefficient. For u>0, we find the standard asymptotic behaviour of planar maps, with a subexponential term in n^{-5/2}. At u=0 we witness a phase transition with a term n^{-3}. When u\in[-1,0), we obtain an extremely unusual behaviour in n^{-3}(\ln n)^{-2}. To our knowledge, this is a new "universality class" for planar maps.
Growth rates of geometric grid classes of permutations
Published in Electron. J. Combin., 21(4): Paper 4.51, 17 pp, 2014
• View Publication
• BIB
Geometric grid classes of permutations have proven to be key in investigations of classical permutation pattern classes. By considering the representation of gridded permutations as words in a trace monoid, we prove that every geometric grid class has a growth rate which is given by the square of the largest root of the matching polynomial of a related graph. As a consequence, we characterise the set of growth rates of geometric grid classes in terms of the spectral radii of trees, explore the influence of "cycle parity" on the growth rate, compare the growth rates of geometric grid classes against those of the corresponding monotone grid classes, and present new results concerning the effect of edge subdivision on the largest root of the matching polynomial.
Computing Tree-depth Faster Than $2^{n}$
Published
• View Publication
• BIB
A connected graph has tree-depth at most $k$ if it is a subgraph of the closure of a rooted tree whose height is at most $k$. We give an algorithm which for a given $n$-vertex graph $G$, in time $\mathcal{O}(1.9602^n)$ computes the tree-depth of $G$. Our algorithm is based on combinatorial results revealing the structure of minimal rooted trees whose closures contain $G$.
On certain classes of graceful lobsters
A graph G=(V,E) with m edges is graceful if it has a distinct vertex labeling f, a map from V into the set{0,1,2,3,...,m} which induces a distinct edge labeling |f(u)-f(v)| for edges uv in E. The famous Ringel-Kotzig conjecture (1964) is that all trees are graceful. The base of a tree T is obtained from T by deleting its one-degree vertices. A caterpillar is a tree whose base is a path and a lobster is a tree whose base is a caterpillar. Paths and caterpillars are known to be graceful. Next it was conjectured by Bermond (1979) that all lobsters are graceful. In this paper we describe various methods of joining graceful graphs and α-labeled graphs using the adjacency matrix characterization that initiated by Bloom (1979) and others. We apply these results to obtain some classes of graceful lobsters and indicate how to obtain some others.
Li-Yau inequality on graphs
Published in J. Differential Geom. 99 (2015), no. 3, 359-405
• View Publication
• BIB
We prove the Li-Yau gradient estimate for the heat kernel on graphs. The only assumption is a variant of the curvature-dimension inequality, which is purely local, and can be considered as a new notion of curvature for graphs. We compute this curvature for lattices and trees and conclude that it behaves more naturally than the already existing notions of curvature. Moreover, we show that if a graph has non-negative curvature then it has polynomial volume growth.
We also derive Harnack inequalities and heat kernel bounds from the gradient estimate, and show how it can be used to strengthen the classical Buser inequality relating the spectral gap and the Cheeger constant of a graph.
Characterizing the second smallest eigenvalue of the normalized Laplacian of a tree
In this paper we show a monotonicity theorem for the harmonic eigenfunction of λ_{1} of the normalized Laplacian over the points of articulation of a graph. We introduce the definition of Perron component for the normalized Laplacian matrix of a graph and show how its second smallest eigenvalue can be characterized using this definition.
Determinants, their applications to Markov processes, and a random walk proof of Kirchhoff's matrix tree theorem
Kirchhoff's matrix tree theorem is a well-known result that gives a formula for the number of spanning trees in a finite, connected graph in terms of the graph Laplacian matrix. A closely related result is Wilson's algorithm for putting the uniform distribution on the set of spanning trees. We will show that when one follows Greg Lawler's strategy for proving Wilson's algorithm, Kirchhoff's theorem follows almost immediately after one applies some elementary linear algebra. We also show that the same ideas can be applied to other computations related to general Markov chains and processes on a finite state space.
Incremental Network Design with Minimum Spanning Trees
Published in Journal of Graph Algorithms and Applications, Vol. 21, no. 4, pp. 417-432, 2017
• View Publication
• BIB
Given an edge-weighted graph $G=(V,E)$ and a set $E_0\subset E$, the incremental network design problem with minimum spanning trees asks for a sequence of edges $e'_1,\ldots,e'_T\in E\setminus E_0$ minimizing $\sum_{t=1}^Tw(X_t)$ where $w(X_t)$ is the weight of a minimum spanning tree $X_t$ for the subgraph $(V,E_0\cup\{e'_1,\ldots,e'_t\})$ and $T=\lvert E\setminus E_0\rvert$. We prove that this problem can be solved by a greedy algorithm.
0-Hecke algebra action on the Stanley-Reisner ring of the Boolean algebra
Published in Annals of Combinatorics 19 (2015) 293--323
• View Publication
• BIB
We define an action of the 0-Hecke algebra of type A on the Stanley-Reisner ring of the Boolean algebra. By studying this action we obtain a family of multivariate noncommutative symmetric functions, which specialize to the noncommutative Hall-Littlewood symmetric functions and their (q,t)-analogues introduced by Bergeron and Zabrocki, and to a more general family of noncommutative symmetric functions having parameters associated with paths in binary trees introduced recently by Lascoux, Novelli, and Thibon. We also obtain multivariate quasisymmetric function identities, which specialize to results of Garsia and Gessel on generating functions of multivariate distributions of permutation statistics.
Unit Grid Intersection Graphs: Recognition and Properties
It has been known since 1991 that the problem of recognizing grid intersection graphs is NP-complete. Here we use a modified argument of the above result to show that even if we restrict to the class of unit grid intersection graphs (UGIGs), the recognition remains hard, as well as for all graph classes contained inbetween. The result holds even when considering only graphs with arbitrarily large girth. Furthermore, we ask the question of representing UGIGs on grids of minimal size. We show that the UGIGs that can be represented in a square of side length 1+epsilon, for a positive epsilon no greater than 1, are exactly the orthogonal ray graphs, and that there exist families of trees that need an arbitrarily large grid.
A Note on Graphs of Linear Rank-Width 1
We prove that a connected graph has linear rank-width 1 if and only if it is a distance-hereditary graph and its split decomposition tree is a path. An immediate consequence is that one can decide in linear time whether a graph has linear rank-width at most 1, and give an obstruction if not. Other immediate consequences are several characterisations of graphs of linear rank-width 1. In particular a connected graph has linear rank-width 1 if and only if it is locally equivalent to a caterpillar if and only if it is a vertex-minor of a path [O-joung Kwon and Sang-il Oum, Graphs of small rank-width are pivot-minors of graphs of small tree-width, arxiv:1203.3606] if and only if it does not contain the co-K_2 graph, the Net graph and the 5-cycle graph as vertex-minors [Isolde Adler, Arthur M. Farley and Andrzej Proskurowski, Obstructions for linear rank-width at most 1, arxiv:1106.2533].
Asymptotics for the number of spanning trees in circulant graphs and degenerating d-dimensional discrete tori
Published in Annals of Combinatorics 19.3 (2015): 513-543
• View Publication
• BIB
In this paper we obtain precise asymptotics for certain families of graphs, namely circulant graphs and degenerating discrete tori. The asymptotics contain interesting constants from number theory among which some can be interpreted as corresponding values for continuous limiting objects. We answer one question formulated in a paper from Atajan, Yong and Inaba in [1] and formulate a conjecture in relation to the paper from Zhang, Yong and Golin [21]. A crucial ingredient in the proof is to use the matrix tree theorem and express the combinatorial laplacian determinant in terms of Bessel functions. A non-standard Poisson summation formula and limiting properties of theta functions are then used to evaluate the asymptotics.
Generalized splines on arbitrary graphs
Published in Pacific J. Math. 281 (2016) 333-364
• View Publication
• BIB
Let G be a graph whose edges are labeled by ideals of a commutative ring. We introduce a generalized spline, which is a vertex-labeling of G by elements of the ring so that the difference between the labels of any two adjacent vertices lies in the corresponding edge ideal. Generalized splines arise naturally in combinatorics (em algebraic splines of Billera and others) and in algebraic topology (certain equivariant cohomology rings, described by Goresky-Kottwitz-MacPherson and others). The central question of this manuscript asks when an arbitrary edge-labeled graph has nontrivial generalized splines. The answer is `always', and we prove the stronger result that generalized splines contain a free submodule whose rank is the number of vertices in G. We describe all generalized splines when G is a tree, and give several ways to describe the ring of generalized splines as an intersection of generalized splines for simpler subgraphs of G. We also present a new tool which we call the GKM matrix, an analogue of the incidence matrix of a graph, and end with open questions.
Ramanujan graphings and correlation decay in local algorithms
Published in Random Structures & Algorithms Volume 47, Issue 3, 424-435, 2015
• View Publication
• BIB
Let $G$ be a large-girth $d$-regular graph and $μ$ be a random process on the vertices of $G$ produced by a randomized local algorithm. We prove the upper bound $(k+1-2k/d)\Bigl(\frac{1}{\sqrt{d-1}}\Bigr)^k$ for the (absolute value of the) correlation of values on pairs of vertices of distance $k$ and show that this bound is optimal. The same results hold automatically for factor of i.i.d processes on the $d$-regular tree. In that case we give an explicit description for the (closure) of all possible correlation sequences. Our proof is based on the fact that the Bernoulli graphing of the infinite $d$-regular tree has spectral radius $2\sqrt{d-1}$. Graphings with this spectral gap are infinite analogues of finite Ramanujan graphs and they are interesting on their own right.
The Wiener and Terminal Wiener indices of trees
Heydari \cite{heydari2013} presented very nice formulae for the Wiener and terminal Wiener indices of generalized Bethe trees. It is pity that there are some errors for the formulae. In this paper, we correct these errors and characterize all trees with the minimum terminal Wiener index among all the trees of order $n$ and with maximum degree $Δ$.