Next Article in Journal
Software-Automatized Individual Lactation Model Fitting, Peak and Persistence and Bayesian Criteria Comparison for Milk Yield Genetic Studies in Murciano-Granadina Goats
Next Article in Special Issue
Which Alternative for Solving Dual Fuzzy Nonlinear Equations Is More Precise?
Previous Article in Journal
An Efficient and Accurate Method for the Conservative Swift–Hohenberg Equation and Its Numerical Implementation
Previous Article in Special Issue
Octahedron Subgroups and Subrings
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Strong Tolerance and Strong Universality of Interval Eigenvectors in a Max-Łukasiewicz Algebra

1
Faculty of Informatics and Management, University of Hradec Králové, 50003 Hradec Králové, Czech Republic
2
Faculty of Electrical Engineering and Informatics, Technical University of Košice, 04200 Košice, Slovakia
*
Author to whom correspondence should be addressed.
Mathematics 2020, 8(9), 1504; https://doi.org/10.3390/math8091504
Submission received: 9 August 2020 / Revised: 1 September 2020 / Accepted: 2 September 2020 / Published: 4 September 2020
(This article belongs to the Special Issue Fuzzy Sets, Fuzzy Logic and Their Applications 2020)

Abstract

:
The Łukasiewicz conjunction (sometimes also considered to be a logic of absolute comparison), which is used in multivalued logic and in fuzzy set theory, is one of the most important t-norms. In combination with the binary operation ‘maximum’, the Łukasiewicz t-norm forms the basis for the so-called max-Łuk algebra, with applications to the investigation of systems working in discrete steps (discrete events systems; DES, in short). Similar algebras describing the work of DES’s are based on other pairs of operations, such as max-min algebra, max-plus algebra, or max-T algebra (with a given t-norm, T). The investigation of the steady states in a DES leads to the study of the eigenvectors of the transition matrix in the corresponding max-algebra. In real systems, the input values are usually taken to be in some interval. Various types of interval eigenvectors of interval matrices in max-min and max-plus algebras have been described. This paper is oriented to the investigation of strong, strongly tolerable, and strongly universal interval eigenvectors in a max-Łuk algebra. The main method used in this paper is based on max-Ł linear combinations of matrices and vectors. Necessary and sufficient conditions for the recognition of strong, strongly tolerable, and strongly universal eigenvectors have been found. The theoretical results are illustrated by numerical examples.

1. Introduction

A max-Łukasiewicz algebra (max-Łuk algebra, in short), is one of the so-called max-T fuzzy algebras, which are defined for various triangular norms.
A max-T fuzzy algebra contains values in the unit interval I = 0 , 1 and uses the binary operation of maximum and one of the triangular norms, T, instead of the conventional operations of addition and multiplication. Thus, by a max-T fuzzy algebra we understand a triplet ( I , , T ) , where I is the interval 0 , 1 and = max , T = T are binary operations on I . The symbol I ( m , n ) , respectively, I ( n ) , denotes the set of all matrices (respectively, vectors) of the given dimensions over I . The operations , T are extended to matrices and vectors in the standard way. The linear ordering on I induces partial orderings on I ( m , n ) and I ( n ) .
The triangular norms (t-norms, in short) were introduced in [1], in the context of probabilistic metric spaces. The t-norms are interpreted as the conjunction in multi-valued fuzzy logics, or as the intersection of fuzzy sets. These functions are used in many fields, such as statistics and game theory, information and data fusion, decision making support, risk management, and probability theory. The t-norms (and the corresponding t-conorms) play an important role in fuzzy set theory. Many t-norms can be found in [2]).
The Łukasiewicz norm is often considered to be a logic of absolute (or metric) comparison. The Łukasiewicz conjunction is defined by
x L y = max { x + y 1 , 0 } .
The simplest norm is the Gödel norm, and the conjunction is defined as the minimum of the entries: the truth degrees of the constituents. Gödel logic is considered to be a logic of relative comparison.
x G y = min ( x , y )
In the particular case when T = min is the Gödel t-norm, we get an important max-min algebra which has useful applications to optimization and scheduling problems. Max-min algebras belong to the so-called tropical mathematics, with a wide scope of applications and interesting contributions to mathematical theory. Several monographs [3,4,5,6] and collections of papers [7,8,9,10,11,12,13] have dealt with tropical mathematics and related problems.
Tropical algebras can be naturally used for the study of systems working in discrete time (DES). The state of the system at time t is described by a vector x ( t ) . The transitions of the system from one state to another are described by the transition matrix A. The next state x ( t + 1 ) is obtained by multiplying the transition matrix and the state vector; in matrix notation we write A x ( t ) = x ( t + 1 ) . When a DES reaches a steady state, after some time of operation, then the state vectors of the steady states are eigenvectors of A. In any tropical algebra, the eigenproblem for a given matrix A I ( n , n ) consists of finding an eigenvalue λ I and an eigenvector x I ( n ) fulfilling A x = λ x .
The eigenproblem in tropical algebra has been described in many papers, see [14]. Interesting results describing the structure of the eigenspace and several algorithms for computing the largest eigenvector of a given matrix have been published, for example, in [15,16]. The eigenvectors in a max-T algebra, for various triangular norms T, are useful in fuzzy set theory. Such eigenvectors have been studied in [17,18,19]. The eigenvalues and eigenvectors are interesting characteristics of the DES in fuzzy algebras. The eigenspace structures for the drastic and t-norm have been studied in [18,19]. Finally, [17] describes the case of Łukasiewicz fuzzy algebra.

2. Strong Types of Interval Eigenvectors in max-Łuk Algebras

The investigation in this paper will be started by a simple numerical example.
Example 1.
(Numerical illustration: Steady state vector).
Assume
A = 0.5 0.4 0.1 0.1 0.5 0.8 0.8 0.2 0.1 0.7 0.6 0.6 0.6 0.2 0 0.4 0.5 0.5 0.2 0.4 0.3 0.1 0.4 0 0.8 , x = 0.5 0.7 0.5 0.4 0.8 , λ = 0.8 .
Then
A L x = 0.3 0.5 0.3 0.2 0.6 = 0.8 L x .
That is, x is a max-Łuk eigenvector of A with the eigenvalue λ = 0.8 .
In practical applications, the matrix entries usually are not exact numbers, but are contained in some intervals. Interval arithmetic is an efficient way to represent matrix operations on a computer. Similarly, matrices and vectors with interval coefficients are studied in a max-Łuk algebra (or a max-min algebra, or some other tropical algebra), see [9,17,20,21,22,23]. The classification of various types of the interval eigenvectors in a max-min algebra has been investigated in [24,25].
Let n be a given natural number. We define N = { 1 , 2 , , n } . Similarly to [21,25,26,27], we define the interval matrix with bounds A ̲ , A ¯ I ( n , n ) and the interval vector with bounds x ̲ , x ¯ I ( n ) as
[ A ̲ , A ¯ ] = A I ( n , n ) ; A ̲ A A ¯ , [ x ̲ , x ¯ ] = x I ( n ) ; x ̲ x x ¯ .
Let us assume that an interval matrix A = [ A ̲ , A ¯ ] and an interval vector X = [ x ̲ , x ¯ ] have been fixed. The interval max-Łuk eigenproblem for A and X aims at recognizing whether A L x = λ L x holds true for A A , x X , λ I , with suitable quantifiers (e.g., for all A A , for some A A , for all x X , for some x X ) and their various combinations. Various types of interval max-Łuk eigenvectors are defined, using various choices of quantifiers and their order (see [25] for the further classification types).
Definition 1.
Assume that an interval matrix A and an interval vector X are given. Then, X is called:
  • A strong max-Łuk eigenvector of A
    if ( λ I ) ( A A ) ( x X ) [ A L x = λ L x ] ;
  • A strongly tolerable max-Łuk eigenvector of A
    if ( λ I ) ( A A ) ( x X ) [ A L x = λ L x ] ;
  • A strongly universal max-Łuk eigenvector of A
    if ( λ I ) ( x X ) ( A A ) [ A L x = λ L x ] .
