tree
6737 papers tagged with this keyword
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 $Δ$.
Three remarks on Matula numbers
Published
• View Publication
• BIB
In SIAM Review 10, page 273, D. W. Matula described a bijection between N and the set of topological rooted trees; the number is called the Matula number of the rooted tree. The Gutman-Ivic-Matula (GIM) function g(n) computes the number of edges of the unique tree with Matula number n. Since there is a prefix-free code for the set of prime numbers such that the codelength of each prime p is 2g(p), we show how some properties of the GIM function can be obtained trivially from coding theorems.
On BC-trees and BC-subtrees
A BC-tree (block-cutpoint-tree) is a tree (with at least two vertices) where the distance between any two leaves is even. Motivated from the study of the "core" of a graph, BC-trees provide an interesting class of trees. We consider questions related to BC-trees as an effort to make modest progress towards the understanding of this concept. Constructive algorithms are provided for BC-trees with given order and number of leaves whenever possible. The concept of BC-subtrees is naturally introduced. Inspired by analogous work on trees and subtrees, we also present some extremal results and briefly discuss the "middle part" of a tree with respect to the number of BC-subtrees.
A note on irreducible maps with several boundaries
Published in Elec. Jour. of Combinatorics Vol 21(1) (2014) #P1.23
• View Publication
• BIB
We derive a formula for the generating function of d-irreducible bipartite planar maps with several boundaries, i.e. having several marked faces of controlled degrees. It extends a formula due to Collet and Fusy for the case of arbitrary (non necessarily irreducible) bipartite planar maps, which we recover by taking d=0. As an application, we obtain an expression for the number of d-irreducible bipartite planar maps with a prescribed number of faces of each allowed degree. Very explicit expressions are given in the case of maps without multiple edges (d=2), 4-irreducible maps and maps of girth at least 6 (d=4). Our derivation is based on a tree interpretation of the various encountered generating functions.
Link Patterns and the Catalan Tree
We demonstrate that a natural construction based on the two notions of insertion of a strand and finding the preimages of Temperley-Lieb algebra generators give an inductive means to generate all link patterns of a given number of strands. It is shown that the structure of the Catalan tree (as defined by Julian West) arises in the process of this induction, and that it can be exploited to give some refined enumerations of link patterns.
The combinatorics of scattering in layered media
Published
• View Publication
• BIB
Reflection and transmission of waves in piecewise constant layered media are important in various imaging modalities and have been studied extensively. Despite this, no exact time domain formulas for the Green's functions have been established. Indeed, there is an underlying combinatorial obstacle: the analysis of scattering sequences. In the present paper we exploit a representation of scattering sequences in terms of trees to solve completely the inherent combinatorial problem, and thereby derive new, explicit formulas for the reflection and transmission Green's functions.
Invariant Gaussian processes and independent sets on regular graphs of large girth
Published in Random Structures & Algorithms Volume 47, Issue 2, pages 284-303, 2015
• View Publication
• BIB
We prove that every 3-regular, n-vertex simple graph with sufficiently large girth contains an independent set of size at least 0.4361n. (The best known bound is 0.4352n.) In fact, computer simulation suggests that the bound our method provides is about 0.438n.
Our method uses invariant Gaussian processes on the d-regular tree that satisfy the eigenvector equation at each vertex for a certain eigenvalue λ. We show that such processes can be approximated by i.i.d. factors provided that $|λ| \leq 2\sqrt{d-1}$. We then use these approximations for $λ= -2\sqrt{d-1}$ to produce factor of i.i.d. independent sets on regular trees.