Reference library
Foundations
Explore concepts, laws, equations and methods, with clear explanations of their use and sources. Choose an area of study or find a specific entry.
More filters
Information & communication
Showing 1–30 of 31 reference entries
Mutual information measures statistical dependence in bits.
DefinitionInformationNear-lossless source coding thresholdEntropy bounds asymptotic compression for an iid source.
Mathematical statementInformationDiscrete memoryless channel capacityCapacity is the maximal asymptotically reliable rate.
Mathematical statementInformationHamming distance and error correctionSeparated codewords permit bounded symbol-error recovery.
Mathematical statementInformationInternet protocol layersProtocol layers divide communication responsibilities.
DefinitionInformationTCP reliable byte-stream transportTCP orders bytes and retransmits detected losses.
MethodInformationConditional entropy and entropy chain ruleFor finite X,Y, H(X|Y)=Σy p(y)H(X|Y=y) and H(X,Y)=H(Y)+H(X|Y).
Mathematical statementInformationRelative entropyFor finite distributions p,q, D(p‖q)=Σx p(x)log₂[p(x)/q(x)]≥0, with equality exactly when p=q.
DefinitionInformationData-processing inequalityIf finite X→Y→Z form a Markov chain, meaning Z is conditionally independent of X given Y, then I(X;Z)≤I(X;Y).
Mathematical statementInformationPrefix codes and Kraft–McMillan inequalityA binary prefix code has no whole codeword as another's initial segment, permitting immediate sequential decoding.
Mathematical statementInformationHuffman code constructionRepeatedly merge the two least-probable source symbols or accumulated nodes, then label the two branches 0 and 1; root-to-leaf labels are codewords.
MethodInformationAsymptotic equipartition for iid symbolsFor iid finite-alphabet X₁,…,Xₙ, −n⁻¹log₂p(X₁,…,Xₙ) converges in probability to H(X₁).
Mathematical statementInformationEntropy rate of a stationary sourceThe entropy rate is limₙ H(X₁,…,Xₙ)/n when the limit exists.
DefinitionInformationDifferential entropy and scaleFor a real density f with defined integral, h(X)=−∫f(x)log₂f(x)dx.
DefinitionInformationPower-constrained Gaussian channel capacityFor Y=X+Z with iid real Gaussian noise Z∼N(0,N), N>0, independent of input, and average input power E[X²]≤P, capacity is C=(1/2)log₂(1+P/N) bits per channel use.
Mathematical statementInformationSystematic binary linear code constructionOver F₂ take H=[A|Iₘ] and G=[Iₙ₋ₘ;A].
MethodInformationSingle-bit syndrome decodingFor received r=c+e with Hc=0, syndrome Hr=He.
MethodInformationMultiple-access capacity as a rate regionFor a two-sender discrete memoryless MAC with independent messages, the capacity region is the closure of rates bounded by I(X1;Y|X2,Q), I(X2;Y|X1,Q) and I(X1,X2;Y|Q), over laws p(q)p(x1|q)p(x2|q)p(y|x1,x2).
Mathematical statementInformationDegraded broadcast and superposition codingFor a physically degraded memoryless broadcast channel X→Y1→Y2, independent private-message rates are achieved by superposition with R2≤I(U;Y2) and R1≤I(X;Y1|U), unioned over p(u,x).
Mathematical statementInformationRelay capacity: decode-forward and cut-set boundsFor a discrete memoryless relay law p(y2,y3|x1,x2), decode-forward achieves the maximum over p(x1,x2) of min{I(X1,X2;Y3),I(X1;Y2|X2)}.
Mathematical statementInformationDecode-forward and compress-forward comparedDecode-forward asks a relay to recover a message or layer before forwarding cooperative codewords; a weak source-to-relay link can bottleneck it.
DefinitionInformationWyner–Ziv lossy coding with decoder side informationWith iid correlated (X,Y), an encoder observing X and a decoder observing Y have rate-distortion function min[I(X;U)−I(Y;U)] over U−X−Y and reconstruction x-hat(U,Y) meeting the distortion bound.
Mathematical statementInformationInterference decoding and limits of a single strategyTwo-user interference channels require two messages decoded at their respective receivers under a joint law p(y1,y2|x1,x2).
DefinitionInformationFinite blocklength and channel dispersionFor a binary symmetric channel with crossover probability 0<p<1/2 and fixed target block error 0<epsilon<1, the best rate has normal approximation C−sqrt(V/n) Q-inverse(epsilon)+O(log(n)/n).
ApproximationInformationCorrelated source coding and decoder side informationFor independent repetitions of a finite-alphabet joint law p(x,y), an encoder observing X and a decoder possessing Y can recover X with vanishing block error at rates above H(X|Y); rates below it are impossible.
Mathematical statementInformationRate-distortion and a declared fidelity criterionFor an iid source with law p(x) and specified distortion d(x,x-hat), R(D) minimizes mutual information over reconstruction laws meeting expected distortion D.
Mathematical statementInformationPolar codes and successive-cancellation decodingArıkan's transform recursively turns a binary-input memoryless channel into synthetic channels with polarized reliabilities.
MethodInformationEntropy rates, memory and model mismatchFor a stationary finite-alphabet process the block entropy per symbol tends to an entropy rate, while correlations can make it smaller than single-symbol entropy.
DefinitionInformationIP addresses and datagram deliveryIP addresses identify network destinations; IP does not guarantee delivery.
DefinitionInformationUDP datagram serviceUDP exchanges addressed messages without adding reliable stream delivery.
Definition