Information Bottleneck Theory

Research Depth 78 in the knowledge graph I know this Set as goal
Unlocks 2 downstream topics
information-bottleneck representation-learning mutual-information information-theory

Core Idea

Information bottleneck (IB) theory, introduced by Tishby et al. (2000), characterizes optimal representations by balancing two competing information-theoretic objectives: (1) maximizing information about the target Y that the representation T preserves (I(T; Y)), and (2) minimizing information about the input X that the representation retains (I(T; X)). The IB principle states that the optimal representation is the one that compresses the input (low I(T; X)) while maintaining predictive power (high I(T; Y)). This provides a unified framework for understanding generalization, dimensionality reduction, and representation learning in neural networks, revealing deep learning as implicit information compression.

Explainer

The information bottleneck principle provides a beautiful information-theoretic lens on representation learning. Given data X with labels Y, the goal is to find a representation T such that T compresses X (is as independent of X as possible while remaining a deterministic function of X) while preserving predictive power for Y (T contains all task-relevant information about Y).

The formal setup uses the information bottleneck (IB) objective: I_IB(beta) = I(T; Y) - beta * I(T; X). For each value of beta, optimizing this defines an optimal representation on the Pareto frontier. Beta plays the role of Lagrange multiplier: beta = 0 recovers the original input (no compression), and large beta enforces aggressive compression. The Pareto frontier maps out the achievable trade-off: for every level of compression, what is the maximum mutual information with Y? Conversely, for every level of predictive power, what is the minimum necessary I(T; X)?

A remarkable insight from IB theory is the law of diminishing returns: beyond a certain compression level, you cannot increase I(T; Y) much further — the information about Y that is compressible away is precisely the noise and spurious correlations. This explains why simple models often generalize better than complex ones: they are forced to compress input into minimal representations, discarding the data-specific noise that would memorize.

IB theory also provides a window into neural network training. The empirical observation is that deep networks exhibit two training phases: early training focuses on fitting (I(T; Y) increases), while later training focuses on compression (I(T; X) decreases). This was termed the "fitting and forgetting" phases. The compression phase is where generalization emerges — by forgetting irrelevant details, the network prevents overfitting. This is automatic and implicit, requiring no explicit regularization, because the network's finite capacity and gradient descent dynamics naturally drive toward compression.

In practice, variational information bottleneck (VIB) replaces the intractable I(T; X) with a tractable variational bound, enabling optimization via gradient descent. The VIB objective becomes: I(T; Y) - beta * KL(q(t|x) || p(t)), where q is a learned encoder and p is a prior. This allows neural networks to optimize an information-theoretic objective directly. Applications include unsupervised representation learning, semi-supervised learning, and domain adaptation.

The limitations of IB are worth noting: it assumes a clear distinction between information about X versus Y (which may blur in practice), assumes you can compute or bound mutual information accurately (computationally hard for high-dimensional X), and the optimal representation under IB may not align with downstream task performance. Additionally, IB theory applies most cleanly to deterministic mappings; for stochastic representations, the analysis is more complex. Despite these limitations, IB provides invaluable intuition: good representations compress input while preserving target information, a principle now central to modern representation learning.

Practice Questions 4 questions

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueReading and Writing DecimalsComparing and Ordering DecimalsAdding and Subtracting DecimalsMultiplying DecimalsDividing DecimalsDividing FractionsMixed Number ArithmeticOrder of OperationsInteger Order of OperationsVariable ExpressionsCombining Like TermsOne-Step EquationsTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesLiteral EquationsSlope-Intercept FormPoint-Slope FormWriting Linear EquationsParallel and Perpendicular Line SlopesGraphing Linear EquationsPiecewise FunctionsOne-Sided LimitsContinuity DefinitionLimit Definition of the DerivativePower RuleConstant Multiple and Sum/Difference RulesProduct RuleChain RuleHigher-Order DerivativesConcavity and Inflection PointsSecond Derivative TestCurve SketchingOptimization ProblemsCritical Points of Multivariable FunctionsCritical Points and Classification of ExtremaSecond Partial Test for Local Extrema (Hessian)The Hessian Matrix and Second Derivative TestUnconstrained Optimization: Finding ExtremaOptimization in Multiple VariablesSupport Vector MachinesKernel Methods and the Kernel TrickKernel Theory and RKHSRepresenter TheoremRegularization Theory (Tikhonov, Spectral)Deep Learning TheoryInformation Bottleneck Theory

Longest path: 79 steps · 545 total prerequisite topics

Prerequisites (3)

Leads To (1)