Original scientific papers
This work is licensed under Creative Commons Attribution 4.0 International.
Received: 22 March 2022
Revised document received: 21 June 2022
Accepted: 23 June 2022
DOI: https://doi.org/10.5937/vojtehg70-37109
Abstract:
Introduction/purpose: A fixed point theorem of an order-preserving mapping on a complete partial b-metric space satisfying a contractive condition is constructed.
Methods: Extension of the results of Batsari et al.
Results: The fidelity of quantum states is used to construct the existence of a fixed quantum state.
Conclusions: The fixed quantum state is associated to an orderpreserving quantum operation.
Keywords: partial b-metric space, order-preserving mapping, quantum operation, fidelity of quantum state, Bloch Vector.
Pезюме:
Введение/цель: Сконструирована теорема о неподвижной точке с сохранением порядка в полном и частичном bметрическом пространстве при выполнении условий сжатия.
Методы: В данной статье применен метод расширения результатов Батсари и др.
Результаты: Точность квантового состояния используется для построения неподвижного квантового состояния.
Выводы: Неподвижное квантовое состояние связано с квантовой операцией, сохраняющей порядок.
Ключевые слова: частичное b-метрическое пространство, отображение с сохранением порядка, квантовая операция, точность квантового состояния, вектор Блоха.
Abstract:
Увод/циљ: Конструисана је теорема фиксне тачке мапирања с очувањем редоследа на комплетном парцијалном b-метричком простору уз задовољавање контрактивног услова.
Методе: Примењен метод проширен је резултатима Батсарија и других.
Резултати: Верност квантног стања користи се за конструисање фиксног квантног стања.
Закључак: Фиксно квантно стање повезано је са квантном операцијом која чува редослед.
Keywords: парцијални б-метрички простор, мапирање с очувањем редоследа, квантна операција, верност квантног стања, Блохов вектор.
Introduction and preliminaries
A partial metric space is a generalized metric space in which each object does not necessarily have a zero distance from itself (Aamri & El Moutawakil, 2002). Another angle of fixed point research emerged with the approach of the Knaster-Tarski fixed point theorem (Knaster, 1928; Tarski, 1955). The idea was first initiated from Knaster and Tarski in 1927 (Knaster, 1928), and later Tarski found some improvement of the work in 1939, which he discussed in some public lectures between 1939 and 1942 (Tarski, 1955, 1949). Finally, in 1955, Tarski (Tarski, 1955) published the comprehensive results together with some applications. A different property of this theorem is that it involves an order relation defined on the space of consideration. Indeed, the order relation serves as an alternative to the continuity and contraction of the mappings as found in the Brouwer (Brouwer, 1911) and Banach (Banach, 1922) fixed point theorems, respectively, see (Tarski, 1955).
After the approach of the Brouwer (Brouwer, 1911), Banach (Banach, 1922) and Knaster-Tarski (Tarski, 1955) fixed point theorems, many researchers become involved in extension (Browder, 1959; Leray & Schauder, 1934; Schauder, 1930), generalization (Batsari et al, 2018; Browder, 1959; Du et al, 2018) and improvements (Batsari et al, 2018; Batsari & Kumam, 2018; Kannan, 1972; Khan et al, 1984) of the theorems using different spaces and functions. In the way of generalizing spaces was Bourbaki-Bakhtin-Cezerwik’s b-metric space (Bakhtin, 1989; Bourbaki, 1974; Czerwik, 1993), Matthews’s partial metric space (Matthews, 1994) and Shukla’s Partial b-metric space (Shukla, 2014).
In the area of the quantum information theory, a qubit is seen as a quantum system, whereas a quantum operation can be inspected as the measurement of a quantum system; it describes the development of the system through the quantum states. Measurements have some errors which can be corrected through quantum error correction codes. The quantum error correction codes are easily developed through the information-preserving structures with the help of the fixed points set of the associated quantum operation. Therefore, the study of quantum operations is necessary in the field of the quantum information theory, at least in developing the error correction codes, knowing the state of the system (qubit) and the description of energy dissipation effects due to loss of energy from a quantum system (Nielsen & Chuang, 2000).
In 1951, Luders (Lüders, 1950) discussed the compatibility of quantum states in measurements (quantum operations). He also proved that the compatibility of quantum states in measurements is equivalent to the commutativity of the states with each quantum effects in the measurement.
In 1998, Busch et al. (Busch & Singh, 1998) generalized the Luders theorem. He also showed that a state is unchanged under a quantum operation if the state commutes with every quantum effect that relates the quantum operation. In 2002, Arias et al. (Arias et al, 2002) studied the fixed point sets of a quantum operation and gave some conditions for which the set is equal to a commutate set of the quantum effects that described the quantum operation. In 2011, Long and Zhang (Zhang & Ji, 2012) deliberated the fixed point set for quantum operations, they presented some necessary and sufficient conditions for the existence of a non-trivial fixed point set. Similarly, in 2012, Zhang and Ji (Long & Zhang, 2011) deliberated the existence of a non-trivial fixed point set of a generalized quantum operation. In 2016, Zhang and Si (Zhang & Si, 2016) explored the conditions for which the fixed point set of a quantum operation 
with respect to a row contraction A equals to the fixed point set of the power of the quantum operation 
for some 1 ≤ j < +∞. Other useful references are (Agarwal et al, 2015; Debnath et al, 2021; Kirk & Shahzad, 2014).
DEFINITION 1. (Shukla, 2014) A partial b-metric on the set X is a function 
such that,
denotes the partial b-metric space. Note that every partial metric is a partial b-metric with s = 1. Also, every b-metric is a partial b-metric with ps(x, x) = 0, for all x, y ∈ X.
A sequence {xn} in the space (X, ps) converges with respect to the topology τb to a point x ∈ X, if and only if
(1)The sequence {xn} is Cauchy in (X, ps) if the below limit exists and is finite
(2)A partial b-metric space (X, ps) is complete, if every Cauchy sequence {xn} in (X, ps) converges to a point x ∈ X such that,
(3)DEFINITION 2. A mapping T is said to be order-preserving on X, whenever x ⪯ y implies T(x) ⪯ T(y) for all x, y ∈ X.
Main result
The objective of this work is to establish a fixed point theorem in a complete partial b-metric space.
THEOREM 1. Let (X, ps) be a complete partial b-metric space with s ≥ 1 and associated with a partial order ⪯. Suppose an order preserving mapping T : X → X satisfies
(4)for all comparable x, y ∈ X, where α, β ∈ [0, θ] and 
If there exists x0 ∈ X such that x0 ⪯ T(x0), then T has a unique fixed point 
∈ X such that ps(
, 
) = 0.
Proof. Suppose x0
T(x0), define a sequence {xn} ⊆ X by xn = Tn(x0) and let qn = ps(xn, xn+1). It is clear that if xn = xn+1 for some natural number n, then xn is a fixed point of T, i.e., xn+1 = T(xn) = xn.
Let xn+1
xn for all n ∈ N. Then, we proceed as follows:
Thus, we have
which implies
(5)By simplifying (5), we have
(6)For 
, we deduce that
Therefore, from (6), we conclude that ps(xn, xn+1) = qn ≤ qn−1 = ps(xn−1, xn). Thus, 
is a monotone non-increasing sequence of real numbers and bounded below by 0. Therefore, limn→+∞ qn = 0, see Chidume et al. (Chidume & Chidume, 2014).
Next, we show 
is Cauchy. Let xn, xm ∈ X, for all n, m∈
.
(7)implies that
(8)Now, taking the limit as n, m → +∞ in (7), we have
Therefore, {xn} is a Cauchy sequence in X. For X being complete, there exists 
∈ X such that
Now, we proceed to prove the existence of the fixed point of T satisfying (1). Let x0 ∈ X be such that x0 ⪯ T(x0). If T(x0) = x0 then, x0 is a fixed point of T. Recall that, T is order-preserving and x0 ⪯ T(x0) then, we have x0 ⪯ T(x0) = x1, x1 ⪯ T(x1) = x2, x2 ⪯ T(x2) = x3, · · · , xn ⪯ T(xn) = xn+1. By transitivity of ⪯, we have x0 ⪯ x1 ⪯ x2 ⪯ x3 ⪯ · · · ⪯ xn ⪯ xn+1 ⪯ · · · .
For showing 
∈ X is a fixed point of T, we proceed as follows:
(9)
Case I: Suppose max{ps(xn, 
), ps(xn, T(
)), ps(
, T(xn))} = ps(xn, 
). Then, from inequality (9), we have
From the above inequality, we have
which implies
(10)We can observe that for 
,
(11)If 
, then, from equality (11) we have
(12)Similarly, if 
, then, from equality (11),
(13)From equalities (12) and (13), we conclude that the right-hand side of (10) is non-negative.
Case II: Suppose max{ps(xn, 
), ps(xn, T(
)), ps(
, T(xn))} = ps(xn, T(
)). Then, from inequality (9), we have
from the above inequality, we have
so that
(14)from the fact that 
, we have if α > β then by (14), we have
(15)If 
by (15), we have
(16)If 
by (15), we have
(17)From inequalities (16) and (17), we conclude that the right-hand side of (10) is non-negative.
If α < β, then by (14), we have
(18)Similarly for (18), we conclude that the right-hand side of (10) is non-negative.
Case III: Suppose max{ps(xn, 
), ps(xn, T(
)), ps(
, T(xn))} = ps(
, T(xn))). Then, from inequality (9), we have
By the simplification of the above equality, we have
(19)Note that, for any value of α, β ∈ [0, θ) and 4 − s2β − sβ ≥ 0. Thus, the right-hand side of (10) is non-negative. Taking the limit as n → +∞ of both sides in the respective inequalities (10), (14) and (19), we conclude that
Thus, T(
) = 
.
Next, we prove that if 
∈ X is a fixed point of T, then ps(
, 
) = 0.
Suppose ps(
, 
)
0. Then
This is contradicting the fact that ps(
, 
)
0. Therefore, ps(
, 
) = 0.
Last, we will prove the uniqueness of the fixed point. Let x1, x2 ∈ X be two distinct fixed points of T. Then
This is a contradiction. Therefore, the fixed point is unique.
REMARK 2. If we take 
and ps(x, T(y)) + ps(y, T(x)) ≥ ps(x, T(x)) + ps(y, T(y)) then we find Theorem 1 of Batsari et al. (Batsari & Kumam, 2020).
COROLLARY 3. Let (X, p) be a complete partial metric space associated with a partial order ⪯. Suppose an order-preserving mapping T : X → X satisfies
(20)for all comparable x, y ∈ X, where θ ∈ [0, 1]. If there exists x0 ∈ X such that x0 ⪯ T(x0), then T has a unique fixed point 
∈ X and p(
, 
) = 0.
Now we apply our main result similar to (Batsari & Kumam, 2020) as follows:
Application to quantum operations
In quantum systems, measurements can be seen as quantum operations (Seevinck, 2003). Quantum operations are very important in narrating quantum systems that collaborate with the environment.
Let 
be the set of bounded linear operators on the separable complex Hilbert space H; 
is the state space of consideration. Suppose 
is a collection of operators 
satisfying 
. A map 
of the form 
is called a quantum operation (Arias et al, 2002), quantum operations can be used in quantum measurements of states. If the Ai ’s are self adjoint then, 
is self-adjoint.
General quantum measurements that have more than two values are narrated by effect-valued measures (Arias et al, 2002). Denote the set of quantum effects by 
. Consider the discrete effect-valued measures narrated by a sequence of Ei ∈ ε(H), i = 1, 2, . . . satisfying Ei = I where the sum converges in the strong operator topology. Therefore, the probability that outcome i eventuates in the state ρ is ρ(Ei) and the post-measurement state given that i eventuates is 
(Arias et al, 2002). Furthermore, the resulting state after the implementation of measurement without making any consideration is given by
(21)If the measurement does not disturb the state ρ, then we have ϕ(ρ) = ρ.
Furthermore, the probability that an effect A eventuates in the state r given that the measurement was conducted is
(22)If A is not interrupted by the measurement in any state we have
and by defining 
, we end up with ϕ(A) = A.
From now, we will be dealing with a bi-level (|0⟩, |1⟩) single qubit quantum system where a quantum state |Ψ⟩ can be narrated as
see (Batsari & Kumam, 2020; Nielsen & Chuang, 2000). Considering the characterization of a bi-level quantum system by the Bloch sphere (Figure 1) above, a quantum state (|Ψ⟩) can be represented with the density matrix below (ρ),
(23)Also, the density (ρ) matrix is,
(24)where 
is the Bloch vector with 
, and σ = [σx, σy, σz] where
Figure 1
Bloch sphere
Let ρ, σ be two quantum states in a bi-level quantum system. Then, the Bures fidelity (Bures, 1969) between the quantum states ρ and σ is defined as
The Bures fidelity satisfies 0 ≤ F(ρ, σ) ≤ 1, if ρ = σ it takes the value 1 and 0 if ρ and σ have an orthogonal support (Nielsen & Chuang, 2000).
Now consider a two-level quantum system X represented with the collection of density matrices {ρ : ρ is as defined in Equation (24)}. Define the function ps : X × X → 
as follows:
It is easy to show that ps is a b-metric on X with s taking the value 1 approximately. They also define an order relation ⪯ on X by
(25)It is easy to show that the order relation defined above is a partial order (Batsari & Kumam, 2020).
As in (Batsari & Kumam, 2020), we find the following corollary.
COROLLARY 4. Let (ps, X) be a complete partial b-metric space associated with the above order ⪯. Suppose an order-preserving quantum operation T : X → X that satisfies conditions in Theorems 1. Then, T has a fixed point.
The following example validates our main result.
EXAMPLE 0.1. Consider the depolarizing quantum operation T on the Bloch sphere X; 
with the depolarizing parameter p ∈ [0, 1]. Let the comparable quantum states satisfy (25).
We examine that T : X → X satisfies all the conditions of our theorem. Now, let ρ, δ ∈ X. We show that T is order preserving with definition (25). For this, we will prove that if ρ ⪯ δ then T(ρ) ⪯ T(δ).
Therefore, as (Batsari & Kumam, 2020) using the Bloch sphere representation of states in a bi-level quantum system below
So
Clearly, the angles θ and ϕ do not change by the depolarizing quantum operation T. Also, we can deduce that the distance of the quantum state ρ from the origin given by µ is greater than or equal to the distance of the new quantum state T(ρ) from the origin given by (1−p)µ, p ∈ [0, 1]. Consequently, for any two quantum states which are comparable ρ, δ ∈ X(ρ ⪯ δ), with respective distances from the origin µρ and µδ such that, µρ ≤ µδ, the depolarizing quantum operation T constructs two quantum states T(ρ), T(δ) ∈ X, have distances (1 − p)µρ and (1 − p)µδ from the origin for p ∈ [0, 1] respectively. Since µρ ≤ µδ, then (1 − p)µρ ≤ (1 − p)µδ, for all p ∈ [0, 1]. Thus, T(ρ) ⪯ T(δ), which proves T is order-preserving.
The fidelity of any two quantum states 
and 
is,
(26)see (Batsari & Kumam, 2020; Chen et al, 2002), where 
is the inner dot product between the vectors 
and 
. So, for any comparable quantum states 
and 
for ϑ being the angle between
and
. Using Equation (26), we have,
see (Davies, 1976; Göhde, 1965). Thus, 
for ρ, δ ∈ X. Now, using s = 1 and θ ∈ [0, 1] on Theorems 1. We have
Taking 
and β = 1, condition (1) in Theorem 1 is satisfied. So T has a unique fixed point in X.
References
Aamri, M. & El Moutawakil, D. 2002. Some new common fixed point theorems under strict contractive conditions. Journal of Mathematical Analysis and Applications, 270(1), pp.181-188. Available at: https://doi.org/10.1016/S0022-247X(02)00059-8.
Agarwal, R.P., Karapinar, E., O’Regan, D. & Roldán-López-de-Hierro, A.F. 2015. Fixed point theory in metric type spaces. Springer, Cham. Available at: https://doi.org/10.1007/978-3-319-24082-4. ISBN: 978-3-319-24082-4.
Arias, A., Gheondea, A. & Gudder, S. 2002. Fixed Points of Quantum Operations. Journal of Mathematical Physics, 43(12), pp.5872-5881. Available at: https://doi.org/10.1063/1.1519669.
Bakhtin, I. 1989. The contraction mapping principle in quasimetric spaces. Func. An., Gos. Ped. Inst. Unianowsk, 30, pp.26-37.
Banach, S. 1922. Sur les opérations dans les ensembles abstraits et leur applications aux équations intégrales. Fundamenta Mathematicae, 3, pp.133-181 (in French). Available at: https://doi.org/10.4064/fm-3-1-133-181.
Batsari, U.Y. & Kumam, P. 2018. A Globally Stable Fixed Point in an Ordered Partial Metric Space. In: Anh, L., Dong, L., Kreinovich, V. & Thach, N. (Eds.) Econometrics for Financial Applications. ECONVN 2018. Studies in Computational Intelligence, 760, pp.360-368. Springer, Cham. Available at: https://doi.org/10.1007/978-3-319-73150-6_29.
Batsari, U.Y. & Kumam, P. 2020. Some Generalised Fixed Point Theorems Applied to Quantum Operations. Symmetry, 12(5), art.ID:759. Available at: https://doi.org/10.3390/sym12050759.
Batsari, U.Y., Kumam, P. & Sitthithakerngkiet, K. 2018. Some globally stable fixed points in b-metric spaces. Symmetry, 10(11), art.ID:555. Available at: https://doi.org/10.3390/sym10110555.
Bourbaki, N. 1974. Topologie Generale. Paris, France: Herman. ISBN-13: 978-2705656928.
Brouwer, L.E.J. 1911. Über Abbildung von Mannigfaltigkeiten. Mathematische Annalen, 71, pp.97-115. Available at: https://doi.org/10.1007/BF01456931.
Browder, F.E. 1959. On a generalization of the Schauder fixed point theorem. Duke Mathematical Journal, 26(2), pp.291-303. Available at: https://doi.org/10.1215/S0012-7094-59-02629-8.
Bures, D. 1969. An Extension of Kakutanis Theorem on Infinite Product Measures to the Tensor Product of Semifinite w*-Algebras. Transactions of the American Mathematical Society, 135, pp.199-212. Available at: https://doi.org/10.2307/1995012.
Busch, P. & Singh, J. 1998. Lüders Theorem for Unsharp Quantum Measurements. Physics Letters A, 249(1-2), pp.10-12. Available at: https://doi.org/10.1016/S0375-9601(98)00704-X.
Chen, J-L., Fu, L., Ungar, A.A. & Zhao, X-G. 2002. Alternative fidelity measure between two states of an N-state quantum system. Physical Review A, 65(art.number:054304). Available at: https://doi.org/10.1103/PhysRevA.65.054304.
Chidume, C.E. & Chidume, C.O. 2014. Foundations of Mathematical Analysis. Ibadan, Nigeria: University of Ibadan, Ibadan University Press Publishing House. ISBN: 978-978-8456-32-2.
Czerwik, S. 1993. Contraction mappings in b-metric spaces. Acta Mathematica et Informatica Universitatis Ostraviensis, 1(1), pp.5-11 [online]. Available at: https://dml.cz/handle/10338.dmlcz/120469 [Accessed: 20 March 2022].
Davies, E.B. 1976. Quantum Theory of Open Systems. London, UK: Academic Press. ISBN-13: 978-0122061509.
Debnath, P., Konwar, N. & Radenović, S. 2021. Metric Fixed Point Theory: Applications in Science, Engineering and Behavioural Sciences. Springer Verlag, Singapore. Available at: https://doi.org/10.1007/978-981-16-4896-0 .
Du, W-S., Karapinar, E. & He, Z. 2018. Some Simultaneous Generalizations of Well-Known Fixed Point Theorems and Their Applications to Fixed Point Theory. Mathematics, 6(7), art.ID:117. Available at: https://doi.org/10.3390/math6070117.
Göhde, D. 1965. Zum Prinzip der Kontraktiveen abbildurg. Mathematische Nachrichten, 30(3-4), pp.251-258. Available at: https://doi.org/10.1002/mana.19650300312.
Kannan, R. 1972. Some results on fixed points - IV. Fundamenta Mathematicae, 74, pp.181-187. Available at: https://doi.org/10.4064/fm-74-3-181-187.
Khan, M.S., Swaleh, M. & Sessa, S. 1984. Fixed point theorems by altering distances between the points. Bulletin of the Australian Mathematical Society, 30(1), pp.1-9. Available at: https://doi.org/10.1017/S0004972700001659.
Kirk, W. & Shahzad, N. 2014. Fixed Point Theory in Distance Spaces. Springer International Publishing Switzerland. Available at: https://doi.org/10.1007/978-3-319-10927-5.
Knaster, B. 1928. Un theoreme sur les fonctions densembles. Annales de la Société polonaise de mathématique, 6, pp.133-134.
Leray, J. & Schauder, J. 1934. Topologie et equations fonctionnelles. Annales scientifiques de l’École Normale Supérieure, 51, pp.45-78. Available at: https://doi.org/10.24033/asens.836.
Long, L. & Zhang, S. 2011. Fixed points of commutative super-operators. Journal of Physics A: Mathematical and Theoretical, 44(9), art.ID:095201. Available at: https://doi.org/10.1088/1751-8113/44/9/095201.
Lüders, G. 1950. Über die Zustandsänderung durch den Meßprozeß. Annalen der physic, 443(5-8), pp.322-328. Available at: https://doi.org/10.1002/andp.19504430510.
Matthews, S.G. 1994. Partial Metric Topology. Annals of the New York Academy of Sciences, 728(1) General Topology and Applications, pp.183-197. Available at: https://doi.org/10.1111/j.1749-6632.1994.tb44144.x.
Nielsen, M.A. & Chuang, I.L. 2000. Quantum Computation and Quantum Information. Cambridge, UK: Cambridge University Press. Available at: https:
Schauder, J. 1930. Der Fixpunktsatz in Funktionalraumen. Studia Mathematica, 2(1), pp.171-180 [online]. Available at: https://eudml.org/doc/urn:eudml:doc:217247 [Accessed: 22 March 2022].
Seevinck, M.P. 2003. Quantum Operations and Measurement, 2nd ed. Utrecht, The Netherlands: Utrecht University [online]. Available at: http://mpseevinck.ruhosting.nl/seevinck/lezingoviedo03a.pdf [Accessed: 22 March 2022].
Shukla S. 2014. Partial b-metric spaces and fixed point theorems. Mediterranean Journal of Mathematics, 11, pp.703-711. Available at: https://doi.org/10.1007/s00009-013-0327-4.
Tarski, A. 1955. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5(2), pp.285-309. Available at: https://doi.org/10.2140/pjm.1955.5.285.
Tarski, A.A. 1949. A fixpoint theorem for lattices and its applications (preliminary report). Bulletin of the American Mathematical Society, 1949(55), pp.1051-1052.
Zhang, H. & Ji, G. 2012. A Note on Fixed Points of General Quantum Operations. Reports on Mathematical Physics, 70(1), pp.111-117. Available at: https://doi.org/10.1016/S0034-4877(13)60016-6.
Zhang, H. & Si, H. 2016. Fixed Points Associated to Power of Normal Completely Positive Maps*. Journal of Applied Mathematics and Physics, 4(5), pp.925-929. Available at: https://doi.org/10.4236/jamp.2016.45101.
Author notes
nicola.fabiano@gmail.com
Alternative link
https://scindeks.ceon.rs/article.aspx?artid=0042-84692203525T (html)
https://aseestant.ceon.rs/index.php/vtg/article/view/37109 (pdf)
https://doaj.org/article/088b9e6c899a4fd6a10fe77da4e6d16f (pdf)
https://www.elibrary.ru/item.asp?id=48719244 (pdf)
http://www.vtg.mod.gov.rs/archive/2022/military-technical-courier-3-2022.pdf (pdf)
