tree
6861 papers tagged with this keyword
On the covariances of outdegrees in random plane recursive trees
Published
• View Publication
• BIB
In 2005 Janson, extending earlier work of Mahmoud, Smythe, and Szymański, established the joint asymptotic normality of the outdegrees of a random plane recursive tree. In particular, he gave an explicit description of the limiting covariance matrix. Our aim here is to provide substantially simplified expression for the limiting covariance matrix.
Combinatorial families of multilabelled increasing trees and hook-length formulas
Published
• View Publication
• BIB
In this work we introduce and study various generalizations of the notion of increasingly labelled trees, where the label of a child node is always larger than the label of its parent node, to multilabelled tree families, where the nodes in the tree can get multiple labels. For all tree classes we show characterizations of suitable generating functions for the tree enumeration sequence via differential equations. Furthermore, for several combinatorial classes of multilabelled increasing tree families we present explicit enumeration results. We also present multilabelled increasing tree families of an elliptic nature, where the exponential generating function can be expressed in terms of the Weierstrass-p function or the lemniscate sine function. Furthermore, we show how to translate enumeration formulas for multilabelled increasing trees into hook-length formulas for trees and present a general "reverse engineering" method to discover hook-length formulas associated to such tree families.
Cambrian Hopf Algebras
Published in Adv. Math., 311:598-633, 2017
• View Publication
• BIB
Cambrian trees are oriented and labeled trees which fulfill local conditions around each node generalizing the conditions for classical binary search trees. Based on the bijective correspondence between signed permutations and leveled Cambrian trees, we define the Cambrian Hopf algebra generalizing J.-L. Loday and M. Ronco's algebra on binary trees. We describe combinatorially the products and coproducts of both the Cambrian algebra and its dual in terms of operations on Cambrian trees. We also define multiplicative bases of the Cambrian algebra and study structural and combinatorial properties of their indecomposable elements. Finally, we extend to the Cambrian setting different algebras connected to binary trees, in particular S. Law and N. Reading's Baxter Hopf algebra on quadrangulations and S. Giraudo's equivalent Hopf algebra on twin binary trees, and F. Chapoton's Hopf algebra on all faces of the associahedron.
RNA, local moves on plane trees, and transpositions on tableaux
Published in Involve, a Journal of Mathematics 11:3 (2018), 383-411
• View Publication
• BIB
We define a collection of functions $s_i$ on the set of plane trees (or standard Young tableaux). The functions are adapted from transpositions in the representation theory of the symmetric group and almost form a group action. They were motivated by $\textit{local moves}$ in combinatorial biology, which are maps that represent a certain unfolding and refolding of RNA strands. One main result of this study identifies a subset of local moves that we call $s_i$-local moves, and proves that $s_i$-local moves correspond to the maps $s_i$ acting on standard Young tableaux. We also prove that the graph of $s_i$-local moves is a connected, graded poset with unique minimal and maximal elements. We then extend this discussion to functions $s_i^C$ that mimic reflections in the Weyl group of type $C$. The corresponding graph is no longer connected, but we prove it has two connected components, one of symmetric and the other of asymmetric plane trees. We give open questions and possible biological interpretations.
Rainbow arborescence in random digraphs
Published
• View Publication
• BIB
We consider the Erdős-Rényi random directed graph process, which is a stochastic process that starts with $n$ vertices and no edges, and at each step adds one new directed edge chosen uniformly at random from the set of missing edges. Let $\mathcal{D}(n,m)$ be a graph with $m$ edges obtained after $m$ steps of this process. Each edge $e_i$ ($i=1,2,\ldots, m$) of $\mathcal{D}(n,m)$ independently chooses a colour, taken uniformly at random from a given set of $n(1 + O( \log \log n / \log n)) = n (1+o(1))$ colours. We stop the process prematurely at time $M$ when the following two events hold: $\mathcal{D}(n,M)$ has at most one vertex that has in-degree zero and there are at least $n-1$ distinct colours introduced ($M= n(n-1)$ if at the time when all edges are present there are still less than $n-1$ colours introduced; however, this does not happen asymptotically almost surely). The question addressed in this paper is whether $\mathcal{D}(n,M)$ has a rainbow arborescence (that is, a directed, rooted tree on $n$ vertices in which all edges point away from the root and all the edges are different colours). Clearly, both properties are necessary for the desired tree to exist and we show that, asymptotically almost surely, the answer to this question is "yes".
Doob--Martin boundary of Rémy's tree growth chain
Published in Ann. Probab. 45 (2017), 225-277
• View Publication
• BIB
Rémy's algorithm is a Markov chain that iteratively generates a sequence of random trees in such a way that the $n^{\mathrm{th}}$ tree is uniformly distributed over the set of rooted, planar, binary trees with $2n+1$ vertices. We obtain a concrete characterization of the Doob--Martin boundary of this transient Markov chain and thereby delineate all the ways in which, loosely speaking, this process can be conditioned to "go to infinity" at large times. A (deterministic) sequence of finite rooted, planar, binary trees converges to a point in the boundary if for each $m$ the random rooted, planar, binary tree spanned by $m+1$ leaves chosen uniformly at random from the $n^{\mathrm{th}}$ tree in the sequence converges in distribution as $n$ tends to infinity -- a notion of convergence that is analogous to one that appears in the recently developed theory of graph limits.
We show that a point in the Doob--Martin boundary may be identified with the following ensemble of objects: a complete separable $\mathbb{R}$-tree that is rooted and binary in a suitable sense, a diffuse probability measure on the $\mathbb{R}$-tree that allows us to make sense of sampling points from it, and a kernel on the $\mathbb{R}$-tree that describes the probability that the first of a given pair of points is below and to the left of their most recent common ancestor while the second is below and to the right. The Doob--Martin boundary corresponds bijectively to the set of extreme points of the closed convex set of normalized nonnegative harmonic functions, in other words, the minimal and full Doob--Martin boundaries coincide. These results are in the spirit of the identification of graphons as limit objects in the theory of graph limits.
Narayana polynomials and some generalizations
In this note, by counting some colored plane trees we obtain several binomial identities. These identities can be viewed as specific evaluations of certain generalizations of the Narayana polynomials. As consequences, it provides combinatorial proofs for a bijective problem in Stanley's collection "Bijective Proof Problems", a new formula for the Narayana polynomials as well as a new expression for the Harer-Zagier formula enumerating unicellular maps, in a unified way. Furthermore, we identify a class of plane trees, whose enumeration is closely connected to the Schröder numbers. Many other binomial identities are presented as well.
Scaling Limits of Random Graphs from Subcritical Classes
Published
• View Publication
• BIB
We study the uniform random graph $\mathsf{C}_n$ with $n$ vertices drawn from a subcritical class of connected graphs. Our main result is that the rescaled graph $\mathsf{C}_n / \sqrt{n}$ converges to the Brownian Continuum Random Tree $\mathcal{T}_{\mathsf{e}}$ multiplied by a constant scaling factor that depends on the class under consideration. In addition, we provide subgaussian tail bounds for the diameter $\text{D}(\mathsf{C}_n)$ and height $\text{H}(\mathsf{C}_n^\bullet)$ of the rooted random graph $\mathsf{C}_n^\bullet$. We give analytic expressions for the scaling factor of several classes, including for example the prominent class of outerplanar graphs. Our methods also enable us to study first passage percolation on $\mathsf{C}_n$, where we show the convergence to $\mathcal{T}_{\mathsf{e}}$ under an appropriate rescaling.
The (u,v)-Calkin-Wilf Forest
Published in Int. J. Number Theory 12 (05) (2016) 1311-1328
• View Publication
• BIB
In this paper we consider a refinement, due to Nathanson, of the Calkin-Wilf tree. In particular, we study the properties of such trees associated with the matrices $L_u=\begin{bmatrix} 1 & 0 \\ u & 1\end{bmatrix}$ and $R_v=\begin{bmatrix} 1 & v \\ 0& 1\end{bmatrix}$, where $u$ and $v$ are nonnegative integers. We extend several known results of the original Calkin-Wilf tree, including the symmetry, numerator-denominator, and successor formulas, to this new setting. Additionally, we study the ancestry of a rational number appearing in a generalized Calkin-Wilf tree.
A note on concurrent graph sharing games
In the concurrent graph sharing game, two players, called First and Second, share the vertices of a connected graph with positive vertex-weights summing up to $1$ as follows. The game begins with First taking any vertex. In each proceeding round, the player with the smaller sum of collected weights so far chooses a non-taken vertex adjacent to a vertex which has been taken, i.e., the set of all taken vertices remains connected and one new vertex is taken in every round. (It is assumed that no two subsets of vertices have the same sum of weights.) One can imagine the players consume their taken vertex over a time proportional to its weight, before choosing a next vertex. In this note we show that First has a strategy to guarantee vertices of weight at least $1/3$ regardless of the graph and how it is weighted. This is best-possible already when the graph is a cycle. Moreover, if the graph is a tree First can guarantee vertices of weight at least $1/2$, which is clearly best-possible.
Nordhaus-Gaddum-type problems for lines in hypergraphs
Published
• View Publication
• BIB
We study the number of lines in hypergraphs in a more symmetric setting, where both the hypergraph and its complement are considered. In the general case and in some special cases, the lower bounds on the number of lines are much higher than their counterparts in single hypergraph setting or admit more elegant proofs. We show that the minimum value of product of the number of lines in both hypergraphs on $n$ points is easily determined as $\binom{n}{2}$; and the minimum value of their sum is between $Ω(n)$ and $O(n \log n)$. We also study some restricted classes of hypergraphs; and determine the tight bounds on the minimum sum when the hypergraph is derived from an Euclidean space, a real projective plane, or a tree.
Monotonicity properties of certain Laplacian eigenvectors associated with trees
Nath and Paul (Linear Algebra Appl.,460(2014),97-110) have shown that the largest distance Laplacian eigenvalue of a path is simple and the corresponding eigenvector has properties similar to the Fiedler vector. We given an alternative proof, establishing a more general result in the process. It is conjectured that a similar phenomenon holds for any tree.
Labeled embedding of (n,n-2)-graphs in their complements
Published
• View Publication
• BIB
Graph packing generally deals with unlabeled graphs. In \cite{EHRT11}, the authors have introduced a new variant of the graph packing problem, called the \textit{labeled packing of a graph}. This problem has recently been studied on trees \cite{TDK13} and cycles \cite{EHRT11}. In this note, we present a lower bound on the labeled packing number of any $(n,n-2)$-graph into $K_n$. This result improves the bound given by Woźniak in \cite{W94}.
Induced cycles in triangle graphs
The triangle graph of a graph $G$, denoted by ${\cal T}(G)$, is the graph whose vertices represent the triangles ($K_3$ subgraphs) of $G$, and two vertices of ${\cal T}(G)$ are adjacent if and only if the corresponding triangles share an edge. In this paper, we characterize graphs whose triangle graph is a cycle and then extend the result to obtain a characterization of $C_n$-free triangle graphs. As a consequence, we give a forbidden subgraph characterization of graphs $G$ for which ${\cal T}(G)$ is a tree, a chordal graph, or a perfect graph. For the class of graphs whose triangle graph is perfect, we verify a conjecture of the third author concerning packing and covering of triangles.
Spectral zeta functions of graphs and the Riemann zeta function in the critical strip
Published
• View Publication
• BIB
We initiate the study of spectral zeta functions $ζ_{X}$ for finite and infinite graphs $X$, instead of the Ihara zeta function, with a perspective towards zeta functions from number theory and connections to hypergeometric functions. The Riemann hypothesis is shown to be equivalent to an approximate functional equation of graph zeta functions. The latter holds at all points where Riemann's zeta function $ζ(s)$ is non-zero. This connection arises via a detailed study of the asymptotics of the spectral zeta functions of finite torus graphs in the critcal strip and estimates on the real part of the logarithmic derivative of $ζ(s)$. We relate $ζ_{\mathbb{Z}}$ to Euler's beta integral and show how to complete it giving the functional equation $ξ_{\mathbb{Z}}(1-s)=ξ_{\mathbb{Z}}(s)$. This function appears in the theory of Eisenstein series although presumably with this spectral intepretation unrecognized. In higher dimensions $d$ we provide a meromorphic continuation of $ζ_{\mathbb{Z}^{d}}(s)$ to the whole plane and identify the poles. From our aymptotics several known special values of $ζ(s)$ are derived as well as its non-vanishing on the line $Re(s)=1$. We determine the spectral zeta functions of regular trees and show it to be equal to a specialization of Appell's hypergeometric function $F_{1}$ via an Euler-type integral formula due to Picard.
Randomized Rumor Spreading in Poorly Connected Small-World Networks
Published
• View Publication
• BIB
Push-Pull is a well-studied round-robin rumor spreading protocol defined as follows: initially a node knows a rumor and wants to spread it to all nodes in a network quickly. In each round, every informed node sends the rumor to a random neighbor, and every uninformed node contacts a random neighbor and gets the rumor from her if she knows it. We analyze this protocol on random $k$-trees, a class of power law graphs, which are small-world and have large clustering coefficients, built as follows: initially we have a $k$-clique. In every step a new node is born, a random $k$-clique of the current graph is chosen, and the new node is joined to all nodes of the $k$-clique. When $k>1$ is fixed, we show that if initially a random node is aware of the rumor, then with probability $1-o(1)$ after $O\left((\log n)^{1+2/k}\cdot\log\log n\cdot f(n)\right)$ rounds the rumor propagates to $n-o(n)$ nodes, where $n$ is the number of nodes and $f(n)$ is any slowly growing function. Since these graphs have polynomially small conductance, vertex expansion $O(1/n)$ and constant treewidth, these results demonstrate that Push-Pull can be efficient even on poorly connected networks. On the negative side, we prove that with probability $1-o(1)$ the protocol needs at least $Ω\left(n^{(k-1)/(k^2+k-1)}/f^2(n)\right)$ rounds to inform all nodes. This exponential dichotomy between time required for informing almost all and all nodes is striking. Our main contribution is to present, for the first time, a natural class of random graphs in which such a phenomenon can be observed. Our technique for proving the upper bound carries over to a closely related class of graphs, random $k$-Apollonian networks, for which we prove an upper bound of $O\left((\log n)^{c_k}\cdot\log\log n\cdot f(n)\right)$ rounds for informing $n-o(n)$ nodes with probability $1-o(1)$ when $k>2$ is fixed. Here, $c_k=(k^2-3)/(k-1)^2<1 + 2/k$.
Ramsey numbers for trees II
Published in Czechoslovak Mathematical Journal 71(2021), no.146, 351-372
• View Publication
• BIB
Let $r(G_1, G_2)$ be the Ramsey number of the two graphs $G_1$ and $G_2$. For $n_1\ge n_2\ge 1$ let $S(n_1,n_2)$ be the double star given by $V(S(n_1,n_2))=\{v_0,v_1,\ldots,v_{n_1},w_0,w_1,\ldots,w_{n_2}\}$ and $E(S(n_1,n_2))=\{v_0v_1,\ldots,v_0v_{n_1},v_0w_0,w_0w_1,\ldots,w_0w_{n_2}\}$. In this paper we determine $r(K_{1,m-1},$ $S(n_1,n_2))$ under certain conditions. For $n\ge 6$ let $T_n^3=S(n-5,3)$, $T_n^{''}=(V,E_2)$ and $T_n^{'''} =(V,E_3)$, where $V=\{v_0,v_1,\ldots,v_{n-1}\}$, $E_2=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_1v_{n-2},$ $v_2v_{n-1}\}$ and $E_3=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_2v_{n-2},v_3v_{n-1}\}$. We also obtain explicit formulas for $r$ $(K_{1,m-1},T_n)$, $r(T_m',T_n)$ $(n\ge m+3)$, $r(T_n,T_n)$, $r(T_n',T_n)$ and $r(P_n,T_n)$, where $T_n\in\{T_n'',T_n''',T_n^3\}$, $P_n$ is the path on $n$ vertices and $T_n'$ is the unique tree with $n$ vertices and maximal degree $n-2$.
Turán's Problem for Trees
Published in J. Comb. Number Theory 3(2011), no.1, 51-69
• Search Publication
For a forbidden graph $L$, let $ex(p;L)$ denote the maximal number of edges in a simple graph of order $p$ not containing $L$. Let $T_n$ denote the unique tree on $n$ vertices with maximal degree $n-2$, and let $T_n^*=(V,E)$ be the tree on $n$ vertices with $V=\{v_0,v_1,\ldots,v_{n-1}\}$ and
$E=\{v_0v_1,\ldots,v_0v_{n-3},v_{n-3}v_{n-2},v_{n-2}v_{n-1}\}$. In the paper we give exact values of $ex(p;T_n)$ and $ex(p;T_n^*)$.
Turán's problem for trees $T_n$ with maximal degree $n-4$
For $n\ge 6$ let $V=\{v_0,v_1,\ldots,v_{n-1}\}$, $E_1=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_1v_{n-2}$, $v_1v_{n-1}\}$, $E_2=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_1v_{n-2},v_2v_{n-1}\}$, $E_3=\{v_0v_1,\ldots,v_0v_{n-4}$, $v_1v_{n-3},v_2v_{n-2},v_3v_{n-1}\}$, $T_n^3=(V,E_1),\ T_n^{''}=(V,E_2)$ and $T_n^{'''} =(V,E_3).$ In this paper, for $p\ge n\ge 15$ we obtain explicit formulas for $ex(p;T_n^3)$, $ex(p;T_n^{''})$ and $ex(p;T_n^{'''})$, where $ex(p;L)$ denotes the maximal number of edges in a graph of order $p$ not containing $L$ as a subgraph.
Justifying the small-world phenomenon via random recursive trees
Published
• View Publication
• BIB
We present a new technique for proving logarithmic upper bounds for diameters of evolving random graph models, which is based on defining a coupling between random graphs and variants of random recursive trees. The advantage of the technique is three-fold: it is quite simple and provides short proofs, it is applicable to a broad variety of models including those incorporating preferential attachment, and it provides bounds with small constants. We illustrate this by proving, for the first time, logarithmic upper bounds for the diameters of the following well known models: the forest fire model, the copying model, the PageRank-based selection model, the Aiello-Chung-Lu models, the generalized linear preference model, directed scale-free graphs, the Cooper-Frieze model, and random unordered increasing $k$-trees. Our results shed light on why the small-world phenomenon is observed in so many real-world graphs.