GLOBAL KNOWLEDGE ARK

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

InformationFinite-alphabet mutual information

Mutual information measures statistical dependence in bits.

Definition
InformationNear-lossless source coding threshold

Entropy bounds asymptotic compression for an iid source.

Mathematical statement
InformationDiscrete memoryless channel capacity

Capacity is the maximal asymptotically reliable rate.

Mathematical statement
InformationHamming distance and error correction

Separated codewords permit bounded symbol-error recovery.

Mathematical statement
InformationInternet protocol layers

Protocol layers divide communication responsibilities.

Definition
InformationTCP reliable byte-stream transport

TCP orders bytes and retransmits detected losses.

Method
InformationConditional entropy and entropy chain rule

For finite X,Y, H(X|Y)=Σy p(y)H(X|Y=y) and H(X,Y)=H(Y)+H(X|Y).

Mathematical statement
InformationRelative entropy

For finite distributions p,q, D(p‖q)=Σx p(x)log₂[p(x)/q(x)]≥0, with equality exactly when p=q.

Definition
InformationData-processing inequality

If 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 statement
InformationPrefix codes and Kraft–McMillan inequality

A binary prefix code has no whole codeword as another's initial segment, permitting immediate sequential decoding.

Mathematical statement
InformationHuffman code construction

Repeatedly merge the two least-probable source symbols or accumulated nodes, then label the two branches 0 and 1; root-to-leaf labels are codewords.

Method
InformationAsymptotic equipartition for iid symbols

For iid finite-alphabet X₁,…,Xₙ, −n⁻¹log₂p(X₁,…,Xₙ) converges in probability to H(X₁).

Mathematical statement
InformationEntropy rate of a stationary source

The entropy rate is limₙ H(X₁,…,Xₙ)/n when the limit exists.

Definition
InformationDifferential entropy and scale

For a real density f with defined integral, h(X)=−∫f(x)log₂f(x)dx.

Definition
InformationPower-constrained Gaussian channel capacity

For 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 statement
InformationSystematic binary linear code construction

Over F₂ take H=[A|Iₘ] and G=[Iₙ₋ₘ;A].

Method
InformationSingle-bit syndrome decoding

For received r=c+e with Hc=0, syndrome Hr=He.

Method
InformationMultiple-access capacity as a rate region

For 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 statement
InformationDegraded broadcast and superposition coding

For 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 statement
InformationRelay capacity: decode-forward and cut-set bounds

For 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 statement
InformationDecode-forward and compress-forward compared

Decode-forward asks a relay to recover a message or layer before forwarding cooperative codewords; a weak source-to-relay link can bottleneck it.

Definition
InformationWyner–Ziv lossy coding with decoder side information

With 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 statement
InformationInterference decoding and limits of a single strategy

Two-user interference channels require two messages decoded at their respective receivers under a joint law p(y1,y2|x1,x2).

Definition
InformationFinite blocklength and channel dispersion

For 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).

Approximation
InformationCorrelated source coding and decoder side information

For 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 statement
InformationRate-distortion and a declared fidelity criterion

For 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 statement
InformationPolar codes and successive-cancellation decoding

Arıkan's transform recursively turns a binary-input memoryless channel into synthetic channels with polarized reliabilities.

Method
InformationEntropy rates, memory and model mismatch

For 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.

Definition
InformationIP addresses and datagram delivery

IP addresses identify network destinations; IP does not guarantee delivery.

Definition
InformationUDP datagram service

UDP exchanges addressed messages without adding reliable stream delivery.

Definition