Broadcast Channel

Research Depth 81 in the knowledge graph I know this Set as goal
Unlocks 1 downstream topic
broadcast channel superposition coding degraded multi-user downlink

Core Idea

The broadcast channel (BC) models one sender transmitting independent messages to multiple receivers through a shared medium. Unlike the MAC (many-to-one), the BC is one-to-many. For the degraded BC (where receiver 2's signal is a noisier version of receiver 1's), superposition coding achieves capacity: the sender layers messages at different power levels, and stronger receivers decode all layers while weaker receivers decode only their own. The Gaussian BC capacity region is fully characterized and equals the MAC capacity region by duality. The general (non-degraded) BC capacity region remains incompletely characterized, though Marton's inner bound is known to be tight in many cases.

Explainer

The broadcast channel is the canonical downlink model: a base station sending different messages to multiple users, a satellite broadcasting different programs, or a server transmitting to multiple clients with different connection qualities. One transmitter, multiple receivers, each wanting their own message.

The simplest and best-understood case is the degraded broadcast channel, where the receivers can be ordered by quality — receiver 1 gets a strictly better version of the signal than receiver 2. For the Gaussian case, Y_1 = X + Z_1 and Y_2 = X + Z_2 with N_1 < N_2 (user 1 has less noise). The capacity-achieving strategy is superposition coding: encode user 2's message as a "cloud center" at high power, and encode user 1's message as a "cloud point" at lower power around this center. User 2 (weak) treats user 1's signal as noise and decodes the cloud center. User 1 (strong) first decodes user 2's message (the cloud center), subtracts it, then decodes their own message from the residual.

The capacity region for the two-user degraded Gaussian BC is: R_2 <= (1/2) log(1 + alpha*P/(( 1-alpha)*P + N_2)) and R_1 <= (1/2) log(1 + (1-alpha)*P/N_1), for alpha in [0,1]. As alpha varies, the tradeoff between user rates traces the capacity region boundary. Setting alpha = 1 gives all power to user 2 (R_1 = 0); setting alpha = 0 gives all power to user 1 (R_2 = 0). No TDMA or FDMA scheme can match the superposition coding boundary — orthogonal schemes are strictly suboptimal.

The general (non-degraded) broadcast channel is far harder. When receivers are not ordered by quality (e.g., one receiver is better at low frequencies, the other at high frequencies), superposition coding alone is insufficient. Marton's coding scheme, which uses correlated auxiliary random variables, provides the best known inner bound and is tight for several important classes. The general BC capacity region remains one of the major open problems in information theory, highlighting how multi-user problems can be vastly more complex than their single-user counterparts.

Practice Questions 3 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 SidesAngle Pairs: Complementary, Supplementary, and VerticalParallel Lines and TransversalsCorresponding AnglesAlternate Interior AnglesTriangle Angle Sum TheoremExterior Angle TheoremTriangle Inequality TheoremSimilar Triangles: AA SimilaritySimilar Triangles: SSS and SAS SimilarityProportions in Similar TrianglesRight Triangle Trigonometry IntroductionTrigonometric Ratios ReviewRadian MeasureConverting Between Degrees and RadiansThe Unit CircleGraphing Sine and CosineGraphing Tangent and Reciprocal Trigonometric FunctionsDerivatives of Trigonometric FunctionsAntiderivativesIndefinite IntegralsBasic Integration RulesRiemann SumsDefinite Integral DefinitionProbability Density Functions and Continuous DistributionsCumulative Distribution FunctionsContinuous Random VariablesProbability Density FunctionsShannon EntropyJoint and Conditional EntropyMutual InformationChannel CapacityBinary Symmetric ChannelChannel Coding TheoremNetwork Information TheoryBroadcast Channel

Longest path: 82 steps · 333 total prerequisite topics

Prerequisites (3)

Leads To (1)