cs.LGOct 21, 2026

Optimal Multitask Representations Under a Rate Constraint: An Information Bottleneck Analysis

Authors: Nicholas Stiles, Gregory W. Wornell

Organizations: Massachusetts Institute of Technology

Abstract

Which pretraining objective yields the best representation for downstream tasks under an information budget? We formalize this problem as a multitask information bottleneck, using a mutual information constraint to model incomplete information retention. For Gaussian inputs and tasks, we characterize optimal representations and show that a weakly task-aligned specialist can outperform a reconstruction generalist at low rates but lose at high rates. We also construct task families for which every fixed Gaussian prediction objective incurs arbitrarily large relative regret, driven by reversals in optimal allocation priorities. Conversely, the average task information matrix defines an objective with a uniform relative-regret bound controlled by maximum task SNR. CelebA and dSprites experiments illustrate that compression can change which pretraining objective performs best, and even task-aware training can reverse which downstream task is better preserved as rate increases.

Figures & tables

Appendix figures & tables14 assets

Supplementary material from the paper’s appendix.

Appendix

Explore similar work

Oct 26, 2026

What Should an Information Bottleneck Encoder Learn? Separating Representation Learning from Rate Control

The information bottleneck (IB) trades compression of an input XX against prediction of a target YY through a multiplier β=1/λβ=1/λ, yet each operating point is usually served by training, or fully conditioning, a new encoder. For jointly Gaussian data, we show that the IB solution factorizes as A(β)=D(β)WA(β)=D(β)W: the information-bearing directions WW do not depend on ββ, and ββ acts only through scalar gains. We ask whether this separation of representation from rate control survives beyond Gaussian models, treating the budget as a given operating parameter rather than a quantity to be optimized. For a budget-free representation F(X)F(X), the separation gap is controlled by the sufficiency deficit εF=I(X;Y∣F(X))ε_F=I(X;Y\mid F(X)): We show there is at least εFε_F in the worst case for finite inputs, and it is bounded uniformly in λλ by a function of εFε_F for finite label alphabets. The same certificate extends to a new target distribution and to pooled multi-domain data, where a conditional-alignment term appears. On MNIST, SVHN, CIFAR-10 and STL-10 (10 seeds, eight prespecified budgets), a frozen CNN representation with one compressor--decoder pair per budget reduces estimated training multiply--accumulate operations (MACs) by 7.7×7.7\times and wall-clock time by about 2×2\times relative to end-to-end VIBs, and attains higher budget-averaged accuracy (65.6%65.6\% versus 57.3%57.3\% per domain; 67.1%67.1\% versus 57.1%57.1\% pooled), with the advantage concentrated at strong compression, where the VIBs collapse. At weak compression (λ≤0.036λ\le0.036), VIB has higher cross-entropy and ECE; its surrogate Lagrangian is higher per domain, indistinguishable from the pooled VIB in the macro average, and lower on the pooled test set.
Sep 29, 2026

Mutual Information Constrained Chernoff Bottleneck

The classical information bottleneck (IB) measures the relevance of a representation UU of XX to a target YY by I(U;Y)I(U;Y), which does not directly characterize the error of downstream decisions. For a binary hypothesis YY inferred from many separately encoded observations, the optimal error exponent is the Chernoff information between the two conditional distributions of UU given YY. We study the mutual information constrained Chernoff bottleneck, which seeks an encoder that maximizes this Chernoff information subject to a rate constraint I(U;X)≤RI(U;X) \leq R. We show that its optimal value C(R)C(R) increases strictly up to R=H(V)R = H(V), where VV merges the symbols of XX with equal likelihood ratio, remains at the uncompressed exponent beyond, and, unlike the IB curve, need not be concave. We further show that k+1k+1 outputs suffice to attain C(R)C(R), where kk is the cardinality of VV. We propose an alternating algorithm that updates the encoder via a generalized Blahut--Arimoto algorithm and the Chernoff parameter ss via a nonlinear equation, and prove that its iterates remain feasible, with nondecreasing and convergent Chernoff information. Comparing with the classical IB for nn samples, we show that, whenever the two objectives disagree, the IB encoder has the smaller equivocation H(Y∣Un)H(Y|U^{n}) at n=1n = 1, whereas the Chernoff bottleneck has the smaller error probability and equivocation for all large nn. Numerical experiments confirm the theory, and on real topic-detection data from the 20 Newsgroups corpus, compressing each word to only 17%17\% of its entropy retains 90%90\% of the error exponent and nearly the accuracy of the uncompressed classifier.
Apr 8, 2026

Learning is Forgetting: LLM Training As Lossy Compression

Despite the increasing prevalence of large language models (LLMs), we still have a limited understanding of how their representational spaces are structured. This limits our ability to interpret how and what they learn or relate them to learning in humans. We argue LLMs are best seen as an instance of lossy compression, where over training they learn by retaining only information in their training data relevant to their objective(s). We show pre-training results in models that are optimally compressed for next-sequence prediction, approaching the Information Bottleneck bound on compression. Across an array of open weights models, each compresses differently, likely due to differences in the data and training recipes used. However even across different families of LLMs the optimality of a model's compression, and the information present in it, can predict downstream performance on across a wide array of benchmarks, letting us directly link representational structure to actionable insights about model performance. In the general case the work presented here offers a unified Information-Theoretic framing for how these models learn that is deployable at scale.