tree
6861 papers tagged with this keyword
Dynamical Models for Random Simplicial Complexes
Published
• View Publication
• BIB
We study a general model of random dynamical simplicial complexes and derive a formula for the asymptotic degree distribution. This asymptotic formula encompasses results for a number of existing models, including random Apollonian networks and the weighted random recursive tree. It also confirms results on the scale-free nature of Complex Quantum Network Manifolds in dimensions $d > 2$, and special types of Network Geometry with Flavour models studied in the physics literature by Bianconi, Rahmede [$\mathit{Sci. Rep.} \; \mathbf{5},\text{ 13979 (2015) and }\mathit{Phys. Rev. E} \; \mathbf{93},\text{ 032315 (2016)}$].
Permutations encoding the local shape of level curves of real polynomials via generic projections
Published in Annales de l'Institut Fourier 2022
• View Publication
• BIB
The non-convexity of a smooth and compact connected component of a real algebraic plane curve can be measured by a combinatorial object called the Poincare-Reeb tree associated to the curve and to a direction of projection. In this paper we show that if the chosen projection avoids the bitangents and the inflectional tangencies to the small enough level curves of a real bivariate polynomial function near a strict local minimum at the origin, then the asymptotic Poincare-Reeb tree becomes a complete binary tree and its vertices become endowed with a total order relation. Such a projection direction is called generic. We prove that for any such asymptotic family of level curves, there are finitely many intervals on the real projective line outside of which all the directions are generic with respect to all the curves in the family. If the choice of the direction of projection is generic, then the local shape of the curves can be encoded in terms of alternating permutations, that we call snakes. The snakes offer an effective description of the local geometry and topology, well-suited for further computations.
Trimming the numerical semigroups tree to probe Wilf's conjecture to higher genus
This paper aims to contribute to validate, for numerical semigroups of reasonably large genus, the so-called Conjecture of Wilf. There is no counter-example for the conjecture among the over 3*10^{10} numerical semigroups of genus up to 60, as it has been computationally verified by Fromentin and Hivert. The computations use the idea of parsing a semigroups tree, making tests in each node. As a mean to combine parsing of the semigroups tree with known theoretical results, we introduce the concept of cutting semigroup. Assume that there exists a property on numerical semigroups that implies that a semigroup satisfying it necessarily satisfies Wilf's conjecture. Assume also that, besides, this property is hereditary, that is, if a semigroup satisfies it, then all its descendants in the semigroups tree also have the same property. Such properties exist. Interesting ones can be easily deduced from some deep results of Eliahou. A semigroup satisfying such a property is called a cutting semigroup (for that property). When looking for counter-examples to Wilf's conjecture, if a cutting semigroup is found, then it can be cut off, since no counter example lies among its descendants. One can therefore consider the trimmed tree obtained by cutting off all the cutting semigroups. Depending on the properties, these ideas allow in some cases to avoid parsing a very significant part of the tree and can be applied to other related problems. For instance, they can be used to find all numerical semigroups with negative Eliahou number up to a genus bigger than 60, which is the current record. Computations by Fromentin had shown that there are exactly 5 numerical semigroups in these circumstances.
Words, Dyck paths, Trees, and Bijections
In \cite{BaDeFePi96} the concept of nondecreasing Dyck paths was introduced. We continue this research by looking at it from the point of view of words, rational languages, planted plane trees, and continued fractions.
We construct a bijection with planted plane trees of height $\le 4$ and compute various statistics on trees that are the equivalents of nondecreasing Dyck paths.
The isomorphism problem of trees from the viewpoint of Terwilliger algebras
Published
• View Publication
• BIB
Let $Γ^{(x_0)}$ be a finite rooted tree, for which $Γ$ is the underlying tree and $x_0$ the root. Let $T$ be the Terwilliger algebra of $Γ$ with respect to $x_0$. We study the structure of the principal $T$-module. As a result, it is shown that $T$ recognizes the isomorphism class of $Γ^{(x_0)}$.
Embedding Complete Multipartite Graphs into Certain Trees
One of the important features of an interconnection network is its ability to efficiently simulate programs or parallel algorithms written for other architectures. Such a simulation problem can be mathematically formulated as a graph embedding problem. In this paper, we embed complete multipartite graphs into certain trees, such as $k$-rooted complete binary trees and $k$-rooted sibling trees.
Order distances and split systems
Published
• View Publication
• BIB
Given a distance $D$ on a finite set $X$ with $n$ elements, it is interesting to understand how the ranking $R_x = z_1,z_2,\dots,z_n$ obtained by ordering the elements in $X$ according to increasing distance $D(x,z_i)$ from $x$, varies with different choices of $x \in X$. The order distance $O_{p,q}(D)$ is a distance on $X$ associated to $D$ which quantifies these variations, where $q \geq \frac{p}{2} > 0$ are parameters that control how ties in the rankings are handled. The order distance $O_{p,q}(D)$ of a distance $D$ has been intensively studied in case $D$ is a treelike distance (that is, $D$ arises as the shortest path distances in an edge-weighted tree with leaves labeled by $X$), but relatively little is known about properties of $O_{p,q}(D)$ for general $D$. In this paper we study the order distance for various types of distances that naturally generalize treelike distances in that they can be generated by split systems, i.e. they are examples of so-called $l_1$-distances. In particular we show how and to what extent properties of the split systems associated to the distances $D$ that we study can be used to infer properties of $O_{p,q}(D)$.
Bijections on Dyck tilings: DTS/DTR bijections, Dyck tableaux and tree-like tableaux
Dyck tilings are certain tilings in the region surrounded by two Dyck paths. We study bijections and combinatorial objects bijective to Dyck tilings, which include Dyck tiling strip (DTS) and Dyck tiling ribbon (DTR) bijections, increasing and decreasing trees, Hermite histories, Dyck tableaux and tree-like tableaux. Dyck tableaux and tree-like tableaux are originally defined for a zigzag path, or equivalently a permutation. We generalize them to the case of general Dyck paths. We show that the most properties of Dyck tableaux can be generalized to the generic case, and show some enumerative results on generalized tree-like tableaux. We also show connections among DTS and DTR bijections, Hermite histories, involutions on increasing and decreasing trees and the reflection of Dyck tilings.
Determining Geodesic Distance on Arbitrary-order Subdivision of Tree with Applications
The problem of how to estimate diffusion on a graph effectively is of importance both theoretically and practically. In this paper, we make use of two widely studied indices, geodesic distance and mean first-passage time ($MFPT$) for random walk, to consider such a problem on some treelike models of interest. To this end, we first introduce several types of operations, for instance, $m$th-order subdivision and ($1,m$)-star-fractal operation, to generate the potential candidate models. And then, we develop a class of novel techniques based on mapping for calculating the exact formulas of the both quantities above on our models. Compared to those previous tools including matrix-based methods for addressing the issue of this type, the techniques proposed here are more general mainly because we generalize the initial condition for creating these models. Meantime, in order to show applications of our techniques to many other treelike models, the two popularly discussed models, Cayley tree $C(t,n)$ and Exponential tree $\mathcal{T}(t;m)$, are chosen to serve as representatives. While their correspondence solutions have been reported, our techniques are more convenient to implement than those pre-existing ones and thus this certifies our statements strongly. Final, we distinguish the difference among results and attempt to make some heuristic explanations to the reasons why the phenomena appear.
Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem
Published
• View Publication
• BIB
The Balanced Connected Subgraph problem (BCS) was recently introduced by Bhore et al. (CALDAM 2019). In this problem, we are given a graph $G$ whose vertices are colored by red or blue. The goal is to find a maximum connected subgraph of $G$ having the same number of blue vertices and red vertices. They showed that this problem is NP-hard even on planar graphs, bipartite graphs, and chordal graphs. They also gave some positive results: BCS can be solved in $O(n^3)$ time for trees and $O(n + m)$ time for split graphs and properly colored bipartite graphs, where $n$ is the number of vertices and $m$ is the number of edges.
In this paper, we show that BCS can be solved in $O(n^2)$ time for trees and $O(n^3)$ time for interval graphs. The former result can be extended to bounded treewidth graphs. We also consider a weighted version of BCS (WBCS). We prove that this variant is weakly NP-hard even on star graphs and strongly NP-hard even on split graphs and properly colored bipartite graphs, whereas the unweighted counterpart is tractable on those graph classes. Finally, we consider an exact exponential-time algorithm for general graphs. We show that BCS can be solved in $2^{n/2}n^{O(1)}$ time. This algorithm is based on a variant of Dreyfus-Wagner algorithm for the Steiner tree problem.
Cluster algebras and binary subwords
Published in Order (2021)
• View Publication
• BIB
This paper establishes a connection between binary subwords and perfect matchings of a snake graph, an important tool in the theory of cluster algebras. Every binary expansion w can be associated to a piecewise-linear poset P and a snake graph G. We construct a tree structure called the antichain trie which is isomorphic to the trie of subwords introduced by Leroy, Rigo, and Stipulanti. We then present bijections from the subwords of w to the antichains of P and to the perfect matchings of G.
Exponents of Jacobians of Graphs and Regular Matroids
Let $G$ be a finite undirected multigraph with no self-loops. The Jacobian $\operatorname{Jac}(G)$ is a finite abelian group associated with $G$ whose cardinality is equal to the number of spanning trees of $G$. There are only a finite number of biconnected graphs $G$ such that the exponent of $\operatorname{Jac}(G)$ equals $2$ or $3$. The definition of a Jacobian can also be extended to regular matroids as a generalization of graphs. We prove that there are finitely many connected regular matroids $M$ such that $\operatorname{Jac}(M)$ has exponent $2$ and characterize all such matroids.
The space of tree-based phylogenetic networks
Published
• View Publication
• BIB
Phylogenetic networks are generalizations of phylogenetic trees that allow the representation of reticulation events such as horizontal gene transfer or hybridization, and can also represent uncertainty in inference. A subclass of these, tree-based phylogenetic networks, have been introduced to capture the extent to which reticulate evolution nevertheless broadly follows tree-like patterns. Several important operations that change a general phylogenetic network have been developed in recent years, and are important for allowing algorithms to move around spaces of networks; a vital ingredient in finding an optimal network given some biological data. A key such operation is the Nearest Neighbor Interchange, or NNI. While it is already known that the space of unrooted phylogenetic networks is connected under NNI, it has been unclear whether this also holds for the subspace of tree-based networks. In this paper we show that the space of unrooted tree-based phylogenetic networks is indeed connected under the NNI operation. We do so by explicitly showing how to get from one such network to another one without losing tree-basedness along the way. Moreover, we introduce some new concepts, for instance ``shoat networks'', and derive some interesting aspects concerning tree-basedness. Last, we use our results to derive an upper bound on the size of the space of tree-based networks.
Spanning Triangle-trees and Flows of Graphs
Published
• View Publication
• BIB
In this paper we study the flow-property of graphs containing a spanning triangle-tree. Our main results provide a structure characterization of graphs with a spanning triangle-tree admitting a nowhere-zero $3$-flow. All these graphs without nowhere-zero $3$-flows are constructed from $K_4$ by a so-called bull-growing operation. This generalizes a result of Fan et al. in 2008 on triangularly-connected graphs and particularly shows that every $4$-edge-connected graph with a spanning triangle-tree has a nowhere-zero $3$-flow. A well-known classical theorem of Jaeger in 1979 shows that every graph with two edge-disjoint spanning trees admits a nowhere-zero $4$-flow. We prove that every graph with two edge-disjoint spanning triangle-trees has a flow strictly less than $3$.
Tree automata and pigeonhole classes of matroids: I
Published
• View Publication
• BIB
Hlineny's Theorem shows that any sentence in the monadic second-order logic of matroids can be tested in polynomial time, when the input is limited to a class of F-representable matroids with bounded branch-width (where F is a finite field). If each matroid in a class can be decomposed by a subcubic tree in such a way that only a bounded amount of information flows across displayed separations, then the class has bounded decomposition-width. We introduce the pigeonhole property for classes of matroids: if every subclass with bounded branch-width also has bounded decomposition-width, then the class is pigeonhole. An efficiently pigeonhole class has a stronger property, involving an efficiently-computable equivalence relation on subsets of the ground set. We show that Hlineny's Theorem extends to any efficiently pigeonhole class. In a sequel paper, we use these ideas to extend Hlineny's Theorem to the classes of fundamental transversal matroids, lattice path matroids, bicircular matroids, and H-gain-graphic matroids, where H is any finite group. We also give a characterisation of the families of hypergraphs that can be described via tree automata: a family is defined by a tree automaton if and only if it has bounded decomposition-width. Furthermore, we show that if a class of matroids has the pigeonhole property, and can be defined in monadic second-order logic, then any subclass with bounded branch-width has a decidable monadic second-order theory.
Tree automata and pigeonhole classes of matroids: II
Published
• View Publication
• BIB
Let $ψ$ be a sentence in the counting monadic second-order logic of matroids and let $\mathbb{F}$ be a finite field. Hliněný's Theorem says that we can test whether $\mathbb{F}$-representable matroids satisfy $ψ$ using an algorithm that is fixed-parameter tractable with respect to branch-width. In a previous paper we proved there is a similar fixed-parameter tractable algorithm that can test the members of any efficiently pigeonhole class. In this sequel we apply results from the first paper and thereby extend Hliněný's Theorem to the classes of fundamental transversal matroids, lattice path matroids, bicircular matroids, and $H$-gain-graphic matroids, when $H$ is a finite group. As a consequence, we can obtain a new proof of Courcelle's Theorem.
Mating of trees for random planar maps and Liouville quantum gravity: a survey
We survey the theory and applications of mating-of-trees bijections for random planar maps and their continuum analog: the mating-of-trees theorem of Duplantier, Miller, and Sheffield (2014). The latter theorem gives an encoding of a Liouville quantum gravity (LQG) surface decorated by a Schramm-Loewner evolution (SLE) curve in terms of a pair of correlated linear Brownian motions. We assume minimal familiarity with the theory of SLE and LQG.
Mating-of-trees theory enables one to reduce problems about SLE and LQG to problems about Brownian motion and leads to deep rigorous connections between random planar maps and LQG. Applications discussed in this article include scaling limit results for various functionals of decorated random planar maps, estimates for graph distances and random walk on (not necessarily uniform) random planar maps, computations of the Hausdorff dimensions of sets associated with SLE, scaling limit results for random planar maps conformally embedded in the plane, and special symmetries for $\sqrt{8/3}$-LQG which allow one to prove its equivalence with the Brownian map.
Edge crossings in random linear arrangements
Published in J. Stat. Mech. (2020) 023403
• View Publication
• BIB
In spatial networks vertices are arranged in some space and edges may cross. When arranging vertices in a 1-dimensional lattice edges may cross when drawn above the vertex sequence as it happens in linguistic and biological networks. Here we investigate the general of problem of the distribution of edge crossings in random arrangements of the vertices. We generalize the existing formula for the expectation of this number in random linear arrangements of trees to any network and derive an expression for the variance of the number of crossings in an arbitrary layout relying on a novel characterization of the algebraic structure of that variance in an arbitrary space. We provide compact formulae for the expectation and the variance in complete graphs, complete bipartite graphs, cycle graphs, one-regular graphs and various kinds of trees (star trees, quasi-star trees and linear trees). In these networks, the scaling of expectation and variance as a function of network size is asymptotically power-law-like in random linear arrangements. Our work paves the way for further research and applications in 1-dimension or investigating the distribution of the number of crossings in lattices of higher dimension or other embeddings.
Improved lower bounds on parity vertex colourings of binary trees
A vertex colouring is called a \emph{parity vertex colouring} if every path in $G$ contains an odd number of occurrences of some colour. Let $χ_{p}(G)$ be the minimal number of colours in a parity vertex colouring of $G$. We show that $χ_{p}(B^*) \ge \sqrt{d} + \frac{1}{4} \log_2(d) - \frac{1}{2}$ where $B^*$ is a subdivision of the complete binary tree $B_d$. This improves the previously known bound $χ_{p}(B^*) \ge \sqrt{d}$ and enhances the techniques used for proving lower bounds. We use this result to show that $χ_{p}(T) > \sqrt[3]{\log{n}}$ where $T$ is any binary tree with $n$ vertices. These lower bounds are also lower bounds for the conflict-free colouring. We also prove that $χ_{p}(G)$ is not monotone with respect to minors and determine its value for cycles. Furthermore, we study complexity of computing the parity vertex chromatic number $χ_{p}(G)$. We show that checking whether a vertex colouring is a parity vertex colouring is coNP-complete. Then we use Courcelle's theorem to prove that the problem of checking whether $χ_{p}(G) \le k$ is fixed-parameter tractable with respect $k$ and the treewidth of $G$.
Cut and pendant vertices and the number of connected induced subgraphs of a graph
Published
• View Publication
• BIB
A vertex whose removal in a graph $G$ increases the number of components of $G$ is called a cut vertex. For all $n,c$, we determine the maximum number of connected induced subgraphs in a connected graph with order $n$ and $c$ cut vertices, and also characterise those graphs attaining the bound. Moreover, we show that the cycle has the smallest number of connected induced subgraphs among all cut vertex-free connected graphs. The general case $c>0$ remains an open task. We also characterise the extremal graph structures given both order and number of pendant vertices, and establish the corresponding formulas for the number of connected induced subgraphs. The `minimal' graph in this case is a tree, thus coincides with the structure that was given by Li and Wang~[Further analysis on the total number of subtrees of trees. \emph{Electron. J. Comb.} 19(4), #P48, 2012].