tree
6861 papers tagged with this keyword
L-Infinity optimization in tropical geometry and phylogenetics
We investigate uniqueness issues that arise in $l^\infty$-optimization to linear spaces and Bergman fans of matroids. For linear spaces, we give a polyhedral decomposition of $\mathbb{R}^n$ based on the dimension of the set of $l^\infty$-nearest neighbors. This implies that the $l^\infty$-nearest neighbor in a linear space is unique if and only if the underlying matroid is uniform. For Bergman fans of matroids, we show that the set of $l^\infty$-nearest points is a tropical polytope and give an algorithm to compute its tropical vertices. A key ingredient here is a notion of topology that generalizes tree topology. These results have practical implications for distance-based phylogenetic reconstruction using the $l^\infty$-metric. We analyze the possible dimensions of the set of $l^\infty$-nearest equidistant tree metrics to an arbitrary dissimilarity map and the number of tree topologies represented in this set. For both 3 and 4-leaf trees, we decompose the space of dissimilarity maps relative to the tree topologies represented.
A counterexample to the reconstruction conjecture for locally finite trees
Published
• View Publication
• BIB
Two graphs $G$ and $H$ are hypomorphic if there exists a bijection $\varphi \colon V(G) \rightarrow V(H)$ such that $G - v \cong H - \varphi(v)$ for each $v \in V(G)$. A graph $G$ is reconstructible if $H \cong G$ for all $H$ hypomorphic to $G$.
It is well known that not all infinite graphs are reconstructible. However, the Harary-Schwenk-Scott Conjecture from 1972 suggests that all locally finite trees are reconstructible.
In this paper, we construct a counterexample to the Harary-Schwenk-Scott Conjecture. Our example also answers four other questions of Nash-Williams, Halin and Andreae on the reconstruction of infinite graphs.
A High Quartets Distance Construction
Published
• View Publication
• BIB
Given two binary trees on $N$ labeled leaves, the quartet distance between the trees is the number of disagreeing quartets. By permuting the leaves at random, the expected quartets distance between the two trees is $\frac{2}{3}\binom{N}{4}$. However, no strongly explicit construction reaching this bound asymptotically was known.
We consider complete, balanced binary trees on $N=2^n$ leaves, labeled by $n$ long bit sequences. Ordering the leaves in one tree by the prefix order, and in the other tree by the suffix order, we show that the resulting quartet distance is $\left(\frac{2}{3} + o(1)\right)\binom{N}{4}$, and it always exceeds the $\frac{2}{3}\binom{N}{4}$ bound.
Isometric copies of directed trees in orientations of graphs
Published in J. Graph Theory. 94:2 (2020) 175--191
• View Publication
• BIB
For every $n\in\mathbb N$ we construct a finite graph $G$ such that every orientation $\vec G$ of $G$ contains an isometric copy of any oriented tree on $n$ vertices, and evaluate the smallest possible cardinality of $G$. On the other hand, we prove that every graph $G$ admits an orientation containing no directed $ω$-paths of infinite diameter.
The average number of spanning trees in sparse graphs with given degrees
Published
• View Publication
• BIB
We give an asymptotic expression for the expected number of spanning trees in a random graph with a given degree sequence $\boldsymbol{d}=(d_1,\ldots, d_n)$, provided that the number of edges is at least $n + \textstyle{\frac{1}{2}} d_{\max}^4$, where $d_{\max}$ is the maximum degree. A key part of our argument involves establishing a concentration result for a certain family of functions over random trees with given degrees, using Prüfer codes.
Generalized Ramsey numbers through adiabatic quantum optimization
Published in Quantum Inf. Process. 15, 3519 (2016)
• View Publication
• BIB
Ramsey theory is an active research area in combinatorics whose central theme is the emergence of order in large disordered structures, with Ramsey numbers marking the threshold at which this order first appears. For generalized Ramsey numbers $r(G,H)$, the emergent order is characterized by graphs $G$ and $H$. In this paper we: (i) present a quantum algorithm for computing generalized Ramsey numbers by reformulating the computation as a combinatorial optimization problem which is solved using adiabatic quantum optimization; and (ii) determine the Ramsey numbers $r(\mathcal{T}_{m},\mathcal{T}_{n})$ for trees of order $m,n = 6,7,8$, most of which were previously unknown.
$k$-protected vertices in unlabeled rooted plane trees
Published
• View Publication
• BIB
We find a simple, closed formula for the proportion of vertices which are $k$-protected in all unlabeled rooted plane trees on $n$ vertices. We also find that, as $n$ goes to infinity, the average rank of a random vertex in a tree of size $n$ approaches 0.727649, and the average rank of the root of a tree of size $n$ approaches 1.62297.
Hopf algebras of rooted forests, cocyles and free Rota-Baxter algebras
Published in Journal of Mathematical Physics 2016, 101701, 16 pp
• View Publication
• BIB
The Hopf algebra and the Rota-Baxter algebra are the two algebraic structures underlying the algebraic approach of Connes and Kreimer to renormalization of perturbative quantum field theory. In particular the Hopf algebra of rooted trees serves as the "baby model" of Feynman graphs in their approach and can be characterized by certain universal properties involving a Hochschild 1-cocycle. Decorated rooted trees have also been applied to study Feynman graphs. We will continue the study of universal properties of various spaces of decorated rooted trees with such a 1-cocycle, leading to the concept of a cocycle Hopf algebra. We further apply the universal properties to equip a free Rota-Baxter algebra with the structure of a cocycle Hopf algebra or a cocycle bialgebra.
Shuffling matrices, Kronecker product and Discrete Fourier Transform
Published in Discrete Applied Mathematics 233 (2017), 1-18
• View Publication
• BIB
We define and investigate a family of permutations matrices, called shuffling matrices, acting on a set of $N=n_1\cdots n_m$ elements, where $m\geq 2$ and $n_i\geq 2$ for any $i=1,\ldots, m$. These elements are identified with the vertices of the $m$-th level of a rooted tree with branch indices $(n_1,\ldots, n_m)$. Each of such matrices is induced by a permutation of $Sym(m)$ and it turns out that, in the case in which one considers the cyclic permutation $(1\ \ldots\ m)$, the corresponding permutation is the classical perfect shuffle. We give a combinatorial interpretation of these permutations in terms of lexicographic order of the vertices of the tree. This allows us to describe their fixed points. We show that our permutation matrices can be used to let the Kronecker product of matrices commute or, more generally, rearrange in an arbitrary order. Moreover, we show that the group generated by such permutations does depend only on the branch indices of the tree, but it is independent from their order. In the case in which such indices coincide, we prove that the corresponding group is a copy of $Sym(m)$ inside $Sym(n^m)$. Finally, we give an application of shuffling matrices in the context of the Discrete Fourier Transform.
Local limit of the fixed point forest
Published in Electron. J. Probab. 22 (2017), no. 18, 1-26
• View Publication
• BIB
Consider the following partial "sorting algorithm" on permutations: take the first entry of the permutation in one-line notation and insert it into the position of its own value. Continue until the first entry is 1. This process imposes a forest structure on the set of all permutations of size $n$, where the roots are the permutations starting with 1 and the leaves are derangements. Viewing the process in the opposite direction towards the leaves, one picks a fixed point and moves it to the beginning. Despite its simplicity, this "fixed point forest" exhibits a rich structure. In this paper, we consider the fixed point forest in the limit $n\to \infty$ and show using Stein's method that at a random permutation the local structure weakly converges to a tree defined in terms of independent Poisson point processes. We also show that the distribution of the length of the longest path to a leaf converges to the geometric distribution with mean $e-1$, and the length of the shortest path converges to the Poisson distribution with mean 1. In addition, the higher moments are bounded and hence the expectations converge as well.
Pattern Avoiding Linear Extensions of Rectangular Posets
Published
• View Publication
• BIB
Inspired by Yakoubov's 2015 investigation of pattern avoiding linear extensions of the posets called combs, we study pattern avoiding linear extensions of rectangular posets. These linear extensions are closely related to standard tableaux. For positive integers $s$ and $t$ we consider two natural rectangular partial orders on $\{1,2,\ldots,s t\}$, which we call the NE rectangular order and the EN rectangular order. First we enumerate linear extensions of both rectangular orders avoiding most sets of patterns of length three. Then we use both a generating tree and a bijection to show that the linear extensions of the EN rectangular order which avoid 1243 are counted by the Fuss-Catalan numbers. Next we use the transfer matrix method to enumerate linear extensions of the EN rectangular order which avoid 2143. Finally, we open an investigation of the distribution of the inversion number on pattern avoiding linear extensions.
A note on a conjecture of Gyárfás
Published in Ars Combin. 79 (2006), 311--317
• Search Publication
This note proves that, given one member, $T$, of a particular family of radius-three trees, every radius-two, triangle-free graph, $G$, with large enough chromatic number contains an induced copy of $T$.
Tangled up in Blue (A Survey on Connectivity, Decompositions, and Tangles)
We survey an abstract theory of connectivity, based on symmetric submodular set functions. We start by developing Robertson and Seymour's fundamental duality between branch decompositions (related to the better-known tree decompositions) and so-called tangles, which may be viewed as highly connected regions in a connectivity system. We move on to studying canonical decompositions of connectivity systems into their maximal tangles. Last, but not least, we will discuss algorithmic aspect of the theory.
A Polynomial Time Graph Isomorphism Algorithm For Graphs That Are Not Locally Triangle-Free
In this paper, we show the existence of a polynomial time graph isomorphism algorithm for all graphs excluding graphs that are locally trianglefree. This particular class of graphs allows to divide the graph into neighbourhood sub-graph where each of induced sub-graph (neighbourhood) has at least 2 vertices. We construct all possible permutations for each induced sub-graph using a search tree. We construct automorphisms of subgraphs based on these permutations. Finally, we decide isomorphism through automorphisms .
The author expects that the solution, present in this paper, may lead to a faster algorithm for the general case of graph isomorphism (using " barycentric subdivision" ). The paper might affect group isomorphism also as we may construct graphs (corresponds to a particular group) in way so we can avoid it to be a triangle free graph. Since,for a given group G , each choice of a generating set will give a different Cayley graph.
Exponential Independence
For a set $S$ of vertices of a graph $G$, a vertex $u$ in $V(G)\setminus S$, and a vertex $v$ in $S$, let ${\rm dist}_{(G,S)}(u,v)$ be the distance of $u$ and $v$ in the graph $G-(S\setminus \{ v\})$. Dankelmann et al. (Domination with exponential decay, Discrete Math. 309 (2009) 5877-5883) define $S$ to be an exponential dominating set of $G$ if $w_{(G,S)}(u)\geq 1$ for every vertex $u$ in $V(G)\setminus S$, where $w_{(G,S)}(u)=\sum\limits_{v\in S}\left(\frac{1}{2}\right)^{{\rm dist}_{(G,S)}(u,v)-1}$. Inspired by this notion, we define $S$ to be an exponential independent set of $G$ if $w_{(G,S\setminus \{ u\})}(u)<1$ for every vertex $u$ in $S$, and the exponential independence number $α_e(G)$ of $G$ as the maximum order of an exponential independent set of $G$.
Similarly as for exponential domination, the non-local nature of exponential independence leads to many interesting effects and challenges. Our results comprise exact values for special graphs as well as tight bounds and the corresponding extremal graphs. Furthermore, we characterize all graphs $G$ for which $α_e(H)$ equals the independence number $α(H)$ for every induced subgraph $H$ of $G$, and we give an explicit characterization of all trees $T$ with $α_e(T)=α(T)$.
Displaying tangles and non-sequential separations
We show that, for any graph or matroid, there is a tree that simultaneously distinguishes its maximal tangles, and, for each maximal tangle $\mathcal{T}$ that satisfies an additional robustness condition, displays all of the non-trivial separations relative to $\mathcal{T}$, up to a natural equivalence.
Graph limits of random graphs from a subset of connected $k$-trees
Published
• View Publication
• BIB
For any set $Ω$ of non-negative integers such that $\{0,1\}\subseteq Ω$ and $\{0,1\}\ne Ω$, we consider a random $Ω$-$k$-tree ${\sf G}_{n,k}$ that is uniformly selected from all connected $k$-trees of $(n+k)$ vertices where the number of $(k+1)$-cliques that contain any fixed $k$-clique belongs to $Ω$. We prove that ${\sf G}_{n,k}$, scaled by $(kH_{k}σ_Ω)/(2\sqrt{n})$ where $H_{k}$ is the $k$-th Harmonic number and $σ_Ω>0$, converges to the Continuum Random Tree $\mathcal{T}_{\sf e}$. Furthermore, we prove the local convergence of the rooted random $Ω$-$k$-tree ${\sf G}_{n,k}^{\circ}$ to an infinite but locally finite random $Ω$-$k$-tree ${\sf G}_{\infty,k}$.
Colored operads, series on colored operads, and combinatorial generating systems
Published in Discrete Mathematics, 342, Issue 6, 1624--1657, 2019
• View Publication
• BIB
We introduce bud generating systems, which are used for combinatorial generation. They specify sets of various kinds of combinatorial objects, called languages. They can emulate context-free grammars, regular tree grammars, and synchronous grammars, allowing us to work with all these generating systems in a unified way. The theory of bud generating systems uses colored operads. Indeed, an object is generated by a bud generating system if it satisfies a certain equation in a colored operad. To compute the generating series of the languages of bud generating systems, we introduce formal power series on colored operads and several operations on these. Series on colored operads are crucial to express the languages specified by bud generating systems and allow us to enumerate combinatorial objects with respect to some statistics. Some examples of bud generating systems are constructed; in particular to specify some sorts of balanced trees and to obtain recursive formulas enumerating these.
Counting Spanning trees in double nested graphs
In this paper we give a linear time algorithm for computing the number of spanninig trees in double nested graphs.
On the Number of Rainbow Spanning Trees in Edge-Colored Complete Graphs
Published
• View Publication
• BIB
A spanning tree of a properly edge-colored complete graph, $K_n$, is rainbow provided that each of its edges receives a distinct color. In 1996, Brualdi and Hollingsworth conjectured that if $K_{2m}$ is properly $(2m-1)$-edge-colored, then the edges of $K_{2m}$ can be partitioned into $m$ rainbow spanning trees except when $m=2$. By means of an explicit, constructive approach, in this paper we construct $\lfloor \sqrt{6m+9}/3 \rfloor$ mutually edge-disjoint rainbow spanning trees for any positive value of $m$. Not only are the rainbow trees produced, but also some structure of each rainbow spanning tree is determined in the process. This improves upon best constructive result to date in the literature which produces exactly three rainbow trees.