An Extended Interpretation of the Concept of point estimators of location (geometric medians and geometric centers) in bounded closed domains for a discrete set of points from ℝ³

T[size=85]here is a system of [b]n[/b] points in a certain region. For the "average overall" characteristic of such a system, [i]point estimates[/i] are usually used: the geometric [color=#ff7700][url=https://en.wikipedia.org/wiki/Geometric_median]median[/url][/color] and the [color=#333333]geometric[/color][color=#ff00ff] center[/color] (or [color=#ff00ff]center of mass, the [url=https://en.wikipedia.org/wiki/Centroid]centroid[/url] [/color][color=#333333]of a finite set of n points[/color]). In the first case, it is a [b]point[/b] that minimizes the function of the [color=#1e84cc]sum of the distances[/color] between itself and each point in the set (for three points - [b]Fermat point[/b]), and the [color=#1e84cc]sum of the squares of this distances[/color] -in the second case. [br] I propose a more extended interpretation of the concept of [i]point estimates[/i] of the location ([color=#ff7700]geometric medians[/color] and [color=#ff00ff]geometric centers[/color]) of a discrete set of [b]n[/b] points not in the entire domain e.g. ℝ³, but in some [i] domain[/i]. That is, you need to find [b]points[/b] in this [i]domain[/i] that [color=#ff0000]extremize[/color] the [color=#1e84cc]sum of the distances[/color] function from them to [b]n[/b] points of the set.[br] In applets, a limited number of particles from ℝ³ are considered, and a circle and a sphere are considered as such a [i]domain[/i], i.e. [i]point estimates[/i] are sought on a circle / sphere. The search for [i]point estimates[/i] on a circle allows you to understand their meaning more clearly . Thus, the search for [i]point estimates[/i] is reduced to finding the [color=#ff0000]critical points[/color] of the [color=#1e84cc]distance sum function f (x, y, z)[/color] subject to a [u]constraining equation[/u] g(x,y)=x²+y -R² in the case of [i]estimation[/i] on a circle or g(x,y,z)=x²+y²+z²-R²-in the case of [i]estimation[/i] on the sphere. The problem is solved using Lagrange multipliers. There is a system of equations: ∇f(x,y,z)= λ∇g(x,y,z). A local optimum occurs when ∇f(x,y,z) and ∇g(x,y,z) are parallel, and so ∇f is some multiple of ∇g. [br] Algorithms are proposed for finding [b]points[/b] corresponding to [color=#ff0000]extremes[/color]: [color=#0000ff]minima[/color], [color=#ff0000]maxima[/color], and, in the case of the sphere, also [color=#93c47d]saddle[/color] [b]points[/b] of the [color=#1e84cc]sum of distances function[/color].[/size]
[b][b]Key points in images[/b]. Examples of point estimators of location (geometric medians and geometric centers) in bounded closed domains for a discrete set of points from ℝ³ [/b]
[size=150][b]1. Point estimators[/b] (geometric [i][color=#ff7700]median[/color][/i] and geometric [color=#ff00ff][i]center[/i][/color]) defined for a discrete set of points from [b]ℝ³[/b] [/size]
[size=85]The [b][u][url=https://en.wikipedia.org/wiki/Geometric_median]geometric median[/url][/u][/b] of a discrete set of sample points in a [url=https://en.wikipedia.org/wiki/Euclidean_space]Euclidean space[/url] is the [i][b]Point[/b][/i] [color=#1e84cc]minimizing the [/color][color=#ff7700]sum of distances(d[sub]i[/sub])[/color][i] [color=#1e84cc]to the sample points[/color]. [/i][color=#333333]For triangles, this point is called the [u][url=https://en.wikipedia.org/wiki/Fermat_point]Fermat point[/url][/u].[br]The [b][u][url=https://en.wikipedia.org/wiki/Geometric_median#Computation]geometric center[/url][/u][/b]  of a discrete set of sample points in a [url=https://en.wikipedia.org/wiki/Euclidean_space]Euclidean space[/url] is the [i][b]Point[/b][/i] [i][color=#1e84cc]minimizing the [/color][color=#ff00ff]sum of the squares of the distances(d[sub]i[/sub][sup]2[/sup])[/color][color=#1e84cc] [i]to the sample points[/i][/color][/i], can be found by a simple formula — its coordinates are the averages of the coordinates of the points.  It is also known as the [url=https://en.wikipedia.org/wiki/Centroid]centroid[/url], [url=https://en.wikipedia.org/wiki/Center_of_mass]center of mass[/url] of a finite set of points.[/color][/size]
Example 1.1
[size=85][b][color=#333333][u][url=https://www.geogebra.org/m/wc8yfreb]Example[/url] 1.1:[/u][/color][/b] [b]Point estimators[/b] [b]of location[/b] (Geometric [color=#ff7700][url=https://en.wikipedia.org/wiki/Geometric_median]median[/url] [/color]and Geometric [color=#9900ff][i][url=https://en.wikipedia.org/wiki/Centroid]center[/url][/i][/color]) of a discrete set of 6 points from [b]ℝ³.[br][/b]Here, [url=https://en.wikipedia.org/wiki/Arg_min][b]arg min[/b][/url] means the value of the argument y which [color=#1e84cc]minimizes[/color] the[color=#ff7700] sum of distances[/color][i] [color=#1e84cc]to the sample points[/color][/i]. In this case, it is the [color=#20124d]point- [/color][color=#ff7700]F[/color][sub]o[/sub]:[color=#333333]=[/color][color=#333333]y[/color]. For the [i][color=#ff00ff]sum of the squares of the distances[/color] [i][color=#1e84cc]to the sample points[/color][/i][/i], such point is [i][color=#ff00ff]Cm:[color=#333333]=[/color][color=#333333]y[/color][/color][color=#333333].[/color][/i][/size]
[size=85][size=150][b]2. Point estimators [/b][b]of location [/b](geometric [i][color=#ff7700]medians[/color][/i] and geometric [color=#ff00ff][i]centers[/i][/color]) defined in bounded closed domain: [b][u]on a circle[/u][/b] for a discrete set of points from [b]ℝ³[/b] [/size][/size]
Example 2.1a
[size=85][b][u] [url=https://www.geogebra.org/m/rvfx4euj]Example[/url] 2.1a[/u][/b]: [b]Point estimators[/b] [b]of location[/b] (geometric [color=#ff7700]medians[/color] [b][color=#ff7700]GMᵢ[/color][/b]) defined on a circle for a discrete set of 6 points from [b]ℝ³[/b] [/size]
Example 2.1b
[size=85][b][u] [url=https://www.geogebra.org/m/rvfx4euj]Example[/url] 2.1b[/u][/b]: [b]Point estimators[/b] [b]of location[/b] (geometric [color=#ff00ff]centers[/color] [b][color=#ff00ff]GCᵢ[/color][/b]) defined on a circle for a discrete set of 6 points from ℝ³[/size]
Example 2.2a
[size=85][b][u] Example 2.2a[/u][/b]: [b]Point estimators[/b] [b]of location[/b] (geometric [color=#ff7700]medians[/color] [color=#ff7700][b]GMᵢ[/b][/color]) defined on a circle for a discrete set of 6 points from [b]ℝ³[/b] [/size]
Example 2.2b
[size=85][b][u] Example 2.2b[/u][/b]: [b]Point estimators[/b] [b]of location[/b] (geometric [color=#ff00ff]centers[/color] [b][color=#ff00ff]GCᵢ[/color][/b]) defined on a circle for a discrete set of 6 points from [b]ℝ³[/b][/size]
Example 2.3
[b] [size=85][u][url=https://www.geogebra.org/m/tnut2f9y]Example[/url] 2.3[/u] [/size][size=85]Generating a uniform distribution of points on a circle.[/size][/b][size=85] Let L be a circle of radius R around the point O: L:={x∈[size=100]ℝ[/size][sup]2[/sup]: ||x||=R}. [i][i]There is a set lP={A1, A2,...,An} [/i]of n [b][u]movable free points on a circle[/u][/b].[/i][br][b]Problem[/b]: use the [b][i]method of Lagrange multipliers[/i][/b] find such their distribution corresponding to the [i][b][color=#ff0000]maximum[/color][/b][/i] [b]sum of all their mutual distances[/b]. [br][i] This means need to find out such [i]mutual arrangement[/i] of "[i][i][color=#ff0066]repulsive" set of [/color][u][color=#0000ff]particles on a circle[/color][/u][color=#ff0066],[/color][/i] [/i]when each point of this set is [b][color=#ff7700]Geometric median[/color][/b] [color=#333333][b]([/b][/color][b][color=#ff7700]GM[/color][color=#333333])[/color][/b] of the remaining n-1 points. [i]We assume that the equilibrium - [/i][i]stationary state [/i][i][color=#333333]in system of "charges" is reached if the sum of their mutual distances is [/color][color=#ff7700]maximal[/color][color=#333333]. [/color][/i][i][i]Iterative approach[/i][/i] of [i][i]particle placement[/i][/i] is applied for [i]achieving [/i][i]a stationary state.[/i][/i][/size]
[size=85][size=150][b]3.[/b] [b]Point estimators[/b] [b]of location[/b] (geometric [i][color=#ff7700]medians[/color][/i] and geometric [color=#ff00ff][i]centers[/i][/color]) defined in bounded closed domain: [u][b]on a sphere[/b][/u] for a discrete set of points from [b]ℝ³[/b] [/size][/size]
Example 3.1
[size=85][color=#333333][b] [u][url=https://www.geogebra.org/m/bqj29x9m]Example[/url] 3.1[/u]:[/b] [b]Point estimators[/b] [b]of location[/b] (geometric [/color][color=#ff7700]medians [/color][color=#ff7700][b]GMᵢ [/b][/color][color=#333333]and geometric [/color][color=#ff00ff]centers [/color][color=#ff00ff][b]GCᵢ[/b][/color][color=#333333]) defined [u][b]on a sphere[/b][/u] for a discrete set of 6 points from [b]ℝ³[/b] [br][/color][b][color=#9900ff]1[/color][/b]. 6 Points in ℝ³ and the search their [b]Point Estimators[/b]: [i]geometric [color=#ff7700]medians[/color][/i] and [i]geometric [color=#ff00ff]centers[/color][/i] on the surface of the sphere.[br][color=#9900ff][b]2[/b][/color]. Regardless of the number of points they have only two geometric [color=#ff00ff]centers[/color] on the surface of the sphere: two antipodal points.[br][color=#9900ff][b]3[/b][/color]. The existing distribution of 6 points in this example give ten geometric [color=#ff7700]medians[/color] on the surface of the sphere: 2 [color=#ff0000]maxima[/color], 4 [color=#0000ff]minima[/color] and 4 [color=#38761d]saddle[/color] critical points for the [i]sum-distance function[/i]. The vectors ∇f and ∇g are parallel at these points.[br][b][color=#9900ff]4[/color][/b]. Table of coordinates of the critical points of [color=#1e84cc]distance sum-distance function [/color]f(φ,θ) over a rectangular region on the surface of the sphere: φ∈[-π,π](x-Axis), θ∈[-0.5π,0.5π](y-Axis). They are found using [i]Lagrange multipliers[/i] as finding the Extreme values of the function f(x,y,z) subject to a g(x,y,z)=0 (constraining equation: g(x,y,z)=x²+y²+z²-R²). The table also contains partial derivatives and Angles between the vectors ∇f and ∇g at these critical points.[br][b][color=#9900ff]5[/color][/b]. (φ;θ) -plane of the angular coordinates of points on the sphere: φ∈[-π,π], θ∈[-0.5π,0.5π]. The colored Isolines are qualitatively indicate the type of critical points. The intersection of implicit functions of the equations of zero partial derivatives: f'[sub]φ[/sub](φ, θ)=0; f'[sub]θ[/sub](φ,θ)=0 over a rectangular region φ∈[-π,π], θ∈[-0.5π,0.5π] -are solutions (critical points) of the Lagrange equations.[br][b][color=#9900ff]6[/color][/b]. Graphic of the distance sum function f(φ, θ) over a rectangular region φ∈[-π,π], θ∈[-0.5π,0.5π] with the positions of the corresponding [color=#ff0000]maxima[/color]/[color=#0000ff]minima[/color] and [color=#38761d]saddles[/color] -its critical points.[/size]
Example 3.2
[size=100][size=85] [b] [u][size=85][url=https://www.geogebra.org/m/dvrjqmkv]Example[/url] 3.2: [/size][/u][/b]The uniformly distribution of [b]Point estimators[/b] [b]of location -[/b]geometric [color=#ff7700][i]medians[/i][/color] on a sphere, „induces“ by the discrete sample of uniformly distribution points in the 3-D space. Description is in [url=https://www.geogebra.org/m/y8dnkeuu]https://www.geogebra.org/m/y8dnkeuu[/url]. Here, the 12 vertices of the Icosahedron "induce" the vertices of the other three polyhedra:[/size][b][br]20 ●[color=#ff0000]Dodecahedron[/color]← 12 ●[color=#0000ff]Icosahedron[/color] →30 ●[/b][color=#6aa84f][b]Icosidodecahedron.[/b][/color][/size]
Example 3.3
[size=85][i][b] [size=85][u][url=https://www.geogebra.org/m/znzekxmj]Example[/url] 3.3[/u] [/size][size=85]Generating a uniform distribution of points on a sphere.[/size][/b][size=85][color=#333333] Let S be a sphere of radius R around the point O: S:={x∈[/color][size=100]ℝ[/size][sup]³[/sup][color=#333333]: ||x||=R}. [/color][i]There is a set lP={A1, A2,...,An} [/i]of [b][u]n movable free points on a sphere[/u][/b].[br][b] Problem[/b]: use the [b][i]method of Lagrange multipliers[/i][/b] find such their distribution corresponding to the [i][b][color=#ff0000]maximum[/color][/b][/i] [b]sum of all their mutual distances[/b]. [br][i] This means need to find out such [i]mutual arrangement[/i] of "[i][i][color=#ff0066]repulsive" set of [/color][u][color=#0000ff]particles on a sphere[/color][/u][color=#ff0066],[/color][/i] [/i]when each point of this set is [i][b][color=#ff7700]Geometric median[/color][/b] [color=#333333]([/color][b][color=#ff7700]GM[/color][color=#333333])[/color][/b][/i] of the remaining n-1 points. [i]We assume that the equilibrium - [/i][i]stationary state [/i][i][color=#333333]in system of "charges" is reached if the sum of their mutual distances is [/color][color=#ff7700]maximal[/color][color=#333333]. [/color][/i][i][i]Iterative approach[/i][/i] of [i][i]particle placement[/i][/i] is applied for [i]achieving [/i][i]a stationary state.[/i][/i][/size][/i][/size]

Point estimators of location (Geometric median and Geometric center) of a discrete set of sample points from ℝ³.

[size=85]Exploration of[/size] [size=85][url=https://en.wikipedia.org/wiki/Geometric_median]Geometric median[/url] ([url=https://en.wikipedia.org/wiki/Fermat_point]Fermat point[/url]) and [url=https://en.wikipedia.org/wiki/Centroid]Geometric center[/url] ([url=https://en.wikipedia.org/wiki/Center_of_mass]Center of mass[/url]) of a discrete set of sample points.[/size]
Example of Geometric median (GM) and Geometric center (GC) of a set of 6 points

₊Method of Lagrange multipliers. Relative positioning of "repulsive" movable points on a circle

[size=85]₊Modified [url=https://www.geogebra.org/m/pjaqednw]version[/url].[br] Let L be a circle of radius R around the point O: [b]L[/b]:={x∈[size=100]ℝ[/size][sup]2[/sup]: ||x||=R}. [i]There is a set lP={p1, p2,...,pn} of n movable points and [color=#333333]with each p[sub]i[/sub][/color][color=#333333]∈L[/color][color=#333333],[/color][/i][color=#222222]{(xi,yi)∈L: i = 1,...,n} -their coordinates[/color][i]. [/i]Let the points be "repulsive". [color=#222222][color=#1e84cc][i] f(x,y)=[/i][/color][/color][math]\sum_{i=1}^n\sqrt{\left(x-x_i\right)^2+\left(y-y_i\right)^2}[/math][color=#222222][color=#1e84cc][i] -[color=#1e84cc]sum of the distances [/color][color=#333333]from[/color] ([/i][/color][/color][i]x,y) to each point p[/i][sub]i[/sub][i]'s. [i][i][i][color=#333333]g(x,y)[/color][/i][/i]=[math]\sqrt{\left(x\right)^2+\left(y\right)^2}-R[/math][/i] [/i][color=#333333][i] - points (x,y)∈[/i][b]L. [/b][/color][br][b][u]Problem[/u][/b]: use the [b][i]method of Lagrange multipliers[/i][/b] to find distribution of "repulsive" points on a circle corresponding to the [i][b][color=#ff7700]maximum[/color][/b][/i] of their [b]sum of mutual distances[/b]. [br] [b]Step by step[/b], all the points are iterated over each time until each point is at the [i][color=#ff7700]Geometric medians([/color][/i][b][color=#ff7700]GM)[/color][/b] points of the other n-1 points. We assume that the equilibrium - stationary state in system of n "charges" is reached if the sum of their mutual distances is [color=#ff0000]maximal[/color]. [br][i][i] Critical points of [color=#ff7700]maximum[/color] can be found using Lagrange multipliers as Λ(x,y,λ)=f(x,y)+λ*g(x,y) finding the [color=#ff0000]critical points[/color] f(x,y) subject to: g(x,y)=0.[/i][/i][/size]
Iterative methods for optimization
[size=85] There is a system of equations: ∇f(x,y)= λ*∇g(x,y). A local optimum occurs when ∇f(x,y) and ∇g(x,y) are parallel, and so ∇f is some multiple of ∇g. Here, an iterative formula is used to find the points of the local maxima of the corresponding [i]distance sum[/i] [i]functions[/i]. Relationship between vectors of two consecutive iterations is defined in this case by [size=100][size=200][size=150][math]\vec{r_s}^{\ast}=R\cdot UnitVector\left(\sum^{n,i\ne s}_{i=1}UnitVector\left(\vec{r_s}-\vec{r_i}\right)\right)[/math][/size][/size][/size] - the new position of the [b]s[/b] point: [math]\vec{r_s}^{\ast}[/math]∈[b]L[/b]. All points are successively corrected (s = 1,2, ..., n) until the system of points comes to a stationary state. Finally, at the end of iterations they must match: ps=ps* for all s=1,2,...,n. The number of correction steps is carried out until the center of mass of n particles from lP (with a certain degree of accuracy) will not be in the center of the circle.[br] [b]The solution[/b] of the above Lagrange problem means that in "equilibrium" for any point [b]s[/b] from the set lP, their [b][i]position vectors[/i][/b] i. e. gradient [b][i]∇g[sub]s[/sub][/i][/b]=[math]\vec{r_s}[/math]/R [i][color=#222222][i][color=#222222]-gradient of the magnitude of a position vector r[/color][/i][/color][/i], and the [i][b]sums of the unit vectors[/b][/i] of the other n-1 points: gradient [color=#ff7700]∇f[sub]s[/sub][/color]∼[math]\sum^{n,i\ne s}_{i=1}UnitVector\left(\vec{r_s}-\vec{r_i}\right)[/math][size=85]must be parallel[/size][size=85], i.e. the angle Δφ between these two gradients vectors is multiple of π . [br] The gradients of the [i]function [/i][i][color=#333333]sum of squares of their mutual distances[/color][/i] are [color=#ff00ff]∇f[sub]q s[/sub][/color]∼[math]\sum^{n,i\ne s}_{i=1}\left(\vec{r_s}-\vec{r_i}\right)[/math][/size]. The formulas for the position of the [color=#ff00ff]geometric centers[/color] of systems of n-1 points (on a circle) for the local maxima of the [color=#ff00ff]f[/color][sub][color=#ff00ff]q s[/color] [/sub]-function of distances at each iteration step are determined each time by explicit formulas. [i][color=#333333]Their coordinates, in contrast to [/color][color=#ff7700]Geometric Medians[/color][color=#333333], have [/color][i]explicit formulas[/i][color=#333333]: [/color][color=#ff00ff]GCmax= - R*UnitVector(Sum(lP))[/color][color=#1e84cc]. [/color][color=#333333]This point and[/color][color=#1e84cc] [i]GCmin= R* UnitVector(Sum(lP))[color=#333333]-[/color][/i] [/color][color=#333333]two antipodal points on circle. [br][/color][/i] As it turns out, in the [color=#ff0000]equilibrium position[/color] of the n -points system, [b][i][u]each point is located both[/u][/i][/b] in the [i][b]positions[/b][/i] of the [color=#ff7700][b]Geometric median(GM)[/b][/color] and in the [b][color=#ff00ff]Geometric centers(GC)[/color][/b] of the remaining points.[br] ●Main iteration formula in applet: Execute(Join(Sequence(Sequence("SetValue(A"+i+",CopyFreeObject(Element[Last[IterationList((0,0)+R UnitVector(Sum[Zip[UnitVector(a-lP(r)),r,Sequence[n]\{"+i+"} ]]),a, {A"+i+"},j01)],1] ) )",i,1,n),ii,1,i0) ) ). IterationList -Number of Iterations for each point j01=5, i0 -number of iterations per step. [br] ●An [url=https://www.geogebra.org/m/tnut2f9y]example[/url] of ordering points on a circle is a [i]clear[/i] and[i] illustrative[/i] of using the iterative method of finding [color=#ff7700][i][b]geometric [b][i]medians[/i][/b](GM[/b])[/i][/color] and [color=#ff00ff][b][i]geometric centers(GC)[/i][/b][/color] [u][i]on a bounded domain[/i][/u] for a system of points. Similar considerations were applied to finding a uniform distribution of points on a sphere.[/size]
Initial, intermediate and final -the "equilibrium" location of points on the circle as a result of an iterative procedure leading to the Maximum Distance Sum condition.

Information