General Non-Markovian Quantum Dynamics

Abstract

A general approach to the construction of non-Markovian quantum theory is proposed. Non-Markovian equations for quantum observables and states are suggested by using general fractional calculus. In the proposed approach, the non-locality in time is represented by operator kernels of the Sonin type. A wide class of the exactly solvable models of non-Markovian quantum dynamics is suggested. These models describe open (non-Hamiltonian) quantum systems with general form of nonlocality in time. To describe these systems, the Lindblad equations for quantum observable and states are generalized by taking into account a general form of nonlocality. The non-Markovian quantum dynamics is described by using integro-differential equations with general fractional derivatives and integrals with respect to time. The exact solutions of these equations are derived by using the operational calculus that is proposed by Yu. Luchko for general fractional differential equations. Properties of bi-positivity, complete positivity, dissipativity, and generalized dissipativity in general non-Markovian quantum dynamics are discussed. Examples of a quantum oscillator and two-level quantum system with a general form of nonlocality in time are suggested.

1. Introduction

The dynamics of open quantum systems (OQS) is usually described by Markovian equation for quantum observables and quantum states [1,2,3,4,5]. The most general explicit form of such equations were first proposed by Gorini, Kossakowski, Sudarshan, and Lindblad in 1976 [6,7,8]. Quantum mechanics of OQS has been actively developing (see [1,2,3,4,5,9, and reviews [10,11,12]). The Markovian dynamics of OQS is characterized by non-standard properties that lead to a change in the usual relations and approaches, for example, such as the uncertainty relation for open quantum systems [12,13], path integrals [5] (pp. 475–485) and [14], pure stationary states [5] (pp. 453–462) and [15,16], and quantum computer with mixed states [5] (pp. 487–520) and [17]. We can say that the theory of open quantum systems is the most general type of modern quantum mechanics such as fundamental theory [5]. Note that OQS are non-Hamiltonian quantum systems, that is, it is not enough to specify the Hamilton operator to describe the dynamics of such systems [5]. This theory has great practical importance for the creation of quantum computers and quantum informatics due to the fact that the influence of the environment on the process of quantum computation, which is realized by the dynamics of the quantum systems of qubits.

Currently, modern quantum mechanics is faced with the question of the most general form of the equations that describe the non-Markovian dynamics of quantum systems. A general form of non-Markovian character of quantum processes can be interpreted as nonlocality in time, or memory as its special form. Nonlocality in time means a dependence of the dynamics of observables and states at the current moment of time in the history of the system’s behavior on a finite interval in the past.

Attempts to construct a non-Markovian theory of open quantum systems with non-locality in time have been actively undertaken in recent years (see, for example, reviews [18,19,20], and articles [21,22,23,24,25] and references therein). Most approaches to the formulation of non-Markovian quantum dynamics were not related to fractional calculus and mathematical theory of equations with derivatives and integrals of non-integer orders (see [26,27,28,29,30,31,32]). Equations with fractional derivatives and integrals of non-integer orders are a powerful tool to take into account nonlocality in space and time in physics [33,34]. It should be emphasized that the characteristic property of fractional differential operators of non-integer orders is nonlocality in space and time [35,36].

For the first time, the use of fractional derivatives and integrals of non-integer order with respect to time to describe non-Markovian dynamics of OQS (in the form of power-law fading memory) was proposed in [37] (see Chapter 20 in book [37] (pp. 477–482) and [38,39,40]). Exact solutions of generalized Lindblad equations, which describe non-Markovian quantum dynamics, were derived in these works.

Fractional powers of Lindblad superoperators were first defined and used to describe OQS in [5] (pp. 433–444), (see also [37] (pp. 458–464, 468–477), and [41,42,43]). Solutions of equations, which describe non-Markovian quantum dynamics, were derived in works [5,37,41,42]. The generalization, which used the Grunvald–Letnikov fractional derivatives, is suggested in [44].

We also note some other formulations of the non-Markovian quantum dynamics by using fractional calculus: the non-Markovian dynamics of OQS with time-dependent parameters [39,45], relativistic open classical systems [46], and quantum systems with memory [47].

Note that the non-Markovian quantum dynamics is also considered in the framework of generalizations of the Schrodinger and Heisenberg equations (see [5,37,43,48,49,50] (pp. 457–466), respectively).

In fractional calculus, nonlocality is described by the kernel of the operators, which are fractional integrals (FI) and fractional derivatives (FD) of non-integer orders. To describe dynamical systems with various types of nonlocality in space and time, we can use operators with various types of kernels. Therefore it is important to have a general fractional calculus that allows us to describe nonlocality in the most general form.

The concept of general fractional calculus (GFC) has been suggested by Anatoly N. Kochubei in his work [51] in 2011 (see also [52,53,54]) out of connection with quantum theory. In works in [51,52] the general fractional derivatives (GFD) and general fractional integral (GFI) are defined. For these operators, the general fundamental theorems were proven in [51,52]. This approach to GFC is based on the concept of kernel pairs, which was proposed by N.Ya. Sonin (1849–1915) in their 1884 article [55] (see also [56]. Note that the name “Sonin” [57] is mistakenly used in French transliteration as “N. Sonine” from French journals [55]). Then, very important results in constructing the GFC were derived by Yuri Luchko in 2021 [58,59,60]. In works [58,59], GFD and GFI of arbitrary order are suggested, and the general fundamental theorems for the GFI and GFDs were proven. Operational calculus for equations with general fractional derivatives was proposed in [60]. The general fractional calculus was also developed in works [61,62,63,64,65,66,67,68,69,70,71,72] devoted to mathematical aspects and some applications in classical physics.

The first application of the general fractional study is proposed in this article. The general fractional calculus is suggested as a mathematical basis to formulate the non-Markovian quantum dynamics. In the framework of the general approach, it was assumed and implied to obtain, first of all, general results that do not depend on specific types (particular implementations) of nonlocality and kernels [72]. In the general approach to non-Markovian quantum dynamics, all research and results should be related to the general form of nonlocality, operator kernels of almost all types (a wide set of operator kernels). In this paper, we consider general fractional operators with kernels that belong to the Sonin set. The general form of non-Markovian dynamics of open quantum systems is described by the equations with general fractional derivatives and integrals [58,59]. The exact solutions of these equations were derived by using the general operational calculus proposed in [60].

2. Markovian Dynamics of Quantum States and Observables

In this section, we will briefly describe the basics of Markovian quantum dynamics for fixing concepts and notations.

Quantum states can be described by density operators $\rho$ that are normalized ($Tr\left[\rho \right] =1$), self-adjoint (${\rho }^{†}=\rho$), positive ($\rho \ge 0$) operators. All these properties must be conserved in the time evolution $S_t:\rho \to {\rho }_t$. Therefore to describe Markovian quantum dynamics in general form, we should find such a time evolution for the density operators ${\rho }_t=S_t\rho$, which satisfy the following conditions for all $t\in \left(0,\infty \right)$.

(1)

The self-adjoint condition

$${({\rho }_t)}^{†}={\rho }_t,\hspace{1em}(\mathrm{forallt}>0).$$

(1)

(2)

The positivity condition

$${\rho }_t>0,\hspace{1em}(\mathrm{forallt}>0).$$

(2)

(3)

The normalization condition

$$Tr\left[{\rho }_t\right] =1,\hspace{1em}(\mathrm{forallt}>0).$$

(3)

If we consider the Markovian dynamics, then the semigroup condition is used

$$S_t{S}_{\tau }=S_{t+\tau }$$

(4)

for all $t,\tau \ge 0$, and the condition $S_0\rho =\rho$ is represented as $S_t\left(\rho \right) \to \rho$ at $t\to 0$ in the trace norm.

The Markovian quantum dynamics of quantum observables $A_t = {\Phi }_t\left(A\right)$ is described by the dual dynamical maps ${\Phi }_t$, where the duality is represented by the condition

$$Tr\left[A{\rho }_t\left] =Tr\right[A_t\rho \right],\hspace{1em}(\mathrm{forallt}>0).$$

(5)

Let $\mathbb{A}$ be an algebra of bounded operators (for example, $C^{\ast }$-algebra, or algebra of $B\left(H\right)$ of bounded operators on the Hilbert space $H$).

Normalization condition (3) means that ${\Phi }_t\left(I\right) =I$, where $I$ is the identity operator.

Positivity condition (2) means that ${\Phi }_t\left(A^{†}A\right) \ge 0$. The positivity condition is usually replaced by the complete positivity condition for the dynamical maps ${\Phi }_t$:

$$\sum _{k=1}^n\sum _{l=1}^n{A}_k^{†}{\Phi }_t\left(B_k^{†}{B}_l\right)A_l\ge 0$$

(6)

for all $A_j,B_j\in \mathbb{A}$, $j=1,\dots n$ and all $n\in \mathbb{N}$.

To describe the Markovian dynamics of quantum observables, the semigroup condition is used

$${\Phi }_t{\Phi }_{\tau }={\Phi }_{t+\tau }$$

(7)

for all $t,\tau \ge 0$, and the condition ${\Phi }_0\left(A\right) =A$ is represented as ${\Phi }_t\left(A\right) \to A$ at $t\to 0$ in ultraweak operator topology. The ultraweak operator topology can be defined as the topology induced on $\mathbb{A}$ by the set of all seminorms of the form

$${\parallel A\parallel }_{\sigma ,\rho } = \left|Tr\left[\rho A\right]\right|.$$

(8)

For the complete positive semigroup $\left\{{\Phi }_t:t\in \left(0,\infty \right)\right\}$, for which ${\Phi }_t\left(I\right) =I$ and ${\Phi }_t\left(A\right) \to A$ ultraweakly at $t\to 0$, there exists a superoperator $L$ for which

$$\frac{d}{dt}{\Phi }_t\left(A\right) = L{\Phi }_t\left(A\right)$$

(9)

holds for all $A\in D\left(L\right)$, where $D\left(L\right)$ is a ultraweakly dense domain of $\mathbb{A}$. The superoperator $L$ is called the generator of the semigroup ${\Phi }_t$. The dual generator $\mathsf{\Lambda }$ of the semigroup $S_t$ is connected with $L$ through the equation

$$Tr\left[\left(LA\right)\rho \right] = Tr\left[A\left(\mathsf{\Lambda }\rho \right)\right].$$

(10)

For superoperator $\mathsf{\Lambda }$, we have

$$\frac{d}{dt}{S}_t\left(\rho \right) = \mathsf{\Lambda }{S}_t\left(\rho \right).$$

(11)

The bounded superoperators are defined on the normed operator space $\mathbb{A}$: The superoperator $L$ is called bounded, if

$$\parallel L\left(A\right){\parallel }_{\mathbb{A}} \le c{\parallel A\parallel }_{\mathbb{A}}$$

(12)

for some constant $c$ and all $A\in \mathbb{A}$. Inequality (12) means that $L$ transforms norm bounded sets of $\mathbb{A}$ into the norm bounded sets. The least value of $c$ equal to

$$\parallel L\parallel = \underset{A\ne 0}{\sup }\frac{\parallel L\left(A\right){\parallel }_{\mathbb{A}}}{\parallel A{\parallel }_{\mathbb{A}}},$$

(13)

is called the norm of the superoperator $L$. If $\mathbb{A}$ is a normed space, and $L$ is a bounded superoperator, then

$$\parallel \mathsf{\Lambda }\parallel = \parallel L\parallel .$$

(14)

Let us define the class of real superoperators: A real superoperator is a superoperator $L$ on $\mathbb{A}$, such that

$${[L\left(A\right)]}^{†}=L\left(A^{†}\right)$$

(15)

for all $A\in D\left(L\right) \subset \mathbb{A}$ and $A^{†}\in D\left(L\right)$, where $A^{†}$ be adjoint of $A\in \mathbb{A}$. If $L$ is a real superoperator, then $\mathsf{\Lambda }$ is real.

The Lindblad proved theorem defines the structure of the superoperators $L$ and $\mathsf{\Lambda }$. This theorem is proved for the completely positive dynamical semigroup ${\Phi }_t$, which is norm continuous

$$\underset{t\to 0}{\lim }\parallel {\Phi }_t\left(A\right) - A{\parallel }_{\mathbb{A}} =0.$$

(16)

Equation (16) is a more restrictive condition than ultraweak continuity. For such semigroup. the superoperator $L$ is bounded.

For completely positive maps ${\Phi }_t$, the bi-positivity condition

$${\Phi }_t\left(A^{†}A\right)\ge {\Phi }_t\left(A^{†}\right){\Phi }_t\left(A\right)$$

(17)

holds for all $t>0$ with equality at $t=0$. The differentiation of inequality (17) gives at $t=0$ the property of the superoperator

$$L\left(A^{†}A\right)\ge L\left(A^{†}\right)A+A^{†}L\left(A\right)$$

(18)

for all $A\in \mathbb{A}$. The bounded superoperators $L$, which satisfy conditions $L\left(I\right) =0$, $L\left(A^{†}\right) ={(LA)}^{†}$ and inequality (18), are called dissipative. The real superoperator $L$ is called completely dissipative, if

$$L\left(A_k^{†}{A}_l\right)\ge L\left(A_k^{†}\right)A_l+A_k^{†}L\left(A_l\right),$$

(19)

where $k,l=1,\dots ,n$, for all $n\in \mathbb{N}$ and all $A_k^{†},A_l,\left(A_k^{†}{A}_l\right) \in D\left(L\right) \subset \mathbb{A}$, where $A_k^{†},\left(A_k^{†}{A}_l\right) \in D\left(L\right)$.

The Lindblad theorem gives the most general form of completely dissipative superoperators $L$.

The Lindblad theorem states [7] that the superoperator $L$ is completely dissipative and ultraweakly continuous if and only if it has the form

$$LA=-\frac{1}{i\hslash }\left[H,A\right] + \frac{1}{2\hslash }\sum _{k=1}^{\infty }\left(V_k^{†}\left[A,V_k\right]+\left[V_k^{†},A\right]V_k\right),$$

(20)

where $H^{†}=H\in \mathbb{A}$, $V_k\in \mathbb{A}$, $\sum _k{V}^{†} V_k \in \mathbb{A}$ The dual superoperator $\mathsf{\Lambda }$ has the form

$$\mathsf{\Lambda }\rho =\frac{1}{i\hslash }\left[H,\rho \right] + \frac{1}{2\hslash }\sum _{k=1}^{\infty }\left(\left[V_k\rho ,V_k^{†}\right]+\left[V_k,\rho V_k^{†}\right]\right).$$

(21)

Equations (20) and (21) give explicit forms of most general Markovian dynamics of quantum observables and states.

The quantum Markovian equation, which are also called the Lindblad equations, are written in the form

$$\frac{dA\left(t\right)}{dt}=-\frac{1}{i\hslash }\left[H,A\left(t\right)\right] + \frac{1}{2\hslash }\sum _{k=1}^{\infty }\left(V_k^{†}\left[A\left(t\right),V_k\right] + \left[V_k^{†},A\left(t\right)\right]V_k\right),$$

(22)

$$\frac{d\rho \left(t\right)}{dt}=\frac{1}{i\hslash }\left[H,\rho \left(t\right)\right] + \frac{1}{2\hslash }\sum _{k=1}^{\infty }\left(\left[V_k\rho \left(t\right),V_k^{†}\right] + \left[V_k,\rho \left(t\right)V_k^{†}\right]\right),$$

(23)

where $A\left(t\right)$ is a quantum observable; $\rho \left(t\right)$ is a quantum state; $H$ is the Hamiltonian operator; and $V_k$ are the Lindblad operators [5]. Equations (22) and (23) are the standard time-local (memoryless) Markovian equations for quantum observables and states [6,7,8].

If $V_k=0$ for all $k\in \mathbb{N}$, then Equations (22) and (23) give the standard Heisenberg equation and von Neumann equation, respectively. In this case, Equations (22) and (23) describe Markovian dynamics of Hamiltonian quantum systems without nonlocality in time.

3. General Non-Markovian Dynamics of Quantum Observables and States

For the description of non-Markovian quantum processes, we can take into account nonlocality in time, which means that the behavior of the quantum observable $A\left(t\right)$ (or state $\rho \left(t\right)$) and its derivatives may depend on the history of previous changes of this operator. To describe this type of behavior, we cannot use differential equations of integer orders.

To take into account nonlocality in time (non-Markovality) in open quantum systems in work [37] (Chapter 20) and [38,39], it has been proposed to use the derivatives of non-integer orders instead of integer-order derivatives with respect to time.

In this section, we proposed using general fractional calculus and general fractional derivatives (GFD) as mathematical tools to allow us to take into account the general nonlocality in time for non-Markovian quantum processes.

3.1. Generalization of Lindblad Equation for Quantum Observables

The Lindblad equation for quantum observables is described by the operator differential equation of the first order

$$\frac{dA\left(t\right)}{dt}=LA\left(t\right),$$

(24)

where the superoperator $L$ is defined by expression (20). Equation (24) can be written in the integral form

$$A\left(t\right)-A\left(0\right)={\int }_0^{t}d\tau LA\left(\tau \right).$$

(25)

The nonlocality in time can be taken into account by using an integral kernel in generalization of Equation (25) in the form

$$A\left(t\right) - A\left(0\right) ={\int }_0^{t}d\tau M\left(t-\tau \right)LA\left(\tau \right),$$

(26)

where the function $M\left(t-\tau \right)$ describes nonlocality in time. If $M\left(t\right) =1$ for all $t \in \left(0,\infty \right)$, then Equation (26) gives standard Equation (24), which describes the Markovian quantum dynamics.

Obviously, not all kernels $M\left(t-\tau \right)$ can describe nonlocality in time. The nonlocality requirement can be formulated as follows. If integral Equation (26) can be written as a differential equation of an integer order (or a finite system of such equations), then the process, which is described by Equation (26), is local in time. The first obvious example of such “local” kernel is

$$M\left(t\right) =h_{\alpha }\left(t\right) =\frac{t^{\alpha -1}}{\Gamma \left(\alpha \right)}$$

(27)

with positive integer values of $\alpha =n\in \mathbb{N}$. Examples of “local” kernels are also the probability density functions of the exponential distribution and the gamma distribution with integer shape parameters (the Erlang distribution) [73,74].

Note that kernel (27) with non-integer values of $\alpha >0$ define “non-local” kernel of the Riemann–Liouville and Caputo fractional operators [29].

Let us assume that the functions $M\left(t\right)$ belongs to the space $C_{-1,0}\left(0,\infty \right)$, and suppose that there exists a function $K\left(t\right) \in C_{-1,0}\left(0,\infty \right)$, such that the Laplace convolution of these functions is equal to one for all $t\in \left(0,\infty \right)$. The function $X\left(t\right)$ belongs to the space $C_{-1,0}\left(0,\infty \right)$, if this function can be represented in the form $X\left(t\right) =t^{p}Y\left(t\right)$, where $-1<p<0$, and $Y\left(t\right) \in c \left[0,\infty \right)$.

Definition 1.

The functions $M\left(t\right),K\left(t\right)$ are a Sonin pair of kernels, if the following conditions are satisfied

(1) 

The Sonin condition for the kernels $M\left(t\right)$ and$K\left(t\right)$requires that the relations

$${\int }_0^{t}M\left(t-\tau \right)K\left(\tau \right)d\tau =1$$

(28)

holds for all $t\in \left(0,\infty \right)$.

(2) 

The functions $M\left(t\right),K\left(t\right)$ belong to the space

$$C_{-1,0}\left(0,\infty \right) =\{X\left(t\right): X\left(t\right) =t^p Y\left(t\right), t>0, -1<p<0, Y\left(t\right) \in C\left[0,\infty \right)\}.$$

(29)

The set of such Sonin kernels is denoted by ${\mathbb{S}}_{-1}$.

If the kernel pair $\left(M\left(t\right),K\left(t\right)\right)$ belongs to Sonin set ${\mathbb{S}}_{-1}$ [59], the kernel $K\left(t\right)$ is called the associated kernel to $M\left(t\right)$. Note that if $K\left(t\right)$ is the associated kernel to $M\left(t\right)$, then $M\left(t\right)$ is the associated kernel to $K\left(t\right)$. Therefore, if $\left(M\left(t\right),K\left(t\right)\right)$ belongs to set ${\mathbb{S}}_{-1}$, then $I_{\left(M\right)}^t$, $D_{\left(K\right)}^t$, and $I_{\left(K\right)}^t$, $D_{\left(M\right)}^t$ can be used as the general fractional integrals (GFI) and general fractional derivatives (GFD).

To define GFI and GFD, we used Luchko’s approach to general fractional calculus, which is proposed in [58,59].

Definition 2.

Let $M\left(t\right) \in {\mathbb{S}}_{-1}$ and$X\left(t\right) \in C_{-1}\left(0,\infty \right) =C_{-1,\infty }\left(0,\infty \right)$. The general fractional integral (GFI) with the kernel $M\left(t\right) \in C_{-1,0}\left(0,\infty \right)$ is the operator on the space$C_{-1}\left(0,\infty \right)$, that is

$$I_{\left(M\right)}^t: C_{-1}\left(0,\infty \right) \to C_{-1}\left(0,\infty \right),$$

(30)

that is defined by the equation

$$I_{\left(M\right)}^t\left[\tau \right]X\left(\tau \right)=\left(M\ast X\right)\left(t\right)={\int }_0^{t}d\tau M\left(t-\tau \right)X\left(\tau \right).$$

(31)

If the functions $M\left(t\right)$ and $K\left(t\right)$ belong to the Sonin set, then we can define general fractional derivatives $D_{\left(K\right)}^t$ and $D_{\left(K\right)}^{t,\ast }$ that are associated with GFI $I_{\left(M\right)}^t$.

Definition 3.

Let $M\left(t\right),K\left(t\right) \in {\mathbb{S}}_{-1}$ and$X\left(t\right) \in C_{-1}^1\left(0,\infty \right)$, i.e., $X^{\left(1\right)}\in C_{-1}\left(0,\infty \right)$. The general fractional derivatives (GFD) with kernel$K\left(t\right) \in C_{-1,0}\left(0,\infty \right)$, which is associated with GFI (31), is defined as

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]X\left(\tau \right)=\left({K\ast X}^{\left(1\right)}\right)\left(t\right)={\int }_0^{t}d\tau K\left(t-\tau \right)X^{\left(1\right)}\left(\tau \right)$$

