A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Information Theory and Entropy

Research Depth 115 in the knowledge graph ☐ I know this ☆ Set as goal
657prerequisites beneath it
See this on the map →
EntropyProbability Axioms→
information entropy statistical-foundations

Core Idea

Shannon entropy S = −k Σ p_i ln p_i quantifies the information content of a probability distribution {p_i}. It is maximized when the distribution is uniform. Statistical mechanical entropy is the Shannon entropy of the microstate distribution; the second law reflects the tendency toward maximum entropy (maximum ignorance consistent with constraints). This connection unifies thermodynamic and information-theoretic entropy.

Explainer

You already know thermodynamic entropy from its macroscopic definition (dS = δQ_rev/T) and its statistical mechanical interpretation via Boltzmann's formula S = k ln Ω, where Ω counts accessible microstates. The information-theoretic approach, due to Claude Shannon, takes a different starting point: given a probability distribution over outcomes, how much uncertainty does it describe? The answer is the Shannon entropy H = −Σ p_i log p_i (using natural logs and writing S = kH to match thermodynamic units). This formula can be derived from first principles by asking what function of a probability distribution correctly captures "uncertainty" — the answer is unique up to a constant.

To build intuition, consider two extreme cases. If one outcome has probability 1 and all others have probability 0, then H = 0: there is no uncertainty, and knowing the distribution tells you exactly what will happen. If all N outcomes are equally likely (p_i = 1/N for all i), then H = ln N — the uncertainty is maximized and equals Boltzmann's formula S = k ln Ω when Ω = N. The Shannon entropy is a maximum when ignorance is maximal (uniform distribution) and zero when knowledge is complete. It measures not the outcomes themselves but how much information is required to specify them.

The connection to statistical mechanics is deep. In the microcanonical ensemble, all microstates are equally likely, so S = k ln Ω is exactly the Shannon entropy of that distribution — consistent with both formulas. In the canonical ensemble, the Boltzmann distribution p_i = e−βE_i/Z is not uniform, but computing −k Σ p_i ln p_i returns the thermodynamic entropy S = (U − F)/T, which is again consistent. This is not a coincidence: Jaynes' maximum entropy principle states that the correct statistical mechanical ensemble is the one that maximizes Shannon entropy subject to whatever macroscopic constraints you impose. Microcanonical → fix energy; canonical → fix mean energy; grand canonical → fix mean energy and particle number. Each ensemble arises from entropy maximization with different Lagrange constraints.

The unification has a profound implication for the second law. "Entropy increases" is not merely a statement about heat flow — it is a statement about information loss. When a gas expands into a vacuum, the number of accessible microstates grows, and our knowledge of which microstate the system occupies decreases. Entropy measures our ignorance. The second law, reread in information-theoretic terms, says that isolated systems evolve toward states of maximum uncertainty — not because nature "wants" disorder, but because there are vastly more high-entropy microstates than low-entropy ones, so random evolution almost surely increases Ω. The arrow of time is the direction in which our knowledge of the microstate decreases.

Practice Questions 5 questions

Prerequisite Chain

Understanding Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Dividing Integers → Unit Rates → Proportions → Percent Concept → Converting Between Fractions, Decimals, and Percents → Operations with Rational Numbers → Two-Step Equations → Solving Multi-Step Equations → Equations with Variables on Both Sides → Angle Pairs: Complementary, Supplementary, and Vertical → Parallel Lines and Transversals → Corresponding Angles → Alternate Interior Angles → Triangle Angle Sum Theorem → Exterior Angle Theorem → Triangle Inequality Theorem → Similar Triangles: AA Similarity → Similar Triangles: SSS and SAS Similarity → Proportions in Similar Triangles → Right Triangle Trigonometry Introduction → Sine, Cosine, and Tangent Ratios → Trigonometric Ratios Review → Radian Measure → Converting Between Degrees and Radians → The Unit Circle → Graphing Sine and Cosine → Graphing Tangent and Reciprocal Trigonometric Functions → Derivatives of Trigonometric Functions → Antiderivatives → Indefinite Integrals → Basic Integration Rules → Riemann Sums → Definite Integral Definition → Double Integrals: Definition and Setup → Iterated Integrals and Fubini's Theorem → Double Integrals over Rectangular Regions → Double Integrals over General Regions → Applications of Double Integrals: Area, Mass, and Moments → Center of Mass → Conservation of Linear Momentum → Elastic Collisions → Inelastic Collisions → Coefficient of Restitution → Collision Analysis and Real-World Applications → Two-Body Collisions in the Center-of-Mass Frame → Reduced Mass and Two-Body Problems → Kinematics in Two Dimensions → Projectile Motion → Circular Motion: Kinematics → Rotational Kinematics → Torque → Moment of Inertia → Rotational Kinetic Energy → The Work-Energy Theorem → Conservation of Mechanical Energy → First Law of Thermodynamics → Thermodynamic Processes and the PV Diagram → Isobaric and Isochoric Processes → Heat Engines → Thermal Efficiency of Heat Engines → Refrigerators and Heat Pumps → Second Law of Thermodynamics → Entropy → Information Theory and Entropy

Longest path: 116 steps · 657 total prerequisite topics

Prerequisites (2)

Leads To (0)

No topics depend on this one yet.