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

Binary Symmetric Channel

Graduate Depth 98 in the knowledge graph ☐ I know this ☆ Set as goal
9topics build on this
442prerequisites beneath it
See this on the map →
Channel CapacityShannon Entropy→→Channel Coding Theorem
BSC binary symmetric channel crossover probability binary entropy

Core Idea

The binary symmetric channel (BSC) is the simplest model of a noisy digital communication channel. It transmits binary symbols (0 or 1), and each bit is independently flipped with crossover probability p. Its capacity is C = 1 - H(p) bits per use, where H(p) = -p log p - (1-p) log(1-p) is the binary entropy function. The BSC is symmetric in that both symbols suffer the same error probability, making the capacity-achieving input distribution uniform. It serves as the fundamental testbed for channel coding theory and illustrates how noise reduces capacity from the ideal of 1 bit per use.

Explainer

The binary symmetric channel is the "hydrogen atom" of information theory — the simplest non-trivial channel model. It takes a binary input (0 or 1) and independently flips each bit with probability p. With probability 1-p the bit passes through correctly. "Symmetric" means both 0 and 1 suffer the same error probability; there is no bias toward one symbol.

The capacity calculation is elegant. Since the channel is symmetric, the capacity-achieving input distribution is uniform: p(X=0) = p(X=1) = 1/2. This maximizes H(Y) = 1 bit. The noise entropy is H(Y|X) = H(p) — given the input, the output is a Bernoulli(p) flip, whose entropy is the binary entropy H(p). So C = H(Y) - H(Y|X) = 1 - H(p). When p = 0 (no noise), C = 1 bit. When p = 1/2 (maximum noise), C = 0 bits. The capacity decreases smoothly as noise increases from 0 to 0.5, then increases back to 1 as p approaches 1 (because a perfect inverter is a perfect channel in disguise).

The BSC makes the channel coding theorem concrete. At p = 0.1, the capacity is about 0.531 bits per use. This means you can reliably transmit 531 bits of information per 1000 channel uses — but only with error-correcting codes that spread each information bit across many channel uses. Without coding, the 10% error rate is irrecoverable. With coding at rate R < C, the decoder can use the redundancy to identify and correct errors, achieving arbitrarily low error probability. The coding theorem guarantees this is possible; practical codes like LDPC and turbo codes come remarkably close.

The BSC also illustrates a general principle: channel symmetry simplifies capacity computation. For symmetric channels, the uniform input distribution is always optimal, and the capacity is the log of the output alphabet size minus the entropy of each row of the transition matrix. This shortcut avoids the need for numerical optimization (like the Blahut-Arimoto algorithm) that general channels require.

Practice Questions 3 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 → Probability Density Functions and Continuous Distributions → Cumulative Distribution Functions → Continuous Random Variables → Probability Density Functions → Expected Value → Weak Law of Large Numbers → Probability Axioms and Rules → Conditional Probability → Law of Total Probability → Bayes' Theorem → Joint and Conditional Entropy → Mutual Information → Channel Capacity → Binary Symmetric Channel

Longest path: 99 steps · 442 total prerequisite topics

Prerequisites (2)

Leads To (1)