math concept
105 topics use this
Math concept
Probability Theory
Core equation
$$P(A \cup B) = P(A) + P(B) - P(A \cap B)$$
Probability theory provides the mathematical foundation for reasoning under uncertainty. Measure-theoretic probability unifies discrete and continuous random variables and underpins statistics, ML, finance, and every quantitative field.
Kolmogorov axioms
A probability space $(\Omega, \mathcal{F}, P)$ consists of a sample space $\Omega$, a $\sigma$-algebra $\mathcal{F}$, and a measure $P$ satisfying:
- $P(A) \geq 0$ for all $A \in \mathcal{F}$
- $P(\Omega) = 1$
- $P(\bigcup_{i=1}^\infty A_i) = \sum_{i=1}^\infty P(A_i)$ for disjoint events
Key distributions
| Distribution | PMF/PDF | Mean | Variance |
|---|---|---|---|
| Bernoulli$(p)$ | $p^x(1-p)^{1-x}$ | $p$ | $p(1-p)$ |
| Binomial$(n,p)$ | $\binom{n}{k}p^k(1-p)^{n-k}$ | $np$ | $np(1-p)$ |
| Poisson$(\lambda)$ | $\lambda^k e^{-\lambda}/k!$ | $\lambda$ | $\lambda$ |
| Exponential$(\lambda)$ | $\lambda e^{-\lambda x}$ | $1/\lambda$ | $1/\lambda^2$ |
| Gaussian$(\mu,\sigma^2)$ | see gaussian-distribution | $\mu$ | $\sigma^2$ |
Expectation and variance
\[\mathbb{E}[X] = \int x\, dP(x), \qquad \text{Var}(X) = \mathbb{E}[X^2] - \mathbb{E}[X]^2\]The law of total expectation: $\mathbb{E}[X] = \mathbb{E}[\mathbb{E}[X \mid Y]]$.
Fields that use this concept
Finance & economics
Actuarial science
Actuarial Present Value
The probability-weighted present value of future insurance benefits or annuity payments, combining mortality probabilities with financial discounting.
Claims Reserving
Actuarial methods for estimating the amount an insurer must set aside to pay claims that have been incurred but not yet fully settled.
Credibility Theory
A Bayesian framework for blending an insured's own loss experience with population-level data to produce more accurate premium estimates.
Embedded Options in Insurance
Financial options implicit in insurance and annuity contracts—such as guaranteed annuity rates and variable annuity guarantees—that require stochastic modeling and hedging for fair valuation under Solvency II.
Life Tables
A systematic tabulation of mortality experience showing the probability of death and survival at each age, forming the foundation of actuarial calculations.
Loss Models
Mathematical models for insurance claim frequency and severity, culminating in aggregate loss distributions used for pricing, reserving, and capital modeling.
Risk Measures in Actuarial Science
Quantitative tools for summarizing the risk profile of a loss distribution, including VaR, TVaR, coherent measures, and distortion risk measures used in insurance regulation.
Ruin Theory
The mathematical study of when an insurer's surplus process first becomes negative, providing bounds and exact formulas for the probability of ruin under the classical Cramér-Lundberg model.
Survival Models in Actuarial Science
Probabilistic models for the future lifetime of individuals and groups, including joint life, multiple decrement, and copula-based dependent mortality models used in pension and life insurance valuation.
Physical sciences
Astrophysics
Cosmic Microwave Background
The thermal radiation relic of the hot Big Bang, encoding the state of the universe 380,000 years after its formation.
Dark Matter
The non-luminous mass component comprising roughly 27% of the universe's energy budget, inferred from gravitational effects.
Hubble's Law and Cosmic Expansion
The empirical relationship between a galaxy's recession velocity and its distance, forming the foundation of observational cosmology.
Nucleosynthesis
The nuclear processes that forge every element from hydrogen to uranium inside stars, supernovae, and the Big Bang.
Life sciences
Bioinformatics
Comparative Genomics
Measuring evolutionary divergence between genomes through synteny, substitution rates, and neutrality tests.
Genome-Wide Association Studies
Statistical methods for linking genetic variants to traits or diseases across the entire genome.
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.
Phylogenetics
Inferring evolutionary trees from molecular sequences using substitution models and likelihood methods.
Protein Structure Prediction
Energy minimization, force fields, and deep learning approaches for predicting 3D protein structure from sequence.
RNA-Seq Differential Expression
Statistical modelling of read counts to identify genes that change expression between conditions.
Sequence Alignment
Dynamic programming algorithms for aligning DNA, RNA, and protein sequences to find optimal matches.
Single-Cell RNA Sequencing
Dimensionality reduction, clustering, and trajectory inference for high-dimensional single-cell transcriptomic data.
Life sciences
Biostatistics
Bayesian Adaptive Trials
Clinical trials that use Bayesian inference to update beliefs about treatment effects and modify trial conduct based on accumulating evidence.
Clinical Trial Design
Principled design of randomized controlled trials, covering sample size, error control, adaptive methods, and regulatory frameworks.
Cox Proportional Hazards
Semi-parametric regression model for survival data that estimates covariate effects without specifying the baseline hazard.
Generalized Linear Models
A unified regression framework extending linear models to non-normal outcomes via exponential family distributions and link functions.
Kaplan-Meier Estimator
The product-limit non-parametric estimator of the survival function, the universal starting point for time-to-event analysis.
Logistic Regression
Regression model for binary and polytomous outcomes using the logit link, yielding odds ratio estimates directly interpretable in clinical and epidemiological research.
Meta-Analysis
Quantitative synthesis of results across multiple studies, combining effect estimates to increase precision and assess heterogeneity.
Multiple Testing Corrections
Methods for controlling error rates when simultaneously testing many hypotheses, from conservative Bonferroni corrections to FDR control in genomics.
Survival Analysis
Statistical methods for time-to-event data, accounting for censoring and the hazard of an event occurring over time.
Earth sciences
Climate modeling
Climate Sensitivity
Quantifying how much global mean temperature responds to a doubling of CO₂, from feedback analysis to paleoclimate and observational constraints.
Extreme Events and Climate Attribution
Extreme value theory provides the statistical framework for quantifying rare weather events, their return periods, and their changing likelihood under climate change.
Numerical Weather Prediction
Mathematical foundations of operational weather forecasting, from the primitive equations and data assimilation to ensemble prediction and probabilistic skill metrics.
Radiative Forcing
The change in Earth's energy budget caused by an external perturbation, measured in watts per square meter, and its role in attributing observed climate change.
Physical sciences
Computational chemistry
Engineering & CS
Cryptography
Cryptographic Hash Functions
Deterministic functions mapping arbitrary-length input to fixed-length digests with collision resistance and preimage resistance.
Secret Sharing Schemes
Methods for distributing a secret among multiple parties so that only authorized subsets can reconstruct it.
Finance & economics
Econometrics
Panel Data and Fixed Effects
Methods for estimating causal effects from panel data by exploiting within-unit variation to control for time-invariant unobserved heterogeneity.
Regression Discontinuity Design
A quasi-experimental method that identifies causal effects by exploiting sharp discontinuities in treatment assignment driven by a continuous running variable crossing a known cutoff.
Auctions
Market mechanisms for allocating goods through competitive bidding.
Bargaining
Strategic models of how two parties split a surplus through negotiation.
Evolutionary Game Theory
Population dynamics where strategies spread by fitness rather than rational choice.
Information Asymmetry
Strategic behaviour when players hold different private information.
Mechanism Design
Engineering game rules to achieve desired outcomes despite private information.
Nash Equilibrium
A strategy profile where no player can benefit by unilaterally deviating.
Prisoner's Dilemma
The canonical social dilemma where individual rationality leads to collective loss.
Repeated Games
How cooperation can emerge when players interact across multiple rounds.
Social Choice Theory
How individual preferences can — and cannot — be aggregated into collective decisions.
Earth sciences
Geophysics
Earthquake Seismology
Moment tensors, seismic moment, and the Gutenberg-Richter law characterise earthquake sources and their statistical recurrence.
Geostatistics
Variograms, kriging, and sequential simulation quantify spatial uncertainty in subsurface property estimation.
Engineering & CS
Machine learning
Cross-Validation
A family of resampling techniques for estimating generalization error and selecting models without a separate held-out test set.
Decision Trees
Recursive partitioning of the feature space using impurity-based splitting criteria to build interpretable prediction rules.
Neural Networks
Universal function approximators trained by backpropagation, forming the foundation of modern deep learning.
Principal Component Analysis
Linear dimensionality reduction by projecting data onto directions of maximum variance via eigendecomposition of the covariance matrix.
Random Forests
An ensemble method combining bagged decision trees with random feature subsets to produce low-variance, high-accuracy predictions.
Earth sciences
Meteorology
Atmospheric Thermodynamics
The thermodynamic laws governing temperature, stability, and phase change in the atmosphere.
Ensemble Forecasting
Quantifying forecast uncertainty by running multiple model simulations from perturbed initial conditions.
Mesoscale Convection
The organisation of thunderstorms into mesoscale convective systems driven by CAPE, wind shear, and cold pool dynamics.
Weather Radar
How radar equations, reflectivity, Doppler velocity, and dual-polarisation moments are used to observe precipitation and storms.
Engineering & CS
Operations research
Queuing Theory
Mathematical models of waiting lines and service systems. The M/M/1 queue and Little's law are the foundations.
Discrete-Event Simulation
Modeling stochastic systems by advancing a simulation clock through events and analyzing steady-state and transient behavior.
Stochastic Optimization
Optimization under uncertainty using probability distributions over parameters, covering two-stage programs and stochastic gradient methods.
Classical Test Theory
The foundational framework decomposing an observed score into a true score and random measurement error.
Confirmatory Factor Analysis
A theory-driven factor model in which loadings and factor correlations are constrained a priori and tested against data.
Differential Item Functioning
Detection of items that favor one group over another after matching on the latent trait being measured.
Factor Analysis
Dimensionality-reduction technique decomposing observed variables into latent common factors and unique error terms.
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.
Reliability and Validity
Core psychometric properties evaluating the consistency and accuracy of a measurement instrument.
Structural Equation Modeling
A framework combining a measurement model and a structural model to test hypothesized relationships among latent variables.
Test Equating
Statistical procedures that place scores from different test forms onto a common scale so they can be used interchangeably.
Life sciences
Quant ecology
Island Biogeography
MacArthur and Wilson's equilibrium theory explains species richness on islands through the balance of immigration and extinction, predicting the species-area relationship.
Logistic Population Growth
The logistic equation models density-dependent population growth toward a carrying capacity, with rich extensions including chaos, Allee effects, and generalized forms.
Metapopulation Dynamics
The Levins metapopulation model and its extensions describe how species persist as networks of local populations connected by dispersal.
Occupancy Models
Occupancy models estimate species occurrence probability while explicitly accounting for imperfect detection, using repeated surveys across sites.
SIR Epidemic Model
The SIR compartmental model partitions a population into Susceptible, Infected, and Recovered classes to describe epidemic spread through a basic system of ODEs.
Species Distribution Models
Species distribution models (SDMs) relate occurrence records to environmental predictors to estimate and project a species' ecological niche in geographic space.
Stochastic Population Dynamics
Demographic and environmental stochasticity drive population fluctuations and extinction risk in ways that deterministic models cannot capture.
Finance & economics
Quant finance
Bond Pricing & Duration
Valuing fixed-income securities and measuring their interest rate sensitivity. Duration and convexity are the core risk metrics.
Copulas
Functions that model the dependence structure between random variables independently of their marginal distributions.
Monte Carlo Methods in Finance
Simulating asset paths to price exotic derivatives and compute risk measures. The workhorse of quantitative trading desks.
Portfolio Optimization
Finding the allocation of capital across assets that maximises return for a given risk level. Markowitz's mean-variance framework is the foundation.
Risk-Neutral Pricing
The no-arbitrage framework for pricing derivatives. Any derivative price equals the discounted expectation under the risk-neutral measure.
Value at Risk
The loss level not exceeded with a given probability over a given horizon. The industry-standard risk measure for regulatory capital.
Life sciences
Quant genetics
Epistasis
Gene-gene interactions and their contribution to phenotypic variance and GWAS inflation.
Genome-Wide Association Studies
Statistical methods for mapping SNP associations to complex traits across the genome.
Hardy-Weinberg Equilibrium
Allele and genotype frequency equilibrium under idealized random mating.
Heritability
Partitioning phenotypic variance into genetic and environmental components.
Linkage Disequilibrium
Non-random allelic associations between loci and their decay with recombination.
Polygenic Scores
Aggregating genome-wide SNP effects into individual-level genetic prediction scores.
Quantitative Trait Loci
Statistical mapping of genomic regions that contribute to variation in quantitative traits.
Response to Selection
The Breeder's equation and quantitative prediction of genetic gain per generation.
Physical sciences
Quantum computing
Grover's Algorithm
A quantum search algorithm achieving quadratic speedup over classical exhaustive search via amplitude amplification.
Quantum Key Distribution
Protocols for distributing cryptographic keys with information-theoretic security guaranteed by the laws of quantum mechanics.
Engineering & CS
Robotics
Kalman Filter SLAM
Simultaneous localization and mapping using the Extended Kalman Filter to jointly estimate robot pose and landmark positions.
Occupancy Grid Mapping
Bayesian grid-based environment representation where each cell independently tracks its probability of being occupied.
Particle Filter
Monte Carlo localization represents robot belief as a set of weighted particles, enabling non-Gaussian, multi-modal distributions over robot pose.
Probabilistic Roadmaps
Sampling-based motion planning algorithms that construct roadmaps in configuration space to find collision-free paths.
Visual Odometry
Estimating ego-motion from camera images by tracking visual features across frames using epipolar geometry and PnP solvers.
Engineering & CS
Signal processing
Compressed Sensing
A framework for recovering sparse signals from far fewer measurements than classical sampling theory requires.
Kalman Filter
The optimal recursive estimator for linear Gaussian state-space models, fusing predictions with noisy observations.
Matched Filter
The optimal linear filter for detecting a known signal in additive white Gaussian noise, maximizing output signal-to-noise ratio.
Nyquist-Shannon Sampling Theorem
The fundamental theorem establishing the minimum sampling rate required to perfectly reconstruct a bandlimited continuous signal.