(32)

for $t\in \left(0,\infty \right)$. The GFD $D_{\left(K\right)}^t$ is defined by the equation

$$D_{\left(K\right)}^t\left[\tau \right]X\left(\tau \right)=\frac{d}{\mathit{dt}}\left(K\ast X\right)\left(t\right)={\int }_0^t\frac{d}{\mathit{dt}}d\tau K\left(t-\tau \right)X\left(\tau \right)$$

(33)

for $t\in \left(0,\infty \right)$.

As proven in [58,59], operators (32) and (33) are connected (see Equation (47) in Definition 4 of [58] (p. 8)) by the equation

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]X\left(\tau \right) =D_{\left(K\right)}^t\left[\tau \right]X\left(\tau \right) - K\left(t\right)X\left(0\right).$$

(34)

The proposed GFI and GFD can be used to formulate non-Markovian dynamics in the general form, where the nonlocality in time is described by the kernel pairs that belong to the Sonin set ${\mathbb{S}}_{-1}$.

If $\left(M\left(t\right),K\left(t\right)\right) \in {\mathbb{S}}_{-1}$, then Equation (26) can be written through the GFI with kernel $M\left(t\right)$ as

$$A\left(t\right) - A\left(0\right) =I_{\left(M\right)}^t\left[\tau \right]LA\left(\tau \right).$$

(35)

The action of the GFD $D_{\left(K\right)}^s\left[t\right]$ with kernel $K\left(t\right)$, which is associated to $M\left(t\right)$, in Equation (35), gives

$$D_{\left(K\right)}^s\left[t\right]A\left(t\right) - A\left(0\right)D_{\left(K\right)}^s\left[t\right]1=D_{\left(K\right)}^s\left[t\right]I_{\left(M\right)}^t\left[\tau \right]LA\left(\tau \right).$$

(36)

For the right-hand side of Equation (36), we use the first fundamental theorem of GFC (see Theorem 3 of [58] (p. 9)). This theorem states that the equation

$$D_{\left(K\right)}^s\left[t\right]I_{\left(M\right)}^t\left[\tau \right]f\left(\tau \right) =f\left(s\right),$$

(37)

holds for $f\left(t\right) \in C_{-1}\left(0,\infty \right)$.

Using Equation (37) and the equality

$$D_{\left(K\right)}^s\left[t\right]1=\frac{d}{ds}{\int }_0^{s}dtK\left(s-t\right)1=\frac{d}{ds}{\int }_0^{s}d\xi K\left(\xi \right)=K\left(s\right),$$

(38)

Equation (36) is written in the form

$$D_{\left(K\right)}^s\left[t\right]A\left(t\right) - A\left(0\right)K\left(t\right) =LA\left(s\right).$$

(39)

The left-hand side of Equation (39) can be expressed through GFD $D_{\left(K\right)}^{s,\ast }$ by using Equation (34) in the form

$$D_{\left(K\right)}^s\left[t\right]A\left(t\right) - A\left(0\right)K\left(s\right) =D_{\left(K\right)}^{s,\ast }\left[t\right]A\left(t\right)$$

(40)

for $A\left(t\right) \in C_{-1}^1\left(0,\infty \right)$ (see also Equations (47) and (49) in [58] (p. 8)).

As a result, Equation (36) can be written as

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]A\left(\tau \right) =LA\left(t\right),$$

(41)

where $L$ is the Lindblad superoperator (the Lindbladian, quantum Liouvillian). Equation (41) describes non-Markovian dynamics of quantum observables in the general form, where the kernel belongs to the Sonin set ${\mathbb{S}}_{-1}$.

As a result, we proved the following theorem.

Theorem 1.

The integral equation

$$A\left(t\right) - A\left(0\right)={\int }_0^{t}d\tau M\left(t-\tau \right)LA\left(\tau \right),$$

(42)

where $M\left(t\right) \in C_{-1,0}\left(0,\infty \right)$ and$A\left(t\right) \in C_{-1}^1\left(0,\infty \right)$, $L$ is the Lindblad superoperator (20), which can be represented in the form

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right] A\left(\tau \right) =L A\left(t\right),$$

(43)

if there exists the kernel $K\left(t\right) \in C_{-1,0}\left(0,\infty \right)$, which is associated with $M\left(t\right)$ such that the pair$\left(M\left(t\right),K\left(t\right)\right)$belongs to the Sonin set ${\mathbb{S}}_{-1}$.

3.2. Generalization of Lindblad Equation for Quantum States

Equation (23) is the standard memoryless Markovian quantum master equation [6,7,8]. Equation (23) can be written in the integral form

$$\rho \left(t\right) - \rho \left(0\right)={\int }_0^t\left(\mathsf{\Lambda }\rho \right)\left(\tau \right)d\tau ,$$

(44)

The nonlocality in time can be taken into account by using an integral kernel in Equation (44) in the form

$$\rho \left(t\right) - \rho \left(0\right)={\int }_0^{t}M\left(t - \tau \right)\left(\mathsf{\Lambda }\rho \right)\left(\tau \right)d\tau .$$

(45)

If $M\left(t\right) =1$ for $t\in \left(0,\infty \right)$, then Equation (45) gives standard Equation (44). In general, the kernel $M\left(t-\tau \right)$ can be used to describe non-Markovian quantum dynamics.

As a result, the non-Markovian master equation for quantum states takes the form

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]\rho \left(\tau \right) =\mathsf{\Lambda }\rho \left(t\right),$$

(46)

if $\left(M\left(t\right),K\left(t\right)\right) \in {\mathbb{S}}_{-1}$. Equation (46) describes non-Markovian dynamics of quantum states in the general form, where the kernel $K\left(t\right)$ belongs to the Sonin set ${\mathbb{S}}_{-1}$.

3.3. Luchko Functions

Let us consider the triple ${\mathcal{R}}_{-1}= \left(C_{-1}\left(0,\infty \right),\ast ,+\right)$, where the multiplication $\ast$ is the Laplace convolution and $+$ the standard addition of functions. The triple ${\mathcal{R}}_{-1}$ is a commutative ring without divisors of zero [58,75].

The solutions of Equations (41) and (46) can be derived by using the Luchko operational calculus [60]. To describe the solution, we give the following theorem and define the Luchko function.

Theorem 2.

Let $M\left(t\right)$ be a kernel from the Sonin set${\mathbb{S}}_{-1}$and the power series

$$f\left(x,\lambda \right)=\sum _{j=0}^{\infty }{\lambda }^{j-1}{x}^j$$

(47)

has non-zero convergence radius $r$. Then the convolution series

$$\mathbb{F}\left(M,\lambda ,t\right)=\sum _{j=0}^{\infty }{M}^{\ast ,j}\left(t\right){\lambda }^{j-1}$$

(48)

is convergent for all $t\in \left(0,\infty \right)$ and the function$\mathbb{F}\left(x,\lambda ,t\right)$belongs to the ring ${\mathcal{R}}_{-1}$.

Theorem 2 is proven in [60] (see Theorem 4.4 in [60] (p. 359) and comments on [60] (p. 360)).

Definition 4.

Let $M\left(t\right)$ be a kernel from the Sonin set${\mathbb{S}}_{-1}$, and $M^{\ast ,j}\left(t\right)$ is the convolution$j$-power:

$$M^{\ast ,j}\left(t\right) := \left(M_1 \ast \dots \ast M_j\right)\left(t\right),$$

(49)

where $M_k\left(t\right) = M\left(t\right)$ for all $k=1, \dots , j$, and$t\in \left(0,\infty \right)$.

Then, the function

$$\mathbb{F}\left(M,\lambda ,t\right)=\sum _{j=0}^{\infty }{M}^{\ast ,j}\left(t\right){\lambda }^{j-1}$$

(50)

will be called the first Luchko function.

Let us give examples of the first Luchko function [60] (p. 361).

(1)

For the Sonin kernel

$$M\left(t\right) =h_{\alpha }\left(t\right) =\frac{t^{\alpha -1}}{\Gamma \left(\alpha \right)}, M^{\ast ,j}\left(t\right) =h_{j\alpha }\left(t\right),$$

(51)

the first Luchko function has the form

$$\mathbb{F}\left(M,\lambda ,t\right)={\sum }_{j=1}^{\infty }{\lambda }^{j-1}{h}_{j\alpha }\left(t\right) =t^{\alpha -1}{\sum }_{j=1}^{\infty }\frac{{\lambda }^j{t}^{j\alpha }}{\Gamma \left(j\alpha +\alpha \right)}=t^{\alpha -1}{E}_{\alpha ,\alpha }\left(\lambda t^{\alpha }\right).$$

(52)

Here, $E_{\alpha ,\beta }\left(z\right)$ is the two-parameters Mittag–Leffler function [76] that is defined as

$$E_{\alpha ,\beta }\left(z\right):=\sum _{k=0}^{\infty }\frac{z^k}{\Gamma \left(\alpha k+\beta \right)},$$

(53)

where $\alpha >0$, $\beta \in ℝ$ (or $\beta \in ℂ$).

(2)

For the Sonin kernel

$$M\left(t\right) =h_{\alpha ,\beta }\left(t\right) =h_{\alpha }\left(t\right)e^{-\beta t},M^{\ast ,j}\left(t\right) =h_{j\alpha ,\beta }\left(t\right).$$

(54)

the first Luchko function takes the form

$$\mathbb{F}\left(M,\lambda ,t\right)={\sum }_{j=1}^{\infty }{\lambda }^{j-1}{h}_{j\alpha ,\beta }\left(t\right) =e^{-\beta t}{t}^{\alpha -1}{\sum }_{j=1}^{\infty }\frac{{\lambda }^j{t}^{j\alpha }}{\Gamma \left(j\alpha +\alpha \right)}=e^{-\beta t}{t}^{\alpha -1}{E}_{\alpha ,\alpha }\left(\lambda t^{\alpha }\right).$$

(55)

(3)

For the Sonin kernel

$$M\left(t\right) =h_{1-\beta +\alpha }\left(t\right) + h_{1-\beta }\left(t\right),$$

(56)

where $0<\alpha <\beta <1$, the first Luchko function is given as

$$\begin{gathered} \mathbb{F}\left(M,\lambda ,t\right)=\sum _{j=1}^{\infty }{\lambda }^{j-1}\sum _{i=0}^j\left(\begin{array}{l}j\hfill \\ i\hfill \end{array}\right)h_{i\alpha +j\left(1-\beta \right)}\left(t\right) = \\ \frac{1}{\lambda t}\sum _{j=1}^{\infty }\sum _{l_1+l_2=j}\frac{j!}{l_1!l_2!}\frac{{(\lambda t^{1-\beta +\alpha })}^{l_1}{(\lambda t^{1-\beta })}^{l_2}}{\Gamma \left(l_1\left(1-\beta +\alpha \right) + l_2\left(1-\beta \right)\right)}= \\ \frac{1}{\lambda t}{E}_{\left(1-\beta ,1-\beta +\alpha \right),0}\left(\lambda t^{1-\beta },\lambda t^{1-\beta +\alpha }\right), \end{gathered}$$

(57)

where $E_{\left(1-\beta ,1-\beta +\alpha \right),0}$ is the binomial (multinomial) Mittag–Leffler function [29] (p. 49) and [77], which is defined as

$$E_{\left({\alpha }_1,\dots ,{\alpha }_m\right),\beta }\left(z_1,\dots ,z_m\right):=\sum _{j=0}^{\infty }\sum _{l_1+\cdots +l_{\mathrm{m}}=j}\frac{j!}{{\prod }_{i=1}^m{l}_i!}\frac{{\prod }_{i=1}^m{z}_i^{li}}{\Gamma \left({\sum }_{i=1}^m{\alpha }_i{l}_i+\beta \right)}$$

(58)

Using the first Luchko function $\mathbb{F}\left(M,\lambda ,t\right)$ and the kernel $K\left(t\right)$ that is associated with $M\left(t\right)$, we can define the second Luchko function.

Definition 5.

Let the functions $\left(M\left(t\right),K\left(t\right)\right)$ belong to the Sonin set${\mathbb{S}}_{-1}$, and the first Luchko function is

$$\mathbb{F}\left(M,\lambda ,t\right)=\sum _{j=1}^{\infty }{M}^{\ast ,j}\left(t\right){\lambda }^{j-1}.$$

(59)

Then, the function

$$\mathbb{L}\left(M,\lambda ,t\right):={\int }_0^{t}d\tau K\left(t-\tau \right)\mathbb{F}\left(M,\lambda ,\tau \right)=I_{\left(K\right)}^t\left[\tau \right]\mathbb{F}\left(M,\lambda ,\tau \right),$$

(60)

will be called the second Luchko function.

Note that Equation (60) contains the GFI with kernel $K\left(t\right)$ rather than kernel $M\left(t\right)$.

The second Luchko function (60) is used [60] in solution of equations with GFD that is defined by the kernel $K\left(t\right)$ associated with the kernel $M\left(t\right)$ of the GFI.

To derive solutions of equations with GFD, Yu. Luchko proposed the general operational calculus [60]. Theorem 5.1 of [60] (p. 366) proves that the solution of the equation

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]A\left(\tau \right) =\lambda A\left(t\right),$$

(61)

where $A\left(t\right) \in C_{-1}^1\left(0,\infty \right)$ is expressed through the second Luchko function $\mathbb{L}\left(M,\lambda ,\tau \right)$.

If $\left(M\left(t\right),K\left(t\right)\right) \in {\mathbb{S}}_{-1}$, then $\mathbb{F}\left(M,\lambda ,t\right) \in C_{-1}\left(0,\infty \right)$ and $\mathbb{L}\left(M,\lambda ,t\right) \in C_{-1}\left(0,\infty \right)$. Therefore, these Luchko functions belong to the ring $R_{-1}$. Thess statements are based on the fact that GFI $I_{\left(K\right)}^t\left[\tau \right]$ is the operator on $C_{-1}\left(0,\infty \right)$ (see Equation (30) and reference [60]).

Note that the second Luchko function (60) can be considered as independent of the kernel $K\left(t\right)$ since the Sonin condition $\left(K\ast M\right)\left(t\right) =\left\{1\right\}$ is satisfied for all $t\in \left(0,\infty \right)$.

Using the superoperator form of the first Luchko function $\mathbb{F}\left(M,\lambda ,t\right)$ and the second Luchko function $\mathbb{L}\left(M,\lambda ,t\right)$, we can propose solutions of equations for non-Markovian open quantum systems with nonlocality in time.

3.4. General Form of Solutions for Non-Markovian Equations

Let $L$ be a bounded superoperator on the normed operator algebra $\mathbb{A}$, in other words,

$$\lambda :=\parallel L\parallel <\infty ,$$

(62)

and $L^0=L_I$ is the unit superoperator ($L_{I}A=A$ for all $A\in \mathbb{A}$). The superoperator power series

$$\mathbb{F}\left(x,L\right):=\sum _{j=1}^{\infty }{x}^j{L}^{j-1}$$

(63)

converges in norm and the radius of convergence is equal to

$$r={\lambda }^{-1}= \parallel L{\parallel }^{-1},$$

(64)

if $L$ is the bounded superoperator on the normed operator algebra $\mathbb{A}$.

Using Theorem 2, we can state that the series

$$\mathbb{F}\left(M,L,t\right):=\sum _{j=1}^{\infty }{M}^{\ast ,j}\left(t\right)L^{j-1}$$

(65)

converges in norm for all $t\in \left(0,\infty \right)$, if $M\left(t\right) \in C_{-1}\left(0,\infty \right)$ and $L$ is the bounded superoperator.

The solution of Equation (41) can be expressed through the superoperator (65).

To obtain the solution of the general non-Markovian equation for quantum observable $A\in \mathbb{A}$, we will use Theorem 5.1 of [60] (p. 366).

Theorem 3.

Let $A\left(t\right) \in C_{-1}^1\left(0,\infty \right)$, the pair $\left(M\left(t\right),K\left(t\right)\right)$ is Sonin pair from ${\mathbb{S}}_{-1}$, and $L$ is a bounded superoperator on $\mathbb{A}$. Then the initial value problem

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right] A\left(\tau \right) =L A\left(t\right), A\left(0\right) =A_0$$

(66)

has the unique solution

$$A\left(t\right)={\Phi }_{\left(M\right)}^t{A}_0,$$

(67)

where

$${\Phi }_{\left(M\right)}^t = \mathbb{L}\left(M,L,t\right)={\int }_0^{t}d\tau K\left(t-\tau \right) \mathbb{F}\left(M,L,\tau \right)=I_{\left(K\right)}^t\left[\tau \right] \mathbb{F}\left(M,L,\tau \right).$$

