tree
6737 papers tagged with this keyword
On infinite-finite duality pairs of directed graphs
Published
• View Publication
• BIB
The (A,D) duality pairs play crucial role in the theory of general relational structures and in the Constraint Satisfaction Problem. The case where both classes are finite is fully characterized. The case when both side are infinite seems to be very complex. It is also known that no finite-infinite duality pair is possible if we make the additional restriction that both classes are antichains. In this paper (which is the first one of a series) we start the detailed study of the infinite-finite case.
Here we concentrate on directed graphs. We prove some elementary properties of the infinite-finite duality pairs, including lower and upper bounds on the size of D, and show that the elements of A must be equivalent to forests if A is an antichain. Then we construct instructive examples, where the elements of A are paths or trees. Note that the existence of infinite-finite antichain dualities was not previously known.
Non-Contiguous Pattern Avoidance in Binary Trees
Published
• View Publication
• BIB
In this paper we consider the enumeration of binary trees avoiding non-contiguous binary tree patterns. We begin by computing closed formulas for the number of trees avoiding a single binary tree pattern with 4 or fewer leaves and compare these results to analogous work for contiguous tree patterns. Next, we give an explicit generating function that counts binary trees avoiding a single non-contiguous tree pattern according to number of leaves. In addition, we enumerate binary trees that simultaneously avoid more than one tree pattern. Finally, we explore connections between pattern-avoiding trees and pattern-avoiding permutations.
A note on packing spanning trees in graphs and bases in matroids
We consider the class of graphs for which the edge connectivity is equal to the maximum number of edge-disjoint spanning trees, and the natural generalization to matroids, where the cogirth is equal to the number of disjoint bases. We provide descriptions of such graphs and matroids, showing that such a graph (or matroid) has a unique decomposition. In the case of graphs, our results are relevant for certain communication protocols.
Spanning trees with small degrees and few leaves
Published in Appl. Math. Lett. 25(10) (2012, 1444 - 1446
• View Publication
• BIB
We give an Ore-type condition sufficient for a graph G to have a spanning tree with small degrees and with few leaves.
On an extension of Knuth's rotation correspondence to reduced planar trees
Published in Journal of Noncommutative Geometry, Volume 8, Issue 2, 2014, 303-320
• View Publication
• BIB
We present a bijection from planar reduced trees to planar rooted hypertrees, which extends Knuth's rotation correspondence between planar binary trees and planar rooted trees. The operadic counterpart of the new bijection is explained. Related to this, the space of planar reduced forests is endowed with a combinatorial Hopf algebra structure. The corresponding structure on the space of planar rooted hyperforests is also described.
Divided Differences of Multivariate Implicit Functions
Published in BIT Numerical Mathematics, Volume 52, Issue 3 (2012), Pages 703 - 723
• View Publication
• BIB
Under general conditions, the equation $g(x^1, ..., x^q, y) = 0$ implicitly defines $y$ locally as a function of $x^1, ..., x^q$. In this article, we express divided differences of $y$ in terms of divided differences of $g$, generalizing a recent formula for the case where $y$ is univariate. The formula involves a sum over a combinatorial structure whose elements can be viewed either as polygonal partitions or as plane trees. Through this connection we prove as a corollary a formula for derivatives of $y$ in terms of derivatives of $g$.
Anatomy of the giant component: The strictly supercritical regime
Published
• View Publication
• BIB
In a recent work of the authors and Kim, we derived a complete description of the largest component of the Erdős-Rényi random graph $G(n,p)$ as it emerges from the critical window, i.e. for $p = (1+ε)/n$ where $ε^3 n \to\infty$ and $ε=o(1)$, in terms of a tractable contiguous model. Here we provide the analogous description for the supercritical giant component, i.e., the largest component of $G(n,p)$ for $p = λ/n$ where $λ>1$ is fixed. The contiguous model is roughly as follows: Take a random degree sequence and sample a random multigraph with these degrees to arrive at the kernel; Replace the edges by paths whose lengths are i.i.d. geometric variables to arrive at the 2-core; Attach i.i.d. Poisson Galton-Watson trees to the vertices for the final giant component. As in the case of the emerging giant, we obtain this result via a sequence of contiguity arguments at the heart of which are Kim's Poisson-cloning method and the Pittel-Wormald local limit theorems.
Ext-quivers of hearts of A-type and the orientation of associahedron
Published in J. Algebra, 393 (2013), pp. 60-70
• View Publication
• BIB
We classify the Ext-quivers of hearts in the bounded derived category D(A_n) and the finite-dimensional derived category D(Γ_N A_n) of the Calabi-Yau-N Ginzburg algebra D(Γ_N A_n). This provides the classification for Buan-Thomas' colored quiver for higher clusters of A-type. We also give explicit combinatorial constructions from a binary tree with n+2 leaves to a torsion pair in mod k\overrightarrow{A_n} and a cluster tilting set in the corresponding cluster category, for the straight oriented A-type quiver \overrightarrow{A_n}. As an application, we show that the orientation of the n-dimensional ssociahedron induced by poset structure of binary trees coincides with the orientation induced by poset structure of torsion pairs in mod k\overrightarrow{A_n} (under the correspondence above).
An efficient algorithm for the diameter of Cayley graphs generated by transposition trees
Published in IAENG International Journal of Applied Mathematics, vol. 42, no. 4, pp. 214-223, November 2012
• Search Publication
A problem of practical and theoretical interest is to determine or estimate the diameter of various families of Cayley networks. The previously known estimate for the diameter of Cayley graphs generated by transposition trees is an upper bound given in the oft-cited paper of Akers and Krishnamurthy (1989). In this work, we first assess the performance of their upper bound. We show that for every $n$, there exists a tree on $n$ vertices, such that the difference between the upper bound and the true diameter value is at least $n-4$.
Evaluating their upper bound takes time $Ω(n!)$. In this paper, we provide an algorithm that obtains an estimate of the diameter, but which requires only time $O(n^2)$; furthermore, the value obtained by our algorithm is less than or equal to the previously known diameter upper bound. Such an improvement to polynomial time, while still performing at least as well as the previous bound, is possible because our algorithm works directly with the transposition tree on $n$ vertices and does not require examining any of the permutations. We also provide a tree for which the value computed by our algorithm is not necessarily unique, which is an important result because such examples are quite rare. For all families of trees we have investigated so far, each of the possible values computed by our algorithm happens to also be an upper bound on the diameter.
Unbalanced subtrees in binary rooted ordered and un-ordered trees
Binary rooted trees, both in the ordered and in the un-ordered case, are well studied structures in the field of combinatorics. The aim of this work is to study particular patterns in these classes of trees. We consider completely unbalanced subtrees, where unbalancing is measured according to the so-called Colless's index. The size of the biggest unbalanced subtree becomes then a new parameter with respect to which we find several enumerations.
A simple existence criterion for normal spanning trees in infinite graphs
Published
• View Publication
• BIB
Halin proved in 1978 that there exists a normal spanning tree in every connected graph $G$ that satisfies the following two conditions: (i) $G$ contains no subdivision of a `fat' $K_{\aleph_0}$, one in which every edge has been replaced by uncountably many parallel edges; and (ii) $G$ has no $K_{\aleph_0}$ subgraph. We show that the second condition is unnecessary.
Quasi-Random profinite groups
Published
• View Publication
• BIB
We will investigate quasi-randomness for profinite groups. We will obtain bounds for the mininal degree of non-trivial representations of $\mathrm{SL}_k(\mathbb{Z}/(p^n\mathbb{Z}))$ and $\mathrm{Sp}_{2k}(\mathbb{Z}/(p^n\mathbb{Z}))$. Our method also delivers a lower bound for the minimal degree of a faithful representation for these groups. Using the suitable machinery from functional analysis, we establish exponential lower and upper bounds for the supremal measure of a product-free measurable subset of the profinite groups $\mathrm{SL}_{k}({\mathbb{Z}_p})$ and $\mathrm{Sp}_{2k}(\mathbb{Z}_p)$. We also obtain analogous bounds for a special subgroup of the automorphism group of a regular tree.
b-coloring graphs with large girth
Published
• View Publication
• BIB
A b-coloring of a graph is a coloring of its vertices such that every color class contains a vertex that has a neighbor in all other classes. The b-chromatic number of a graph is the largest integer k such that the graph has a b-coloring with k colors. We show how to compute in polynomial time the b-chromatic number of a graph of girth at least 9. This improves the seminal result of Irving and Manlove on trees.
A simple model of trees for unicellular maps
Published in Journal of Combinatorial Theory, Series A 120, 8 (2013) Pages 2064-2092
• View Publication
• BIB
We consider unicellular maps, or polygon gluings, of fixed genus. A few years ago the first author gave a recursive bijection transforming unicellular maps into trees, explaining the presence of Catalan numbers in counting formulas for these objects. In this paper, we give another bijection that explicitly describes the "recursive part" of the first bijection. As a result we obtain a very simple description of unicellular maps as pairs made by a plane tree and a permutation-like structure. All the previously known formulas follow as an immediate corollary or easy exercise, thus giving a bijective proof for each of them, in a unified way. For some of these formulas, this is the first bijective proof, e.g. the Harer-Zagier recurrence formula, the Lehman-Walsh formula and the Goupil-Schaeffer formula. We also discuss several applications of our construction: we obtain a new proof of an identity related to covered maps due to Bernardi and the first author, and thanks to previous work of the second author, we give a new expression for Stanley character polynomials, which evaluate irreducible characters of the symmetric group. Finally, we show that our techniques apply partially to unicellular 3-constellations and to related objects that we call quasi-constellations.
A sufficient condition for the existence of plane spanning trees on geometric graphs
Published in Comput. Geom. 46(1) (2013), 1 - 6
• View Publication
• BIB
Let P be a set of n > 2 points in general position in the plane and let G be a geometric graph with vertex set P. If the number of empty triangles uvw in P for which the subgraph of G induced by {u,v,w} is not connected is at most n-3, then G contains a non-self intersecting spanning tree.
Revolutionaries and spies: Spy-good and spy-bad graphs
Published in Theoretical Computer Science, Vol. 463, 2012, pp. 35-53
• View Publication
• BIB
We study a game on a graph $G$ played by $r$ {\it revolutionaries} and $s$ {\it spies}. Initially, revolutionaries and then spies occupy vertices. In each subsequent round, each revolutionary may move to a neighboring vertex or not move, and then each spy has the same option. The revolutionaries win if $m$ of them meet at some vertex having no spy (at the end of a round); the spies win if they can avoid this forever.
Let $σ(G,m,r)$ denote the minimum number of spies needed to win. To avoid degenerate cases, assume $|V(G)|\ge r-m+1\ge\floor{r/m}\ge 1$. The easy bounds are then $\floor{r/m}\le σ(G,m,r)\le r-m+1$. We prove that the lower bound is sharp when $G$ has a rooted spanning tree $T$ such that every edge of $G$ not in $T$ joins two vertices having the same parent in $T$. As a consequence, $σ(G,m,r)\leγ(G)\floor{r/m}$, where $γ(G)$ is the domination number; this bound is nearly sharp when $γ(G)\le m$.
For the random graph with constant edge-probability $p$, we obtain constants $c$ and $c'$ (depending on $m$ and $p$) such that $σ(G,m,r)$ is near the trivial upper bound when $r<c\ln n$ and at most $c'$ times the trivial lower bound when $r>c'\ln n$. For the hypercube $Q_d$ with $d\ge r$, we have $σ(G,m,r)=r-m+1$ when $m=2$, and for $m\ge 3$ at least $r-39m$ spies are needed.
For complete $k$-partite graphs with partite sets of size at least $2r$, the leading term in $σ(G,m,r)$ is approximately $\frac{k}{k-1}\frac{r}{m}$ when $k\ge m$. For $k=2$, we have $σ(G,2,r)=\bigl\lceil{\frac{\floor{7r/2}-3}5}\bigr\rceil$ and $σ(G,3,r)=\floor{r/2}$, and in general $\frac{3r}{2m}-3\le σ(G,m,r)\le\frac{(1+1/\sqrt3)r}{m}$.
Spanning trees with many leaves: new lower bounds in terms of number of vertices of degree~3 and at least~4
Published in Journal of Mathematical Sciences, Volume 196, Issue 6 (2014), pp 747-767
• View Publication
• BIB
We prove, that every connected graph with $s$ vertices of degree 3 and $t$ vertices of degree at least~4 has a spanning tree with at least ${2\over 5}t +{1\over 5}s+α$ leaves, where $α\ge {8\over 5}$. Moreover, $α\ge 2$ for all graphs besides three exclusions. All exclusion are regular graphs of degree~4, they are explicitly described in the paper.
We present infinite series of graphs, containing only vertices of degrees~3 and~4, for which the maximal number of leaves in a spanning tree is equal for ${2\over 5}t +{1\over 5}s+2$. Therefore we prove that our bound is tight.
On the neighbourhoods of trees
Published
• View Publication
• BIB
Tree rearrangement operations typically induce a metric on the space of phylogenetic trees. One important property of these metrics is the size of the neighbourhood, that is, the number of trees exactly one operation from a given tree. We present an expression for the size of the TBR (tree bisection and reconnection) neighbourhood, thus answering a question first posed in [Annals of Combinatorics, 5, 2001 1-15].
Compositions constrained by graph Laplacian minors
Published
• View Publication
• BIB
Motivated by examples of symmetrically constrained compositions, super convex partitions, and super convex compositions, we initiate the study of partitions and compositions constrained by graph Laplacian minors. We provide a complete description of the multivariate generating functions for such compositions in the case of trees. We answer a question due to Corteel, Savage, and Wilf regarding super convex compositions, which we describe as compositions constrained by Laplacian minors for cycles; we extend this solution to the study of compositions constrained by Laplacian minors of leafed cycles. Connections are established and conjectured between compositions constrained by Laplacian minors of leafed cycles of prime length and algebraic/combinatorial properties of reflexive simplices.
Restricted non-separable planar maps and some pattern avoiding permutations
Published
• View Publication
• BIB
Tutte founded the theory of enumeration of planar maps in a series of papers in the 1960s. Rooted non-separable planar maps are in bijection with West-2-stack-sortable permutations, beta(1,0)-trees introduced by Cori, Jacquard and Schaeffer in 1997, as well as a family of permutations defined by the avoidance of two four letter patterns. In this paper we give upper and lower bounds on the number of multiple-edge-free rooted non-separable planar maps. We also use the bijection between rooted non-separable planar maps and a certain class of permutations, found by Claesson, Kitaev and Steingrimsson in 2009, to show that the number of 2-faces (excluding the root-face) in a map equals the number of occurrences of a certain mesh pattern in the permutations. We further show that this number is also the number of nodes in the corresponding beta(1,0)-tree that are single children with maximum label. Finally, we give asymptotics for some of our enumerative results.