ORIGINAL RESEARCH article

Front. Appl. Math. Stat., 07 December 2023

Sec. Statistics and Probability

Volume 9 - 2023 | https://doi.org/10.3389/fams.2023.1274787

Geometry of deviation measures for triangular distributions

  • Computer Science Department, MET College, Boston University, Boston, MA, United States

Abstract

Triangular distributions are widely used in many applications with limited sample data, business simulations, and project management. As with other distributions, a standard way to measure deviations is to compute the standard deviation. However, the standard deviation is sensitive to outliers. In this paper, we consider and compare other deviation metrics, namely the mean absolute deviation from the mean, the median, and the quantile-based deviation. We show the simple geometric interpretations for these deviation measures and how to construct them using a compass and a straightedge. The explicit formula of mean absolute deviation from the median for triangular distribution is derived in this paper for the first time. It has a simple geometric interpretation. It is the least volatile and is always better than the standard or mean absolute deviation from the mean. Although greater than the quantile deviation, it is easier to compute with limited sample data. We present a new procedure to estimate the parameters of this distribution in terms of this deviation. This procedure is computationally simple and may be superior to other methods when dealing with limited sample data, as is often the case with triangle distributions.

1 Introduction

Triangular distributions Tr(a, b, c) are a three-parameter distribution with a minimum value a, a maximum value b, and a most likely (mode) value c []. Unlike the uniform distribution, triangle distributions include the most likely value c in addition to the minimum and maximum values and allow for incorporating skewness and asymmetry. These distributions are widely used in business simulations, risk and project management, Monte-Carlo simulations, and other areas, especially when dealing with limited sample data [] (for a historical review, see []).

As noted in [], several authors [, ] have suggested using this distribution instead of the beta distribution since for beta distribution, there are difficulties in the maximum likelihood estimation of parameters and their interpretation. Johnson [] and Johnson and Kotz [] dealt with neglected applications of this distribution as an alternative to the beta distribution, which suffers from difficulties in its maximum likelihood parameter estimation. Triangular distributions are recommended when the underlying distribution is unknown, but a minimal value, some maximal value, and a most likely value are available [].

This paper focuses on computing and comparing the deviation measures for such distributions, both geometrically and algebraically. Historically, the most widely used deviation measure has been the standard deviation []. In computing this metric, we square the distances from the mean. This usage of the L2 norm is convenient in differentiation, optimization, and estimation []. However, this metric has some disadvantages, such as sensitivity to outliers. An alternative is to use the mean absolute deviation (the L1-norm) and measure deviations (MAD) from a central point such as mean μ [denoted by H(μ)] or median M [denoted in this paper by H(M)]. On the other hand, using L1 metric allows one to introduce performance metrics that do not require the computation of higher-order moments (e.g. []).

One of the contributions of this paper is an explicit formula for H(M), the mean absolute deviation about the median. The formula has a simple, intuitive, and geometric interpretation. To our knowledge, this is the first paper deriving an explicit formula for H(M) for the triangular distribution. For this distribution, deviation measures such as standard deviation, mean absolute deviation (about median), and quartile deviation have simple geometric interpretations and can all be constructed by a ruler and compass. The mean absolute deviation about the median H(M) is the least volatile and is always lower than the standard deviation or the MAD deviation about the mean. Although it is higher than the quartile deviation, it is more practical. We often have very limited data for triangular distributions, and accurate quartile estimates are problematic. Using H(M), we present a new non-iterative procedure to estimate the parameters of this distribution. This procedure is very simple computationally and is more robust than direct estimation based on the sample mean.

This paper is organized as follows. In Section 2, we introduce triangular distributions, compare mean and median, and present geometric interpretations for mean, median, and standard deviation. In Section 3 we derive a general expression for computing mean absolute deviations for triangular distributions. From this expression, we compute the mean absolute deviations H(μ) and H(M) about mean and median and provide a simple geometric interpretation for these measures. In Section 4, we introduce a new estimation procedure based on mean absolute deviation H(M) and illustrate it with a numerical example. In Section 5, we compare the exact values of tail probabilities with some estimates using deviations. In Section 6, we derive the formula for the quartile deviation. Finally, in Section 7 we present a detailed comparison of deviation measures.

2 Triangular distributions

We start with definitions and notations. Suppose X is distributed according to triangular distribution on the range [a, b] and mode parameter c ∈ [a, b]. We will write this as X ~ Tr(a, b, c). The density function f(x) and the cumulative distribution function F(x) is given given by

