Skip to content
— CH. 1 · FOUNDATIONS AND DEFINITIONS —

Hidden Markov model

~5 min read · Ch. 1 of 6
6 sections
  • In 1960, Leonard Baum and his colleagues published a series of statistical papers that introduced the hidden Markov model. This mathematical structure describes a system where an observer sees outcomes but cannot directly see the underlying process driving them. The model requires two distinct stochastic processes: one hidden state sequence and one observable output sequence. The hidden states form a Markov chain, meaning the next state depends only on the current state. Observations depend probabilistically on these hidden states in a known way. Since the states remain invisible, researchers must infer their nature by analyzing the visible data. A discrete-time example involves drawing balls from urns placed inside a sealed room. An unseen genie selects an urn and draws a ball onto a conveyor belt for observation. The observer sees the labeled balls but never knows which specific urn generated each draw. This setup creates a scenario where the probability of the third ball drawn depends on the previous urn choice, yet the urn itself remains hidden from view.

  • Researchers developed computational methods to solve the problem of finding the most likely sequence of hidden states given observed outputs. The Viterbi algorithm efficiently calculates this maximum likelihood path through the state space. It evaluates joint probabilities for candidate sequences by multiplying transition and emission values. Another critical method is the forward algorithm, which computes the total probability of observing a specific sequence. This approach sums over all possible hidden state paths using dynamic programming principles. Filtering tasks determine the distribution of the final hidden state at the end of a sequence. Smoothing algorithms work backward to estimate the probability of past states relative to current observations. These techniques allow systems to make predictions about weather patterns or speech sounds based on limited data. For instance, Alice might guess Bob's activity based on his daily reports while knowing only general weather trends. The mathematical framework ensures that calculations remain tractable even when dealing with complex chains of events.

  • Estimating model parameters requires deriving maximum likelihood estimates from sets of output sequences. No exact algorithm exists to solve this problem perfectly in all cases. Instead, researchers rely on local optimization techniques like the Baum-Welch algorithm. This method serves as a special case of the expectation-maximization algorithm used across statistics. It iteratively refines transition and emission probabilities until convergence occurs. More sophisticated Bayesian inference methods include Markov chain Monte Carlo sampling for time series prediction. These approaches offer better accuracy and stability than single maximum likelihood models. Variational approximations provide computational efficiency comparable to expectation-maximization while maintaining high precision. In 2016, Robert Sipos published research on parallel stratified MCMC sampling for stochastic time series prediction. Such tools help scientists handle large datasets where traditional methods become too slow or inaccurate. The choice between these learning strategies depends heavily on available computing resources and required precision levels.

  • Leonard E. Baum and other authors described hidden Markov models in statistical papers during the second half of the 1960s. One of the first practical applications emerged in speech recognition starting around the mid-1970s. By the late 1980s, researchers began applying HMMs to analyze biological sequences, particularly DNA strands. Since that decade, they have become ubiquitous within bioinformatics fields. The model functions equivalently to stochastic regular grammar from a linguistics perspective. Early adoption focused on recovering data sequences not immediately observable but dependent on underlying patterns. This historical trajectory shows how theoretical mathematics evolved into essential engineering tools over three decades. The transition from abstract probability theory to real-world implementation marked a significant shift in applied statistics. Researchers like Thad Starner later used these foundations for real-time American Sign Language visual recognition at MIT in February 1995.

  • Hidden Markov models now support diverse fields ranging from computational finance to neuroscience. They enable single-molecule kinetic analysis and assist cryptographers in breaking codes. Speech recognition systems including Siri utilize HMM technology to interpret voice commands. Document separation solutions use them to distinguish text blocks during scanning processes. Machine translation engines rely on part-of-speech tagging algorithms built upon HMM frameworks. Gene prediction tasks benefit from their ability to identify coding regions within DNA sequences. Protein folding studies apply these models to understand complex molecular structures. Activity recognition systems track human movement patterns through sensor data. Sequence classification helps categorize biological or financial time series effectively. Partial discharge detection monitors electrical insulation integrity using pattern matching techniques. Solar irradiance variability forecasting employs HMMs to predict energy output fluctuations. These applications demonstrate the model's versatility across disciplines requiring inference about hidden states.

  • Modern variations extend standard discrete state spaces to continuous domains using linear dynamical systems. Exact inference becomes feasible with Kalman filters in simple Gaussian cases but requires approximation otherwise. Nonparametric settings allow dependency structures that enable identifiability of the model itself. Bayesian modeling introduces Dirichlet distributions as conjugate priors for transition probabilities. Hierarchical Dirichlet process hidden Markov models permit unknown numbers of states theoretically infinite. Discriminative approaches like maximum entropy Markov models directly model conditional distributions instead of joint ones. Linear-chain conditional random fields avoid label bias problems found in earlier discriminative variants. Factorial hidden Markov models condition single observations on multiple independent chains simultaneously. Triplet Markov models add auxiliary processes to handle nonstationary data characteristics. In 2012, researchers suggested using reservoir networks to capture temporal dynamics evolution. Two innovative algorithms introduced in 2023 compute posterior distributions without explicit joint distribution modeling. These advancements expand applicability while addressing computational limitations inherent in traditional methods.

Common questions

When did Leonard Baum and his colleagues publish the first papers on hidden Markov models?

Leonard Baum and his colleagues published a series of statistical papers introducing the hidden Markov model in 1960. These publications established the mathematical structure describing systems where observers see outcomes but cannot directly see the underlying process driving them.

