tree
6861 papers tagged with this keyword
Ramsey goodness of bounded degree trees
Published
• View Publication
• BIB
Given a pair of graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest $N$ such that every red-blue coloring of the edges of the complete graph $K_N$ contains a red copy of $G$ or a blue copy of $H$. If a graph $G$ is connected, it is well known and easy to show that $R(G,H) \geq (|G|-1)(χ(H)-1)+σ(H)$, where $χ(H)$ is the chromatic number of $H$ and $σ(H)$ is the size of the smallest color class in a $χ(H)$-coloring of $H$. A graph $G$ is called $H$-good if $R(G,H)= (|G|-1)(χ(H)-1)+σ(H)$. The notion of Ramsey goodness was introduced by Burr and Erdős in 1983 and has been extensively studied since then.
In this paper we show that if $n\geq Ω(|H| \log^4 |H|)$ then every $n$-vertex bounded degree tree $T$ is $H$-good. The dependency between $n$ and $|H|$ is tight up to $\log$ factors. This substantially improves a result of Erdős, Faudree, Rousseau, and Schelp from 1985, who proved that $n$-vertex bounded degree trees are $H$-good when when $n \geq Ω(|H|^4)$.
Constructions of graphs and trees with partially prescribed spectrum
It is shown how a connected graph and a tree with partially prescribed spectrum can be constructed. These constructions are based on a recent result of Salez that every totally real algebraic integer is an eigenvalue of a tree. Our result implies that for any (not necessarily connected) graph $G$, there is a tree $T$ such that the characteristic polynomial $P(G,x)$ of $G$ can divide the characteristic polynomial $P(T,x)$ of $T$, i.e., $P(G,x)$ is a divisor of $P(T,x)$.
Logarithmic Tree Factorials
To any rooted tree, we associate a sequence of numbers that we call the logarithmic factorials of the tree. This provides a generalization of Bhargava's factorials to a natural combinatorial setting suitable for studying questions around generalized factorials.
We discuss several basic aspects of the framework in this paper. In particular, we relate the growth of the sequence of logarithmic factorials associated to a tree to the transience of the random walk and the existence of a harmonic measure on the tree, obtain an equidistribution theorem for factorial-determining-sequences of subsets of local fields, and provide a factorial-based characterization of the branching number of infinite trees.
Our treatment is based on a local weighting process in the tree which gives an effective way of constructing the factorial sequence.
Parameterized counting of trees, forests and matroid bases
Published
• View Publication
• BIB
We investigate the complexity of counting trees, forests and bases of matroids from a parameterized point of view. It turns out that the problems of computing the number of trees and forests with $k$ edges are $\# W[1]$-hard when parameterized by $k$. Together with the recent algorithm for deterministic matrix truncation by Lokshtanov et al. (ICALP 2015), the hardness result for $k$-forests implies $\# W[1]$-hardness of the problem of counting bases of a matroid when parameterized by rank or nullity, even if the matroid is restricted to be representable over a field of characteristic $2$. We complement this result by pointing out that the problem becomes fixed parameter tractable for matroids represented over a fixed finite field.
Reconstruction of graphs via asymmetry
Any graph which is not vertex transitive has a proper induced subgraph which is unique due to its structure or the way of its connection to the rest of the graph. We have called such subgraph as an anchor. Using an anchor which, in fact, is representative of a graph asymmetry, the reconstruction of that graph reduces to a smaller form of the reconstruction. Therefore, to show that a graph is reconstructible, it is sufficient to find a suitable anchor that brings us to a solved form of the problem. An orbit O of a graph G which makes G\ O to be an anchor or two vertices which makes G \{v,w} to be an anchor with the conditions that will be mentioned, is sufficient to show that G is reconstructible. For instance, this fact is enough to show that trees are reconstructible.
Uniform Sampling through the Lovász Local Lemma
Published
• View Publication
• BIB
We propose a new algorithmic framework, called "partial rejection sampling", to draw samples exactly from a product distribution, conditioned on none of a number of bad events occurring. Our framework builds (perhaps surprising) new connections between the variable framework of the Lovász Local Lemma and some classical sampling algorithms such as the "cycle-popping" algorithm for rooted spanning trees. Among other applications, we discover new algorithms to sample satisfying assignments of k-CNF formulas with bounded variable occurrences.
Scaling limits for some random trees constructed inhomogeneously
Published
• View Publication
• BIB
We define some new sequences of recursively constructed random combinatorial trees, and show that, after properly rescaling graph distance and equipping the trees with the uniform measure on vertices, each sequence converges almost surely to a real tree in the Gromov-Hausdorff-Prokhorov sense. The limiting real trees are constructed via line-breaking the real half-line with a Poisson process having rate $(\ell+1)t^\ell dt$, for each positive integer $\ell$, and the growth of the combinatorial trees may be viewed as an inhomogeneous generalization of Rémy's algorithm.
A bijective study of Basketball walks
The Catalan numbers count many classes of combinatorial objects. The most emblematic such objects are probably the Dyck walks and the binary trees, and, whenever another class of combinatorial objects is counted by the Catalan numbers, it is natural to search for an explicit bijection between the latter objects and one of the former objects. In most cases, such a bijection happens to be relatively simple but it might sometimes be more intricate.
In this work, we focus on so-called \emph{basketball walks}, which are integer-valued walks with step-set $\{-2,-1,+1,+2\}$. The presence of $-2$ as an allowed step makes it impossible to use the classical Łukasiewicz encoding of trees by integer-valued walks, and thus a different strategy is needed. We give an explicit bijection that maps, for each $n\ge 2$, $n$-step basketball walks from $0$ to $0$ that visit $1$ and are positive except at their extremities to $n$-leaf binary trees. Moreover, we can partition the steps of a walk into $\pm 1$-steps, odd $+2$-steps or even $-2$-steps, and odd $-2$-steps or even $+2$-steps, and these three types of steps are mapped through our bijection to double leaves, left leaves, and right leaves of the corresponding tree.
We also prove that basketball walks from $0$ to $1$ that are positive except at the origin are in bijection with increasing unary-binary trees with associated permutation avoiding $213$. We furthermore give the refined generating function of these objects with an extra variable accounting for the unary nodes.
Even and odd plane labelled bipartite trees
Let $T(n,m)$ be the set of all plane labelled bipartite trees with $n$ white vertices and $m$ black. If the number $n+m$ of vertices is even, then the set $T(n,m)$ is a union of two disjoint subsets --- subset od "even" trees and subset of "odd" trees. This partition has a clear geometric meaning.
Local limits of large Galton-Watson trees rerooted at a random vertex
Published
• View Publication
• BIB
We discuss various forms of convergence of the vicinity of a uniformly at random selected vertex in random simply generated trees, as the size tends to infinity. For the standard case of a critical Galton-Watson tree conditioned to be large the limit is the invariant random sin-tree constructed by Aldous (1991). In the condensation regime, we describe in complete generality the asymptotic local behaviour from a random vertex up to its first ancestor with large degree. Beyond this distinguished ancestor, different behaviour may occur, depending on the branching weights. In a subregime of complete condensation, we obtain convergence toward a novel limit tree, that describes the asymptotic shape of the vicinity of the full path from a random vertex to the root vertex. This includes the case where the offspring distribution follows a power law up to a factor that varies slowly at infinity.
Hermitian-Randić matrix and Hermitian-Randić energy of mixed graphs
Published
• View Publication
• BIB
Let $M$ be a mixed graph and $H(M)$ be its Hermitian-adjacency matrix. If we add every edge and arc in $M$ a Randić weight, then we can get a new weighted Hermitian-adjacency matrix. What are the properties of this new matrix? Motivated by this, we define the Hermitian-Randić matrix $R_{H}(M)=(r_{h})_{kl}$ of a mixed graph $M$, where $(r_{h})_{kl}=-(r_{h})_{lk}=\frac{\textbf{i}}{\sqrt{d_{k}d_{l}}}$ ($\textbf{i}=\sqrt{-1}$) if $(v_{k},v_{l})$ is an arc of $M$, $(r_{h})_{kl}=(r_{h})_{lk}=\frac{1}{\sqrt{d_{k}d_{l}}}$ if $v_{k}v_{l}$ is an undirected edge of $M$, and $(r_{h})_{kl}=0$ otherwise.
In this paper, firstly, we compute the characteristic polynomial of the Hermitian-Randić matrix of a mixed graph. Furthermore, we give bounds to the Hermitian-Randić energy of a general mixed graph. Finally, we give some results about the Hermitian-Randić energy of mixed trees.
Evangelism in Social Networks: Algorithms and Complexity
Published
• View Publication
• BIB
We consider a population of interconnected individuals that, with respect to a piece of information, at each time instant can be subdivided into three (time-dependent) categories: agnostics, influenced, and evangelists. A dynamical process of information diffusion evolves among the individuals of the population according to the following rules. Initially, all individuals are agnostic. Then, a set of people is chosen from the outside and convinced to start evangelizing, i.e., to start spreading the information. When a number of evangelists, greater than a given threshold, communicate with a node v, the node v becomes influenced, whereas, as soon as the individual v is contacted by a sufficiently much larger number of evangelists, it is itself converted into an evangelist and consequently it starts spreading the information. The question is: How to choose a bounded cardinality initial set of evangelists so as to maximize the final number of influenced individuals? We prove that the problem is hard to solve, even in an approximate sense. On the positive side, we present exact polynomial time algorithms for trees and complete graphs. For general graphs, we derive exact parameterized algorithms. We also investigate the problem when the objective is to select a minimum number of evangelists capable of influencing the whole network. Our motivations to study these problems come from the areas of Viral Marketing and the analysis of quantitative models of spreading of influence in social networks.
Amenability of trees
Published in London Mathematical Society Lecture Note Series, 436 (2017)
• View Publication
• BIB
We will give a criterion for the amenability of arbitrary locally finite trees. The criterion is based on the trimming operator which is defined on the space of trees. As an application, we obtain a necessary and sufficient condition for that amenability of Galton-Watson trees.
More on foxes
Published
• View Publication
• BIB
An edge in a $k$-connected graph $G$ is called {\em $k$-contractible} if the graph $G/e$ obtained from $G$ by contracting $e$ is $k$-connected. Generalizing earlier results on $3$-contractible edges in spanning trees of $3$-connected graphs, we prove that (except for the graphs $K_{k+1}$ if $k \in \{1,2\}$) (a) every spanning tree of a $k$-connected triangle free graph has two $k$-contractible edges, (b) every spanning tree of a $k$-connected graph of minimum degree at least $\frac{3}{2}k-1$ has two $k$-contractible edges, (c) for $k>3$, every DFS tree of a $k$-connected graph of minimum degree at least $\frac{3}{2}k-\frac{3}{2}$ has two $k$-contractible edges, (d) every spanning tree of a cubic $3$-connected graph nonisomorphic to $K_4$ has at least $\frac{1}{3}|V(G)|-1$ many $3$-contractible edges, and (e) every DFS tree of a $3$-connected graph nonisomorphic to $K_4$, the prism, or the prism plus a single edge has two 3-contractible edges. We also discuss in which sense these theorems are best possible.
Improved Lower Bounds for Graph Embedding Problems
Published
• View Publication
• BIB
In this paper, we give new, tight subexponential lower bounds for a number of graph embedding problems. We introduce two related combinatorial problems, which we call String Crafting and Orthogonal Vector crafting, and show that these cannot be solved in time $2^{o(|s|/\log{|s|})}$, unless the Exponential Time Hypothesis fails.
These results are used to obtain simplified hardness results for several graph embedding problems, on more restricted graph classes than previously known: assuming the Exponential Time Hypothesis, there do not exist algorithms that run in $2^{o(n/\log n)}$ time for Subgraph Isomorphism on graphs of pathwidth 1, Induced Subgraph Isomorphism on graphs of pathwidth 1, Graph Minor on graphs of pathwidth 1, Induced Graph Minor on graphs of pathwidth 1, Intervalizing 5-Colored Graphs on trees, and finding a tree or path decomposition with width at most $c$ with a minimum number of bags, for any fixed $c\geq 16$.
$2^{Θ(n/\log n)}$ appears to be the "correct" running time for many packing and embedding problems on restricted graph classes, and we think String Crafting and Orthogonal Vector Crafting form a useful framework for establishing lower bounds of this form.
Parking on a random tree
Published in Combinator. Probab. Comp. 28 (2019) 23-45
• View Publication
• BIB
Consider a uniform random rooted tree on vertices labelled by $[n] = \{1,2,\ldots,n\}$, with edges directed towards the root. We imagine that each node of the tree has space for a single car to park. A number $m \le n$ of cars arrive one by one, each at a node chosen independently and uniformly at random. If a car arrives at a space which is already occupied, it follows the unique path oriented towards the root until it encounters an empty space, in which case it parks there; if there is no empty space, it leaves the tree. Consider $m =[αn]$ and let $A_{n,α}$ denote the event that all $[αn]$ cars find spaces in the tree. Lackner and Panholzer proved (via analytic combinatorics methods) that there is a phase transition in this model. Then if $α\le 1/2$, we have $\mathbb{P}(A_{n,α}) \to \frac{\sqrt{1-2α}}{1-α}$, whereas if $α> 1/2$ we have $\mathbb{P}(A_{n,α}) \to 0$. We give a probabilistic explanation for this phenomenon, and an alternative proof via the objective method. Along the way, we are led to consider the following variant of the problem: take the tree to be the family tree of a Galton-Watson branching process with Poisson(1) offspring distribution, and let an independent Poisson($α$) number of cars arrive at each vertex. Let $X$ be the number of cars which visit the root of the tree. Then for $α\le 1/2$, we have $\mathbb{E}[X] \leq 1$, whereas for $α> 1/2$, we have $\mathbb{E}[X] = \infty$. This discontinuous phase transition turns out to be a generic phenomenon in settings with an arbitrary offspring distribution of mean at least 1 for the tree and arbitrary arrival distribution.
On intersecting families of independent sets in trees
Published
• View Publication
• BIB
A family of sets is intersecting if every pair of its sets intersect. A star is a family with some element (a center) in each of its sets. The classical 1961 result of Erdős, Ko, and Rado states that every intersecting family of r-sets with $r\leq n/2$ has size at most that of a star. We say that graph G is r-EKR if, among all intersecting families of independent r-sets of G, the largest is attained by a star. In 2005 Holroyd and Talbot conjectured that every graph G is r-EKR for all $1\leq r\leq μ(G)/2$, where $μ(G)$ is the size of the smallest maximal independent set in G. We verified the conjecture in 2011 for all chordal graphs containing an isolated vertex.
For graphs without isolated vertices it is difficult to determine the center of the largest star, which is often necessary to prove that they are EKR. A tree has the leaf property if its largest star occurs on one of its leaves. We proved that every tree T has the leaf property when $r\leq 4$, and in 2017 Borg and other authors gave examples of families of trees not having the leaf property when $r\geq 5$. A split vertex in a tree is a vertex of degree at least 3. A spider is a tree with exactly one split vertex. Here we prove that all spiders have the leaf property for all $r\leq α(G)$, where $α(G)$ is the independence number of $G$, and we characterize which of its leaves are maximum star centers. A pendant tree is one for which each of its split vertices is adjacent to a leaf. Here we show that all pendant trees have the leaf property for all $r\leq α(G)$. We also consider pendant trees with exactly two split vertices and provide partial results on the locations of their maximum star centers.
A note on dimers and T-graphs
The purpose of this note is to give a succinct summary of some basic properties of T-graphs which arise in the study of the dimer model. We focus in particular on the relation between the dimer model on the heaxgonal lattice with a given slope, and the behaviour of the uniform spanning tree on the associated T-graph. Together with the main result of the companion paper \cite{BLR16}, the results here show Gaussian free field fluctuations for the height function in some dimer models.
Minimum triplet covers of binary phylogenetic $X$-trees
Published
• View Publication
• BIB
Trees with labelled leaves and with all other vertices of degree three play an important role in systematic biology and other areas of classification. A classical combinatorial result ensures that such trees can be uniquely reconstructed from the distances between the leaves (when the edges are given any strictly positive lengths). Moreover, a linear number of these pairwise distance values suffices to determine both the tree and its edge lengths. A natural set of pairs of leaves is provided by any `triplet cover' of the tree (based on the fact that each non-leaf vertex is the median vertex of three leaves). In this paper we describe a number of new results concerning triplet covers of minimum size. In particular, we characterize such covers in terms of an associated graph being a 2-tree. Also, we show that minimum triplet covers are `shellable' and thereby provide a set of pairs for which the inter-leaf distance values will uniquely determine the underlying tree and its associated branch lengths.
Limiting behavior of 3-color excitable media on arbitrary graphs
Published
• View Publication
• BIB
Fix a simple graph $G=(V,E)$ and choose a random initial 3-coloring of vertices drawn from a uniform product measure. The 3-color cycle cellular automaton is a process in which at each discrete time step in parallel, every vertex with color $i$ advances to the successor color $(i+1)$ mod 3 if in contact with a neighbor with the successor color, and otherwise retains the same color. In the Greenberg-Hastings Model, the same update rule applies only to color 0, while other two colors automatically advance. The limiting behavior of these processes has been studied mainly on the integer lattices. In this paper, we introduce a monotone comparison process defined on the universal covering space of the underlying graph, and characterize the limiting behavior of these processes on arbitrary connected graphs. In particular, we establish a phase transition on the Erdös-Rényi random graph. On infinite trees, we connect the rate of color change to the cloud speed of an associated tree-indexed walk. We give estimates of the cloud speed by generalizing known results to trees with leaves.