tree
6737 papers tagged with this keyword
Quenched local convergence of Boltzmann planar maps
Published
• View Publication
• BIB
Stephenson~(2018) established annealed local convergence of Boltzmann planar maps conditioned to be large. The present work uses results on rerooted multi-type branching trees to prove a quenched version of this limit.
Generalized Outerplanar Turán numbers and maximum number of k-vertex subtrees
Published
• View Publication
• BIB
We prove an asymptotic result on the maximum number of k-vertex subtrees in binary trees of given order. This problem turns out to be equivalent to determine the maximum number of k+2-cycles in n-vertex outerplanar graphs, thus we settle the generalized outerplanar Turán number for all cycles. We also determine the exponential growth of the generalized outerplanar Turán number of paths Pk as a function of k which implies the order of magnitude of the generalized outerplanar Turán number of arbitrary trees. The bounds are strongly related to the sequence of Catalan numbers.
Fertilitopes
Published
• View Publication
• BIB
We introduce tools from discrete convexity theory and polyhedral geometry into the theory of West's stack-sorting map $s$. Associated to each permutation $π$ is a particular set $\mathcal V(π)$ of integer compositions that appears in a formula for the fertility of $π$, which is defined to be $|s^{-1}(π)|$. These compositions also feature prominently in more general formulas involving families of colored binary plane trees called troupes and in a formula that converts from free to classical cumulants in noncommutative probability theory. We show that $\mathcal V(π)$ is a transversal discrete polymatroid when it is nonempty. We define the fertilitope of $π$ to be the convex hull of $\mathcal V(π)$, and we prove a surprisingly simple characterization of fertilitopes as nestohedra arising from full binary plane trees. Using known facts about nestohedra, we provide a procedure for describing the structure of the fertilitope of $π$ directly from $π$ using Bousquet-Mélou's notion of the canonical tree of $π$. As a byproduct, we obtain a new combinatorial cumulant conversion formula in terms of generalizations of canonical trees that we call quasicanonical trees. We also apply our results on fertilitopes to study combinatorial properties of the stack-sorting map. In particular, we show that the set of fertility numbers has density $1$, and we determine all infertility numbers of size at most $126$. Finally, we reformulate the conjecture that $\sum_{σ\in s^{-1}(π)}x^{\text{des}(σ)+1}$ is always real-rooted in terms of nestohedra, and we propose natural ways in which this new version of the conjecture could be extended.
Automatic sequences: from rational bases to trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Automata, Logic and Semantics (July 19, 2022) dmtcs:8455
• View Publication
• BIB
The $n$th term of an automatic sequence is the output of a deterministic finite automaton fed with the representation of $n$ in a suitable numeration system. In this paper, instead of considering automatic sequences built on a numeration system with a regular numeration language, we consider those built on languages associated with trees having periodic labeled signatures and, in particular, rational base numeration systems. We obtain two main characterizations of these sequences. The first one is concerned with $r$-block substitutions where $r$ morphisms are applied periodically. In particular, we provide examples of such sequences that are not morphic. The second characterization involves the factors, or subtrees of finite height, of the tree associated with the numeration system and decorated by the terms of the sequence.
The Distance Energy of Clique Trees
Published in Linear Algebra and its Applications; 2021
• View Publication
• BIB
The distance energy of a simple connected graph $G$ is defined as the sum of absolute values of its distance eigenvalues. In this paper, we mainly give a positive answer to a conjecture of distance energy of clique trees proposed by Lin, Liu and Lu [H.~Q.~ Lin, R.~F.~Liu, X.~W.~Lu, The inertia and energy of the distance matrix of a connected graph, {\it Linear Algebra Appl.,} 467 (2015), 29-39.]
A combinatorial proof of Aldous-Broder theorem for general Markov chains
Published
• View Publication
• BIB
Aldous-Broder algorithm is a famous algorithm used to sample a uniform spanning tree of any finite connected graph $G$, but it is more general: given an irreducible and reversible Markov chain $M$ on $G$ started at $r$, the tree rooted at $r$ formed by the first entrance steps in each node (different from the root) has a probability proportional to $\prod_{e=(e^-,e^+)\in {\sf Edges}(t,r)} M_{e^{-},e^+}$, where the edges are directed toward $r$. In this paper we give proofs of Aldous-Broder theorem in the general case, where the kernel $M$ is irreducible but not assumed to be reversible (this generalized version appeared recently in Hu, Lyons and Tang )
Higher algebra of $A_\infty$ and $ΩB As$-algebras in Morse theory II
This paper introduces the notion of $n$-morphisms between two $A_\infty$-algebras, such that 0-morphisms correspond to standard $A_\infty$-morphisms and 1-morphisms correspond to $A_\infty$-homotopies between $A_\infty$-morphisms. The set of higher morphisms between two $A_\infty$-algebras then defines a simplicial set which has the property of being an algebraic $\infty$-category. The operadic structure of $n-A_\infty$-morphisms is also encoded by new families of polytopes, which we call the $n$-multiplihedra and which generalize the standard multiplihedra. These are constructed from the standard simplices and multiplihedra by lifting the Alexander-Whitney map to the level of simplices. Rich combinatorics arise in this context, as conveniently described in terms of overlapping partitions. Shifting from the $A_\infty$ to the $ΩB As$ framework, we define the analogous notion of $n$-morphisms between $ΩB As$-algebras, which are again encoded by the $n$-multiplihedra, endowed with a refined cell decomposition by stable gauged ribbon tree type. We then realize this higher algebra of $A_\infty$ and $ΩB As$-algebras in Morse theory. Given two Morse functions $f$ and $g$, we construct $n-ΩB As$-morphisms between their respective Morse cochain complexes endowed with their $ΩB As$-algebra structures, by counting perturbed Morse gradient trees associated to an admissible simplex of perturbation data. We moreover show that the simplicial set consisting of higher morphisms defined by a count of perturbed Morse gradient trees is a contractible Kan complex.
(-k)-critical trees and k-minimal trees
In a graph $G=(V,E)$, a module is a vertex subset $M$ of $V$ such that every vertex outside $M$ is adjacent to all or none of $M$. For example, $\emptyset$, $\{x\}$ $(x\in V )$ and $V$ are modules of $G$, called trivial modules. A graph, all the modules of which are trivial, is prime; otherwise, it is decomposable. A vertex $x$ of a prime graph $G$ is critical if $G - x$ is decomposable. Moreover, a prime graph with $k$ non-critical vertices is called $(-k)$-critical graph. A prime graph $G$ is $k$-minimal if there is some $k$-vertex set $X$ of vertices such that there is no proper induced subgraph of $G$ containing $X$ is prime. From this perspective, I. Boudabbous proposes to find the $(-k)$-critical graphs and $k$-minimal graphs for some integer $k$ even in a particular case of graphs. This research paper attempts to answer I. Boudabbous's question. First, it describes the $(-k)$-critical tree. As a corollary, we determine the number of nonisomorphic $(-k)$-critical tree with $n$ vertices where $k\in \{1,2,\lfloor\frac{n}{2}\rfloor\}$. Second, it provide a complete characterization of the $k$-minimal tree. As a corollary, we determine the number of nonisomorphic $k$-minimal tree with $n$ vertices where $k\leq 3$.
Higher algebra of $A_\infty$ and $ΩB As$-algebras in Morse theory I
Published
• View Publication
• BIB
Elaborating on works by Abouzaid and Mescher, we prove that for a Morse function on a smooth compact manifold, its Morse cochain complex can be endowed with an $ΩB As$-algebra structure by counting moduli spaces of perturbed Morse gradient trees. This rich structure descends to its already known $A_\infty$-algebra structure. We then introduce the notion of $ΩB As$-morphism between two $ΩB As$-algebras and prove that given two Morse functions, one can construct an $ΩB As$-morphism between their associated $ΩB As$-algebras by counting moduli spaces of two-colored perturbed Morse gradient trees. This morphism induces a standard $A_\infty$-morphism between the induced $A_\infty$-algebras. We work with integer coefficients, and provide to this extent a detailed account on the sign conventions for $A_\infty$ (resp. $ΩB As$)-algebras and $A_\infty$ (resp. $ΩB As$)-morphisms, using polytopes (resp. moduli spaces) which explicitly realize the dg-operadic objects encoding them. Our proofs also involve showing at the level of polytopes that an $ΩB As$-morphism between $ΩB As$-algebras naturally induces an $A_\infty$-morphism between $A_\infty$-algebras. This paper comes in particular with a short survey on operads, $A_\infty$-algebras and $A_\infty$-morphisms, the associahedra and the multiplihedra. All the details on transversality, gluing maps, signs and orientations for the moduli spaces defining the algebraic structures on the Morse cochains are thorougly carried out. It moreover lays the basis for a second article in which we solve the problem of finding a satisfactory homotopic notion of higher morphisms between $A_\infty$-algebras and between $ΩB As$-algebras, and show how this higher algebra of $A_\infty$ and $ΩB As$-algebras naturally arises in the context of Morse theory.
Expected number of induced subtrees shared by two independent copies of a random tree
Published
• View Publication
• BIB
Consider a rooted tree $T$ with leaf-set $[n]$, and with all non-leaf vertices having out-degree $2$, at least. A rooted tree $\mathcal T$ with leaf-set $S\subset [n]$ is induced by $S$ in $T$ if $\mathcal T$ is the lowest common ancestor subtree for $S$, with all its degree-2 vertices suppressed. A "maximum agreement subtree" (MAST) for a pair of two trees $T'$ and $T"$ is a tree $\mathcal T$ with a largest leaf-set $S\subset [n]$ such that $\mathcal T$ is induced by $S$ both in $T'$ and $T"$. Bryant et al. \cite{BryMcKSte} and Bernstein et al. \cite{Ber} proved, among other results, that for $T'$ and $T"$ being two independent copies of a random binary (uniform or Yule-Harding distributed) tree $T$, the likely magnitude order of $\text{MAST}(T',T")$ is $O(n^{1/2})$. We prove this bound for a wide class of random rooted trees : $T$ is a terminal tree of a branching, Galton--Watson, process with an ordered-offspring distribution of mean $1$, conditioned on "total number of leaves is $n$".
Approximately counting independent sets of a given size in bounded-degree graphs
Published
• View Publication
• BIB
We determine the computational complexity of approximately counting and sampling independent sets of a given size in bounded-degree graphs. That is, we identify a critical density $α_c(Δ)$ and provide (i) for $α< α_c(Δ)$ randomized polynomial-time algorithms for approximately sampling and counting independent sets of given size at most $αn$ in $n$-vertex graphs of maximum degree $Δ$; and (ii) a proof that unless NP=RP, no such algorithms exist for $α>α_c(Δ)$. The critical density is the occupancy fraction of the hard core model on the complete graph $K_{Δ+1}$ at the uniqueness threshold on the infinite $Δ$-regular tree, giving $α_c(Δ)\sim\frac{e}{1+e}\frac{1}Δ$ as $Δ\to\infty$. Our methods apply more generally to anti-ferromagnetic 2-spin systems and motivate new questions in extremal combinatorics.
Generalized Catalan numbers from hypergraphs
Published
• View Publication
• BIB
The Catalan numbers (C_n)_{n >= 0} = 1,1,2,5,14,42,... form one of the most venerable sequences in combinatorics. They have many combinatorial interpretations, from counting bracketings of products in non-associative algebra to counting plane trees and noncrossing set partitions. They also arise in the GUE matrix model as the leading coefficient of certain polynomials, a connection closely related to the plane trees and noncrossing set partitions interpretations. In this paper we define a generalization of the Catalan numbers. In fact we define an infinite collection of generalizations C_n^(m), m >= 1, with m=1 giving the usual Catalans. The sequence C_n^(m) comes from studying certain matrix models attached to hypergraphs. We also give some combinatorial interpretations of these numbers, and conjecture some asymptotics.
Local certification of graphs on surfaces
Published in Theoretical Computer Science 909 (2022), 68-75
• View Publication
• BIB
A proof labelling scheme for a graph class $\mathcal{C}$ is an assignment of certificates to the vertices of any graph in the class $\mathcal{C}$, such that upon reading its certificate and the certificates of its neighbors, every vertex from a graph $G\in \mathcal{C}$ accepts the instance, while if $G\not\in \mathcal{C}$, for every possible assignment of certificates, at least one vertex rejects the instance. It was proved recently that for any fixed surface $Σ$, the class of graphs embeddable in $Σ$ has a proof labelling scheme in which each vertex of an $n$-vertex graph receives a certificate of at most $O(\log n)$ bits. The proof is quite long and intricate and heavily relies on an earlier result for planar graphs. Here we give a very short proof for any surface. The main idea is to encode a rotation system locally, together with a spanning tree supporting the local computation of the genus via Euler's formula.
A survey of the monotonicity and non-contradiction of consensus methods and supertree methods
Published
• View Publication
• BIB
In a recent study, Bryant, Francis and Steel investigated the concept of \enquote{future-proofing} consensus methods in phylogenetics. That is, they investigated if such methods can be robust against the introduction of additional data like added trees or new species. In the present manuscript, we analyze consensus methods under a different aspect of introducing new data, namely concerning the discovery of new clades. In evolutionary biology, often formerly unresolved clades get resolved by refined reconstruction methods or new genetic data analyses. In our manuscript we investigate which properties of consensus methods can guarantee that such new insights do not disagree with previously found consensus trees, but merely refine them, a property termed \emph{monotonicity}. Along the lines of analyzing monotonicity, we also study two {established} supertree methods, namely Matrix Representation with Parsimony (MRP) and Matrix Representation with Compatibility (MRC), which have also been suggested as consensus methods in the literature. While we (just like Bryant, Francis and Steel in their recent study) unfortunately have to conclude some negative answers concerning general consensus methods, we also state some relevant and positive results concerning the majority rule ($\mathtt{MR}$) and strict consensus methods, which are amongst the most frequently used consensus methods. Moreover, we show that there exist infinitely many consensus methods which are monotonic and have some other desirable properties.
\textbf{Keywords:} consensus tree, phylogenetics, majority rule, tree refinement, matrix representation with parsimony
\textbf{MSC:} C92B05, 05C05
A graphical algorithm for the integration of monomials in the Chow ring of the moduli space of stable marked curves of genus zero
The Chow group of zero cycles in the moduli space of stable pointed curves of genus zero is isomorphic to the integer additive group. Let $M$ be monomial in this Chow group. If no two factors of $M$ fulfill a particular quadratic relation, then the monomial can be represented equivalently by a specific tree; otherwise, $M$ is mapped to zero under the stated isomorphism. Starting from this tree representation, we introduce a graphical algorithm for computing the corresponding integer for $M$ under the aforementioned isomorphism. The algorithm is linear with respect to the size of the tree.
Toric Codes from Order Polytopes
Published
• View Publication
• BIB
In this article we investigate a class of linear error correcting codes in relation with the order polytopes. In particular we consider the order polytopes of tree posets and bipartite posets. We calculate the parameters of the associated toric variety codes.
Spanning trees in dense directed graphs
Published
• View Publication
• BIB
In 2001, Komlós, Sárközy and Szemerédi proved that, for each $α>0$, there is some $c>0$ and $n_0$ such that, if $n\geq n_0$, then every $n$-vertex graph with minimum degree at least $(1/2+α)n$ contains a copy of every $n$-vertex tree with maximum degree at most $cn/\log n$. We prove the corresponding result for directed graphs. That is, for each $α>0$, there is some $c>0$ and $n_0$ such that, if $n\geq n_0$, then every $n$-vertex directed graph with minimum semi-degree at least $(1/2+α)n$ contains a copy of every $n$-vertex oriented tree whose underlying maximum degree is at most $cn/\log n$.
As with Komlós, Sárközy and Szemerédi's theorem, this is tight up to the value of $c$. Our result improves a recent result of Mycroft and Naia, which requires the oriented trees to have underlying maximum degree at most $Δ$, for any constant $Δ\in \mathbb{N}$ and sufficiently large $n$. In contrast to these results, our methods do not use Szemerédi's regularity lemma.
Length of a Full Steiner Tree as a Function of Terminal Coordinates
Given the coordinates of the terminals $ \{(x_j,y_j)\}_{j=1}^n $ of the full Euclidean Steiner tree, its length equals $$ \left| \sum_{j=1}^n z_j U_j \right| \, , $$ where $ \{z_j:=x_j+ \mathbf i y_j\}_{j=1}^n $ and $ \{U_j\}_{j=1}^n $ are suitably chosen $ 6 $th roots of unity. We also extend this result for the cost of the optimal Weber networks which are topologically equivalent to some full Steiner trees.
Typicality and entropy of processes on infinite trees
Published
• View Publication
• BIB
Consider a uniformly sampled random $d$-regular graph on $n$ vertices. If $d$ is fixed and $n$ goes to $\infty$ then we can relate typical (large probability) properties of such random graph to a family of invariant random processes (called "typical" processes) on the infinite $d$-regular tree $T_d$. This correspondence between ergodic theory on $T_d$ and random regular graphs is already proven to be fruitful in both directions. This paper continues the investigation of typical processes with a special emphasis on entropy. We study a natural notion of micro-state entropy for invariant processes on $T_d$. It serves as a quantitative refinement of the notion of typicality and is tightly connected to the asymptotic free energy in statistical physics. Using entropy inequalities, we provide new sufficient conditions for typicality for edge Markov processes. We also extend these notions and results to processes on unimodular Galton-Watson random trees.
Inducibility and universality for trees
Published
• View Publication
• BIB
We answer three questions posed by Bubeck and Linial on the limit densities of subtrees in trees. We prove there exist positive $\varepsilon_1$ and $\varepsilon_2$ such that every tree that is neither a path nor a star has inducibility at most $1-\varepsilon_1$, where the inducibility of a tree $T$ is defined as the maximum limit density of $T$, and that there are infinitely many trees with inducibility at least $\varepsilon_2$. Finally, we construct a universal sequence of trees; that is, a sequence in which the limit density of any tree is positive.