Remark 1.
In general, an interval vector X is called a tolerable max-Łuk eigenvector of A if there is an eigenvalue λ I such that every x X preserves the state vector up to a multiple by λ, for some A A (in other words: A tolerates x with eigenvalue λ).
In the case when there is one common tolerating matrix A A for all of the vectors x X , the interval vector X is called strongly tolerable. Otherwise, the tolerating matrix A depends on x. If also the eigenvalue λ depends on x, then the interval eigenvector X is usually called weakly tolerable.
Remark 2.
Similarly, an interval vector X is called a universal max-Łuk eigenvector of A if there is an eigenvalue λ I such that for every A A , some x X preserves the state vector up to a multiple by λ, (in other words: x is universal for A with eigenvalue λ).
In the case when there is one common universal vector x X for all matrices A A , the interval vector X , as well as the common universal x, are called strongly universal. Otherwise, the universal vector x depends on A. If also the eigenvalue λ depends on A, then the interval eigenvector X is usually called weakly universal.
In this paper, we study in more detail the strong max-Łuk interval eigenvectors, the strongly tolerable and strongly universal max-Łuk interval eigenvectors (the remaining types of max-Łuk interval eigenvector are not considered here). Necessary and sufficient conditions are described for recognizing whether a given interval vector is a strong (strongly tolerable, strongly universal) eigenvector of a given interval matrix in a max-Łuk algebra. The results are illustrated by numerical examples.

3. Strong Interval Eigenvectors in a max-Łuk Algebra

