tree
6737 papers tagged with this keyword
Bijection between Increasing Binary Trees and Rook Placements on Double Staircases
Published in Electronic Journal of Combinatorics, Volume 30, Issue 1 (2023), Article number: P1.10
• View Publication
• BIB
In this paper, we shall construct a bijection between rook placements on double staircases (introduced by Josuat-Vergès in 2017) and increasing binary trees. We introduce two subclasses of rook placements on double staircases, which we call left and right-aligned rook placements. We show that their enumeration, while keeping track of a certain statistic, gives the $γ$-vectors of the Eulerian polynomials. We conclude with a discussion on a different bijection that fits in very well with our main bijection, and another discussion on generalising our main bijection. Our main bijection is a special case of a bijection due to Tewari (2019).
From Hopf algebras to rough paths and regularity structures
Lyon's rough paths give an algebraic and analytic framework for Stieltjes integrals in a regime of low regularity where the usual Riemann-Stieltjes integral does not converge. Before we may rigorously define rough paths, we start with the introduction of some basic algebraic terminology. Among them are algebras and coalgebras, two notions which are in some sense dual to each other. As a combination of these notions we obtain bialgebras, and as a special case of them then Hopf algebras, which play a central role in this thesis. After further algebraic preliminaries, we give the examples of Hopf algebras we are interested in. Among them is the example of the polynomial Hopf algebra, whose product is nothing but the usual multiplication of polynomials and whose coproduct can be expressed very simply with the help of a binomial coefficient. We then use the dual pair of tensor Hopf algebras to introduce weakly geometric rough paths, which correspond to notions of Stieltjes integrals satisfying the usual integration by parts rule. For cases like Itô-integration where we need to give up integration by parts, we look at Gubinelli's branched rough paths based on the dual pair of Hopf algebras on trees and forests. Finally, we give some basic concepts of Hairer's theory of regularity structures and use them for a different approach to branched and weakly geometric rough paths. While we first look at a general method described by Hairer to derive a regularity structure from certain Hopf algebras, we then develop a regularity structure based on a formal Picard iteration which is more suitable for dealing with rough differential equations.
This work was written as a master's thesis supervised by Peter Friz and Sylvie Paycha and submitted to TU Berlin on July 29 2016. As of 2021, it does not provide novel research material, but can still be used as an algebra-focussed introduction to the subject.
Spanning trees of a claw-free graph whose reducible stems have few leaves
Published
• View Publication
• BIB
Let $T$ be a tree, a vertex of degree one is a leaf of $T$ and a vertex of degree at least three is a branch vertex of $T$. For two distinct vertices $u,v$ of $T$, let $P_T[u,v]$ denote the unique path in $T$ connecting $u$ and $v.$ For a leaf $x$ of $T$, let $y_x$ denote the nearest branch vertex to $x$. For every leaf $x$ of $T$, we remove the path $P_T [x, y_x)$ from $T$, where $P_T [x, y_x)$ denotes the path connecting $x$ to $y_x$ in $T$ but not containing $y_x$. The resulting subtree of $T$ is called the {\it reducible stem } of $T$. In this paper, we first use a new technique of Gould and Shull to state a new short proof for a result of Kano et al. on the spanning tree with a bounded number of leaves in a claw-free graph. After that, we use that proof to give a sharp sufficient condition for a claw-free graph having a spanning tree whose reducible stem has few leaves.
Divisorial and geometric gonality of higher-rank tropical curves
We consider a variant of metrised graphs where the edge lengths take values in a commutative monoid, as a higher-rank generalisation of the notion of a tropical curve. Divisorial gonality, which Baker and Norine defined on combinatorial graphs in terms of a chip firing game, is extended to these monoid-metrised graphs. We define geometric gonality of a monoid-metrised graph as the minimal degree of a horizontally conformal, non-degenerate morphism onto an monoid-metrised tree, and prove that geometric gonality is an upper bound for divisorial gonality in the monoid-metrised case. We also show the existence of a subdivision of the underlying graph whose gonality is no larger than the monoid-metrised gonality. We relate this to the minimal degree of a map between logarithmic curves.
Hamilton Paths in Dominating Graphs of Trees and Cycles
Published
• View Publication
• BIB
The dominating graph of a graph $H$ has as its vertices all dominating sets of $H$, with an edge between two dominating sets if one can be obtained from the other by the addition or deletion of a single vertex of $H$. In this paper we prove that the dominating graph of any tree has a Hamilton path. We also show how a result about binary strings leads to a proof that the dominating graph of a cycle on $n$ vertices has a Hamilton path if and only if $n\not\equiv 0 \pmod 4$.
Families of graphs with twin pendent paths and the Braess edge
Published in The Electronic Journal of Linear Algebra 38 (2022) 9-31
• View Publication
• BIB
In the context of a random walk on an undirected graph, Kemeny's constant can measure the average travel time for a random walk between two randomly chosen vertices. We are interested in graphs that behave counter-intuitively in regard to Kemeny's constant: in particular, we examine graphs with a cut-vertex at which at least two branches are paths, regarding whether the insertion of a particular edge into a graph results in an increase of Kemeny's constant. We provide several tools for identifying such an edge in a family of graphs and for analising asymptotic behaviour of the family regarding the tendency to have that edge; and classes of particular graphs are given as examples. Furthermore, asymptotic behaviours of families of trees are described.
Persistence for a class of order-one autoregressive processes and Mallows-Riordan polynomials
Published
• View Publication
• BIB
We establish exact formulae for the persistence probabilities of an AR(1) sequence with symmetric uniform innovations in terms of certain families of polynomials, most notably a family introduced by Mallows and Riordan as enumerators of finite labeled trees when ordered by inversions. The connection of these polynomials with the volumes of certain polytopes is also discussed. Two further results provide factorizations of general AR(1) models, one for negative drifts with continuous innovations, and one for positive drifts with continuous and symmetric innovations. The second factorization extends a classical universal formula of Sparre Andersen for symmetric random walks. Our results also lead to explicit asymptotic estimates for the persistence probabilities.
Eternal Domination in Trees
Mobile guards on the vertices of a graph are used to defend the graph against an infinite sequence of attacks on vertices. A guard must move from a neighboring vertex to an attacked vertex (we assume attacks happen only at vertices containing no guard). More than one guard is allowed to move in response to an attack. The $m$-eternal domination number is the minimum number of guards needed to defend the graph. We characterize the trees achieving several upper and lower bounds on the $m$-eternal domination number.
Quantum walks do not like bridges
Published
• View Publication
• BIB
We consider graphs with two cut vertices joined by a path with one or two edges, and prove that there can be no quantum perfect state transfer between these vertices, unless the graph has no other vertex. We achieve this result by applying the 1-sum lemma for the characteristic polynomial of graphs, the neutrino identities that relate entries of eigenprojectors and eigenvalues, and variational principles for eigenvalues (Cauchy interlacing, Weyl inequalities and Wielandt minimax principle). We see our result as an intermediate step to broaden the understanding of how connectivity plays a key role in quantum walks, and as further evidence of the conjecture that no tree on four or more vertices admits state transfer. We conclude with some open problems.
Fault-tolerant Identifying Codes in Special Classes of Graphs
Published
• View Publication
• BIB
A detection system, modeled in a graph, is composed of "detectors" positioned at a subset of vertices in order to uniquely locate an ``intruder" at any vertex. \emph{Identifying codes} use detectors that can sense the presence or absence of an intruder within distance one. We introduce a fault-tolerant identifying code called a \emph{redundant identifying code}, which allows at most one detector to go offline or be removed without disrupting the detection system. In real-world applications, this would be a necessary feature, as it would allow for maintenance on individual components without disabling the entire system. Specifically, we prove that the problem of determining the lowest cardinality of an identifying code for an arbitrary graph is NP-complete, we determine the bounds on the lowest cardinality for special classes of graphs, including trees, cylinders, and cubic graphs.
Sharp bounds of the $A_α$-spectral radii of mixed trees
A mixed tree is a tree in which both directed arcs and undirected edges may exist. Let $T$ be a mixed tree with $n$ vertices and $m$ arcs, where an undirected edge is counted twice as arcs. Let $A$ be the adjacency matrix of $T$. For $α\in[0,1]$, the matrix $A_α$ of $T$ is defined to be $αD^++(1-α)A$, where $D^+$ is the the diagonal out-degree matrix of $T$. The $A_α$-spectral radius of $T$ is the largest real eigenvalue of $A_α$. We will give a sharp upper bound and a sharp lower bound of the $A_α$-spectral radius of $T$.
Grass trees and forests: Enumeration of Grassmannian trees and forests, with applications to the momentum amplituhedron
Published
• View Publication
• BIB
The Exponential Formula allows one to enumerate any class of combinatorial objects built by choosing a set of connected components and placing a structure on each connected component which depends only on its size. There are multiple variants of this result, including Speicher's result for noncrossing partitions, as well as analogues of the Exponential Formula for series-reduced planar trees and forests. In this paper we use these formulae to give generating functions contracted Grassmannian trees and forests, certain graphs whose vertices are decorated with a helicity. Along the way we enumerate bipartite planar trees and forests, and we apply our results to enumerate various families of permutations: for example, bipartite planar trees are in bijection with separable permutations. Our generating function for Grassmannian forests can be interpreted as the rank generating function for the boundary strata of the momentum amplituhedron, an object which encodes the tree-level S-matrix of maximally supersymmetric Yang-Mills theory. This allows us to verify that the Euler characteristic of the momentum amplituhedron is 1.
Optimally reconstructing caterpillars
For a graph $G$, the $\ell$-deck of $G$ is the multiset of induced subgraphs on $G$ having $\ell$ vertices. Recently, Groenland et al. proved that any tree can be reconstructed from its $(8/9+o(1))n$-deck. For the particular case of caterpillar graphs, we show that the $(1/2+o(1))n$-deck suffices, which is asymptotically tight.
On the Dominant of the Multicut Polytope
Published
• View Publication
• BIB
Given a graph $G=(V,E)$ and a set $S \subseteq \binom{V}{2}$ of terminal pairs, the minimum multicut problem asks for a minimum edge set $δ\subseteq E$ such that there is no $s$-$t$-path in $G -δ$ for any $\{s,t\}\in S$. For $|S|=1$ this is the well known $s$-$t$-cut problem, but in general the minimum multicut problem is NP-complete, even if the input graph is a tree. The multicut polytope $\text{MultC}^\square (G,S)$ is the convex hull of all multicuts in $G$; the multicut dominant is given by $\text{MultC}(G,S)=\text{MultC}^\square (G,S)+\mathbb{R}^E$. The latter is the relevant object for the minimization problem. While polyhedra associated to several cut problems have been studied intensively there is only little knowledge for multicut.
We investigate properties of the multicut dominant and in particular derive results on liftings of facet-defining inequalities. This yields a classification of all facet-defining path- and edge inequalities. Moreover, we investigate the effect of graph operations such as node splitting, edge subdivisions, and edge contractions on the multicut-dominant and its facet-defining inequalities. In addition, we introduce facet-defining inequalities supported on stars, trees, and cycles and show that the former two can be separated in polynomial time when the input graph is a tree.
On the computational complexity of the Steiner $k$-eccentricity
The Steiner $k$-eccentricity of a vertex $v$ of a graph $G$ is the maximum Steiner distance over all $k$-subsets of $V (G)$ which contain $v$. A linear time algorithm for calculating the Steiner $k$-eccentricity of a vertex on block graphs is presented. For general graphs, an $O(n^{ν(G)+1}(n(G) + m(G) + k))$ algorithm is designed, where $ν(G)$ is the cyclomatic number of $G$. A linear algorithm for computing the Steiner $3$-eccentricities of all vertices of a tree is also presented which improves the quadratic algorithm from [Discrete Appl.\ Math.\ 304 (2021) 181--195].
Minimum leader selection for Structural Controllability of Undirected Graphs with Leader-follower Framework
Published
• View Publication
• BIB
The optimization problem of the minimum set of leaders for the controllability of undirected graphs are addressed. It is difficult to find not only its optimal solution but also its approximate algorithm. We propose a new concept, namely minimal perfect critical set (MPCS), to obtain an optimal solution. Some properties are presented, and on the basis of these theorems, the problem of the minimum set of leaders of two typical self-similar bipartite networks, namely deterministic scale-free networks (DSFN) and Cayley trees, is solved completely.
The GHP scaling limit of uniform spanning trees in high dimensions
Published
• View Publication
• BIB
We show that the Brownian continuum random tree is the Gromov-Hausdorff-Prohorov scaling limit of the uniform spanning tree on high-dimensional graphs including the $d$-dimensional torus $\mathbb{Z}_n^d$ with $d>4$, the hypercube $\{0,1\}^n$, and transitive expander graphs. Several corollaries for associated quantities are then deduced: convergence in distribution of the rescaled diameter, height and simple random walk on these uniform spanning trees to their continuum analogues on the continuum random tree.
On Merge Trees and Discrete Morse Functions on Paths and Trees
Published in J. Appl. and Comput. Topology, 11 2022
• View Publication
• BIB
In this work we answer an open question asked by Johnson--Scoville. We show that each merge tree is represented by a discrete Morse function on a path. Furthermore, we present explicit constructions for two different but related kinds of discrete Morse functions on paths that induce any given merge tree. A refinement of the used methods allows us to define notions of equivalence of discrete Morse functions on trees which give rise to a bijection between equivalence classes of discrete Morse functions and isomorphism classes of certain labeled merge trees. We also compare our results to similar ones from the literature, in particular to work by Curry.
Orientation of Fitch Graphs and Detection of Horizontal Gene Transfer in Gene Trees
Published
• View Publication
• BIB
Horizontal gene transfer events partition a gene tree $T$ and thus, its leaf set into subsets of genes whose evolutionary history is described by speciation and duplication events alone. Indirect phylogenetic methods can be used to infer such partitions $\mathcal{P}$ from sequence similarity or evolutionary distances without any a priory knowledge about the underlying tree $T$. In this contribution, we assume that such a partition $\mathcal{P}$ of a set of genes $X$ is given and that, independently, an estimate $T$ of the original gene tree on $X$ has been derived. We then ask to what extent $T$ and the xenology information, i.e., $\mathcal{P}$ can be combined to determine the horizontal transfer edges in $T$. We show that for each pair of genes $x$ and $y$ with $x,y$ being in different parts of $\mathcal{P}$, it can be decided whether there always exists or never exists a horizontal gene transfer in $T$ along the path connecting $y$ and the most recent common ancestor of $x$ and $y$. This problem is equivalent to determining the presence or absence of the directed edge $(x,y)$ in so-called Fitch graphs; a more fine-grained version of graphs that represent the dependencies between the sets in $\mathcal{P}$. We then consider the generalization to insufficiently resolved gene trees and show that analogous results can be obtained. We show that the classification of $(x,y)$ can be computed in constant time after linear-time preprocessing. Using simulated gene family histories, we observe empirically that the vast majority of horizontal transfer edges in the gene tree $T$ can be recovered unambiguously.
Power law decay at criticality for the q-state antiferromagnetic Potts model on regular trees
Published
• View Publication
• BIB
We present a proof of the power law decay of magnetic moment for the $q$-state antiferromagnetic Potts model on the regular tree at the critical temperature, and also justify that the exact exponent is $\frac{1}{2}$. Our proof relies on the assumption of the uniqueness at the critical temperature, which has been established for $q=3,4$, and for $q \ge 5$ with large degree. An iterative contraction inequality is developed for independent interests.