(68)

The proof of this theorem is based on Theorem 5.1, which was proven in [60] (pp. 366).

Remark 1.

Note that superoperator ${\Phi }_{\left(M\right)}^t$ is independent of the kernel $K\left(t\right)$ due to the Sonin condition

$$\left(M \ast K\right)\left(t\right) = \left\{1\right\}.$$

(69)

Using condition (69), we get the convolution of kernel $K=K\left(t\right)$ and $L=\mathbb{F}\left(M,L,t\right)$ in the form

$$\begin{gathered} {\Phi }_{\left(M\right)}^t = \left(K \ast L\right)\left(t\right) = \sum _{j=1}^{\infty }\left(K \ast M^{*,j}\right)\left(t\right) L^{j-1} = \\ \sum _{j=1}^{\infty } \left(K \ast M \ast M^{*,j-1}\right)\left(t\right) L^{j-1} = \\ \sum _{j=1}^{\infty }\left(\left\{1\right\} \ast M^{\ast ,j-1}\right)\left(t\right) L^{j-1} = L_I + \left(\left\{1\right\} \ast \sum _{j=2}^{\infty }\left(M^{\ast ,j-1} L^{j-1}\right)\right)\left(t\right) = \\ {L}_I + \left(\left\{1\right\} \ast \sum _{j=1}^{\infty }\left(M^{*,j} L^j\right)\right)\left(t\right), \end{gathered}$$

(70)

where $L^0=L_I$ is the unit superoperator ($L_I A=A$ for all $A\in \mathbb{A}$).

Therefore the map ${\Phi }_{\left(M\right)}^t$ is written as

$${\Phi }_{\left(M\right)}^t ={\int }_0^t K\left(t-\tau \right) \mathbb{F}\left(M,L,\tau \right) ={ L}_I + {\int }_0^t\left(\sum _{j=1}^{\infty }{ M}^{*,j}\left(\tau \right){ L}^j\right)d\tau .$$

(71)

In the next section, we give some examples of the general non-Markovian Equation (66) and solutions (67).

3.5. Example of General Non-Markovian Dynamics

Let us consider some special cases of the proposed general non-Markovian equations and its solutions that are derived by the Luchko operational calculus [60].

(1)

In the first example, we consider the Sonin pairs of the kernels

$$M\left(t\right) =h_{\alpha }\left(t\right) =\frac{t^{\alpha -1}}{\Gamma \left(\alpha \right)},\hspace{1em}K\left(t\right) =h_{1-\alpha }\left(t\right),$$

(72)

where $t>0$, and $0<\alpha <1$. In this case, the GFD $D_{\left(K\right)}^{t,\ast }$ is the Caputo derivative $D_{C,0+}^{\alpha }$ with $\alpha \in \left(0,1\right)$. Then

$${\Phi }_{\left(M\right)}^t = L_I + \left\{1\right\} \ast \sum _{j=1}^{\infty } h_{j\alpha }\left(t\right) L^j = L_I+ \sum _{j=1}^{\infty }{h}_{j\alpha +1}\left(t\right) L^j = E_{\alpha }\left(t^{\alpha } L\right),$$

(73)

where the Mittag–Leffler function $E_{\alpha }\left(z\right) =E_{\alpha ,1}\left(z\right)$ [76]. The fractional differential equation

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]A\left(\tau \right) =LA\left(t\right),\hspace{1em}A\left(0\right) =A_0,$$

(74)

has the solution

$$A\left(t\right) =E_{\alpha }\left(t^{\alpha }L\right)A_0.$$

(75)

This type of non-Markovian quantum dynamics was first described in [37] (Chapter 20) and [38,39].

(2)

In the second example, we consider the Sonin pairs of the kernels

$$M\left(t\right) =h_{\alpha ,\beta }\left(t\right) =h_{\alpha }\left(t\right)e^{-\beta t},\hspace{1em}K\left(t\right) =h_{1-\alpha }\left(t\right)e^{-\beta t}+\frac{{\beta }^{\alpha }}{\Gamma \left(1-\alpha \right)}\gamma \left(1-\alpha ,\beta t\right),$$

(76)

where $t>0$, $\alpha \in \left(0,1\right)$, $\beta >0$, and $\gamma \left(\beta ,t\right)$ is the incomplete gamma function

$$\gamma \left(\beta ,t\right) = {\int }_0^t{\tau }^{\beta -1}{e}^{-\tau } d\tau .$$

(77)

The GFD has the form

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right] A\left(\tau \right) = {\int }_0^t\left(h_{1-\alpha }\left(\tau \right) e^{-\beta \tau } + \frac{{\beta }^{\alpha }}{\Gamma \left(1-\alpha \right)} \gamma \left(1-\alpha ,\beta \tau \right)\right) A^{\left(1\right)}\left(t-\tau \right) d\tau .$$

(78)

The superoperator ${\Phi }_{\left(M\right)}^t$ is written as

$$\begin{gathered} {\Phi }_{\left(M\right)}^t=\left(K \ast \mathbb{F}\left(M,L,\tau \right)\right)\left(t\right)= \\ \left(\left(h_{1-\alpha ,\beta }+\beta \left\{1\right\} \ast h_{1-\alpha ,\beta }\right),\sum _{j=1}^{\infty }{h}_{j\alpha ,\beta }{L}^{j-1}\right)\left(t\right)= \\ \sum _{j=1}^{\infty }{h}_{\left(j-1\right)\alpha +1,\beta }\left(t\right)L^{j-1}+\beta \left(\left\{1\right\}\ast \sum _{j=1}^{\infty }{h}_{\left(j-1\right)\alpha +1,\beta }{L}^{j-1}\right)\left(t\right)= \\ {e}^{-\beta t}{E}_{\alpha }\left(t^{\alpha }L\right)+\beta {\int }_0^{t}d\tau e^{-\beta \tau }{E}_{\alpha }\left({\tau }^{\alpha }L\right), \end{gathered}$$

(79)

where we use $\left(h_{\alpha ,\beta }\ast h_{\gamma ,\beta }\right) =h_{\alpha +\gamma ,\beta }.$

For nonlocality (76), the equation of non-Markovian dynamics

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]A\left(\tau \right) =LA\left(t\right),\hspace{1em}A\left(0\right) =A_0,$$

(80)

has the solution

$$A\left(t\right) = \left(e^{-\beta t} E_{\alpha }\left(t^{\alpha } L\right) + \beta {\int }_0^t d\tau e^{-\beta \tau }{E}_{\alpha }\left({\tau }^{\alpha } L\right)\right) A_0.$$

(81)

(3)

In the third example, we consider the Sonin pairs of the kernels

$$M\left(t\right) =h_{1-\beta +\alpha }\left(t\right) + h_{1-\beta }\left(t\right),\hspace{1em}K\left(t\right) =t^{\beta -1}{E}_{\alpha ,\beta }\left(-t^{\alpha }\right),$$

(82)

where $0<\alpha <\beta <1$. In this case, we use the GFD that has the Mittag–Leffler function in the kernel

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right] A\left(\tau \right) = {\int }_0^t d\tau {\tau }^{\beta -1} E_{\alpha ,\beta }\left(-{\tau }^{\alpha }\right) A^{\left(1\right)}\left(t-\tau \right).$$

(83)

Then, the non-Markovian dynamics is described by the superoperator

$$\begin{gathered} {\Phi }_{\left(M\right)}^t = L_I + \left\{1\right\} \ast \sum _{j=1}^{\infty }{M}^{\ast ,j}\left(t\right)L^j= \\ {L}_I + \left\{1\right\} \ast \sum _{j=1}^{\infty }{L}^j\sum _{i=0}^j\left(\begin{array}{l}j\hfill \\ i\hfill \end{array}\right)h_{i\alpha +j\left(1-\beta \right)}\left(t\right) = E_{\left(1-\beta ,1-\beta +\alpha \right),1}\left(t^{1-\beta } L,t^{1-\beta +\alpha } L\right), \end{gathered}$$

(84)

where the function $E_{\left(1-\beta ,1-\beta +\alpha \right),1}$ is a special case (binomial) of the multinomial Mittag–Leffler function [77]. The equation with GFD (83) and initial condition

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]A\left(\tau \right) =LA\left(t\right),\hspace{1em}A\left(0\right) =A_0,$$

(85)

has the solution

$$A\left(t\right) =E_{\left(1-\beta ,1-\beta +\alpha \right),1}\left(t^{1-\beta }L,t^{1-\beta +\alpha }L\right)A_0.$$

(86)

These examples of equations and their solutions describe the non-Markovian dynamics of quantum observables.

4. Properties of Non-Markovian Quantum Dynamical Maps

4.1. Violation of Semigroup Property for Non-Markovian Maps

The non-Markovian maps ${\Phi }_t^{\left(M\right)}\left(\alpha \right)$, $t>0$ describe dynamics of open quantum systems with power-law memory. The superoperator $L$ can be considered as a generator of the one-parameter groupoid ${\Phi }_t^{\left(M\right)}\left(\alpha \right)$ on an operator algebra of quantum observables:

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]{\Phi }_{\tau }^{\left(M\right)}=L{\Phi }_{\tau }^{\left(M\right)}.$$

The set $\left\{{\Phi }_t^{\left(M\right)}|t>0\right\}$, is called a quantum dynamical groupoid [5,38]. Note that the following properties are realized

$${\Phi }_t^{\left(M\right)}I=I,$$

$${({\Phi }_t^{\left(M\right)}A)}^{†}={\Phi }_t^{\left(M\right)}A$$

for self-adjoint operators $A$ ($A^{†}=A$), and

$$\underset{t\to 0+}{\lim }{\Phi }_t^{\left(M\right)}=L_I,$$

where $L_I$ is an identity superoperator ($L_{I}A=A$). As a result, the non-Markovian map ${\Phi }_t^{\left(M\right)}$, $t>0$, are real and unit preserving maps on the operator algebra of quantum observables.

For $M\left(t\right) =h_{\alpha }\left(t\right)$ and $K\left(t\right) =h_{1-\alpha }\left(t\right)$ with $0<\alpha \le 1$, the GFD is the Caputo fractional derivative of the order $\alpha$, and the non-Markovian map has the form

$${\Phi }_t^{\left(M\right)}=E_{\alpha }\left[t^{\alpha }L\right]$$

that is described in [37,38], where $E_{\alpha }\left[z\right]$ is the Mittag–Leffler function [76]. For $\alpha =1$, we have

$${\Phi }_t^{\left(M\right)}=E_1\left[tL\right] =\exp \left\{tL\right\} ={\Phi }_t.$$

The superoperators ${\Phi }_t$ form a semigroup such that

$${\Phi }_t{\Phi }_s={\Phi }_{t+s},(t,s>0),{\Phi }_0=L_I.$$

This property holds since

$$\exp \left\{tL\right\}\exp \left\{sL\right\} =\exp \left\{\left(t+s\right)L_V\right\}.$$

For $\alpha \cancel{\in }\mathbb{N}$, we have the violation of the semigroup property [78,79,80]:

$$E_{\alpha }[t^{\alpha }L\left]E_{\alpha }\right[s^{\alpha }L\left]\ne E_{\alpha }\right[\left(t+s{)}^{\alpha }L\right].$$

Therefore, the semigroup property is not satisfied for non-Markovian dynamics

$${\Phi }_t^{\left(M\right)}{\Phi }_s^{\left(M\right)}\ne {\Phi }_t^{\left(M\right)},(t,s>0).$$

As a result, the non-Markovian maps ${\Phi }_t^{\left(M\right)}$ cannot form a semigroup. This property is a characteristic property, which means that we have a quantum process with non-locality in time. The maps ${\Phi }_t^{\left(M\right)}$ describe the quantum dynamics of open systems with non-locality in time. This non-locality in time means that their present value of quantum observable (or quantum state) of quantum system $A\left(t\right) ={\Phi }_t^{\left(M\right)}{A}_0$ depends on all past values of $A\left(\tau \right)$ for $\tau \in \left[0,t\right]$.

4.2. Some Properties of Markovian Maps

In this section, we will briefly describe the properties of Markovian maps ${\Phi }_t$ and the superoperator $L$, for the convenience of generalizations to non-Markovian dynamics.

4.2.1. Bi-Positivity and Dissipativity in Markovian Theory

The Markovian quantum dynamics is described by the map

$${\Phi }_t := \sum _{n=0}^{\infty }{h}_{n+1}\left(t\right) L^n,$$

(87)

where

$$h_{n+1}\left(t\right) =\frac{t^n}{\Gamma \left(n+1\right)}=\frac{t^n}{n!}.$$

We will assume that $D\left(L\right) =\mathbb{A}$ to simplify the description. To this purpose, we will also consider the bi-positivity condition instead of complete positivity condition.

The bi-positivity condition for the Markovian map ${\Phi }_t$ can be considered in the form

$${\Phi }_t\left(A{A}^{†}\right)\ge {\Phi }_t\left(A\right){\Phi }_t\left(A^{†}\right),$$

(88)

which should be satisfied for all $t>0$ and $A\in \mathbb{A}$.

The importance of condition (88) is due to the fact that it leads to the positive condition

$${\Phi }_t\left(A{A}^{†}\right)\ge 0,$$

for all $A\in \mathbb{A}$, if ${\Phi }_t\left(A^{†}\right) ={\left({\Phi }_t\left(A\right)\right)}^{†}$. Let us prove this statement. If $L\left(A^{†}\right) ={(L\left(A\right))}^{†}$, then

$${\Phi }_t\left(A^{†}\right) = {({\Phi }_t\left(A\right))}^{†},$$

and

$${\Phi }_t\left(A\right){\Phi }_t\left(A^{†}\right) ={\Phi }_t\left(A\right){({\Phi }_t\left(A\right))}^{†}={\left|{\Phi }_t\left(A\right)\right|}^2\ge 0.$$

As a result, we obtain

$${\Phi }_t\left(A{A}^{†}\right)\ge {\left|{\Phi }_t\left(A\right)\right|}^2\ge 0.$$

If the real superoperator $L$ is completely dissipative, for which the inequality

$$L\left(A_k^{†}{A}_l\right)\ge L\left(A_k^{†}\right)A_l+A_k^{†}L\left(A_l\right)$$

(89)

is satisfied for all $A_k,A_l\in \mathbb{A}$, then the quantum Markovian map map ${\Phi }_t$ is completely positive, if ${\Phi }_t\left(A^{†}\right) ={\left({\Phi }_t\left(A\right)\right)}^{†}$ for all $A\in \mathbb{A}$. This statement can be proved similarly by using the following transformations

$$\begin{gathered} \sum _{k=1}^n\sum _{l=1}^n{B}_k^{†}{\Phi }_t\left(A_k^{†}{A}_l\right)B_l\ge \\ \left(\sum _{k=1}^n{B}_k^{†}{\Phi }_t\left(A_k^{†}\right)\right)\left(\sum _{l=1}^n{\Phi }_t\left(A_l\right)B_l\right) = \\ {\left(\sum _{l=1}^n{\Phi }_t\left(A_l\right)B_l\right)}^{†}\left(\sum _{l=1}^n{\Phi }_t\left(A_l\right)B_l\right) = \\ {\mid \sum _{l=1}^n{\Phi }_t\left(A_l\right)B_l\mid }^2 \ge 0. \end{gathered}$$

Let us consider two approaches to find a condition that the real superoperator $L$ must satisfy in order for the bi-positivity condition to be satisfied for all $t>0$ in the Markovian quantum dynamics, and a possibility to generalize these approaches to the general non-Markovian maps.

4.2.2. Markovian Case: First Approach

The condition on $L$ to have the bi-positivity of maps ${\Phi }_t$ is usually obtained by differentiating inequality (88) with respect to time

$$\frac{d}{dt}{\Phi }_t\left(A{A}^{†}\right)\ge \frac{d}{dt}\left({\Phi }_t\left(A\right){\Phi }_t\left(A^{†}\right)\right)$$

(90)

and using the standard Leibniz rule

$$\frac{d}{dt}\left({\Phi }_t\left(A\right){\Phi }_t\left(A^{†}\right)\right) =\frac{d}{dt}\left({\Phi }_t\left(A\right)\right){\Phi }_t\left(A^{†}\right) + {\Phi }_t\left(A\right)\frac{d}{dt}\left({\Phi }_t\left(A^{†}\right)\right).$$

(91)

The Markovian equations for quantum observables

$$\frac{d}{dt}{\Phi }_t\left(A\right) =L{\Phi }_t\left(A\right) ={\Phi }_t\left(LA\right)$$

and Equation (91) allow us to get inequality (90) in the form

$${\Phi }_t\left(L\left(A{A}^{†}\right)\right)\ge {\Phi }_t\left(L\left(A\right)\right){\Phi }_t\left(A^{†}\right) + {\Phi }_t\left(A\right){\Phi }_t\left(L\left(A^{†}\right)\right).$$

(92)

In the limit $t\to 0$, we get the condition

$$L\left(A{A}^{†}\right)\ge L\left(A\right)A^{†}+AL\left(A^{†}\right).$$

(93)

Unfortunately, this approach cannot be used for equations with fractional derivatives and GFD because the standard Leibniz rule (the product rule) is violated

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]\left({\Phi }_{\tau }\left(A\right){\Phi }_{\tau }\left(A^{†}\right)\right)\ne D_{\left(K\right)}^{t,\ast }\left[\tau \right]\left({\Phi }_{\tau }\left(A\right)\right){\Phi }_t\left(A^{†}\right) + {\Phi }_t\left(A\right)D_{\left(K\right)}^{t,\ast }\left[\tau \right]\left({\Phi }_t\left(A^{†}\right)\right).$$

(94)

For example, in the non-Markovian quantum theory, which was proposed in [37] (pp.477–482) and [38,39], the Sonin pair of kernels is used in the form

$$M\left(t\right) =h_{\alpha }\left(t\right) =\frac{t^{\alpha -1}}{\Gamma \left(\alpha \right)},\hspace{1em}K\left(t\right) =h_{1-\alpha }\left(t\right) =\frac{t^{-\alpha }}{\Gamma \left(1-\alpha \right)},$$

with $0<\alpha <1$. In this case, the GFI and GFD are the Riemann–Liouville fractional integral and the Caputo fractional derivative. The generalized Leibniz rule (see Theorem 3.17 in [30] (p. 59)) has the form

$$\begin{gathered} D_{\left(h_{1-\alpha }\right)}^{t,\ast }\left[\tau \right]\left(f\left(\tau \right)g\left(\tau \right)\right) = h_{1-\alpha }\left(t\right)\left(f\left(t\right) - f\left(0\right)\right)g\left(0\right) + \\ f\left(t\right)\left(D_{\left(h_{1-\alpha }\right)}^{t,\ast }\left[\tau \right]g\left(\tau \right)\right)+\sum _{k=1}^{\infty }\left(\begin{array}{l}\alpha \hfill \\ k\hfill \end{array}\right)f^{\left(k\right)}\left(t\right)I_{\left(h_{k-\alpha }\right)}^t\left[\tau \right]g\left(\tau \right), \end{gathered}$$

where $\left(\begin{array}{l}\alpha \hfill \\ k\hfill \end{array}\right):=\frac{\alpha \left(\alpha -1\right)\dots \left(\alpha -k+1\right)}{k!}.$

The violation of the standard Leibniz rule is a characteristic property of fractional derivatives of non-integer order [81].

