tree
6737 papers tagged with this keyword
Ramanujan bigraphs associated with SU(3) over a p-adic field
Published
• View Publication
• BIB
We use the representation theory of the quasisplit form G of SU(3) over a p-adic field to investigate whether certain quotients of the Bruhat--Tits tree associated to this form are Ramanujan bigraphs. We show that a quotient of the tree associated with G (which is a biregular bigraph) is Ramanujan if and only if G satisfies a Ramanujan type conjecture. This result is analogous to the seminal case of PGL(2) considered by Lubotzky-Phillips-Sarnak. As a consequence, the classification by Rogawski of the automorphic spectrum of U(3) implies the existence of certain infinite families of Ramanujan bigraphs.
Colored graphs, Gaussian integrals and stable graph polynomials
Asymptotic expansions of Gaussian integrals may often be interpreted as generating functions for certain combinatorial objects (graphs with additional data). In this article we discuss a general approach to all such cases using colored graphs. We prove that the generating power series for such graphs satisfy the same system of partial differential equations as the Gaussian integral and the formal power series solution of this system is unique. The solution is obtained as the genus expansion of the generating power series. The initial term of this expansion is the corresponding generating function for trees. The consequence equations for this term turns to be equivalent to the inversion problem for the gradient mapping defined by the initial condition. The equations for the higher terms of the genus expansion are linear. The solutions of these equations can be expressed explicitly by substitution of the initial conditions and the initial term (the tree expansion) into some universal polynomials (for g>1) which are generating functions for stable closed graphs. (For g=1 instead of polynomials appears logarithm.) The stable graph polynomials satisfy certain recurrence. In [1] some of these results were obtained for the one dimensional case by more or less direct solution of differential equations. Here we present purely combinatorial proofs.
Enumeration of connected Catalan objects by type
Published
• View Publication
• BIB
Noncrossing set partitions, nonnesting set partitions, Dyck paths, and rooted plane trees are four classes of Catalan objects which carry a notion of type. There exists a product formula which enumerates these objects according to type. We define a notion of `connectivity' for these objects and prove an analogous product formula which counts connected objects by type. Our proof of this product formula is combinatorial and bijective. We extend this to a product formula which counts objects with a fixed type and number of connected components. We relate our product formulas to symmetric functions arising from parking functions. We close by presenting an alternative proof of our product formulas communicated to us by Christian Krattenthaler which uses generating functions and Lagrange inversion.
CSD Homomorphisms Between Phylogenetic Networks
Published in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2012) 9: 1128-1138
• View Publication
• BIB
Since Darwin, species trees have been used as a simplified description of the relationships which summarize the complicated network $N$ of reality. Recent evidence of hybridization and lateral gene transfer, however, suggest that there are situations where trees are inadequate. Consequently it is important to determine properties that characterize networks closely related to $N$ and possibly more complicated than trees but lacking the full complexity of $N$.
A connected surjective digraph map (CSD) is a map $f$ from one network $N$ to another network $M$ such that every arc is either collapsed to a single vertex or is taken to an arc, such that $f$ is surjective, and such that the inverse image of a vertex is always connected. CSD maps are shown to behave well under composition. It is proved that if there is a CSD map from $N$ to $M$, then there is a way to lift an undirected version of $M$ into $N$, often with added resolution. A CSD map from $N$ to $M$ puts strong constraints on $N$.
In general, it may be useful to study classes of networks such that, for any $N$, there exists a CSD map from $N$ to some standard member of that class.
How frequently is a system of 2-linear Boolean equations solvable?
Published
• View Publication
• BIB
We consider a random system of equations $x_i+x_j=b_{(i,j)} (\text{mod }2)$, $(x_u\in \{0,1\},\, b_{(u,v)}=b_{(v,u)}\in\{0,1\})$, with the pairs $(i,j)$ from $E$, a symmetric subset of $[n]\times [n]$. $E$ is chosen uniformly at random among all such subsets of a given cardinality $m$; alternatively $(i,j)\in E$ with a given probability $p$, independently of all other pairs. Also, given $E$, $\pr\{b_{e}=0\}=\pr\{b_e=1\}$ for each $e\in E$, independently of all other $b_{e^\prime}$. It is well known that, as $m$ passes through $n/2$ ($p$ passes through $1/n$, resp.), the underlying random graph $G(n,\#\text{edges}=m)$, ($G(n,\pr(\text{edge})=p)$, resp.) undergoes a rapid transition, from essentially a forest of many small trees to a graph with one large, multicyclic, component in a sea of small tree components. We should expect then that the solvability probability decreases precipitously in the vicinity of $m\sim n/2$ ($p\sim 1/n$), and indeed this probability is of order $(1-2m/n)^{1/4}$, for $m<n/2$ ($(1-pn)^{1/4}$, for $p<1/n$, resp.). We show that in a near-critical phase $m=(n/2)(1+\la n^{-1/3})$ ($p=(1+\la n^{-1/3})/n$, resp.), $\la=o(n^{1/12})$, the system is solvable with probability asymptotic to $c(\la)n^{-1/12}$, for some explicit function $c(\la)>0$. Mike Molloy noticed that the Boolean system with $b_e\equiv 1$ is solvable iff the underlying graph is $2$-colorable, and asked whether this connection might be used to determine an order of probability of $2$-colorability in the near-critical case. We answer Mike's question affirmatively and show that probability of $2$-colorability is $\lesssim 2^{-1/4}e^{1/8}c(λ)n^{-1/12}$, and asymptotic to $2^{-1/4}e^{1/8}c(\la)n^{-1/12}$ at a critical phase $\la=O(1)$, and for $\la\to -\infty$. (Submitted to Electronic Journal of Combinatorics on September 7, 2009.)
Component structure of the vacant set induced by a random walk on a random graph
Published
• View Publication
• BIB
We consider random walks on several classes of graphs and explore the likely structure of the vacant set, i.e. the set of unvisited vertices. Let Γ(t) be the subgraph induced by the vacant set of the walk at step t. We show that for random graphs G_{n,p} (above the connectivity threshold) and for random regular graphs G_r, r \geq 3, the graph Γ(t) undergoes a phase transition in the sense of the well-known Erdos-Renyi phase transition. Thus for t \leq (1-ε)t^*, there is a unique giant component, plus components of size O(log n), and for t \geq (1+ε)t^* all components are of size O(log n). For G_{n,p} and G_r we give the value of t^*, and the size of Γ(t). For G_r, we also give the degree sequence of Γ(t), the size of the giant component (if any) of Γ(t) and the number of tree components of Γ(t) of a given size k=O(log n). We also show that for random digraphs D_{n,p} above the strong connectivity threshold, there is a similar directed phase transition. Thus for t\leq (1-ε)t^*, there is a unique strongly connected giant component, plus strongly connected components of size O(log n), and for t\geq (1+ε)t^* all strongly connected components are of size O(log n).
The asymptotic number of occurrences of a subtree in trees with bounded maximum degree and an application to the Estrada index
Let $\mathcal {T}^Δ_n$ denote the set of trees of order $n$, in which the degree of each vertex is bounded by some integer $Δ$. Suppose that every tree in $\mathcal {T}^Δ_n$ is equally likely. For any given subtree $H$, we show that the number of occurrences of $H$ in trees of $\mathcal {T}^Δ_n$ is with mean $(μ_H+o(1))n$ and variance $(σ_H+o(1))n$, where $μ_H$, $σ_H$ are some constants. As an application, we estimate the value of the Estrada index $EE$ for almost all trees in $\mathcal {T}^Δ_n$, and give an explanation in theory to the approximate linear correlation between $EE$ and the first Zagreb index obtained by quantitative analysis.
Bounds on the 2-rainbow domination number of graphs
Published
• View Publication
• BIB
A {\it 2-rainbow domination function} of a graph $G$ is a function $f$ that assigns to each vertex a set of colors chosen from the set $\{1,2\}$, such that for any $v\in V(G)$, $f(v)=\emptyset$ implies $\bigcup_{u\in N(v)}f(u)=\{1,2\}$. The {\it 2-rainbow domination number $γ_{r2}(G)$} of a graph $G$ is the minimum $w(f)=Σ_{v\in V}|f(v)|$ over all such functions $f$. Let $G$ be a connected graph of order $|V(G)|=n\geq 3$. We prove that $γ_{r2}(G)\leq 3n/4$ and we characterize the graphs achieving equality. We also prove a lower bound for 2-rainbow domination number of a tree using its domination number. Some other lower and upper bounds of $γ_{r2}(G)$ in terms of diameter are also given.
Hardness results on generalized connectivity
Published
• View Publication
• BIB
Let $G$ be a nontrivial connected graph of order $n$ and let $k$ be an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $κ(S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$ such that $V(T_i)\cap V(T_j)=S$ for every pair $i,j$ of distinct integers with $1\leq i,j\leq \ell$. A collection $\{T_1,T_2,...,T_\ell\}$ of trees in $G$ with this property is called an internally disjoint set of trees connecting $S$. Chartrand et al. generalized the concept of connectivity as follows: The $k$-$connectivity$, denoted by $κ_k(G)$, of $G$ is defined by $κ_k(G)=$min$\{κ(S)\}$, where the minimum is taken over all $k$-subsets $S$ of $V(G)$. Thus $κ_2(G)=κ(G)$, where $κ(G)$ is the connectivity of $G$, for which there are polynomial-time algorithms to solve it. This paper mainly focus on the complexity of the generalized connectivity. At first, we obtain that for two fixed positive integers $k_1$ and $k_2$, given a graph $G$ and a $k_1$-subset $S$ of $V(G)$, the problem of deciding whether $G$ contains $k_2$ internally disjoint trees connecting $S$ can be solved by a polynomial-time algorithm. Then, we show that when $k_1$ is a fixed integer of at least 4, but $k_2$ is not a fixed integer, the problem turns out to be NP-complete. On the other hand, when $k_2$ is a fixed integer of at least 2, but $k_1$ is not a fixed integer, we show that the problem also becomes NP-complete. Finally we give some open problems.
Ordered forests, permutations and iterated integrals
Published
• View Publication
• BIB
We construct an explicit Hopf algebra isomorphism from the algebra of heap-ordered trees to that of quasi-symmetric functions, generated by formal permutations, which is a lift of the natural projection of the Connes-Kreimer algebra of decorated rooted trees onto the shuffle algebra. This isomorphism gives a universal way of lifting measure-indexed characters of the Connes-Kreimer algebra into measure-indexed characters of the shuffle algebra, already introduced in \cite{Unterberger} in the framework of rough path theory as the so-called Fourier normal ordering algorithm.
On Simsun and Double Simsun Permutations Avoiding a Pattern of Length Three
Published
• View Publication
• BIB
A permutation $σ\in\mathfrak{S}_n$ is simsun if for all $k$, the subword of $σ$ restricted to $\{1,...,k\}$ does not have three consecutive decreasing elements. The permutation $σ$ is double simsun if both $σ$ and $σ^{-1}$ are simsun. In this paper we present a new bijection between simsun permutations and increasing 1-2 trees, and show a number of interesting consequences of this bijection in the enumeration of pattern-avoiding simsun and double simsun permutations. We also enumerate the double simsun permutations that avoid each pattern of length three.
On dissimilarity vectors of (not necessarily positive) weighted trees
Published
• View Publication
• BIB
Let T be a (not necessarily positive) weighted tree with n leaves numbered by the set {1,...,n}. Define the k-weights of the tree D_{i_1,....,i_k}(T) as the sum of the lengths of the edges of the minimal subtree connecting i_1,....,i_k. We will call such numbers "k-weights" of the tree. In this paper, we characterize the sets of real numbers indexed by the subsets of any cardinality >= 2 of a n-set to be the weights of a tree with n leaves.
Reconstruction Threshold for the Hardcore Model
Published in In Proceedings of the 14th International Conference on Randomization and Computation (RANDOM), volume 6302 of Lecture Notes in Computer Science, pages 434-447. Springer, 2010
• View Publication
• BIB
In this paper we consider the reconstruction problem on the tree for the hardcore model. We determine new bounds for the non-reconstruction regime on the k-regular tree showing non-reconstruction when lambda < (ln 2-o(1))ln^2(k)/(2 lnln(k)) improving the previous best bound of lambda < e-1. This is almost tight as reconstruction is known to hold when lambda> (e+o(1))ln^2(k). We discuss the relationship for finding large independent sets in sparse random graphs and to the mixing time of Markov chains for sampling independent sets on trees.
Balanced Vertices in Trees and a Simpler Algorithm to Compute the Genomic Distance
Published
• View Publication
• BIB
This paper provides a short and transparent solution for the covering cost of white-grey trees which play a crucial role in the algorithm of Bergeron {\it et al.}\ to compute the rearrangement distance between two multichromosomal genomes in linear time ({\it Theor. Comput. Sci.}, 410:5300-5316, 2009). In the process it introduces a new {\em center} notion for trees, which seems to be interesting on its own.
Single Polygon Counting for $m$ Fixed Nodes in Cayley Tree: Two Extremal Cases
We denote a polygon as a connected component in Cayley tree of order 2 containing certain number of fix vertices. We found an exact formula for a polygon counting problem for two cases, in which, for the first case the polygon contain a full connected component of a Cayley tree and for the second case the polygon contain two fixed vertices. From these formulas, which is in the form of finite linear combination of Catalan numbers, one can find the asymptotic estimation for a counting problem.
Bijections for Entringer families
Published in European Journal of Combinatorics, 32(1), 100-115, 2011
• View Publication
• BIB
André proved that the number of alternating permutations on $\{1, 2, \dots, n\}$ is equal to the Euler number $E_n$. A refinement of André's result was given by Entringer, who proved that counting alternating permutations according to the first element gives rise to Seidel's triangle $(E_{n,k})$ for computing the Euler numbers. In a series of papers, using generating function method and induction, Poupard gave several further combinatorial interpretations for $E_{n,k}$ both in alternating permutations and increasing trees. Kuznetsov, Pak, and Postnikov have given more combinatorial interpretations of $E_{n,k}$ in the model of trees. The aim of this paper is to provide bijections between the different models for $E_{n,k}$ as well as some new interpretations. In particular, we give the first explicit one-to-one correspondence between Entringer's alternating permutation model and Poupard's increasing tree model.
A note on hook length formulas for trees
In this short note we discuss recent results on hook length formulas of trees unifying some earlier results, and explain hook length formulas naturally associated to families of increasingly labelled trees.
k-Edge-Connectivity: Approximation and LP Relaxation
Published
• View Publication
• BIB
In the k-edge-connected spanning subgraph problem we are given a graph (V, E) and costs for each edge, and want to find a minimum-cost subset F of E such that (V, F) is k-edge-connected. We show there is a constant eps > 0 so that for all k > 1, finding a (1 + eps)-approximation for k-ECSS is NP-hard, establishing a gap between the unit-cost and general-cost versions. Next, we consider the multi-subgraph cousin of k-ECSS, in which we purchase a multi-subset F of E, with unlimited parallel copies available at the same cost as the original edge. We conjecture that a (1 + Theta(1/k))-approximation algorithm exists, and we describe an approach based on graph decompositions applied to its natural linear programming (LP) relaxation. The LP is essentially equivalent to the Held-Karp LP for TSP and the undirected LP for Steiner tree. We give a family of extreme points for the LP which are more complex than those previously known.
Optimality of the Neighbor Joining Algorithm and Faces of the Balanced Minimum Evolution Polytope
Published
• View Publication
• BIB
Balanced minimum evolution (BME) is a statistically consistent distance-based method to reconstruct a phylogenetic tree from an alignment of molecular data. In 2000, Pauplin showed that the BME method is equivalent to optimizing a linear functional over the BME polytope, the convex hull of the BME vectors obtained from Pauplin's formula applied to all binary trees. The BME method is related to the Neighbor Joining (NJ) algorithm, now known to be a greedy optimization of the BME principle. Further, the NJ and BME algorithms have been studied previously to understand when the NJ Algorithm returns a BME tree for small numbers of taxa. In this paper we aim to elucidate the structure of the BME polytope and strengthen knowledge of the connection between the BME method and NJ Algorithm. We first prove that any subtree-prune-regraft move from a binary tree to another binary tree corresponds to an edge of the BME polytope. Moreover, we describe an entire family of faces parametrized by disjoint clades. We show that these {\em clade-faces} are smaller dimensional BME polytopes themselves. Finally, we show that for any order of joining nodes to form a tree, there exists an associated distance matrix (i.e., dissimilarity map) for which the NJ Algorithm returns the BME tree. More strongly, we show that the BME cone and every NJ cone associated to a tree $T$ have an intersection of positive measure.
The asymptotic values of the general Zagreb and Randić indices of trees with bounded maximum degree
Let $\mathcal {T}^Δ_n$ denote the set of trees of order $n$, in which the degree of each vertex is bounded by some integer $Δ$. Suppose that every tree in $\mathcal {T}^Δ_n$ is equally likely. We show that the number of vertices of degree $j$ in $\mathcal {T}^Δ_n$ is asymptotically normal with mean $(μ_j+o(1))n$ and variance $(σ_j+o(1))n$, where $μ_j$, $σ_j$ are some constants. As a consequence, we give estimate to the value of the general Zagreb index for almost all trees in $\mathcal {T}^Δ_n$. Moreover, we obtain that the number of edges of type $(i,j)$ in $\mathcal {T}^Δ_n$ also has mean $(μ_{ij}+o(1))n$ and variance $(σ_{ij}+o(1))n$, where an edge of type $(i,j)$ means that the edge has one end of degree $i$ and the other of degree $j$, and $μ_{ij}$, $σ_{ij}$ are some constants. Then, we give estimate to the value of the general Randić index for almost all trees in $\mathcal {T}^Δ_n$.