A linear memory algorithm for Baum-Welch training

Abstract
Background: Baum-Welch training is an expectation-maximisation algorithm for training the emission and transition probabilities of hidden Markov models in a fully automated way. It can be employed as long as a training set of annotated sequences is known, and provides a rigorous way to derive parameter values which are guaranteed to be at least locally optimal. For complex hidden Markov models such as pair hidden Markov models and very long training sequences, even the most efficient algorithms for Baum-Welch training are currently too memory-consuming. This has so far effectively prevented the automatic parameter training of hidden Markov models that are currently used for biological sequence analyses.Results: We introduce the first linear space algorithm for Baum-Welch training. For a hidden Markov model withMstates,Tfree transition andEfree emission parameters, and an input sequence of lengthL, our new algorithm requiresO(M) memory andO(LMTmax(T + E)) time for one Baum-Welch iteration, whereTmaxis the maximum number of states that any state is connected to. The most memory efficient algorithm until now was the checkpointing algorithm withO(log(L)M) memory andO(log(L)LMTmax) time requirement. Our novel algorithm thus renders the memory requirement completely independent of the length of the training sequences. More generally, for an n-hidden Markov model and n input sequences of lengthL, the memory requirement ofO(log(L)Ln-1M) is reduced toO(Ln-1M) memory while the running time is changed fromO(log(L)LnMTmax+Ln(T+E)) toO(LnMTmax(T+E)).An added advantage of our new algorithm is that a reduced time requirement can be traded for an increased memory requirement andvice versa, such that for anyc∈ {1, ..., (T+E)}, a time requirement ofLnMTmaxcincurs a memory requirement ofLn-1M(T+E-c).Conclusion: For the large class of hidden Markov models used for example in gene prediction, whose number of states does not scale with the length of the input sequence, our novel algorithm can thus be both faster and more memory-efficient than any of the existing algorithms.