A New Look at Generalized Means

Since antiquity, the relationships between 2-tuples and their Pythagorean means have been represented in geometric forms. In this paper, we extend the practice to generalized power means through new representations, and also to 3-tuples. These geometric forms give rise to new algebraic expressions for summary statistics of 2and 3-tuples.


Introduction
The study of means dates to antiquity. Pappus of Alexandria, who lived at the end of the third century AD, wrote on the relationships between the "three means" and gave reference to the work of previous geometers [1]. These three means: the arithmetic, geometric, and harmonic, along with a fourth, called the quadratic or root mean squared, represent the most commonly used means even today: the geometric mean finds use in finance and the study of populations, and also in conversion of aspect ratios for film processing; the harmonic mean is used in physics and economics for the treatment of rates and ratios; the quadratic mean is at the heart of ordinary least squares regression, which is used in many diverse fields; and it hardly needs to be said that the arithmetic mean has widespread use as the most used measure of central tendency.
Because of their practical importance, we consider these four means as special named cases of what [2] called "ordinary means" but which are more generally known as power means or generalized means. In this paper, we will modify the notation used by [2] and [3] and define the power means such that for the N-tuple x with 0 We find this definition convenient to work with, although we note that the cases given for 0, p = ±∞ represent the limits as the general case approaches those values, as shown by [2]. We also note that, for 1 p ≥ , the power mean is closely related to the p-norm, which differs only by a factor of . Power means may be regarded as statistics which give more weight to large values of i x when p is large and positive, and more weight to small values of i x when p is large and negative. Because of this property, they can be used comparably with percentiles, but with two important distinctions: the power mean function is continuous and differentiable; and unlike percentiles, power means are not robust to outliers. It is this second property which we consider the most important for its use in the treatment of datasets where outliers are of high importance.
In this paper, we explore geometric representations of power means as a method of investigating the properties of power means. We first describe past geometric representations of the means of 2-tuples, and then introduce our alternative method. Second, we describe how our method can be expanded to represent 3-tuples.

Geometric Representations
Reference [1] describes how Pappus of Alexandria defines the arithmetic, geometric, and harmonic means according to a series of ratios in his Collection, Book III. Pappus then uses a geometric representation to demonstrate how, if two means are known, the third can always be found. The first geometric representation also comes from Pappus. From [1]: "Pappus first gives a construction by which another geometer (αλλoςτις) [lit. the other] claimed to have solved this problem, but he does not seem to have understood it, and returns to the same problem later".
It is not Pappus's solution, but that of the unnamed geometer, with the addition of the quadratic mean by [4], which has become the common form. It is shown in We firstly propose a simple extension of the traditional representation in Figure 1 which allows the representation of any p ∈  . We do this by removing the lines assigned to particular cases and introducing a single variable length which can equal any value of While it may be debated whether Equation (2) is simpler to work with for general purposes than Equation (1), it has the clear advantage of being invertible. While we must solve Equation (1) for p numerically, solving Equation (2) for θ gives the closed form:  Table 1. For all a and b, there are three fixed points in the mapping between M p and BD(θ) which are To construct a geometric representation of the power means of a 3-tuple x as a natural extension of our N = 2 representation, we establish a number of desirable criteria. An N = 3 representation should have: a) an arrangement of line segments with lengths equal to each element x in the series; b) a curved path, on which any position can be described using only an angle θ ; c) a line segment M with a length that is a function of θ, that is, where f is monotone increasing; and d) a geometry such that The resulting representation is shown in Figure 3. In Figure 3, the dimensions are assigned as follows: AB = max x, BC = min x, BD = M. While it will be intuitive to assign AC = med x and thus form a triangle of the elements of n, the simple example x = 1, 2, 5 illustrates why this is not possible. Because max x > min x + med x, we cannot form a triangle with these three lengths.   However, solving the system in Figure 3 gives Equation (4), which shows that our power mean, as represented by BD, is independent of AC (i.e. independent of med x).    then, that provided both max i x and min i x are unchanged, each additional i x will have progressively less influence on the overall shape of the function. This same behavior is seen in the algebraic form given in Equation (1), implying that the geometric representation has similar limiting properties to the algebraic.