For GFD, there is no rule for differentiating the product in the general case. Therefore, we should use another approach to derive the conditions on the superoperator $L$. For Markovian dynamics, another method of obtaining the condition on $L$ can be used, and this method can be generalized to the case of non-Markovian quantum theory.

4.2.3. Markovian Case: Second Approach

Let us consider the bi-positivity condition in the form

$$\langle {\Phi }_t\left(A{A}^{†}\right)\rangle \ge \langle {\Phi }_t\left(A\right){\Phi }_t\left(A^{†}\right)\rangle ,$$

(95)

which should be satisfied for all $t>0$ and all $A\in \mathbb{A}$, where the average value of the quantum observable $A\left(t\right) ={\Phi }_t\left(A\right)$ is defined as

$$\langle {\Phi }_t\left(A\right)\rangle =Tr\left[\rho {\Phi }_t\left(A\right)\right].$$

Substitution of expression (87) into inequality (95) gives

$$\sum _{n=0}^{\infty }{h}_{n+1}\left(t\right)\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{m=0}^{\infty }\sum _{k=0}^{\infty }{h}_{m+1}\left(t\right)h_{k+1}\left(t\right)\langle L^m\left(A\right)L^k\left(A^{†}\right)\rangle ,$$

(96)

where we use the linearity of the average value. Using $n=m+k$, and

$$\begin{gathered} h_{m+1}\left(t\right)h_{k+1}\left(t\right) =\frac{t^m}{\Gamma \left(m+1\right)}\frac{t^k}{\Gamma \left(k+1\right)}= \\ \frac{\Gamma \left(m+k+1\right)}{\Gamma \left(m+1\right)\Gamma \left(k+1\right)}\frac{t^{m+k}}{\Gamma \left(m+k+1\right)} = \left(\begin{array}{l}m+k\hfill \\ k\hfill \end{array}\right)h_{m+k+1}\left(t\right) = \left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)h_{n+1}\left(t\right) \end{gathered}$$

inequality (96) is represented as

$$\sum _{n=\mathrm{o}}^{\infty }{h}_{n+1}\left(t\right)\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{n=\mathrm{o}}^{\infty }{h}_{n+1}\left(t\right)\sum _{k=\mathrm{o}}^n\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle .$$

(97)

Since the bi-positivity condition must be satisfied for all $t>0$, we obtain

$$\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{k=0}^n\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle ,$$

(98)

which should be satisfied for all $n\in \mathbb{N}$. For $n=1$, inequality (98) has the form

$$\langle L\left(A{A}^{†}\right)\rangle \ge \langle L\left(A\right)A^{†}+AL\left(A^{†}\right)\rangle ,$$

(99)

which should be satisfied for all $A\in \mathbb{A}$.

The bounded superoperators $L$, which satisfy conditions $L\left(I\right) =0$, $L\left(A^{†}\right) ={(LA)}^{†}$ and inequality (99), are called dissipative.

Inequality (99) for real superoperator $L$ is a necessary and sufficient condition in order for the Markovian quantum map ${\Phi }_t$ to have a bi-positivity property.

Theorem 4.

Let $L$ be real superoperator, which satisfies the dissipativity condition

$$L\left(A A^{†}\right) \ge L\left(A\right) A^{†}+A L\left(A^{†}\right)$$

(100)

for all $A\in \mathbb{A}$.

Then, the Markovian map${\Phi }_t$satisfies the bi-positive condition

$${\Phi }_t\left(A A^{†}\right) \ge {\Phi }_t\left(A\right) {\Phi }_t\left(A^{†}\right)$$

for all$t>0$and all$A\in \mathbb{A}$.

Proof. 

Using the series representation of ${\Phi }_t\left(A{A}^{†}\right)$ and inequality

$$L\left(A^{†}A\right)\ge L\left(A^{†}\right)A+A^{†}L\left(A\right)$$

(101)

we get

$$\begin{gathered} {\Phi }_t\left(A{A}^{†}\right) = \sum _{n=0}^{\infty }{h}_{n+1}\left(t\right)L^n\left(A{A}^{†}\right) \ge \\ \sum _{n=0}^{\infty }\sum _{k=0}^n\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)h_{n+1}\left(t\right)L^{n-k}\left(A\right)L^k\left(A^{†}\right) = \\ \sum _{m=0}^{\infty }\sum _{k=0}^{\infty }\left(\begin{array}{l}m+k\hfill \\ k\hfill \end{array}\right)h_{m+k+1}\left(t\right)L^m\left(A\right)L^k\left(A^{†}\right). \end{gathered}$$

Using

$$\begin{gathered} \left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)h_{m+k+1}\left(t\right) =\frac{\Gamma \left(m+k+1\right)}{\Gamma \left(m+1\right)\Gamma \left(k+1\right)}{h}_{m+k+1}\left(t\right) = \\ \frac{\Gamma \left(m+k+1\right)}{\Gamma \left(m+1\right)\Gamma \left(k+1\right)}\frac{t^{m+k}}{\Gamma \left(m+k+1\right)} = \\ \frac{t^m{t}^k}{\Gamma \left(m+1\right)\Gamma \left(k+1\right)} =h_{m+1}\left(t\right)h_{k+1}\left(t\right) \end{gathered}$$

we get

$$\begin{gathered} {\Phi }_t\left(A{A}^{†}\right)\ge \sum _{m=0}^{\infty }\sum _{k=0}^{\infty }{h}_{m+1}\left(t\right)h_{k+1}\left(t\right)L^m\left(A\right)L^k\left(A^{†}\right)= \\ \left(\sum _{m=0}^{\infty }{h}_{m+1}\left(t\right)L^m\left(A\right)\right)\left(\sum _{k=0}^{\infty }{h}_{k+1}\left(t\right)L^k\left(A^{†}\right)\right)={\text{ Φ}}_t\left(A\right){\text{ Φ}}_t\left(A^{†}\right). \end{gathered}$$

 □

4.3. General Non-Markovian Maps: Bi-Positivity and Complete Positivity

In this section, we will consider the bi-positivity condition instead of the complete positivity condition to simplify the description and proofs. Condition of complete positivity proved similar to the proofs for bi-positivity, and conditions for complete dissipativity of the superoperator $L$ are written analogously to conditions for general dissipativity. We will also assume that $D\left(L\right) =\mathbb{A}$ to simplify the description.

Let us give the definition for the non-Markovian quantum maps that are described in the paper.

Definition 6.

Let the pair of kernels $\left(M\left(t\right), K\left(t\right)\right)$ belongs to the Sonin set ${\mathbb{S}}_{-1}$, where the Sonin condition has the form

$$\left(K \ast M\right)\left(t\right) = \left\{1\right\},$$

and$L$is real Lindblad superoperator.

Then, the one-parameter superoperator

$${\Phi }_t^{\left(M\right)}\left(A\right)=\sum _{j=1}^{\infty }\left({K\ast M}^{\ast ,j}\right)\left(t\right)L^{j-1}=\sum _{n=0}^{\infty }{\mathbb{M}}_{\mathrm{n}+1}\left(t\right)L^{\mathrm{n}},$$

(102)

where

$${\mathbb{M}}_{n+1}\left(t\right):=\left({K\ast M}^{\ast ,n+1}\right)\left(t\right)=\left(\left\{1\right\}{\ast M}^{\ast ,n}\right)\left(t\right)={\int }_0^t{M}^{\ast ,n}\left(\tau \right)d\tau ,$$

(103)

will be called the general non-Markovian quantum map.

For the general non-Markovian quantum dynamics, the bi-positivity property of the map ${\Phi }_t^{\left(M\right)}$ can be described in the following form.

Definition 7.

The bi-positivity property of the general non-Markovian quantum dynamical map ${\Phi }_t^{\left(M\right)}$ can be defined in the form of the inequality