The mean μ and standard deviation σ are:

Let F−1(·) be the quantile function defined by F−1(t) = inf{x:F(x) ≥ t} with t ∈ [0, 1]. From the definition of the cumulative distribution function, we find

Therefore, for the median M = F−1(1/2) we have

We will find it convenient to consider a standard (“normalized”) variable under min-max transformation X ↦ (Xa)/(ba). Then, X has a triangular distribution with a = 0, b = 1 and acb. For this standard X, the mean μ = (1+c)/3, standard deviation whereas the median for c ≤ 1/2 and .

In Table 1, we compute mean, median and standard deviation for standard triangle distribution (a = 0, b = 1) for c = 0, c = 1/4, c = 1/2, c = 3/4, and c = 1.

Table 1

c00.250.50.751
μ0.5
M0.5
σ

Mean, median, and standard deviation.

The case c = 0 corresponds to the distribution X = |U1U2| of the absolute difference between two independent random variables U1 and U2 with standard uniform distribution. By contrast, the symmetric case c = 1/2 corresponds to the distribution X = (U1 + U2)/2 of the mean of the sum of two standard uniform variables U1 and U2.

The mean μ, the median M, the standard deviation σ, and other deviation measures discussed in this paper have simple geometric interpretations and can be constructed using a straightedge and compass. For their constructions, we will assume that we know how to do the following:

  • construct a segment of unit length

  • copy segments and angles

  • construct (l1 + l2) and (l1l2) from segments of lengths l1 and l2

  • divide length l into 2 (bisection) equal or 3 equal parts (trisection)

  • construct 30°/60° and 45°/45° right triangles with a side (e.g., hypotenuse) of length l. This allows computing , , , and

  • construct a right triangle with sides l1 and l2

  • compute the geometric mean of two segments with lengths l1 and l2. This construction is illustrated in Figure 1.

Figure 1

We can now discuss the geometric construction and interpretation of some measures for this distribution.

2.1 Geometric construction and interpretation of the mean

To construct μ, it will be sufficient to construct (μa). From Equation (2) we have (μa) = (ca)/3+(ba)/3. This gives us the following construction for (μa):

  • trisect (ba) to compute l1 = (ba)/3

  • trisect (ca) to compute l2 = (ca)/3

  • compute (μa) = l1+l2

The mean μ has the following interesting interpretation: Consider a triangle with vertices (x1, y1), (x2, y2), and (x3, y3). Consider the centroid K of such a triangle: the point at which the three medians of the triangle intersect as shown in Figure 2. This centroid is the point with coordinates (x1 + x2 + x3)/3, (y1 + y2 + y3)/3. To construct this point, we bisect the sides of the triangle and draw lines from vertices to the midpoints of the opposite sides. These three lines meet at the single point K. By the centroid theorem, the point K is 2/3 of the distance from the vertex to the midpoint of the sides. If we use the geometric interpretation of the density as a triangle with vertices (a, 0), (b, 0), and (c, 2/(ba)), then the x-coordinate of its centroid is the mean μ.

Figure 2

Next, we establish the relationship between the mean μ and the midpoint (a + b)/2. If c ≤ (a + b)/2, then 3c ≤ (a + b + c) or cμ. On the other hand, μ = (a + b + c)/3 ≤ ((a + b) + (a + b)/2)/3 = (a + b)/2 and thus, cμ ≤ (a + b)/2. Therefore,

2.2 Geometric construction and interpretation of the median

The median M has a different geometric interpretation. We consider the case c ≤ (a + b)/2. To construct M, it will be sufficient to construct (Ma). We proceed as follows:

  • compute the geometric mean

  • (any other) side of this triangle has the length

This is illustrated in Figure 3.

Figure 3

For the case c ≥ (a + b)/2, we construct (bM) by similar steps:

  • compute the geometric mean

  • (any other) side of this triangle has a length

Next, we establish the relationship between the median M and the midpoint (a + b)/2. There are two cases to consider:

  • Case 1: c ≤ (a + b)/2. In this case (ba) ≤ 2(bc) and from Equation (4) and we have

  • Case 2: c ≥ (a + b)/2. In this case, (ba) ≤ 2(ca) and we have

Therefore, we obtain the following relationship:

The case c ≤ (a + b)/2 is illustrated in Figure 4.

Figure 4

2.3 Relationship of mean and median

