Analysis · Concept hubDeep story

Optimization

1638 CEMultiple formations from ancient reflected paths and 17th-century extrema and fastest curves to modern variation, planning, and stochastic search

Concept

The mathematics of minimizing or maximizing a stated objective subject to constraints. An optimum exists only after “better” and “feasible” are specified; local versus global, exact versus approximate, computable versus socially desirable remain distinct.

Understand it in one breath

Find a choice that minimizes or maximizes an objective subject to constraints. Linear programming, gradient methods, and stochastic search provide different guarantees for different structures. In a convex problem every local minimum is global; in a nonconvex problem such as neural-network training, a zero gradient alone is no certificate of optimality. Logistics, design, statistics, and learning supply many applications.

At a glance

-3-2-10123-8-6-4-202
f(x) = 0.3x⁴ - 3x²

Key formula

f convex,  f(x)=0x is a global minimumf \text{ convex},\; \nabla f(x^*) = 0 \Longrightarrow x^* \text{ is a global minimum}

Key moments

1638 CE

Fermat — extrema before differential notation

Fermat’s adequality compared nearby expressions to solve many tangent and extremum problems. It did not state the modern gradient-equals-zero rule or supply a sufficient condition covering boundaries and nondifferentiable points.

1744 CE

Euler — choosing an entire function

Methodus inveniendi systematized extrema of quantities such as length and time attached to curves. Lausanne marks publication, and Lagrange and others later developed the formalism.

1847 CE

Cauchy — descending by repeated negative gradients

Cauchy proposed a steepest-descent procedure for simultaneous equations. Step size, initialization, and landscape determine whether it converges, stalls, or diverges; global optimality is not automatic.

1939 CE

Karush and Kantorovich — constraints and resource allocation

Karush studied conditions for inequality constraints while Kantorovich modeled linear production planning in a different institution. Their work connects to KKT and simplex without becoming one person’s or one city’s invention.

1951 CE

Robbins and Monro — approximation through noise

Noisy observations and properly diminishing steps could estimate a target without exact function values. This is an important ancestor of stochastic gradient methods, not an identical modern mini-batch algorithm.

2012 CE

AlexNet — combining data, GPUs, and loss optimization

Large image data, convolutional networks, GPUs, backpropagation, and stochastic optimization sharply improved benchmark performance. Minimizing that loss did not automatically optimize intelligence, truth, or fairness.

Modern applications

Neural-network training, airline scheduling, logistics, design, energy systems, portfolios, and game AI. Results remain conditional on objectives, constraints, data, uncertainty, algorithms, and stopping rules; omitted costs and fairness do not optimize themselves.

Beyond MathVoyage

Loading…