[go: up one dir, main page]

Next Article in Journal
Inferring an Observer’s Prediction Strategy in Sequence Learning Experiments
Previous Article in Journal
Dynamic Defense against Stealth Malware Propagation in Cyber-Physical Systems: A Game-Theoretical Framework
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Non-Markovianity of a Central Spin Interacting with a Lipkin–Meshkov–Glick Bath via a Conditional Past–Future Correlation

1
School of Physics, Beijing Institute of Technology, Beijing 100081, China
2
School of Science, Tianjin University of Technology, Tianjin 300384, China
3
School of Information and Electronic Engineering, Shandong Technology and Business University, Yantai 264005, China
*
Author to whom correspondence should be addressed.
Entropy 2020, 22(8), 895; https://doi.org/10.3390/e22080895
Submission received: 28 June 2020 / Revised: 10 August 2020 / Accepted: 12 August 2020 / Published: 15 August 2020
Figure 1
<p>For two different measurement operators, (<b>a</b>) for <math display="inline"><semantics> <mrow> <msub> <mi>Ω</mi> <mrow> <mover accent="true"> <mi>z</mi> <mo>^</mo> </mover> <mo>=</mo> <mo>±</mo> <mn>1</mn> </mrow> </msub> </mrow> </semantics></math> and (<b>b</b>) for <math display="inline"><semantics> <mrow> <msub> <mi>Ω</mi> <mrow> <mover accent="true"> <mi>x</mi> <mo>^</mo> </mover> <mo>=</mo> <mo>±</mo> <mn>1</mn> </mrow> </msub> </mrow> </semantics></math>. In both cases, the initial states are chosen to be the same as <math display="inline"><semantics> <mrow> <msubsup> <mi>ρ</mi> <mi>tot</mi> <mn>3</mn> </msubsup> </mrow> </semantics></math>(0) and the parameters are N = 300, <math display="inline"><semantics> <mrow> <mi>γ</mi> </mrow> </semantics></math> = 0.98, <math display="inline"><semantics> <mrow> <msup> <mi>γ</mi> <mo>'</mo> </msup> </mrow> </semantics></math> = 0.002, <span class="html-italic">T<sub>B</sub></span> = 0.01, =/3, <math display="inline"><semantics> <mrow> <mi>γ</mi> <mo>=</mo> <mfrac bevelled="true"> <mi>π</mi> <mn>3</mn> </mfrac> </mrow> </semantics></math>.</p> ">
Figure 2
<p>For <math display="inline"><semantics> <mrow> <msubsup> <mi>ρ</mi> <mrow> <mi>t</mi> <mi>o</mi> <mi>t</mi> </mrow> <mn>2</mn> </msubsup> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </semantics></math> with <math display="inline"><semantics> <mrow> <msub> <mi>Ω</mi> <mrow> <mover accent="true"> <mi>x</mi> <mo>^</mo> </mover> <mo>=</mo> <mo>±</mo> <mn>1</mn> </mrow> </msub> </mrow> </semantics></math>. The parameters are the same as those in <a href="#entropy-22-00895-f001" class="html-fig">Figure 1</a>.</p> ">
Figure 3
<p>For <math display="inline"><semantics> <mrow> <msub> <mi>Ω</mi> <mrow> <mover accent="true"> <mi>x</mi> <mo>^</mo> </mover> <mo>=</mo> <mo>±</mo> <mn>1</mn> </mrow> </msub> </mrow> </semantics></math> and different <math display="inline"><semantics> <mrow> <msup> <mi mathvariant="sans-serif">λ</mi> <mo>'</mo> </msup> </mrow> </semantics></math>; (<b>a</b>) <math display="inline"><semantics> <mrow> <msup> <mi mathvariant="sans-serif">λ</mi> <mo>'</mo> </msup> <mo>=</mo> <mn>0.001</mn> </mrow> </semantics></math>; (<b>b</b>) <math display="inline"><semantics> <mrow> <msup> <mi mathvariant="sans-serif">λ</mi> <mo>'</mo> </msup> <mo>=</mo> <mn>0.005</mn> </mrow> </semantics></math> and (<b>c</b>) <math display="inline"><semantics> <mrow> <msup> <mi mathvariant="sans-serif">λ</mi> <mo>'</mo> </msup> <mo>=</mo> <mn>0.01</mn> </mrow> </semantics></math>. The initial state is <math display="inline"><semantics> <mrow> <msubsup> <mi>ρ</mi> <mrow> <mi>t</mi> <mi>o</mi> <mi>t</mi> </mrow> <mn>3</mn> </msubsup> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </semantics></math> and the other parameters are the same as those in <a href="#entropy-22-00895-f001" class="html-fig">Figure 1</a>.</p> ">
Figure 4
<p>For <math display="inline"><semantics> <mrow> <msub> <mi>Ω</mi> <mrow> <mover accent="true"> <mi>z</mi> <mo>^</mo> </mover> <mo>=</mo> <mo>±</mo> <mn>1</mn> </mrow> </msub> </mrow> </semantics></math> and different <math display="inline"><semantics> <mrow> <msup> <mi mathvariant="sans-serif">λ</mi> <mo>'</mo> </msup> </mrow> </semantics></math>; (<b>a</b>) <math display="inline"><semantics> <mrow> <msup> <mi mathvariant="sans-serif">λ</mi> <mo>'</mo> </msup> <mo>=</mo> <mn>0.001</mn> </mrow> </semantics></math>; (<b>b</b>) <math display="inline"><semantics> <mrow> <msup> <mi mathvariant="sans-serif">λ</mi> <mo>'</mo> </msup> <mo>=</mo> <mn>0.005</mn> </mrow> </semantics></math>and (<b>c</b>) <math display="inline"><semantics> <mrow> <msup> <mi mathvariant="sans-serif">λ</mi> <mo>'</mo> </msup> <mo>=</mo> <mn>0.01</mn> </mrow> </semantics></math>. The initial state is <math display="inline"><semantics> <mrow> <msubsup> <mi>ρ</mi> <mrow> <mi>t</mi> <mi>o</mi> <mi>t</mi> </mrow> <mn>3</mn> </msubsup> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </semantics></math> and the other parameters are the same as those in <a href="#entropy-22-00895-f001" class="html-fig">Figure 1</a>.</p> ">
Figure 5
<p>For <math display="inline"><semantics> <mrow> <msub> <mi>Ω</mi> <mrow> <mover accent="true"> <mi>x</mi> <mo>^</mo> </mover> <mo>=</mo> <mo>±</mo> <mn>1</mn> </mrow> </msub> </mrow> </semantics></math> and different <math display="inline"><semantics> <mi mathvariant="sans-serif">λ</mi> </semantics></math> near the quantum phase transition (QPT) point in the case of <math display="inline"><semantics> <mrow> <mi>N</mi> <mo>=</mo> <mn>500</mn> </mrow> </semantics></math>, <math display="inline"><semantics> <mrow> <msup> <mi mathvariant="sans-serif">λ</mi> <mo>'</mo> </msup> <mo>=</mo> <mn>0.002</mn> </mrow> </semantics></math>; (<b>a</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>0.97</mn> </mrow> </semantics></math>; (<b>b</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>0.98</mn> </mrow> </semantics></math>; (<b>c</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>0.99</mn> </mrow> </semantics></math>; (<b>d</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>1.01</mn> </mrow> </semantics></math>; (<b>e</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>1.02</mn> </mrow> </semantics></math>; (<b>f</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>1.03</mn> </mrow> </semantics></math>.</p> ">
Figure 6
<p>For <math display="inline"><semantics> <mrow> <msub> <mi>Ω</mi> <mrow> <mover accent="true"> <mi>z</mi> <mo>^</mo> </mover> <mo>=</mo> <mo>±</mo> <mn>1</mn> </mrow> </msub> </mrow> </semantics></math> and different <math display="inline"><semantics> <mi mathvariant="sans-serif">λ</mi> </semantics></math> near the QPT point in the case of <math display="inline"><semantics> <mrow> <mi>N</mi> <mo>=</mo> <mn>500</mn> </mrow> </semantics></math>; <math display="inline"><semantics> <mrow> <msup> <mi mathvariant="sans-serif">λ</mi> <mo>'</mo> </msup> <mo>=</mo> <mn>0.002</mn> </mrow> </semantics></math>; (<b>a</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>0.97</mn> </mrow> </semantics></math>; (<b>b</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>0.98</mn> </mrow> </semantics></math>; (<b>c</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>0.99</mn> </mrow> </semantics></math>; (<b>d</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>1.01</mn> </mrow> </semantics></math>; (<b>e</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>1.02</mn> </mrow> </semantics></math>; (<b>f</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>1.03</mn> </mrow> </semantics></math>.</p> ">
Figure 7
<p>For <math display="inline"><semantics> <mrow> <msub> <mi>Ω</mi> <mrow> <mover accent="true"> <mi>x</mi> <mo>^</mo> </mover> <mo>=</mo> <mo>±</mo> <mn>1</mn> </mrow> </msub> </mrow> </semantics></math> and different <math display="inline"><semantics> <mi mathvariant="sans-serif">λ</mi> </semantics></math> near the QPT point in the case of <math display="inline"><semantics> <mrow> <msub> <mi>T</mi> <mi>B</mi> </msub> <mo>=</mo> <mn>0.001</mn> </mrow> </semantics></math>; (<b>a</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>0.97</mn> </mrow> </semantics></math>; (<b>b</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>0.98</mn> </mrow> </semantics></math>; (<b>c</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>0.99</mn> </mrow> </semantics></math>; (<b>d</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>1.01</mn> </mrow> </semantics></math>; (<b>e</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>1.02</mn> </mrow> </semantics></math>; (<b>f</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>1.03</mn> </mrow> </semantics></math>. The other parameters are the same as those in <a href="#entropy-22-00895-f005" class="html-fig">Figure 5</a>.</p> ">
Figure 8
<p>For <math display="inline"><semantics> <mrow> <msub> <mi>Ω</mi> <mrow> <mover accent="true"> <mi>z</mi> <mo>^</mo> </mover> <mo>=</mo> <mo>±</mo> <mn>1</mn> </mrow> </msub> </mrow> </semantics></math> and different <math display="inline"><semantics> <mi mathvariant="sans-serif">λ</mi> </semantics></math> near the QPT point in the case of <math display="inline"><semantics> <mrow> <msub> <mi>T</mi> <mi>B</mi> </msub> <mo>=</mo> <mn>0.001</mn> </mrow> </semantics></math>; (<b>a</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>0.97</mn> </mrow> </semantics></math>; (<b>b</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>0.98</mn> </mrow> </semantics></math>; (<b>c</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>0.99</mn> </mrow> </semantics></math>; (<b>d</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>1.01</mn> </mrow> </semantics></math>; (<b>e</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>1.02</mn> </mrow> </semantics></math>; (<b>f</b>) <math display="inline"><semantics> <mrow> <mi mathvariant="sans-serif">λ</mi> <mo>=</mo> <mn>1.03</mn> </mrow> </semantics></math>. The other parameters are the same as those in <a href="#entropy-22-00895-f005" class="html-fig">Figure 5</a>.</p> ">
Versions Notes

Abstract

:
Based on conditional past–future (CPF) correlations, we study the non-Markovianity of a central spin coupled to an isotropic Lipkin–Meshkov–Glick (LMG) bath. Although the dynamics of a system is always non-Markovian, it is found that some measurement time intervals considering a specific process, with respect to a particular set of CPF measurement operators, can be zero, which means that in this case the non-Markovianity of the system could not be detected. Furthermore, the initial system–bath correlations only slightly influence the non-Markovianity of the system in our model. Significantly, it is also found that the dynamics of the system for LMG baths, initially in the ground states corresponding to the symmetric phase and symmetry broken phase, exhibit different properties, and the maximal value of the CPF at the critical point is the smallest, independent of the measurement operator, which means that the criticality can manifest itself by the CPF. Moreover, the effect of bath temperature on the quantum criticality of the CPF depends on the measurement operator.

1. Introduction

As is known, realistic quantum systems inevitably interact with their surrounding environments, and the dynamics of such open quantum systems [1,2,3,4,5] have attracted a lot of attention. The time evolution of open quantum systems is usually characterized by a quantum master equation through Markovian approximations [6], where the environment is assumed to be memoryless leading to a monotonic information flow from the system of interest to the environment. However, the Markovian approximation or master equation breaks down in systems with a strong coupling to their environments and structured environment spectral densities. In these cases, usually the environment exhibits memory effects, and so a backflow of information from the environment to the system occurs, namely, the system experiences non-Markovian dynamics [7,8]. Researchers have found that many relevant physical systems could not be described simply by Markovian dynamics, such as quantum dots [9], quantum optical systems [10,11], color-core spin in semiconductors [12], as well as biological systems [13], and quantum chemistry [14].
In recent years, more and more attention has been paid to the study of non-Markovian processes of open quantum systems [15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44]. Several review articles on quantum non-Markovianity are available [7,8,45]. The measure of the non-Markovianity of quantum evolution is a fundamental problem which aims to detect whether a quantum process is non-Markovian and how much it deviates from a Markovian one. Various definitions and measures of non-Markovianity have been introduced based on different physical concepts. Most of these definitions and measures for non-Markovianity were based on the following two main ideas: completely positive (CP) divisibility and information back flow. Based on CP divisibility, several measures of non-Markovianity have been proposed in [16,17,18,19,20,21]. Following the idea of information back flow, different measures were considered, such as measures based on the distinguishability of states in [22], on quantum entanglement in [16], on the quantum Fisher information flow in [23,24], on the fidelity in [25], on the mutual information in [26,27], on the channel capacity in [28], on the geometry of a set of accessible states in [29], on the channel distinguishability in [30], and on the two-time correlation functions in [31]. It is worthwhile to notice that different measures of non-Markovianity agree neither on the degree of non-Markovianity of a given process nor even on whether it is Markovian [27,32].
In fact, memory effects developed in open quantum systems can also be defined by alternative methods. For example, the well-established notion of classical Markovianity [46] can be extended to a quantum regime by subjecting the system to extra control operations (measurements). Recently, an operational definition of quantum Markovianity based on a “process tensor” framework was introduced in [41,42], which relies on the usual definition of classical Markovianity in terms of conditional probability distributions [46]. The main theoretical component of this definition is the statistical independence of past and future events when conditioned on a given state at the present time [47]. Then, Budini extended this formulation of classical Markovianity to quantum regime and proposed an operational definition of quantum non-Markovianity, which is based on a minimal set of three time-ordered successive measurements performed solely on the quantum system [43,44]. Hence, conditional past–future (CPF) independence indicates a Markovian regime, while memory effects will break CPF independence, and a hierarchical set of CPF correlations arises in non-Markovian regime. Its definition involves both predictive and retrodicted quantum probabilities [48,49]. It should be noted that the experimental implementation has been recently realized [50,51].
In [43], the authors considered a central spin model and a spin in the classical noise and studied their non-Markovian dynamics based on CPF correlations. The bath in the latter was approximated as a big qubit. In general, it is very difficult to consider the change of the bath state after a measurement on the system, which strongly influences the subsequent dynamics of the system. So the quantum regression theorem was often used which approximately supposes the bath state being unchanged [52], while in a non-Markovian regime for CPF correlations, the change of the bath state after measurement could not be ignored, leading to a violation of the quantum regression theorem. Because the change of the bath state is a major factor influencing the non-Markovianity, an exactly solvable model will be significant. As is known, interacting many-body spin environments are the representative non-Markovian environments which present many interesting non-Markovian behaviors [39,40,53,54,55,56]. The Lipkin–Meshkov–Glick (LMG) model [57], which is exactly solvable, consists of N spins distributed in two degenerate levels and each spin interacts with others. This model, which was first introduced to describe the tunneling of bosons between two degenerate levels in nuclei, has been proven to have a quantum phase transition (QPT) [58,59,60]. By adjusting the coupling constant, the LMG model will show two different phases, i.e., a symmetric phase and symmetry broken phase. Thus, the ground states corresponding to the two phases exhibit different properties. In [40], the authors have studied the non-Markovianity of a central spin coupled to a LMG model in the case of the bath initially being in the ground state by the trace distance definition of non-Markovianity. They found that the non-Markovianity is stronger for the bath in the symmetric phase than that in the symmetry broken phase. In fact, the trace distance between quantum states has been extensively applied to investigate non-Markovianity, which is not considered for a particular physical process, but the CPF correlation is. In this paper, based on a CPF correlation, we will study the non-Markovianity of a central spin coupled to the LMG bath, especially the effects of different particular physical processes, different initial system–bath correlations and the states of the bath on the non-Markovian dynamics. Firstly, we discuss the effect of the measurement operator on the non-Markovianity of the system. It is found that the non-Markovianity of the system could not be detected by a particular measurement operator for some measurement time intervals. In a quantum regime, the system dynamics are Markovian if the CPF correlation vanishes for arbitrary measurement operators. Equivalently, the system dynamics are non-Markovian if there exists at least one set of measurement operators such that the CPF correlation does not vanishes. It is noted that even for a non-Markovian process the value of the CPF may or may not be null for different measurement operators and different measurement time intervals. Then, we consider the role of the initial system–bath correlations on the non-Markovianity. Three types of initial system–bath correlations are considered: the first has a quantum correlation, the second has a classical correlation, and the third has no correlation. It is shown that initial system–bath correlations only slightly influence the non-Markovianity of the system in our model. At last, we discuss how the state of the bath influences the non-Markovianity of the system. It is found that with LMG being initially prepared in the ground state, the behaviors of the CPF are quite different for the two different phases, and a notable discontinuity of the sudden transition for the CPF occurs at the QPT point. In the symmetric broken phase, the maximal magnitude of the CPF increases with the increase in the coupling strength between the spins in the bath, while in the symmetric phase, it decreases with the increase in the coupling strength between the spins in the bath. At the QPT point, the maximal magnitude of the CPF is the minimum. The non-Markovianity shows critical characteristics near the QPT point in the LMG bath, which is independent of the measurement operator, and thus, this quantum criticality can manifest itself by the CPF. Moreover, the initial bath state has a significant influence on the dynamics of the system, and the effect of the bath temperature on the critical characteristics of the CPF depends on the measurement operator. For some particular measurements, although the bath slightly deviates from zero (in terms of temperature), the critical behavior of the CPF will be broken, while for other measurement operators, a higher temperature can be maintained before being destroyed.
This paper is organized as follows: In Section 2, we first introduce the physical model and three types of initial system–bath correlations. Then, we briefly review the operational definition of quantum non-Markovianity based on the CPF correlation. In Section 3, we study the dynamics of the system for different particular processes and initial system–bath correlations through the CPF correlation, as well as the effects the different states of the bath has on the dynamics of the system. Section 4 is the conclusion.

2. Model and Methods

2.1. Model

We consider a central spin- 1 2 system coupled to the isotropic LMG bath and the total Hamiltonian can be written as
H = H S + H B + H S B
with
H S = σ z H B = λ N i < j N ( σ x i σ x j + σ y i σ y j ) i = 1 N σ z i H S B = λ ' i = 1 N ( σ x i σ x + σ y i σ y )
Here, H S is the Hamiltonian of the central spin and H B is the Hamiltonian of the isotropic LMG bath, with λ , N denoting the coupling strength between the spins and the number of spins in the bath. H S B represents the interacting Hamiltonian between the central spin and its surrounding bath, with λ ' being their coupling strength. σ k and σ k i , k = x , y , z ( i = 1 , 2 , N ) are the Pauli matrices of the central spin and the i-th spin in the bath, respectively.
Since the N spins in the LMG bath are identical and indistinguishable, the dynamics of the bath can be described by collective operators as
J ± = i = 1 N σ ± i ,   J z = 1 2 i = 1 N σ z i
where J z and J ± are the z component of the total spin operator and the ladder operators of the LMG bath. By means of the ladder operators of the LMG bath and the central spin, we can rewrite the total Hamiltonian as
H = λ N [ J + J + J J + N ] 2 J z 2 λ ' [ s + J + s J + ] 2 s z
where s z = 1 2 σ z and s ± = s x ± i s y are the spin operator and the ladder operator of the central spin, respectively.
Any N spin- 1 2 state invariant by atom permutation is described by the Dicke state | J , M with J = N 2 , where | J , M is obtained by the repeated action of the symmetrical collective deexcitation operator J on state | , :
| J , M = ( J + M ) ! N ! ( J M ) ! J J M | ,
In Equation (5), M = J , J + 1 , J 1 , J , and | , are the full polarized states with all spins up. | J , M represents the state in which the J + M spins are in the upper level | , and J M in the lower level | . | J , M is the eigenstate of J 2 and J z with the corresponding eigenvalues N 2 ( N 2 + 1 ) and M , respectively. Hence, we can choose | J , M as the basis vector, and the Hamiltonian of the LMG bath would be expressed as a diagonal matrix in the Dicke representation. For convenience, we write | M instead of | J , M for J = N 2 in the following. In terms of the LMG model, λ = 1 is the QPT point. When 0 < λ < 1 , the bath is in the symmetry broken phase, and the ground state is | G = | N 2 . When λ > 1 , the bath is in the symmetry phase, and the ground state is | G = | M , where M is an integer nearest to N / 2 λ .
By means of an invariant subspace, H M of H spanned by the basis vectors { | M | , | M + 1 | } ( | , | are the eigenstates of H S ), the total Hamiltonian can be expressed as a quasidiagonal matrix with the diagonal blocks:
H M = [ ε ξ ξ χ ]
where ε = λ 2 N [ N 2 4 M 2 ] 2 M 1 , χ = λ 2 N [ N 2 4 ( M + 1 ) 2 ] 2 ( M + 1 ) + 1 , ξ = λ ' N ( N + 2 ) 4 M ( M + 1 ) . Through a straightforward calculation, the system–bath unitary time evolution operator U ( t ) = e x p ( i H t ) can also be expressed in the invariant subspace H M of H as
U M ( t ) = [ g 2 e i x 1 t + h 2 e i x 2 t g h ( e i x 1 t e i x 2 t ) g h ( e i x 1 t e i x 2 t ) h 2 e i x 1 t + g 2 e i x 2 t ]
where x 1 and x 2 are the eigenvalues of H M , written as
x 1 = 1 2 [ ( ε + χ ) + ( ε χ ) 2 + 4 ξ 2 ] ,   x 2 = 1 2 [ ( ε + χ ) ( ε χ ) 2 + 4 ξ 2 ] .
In Equation (7), g = ξ ( ε x 1 ) 2 + ξ 2 , h = x 1 ε ( ε x 1 ) 2 + ξ 2 . It is noticed that the above equation is valid only when N 2 M < N 2 . M = N 2 , | N 2 | is an eigenstate of the total Hamiltonian which is a one-dimensional invariant subspace, and its corresponding eigenenergy is ( N + 1 ) . | N 2 | is also an eigenstate of the total Hamiltonian, and its eigenenergy is ( N + 1 ) .
Now, assuming the initial system–bath state is ρ t o t ( 0 ) , we can obtain the time evolution of the density matrix for the composite system by solving the following Liouville equation,
ρ t o t ( t ) = U ( t ) ρ t o t ( 0 ) U ( t )
and the reduced density matrix of system can be obtained by tracing over the bath degrees of freedom, ρ s ( t ) = Tr B [ ρ t o t ( t ) ] .
In general, system–bath initial correlations can play a significant role in the dynamics of quantum systems. In order to investigate the effects of different initial system–bath correlations on the dynamics of central spin, in this paper we will consider the following three types of initial states for the composite system,
ρ t o t 1 ( 0 ) = ( α | μ | 0 + β | ν | N 2 ) × ( α μ | 0 | + β ν | N 2 | )
ρ B ( 0 ) ( sin 2 γ | | + cos 2 γ | | )
P 0 cos 2 γ | 0 0 | P 0 s i n 2 γ | 0 0 |
P N / 2 sin 2 γ | N 2 N 2 | P N / 2 cos 2 γ | N 2 N 2 |
ρ t o t 2 ( 0 ) = | α | 2 | μ μ | | 0 0 | + | β | 2 | ν ν | | N 2 N 2 |
+ ρ B ( 0 ) ( sin 2 γ | | + cos 2 γ | | )
P 0 cos 2 γ | 0 0 | P 0 sin 2 γ | 0 0 |
P N / 2 sin 2 γ | N 2 N 2 | P N / 2 cos 2 γ | N 2 N 2 |
ρ t o t 3 ( 0 ) = ρ S ( 0 ) ρ B ( 0 )
where | μ = cos γ | + sin γ | , | ν = sin γ | cos γ | ( γ [ 0 , π ] ) . ρ S ( 0 ) and ρ B ( 0 ) are given by
ρ S ( 0 ) = cos 2 γ | | + ( P 0 P N 2 ) cos γ sin γ | |
+ ( P 0 P N 2 ) cos γ sin γ | | + sin 2 γ | |
ρ B ( 0 ) = M = N 2 N 2 P M | M M |
In Equations (9)–(13), ρ B ( 0 ) is chosen to be a thermal state with P M = e - E M / T B / Z . Here, Z = M e - E M / T B is the partition function, E M is the eigenenergy of H B corresponding to the eigenstate | M , and T B is the bath temperature. P 0 and P N 2 are the populations of the states | 0 and | N 2 , respectively. The initial states ρ t o t 1 ( 0 ) , ρ t o t 2 ( 0 ) and ρ t o t 3 ( 0 ) have a quantum correlation, classical correlation, and no correlation, respectively. It is noticed that since our focus is on the correlations in the composite system, we set | α | 2 = P 0 and | β | 2 = P N 2 , and thus the three initial states will have the same reduced density matrices for both the system and the bath, i.e., Equations (12) and (13). For simplicity, N is supposed to be an even number.

2.2. Methods

In this section, we will review the CPF definition of quantum non-Markovianity based on a minimal set of three time-ordered successive measurements in [43]. Considering an observation of a classical stochastic system at three successive times t x < t y < t z , with the outcomes of x , y , z , the Bayes rule allows us to write the conditional probability P ( z , x | y ) of past ( x ) and future events ( z ) given the present state ( y ), as
P ( z , x | y ) = P ( z | y , x ) P ( x | y )
where, in general, P ( x | y ) stands for the conditional probability of x given y . For a classical Markovian process, from the fact that past and future events become statistically independent when conditioned on a given intermediate state, we can obtain P ( z , x | y ) = P ( z | y ) P ( x | y ) . This property can be corroborated with the CPF, which is defined as
C p f = O z O x y O z y O x y
where O corresponds to a property or quantity related to each system state. C p f can be expressed in the form of probability distributions as
C p f = z x [ P ( z , x | y ) P ( z | y ) P ( x | y ) ] O z O x
where the sum indexes z and x run over all possible outcomes occurring at times t z and t x , respectively, while y is a fixed particular possible value at time t y . The property of P ( z , x | y ) = P ( z | y ) P ( x | y ) for a Markovian process leads to C p f = 0 , whatever the conditional state y is. In contrast, for non-Markovian process, it is expected that C p f 0 .
The definition of C p f mentioned above can also be extended to a quantum regime, where the sequence x , y , z is altered by the outcomes of three successive quantum measurements performed on the system of interest. The corresponding measurement operators are Ω x , Ω y , Ω z , and satisfy x Ω x Ω x = y Ω y Ω y = z Ω z Ω z = I , where I is the identity matrix in the system Hilbert space and the sum indexes run over all possible outcomes at each stage. It is noticed that given x in the past of y , P ( x | y ) is a retrodicted probability which can be read from a “past quantum state ” formalism. In a quantum regime, the system dynamics are Markovian if, for arbitrary measurement operators, the CPF correlation vanishes, i.e., C p f = 0 . Equivalently, the system dynamics are non-Markovian if there exists at least one set of measurement operators such that the CPF correlation does not vanish, i.e., C p f 0 [50]. Hence, this property of C p f guarantees its application as a measure of non-Markovianity.
With the help of C p f , we investigate the non-Markovianity of a central spin with LMG bath. In this paper, the three measurement operators are chosen as the arbitrary projective ones, and all of them are the same, which can be expressed through the Bloch vectors, as Ω ± = | ψ ± ψ ± | , with | ψ + = cos θ 2 | + e i φ sin θ 2 | and | ψ = sin θ 2 | e i φ cos θ 2 | . Here, θ [ 0 , π ] and φ [ 0 , 2 π ] . Firstly, we perform the first measurement Ω x on the central spin at t x = 0 . After the measurement, the density matrix of the composite system suffers a transformation ρ ( 0 ) ρ x ( 0 ) = Ω x ρ ( 0 ) Ω x t r [ Ω x Ω x ρ ( 0 ) ] , where x = ± 1 is the outcome of the measurement. The probabilities of both outcomes are P ( x = 1 ) = t r [ Ω + Ω + ρ ( 0 ) ] and P ( x = 1 ) = t r [ Ω Ω ρ ( 0 ) ] , respectively. In the next step, during a time interval t = t y t x (after the first measurement and before the second measurement), the composite system evolves unitarily as
ρ x ( 0 ) ρ x ( t ) = U ( t ) ρ x ( 0 ) U ( t )
Next, the second measurement M y with outcomes being y = ± 1 , is performed at time t y . The whole composite system state changes as ρ x ( t ) ρ y x ( t ) = Ω y ρ x ( t ) Ω y t r [ Ω y Ω y ρ x ( t ) ] after the second measurement. Given that the previous outcome was x , the probability of each result is P ( y | x ) = t r [ Ω y Ω y ρ x ( t ) ] . Then, the composite system evolves during a time interval τ = t z t y (after the second measurement and before the last measurement) unitarily once more which can be obtained as
ρ ( y x ) ( t ) ρ ( y x ) ( t + τ ) = U ( τ ) ρ ( y x ) ( t ) U ( τ )
The probability of the last measurement M z is P ( z | y , x ) = t r [ Ω z Ω z ρ ( y x ) ( t + τ ) ] . From P ( x ) , P ( y | x ) and P ( z | y , x ) mentioned above, we can obtain the probabilities P ( x | y ) , P ( z , x | y ) and P ( z | y ) , as
P ( x | y ) = P ( y , x ) / P ( y )
P ( z , x | y ) = P ( z | y , x ) P ( x | y )
P ( z | y ) = x = ± 1 P ( z , x | y )
where P ( y , x ) = P ( y | x ) P ( x ) and P ( y ) = x = ± 1 P ( y , x ) . Then, substituting Equations (19)–(21) into Equation (16), the exact expression for C p f can be obtained. It is noticed that we choose both measurement time-intervals t and τ to be equal in this paper.

3. Effects of Different Factors on C p f

3.1. Effect of Measurement Operators on C p f

As is known, the behavior of C p f depends on the measurement operators and the measurement time intervals, and thus C p f may be equal to or not equal to zero for the same dynamical process. When we perform a measurement on the system at the initial time, the system will collapse into the state corresponding to the measurement operator used. For different measurement operators, the system will collapse into different states, and thus the behavior of C p f will be different. To show this, we plot C p f for two different measurement operators in Figure 1a for the measurement in the z ^ -direction in the Bloch sphere of the qubit Ω z ^ = ± 1 (θ = 0) and Figure 1b for the measurement in the x ^ - direction in the Bloch sphere of the qubit Ω z ^ = ± 1 (θ = π/2), with the intermediate y-outcome being 1. Ω z ^ = ± 1 performing on the system makes the system collapse into the state | with an outcome of 1, and the state | with an outcome of −1. Ω x ^ = ± 1 performing on the system makes the system collapse into the state 1 2 ( | + | ) with an outcome of 1, and the state 1 2 ( | | ) with an outcome of −1. For simplicity, we choose the initial state without any correlation, i.e., Equation (11), for both cases in Figure 1, and other parameters are chosen as N = 300 , λ = 0.98 , λ ' = 0.002 , T B = 0.01 and γ = π 3 . C pf displays the periodic oscillations for both measurement operators, but the oscillatory behaviors in these two cases are obviously different.
The amplitude of C p f for Ω z ^ = ± 1 remains almost unchanged which can be seen in Figure 1a, while Ω x ^ = ± 1 exhibits periodic collapses and revivals in Figure 1b. The amplitude in Figure 1a being almost without decay means that the maximum deviation from Markovianity almost does not decrease for Ω x ^ = ± 1 , while the amplitude in Figure 1b can decay nearly to zero for quite a long time, which indicates that the non-Markovianity of the system could not be detected by the measurement operator Ω x ^ = ± 1 for some measurement time intervals. In general, the time interval where the non-Markovianity of the system could not be detected gradually becomes longer with θ varying from 0 to π / 2 , while it gradually becomes shorter when θ increases from π / 2 to π . When θ reaches π , the behavior of C p f is similar to that of Ω z ^ = ± 1 . The different behaviors of C p f for different measurement operators imply that C p f depends on the specific implementation process, and it may be equal to or not equal to zero for different measurement operators and different measurement time intervals. It is worth noting that though the dynamics of the system are non-Markovian, C p f = 0 implies that the non-Markovianity could not be detected by a particular measurement operator for some measurement time intervals, such as a particular process with respect to a measurement Ω x ^ = ± 1 .

3.2. Effect of the Initial Correlation on C p f

In general, non-Markovianity is influenced by both an information backflow and the initial system–bath correlation. We will show in this subsection how the behavior of C p f is affected by the initial system–bath correlations. Since our focus is on the correlations in the composite system, we choose the same measurement operator for these three different initial states. Different from the part in Section 3.1, when we perform the same measurement on the system at the initial time, due to the different types of initial system–bath correlations, the bath may collapse into different states. Thus, the behavior of C p f will be different. After the first measurement M x , the density matrix ρ t o t x ( 0 ) can be obtained and the system collapses into the same state corresponding to the measurement operator used. In contrast, the bath may collapse into different states due to the different initial system–bath correlations. After the first measurement M x with x = 1 , the ρ B x ( 0 ) for three different initial system–bath correlations are, respectively,
ρ B ( 1 ) x ( 0 ) = 1 P 1 ( x = 1 ) { P 0 [ c o s 2 γ | c | 2 + c o s γ s i n γ ( b * + b ) + s i n 2 γ | a | 2 + | b | 2 ] | 0 0 |
+ P N 2 [ cos 2 γ | c | 2 cos γ sin γ ( b * + b ) + s i n 2 γ | a | 2 + | b | 2 ] | N 2 N 2 |
+ [ M = N / 2 1 P M ( s i n 2 γ | a | 2 + c o s 2 γ | c | 2 ) + M = 1 N / 2 - 1 P M ( s i n 2 γ | a | 2 + c o s 2 γ | c | 2 ) ] | M M | }
ρ B ( 2 ) x ( 0 ) = 1 P 2 ( x = 1 ) { P 0 [ c o s 2 γ | c | 2 + c o s γ s i n γ ( b * + b ) + s i n 2 γ | a | 2 + | b | 2 ] | 0 0 |
+ P N 2 [ c o s 2 γ | c | 2 c o s γ s i n γ ( b * + b ) + sin 2 γ | a | 2 + | b | 2 ] | N 2 N 2 |
+ [ M = N / 2 1 P M ( s i n 2 γ | a | 2 + c o s 2 γ | c | 2 ) + M = 1 N / 2 - 1 P M ( s i n 2 γ | a | 2 + c o s 2 γ | c | 2 ) ] | M M | }
ρ B ( 3 ) x ( 0 ) = M = N / 2 N / 2 P M | M M |
with
P 1 ( x = 1 ) = P 0 [ c o s 2 γ | c | 2 + c o s γ s i n γ ( b * + b ) + s i n 2 γ | a | 2 + | b | 2 ]
+ P N 2 [ cos 2 γ | c | 2 cos γ sin γ ( b * + b ) + s i n 2 γ | a | 2 + | b | 2 ]
+ [ M = N / 2 1 P M ( s i n 2 γ | a | 2 + c o s 2 γ | c | 2 ) + M = 1 N / 2 - 1 P M ( s i n 2 γ | a | 2 + c o s 2 γ | c | 2 ) ]
P 2 ( x = 1 ) 2 = P 0 [ c o s 2 γ | c | 2 + c o s γ s i n γ ( b * + b ) + s i n 2 γ | a | 2 + | b | 2 ]
+ P N 2 [ c o s 2 γ | c | 2 c o s γ s i n γ ( b * + b ) + sin 2 γ | a | 2 + | b | 2 ]
+ [ M = N / 2 1 P M ( s i n 2 γ | a | 2 + c o s 2 γ | c | 2 ) + M = 1 N / 2 - 1 P M ( s i n 2 γ | a | 2 + c o s 2 γ | c | 2 ) ]
ρ B ( 1 ) x ( 0 ) , ρ B ( 2 ) x ( 0 ) and ρ B ( 3 ) x ( 0 ) are the density matrices of the bath after the first measurement for three different initial states with a quantum correlation, classical correlation, and no correlation, respectively. It is noticed that ρ B ( 3 ) x ( 0 ) is obviously the same as the initial bath state. P 1 ( x = 1 ) and P 2 ( x = 1 ) are the probabilities for outcome x = 1 when we choose the initial states with quantum correlations and classical correlations, respectively. In Equations (22)–(26), a = cos 2 θ 2 , b = e i φ cos θ 2 sin θ 2 and c = sin 2 θ 2 . When we take Ω z ^ = ± 1 as the measurement operator, the bath collapses into the same state for all these three correlations, and thus the behaviors of C p f for ρ t o t ( 1 ) ( 0 ) and ρ t o t ( 2 ) ( 0 ) will be the same for ρ t o t ( 3 ) ( 0 ) . In contrast, for Ω x ^ = ± 1 , we find that ρ B ( 1 ) x ( 0 ) and ρ B ( 2 ) x ( 0 ) are the same, while ρ B ( 3 ) x ( 0 ) is different. Thus, the behaviors of C p f are the same for ρ t o t ( 1 ) ( 0 ) and ρ t o t ( 2 ) ( 0 ) , and Figure 2 plots C p f for ρ t o t ( 2 ) ( 0 ) only.
The parameters in Figure 2 are the same as those in Figure 1. The same behavior of C p f for ρ t o t ( 1 ) ( 0 ) and ρ t o t ( 2 ) ( 0 ) means that the maximum deviation from Markovianity in these two cases is the same. While the behaviors of C p f for ρ t o t ( 1 ) ( 0 ) and ρ t o t ( 2 ) ( 0 ) are slightly different from that for ρ t o t ( 3 ) ( 0 ) . The maximal amplitude of C p f in Figure 2 is smaller than that in Figure 1b, which means that the maximum deviation from Markovianity for ρ t o t ( 1 ) ( 0 ) and ρ t o t ( 2 ) ( 0 ) (see Figure 2) is smaller than that for ρ t o t ( 3 ) ( 0 ) (see Figure 1b). Though the amplitudes of C p f are different, the time interval for C p f = 0 in Figure 2 is almost the same as that in Figure 1b, which indicates that the time interval where the non-Markovianity of the system could not be detected in these particular processes, with respect to a measurement Ω x ^ = ± 1 , for some measurement time intervals under three different initial correlations was similar. Overall, the behaviors of C p f are similar for these three types of initial states for an arbitrary measurement operator. This phenomenon can be understood as follows: the reasons behind a non-Markovian process, revealed in [54], consist of two different contributions. One is the presence and evolution of initial system–bath correlation and the other is the effect of the bath state. Moreover, it has been found that the limit t 0 , C p f allows for the detection of initial correlations [50] in the same way the initial system–bath correlations can also be detected for our model. However, C p f contains three measurements, and the initial system–bath correlations werebroken at the first measurement, and thus the influence of the initial system–bath correlations on a non-Markovian process disappeared for this specific process. It implies that the correlations themselves could not affect the non-Markovianity for a specific measurement operator. However, the evolution of the bath state still relies on the initial system–bath correlation, and thus the initial system–bath correlations can have some influence on the evolution of the system state through the bath state indirectly. On the other hand, different collapsing bath states after measurements can lead to different values of C p f . So, the initial states with different types of correlations can have some influence on C p f in our model. If the collapsing bath states are quite different, the influence of different types of correlations will be remarkable.

3.3. Effect of λ ' on C p f

In the following, we will discuss the effects of λ ' on C p f for Ω x ^ = ± 1 and Ω z ^ = ± 1 , respectively. Figure 3 plots C p f for the initial state with no correlation and different λ ' with Ω x ^ = ± 1 .
The value of λ ' was chosen to be λ ' = 0.001 for Figure 3a, λ ' = 0.005 for Figure 3b, and λ ' = 0.01 for Figure 3c, respectively, and the other parameters are the same as those in Figure 1. As shown in Figure 3, the maximal amplitude of C p f for Ω x ^ = ± 1 increased with the increase in λ ' . It indicates that with the increase in λ ' , the maximum deviation from Markovianity gets larger. Moreover, the time interval where the non-Markovianity of the system could not be detected, with respect to measurement Ω x ^ = ± 1 , for some measurement time intervals is extremely sensitive to λ ' . With the increase in λ ' , this time interval became shorter and even vanished. Figure 3 demonstrates that the coupling strength λ ' between the system and the bath had a remarkable influence on the time interval where the non-Markovianity of the system could not be detected with respect to a measurement Ω x ^ = ± 1 for some measurement time intervals. Only when λ ' is small enough does the time interval where the non-Markovianity of the system could not be detected become quite long. Figure 4 plots C p f for Ω z ^ = ± 1 , and the value of λ ' as well as the other parameters shown in Figure 3, specifically, a for λ ' = 0.001 , b for λ ' = 0.005 , and c for λ ' = 0.01 .
From Figure 4, it can be seen that with the increase in λ ' , the maximal amplitude of C p f increases. This indicates that, with the increase in λ ' , the maximum deviation from Markovianity also gets larger for Ω z ^ = ± 1 , which is similar to that of Ω x ^ = ± 1 . It is noted that in the limit λ ' 0 , the system dynamics become unitary and then C p f vanishes. It was expected that by increasing λ ' , the maximal amplitude of C p f would increase, and thus the maximum deviation from the Markovianity would also increase. However, λ ' for Ω z ^ = ± 1 has a greater impact on the maximal magnitude of C p f than it does for Ω x ^ = ± 1 . The maximal value of C p f for Ω z ^ = ± 1 is in different orders of magnitude, while for Ω x ^ = ± 1 it is in the same order of magnitude when λ ' changes, which can be seen from Figure 3 and Figure 4. The maximal value of C p f changes more dramatically with different λ ' for Ω z ^ = ± 1 than for Ω x ^ = ± 1 .

3.4. Effects of the Bath on C p f

In this subsection, we will consider the influence of the coupling strength between the spins in the bath λ and the bath temperature T B on the behavior of C p f with two different measurement operators, Ω x ^ = ± 1 and Ω z ^ = ± 1 , respectively, in the following.
First of all, in order to display the effect of λ near the QPT point of the dynamics of the system, we plotted C p f for two different measurement operators, Ω x ^ = ± 1 and Ω z ^ = ± 1 , in two different phases. We chose the initial system state as ρ s ( 0 ) = | | for Ω x ^ = ± 1 and ρ s ( 0 ) = | + + | , with | + = 1 2 ( | + | ) for Ω z ^ = ± 1 , respectively. The initial bath state was chosen to be the ground state. We plotted C p f for Ω x ^ = ± 1 and different λ in Figure 5, with λ = 0.97 for Figure 5a, λ = 0.98 for Figure 5b, λ = 0.99 for Figure 5c, λ = 1.01 for Figure 5d, λ = 1.02 for Figure 5e, and λ = 1.03 for Figure 5f.
The other parameters were chosen as N = 500 , λ ' = 0.002 . It was found that the behaviors of C p f were quite different in these two phases, and a notable discontinuity of sudden transitions for C p f occurred at the QPT point ( λ = 1 ). In the symmetric broken phase, we observed the phenomenon of beats as shown in Figure 5a–c. From Figure 5a–c, it can be seen that with the increase in λ , the maximal amplitude of C p f decreases. However, compared with Figure 5a–c, in the symmetric phase, Figure 5d–f demonstrates the periodic collapses and revivals, and that the amplitude of C p f can decay nearly to zero for quite a long time, which indicates that the non-Markovianity of the system could not be detected by this measurement operator Ω x ^ = ± 1 for some measurement time intervals. This phenomenon is similar to that for Ω x ^ = ± 1 with the initial state ρ t o t 3 ( 0 ) (see Figure 1b). When λ increases, the maximal amplitude of C p f increases. The critical behavior of C p f shows that with the increase in λ , the maximum magnitude of C p f decreased when λ < 1 , while the opposite situation will happen when λ > 1 . It implies that the maximum magnitude of C p f at λ = 1 is the smallest. Then, we plotted C p f for Ω z ^ = ± 1 and different λ in Figure 6, with a, b, and c in the symmetric broken phase, and d, e, and f in the symmetric phase.
The value of λ was chosen to be the same as those in Figure 5. The behaviors of C p f in Figure 6 are also obviously different in these two phases, and show some notable critical characteristics near the QPT point, which is similar to that for Ω x ^ = ± 1 in Figure 5. C p f presents the oscillatory dynamics with equal amplitude in the symmetric broken phase as shown in Figure 6a–c, while, C p f in the symmetric phase, as shown in Figure 6d–f, is quite different from those in the symmetric broken phase. On the other hand, from Figure 6a–c, it can be seen that with the increase in λ , the maximal amplitude of C p f decreases, while, it increases (as shown in Figure 6d–f). Overall, near the QPT point, the behaviors of C p f shows similar critical characteristics for Ω x ^ = ± 1 and Ω z ^ = ± 1 , and thus the critical behaviors of non-Markovianity are also similar. For other arbitrary measurement operators, with the varying of θ from 0 to π , the critical property of C p f is also the same as above. Therefore, there is an obvious abrupt transition for C p f which is independent of the measurement operator. Thus, this quantum criticality can be manifested by C p f . Then, in order to show the effect of bath temperature T B on the dynamics of the system for two different measurement operators, Ω x ^ = ± 1 and Ω z ^ = ± 1 , we choose the thermal state as the initial bath state for both cases, which is given in Equation (13). The initial system states were chosen to be the same as those for Ω x ^ = ± 1 in Figure 5 and Ω z ^ = ± 1 in Figure 6, respectively. We plot C p f for Ω x ^ = ± 1 and Ω z ^ = ± 1 near the QPT point for T B = 0.001 in Figure 7 and Figure 8, respectively, with a, b, and c in the symmetric broken phase, and d, e, and f in the symmetric phase.
The value of λ and the other parameters were chosen to be the same as those in Figure 5. From Figure 7, we can see that although the behaviors of C p f on both sides of the QPT point in the LMG bath are still different, the critical characteristic of the maximal amplitude of C p f is broken. The maximal value of C p f at the QPT point is not the minimum. It means that the influence of the bath temperature is remarkable. Although the bath slightly deviates from zero temperature, the critical behavior of C p f for Ω x ^ = ± 1 will be broken. Comparing to the case of Ω x ^ = ± 1 , the behaviors of C p f for Ω z ^ = ± 1 in Figure 8 were also obviously different in the two different phases, and there was still a notable discontinuity of sudden transition for C p f at the QPT point ( λ = 1 ). The maximal value of C p f at the QPT point is still the minimum, which means that the critical characteristics of C p f shows the same result as that when T B = 0 in Figure 6. Moreover, it is found that this critical behavior of C p f for Ω z ^ = ± 1 can be preserved even when T B = 0.01 , which is quite different from that for Ω x ^ = ± 1 (see Figure 7). Above all, we can conclude that the effects of bath temperature T B on C p f are quite different for different measurement operators. The critical characteristics of C p f for Ω x ^ = ± 1 are more sensitive to bath temperature and can be destroyed even at very low temperatures.

4. Conclusions

In this paper, we have studied the quantum non-Markovian dynamics of a central spin interacting with an isotropic Lipkin–Meshkov–Glick (LMG) bath through a conditional past–future (CPF) correlation. It has been found that the influence of different measurement operators on the CPF is remarkable. In particular, obvious collapses and revivals for the CPF appear when Ω x ^ = ± 1 is performed on the system, and thus the non-Markovianity of the system could not be detected for some measurement time intervals in this particular process with respect to a measurement in the x ^ -direction in the Bloch sphere. Then, three types of initial states with different correlations between the system and the bath have been considered, i.e., a quantum correlation, classical correlation and no-correlation. However, the dynamics of the system for these three types of initial correlations are similar. It implies that the correlations themselves can have only a little influence on the CPF in our model. Although the correlations themselves could not affect the non-Markovianity, the evolution of the bath state still relies on the initial system–bath correlation, and thus the initial system–bath correlations can have some influence on the evolution of the system state through the bath state indirectly. Different collapsing bath states after measurements can lead to a different CPF. If the collapsing bath states are quite different, the influence of different types of correlations will be remarkable. Significantly, we have studied the effect of the bath on the CPF and a notable discontinuity of sudden transitions for the CPF occurs at the QPT point. In the symmetric broken phase, the maximal value of the CPF increases with the increase in λ , and in the symmetric phase, it decreases with the increase in λ . At the QPT point, the maximal value of the CPF is the minimum. The CPF shows critical characteristics near the QPT point in the LMG bath, which is independent of the measurement operator, and thus, this quantum criticality can be manifested by the CPF. Moreover, the effect of bath temperature on the critical characteristics of the CPF depends on measurement operator. The critical characteristic of the CPF is more sensitive to the bath temperature for Ω x ^ = ± 1 than that for Ω z ^ = ± 1 . For Ω x ^ = ± 1 , although the bath slightly deviates from zero temperature, the critical behavior of the CPF will be broken, while for Ω z ^ = ± 1 it can be maintained to a higher temperature before being destroyed.
Different from other definitions of quantum non-Markovianity, the CPF correlation provides us an operational correlation based on a minimal set of three time-ordered successive measurements performed solely on the quantum system. For the CPF correlation, the change of the bath state after a measurement generally could not be ignored, which makes it difficult to cope with. In this paper we have considered a LMG bath, and found that the CPF can witness quantum phase transitions. We expect that it can also manifest a quantum phase transition for other spin chain baths.

Author Contributions

Conceptualization, L.H. and J.Z.; Methodology, L.H.; Validation, L.H. and J.Z.; Formal Analysis, L.H., J.Z. and H.L.; Investigation, J.Z. and B.S.; Writing Original Draft Preparation, L.H.; Writing Review and Editing, J.Z.; Supervision, J.Z. and B.S. All authors have read and agreed to the published version of the manuscript.

Funding

This work is financially supported by the National Natural Science Foundation of China (Grant Nos. 11775019 and 11875086).

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Zurek, W.H. Decoherence, einselection, and the quantum origins of the classical. Rev. Mod. Phys. 2003, 75, 715. [Google Scholar] [CrossRef] [Green Version]
  2. Breuer, H.P.; Petruccione, F. The Theory of Open Quantum Systems; Oxford University Press: New York, NY, USA, 2002. [Google Scholar]
  3. Davies, E.B. Quantum Theory of Open Systems; Academic Press: New York, NY, USA, 1976. [Google Scholar]
  4. Rivas, Á.; Huelga, S.F. Open Quantum Systems. An Introduction; Springer: Heidelberg, Germany, 2011. [Google Scholar]
  5. Weiss, U. Quantum Dissipative Systems; World Scientific: Singapore, 2000. [Google Scholar]
  6. Lindblad, G. On the generators of quantum dynamical semigroups. Commun. Math. Phys. 1976, 48, 119. [Google Scholar] [CrossRef]
  7. Rivas, Á.S.; Huelga, F.; Plenio, M.B. Quantum non-Markovianity: Characterization, quantification and detection. Rep. Prog. Phys. 2014, 77, 094001. [Google Scholar] [CrossRef] [PubMed]
  8. Breuer, H.P.; Laine, E.M.; Piilo, J.; Vacchini, B. Colloquium: Non-Markovian dynamics in open quantum systems. Rev. Mod. Phys. 2016, 88, 021002. [Google Scholar] [CrossRef] [Green Version]
  9. Kubota, Y.; Nobusada, K. Applicability of site-basis time-evolution equation for thermalization of exciton states in a quantum dot array. J. Phys. Soc. Jpn. 2009, 78, 114603. [Google Scholar] [CrossRef]
  10. Gardiner, C.W.; Zoller, P. Quantum Noise; Springer: Berlin, Germany, 2004. [Google Scholar]
  11. Scally, M.O.; Zubairy, M.S. Quantum Optics; Cambridge University Press: Cambridge, UK, 1997. [Google Scholar]
  12. Kane, B.E. A silicon-based nuclear spin quantum computer. Nature 1998, 393, 133–137. [Google Scholar] [CrossRef]
  13. Chin, A.W.; Datta, A.; Caruso, F.; Huelga, S.F.; Plenio, M.B. Noise-assisted energy transfer in quantum networks and light-harvesting complexes. New J. Phys. 2010, 12, 065002. [Google Scholar] [CrossRef]
  14. Shao, J. Decoupling quantum dissipation interaction via stochastic fields. J. Chem. Phys. 2004, 120, 5053. [Google Scholar] [CrossRef]
  15. Feller, W. An Introduction to Probability Theory and Its Applications; John Wiley: New York, NY, USA, 1966. [Google Scholar]
  16. Rivas, Á.; Huelga, S.F.; Plenio, M.B. Entanglement and Non-Markovianity of Quantum Evolutions. Phys. Rev. Lett. 2010, 105, 050403. [Google Scholar] [CrossRef] [Green Version]
  17. Hou, S.C.; Yi, X.X.; Yu, S.X.; Oh, C.H. Alternative non-Markovianity measure by divisibility of dynamical maps. Phys. Rev. A 2011, 83, 062115. [Google Scholar] [CrossRef] [Green Version]
  18. He, Z.; Zeng, H.S.; Li, Y.; Wang, Q.; Yao, C. Non-Markovianity measure based on the relative entropy of coherence in an extended space. Phys. Rev. A 2017, 96, 022106. [Google Scholar] [CrossRef]
  19. Chruściński, D.; Rivas, Á.; Stormer, E. Divisibility and Information Flow Notions of Quantum Markovianity for Noninvertible Dynamical Maps. Phys. Rev. Lett. 2018, 121, 080407. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  20. Chen, H.-B.; Lien, J.-Y.; Chen, G.-Y.; Chen, Y.-N. Hierarchy of non-Markovianity and k-divisibility phase diagram of quantum processes in open systems. Phys. Rev. A 2015, 92, 042105. [Google Scholar] [CrossRef] [Green Version]
  21. Chruściński, D.; Maniscalco, S. Degree of Non-Markovianity of Quantum Evolution. Phys. Rev. Lett. 2014, 112, 120404. [Google Scholar] [CrossRef] [Green Version]
  22. Breuer, H.P.; Laine, E.M.; Piilo, J. Measure for the Degree of Non-Markovian Behavior of Quantum Processes in Open Systems. Phys. Rev. Lett. 2009, 103, 210401. [Google Scholar] [CrossRef] [Green Version]
  23. Lu, X.M.; Wang, X.G.; Sun, C.P. Quantum Fisher information flow and non-Markovian processes of open systems. Phys. Rev. A 2010, 82, 042103. [Google Scholar] [CrossRef] [Green Version]
  24. Song, H.; Luo, S.; Hong, Y. Quantum non-Markovianity based on the Fisher-information matrix. Phys. Rev. A 2015, 91, 042110. [Google Scholar] [CrossRef]
  25. Rajagopal, A.K.; Devi, A.R.U.; Rendell, R.W. Kraus representation of quantum evolution and fidelity as manifestations of Markovian and non-Markovian forms. Phys. Rev. A 2010, 82, 042107. [Google Scholar] [CrossRef] [Green Version]
  26. Luo, S.; Fu, S.; Song, H. Quantifying non-Markovianity via correlations. Phys. Rev. A 2012, 86, 044101. [Google Scholar] [CrossRef]
  27. Jiang, M.; Luo, S. Comparing quantum Markovianities: Distinguishability versus correlations. Phys. Rev. A 2013, 88, 034101. [Google Scholar] [CrossRef]
  28. Bylicka, B.; Chruściński, D.; Maniscalco, S. Non-Markovianity and reservoir memory of quantum channels: A quantum information theory perspective. Sci. Rep. 2014, 4, 5720. [Google Scholar] [CrossRef] [PubMed]
  29. Lorenzo, S.; Plastina, F.; Paternostro, M. Geometrical characterization of non-Markovianity. Phys. Rev. A 2013, 88, 020102(R). [Google Scholar] [CrossRef]
  30. Bae, J.; Chruściński, D. Operational Characterization of Divisibility of Dynamical Maps. Phys. Rev. Lett. 2016, 117, 050403. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  31. Ali, M.M.; Lo, P.Y.; Tu, M.W.Y.; Zhang, W.M. Non-Markovianity measure using two-time correlation functions. Phys. Rev. A 2015, 92, 062306. [Google Scholar] [CrossRef] [Green Version]
  32. Chruściński, D.; Kossakowski, A.; Rivas, Á. Measures of non-Markovianity: Divisibility versus backflow of information. Phys. Rev. A 2011, 83, 052128. [Google Scholar] [CrossRef] [Green Version]
  33. Bylicka, B.; Johansson, M.; Acín, A. Constructive Method for Detecting the Information Backflow of Non-Markovian Dynamics. Phys. Rev. Lett. 2017, 118, 120501. [Google Scholar] [CrossRef]
  34. Megier, N.; Chruściński, D.; Piilo, J.; Strunz, W.T. Supplementary information: Eternal non-Markovianity: From random unitary Markov chai realisations. Sci. Rep. 2017, 7, 6379. [Google Scholar] [CrossRef]
  35. Budini, A.A. Maximally non-Markovian quantum dynamics without environment-to-system backflow of information. Phys. Rev. A 2018, 97, 052133. [Google Scholar] [CrossRef] [Green Version]
  36. Xu, Z.Y.; Yang, W.L.; Feng, M. Proposed method for direct measurement of the non-Markovian character of the qubits coupled to bosonic reservoirs. Phys. Rev. A 2010, 81, 044105. [Google Scholar] [CrossRef] [Green Version]
  37. He, Z.; Zou, J.; Li, L.; Shao, B. Effective method of calculating the non-Markovianity N for single-channel open systems. Phys. Rev. A 2011, 83, 012108. [Google Scholar] [CrossRef] [Green Version]
  38. Li, G.J.; Zou, J.; Shao, B. Non-Markovianity of the damped Jaynes-Cummings model with detuning. Phys. Rev. A 2010, 81, 062124. [Google Scholar] [CrossRef]
  39. Xiang, J.D.; Qin, L.G.; Tian, L.J. Non-Markovianity of the Heisenberg XY spin environment with Dzyaloshinskii–Moriya interaction. Chin. Phys. B 2014, 23, 110305. [Google Scholar] [CrossRef]
  40. Tian, L.J.; Ti, M.M.; Zhai, X.D. Non-Markovianity of a qubit coupled with an isotropic Lipkin–Meshkov–Glick bath. Chin. Phys. B 2015, 24, 100305. [Google Scholar] [CrossRef]
  41. Pollock, F.A.; Rodríguez-Rosario, C.; Frauenheim, T.; Paternostro, M.; Modi, K. Operational Markov Condition for Quantum Processes. Phys. Rev. Lett. 2018, 120, 040405. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  42. Pollock, F.A.; Rodríguez-Rosario, C.; Frauenheim, T.; Paternostro, M.; Modi, K. Non-Markovian quantum processes: Complete framework and efficient characterization. Phys. Rev. A 2018, 97, 012127. [Google Scholar] [CrossRef] [Green Version]
  43. Budini, A.A. Conditional past-future correlation induced by non-Markovian dephasing reservoirs. Phys. Rev. A 2019, 99, 052125. [Google Scholar] [CrossRef] [Green Version]
  44. Budini, A.A. Quantum Non-Markovian Processes Break Conditional Past-Future Independence. Phys. Rev. Lett. 2018, 121, 240401. [Google Scholar] [CrossRef] [Green Version]
  45. Vega, I.D.; Alonso, D. Dynamics of non-Markovian open quantum systems. Rev. Mod. Phys. 2017, 89, 015001. [Google Scholar] [CrossRef] [Green Version]
  46. Kampen, N.G.V. Stochastic Processes in Physics and Chemistry; North-Holland Publishing Company: Amsterdam, The Netherlands, 1981. [Google Scholar]
  47. Cover, T.M.; Thomas, J.A. Elements of Information Theory; Wiley & Sons: Hoboken, NJ, USA, 1991. [Google Scholar]
  48. Tan, D.; Weber, S.J.; Siddiqi, I.; Mølmer, K.; Murch, K.W. Prediction and Retrodiction for a Continuously Monitored Superconducting Qubit. Phys. Rev. Lett. 2015, 114, 090403. [Google Scholar] [CrossRef]
  49. Gammelmark, S.; Julsgaard, B.; Mølmer, K. Past Quantum States of a Monitored System. Phys. Rev. Lett. 2013, 111, 160401. [Google Scholar] [CrossRef] [Green Version]
  50. Yu, S.; Budini, A.A.; Wang, Y.T.; Ke, Z.J.; Meng, Y.; Liu, W.; Li, Z.P.; Li, Q.; Liu, Z.H.; Xu, J.S.; et al. Experimental observation of conditional past-future correlations. Phys. Rev. A 2019, 100, 050301(R). [Google Scholar] [CrossRef]
  51. Silva, T.L.; Walborn, S.P.; Santon, M.F.; Aguilar, G.H.; Budini, A.A. Detection of quantum non-Markovianity close to the Born-Markov approximation. Phys. Rev. A 2020, 101, 042120. [Google Scholar] [CrossRef]
  52. Guarnieri, G.; Smirne, A.; Vacchini, B. Quantum regression theorem and non-Markovianity of quantum dynamics. Phys. Rev. A 2014, 90, 022110. [Google Scholar] [CrossRef] [Green Version]
  53. Apollaro, T.J.G.; Franco, C.D.; Plastina, F.; Paternostro, M. Memory-keeping effects and forgetfulness in the dynamics of a qubit coupled to a spin chain. Phys. Rev. A 2011, 83, 032103. [Google Scholar] [CrossRef] [Green Version]
  54. Lorenzo, S.; Plastina, F.; Paternostro, M. Tuning non-Markovianity by spin-dynamics control. Phys. Rev. A 2013, 87, 022317. [Google Scholar] [CrossRef] [Green Version]
  55. Haikka, P.; Goold, J.; McEndoo, S.; Plastina, F.; Maniscalco, S. Non-Markovianity, Loschmidt echo, and criticality: A unified picture. Phys. Rev. A 2012, 85, 060101. [Google Scholar] [CrossRef] [Green Version]
  56. Mazzola, L.; Rodríguez-Rosario, C.A.; Modi, K.; Paternostro, M. Dynamical role of system-environment correlations in non-Markovian dynamics. Phys. Rev. A 2012, 86, 010102. [Google Scholar] [CrossRef] [Green Version]
  57. Lipkin, H.J.; Meshkov, N.; Glick, A.J. Validity of many-body approximation methods for a solvable model: (I) Exact solutions and perturbation theory. Nucl. Phys. 1965, 62, 188. [Google Scholar] [CrossRef]
  58. Vidal, J.; Palacios, G.; Mosseri, R. Entanglement in a second-order quantum phase transition. Phys. Rev. A 2004, 69, 022107. [Google Scholar] [CrossRef] [Green Version]
  59. Dusuel, S.; Vidal, J. Finite-Size Scaling Exponents of the Lipkin-Meshkov-Glick Model. Phys. Rev. Lett. 2004, 93, 237204. [Google Scholar] [CrossRef] [Green Version]
  60. Dusuel, S.; Vidal, J. Continuous unitary transformations and finite-size scaling exponents in the Lipkin-Meshkov-Glick model. Phys. Rev. B 2005, 71, 224420. [Google Scholar] [CrossRef] [Green Version]
Figure 1. For two different measurement operators, (a) for Ω z ^ = ± 1 and (b) for Ω x ^ = ± 1 . In both cases, the initial states are chosen to be the same as ρ tot 3 (0) and the parameters are N = 300, γ = 0.98, γ ' = 0.002, TB = 0.01, =/3, γ = π 3 .
Figure 1. For two different measurement operators, (a) for Ω z ^ = ± 1 and (b) for Ω x ^ = ± 1 . In both cases, the initial states are chosen to be the same as ρ tot 3 (0) and the parameters are N = 300, γ = 0.98, γ ' = 0.002, TB = 0.01, =/3, γ = π 3 .
Entropy 22 00895 g001
Figure 2. For ρ t o t 2 ( 0 ) with Ω x ^ = ± 1 . The parameters are the same as those in Figure 1.
Figure 2. For ρ t o t 2 ( 0 ) with Ω x ^ = ± 1 . The parameters are the same as those in Figure 1.
Entropy 22 00895 g002
Figure 3. For Ω x ^ = ± 1 and different λ ' ; (a) λ ' = 0.001 ; (b) λ ' = 0.005 and (c) λ ' = 0.01 . The initial state is ρ t o t 3 ( 0 ) and the other parameters are the same as those in Figure 1.
Figure 3. For Ω x ^ = ± 1 and different λ ' ; (a) λ ' = 0.001 ; (b) λ ' = 0.005 and (c) λ ' = 0.01 . The initial state is ρ t o t 3 ( 0 ) and the other parameters are the same as those in Figure 1.
Entropy 22 00895 g003
Figure 4. For Ω z ^ = ± 1 and different λ ' ; (a) λ ' = 0.001 ; (b) λ ' = 0.005 and (c) λ ' = 0.01 . The initial state is ρ t o t 3 ( 0 ) and the other parameters are the same as those in Figure 1.
Figure 4. For Ω z ^ = ± 1 and different λ ' ; (a) λ ' = 0.001 ; (b) λ ' = 0.005 and (c) λ ' = 0.01 . The initial state is ρ t o t 3 ( 0 ) and the other parameters are the same as those in Figure 1.
Entropy 22 00895 g004
Figure 5. For Ω x ^ = ± 1 and different λ near the quantum phase transition (QPT) point in the case of N = 500 , λ ' = 0.002 ; (a) λ = 0.97 ; (b) λ = 0.98 ; (c) λ = 0.99 ; (d) λ = 1.01 ; (e) λ = 1.02 ; (f) λ = 1.03 .
Figure 5. For Ω x ^ = ± 1 and different λ near the quantum phase transition (QPT) point in the case of N = 500 , λ ' = 0.002 ; (a) λ = 0.97 ; (b) λ = 0.98 ; (c) λ = 0.99 ; (d) λ = 1.01 ; (e) λ = 1.02 ; (f) λ = 1.03 .
Entropy 22 00895 g005
Figure 6. For Ω z ^ = ± 1 and different λ near the QPT point in the case of N = 500 ; λ ' = 0.002 ; (a) λ = 0.97 ; (b) λ = 0.98 ; (c) λ = 0.99 ; (d) λ = 1.01 ; (e) λ = 1.02 ; (f) λ = 1.03 .
Figure 6. For Ω z ^ = ± 1 and different λ near the QPT point in the case of N = 500 ; λ ' = 0.002 ; (a) λ = 0.97 ; (b) λ = 0.98 ; (c) λ = 0.99 ; (d) λ = 1.01 ; (e) λ = 1.02 ; (f) λ = 1.03 .
Entropy 22 00895 g006
Figure 7. For Ω x ^ = ± 1 and different λ near the QPT point in the case of T B = 0.001 ; (a) λ = 0.97 ; (b) λ = 0.98 ; (c) λ = 0.99 ; (d) λ = 1.01 ; (e) λ = 1.02 ; (f) λ = 1.03 . The other parameters are the same as those in Figure 5.
Figure 7. For Ω x ^ = ± 1 and different λ near the QPT point in the case of T B = 0.001 ; (a) λ = 0.97 ; (b) λ = 0.98 ; (c) λ = 0.99 ; (d) λ = 1.01 ; (e) λ = 1.02 ; (f) λ = 1.03 . The other parameters are the same as those in Figure 5.
Entropy 22 00895 g007
Figure 8. For Ω z ^ = ± 1 and different λ near the QPT point in the case of T B = 0.001 ; (a) λ = 0.97 ; (b) λ = 0.98 ; (c) λ = 0.99 ; (d) λ = 1.01 ; (e) λ = 1.02 ; (f) λ = 1.03 . The other parameters are the same as those in Figure 5.
Figure 8. For Ω z ^ = ± 1 and different λ near the QPT point in the case of T B = 0.001 ; (a) λ = 0.97 ; (b) λ = 0.98 ; (c) λ = 0.99 ; (d) λ = 1.01 ; (e) λ = 1.02 ; (f) λ = 1.03 . The other parameters are the same as those in Figure 5.
Entropy 22 00895 g008

Share and Cite

MDPI and ACS Style

Han, L.; Zou, J.; Li, H.; Shao, B. Non-Markovianity of a Central Spin Interacting with a Lipkin–Meshkov–Glick Bath via a Conditional Past–Future Correlation. Entropy 2020, 22, 895. https://doi.org/10.3390/e22080895

AMA Style

Han L, Zou J, Li H, Shao B. Non-Markovianity of a Central Spin Interacting with a Lipkin–Meshkov–Glick Bath via a Conditional Past–Future Correlation. Entropy. 2020; 22(8):895. https://doi.org/10.3390/e22080895

Chicago/Turabian Style

Han, Liping, Jian Zou, Hai Li, and Bin Shao. 2020. "Non-Markovianity of a Central Spin Interacting with a Lipkin–Meshkov–Glick Bath via a Conditional Past–Future Correlation" Entropy 22, no. 8: 895. https://doi.org/10.3390/e22080895

APA Style

Han, L., Zou, J., Li, H., & Shao, B. (2020). Non-Markovianity of a Central Spin Interacting with a Lipkin–Meshkov–Glick Bath via a Conditional Past–Future Correlation. Entropy, 22(8), 895. https://doi.org/10.3390/e22080895

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

Article Metrics

Back to TopTop