We show that for ac ≤ (a + b)/2 we have cMμ and for (a + b)/2 ≤ cb we have μMc. There are two cases to consider:

  • Case 1: ac ≤ (a + b)/2. In this case, (ba)(bc) ≥ (ba)2/2 and from the Equation (4)

  • Case 2: (a + b)/2 ≤ cb. If we consider the distribution Y = (a + b)−X then by symmetry from the above Equation (7) we have μMc.

Combining these results with Equation (6) we obtain the following relationship between the mean μ, the median M and the mode c:

2.4 Geometric construction and interpretation of the standard deviation

To derive a geometric interpretation for σ, we can re-write the expression for σ in Equation (2) as follows

From this equation, we immediately obtain . For the case c = a or c = b, we have the equality .

The above Equation (9) suggests the following geometric construction and interpretation for the standard deviation σ are shown in Figure 5.

  • compute the geometric mean

  • construct the right triangle T with hypotenuse (ba) as side l1.

  • compute the length of the other side of T

  • compute the length

  • trisect l3 to compute σ = l4/3

Figure 5

3 Mean absolute deviation

We start with preliminary definitions. Consider a real-valued random variable X with density f(x), finite mean and cumulative distribution function F(x). We use M, μ = E(X) and σ to denote median, mean and standard deviation of X respectively. For any p, we define the mean absolute deviation of X from p as

It can be interpreted as the average distance of values of X to the point p. If p = μ, then H(μ) is the mean absolute deviation from the mean μ. If we take p = M, then H(M) is the mean absolute deviation from the median. Both are denoted as MAD (mean absolute deviation) in the statistical literature, leading to some confusion [].

It can be shown (details are presented in the Appendix) that for any distribution σH(μ) ≥ H(M). Of the three metrics to measure deviations, namely H(M), H(μ), and σ, the MAD metric H(M) has the lowest value. In the computation of σ, we square distances (from the mean), and this inflates the impact of outliers. By contrast, we use these distances directly to compute mean absolute deviations. In addition, it is often easier to interpret mean absolute deviations than the standard deviation.

We illustrate this with a simple example. Suppose X is distributed according to a uniform distribution in [a, b]. Its density f(x) = 1/(ba) and its cumulative distribution function F(x) = (xa)/(ba). For this distribution, μ = M = (a + b)/2, and . Since this distribution is symmetric, the MAD deviations H(M) = H(μ) and are easily computed H(M) = (ba)/4 (e.g. []). The MAD value H(M) = (ba)/4 is easy to interpret: it represents the average distance of X from its median M = (a + b)/2. However, it is more difficult to find an easy interpretation for standard deviation .

In the Appendix, we provide computational details on computing H(μ) and H(M). These are summarized below:

For triangular distribution, the mean absolute deviation from the mean H(μ) is

For the standard triangular distribution with a = 0, b = 1 this simplifies to:

For the mean absolute deviation H(M) from the median we obtain

For the standard triangular distribution with a = 0, b = 1, this simplifies to

3.1 Geometric construction and interpretation of MAD

The Equation (13) gives us the following procedure for the geometric construction of H(M). We consider two cases:

  • Case 1: ac ≤ (a + b)/2. We construct H(M) as follows:

  • construct the geometric mean

  • compute length .

  • compute l3 = (ba) + (bc) + l2

  • trisect l3 to compute H(M) = l3/3

  • Case 2: c ≥ (a + b)/2. We construct H(M) by similar steps:

  • construct the geometric mean

  • compute its hypotenuse .

  • compute l3 = (ba) + (ca) + l2

  • trisect l3 to compute H(M) = l3/3

The mean absolute deviation H(M) can be interpreted as follows. For c ≤ (a + b)/2 from Case 1 above, we can write H(M) = M − (a + c + M)/3. The term (a + M + c)/3 is the mean of the triangular distribution Y ~ Tr(a, M, c) with parameters a, M, and c. Therefore, H(M) can be interpreted as the distance between the median M and the mean of the triangular distribution Tr(a, M, c).

Similarly, for c ≥ (a + b)/2 from Case 2 above, we can write H(M) = (b + c + M)/3 − M. The term (a + M + c)/3 is the mean of the triangular distribution Z ~ Tr(M, c, b) with parameters M, c, and b. Therefore, H(M) can be interpreted as the distance between the median M and the mean of the triangular distribution Tr(M, c, b). This is illustrated in the Figure 6.

Figure 6

In Table 2, we present additional results for comparing standard and mean absolute deviations for normalized triangular distributions for c = {0, 0.25, 0.5, 0.75, 1}. These comparisons are further illustrated in Figure 7.