$$\langle {\Phi }_t^{\left(M\right)}\left(A A^{†}\right)\rangle \ge \langle {\Phi }_t^{\left(M\right)}\left(A\right) {\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle ,$$

(104)

which holds for all $t>0$ and all$A\in \mathbb{A}$. The average value of the quantum observable $A\left(t\right) ={\Phi }_t^{\left(M\right)}\left(A\right)$ is defined as

$$\langle {\Phi }_t^{\left(M\right)}\left(A\right)\rangle =Tr\left[\rho {\Phi }_t^{\left(M\right)}\left(A\right)\right].$$

Lemma 1.

Let the general non-Markovian map ${\Phi }_t^{\left(M\right)}$ be bi-positive and

$${\left({\Phi }_t^{\left(M\right)}\left(A\right)\right)}^{†}={\Phi }_t^{\left(M\right)}\left(A^{†}\right)$$

for all $t>0$ and all $A\in \mathbb{A}$.

Then, the positivity condition

$$\langle {\Phi }_t^{\left(M\right)}\left(A A^{†}\right)\rangle \ge 0$$

holds for all $t>0$ and all$A\in \mathbb{A}$.

Proof. 

The following equalities hold

$$\langle {\Phi }_t^{\left(M\right)}\left(A\right){\left({\Phi }_t^{\left(M\right)}\left(A\right)\right)}^{†}\rangle =\langle A\left(t\right)A^{†}\left(t\right)\rangle =\langle {\left|A\left(t\right)\right|}^2\rangle \ge 0$$

for all $t>0$ and for all $A\in \mathbb{A}$. Therefore, bi-positivity condition (104) leads to the positivity

$$\begin{gathered} \langle {\Phi }_t^{\left(M\right)}\left(A{A}^{†}\right)\rangle \ge \langle {\Phi }_t^{\left(M\right)}\left(A\right){\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle = \\ \langle {\Phi }_t^{\left(M\right)}\left(A\right){\left({\Phi }_t^{\left(M\right)}\left(A\right)\right)}^{†}\rangle =\langle |{\Phi }_t^{\left(M\right)}\left(A\right){|}^2\rangle \ge 0 \end{gathered}$$

in the form

$$\langle {\Phi }_t^{\left(M\right)}\left(A{A}^{†}\right)\rangle \ge 0.$$

 □

Definition 8.

The complete positivity condition of the general non-Markovian quantum dynamical map ${\Phi }_t^{\left(M\right)}$ can be defined in the form

$$\sum _{k=1}^n\sum _{l=1}^n\langle B_k^{†}{\Phi }_t^{\left(M\right)}\left(A_k^{†}{A}_l\right)B_l\rangle \ge 0,$$

(105)

which holds for all $t>0$, and for all$A_j,B_j\in \mathbb{A}$, $j=1,\dots n$and all $n\in \mathbb{N}$.

Lemma 2.

Let the general non-Markovian map ${\Phi }_t^{\left(M\right)}$ satisfy the complete positivity condition, and

$${\left({\Phi }_t^{\left(M\right)}\left(A\right)\right)}^{†}={\Phi }_t^{\left(M\right)}\left(A^{†}\right)$$

for all$t>0$and all$A\in \mathbb{A}$.

Then the positivity condition

$$\langle {\Phi }_t^{\left(M\right)}\left(A A^{†}\right)\rangle \ge 0.$$

(106)

holds for all $t>0$.

Proof. 

Using $A_k=A$ and $B_k=I$, inequality (105) takes form (106). □

4.3.1. From Bi-Positivity to General Dissipativity

Let us find a condition that the real superoperator $L$ must satisfy in order to bi-positivity condition (104) to be satisfied for all $t>0$ for the general non-Markovian quantum maps.

This required condition is given by the following theorem.

Theorem 5.

Let the bi-positivity condition

$$\langle {\Phi }_t^{\left(M\right)}\left(A A^{†}\right)\rangle \ge \langle {\Phi }_t^{\left(M\right)}\left(A\right) {\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle$$

(107)

be satisfied for all $t>0$ for the general non-Markovian map

$${\Phi }_t^{\left(M\right)}\left(A\right)=\sum _{n=0}^{\infty }{\mathbb{M}}_{\mathrm{n}+1}\left(t\right)L^{\mathrm{n}},$$

(108)

where

$${\mathbb{M}}_n\left(t\right) > 0$$

(109)

for all$n\in \mathbb{N}$and all$t>0$.

Then real superoperator$L$satisfies the inequality

$$\langle L^n\left(A,A^{†}\right)\rangle \ge \sum _{k=1}^n{E}_k^n\left(K,M\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle ,$$

(110)

for all$n\in \mathbb{N}$and all $t>0$, where

$$E_k^n\left(K,M\right) :=\frac{{\mathbb{M}}_{n-k+1}\left(t\right) {\mathbb{M}}_{k+1}\left(t\right)}{{\mathbb{M}}_{n+1}\left(t\right)}.$$

(111)

Proof. 

Substitution of expression (102) in the right side of inequality (104) gives

$$\langle {\Phi }_t^{\left(M\right)}\left(A\right){\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle =\sum _{m=0}^{\infty }\sum _{k=0}^{\infty }{\mathbb{M}}_{m+1}\left(t\right){\mathbb{M}}_{k+1}\left(t\right)\langle L^m\left(A\right)L^k\left(A^{†}\right)\rangle ,$$

(112)

where we use the linearity of the average value. Using $m=n-k$, Equation (112) takes the form

$$\langle {\Phi }_t^{\left(M\right)}\left(A\right){\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle =\sum _{m=0}^{\infty }\sum _{k=0}^n{\mathbb{M}}_{n-k+1}\left(t\right){\mathbb{M}}_{k+1}\left(t\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle .$$

(113)

Using (102) and (113), bi-positivity condition (104) is represented by the inequality

$$\sum _{n=0}^{\infty }{\mathbb{M}}_{n+1}\left(t\right)\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{n=0}^{\infty }\sum _{k=0}^n{\mathbb{M}}_{n-k+1}\left(t\right){\mathbb{M}}_{k+1}\left(t\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle .$$

(114)

Since inequality (114) must hold for all $t>0$, we will look for conditions on $L$ by using the inequalities

$${\mathbb{M}}_{n+1}\left(t\right)\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{k=0}^n{\mathbb{M}}_{n-k+1}\left(t\right){\mathbb{M}}_{k+1}\left(t\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle .$$

(115)

Using the assumption that the inequality

$${\mathbb{M}}_n\left(t\right) > 0$$

(116)

holds for all $n\in \mathbb{N}$ and all $t>0$, we obtain the condition

$$\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{k=0}^n{E}_k^n\left(K,M\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle ,$$

(117)

where

$$E_k^n\left(K,M\right):=\frac{{\mathbb{M}}_{n-k+1}\left(t\right){\mathbb{M}}_{k+1}\left(t\right)}{{\mathbb{M}}_{n+1}\left(t\right)}.$$

(118)

and $k,n\in {\mathbb{N}}_0$ and $0\le k\le n$. □

Definition 9.

Let a pair of kernels $\left(M\left(t\right), K\left(t\right)\right)$ belong to the Sonin set ${\mathbb{S}}_{-1}$, and

$${\mathbb{M}}_n\left(t\right) > 0$$

(119)

for all$n\in \mathbb{N}$and all$t>0$. Then the function

$$E_k^n\left(K,M\right) :=\frac{{\mathbb{M}}_{n-k+1}\left(t\right) {\mathbb{M}}_{k+1}\left(t\right)}{{\mathbb{M}}_{n+1}\left(t\right)},$$

(120)

where$k, n\in {\mathbb{N}}_0$and$0\le k\le n$, will be called the general binomial coefficients.

Remark 2.

If the kernel $M\left(t\right)$ is positive

$$M\left(t\right) > 0$$

(121)

for all $t>0$, then condition (119) holds.

Definition 10.

Let the real operator $L$ satisfy the inequalities

$$\langle L^n\left({AA}^{†}\right)\rangle \ge \sum _{k=0}^n{E}_k^n\left(K,M\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle$$

for all$n\in {\mathbb{N}}_0$and all$A\in \mathbb{A}$. Then$L$will be called the general dissipative superoperator.

The general complete dissipativity condition is defined in the form

$$\langle L^n\left(A_i ,A_j^{†}\right)\rangle \ge \sum _{k=0}^n{E}_k^n\left(K,M\right) \langle L^{n-k}\left(A_i\right) L^k\left(A_j^{†}\right)\rangle$$

which holds for all $t>0$, and for all$A_i,A_j\in \mathbb{A}$, $j=1,\dots m$and all $n,m\in \mathbb{N}$.

We will consider the bi-positivity condition instead of the complete positivity condition to simplify the description and proof in the next sections. Conditions for complete positivity were proved similarly to the proofs for bi-positivity. The condition for general complete dissipativity of the real superoperator $L$ will be used analogously as the condition for general dissipativity.

In connection with general dissipativity condition (121), which must be satisfied for any value of all $n\in \mathbb{N}$, two questions arise: (1) What condition must the superoperator $L^1=L$ satisfy in order for the general dissipativity condition (121) to hold for all $n\in \mathbb{N}$? (2) What is the connection between the general dissipativity condition, and the condition of the dissipativity? Answers to these questions will be offered in the following sections.

4.3.2. General Dissipativity for $n=1$

Let us consider the general dissipativity condition for the superoperator $L^n$ with $n=1$.

Theorem 6.

Let a pair of kernels $\left(M\left(t\right), K\left(t\right)\right)$ belongs to the Sonin set ${\mathbb{S}}_{-1}$, and

$${\mathbb{M}}_n\left(t\right) > 0$$

for all $n\in \mathbb{N}$ and all$t>0$.

Then the general binomial coefficients with$k=0$and$k=n$are equal to one

$$E_0^n\left(K,M\right) =E_n^n\left(K,M\right) =1$$

for all $n\in \mathbb{N}$.

Proof. 

Using the definition of the general binomial coefficients, we have

$$E_0^n\left(K,M\right):=\frac{{\mathbb{M}}_{n+1}\left(t\right){\mathbb{M}}_1\left(t\right)}{{\mathbb{M}}_{n+1}\left(t\right)},$$

(122)

$$E_n^n\left(K,M\right):=\frac{{\mathbb{M}}_1\left(t\right){\mathbb{M}}_{n+1}\left(t\right)}{{\mathbb{M}}_{n+1}\left(t\right)}.$$

(123)

Using

$${\mathbb{M}}_1\left(t\right):= \left(K\ast M\right)\left(t\right) = \left\{1\right\},$$

(124)

we get

$$E_0^n\left(K,M\right) =E_n^n\left(K,M\right) =\frac{\left\{1\right\} {\mathbb{M}}_{n+1}\left(t\right)}{{\mathbb{M}}_{n+1}\left(t\right)} =\left\{1\right\}.$$

(125)

 □

Theorem 7.

Let a pair of kernels $\left(M\left(t\right), K\left(t\right)\right)$ belongs to the Sonin set ${\mathbb{S}}_{-1}$, and

$${\mathbb{M}}_n\left(t\right) > 0$$

for all $n\in \mathbb{N}$ and all$t>0$.

Then the general dissipative superoperator$L^n$with$n=1$satisfies the condition

$$\langle L\left(A A^{†}\right)\rangle \ge \langle L\left(A\right) A^{†}+A L\left(A^{†}\right)\rangle$$

(126)

for all $A\in \mathbb{A}$.

Proof. 

For $n=1$, inequality (110) takes the form

$$\langle L\left(A,A^{†}\right))\rangle \ge \langle E_0^1\left(K,M\right)L\left(A\right)A^{†}+E_1^1\left(K,M\right)AL\left(A^{†}\right)\rangle ,$$

(127)

where

$$E_0^1\left(K,M\right):=\frac{{\mathbb{M}}_2\left(t\right){\mathbb{M}}_1\left(t\right)}{{\mathbb{M}}_2\left(t\right)},$$

(128)

$$E_1^1\left(K,M\right):=\frac{{\mathbb{M}}_1\left(t\right){\mathbb{M}}_2\left(t\right)}{{\mathbb{M}}_2\left(t\right)}.$$

(129)

Using Theorem 7, we have

$$E_0^1\left(K,M\right) =E_1^1\left(K,M\right) =\frac{\left\{1\right\}{\mathbb{M}}_2\left(t\right)}{{\mathbb{M}}_2\left(t\right)} = \left\{1\right\}.$$

(130)

Therefore, inequality (127) has the form

$$\langle L\left(A,A^{†}\right)\rangle \ge \langle L\left(A\right)A^{†}+AL\left(A^{†}\right)\rangle .$$

(131)

Theorem 8.

Let ${\Phi }_t^{\left(M\right)}$ be general non-Markovian map with the positive kernel$M\left(t\right) > 0$for all$t>0$such that the bi-positivity condition

$$\langle {\Phi }_t^{\left(M\right)}\left(A A^{†}\right)\rangle \ge \langle {\Phi }_t^{\left(M\right)}\left(A\right) {\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle$$

(132)

is satisfied for all $t>0$, and all$A\in \mathbb{A}$.

Then, the real superoperator $L$ satisfies the dissipativity condition

$$\langle L\left(A A^{†}\right)\rangle \ge \langle L\left(A\right) A^{†}+A L\left(A^{†}\right)\rangle \mathrm{q}$$

(133)

holds for all $A\in \mathbb{A}$.

Proof. 

Using Theorem 5, we get that the bi-positivity condition (132) for general non-Markovian map ${\Phi }_t^{\left(M\right)}$ leads to the general dissipativity condition for the superoperator $L^n$. □

Then, using Theorem 6, the general dissipativity condition leads to the dissipativity condition (133).

4.3.3. From General Dissipativity to Bi-Positivity

Let us prove the theorem that is converse to Theorem 5.

Theorem 9.

Let $L$ be real superoperator, for which the inequalities

$$\langle L^n\left({AA}^{†}\right)\rangle \ge \sum _{k=0}^n{E}_k^n\left(K,M\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle$$

(134)

are satisfied for all $n\in \mathbb{N}$, and all $A\in \mathbb{A}$, where the functions ${\mathbb{M}}_{n+1}\left(t\right)$ are positive

$${\mathbb{M}}_{n+1}\left(t\right) := \left(K \ast M^{\ast ,n+1}\right)\left(t\right) = \left(\left\{1\right\} \ast M^{\ast ,n}\right)\left(t\right) > 0$$

(135)

for all $n\in {\mathbb{N}}_0$.

Then the bi-positivity condition

$$\langle {\Phi }_t^{\left(M\right)}\left(A A^{†}\right)\rangle \ge \langle {\Phi }_t^{\left(M\right)}\left(A\right) {\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle$$

(136)

is satisfied for all $t>0$ and all $A\in \mathbb{A}$ for the general non-Markovian map

$${\Phi }_t^{\left(M\right)}\left(A\right)=\sum _{n=0}^{\infty }{\mathbb{M}}_{n+1}\left(t\right)L^n.$$

(137)

Proof. 

Let us use condition (134) in the form

$$\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{k=0}^n\frac{{\mathbb{M}}_{n-k+1}\left(t\right){\mathbb{M}}_{k+1}\left(t\right)}{{\mathbb{M}}_{n+1}\left(t\right)}\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle .$$

(138)

Using assumption that ${\mathbb{M}}_n\left(t\right) > 0$ holds for all $n\in \mathbb{N}$ and all $t > 0$, inequality (138) can be written as

$${\mathbb{M}}_{n+1}\left(t\right)\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{k=0}^n\left({\mathbb{M}}_{n-k+1}\left(t\right){\mathbb{M}}_{k+1}\left(t\right)\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle .$$

(139)

Since, by condition of the theorem, inequality (138) holds for any $n\in {\mathbb{N}}_0$. Then, summing from $0$ to $\infty$ inequality (139), we obtain

$$\sum _{n=0}^{\infty }{\mathbb{M}}_{n+1}\left(t\right)\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{n=0}^{\infty }\sum _{k=0}^n\left({\mathbb{M}}_{n-k+1}\left(t\right){\mathbb{M}}_{k+1}\left(t\right)\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle .$$

(140)

Using $m=n-k$, condition (140) takes the form

$$\sum _{n=0}^{\infty }{\mathbb{M}}_{n+1}\left(t\right)\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{m=0}^{\infty }\sum _{k=0}^{\infty }{\mathbb{M}}_{m+1}\left(t\right){\mathbb{M}}_{k+1}\left(t\right)\langle L^m\left(A\right)L^k\left(A^{†}\right)\rangle .$$

(141)

Then

$$\sum _{n=0}^{\infty }{\mathbb{M}}_{n+1}\left(t\right)\langle L^n\left(A{A}^{†}\right)\rangle \ge \left(\sum _{m=0}^{\infty }\sum _{k=0}^{\infty }{\mathbb{M}}_{m+1}\left(t\right){\mathbb{M}}_{k+1}\left(t\right)\right)\langle L^m\left(A\right)L^k\left(A^{†}\right)\rangle .$$

(142)

$$\langle \sum _{n=0}^{\infty }{\mathbb{M}}_{n+1}\left(t\right)L^n\left(A{A}^{†}\right)\rangle \ge \langle \left(\sum _{m=0}^{\infty }{\mathbb{M}}_{m+1}\left(t\right)L^m\left(A\right)\right)\left(\sum _{k=0}^{\infty }{\mathbb{M}}_{k+1}\left(t\right)L^k\left(A^{†}\right)\right)\rangle .$$

(143)

$$\langle {\Phi }_t^{\left(M\right)}\left(A{A}^{†}\right)\rangle \ge \langle {\Phi }_t^{\left(M\right)}\left(A\right){\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle .$$

(144)

 □

As a result, Theorems 5 and 9 allow us to formulate the following statement.

Corollary 1.

A necessary and sufficient condition for the bi-positivity property of the general non-Markovian quantum dynamical map ${\Phi }_t^{\left(M\right)}$ with positive kernel $M\left(t\right)$ in the form

$$\langle {\Phi }_t^{\left(M\right)}\left(A A^{†}\right)\rangle \ge \langle {\Phi }_t^{\left(M\right)}\left(A\right) {\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle$$

(145)

that holds for all $t>0$, is the general dissipativity of the real superoperator $L$ in the form

$$\langle L^n\left({AA}^{†}\right)\rangle \ge \sum _{k=0}^n{E}_k^n\left(K,M\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle$$

(146)

that satisfies for all $n\in \mathbb{N}$.

Remark 3.

Let the inequality

$$\langle L^n\left(A_{\mathrm{i}}{A}_j^{†}\right)\rangle \ge \sum _{k=0}^n{E}_k^n\left(K,M\right)\langle L^{n-k}\left(A_{\mathrm{i}}\right)L^k\left(A_j^{†}\right)\rangle .$$

(147)

be satisfied for all$n\in \mathbb{N}$and all$A_i,A_j\in \mathbb{A}$, where$i,j=1,\dots ,m$.

Then, the completely positive condition holds in the form

$$\sum _{i=1}^m\sum _{i=1}^m{B}_i^{†}{\Phi }_t^{\left(M\right)}\left(A_i^{†} A_j\right)B_j\ge 0.$$

for all $n\in \mathbb{N}$ and all $A_i,B_i\in \mathbb{A}$, where $i,j=1,\dots ,m$.

The proof of this statement is realized similarly to Theorem 9.

Corollary 2.

The condition that a superoperator is dissipative is a necessary condition for non-Markovian maps to be bi-positive, but it is not a sufficient condition.

4.3.4. From General Dissipativity to Dissipativity

Let us consider the relationship between the concepts of dissipativity and general dissipativity.

Theorem 10.

Let real superoperator $L$ satisfy the general dissipativity condition

$$\langle L^n\left({AA}^{†}\right)\rangle \ge \sum _{k=0}^n{E}_k^n\left(K,M\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle$$

(148)

for all $n\in \mathbb{N}$ and all$A\in \mathbb{A}$.

Then, the superoperator$L$satisfies the dissipativity condition

$$\langle L^n\left(A A^{†}\right)\rangle \ge \sum _{k=0}^n \left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right) \langle L^{n-k}\left(A\right) L^k\left(A^{†}\right)\rangle$$

(149)

for all $n\in \mathbb{N}$.

Proof. 

Using Theorem 7, we get that general dissipativity condition (148) with $n=1$ has the form

$$\langle L\left(A{A}^{†}\right)\rangle \ge \langle L\left(A\right)A^{†}+AL\left(A^{†}\right)\rangle .$$

(150)

Using inequality (150) two times for the expression $L^2\left(A{A}^{†}\right)$ and the linearity property of the superoperator $L$, we obtain

$$\begin{gathered} \langle L^2\left(A{A}^{†}\right)\rangle =\langle L\left(L\left(A{A}^{†}\right)\right)\rangle \ge \langle L\left(L\left(A\right)A^{†}+AL\left(A^{†}\right)\right)\rangle = \\ \langle L\left(L\left(A\right)A^{†}\right) + L\left(AL\left(A^{†}\right)\right)\rangle \ge \\ \langle L^2\left(A\right)A^{†}+2L\left(A\right)L\left(A^{†}\right) + A{L}^2\left(A^{†}\right)\rangle . \end{gathered}$$

Using inequality (150) $n$-times for the expression $L^n\left(A{A}^{†}\right)$ and the linearity property of the superoperator $L$ in a similar way, we obtain inequality (149). □

Corollary 3.

Let the general non-Markovian map ${\Phi }_t^{\left(M\right)}$ with positive kernel $M\left(t\right)$ satisfy the bi-positivity condition in the form of the inequality

$$\langle {\Phi }_t^{\left(M\right)}\left(A A^{†}\right)\rangle \ge \langle {\Phi }_t^{\left(M\right)}\left(A\right) {\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle ,$$

(151)

which holds for all $t>0$ and all$A\in \mathbb{A}$.

Then, the superoperator$L$satisfies the dissipativity condition

$$\langle L^n\left(A A^{†}\right)\rangle \ge \sum _{k=0}^n\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right) \langle L^{n-k}\left(A\right) L^k\left(A^{†}\right)\rangle$$

(152)

for all $n\in \mathbb{N}$, and all$A\in \mathbb{A}$.

Remark 4.

The dissipativity condition

$$\langle L^n\left({AA}^{†}\right)\rangle \ge \sum _{k=0}^n\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle$$

(153)

which holds for all $n\in \mathbb{N}$ does not lead to the fact that the general non-Markov map ${\Phi }_t^{\left(M\right)}$ is bi-positive.

If we assume in non-Markovian quantum theory that$L$is dissipative superoperators only, then the standard bi-positive condition

$${\Phi }_{\tau }\left(A A^{†}\right) -{\Phi }_{\tau }\left(A\right) {\Phi }_{\tau }\left(A^{†}\right) \ge 0.$$

is replaced by the inequality

$${\int }_0^t d\tau \left({\Phi }_{\tau }^{\left(M\right)}\left(A A^{†}\right) - {\Phi }_{t-\tau }^{\left(M\right)}\left(A\right) {\Phi }_{\tau }^{\left(M\right)}\left(A^{†}\right)\right) \ge 0.$$

that should be satisfied for all $t\ge 0$. Let us prove this statement.

Theorem 11.

Let real superoperator $L$ satisfy the inequality

$$\langle L\left(A A^{†}\right)\rangle \ge \langle L\left(A\right) A^{†}+A L\left(A^{†}\right)\rangle .$$

(154)

Then, the inequality

$${\int }_0^t\langle {\Phi }_{\tau }^{\left(M\right)}\left(A A^{†}\right)\rangle d\tau \ge {\int }_0^t\langle {\Phi }_{t-\tau }^{\left(M\right)}\left(A\right) {\Phi }_{\tau }^{\left(M\right)}\left(A^{†}\right)\rangle d\tau$$

holds for all $t>0$ and all $A\in \mathbb{A}$, where ${\Phi }_{\tau }^{\left(M\right)}$ is general non-Markovian map.

Proof. 

Using the proof of Theorem 10, we get that the repeated action of the inequality (154) gives the condition

$$\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{k=0}^n\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle .$$

Using the series representation of ${\Phi }_t\left(A{A}^{†}\right)$ and inequality (18), we get

$$\begin{gathered} \langle {\Phi }_t^{\left(M\right)}\left(A{A}^{†}\right)\rangle =\sum _{k=0}^{\infty }{\mathbb{M}}_{n+1}\left(t\right)\langle L^n\left(A{A}^{†}\right)\rangle \ge \\ \sum _{n=0}^{\infty }\sum _{k=0}^n{\mathbb{M}}_{n+1}\left(t\right)\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle = \\ \sum _{m=0}^{\infty }\sum _{k=0}^{\infty }{\mathbb{M}}_{m+k+1}\left(t\right)\left(\begin{array}{l}m+k\hfill \\ k\hfill \end{array}\right)\langle L^m\left(A\right)L^k\left(A^{†}\right)\rangle . \end{gathered}$$

Using

$$\left(\begin{array}{l}m+k\hfill \\ k\hfill \end{array}\right)\ge 1$$

for $k,n\in {\mathbb{N}}_0$, $0\le k\le n$, and ${\mathbb{M}}_{n+1}\left(t\right) > 0$ for all $n\in {\mathbb{N}}_0$, we can write the inequality

$$\langle {\Phi }_t^{\left(M\right)}\left(A{A}^{†}\right)\rangle \ge \sum _{m=0}^{\infty }\sum _{k=0}^{\infty }{\mathbb{M}}_{m+k+1}\left(t\right)\langle L^m\left(A\right)L^k\left(A^{†}\right)\rangle .$$

The convolution with $\left\{1\right\}$ means the integration in the form

$${\int }_0^{t}f\left(\tau \right)d\tau =\left(\left\{1\right\}\ast f\right)\left(t\right),$$

Therefore, multiplying the left and right sides of the inequality by $\left\{1\right\}$ and using Sonin’s condition

$$\left(K\ast M\right)\left(t\right)=\left\{1\right\},$$

We obtain

$$\begin{gathered} \left(\left\{1\right\}\ast \langle {\Phi }_t^{\left(M\right)}\left(A{A}^{†}\right)\rangle \right)\left(t\right)\ge \left(\left\{1\right\}\ast \sum _{m=0}^{\infty }\sum _{k=0}^{\infty }{\mathbb{M}}_{m+k+1}\left(t\right)\langle L^m\left(A\right)L^k\left(A^{†}\right)\rangle \right)\left(t\right)= \\ \sum _{m=0}^{\infty }\sum _{k=0}^{\infty }\left(\left\{1\right\}\ast M^{\ast ,m}\ast \left\{1\right\}\ast M^{\ast ,k}\right)\left(t\right)\langle L^m\left(A\right)L^k\left(A^{†}\right)\rangle = \\ \langle \left(\left(\sum _{m=0}^{\infty }\left(\left\{1\right\}\ast M^{\ast ,m}\right)\left(t\right)L^m\left(A\right)\right)\ast \left(\sum _{k=0}^{\infty }\left(\left\{1\right\}\ast M^{\ast ,k}\right)\left(t\right)L^k\left(A^{†}\right)\right)\right)\rangle = \\ \langle \left({\Phi }_t^{\left(M\right)}\left(A\right)\ast {\Phi }_t^{\left(M\right)}\left(A^{†}\right)\right)\rangle ={\int }_0^t\langle {\Phi }_{t-\tau }^{\left(M\right)}\left(A\right){\Phi }_{\tau }^{\left(M\right)}\left(A^{†}\right)\rangle d\tau . \end{gathered}$$

 □

Remark 5.

Alternative forms of writing this inequality

$$\begin{gathered} {\int }_0^t\langle {\Phi }_{\tau }^{\left(M\right)}\left(A{A}^{†}\right)-{\Phi }_{t-\tau }^{\left(M\right)}\left(A\right){\Phi }_{\tau }^{\left(M\right)}\left(A^{†}\right)\rangle d\tau \ge 0, \\ \langle {\Phi }_t^{\left(M\right)}\left(A{A}^{†}\right)\rangle \ge \frac{d}{dt}{\int }_0^t\langle {\Phi }_{t-\tau }^{\left(M\right)}\left(A\right){\Phi }_{\tau }^{\left(M\right)}\left(A^{†}\right)\rangle d\tau . \end{gathered}$$

Remark 6.

Similarly, we can prove the inequality

$$\begin{gathered} {\int }_0^{t}d\tau \langle \sum _{k=1}^n\sum _{l=1}^n{B}_k^{†}{\Phi }_t^{\left(M\right)}\left(A_k^{†} A_l\right)B_l\rangle \ge \\ {\int }_0^{t}d\tau {\langle \sum _{k=1}^n{\Phi }_{t-\tau }^{\left(M\right)}\left(A_k\right)B_k)}^{†} (\sum _{l=1}^n{\Phi }_{\tau }^{\left(M\right)}\left(A_l\right)B_l\rangle , \end{gathered}$$

where we use ${\Phi }_t^{\left(M\right)}\left(A^{†}\right) ={({\Phi }_t^{\left(M\right)}\left(A\right))}^{†}$.

4.3.5. From Dissipativity to Bi-Positivity

Let us consider the relationship between the dissipativity and bi-positivity in general non-Markovian dynamics.

Theorem 12.

Let real superoperator $L$ satisfy the dissipativity condition

$$\langle L^n\left({AA}^{†}\right)\rangle \ge \sum _{k=0}^n\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle$$

(155)

for all$n\in \mathbb{N}$and all $A\in \mathbb{A}$, and the general binomial coefficients satisfy the condition

$$\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right) \ge E_k^n\left(K,M\right)$$

(156)

for all $t>0$ and all$k,n\in {\mathbb{N}}_0$, $0\le k\le n$.

Then, the superoperator$L$satisfies the general dissipativity condition

$$\langle L^n\left({AA}^{†}\right)\rangle \ge \sum _{k=0}^n{E}_k^n\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle$$

(157)

for all$n\in \mathbb{N}$and all$A\in \mathbb{A}.$

Then, the general non-Markovian map${\Phi }_t^{\left(M\right)}$satisfies the bi-positivity condition

$$\langle {\Phi }_t^{\left(M\right)}\left(A A^{†}\right)\rangle \ge \langle {\Phi }_t^{\left(M\right)}\left(A\right) {\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle ,$$

(158)

which holds for all $t>0$.

Proof. 

Using inequality (156), we get

$$\sum _{k=0}^n\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle \ge \sum _{k=0}^n{E}_k^n\left(K,M\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle .$$

(159)

Then, using inequalities (155) and (159), we obtain the general dissipativity condition

$$\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{k=0}^n{E}_k^n\left(K,M\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle$$

(160)

for all $n\in \mathbb{N}$.

Using Theorem 9, condition (160) gives the bi-positivity condition (158). □

Theorem 13.

Let the general non-Markovian map ${\Phi }_t^{\left(M\right)}$ with positive kernel $M\left(t\right)$ satisfy the bi-positivity condition in the form of the inequality

$$\langle {\Phi }_t^{\left(M\right)}\left(A A^{†}\right)\rangle \ge \langle {\Phi }_t^{\left(M\right)}\left(A\right) {\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle ,$$

(161)

which holds for all $t>0$ and all $A\in \mathbb{A}$, and the general binomial coefficients satisfy the condition

$$E_k^n\left(K,M\right) \ge \left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)$$

(162)

for all $t>0$ and all$k,n\in {\mathbb{N}}_0$, $0\le k\le n$.

Then, the superoperator$L$satisfies the dissipativity condition

$$\langle L^n\left(A A^{†}\right)\rangle \ge \sum _{k=0}^n\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right) \langle L^{n-k}\left(A\right) L^k\left(A^{†}\right)\rangle$$

(163)

for all$n\in \mathbb{N}$and all$A\in \mathbb{A}$.

Proof. 

Using Theorem 5, bi-positivity condition (161) gives the general dissipativity condition

$$\langle L^n\left(A{A}^{†}\right)\rangle \ge \sum _{k=0}^n{E}_k^n\left(K,M\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle$$

(164)

for all $n\in \mathbb{N}$ and all $A\in \mathbb{A}$. Then using the condition (162) for the general binomial coefficients, we obtain

$$\sum _{k=0}^n{E}_k^n\left(K,M\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle \ge \sum _{k=0}^n\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)\langle L^{n-k}\left(A\right)L^k\left(A^{†}\right)\rangle$$

(165)

for all $n\in \mathbb{N}$ and all $A\in \mathbb{A}$. Then, using conditions (164) and (165), we derive the dissipativity condition (163).

4.3.6. Examples of General Binomial Coefficients

Let us consider the general binomial coefficients for the non-Markovian quantum maps with the pair of kernels

$$M\left(t\right) =h_{\alpha }\left(t\right) =\frac{t^{\alpha -1}}{\Gamma \left(\alpha \right)},\hspace{1em}K\left(t\right) =h_{1-\alpha }\left(t\right) =\frac{t^{-\alpha }}{\Gamma \left(1-\alpha \right)}$$

(166)

that belongs to the Sonin set for $\alpha \in \left(0,1\right)$. We see that the condition $M\left(t\right) >0$ holds for all $t>0$.

Let us give a definition of the generalized binomial coefficients (see [26] (p. 14–15) and [29] (p. 26–27)). These well-known “generalized” coefficients should not be confused with the “general” coefficients suggested in this article.

Definition 11.

The generalized binomial coefficients are defined by the equation

$$\left(\begin{array}{l}\alpha \hfill \\ \beta \hfill \end{array}\right) :=\frac{\Gamma \left(\alpha +1\right)}{\Gamma \left(\beta +1\right)\Gamma \left(\alpha -\beta +1\right)},$$

(167)

where$\alpha ,\beta \in ℂ$, $\alpha \ne -1,-2,\dots$

Let us prove that the general binomial coefficients for kernel pair (166) are expressed through the generalized binomial coefficients.

Theorem 14.

Let the pair of kernels $\left(M\left(t\right), K\left(t\right)\right)$ be defined by Equation (166).

Then, we have the equation

$${\mathbb{M}}_{n+1}\left(t\right) = h_{\alpha n+1}\left(t\right),$$

which satisfies the condition ${\mathbb{M}}_n\left(t\right) >0$ for all $n\in \mathbb{N}$ and all $t>0$.

The general binomial coefficients are defined by the equation

$$E_k^n\left(K,M\right) = E_k^n\left(h_{1-\alpha },h_{\alpha }\right) = \left(\begin{array}{l}\alpha n\hfill \\ \alpha k\hfill \end{array}\right),$$

(168)

where $\alpha \in \left(0,1\right)$, $k,n\in {\mathbb{N}}_0$, $0\le k\le n$.

Proof. 

Using the property

$$\left(h_{\alpha }\ast h_{\beta }\right)\left(t\right) =h_{\alpha +\beta }\left(t\right)$$

that holds for $\alpha ,\beta >0$, we obtain

$$M^{\ast ,n}\left(t\right) ={(h_{\alpha })}^{\ast ,n} =h_{\alpha n}\left(t\right).$$

Then,

$$\begin{gathered} {\mathbb{M}}_{n+1}\left(t\right) = \left(K\ast M^{\ast ,n+1}\right)\left(t\right) = \left(h_{1-\alpha }\ast h_{\alpha \left(n+1\right)}\right)\left(t\right) = \\ \frac{t^{\alpha n}}{\Gamma \left(\alpha n+1\right)} =h_{\alpha \left(n+1\right)+1-\alpha }\left(t\right) =h_{\alpha n+1}\left(t\right). \end{gathered}$$

(169)

We see that the inequality ${\mathbb{M}}_{n+1}\left(t\right) > 0$ holds for all $n\in \mathbb{N}$ and for all $t>0$.

Then, using (169), we get

$$\begin{gathered} {\mathbb{M}}_{n-k+1}\left(t\right){\mathbb{M}}_{k+1}\left(t\right) =h_{\alpha \left(n-k\right)+1}\left(t\right)h_{\alpha k+1}\left(t\right) = \\ \frac{t^{\alpha \left(n-k\right)}}{\Gamma \left(\alpha \left(n-k\right) + 1\right)}\frac{t^{\alpha k}}{\Gamma \left(\alpha k+1\right)} = \\ \frac{\Gamma \left(\alpha n+1\right)}{\Gamma \left(\alpha k+1\right)\Gamma \left(\alpha \left(n-k\right) + 1\right)} \frac{t^{\alpha n}}{\Gamma \left(\alpha n+1\right)} = \left(\begin{array}{l}\alpha n\hfill \\ \alpha k\hfill \end{array}\right)h_{\alpha n+1}\left(t\right), \end{gathered}$$

(170)

where the generalized binomial coefficients $\left(\begin{array}{l}\alpha n\hfill \\ \alpha k\hfill \end{array}\right)$ are defined by (167).

As a result, using (170), we derive the equation

$$E_k^n\left(K,M\right) =E_k^n\left(h_{1-\alpha },h_{\alpha }\right) =\frac{{\mathbb{M}}_{n-k+1}\left(t\right){\mathbb{M}}_{k+1}\left(t\right)}{{\mathbb{M}}_{n+1}\left(t\right)} = \left(\begin{array}{l}\alpha n\hfill \\ \alpha k\hfill \end{array}\right),$$

(171)

where $\alpha \in \left(0,1\right)$, $k,n\in {\mathbb{N}}_0$, $0\le k\le n$. □

Let us prove the following statement about the properties of the general binomial coefficients (171) for the kernels (166).

Theorem 15.

Let us consider the function

$$f_{n,k}\left(\alpha \right) := \left(\begin{array}{l}\alpha n\hfill \\ \alpha k\hfill \end{array}\right) =\frac{\Gamma \left(\alpha n+1\right)}{\Gamma \left(\alpha k+1\right)\Gamma \left(\alpha \left(n-k\right) + 1\right)},$$

where $\alpha >0$, $0\le k\le n$, $k,n\in {\mathbb{N}}_0$. This function is increasing with respect to $\alpha >0$ with fixed parameters $k,n\in {\mathbb{N}}_0$, and the following inequality holds

$$f_{n,k}\left(\beta \right) \ge f_{n,k}\left(1\right) \ge f_{n,k}\left(\alpha \right),$$

if$\beta \ge 1\ge \alpha >0$.

Proof. 

Let us prove that

$$\frac{d}{d\alpha }{f}_{n,k}\left(\alpha \right)\ge 0.$$

Using the equation

$$\frac{d}{d\alpha }\Gamma \left(\alpha \right) =\Gamma \left(\alpha \right)\psi \left(\alpha \right),$$

where $\psi \left(\alpha \right)$ is the digamma function of real argument $\alpha >0$, we obtain

$$\frac{d}{d\alpha }{f}_{n,k}\left(\alpha \right) =f_{n,k}\left(\alpha \right)\left(n \psi \left(n\alpha +1\right) - k \psi \left(k\alpha +1\right) - \left(n-k\right) \psi \left(\left(n-k\right)\alpha +1\right)\right).$$

(172)

Using $n=m+k$, Equation (172) can be written in the form

$$\begin{gathered} \frac{d}{d\alpha }{f}_{n,k}\left(\alpha \right) =f_{m+k,k}\left(\alpha \right)(m \left(\psi \left(\left(m+k\right)\alpha +1\right) - \psi \left(m\alpha +1\right)\right) + \\ k \left(\psi \left(\left(m+k\right)\alpha +1\right) - \psi \left(k\alpha +1\right)\right)). \end{gathered}$$

Using the digamma function $\psi \left(\alpha \right)$ of real argument $\alpha >0$, increases function with respect to $\alpha >0$:

$$\psi \left(\left(m+k\right)\alpha +1\right) - \psi \left(m\alpha +1\right) \ge 0$$

for $k\ge 0$, and that the generalized binomial coefficients are positive functions

$$f_{n,k}\left(\alpha \right):= \left(\begin{array}{l}\alpha n\hfill \\ \alpha k\hfill \end{array}\right) > 0$$

for $\alpha >0$, $0\le k\le n$, $k,n\in {\mathbb{N}}_0$, we derive that the generalized binomial coefficients $f_{n,k}\left(\alpha \right)$ as a function of the variable $\alpha >0$ has a non-negative derivative $d{f}_{n,k}\left(\alpha \right)/d\alpha \ge 0$ with respect to $\alpha$. □

Remark 7.

For general binomial coefficients

$$E_k^n\left(K,M\right) = \left(\begin{array}{l}\alpha n\hfill \\ \alpha k\hfill \end{array}\right),$$

we have the inequalities

$$\begin{gathered} \left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right) \ge \left(\begin{array}{l}\alpha n\hfill \\ \alpha k\hfill \end{array}\right), (0<\alpha <1), \\ \left(\begin{array}{l}\alpha n\hfill \\ \alpha k\hfill \end{array}\right) \ge \left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right), (\alpha >1). \end{gathered}$$

4.3.7. Examples of Inequalities for General Binomial Coefficients

Let us give some examples of inequalities for general binomial coefficients.

Example 1.

Let us consider the pair of the kernels

$$M\left(t\right) =h_{\alpha }\left(t\right) =\frac{t^{\alpha -1}}{\Gamma \left(\alpha \right)}, K\left(t\right) =h_{1-\alpha }\left(t\right) =\frac{t^{-\alpha }}{\Gamma \left(1-\alpha \right)}.$$

(173)

This pair belongs to the Sonin set${\mathbb{S}}_{-1}$, if$\alpha \in \left(0,1\right)$. For these kernels, the general binomial coefficients are given by the equations

$$E_k^n\left(K,M\right) =E_k^n\left(h_{1-\alpha },h_{\alpha }\right) = \left(\begin{array}{l}\alpha n\hfill \\ \alpha k\hfill \end{array}\right) =\frac{\Gamma \left(\alpha n+1\right)}{\Gamma \left(\alpha k+1\right) \Gamma \left(\alpha \left(n-k\right) + 1\right)}.$$

If the parameter $\alpha$ satisfies the condition$\alpha \in \left(0,1\right)$, then the inequalities

$$\left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right) \ge E_k^n\left(K,M\right)$$

hold for all$k,n\in {\mathbb{N}}_0$, when $0\le k\le n$ and all $t>0$.

Example 2.

If the general binomial coefficients are given by equations

$$E_k^n\left(K,M\right) = \left(\begin{array}{l}\alpha n\hfill \\ \alpha k\hfill \end{array}\right)$$

with $\alpha \in \left(1,2\right)$, then the inequalities

$$E_k^n\left(K,M\right) \ge \left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right)$$

hold for all $k,n\in {\mathbb{N}}_0$, when $0\le k\le n$.

Note that the expressions of the general non-Markovian map ${\Phi }_t^{\left(M\right)}$ and the general binomial coefficients $E_k^n\left(K,M\right)$ are derived for the kernels $\left(M\left(t\right),K\left(t\right)\right)$ that belongs to the Sonin set. Kernels (173) with $\alpha \in \left(1,2\right)$ do not belong to the Sonin set ${\mathbb{S}}_{-1}$.

We can assume that within the framework of the GFC of arbitrary order [59,71], the expression of the general non-Markovian map ${\Phi }_t^{\left(M\right)}$ and the general binomial coefficients $E_k^n\left(K,M\right)$ can also be derived.

For the kernels

$$M\left(t\right) =h_{\alpha }\left(t\right) =\frac{t^{\alpha -1}}{\Gamma \left(\alpha \right)},\hspace{1em}K\left(t\right) =h_{2-\alpha }\left(t\right) =\frac{t^{1-\alpha }}{\Gamma \left(2-\alpha \right)}.$$

(174)

with $\alpha \in \left(1,2\right)$, the non-Markovian equation for quantum observables has the form

$$D_{h_{2-\alpha }}^{t,\ast }\left[\tau \right]A\left(\tau \right) =LA\left(t\right),$$

(175)

where $D_{h_{2-\alpha }}^t\left[\tau \right]$ is the Caputo fractional derivative of the order $\alpha \in \left(1,2\right)$ that is defined as

$$D_{h_{2-\alpha }}^t\left[\tau \right]A\left(\tau \right):=I_{h_{\alpha }}^t\left[\tau \right]A^{\left(2\right)}\left(\tau \right).$$

To solve Equation (175) and derive general binomial coefficients, we can use Theorem 4.3 and Example 4.10 of [29] (p. 231–231). The solution is described by the equation

$$A\left(t\right) =A\left(0\right)E_{\alpha ,1}\left[t^{\alpha }L\right] + A^{\left(1\right)}\left(0\right)t{E}_{\alpha ,2}\left[t^{\alpha }L\right],$$

where $E_{\alpha ,\beta }\left[z\right]$ is the two-parameter Mittag–Leffler function

$$E_{\alpha ,\beta }\left[t^{\alpha }L\right]=\sum _{n=0}^{\infty }\frac{t^{\alpha n}}{\Gamma \left(\alpha n+\beta \right)}{L}^n$$

For $A\left(0\right) =A$ and $A^{\left(1\right)}\left(0\right) =0$, we have the non-Markovian map

$${\Phi }_t^{\left(M\right)}\left(A\right)=E_{\alpha ,1}\left[t^{\alpha }L\right]A=\sum _{n=0}^{\infty }{h}_{\alpha n+1}{L}^n\left(A\right).$$

(176)

Corollary 4.

Let the general dissipativity condition

$$\langle L^n\left(A A^{†}\right)\rangle \ge \sum _{k=0}^n{E}_k^n\left(h_{2-\alpha },h_{\alpha }\right) \langle L^{n-k}\left(A\right) L^k(A^{†})\rangle$$

(177)

with the kernels (174), be satisfied for all $n\in \mathbb{N}$ and$A\in \mathbb{A}$.

Then, the general binomial coefficients have the form

$$E_k^n\left(h_{2-\alpha },h_{\alpha }\right) = \left(\begin{array}{l}\alpha n\hfill \\ \alpha k\hfill \end{array}\right) \ge \left(\begin{array}{l}n\hfill \\ k\hfill \end{array}\right),$$

(178)

where$\alpha \in \left(1,2\right)$.

For the non-Markovian map (176), the bi-positivity condition

$$\langle {\Phi }_t^{\left(M\right)}\left(A A^{†}\right)\rangle \ge \langle {\Phi }_t^{\left(M\right)}\left(A\right) {\Phi }_t^{\left(M\right)}\left(A^{†}\right)\rangle$$

(179)

is satisfied for all $t>0$ and all$A\in \mathbb{A}$.

5. Non-Markovian Quantum Oscillator with Nonlocality in Time

Let us consider a non-Markovian quantum oscillator with nonlocality in time.

As is usually assumed for oscillators that are open quantum system [10,11,12,37], the general form of a bounded completely dissipative superoperator holds for an unbounded superoperator $L$. Then, the general non-Markovian dynamics of coordinate $Q$ and momentum $P$ is described by the equations

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]Q\left(\tau \right) = LQ\left(t\right),$$

(180)

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]Q\left(\tau \right) = LP\left(t\right),$$

(181)

where $L$ is defined by Equation (20). For the linear quantum oscillator, the operators $V_k=V_k\left(Q,P\right)$ and $H=H\left(Q,P\right)$ are the functions of the coordinate and momentum operators in the form

$$H=\frac{1}{2m}{P}^2+\frac{m{\omega }^2}{2}{Q}^2+\frac{\mu }{2}\left(QP+PQ\right),$$

(182)

$$V_k=a_{k}P+b_{k}Q,$$

(183)

where $a_k$, and $b_k$, $k=1,2$, are complex numbers. The term with parameter $\mu$ can be interpreted as friction, for which force is proportional to the velocity $m^{-1}P$.

Remark 8.

In general, the operators coordinate $Q$ and momentum $P$ are unbounded operators. Due to this, instead of the Hilbert space, one can use the so-called rigged Hilbert space (the Gelfand triplet). A rigged Hilbert space is the ordered triplet

$$B\subset H=H^{\ast }\subset B^{\ast },$$

where $H$ is a Hilbert space, $B$ is a Banach space, and $B^{\ast }$ is dual of $B$. The term “rigged Hilbert space” is also used to describe the dual pairs ($B$, $B^{\ast }$) generated from a Hilbert space $H$. The term “Gelfand triplet” is sometimes used instead of the term “rigged Hilbert space”. Example of a rigged Hilbert space is the triple of spaces that consists of the Banach space $J\left({ℝ}^n\right)$ of test functions, the Hilbert space $L^2\left({ℝ}^n\right)$ of square integrable functions, and the Banach space $J^{\ast }\left({ℝ}^n\right)$ of the linear functionals on $J\left({ℝ}^n\right)$. For details, see Chapter 2 in [5].

Remark 9.

The Lindblad result has been extended by E.B. Davies [9] to a class of quantum dynamical semi-group with unbounded generating superoperators.

Remark 10.

In this linear model, the parameters $a_k,b_k\in ℂ$ cannot be arbitrary. Let us consider the real parameters

$$d_{aa} := \frac{\hslash }{2}\left(|a_1{|}^2 + |a_2{|}^2\right), d_{bb} := \frac{\hslash }{2}\left(|b_1{|}^2 + |b_2{|}^2\right),$$

$$d_{ab} := -\frac{\hslash }{2}Re\left(a_1^{\ast }{b}_1+a_2^{\ast }{b}_2\right), c_{ab}= \frac{\hslash }{2}Im\left(a_1{b}_1^{\ast }+a_2{b}_2^{\ast }\right).$$

There is a fundamental constraint [12] on the parameters in the form

$$d_{aa} d_{bb}-d_{ab}^2 \ge c_{ab}^2,$$

which follows from the Schwartz inequality

$${(Re\sum _k{a}_k^{\ast } b_k)}^2 + {(Im\sum _k{a}_k^{\ast } b_k)}^2\le \sum _k{\left|a_k\right|}^2 \sum _k{\left|b_l\right|}^2.$$

Using the canonical commutation relations for operators $Q$ and $P$, we obtain Equations (180) and (181) for operators $Q\left(t\right)$ and $P\left(t\right)$ in the form

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]Q\left(\tau \right) =\frac{1}{m}P\left(t\right) + \left(\mu -\lambda \right)Q\left(t\right),$$

(184)

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]P\left(\tau \right) = -m{\omega }^{2}Q\left(t\right) - \left(\mu +\lambda \right)P\left(t\right),$$

(185)

where

$$\lambda =Im\left(a_1{b}_1^{\ast }+a_2{b}_2^{\ast }\right),$$

(186)

where $D_{\left(K\right)}^{t,\ast }$ is the general fractional derivative with the kernel $K\left(t\right) \in C_1\left(0,\infty \right)$, for which $M\left(t\right)$ is the associated kernel so that the pair $\left(M\left(t\right),K\left(t\right)\right)$ belongs to the Sonin set ${\mathbb{S}}_{-1}$.

For the kernel $K\left(t\right) =h_{1-\alpha }\left(t\right) =t^{-\alpha }/\Gamma \left(1-\alpha \right)$ with $0<\alpha \le 1$, Equations (184) and (185) describe the exactly solvable model of non-Markovian dynamics that was first proposed in [37,38,39]. The exact solutions of equation for this case are derived in these works. For $\alpha =1$, this model gives the standard Markovian quantum model [8,10,11,12].

Let us represent Equations (184) and (185) in the matrix form. Using the matrices

$$A\left(t\right) = \left(\begin{array}{l}Q\left(t\right)\hfill \\ P\left(t\right)\hfill \end{array}\right),\hspace{1em}N = \left(\begin{array}{ll}\mu -\lambda \hfill & m^{-1}\hfill \\ -m{\omega }^2\hfill & -\mu -\lambda \hfill \end{array}\right),$$

(187)

Equations (184) and (185) are written as

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]A\left(\tau \right)=NA\left(t\right),$$

(188)

where we used $LA\left(t\right)=NA\left(t\right)$.

Theorem 16.

Let the function $K\left(t\right),M\left(t\right) \in C_1\left(0,\infty \right)$ belong to the Sonin set ${\mathbb{S}}_{-1}$. Then, the initial value problem for the equation

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]A\left(\tau \right) =N A\left(t\right),$$

(189)

and the condition $A\left(0\right) =A_0$, where $A\left(t\right)$ and $N$ are defined by (187), has the solution in the form

$$A\left(t\right) ={\Phi }_t^{\left(M\right)}{A}_0,$$

(190)

with the quantum dynamical map

$${\Phi }_t^{\left(M\right)} = \mathbb{L}\left(M,N,t\right)=\sum _{j=1}^{\infty }\left({K\ast M}^{\ast ,j}\right)\left(t\right)N^{j-1}$$

(191)

where $\mathbb{L}\left(M,N,t\right)$ is the second Luchko function with the matrix argument$N$.

The statement of Theorem 16 follows directly from Theorem 3.

Example 3.

For the kernel $K\left(t\right) =h_{1-\alpha }\left(t\right) =t^{-\alpha }/\Gamma \left(1-\alpha \right)$ with $0<\alpha \le 1$, the GFD is the Caputo fractional derivative of the order $\alpha \in \left(0,1\right)$, and solution (191) has the form

$${\Phi }_t^{\left(h_{\alpha }\right)}=E_{\alpha }\left[t^{\alpha }N\right]=\sum _{k=0}^{\infty }\frac{t^{k\alpha }}{\Gamma \left(\alpha k+1\right)}{N}^n.$$

(192)

For $\alpha =1$, solution (192) gives

$${\Phi }_t=e^{\mathit{tN}}=\sum _{n=0}^{\infty }\frac{t^n}{n!}{N}^n$$

(193)

that describes the Markovian quantum dynamics of open system without nonlocality in time.

Let us prove the following theorem.

Theorem 17.

Equations (184) and (185) that describe the general non-Markovian quantum dynamics for coordinate and momentum have the solutions

$$Q\left(t\right) = \left(C{h}_{\left(M\right)}\left[\lambda ,\nu ,t\right] + \frac{\mu }{\nu } S{h}_{\left(M\right)}\left[\lambda ,\nu ,t\right]\right)Q_0+\frac{1}{m\nu } S{h}_{\left(M\right)}\left[\lambda ,\nu ,t\right]P_0,$$

(194)

$$P\left(t\right) =-\frac{m{\omega }^2}{\nu } S{h}_{\left(M\right)}\left[\lambda ,\nu ,t\right]Q_0 + \left(C{h}_{\left(M\right)}\left[\lambda ,\nu ,t\right] - \frac{\mu }{\nu } S{h}_{\left(M\right)}\left[\lambda ,\nu ,t\right]\right)P_0,$$

(195)

where the functions $S{h}_{\left(M\right)}\left[\lambda ,\nu ,t\right]$ and $C{h}_{\left(M\right)}\left[\lambda ,\nu ,t\right]$ are defined by the expressions

$$S{h}_{\left(M\right)}\left[\lambda ,\nu ,t\right] =\frac{1}{2}\left(\mathbb{L}\left(M,\left(-\lambda +\nu \right),t\right) - \mathbb{L}\left(M,\left(-\lambda -\nu \right),t\right)\right),$$

(196)

$$C{h}_{\left(M\right)}\left[\lambda ,\nu ,t\right] =\frac{1}{2}\left(\mathbb{L}\left(M,\left(-\lambda +\nu \right),t\right) + \mathbb{L}\left(M,\left(-\lambda -\nu \right),t\right)\right),$$

(197)

and $\nu$ is the complex parameter such that${\nu }^2={\mu }^2-{\omega }^2$.

Proof. 

To get exact expression of the solution for coordinate and momentum operators, we represent the matrix $N$ in the form

$$N=RD{R}^{-1},$$

(198)

where

$$D = \left(\begin{array}{ll}-\left(\lambda +\nu \right)\hfill & 0\hfill \\ 0\hfill & -\left(\lambda -\nu \right)\hfill \end{array}\right),$$

(199)

$$R = \left(\begin{array}{ll}-\frac{\mu - \nu }{c_{-}}\hfill & -\frac{\mu + \nu }{c_{+}}\hfill \\ \frac{m{\omega }^2}{c_{-}}\hfill & \frac{m{\omega }^2}{c_{+}}\hfill \end{array}\right),$$

(200)

and

$$c_{\pm }=\sqrt{{\left|\mu \pm \nu \right|}^2+{(m{\omega }^2)}^2},\hspace{1em}\nu =\sqrt{{\mu }^2-{\omega }^2}.$$

(201)

Using (198), the non-Markovian quantum dynamical map ${\Phi }_t^{\left(M\right)}$ is given as

$$\begin{gathered} {\Phi }_t^{\left(M\right)} = \mathbb{L}\left(M,N,t\right)=\sum _{j=1}^{\infty }\left(K \ast M^{\ast ,j}\right)\left(t\right){(RD{R}^{-1})}^{j-1}= \\ \sum _{j=1}^{\infty }\left(K\ast M^{\ast ,j}\right)\left(t\right)R{D}^{j-1}{R}^{-1}=R \mathbb{L}\left(M,D,t\right)R^{-1}. \end{gathered}$$

(202)

As a result, we have

$${\Phi }_t^{\left(M\right)}=R \mathbb{L}\left(M,D,t\right)R^{-1}.$$

(203)

Substituting expression (199) and (200) into Equation (203), we get the dynamical map

$${\Phi }_t^{\left(M\right)}\left(\alpha \right) = \left(\begin{array}{ll}{\mathrm{Ch}}_{\left(M\right)}\left[\lambda ,\nu ,t\right] + \left(\mu /\nu \right){\mathrm{Sh}}_{\left(M\right)}\left[\lambda ,\nu ,t\right]\hfill & \left(1/m\nu \right){\mathrm{Sh}}_{\left(M\right)}\left[\lambda ,\nu ,t\right]\hfill \\ -\left(m{\omega }^2/\nu \right){\mathrm{Sh}}_{\left(M\right)}\left[\lambda ,\nu ,t\right]\hfill & {\mathrm{Ch}}_{\left(M\right)}\left[\lambda ,\nu ,t\right] - \left(\mu /\nu \right){\mathrm{Sh}}_{\left(M\right)}\left[\lambda ,\nu ,t\right]\hfill \end{array}\right),$$

(204)

where we use the functions (196) and (197).  □

Remark 11.

For $M\left(t\right) =h_{\alpha }\left(t\right)$, we get

$${\Phi }_t^{\left(h_{\alpha }\right)}=R E_{\alpha }\left[t^{\alpha }D\right] R^{-1}.$$

(205)

For $\alpha =1$, map (205) is given by the standard expression

$${\Phi }_t^{\left(h_{\alpha }\right)}={\Phi }_t=R e^{tD} R^{-1}.$$

(206)

Theorem 17 describes the non-Markovian dynamics of coordinate and momentum of open quantum system (linear oscillator with friction) with general form on the nonlocality in time.

For $\lambda =0$, expressions (194) and (195) describe solutions of non-Markovian generalization of the Heisenberg equation, which is the equation for linear oscillator with Hamiltonian (182) and general form of nonlocality in time.

The solutions of Equations (184) and (185) are described by expressions (194) and (195). Depending on the specific form of the operator kernels $\left(M\left(t\right),K\left(t\right)\right)$, the general trigonometric functions ${\mathrm{Ch}}_{\left(M\right)}$ and ${\mathrm{Sh}}_{\left(M\right)}$, which are given by (196) and (197), will differ. Let us give examples.

Example 4.

For $M\left(t\right) =h_{\alpha }\left(t\right)$, the solution of Equations (184) and (185), which describe non-Markovian dynamics of quantum system with power-law memory, were first derived in [37,38,39], where

$${\mathrm{Sh}}_{\left(M\right)}\left[\lambda ,\nu ,t\right] =S_{\alpha }\left[\lambda ,\nu ,t\right] =\frac{1}{2}\left(E_{\alpha ,1}\left[\left(-\lambda +\nu \right)t^{\alpha }\left] - E_{\alpha ,1}\right[\left(-\lambda - \nu \right)t^{\alpha }\right]\right),$$

(207)

$${\mathrm{Ch}}_{\left(M\right)}\left[\lambda ,\nu ,t\right] =C_{\alpha }\left[\lambda ,\nu ,t\right] =\frac{1}{2}\left(E_{\alpha ,1}\left(\left(-\lambda +\nu \right)t^{\alpha }\right) + E_{\alpha ,1}\left(\left(-\lambda -\nu \right)t^{\alpha }\right)\right).$$

(208)

For the case with$\alpha =1$, equations describe the Markovian dynamics of open quantum systems without nonlocality in time ($\alpha =1$), since$E_1\left[z\right] =exp\left(z\right)$, and

$${\mathrm{Sh}}_{\left(M\right)}\left[\lambda ,\nu ,t\right] =e^{-\lambda t}sinh\left(\nu t\right),{\mathrm{Ch}}_{\left(M\right)}\left[\lambda ,\nu ,t\right] =e^{-\lambda t}cosh\left(\nu t\right),$$

(209)

where$sinh$and$cosh$are hyperbolic sine and cosine.

Example 5.

For the kernel

$$M\left(t\right) =h_{\alpha }\left(t\right) e^{-\beta t}=\frac{t^{\alpha -1}}{\Gamma \left(\alpha \right)} e^{-\beta t},$$

(210)

where $t>0$, $\alpha \in \left(0,1\right)$, $\beta >0$, we have

$${\mathrm{Sh}}_{\left(M\right)}\left[\lambda ,\nu ,t\right]=e^{-\beta t}{S}_{\alpha }\left[\lambda ,\nu ,t\right] + \beta {\int }_0^{t}d\tau e^{-\beta \tau }{S}_{\alpha }\left[\lambda ,\nu ,\tau \right],$$

(211)

$${\mathrm{Ch}}_{\left(M\right)}\left[\lambda ,\nu ,t\right]=e^{-\beta t}{C}_{\alpha }\left[\lambda ,\nu ,t\right] + \beta {\int }_0^{t}d\tau e^{-\beta \tau }{C}_{\alpha }\left[\lambda ,\nu ,\tau \right].$$

(212)

Example 6.

For the kernel

$$M\left(t\right) =h_{1-\beta +\alpha }\left(t\right) + h_{1-\beta }\left(t\right),$$

(213)

where $0<\alpha <\beta <1$, we get

$$\begin{gathered} {\mathrm{Sh}}_{\left(M\right)}\left[\lambda ,\nu ,t\right] =\frac{1}{2}(E_{\left(1-\beta ,1-\beta +\alpha \right),1}\left(\left(-\lambda +\nu \right)t^{1-\beta }, \left(-\lambda +\nu \right)t^{1-\beta +\alpha }\right) - \\ {E}_{\left(1-\beta ,1-\beta +\alpha \right),1}\left(\left(-\lambda -\nu \right)t^{1-\beta }, \left(-\lambda -\nu \right)t^{1-\beta +\alpha }\right)), \end{gathered}$$

(214)

$$\begin{gathered} {\mathrm{Ch}}_{\left(M\right)}\left[\lambda ,\nu ,t\right] =\frac{1}{2}(E_{\left(1-\beta ,1-\beta +\alpha \right),1}\left(\left(-\lambda +\nu \right)t^{1-\beta },\left(-\lambda +\nu \right)t^{1-\beta +\alpha }\right) + \\ {E}_{\left(1-\beta ,1-\beta +\alpha \right),1}\left(\left(-\lambda -\nu \right)t^{1-\beta },\left(-\lambda -\nu \right)t^{1-\beta +\alpha }\right)), \end{gathered}$$

(215)

where $E_{\left(1-\beta ,1-\beta +\alpha \right),0}$ is the multinomial Mittag–Leffler function (58).

6. Non-Markovian Quantum Dynamics of Two-Level System

In the case of an $N$-level open quantum system, the problem was investigated by V. Gorini, A. Kossakowski, and E.C.G. Sudarshan [6]. The general form of the generating superoperator of a completely positive dynamical semi-group of this system has been established [6]. In the case of the $N$-level quantum system, the Hilbert space $H$ has the dimension $dimH=N$. Each $N$-dimensional separable Hilbert space over $ℂ$ is isomorphic to ${ℂ}^n$.

Let us consider a general non-Markovian dynamics of quantum states. The non-Markovian dynamics of the density operator $\rho \left(t\right)$ can be described by the equations with GFD in the form

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]\rho \left(\tau \right)=\frac{1}{i\hslash }\left[H,\rho \left(t\right)\right]+\frac{1}{\hslash }\sum _{k=1}^{\infty }\left(V_k\rho \left(t\right)V_k^{†}-\frac{1}{2}\left\{V_k^{†}{V}_k,\rho \left(t\right)\right\}\right),$$

(216)

where $\left\{A,B\right\} =AB+BA$.

Let us consider the non-Markovian two-level quantum systems with general nonlocality in time, which is described by the Sonin kernel $K\left(t\right)$. The Hamiltonian will be considered in the form

$$H=\frac{1}{2}\hslash {\omega }_0{\sigma }_3=\frac{1}{2}\hslash {\omega }_0\left(\left|1\rangle \langle 1\left|-\right|0\rangle \langle 0\right|\right),$$

(217)

where ${\omega }_0>0$ is the transition frequency. Then, the Hamiltonian of the two-level quantum system is diagonal in the basis $|0\rangle$, $|1\rangle$.

The operators $V_k\ne 0$ with $k=1,2$ will be considered in the form

$$V_1={\eta }_1{\sigma }^{-},\hspace{1em}{V}_2={\eta }_2{\sigma }^{+},$$

(218)

$$V_1^{†}={\eta }_1{\sigma }^{+},\hspace{1em}{V}_2^{†}={\eta }_2{\sigma }^{-},$$

(219)

where ${\eta }_1,{\eta }_2\in ℝ$, and

$${\sigma }^{+} = \left|1\rangle \langle 0\right| =\frac{1}{2}\left({\sigma }_1+i{\sigma }_2\right),\hspace{1em}{\sigma }^{-} = \left|0\rangle \langle 1\right| =\frac{1}{2}\left({\sigma }_1-i{\sigma }_2\right).$$

(220)

For operators (217), (218), (219), the general non-Markovian master Equation (216) has the form

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]\rho \left(\tau \right) =-\frac{i}{\hslash }\left[H,\rho \right] + {\gamma }_1\left({\sigma }^{-}\rho {\sigma }^{+}-\frac{1}{2}\left\{{\sigma }^{+}{\sigma }^{-},\rho \right\}\right) + {\gamma }_2\left({\sigma }^{+}\rho {\sigma }^{-}-\frac{1}{2}\left\{{\sigma }^{-}{\sigma }^{+},\rho \right\}\right),$$

(221)

where

$${\gamma }_1=\frac{1}{\hslash }{\eta }_1^2,\hspace{1em}{\gamma }_2=\frac{1}{\hslash }{\eta }_2^2.$$

(222)

We can consider the parameters ${\gamma }_1$ and ${\gamma }_2$ in the form

$${\gamma }_1={\gamma }_0\left(N_0+1\right),\hspace{1em}{\gamma }_2={\gamma }_0{N}_0,\hspace{1em}{\gamma }_0=\frac{4{\omega }_0^3|d{|}^2}{3\hslash c^3},$$

(223)

where ${\gamma }_0$ is the spontaneous emission rate. Then, Equation (221) with $K\left(t\right) =\delta \left(t\right)$ takes the form of Equation (3.219) in [3] (p. 148). In non-Markovian master Equation (221), the terms with ${\gamma }_1$ and ${\gamma }_2$ describe spontaneous emission with rate ${\gamma }_0$, the thermally induced emission and absorption with the rate ${\gamma }_0{N}_0$. The total transition rate is equal to

$$\gamma ={\gamma }_1+{\gamma }_2={\gamma }_0\left(2N_0+1\right),$$

(224)

where $N_0=N_0\left({\omega }_0\right)$ is the Planck distribution at the transition frequency.

Using the density operator of two-level system in the form

$$\rho =\sum _{k,l=0}^1{\rho }_{kl}\left|k\rangle \langle l\right|,$$

(225)

the general non-Markovian equation of this two-level quantum system is represented by the equations with GFD:

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]{\rho }_{00}\left(\tau \right) =-{\gamma }_2{\rho }_{00}+{\gamma }_1{\rho }_{11}$$

(226)

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]{\rho }_{01}\left(\tau \right) =i{\omega }_0{\rho }_{01}-\frac{1}{2}\left({\gamma }_1+{\gamma }_2\right){\rho }_{01}$$

(227)

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]{\rho }_{10}\left(\tau \right),=-i{\omega }_0{\rho }_{10}-\frac{1}{2}\left({\gamma }_1+{\gamma }_2\right){\rho }_{10}$$

(228)

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]{\rho }_{11}\left(\tau \right) ={\gamma }_2{\rho }_{00}-{\gamma }_1{\rho }_{11}$$

(229)

The interaction representation of quantum theory cannot be used to solve equations with GFD, which describe non-Markovian dynamics. This fact follows from the violation of the standard Leibniz rule (product rule) for GFD. Note that the time-ordered product (chronological product) for non-Markovian quantum dynamics with nonlocality in type (in the form of memory) was proposed in [45].

To obtain an explicit form of the solution for the components of the density operator of two-level system, Equations (226)–(229) are considered by two pairs.

First pair is the equations

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]{\rho }_{01}\left(\tau \right) ={\lambda }_1{\rho }_{01},$$

(230)

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]{\rho }_{10}\left(\tau \right) ={\lambda }_2{\rho }_{10},$$

(231)

where

$${\lambda }_1=+i{\omega }_0-\frac{1}{2}\left({\gamma }_1+{\gamma }_2\right),\hspace{1em}{\lambda }_2=-i{\omega }_0-\frac{1}{2}\left({\gamma }_1+{\gamma }_2\right).$$

(232)

For $0<\alpha \le 1$, the solutions of Equations (230) and (231) have the form

$${\rho }_{01}\left(t\right) =\mathbb{L}\left(M,{\lambda }_1,t\right){\rho }_{01}\left(0\right),$$

(233)

$${\rho }_{10}\left(t\right) =\mathbb{L}\left(M,{\lambda }_2,t\right){\rho }_{10}\left(0\right).$$

(234)

The second pair is the equations

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]{\rho }_{00}\left(\tau \right) =-{\gamma }_2{\rho }_{00}+{\gamma }_1{\rho }_{11},$$

(235)

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]{\rho }_{11}\left(\tau \right) ={\gamma }_2{\rho }_{00}-{\gamma }_1{\rho }_{11}.$$