In this section, we assume that an interval matrix A = [ A ̲ , A ¯ ] and an interval vector X = [ x ̲ , x ¯ ] are given. For each pair i , j N , define A ˜ ( i j ) I ( n , n ) and x ˜ ( i ) I ( n ) by putting for every k , l N ,
a ˜ k l ( i j ) = a ¯ i j , f o r k = i , l = j a ̲ k l , o t h e r w i s e , x ˜ k ( i ) = x ¯ i , f o r k = i x ̲ k , o t h e r w i s e .
It is shown in the following lemma that every A A can be written as a max-Łuk linear combination of generators A ˜ ( i j ) with i , j N . Similarly, every x X is equal to a max-Łuk linear combination of generators x ˜ ( i ) with i N .
Lemma 1.
Let x I ( n ) and A I ( n , n ) . Then,
(i)
x X if and only if x = i N β i L x ˜ ( i ) for some β i I with x ̲ i x ¯ i + 1 β i 1 ,
(ii)
A A if and only if A = i , j N α i j L A ˜ ( i j ) for some α i j I with a ̲ i j a ¯ i j + 1 α i j 1 .
Proof. 
For the proof of statement (i), assume that x X : that is, x ̲ i x i x ¯ i for every i N . Put β i = x i x ¯ i + 1 for each i N . It is easy to see that the β i ‘s satisfy the inequalities in assertion (i). Moreover, for every j N
i N β i L x ˜ ( i ) j = i N ( x i x ¯ i + 1 ) L x ˜ ( i ) j = ( x j x ¯ j + 1 ) L x ˜ j ( j ) i N { j } ( x i x ¯ i + 1 ) L x ˜ j ( i ) = ( x j x ¯ j + 1 ) L x ¯ j i N { j } ( x i x ¯ i + 1 ) L x ̲ j .
In particular, ( x j x ¯ j + 1 ) L x ¯ j = ( x j x ¯ j + 1 ) + x ¯ j 1 = x j , since x j 0 . On the other hand, for i j we have ( x i x ¯ i + 1 ) L x ̲ j = ( x i x ¯ i + 1 ) + x ̲ j 1 x j , because x i x ¯ i 0 .
For the converse implication, assume that x ̲ i x ¯ i + 1 β i 1 for every i N and x = i N β i L x ˜ ( i ) . For every j N
x j = i N β i L x ˜ ( i ) j i N 1 L x ˜ ( i ) j = i N x ˜ j ( i ) = x ¯ j i N { j } x ̲ j = x ¯ j ,
x j = i N β i L x ˜ ( i ) j i N ( x ̲ i x ¯ i + 1 ) L x ˜ ( i ) j = ( x ̲ j x ¯ j + 1 ) + x ¯ j 1 i N { j } ( x ̲ i x ¯ i + 1 ) + x ̲ j 1 x ̲ j i N { j } ( x ̲ i x ¯ i + x ̲ j ) = x ̲ j .
We have shown that x ̲ x x ¯ . That is, x [ x ̲ , x ¯ ] . The proof of (ii) is analogous. □
Theorem 1.
The interval vector X = [ x ̲ , x ¯ ] is a strong max-Łuk eigenvector of the interval matrix A = [ A ̲ , A ¯ ] if and only if there exists λ I , λ > 0 , such that for every i N .
A ̲ L x ˜ ( i ) = λ L x ˜ ( i ) ,
A ¯ L x ˜ ( i ) = λ L x ˜ ( i ) .
Proof. 
Assume that λ I fulfills conditions (6) and (7), and that x X is given. Then x is a max-Łuk linear combination x = i N β i L x ˜ ( i ) for some coefficients β i I , i N with x ̲ i x ¯ i + 1 β i 1 , according to Lemma 1(i). In view of (6) we get
A ̲ L x = A ̲ L i N β i L x ˜ ( i ) = i N A ̲ L β i L x ˜ ( i ) = i N β i L A ̲ L x ˜ ( i ) = i N β i L λ L x ˜ ( i ) = λ L i N β i L x ˜ ( i ) = λ L x .
Using (7) we analogously get
A ̲ L x = A ¯ L i N β i L x ˜ ( i ) = λ L i N β i L x ˜ ( i ) = λ L x .
From (8) and (9) it easily follows that
λ L x = A ̲ L x A L x A ¯ L x = λ L x , A L x = λ L x ,
for every A A . That is, X is a strong max-Łuk eigenvector of A . The converse implication is trivial. □
Example 2.
(Numerical illustration: Strong max-Luk eigenvector)
Assume lower and upper bounds for A [ A ̲ , A ¯ ] and for x [ x ̲ , x ¯ ]
A ̲ = 0.6 0.2 0.1 0.1 0.5 0.2 0.2 0.1 0 0.4 0.1 0.3 0.2 0.4 0.2 0.3 0.5 0.4 0.6 0.2 0 0.1 0.3 0 0.3 , A ¯ = 0.6 0.6 0.3 0.1 0.6 0.2 0.6 0.3 0.1 0.6 0.5 0.9 0.6 0.4 0.9 0.7 1 0.8 0.6 0.9 0.2 0.6 0.3 0.1 0.6
x ̲ = 0 0 0.7 0.9 0 , x ¯ = 0.8 0.4 0.7 0.9 0.4 .
Then
x ˜ ( 1 ) = 0.8 0 0.7 0.9 0 , x ˜ ( 2 ) = 0 0.4 0.7 0.9 0 , x ˜ ( 3 ) = 0 0 0.7 0.9 0 , x ˜ ( 4 ) = 0 0 0.7 0.9 0 , x ˜ ( 5 ) = 0 0 0.7 0.9 0.4 .
The following equations hold for λ = 0.6
A ̲ L x ˜ ( 1 ) = 0.4 0 0.3 0.5 0 = A ¯ L x ˜ ( 1 ) = 0.6 L x ˜ ( 1 ) ,
A ̲ L x ˜ ( 2 ) = 0 0 0.3 0.5 0 = A ¯ L x ˜ ( 2 ) = 0.6 L x ˜ ( 2 ) ,
A ̲ L x ˜ ( 3 ) = 0 0 0.3 0.5 0 = A ¯ L x ˜ ( 3 ) = 0.6 L x ˜ ( 3 ) ,
A ̲ L x ˜ ( 4 ) = 0 0 0.3 0.5 0 = A ¯ L x ˜ ( 4 ) = 0.6 L x ˜ ( 4 ) ,
A ̲ L x ˜ ( 5 ) = 0 0 0.3 0.5 0 = A ¯ L x ˜ ( 5 ) = 0.6 L x ˜ ( 5 ) .
Hence, X = [ x ̲ , x ¯ ] is a strong max-Łuk eigenvector of A with the eigenvalue λ = 0.6 .
Theorem 1 leads to the following recognition problem: given A and X , recognize whether there is, or is no value λ I { 0 } such that (6) and (7) hold for every k N . If the answer is positive, then find all (or at least one) such values.
If i , k N , then we write, for brevity,
z i k = A ̲ L x ˜ ( i ) k , z i k = A ¯ L x ˜ ( i ) k .
Furthermore, we write
Z 0 = ( i , k ) N × N ; z i k = 0
Z > = ( i , k ) N × N ; z i k > 0
I = 0 , min ( i , k ) N × N 1 x ˜ k ( i )
Theorem 2.
The interval vector X = [ x ̲ , x ¯ ] is a strong max-Łuk eigenvector of the interval matrix A = [ A ̲ , A ¯ ] if and only if
(i)
( ( i , k ) N × N ) z i k = z i k ,
(ii)
( ( i , k ) Z 0 ) x ˜ k ( i ) < 1 ,
(iii)
( ( i , k ) , ( j , l ) Z > ) x ˜ k ( i ) z i k = x ˜ l ( j ) z j l < 1 ,
(iv)
( ( i , k ) Z > , ( j , l ) Z 0 ) x ˜ l ( j ) x ˜ k ( i ) z i k .
Proof. 
Assume that X is a strong interval eigenvector of A . That is, there exists λ I , λ > 0 fulfilling conditions (6) and (7). The statement (i) then follows immediately. For ( i , k ) Z 0 we have z i k = 0 , which gives λ L x ˜ k ( i ) = 0 , in view of (6). Then, by definition of L , we have λ + x ˜ k ( i ) 1 0 , which implies λ 1 x ˜ k ( i ) . Now, statement (ii) easily follows, in view of the assumption that 0 < λ .
For ( i , k ) , ( j , l ) Z > , we have z i k > 0 , which gives λ L x ˜ k ( i ) > 0 , in view of (6). Consequently, z i k = λ + x ˜ k ( i ) 1 . That is, λ = x ˜ k ( i ) + z i k + 1 . Similarly, λ = x ˜ l ( j ) + z j l + 1 . In view of the assumption that λ > 0 , we get (iii) by a simple computation. Finally, assume ( i , k ) Z 0 , ( j , l ) Z > . By the same arguments as above, we get λ = x ˜ k ( i ) + z i k + 1 1 x ˜ l ( j ) . Then (iv) follows directly.
For the converse implication, assume that statements (i)–(iv) hold. We shall show that then a λ > 0 can be found such that (6) and (7) are satisfied. We distinguish two cases.
Case 1. Z > = Ø . Then Z 0 = N × N , and by (ii) we have 0 < 1 x ˜ k ( i ) for every ( i , k ) N × N . That is, the interval I is non-empty. Choose an arbitrary λ I . Then, for every ( i , k ) N × N , we have λ 1 x ˜ k ( i ) which gives λ + x ˜ k ( i ) 1 0 . That is, λ L x ˜ k ( i ) = 0 = z i k . As ( i , k ) is arbitrary, (6) has been demonstrated. Then, (7) follows by statement (i).
Case 2. Z > Ø . Let ( i , k ) Z > be fixed. By (iii) we have x ˜ k ( i ) z i k < 1 , which gives 0 < z i k + 1 x ˜ k ( i ) . Choosing λ = z i k + 1 x ˜ k ( i ) , we get λ > 0 and z i k = λ + x ˜ k ( i ) 1 . Then, the assumption that ( i , k ) Z > implies z i k > 0 and λ + x ˜ k ( i ) 1 > 0 . That is, λ + x ˜ k ( i ) 1 = λ L x ˜ k ( i ) , which implies z i k = λ L x ˜ k ( i ) .
Consider an arbitrary ( j , l ) Z > . We have λ = z i k + 1 x ˜ k ( i ) = z j l + 1 x ˜ l ( j ) , in view of (iii). That is, z j l = λ L x ˜ l ( j ) , similarly as above. On the other hand, for every ( j , l ) Z 0 we have x ˜ l ( j ) x ˜ k ( i ) z i k , in view of (iv). Consequently, we get z i k + 1 x ˜ k ( i ) 1 x ˜ l ( j ) . That is, λ 1 x ˜ l ( j ) , which gives λ + x ˜ l ( j ) 1 0 . This implies λ L x ˜ l ( j ) = 0 , i.e., z j l = λ L x ˜ l ( j ) . As ( j , l ) Z > Z 0 = N × N was arbitrary, we have shown that (6) is satisfied. By (i), (7) holds as well. □
Remark 3.
The proof of Theorem 2 contains a description of the set S ( A , X ) = λ > 0 ; ( A A ) ( x X ) A L x = λ L x . Namely
  • if some of statements (i)–(iv) in Theorem 2 are not satisfied, then S ( A , X ) = Ø ,
  • if ( i , k ) Z > , then S ( A , X ) = λ = z i k + 1 x ˜ k ( i ) ,
  • if Z > = Ø , then S ( A , X ) = 0 , min i , k N 1 x ˜ k ( i ) .
Theorem 3.
The recognition problem of whether a given interval vector X is a strong max-Łuk eigenvector of the interval matrix A is solvable in O ( n 3 ) time.
Proof. 
According to Theorem 2, the problem can be solved by verifying conditions (i)–(iv). Each of them can be verified in O n 3 time. Therefore, the computational complexity is O n 3 .  □

4. Strongly Tolerable Interval Eigenvectors in a max-Łuk Algebra