Table 2

c00.250.50.751
μ0.5
M0.5
σ
H(μ)
H(M)

A comparison of standard and mean absolute deviations.

Figure 7

As a specific example, consider the symmetric triangular distribution with a = 0, b = 1 and c = 1/2. For this distribution, μ = M = 1/2. The standard deviation . The mean absolute deviations H(μ) = H(M) = 1/6. The case c = 1/2 corresponds to the distribution X = (U1 + U2)/2 of the mean of the sum of two independent standard uniform variables U1 and U2. For these uniform variables, the mean is μ(U1) = μ(U2) = 1/2, standard deviation and MAD deviation H(U1, 1/2) = H(U2, 1/2) = 1/4. We note that but H(1/2) ≠ H(U2/2, 1/2) + H(U2/2). From this, we see that, unlike variances, the mean absolute deviation is not additive for the sum of independent random variables. We also note that for the triangular distribution, its standard deviation is much larger than the standard deviation of a (normalized) uniform .

4 Estimation of parameters with mean absolute deviation

In this section, we address the issue of estimating the parameters of this distribution. We could consider several methods to estimate parameters a, b, and c such as maximum likelihood estimation [, ], quantiles [, ], method of moments or other widely used methods in statistics.

However, we must remember that we assume limited sample data for these distributions. Therefore, the computations based on quantiles may not be very accurate or practical. There are difficulties in using maximum likelihood estimation for triangular distributions as well [, ]. One difficulty is that the original density function f(x) in Equation (1) has a “sharp” corner at point c where it does not have a derivative.

4.1 Mean-based and midrange-based estimation of parameters

The simple relationship μ = (a + b + c)/3 in Equation (2) for the mean μ suggests the following simple procedure to estimate the parameters. If we have a set of n data points x1, …, xn then we have the following:

  • compute and

  • compute the sample mean

  • compute the mode c* = 3μ*−(a* + b*)

An even simpler procedure would be to use the mid-range estimator for μ (i.e., assume a symmetric triangle distribution), and proceed as follows:

  • compute and

  • estimate the sample mean by mid-range μ* = (a* + b*)/2

  • compute the mode c* = 3μ*−(a* + b*)

However, the mean μ* is sensitive to outlier values. However, the mean is more sensitive to outlier values than the median. We, therefore, suggest an alternative method based on the sample median M* and H(M*).

4.2 MAD (around median)-based estimation of parameters

Recall that for the median M, we have shown c ≤ (a + b)/2 ⇔ Mc. Combining this with expressions for H(M) in Equation (13), we obtain

The above results suggest the following estimation procedure:

  • compute and

  • compute the sample median M*

  • compute the mean absolute deviation H(M*) from the (estimated sample) median M*

  • from Equation (15) compute the mode c* as follows

This procedure is more stable and less sensitive to outliers than the simple procedure based on the means. This is illustrated by a numerical example below.

4.3 A numerical example for parameter estimation

We present a numerical example of civil engineering data of 85 hauling times presented in []. The data is as follows:

The mean of this data is μ* = 5.69, and the standard deviation is σ* = 1.16. The Gaussian estimation is then c* = 5.69.

The maximum likelihood estimation of parameters presented in Dorp and Kotz [] gives the following results:

Let us estimate the parameters using the mean-based and MAD-based algorithm.

We start with the mean-based algorithm.

  • compute and

  • compute the sample mean μ* = 5.69

  • compute the mode c* = 3μ*−(a* + b*) = 5.27

Therefore, the mean-based algorithm gives the following:

If we consider using the mid-range estimation, then we proceed as follows:

  • compute and

  • estimate the mean by mid-range μ* = (a + b)/2 = 5.9

  • compute the mode c* = 3μ*−(a* + b*) = 5.9

Therefore, the mid-range estimation gives the following:

Next, we consider the MAD-based approach

  • compute and

  • compute the sample median M* = 5.80

  • compute the mean absolute deviation H(M*) = 0.88 (from the median)

  • the midpoint (a* + b*)/2 = 5.9 is greater than M*. Therefore, from Equation (17) we compute the mode c* = (2M* − 3H(M*)) − a* = 5.75

Therefore, the MAD-based algorithm gives the following:

We summarize our results from Equations (18–21) in Table 3 where we also added the estimated standard deviation σ* [computed from Equation (2)]

Table 3

