Probability Matching Interval Coding (PMATIC)

• PMATIC is a coding strategy that represents messages as refined intervals in [0,1] to achieve reliable feedback communication and robust lossless compression.
• It uses randomized posterior matching and quantized probability synchronization to align encoder and decoder decisions under bounded predictor mismatch.
• The scheme offers theoretical guarantees such as channel capacity achievement, exact decoding with controlled error rates, and efficient constant-time updates per symbol.

Probability Matching Interval Coding (PMATIC) is a family of schemes for reliable communication and lossless data compression that operate by aligning or quantizing interval probabilities in the encoding and decoding process. PMATIC spans two main research lines: (1) randomized feedback schemes that achieve channel capacity for memoryless channels via sequential interval refinement, and (2) robust, model-agnostic coding for lossless compression under bounded predictor mismatch, especially in the context of neural network-driven codecs. Both classes leverage probability synchronization and interval-based representation to ensure exact decoding with strong theoretical guarantees while accommodating practical implementation constraints (Shayevitz et al., 2015, Adler et al., 15 Jan 2026, Mesa et al., 2019).

1. Mathematical Foundations and Core Principles

PMATIC schemes center on expressing message information through a random interval in the unit interval $[0,1]$, which is iteratively refined based on channel feedback or model predictions. In canonical feedback communication, the encoder views the message as a point $\Theta_0 \sim \text{Uniform}[0,1]$ and, at each time step, updates a posterior interval based on channel output or, analogously, the predicted probability distribution in a compression scenario.

For channel coding, the encoder and decoder share common randomness (e.g., a sequence $V_n \sim \text{Uniform}[0,1]$). The encoder transmits $X_n = F_X^{-1}(\Theta_n)$, with posterior update $$\Theta_{n+1} = (F_{\Theta|Y}(\Theta_n | Y_n) + V_n) \bmod 1$$, where $F_X$ is the CDF of the chosen input distribution $P_X$ and $F_{\Theta|Y}$ the posterior-matching kernel induced by $P_{XY}$ (Shayevitz et al., 2015). The decoder applies the reversed iterated function system (RIFS) to reconstruct the shrinking interval $J_n$ such that $\Theta_0 \sim \text{Uniform}[0,1]$0 for each $\Theta_0 \sim \text{Uniform}[0,1]$1. The instantaneous decoded rate is $\Theta_0 \sim \text{Uniform}[0,1]$2.

For model-driven lossless compression, PMATIC quantizes the predicted per-bit probabilities $\Theta_0 \sim \text{Uniform}[0,1]$3 to robust centers to synchronize encoder and decoder even under bounded model mismatch. The approach ensures that both parties select identical quantized probabilities for each prefix despite discrepancies in the underlying probability vectors, with a helper bit per generated code bit to resolve near-boundary ambiguity (Adler et al., 15 Jan 2026).

2. Encoder and Decoder Algorithms

Randomized Posterior Matching (Feedback Channel)

• Encoder: Initializes with $\Theta_0 \sim \text{Uniform}[0,1]$4; at iteration $\Theta_0 \sim \text{Uniform}[0,1]$5, computes $\Theta_0 \sim \text{Uniform}[0,1]$6; receives $\Theta_0 \sim \text{Uniform}[0,1]$7 via noiseless feedback; updates state to $\Theta_0 \sim \text{Uniform}[0,1]$8.
• Decoder (RIFS): Sets initial interval $\Theta_0 \sim \text{Uniform}[0,1]$9 of length $V_n \sim \text{Uniform}[0,1]$0; iteratively applies $V_n \sim \text{Uniform}[0,1]$1 for $V_n \sim \text{Uniform}[0,1]$2.

These operations require evaluation of the CDF and its inverse for both marginals and posteriors at each step; each update has constant computational complexity assuming fast inversion routines (Shayevitz et al., 2015).

Model-Driven Lossless Compression (Bounded Predictor Mismatch)

• Encoder: For each token $V_n \sim \text{Uniform}[0,1]$3 (mapped to bits $V_n \sim \text{Uniform}[0,1]$4), computes model probabilities $V_n \sim \text{Uniform}[0,1]$5 for $V_n \sim \text{Uniform}[0,1]$6, where $V_n \sim \text{Uniform}[0,1]$7 is token bit width. Each $V_n \sim \text{Uniform}[0,1]$8 is quantized: if $V_n \sim \text{Uniform}[0,1]$9 lies safely within a bin, encode helper bit $X_n = F_X^{-1}(\Theta_n)$0 and use the bin center, else $X_n = F_X^{-1}(\Theta_n)$1 and use nearest boundary point. Both helper and data bits are arithmetic encoded using the quantized probability (Adler et al., 15 Jan 2026).
• Decoder: For each position, computes prediction $X_n = F_X^{-1}(\Theta_n)$2, uses received helper bit $X_n = F_X^{-1}(\Theta_n)$3 to select quantization bin/boundary identical to encoder’s choice, then decodes corresponding bit.

This guarantees exact token reconstruction when $X_n = F_X^{-1}(\Theta_n)$4, with helper-bit and quantization overhead controlled by parameter $X_n = F_X^{-1}(\Theta_n)$5, $X_n = F_X^{-1}(\Theta_n)$6 (Adler et al., 15 Jan 2026).

3. Theoretical Properties and Performance Guarantees

Channel Feedback Coding

• Capacity Achievement: For any memoryless channel satisfying mild regularity (absolute continuity, finite moments), and for any target error $X_n = F_X^{-1}(\Theta_n)$7, PMATIC achieves

$X_n = F_X^{-1}(\Theta_n)$8