(236)

To get solutions of Equations (235) and (236), we considered these equations in the matrix form

$$D_{\left(K\right)}^{t,\ast }\left[\tau \right]\left(\begin{array}{l}{\rho }_{00}\left(\tau \right)\hfill \\ {\rho }_{11}\left(\tau \right)\hfill \end{array}\right) =G\left(\begin{array}{l}{\rho }_{00}\hfill \\ {\rho }_{11}\hfill \end{array}\right),$$

(237)

where

$$\mathrm{G}=\left(\begin{array}{ll}-{\gamma }_2\hfill & {\gamma }_1\hfill \\ {\gamma }_2\hfill & -{\gamma }_1\hfill \end{array}\right),$$

(238)

and ${\gamma }_1>0$, and ${\gamma }_2>0$.

The solution of Equation (237) has the form

$$\left(\begin{array}{l}{\rho }_{00}\left(t\right)\hfill \\ {\rho }_{11}\left(t\right)\hfill \end{array}\right) =S_t\left(\alpha \right)\left(\begin{array}{l}{\rho }_{00}\left(0\right)\hfill \\ {\rho }_{11}\left(0\right)\hfill \end{array}\right),$$

(239)

where

$$S_t\left(\alpha \right) =\mathbb{L}\left(M,G,t\right) + S\left({\gamma }_1,{\gamma }_2\right),$$