Methoda*b*c*σ*
Gauss⋯ ⋯ 5.691.16
Maximum likelihood (MLE)2.878.805.801.21
Mean-based3.208.605.271.11
Mid-range based (symmetric PDF)3.208.605.901.10
MAD-based3.208.605.751.10

Comparison of estimation for the numerical example.

Examining Table 3, we see that both mean-based, symmetric PDF and MAD-based procedures give the same estimates for a* and b*. These are within about 10% relative errors when compared to the values computed by maximum likelihood in Equation (18). However, the estimate for mode c* using mean-absolute deviation is much closer to the estimate obtained by maximum likelihood estimation (5.75 vs. 5.80 or about 1% relative error) than the other methods. The estimated standard deviation by MAD-based method is much lower than the the one obtained by the maximum likelihood estimation (1.10 vs. 1.21). At the same time, the MAD-based procedure is computationally much simpler than fitting parameters using the maximum likelihood estimation.

We may consider other methods, based on quantiles. One such method presented in [] assumes that the most likely value is given and solves for parameters a* and b* by numerically solving two quadratic equations corresponding to 5 and 95% quantiles. We could consider another approach: if we have the empirical quartiles , , we can compute the interquartile range . One can then use the Friedman-Diaconis rule [] to compute the bin width as 2I/n3/2, construct the empirical histogram and estimate c* by the midpoint of the most frequent bin. From this, we can solve for a* and b* using , , and c*.

However, these methods are pretty complex and require good estimates of the quantiles. In practice, the triangle distributions are often used when there is limited sample data available. For these reasons, the triangle distribution has been called a “lack of knowledge” distribution. Therefore, with small sample sizes, it is not feasible to consider many such methods. By contrast, the suggested MAD-based method for parameter estimation is much simpler computationally.

Let us now illustrate outlier detection using the above example. The simple classical approach is to use mean μ* and standard deviation σ* and look for outliers as values below the low bound L = (μ*− 2σ*) and above the upper bound U = (μ* + 2σ*). The MAD approach would be to use the estimated median M* and MAD (around median) H* and look for outlier values outside the low bound L = (M* − 2H*) and above the upper bound U = (M* + 2H*). We can also consider the simple non-parametric method of Tukey using quartiles []. In Tukey's method we compute the quartiles Q1 and Q3, compute the interquartile range I = (Q3Q1) and look for outlier values outside the low bound L = Q1− 1.5I and above the upper bound U = Q3 + 1.5I. We present a comparison of outlier detection for the above numerical example in Table 4.

Table 4

MethodParametersLxiLUxiU
Gaussμ* = 5.693.373.28.018.2, 8.5, 8.6
σ* = 1.16
MLEμ* = 5.823.403.2, 3.48.248.5, 8.6
σ* = 1.21
Mean-basedμ* = 5.273.053.2, 3.47.498.5, 8.6
σ* = 1.11
Mid-rangeμ* = 5.903.703.2, 3.4, 3.5, 3.58.108.2, 8.5, 8.6
σ* = 1.103.6, 3.6
MAD-basedM* = 5.804.043.2, 3.4, 3.5, 3.57.567.9, 8.2, 8.5, 8.6
H* = 0.883.6, 3.6, 3.9
Tukey's methodQ1 = 5.802.60None8.528.6
(non-parametric)Q3 = 6.30

Comparison of outlier detection methods.

We note that the lower and upper bounds for the above outlier detection methods can be constructed using a compass and straightedge. One may consider other methods for outlier detection such as Grubbs tests of Gauss pdfs [] for one-sided and two-sided detection of outliers. This work is only the first step to using the described estimators of triangle distributions. In the future, we aim to address other issues such as the description of errors and uncertainties in measurements, estimation with small numbers of samples, and other rules for detecting and rejecting the outliers.

We conclude this section with a small Monte Carlo simulation study. We considered n = 10, 20, 30, 40, 50. For each n, we ran 100 simulations where we chose c at random in (0, 1) and generated n numbers according to standard triangular distribution (using the Scientific Python library). We then estimated c by maximum likelihood and by the suggested method using H(μ) and H(M). We computed the mean of the relative error for each n and summarized the results in the Table 5. As we can see, for large n the accuracy of the median-based method is always better than using the maximum Likelihood estimation. The proposed method is much simpler computationally.

Table 5

Sample size nn = 10n = 20n = 30n = 40n = 50
MLE1.771.744.281.513.70
Mean-based1.511.232.470.631.05
MAD-based0.851.171.750.580.81

Relative errors in estimating mode c by Monte Carlo.

