1. Introduction
The dynamics of open quantum systems remains a topic of intensive research [
1,
2,
3,
4]. Quantum evolution can be described by differential equations (master equations) that convey information about the interactions between the system and its environment. However, quite often, master equations are not exactly solvable due to their complexity. Therefore, searching for new methods to integrate quantum evolution equations remains a crucial problem within the theory of open quantum systems.
A celebrated master equation describes evolution of open quantum systems governed by a linear operator
, where we assume that the space is finite-dimensional [
5,
6,
7,
8]. The linear operator
is commonly referred to as the Gorini–Kossakowski–Sudarshan–Lindblad (GKSL) generator, or Lindbladian for short. In such a case, the dynamical map is equivalent to a semigroup:
where
denotes the initial density matrix. A master equation with the GKSL generator is the most general type of Markovian and time-homogeneous evolution that preserves the trace and positivity. This type of quantum generator has been intensively studied, for example, in the context of quantum transport efficiency [
9], open system symmetries [
10], or quantum state tomography with continuous measurement [
11].
A generalized master equation can be obtained if we assume that the linear generator depends on time:
where
is defined on some time interval
. The dynamics (
2) can be solved by implementing a time ordering operator, which, in other words, is called “Dyson series” [
12]. The formal solution does not appear practical for physical applications since we strive to obtain closed-form dynamical maps. Therefore, fundamental problems of the theory of open quantum systems relate to algebraic properties of
which guarantee that the solution generates a legitimate physical evolution [
1].
In particular, we can discuss a time-dependent GKSL generator such that its dissipative part changes over time. More specifically, we investigate
in the form [
13]:
where
stands for the conjugate transpose of
. This generator involves a physical model, where the jump operators,
, are represented by constant matrices while the relaxation rates,
, are time-dependent. The operator
H is hermitian, and it can be interpreted as the effective Hamiltonian that accounts for the unitary evolution. The time-local generator (
3) is Hermiticity- and trace-preserving, but for negative relaxation rates it may lead to non-Markovian effects [
14,
15]. In this work, we mostly consider positive relaxation rates, which means that the evolution can be called time-dependent Markovian. However, non-Markovianity is also investigated as a separate case.
The master equation of the form (
3) can be implemented for an analysis of quantum systems immersed within an engineered environment [
16]. This approach allows one to address the problem of controllability by the environment (i.e., control by
), which affects a system through dissipative dynamics and can be used to steer the system from an initial state (pure or a mixed) towards a designated state [
17]. Therefore, research on time-dependent quantum generators is strongly motivated by a large number of applications of quantum control, including quantum computation, quantum engineering, and management of decoherence processes [
18].
To solve master equations with generators (
3), we implement the condition of partial commutativity [
19]. This method can be considered a generalization of functional and integral commutativity [
20,
21,
22]. If a generator
is partially commutative, one can write the closed-form solution for initial density matrices that belong to a subset determined by this condition. The framework for implementation of partial commutativity in dynamics of open quantum systems has already been introduced and applied to specific examples [
23]. The present contribution substantially broadens the scope of the framework by applying it to investigate the dynamics of entangled states. The model allows one to precisely track different characteristics of entanglement in the time domain.
In this paper, we focus on entangled states, which are a crucial resource in quantum communication, computation, and teleportation [
24,
25,
26,
27,
28]. Entanglement is a key example of non-classical correlations meaning that a quantum state of the entire system cannot be factorized as a product of states of its local constituents. In this context, we usually consider compound quantum systems that feature nonlocal correlations, which can be verified experimentally by detecting multiparticle quantum interference [
29]. However, multipartite systems are not necessary to exhibit entanglement since one photon is sufficient to encode a Bell state [
30]. The amount of entanglement can change in time due to the coupling between the system and the environment. For two-qubit states, one can directly compute a measure to quantify entanglement versus time. In particular, one can implement the concurrence [
31,
32,
33] or the tangle [
34].
The analysis of bipartite entanglement may involve two qubits embedded in a common environment [
35] or two independent baths [
36]. One specific example involves a nonequilibrium environment [
37,
38,
39], where one can observe non-Markovian effects that bring an increase in the amount of entanglement due to information backflows [
40]. In addition, the problem of transferring quantum systems through spin chain systems have been discussed in the context of non-Markovianity [
41]. In particular, a model where two ends of a spin chain are independently immersed in two bosonic baths has proved to enhance the fidelity evolution in the non-Markovian regime [
42].
In
Section 2, we revise the condition of partial commutativity from the point of view of open quantum systems. Then, in
Section 3 and
Section 4, we implement the framework to investigate the dynamics of two-qubit and three-qubit entangled states, respectively, governed by time-dependent dissipative generators. Next, in
Section 5, we study the evolution of two entangled qutrits subject to the same bath. The framework allows one to track how the amount of entanglement declines as the system undergoes a relaxation toward the ground state. Finally, in
Section 6, we consider non-Markovian evolution. The scheme proves to be an efficient tool for observing a backflow of information for specific time-local quantum generators. Such a phenomenon can lead to the restoration of an entangled state over time.
2. Partially Commutative Open Quantum Systems
For some generators of evolution, the dynamics (
2) allows a closed-form solution:
However, a necessary condition for the generator to guarantee a solution in the closed form remains unknown. Up to now, only a few classes of linear differential equations are known to be solvable in closed forms, which justifies further research into the concept of integrability.
In the literature, some sufficient conditions for integrability of the master equation have been determined. In particular, we know that if the generator
is functionally commutative, one can obtain the closed-form solution (see, e.g., Refs. [
43,
44,
45,
46]). The class of functionally commutative systems (also known as the Lappo–Danilevsky systems) is well-described in the existing literature, and was also studied in connection to open quantum systems [
21]. A typical subclass of the functionally commutative operators contains such generators
that commute with their integrals [
47,
48].
In the present article, we investigate the condition of partial commutativity [
43,
49], which can be considered a generalization of the Lappo–Danilevsky systems. Partial commutativity allows one to follow the closed-form solution for a subset of initial states determined by this criterion. The theorem, which was introduced by Fedorov in 1960, remained unknown for almost 60 years until it was reestablished by Kamizawa in 2018 [
19]. In 2020, it was implemented for quantum dynamics to investigate dissipative multilevel systems with decoherence rates depending on time [
23]. It appears that the applicability of this technique is extensive, which makes it worth studying with reference to evolution of physical systems.
First, the dynamics (
2) can always be transformed into a standard matrix equation, where the matrix representation of the generator
multiplies the vectorized density matrix
. For any matrix
M, the operator
should be understood as a vector constructed by stacking the columns of
M one underneath the other. Thus, let us consider the master Equation (
2) in the vectorized form, i.e.,:
Particularly, the generator (
3) can be represented as a matrix by following the Roth’s column lemma [
50,
51]. For any three matrices
(such that product
is computable), we can prove:
By implementing the Roth’s column lemma (
6), one transforms the generator (
3) into its matrix form:
where
denotes the complex conjugate of the jump operator
.
Then, we can formulate the condition of partial commutativity, which is alternatively called the Fedorov theorem [
49].
Theorem 1 (Fedorov theorem).
If the matrix representation of the generator satisfies the condition:where and α is a constant vector, then there exists a closed-form solution of (5): The proof of the Fedorov theorem can be found in Ref. [
23]. The major limitation of the Fedorov theorem concerns the fact that the closed-form solution is admissible only for vectors
that satisfy the condition (
8). This means that we need to determine the subspace of all allowable initial vectors:
where
stands for the degree of the minimal polynomial of
(i.e., the matrix polynomial of the lowest degree, such that
is a root of the polynomial). In the definition of
we treat
t as an independent parameter, which means that the result should be fixed. This allows us to obtain a solution that holds for all
.
The Formula (
10) cannot be easily calculated. However, one can use the approach introduced by Shemesh to transform this expression into a form that can be computed straightforwardly [
52,
53]:
To sum up, if one wants to apply the Fedorov theorem to obtain a closed-form solution of a differential equation with a time-dependent generator
, one needs to prove that the subspace
defined by (
10) is non-empty, which can be done effectively by implementing the Shemesh criterion (
11). Then, one gets the closed-form solution according to (
9). The solution defines a legitimate trajectory in the state set if
can be considered a vectorized density matrix, i.e.,
. In other words, we operate only within the physically admissible subset of initial vectors:
, where
denotes the set of all legitimate density matrices (Hermitian, positive semi-definite of trace one) associated with the Hilbert space
. In the present paper, we assume that the Hilbert space of the system
is finite-dimensional, and we operate in the standard basis. Time-dependent generators
that correspond to a non-empty subspace
can be called partially commutative.
3. Two-Qubit Entangled States
We consider cascade systems with three energy levels described by quantum states:
[
54,
55]. Therefore, we operate in the
dimensional Hilbert space and, for simplicity, we assume that the vectors
constitute the standard basis in
. Two types of transition are possible:
and
. In other words, the model describes a relaxation toward the ground state |1〉. Let us assume that this process is governed by a time-local generator [
23]:
where
H denotes the unperturbed Hamiltonian with three symmetric energy levels, i.e.,
and
represents the jump operator. Additionally,
stands for the angular frequency characterizing the dynamics.
The dynamics governed by (
12) has a closed-form solution for such initial states that have zero probability of occupying the highest energy level [
23]. Thus, the condition of partial commutativity allows one to precisely describe the evolution of two-level systems immersed within the
dimensional Hilbert space. This fact gives the gist of the Fedorov theorem—dynamical maps in the closed forms are obtainable only for a restricted subset of states.
Furthermore, if we have a pair of two-level systems (denoted by
A and
B) and each of them is subject to (
12), we can describe the dynamics by a joint two-qubit generator:
which is known as the Kronecker sum:
. For any initial state
such that neither of the subsystems can be found in the highest energy level, we can follow the closed-form trajectory
Therefore, starting from three-level dynamics (
12), we can describe the dynamics of two-qubit entangled states within the framework of partial commutativity.
3.1. Example 1: Evolution of
Let us consider the dynamics of bipartite entanglement subject to the generator (
13) with the initial state given as
, where
with
standing for the relative phase. This class of entanglement includes the two celebrated Bell states:
and
. Such an initial state satisfies the condition of partial commutativity since (
15) is a superposition of the middle and the ground state. This implies that the dynamical map can be computed in the closed-form based on (
14). We neglect the elements of the density matrix that relate to the highest energy level since it cannot be occupied. Then, by implementing a mathematical software to solve (
14), one obtains a
density matrix that describes the dynamics of two-qubit entanglement:
where
.
First, by
, we denote the joint probability of finding upon measurement the subsystems
A and
B in the states described by the vectors |
i〉 and |
j〉, respectively. Then, one can track the probabilities versus time, which is presented in
Figure 1 for an arbitrary
. We observe that
gradually increases whereas
declines, which reflects the fact that the dynamics describe the relaxation towards the ground level. However, for
, we notice non-zero values of
(and
), which implies that the states are not perfectly correlated. It may happen that the
system has already decayed to the ground level, but the
system remains in the middle level (or vice versa).
The diagonal elements of the density matrix (
16) are not affected by
or
. The energy levels of the unperturbed Hamiltonian govern the evolution of the phase factor on the complex plane. Assuming
and
is fixed arbitrarily, one can follow the trajectories of the off-diagonal elements of the density matrix
. In
Figure 2, two trajectories are presented. One can agree that the dynamics of
features two aspects. First, the phase factor rotates on the complex plane, which is caused by
. Secondly,
approaches zero as time grows, which can be interpreted as a phase-damping effect brought about by the dissipative part of the generator of evolution.
Furthermore, we investigate how the amount of entanglement changes over time. Thus, the concurrence, denoted by
, is computed [
56,
57]. For any two-qubit density matrix
, the concurrence can be expressed as
where
are the eigenvalues of a non-Hermitian matrix
arranged in decreasing order. By convention,
represents one of the Pauli matrices and
denotes the complex conjugate taken in the standard basis.
The results are presented in
Figure 3. The properties of
are influenced by
(and not by
). For this reason, three plots corresponding to different values of
are shown. For every plot, we have
since the initial state is maximally mixed (irrespective of
). One can notice that all plots are non-increasing and converge to zero with time, which stems from the properties of the generator of evolution. However, the pace of entanglement decline is different. Based on the plots, one can predict how much entanglement is preserved after a given period of time.
3.2. Example 2: Evolution of
Let us consider another class of maximally entangled two-qubit states:
where
which includes the other two famous Bell states:
and
. For any relative phase, the state (
19) represents perfectly anti-correlated results, which means that if the subsystem
A is measured to be in the state |1〉, the subsystem
B is bound to be in |2〉 (and vice versa).
For input states of the form (
18), we obtain a closed-form solution according to (
14). Since the highest energy level is forbidden, we can reduce the output density matrix by eliminating the elements related to |3〉. Thus, in the same vein as in the above example, we obtain a
density matrix that describes two-qubit entanglement immersed in a higher-dimensional Hilbert space:
First, one can notice that
, which come as a natural consequence of the initial quantum state (
19). Thus, only three configurations of the system are possible. For an arbitrary
, the probabilities corresponding to the admissible configurations are presented in
Figure 4. One can observe that the probability of the anti-correlated configurations declines while
increases.
Furthermore, the concurrence is investigated as a function of time. For three values of
, the concurrence is depicted in
Figure 5. The plots interlace with one another.
5. Two-Qutrit Entangled States
To describe a qutrit evolution, we introduce a four-level cascade model that represents a physical process when the system can relax from the highest energy level |4〉 into the lower state |3〉, then into the state |2〉, and finally into the ground state denoted by |1〉. Three kinds of transition are allowable, which implies that we have three jump operators:
,
and
. We assume that the corresponding relaxation rates are given by:
and
. This results in the generator of evolution in the matrix representation:
where
denotes a four-level unperturbated Hamiltonian. The energy levels are assumed to be symmetric, i.e.,
for
.
It can be demonstrated that the closed-form solution of a master equation with the generator (
30) is legitimate for such initial states that do not involve the highest energy level [
23]. Therefore, the framework of partial commutativity allows one to study the dynamics of genuine qutrit states that are spanned by the vectors
.
To implement the framework for entangled qutrits, we introduce a two-qutrit generator
Then, for any bipartite system described by an initial state
such that neither of the subsystems involves the highest energy level, one can follow the closed-form dynamical map:
This method allows us to study the dynamics of two-qutrit entangled states such that each subsystem is realized as a combination of three energy levels:
. In particular, we choose to investigate the dynamics of a maximally entangled two-qutrit state [
67]:
For
, we obtain a solution based on (
32), but the exact form of
is not presented due to its complexity. Instead, in
Figure 11, we present the probabilities of finding the system in all of the possible configurations. As one can notice, the input state (
33) featured perfect correlations, which means that if subsystem
A is found after measurement to be in a state |
j〉, the subsystem
B is determined to be in the very same state. However, these correlations are disturbed by the dissipative generator of evolution as for
we observe non-zero probabilities
corresponding to
. To conclude, before the maximally entangled state (
33) collapses into the ground level |11〉, it gets decorrelated due to the evolution governed by the time-local generator (
31).
Moreover, we investigate the dynamics of entanglement by computing the Bures distance between
and the final state |11〉 (we proceed analogously as in (
26)). Again, since the state
approaches the separable state
with time, we consider the Bures distance as a simplified measure of entanglement. In
Figure 12, one finds the plots of
for the initial state (
33) and three values of
. Based on the plots, one can observe that entanglement vanishes at different rates depending on the parameters characterizing the generator of evolution. In addition, the functions
present different shapes. Such analysis allows one to track the decline of entanglement in the time domain for a given parameter.
6. Non-Markovian Evolution of Two-Qubit Entangled States
Let us generalize the operator (
12) by including an additional real parameter
:
which implies that, depending on the value of
, the generator (
34) may lead to: Markovian evolution, non-Markovian dynamics, or a non-physical map. Irrespective of the type of evolution, the generator (
34) is partially commutative, which allows one to write a closed-form solution provided the highest energy state |3〉 is not included in the input state.
To guarantee a physical evolution, we need to verify whether the map
is completely positive and trace-preserving (CPTP). Conservation of the trace is provided by the algebraic structure of the operator (
34), which is a time-dependent GKSL generator [
5,
6,
14]. By following the Choi’s theorem on completely positive maps [
68], we know that
is CP iff
, where
denotes a projector corresponding to a maximally entangled state. In our case,
and
since we reduce the dimension of the Hilbert space due to the partial commutativity constraint. However, general criteria for the map
to be CPTP cannot be established because of the number of parameters. Therefore, we verify numerically that for
and three selected values of
the map
is CPTP for all
.
Non-Markovian behavior of the map
can be demonstrated by following the criterion given by Breuer, Lane, and Piilo (henceforth: BLP criterion) [
14,
15]. They constructed a general measure for the degree of non-Markovianity in open quantum systems. According to the BLP criterion, a dynamical map
is Markovian iff
for all pairs of input states
and
. In (
35), we use
to denote the trace norm, i.e.,
. If
X is self-adjoint, the trace norm can be expressed as the sum of the modulus of the eigenvalues of
X (denoted by
), including multiplicities:
. This norm allows one to define a natural measure for the distance between two arbitrary quantum states
and
, which is known as the trace distance:
[
69]. An important property of the trace distance relates to the fact that any CPTP map
is a contraction for the trace distance, which means that [
70]
For a Markovian dynamics
, the trace distance
decreases monotonically for all pairs of initial states and for all
. On the other hand, if there exists a pair of states
and
such that the trace distance is nonmonotonic in time, then we encounter non-Markovianity. Therefore, the BLP criterion (
35) can be conveniently implemented to demonstrate non-Markovian effects. The figure
can be interpreted as an information flow and, as a results,
implies that the information is lost over time. On the other hand,
indicates a backflow of information from the environment to the system, which is a proof of non-Markovian effects. In our application, we select
and
. To demonstrate that our map
features non-Markovianity, we plot
, for three exemplary values of
. The results are presented in
Figure 13. One can observe that we have both positive and negative values of
, which means that during evolution, information can flow in both directions (from the system to the environment and vice versa).
Then, we study the joint dynamics of a two-qubit system: , where as the input state we take .
In
Figure 14, one can observe the concurrence versus time for three specific values of
(the same as those used to depict
Figure 13). The plots feature clear non-Markovian effects. We start from a maximally entangled state and, initially, the concurrence decreases. However, we observe a backflow of information from the environment to the system during the dynamics. After the first decline, the entanglement is restored by non-Markovianity, and the concurrence again reaches its maximum value. Then, the concurrence oscillates, and the local maxima can be attributed to non-Markovianity.
The backflow of information caused by non-Markovianity can also be observed by studying the probabilities corresponding to finding the system (upon measurement) in an admissible state. In
Figure 15, we present plots for a selected value of
. In particular, the first backflow is evident, when the probabilities return to their initial values, and the entanglement is regained. Later on, the probabilities oscillate.
7. Discussion and Outlook
In the article, we implemented the framework of partial commutativity to study the dynamics of entangled states governed by time-dependent generators. The method allows one to obtain a closed-form solution of a master quantum equation for a subset of initial states determined by the Fedorov theorem. Consequently, one can investigate the dynamics of lower-dimensional subsystems immersed in the original Hilbert space. In particular, the framework proved to be an efficient tool for entanglement analysis. In this paper, we investigated two-qubit and three-qubit entangled states, as well as the evolution of entangled qutrits. In each case, the framework enabled us to study in detail the dynamics of celebrated types of entanglement, which demonstrates how nonunitary forms of decoherence affect entanglement.
Entangled states are considered a key resource in quantum computation and communication. Therefore, one would like to preserve a sufficient degree of entanglement for the longest achievable period of time. On the other hand, the theory of open quantum systems indicates that interactions between the system and its environment can lead to a decrease in the amount of entanglement. Therefore, it appears relevant to study the impact of different evolution models on the amount of entanglement. The framework of partial commutativity allows one to follow the decay of entanglement driven by time-local dissipative generators with positive relaxation rates.
For negative decoherence rates, the framework allows one to witness non-Markovian effects. In the Markovian regime, there is a continuous flow of information from the system to the environment. However, if we go beyond this approximation, one can observe a backflow of information, which leads to an increase of the concurrence during the evolution and, as a result, entanglement can be restored. These findings are in accordance with other studies devoted to non-Markovian effects on the dynamics of entanglement [
71]. Howbeit, in the present work, we demonstrated that the maximum degree of entanglement could be regained due to the dynamics governed by a time-local generator.
Recent advances in experimental techniques and fabrication of quantum materials have led us to circumstances where non-Markovian effects became crucial, opening new arenas for scientific exploration. Non-Markovian dynamics of open quantum systems is often studied within the memory kernel approach [
72], which utilizes the Nakajima-Zwanzig equation [
73,
74]. However, the present paper indicates that partial commutativity can also be an efficient tool for examining the properties of non-Markovian evolution emerging from time-local quantum generators. In particular, the framework can be implemented to transfer an input state to the target state strictly along the designed trajectory, including a non-Markovian reservoir, cf. Ref. [
75].
The framework described in this article is versatile and can be implemented to other multilevel systems. For a given quantum generator, the condition of partial commutativity allows one to cut out a subset of initial quantum states for which the dynamical map can be written in the closed form. This aspect is connected with reducing the dimension, which implies that certain levels have to be dropped for the closed-form solution to be legitimate. The subsets of allowable states may have different structures, depending on the algebraic properties of the generator of evolution as well as on specific values of the parameters characterizing dynamics.
In the future, the framework will be developed to investigate dynamics governed by other classes of time-dependent generators, including non-Markovian evolution. In addition, for tripartite systems, it is worth studying how the entanglement between the particles is shared over time. Such analysis will involve taking into account different monogamy relations and entanglement measures [
76,
77,
78,
79].
Another goal of further research is to go beyond dissipative generators that describe the process of relaxation. The framework is expected to provide significant insight into atom-photon interactions. The ability to control quantum dynamics in such processes as laser cooling can contribute to the advancement in quantum computing with single atoms.