math concept
29 topics use this
Math concept
Information Theory
Core equation
$$H(X) = -\sum_x p(x)\log_2 p(x)$$
Information theory quantifies the fundamental limits of communication, compression, and inference. Entropy, mutual information, and the KL divergence connect it to machine learning, statistics, cryptography, and signal processing.
Shannon entropy
The entropy of a discrete random variable $X$ is:
\[H(X) = -\sum_x p(x)\log_2 p(x) \quad \text{bits}\]It measures average uncertainty. Maximum entropy is achieved by the uniform distribution; minimum (zero) by a deterministic variable.
KL divergence
The Kullback–Leibler divergence measures how much distribution $Q$ differs from $P$:
\[D_{KL}(P \| Q) = \sum_x p(x)\log\frac{p(x)}{q(x)} \geq 0\]with equality iff $P = Q$. It appears as the ELBO in variational inference and as cross-entropy loss in ML.
Mutual information
\[I(X; Y) = H(X) - H(X|Y) = D_{KL}(P_{XY} \| P_X P_Y)\]Measures how much knowing $Y$ reduces uncertainty about $X$. Used in feature selection, ICA, and the information bottleneck.
Channel capacity
The maximum mutual information over all input distributions is the channel capacity $C$ (Shannon, 1948):
\[C = \max_{p(x)} I(X; Y) \quad \text{bits/channel use}\]Fields that use this concept
Life sciences
Bioinformatics
Comparative Genomics
Measuring evolutionary divergence between genomes through synteny, substitution rates, and neutrality tests.
Hidden Markov Models in Bioinformatics
Probabilistic sequence models for gene finding, CpG island detection, and profile-based database search.
Motif Finding
Statistical and probabilistic methods for discovering recurring sequence patterns in DNA and protein data.
RNA-Seq Differential Expression
Statistical modelling of read counts to identify genes that change expression between conditions.
Engineering & CS
Cryptography
Commitment Schemes
Cryptographic primitives allowing a party to commit to a value while keeping it hidden, and later reveal it with a binding guarantee.
Cryptographic Hash Functions
Deterministic functions mapping arbitrary-length input to fixed-length digests with collision resistance and preimage resistance.
Zero-Knowledge Proofs
Interactive or non-interactive protocols enabling a prover to convince a verifier of a statement's truth without revealing any additional information.
Auctions
Market mechanisms for allocating goods through competitive bidding.
Information Asymmetry
Strategic behaviour when players hold different private information.
Mechanism Design
Engineering game rules to achieve desired outcomes despite private information.
Social Choice Theory
How individual preferences can — and cannot — be aggregated into collective decisions.
Engineering & CS
Machine learning
Decision Trees
Recursive partitioning of the feature space using impurity-based splitting criteria to build interpretable prediction rules.
Random Forests
An ensemble method combining bagged decision trees with random feature subsets to produce low-variance, high-accuracy predictions.
Earth sciences
Meteorology
Differential Item Functioning
Detection of items that favor one group over another after matching on the latent trait being measured.
Item Response Theory
Probabilistic models linking latent trait levels to item response probabilities via item characteristic curves.
Latent Class Analysis
A model-based clustering technique that identifies unobserved subgroups from patterns of categorical observed indicators.
Rasch Model
A one-parameter IRT model placing persons and items on a common logit scale via the log-odds of success.
Life sciences
Quant ecology
Occupancy Models
Occupancy models estimate species occurrence probability while explicitly accounting for imperfect detection, using repeated surveys across sites.
Species Distribution Models
Species distribution models (SDMs) relate occurrence records to environmental predictors to estimate and project a species' ecological niche in geographic space.
Life sciences
Quant genetics
Epistasis
Gene-gene interactions and their contribution to phenotypic variance and GWAS inflation.
Linkage Disequilibrium
Non-random allelic associations between loci and their decay with recombination.
Physical sciences
Quantum computing
Density Matrices
The mathematical framework for describing both pure and mixed quantum states, open systems, and quantum channels.
Quantum Entanglement
The non-classical correlations between quantum systems that cannot be explained by any local hidden-variable theory.
Quantum Error Correction
Techniques for protecting quantum information from decoherence and gate errors using redundant encoding and syndrome measurements.
Quantum Key Distribution
Protocols for distributing cryptographic keys with information-theoretic security guaranteed by the laws of quantum mechanics.
Engineering & CS
Robotics
Engineering & CS
Signal processing