(240)

$$S\left({\gamma }_1,{\gamma }_2\right) = \left(\begin{array}{ll}{\gamma }_1/\gamma \hfill & {\gamma }_1/\gamma \hfill \\ {\gamma }_2/\gamma \hfill & {\gamma }_1/\gamma \hfill \end{array}\right)$$

(241)

with $\gamma ={\gamma }_1+{\gamma }_2$.

The matrix $\mathrm{G}$ can be diagonalized as

$$\mathrm{G} = {\mathrm{K}}_1{\mathrm{D}}_1{\mathrm{K}}_1^{-1},$$

(242)

where

$${\mathrm{D}}_1 = \left(\begin{array}{ll}0\hfill & 0\hfill \\ 0\hfill & -{\gamma }_1-{\gamma }_2\hfill \end{array}\right),$$

(243)

$${\mathrm{K}}_1 = \left(\begin{array}{ll}\frac{{\gamma }_1}{\sqrt{{\gamma }_1^2 + {\gamma }_2^2}}\hfill & -\frac{1}{\sqrt{2}}\hfill \\ \frac{{\gamma }_2}{\sqrt{{\gamma }_1^2 + {\gamma }_2^2}}\hfill & \frac{1}{\sqrt{2}}\hfill \end{array}\right),$$

(244)