Theorem 4.
The interval vector X = [ x ̲ , x ¯ ] is a strongly tolerable max-Łuk eigenvector of the interval matrix A = [ A ̲ , A ¯ ] if and only if there exist an A A and λ I such that
A L x ˜ ( k ) = λ L x ˜ ( k ) f o r   e v e r y   k N .
Proof. 
Let us assume that A A and λ I fulfill condition (15). If x I ( n ) is an arbitrary vector in X , then x is a max-Łuk linear combination x = k N β k L x ˜ ( k ) for some coefficients β k I , k N with x ̲ k x ¯ k + 1 β i 1 . According to Lemma 1 (i),
A L x = A L k N β k L x ˜ ( k ) = k N A L β k L x ˜ ( k ) = k N β k L A L x ˜ ( k ) = k N β k L λ L x ˜ ( k ) = λ L k N β k L x ˜ ( k ) = λ L x .
By (3), X is a strongly tolerable eigenvector of A . The converse implication follows immediately. □
Remark 4.
The property (15) can be briefly expressed in words: A is a λ -certificate for the strong tolerance max-Łuk problem ( A , X ) .
Example 3.
(Numerical illustration: Strongly tolerable max-Luk eigenvector)
Assume the lower and upper bounds for A [ A ̲ , A ¯ ] and for x [ x ̲ , x ¯ ] are
A ̲ = 0.2 0.2 0.2 0.3 0 0.1 0.3 0.2 0.3 0 0 0.1 0.2 0.3 0.1 0.1 0.2 0.1 0.2 0.2 0.1 0.1 0.2 0.1 0.4 , A ¯ = 0.8 0.8 0.9 0.7 0.5 0.5 0.8 0.9 0.8 0.5 0.5 0.7 0.5 0.5 0.8 0.5 0.5 0.5 0.8 0.8 0.5 0.2 0.9 0.9 0.8
x ̲ = 0.6 0 0.6 0 0.7 , x ¯ = 0.8 0.7 0.6 0.4 0.7 .
Then
x ˜ ( 1 ) = 0.8 0 0.6 0 0.7 , x ˜ ( 2 ) = 0.6 0.7 0.6 0 0.7 , x ˜ ( 3 ) = 0.6 0 0.6 0 0.7 , x ˜ ( 4 ) = 0.6 0 0.6 0.4 0.7 , x ˜ ( 5 ) = 0.6 0 0.6 0 0.7 .
For λ = 0.7 and for given A 1 A
A 1 = 0.7 0.6 0.7 0.6 0.1 0.2 0.7 0.4 0.6 0.1 0.2 0.2 0.3 0.4 0.6 0.2 0.3 0.4 0.7 0.3 0.2 0.1 0.8 0.8 0.4
the following equations hold
A 1 L x ˜ ( 1 ) = 0.7 0.6 0.7 0.6 0.1 0.2 0.7 0.4 0.6 0.1 0.2 0.2 0.3 0.4 0.6 0.2 0.3 0.4 0.7 0.3 0.2 0.1 0.8 0.8 0.4 0.8 0 0.6 0 0.7 = 0.5 0 0.3 0 0.4 = 0.7 L x ˜ ( 1 ) ,
A 1 L x ˜ ( 2 ) = 0.7 0.6 0.7 0.6 0.1 0.2 0.7 0.4 0.6 0.1 0.2 0.2 0.3 0.4 0.6 0.2 0.3 0.4 0.7 0.3 0.2 0.1 0.8 0.8 0.4 0.6 0.7 0.6 0 0.7 = 0.3 0.4 0.3 0 0.4 = 0.7 L x ˜ ( 2 ) ,
A 1 L x ˜ ( 3 ) = 0.7 0.6 0.7 0.6 0.1 0.2 0.7 0.4 0.6 0.1 0.2 0.2 0.3 0.4 0.6 0.2 0.3 0.4 0.7 0.3 0.2 0.1 0.8 0.8 0.4 0.6 0 0.6 0 0.7 = 0.3 0 0.3 0 0.4 = 0.7 L x ˜ ( 3 ) ,
A 1 L x ˜ ( 4 ) = 0.7 0.6 0.7 0.6 0.1 0.2 0.7 0.4 0.6 0.1 0.2 0.2 0.3 0.4 0.6 0.2 0.3 0.4 0.7 0.3 0.2 0.1 0.8 0.8 0.4 0.6 0 0.6 0.4 0.7 = 0.3 0 0.3 0.1 0.4 = 0.7 L x ˜ ( 4 ) ,
A 1 L x ˜ ( 5 ) = 0.7 0.6 0.7 0.6 0.1 0.2 0.7 0.4 0.6 0.1 0.2 0.2 0.3 0.4 0.6 0.2 0.3 0.4 0.7 0.3 0.2 0.1 0.8 0.8 0.4 0.6 0 0.6 0 0.7 = 0.3 0 0.3 0 0.4 = 0.7 L x ˜ ( 5 ) ,
Hence, X = [ x ̲ , x ¯ ] is a strongly tolerable max-Łuk eigenvector of A with the eigenvalue λ = 0.7 , and A 1 is the λ-certificate for the strong tolerance max-Łuk problem ( A , X ) .
Remark 5.
In general, not every matrix A A is a λ-certificate for ( A , X ) , for some λ. Take, e.g.,
A 2 = 0.8 0.8 0.9 0.7 0.5 0.5 0.8 0.9 0.8 0.5 0.5 0.7 0.5 0.5 0.8 0.5 0.5 0.5 0.8 0.8 0.5 0.2 0.9 0.9 0.8
and x ˜ ( 1 ) , x ˜ ( 2 ) , x ˜ ( 3 ) , x ˜ ( 4 ) , x ˜ ( 5 ) from Example 3. Then
A 2 L x ˜ ( 1 ) = A 2 0.8 0 0.6 0 0.7 = 0 0 0 0 0.1 λ L x ˜ ( 1 ) .
It is easy to see that the equality in the last position cannot hold for any λ I . That is, A 2 is not a λ-certificate in Example 3 with any λ I .
In Example 3, the certificate A 1 was given. Now the question arises of how to find a certificate (or to show that no certificate exists) for a given instance ( A , X ) . In other words, how do we recognize whether or not X is a strongly tolerable interval eigenvector of A ?
A method for solving the strong tolerance interval eigenproblem in a max-Łuk algebra for instances with a natural additional condition is described in the rest of this section. We start with a simple lemma.
Lemma 2.
Assume u , v , w I .
(i)
If u + v + w > 2 , then ( u L v ) L w = u + v + w 2 > 0 ,
(ii)
If u + v + w 2 , then ( u L v ) L w = 0 .
Proof. 
Let u + v + w > 2 . Then u + v > 2 w 2 1 = 1 , since 0 w 1 . Hence, u L v = u + v 1 > 0 , and ( u L v ) L w = ( u + v 1 ) + w 1 = u + v + w 2 > 0 .
On the other hand, if u + v + w 2 , then ( u + v 1 ) + ( w 1 ) 0 . We consider two subcases.
Subcase 1. Suppose u + v 1 > 0 . Then u L v = u + v 1 and u L v + w 1 0 . Hence, ( u L v ) L w = 0 .
Subcase 2. Suppose u + v 1 0 . Then u L v = 0 and u L v + w 1 = 0 + w 1 0 , since w 1 . That is, ( u L v ) L w = 0 . □
Remark 6.
It is easy to see directly from the definition that the Łukasiewicz conjunction L is commutative. As a consequence of Lemma 2, L is associative, as well.
Namely due to Lemma 2(i), we have, for any u , v , w I with u + v + w > 2 , that ( u L v ) L w = u + v + w 2 , and, by the commutative law, u L ( v L w ) = ( v L w ) L u = v + w + u 2 . That is, ( u L v ) L w = u L ( v L w ) . Similar reasoning is used when u + v + w 2 .
To recognize the existence of a certificate A A satisfying the conditions (15) from Theorem 4, the unknown A will be written as a max-Łuk linear combination of generators A ˜ ( i j ) as in Lemma 1 (ii).
The coefficients in the linear combination will be found as the solution to a system of max-Łuk linear equations with parameter λ , and the variables α ( i j ) in the bounds a ̲ i j = α ̲ ( i j ) α ( i j ) α ¯ ( i j ) = a ¯ i j . The form of the system will require that every solution of the system, for some parameter value λ , gives coefficients for such a max-Łuk linear combination of generators which is a λ -certificate matrix for the given instance. Then the recognition of strong tolerability is equivalent to the recognition of whether there is a value λ for which the system is solvable. On the other hand, if the system is unsolvable for every λ I , then no certificate exists for the given instance.
Formally, we consider the bounded max-Łuk linear system
C ˜ L α = λ L b ˜
α ̲ α α ¯
with parameter λ I , where the columns C ˜ ( i j ) of C ˜ I ( n 2 , n 2 ) are constructed blockwise from A ˜ ( i j ) x ˜ ( k ) , k N . The right-hand side vector b ˜ I ( n 2 ) is constructed blockwise from the generators x ˜ ( k ) for k N , and the bounds α ̲ , α ¯ I ( n 2 ) for the variable vector α I ( n 2 ) are constructed from the columns of A ̲ , A ¯ , according to Lemma 1 (ii). That is, we have
C ˜ ( i j ) = A ˜ ( i j ) L x ˜ ( 1 ) A ˜ ( i j ) L x ˜ ( 2 ) A ˜ ( i j ) L x ˜ ( n ) , b ˜ = x ˜ ( 1 ) x ˜ ( 2 ) x ˜ ( n ) ,
α ̲ ( i j ) = a ̲ i j a ¯ i j + 1 α ( i j ) 1 = α ¯ ( i j ) .
Theorem 5.
The interval vector X = [ x ̲ , x ¯ ] is a strongly tolerable eigenvector of the interval matrix A = [ A ̲ , A ¯ ] if and only if there is a λ I such that the linear system (17) and (18), has a solution α I ( n 2 ) . In the positive case, the max-Łuk linear combination
A = ( i j ) N × N α ( i j ) L A ˜ ( i j )
is a λ-certificate for the given instance.
Proof. 
Assume that there exists a λ I such that α satisfies (17), (18) with (19), (20). Then, A I ( n , n ) as defined in (21) belongs to [ A ̲ , A ¯ ] , in view of Lemma 1(ii). Moreover, we have the following block equations, for every k N
i , j N A ˜ ( i j ) L x ˜ ( k ) L α ( i j ) = λ L x ˜ ( k ) ,
i , j N α ( i j ) L A ˜ ( i j ) L x ˜ ( k ) = λ L x ˜ ( k ) ,
A L x ˜ ( k ) = λ L x ˜ ( k ) .
We will prove that the block Equations (22) and (23) are equivalent. In particular, we show that the left-hand sides of (22) and (23) in every row h and in every block row k are equal.
Assume k , h N are fixed. Then
i , j N A ˜ ( i j ) L x ˜ ( k ) L α ( i j ) h = i , j N A ˜ ( i j ) L x ˜ ( k ) h L α ( i j )
= i , j N g N A ˜ h g ( i j ) L x ˜ g ( k ) L α ( i j ) = i , j N g N A ˜ h g ( i j ) L x ˜ g ( k ) L α ( i j )
= i , j N g N α ( i j ) L A ˜ h g ( i j ) L x ˜ g ( k ) = i , j N g N α ( i j ) L A ˜ h g ( i j ) L x ˜ g ( k )
= i , j N α ( i j ) L A ˜ ( i j ) h L x ˜ ( k ) = i , j N α ( i j ) L A ˜ ( i j ) L x ˜ ( k ) h
Please note that the associative law has been used in (27). That is,
α ( i j ) L A ˜ h g ( i j ) L x ˜ g ( k ) = α ( i j ) L A ˜ h g ( i j ) L x ˜ g ( k ) ,
according to Remark 6. The remaining equalities (25), (26) and (28) are consequences of standard arithmetic rules in max-Łuk algebras.
Now, in view of the fact that (22) means that α I ( n 2 ) is a solution of (19), while (23) says that (21) satisfies (15), we obtain, due to Theorem 4 that X is a strongly tolerable eigenvector of A . The converse implication follows from the converse implication in Theorem 4. □
Theorem 5 reduces the recognition problem of whether X is a strongly tolerable eigenvector of A to the solvability problem of the bounded parametric system (17), (18) with dimension n 2 × n 2 for some λ I . The latter problem is a particular case of the bounded parametric solvability problem with general dimension m × n . The recognition algorithm can be briefly described by the following steps (for details and notation, see [28]):
(I)
permute the equations in the system so that the right-hand side will be decreasing, that is
0 1 b 1 1 b 2 1 b m 1 ,
(II)
recognize the solvability for some λ with 1 b m < λ 1 , according to [28]/Theorem 3 (case a), by verifying C L y ( λ max m ) = λ max m L b ,
(III)
recognize the solvability for some λ with 0 1 b h < λ 1 b h + 1 1 , according to [28]/Theorem 4 (case b), by verifying C L y ( λ max h ) = λ max h L b . This step may be repeated, if necessary, with different indices h m ,
(iv)
recognize the solvability for some λ with 0 λ 1 b 1 , according to [28]/Theorem 5 (case c), by verifying y ̲ j i M 1 c i j , for every j N .
(v)
the system is solvable if the answer is positive at least once in steps 2, 3 or 4. Otherwise, the system is unsolvable for any value of λ .
Theorem 6.
The recognition problem of whether a given interval vector X is a strongly tolerable eigenvector of a given interval matrix A in a max-Łuk algebra is solvable in O ( n 6 ) time.
Proof. 
According to [28], the parametric solvability problem with dimension m × n has the computational complexity O ( m n 2 ) . Therefore, the computational complexity of the strong tolerance problem with dimension n 2 × n 2 is O ( n 2 ) 3 = O ( n 6 ) . □
Example 4.
(Numerical illustration: Computing a certificate)
Assume that the lower and upper bounds for A [ A ̲ , A ¯ ] and x [ x ̲ , x ¯ ] in the interval eigenproblem are
A ̲ = 0.9 0.7 0.6 0.7 0.9 0.6 0.8 0.8 0.9 , A ¯ = 1 0.8 0.8 0.7 0.9 0.8 1 0.9 1
x ̲ = 0.7 0.8 0.9 , x ¯ = 0.9 0.8 0.9 .
If we wish to recognize whether X is a strongly tolerable max-Łuk eigenvector of A , then, according to Theorem 4, we must recognize the existence of a λ-certificate for ( A , X ) . In view of Theorem 5, we must recognize the solvability of the max-Łuk linear system C ˜ L α = λ L b ˜ with bounds α ̲ α α ¯ , for some λ I . The vector (matrix) generators are
x ˜ ( 1 ) = 0.9 0.8 0.9 , x ˜ ( 2 ) = 0.7 0.8 0.9 , x ˜ ( 3 ) = 0.7 0.8 0.9 .
A ˜ ( 11 ) = 1 0.7 0.6 0.7 0.9 0.6 0.8 0.8 0.9 , A ˜ ( 12 ) = 0.9 0.8 0.6 0.7 0.9 0.6 0.8 0.8 0.9 ,
A ˜ ( 13 ) = 0.9 0.7 0.8 0.7 0.9 0.6 0.8 0.8 0.9 , A ˜ ( 21 ) = 0.9 0.7 0.6 0.7 0.9 0.6 0.8 0.8 0.9 ,
A ˜ ( 22 ) = 0.9 0.7 0.6 0.7 0.9 0.6 0.8 0.8 0.9 , A ˜ ( 23 ) = 0.9 0.7 0.6 0.7 0.9 0.8 0.8 0.8 0.9 ,
A ˜ ( 31 ) = 0.9 0.7 0.6 0.7 0.9 0.6 1 0.8 0.9 , A ˜ ( 32 ) = 0.9 0.7 0.6 0.7 0.9 0.6 0.8 0.9 0.9 ,
A ˜ ( 33 ) = 0.9 0.7 0.6 0.7 0.9 0.6 0.8 0.8 1 .
The columns of the matrix C ˜ I ( 9 , 9 ) and the right-hand side vector b ˜ I ( 9 ) are computed blockwise according to (19), as follows.
C ˜ ( 11 ) = A ˜ ( 11 ) L x ˜ ( 1 ) A ˜ ( 11 ) L x ˜ ( 2 ) A ˜ ( 11 ) L x ˜ ( 3 ) = 0.9 0.7 0.8 0.7 0.7 0.8 0.7 0.7 0.8 , C ˜ ( 12 ) = A ˜ ( 12 ) L x ˜ ( 1 ) A ˜ ( 12 ) L x ˜ ( 2 ) A ˜ ( 12 ) L x ˜ ( 3 ) = 0.8 0.7 0.8 0.6 0.7 0.8 0.6 0.7 0.8 ,
C ˜ ( 13 ) = A ˜ ( 13 ) L x ˜ ( 1 ) A ˜ ( 13 ) L x ˜ ( 2 ) A ˜ ( 13 ) L x ˜ ( 3 ) = 0.8 0.7 0.8 0.7 0.7 0.8 0.7 0.7 0.8 , C ˜ ( 21 ) = A ˜ ( 21 ) L x ˜ ( 1 ) A ˜ ( 21 ) L x ˜ ( 2 ) A ˜ ( 21 ) L x ˜ ( 3 ) = 0.8 0.7 0.8 0.6 0.7 0.8 0.6 0.7 0.8 ,
C ˜ ( 22 ) = A ˜ ( 22 ) L x ˜ ( 1 ) A ˜ ( 22 ) L x ˜ ( 2 ) A ˜ ( 22 ) L x ˜ ( 3 ) = 0.8 0.7 0.8 0.6 0.7 0.8 0.6 0.7 0.8 , C ˜ ( 23 ) = A ˜ ( 23 ) L x ˜ ( 1 ) A ˜ ( 23 ) L x ˜ ( 2 ) A ˜ ( 23 ) L x ˜ ( 3 ) = 0.8 0.7 0.8 0.6 0.7 0.8 0.6 0.7 0.8 ,
C ˜ ( 31 ) = A ˜ ( 31 ) L x ˜ ( 1 ) A ˜ ( 31 ) L x ˜ ( 2 ) A ˜ ( 31 ) L x ˜ ( 3 ) = 0.8 0.7 0.9 0.6 0.7 0.8 0.6 0.7 0.8 , C ˜ ( 32 ) = A ˜ ( 32 ) L x ˜ ( 1 ) A ˜ ( 32 ) L x ˜ ( 2 ) A ˜ ( 32 ) L x ˜ ( 3 ) = 0.8 0.7 0.8 0.6 0.7 0.8 0.6 0.7 0.8 ,
C ˜ ( 33 ) = A ˜ ( 33 ) L x ˜ ( 1 ) A ˜ ( 33 ) L x ˜ ( 2 ) A ˜ ( 33 ) L x ˜ ( 3 ) = 0.8 0.7 0.9 0.6 0.7 0.9 0.6 0.7 0.9 , b ˜ = x ˜ ( 1 ) x ˜ ( 2 ) x ˜ ( 3 ) = 0.9 0.8 0.9 0.7 0.8 0.9 0.7 0.8 0.9 .
Hence, we wish to recognize the solvability of the system
C ˜ L α = 0.9 0.8 0.8 0.8 0.8 0.8 0.8 0.8 0.8 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.8 0.8 0.8 0.8 0.8 0.8 0.9 0.8 0.9 0.7 0.6 0.7 0.6 0.6 0.6 0.6 0.6 0.6 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.8 0.8 0.8 0.8 0.8 0.8 0.8 0.8 0.9 0.7 0.6 0.7 0.6 0.6 0.6 0.6 0.6 0.6 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.8 0.8 0.8 0.8 0.8 0.8 0.8 0.8 0.9 L α 1 α 2 α 3 α 4 α 5 α 6 α 7 α 8 α 9 = λ L 0.9 0.8 0.9 0.7 0.8 0.9 0.7 0.8 0.9 = λ L b ˜ .
The problem is a particular case of the bounded parametric solvability problem, with dimension n 2 × n 2 , and can be solved by the algorithm suggested in [28] (see also a brief description in this paper, before Theorem 6).
Depending on the permuted entries of b ˜ , we distinguish the following four cases: (a) λ ( 0.3 , 1 , (b) λ ( 0.1 , 0.2 , λ ( 0.2 , 0.3 and (c) λ ( 0 , 0.1 . We can verify that for λ = 0.9 the system C ˜ L α = λ L b ˜ has a solution α = ( 0.9 , 0.7 , 0.9 , 0.8 , 0.9 , 0.9 , 0.8 , 0.8 , 1 ) T fulfilling the inequalities a ̲ i j a ¯ i j + 1 α ( i j ) 1 , for every ( i , j ) N × N .
Using the coefficients α ( i j ) we get, by Theorem 5, that X is a strongly tolerable eigenvector of A , with certificate
A = ( i j ) N × N α ( i j ) L A ˜ ( i j ) = 0.9 0.7 0.7 0.7 0.9 0.7 0.8 0.8 1 .
Example 5.
(Numerical illustration: Computing a certificate - no certificate exists)
We assume the same lower and upper bounds for A [ A ̲ , A ¯ ] as in Example 4 and take different bounds for x [ x ̲ , x ¯ ] .
A ̲ = 0.9 0.7 0.6 0.7 0.9 0.6 0.8 0.8 0.9 , A ¯ = 1 0.8 0.8 0.7 0.9 0.8 1 0.9 1 ,
x ̲ = 0.7 0.7 0.7 , x ¯ = 1 1 1 .
Then the generators of A stay the same and
x ˜ ( 1 ) = 1 0.7 0.7 , x ˜ ( 2 ) = 0.7 1 0.7 , x ˜ ( 3 ) = 0.7 0.7 1 .
The matrix C ˜ and the right-hand side b ˜ then are
C ˜ = 1 0.9 0.9 0.9 0.9 0.9 0.9 0.9 0.9 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.8 0.8 0.8 0.8 0.8 0.8 1 0.8 0.8 0.7 0.8 0.7 0.7 0.7 0.7 0.7 0.7 0.7 0.9 0.9 0.9 0.9 0.9 0.9 0.9 0.9 0.9 0.8 0.8 0.8 0.8 0.8 0.8 0.8 0.9 0.8 0.7 0.6 0.8 0.6 0.6 0.6 0.6 0.6 0.6 0.6 0.6 0.6 0.6 0.6 0.8 0.6 0.6 0.6 0.9 0.9 0.9 0.9 0.9 0.9 0.9 0.9 1 , b ˜ = 1 0.7 0.7 0.7 1 0.7 0.7 0.7 1 .
Similarly as in the previous example we distinguish, depending on the permuted entries of b ˜ , the following three cases: (a) λ ( 0.3 , 1 , (b) λ ( 0 , 0.3 and (c) λ = 0 . It can be verified that the system C ˜ L α = λ L b ˜ has no solution in any of these cases.
Consequently, the considered system is not solvable for any value of λ. That is, no certificate for strong tolerability exists and the given X is not a strongly tolerable eigenvector of A .

5. Strongly Universal Interval Eigenvectors in a max-Łuk Algebra

In this section, we present two necessary and sufficient conditions for characterizing a strongly universal eigenvector. The first condition is based on the generators of A , while the second one uses the lower bound and the upper bound of A .
Theorem 7.
Let A and X be given such that a ̲ i j = a ¯ i j for some i , j N . The interval vector X is a strongly universal max-Łuk eigenvector of the interval matrix A = [ A ̲ , A ¯ ] if and only if there exists an x X and a λ I such that
A ˜ ( i j ) L x = λ L x f o r e v e r y   i , j N .
Proof. 
Let us assume that there are x X and λ I fulfilling condition (30). If A I ( n 2 ) is an arbitrary matrix in A , then A is a max-Łuk linear combination A = i j N α i j L A ˜ ( i j ) for some coefficients α i j I , i , j N with a ̲ i j a ¯ i j + 1 α i j 1 . According to Lemma 1(ii),
A L x = i j N α i j L A ˜ ( i j ) L x = i j N α i j L A ˜ ( i j ) L x = i j N α i j L λ L x = i j N α i j L λ L x = λ L x
because a ̲ i j = a ¯ i j for some i , j N implies i j N α i j = 1 and i j N α i j L λ = λ . By Definition 1, X is a strongly universal eigenvector of A . The converse implication follows immediately. □
Theorem 8.
Suppose given an interval matrix A = [ A ̲ , A ¯ ] and interval vector X with bounds x ̲ , x ¯ . Then X is a strongly universal eigenvector of A if and only if there are λ I and x X such that A ̲ L x = λ L x and A ¯ L x = λ L x .
Proof. 
Let us suppose that there are λ and x X such that A ̲ L x = A ¯ x = λ x . From the monotonicity of the operations ⊕ and L we get λ L x = A ̲ L x A L x A ¯ L x = λ L x for every A A . The converse implication is trivial. □
The condition described in Theorem 8 can be verified by solving a two-sided max-Łuk system defined as follows. Define the block matrices C I ( 2 n , n ) , D I ( 2 n , n ) by
C = A ̲ L x ˜ ( 1 ) A ̲ L x ˜ ( n ) A ¯ L x ˜ ( 1 ) A ¯ L x ˜ ( n ) , D = x ˜ ( 1 ) x ˜ ( n ) x ˜ ( 1 ) x ˜ ( n ) .
Theorem 9.
Assume that an interval matrix A = [ A ̲ , A ¯ ] and an interval vector X = [ x ̲ , x ¯ ] are given. Then X is a strongly universal eigenvector of A if and only if the bounded two-sided max-Łuk linear system with variable β I ( n )
C L β = λ L D L β
x ̲ x ¯ + 1 β 1
is solvable for some value of the parameter λ I . If β I ( n ) is a solution to the system, then x = i = 1 n β i x ˜ i satisfies the condition in Theorem 8.
Proof. 
Let us suppose that there is a λ such that the two-sided system C β = λ D β has a solution β . Put x = i = 1 n β i x ˜ i . Then the following formulas are equivalent
C β = λ D β
i = 1 n A ̲ x ˜ ( i ) β i = λ i = 1 n x ˜ ( i ) β i and i = 1 n A ¯ x ˜ ( i ) β i = λ i = 1 n x ˜ ( i ) β i
i = 1 n A ̲ x ˜ ( i ) β i = λ i = 1 n x ˜ ( i ) β i and i = 1 n A ¯ x ˜ ( i ) β i = λ i = 1 n x ˜ ( i ) β i
A ̲ i = 1 n β i x ˜ ( i ) = λ i = 1 n β i x ˜ ( i ) and A ¯ i = 1 n β i x ˜ ( i ) = λ i = 1 n β i x ˜ ( i )
A ̲ x = λ x and A ¯ x = λ x .
The assertion follows by Theorem 8. □
By Theorem 9, the verification of whether X is a strongly universal eigenvector of A is reduced to the verification of the solvability of the system C L x = λ L D L x . A similar situation in max-min algebra is solved by a polynomial algorithm for the solvability of such a system, with a complexity equal to O ( n 3 ) [29].
In max-plus algebra, the solvability of the considered system has been generally shown to be polynomially equivalent to solving a mean-payoff game [30]. That is, there exist efficient pseudopolynomial algorithms for this problem. On the other hand, the existence of a polynomial algorithm is a long-standing open question. Similarly, for a max-Łuk algebra, the existence of a polynomial algorithm for the solvability recognition problem remains open.
Example 6.
(Numerical illustration: Strongly universal interval eigenvector)
Assume that A [ A ̲ , A ¯ ] and x [ x ̲ , x ¯ ]
A ̲ = 0.6 0.3 0.4 0.1 0 0.2 0.2 0.2 0.6 , A ¯ = 0.6 0.7 0.5 0.4 0.6 0.5 0.5 0.7 0.6
x ̲ = 0.1 0.2 0.1 , x ¯ = 0.7 0.6 0.7 .
It is easy to verify that for a given λ = 0.4 , x = ( 0.1 , 0.2 , 0.1 ) T and for every matrix generator A ˜ i j , i , j N ,
A ˜ i j x = A ˜ i j 0.1 0.2 0.1 = 0 0 0 = 0.4 0.1 0.2 0.1 = λ L x .
Hence, in view of Theorem 7, the interval vector X is a strongly universal max-Łuk eigenvector of the interval matrix A .
Theorem 9 offers a more systematic approach: find a solution to the two-sided system (32) and (33) with unknown coefficients β, for some λ I :
0.3 0 0.1 0 0 0 0 0 0.3 0.3 0.3 0.2 0.1 0.2 0.2 0.2 0.3 0.3 L β 1 β 2 β 3 = λ L 0.7 0.1 0.1 0.2 0.6 0.2 0.1 0.1 0.7 0.7 0.1 0.1 0.2 0.6 0.2 0.1 0.1 0.7 L β 1 β 2 β 3 ,
0.4 0.6 0.4 β 1 β 2 β 3 1 1 1 .
In this particular instance, it is easy to verify that β = ( 0.9 , 0.8 , 0.8 ) T is a solution to the system with λ = 0.6 . Then the corresponding linear combination of generators, x = ( 0.9 L x ˜ ( 1 ) ) ( 0.8 L x ˜ ( 2 ) ) ( 0.8 L x ˜ ( 3 ) ) = ( 0.6 , 0.4 , 0.5 ) T , satisfies the condition from Theorem 8. It is worth noticing that we have found two different universal eigenvectors x and x for two different values λ and λ in this example. Hence, we have shown that neither the “strongly universal” eigenvalue nor the strongly universal eigenvector are uniquely determined.

6. Conclusions

Strong versions of the notion of an interval eigenvector of an interval matrix in a max-Łuk algebra have been investigated in this paper. The steady states of a given discrete events system (DES) correspond to eigenvectors of the transition matrix of the system under consideration. When the entries of the state vectors and transition matrix are supposed to be contained in some intervals, then several types of interval eigenvector can be defined, according to the choice of the quantifiers used in the definition. Three of the main important types of interval eigenvectors of a given interval matrix in a max-Łuk algebra have been studied: the strong eigenvector, the strongly tolerable eigenvector, and the strongly universal eigenvector.
Using vector generators and matrix generators belonging to given intervals, the structure of the eigenspace for each of the above mentioned types has been described, and necessary and sufficient conditions for the existence of an interval eigenvector have been formulated. Moreover, recognition algorithms have been suggested for the recognition of these conditions for the first two types: strong and strongly tolerable eigenvector. The existence of an efficient recognition algorithm for the strongly universal type has not been shown. This question remains as a challenge for future research.
These results can be useful in practical applications aimed at the construction of real DES working with Łukasiewicz fuzzy logic. The results have been illustrated by numerical examples.

Author Contributions

Investigation, M.G., Z.N. and J.P.; Writing–review and editing, M.G., Z.N. and J.P. All authors contributed equally to this manuscript. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the Czech Science Foundation (GAČR) #18-01246S and by the Faculty of Informatics and Management UHK, specific research project 2107 Computer Networks for Cloud, Distributed Computing, and Internet of Things III.

Conflicts of Interest

The authors declare no conflict of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.

References

  1. Schweizer, B.; Sklar, A. Statistical metric spaces. Pac. J. Math. 1960, 10, 313–334. [Google Scholar] [CrossRef] [Green Version]
  2. Gottwald, S. A Treatise on Many-Valued Logics; Studies in Logic and Computation, Research Studies Press: Baldock, Great Britain, 2001. [Google Scholar]
  3. Gavalec, M. Periodicity in Extremal Algebras; Gaudeamus: Hradec Králové, Czech Republic, 2004. [Google Scholar]
  4. Golan, J.S. Semirings and Their Applications; Springer: Berlin, Germany, 2013. [Google Scholar]
  5. Gondran, M.; Minoux, M. Graphs, Dioids and Semirings: New Models and Algorithms; Springer: Berlin, Germany, 2008; Volume 41. [Google Scholar]
  6. Kolokoltsov, V.; Maslov, V.P. Idempotent Analysis and Its Applications; Springer: Berlin, Germany, 1997; Volume 401. [Google Scholar]
  7. Mysková, H. Interval eigenvectors of circulant matrices in fuzzy algebra. Acta Electrotech. Inform. 2012, 12, 57. [Google Scholar] [CrossRef]
  8. Mysková, H. Weak stability of interval orbits of circulant matrices in fuzzy algebra. Acta Electrotech. Inform. 2012, 12, 51. [Google Scholar] [CrossRef]
  9. Plavka, J. On the weak robustness of fuzzy matrices. Kybernetika 2013, 49, 128–140. [Google Scholar]
  10. Tan, Y.J. Eigenvalues and eigenvectors for matrices over distributive lattices. Linear Algebra Appl. 1998, 283, 257–272. [Google Scholar] [CrossRef] [Green Version]
  11. Zimmermann, K. Extremální Algebra; Útvar vědeckỳch Informací Ekonomického Ústavu ČSAV: Praha, Czech Republic, 1976. [Google Scholar]
  12. Saleem, N.; Abbas, M.; De la Sen, M. Optimal Approximate Solution of Coincidence Point Equations in Fuzzy Metric Spaces. Mathematics 2019, 7, 327. [Google Scholar] [CrossRef] [Green Version]
  13. Alolaiyan, H.; Saleem, N.; Abbas, M. A natural selection of a graphic contraction transformation in fuzzy metric spaces. J. Nonlinear Sci. Appl. 2018, 11, 218–227. [Google Scholar] [CrossRef]
  14. Butkovic, P. Max-Linear Systems: Theory and Algorithms; Springer: Berlin, Germany, 2010; p. 272. [Google Scholar] [CrossRef]
  15. Cuninghame-Green, R.A. Minimax Algebra; Springer: Berlin, Germany, 2012; Volume 166. [Google Scholar]
  16. Gavalec, M. Monotone eigenspace structure in max-min algebra. Linear Algebra Appl. 2002, 345, 149–167. [Google Scholar] [CrossRef] [Green Version]
  17. Gavalec, M.; Němcová, Z.; Sergeev, S. Tropical linear algebra with the Łukasiewicz T-norm. Fuzzy Sets Syst. 2015, 276, 131–148. [Google Scholar] [CrossRef] [Green Version]
  18. Gavalec, M.; Rashid, I.; Cimler, R. Eigenspace structure of a max-drast fuzzy matrix. Fuzzy Sets Syst. 2014, 249, 100–113. [Google Scholar] [CrossRef]
  19. Rashid, I.; Gavalec, M.; Cimler, R. Eigenspace structure of a max-prod fuzzy matrix. Fuzzy Sets Syst. 2016, 303, 136–148. [Google Scholar] [CrossRef]
  20. Collins, P.; Niqui, M.; Revol, N. A validated real function calculus. Math. Comput. Sci. 2011, 5, 437–467. [Google Scholar] [CrossRef] [Green Version]
  21. Fiedler, M.; Nedoma, J.; Ramík, J.; Rohn, J.; Zimmermann, K. Linear Optimization Problems with Inexact Data; Springer: Berlin, Germany, 2006. [Google Scholar]
  22. Gavalec, M.; Ramík, J.; Zimmermann, K. Interval eigenproblem in max-min algebra. In Decision Making and Optimization; Springer: Berlin, Germany, 2015; pp. 163–181. [Google Scholar]
  23. Litvinov, G.L.; Sobolevskiī, A.N. Idempotent interval analysis and optimization problems. Reliab. Comput. 2001, 7, 353–377. [Google Scholar] [CrossRef]
  24. Gavalec, M.; Plavka, J. Monotone interval eigenproblem in max–min algebra. Kybernetika 2010, 46, 387–396. [Google Scholar]
  25. Gavalec, M.; Plavka, J.; Tomášková, H. Interval eigenproblem in max-min algebra. Liner Algebra Appl. 2014, 440, 24–33. [Google Scholar] [CrossRef]
  26. Gavalec, M.; Plavka, J.; Ponce, D. Tolerance types of interval eigenvectors in max-plus algebra. Inf. Sci. 2017, 367, 14–27. [Google Scholar] [CrossRef]
  27. Gavalec, M.; Zimmermann, K. Classification of solutions to systems of two-sided equations with interval coefficients. Int. J. Pure Appl. Math. 2008, 45, 533. [Google Scholar]
  28. Gavalec, M.; Němcová, Z. Solvability of a Bounded Parametric System in Max-Łukasiewicz Algebra. Mathematics 2020, 8, 1026. [Google Scholar] [CrossRef]
  29. Gavalec, M.; Zimmermann, K. Solving systems of two sided (max, min) linear equations. Kybernetika 2010, 46, 405–414. [Google Scholar]
  30. Allamigeon, X.; Fahrenberg, U.; Gaubert, S.; Katz, R.D.; Legay, A. Tropical Fourier–Motzkin elimination, with an application to real-time verification. Int. J. Algebra Comput. 2014, 24, 569–607. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Gavalec, M.; Němcová, Z.; Plavka, J. Strong Tolerance and Strong Universality of Interval Eigenvectors in a Max-Łukasiewicz Algebra. Mathematics 2020, 8, 1504. https://doi.org/10.3390/math8091504

AMA Style

Gavalec M, Němcová Z, Plavka J. Strong Tolerance and Strong Universality of Interval Eigenvectors in a Max-Łukasiewicz Algebra. Mathematics. 2020; 8(9):1504. https://doi.org/10.3390/math8091504

Chicago/Turabian Style

Gavalec, Martin, Zuzana Němcová, and Ján Plavka. 2020. "Strong Tolerance and Strong Universality of Interval Eigenvectors in a Max-Łukasiewicz Algebra" Mathematics 8, no. 9: 1504. https://doi.org/10.3390/math8091504

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop