tree
6861 papers tagged with this keyword
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.
Brauer and partition diagram models for phylogenetic trees and forests
Published
• View Publication
• BIB
We introduce a correspondence between phylogenetic trees and Brauer diagrams, inspired by links between binary trees and matchings described by Diaconis and Holmes (1998). This correspondence gives rise to a range of semigroup structures on the set of phylogenetic trees, and opens the prospect of many applications. We furthermore extend the Diaconis-Holmes correspondence from binary trees to non-binary trees and to forests, showing for instance that the set of all forests is in bijection with the set of partitions of finite sets.
Facets of the Total Matching Polytope for bipartite graphs
The Total Matching Polytope generalizes the Stable Set Polytope and the Matching Polytope. In this paper, we give the perfect formulation for Trees and we derive two new families of valid inequalities, the balanced biclique inequalities which are always facet-defining and the non-balanced lifted biclique inequalities obtained by a lifting procedure, which are facet-defining for bipartite graphs. Finally, we give a complete description for Complete Bipartite Graphs.
A Graph-Matching Formulation of the Interleaving Distance between Merge Trees
Published
• View Publication
• BIB
In this work we study the interleaving distance between merge trees from a combinatorial point of view. We use a particular type of matching between trees to obtain a novel formulation of the distance. With such formulation, we tackle the problem of approximating the interleaving distance by solving linear binary optimization problems in a recursive and dynamical fashion, obtaining lower and upper bounds. We implement those algorithms to compare the outputs with another approximation procedure presented by other authors. We believe that further research in this direction could lead to polynomial time algorithms to approximate the distance and novel theoretical developments on the topic.
Warning Propagation: stability and subcriticality
Warning Propagation is a combinatorial message passing algorithm that unifies and generalises a wide variety of recursive combinatorial procedures. Special cases include the Unit Clause Propagation and Pure Literal algorithms for satisfiability as well as the peeling process for identifying the $k$-core of a random graph. Here we analyse Warning Propagation in full generality on a very general class of multi-type random graphs. We prove that under mild assumptions on the random graph model and the stability of the the message limit, Warning Propagation converges rapidly. In effect, the analysis of the fixed point of the message passing process on a random graph reduces to analysing the process on a multi-type Galton-Watson tree. This result corroborates and generalises a heuristic first put forward by Pittel, Spencer and Wormald in their seminal $k$-core paper (JCTB 1996).
Faster algorithms for circuits in the Cayley-Menger algebraic matroid
A classical problem in Distance Geometry, with multiple practical applications (in molecular structure determination, sensor network localization etc.) is to find the possible placements of the vertices of a graph with given edge lengths. For minimally rigid graphs, the double-exponential Gröbner Bases algorithm with an elimination order can be applied, in theory, but it is impractical even for small instances. By relating the problem to the computation of circuit polynomials in the Cayley-Menger ideal, we recently proposed an algebraic-combinatorial approach and an elimination algorithm for circuit polynomials [23]. It is guided by a tree structure whose leaves correspond to complete $K_4$ graphs and whose nodes perform algebraic resultant operations. In this paper we uncover further combinatorial structure in the Cayley-Menger algebraic matroid that leads to an extension of our algorithm. In particular, we generalize the combinatorial resultant operation of [23] to take advantage of the non-circuit generators and irreducible polynomials in the Cayley-Menger ideal and use them as leaves of the tree guiding the elimination. Our new method has been implemented in Mathematica and allows previously unobtainable calculations to be carried out. In particular, the $K_{3,3}$-plus-one circuit polynomial, with over one million terms in 10 variables and whose calculation crashed after several days with the previous method of [23], succeeded now in approx. 30 minutes.
Equiseparability on Terminal Wiener Index and Distances
Teminal Wiener index is one of the commonly used topological index in mathematical chemistry. If two or more chemical compounds have the same terminal Wiener index then they will have similar physico-chemical properties. In this work we propose a new method for constructing equiseparable trees w.r.t terminal Wiener index. The existing method is based on the number of pendent vertices but the proposed method is based on distance parameters.
A walk in my lattice path garden
Various lattice path models are reviewed. The enumeration is done using generating functions. A few bijective considerations are woven in as well. The kernel method is often used. Computer algebra was an essential tool. Some results are new, some have appeared before.
The lattice path models we treated, are: Hoppy's walks, the combinatorics of sequence A002212 in \cite{OEIS} (skew Dyck paths, Schröder paths, Hex-trees, decorated ordered trees, multi-edge trees, etc.) Weighted unary-binary trees also occur, and we could improve on our old paper on Horton-Strahler numbers \cite{FlPr86}, by using a different substitution. Some material on ternary trees appears as well, as on Motzkin numbers and paths (a model due to Retakh), and a new concept called amplitude that was found in \cite{irene}. Some new results on Deutsch paths in a strip are included as well. During the Covid period, I spent much time with this beautiful concept that I dare to call Deutsch paths, since Emeric Deutsch stands at the beginning with a problem that he posted in the American Mathematical Monthly some 20 years ago. Peaks and valleys, studied by Rainer Kemp 40 years under the names \textsc{max}-turns and \textsc{min}-turns, are revisited with a more modern approach, streamlining the analysis, relying on the `subcritical case' (named so by Philippe Flajolet), the adding a new slice technique and once again the kernel method.
Totally real algebraic integers of arboreal height 2
In arXiv:1302.4423, Salez proved that every totally real algebraic integer is the eigenvalue of some tree. We define the "arboreal height" of a totally real algebraic integer $λ$ to be the minimal height of a rooted tree having $λ$ as an eigenvalue. In this paper, we prove several results about totally real algebraic integers of arboreal height $2$: We show that all real quadratic integers have arboreal height $\le 2$. We characterize the totally real cubic integers of arboreal height $2$. Finally, we prove that every totally irrational real number field is generated (as a ring over $\mathbb{Q}$) by some $λ$ of arboreal height $2$.