for any $X_n = F_X^{-1}(\Theta_n)$9, where $$\Theta_{n+1} = (F_{\Theta|Y}(\Theta_n | Y_n) + V_n) \bmod 1$$0 is the mutual information for the chosen $$\Theta_{n+1} = (F_{\Theta|Y}(\Theta_n | Y_n) + V_n) \bmod 1$$1. Optimizing $$\Theta_{n+1} = (F_{\Theta|Y}(\Theta_n | Y_n) + V_n) \bmod 1$$2 over the capacity-achieving input gives $$\Theta_{n+1} = (F_{\Theta|Y}(\Theta_n | Y_n) + V_n) \bmod 1$$3 (Shayevitz et al., 2015).

• Error Control: The error probability $$\Theta_{n+1} = (F_{\Theta|Y}(\Theta_n | Y_n) + V_n) \bmod 1$$4 is exactly $$\Theta_{n+1} = (F_{\Theta|Y}(\Theta_n | Y_n) + V_n) \bmod 1$$5 for all $$\Theta_{n+1} = (F_{\Theta|Y}(\Theta_n | Y_n) + V_n) \bmod 1$$6.
• Random Walk Interpretation: The shrinkage of $$\Theta_{n+1} = (F_{\Theta|Y}(\Theta_n | Y_n) + V_n) \bmod 1$$7 is governed by a Markov random walk $$\Theta_{n+1} = (F_{\Theta|Y}(\Theta_n | Y_n) + V_n) \bmod 1$$8 with increments $$\Theta_{n+1} = (F_{\Theta|Y}(\Theta_n | Y_n) + V_n) \bmod 1$$9, converging to mean $F_X$0 in the limit (Shayevitz et al., 2015).

Compression under Prediction Mismatch

• Decoding Correctness: For $F_X$1 at all $F_X$2, encoder and decoder always agree on quantized per-bit probabilities, guaranteeing exact reconstruction (Adler et al., 15 Jan 2026).
• Redundancy and Overhead: Overhead per encoded bit is $F_X$3, balancing helper-bit entropy and Bernoulli-KL divergence due to quantization.
• Empirical Performance: For example, with $F_X$4, PMATIC achieves $F_X$5 bits/token on text, decoding accurately under logit noise, outperforming standard compressors such as gzip (Adler et al., 15 Jan 2026).

4. Higher-dimensional and Optimal Transport Extensions

PMATIC generalizes to higher-dimensional message spaces using optimal transport theory. For parameter estimation/message transmission in $F_X$6, at each step $F_X$7:

• Construct the optimal transport map $F_X$8 that pushes the current posterior density $F_X$9 to uniform, then select $P_X$0 with $P_X$1 the message point.
• Transmit $P_X$2, $P_X$3 the OT map to the optimal input distribution on $P_X$4.
• The decoder refines an estimate $P_X$5, guaranteeing $P_X$6 and $P_X$7 (Mesa et al., 2019).

A key result is that reliability and positive rate transmission are equivalent to Birkhoff-ergodicity of the induced Markov process $P_X$8, resulting in an "all-or-nothing" property: either no rate is possible or all $P_X$9 are achievable (Mesa et al., 2019).

5. Practical Implementation, Complexity, and Limitations

Feedback Coding

• Complexity: Each symbol step involves one evaluation and inversion for $F_{\Theta|Y}$0 and $F_{\Theta|Y}$1, $F_{\Theta|Y}$2 per symbol (Shayevitz et al., 2015).
• Horizon-Free Operation: The receiver may halt decoding at any time $F_{\Theta|Y}$3, extracting an interval of width $F_{\Theta|Y}$4 containing the message with prescribed error.

Lossless Compression

• Deployment Compatibility: PMATIC acts as a drop-in replacement for arithmetic coding in model-driven compressors; no changes to tokenization, dictionary, or predictor are needed (Adler et al., 15 Jan 2026).
• Assumptions: The bounded-mismatch model presumes strict $F_{\Theta|Y}$5 bounds on logit differences between encoder and decoder. Extensions to systems with stochastic or unbounded drift are not established.
• Parameter Selection: Recommended quantization parameters use $F_{\Theta|Y}$6, with most overhead due to helper bits at small $F_{\Theta|Y}$7.

Practical Considerations

• For high-dimensional extension, solving OT maps at each update is computationally nontrivial except in low dimensions or special structures (Mesa et al., 2019).
• For variable-length token codes in compression, additional bookkeeping is needed to ensure bit alignment in PMATIC without changing the fundamental algorithm (Adler et al., 15 Jan 2026).

6. Summary Table of Key PMATIC Properties

Research Context	Core Property	Theoretical Guarantee
Feedback Coding (Shayevitz et al., 2015)	Sequential, horizon-free	Achieves $F_{\Theta|Y}$8, error $F_{\Theta|Y}$9 exact
Model-driven Compression (Adler et al., 15 Jan 2026)	Bounded-mismatch robust	Overhead $P_{XY}$0
Multidimensional (Mesa et al., 2019)	OT-based generalization	All-or-nothing rates via ergodicity

7. Connections to Related Techniques and Research Directions

PMATIC builds on the posterior matching concept introduced by Shayevitz & Feder, extending with crucial randomization steps to avoid fixed-point pathologies and guarantee capacity. The addition of quantized probability synchronization in compression tasks addresses the newly prominent challenge of non-determinism from large, learned prediction models. The theory benefits from strong connections to Markov processes, martingale convergence, ergodic theory (for high-dimensional reliability), and optimal transport.

Extensions to non-memoryless or feedback-degraded channels, as well as further robustification against unmodeled sources of mismatch or drift in predictive models, remain active areas for future research. Practical acceleration of multidimensional OT map computation is also essential for scalable application of PMATIC beyond the univariate or low-dimensional setting.

References: (Shayevitz et al., 2015, Adler et al., 15 Jan 2026, Mesa et al., 2019)