Elsevier

Fuzzy Sets and Systems

Volume 299, 15 September 2016, Pages 26-40
Fuzzy Sets and Systems

Weak monotonicity of Lehmer and Gini means

https://doi.org/10.1016/j.fss.2015.11.006Get rights and content

Abstract

We analyze directional monotonicity of several mixture functions in the direction (1,1,1), called weak monotonicity. Our particular focus is on power weighting functions and the special cases of Lehmer and Gini means. We establish limits on the number of arguments of these means for which they are weakly monotone. These bounds significantly improve the earlier results and hence increase the range of applicability of Gini and Lehmer means. We also discuss the case of affine weighting functions and find the smallest constant which ensures weak monotonicity of such mixture functions.

Introduction

Aggregation functions play an important role in many applications including decision making, fuzzy systems and image processing [8], [19], [27]. In particular, aggregation functions are suitable models for fuzzy connectives [16]. Averaging functions, whose prototypical examples are the arithmetic mean and the median, allow compensation between low values of some inputs and high values of the others. These functions are often used in some fuzzy logic systems [35], for example in the weighted compensative logic [17]. More sophisticated averaging functions in which the weightings of the inputs depend on their magnitude include mixture functions [21], [25], density based means [1], statistically grounded aggregation operators [23] and Bajraktarević means, which generalize quasi-arithmetic means [2], [3].

Such functions with variable weights are not necessarily monotone in all arguments, and technically do not fit the definition of the aggregation functions. Some sufficient conditions for monotonicity of mixture functions were established in [22]. A recently proposed concept of weak monotonicity [9], [13], [32], [33], [34] presumes that the value of the aggregate does not decrease when all the inputs are increased by the same value, but may actually decrease if a subset of the inputs increases. For example, when combining the consequents of the If–Then rules in fuzzy rule-based systems, we may want to discard some of the activated rules if their output is very inconsistent with the rest. Weak monotonicity is very useful when calculating representative values of clusters of data in the presence of outliers. Indeed, cluster structure may change when only some inputs are increased (or decreased), but it does not change when all inputs are changed by the same value. It was shown that robust location estimators [26] and some useful classes of means, like Lehmer means, certain mixture functions, density-based means and the mode, are all weakly monotone [9], [13], [32], [33], [34]. Recently the notion of pre-aggregation functions was proposed as a generalization of aggregation functions [20], where the functions are not necessarily monotone but directionally monotone. The weakly monotone functions are hence pre-aggregation functions.

It becomes important to establish conditions under which various averaging functions are weakly monotone. In this paper, we will deal with some mixture and quasi-mixture functions, and in particular with Lehmer and Gini means. In mixture (and quasi-mixture) functions the inputs are averaged as in a weighted mean, but the weights depend on the inputs. Weights can thus be chosen so as to alternatively emphasize or de-emphasize the small or large inputs. In Lehmer and Gini means the weighting function is the power function. We improve the results of [9], [33] which provide some sufficient conditions of monotonicity of Lehmer means. We also improve the results related to weak monotonicity of Gini means [5], [34].

The remainder of this article is structured as follows. In Section 2, we provide the necessary mathematical foundations that underpin aggregation functions and means, which we rely on in subsequent sections. Our main results are concentrated in Sections 3, 4 and 5. In Section 6, we recall duality of mixture functions. Our conclusions are presented in Section 7. The proofs of Theorem 3, Theorem 5 and Theorem 6 are presented in Appendix A.

Section snippets

Aggregation functions

In this article, we make use of the following notations and assumptions. Without loss of generality, we assume that the domain of interest is any closed, non-empty interval I=[a,b]R¯=[,] and that tuples in In are defined as x=(xi,n|nN,i{1,,n}). We write xi as the shorthand for xi,n such that it is implicit that i{1,,n}. Furthermore, In is ordered such that for x,yIn, xy implies that each component of x is no greater than the corresponding component of y. Unless otherwise stated, a

Weak monotonicity of Lehmer means

Definition 8

The mapping Lm:[0,[n[0,[, mR, given byLm(x1,,xn)=i=1nxim+1i=1nxim is called the Lehmer mean.

Note that the Lehmer mean is homogeneous (of degree one), and hence it is sufficient to establish (weak) monotonicity on some finite domain [0,b]n. The Lehmer mean is monotone for m[1,0] and hence weakly monotone in that parameter range, but it is not weakly monotone for m]0,1[, see [18], [32].

The following sufficient condition for weak monotonicity of the Lehmer mean was established in [9],

Weak monotonicity of Gini means

Previously the following condition was established in [5].

Theorem 4

The Gini mean (5) for p,qR is weakly monotone on [0,[n if either

  • 1.

    q0 and pq, or

  • 2.

    p0 and pq, or

  • 3.

    (n1)((qp1)p1(q1p)q1)1pq1 and (pq1or1pq).

Note that for p=q the Gini mean is given by (6) which is monotone. The cases q=0 or p=0 result in (monotone) power means. Since Gp,q=Gq,p we only consider the case p>q. In the case q]0,1[ the partial derivative at x=(a,b) when a0+ tends to −∞, so the Gini mean is not weakly monotone for such

Weak monotonicity of mixture functions with affine weighting functions

A linear weighting function is appealing due to its simplicity, but as we have seen, L1 is weakly monotone only for two arguments, which significantly limits its application. In this section we discuss a modification of the weighting function in L1 which would ensure the result is weakly monotone.

Theorem 7

Let Mw:[0,1]n[0,1] be a mixture function defined by (4) with an affine weighting function w(x)=x+l, l0. Then Mw is weakly monotone increasing forl2120.207107.

Proof

On the basis of sufficient condition

The duals of Lehmer mean and other mixture functions

One of the most applied transformations in the context of aggregation functions is the duality transformationφd:[0,b][0,b]:φd(x)=bx. By transformation of a given function F on the interval [0,b] by φd we get the dual function Fd.

Definition 9

Let F:[0,b]n[0,b] be a function. Then the function Fd:[0,b]n[0,b] given byFd(x1,,xn)=bF(bx1,,bxn), is called the dual of F.

Duality preserves monotonicity and boundary conditions of aggregation functions, idempotency, symmetry, as well as the associativity and

Conclusion

The concept of weak monotonicity of averaging functions has found a number of applications in data analysis. Aggregating data which may contain outliers is a challenging task, because the outliers need to be first identified, and then discarded so as not to corrupt the aggregate. The number of outliers is not fixed a priori, and it is the value of a particular input with respect to the rest which may identify this input as an outlier. In this context the standard monotonicity of aggregation

Acknowledgement

Jana Špirková was supported by the Agency of the Ministry of Education, Science, Research and Sport of the Slovak Republic for the Structural Funds of EU, under project ITMS: 26110230082.

References (35)

  • J. Špirková

    Induced weighted operators based on dissimilarity functions

    Inf. Sci.

    (2015)
  • R.R. Yager et al.

    A generalized framework for mean aggregation: toward the modeling of cognitive aspects

    Inf. Fusion

    (2014)
  • M. Bajraktarević

    Sur une équation fonctionelle aux valeurs moyennes

    Glasnik Mat.-Fiz. i Astronom. Drustvo Mat. Fiz. Hrvatske. Ser. II

    (1958)
  • M. Bajraktarević

    Sur une genéralisation des moyennes quasilineaire

    Publ. Inst. Math. (Belgr.)

    (1963)
  • G. Beliakov et al.

    Characterizing compactness of geometrical clusters using fuzzy measures

    IEEE Trans. Fuzzy Syst.

    (2015)
  • G. Beliakov et al.

    Fuzzy measures of pixel cluster compactness

  • G. Beliakov et al.

    Aggregation Functions: A Guide for Practitioners

    (2007)
  • Cited by (24)

    • Weak and directional monotonicity of functions on Riesz spaces to fuse uncertain data

      2020, Fuzzy Sets and Systems
      Citation Excerpt :

      In a similar manner, we can construct other instances of functions F and characterize the set of vectors along which it increases. Interested readers can find numerous examples of directionally monotone functions in [7–9,15,52], which enable to construct directionally monotone representable IV functions. A remarkable example of such an IV function is the interval-valued Choquet integral, as it has been proved to be useful in diverse applications [34].

    View all citing articles on Scopus
    1

    Tel.: +61 3 925 17475; fax: +61 3 925 17604.

    View full text