Complex Fuzzy Geometric Aggregation Operators

: A complex fuzzy set is an extension of the traditional fuzzy set, where traditional [0,1]-valued membership grade is extended to the complex unit disk. The aggregation operator plays an important role in many ﬁelds, and this paper presents several complex fuzzy geometric aggregation operators. We show that these operators possess the properties of rotational invariance and reﬂectional invariance. These operators are also closed on the upper-right quadrant of the complex unit disk. Based on the relationship between Pythagorean membership grades and complex numbers, these operators can be applied to the Pythagorean fuzzy environment.


Introduction
Ramot et al. [1] introduced the innovative concept of complex fuzzy sets (CFSs), which is an extension of the traditional fuzzy sets [2] where traditional unit interval [0,1]-valued membership degrees are extended to the complex unit disk.CFSs are completely distinct from the fuzzy complex numbers discussed by Buckley [3][4][5].The complex-valued membership grade has an amplitude term with the addition of a phase term.The phase term of complex-valued membership grade is the key feature which essentially distinguishes complex fuzzy sets from other extensions of fuzzy sets.Ramot et al. [1,6] then introduced several operators of CFSs and a novel framework for complex fuzzy reasoning.Hu et al. [7] introduced the orthogonality relation for CFSs.Bi et al. [8] proposed the parallelity of CFSs and the parallelity-preserving operators.Zhang et al. [9] proposed the δ-equalities for CFSs.Alkouri and Salleh [10] and Hu et al. [11] defined several distances between CFSs.Tamir et al. [12] proposed a new interpretation of complex membership degree.They [13] then proposed complex fuzzy propositional and first-order logics.Dick [14] proposed the concept of rotational invariance for complex fuzzy operators.Recently, several scholars have developed extensions of CFSs.Greenfield et.al [15,16] introduced interval-valued complex fuzzy sets.Alkouri and Saleh [17] proposed complex intuitionistic fuzzy sets.Ali and Smarandache [18] introduced complex neutrosophic sets.Recently, CFSs and their extensions have been successfully applied in many fields, such as time series prediction [19][20][21][22], decision making [23], signal processing [1,7,9], and image restoration [24].
Yager and Abbsocv [25] discussed the relationship between CFSs and Pythagorean fuzzy sets (PFSs), which was developed by Yager [26,27] as an extension of Atanssov's intuitionistic fuzzy sets [28].They showed that Pythagorean fuzzy membership grades can be viewed as complex numbers on the upper-right quadrant of the complex unit disk, named Π − i numbers.
Dick, Yager, and Yazdanbahksh [29] then discussed several lattice-theoretic properties of PFSs and CFSs.Quantum information processing also allows for meaningful aggregation using complex numbers.Since qubits can be represented by unit vectors in the two-dimensional complex Hilbert space, geometric information or vector aggregation are used for meaningful clustering [30,31].
As mentioned in [19], CFSs are suitable to represent information with uncertainty and periodicity, and thus this information aggregation procedure needs to simultaneously process the uncertainty and periodicity in the data.However, comparatively few aggregation techniques have been made in the complex fuzzy environment.Ramot et al. [6] defined the complex fuzzy aggregation operations as vectors aggregation.In particular, the complex weights are used in their definition.Ma et al. [19] developed a product-sum aggregation operator for multiple periodic factor prediction problems.They proved the continuity of this operator.However, they did not focus on techniques for complex fuzzy information aggregation in these two articles.
In this paper, we study aggregation operators in the complex fuzzy environment.Dick's [14] concept of rotational invariance is an intuitive and desirable feature for complex fuzzy operators.This feature is examined for complex fuzzy aggregation operators.This paper proposes a novel feature for complex fuzzy aggregation operators called reflectional invariance.Moreover, we study the aggregation operators of complex numbers in the upper-right quadrant of the complex unit disk.
The main contributions of the study include: (1) A concept of reflectional invariance for complex fuzzy operators.(2) Several complex fuzzy weighted geometric operators; we also show that these operators can also be used in a Pythagorean fuzzy environment.(3) A target location method which involves the complex fuzzy aggregation operators.
This paper is organized as follows.In Section 2, we review some basic and fundamental concepts of CFSs, rotational invariance, reflectional invariance, and Ramot et al.'s [6] complex fuzzy aggregation operators.In Section 3 we study the complex fuzzy weighted geometric (CFWG) operator on CFSs and its properties.In Section 4, we develop the complex fuzzy ordered weighted geometric (CFOWG) operator based on the traditional partial ordering by the modulus of a complex number, and study its properties.In Section 5, we study these operators in the domain of Π − i numbers which belong to the upper-right quadrant of the complex unit disk.In Section 6, we present an application example in a target location.Conclusions are made in Section 7.