5 Estimation of tail probabilities with deviations

We now turn to compute some tail probabilities. The quadratic form of the CDF F(x) for the triangular distribution (Equation 1) results in a simple quadratic form of tail probabilities. For example, for any ϵ < min{ca, bc} we have

The above probability can be constructed geometrically. Recall that one of our assumptions is having a segment of unit length. This allows us to compute both the products and ratios of segments.

Let us examine how the MAD deviations can be used to estimate tail probabilities. The most general bound for any distribution (with finite variance) is the Chebyshev's inequality []:

This inequality is useful for k ≥ 1. This inequality follows from the so-called Pearson inequality [] with r = 2

For r = 1, a much less-known inequality exists for bounds in terms of mean absolute deviation H(μ) from the mean, namely

Similarly, there is an inequality in terms of the mean absolute deviation from the median H(M) given by []

Let us compute bounds based on the MAD deviation. First, define δ = H(μ)/σ. Note that for all distributions we have H(μ) ≤ σ and therefore δ ≤ 1. We can re-write the MAD-based inequality for H(μ) in Equation (25) in terms of σ as follows

Also, we can consider the Peek inequality []

Comparing Equations (23) and (27) we find that MAD-based upper bound for H(μ) is lower than Chebyshev's upper bound for 1 ≤ k ≤ 1/δ. Comparing Equations (27) and (28) we find that Peek inequality is lower than both MAD and Chebyshev for k > 1/δ.

We can now apply these bounds to triangular distribution. Since σ, H(M), and H(μ) are shift-invariant and multiplicative, we can consider only the standard triangular distribution with a = 0 and b = 1. Consider again the symmetric case c = 1/2. From Table 2, we have μ = 1/2, , H(μ) = 1/6, and . The tail probability from Equation (1) is

Let us now consider bounds using deviations. Therefore, from Equation (27), the MAD-based bound for the tail probability in standard symmetric triangular distribution is

Comparing this with Chebyshev's inequality (23) we find that the MAD-based bound is sharper for . The Peek inequality in Equation (28) (with ) gives the following:

This gives us a sharper bound than MAD for the same value .

In Figure 8 we compare the exact value of tail probabilities (Equation 29), the Chebyshev bound (Equation 23), the MAD bound (Equation 27), and the Peek bound (Equation 28). For the MAD bound in Equation (27) gives a lower bound than either Chebyshev or Peek inequalitiy. For , both Chebyshev and Peek give lower values with the Peek inequality being the sharper bound. We note that none of these bounds give good approximations, especially for larger k. For example, at point the Chebyshev, MAD, and Peek bounds are 2/3 whereas the exact value from Equation (29) is 0.25. We will consider other Chebyshev's type inequalities [] and the inequalities based on the median in future work.

Figure 8

6 Geometry of quartile deviations

In quantile statistics, one often uses half of the interquartile range (IQR) as a measure of deviation []. If the first and third quartiles are given by and respectively then the interquartile range I = (Q3Q1). The quartile deviation G is then G = (Q3Q1)/2. This has a very simple interpretation. Since G = ((Q3M) + (MQ1))/2, we can interpret G as the average distance from the median to the other two quartiles.

To compute the quartiles and to derive the expression for G for triangular distribution, it will be enough to consider the case ac ≤ (ba)/2. If X ~ Tr(a, b, c) consider the random variable Y = (a + b) − X. This random variable has a triangular distribution Y ~ Tr(a, b, (b + a) − c). Its quartiles and median are related to the quartiles and median of X by simple relationships

For a geometric interpretation of the quartiles, we will find it convenient to find their distances from a or b. We compute the general expression for these distances by considering the following cases:

  • Case 1 (c = a): For this case, the cumulative distribution function F(x) = 1 − (bx)2/(ba)2. The first quartile Q1, the median M and the third quartile are found from solving F(x) = q for q = 1/4, q = 1/2 and q = 3/4 respectively. Since x > c we use the second equation in Equation (3) and obtain:

    This suggests the following geometric construction for quartiles:

  • construct 60°/30° right triangle T with hypotenuse (ba)

  • compute the other two sides of T: and l2 = (ba)/2

  • l1 = (Q1b) and l2 = (bQ3) are distances of quartiles from b

  • the difference (l1l2) is the interquartile range I = (Q3Q1)

  • Case 2 (0 < c ≤ (a + b)/2): from Equation (6) in Section 2 we have Mc. And since Q3 > M we obtain the following for the median M and the third quartile Q3:

    What about the first quartile Q1? If Q1c then from Equation (3) we have

    Similarly, for c < a + (ba)/4 we have Q1 > c. Therefore, from Equation (3) we obtain for Q1:

    This suggests the following geometrical construction for quartiles.