What is the Viterbi algorithm used for in hidden Markov models?

The Viterbi algorithm efficiently calculates the maximum likelihood path through the state space to find the most likely sequence of hidden states given observed outputs. It evaluates joint probabilities for candidate sequences by multiplying transition and emission values.

How does the Baum-Welch algorithm estimate parameters in hidden Markov models?

Researchers rely on local optimization techniques like the Baum-Welch algorithm to derive maximum likelihood estimates from sets of output sequences when no exact algorithm exists. This method serves as a special case of the expectation-maximization algorithm that iteratively refines transition and emission probabilities until convergence occurs.

When was the first practical application of hidden Markov models implemented?

One of the first practical applications emerged in speech recognition starting around the mid-1970s. By the late 1980s, researchers began applying HMMs to analyze biological sequences, particularly DNA strands.

Which modern fields currently utilize hidden Markov models for analysis?

Hidden Markov models now support diverse fields ranging from computational finance to neuroscience including speech recognition systems and gene prediction tasks. They enable single-molecule kinetic analysis and assist cryptographers in breaking codes while helping scientists handle large datasets where traditional methods become too slow or inaccurate.

All sources

53 references cited across the entry

  1. 5journalModeling linkage disequilibrium and identifying recombination hotspots using single-nucleotide polymorphism data.N Li et al. — December 2003
  2. 6journalChromHMM: automating chromatin-state discovery and characterizationJason Ernst et al. — March 2012
  3. 8journalError statistics of hidden Markov model and hidden Boltzmann model resultsLee A. Newberg — 2009
  4. 11journalParallel Optimization of Sparse Portfolios with AR-HMMsI. Róbert Sipos et al. — 2016
  5. 12journalA novel corporate credit rating system based on Student's-t hidden Markov modelsAnastasios Petropoulos et al. — 2016
  6. 13journalSolving Ion Channel Kinetics with the QuB SoftwareChristopher Nicolai — 2013
  7. 14journalSpatiotemporally Resolved Multivariate Pattern Analysis for M/EEGCameron Higgins et al. — 2022
  8. 19journalA Hidden Markov Model Variant for Sequence ClassificationS. Blasiak et al. — 2011
  9. 20journalHunting for metamorphic enginesW. Wong et al. — 2006
  10. 21journalDNA motif elucidation using belief propagationK. -C. Wong et al. — 2013
  11. 22journalImproved Optical Multiplexing with Temporal DNA BarcodesShalin Shah et al. — 2019-05-17
  12. 23journalProgramming Temporal DNA Barcodes for Single-Molecule FingerprintingShalin Shah et al. — 2019-04-10
  13. 25arxivModeling and Forecasting the Evolution of Preferences over Time: A Hidden Markov Model of Travel BehaviorFeraz El Zarwi — May 2011
  14. 26journalThe stochastic two-state solar irradiance model (STSIM)H. Morf — Feb 1998
  15. 27journalA Markov-chain probability distribution mixture approach to the clear-sky indexJ. Munkhammar et al. — Aug 2018
  16. 28journalAn N-state Markov-chain mixture distribution model of the clear-sky indexJ. Munkhammar et al. — Oct 2018
  17. 29journalStatistical Inference for Probabilistic Functions of Finite State Markov ChainsL. E. Baum — 1966
  18. 31journalGrowth transformations for functions on manifoldsL. E. Baum — 1968
  19. 32journalA Maximization Technique Occurring in the Statistical Analysis of Probabilistic Functions of Markov ChainsL. E. Baum et al. — 1970
  20. 33journalAn Inequality and Associated Maximization Technique in Statistical Estimation of Probabilistic Functions of a Markov ProcessL.E. Baum — 1972
  21. 34journalThe DRAGON system—An overviewJ. Baker — 1975
  22. 35journalDesign of a linguistic statistical decoder for the recognition of continuous speechF. Jelinek et al. — 1975
  23. 36bookHidden Markov Models for Speech RecognitionXuedong Huang et al. — Edinburgh University Press — 1990
  24. 37bookSpoken Language ProcessingXuedong Huang et al. — Prentice Hall — 2001
  25. 38bookGrammatical Inference and ApplicationsRafael C. Carrasco et al. — Springer — 1994
  26. 39journalMaximum Likelihood Alignment of DNA SequencesM. Bishop and E. Thompson — 1986
  27. 40journalInference in finite state space non parametric Hidden Markov Models and applicationsE. Gassiat et al. — 2016-01-01
  28. 41journalFundamental Limits for Learning Hidden Markov Model ParametersKweku Abraham et al. — March 2023
  29. 42journalFactorial Hidden Markov ModelsZoubin Ghahramani et al. — 1997
  30. 43journalChaı̂nes de Markov TripletWojciech Pieczynski — 2002
  31. 44journalMultisensor triplet Markov chains and theory of evidenceWojciech Pieczynski — 2007
  32. 49journalA Reservoir-Driven Non-Stationary Hidden Markov ModelSotirios P. Chatzis et al. — 2012
  33. 50bookPanel Analysis: Latent Probability Models for Attitude and Behaviour ProcessesL. M. Wiggins — Elsevier — 1973
  34. 51bookLatent Markov models for longitudinal dataF. Bartolucci et al. — Chapman and Hall/CRC — 2013
  35. 53citationHidden Markov processes in the context of symbolic dynamicsMike Boyle et al. — 2010-01-13