204 American Academic Scientific Research Journal for Engineering, Technology, and Sciences ISSN (Print) 2313-4410, ISSN (Online) 2313-4402 http://asrjetsjournal.org/ Strong Asymmetry and the Mode, Median, and Mean Inequality J. Gama a , C. E. SuΓ‘rez b* a UFMG, Av. Pres. AntΓ΄nio Carlos, 6627, Belo Horizonte, Brazil b IMPA, Estrada Dona Castorina 110, Rio de Janeiro, Brazil a Email: camplise@impa.br b Email: gamatorres1000@gmail.com Abstract This paper introduces the consoled strong asymmetry and variation coefficient as generalizations of the standard measures of Pearson skewness coefficient and variance. Using these new measures, the concept of strong asymmetry is introduced. We prove that the median-mean inequality is valid for that kind of distribution, but even in that case, there is no relation between mode and median. A property similar to first-order stochastic dominance is proved for the variation coefficient. We also discuss the implications of that concept into economics. Keywords: Skewness; Mode-Median-Mean inequality; Measures of dispersion. 1. Introduction There is a false belief that for every unimodal and positive skewed random variable (that is 𝐸(𝑋 βˆ’ 𝐸𝑋)3 β‰₯ 0), the inequality of π‘šπ‘œπ‘‘π‘’ ≀ π‘šπ‘’π‘‘π‘–π‘Žπ‘› ≀ π‘šπ‘’π‘Žπ‘› holds. Several authors have shown that it is invalid, and they have found conditions under which that inequality is valid. Reference [1] showed a list of counterexamples for all the possible combinations of orders between the three measures. Reference [11] found a condition under which π‘šπ‘’π‘‘π‘–π‘Žπ‘› ≀ π‘šπ‘’π‘Žπ‘› , but this condition is not related to Skewness. Instead it is a relation in the cumulative distribution function. Reference [2] have extensive work about the class of distributions of fixed variance and the possible sorts in the three central measures. Inspired by advances in economics such as Behavioral Economics and specifically Prospect Theory, we have extended the classical measure of asymmetry based on the polynomial π‘₯3 to any odd and non-decreasing function. Using this new measure, we define a class of distributions named strong asymmetric, which have the property that its corresponding measure of skewness relative to any increasing odd and convex function in 𝑅+ is positive. The inequality π‘šπ‘’π‘‘π‘–π‘Žπ‘› βˆ’ π‘šπ‘’π‘Žπ‘› and π‘šπ‘œπ‘‘π‘’ βˆ’ π‘šπ‘’π‘Žπ‘› can be established for this new class of functions. Similarly, a generalization of the variance is shown and several properties related to stochastic dominance. ------------------------------------------------------------------------ * Corresponding author. http://asrjetsjournal.org/ American Academic Scientific Research Journal for Engineering, Technology, and Sciences (ASRJETS) (2022) Volume 90, No1, pp 204-213 205 2. Strong asymmetry Similar to some notions introduced in [10,9] we make the next definitions. Definition 1: A function 𝑓: 𝑅 β†’ 𝑅 is called odd-concave if it is odd and concave in 𝑅+ . Analogously, an odd- convex function is odd and convex in 𝑅+ Definition 2: Let 𝑋 be a random variable and 𝑓a continuous, increasing, and odd function; we define (1) as the Skewness coefficient of 𝑋 relative to the function 𝑓, and (2) as the total variation coefficient of π‘₯ relative to the function 𝑓. Remark 3: Suppose that 𝑓 is a continuous, increasing, and odd function and 𝑋 is a real random variable with distribution 𝐹, such that 𝐸[𝑋] = 0. The skewness of 𝑋 relative to 𝑓 is (3) So, if π‘†π‘˜π‘“(𝑋) is positive, (4) The right side of the distribution is under the weights given by 𝑓. (the positive side) is stronger than the left side. Suppose additionally that 𝑓 is an odd-concave function. Therefore. 𝑓(π‘₯) π‘₯ is a decreasing function, and π‘†π‘˜π‘“(𝑋) is considerably more sensitive to values close to zero than to values far from it, then we might expect that 𝐹′(π‘₯) > 𝐹′(βˆ’π‘₯) for values near to 0, i.e, intuitively, the distribution is right skewed when it is restricted to values near to the reference point. However, since 𝐹′(π‘₯) > 𝐹′(βˆ’π‘₯) for values near to 0 we might have that, for values far from 0, 𝐹′(π‘₯) < 𝐹′(βˆ’π‘₯), which suggests that the distribution is left-skewed. Thus, a positive 𝑓 skewness coefficient with 𝑓 odd-concave suggests that the distribution is left-skewed, and that π‘†π‘˜π‘”(𝐹) might be negative if 𝑔 is a odd-convex function. On another side, if 𝑋 is a symmetric random variable βˆ€π‘₯, 𝐹′(π‘₯) = 𝐹′(βˆ’π‘₯) π‘ π‘œ, π‘†π‘˜π‘“(𝑋) = 0. Remark 4: Some properties of the Skewness coefficient relative to 𝑓 are: American Academic Scientific Research Journal for Engineering, Technology, and Sciences (ASRJETS) (2022) Volume 90, No1, pp 204-213 206 1. if 𝐹 has a symmetric distribution then π‘†π‘˜π‘“(𝐹) = 0 for every odd function 𝑓 . If for every odd and increasing function 𝑓, π‘†π‘˜π‘“(𝑋) = 0 then 𝑋 is symmetric. 2. If 𝑓(π‘₯) = π‘₯3 then π‘†π‘˜π‘“(π‘₯) correspond with the third moment around the mean. 3. If 𝑓(π‘₯) = πœ‚π‘₯ then for all π‘₯, π‘†π‘˜π‘“(π‘₯) = 0. Example 5: Consider 𝐹 the lottery given by (βˆ’πΏ, 1 βˆ’ 𝑝; 𝐺, 𝑝) with 𝐺, 𝐿 > 0, that is, there is a probability 𝑝 to gain 𝐺 and probability 1 βˆ’ 𝑝 of loss L. Suppose that 𝐸(𝐿) = 0 so 𝑝 = 𝐿 𝐺+𝐿 and 1 βˆ’ 𝑝 = 𝐺 𝐺+𝐿 . Let 𝑓 strictly odd- convex (5) then π‘†π‘˜π‘“(𝐹) > 0 iff (6) Because 𝑓(0) = 0 and 𝑓 is strictly odd-convex, the last relation is valid iff 𝐺 > 𝐿. Analogously if 𝑓 is strictly odd-concave π‘†π‘˜π‘“(𝐹) > 0 if 𝐺 < 𝐿. The last example inspires the following definition: Definition 6: A random variable 𝑋 is strongly asymmetric to the right if for all 𝑓 increasing and odd-convex, π‘†π‘˜π‘“(𝑋) β‰₯ 0. Analogously 𝑋 is strongly asymmetric to the left if for all 𝑓 increasing and odd-convex, π‘†π‘˜π‘“(𝑋) ≀ 0. Example 7: Let 𝑋 a random variable with exponential distribution and density function is given by (7) This distribution is strongly asymmetric to the right. Let 𝑓 be a continuous and odd-convex function then (8) Because of the convexity of 𝑓, for each 0 ≀ 𝑦 ≀ 1, 𝑓(𝑦) ≀ 𝑦𝑓(1), we have that American Academic Scientific Research Journal for Engineering, Technology, and Sciences (ASRJETS) (2022) Volume 90, No1, pp 204-213 207 (9) On other side for each 𝑦 > 1, 𝑓(𝑦) > 𝑓′(1)(𝑦 βˆ’ 1) + 𝑓(1), and we have that Therefore, we have that. (10) In particular, note that if 𝑓 is strictly odd-convex, the inequalities above are strict. Motivated by Example 7, we have the following result. Theorem 8: Let 𝑋: (βˆ’βˆž, ∞) β†’ 𝑅 a random variable with finite mean and density function given by Ο†(π‘₯). Suppose that exist π‘Ž > 𝐸(𝑋) such that 1.βˆ€π‘₯ ∈ [𝐸[𝑋], π‘Ž), Ο†(𝐸[𝑋] + π‘₯) βˆ’ Ο†(𝐸[𝑋] βˆ’ π‘₯) ≀ 0 2.βˆ€π‘₯ ∈ [π‘Ž, ∞), Ο†(𝐸[𝑋] + π‘₯) βˆ’ Ο†(𝐸[𝑋] βˆ’ π‘₯) β‰₯ 0 Then, the random variable is𝑋 is strongly asymmetric to the right. Proof. Suppose without loss of generality that 𝐸(𝑋) = 0. Let be 𝑔(π‘₯) = Ο†(π‘₯) βˆ’ Ο†(βˆ’π‘₯),we want to prove that for every odd-convex function 𝑓 (11) Due to the parity of 𝑓,, we have (12) Since 𝑓(π‘₯) is convex in 𝑅+ 𝑓(π‘₯) ≀ 𝑓(π‘Ž) π‘Ž π‘₯, for all 0 ≀ π‘₯ ≀ π‘Ž and 𝑓(π‘₯) β‰₯ 𝑓′(π‘Ž)(π‘₯ βˆ’ π‘Ž) + 𝑓(π‘Ž) , for all π‘₯ > π‘Ž therefore. American Academic Scientific Research Journal for Engineering, Technology, and Sciences (ASRJETS) (2022) Volume 90, No1, pp 204-213 208 (13) We conclude that: (14) Remark 9: Because of Theorem 8, distributions such as the gamma family are strongly asymmetric to the right. Theorem 10: A random variable 𝑋 is strongly asymmetric to the right if and only if for all 𝑔 increasing and odd-concave, π‘†π‘˜π‘”(𝑋) ≀ 0. Proof. First, suppose that there exists a constant Ξ· > 0 such that for all π‘₯ ∈ 𝑅+ , Ξ·π‘₯ β‰₯ 𝑔(π‘₯)|𝑅+ , then the function β„Ž(π‘₯) = Ξ·π‘₯ βˆ’ 𝑔(π‘₯) is increasing, odd and convex, so π‘†π‘˜β„Ž(π‘₯) β‰₯ 0. Now suppose that there is no $\eta>0$ satisfying that, for all π‘₯ ∈ 𝑅+, Ξ·π‘₯ β‰₯ 𝑔(π‘₯)|𝑅+, define (15) where π‘Ÿπ‘› > 0 satisfies that π‘›π‘Ÿπ‘› = 𝑔(π‘Ÿπ‘›), such π‘Ÿπ‘›exist because of the concavity of 𝑔. We have that π‘Ÿπ‘› β†’ 0 and that 𝑔𝑛(π‘₯) converges uniformly to 𝑔(π‘₯). Applying the first part we have that π‘†π‘˜π‘”π‘› (𝑋) ≀ 0 and by convergence π‘†π‘˜π‘”(𝑋) ≀ 0 . Conversely consider 𝑓(π‘₯) odd concave and increasing function. We will assume that 𝑓 is American Academic Scientific Research Journal for Engineering, Technology, and Sciences (ASRJETS) (2022) Volume 90, No1, pp 204-213 209 differentiable (an analogous analysis is made using subgradient) and that 𝐸(𝑋) = 0. For any Ξ± > 0 consider the function (16) Then 𝑔α is oan dd-concave and increasing function. By hypothesis, if 𝐹 is the distribution function of the random variable 𝑋, adding ∫ 𝑓′(Ξ±)π‘₯𝑑𝐹(π‘₯) |π‘₯|>Ξ± βˆ’ ∫ 𝑓′(Ξ±)π‘₯𝑑𝐹(π‘₯) |π‘₯|>Ξ± + ∫ 𝑓(π‘₯)𝑑𝐹(π‘₯) |π‘₯|>Ξ± βˆ’ ∫ 𝑓(π‘₯)𝑑𝐹(π‘₯) |π‘₯|>Ξ± , and organizing the terms we obtain that for all Ξ± > 0, And finally, we have that. so ∫ 𝑓(π‘₯)𝑑𝐹(π‘₯) β‰₯ 0 2.1. Strong asymmetry A common conceptual mistake is to say that if a distribution $F$ is unimodal and the Pearson skewness coefficient is positive, then it is true that π‘šπ‘œπ‘‘π‘’(𝐹) ≀ π‘šπ‘’π‘‘π‘–π‘Žπ‘›(𝐹) ≀ π‘šπ‘’π‘Žπ‘›(𝐹). \cite{abadir2005mean} showed several examples of the violations of each one of the inequalities. When a strongly asymmetric is considered, it is possible to show that π‘šπ‘’π‘‘π‘–π‘Žπ‘›(𝐹) ≀ π‘šπ‘’π‘Žπ‘›(𝐹) Theorem 11. If 𝑋 is a random variable strongly asymmetric to the right, then the median of 𝑋 is less or equal to the mean of 𝑋. Proof. Let β„Ž(π‘₯) = 1π‘₯>0 βˆ’ 1π‘₯<0 and 𝑔𝑛(π‘₯) a sequence of functions converging to β„Ž(π‘₯) such that each 𝑔𝑛(π‘₯) is odd concave and increasing (note that there is no sequence of odd-convex functions converging to β„Ž(π‘₯)), then π‘†π‘˜π‘”π‘› (π‘₯) ≀ 0. Let 𝐹 the distribution function of the random variable 𝑋 then, American Academic Scientific Research Journal for Engineering, Technology, and Sciences (ASRJETS) (2022) Volume 90, No1, pp 204-213 210 (17) Because |𝑔𝑛(π‘₯)| ≀ |β„Ž(π‘₯)| = 1, we can apply the dominated convergence theorem. Finally, we conclude that the median must be lesser or equal to 𝐸[𝑋]. Theorem 12. If 𝑋 is a uni-modal random variable strongly asymmetric to the right, then the mode of 𝑋 is less or equal to its mean. Proof. We will proceed by contradiction supposing that 𝐸[𝑋] = 0 and π‘€π‘œπ‘‘π‘’(𝑋) = π‘Ž > 0. Let be β„Žπ‘₯(π‘₯) the correspondent density function and define 𝑔(π‘₯) = β„Žπ‘₯(π‘₯) βˆ’ β„Žπ‘₯(βˆ’π‘₯). We have that β„Ž(π‘₯) is increasing close to 0, then there exist Ξ΅ > 0 such that 𝑔(π‘₯) > 0 for all π‘₯ ∈ (0, Ξ΅]. Because ∫ π‘₯𝑔(π‘₯)𝑑π‘₯ ∞ 0 = 0 there exist the minimum positive root of π‘Ÿ β‰  0 of 𝑔(π‘₯). Let 𝑓(π‘₯) = (π‘₯ βˆ’ π‘Ÿ)1[π‘Ÿ,∞), clearly f is non decreasing, positive and convex. (18) which contradicts the hypothesis of strong asymmetry to the right. Remark 13. Even in the case of strong asymmetry, there is no relation between mode and median. In fact for (see figure 1) (19) We have that the distribution satisfies the criteria of theorem 8 for strong asymmetry and π‘šπ‘’π‘‘π‘–π‘Žπ‘› = βˆ’1.0167 < π‘šπ‘œπ‘‘π‘’ = βˆ’1 < π‘šπ‘’π‘Žπ‘› = βˆ’0.9983 American Academic Scientific Research Journal for Engineering, Technology, and Sciences (ASRJETS) (2022) Volume 90, No1, pp 204-213 211 Figure 1: Strong distribution to the right with median < mode < mean. In [11] is proved that the class of distributions for which the median is located between the mode and the mean is characterized by the relation βˆ€π‘’ > 0, 𝐹(π‘š βˆ’ 𝑒) + 𝐹(π‘š + 𝑒) ≀ 1 , but this condition is nor related with Skewness but instead a relation in the cumulative distribution function. 2.2. Variation coefficient. As in the case of skewness, if the agent is risk-averse, they perceive more the risk for marginal changes close to the reference point than those who are further away. In that sense, there is a difference with the CAPM model since the variance gives greater weight to points far from the average. This would correspond to agents whose distortion function is convex. Some properties of the variation coefficient are: π‘‰π‘Žπ‘“(π‘₯) β‰₯ 0, and π‘‰π‘Žπ‘“(π‘₯) = 0 if and only if π‘₯ is constant. 1. If 𝑓(π‘₯) = π‘₯2 then π‘‰π‘Žπ‘“(π‘₯) corresponds with the variance. 2. If 𝑓(π‘₯) = π‘₯ then π‘‰π‘Žπ‘“(π‘₯) is corresponds with the mean absolute deviation 𝑀𝐴𝐷. 3. By Jensen inequality, π‘‰π‘Žπ‘“(π‘₯) β‰₯ 𝑓(𝑀𝐴𝐷(π‘₯)) if 𝑓 is odd-convex, and π‘‰π‘Žπ‘“(π‘₯) ≀ 𝑓(𝑀𝐴𝐷(π‘₯)) if 𝑓 is odd-concave. 4. π‘‰π‘Žπ‘“(π‘₯) β‰₯ |π‘†π‘˜π‘“(π‘₯)| 5. If 𝑓 is odd-concave, π‘‰π‘Žπ‘“(π‘₯) satisfies triangular inequality, i.e. π‘‰π‘Žπ‘“(π‘₯ + 𝑦) ≀ π‘‰π‘Žπ‘“(π‘₯) + π‘‰π‘Žπ‘“(𝑦). On other side π‘‰π‘Žπ‘“(Ξ±π‘₯) ≀ |π‘Ž|π‘‰π‘Žπ‘“(π‘₯) if Ξ± β‰₯ 1, and π‘‰π‘Žπ‘“(Ξ±π‘₯) β‰₯ |π‘Ž|π‘‰π‘Žπ‘“(π‘₯) if Ξ± < 1. Remark 15: Let be 𝑋 and π‘Œ two random variables with distribution functions 𝐹 and 𝐺 respectively, then for all 𝑓 odd and increasing function, π‘‰π‘Žπ‘“(𝑋) β‰₯ π‘‰π‘Žπ‘“(π‘Œ) if and only if for all π‘Ÿ > 0 , 𝑃(|𝑋 βˆ’ 𝐸𝑋| < π‘Ÿ) ≀ 𝑃(|π‘Œ βˆ’ πΈπ‘Œ| < π‘Ÿ). That corresponds to the "dispersion order" notion introduced in [2]. 2.3. Relation with behavioral economics. Consider agents that behave according to Prospect Theory and their reference point is endogenous, similar to [3,8,5]. The value function is generally considered concave for gains and convex for losses, and even more [7], American Academic Scientific Research Journal for Engineering, Technology, and Sciences (ASRJETS) (2022) Volume 90, No1, pp 204-213 212 [6] described how the negative side is in some way the reflection of the positive one. The losses, in general, correspond to the reflection of the gains with respect to the straight line 𝑦 = βˆ’π‘₯ multiplied by a constant Ξ» denominated loss aversion coefficient, whose value has been determined to be between 1.5 and 5. If 𝑓(π‘₯) represent the concave value function for gains then the value function ΞΌ is equivalent to ΞΌ(π‘₯) = min(𝑓(π‘₯), λ𝑓(π‘₯)) = 1 2 (𝑓(π‘₯) + λ𝑓(π‘₯) βˆ’ |𝑓(π‘₯) βˆ’ λ𝑓(π‘₯)|) (20) If we consider that outcomes have a distribution 𝐹 and the endogenous reference point is given by 𝐸(𝑋), (21) From this representation and using the properties listed previously in this paper, it is possible to measure the impact of agents as described in real economies. 3. Conclusions In this paper, we showed that the standard measure of skewness could be extended for the class of odd and increasing functions. A more robust notion of asymmetry can be defined and is consistent with all the expected skewness properties. We prove that for strong asymmetric distributions, the inequalities π‘šπ‘’π‘‘π‘–π‘Žπ‘› ≀ π‘šπ‘’π‘Žπ‘›$ π‘Žπ‘›π‘‘ $π‘šπ‘œπ‘‘π‘’ ≀ π‘šπ‘’π‘Žπ‘› are valid, but even in that case, there is no relation between the mode and the median. Finally, there is a strong relationship between the skewness and variation coefficients defined in this paper with works in regret, disappointment, and Prospect theory such as [3,8,5]. References [1] Abadir, K. M. β€œThe mean-median-mode inequality: counterexamples”. Econometric Theory 21 (2), 477–482. 2005. [2] Basu, S. and A. DasGupt. β€œThe mean, median, and mode of unimodal distributions: a characterization”. Theory of Probability & Its Applications 41 (2), 210–223. 1995 [3] Bell, D. E. β€œDisappointment in decision making under uncertainty”. Operations Research 33 (1), 1–27. 1995 [4] Bickel, P. J. and E. L. Lehmann. β€œDescriptive statistics for nonparametric models. iii. Dispersion”. The American Academic Scientific Research Journal for Engineering, Technology, and Sciences (ASRJETS) (2022) Volume 90, No1, pp 204-213 213 Annals of Statistics 4 (6), 1139–1158. 1976 [5] Gul, F. β€œA theory of disappointment aversion”. Econometrica: Journal of the conometric Society, 667– 686. 1991 [6] Kahneman, D., J. L. Knetsch, and R. H. Thaler. β€œAnomalies: The endowment effect, loss aversion, and status quo bias”. Journal of Economic Perspectives 5 (1), 193–206. 1991 [7] Kahneman, D. and A. Tversky. β€œProspect theory: An analysis of decision under risk”. Econometrica 47 (2), 263–292. 1979. [8] Loomes, G. and R. Sugden. β€œDisappointment and dynamic consistency in choice under uncertainty”. The Review of Economic Studies 53 (2), 271–282. 1986 [9] Oja, H. β€œOn location, scale, skewness and kurtosis of univariate distributions”. Scandinavian Journal of statistics, 154–168. 1981 [10] VanZwet, W. R. β€œConvex transformations of random variables”. MC Tracts. 1970 [11] Zwet, W. β€œMean, median, mode ii”. Statistica Neerlandica 33, 1 – 5. 1979