Complex Fuzzy Sets
Ramot et al. [1] defined the concept of CFSs as follows.

Definition 1 ([1]
).Let X be a universe, D be the set of complex numbers whose modulus is less than or equal to 1, i.e., D = a ∈ C |a| ≤ 1 , a complex fuzzy set A defined on X is a mapping: X → D, which can be denoted as below: where j = √ −1, the amplitude term t A (x) and the phase term ν A (x) are both real-valued, and t A (x) ∈ [0, 1].
For convenience, we only consider the complex numbers on D, called complex fuzzy values (CFVs).Let a = t a • e jν a be a CFV, then the amplitude of a is denoted by t a and the phase of a is denoted by ν a .They are both real-valued, t a ∈ [0, 1].The modulus of a is t a , denoted by |a|.
Let a = t a • e jν a and b = t b • e jν b be two CFVs, then we have the following two commonly used binary operations.
(i) Algebraic product: ( The partial ordering of CFVs is the traditional partial ordering by the modulus of a complex number, that is, a ≤ b if and only if |a| ≤ |b|, equivalently, t a ≤ t b .

Rotational Invariance and Reflectional Invariance
Let a = t a • e jν a be a CFV, then we have the following two commonly used unary operations: (i) the rotation of a by θ radians, denoted Rot θ (a), is defined as (ii) the reflection of a, denoted Re f (a), is defined as Then, based on the rotation operation, Dick [14] introduced the concept of rotational invariance for complex fuzzy operators.
We extend the above concept to multivariate operators.
for any θ.
In particular, since the periodicity of complex-valued membership grade, that is, This is a special case of rotational invariance.
Similar to the above definition, we introduce the concept of reflectional invariance for complex fuzzy operators based on the reflection operation.
Rotational invariance and reflectional invariance are intuitive properties for complex fuzzy operators.It makes a great deal of sense that a operator is invariant under a rotation or a reflection.If we rotate two vectors by a common value, rotational invariance states that an aggregation of those vectors will be rotated by the same value, as shown in Figure 1a.If we reflect two vectors, reflectional invariance states that an aggregation of those vectors will be reflected as well, as shown in Figure 1b.Reflectional invariance and rotational invariance are two properties which are only concerned with the phase of CFVs.
These two properties of the algebraic product and average operators were examined, and the results are given as follows.
Theorem 2. The algebraic product is reflectionally invariant.
Proof.For any a, b ∈ D, we have Theorem 3. The average operator is reflectionally invariant and rotationally invariant.
Then, the average operator is reflectionally invariant.
(ii) For any a, b ∈ D, we have Then, the average operator is rotationally invariant.

Complex Fuzzy Aggregation Operators
Ramot et al. [6] defined the aggregation operation on CFSs as vector aggregation: Definition 5 ([6]).Let A 1 , A 2 , ..., A n be CFSs defined on X. Vector aggregation on A 1 , A 2 , ..., A n is defined by a function v. v : The function v produces an aggregate CFS A by operating on the membership grades of A 1 , A 2 , ..., A n for each x ∈ X.For all x ∈ X, v is given by where w i ∈ D for all i, and The complex weights are used in Ramot et al.'s definition for the purpose of maintaining a definition that is as general as possible.In this paper, we only discuss the complex fuzzy aggregation operations with real-valued weights.
We notice that the above definition of Ramot et al's [6] aggregation operator is a complex fuzzy weighted arithmetic (CFWA) operator.For convenience, let a 1 , a 2 , ..., a n be CFVs.The CFWA operator is given as where w i ∈ [0, 1] for all i, and ∑ n i=1 w i = 1.When a 1 , a 2 , ..., a n ∈ [0, 1], the CFWA operator can reduce to a traditional fuzzy weighted arithmetic operator.
When w i = 1/n for all i, then the CFWA operator is the arithmetic average of (a 1 , a 2 , ..., a n ), denoted by the complex fuzzy arithmetic average (CFAA) operator.That is, When a 1 , a 2 , ..., a n ∈ [0, 1] and w i = 1/n for all i, the CFAA operator is the arithmetic mean of numbers on [0,1].
As a special case of the CFWA operator, note that the average operator on CFVs is reflectionally invariant and rotationally invariant (see Theorem 3).We show that the CFWA operator also possesses these two properties.Theorem 4. The CFWA operator is reflectionally invariant and rotationally invariant.
Then, the CFWA operator is reflectionally invariant.(ii) For any CFVs a 1 , a 2 , ..., a n , we have Then, the CFWA operator is rotationally invariant.

Complex Fuzzy Weighted Geometric Operators
In this section, we introduce the weighted geometric aggregation operators in a complex fuzzy environment and discuss their fundamental characteristics.Definition 6.Let a 1 , a 2 , ..., a n be CFVs, a complex fuzzy weighted geometric (CFWG) operator is defined as: where w i ∈ [0, 1] for all i, and ∑ n i=1 w i = 1.
Denoting CFWG(a 1 , a 2 , ..., a n ) = t • e jν , we have a weighted geometric aggregation (WGA) operator on [0,1], that is, t = ∏ n i=1 t w i a i and a weighted arithmetic aggregation (WAA) operator on R, that is, ν = ∑ n i=1 w i • ν a i .When a 1 , a 2 , ..., a n ∈ [0, 1], the CFWG operator can reduce to a traditional fuzzy weighted geometric operator. When is the arithmetic mean of real numbers on R. When a 1 , a 2 , ..., a n ∈ [0, 1] and w i = 1/n for all i, the CFWG operator is the geometric mean of real numbers on unit interval [0,1].Theorem 5. Let a 1 , a 2 , ..., a n be CFVs, then the aggregated value CFWG(a 1 , a 2 , ..., a n ) is also a complex fuzzy value.
Similar to Theorem 4, the CFWA operator is reflectionally invariant and rotationally invariant.We show that the CFWG operator also possesses these two properties.Theorem 6.The CFWG operator is reflectionally invariant and rotationally invariant.
(2) Trivial form the facts that |CFWG(a 1 , a 2 , ..., a n )| = ∏ n i=1 t w i a i and WGA operator on R satisfy the property of boundedness.
(3) Trivial form the facts that |CFWG(a 1 , a 2 , ..., a n )| = ∏ n i=1 t w i a i and WGA operator on R satisfy the property of monotonicity.In this paper, for complex fuzzy aggregation operators, boundedness and monotonicity are restricted exclusively to the amplitude of CFVs.They are two properties which are only concerned with the amplitude of CFVs.Idempotency is a property that is concerned with both the phase and amplitude of CFVs.
It is easy to prove that the CFWA operator satisfies idempotency and amplitude boundedness, but it does not satisfy the property of amplitude monotonicity.

Complex Fuzzy Ordered Weighted Geometric Operators
Based on the partial ordering of complex numbers, we propose a complex fuzzy ordered weighted geometric (CFOWG) operator as follows: Definition 7. Let a 1 , a 2 , ..., a n be CFVs, a CFOWG operator is defined as where w i ∈ [0, 1] for all i, and Especially when w i = 1/n for all i, then the CFOWG operator is reduced to the CFWG operator.Similar to Theorem 5, we have the following.Theorem 8. Let a 1 , a 2 , ..., a n be CFVs, then the aggregated value CFOWG(a 1 , a 2 , ..., a n ) is also a complex fuzzy value.
Similar to Theorem 6, the CFWG operator is reflectionally invariant and rotationally invariant.The CFOWG operator also possesses these two properties.Theorem 9.The CFOWG operator is reflectionally invariant and rotationally invariant.
Now we give a brief summary of the properties of the CFWG and CFOWG operators with real-valued weights.The results are summarized in Table 1, in which √ and × represent that the corresponding property holds and does not hold, respectively.√ and × represent that the corresponding property holds and does not hold, respectively.

Complex Fuzzy Values and Pythagorean Fuzzy Numbers
Yager and Abbasov [25] showed that Pythagorean membership grades can be expressed using complex numbers, called Π − i numbers, which belong to the upper-right quadrant of the complex unit disk.Essentially, the CFWAA and CFOWAA operators are used to deal with special complex numbers, which belong to the complex unit disk.
In this section, we consider the CFWG and CFOWG operators in the domain of Π − i numbers.
We first recall the concepts of Pythagorean fuzzy sets (PFSs) and Π − i numbers.
Definition 8 ([25]).Let X be a universe.A PFS A is defined by where p A (x) ∈ [0, 1] and ν A (x) ∈ [0, 1] respectively represent the membership grade and nonmembership grade of the element x to set A, such that for all x ∈ X.The degree of indeterminacy of the element x to set A is π A (x), defined by For convenience, Zhang and Xu [49] referred to p A (x), ν A (x) as a Pythagorean fuzzy number (PFN) simply denoted by a = (p a , ν a ), where p a ∈ [0, 1], ν a ∈ [0, 1] and (p a ) 2 + (ν a ) 2 ≤ 1.
Yager and Abbasov [25] discussed the relationship between Pythagorean membership grades and complex numbers.They showed that the complex numbers of the form z = r • e jθ with conditions r ∈ [0, 1] and θ ∈ [0, π/2] can be interpretable as PFNs (r cos θ, r sin θ).They referred to these complex numbers as "Π − i numbers", which are complex numbers in the upper-right quadrant of the complex unit disk.
As explained in [25], we should consider which aggregation operation is closed under Π − i numbers.
Let us consider the closeness of Π − i numbers under the CFWG and CFOWG operations.For the CFWG operator, we have the following result.
Similar to the above Theorem, we have the following.Theorem 13.Let z 1 , z 2 , ..., z n be Π − i numbers, and the CFOWG weights are real values, that is, w i ∈ [0, 1] for all i, and ∑ n i=1 w i = 1.Then, the aggregated value CFOWG(z 1 , z 2 , ..., z n ) is also a Π − i number.
The above theorems show us that the CFWG and the CFOWG operators are closed under Π − i numbers.When PFNs are interpreted as Π − i numbers, then we can aggregate these PFNs to a PFN by using the CFWG or CFOWG operator.
From the above theorems, the CFWG and the CFOWG operators are closed on the upper-right quadrant of complex unit disk.
Consider other quadrants of the complex unit disk.Let for k = 1 to 4. D 1 is the set of Π − i numbers.Now, we discuss the closeness of the CFWG and the CFOWG operators on other quadrants of the complex unit disk.Plainly, we have the following.Theorem 14.For any k ∈ {1, 2, 3, 4}, if z 1 , z 2 , ..., z n ∈ D k , and the weights are real values, that is, w i ∈ [0, 1] for all i, and ∑ n i=1 w i = 1.Then, we have Proof.Similar to Theorem 13.

Example Application
In this section, we consider a target location application of the complex fuzzy aggregation operator.We do not intend to show the potential advantages of using complex fuzzy aggregation methods in comparison with existing alternative aggregation approaches in this section.
Assume the observer position is fixed.Using a position sensor and an angular sensor, the observer measures the distance and angle of the fixed target.To improve the target location accuracy, the observer repeatedly measures the same target.Then, the target position is estimated according to aggregation theory.
Assume n measurements (d 1 , θ 1 ), (d 2 , θ 2 ), ..., (d n , θ n ) have been measured by the observer.The target position is estimated in the following five stages, as illustrated in Figure 2.
Step 1 Complexification of the measured results; each measurement is represented as Step 2 (Fuzzification) Normalize the amplitudes of all measurements.Let d = max i d i , for each c i , the normalized result is a i = c i /d, where t a i = d i /d.Step 3 (Aggregation) Produce an aggregate result.For simplicity, using the CFWG operator with weights (1/n, 1/n, ..., 1/n).We obtain where t a = n t a Step 5 Decomplexification (or sometimes "realification") of c.We get the target position (p, ν), where p = t c , ν = ν a .

Definition 4 .
Let f : D n → D be an n-order function.f is reflectionally invariant if and only if

i
|z i |.

Figure 2 .
Figure 2. A simple method of target location based on complex fuzzy aggregation.

Table 1 .
Properties of the complex fuzzy aggregation operators.