Nonparametric Density Estimation for Learning Noise Distributions in Mobile Robotics

Total Page:16

File Type:pdf, Size:1020Kb

Nonparametric Density Estimation for Learning Noise Distributions in Mobile Robotics Nonparametric Density Estimation for Learning Noise Distributions in Mobile Robotics David M. Rosen and John J. Leonard Histogram of observations Abstract—By admitting an explicit representation of the uncer- 350 tainty associated with sensing and actuation in the real world, the probabilistic robotics paradigm has led to remarkable improve- 300 ments in the robustness and performance of autonomous systems. However, this approach generally requires that the sensing and 250 actuation noise acting upon an autonomous system be specified 200 in the form of probability density functions, thus necessitating Count that these densities themselves be estimated. To that end, in this 150 paper we present a general framework for directly estimating the probability density function of a noise distribution given only a 100 set of observations sampled from that distribution. Our approach is based upon Dirichlet process mixture models (DPMMs), a 50 class of infinite mixture models commonly used in Bayesian 0 −10 −5 0 5 10 15 20 25 nonparametric statistics. These models are very expressive and Observation enjoy good posterior consistency properties when used in density estimation, but the density estimates that they produce are often too computationally complex to be used in mobile robotics Fig. 1. A complicated noise distribution: This figure shows a histogram of applications, where computational resources are limited and 3000 observations sampled from a complicated noise distribution in simulation speed is crucial. We derive a straightforward yet principled (cf. equations (37)–(40)). The a priori identification of a parametric family capable of accurately characterizing complex or poorly-understood noise approximation method for simplifying the densities learned by distributions such as the one shown here is a challenging problem, which DPMMs in order to produce computationally tractable density renders parametric density estimation approaches vulnerable to model mis- estimates. When implemented using the infinite Gaussian mixture specification. Nonparametric approaches overcome this difficulty by inferring model (a specific class of DPMMs that is particularly well-suited an appropriate model directly from the data. for mobile robotics applications), our approach is capable of n approximating any continuous distribution on R arbitrarily well in total variation distance, and produces C1, bounded, families [5]. However, all of these techniques depend upon everywhere positive, and efficiently computable density estimates the practitioner’s identification of a set of candidate parametric suitable for use in real-time inference algorithms on mobile models containing at least one member that is able to capture robotic platforms. the true noise characteristics well. It is far from clear that such I. INTRODUCTION a suitable a priori model selection will always be possible, especially in cases where the physical noise-generating process By admitting an explicit representation of the uncertainty is complex or not well understood (cf. Fig.1). This renders associated with sensing and actuation in a complex, noisy, and existing parametric density estimation approaches vulnerable ever-changing world, the widespread adoption of the proba- to model misspecification, which can severely degrade the per- bilistic robotics paradigm has led to remarkable improvements formance of autonomous systems that rely upon the resulting in the robustness and performance of autonomous systems. density estimates. However, this approach generally requires [22] that the sensing In this paper, we present a method for performing and actuation noise acting upon an autonomous system be nonparametric density estimation suitable for learning noise specified in the form of probability density functions, thus distributions in mobile robotics applications. Our approach necessitating that these densities themselves be estimated. is based upon Dirichlet process mixture models (DPMMs), a In the context of mobile robotics, this density estimation class of infinite mixture models commonly used in Bayesian problem is commonly addressed by assuming a priori that the nonparametric statistics [8]. These models are very expressive true density is a member of a particular parametric family and enjoy good posterior consistency properties when used p(·|θ) (e.g. Gaussian, gamma, exponential, etc.), and then in density estimation [12], [25], but the density estimates attempting to estimate the parameter θ that best captures that they produce are often too complex to admit real-time the observed noise characteristics. More advanced approaches inference using the limited computational resources available (e.g. the Bayes [19] or Akaike [1] Information Criteria) allow on mobile robotic platforms. We derive a straightforward yet joint model selection and parameter estimation from amongst principled approximation method for simplifying the densities a (possibly very large) finite set of candidate parametric learned by DPMMs in order to produce computationally The authors are with the Massachusetts Institute of Technology, Cambridge, tractable density estimates. When implemented using the infi- MA 02139, USA fdmrosen,[email protected] nite Gaussian mixture model (a specific class of DPMMs that is particularly well-suited for mobile robotics applications), 2) Posterior belief: The posterior belief for Gjθ1; : : : ; θn is our approach is capable of approximating any continuous dis- again Dirichlet-process distributed: n tribution on R arbitrarily well in total variation distance, and n ! 1 α n 1 X produces C , bounded, everywhere positive, and efficiently Gjθ ; : : : ; θ ∼ DP α + n; G + · δ 1 n α + n 0 α + n n θi computable density estimates suitable for use in real-time i=1 inference algorithms on mobile robotic platforms. (5) where δθ is the measure assigning unit mass to the point θi. II. THE DIRICHLET PROCESS i In other words, the Dirichlet process provides a class of priors The Dirichlet process is a stochastic process whose samples over probability distributions G that is closed under posterior are themselves random distributions. It was introduced by Fer- updates given observations θ1; : : : ; θn sampled from G. guson in [8], who proposed its use in Bayesian nonparametric 3) Posterior predictive distribution: Given the observa- statistics as a prior over the set of all probability distributions tions θ1; : : : ; θn, we can obtain the predictive distribution on a given sample space. In this section, we review its formal θn+1jθ1; : : : ; θn for a subsequent sample θn+1 drawn from G definition and some of the properties that make it an attractive by observing that θn+1jG; θ1; : : : ; θn ∼ G and then marginal- choice as a prior in Bayesian nonparametric applications. izing over G using the posterior distribution for Gjθ1; : : : ; θn A. Formal definition obtained in (5). This gives the posterior predictive distribution: n Let Ω be a sample space, G0 a probability measure on Ω, α n 1 X + θ jθ ; : : : ; θ ∼ G + · δ : (6) and α 2 R a positive scalar. A random probability distribu- n+1 1 n α + n 0 α + n n θi tion G on Ω is distributed according to the Dirichlet process i=1 with base distribution G0 and concentration parameter α, In other words, the posterior base distribution in (5) is also denoted G ∼ DP(α; G0), if the predictive distribution for θn+1 given θ1; : : : ; θn. 4) Sample clustering and the Chinese restaurant process: (G(A1);:::;G(Ak)) ∼ Dir (αG0(A1); : : : ; αG0(Ak)) (1) Equation (6) implies an important clustering property for k for every finite measurable partition fAigi=1 of Ω. In other samples drawn from a random distribution G with a Dirichlet words, we require that the (random) probabilities assigned by process prior. By the chain rule of probability, we can realize a G to elements of the partition fA gk be Dirichlet distributed. i i=1 sequence of draws θ1; : : : ; θn from G by sequentially sampling B. Useful properties of the Dirichlet process each θi according to In this subsection we collect some useful properties of the θi ∼ θijθ1; : : : ; θi−1; 1 ≤ i ≤ n; (7) Dirichlet process that make it an attractive choice as a prior in Bayesian nonparametric applications. Due to space constraints where the right-hand side of equation (7) is the predictive we present these results without proof; interested readers are distribution given in (6). Now, observe that the presence of encouraged to consult the excellent introductory articles [11], the distributions δθj centered on the previous draws θj in the [20] for a more detailed exposition. predictive distribution imply that p(θi = θjjθ1; : : : ; θi−1) > 0 For the remainder of this section, we let Ω be a sample for all 1 ≤ j < i ≤ n; i.e., that previously sampled values + space, G0 a probability measure on Ω, α 2 R , G ∼ will repeat with positive probability. DP(α; G0), and θ1; : : : ; θn ∼ G. More precisely, consider drawing the sample θi from the 1) Expectation and variance: Letting A ⊆ Ω be a mea- conditional distribution θijθ1; : : : ; θi−1 at timestep i. Let- c ∗ ∗ surable subset and considering the partition fA; A g, we have ting θ1; : : : ; θm denote the unique values within the set ∗ ∗ from (1) that fθ1; : : : ; θi−1g of previously drawn samples and n1; : : : ; nm denote their corresponding empirical counts, we have from (6) G(A) ∼ Beta (αG0(A); α(1 − G0(A))) (2) ∗ that θi repeats the value θj with probability and therefore that ∗ ∗ nj E [G(A)] = G0(A); p(θ = θ jθ ; : : : ; θ ) = ; (8) i j 1 i−1 α + i − 1 G (A) · (1 − G (A)) (3) Var [G(A)] = 0 0 : 1 + α
Recommended publications
  • Hyperprior on Symmetric Dirichlet Distribution
    Hyperprior on symmetric Dirichlet distribution Jun Lu Computer Science, EPFL, Lausanne [email protected] November 5, 2018 Abstract In this article we introduce how to put vague hyperprior on Dirichlet distribution, and we update the parameter of it by adaptive rejection sampling (ARS). Finally we analyze this hyperprior in an over-fitted mixture model by some synthetic experiments. 1 Introduction It has become popular to use over-fitted mixture models in which number of cluster K is chosen as a conservative upper bound on the number of components under the expectation that only relatively few of the components K0 will be occupied by data points in the samples X . This kind of over-fitted mixture models has been successfully due to the ease in computation. Previously Rousseau & Mengersen(2011) proved that quite generally, the posterior behaviour of overfitted mixtures depends on the chosen prior on the weights, and on the number of free parameters in the emission distributions (here D, i.e. the dimension of data). Specifically, they have proved that (a) If α=min(αk; k ≤ K)>D=2 and if the number of components is larger than it should be, asymptotically two or more components in an overfitted mixture model will tend to merge with non-negligible weights. (b) −1=2 In contrast, if α=max(αk; k 6 K) < D=2, the extra components are emptied at a rate of N . Hence, if none of the components are small, it implies that K is probably not larger than K0. In the intermediate case, if min(αk; k ≤ K) ≤ D=2 ≤ max(αk; k 6 K), then the situation varies depending on the αk’s and on the difference between K and K0.
    [Show full text]
  • Hierarchical Dirichlet Process Hidden Markov Model for Unsupervised Bioacoustic Analysis
    Hierarchical Dirichlet Process Hidden Markov Model for Unsupervised Bioacoustic Analysis Marius Bartcus, Faicel Chamroukhi, Herve Glotin Abstract-Hidden Markov Models (HMMs) are one of the the standard HDP-HMM Gibbs sampling has the limitation most popular and successful models in statistics and machine of an inadequate modeling of the temporal persistence of learning for modeling sequential data. However, one main issue states [9]. This problem has been addressed in [9] by relying in HMMs is the one of choosing the number of hidden states. on a sticky extension which allows a more robust learning. The Hierarchical Dirichlet Process (HDP)-HMM is a Bayesian Other solutions for the inference of the hidden Markov non-parametric alternative for standard HMMs that offers a model in this infinite state space models are using the Beam principled way to tackle this challenging problem by relying sampling [lO] rather than Gibbs sampling. on a Hierarchical Dirichlet Process (HDP) prior. We investigate the HDP-HMM in a challenging problem of unsupervised We investigate the BNP formulation for the HMM, that is learning from bioacoustic data by using Markov-Chain Monte the HDP-HMM into a challenging problem of unsupervised Carlo (MCMC) sampling techniques, namely the Gibbs sampler. learning from bioacoustic data. The problem consists of We consider a real problem of fully unsupervised humpback extracting and classifying, in a fully unsupervised way, whale song decomposition. It consists in simultaneously finding the structure of hidden whale song units, and automatically unknown number of whale song units. We use the Gibbs inferring the unknown number of the hidden units from the Mel sampler to infer the HDP-HMM from the bioacoustic data.
    [Show full text]
  • A Dirichlet Process Mixture Model of Discrete Choice Arxiv:1801.06296V1
    A Dirichlet Process Mixture Model of Discrete Choice 19 January, 2018 Rico Krueger (corresponding author) Research Centre for Integrated Transport Innovation, School of Civil and Environmental Engineering, UNSW Australia, Sydney NSW 2052, Australia [email protected] Akshay Vij Institute for Choice, University of South Australia 140 Arthur Street, North Sydney NSW 2060, Australia [email protected] Taha H. Rashidi Research Centre for Integrated Transport Innovation, School of Civil and Environmental Engineering, UNSW Australia, Sydney NSW 2052, Australia [email protected] arXiv:1801.06296v1 [stat.AP] 19 Jan 2018 1 Abstract We present a mixed multinomial logit (MNL) model, which leverages the truncated stick- breaking process representation of the Dirichlet process as a flexible nonparametric mixing distribution. The proposed model is a Dirichlet process mixture model and accommodates discrete representations of heterogeneity, like a latent class MNL model. Yet, unlike a latent class MNL model, the proposed discrete choice model does not require the analyst to fix the number of mixture components prior to estimation, as the complexity of the discrete mixing distribution is inferred from the evidence. For posterior inference in the proposed Dirichlet process mixture model of discrete choice, we derive an expectation maximisation algorithm. In a simulation study, we demonstrate that the proposed model framework can flexibly capture differently-shaped taste parameter distributions. Furthermore, we empirically validate the model framework in a case study on motorists’ route choice preferences and find that the proposed Dirichlet process mixture model of discrete choice outperforms a latent class MNL model and mixed MNL models with common parametric mixing distributions in terms of both in-sample fit and out-of-sample predictive ability.
    [Show full text]
  • Part 2: Basics of Dirichlet Processes 2.1 Motivation
    CS547Q Statistical Modeling with Stochastic Processes Winter 2011 Part 2: Basics of Dirichlet processes Lecturer: Alexandre Bouchard-Cˆot´e Scribe(s): Liangliang Wang Disclaimer: These notes have not been subjected to the usual scrutiny reserved for formal publications. They may be distributed outside this class only with the permission of the Instructor. Last update: May 17, 2011 2.1 Motivation To motivate the Dirichlet process, let us consider a simple density estimation problem: modeling the height of UBC students. We are going to take a Bayesian approach to this problem, considering the parameters as random variables. In one of the most basic models, one would define a mean and variance random parameter θ = (µ, σ2), and a height random variable normally distributed conditionally on θ, with parameters θ.1 Using a single normal distribution is clearly a defective approach, since for example the male/female sub- populations create a skewness in the distribution, which cannot be capture by normal distributions: The solution suggested by this figure is to use a mixture of two normal distributions, with one set of parameters θc for each sub-population or cluster c ∈ {1, 2}. Pictorially, the model can be described as follows: 1- Generate a male/female relative frequence " " ~ Beta(male prior pseudo counts, female P.C) Mean height 2- Generate the sex of each student for each i for men Mult( ) !(1) x1 x2 x3 xi | " ~ " 3- Generate the mean height of each cluster c !(2) Mean height !(c) ~ N(prior height, how confident prior) for women y1 y2 y3 4- Generate student heights for each i yi | xi, !(1), !(2) ~ N(!(xi) ,variance) 1Yes, this has many problems (heights cannot be negative, normal assumption broken, etc).
    [Show full text]
  • Lectures on Bayesian Nonparametrics: Modeling, Algorithms and Some Theory VIASM Summer School in Hanoi, August 7–14, 2015
    Lectures on Bayesian nonparametrics: modeling, algorithms and some theory VIASM summer school in Hanoi, August 7–14, 2015 XuanLong Nguyen University of Michigan Abstract This is an elementary introduction to fundamental concepts of Bayesian nonparametrics, with an emphasis on the modeling and inference using Dirichlet process mixtures and their extensions. I draw partially from the materials of a graduate course jointly taught by Professor Jayaram Sethuraman and myself in Fall 2014 at the University of Michigan. Bayesian nonparametrics is a field which aims to create inference algorithms and statistical models, whose complexity may grow as data size increases. It is an area where probabilists, theoretical and applied statisticians, and machine learning researchers all make meaningful contacts and contributions. With the following choice of materials I hope to take the audience with modest statistical background to a vantage point from where one may begin to see a rich and sweeping panorama of a beautiful area of modern statistics. 1 Statistical inference The main goal of statistics and machine learning is to make inference about some unknown quantity based on observed data. For this purpose, one obtains data X with distribution depending on the unknown quantity, to be denoted by parameter θ. In classical statistics, this distribution is completely specified except for θ. Based on X, one makes statements about θ in some optimal way. This is the basic idea of statistical inference. Machine learning originally approached the inference problem through the lense of the computer science field of artificial intelligence. It was eventually realized that machine learning was built on the same theoretical foundation of mathematical statistics, in addition to carrying a strong emphasis on the development of algorithms.
    [Show full text]
  • Final Report (PDF)
    Foundation of Stochastic Analysis Krzysztof Burdzy (University of Washington) Zhen-Qing Chen (University of Washington) Takashi Kumagai (Kyoto University) September 18-23, 2011 1 Scientific agenda of the conference Over the years, the foundations of stochastic analysis included various specific topics, such as the general theory of Markov processes, the general theory of stochastic integration, the theory of martingales, Malli- avin calculus, the martingale-problem approach to Markov processes, and the Dirichlet form approach to Markov processes. To create some focus for the very broad topic of the conference, we chose a few areas of concentration, including • Dirichlet forms • Analysis on fractals and percolation clusters • Jump type processes • Stochastic partial differential equations and measure-valued processes Dirichlet form theory provides a powerful tool that connects the probabilistic potential theory and ana- lytic potential theory. Recently Dirichlet forms found its use in effective study of fine properties of Markov processes on spaces with minimal smoothness, such as reflecting Brownian motion on non-smooth domains, Brownian motion and jump type processes on Euclidean spaces and fractals, and Markov processes on trees and graphs. It has been shown that Dirichlet form theory is an important tool in study of various invariance principles, such as the invariance principle for reflected Brownian motion on domains with non necessarily smooth boundaries and the invariance principle for Metropolis algorithm. Dirichlet form theory can also be used to study a certain type of SPDEs. Fractals are used as an approximation of disordered media. The analysis on fractals is motivated by the desire to understand properties of natural phenomena such as polymers, and growth of molds and crystals.
    [Show full text]
  • A Tutorial on Bayesian Nonparametric Models
    A Tutorial on Bayesian Nonparametric Models Samuel J. Gershman1 and David M. Blei2 1Department of Psychology and Neuroscience Institute, Princeton University 2Department of Computer Science, Princeton University August 5, 2011 Abstract A key problem in statistical modeling is model selection, how to choose a model at an appropriate level of complexity. This problem appears in many settings, most prominently in choosing the number of clusters in mixture models or the number of factors in factor analysis. In this tutorial we describe Bayesian nonparametric methods, a class of methods that side-steps this issue by allowing the data to determine the complexity of the model. This tutorial is a high-level introduction to Bayesian nonparametric methods and contains several examples of their application. 1 Introduction How many classes should I use in my mixture model? How many factors should I use in factor analysis? These questions regularly exercise scientists as they explore their data. Most scientists address them by first fitting several models, with different numbers of clusters or factors, and then selecting one using model comparison metrics (Claeskens and Hjort, 2008). Model selection metrics usually include two terms. The first term measures how well the model fits the data. The second term, a complexity penalty, favors simpler models (i.e., ones with fewer components or factors). Bayesian nonparametric (BNP) models provide a different approach to this problem (Hjort et al., 2010). Rather than comparing models that vary in complexity, the BNP approach is to fit a single model that can adapt its complexity to the data. Furthermore, BNP models allow the complexity to grow as more data are observed, such as when using a model to perform prediction.
    [Show full text]
  • Gaussian Process-Mixture Conditional Heteroscedasticity
    888 IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, VOL. 36, NO. 5, MAY 2014 Gaussian Process-Mixture Conditional Heteroscedasticity Emmanouil A. Platanios and Sotirios P. Chatzis Abstract—Generalized autoregressive conditional heteroscedasticity (GARCH) models have long been considered as one of the most successful families of approaches for volatility modeling in financial return series. In this paper, we propose an alternative approach based on methodologies widely used in the field of statistical machine learning. Specifically, we propose a novel nonparametric Bayesian mixture of Gaussian process regression models, each component of which models the noise variance process that contaminates the observed data as a separate latent Gaussian process driven by the observed data. This way, we essentially obtain a Gaussian process-mixture conditional heteroscedasticity (GPMCH) model for volatility modeling in financial return series. We impose a nonparametric prior with power-law nature over the distribution of the model mixture components, namely the Pitman-Yor process prior, to allow for better capturing modeled data distributions with heavy tails and skewness. Finally, we provide a copula-based approach for obtaining a predictive posterior for the covariances over the asset returns modeled by means of a postulated GPMCH model. We evaluate the efficacy of our approach in a number of benchmark scenarios, and compare its performance to state-of-the-art methodologies. Index Terms—Gaussian process, Pitman-Yor process, mixture model, conditional heteroscedasticity, copula, volatility modeling 1INTRODUCTION TATISTICAL modeling of asset values in financial mar- and the past variances, which facilitates model estimation S kets requires taking into account the tendency of assets and computation of the prediction errors.
    [Show full text]
  • Maximum Likelihood Estimation of Dirichlet Distribution Parameters
    Maximum Likelihood Estimation of Dirichlet Distribution Parameters Jonathan Huang Abstract. Dirichlet distributions are commonly used as priors over propor- tional data. In this paper, I will introduce this distribution, discuss why it is useful, and compare implementations of 4 different methods for estimating its parameters from observed data. 1. Introduction The Dirichlet distribution is one that has often been turned to in Bayesian statistical inference as a convenient prior distribution to place over proportional data. To properly motivate its study, we will begin with a simple coin toss example, where the task will be to find a suitable distribution P which summarizes our beliefs about the probability that the toss will result in heads, based on all prior such experiments. 16 14 12 10 8 6 4 2 0 0 0.2 0.4 0.6 0.8 1 H/(H+T) Figure 1. A distribution over possible probabilities of obtaining heads We will want to convey several things via such a distribution. First, if we have an idea of what the odds of heads are, then we will want P to reflect this. For example, if we associate P with the experiment of flipping a penny, we would hope that P gives strong probability to 50-50 odds. Second, we will want the distribution to somehow reflect confidence by expressing how many coin flips we have witnessed 1 2 JONATHAN HUANG in the past, the idea being that the more coin flips one has seen, the more confident one is about how a coin must behave. In the case where we have never seen a coin flip experiment, then P should assign uniform probability to all odds.
    [Show full text]
  • Statistical Analysis of Neural Data Lecture 6
    Statistical Analysis of Neural Data Lecture 6: Nonparametric Bayesian mixture modeling: with an introduction to the Dirichlet process, a brief Markov chain Monte Carlo review, and a spike sorting application Guest Lecturer: Frank Wood Gatsby Unit, UCL March, 2009 Wood (Gatsby Unit) Dirichlet Process Mixture Modeling March 2009 1 / 89 Motivation: Spike Train Analysis What is a spike train? Cell 1 Cell 2 Spike Cell 3 Time Figure: Three spike trains Action potentials or “spikes” are assumed to be the fundamental unit of information transfer in the brain [Bear et al., 2001] Wood (Gatsby Unit) Dirichlet Process Mixture Modeling March 2009 2 / 89 Motivation: The Problem Prevalence Such analyses are quite common in the neuroscience literature. Potential problems Estimating spike trains from a neural recording (“spike sorting”) is sometimes difficult to do Different experts and algorithms produce different spike trains It isn’t easy to tell which one is right Different spike trains can and do produce different analysis outcomes Worry How confident can we be about outcomes from analyses of spike trains? Wood (Gatsby Unit) Dirichlet Process Mixture Modeling March 2009 3 / 89 Approach: Goal of today’s class Present all the tools you need to understand a novel nonparametric Bayesian spike train model that Allows spike sorting uncertainty to be reprensented and propagated through all levels of spike train analysis Making modeling assumptions clear Increasing the amount and kind of data that can be utilized Accounting for spike train variability in analysis outcomes Makes “online” spike sorting possible Roadmap Spike Sorting Infinite Gaussian mixture modeling (IGMM) Dirichlet process MCMC review Gibbs sampler for the IGMM WoodExperiments (Gatsby Unit) Dirichlet Process Mixture Modeling March 2009 4 / 89 Goal: philosophy and procedural understanding ..
    [Show full text]
  • The Infinite Hidden Markov Model
    The Infinite Hidden Markov Model Matthew J. Beal Zoubin Ghahramani Carl Edward Rasmussen Gatsby Computational Neuroscience Unit University College London 17 Queen Square, London WC1N 3AR, England http://www.gatsby.ucl.ac.uk m.beal,zoubin,edward @gatsby.ucl.ac.uk f g Abstract We show that it is possible to extend hidden Markov models to have a countably infinite number of hidden states. By using the theory of Dirichlet processes we can implicitly integrate out the infinitely many transition parameters, leaving only three hyperparameters which can be learned from data. These three hyperparameters define a hierarchical Dirichlet process capable of capturing a rich set of transition dynamics. The three hyperparameters control the time scale of the dynamics, the sparsity of the underlying state-transition matrix, and the expected num- ber of distinct hidden states in a finite sequence. In this framework it is also natural to allow the alphabet of emitted symbols to be infinite— consider, for example, symbols being possible words appearing in En- glish text. 1 Introduction Hidden Markov models (HMMs) are one of the most popular methods in machine learning and statistics for modelling sequences such as speech and proteins. An HMM defines a probability distribution over sequences of observations (symbols) y = y1; : : : ; yt; : : : ; yT by invoking another sequence of unobserved, or hidden, discrete f g state variables s = s1; : : : ; st; : : : ; sT . The basic idea in an HMM is that the se- f g quence of hidden states has Markov dynamics—i.e. given st, sτ is independent of sρ for all τ < t < ρ—and that the observations yt are independent of all other variables given st.
    [Show full text]
  • A Dirichlet Process Model for Detecting Positive Selection in Protein-Coding DNA Sequences
    A Dirichlet process model for detecting positive selection in protein-coding DNA sequences John P. Huelsenbeck*†, Sonia Jain‡, Simon W. D. Frost§, and Sergei L. Kosakovsky Pond§ *Section of Ecology, Behavior, and Evolution, Division of Biological Sciences, University of California at San Diego, La Jolla, CA 92093-0116; ‡Division of Biostatistics and Bioinformatics, Department of Family and Preventive Medicine, University of California at San Diego, La Jolla, CA 92093-0717; and §Antiviral Research Center, University of California at San Diego, 150 West Washington Street, La Jolla, CA 92103 Edited by Joseph Felsenstein, University of Washington, Seattle, WA, and approved March 1, 2006 (received for review September 21, 2005) Most methods for detecting Darwinian natural selection at the natural selection that is present at only a few positions in the molecular level rely on estimating the rates or numbers of non- alignment (21). In cases where such methods have been successful, synonymous and synonymous changes in an alignment of protein- many sites are typically under strong positive selection (e.g., MHC). coding DNA sequences. In some of these methods, the nonsyn- More recently, Nielsen and Yang (2) developed a method that onymous rate of substitution is allowed to vary across the allows the rate of nonsynonymous substitution to vary across the sequence, permitting the identification of single amino acid posi- sequence. The method of Nielsen and Yang has proven useful for tions that are under positive natural selection. However, it is detecting positive natural selection in sequences where only a few unclear which probability distribution should be used to describe sites are under directional selection.
    [Show full text]