tree
6861 papers tagged with this keyword
Best Match Graphs
Published
• View Publication
• BIB
THIS IS A CORRECTED VERSION INCLUDING AN APPENDED CORRIGENDUM.
Best match graphs arise naturally as the first processing intermediate in algorithms for orthology detection. Let $T$ be a phylogenetic (gene) tree $T$ and $σ$ an assignment of leaves of $T$ to species. The best match graph $(G,σ)$ is a digraph that contains an arc from $x$ to $y$ if the genes $x$ and $y$ reside in different species and $y$ is one of possibly many (evolutionary) closest relatives of $x$ compared to all other genes contained in the species $σ(y)$. Here, we characterize best match graphs and show that it can be decided in cubic time and quadratic space whether $(G,σ)$ derived from a tree in this manner. If the answer is affirmative, there is a unique least resolved tree that explains $(G,σ)$, which can also be constructed in cubic time.
Two kinds of generalized connectivity of dual cubes
Let $S\subseteq V(G)$ and $κ_{G}(S)$ denote the maximum number $k$ of edge-disjoint trees $T_{1}, T_{2}, \cdots, T_{k}$ in $G$ such that $V(T_{i})\bigcap V(T_{j})=S$ for any $i, j \in \{1, 2, \cdots, k\}$ and $i\neq j$. For an integer $r$ with $2\leq r\leq n$, the {\em generalized $r$-connectivity} of a graph $G$ is defined as $κ_{r}(G)= min\{κ_{G}(S)|S\subseteq V(G)$ and $|S|=r\}$. The $r$-component connectivity $cκ_{r}(G)$ of a non-complete graph $G$ is the minimum number of vertices whose deletion results in a graph with at least $r$ components. These two parameters are both generalizations of traditional connectivity. Except hypercubes and complete bipartite graphs, almost all known $κ_{r}(G)$ are about $r=3$. In this paper, we focus on $κ_{4}(D_{n})$ of dual cube $D_{n}$. We first show that $κ_{4}(D_{n})=n-1$ for $n\geq 4$. As a corollary, we obtain $κ_{3}(D_{n})=n-1$ for $n\geq 4$. Furthermore, we show that $cκ_{r+1}(D_{n})=rn-\frac{r(r+1)}{2}+1$ for $n\geq 2$ and $1\leq r \leq n-1$.
Semitotal domination in trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Graph Theory (September 28, 2018) dmtcs:4413
• View Publication
• BIB
In this paper, we study a parameter that is squeezed between arguably the two important domination parameters, namely the domination number, $γ(G)$, and the total domination number, $γ_t(G)$. A set $S$ of vertices in $G$ is a semitotal dominating set of $G$ if it is a dominating set of $G$ and every vertex in S is within distance $2$ of another vertex of $S$. The semitotal domination number, $γ_{t2}(G)$, is the minimum cardinality of a semitotal dominating set of $G$. We observe that $γ(G)\leq γ_{t2}(G)\leq γ_t(G)$. In this paper, we give a lower bound for the semitotal domination number of trees and we characterize the extremal trees. In addition, we characterize trees with equal domination and semitotal domination numbers.
k-Ary spanning trees contained in tournaments
A rooted tree is called a $k$-ary tree, if all non-leaf vertices have exactly $k$ children, except possibly one non-leaf vertex has at most $k-1$ children. Denote by $h(k)$ the minimum integer such that every tournament of order at least $h(k)$ contains a $k$-ary spanning tree. It is well-known that every tournament contains a Hamiltonian path, which implies that $h(1)=1$. Lu et al. [J. Graph Theory {\bf 30}(1999) 167--176] proved the existence of $h(k)$, and showed that $h(2)=4$ and $h(3)=8$. The exact values of $h(k)$ remain unknown for $k\geq 4$. A result of Erdős on the domination number of tournaments implies $h(k)=Ω(k\log k)$. In this paper, we prove that $h(4)=10$ and $h(5)\geq13$.
A sequent calculus for a semi-associative law
Published in Logical Methods in Computer Science, Volume 15, Issue 1 (February 5, 2019) lmcs:4406
• View Publication
• BIB
We introduce a sequent calculus with a simple restriction of Lambek's product rules that precisely captures the classical Tamari order, i.e., the partial order on fully-bracketed words (equivalently, binary trees) induced by a semi-associative law (equivalently, right rotation). We establish a focusing property for this sequent calculus (a strengthening of cut-elimination), which yields the following coherence theorem: every valid entailment in the Tamari order has exactly one focused derivation. We then describe two main applications of the coherence theorem, including: 1. A new proof of the lattice property for the Tamari order, and 2. A new proof of the Tutte-Chapoton formula for the number of intervals in the Tamari lattice $Y_n$.
A polynomial associated with rooted trees and specific posets
We investigate a trivariate polynomial associated with rooted trees. It generalises a bivariate polynomial for rooted trees that was recently introduced by Liu. We show that this polynomial satisfies a deletion-contraction recursion and can be expressed as a sum over maximal antichains. Several combinatorial quantities can be obtained as special values, in particular the number of antichains, maximal antichains and cutsets. We prove that two of the three possible bivariate specialisations characterise trees uniquely up to isomorphism. One of these has already been established by Liu, the other is new. For the third specialisation, we construct non-isomorphic trees with the same associated polynomial.
We finally find that our polynomial can be generalised in a natural way to a family of posets that we call $\mathcal{V}$-posets. These posets are obtained recursively by either disjoint unions or adding a greatest/least element to existing $\mathcal{V}$-posets.
Saturated Fully Leafed Tree-Like Polyforms and Polycubes
Published
• View Publication
• BIB
We present recursive formulas giving the maximal number of leaves in tree-like polyforms living in two-dimensional regular lattices and in tree-like polycubes in the three-dimensional cubic lattice.
We call these tree-like polyforms and polycubes \emph{fully leafed}.
The proof relies on a combinatorial algorithm that enumerates rooted directed trees that we call abundant.
In the last part, we concentrate on the particular case of polyforms and polycubes, that we call \emph{saturated}, which is the family of fully leafed structures that maximize the ratio
$\mbox{(number of leaves)}/\mbox{ (number of cells)}$.
In the polyomino case, we present a bijection between the set of saturated tree-like polyominoes of size $4k+1$ and the set of tree-like polyominoes of size $k$.
We exhibit a similar bijection between the set of saturated tree-like polycubes of size $41k+28$ and a family of polycubes, called $4$-trees, of size $3k+2$.
Proving a conjecture on chromatic polynomials by counting the number of acyclic orientations
Published
• View Publication
• BIB
The chromatic polynomial $P(G,x)$ of a graph $G$ of order $n$ can be expressed as $\sum\limits_{i=1}^n(-1)^{n-i}a_{i}x^i$, where $a_i$ is interpreted as the number of broken-cycle free spanning subgraphs of $G$ with exactly $i$ components. The parameter $ε(G)=\sum\limits_{i=1}^n (n-i)a_i/\sum\limits_{i=1}^n a_i$ is the mean size of a broken-cycle-free spanning subgraph of $G$. In this article, we confirm and strengthen a conjecture proposed by Lundow and Markström in 2006 that $ε(T_n)< ε(G)<ε(K_n)$ holds for any connected graph $G$ of order $n$ which is neither the complete graph $K_n$ nor a tree $T_n$ of order $n$. The most crucial step of our proof is to obtain the interpretation of all $a_i$'s by the number of acyclic orientations of $G$.
The kernel of chromatic quasisymmetric functions on graphs and hypergraphic polytopes
Published
• View Publication
• BIB
We study the chromatic symmetric function on graphs, and show that its kernel is spanned by the modular relations. We generalize this result to the chromatic quasisymmetric function on hypergraphic polytopes, a family of generalized permutahedra. We use this description of the kernel of the chromatic symmetric function to find other graph invariants that may help us tackle the tree conjecture.
The generating function of planar Eulerian orientations
Published in J. Combin. Theory Ser. A 2020
• View Publication
• BIB
The enumeration of planar maps equipped with an Eulerian orientation has attracted attention in both combinatorics and theoretical physics since at least 2000. The case of 4-valent maps is particularly interesting: these orientations are in bijection with properly 3-coloured quadrangulations, while in physics they correspond to configurations of the ice model.
We solve both problems -- namely the enumeration of planar Eulerian orientations and of 4-valent planar Eulerian orientations -- by expressing the associated generating functions as the inverses (for the composition of series) of simple hypergeometric series. Using these expressions, we derive the asymptotic behaviour of the number of planar Eulerian orientations, thus proving earlier predictions of Kostov, Zinn-Justin, Elvey Price and Guttmann. This behaviour, $μ^n /(n \log n)^2$, prevents the associated generating functions from being D-finite. Still, these generating functions are differentially algebraic, as they satisfy non-linear differential equations of order $2$. Differential algebraicity has recently been proved for other map problems, in particular for maps equipped with a Potts model.
Our solutions mix recursive and bijective ingredients. In particular, a preliminary bijection transforms our oriented maps into maps carrying a height function on their vertices. In the 4-valent case, we also observe an unexpected connection with the enumeration of maps equipped with a spanning tree that is internally inactive in the sense of Tutte. This connection remains to be explained combinatorially.
On Non-localization of Eigenvectors of High Girth Graphs
Published in Int. Mat. Res., Volume 2021, Issue 8., April 2021, Pages 5766-5790
• View Publication
• BIB
We prove improved bounds on how localized an eigenvector of a high girth regular graph can be, and present examples showing that these bounds are close to sharp. This study was initiated by Brooks and Lindenstrauss (2009) who relied on the observation that certain suitably normalized averaging operators on high girth graphs are hyper-contractive and can be used to approximate projectors onto the eigenspaces of such graphs. Informally, their delocalization result in the contrapositive states that for any $\varepsilon \in (0,1)$ and positive integer $k,$ if a $(d+1)-$regular graph has an eigenvector which supports $\varepsilon$ fraction of the $\ell_2^2$ mass on a subset of $k$ vertices, then the graph must have a cycle of size $\tilde{O}(\log_{d}(k)/\varepsilon^2)$, suppressing logarithmic terms in $1/\varepsilon$. In this paper, we improve the upper bound to $\tilde{O}(\log_{d}(k)/\varepsilon)$ and present a construction showing a lower bound of $Ω(\log_d(k)/\varepsilon)$. Our construction is probabilistic and involves gluing together a pair of trees while maintaining high girth as well as control on the eigenvectors and could be of independent interest.
An improved isomorphism test for bounded-tree-width graphs
Published
• View Publication
• BIB
We give a new fpt algorithm testing isomorphism of $n$-vertex graphs of tree width $k$ in time $2^{k\operatorname{polylog} (k)}\operatorname{poly} (n)$, improving the fpt algorithm due to Lokshtanov, Pilipczuk, Pilipczuk, and Saurabh (FOCS 2014), which runs in time $2^{\mathcal{O}(k^5\log k)}\operatorname{poly} (n)$. Based on an improved version of the isomorphism-invariant graph decomposition technique introduced by Lokshtanov et al., we prove restrictions on the structure of the automorphism groups of graphs of tree width $k$. Our algorithm then makes heavy use of the group theoretic techniques introduced by Luks (JCSS 1982) in his isomorphism test for bounded degree graphs and Babai (STOC 2016) in his quasipolynomial isomorphism test. In fact, we even use Babai's algorithm as a black box in one place.
We also give a second algorithm which, at the price of a slightly worse running time $2^{\mathcal{O}(k^2 \log k)}\operatorname{poly} (n)$, avoids the use of Babai's algorithm and, more importantly, has the additional benefit that it can also used as a canonization algorithm.
The tree of numerical semigroups with low multiplicity
We show that the number of numerical semigroups with multiplicity three, four or five and fixed genus is increasing as a function in the genus. To this end we use the Kunz polytope for these multiplicities. Counting numerical semigroups with fixed multiplicity and genus is then an integer partition problem with some extra conditions (those of membership to the Kunz polytope). For the particular case of multiplicity four, we are able to prove that the number of numerical semigroups with multiplicity four and genus $g$ is the number of partitions $x+y+z=g+6$ with $0<x\le y\le z$, $x\neq 1$, $y\neq 2$ and $z\neq 3$.
Partially ordering the class of invertible trees
Published
• View Publication
• BIB
A tree T is invertible if and only if T has a perfect matching. Godsil considers an invertible tree T and finds that the inverse of the adjacency matrix of T has entries in {0, 1, -1} and is the signed adjacency matrix of a graph which contains T. In this paper, we give a new proof of this theorem, which gives rise to a partial ordering relation on the class of all invertible trees on 2n vertices. In particular, we show that given an invertible tree T whose inverse graph has strictly more edges, we can remove an edge from T and add another edge to obtain an invertible tree T' whose median eigenvalue is strictly greater. This extends naturally to a partial ordering. We characterize the maximal and minimal elements of this poset and explore the implications about the median eigenvalues of invertible trees.
Shellability of face posets of electrical networks and the CW poset property
Published in Advances in Applied Math, 127 (2021), 37 pages
• View Publication
• BIB
We prove a conjecture of Thomas Lam that the face posets of stratified spaces of planar resistor networks are shellable. These posets are called uncrossing partial orders. This shellability result combines with Lam's previous result that these same posets are Eulerian to imply that they are CW posets, namely that they are face posets of regular CW complexes. Certain subsets of uncrossing partial orders are shown to be isomorphic to type A Bruhat order intervals; our shelling is shown to coincide on these intervals with a Bruhat order shelling which was constructed by Matthew Dyer using a reflection order.
Our shelling for uncrossing posets also yields an explicit shelling for each interval in the face posets of the edge product spaces of phylogenetic trees, namely in the Tuffley posets, by virtue of each interval in a Tuffley poset being isomorphic to an interval in an uncrossing poset. This yields a more explicit proof of the result of Gill, Linusson, Moulton and Steel that the CW decomposition of Moulton and Steel for the edge product space of phylogenetic trees is a regular CW decomposition.
Induced Saturation of Graphs
Published in Discrete Mathematics, Volume 342, Issue 4, April 2019, Pages 1195-1212
• View Publication
• BIB
A graph $G$ is $H$-saturated for a graph $H$, if $G$ does not contain a copy of $H$ but adding any new edge to $G$ results in such a copy. An $H$-saturated graph on a given number of vertices always exists and the properties of such graphs, for example their highest density, have been studied intensively. A graph $G$ is $H$-induced-saturated if $G$ does not have an induced subgraph isomorphic to $H$, but adding an edge to $G$ from its complement or deleting an edge from $G$ results in an induced copy of $H$. It is not immediate anymore that $H$-induced-saturated graphs exist. In fact, Martin and Smith (2012) showed that there is no $P_4$-induced-saturated graph. Behrens et.al. (2016) proved that if $H$ belongs to a few simple classes of graphs such as a class of odd cycles of length at least $5$, stars of size at least $2$, or matchings of size at least $2$, then there is an $H$-induced-saturated graph. This paper addresses the existence question for $H$-induced-saturated graphs. It is shown that Cartesian products of cliques are $H$-induced-saturated graphs for $H$ in several infinite families, including large families of trees. A complete characterization of all connected graphs $H$ for which a Cartesian product of two cliques is an $H$-induced-saturated graph is given. Finally, several results on induced saturation for prime graphs and families of graphs are provided.
Fast approximation and exact computation of negative curvature parameters of graphs
Published
• View Publication
• BIB
In this paper, we study Gromov hyperbolicity and related parameters, that represent how close (locally) a metric space is to a tree from a metric point of view. The study of Gromov hyperbolicity for geodesic metric spaces can be reduced to the study of graph hyperbolicity. The main contribution of this paper is a new characterization of the hyperbolicity of graphs. This characterization has algorithmic implications in the field of large-scale network analysis. A sharp estimate of graph hyperbolicity is useful, e.g., in embedding an undirected graph into hyperbolic space with minimum distortion [Verbeek and Suri, SoCG'14]. The hyperbolicity of a graph can be computed in polynomial-time, however it is unlikely that it can be done in subcubic time. This makes this parameter difficult to compute or to approximate on large graphs. Using our new characterization of graph hyperbolicity, we provide a simple factor 8 approximation algorithm for computing the hyperbolicity of an $n$-vertex graph $G=(V,E)$ in optimal time $O(n^2)$ (assuming that the input is the distance matrix of the graph). This algorithm leads to constant factor approximations of other graph-parameters related to hyperbolicity (thinness, slimness, and insize). We also present the first efficient algorithms for exact computation of these parameters. All of our algorithms can be used to approximate the hyperbolicity of a geodesic metric space.
We also show that a similar characterization of hyperbolicity holds for all geodesic metric spaces endowed with a geodesic spanning tree. Along the way, we prove that any complete geodesic metric space $(X,d)$ has such a geodesic spanning tree. We hope that this fundamental result can be useful in other contexts.
Hyperbolic Geometry and Amplituhedra in 1+2 dimensions
Published
• View Publication
• BIB
Recently, the existence of an Amplituhedron for tree level amplitudes in the bi-adjoint scalar field theory has been proved by Arkhani-Hamed et al. We argue that hyperbolic geometry constitutes a natural framework to address the study of positive geometries in moduli spaces of Riemann surfaces, and thus to try to extend this achievement beyond tree level. In this paper we begin an exploration of these ideas starting from the simplest example of hyperbolic geometry, the hyperbolic plane. The hyperboloid model naturally guides us to re-discover the moduli space Associahedron, and a new version of its kinematical avatar. As a by-product we obtain a solution to the scattering equations which can be interpreted as a special case of the two well known solutions in terms of spinor-helicity formalism. The construction is done in $1+2$ dimensions and this makes harder to understand how to extract the amplitude from the dlog of the space time Associahedron. Nevertheless, we continue the investigation accommodating a loop momentum in the picture. By doing this we are led to another polytope called Halohedron, which was already known to mathematicians. We argue that the Halohedron fulfils many criteria that make it plausible to be understood as a 1-loop Amplituhedron for the cubic theory. Furthermore, the hyperboloid model again allows to understand that a kinematical version of the Halohedron exists and is related to the one living in moduli space by a simple generalisation of the tree level map.
The complexity of comparing multiply-labelled trees by extending phylogenetic-tree metrics
Published
• View Publication
• BIB
A multilabeled tree (or MUL-tree) is a rooted tree in which every leaf is labelled by an element from some set, but in which more than one leaf may be labelled by the same element of that set. In phylogenetics, such trees are used in biogeographical studies, to study the evolution of gene families, and also within approaches to construct phylogenetic networks. A multilabelled tree in which no leaf-labels are repeated is called a phylogenetic tree, and one in which every label is the same is also known as a tree-shape. In this paper, we consider the complexity of computing metrics on MUL-trees that are obtained by extending metrics on phylogenetic trees. In particular, by restricting our attention to tree shapes, we show that computing the metric extension on MUL-trees is NP complete for two well-known metrics on phylogenetic trees, namely, the path-difference and Robinson Foulds distances. We also show that the extension of the Robinson Foulds distance is fixed parameter tractable with respect to the distance parameter. The path distance complexity result allows us to also answer an open problem concerning the complexity of solving the quadratic assignment problem for two matrices that are a Robinson similarity and a Robinson dissimilarity, which we show to be NP-complete. We conclude by considering the maximum agreement subtree (MAST) distance on phylogenetic trees to MUL-trees. Although its extension to MUL-trees can be computed in polynomial time, we show that computing its natural generalization to more than two MUL-trees is NP-complete, although fixed-parameter tractable in the maximum degree when the number of given trees is bounded.
The skeleton of the UIPT, seen from infinity
Published in Annales Henri Lebesgue, Volume 1 (2018), p. 87-125
• View Publication
• BIB
We prove that geodesic rays in the Uniform Infinite Planar Triangulation (UIPT) coalesce in a strong sense using the skeleton decomposition of random triangulations discovered by Krikun. This implies the existence of a unique horofunction measuring distances from infinity in the UIPT. We then use this horofunction to define the skeleton "seen from infinity" of the UIPT and relate it to a simple Galton--Watson tree conditioned to survive, giving a new and particularly simple construction of the UIPT. Scaling limits of perimeters and volumes of horohulls within this new decomposition are also derived, as well as a new proof of the $2$-point function formula for random triangulations in the scaling limit due to Ambjørn and Watabiki.