For the case a < c < a + (ba)/4 we do the following:

  • compute the geometric mean

  • construct a 60°/30° right triangle T with hypotenuse l1

  • compute the other two sides of this triangle: and l3 = l1/2

  • l2 = (bQ1) and l3 = (bQ3) are distances from quartiles from b

  • the difference of sides (l1l2) is the interquartile range I = (Q3Q1)

For the case a + (ba)/4 ≤ c < (a + b)/2 the construction is similar except that we use an additional 45°/45° triangle as follows:

  • compute the geometric mean

  • bisect this geometric mean to obtain l1

  • compute the geometric mean

  • bisect this geometric mean to obtain l2

  • l1 = (Q1a) and l2 = (bQ3) are distances from quartiles from a and b respectively

  • the difference (ba) − (l1 + l2) is the interquartile range I = (Q3Q1)

  • Case 3 ((a + b)/2 ≤ c < b): In this case, from Equation (32) we obtain

    And for Q3, we can show (similar to the previous case)

    The geometric construction for this case is similar to Case 2.

  • Case 4 (c = b): From Case c = a and Equation (32) we obtain

    The geometric construction for this case is similar to Case 1.

Combining the expressions for the quartiles from the above cases, we can write a general expression for the quartile deviation:

From the above, we have the following geometrical interpretation: the distances of the quartiles Q1 and Q3 can be computed as sides of right triangles. The difference in these distances is the interquartile range I. The quartile deviation G is one-half of this difference. The geometric interpretation of G can be demonstrated in Figure 9.

Figure 9

For the standard triangular distribution with a = 0 and b = 1, we can re-write the above as

In Table 6 we compute the quartiles and the quartile deviation for the normalized triangular distribution with a = 0 and b = 1 for c = 0, c = 1/4, c = 1/2, c = 3/4 and c = 1.

Table 6

c00.250.50.751
Q10.250.5
M0.5
Q30.50.75
G

Quartiles, quartile deviations and comparison of deviation measures for normalized triangular distributions.

7 Comparison of deviation measures

In this section, we present some results in comparison of the four deviation measures

  • standard deviation σ

  • mean absolute deviation (about mean) H(μ)

  • mean absolute deviation (about median) H(M)

  • quartile deviation G

All these measures are shift-invariant. it is easy to show that scaling the data by any constant k, changes these deviation measures by |k|. Therefore, without loss of generality, it would be sufficient to compare these measures for the standard triangular distribution with a = 0 and b = 1.

In Table 7, we present a comparison for different values of c.

Table 7

c00.250.50.751
σ
H(μ)
H(M)
G

A comparison of deviation measures.

From our discussion in Section 7 we know that H(M) ≤ H(μ) ≤ σ. We will first prove that G < H(M). By symmetry, we will only need to prove G < H(M) for 0 ≤ c ≤ 1/2. We need to consider the following cases:

  • Case 1: c = 0 or c = 1: From Equations (14) and (34) we have

  • Case 2: 0 < c ≤ 1/4: For this case, (2 − c) ≥ 7/4, , and . Therefore, from Equations (14) and (34) we have

  • Case 3: 1/4 ≤ c ≤ 1/2: In this case, (2 − c) ≥ 3/2, , , and . Therefore, from Equations (14) and (34) we have

Therefore, we have the following relationship between these deviation measures:

In Figure 10, we show the comparison between these four deviation measures for the standard triangular distribution. We note that across this range, both H(μ) and H(M) are practically identical. At midpoint c = 1/2 they achieve their minimum value and are equal: H(M) = H(μ) = 1/6, whereas at c = 0 or c = 1, they are within 2% of each other by relative value: H(μ) = (2/3)4 ≈ 0.198 vs. . The standard deviation varies from for c = 0 or c = 1. It achieves its minimum value at midpoint c = 1/2. Therefore, compared to mean absolute deviations H(μ) and H(M), the standard deviation is σ is about 20% higher than the mean absolute deviation H(M). If we consider the quantile deviation G, it has the maximum value for c = 0 and c = 1. For these values of c, H(M) ≈ 0.195, and therefore, the quartile deviation is about 6% lower than H(M) It decreases as c increases from c = 0 to c = 1/2 and achieves its minimum value at the midpoint: . Compared with the mean absolute deviation H(M) ≈ 0.167 at the midpoint, the quartile deviation is about 13% lower. We can conclude that, on average, the quartile deviation is about 10% lower than the mean absolute deviation (about median) H(M). In contrast, the standard deviation is about 20% higher than H(M). At the same time, the quartile deviation has higher volatility. We can compare these measures' volatilities V(·) by examining their range relative to their minimum value (at point c = 1/2). In percentage terms for the four deviation measures, we obtain:

