Context mixing

From HandWiki

Context mixing is a type of data compression algorithm in which the next-symbol predictions of two or more statistical models are combined to yield a prediction that is often more accurate than any of the individual predictions. For example, one simple method (not necessarily the best) is to average the probabilities assigned by each model. The random forest is another method: it outputs the prediction that is the mode of the predictions output by individual models. Combining models is an active area of research in machine learning.[citation needed] The PAQ series of data compression programs use context mixing to assign probabilities to individual bits of the input.

Application to Data Compression

Suppose that we are given two conditional probabilities, [math]\displaystyle{ P(X|A) }[/math] and [math]\displaystyle{ P(X|B) }[/math], and we wish to estimate [math]\displaystyle{ P(X|A,B) }[/math], the probability of event X given both conditions [math]\displaystyle{ A }[/math] and [math]\displaystyle{ B }[/math]. There is insufficient information for probability theory to give a result. In fact, it is possible to construct scenarios in which the result could be anything at all. But intuitively, we would expect the result to be some kind of average of the two.

The problem is important for data compression. In this application, [math]\displaystyle{ A }[/math] and [math]\displaystyle{ B }[/math] are contexts, [math]\displaystyle{ X }[/math] is the event that the next bit or symbol of the data to be compressed has a particular value, and [math]\displaystyle{ P(X|A) }[/math] and [math]\displaystyle{ P(X|B) }[/math] are the probability estimates by two independent models. The compression ratio depends on how closely the estimated probability approaches the true but unknown probability of event [math]\displaystyle{ X }[/math]. It is often the case that contexts [math]\displaystyle{ A }[/math] and [math]\displaystyle{ B }[/math] have occurred often enough to accurately estimate [math]\displaystyle{ P(X|A) }[/math] and [math]\displaystyle{ P(X|B) }[/math] by counting occurrences of [math]\displaystyle{ X }[/math] in each context, but the two contexts either have not occurred together frequently, or there are insufficient computing resources (time and memory) to collect statistics for the combined case.

For example, suppose that we are compressing a text file. We wish to predict whether the next character will be a linefeed, given that the previous character was a period (context [math]\displaystyle{ A }[/math]) and that the last linefeed occurred 72 characters ago (context [math]\displaystyle{ B }[/math]). Suppose that a linefeed previously occurred after 1 of the last 5 periods ([math]\displaystyle{ P(X|A=0.2 }[/math]) and in 5 out of the last 10 lines at column 72 ([math]\displaystyle{ P(X|B)=0.5 }[/math]). How should these predictions be combined?

Two general approaches have been used, linear and logistic mixing. Linear mixing uses a weighted average of the predictions weighted by evidence. In this example, [math]\displaystyle{ P(X|B) }[/math] gets more weight than [math]\displaystyle{ P(X|A) }[/math] because [math]\displaystyle{ P(X|B) }[/math] is based on a greater number of tests. Older versions of PAQ uses this approach.[1] Newer versions use logistic (or neural network) mixing by first transforming the predictions into the logistic domain, log(p/(1-p)) before averaging.[2] This effectively gives greater weight to predictions near 0 or 1, in this case [math]\displaystyle{ P(X|A) }[/math]. In both cases, additional weights may be given to each of the input models and adapted to favor the models that have given the most accurate predictions in the past. All but the oldest versions of PAQ use adaptive weighting.

Most context mixing compressors predict one bit of input at a time. The output probability is simply the probability that the next bit will be a 1.

Linear Mixing

We are given a set of predictions Pi(1) = n1i/ni, where ni = n0i + n1i, and n0i and n1i are the counts of 0 and 1 bits respectively for the i'th model. The probabilities are computed by weighted addition of the 0 and 1 counts:

  • S0 = Σi wi n0i
  • S1 = Σi wi n1i
  • S = S0 + S1
  • P(0) = S0 / S
  • P(1) = S1 / S

The weights wi are initially equal and always sum to 1. Under the initial conditions, each model is weighted in proportion to evidence. The weights are then adjusted to favor the more accurate models. Suppose we are given that the actual bit being predicted is y (0 or 1). Then the weight adjustment is:

  • ni = n0i + n1i
  • error = y – P(1)
  • wi ← wi + [(S n1i - S1 ni) / (S0 S1)] error

Compression can be improved by bounding ni so that the model weighting is better balanced. In PAQ6, whenever one of the bit counts is incremented, the part of the other count that exceeds 2 is halved. For example, after the sequence 000000001, the counts would go from (n0, n1) = (8, 0) to (5, 1).

Logistic Mixing

Let Pi(1) be the prediction by the i'th model that the next bit will be a 1. Then the final prediction P(1) is calculated:

  • xi = stretch(Pi(1))
  • P(1) = squash(Σi wi xi)

where P(1) is the probability that the next bit will be a 1, Pi(1) is the probability estimated by the i'th model, and

  • stretch(x) = ln(x / (1 - x))
  • squash(x) = 1 / (1 + e−x) (inverse of stretch).

After each prediction, the model is updated by adjusting the weights to minimize coding cost.

  • wi ← wi + η xi (y - P(1))

where η is the learning rate (typically 0.002 to 0.01), y is the predicted bit, and (y - P(1)) is the prediction error.

List of Context Mixing Compressors

All versions below use logistic mixing unless otherwise indicated.

  • All PAQ versions (Matt Mahoney, Serge Osnach, Alexander Ratushnyak, Przemysław Skibiński, Jan Ondrus, and others) [1]. PAQAR and versions prior to PAQ7 used linear mixing. Later versions used logistic mixing.
  • All LPAQ versions (Matt Mahoney, Alexander Ratushnyak) [2].
  • ZPAQ (Matt Mahoney) [3].
  • WinRK 3.0.3 (Malcolm Taylor) in maximum compression PWCM mode [4]. Version 3.0.2 was based on linear mixing.
  • NanoZip (Sami Runsas) in maximum compression mode (option -cc) [5].
  • xwrt 3.2 (Przemysław Skibiński) in maximum compression mode (options -i10 through -i14) [6] as a back end to a dictionary encoder.
  • cmm1 through cmm4, M1, and M1X2 (Christopher Mattern) use a small number of contexts for high speed. M1 and M1X2 use a genetic algorithm to select two bit masked contexts in a separate optimization pass.
  • ccm (Christian Martelock).
  • bit (Osman Turan) [7].
  • pimple, pimple2, tc, and px (Ilia Muraviev) [8].
  • enc (Serge Osnach) tries several methods based on PPM and (linear) context mixing and chooses the best one. [9]
  • fpaq2 (Nania Francesco Antonio) using fixed weight averaging for high speed.
  • cmix (Byron Knoll) mixes many models, and is currently ranked first in the Large Text Compression benchmark,[3] as well as the Silesia corpus [4] and has surpassed the winning entry of the Hutter Prize although it is not eligible due to using too much memory.

References

  1. Mahoney, M. (2005), "Adaptive Weighing of Context Models for Lossless Data Compression", Florida Tech. Technical Report CS-2005-16 
  2. Mahoney, M.. "PAQ8 Data Compression Program". http://mattmahoney.net/dc/#paq. 
  3. Matt Mahoney (2015-09-25). "Large Text Compression Benchmark". http://mattmahoney.net/dc/text.html. Retrieved 2015-11-04. 
  4. Matt Mahoney (2015-09-23). "Silesia Open Source Compression Benchmark". http://mattmahoney.net/dc/silesia.html. Retrieved 2015-11-04.