tree
6737 papers tagged with this keyword
LLT cumulants of unicellular Young diagrams, parking functions and Schur positivity
We give a combinatorial formula for LLT cumulants of unicellular unilevelled shapes in terms of parking functions and Cayley trees. Our formula implies previously conjectured Schur positivity.
Defining phylogenetic networks using ancestral profiles
Published
• View Publication
• BIB
Rooted phylogenetic networks provide a more complete representation of the ancestral relationship between species than phylogenetic trees when reticulate evolutionary processes are at play. One way to reconstruct a phylogenetic network is to consider its `ancestral profile' (the number of paths from each ancestral vertex to each leaf). In general, this information does not uniquely determine the underlying phylogenetic network. A recent paper considered a new class of phylogenetic networks called `orchard networks' where this uniqueness was claimed to hold. Here we show that an additional restriction on the network, that of being `stack-free', is required in order for the original uniqueness claim to hold. On the other hand, if the additional stack-free restriction is lifted, we establish an alternative result; namely, there is uniqueness within the class of orchard networks up to the resolution of vertices of high in-degree.
Planar binary trees in scattering amplitudes
Published in Algebraic Combinatorics, Resurgence, Moulds and Applications (CARMA) (2020): 349-365
• View Publication
• BIB
These notes are a written version of my talk given at the CARMA workshop in June 2017, with some additional material. I presented a few concepts that have recently been used in the computation of tree-level scattering amplitudes (mostly using pure spinor methods but not restricted to it) in a context that could be of interest to the combinatorics community. In particular, I focused on the appearance of {\it planar binary trees} in scattering amplitudes and presented some curious identities obeyed by related objects, some of which are known to be true only via explicit examples.
Counterbalancing steps at random in a random walk
Published
• View Publication
• BIB
A random walk with counterbalanced steps is a process of partial sums $\check S(n)=\check X_1+ \cdots + \check X_n$ whose steps $\check X_n$ are given recursively as follows. For each $n\geq 2$, with a fixed probability $p$, $\check X_n$ is a new independent sample from some fixed law $μ$, and with complementary probability $1-p$, $\check X_n= -\check X_{v(n)}$ counterbalances a previous step, with $v(n)$ a uniform random pick from $\{1, \ldots, n-1\}$. We determine the asymptotic behavior of $\check S(n)$ in terms of $p$ and the first two moments of $μ$. Our approach relies on a coupling with a reinforcement algorithm due to H.A. Simon, and on properties of random recursive trees and Eulerian numbers, which may be of independent interest. The method can be adapted to the situation where the step distribution $μ$ belongs to the domain of attraction of a stable law.
Set-Sequential Labelings of Odd Trees
Published
• View Publication
• BIB
A tree $T$ on $2^n$ vertices is called set-sequential if the elements in $V(T)\cup E(T)$ can be labeled with distinct nonzero $(n+1)$-dimensional $01$-vectors such that the vector labeling each edge is the component-wise sum modulo $2$ of the labels of the endpoints. It has been conjectured that all trees on $2^n$ vertices with only odd degree are set-sequential (the "Odd Tree Conjecture"), and in this paper, we present progress toward that conjecture. We show that certain kinds of caterpillars (with restrictions on the degrees of the vertices, but no restrictions on the diameter) are set-sequential. Additionally, we introduce some constructions of new set-sequential graphs from smaller set-sequential bipartite graphs (not necessarily odd trees). We also make a conjecture about pairings of the elements of $\mathbb{F}_2^n$ in a particular way; in the process, we provide a substantial clarification of a proof of a theorem that partitions $\mathbb{F}_2^n$ from a 2011 paper by Balister et al. Finally, we put forward a result on bipartite graphs that is a modification of a theorem in Balister et al.
Combinatorial perspectives on Dollo-$k$ characters in phylogenetics
Published
• View Publication
• BIB
Recently, the perfect phylogeny model with persistent characters has attracted great attention in the literature. It is based on the assumption that complex traits or characters can only be gained once and lost once in the course of evolution. Here, we consider a generalization of this model, namely Dollo parsimony, that allows for multiple character losses. More precisely, we take a combinatorial perspective on the notion of Dollo-$k$ characters, i.e. traits that are gained at most once and lost precisely $k$ times throughout evolution. We first introduce an algorithm based on the notion of spanning subtrees for finding a Dollo-$k$ labeling for a given character and a given tree in linear time. We then compare persistent characters (consisting of the union of Dollo-0 and Dollo-1 characters) and general Dollo-$k$ characters. While it is known that there is a strong connection between Fitch parsimony and persistent characters, we show that Dollo parsimony and Fitch parsimony are in general very different. Moreover, while it is known that there is a direct relationship between the number of persistent characters and the Sackin index of a tree, a popular index of tree balance, we show that this relationship does not generalize to Dollo-$k$ characters. In fact, determining the number of Dollo-$k$ characters for a given tree is much more involved than counting persistent characters, and we end this manuscript by introducing a recursive approach for the former. This approach leads to a polynomial time algorithm for counting the number of Dollo-$k$ characters, and both this algorithm as well as the algorithm for computing Dollo-$k$ labelings are publicly available in the Babel package for BEAST 2.
Connectedness of the Free Uniform Spanning Forest as a function of edge weights
Published
• View Publication
• BIB
Let $G$ be the Cartesian product of a regular tree $T$ and a finite connected transitive graph $H$. It is shown in arXiv:2006.06387 that the Free Uniform Spanning Forest ($\mathsf{FSF}$) of this graph may not be connected, but the dependence of this connectedness on $H$ remains somewhat mysterious. We study the case when a positive weight $w$ is put on the edges of the $H$-copies in $G$, and conjecture that the connectedness of the $\mathsf{FSF}$ exhibits a phase transition. For large enough $w$ we show that the $\mathsf{FSF}$ is connected, while for a large family of $H$ and $T$, the $\mathsf{FSF}$ is disconnected when $w$ is small (relying on arXiv:2006.06387). Finally, we prove that when $H$ is the graph of one edge, then for any $w$, the $\mathsf{FSF}$ is a single tree, and we give an explicit formula for the distribution of the distance between two points within the tree.
Large-scale geometry of the saddle connection graph
Published
• View Publication
• BIB
We prove that the saddle connection graph associated to any half-translation surface is 4-hyperbolic and uniformly quasi-isometric to the regular countably infinite-valent tree. Consequently, the saddle connection graph is not quasi-isometrically rigid. We also characterise its Gromov boundary as the set of straight foliations with no saddle connections. In our arguments, we give a generalisation of the unicorn paths in the arc graph which may be of independent interest.
A combinatorial bijection on di-sk trees
Published
• View Publication
• BIB
A di-sk tree is a rooted binary tree whose nodes are labeled by $\oplus$ or $\ominus$, and no node has the same label as its right child. The di-sk trees are in natural bijection with separable permutations. We construct a combinatorial bijection on di-sk trees proving the two quintuples $(\LMAX,\LMIN,\DESB,\iar,\comp)$ and $(\LMAX,\LMIN,\DESB,\comp,\iar)$ have the same distribution over separable permutations. Here for a permutation $π$, $\LMAX(π)/\LMIN(π)$ is the set of values of the left-to-right maxima/minima of $π$ and $\DESB(π)$ is the set of descent bottoms of $π$, while $\comp(π)$ and $\iar(π)$ are respectively the number of components of $π$ and the length of initial ascending run of $π$.
Interestingly, our bijection specializes to a bijection on $312$-avoiding permutations, which provides (up to the classical {\em Knuth--Richards bijection}) an alternative approach to a result of Rubey (2016) that asserts the two triples $(\LMAX,\iar,\comp)$ and $(\LMAX,\comp,\iar)$ are equidistributed on $321$-avoiding permutations. Rubey's result is a symmetric extension of an equidistribution due to Adin--Bagno--Roichman, which implies the class of $321$-avoiding permutations with a prescribed number of components is Schur positive.
Some equidistribution results for various statistics concerning tree traversal are presented in the end.
Five Equivalent Representations of a Phylogenetic Tree
Published
• View Publication
• BIB
A phylogenetic tree is a tree with a fixed set of leaves that has no vertices of degree two.
In this paper, we axiomatically define four other discrete structures on the set of leaves.
We prove that each of these structures is an equivalent representation of a phylogenetic tree.
Upper bounds for the Steklov eigenvalues on trees
Published
• View Publication
• BIB
In this paper, we study the upper bounds for discrete Steklov eigenvalues on trees via geometric quantities. For a finite tree, we prove sharp upper bounds for the first nonzero Steklov eigenvalue by the reciprocal of the size of the boundary and the diameter respectively. We also prove similar estimates for higher order Steklov eigenvalues.
On minimizers of the maximal distance functional for a planar convex closed smooth curve
Fix a compact $M \subset \mathbb{R}^2$ and $r>0$. A minimizer of the maximal distance functional is a connected set $Σ$ of the minimal length, such that \[ max_{y \in M} dist(y,Σ) \leq r. \] The problem of finding maximal distance minimizers is connected to the Steiner tree problem.
In this paper we consider the case of a convex closed curve $M$, with the minimal radius of curvature greater than $r$ (it implies that $M$ is smooth). The first part is devoted to statements on structure of $Σ$: we show that the closure of an arbitrary connected component of $B_r(M) \cap Σ$ is a local Steiner tree which connects no more than five vertices.
In the second part we "derive in the picture". Assume that the left and right neighborhoods of $y \in M$ are contained in $r$-neighborhoods of different points $x_1$, $x_2 \in Σ$. We write conditions on the behavior of $Σ$ in the neighborhoods of $x_1$ and $x_2$ under the assumption by moving $y$ along $M$.
On the Target Pebbling Conjecture
Published
• View Publication
• BIB
Graph pebbling is a network optimization model for satisfying vertex demands with vertex supplies (called pebbles), with partial loss of pebbles in transit. The pebbling number of a demand in a graph is the smallest number for which every placement of that many supply pebbles satisfies the demand. The Target Conjecture (Herscovici-Hester-Hurlbert, 2009) posits that the largest pebbling number of a demand of fixed size $t$ occurs when the demand is entirely stacked on one vertex. This truth of this conjecture could be useful for attacking many open problems in graph pebbling, including the famous conjecture of Graham (1989) involving graph products. It has been verified for complete graphs, cycles, cubes, and trees. In this paper we prove the conjecture for 2-paths and Kneser graphs over pairs.
Obtaining trees of tangles from tangle-tree duality
Published in Journal of Combinatorics, Volume 13, Number 2, pp 251-287, 2022
• View Publication
• BIB
We demonstrate the versatility of the tangle-tree duality theorem for abstract separation systems by using it to prove tree-of-tangles theorems. This approach allows us to strengthen some of the existing tree-of-tangles theorems by bounding the node degrees in them. We also present a slight strengthening and simplified proof of the duality theorem, which allows us to derive a tree-of-tangles theorem also for tangles of different orders.
Hyperpaths
Hypertrees are high-dimensional counterparts of graph theoretic trees. They have attracted a great deal of attention by various investigators. Here we introduce and study Hyperpaths -- a particular class of hypertrees which are high dimensional analogs of paths in graph theory. A $d$-dimensional hyperpath is a $d$-dimensional hypertree in which every $(d-1)$-dimensional face is contained in at most $(d+1)$ faces of dimension $d$. We introduce a possibly infinite family of hyperpaths for every dimension, and investigate its properties in greater depth for dimension $d=2$.
On $k$-rainbow domination in middle graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple graph with vertex set $V(G)$ and edge set $E(G)$. A function $f : V(G) \rightarrow \mathcal{P}(\{1, 2, \dotsc, k\})$ is a \textit{$k$-rainbow dominating function} on $G$ if for each vertex $v \in V(G)$ for which $f(v)= \emptyset$, it holds that $\bigcup_{u \in N(v)}f(u) = \{1, 2, \dotsc, k\}$. The weight of a $k$-rainbow dominating function is the value $\sum_{v \in V(G)}|f(v)|$. The \textit{$k$-rainbow domination number} $γ_{rk}(G)$ is the minimum weight of a $k$-rainbow dominating function on $G$. In this paper, we initiate the study of $k$-rainbow domination numbers in middle graphs. We define the concept of a middle $k$-rainbow dominating function, obtain some bounds related to it and determine the middle $3$-rainbow domination number of some classes of graphs. We also provide upper and lower bounds for the middle $3$-rainbow domination number of trees in terms of the matching number. In addition, we determine the $3$-rainbow domatic number for the middle graph of paths and cycles.
Multiple Random Walks on Graphs: Mixing Few to Cover Many
Published in Combinatorics, Probability and Computing, 32(4):594 - 637, 2023
• View Publication
• BIB
Random walks on graphs are an essential primitive for many randomised algorithms and stochastic processes. It is natural to ask how much can be gained by running $k$ multiple random walks independently and in parallel. Although the cover time of multiple walks has been investigated for many natural networks, the problem of finding a general characterisation of multiple cover times for worst-case start vertices (posed by Alon, Avin, Koucký, Kozma, Lotker, and Tuttle~in 2008) remains an open problem.
First, we improve and tighten various bounds on the stationary cover time when $k$ random walks start from vertices sampled from the stationary distribution. For example, we prove an unconditional lower bound of $Ω((n/k) \log n)$ on the stationary cover time, holding for any $n$-vertex graph $G$ and any $1 \leq k =o(n\log n )$. Secondly, we establish the stationary cover times of multiple walks on several fundamental networks up to constant factors. Thirdly, we present a framework characterising worst-case cover times in terms of stationary cover times and a novel, relaxed notion of mixing time for multiple walks called the partial mixing time. Roughly speaking, the partial mixing time only requires a specific portion of all random walks to be mixed. Using these new concepts, we can establish (or recover) the worst-case cover times for many networks including expanders, preferential attachment graphs, grids, binary trees and hypercubes.
The sandpile group of polygon rings and twisted polygon rings
Published
• View Publication
• BIB
Let $C_{k_1}, \ldots, C_{k_n}$ be cycles with $k_i\geq 2$ vertices ($1\le i\le n$). By attaching these $n$ cycles together in a linear order, we obtain a graph called a polygon chain. By attaching these $n$ cycles together in a cyclic order, we obtain a graph, which is called a polygon ring if it can be embedded on the plane; and called a twisted polygon ring if it can be embedded on the Möbius band. It is known that the sandpile group of a polygon chain is always cyclic. Furthermore, there exist edge generators. In this paper, we not only show that the sandpile group of any (twisted) polygon ring can be generated by at most three edges, but also give an explicit relation matrix among these edges. So we obtain a uniform method to compute the sandpile group of arbitrary (twisted) polygon rings, as well as the number of spanning trees of (twisted) polygon rings. As an application, we compute the sandpile groups of several infinite families of polygon rings, including some that have been done before by ad hoc methods, such as, generalized wheel graphs, ladders and Möbius ladders.
Novel Bounded Binary-Addition Tree Algorithm for Binary-State Network Reliability Problems
Many network applications are based on binary-state networks, where each component has one of two states: success or failure. Efficient algorithms to evaluate binary-state network reliability are continually being developed. Reliability estimates the probability of the success state and is an effective and popular evaluation technique for binary-state networks. Binary-addition tree (BAT) algorithms are frequently used to calculate the efficiency and reliability of binary-state networks. In this study, we propose a novel, bounded BAT algorithm that employs three novel concepts: the first connected vector, the last disconnected vector, and super vectors. These vectors and the calculations of their occurrent probabilities narrow the search space and simplify the probability calculations to reduce the run time of the algorithm. Moreover, we show that replacing each undirected arc with two directed arcs, which is required in traditional direct methods, is unnecessary in the proposed algorithm. We call this novel concept the undirected vectors. The performance of the proposed bounded BAT algorithm was verified experimentally by solving a benchmark set of problems.
Associative spectra of graph algebras I. Foundations, undirected graphs, antiassociative graphs
Published in J. Algebraic Combin. 53 (2021) 613-638
• View Publication
• BIB
Associative spectra of graph algebras are examined with the help of homomorphisms of DFS trees. Undirected graphs are classified according to the associative spectra of their graph algebras; there are only three distinct possibilities: constant 1, powers of 2, and Catalan numbers. Associative and antiassociative digraphs are described, and associative spectra are determined for certain families of digraphs, such as paths, cycles, and graphs on two vertices.