tree
6861 papers tagged with this keyword
Eulerian idempotent, pre-Lie logarithm and combinatorics of trees
The aim of this paper is to bring together the three objects in the title. Recall that, given a Lie algebra $\mathfrak{g}$, the Eulerian idempotent is a canonical projection from the enveloping algebra $U(\mathfrak{g})$ to $\mathfrak{g}$. The Baker-Campbell-Hausdorff product and the Magnus expansion can both be expressed in terms of the Eulerian idempotent, which makes it interesting to establish explicit formulas for the latter. We show how to reduce the computation of the Eulerian idempotent to the computation of a logarithm in a certain pre-Lie algebra of planar, binary, rooted trees. The problem of finding formulas for the pre-Lie logarithm, which is interesting in its own right -- being related to operad theory, numerical analysis and renormalization -- is addressed using techniques inspired by umbral calculus. As a consequence of our analysis, we find formulas both for the Eulerian idempotent and the pre-Lie logarithm in terms of the combinatorics of trees.
Exact Localisations of Feedback Sets
Published
• View Publication
• BIB
The feedback arc (vertex) set problem, shortened FASP (FVSP), is to transform a given multi digraph $G=(V,E)$ into an acyclic graph by deleting as few arcs (vertices) as possible. Due to the results of Richard M. Karp in 1972 it is one of the classic NP-complete problems. An important contribution of this paper is that the subgraphs $G_{\mathrm{el}}(e)$, $G_{\mathrm{si}}(e)$ of all elementary cycles or simple cycles running through some arc $e \in E$, can be computed in $\mathcal{O}\big(|E|^2\big)$ and $\mathcal{O}(|E|^4)$, respectively. We use this fact and introduce the notion of the essential minor and isolated cycles, which yield a priori problem size reductions and in the special case of so called resolvable graphs an exact solution in $\mathcal{O}(|V||E|^3)$. We show that weighted versions of the FASP and FVSP possess a Bellman decomposition, which yields exact solutions using a dynamic programming technique in times $\mathcal{O}\big(2^{m}|E|^4\log(|V|)\big)$ and $\mathcal{O}\big(2^{n}Δ(G)^4|V|^4\log(|E|)\big)$, where $m \leq |E|-|V| +1$, $n \leq (Δ(G)-1)|V|-|E| +1$, respectively. The parameters $m,n$ can be computed in $\mathcal{O}(|E|^3)$, $\mathcal{O}(Δ(G)^3|V|^3)$, respectively and denote the maximal dimension of the cycle space of all appearing meta graphs, decoding the intersection behavior of the cycles. Consequently, $m,n$ equal zero if all meta graphs are trees. Moreover, we deliver several heuristics and discuss how to control their variation from the optimum. Summarizing, the presented results allow us to suggest a strategy for an implementation of a fast and accurate FASP/FVSP-SOLVER.
Cross-Multiplicative Coalescent Processes and Applications
Published
• View Publication
• BIB
We introduce and analyze a novel type of coalescent processes called cross-multiplicative coalescent that models a system with two types of particles, $A$ and $B$. The bonds are formed only between the pairs of particles of opposite types with the same rate for each bond, producing connected components made of particles of both types. We analyze and solve the Smoluchowski coagulation system of equations obtained as a hydrodynamic limit of the corresponding Marcus-Lushnikov process. We establish that the cross-multiplicative kernel is a gelling kernel, and find the gelation time. As an application, we derive the limiting mean length of a minimal spanning tree on a complete bipartite graph $K_{α[n], β[n]}$ with partitions of sizes $α[n]=αn +o(\sqrt{n})$ and $β[n]=βn +o(\sqrt{n})$ and independent edge weights, distributed uniformly over $[0, 1]$.
Residues modulo powers of two in the Young-Fibonacci lattice
We study the subgraph of the Young-Fibonacci graph induced by elements with odd $f$-statistic (the $f$-statistic of an element $w$ of a differential graded poset is the number of saturated chains from the minimal element of the poset to $w$). We show that this subgraph is a binary tree. Moreover, the odd residues of the $f$-statistics in a row of this tree equidistibute modulo any power two. This is equivalent to a purely number theoretic result about the equidistribution of residues modulo powers of two among the products of distinct odd numbers less than a fixed number.
Protection Number in Plane Trees
Published in Appl. Anal. Discrete Math. 11 (2017), pp. 314--326
• View Publication
• BIB
The protection number of a plane tree is the minimal distance of the root to a leaf; this definition carries over to an arbitrary node in a plane tree by considering the maximal subtree having this node as a root. We study the the protection number of a uniformly chosen random tree of size $n$ and also the protection number of a uniformly chosen node in a uniformly chosen random tree of size $n$. The method is to apply singularity analysis to appropriate generating functions. Additional results are provided as well.
The perimeter cascade in critical Boltzmann quadrangulations decorated by an $O(n)$ loop model
Published in Ann. Inst. Henri Poincaré D, 7(4):535-584, 2020
• View Publication
• BIB
We study the branching tree of the perimeters of the nested loops in critical $O(n)$ model for $n \in (0,2)$ on random quadrangulations. We prove that after renormalization it converges towards an explicit continuous multiplicative cascade whose offspring distribution $(x_i)_{i \ge 1}$ is related to the jumps of a spectrally positive $α$-stable Lévy process with $α= \frac{3}{2} \pm \frac{1}π \arccos(n/2)$ and for which we have the surprisingly simple and explicit transform $$ \mathbb E\left[\sum_{i \ge 1} (x_i)^θ\right] = \frac{\sin(π(2-α))}{\sin (π(θ- α))} \quad \mbox{for }θ\in (α, α+1).$$ An important ingredient in the proof is a new formula of independent interest on first moments of additive functionals of the jumps of a left-continuous random walk stopped at a hitting time. We also identify the scaling limit of the volume of the critical $O(n)$-decorated quadrangulation using the Malthusian martingale associated to the continuous multiplicative cascade.
Modulo orientations with bounded out-degrees
Published
• View Publication
• BIB
Let $G$ be a graph, let $k$ be a positive integer, and let $p:V(G)\rightarrow Z_k$ be a mapping with $|E(G)| \stackrel{k}{\equiv}\sum_{v\in V(G)}p(v) $. In this paper, we show that if $G$ is $(3k-3)$-edge-connected, then it has an orientation such that for each vertex $v$, $|d^+_G(v)-d_G(v)/2| < k$; also if $G$ contains $2k-2$ edge-disjoint spanning trees, then it admits such an orientation but by imposing greater out-degree bounds.
The meet operation in the imbalance lattice of maximal instantaneous codes: alternative proof of existence
Published
• View Publication
• BIB
An alternative proof is given of the existence of greatest lower bounds in the imbalance order of binary maximal instantaneous codes of a given size. These codes are viewed as maximal antichains of a given size in the infinite binary tree of 0-1 words. The proof proposed makes use of a single balancing operation instead of expansion and contraction as in the original proof of the existence of glb.
On distinguishing special trees by their chromatic symmetric functions
In 1995, Stanley introduced the well-known chromatic symmetric function $X_{G}(x_{1},x_{2},\ldots)$ of a graph $G$. It is a sum of monomial symmetric functions such that for each vertex coloring of $G$ there is exactly one of these summands. The question, whether $X_{G}(x_1,x_{2},\ldots)$ distinguishes nonisomorphic trees with the same number of vertices, is still open in general. For special trees it has already been shown. In 2008, Martin, Morin and Wagner proved it for spiders and some caterpillars. We decompose a tree by separating the leafs and their neighbors and do the same to the remaining forest until there remains a forest with vertices of degree not greater than $1$. For nonisomorphic trees $G$ and $H$ with the same number of vertices and special properties concerning their number of leafs and leaf neighbors for each subgraph in their leaf decomposition we prove that the chromatic symmetric function distinguishes the graphs. Our idea is to find independent partitions of $G$ and $H$ with respectively a block of maximal cardinality for $G$ as well as for $H$. These cardinalities are different for graphs $G$ and $H$ with special properties of their leaf decompositions. Additionally, we give explicit formulas for the cardinality of such a maximal block of an independent partition of star connections and spiders.
Total Forcing Sets in Trees
Published
• View Publication
• BIB
A dynamic coloring of the vertices of a graph $G$ starts with an initial subset $S$ of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set $S$ is called a forcing set of $G$ if, by iteratively applying the forcing process, every vertex in $G$ becomes colored. If the initial set $S$ has the added property that it induces a subgraph of $G$ without isolated vertices, then $S$ is called a total forcing set in $G$. The minimum cardinality of a total forcing set in $G$ is its total forcing number, denoted $F_t(G)$. We prove that if $T$ is a tree of order $n \ge 3$ with maximum degree~$Δ$, then $F_t(T) \le \frac{1}Δ((Δ- 1)n + 1)$, and we characterize the infinite family of trees achieving equality in this bound. We also prove that if $T$ is a non-trivial tree with $n_1$ leaves, then $F_t(T) \ge n_1$, and we characterize the infinite family of trees achieving equality in this bound. As a consequence of this result, the total forcing number of a non-trivial tree is strictly greater than its forcing number. In particular, we prove that if $T$ is a non-trivial tree, then $F_t(T) \ge F(T)+1$, and we characterize extremal trees achieving this bound.
Spanning trees and spanning closed walks with small degrees
Published
• View Publication
• BIB
Let $G$ be a graph and let $f$ be a positive integer-valued function on $V(G)$. In this paper, we show that if for all $S\subseteq V(G)$, $ω(G\setminus S)<\sum_{v\in S}(f(v)-2)+2+ω(G[S])$, then $G$ has a spanning tree $T$ containing an arbitrary given matching such that for each vertex $v$, $d_T(v)\le f(v)$, where $ω(G\setminus S)$ denotes the number of components of $G\setminus S$ and $ω(G[S])$ denotes the number of components of the induced subgraph $G[S]$ with the vertex set $S$. This is an improvement of several results. Next, we prove that if for all $S\subseteq V(G)$, $ω(G\setminus S)\le \sum_{v\in S} (f(v)-1)+1$, then $G$ admits a spanning closed walk passing through the edges of an arbitrary given matching meeting each vertex $v$ at most $f(v)$ times. This result solves a long-standing conjecture due to Jackson and Wormald (1990).
Bounds for phylogenetic network space metrics
Published
• View Publication
• BIB
Phylogenetic networks are a generalization of phylogenetic trees that allow for representation of reticulate evolution. Recently, a space of unrooted phylogenetic networks was introduced, where such a network is a connected graph in which every vertex has degree 1 or 3 and whose leaf-set is a fixed set $X$ of taxa. This space, denoted $\mathcal{N}(X)$, is defined in terms of two operations on networks -- the nearest neighbor interchange and triangle operations -- which can be used to transform any network with leaf set $X$ into any other network with that leaf set. In particular, it gives rise to a metric $d$ on $\mathcal N(X)$ which is given by the smallest number of operations required to transform one network in $\mathcal N(X)$ into another in $\mathcal N(X)$. The metric generalizes the well-known NNI-metric on phylogenetic trees which has been intensively studied in the literature. In this paper, we derive a bound for the metric $d$ as well as a related metric $d_{N\!N\!I}$ which arises when restricting $d$ to the subset of $\mathcal{N}(X)$ consisting of all networks with $2(|X|-1+i)$ vertices, $i \ge 1$. We also introduce two new metrics on networks -- the SPR and TBR metrics -- which generalize the metrics on phylogenetic trees with the same name and give bounds for these new metrics. We expect our results to eventually have applications to the development and understanding of network search algorithms.
Properties of the Hyper-Wiener index as a local function
Published in MATCH Commun. Math. Comput. Chem. 76 (2016) 745-760
• Search Publication
Hyper-Wiener index was introduced as one of the main generalizations of the well known Wiener index. Through the years properties of the Wiener index have been extensively studied in both Mathematics and Chemistry. The Hyper-Wiener index, although received much attention, is far from being thoroughly examined due to its complex definition. We consider the local version of the Hyper-Wiener index ($WW(G)$), defined as $ww_G(v)=\sum\limits_{u\in V(G)}(d^2(u,v)+d(u,v))$ for a vertex $v$ in a graph $G$, in trees. For established results on the Wiener index ($W(.)$), we present analogous studies on $WW(.)$. In addition to interesting observations, some conjectures and questions are also proposed.
L-infinity optimization to linear spaces and phylogenetic trees
Published
• View Publication
• BIB
Given a distance matrix consisting of pairwise distances between species, a distance-based phylogenetic reconstruction method returns a tree metric or equidistant tree metric (ultrametric) that best fits the data. We investigate distance-based phylogenetic reconstruction using the $l^\infty$-metric. In particular, we analyze the set of $l^\infty$-closest ultrametrics and tree metrics to an arbitrary dissimilarity map to determine its dimension and the tree topologies it represents. In the case of ultrametrics, we decompose the space of dissimilarity maps on 3 elements and on 4 elements relative to the tree topologies represented.
Our approach is to first address uniqueness issues arising in $l^\infty$-optimization to linear spaces. We show that the $l^\infty$-closest point in a linear space is unique if and only if the underlying matroid of the linear space is uniform. We also give a polyhedral decomposition of $\rr^m$ based on the dimension of the set of $l^\infty$-closest points in a linear space.
L-Infinity optimization to Bergman fans of matroids with an application to phylogenetics
Published
• View Publication
• BIB
Given a dissimilarity map $δ$ on finite set $X$, the set of ultrametrics (equidistant tree metrics) which are $l^\infty$-nearest to $δ$ is a tropical polytope. We give an internal description of this tropical polytope which we use to derive a polynomial-time checkable test for the condition that all ultrametrics $l^\infty$-nearest to $δ$ have the same tree structure. It was shown by Ardila and Klivans \cite{ardila-klivans2006} that the set of all ultrametrics on a finite set of size $n$ is the Bergman fan associated to the matroid underlying the complete graph on $n$ vertices. Therefore, we derive our results in the more general context of Bergman fans of matroids. This added generality allows our results to be used on dissimilarity maps where only a subset of the entries are known.
Semi-Baxter and strong-Baxter: two relatives of the Baxter sequence
Published
• View Publication
• BIB
In this paper, we enumerate two families of pattern-avoiding permutations: those avoiding the vincular pattern $2-41-3$, which we call semi-Baxter permutations, and those avoiding the vincular patterns $2-41-3$, $3-14-2$ and $3-41-2$, which we call strong-Baxter permutations. We call semi-Baxter numbers and strong-Baxter numbers the associated enumeration sequences. We prove that the semi-Baxter numbers enumerate in addition plane permutations (avoiding $2-14-3$). The problem of counting these permutations was open and has given rise to several conjectures, which we also prove in this paper.
For each family (that of semi-Baxter -- or equivalently, plane -- and that of strong-Baxter permutations), we describe a generating tree, which translates into a functional equation for the generating function. For semi-Baxter permutations, it is solved using (a variant of) the kernel method: this gives an expression for the generating function while also proving its D-finiteness. From the obtained generating function, we derive closed formulas for the semi-Baxter numbers, a recurrence that they satisfy, as well as their asymptotic behavior. For strong-Baxter permutations, we show that their generating function is (a slight modification of) that of a family of walks in the quarter plane, which is known to be non D-finite.
On the connective eccentricity index of two types of trees
The connective eccentricity index $ξ^{ce}=\sum^{}_{u\in V}\frac{d(u)}{\varepsilon(u)}$, where
$\varepsilon(u)$ and $d(u)$ denote the eccentricity and the degree of the vertex $u$, respectively. In this paper, we first determine the extremal trees which minimize and maximize the connective eccentricity index among all trees with a given degree sequence, and then determine the extremal trees which minimize and maximize the connective eccentricity index among all trees with a given number of branching vertices.
On The Limiting Distributions of the Total Height On Families of Trees
A symbolic-computational algorithm, fully implemented in Maple, is described, that computes explicit expressions for generating functions that enable the efficient computations of the expectation, variance, and higher moments, of the random variable `sum of distances to the root', defined on any given family of rooted ordered trees (defined by degree restrictions). Taking limits, we confirm, via elementary methods, the fact, due to David Aldous, and expanded by Svante Janson and others, that the limiting (scaled) distributions are all the same, and coincide with the limiting distribution of the same random variable, when it is defined on labeled rooted trees.
A Variation of the Erdős-Sós Conjecture in Bipartite Graphs
Published
• View Publication
• BIB
The Erdős-Sós Conjecture states that every graph with average degree more than $k-2$ contains all trees of order $k$ as subgraphs. In this paper, we consider a variation of the above conjecture: studying the maximum size of an $(n,m)$-bipartite graph which does not contain all $(k,l)$-bipartite trees for given integers $n\ge m$ and $k\ge l$. In particular, we determine that the maximum size of an $(n,m)$-bipartite graph which does not contain all $(n,m)$-bipartite trees as subgraphs (or all $(k,2)$-bipartite trees as subgraphs, respectively). Furthermore, all these extremal graphs are characterized.
On 2-level polytopes arising in combinatorial settings
Published
• View Publication
• BIB
2-level polytopes naturally appear in several areas of pure and applied mathematics, including combinatorial optimization, polyhedral combinatorics, communication complexity, and statistics. In this paper, we present a study of some 2-level polytopes arising in combinatorial settings. Our first contribution is proving that v(P)*f(P) is upper bounded by d*2^(d+1), for a large collection of families of such polytopes P. Here v(P) (resp. f(P)) is the number of vertices (resp. facets) of P, and d is its dimension. Whether this holds for all 2-level polytopes was asked in [Bohn et al., ESA 2015], and experimental results from [Fiorini et al., ISCO 2016] showed it true up to dimension 7. The key to most of our proofs is a deeper understanding of the relations among those polytopes and their underlying combinatorial structures. This leads to a number of results that we believe to be of independent interest: a trade-off formula for the number of cliques and stable sets in a graph; a description of stable matching polytopes as affine projections of certain order polytopes; and a linear-size description of the base polytope of matroids that are 2-level in terms of cuts of an associated tree.