Figure 10

The volatilities of standard and mean absolute deviations are close to each other by value and are around 15–18%. In contrast, the volatility of the quartile deviation is much higher at about 25%.

We should emphasize that, in practice, we have a limited number of points. As a result, it may be difficult to get accurate estimates for the quartiles to compute the quartile deviation. Therefore, from a practical standpoint, it is better to compute the mean absolute deviation and use it to compute the parameters of the distributions, as we have suggested.

8 Conclusion

In this paper, we presented a detailed comparison of deviation metrics for the the triangular distribution. We derived a novel formula for the mean absolute deviation from the median H(M) and suggested a new estimation procedure of parameters. Most performance measures have simple geometric interpretation and can be constructed by compass and straightedge. Future work will consider applying these ideas to extensions of triangular distributions such as PERT and two-sided power distributions widely used in risk analysis.

Statements

Data availability statement

The original contributions presented in the study are included in the article/supplementary material, further inquiries can be directed to the corresponding author.

Author contributions

EP: Writing—original draft, Writing—review & editing. YW: Writing—original draft, Writing—review & editing.

Funding

The author(s) declare that no financial support was received for the research, authorship, and/or publication of this article.

Acknowledgments

The authors thank metropolitan College of Boston University for their support.

Conflict of interest

The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

Publisher’s note

All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.

References

Appendix

Appendix A: Details on computation of mean absolute deviations

We start by establishing a lower and upper bound for mean absolute deviations. Since f(x) ≥ 0, is integrable and E(X) < ∞ we have −|xp|f(x) ≤ (xp)f(x) ≤ |xp|f(x) and, therefore, we obtain

To establish an upper bound, we use the well-known fact that H(M) ≤ H(p) for any value of p []. In particular, if p = μ then H(M) ≤ H(μ).

If we apply Jensen's inequality E(g(X)) ≥ g(μ) to the convex function g(t) = t2 (corresponding to σ2) we obtain an upper bound for H(M):

It follows from Equation (37) that σH(μ) ≥ H(M).

We now deriving a formula for H(p). We will find it convenient to define and evaluate the following auxiliary integrals I1(t) and I2(t). For atc define

and for ctb define

To derive a general expression for H(p), we need to consider two cases: pc and pc

Case 1:pc. For this case, we have

Case 2:pc. For this case, we have

From these cases and noting that I1(a) + I2(b) = μ, we obtain the following general formula for H(p):

We can now compute the median absolute deviations H(μ) and H(M)

  • Computation ofH(μ):

    There are two cases to consider:

  • Case 1: ac ≤ (a + b)/2 ⇒ μc

  • Case 2: (a + b)/2 ≤ cbμc

From this and Equation (40), we obtain the following general expression for the mean absolute deviation H(μ):

  • 2. Computation ofH(M): There are two cases to consider:

  • Case 1: ac ≤ (a + b)/2 ⇒ M > c

  • Case 2: (a + b)/2 ≤ cbMc

From this and Equations (4) and (40) we obtain the following general expression for H(M):

Summary

Keywords

triangular distribution, mean absolute deviation, quartile deviations, probability distributions, geometry of deviations

Citation

Wang Y and Pinsky E (2023) Geometry of deviation measures for triangular distributions. Front. Appl. Math. Stat. 9:1274787. doi: 10.3389/fams.2023.1274787

Received

08 August 2023

Accepted

14 November 2023

Published

07 December 2023

Volume

9 - 2023

Edited by

Charles K. Chui, Stanford University, United States

Reviewed by

Zygmunt Warsza, Łukasiewicz Research Network Industrial Research Institute for Automation and Measurements, Poland; Diganta Mukherjee, Indian Statistical Institute, India

Updates

Copyright

*Correspondence: Eugene Pinsky

Disclaimer

All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article or claim that may be made by its manufacturer is not guaranteed or endorsed by the publisher.

Outline

Figures

Cite article

Copy to clipboard


Export citation file


Share article

Article metrics