In geometry, the geometric median of a discrete point set in a Euclidean space is the point minimizing the sum of distances to the sample points. This generalizes the median, which has the property of minimizing the sum of distances or absolute differences for one-dimensional data. It is also known as the spatial median,[1] Euclidean minisum point,[1] Torricelli point, [2] or 1-median. It provides a measure of central tendency in higher dimensions and it is a standard problem in facility location, i.e., locating a facility to minimize the cost of transportation.[3]
The geometric median is an important estimator of location in statistics,[4] because it minimizes the sum of the L2 distances of the samples.[5] It is to be compared to the mean, which minimizes the sum of the squared L2 distances; and to the coordinate-wise median which minimizes the sum of the L1 distances. The more general k-median problem asks for the location of k cluster centers minimizing the sum of L2 distances from each sample point to its nearest center.
The special case of the problem for three points in the plane (that is, m = 3 and n = 2 in the definition below) is sometimes also known as Fermat's problem; it arises in the construction of minimal Steiner trees, and was originally posed as a problem by Pierre de Fermat and solved by Evangelista Torricelli.[6] Its solution is now known as the Fermat point of the triangle formed by the three sample points.[7] The geometric median may in turn be generalized to the problem of minimizing the sum of weighted distances, known as the Weber problem after Alfred Weber's discussion of the problem in his 1909 book on facility location.[1] Some sources instead call Weber's problem the Fermat–Weber problem,[8] but others use this name for the unweighted geometric median problem.[9]
Wesolowsky (1993) provides a survey of the geometric median problem. See Fekete, Mitchell & Beurer (2005) for generalizations of the problem to non-discrete point sets.