tree
6737 papers tagged with this keyword
An algorithm for generating random mixed-arity trees
Inspired by [4] we present a new algorithm for uniformly random generation of ordered trees in which all occuring outdegrees can be specified by a given sequence of numbers. The method can be used for random generation of binary or n-ary trees, or ones with various arities. We show that the algorithm is correct and has $O(n)$ time complexity for $n$ being the desired number of nodes in the resulting tree. In the discussion part we show how some selected formulas can be derived with the use of ideas developed in the proof of correctness of the algorithm.
Generalized Turán problems for double stars
Published
• View Publication
• BIB
We study the generalized Turán function $ex(n,H,F)$, when $H$ or $F$ is a double star $S_{a,b}$, which is a tree with a central edge $uv$, $a$ leaves connected to $u$ and $b$ leaves connected to $v$. We determine $ex(n,K_k,S_{a,b})$ and $ex(n,S_{a,b},F)$ for sufficiently large $n$, where $F$ is either a 3-chromatic graph with an edge whose deletion results in a bipartite graph, or the 2-fan, i.e. two triangles sharing a vertex. We also give bounds on $ex(n,S_{a,b},S_{c,d})$.
On the palindromic Hosoya polynomial of trees
Published
• View Publication
• BIB
A graph $G$ on $n$ vertices of diameter $D$ is called $H$-palindromic if $α(G,k) = α(G,D-k)$ for all $k=0, 1, \dots, \left \lfloor{\frac{D}{2}}\right \rfloor$, where $α(G,k)$ is the number of unordered pairs of vertices at distance $k$. Quantities $α(G,k)$ form coefficients of the Hosoya polynomial. In 1999, Caporossi, Dobrynin, Gutman and Hansen showed that there are exactly five $H$-palindromic trees of even diameter and conjectured that there are no such trees of odd diameter. We prove this conjecture for bipartite graphs. An infinite family of $H$-palindromic trees of diameter $6$ is also constructed.
Graphs with three distinct distance eigenvalues
Published
• View Publication
• BIB
In this paper, some special distance spectral properties of graphs are considered. Concretely, we recursively construct an infinite family of trees with distance eigenvalue $-1$, and determine all $\{C_3,C_4\}$-free connected graphs with three distinct distance eigenvalues of which the smallest one is equal to $-3$, which partially answers a problem posed by Koolen, Hayat and Iqbal [Linear Algebra Appl. 505 (2016) 97--108]. Furthermore, we characterize all trees with three distinct distance eigenvalues.
The mesoscopic geometry of sparse random maps
Published in Journal de l{\textquoteright}École polytechnique {\textemdash} Mathématiques, Tome 9 (2022), pp. 1305-1345
• View Publication
• BIB
We investigate the structure of large uniform random maps with $n$ edges, $\mathrm{f}_n$ faces, and with genus $\mathrm{g}_n$ in the so-called sparse case, where the ratio between the number vertices and edges tends to $1$. We focus on two regimes: the planar case $(\mathrm{f}_n, 2\mathrm{g}_n) = (\mathrm{s}_n, 0)$ and the unicellular case with moderate genus $(\mathrm{f}_n, 2 \mathrm{g}_n) = (1, \mathrm{s}_n-1)$, both when $1 \ll \mathrm{s}_n \ll n$. Albeit different at first sight, these two models can be treated in a unified way using a probabilistic version of the classical core-kernel decomposition. In particular, we show that the number of edges of the core of such maps, obtained by iteratively removing degree $1$ vertices, is concentrated around $\sqrt{n \mathrm{s}_{n}}$. Further, their kernel, obtained by contracting the vertices of the core with degree $2$, is such that the sum of the degree of its vertices exceeds that of a trivalent map by a term of order $\sqrt{\mathrm{s}_{n}^{3}/n}$; in particular they are trivalent with high probability when $\mathrm{s}_{n} \ll n^{1/3}$. This enables us to identify a mesoscopic scale $\sqrt{n/\mathrm{s}_n}$ at which the scaling limits of these random maps can be seen as the local limit of their kernels, which is the dual of the UIPT in the planar case and the infinite three-regular tree in the unicellular case, where each edge is replaced by an independent (biased) Brownian tree with two marked points.
Transplanting Trees: Chromatic Symmetric Function Results through the Group Algebra of $S_n$
One of the major outstanding conjectures in the study of chromatic symmetric functions (CSF's) states that trees are uniquely determined by their CSF's. Though verified on graphs of order up to twenty-nine, this result has been proved only for certain subclasses of trees. Using the definition of the CSF that emerges via the Frobenius character map applied to $\mathbb{C}[S_n]$, we offer new algebraic proofs of several results about the CSF's of trees. Additionally, we prove that a "parent function" of the CSF defined in the group ring of $S_n$ can uniquely determine trees, providing further support for Stanley's conjecture.
Zero forcing number versus general position number in tree-like graphs
Let ${\rm Z}(G)$ and ${\rm gp}(G)$ be the zero forcing number and the general position number of a graph $G$, respectively. Known results imply that ${\rm gp}(T)\ge {\rm Z}(T) + 1$ holds for every nontrivial tree $T$. It is proved that the result extends to block graphs. For connected, unicyclic graphs $G$ it is proved that ${\rm gp}(G) \ge {\rm Z}(G)$. The result extends neither to bicyclic graphs nor to quasi-trees. Nevertheless, a large class of quasi-trees is found for which ${\rm gp}(G) \ge {\rm Z}(G)$ holds.
The Edge-Product Space of Phylogenetic Trees is Not Shellable
Published
• View Publication
• BIB
The edge-product space of phylogenetic trees is a regular CW complex whose maximal closed cells correspond to trivalent trees with leaves labeled by a finite set $X$. The face poset of this cell decomposition is isomorphic to the Tuffley poset, a poset of labeled forests, with a unique minimum adjoined.
We show that the edge-product space of phylogenetic trees is gallery-connected. We then use combinatorial properties of the Tuffley poset and a related graph known as NNI-tree space to show that, although open intervals of the Tuffley poset were proven to be shellable by Gill, Linusson, Moulton, and Steel, the edge-product space is not shellable.
Pebbling in Powers of Paths
The $t$-fold pebbling number, $π_t(G)$, of a graph $G$ is defined to be the minimum number $m$ so that, from any given configuration of $m$ pebbles on the vertices of $G$, it is possible to place at least $t$ pebbles on any specified vertex via pebbling moves. It has been conjectured that the pebbling numbers of pyramid-free chordal graphs can be calculated in polynomial time.
The $k^{\rm th}$ power $G^{(k)}$ of the graph $G$ is obtained from $G$ by adding an edge between any two vertices of distance at most $k$ from each other. The $k^{\rm th}$ power of the path $P_n$ on $n$ is an important class of pyramid-free chordal graphs. Pachter, Snevily, and Voxman (1995), Kim (2004), and Kim and Kim (2010) calculated $π(P_n^{(k)})$ for $2\le k\le 4$, respectively. In this paper we calculate $π_t(P_n^{(k)})$ for all $n$, $k$, and $t$.
For a function $D:V(G)\rightarrow{\mathbb N}$, the $D$-pebbling number, $π(G,D)$, of a graph $G$ is defined to be the minimum number $m$ so that, from any given configuration of $m$ pebbles on the vertices of $G$, it is possible to place at least $D(v)$ pebbles on each vertex $v$ via pebbling moves. We make the conjecture that every $G$ and $D$ satisfies $π(G,D)\le π_{|D|}(G)-(s(D)-1)$, where $s(D)$ counts the number of vertices $v$ with $D(v)>0$. We prove this for trees and $P_n^{(k)}$, for all $n$ and $k$.
The pebbling exponent $e_π(G)$ of a graph $G$ was defined by Pachter, et al., to be the minimum $k$ for which $π(G^{(k)})=n(G^{(k)})$. Of course, $e_π(G)\le {\rm diameter}(G)$, and Czygrinow, Hurlbert, Kierstead, and Trotter (2002) proved that almost all graphs $G$ have $e_π(G)=1$. Lourdusamy and Mathivanan (2015) proved several results on $π_t(C_n^2)$, and Hurlbert (2017) proved an asymptotically tight formula for $e_π(C_n)$. Our formula for $π_t(P_n^{(k)})$ allows us us to compute $e_π(P_n)$ asymptotically tightly.
Weisfeiler-Leman Indistinguishability of Graphons
Published in Electronic Journal of Combinatorics Volume 30, Issue 4 (2023), P4.35
• View Publication
• BIB
The color refinement algorithm is mainly known as a heuristic method for graph isomorphism testing. It has surprising but natural characterizations in terms of, for example, homomorphism counts from trees and solutions to a system of linear equations. Grebík and Rocha (2022) have recently shown how color refinement and notions that characterize it generalize to graphons, which emerged as limit objects in the theory of dense graph limits. In particular, they show that these characterizations are still equivalent in the graphon case. The $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) is a more powerful variant of color refinement that colors $k$-tuples instead of single vertices, where the terms $1$-WL and color refinement are often used interchangeably since they compute equivalent colorings. We show how to adapt the result of Grebík and Rocha to $k$-WL or, in other words, how $k$-WL and its characterizations generalize to graphons. In particular, we obtain characterizations in terms of homomorphism densities from multigraphs of bounded treewidth and linear equations. We give a simple example that parallel edges make a difference in the more general case of graphons, which means that, there, the equivalence between $1$-WL and color refinement does not hold anymore. We also show how this equivalence can be recovered by defining a variant of $k$-WL that corresponds to homomorphism densities from simple graphs of bounded treewidth.
Edge Partitions of Complete Geometric Graphs (Part 2)
Recently, the second and third author showed that complete geometric graphs on $2n$ vertices in general cannot be partitioned into $n$ plane spanning trees. Building up on this work, in this paper, we initiate the study of partitioning into beyond planar subgraphs, namely into $k$-planar and $k$-quasi-planar subgraphs and obtain first bounds on the number of subgraphs required in this setting.
On Generalizations of Pairwise Compatibility Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (October 6, 2024) dmtcs:12295
• View Publication
• BIB
A graph $G$ is a pairwise compatibility graph (PCG) if there exists an edge-weighted tree and an interval $I$, such that each leaf of the tree is a vertex of the graph, and there is an edge $\{ x, y \}$ in $G$ if and only if the weight of the path in the tree connecting $x$ and $y$ lies within the interval $I$. Originating in phylogenetics, PCGs are closely connected to important graph classes like leaf-powers and multi-threshold graphs, widely applied in bioinformatics, especially in understanding evolutionary processes. In this paper we introduce two natural generalizations of the PCG class, namely $k$-OR-PCG and $k$-AND-PCG, which are the classes of graphs that can be expressed as union and intersection, respectively, of $k$ PCGs. These classes can be also described using the concepts of the covering number and the intersection dimension of a graph in relation to the PCG class. We investigate how the classes of OR-PCG and AND-PCG are related to PCGs, $k$-interval-PCGs and other graph classes known in the literature. In particular, we provide upper bounds on the minimum $k$ for which an arbitrary graph $G$ belongs to $k$-interval-PCGs, $k$-OR-PCG or $k$-AND-PCG classes. For particular graph classes we improve these general bounds. Moreover, we show that, for every integer $k$, there exists a bipartite graph that is not in the $k$-interval-PCGs class, proving that there is no finite $k$ for which the $k$-interval-PCG class contains all the graphs. This answers an open question of Ahmed and Rahman from 2017. Finally, using a Ramsey theory argument, we show that for any $k$, there exists graphs that are not in $k$-AND-PCG, and graphs that are not in $k$-OR-PCG.
Polyhedral completeness of intermediate logics: the Nerve Criterion
Published
• View Publication
• BIB
We investigate a recently-devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral-completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov's notion of the nerve of a poset. It affords a purely combinatorial characterisation of polyhedrally-complete logics.
Using the Nerve Criterion we show, easily, that there are continuum many intermediate logics that are not polyhedrally-complete but which have the finite model property. We also provide, at considerable combinatorial labour, a countably infinite class of logics axiomatised by the Jankov-Fine formulas of 'starlike trees' all of which are polyhedrally-complete. The polyhedral completeness theorem for these 'starlike logics' is the second main result of this paper.
Binary trees using the bookshelf and baseball constructions
This is a largely expository paper in which we discuss various sets having a Catalan number of objects and some well-known bijections between these sets presented in a new and hopefully interesting way. We call these concepts "bookshelf" and "baseball" constructions. No knowledge of these topics is assumed. These are the final student papers for a course at Brandeis University.
The $e$-positivity and Schur positivity of the chromatic symmetric functions of some trees
We investigate the $e$-positivity and Schur positivity of the chromatic symmetric functions of some spider graphs with three legs. We obtain the positivity classification of all broom graphs and that of most double broom graphs. The methods involve extracting particular $e$-coefficients of the chromatic symmetric function of these graphs with the aid of Orellana and Scott's triple-deletion property, and using the combinatorial formula of Schur coefficients by examining certain special rim hook tabloids. We also propose some conjectures on the $e$-positivity and Schur positivity of trees.
Hecke triangle Groups and Dessin d'enfant
In this work we will construct bipartite graphs, famously known as Dessin d'enfant, corresponding to finite index subgroups of Hecke triangle groups $(2, q, \infty )$. Then using a results of \cite{ll} we shall show the correspondences among the special polygons, the bi-partite graph, and the tree diagram for a finite index subgroup of the Hecke triangle groups $(2, q, \infty )$.
Maximum zeroth-order general Randić index of orientations of trees, unicyclic and bicyclic graphs with given matching number
The zeroth-order general Randić index $R^{0}_{a}$ of a digraph $D$ is the sum of $(d^{+}_{v})^{a}+(d^{-}_{w})^{a}$ over all arcs $vw$ of $D$, where $a$, $d^{+}_{v}$ and $d^{-}_{w}$ are an arbitrary real number, the out-degree of the vertex $v$ and the in-degree of the vertex $w$, respectively. We determine maximum zeroth-order general Randić index of oriented trees, unicyclic and bicyclic graphs in terms of matching number and order in this paper.
From Modular Decomposition Trees to Level-1 Networks: Pseudo-Cographs, Polar-Cats and Prime Polar-Cats
Published
• View Publication
• BIB
The modular decomposition of a graph $G$ is a natural construction to capture key features of $G$ in terms of a labeled tree $(T,t)$ whose vertices are labeled as "series" ($1$), "parallel" ($0$) or "prime". However, full information of $G$ is provided by its modular decomposition tree $(T,t)$ only, if $G$ does not contain prime modules. In this case, $(T,t)$ explains $G$, i.e., $\{x,y\}\in E(G)$ if and only if the lowest common ancestor $\mathrm{lca}_T(x,y)$ of $x$ and $y$ has label "$1$". This information, however, gets lost whenever $(T,t)$ contains vertices with label "prime". In this contribution, we aim at replacing "prime" vertices in $(T,t)$ by simple 0/1-labeled cycles, which leads to the concept of rooted labeled level-1 networks $(N,t)$.
We characterize graphs that can be explained by such level-1 networks $(N,t)$, which generalizes the concept of graphs that can be explained by labeled trees, that is, cographs. We provide three novel graph classes: \emph{polar-cats} are a proper subclass of \emph{pseudo-cographs} which forms a proper subclass of \emph{prime polar-cats}. In particular, every cograph is a pseudo-cograph and prime polar-cats are precisely those graphs that can be explained by a labeled level-1 network. The class of prime polar-cats is defined in terms of the modular decomposition of graphs and the property that all prime modules "induce" polar-cats. We provide a plethora of structural results and characterizations for graphs of these new classes. In addition, we show under which conditions there is a unique least-resolved labeled level-1 network that explains a given graph and provide linear-time algorithms to recognize all these types of graphs and to construct level-1 networks to explain them.
The height of record-biased trees
Published
• View Publication
• BIB
Given a permutation $σ$, its corresponding binary search tree is obtained by recursively inserting the values $σ(1),\ldots,σ(n)$ into a binary tree so that the label of each node is larger than the labels of its left subtree and smaller than the labels of its right subtree. In 1986, Devroye proved that the height of such trees when $σ$ is a random uniform permutation is of order $(c^*+o_\mathbb{P}(1))\log n$ as $n$ tends to infinity, where $c^*$ is the only solution to $c\log(2e/c)=1$ with $c\geq2$. In this paper, we study the height of binary search trees drawn from the record-biased model of permutations, introduced by Auger, Bouvel, Nicaud, and Pivoteau in 2016. The record-biased distribution is the probability measure on the set of permutations whose weight is proportional to $θ^{\mathrm{record}(σ)}$, where $\mathrm{record}(σ)=|\{i\in[n]:\forall j<i,σ(i)>σ(j)\}|$. We show that the height of a binary search tree built from a record-biased permutation of size $n$ with parameter $θ$ is of order $(1+o_\mathbb{P}(1))\max\{c^*\log n,\,θ\log(1+n/θ)\}$, hence giving a full characterization of the first order asymptotic behaviour of the height of such trees.
Mean Hitting Time on Recursive Growth Tree Network
In this paper, we are concerned with mean hitting time $\langle\mathcal{H}\rangle$ for random walks on recursive growth tree networks that are built based on an arbitrary tree as the seed via implementing various primitive graphic operations, and propose a series of combinatorial techniques that are called Mapping Transformation to exactly determine the associated $\langle\mathcal{H}\rangle-$polynomial. Our formulas can be able to completely cover the previously published results in some well-studied and specific cases where a single edge or a star is often chose to serve as seed for creating recursive growth models. The techniques proposed are more convenient than the commonly-used spectral methods mainly because of getting around the operations of matrix inversion and multiplication. Accordingly, our results can be extended for both many other stochastic models including BA-scale-free tree and random uniform tree as well as graphs of great interest consisting of line graph of tree and Vicsek fractal network to derive numerical solutions of related structural parameters. And then, the closed-form solutions of two extensions of Wiener index with respect to multiplicative and additive degrees on an arbitrary tree are conveniently obtained as well. In addition, we discuss some extremal problems of random walks on tree networks and outline the related research directions in the next step.