$${\mathrm{K}}_1^{-1} = \left(\begin{array}{ll}\frac{\sqrt{{\gamma }_1^2 + {\gamma }_2^2}}{{\gamma }_1 + {\gamma }_2}\hfill & \frac{\sqrt{{\gamma }_1^2 + {\gamma }_2^2}}{{\gamma }_1 + {\gamma }_2}\hfill \\ -\frac{\sqrt{2}{\gamma }_2}{{\gamma }_1 + {\gamma }_2}\hfill & \frac{\sqrt{2}{\gamma }_1}{{\gamma }_1 + {\gamma }_2}\hfill \end{array}\right).$$

(245)

Exact expression for solution (239) of Equation (237) is derived by the transformations

$$\mathbb{L}\left(M,{\mathrm{K}}_1{\mathrm{D}}_1{\mathrm{K}}_1^{-1},t\right) ={\mathrm{K}}_1 \mathbb{L}\left(M,{\mathrm{D}}_1,t\right){\mathrm{K}}_1^{-1}=$$

(246)

$$\left(\begin{array}{ll}\frac{{\gamma }_1}{\sqrt{{\gamma }_1^2 + {\gamma }_2^2}}\hfill & -\frac{1}{\sqrt{2}}\hfill \\ \frac{{\gamma }_2}{\sqrt{{\gamma }_1^2 + {\gamma }_2^2}}\hfill & \frac{1}{\sqrt{2}}\hfill \end{array}\right)\left(\begin{array}{ll}0\hfill & 0\hfill \\ 0\hfill & \mathbb{L}\left(M,-\gamma ,t\right)\hfill \end{array}\right)\left(\begin{array}{ll}\frac{\sqrt{{\gamma }_1^2 + {\gamma }_2^2}}{{\gamma }_1 + {\gamma }_2}\hfill & \frac{\sqrt{{\gamma }_1^2 + {\gamma }_2^2}}{{\gamma }_1 + {\gamma }_2}\hfill \\ -\frac{\sqrt{2}{\gamma }_2}{{\gamma }_1 + {\gamma }_2}\hfill & \frac{\sqrt{2}{\gamma }_1}{{\gamma }_1 + {\gamma }_2}\hfill \end{array}\right) =$$

(247)

$$\left(\begin{array}{ll}\frac{{\gamma }_2}{\gamma } \mathbb{L}\left(M,-\gamma ,t\right)\hfill & -\frac{{\gamma }_1}{\gamma } \mathbb{L}\left(M,-\gamma ,t\right)\hfill \\ -\frac{{\gamma }_2}{\gamma } \mathbb{L}\left(M,-\gamma ,t\right)\hfill & \frac{{\gamma }_1}{\gamma } \mathbb{L}\left(M,-\gamma ,t\right)\hfill \end{array}\right).$$

(248)

Therefore, we get

$$S_t\left(\alpha \right) =\mathbb{L}\left(M,G,t\right) + S\left({\gamma }_1,{\gamma }_2\right) = \left(\begin{array}{ll}\frac{{\gamma }_1}{\gamma }+\frac{{\gamma }_2}{\gamma } \mathbb{L}\left(M,-\gamma ,t\right)\hfill & \frac{{\gamma }_1}{\gamma }-\frac{{\gamma }_1}{\gamma } \mathbb{L}\left(M,-\gamma ,t\right)\hfill \\ \frac{{\gamma }_2}{\gamma }-\frac{{\gamma }_2}{\gamma } \mathbb{L}\left(M,-\gamma ,t\right)\hfill & \frac{{\gamma }_2}{\gamma }+\frac{{\gamma }_1}{\gamma } \mathbb{L}\left(M,-\gamma ,t\right)\hfill \end{array}\right),$$

(249)

where $\gamma ={\gamma }_1+{\gamma }_2$, and the solution for ${\rho }_{00}\left(t\right)$ and ${\rho }_{11}\left(t\right)$ has in the form

$$\left(\begin{array}{l}{\rho }_{00}\left(t\right)\hfill \\ {\rho }_{11}\left(t\right)\hfill \end{array}\right) = \left(\begin{array}{ll}\frac{{\gamma }_1}{\gamma }+\frac{{\gamma }_2}{\gamma } \mathbb{L}\left(M,-\gamma ,t\right)\hfill & \frac{{\gamma }_1}{\gamma }-\frac{{\gamma }_1}{\gamma } \mathbb{L}\left(M,-\gamma ,t\right)\hfill \\ \frac{{\gamma }_2}{\gamma }-\frac{{\gamma }_2}{\gamma } \mathbb{L}\left(M,-\gamma ,t\right)\hfill & \frac{{\gamma }_2}{\gamma }+\frac{{\gamma }_1}{\gamma } \mathbb{L}\left(M,-\gamma ,t\right)\hfill \end{array}\right)·\left(\begin{array}{l}{\rho }_{00}\left(0\right)\hfill \\ {\rho }_{11}\left(0\right)\hfill \end{array}\right).$$

(250)

As a result, we obtain the solution for components of the density matrix ${\rho }_{kl}\left(t\right)$ in the form

$${\rho }_{01}\left(t\right) =\mathbb{L}\left(M,{\lambda }_2,t\right){\rho }_{01}\left(0\right),$$

(251)

$${\rho }_{10}\left(t\right) =\mathbb{L}\left(M,{\lambda }_1,t\right){\rho }_{10}\left(0\right),$$

(252)

and

$${\rho }_{00}\left(t\right) = \left(\frac{{\gamma }_1}{\gamma }+\frac{{\gamma }_2}{\gamma }\mathbb{L}\left(M,-\gamma ,t\right)\right){\rho }_{00}\left(0\right) + \left(\frac{{\gamma }_1}{\gamma }-\frac{{\gamma }_1}{\gamma }\mathbb{L}\left(M,-\gamma ,t\right)\right){\rho }_{11}\left(0\right),$$

(253)

$${\rho }_{11}\left(t\right) = \left(\frac{{\gamma }_1}{\gamma }-\frac{{\gamma }_2}{\gamma }\mathbb{L}\left(M,-\gamma ,t\right)\right){\rho }_{00}\left(0\right) + \left(\frac{{\gamma }_1}{\gamma }+\frac{{\gamma }_1}{\gamma }\mathbb{L}\left(M,-\gamma ,t\right)\right){\rho }_{11}\left(0\right),$$

(254)

where $\gamma ={\gamma }_1+{\gamma }_2$.

7. Entropy for General Non-Markovian Quantum Dynamics

In quantum mechanics and quantum statistics, the concept of entropy $S$ is defined through the density operator $\rho$, which is a positive, normalized self-adjoint linear operator. John von Neumann defines [82] the entropy as an extension of the Gibbs entropy concepts from classical mechanics to the quantum mechanics.

For a quantum-mechanical system described by a density operator, the von Neumann entropy is defined (see Sections V.2 and V.3 in [82]) by the equation

$$S\left(t\right) =-Tr\left[\rho \left(t\right)\ln \rho \left(t\right)\right],$$

(255)

where $Tr$ is the trace and $\ln$ denotes the (natural) matrix logarithm.

For Markovian dynamics of Hamiltonian quantum systems, the von Neumann entropy does not change

$$S\left(t\right) =-Tr\left[\rho \left(t\right)\ln \rho \left(t\right)\right] =-Tr\left[\rho \left(0\right)\ln \rho \left(0\right)\right] =S\left(0\right).$$

(256)

For non-Markovian and non-Hamiltonian systems, the von Neumann entropy changes in the general case.

Let us consider the von Neumann entropy for general non-Markovian dynamics of two-level quantum systems.

For two-level quantum systems, the density operator is given as

$$\rho \left(t\right) = \left(\begin{array}{ll}{\rho }_{00}\left(t\right)\hfill & {\rho }_{01}\left(t\right)\hfill \\ {\rho }_{10}\left(t\right)\hfill & {\rho }_{11}\left(t\right)\hfill \end{array}\right).$$

(257)

Matrix (257) can be diagonalized

$$\rho \left(t\right) ={\mathrm{K}}_2{\mathrm{D}}_2{\mathrm{K}}_2^{-1}.$$

(258)

The diagonal matrix ${\mathrm{D}}_2$ has the form

$${\mathrm{D}}_2 = \left(\begin{array}{ll}{D}_{-}\hfill & 0\hfill \\ 0\hfill & D_{+}\hfill \end{array}\right),$$

(259)

where

$$D_{\pm }=\frac{1}{2}\left({\rho }_{00}\left(t\right) + {\rho }_{11}\left(t\right)\pm \sqrt{{({\rho }_{00}\left(t\right) - {\rho }_{11}\left(t\right))}^2+4{\rho }_{01}\left(t\right){\rho }_{10}\left(t\right)}\right).$$

(260)

Using the normalization condition $Tr\left[\rho \left(t\right)\right] =1$ for all $t\in \left(0,\infty \right)$, we get

$${\rho }_{00}\left(t\right) + {\rho }_{11}\left(t\right) = 1.$$

(261)

Using representation (258) of density operator (257), we can derive an explicit form of the von Neumann entropy for non-Markovian two-level quantum system.

The von Neumann entropy has the form

$$S\left(t\right) =-Tr\left({\mathrm{D}}_2{\ln \mathrm{D}}_2\right),$$

(262)

where we use

$$\begin{gathered} Tr\left[\rho \left(t\right)\ln \left(\rho \left(t\right)\right)\right] =Tr\left[{\mathrm{K}}_2{\mathrm{D}}_2{\mathrm{K}}_2^{-1}\ln \left({\mathrm{K}}_2{\mathrm{D}}_2{\mathrm{K}}_2^{-1}\right)\right] = \\ Tr\left[{\mathrm{K}}_2{\mathrm{D}}_2{\mathrm{K}}_2^{-1}{\mathrm{K}}_2\ln \left({\mathrm{D}}_2\right){\mathrm{K}}_2^{-1}\right] = \\ Tr\left[{\mathrm{K}}_2{\mathrm{D}}_2\ln \left({\mathrm{D}}_2\right){\mathrm{K}}_2^{-1}\right] =Tr\left[{\mathrm{K}}_2^{-1}{\mathrm{K}}_2{\mathrm{D}}_2\left({\ln \mathrm{D}}_2\right)\right] =Tr\left[{\mathrm{D}}_2{\ln \mathrm{D}}_2\right]. \end{gathered}$$

The von Neumann entropy is given by the equation

$$S\left(t\right) =-\frac{1}{2}\left(1-B\left(t\right)\right)\ln \left(\frac{1}{2}\left(1-B\left(t\right)\right)\right) - \frac{1}{2}\left(1+B\left(t\right)\right)\ln \left(\frac{1}{2}\left(1+B\left(t\right)\right)\right),$$

(263)

where $B\left(t\right)$ is the Bloch vector

$$B\left(t\right) =\sqrt{{({\rho }_{00}\left(t\right) - {\rho }_{11}\left(t\right))}^2+4{\rho }_{01}\left(t\right){\rho }_{10}\left(t\right)}.$$

(264)

Using solutions (251), (252), and (253), (254), we derive $B\left(t\right)$ in the form

$$\begin{gathered} B^2\left(t\right) ={\left(\frac{2{\gamma }_2}{\gamma }\mathbb{L}\left(M,-\gamma ,t\right){\rho }_{00}\left(0\right) - \frac{2{\gamma }_1}{\gamma }\mathbb{L}\left(M,-\gamma ,t\right){\rho }_{11}\left(0\right) + \frac{{\gamma }_1-{\gamma }_2}{\gamma }\right)}^2+ \\ 4\mathbb{L}\left(M,{\lambda }_2,t\right) \mathbb{L}\left(M,{\lambda }_1,t\right){\rho }_{01}\left(0\right){\rho }_{10}\left(0\right), \end{gathered}$$

(265)

where $\gamma ={\gamma }_1+{\gamma }_2$ and ${\rho }_{00}\left(t\right) + {\rho }_{11}\left(t\right) =1$ for all $t\ge 0$ since $Tr\left[\rho \left(t\right)\right] =1$.

Let us give some examples of the function $\mathbb{L}\left(M,-\gamma ,t\right)$.

(1)

For $M\left(t\right) =h_{\alpha }\left(t\right) =t^{\alpha -1}/\Gamma \left(\alpha \right)$, the second Luchko function has the form

$$\mathbb{L}\left(M,-\gamma ,t\right) =E_{\alpha }\left[-\gamma t^{\alpha }\right].$$

(266)

(2)

For the kernel

$$M\left(t\right) =\frac{t^{\alpha -1}}{\Gamma \left(\alpha \right)}{e}^{-\beta t},$$

(267)

we have

$$\mathbb{L}\left(M,-\gamma ,t\right)=e^{-\beta t}{E}_{\alpha }\left(-\gamma t^{\alpha }\right) + \beta {\int }_0^{t}d\tau e^{-\beta \tau }{E}_{\alpha }\left(-\gamma {\tau }^{\alpha }\right),$$

(268)

where $\alpha \in \left(0,1\right)$ and $\beta >0$.

(3)

For the kernel

$$M\left(t\right)=\frac{t^{-\beta +\alpha }}{\Gamma \left(1-\beta +\alpha \right)}+\frac{t^{-\beta }}{\Gamma \left(1-\beta \right)},$$

(269)

the function is

$$\mathbb{L}\left(M,-\gamma ,t\right)=E_{\left(1-\beta ,1-\beta +\alpha \right),1}\left(-\gamma t^{1-\beta },-\gamma t^{1-\beta +\alpha }\right),$$

(270)

where $0<\alpha <\beta <1$.

8. Conclusions

In this paper, we proposed the formulation of non-Markovian quantum theory in the general form. The non-locality in time is represented by kernels of integral and integro-differential operators. These kernels are described by functions that belong to the Sonin set of kernel pairs. The results can be derived in the general form without using special realization of these kernels. Therefore, these results are valid for any operator kernels from the Sonin set. This approach to non-Markovian quantum theory is directly connected with the concept of general fractional dynamics suggested in [72].

Non-Markovian equations for quantum observables and states are suggested by using general fractional calculus. The exact solutions of these equations are derived by using the operational calculus, which is proposed by Luchko in [60] for equations with general fractional derivatives. A wide class of the exactly solvable models of non-Markovian quantum dynamics is suggested. These models describe non-Markovian open quantum systems with the general form of nonlocality in time. The non-Markovian models of quantum oscillator and two-level quantum system with general form of nonlocality in time are described. The exact solutions of equations for these models are proposed.

This paper proposes a general approach to describing non-Markov quantum dynamics. Many important issues are not covered in this article. This work does not offer solutions to all the problems of constructing general non-Markov dynamics of open quantum systems. Let us note some unresolved questions that await their solution in future research.

(1)

A quantum system can be embedded in some environments and therefore the system is not isolated. The environment of a quantum system is in principle unobservable or is unknown. This would render the non-Markovian theory of open quantum systems a fundamental generalization of quantum mechanics. However, for practical applications, it is useful to have models of open quantum systems that can be derived from some closed systems including the system under study and some environments. In this regard, the problem arises of constructing models of such closed systems and obtaining general non-Markov dynamics, for example, within the framework of the Caldeira–Leggett approach [83]. At the moment, this problem has not been solved, and the question remains open. We think that the construction of such models is possible. This opinion is based on the following: in the framework of the simplest models, the kernels of fractional derivatives, which describe nonlocality in time, were obtained in [84].

(2)

For open quantum systems, its “reduced” dynamics not to violate thermodynamics must not decrease entropy of the evolving state [85]. In this regard, the problem arises of a detailed study of the behavior of entropy for general non-Markov dynamics. At the moment, this problem has not been solved. This question is interesting for further research and computer simulation of the behavior of entropy.

(3)

The form of the superoperator $L$ was determined by the Lindblad theorem, which describes the relationship between a completely positive semigroup and a completely dissipative superoperator. The condition for the dissipativity of the superoperator is in fact the standard Leibniz rule, in which equality is replaced by inequality. In non-Markovian dynamics, the semigroup property is violated, and the fractional derivative violates the standard Leibniz rule. In this regard, the question arises about the existence of a generalization of the Lindblad superoperator, in the framework of the proposed general non-Markovian dynamics. In our opinion, such a possibility exists and may be associated with the fractional powers of Lindblad superoperators and the models proposed in the works [5] (pp. 433–444) and [37] (pp. 458–464, 468–477), and [41,42].