In electrical engineering, computer science, statistical computing and bioinformatics, the Baum–Welch algorithm is used to find the unknown parameters of a hidden Markov model (HMM). It makes use of the forward-backward algorithm and is named for Leonard E. Baum and Lloyd R. Welch.
- 1 History
- 2 Description
- 3 Example
- 4 Applications
- 5 Implementations
- 6 See also
- 7 References
- 8 External links
Hidden Markov models and the Baum–Welch algorithm were first described in a series of articles by Leonard E. Baum and his peers at the Institute for Defense Analysis in the late 1960s. One of the first major applications of HMMs was to the field of speech processing. In the 1980s, HMMs were emerging as a useful tool in the analysis of biological systems and information, and in particular genetic information. They have since become an important tool in the probabilistic modeling of genomic sequences.
A Hidden Markov Model describes the joint probability of a collection of 'hidden' and observed discrete random variables. It relies on the assumption that the hidden variable given the hidden variable is independent of previous hidden variables, and the current observation variables depend only on the current hidden state.
The Baum–Welch algorithm uses the well known EM algorithm to find the maximum likelihood estimate of the parameters of a hidden Markov model given a set of observed feature vectors.
Let be a discrete hidden random variable with possible values. We assume the is independent of time , which leads to the definition of the time independent stochastic transition matrix
The initial state distribution (i.e. when ) is given by
The observation variables can take one of possible values. The probability of a certain observation at time for state is given by
Taking into account all the possible values of and we obtain the by matrix .
An observation sequence is given by .
Thus we can describe a hidden Markov chain by . The Baum–Welch algorithm finds a local maximum for . (i.e. the HMM parameters that maximise the probability of the observation.)
Set with random initial conditions. They can also be set using prior information about the parameters if it is available.
Let , the probability of seeing the and being in state at time . This is found recursively:
Let that is the probability of the ending partial sequence given starting state at time . We calculate as,
We can now calculate the temporary variables, according to Bayes' theorem:
which is the probability of being in state at time given the observed sequence and the parameters
which is the probability of being in state and at times and respectively given the observed sequence and parameters .
- can now be updated:
which is the expected frequency spent in state at time .
which is the expected number of transitions from state i to state j compared to the expected total number of transitions away from state i. To clarify, the number of transitions away from state i does not mean transitions to a different state j, but to any state including itself. This is equivalent to the number of times state i is observed in the sequence from t=1 to t=T-1.
where is an indicator function and is the expected number of times the output observations have been equal to while in state over the expected total number of times in state .
These steps are now repeated iteratively until a desired level of convergence.
Note: It is possible to over-fit a particular data set. That is . The algorithm also does not guarantee a global maximum.
- Note : The below example needs further clarification/reference. It doesn't seem to follow the algorithm for iteratively calculating a better hidden markov model described above, but instead uses certain unexplained and unjustified assumptions. A better example can be found here. (this example has rounding errors)
Suppose we have a chicken from which we collect eggs at noon everyday. Now whether or not the chicken has laid eggs for collection depends on some unknown factors that are hidden. We can however (for simplicity) assume that there are only two states that determine whether the chicken lays eggs. Now we don't know the state at the initial starting point, we don't know the transition probabilities between the two states and we don't know the probability that the chicken lays an egg given a particular state. To start we first guess the transition and emission matrices.
We then take set of observations (E = eggs, N = no eggs): NN, NN, NN, NN, NE, EE, EN, NN, NN
The next step is to estimate a new transition matrix.
|Observed sequence||Probability of sequence and state is then||Highest Probability of observing that sequence|
Thus the new estimate for the to transition is now (referred to as "Pseudo probabilities" in the following tables). We then calculate the to , to and to transition probabilities and normalize so they add to 1. This gives us the updated transition matrix:
Next, we want to estimate a new emission matrix,
|Observed Sequence||Highest probability of observing that sequence
if E is assumed to come from
|Highest Probability of observing that sequence|
The new estimate for the E coming from emission is now .
This allows us to calculate the emission matrix as described above in the algorithm, by adding up the probabilities for the respective observed sequences. We then repeat for if N came from and for if N and E came from and normalize.
To estimate the initial probabilities we assume all sequences start with the hidden state and calculate the highest probability and then repeat for . Again we then normalize to give an updated initial vector.
Finally we repeat these steps until the resulting probabilities converge satisfactorily.
Hidden Markov Models were first applied to speech recognition by James K. Baker in 1975. Continuous speech recognition occurs by the following steps, modeled by a HMM. Feature analysis is first undertaken on temporal and/or spectral features of the speech signal. This produces an observation vector. The feature is then compared to all sequences of the speech recognition units. These units could be phonemes, syllables, or whole-word units. A lexicon decoding system is applied to constrain the paths investigated, so only words in the system's lexicon (word dictionary) are investigated. Similar to the lexicon decoding, the system path is further constrained by the rules of grammar and syntax. Finally, semantic analysis is applied and the system outputs the recognized utterance. A limitation of many HMM applications to speech recognition is that the current state only depends on the state at the previous time-step, which is unrealistic for speech as dependencies are often several time-steps in duration. The Baum–Welch algorithm also has extensive applications in solving HMMs used in the field of speech synthesis.
The Baum–Welch algorithm is often used to estimate the parameters of HMMs in deciphering hidden or noisy information and consequently is often used in cryptanalysis. In data security an observer would like to extract information from a data stream without knowing all the parameters of the transmission. This can involve reverse engineering a channel encoder. HMMs and as a consequence the Baum–Welch algorithm have also been used to identify spoken phrases in encrypted VoIP calls. In addition HMM cryptanalysis is an important tool for automated investigations of cache-timing data. It allows for the automatic discovery of critical algorithm state, for example key values.
Applications in bioinformatics
The GLIMMER (Gene Locator and Interpolated Markov ModelER) software was an early gene-finding program used for the identification of coding regions in prokaryotic DNA. GLIMMER uses Interpolated Markov Models (IMMs) to identify the coding regions and distinguish them from the noncoding DNA. The latest release (GLIMMER3) has been shown to have increased specificity and accuracy compared with its predecessors with regard to predicting translation initiation sites, demonstrating an average 99% accuracy in locating 3' locations compared to confirmed genes in prokaryotes.
The GENSCAN webserver is a gene locator capable of analyzing eukaryotic sequences up to one million base-pairs (1 Mbp) long. GENSCAN utilizes a general inhomogeneous, three periodic, fifth order Markov model of DNA coding regions. Additionally, this model accounts for differences in gene density and structure (such as intron lengths) that occur in different isochores. While most integrated gene-finding software (at the time of GENSCANs release) assumed input sequences contained exactly one gene, GENSCAN solves a general case where partial, complete, or multiple genes (or even no gene at all) is present. GENSCAN was shown to exactly predict exon location with 90% accuracy with 80% specificity compared to an annotated database.
Copy-number variation detection
Copy-number variations (CNVs) are an abundant form of genome structure variation in humans. A discrete-valued bivariate HMM (dbHMM) was used assigning chromosomal regions to seven distinct states: unaffected regions, deletions, duplications and four transition states. Solving this model using Baum-Welch demonstrated the ability to predict the location of CNV breakpoint to approximately 300 bp from micro-array experiments. This magnitude of resolution enables more precise correlations between different CNVs and across populations than previously possible, allowing the study of CNV population frequencies. It also demonstrated a direct inheritance pattern for a particular CNV.
- jhmm or jahmm implementation in Java.
- HMMFit function in the RHmm package for R.
- ghmm C library with Python bindings that supports both discrete and continuous emissions.
- hmmtrain in MATLAB
- Accord.NET in C#
- Hidden-Markov-Model implementation in Java.
- Baum-Welch algorithm Java implementation for discrete HMM in SuanShu.
- EM algorithm Java implementation for mixture HMM in SuanShu.
- Viterbi algorithm
- Hidden Markov model
- EM algorithm
- Maximum Likelihood
- Speech Recognition
- Rabiner, Lawrence. "First Hand: The Hidden Markov Model". IEEE Global History Network. Retrieved 2 October 2013.
- Jelinek, F; Bahl, L.; Mercer, R. (May 1975). "Design of a linguistic statistical decoder for the recognition of continuous speech". IEEE Transactions on Information Theory 21 (3): 250–6. doi:10.1109/tit.1975.1055384.
- Bishop, M; Thompson E (20 July 1986). "Maximum likelihood alignment of DNA sequences". J Mol Biol 190 (2): 159–65. doi:10.1016/0022-2836(86)90289-5. PMID 3641921.
- Durbin, Richard (1998). Biological Sequence Analysis. Cambridge, UK: Cambridge University Press.
- Bilmes, Jeff A. (1998). A Gentle Tutorial of the EM Algorithm and its Application to Parameter Estimation for Gaussian Mixture and Hidden Markov Models. Berkeley, CA: International Computer Science Institute. pp. 7–13.
- 1.pdf "Baum-Welch and HMM applications" (PDF). Johns Hopkins Bloomberg School of Public Health. Retrieved 2 October 2013.
- Frazzoli, Emilio. "Intro to Hidden Markov Models the Baum-Welch Algorithm" (PDF). Aeronautics and Astronautics, Massachusetts Institute of Technology. Retrieved 2 October 2013.
- Baker, J. (1975). "The DRAGON system—An overview". IEEE Transactions on Acoustics, Speech, and Signal Processing 23: 24–29. doi:10.1109/TASSP.1975.1162650.
- Rabiner, Lawrence (Feb 1989). "A Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition". Proceedings of the IEEE 77 (2): 257–286. doi:10.1109/5.18626.
- Tokuda, Keiichi; Takayoshi Yoshimura; Takashi Masuko; Takao Kobayashi; Tadashi Kitamura (2000). "SPEECH PARAMETER GENERATION ALGORITHMS FOR HMM-BASED SPEECH SYNTHESIS". IEEE International Conference on Acoustics, Speech, and Signal Processing 3.
- Dingel, Janis; Joachim Hagenauer (24 June 2007). "Parameter Estimation of a Convolutional Encoder from Noisy Observations". IEEE International Symposium on Information Theory.
- Wright, Charles; Ballard, Lucas; Coull, Scott; Monrose, Fabian; Masson, Gerald (2008). "Spot me if you can: Uncovering spoken phrases in encrypted VoIP conversations". IEEE International Symposium on Security and Privacy.
- Brumley, Bob; Hakala, Risto (2009). "Cache-Timing Template Attacks". Advances in Cryptography 5912: 667–684. doi:10.1007/978-3-642-10366-7_39. Retrieved 21 October 2013.
- Salzberg, Steven; Arthur L. Delcher; Simon Kasif; Owen White (1998). "Microbial gene identification using interpolated Markov Models". Nucleic Acids Research 26 (2): 544–548. doi:10.1093/nar/26.2.544. PMC 147303. PMID 9421513.
- "Glimmer: Microbial Gene-Finding System". Johns Hopkins University - Center for Computational Biology.
- Delcher, Arthur; Kirsten A. Bratke; Edwin C. Powers; Steven L. Salzberg (2007). "Identifying bacterial genes and endosymbiont DNA with Glimmer". Bioinformatics 23 (6): 673–679. doi:10.1093/bioinformatics/btm009. PMC 2387122. PMID 17237039.
- Burge, Christopher. "The GENSCAN Web Server at MIT". Retrieved 2 October 2013.
- Burge, Chris; Samuel Karlin (1997). "Prediction of Complete Gene Structures in Human Genomic DNA". J. Mol. Bio. 268 (1): 78–94. doi:10.1006/jmbi.1997.0951. PMID 9149143.
- Burge, Christopher; Samuel Karlin (1998). "Finding the Genes in Genomic DNA". Current Opinion in Structural Biology 8: 346–354. doi:10.1016/s0959-440x(98)80069-9.
- Korbel, Jan; Alexander Urban; Fabien Grubert; Jiang Du; Thomas Royce; Peter Starr; Guoneng Zhong; Beverly Emanuel; Sherman Weissman; Michael Snyder; Marg Gerstein (12 June 2007). "Systematic prediction and validation of breakpoints associated with copy-number variations in the human genome". PNAS 104 (24): 10110–5. doi:10.1073/pnas.0703834104.
- A comprehensive review of HMM methods and software in bioinformatics - Profile Hidden Markov Models
- Early HMM publications by Baum:
- A Maximization Technique Occurring in the Statistical Analysis of Probabilistic Functions of Markov Chains
- An inequality with applications to statistical estimation for probabilistic functions of Markov processes and to a model for ecology
- Statistical Inference for Probabilistic Functions of Finite State Markov Chains
- The Shannon Lecture by Welch, which speaks to how the algorithm can be implemented efficiently:
- Hidden Markov Models and the Baum–Welch Algorithm, IEEE Information Theory Society Newsletter, Dec. 2003.
- An alternative to the Baum–Welch algorithm, the Viterbi Path Counting algorithm:
- R. I. A. Davis, B. C. Lovell, "Comparing and evaluating HMM ensemble training algorithms using train and test and condition number criteria", Pattern Analysis and Applications, vol. 6, no. 4, pp. 327–336, 2003.
- An Interactive Spreadsheet for Teaching the Forward-Backward Algorithm (spreadsheet and article with step-by-step walkthrough)
- Formal derivation of the Baum–Welch algorithm
- Implementation of the Baum–Welch algorithm