-
The space of multifurcating ranked tree shapes: enumeration, lattice structure, and Markov chains
Authors:
Julie Zhang,
Noah A. Rosenberg,
Julia A. Palacios
Abstract:
Coalescent models of bifurcating genealogies are used to infer evolutionary parameters from molecular data. However, there are many situations where bifurcating genealogies do not accurately reflect the true underlying ancestral history of samples, and a multifurcating genealogy is required. The space of multifurcating genealogical trees, where nodes can have more than two descendants, is largely…
▽ More
Coalescent models of bifurcating genealogies are used to infer evolutionary parameters from molecular data. However, there are many situations where bifurcating genealogies do not accurately reflect the true underlying ancestral history of samples, and a multifurcating genealogy is required. The space of multifurcating genealogical trees, where nodes can have more than two descendants, is largely underexplored in the setting of coalescent inference. In this paper, we examine the space of rooted, ranked, and unlabeled multifurcating trees. We recursively enumerate the space and then construct a partial ordering which induces a lattice on the space of multifurcating ranked tree shapes. The lattice structure lends itself naturally to defining Markov chains that permit exploration on the space of multifurcating ranked tree shapes. Finally, we prove theoretical bounds for the mixing time of two Markov chains defined on the lattice, and we present simulation results comparing the distribution of trees and tree statistics under various coalescent models to the uniform distribution on this tree space.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
Unit-free versions of the Vidav-Palmer theorem and of the Blecher-Ruan-Sinclair non-associative characterization of unital $C^*$-algebras
Authors:
Angel Rodriguez Palacios
Abstract:
We prove unit-free versions of both the associative and the non-associative Vidav-Palmer theorems. Then these results are applied to prove a unit-free version of the Blecher-Ruan-Sinclair non-associative characterization of unital $C^*$-algebras.
We prove unit-free versions of both the associative and the non-associative Vidav-Palmer theorems. Then these results are applied to prove a unit-free version of the Blecher-Ruan-Sinclair non-associative characterization of unital $C^*$-algebras.
△ Less
Submitted 26 June, 2024; v1 submitted 10 October, 2023;
originally announced October 2023.
-
Enumeration of binary trees compatible with a perfect phylogeny
Authors:
Julia A. Palacios,
Anand Bhaskar,
Filippo Disanto,
Noah A. Rosenberg
Abstract:
Evolutionary models used for describing molecular sequence variation suppose that at a non-recombining genomic segment, sequences share ancestry that can be represented as a genealogy--a rooted, binary, timed tree, with tips corresponding to individual sequences. Under the infinitely-many-sites mutation model, mutations are randomly superimposed along the branches of the genealogy, so that every m…
▽ More
Evolutionary models used for describing molecular sequence variation suppose that at a non-recombining genomic segment, sequences share ancestry that can be represented as a genealogy--a rooted, binary, timed tree, with tips corresponding to individual sequences. Under the infinitely-many-sites mutation model, mutations are randomly superimposed along the branches of the genealogy, so that every mutation occurs at a chromosomal site that has not previously mutated; if a mutation occurs at an interior branch, then all individuals descending from that branch carry the mutation. The implication is that observed patterns of molecular variation from this model impose combinatorial constraints on the hidden state space of genealogies. In particular, observed molecular variation can be represented in the form of a perfect phylogeny, a tree structure that fully encodes the mutational differences among sequences. For a sample of n sequences, a perfect phylogeny might not possess n distinct leaves, and hence might be compatible with many possible binary tree structures that could describe the evolutionary relationships among the n sequences. Here, we investigate enumerative properties of the set of binary ranked and unranked tree shapes that are compatible with a perfect phylogeny, and hence, the binary ranked and unranked tree shapes conditioned on an observed pattern of mutations under the infinitely-many-sites mutation model. We provide a recursive enumeration of these shapes. We consider both perfect phylogenies that can be represented as binary and those that are multifurcating. The results have implications for computational aspects of the statistical inference of evolutionary parameters that underlie sets of molecular sequences.
△ Less
Submitted 10 August, 2021;
originally announced August 2021.
-
An adjacent-swap Markov chain on coalescent trees
Authors:
Mackenzie Simper,
Julia A. Palacios
Abstract:
The standard coalescent is widely used in evolutionary biology and population genetics to model the ancestral history of a sample of molecular sequences as a rooted and ranked binary tree. In this paper, we present a representation of the space of ranked trees as a space of constrained ordered matched pairs. We use this representation to define ergodic Markov chains on labeled and unlabeled ranked…
▽ More
The standard coalescent is widely used in evolutionary biology and population genetics to model the ancestral history of a sample of molecular sequences as a rooted and ranked binary tree. In this paper, we present a representation of the space of ranked trees as a space of constrained ordered matched pairs. We use this representation to define ergodic Markov chains on labeled and unlabeled ranked tree shapes analogously to transposition chains on the space of permutations. We show that an adjacent-swap chain on labeled and unlabeled ranked tree shapes has mixing time at least of order $n^3$, and at most of order $n^{4}$. Bayesian inference methods rely on Markov chain Monte Carlo methods on the space of trees. Thus, it is important to define good Markov chains which are easy to simulate and for which rates of convergence can be studied.
△ Less
Submitted 14 December, 2020;
originally announced December 2020.
-
Exact Limits of Inference in Coalescent Models
Authors:
James E. Johndrow,
Julia A. Palacios
Abstract:
Recovery of population size history from molecular sequence data is an important problem in population genetics. Inference commonly relies on a coalescent model linking the population size history to genealogies. The high computational cost of estimating parameters from these models usually compels researchers to select a subset of the available data or to rely on non-sufficient summary statistics…
▽ More
Recovery of population size history from molecular sequence data is an important problem in population genetics. Inference commonly relies on a coalescent model linking the population size history to genealogies. The high computational cost of estimating parameters from these models usually compels researchers to select a subset of the available data or to rely on non-sufficient summary statistics for statistical inference. We consider the problem of recovering the true population size history from two possible alternatives on the basis of coalescent time data. We give exact expressions for the probability of selecting the correct alternative in a variety of biologically interesting cases as a function of the separation between the alternative size histories, the number of individuals, loci, and the sampling times. The results are applied to human population history. This work has significant implications for optimal design when the inferential goal is to test scientific hypotheses about population size trajectories in coalescent models with and without recombination.
△ Less
Submitted 16 January, 2018; v1 submitted 15 November, 2017;
originally announced November 2017.
-
Dn Symmetric Hamiltonian System: A Network of Coupled Gyroscopes as a Case Study
Authors:
Pietro Luciano Buono,
Bernard S. Chan,
Antonio Palacios,
Visarath In
Abstract:
The evolution of a large class of biological, physical and engineering systems can be studied through both dynamical systems theory and Hamiltonian mechanics. The former theory, in particular its specialization to study systems with symmetry, is already well developed and has been used extensively on a wide variety of spatio-temporal systems. There are, however, fewer results on higher-dimensional…
▽ More
The evolution of a large class of biological, physical and engineering systems can be studied through both dynamical systems theory and Hamiltonian mechanics. The former theory, in particular its specialization to study systems with symmetry, is already well developed and has been used extensively on a wide variety of spatio-temporal systems. There are, however, fewer results on higher-dimensional Hamiltonian systems with symmetry. This lack of results has lead us to investigate the role of symmetry, in particular dihedral symmetry, on high-dimensional coupled Hamiltonian systems. As a representative example, we consider the model equations of a ring of vibratory gyroscopes. The equations are reformulated in a Hamiltonian structure and the corresponding normal forms are derived. Through a normal form analysis, we investigated the effects of various coupling schemes and unraveled the nature of the bifurcations that lead the ring of gyroscopes into and out of synchronization. The Hamiltonian approach is specially useful in investigating the collective behavior of small and large ring sizes and it can be readily extended to other symmetry-related systems.
△ Less
Submitted 12 September, 2013;
originally announced September 2013.
