# Leggett–Garg inequalities for a quantum top affected by classical noise

## Abstract

The violation of the Leggett–Garg inequality is studied for a quantum top (with angular momentum \(J_z\) of integer or half-integer size), being driven by classical Gaussian white noise. The form of a longitudinal \((J_z)\) or a transverse \((J_x)\) coupling of noise to the angular momentum affects both (i) to what extent the Leggett–Garg inequality is violated and (ii) how this violation is influenced by the size *j* of the spinning top and direction of a coupling (transverse or longitudinal). We introduce *j*-independent method, using two- dimensional invariant subspace of the system Hilbert space, which allows us to find out strict analytical solution for a noise-free system and with longitudinal coupling and to extract from the whole dynamics effects purely induced by a noise. It is demonstrated that in the semi-classical limit of a large angular momentum *j* and for the transverse coupling, the Leggett–Garg inequalities become more strongly violated as compared to the deep quantum regime of small *j*.

## Keywords

Leggett–Garg inequalities Temporal quantum correlations Quantum open systems Dissipative dynamics Classical noise## 1 Introduction

There are various properties of quantum systems which are worth to be designed and controlled. Quantum entanglement [18] (and other types of *spatial* correlations [29]), a useful resource for quantum information, is among these properties of time-evolving quantum systems which attract considerable attention. Presence of entanglement can be detected [15] by the violation of various forms of Bell inequalities [5]. Recent studies on quantum correlations *in time* show that such correlations are no less interesting as these in space [12]. Non-classical time correlations between outcomes of measurements realized at different time instants are indicated by the violation of the Leggett–Garg inequalities (LGIs) [21]. The Leggett–Garg and the Bell scenarios can formally be unified [26]; however, interpretation of what is actually tested by LGIs seems to be still unclear [27]. In Ref. [12], there is an up-to-date review of both basic theoretical and experimental achievements related to the LGI.

*Q*(

*t*) in the Heisenberg picture with corresponding measurement values \(q(t)=\pm 1\) at three successive time instants \(t_1< t_2 < t_3\). Due to the existence of superposition states, quantum mechanics should violate the above inequality. Experimental testing of LGIs and search for their possible violation are subtle problems due to required non-invasiveness of measurement of the quantity

*Q*[12] and ‘macroscopicity’ of quantum states. The LGIs are interesting by their own also in microscopic systems [6] so the second requirement is often abandoned. There are also certain conceptual difficulties related to the problem of the ‘clumsiness loophole’ [12]. In order to avoid confusion, we simply claim that the violation of the LGI in (1) is a hallmark of the violation of the

*Leggett–Garg realism*in the considered system. In such a way, we attempt to encapsulate all the fundamental problems related to a proper interpretation of the violation of the inequality (1), cf. Ref. [27].

The design of appropriate features of evolving quantum systems is a subject of the quantum control theory [8]. For quantum systems, an open-loop control is conceptually simpler than a closed loop one as it does not demand feedback with respect to an output of a measurement performed on a quantum system [34]. There are various types of open-loop driving. The simplest is a classical field (e.g., magnetic or electric) which introduces a time- dependent component to a Hamiltonian of the quantum system. The most complex is a quantum field such as *n*-mode bosonic field typical for quantum optical problems [34]. Somewhere in between is a classical stochastic driving (stochastic control [16]) which can be considered either as a classical field with certain degree of randomness or as a suitable stochastic limit of a quantum driving [1]. There is a deep relation between dynamic properties of evolving systems and their symmetries [8]. One of the best studied symmetries is related to rotation of the system and its angular momentum [3]. Quantum systems described by Hamiltonians built by angular momentum operators, either integer or half-integer, are called quantum tops and are widely studied in various branches of physics starting from mathematical physics [31] via quantum chaos [17] up to quantum networks [25]. As the quantum tops have a well-defined classical limit [17], they are particularly important for studies of quantum properties in a semi-classical limit. For instance, one can investigate how quantum entanglement is maintained when a system or its part [7, 9] becomes ‘more classical’ and compare results with other approaches to a classical limit of quantum systems [10, 13, 20].

In this work, we study a quantum top driven by Gaussian white noise and analyze the noise impact on the violation of the LGI. We consider two ways how the noise source couples to the top, each leading to quantitatively different behavior of the correlator \(K_3\). The external noise weakens the violation of the LG inequality, but this effect is less significant in the semi-classical limit of the large top. We show that, counterintuitively, in the semi-classical regime, the Leggett–Garg realism is more likely to be broken than in the very quantum regime.

The paper is organized as follows: In Sect. 2, we describe a model of the quantum top driven by Gaussian white noise and discuss an equivalence of its evolution with a suitably constructed Lindblad quantum dynamical semigroup. In Sect. 3, we present and discuss properties of the function \(K_3\) for the noise-assisted system. We compare this result to a purely deterministic, noiseless evolution. Next, before summarizing the work in Sect. 4, we conjecture that the properties of the function \(K_3\) originate from the fact that in the semi-classical limit the noise-driven and noiseless quantum tops are less distinguishable.

## 2 Methods

### 2.1 Noise-assisted top

*z*axis with the scaled angular frequency \(\omega _0/j\). The second term can be interpreted as random kicks around the

*z*axis for \(V=J_z\) or around the

*x*axis for \(V=J_x\) by random angles proportional to the coupling strength \(\lambda _0/j\) and the square root of the intensity \(D_0\) of noise (which is defined by its correlation function, see below). We use such scaling because in the limit \(j\rightarrow \infty \) mean values of three quantities

*X*,

*Y*,

*Z*) represents a point on the Bloch sphere with radius \(R = 1\). For large \(j \gg 1\), semi-classical behavior should be uncovered.

We restrict our consideration to a linear coupling of the system with noise and two possible choices: either \(V=J_z\) or \(V=J_x\). The coupling to \(J_y\) is equivalent to the coupling to \(J_x\) and therefore is not considered. The coupling \(V=J_z\) corresponds to a simplest ‘dephasing-like’ coupling [4, 22], whereas the second coupling \(V=J_x\) could describe tunneling effects in some multistable systems. As we show below, these two cases result in significantly different behaviors of the corresponding function \(K_3\).

*j*is, the more classical the system is, because its evolution can be effectively described as a classical dynamical system [9, 17].

### 2.2 Going to a dimensionless form

### 2.3 Two-dimensional invariant subspace

*j*, one can always construct a subspace which behaves as a qubit system. The action of the operator \( J_z/j\) on the states \(|+\rangle , |-\rangle \) is equivalent to the action of the \(\sigma _x\) operator on the canonical qubits states, i.e., eigenvectors of \(\sigma _z\) operator. In particular, it means that if a system is projected on one of these two states \(|+\rangle , |-\rangle \), then after that a system starts to oscillate between them with frequency \(\omega _0\) (for \(D=0\)).

## 3 Results

*Q*of the form:

### 3.1 Noise-free system

*j*-independent. Such a specific choice of the measurement as defined in Eq. (18) and Eq. (19) is particularly convenient since it allows to extract from the function \(K_3\) the information related purely to the intensity

*D*of noise \(\xi (t)\). In other words, any modification of \(K_3\) from the above form will be, for fixed

*V*in Eq. (3), solely a noise-induced effect.

### 3.2 Longitudinal coupling

*s*, computed in the basis \(\{ |+\rangle , |-\rangle \}\), and \(\rho (0) = |\psi \rangle \langle \psi |\). We parameterized it as follows:

*p*and

*r*in the matrix form:

*p*(

*s*) and

*r*(

*s*) are assumed to be real, from the above, we can extract two real solutions taking the real and imaginary part. Finally, we obtain:

### 3.3 Transverse coupling

Analytical calculations performed for the longitudinal coupling \(V=J_z\) are possible due to a dynamic invariance of the subspace spanned by \(|\pm \rangle \) states. Unfortunately, for different types of coupling, it is no more the case. In particular, there is no method to solve analytically Eq. (12) for a coupling \(V = J_x\). For such a transverse coupling, we perform numerical simulations using the Python-based toolbox QuTip [19] which is particularly useful for studying finite-dimensional open quantum systems described in terms of the Master Equations of a type Eq. (12), cf. Ref. [19] for details of the applied numerical procedure. In order to compare effectively two different types of coupling, the transverse with the longitudinal one, we restrict the analysis to a system initial preparation \(\rho (0)=|+\rangle \langle +|\). The results are presented in Figs. 1 and 2.

## 4 Discussion

For the considered model, there are three elements affecting the LGI. The first, probably most natural, is the noise intensity *D* which occurs as the amplitude of the non-unitary part of the generator in Eq. (9). The second, more fundamental, is the way how external noise couples to the evolving quantum top encoded in the operator *V* in Eq. (3). The third, related to a semi-classical limit of the top evolution, is the size *j* of the top related to the dimension of the Hilbert space of the quantum system [3]. As presented in the last section, a solution of a noise-free system is *j*-independent; thus, it can be used as a natural reference to the noise-induced couplings. Furthermore, a longitudinal \((V=J_z)\) coupling solution is also *j*-independent, and then, one can extract from this effects purely connected with the noise intensity *D* (or strength of a coupling \(\lambda \)). And finally, a *j*-dependent solution for \(J_x\) coupling indicates how macrorealism is violated with respect to the dimension of a system state space. That is why we propose such specific form of the measured observable Eq. (17) and initial state \(|\psi \rangle \in H_q\), since that model gives straightforward answers to all questions posed at the beginning. In addition, at the end we analyze the impact of a special scaling of the angular momentum operator \(\mathbf {J}\) by a factor 1 / *j* [Eq. (4)].

### 4.1 Impact of noise

Let us start analysis with the impact of the noise intensity *D* on time evolution and the resulting violation of the LGI in Eq. (1). For the noiseless case \(D=0\), the correlator \(K_3\) is explicitly given by the formula in Eq. (20) and can serve as a reference function. With a gradual increase in *D*, the time evolution of the system becomes far from unitary and one expects that genuine quantum properties, such as the violation of LGI, become less detectable. This intuitive picture is confirmed by the analytical result Eq. (30) for longitudinal coupling, where we see that dumping of LGI correlator is of the exponential form. Examples of different forms of the \(K_3\) function for \(V=J_z\) with respect to noise intensity *D* are present in the bottom panel in Fig. 1. In addition, results from numerical simulations for transverse \((V=J_x)\) coupling are presented in the upper panel in Fig. 1. In top left panel, the correlator \(K_3\) for the system with the fixed quantum number \(j=1\) is depicted for several values of the noise intensity *D*. For weak noise \((D=3/100)\), the function \(K_3\) represents weakly damped oscillations with several \(\tau \)-intervals in which the LGI is violated. For strong noise (the case \(D\ge 3/10\) in left panel), the impact of noise is decisive: One cannot detect the violation of the LGI. For larger values of the quantum number \(j=5\) (top left panel), the violation of the LGI can be observed for more numbers of windows of \(\tau \)-intervals. Even for strong noise with \(D=8/10\), the LGI is violated and can be detected in one short \(\tau \)-interval between successive measurements.

### 4.2 Role of coupling

Less intuitive is the influence of remaining two ingredients. Comparing plots in top left and bottom panels of Fig. 1 for the coupling via the operators \(J_x\) and \(J_z\), respectively, one concludes that for \(V=J_z\) the effect of noise is stronger: For \(D=3/100\), the LGI is violated only in one window of the \(\tau \)-interval, while for \(V=J_x\), there are four \(\tau \)-intervals in which the LGI is violated. We observe that in order to maintain the violation of LGI in a longer time for \(V=J_z\), one needs the noise intensity to be much smaller than in the case when \(V=J_x\). It might be considered as counterintuitive because in the case \(V=J_z\), the quantum top effectively undergoes Markovian *pure dephasing* [4], i.e., \(J_z(s)=J_z(0)\) is a constant of motion. It mimics an open quantum system with no energy exchange with the source of noise. In the case of seemingly stronger decoherence for \(V=J_x\) and for a fixed noise intensity *D*, the LGI violation is weaker.

### 4.3 Dependence on the quantum number *j*

*j*of the top might also be counterintuitive. It seems that for large

*j*, the system should be more classical, and in consequence, the LGI should be more robust. From Eq. (30), it is clear that for \(V=J_z\) the correlator \(K_3\) inherits

*j*-independence recognized already in the noiseless case \(D=0\) [Eq. (20)]. Comparing curves in top left and top right panels in Fig. 1, one notices that the violation of the LGI is

*more stable*with respect to noise for

*larger*values of

*j*. It is even more apparent in the semi-classical limit of large

*j*as presented in Fig. 2: When

*j*becomes larger and larger, the function \(K_3\) becomes closer and closer to the noiseless case \(D=0\). In other words, for the semi-classical top, the violation of the LGI becomes more significant comparing to the top operating at the deep quantum regime of small

*j*. The full analysis of how the maximum of \(K_3\) changes with respect to

*j*(for different noise intensity

*D*) is presented in the upper panels of Fig. 3. From these, we see surprisingly that the maximal violation of LGI is non-monotonic in the whole domain, but it is only monotonically increasing for the values \(j>1\) and monotonically decreasing for \(j<1\) and relatively high values of noise intensity.

*X*. In Fig. 3, one can observe that at a fixed time instant

*s*, the distance between the noisy state \(\rho (s)\) and the noiseless state \(\rho _{0}(s)\) decreases when the quantum number

*j*increases. As the trace distance is a quantifier of

*distinguishability*of states [30], we conclude that in the semi-classical limit \(j\gg 1\) the noisy and noiseless evolution are more similar than in the case of quantum system with small values of

*j*. This feature is responsible also for the behavior of the correlator \(K_3\) and the violation of the Leggett–Garg realism.

### 4.4 Role of scaling

At the end, we present how the special scaling of the angular momentum \(\mathbf {J}\) operator by a factor 1 / *j* in Eq. (4) (which we use in order to analyze a semi-classical behavior) affects a violation of the Leggett–Garg inequalities. Let us notice a very different physical content of both the scaled and non-scaled models. The first describes a well-defined semi-classical limit of a well-established quantum system, whereas the second is an essentially quantum system described by quantum numbers of a relatively large values.

*j*. In addition, without scaling, a period of \(K_3\) function is also affected by the total angular momentum of the system. We want to stress that the

*j*-independent solution for the operators Eq. (4) has a source in the special action of the operator \(J_z/j\) on the states \(|+\rangle \), \(|-\rangle \) in Eq. (16).

*j*number for a transverse coupling. For this reason, we present the results for non-rescaled model in the bottom panel in Fig. 4. Surprisingly, we observe very similar behavior like in main (scaled) model in this paper, i.e., systems with higher angular momentum

*j*are more resistant with respect to noise in the context of violation of the macrorealism. It is an opposite behavior if one compares it with the \(J_z\) coupling for non-scaled model [Eq. (32)].

## 5 Conclusions

Realism of classical objects seems to be unquestionable. Almost no one doubts that ‘there is a moon when nobody looks’ [28]. The case of a ‘flux’ [21] is less obvious, whereas for microscopic objects, the violation of Leggett–Garg realism is probably as generic as the violation of local realism of composite systems [18].

In this work, we study the quantum top assisted by classical Gaussian white noise starting from a very quantum regime of small values of the quantum number *j* and finishing in the semi-classical regime of large *j*. We investigate the violation of the LGI involving the function \(K_3\) in Eq. (1). The measurement defined in Eq. (18) is chosen in such a way that in the absence of noisy driving, the correlator \(K_3\) is *j*-independent. We consider two types of coupling *V* in Eq. (3). For \(V=J_z\), the function \(K_3\) is shown to be *j*-independent, although the LG inequality is, in the presence of noise, less likely violated. For \(V=J_x\), the violation of the LG inequality is more stable than in the case \(V=J_z\). We observe that for \(V=J_x\) the violation still occurs but for the noise intensity larger than in the case \(V=J_z\). In other words, for a given amount of noise in the system and the coupling \(V=J_x\), the Leggett–Garg realism is ‘better violated’ than in the case \(V=J_z\). Moreover, contrary to a natural intuition, the semi-classical noise-assisted top is, for a given amount of noise and \(V=J_x\), more likely to be a stage of the violation of the Leggett–Garg realism.

We hope that despite simplicity of the considered model, results of the paper enhance our understanding of what Leggett–Garg realism is and how it can be controlled by external stochastic driving.

## Notes

### Acknowledgments

The work has been supported by the NCN project DEC-2013/09/B/ST3/01659 (JD).

## References

- 1.Accardi, L., Lu, Y., Volovich, I.: Quantum Theory and its Stochastic Limit. Springer, Berlin (2002)CrossRefMATHGoogle Scholar
- 2.Alicki, R., Lendi, K.: Quantum Dynamical Semigroups and Applications. Lecture Notes in Physics. Springer, Berlin (2007)Google Scholar
- 3.Biedenharn, L., Louck, J.: Angular Momentum in Quantum Physics. Theory and Application. Cambridge University Press, Cambridge (1984)CrossRefMATHGoogle Scholar
- 4.Breuer, H.P., Petruccione, F.: The Theory of Open Quantum Systems. Oxford University Press, Oxford (2003)MATHGoogle Scholar
- 5.Brunner, N., Cavalcanti, D., Pironio, S., Scarani, V., Wehner, S.: Bell nonlocality. Rev. Mod. Phys.
**86**, 419–478 (2014). doi: 10.1103/RevModPhys.86.419 ADSCrossRefGoogle Scholar - 6.Budroni, C., Emary, C.: Temporal quantum correlations and leggett-garg inequalities in multilevel systems. Phys. Rev. Lett.
**113**, 050,401 (2014). doi: 10.1103/PhysRevLett.113.050401 CrossRefGoogle Scholar - 7.Dajka, J.: Disentanglement of qubits in classical limit of interaction. Int. J. Theor. Phys.
**53**(3), 870–880 (2014). doi: 10.1007/s10773-013-1876-9 CrossRefMATHGoogle Scholar - 8.D’Alessandro, D.: Introduction to Quantum Control and Dynamics. Taylor & Francis Group, London (2008)MATHGoogle Scholar
- 9.Demkowicz-Dobrzański, R., Kuś, M.: Global entangling properties of the coupled kicked tops. Phys. Rev. E
**70**, 066,216 (2004). doi: 10.1103/PhysRevE.70.066216 CrossRefGoogle Scholar - 10.Elze, H.T.: Linear dynamics of quantum-classical hybrids. Phys. Rev. A
**85**, 052,109 (2012). doi: 10.1103/PhysRevA.85.052109 CrossRefGoogle Scholar - 11.Emary, C.: Decoherence and maximal violations of the leggett-garg inequality. Phys. Rev. A
**87**, 032,106 (2013). doi: 10.1103/PhysRevA.87.032106 CrossRefGoogle Scholar - 12.Emary, C., Lambert, N., Nori, F.: Leggett–garg inequalities. Rep. Prog. Phys.
**77**(1), 016,001 (2014). http://stacks.iop.org/0034-4885/77/i=1/a=016001 - 13.Fratino, L., Lampo, A., Elze, H.T.: Entanglement dynamics in a quantum–classical hybrid of two q-bits and one oscillator. Phys. Scr.
**2014**(T163), 014,005 (2014). http://stacks.iop.org/1402-4896/2014/i=T163/a=014005 - 14.Gardiner, C.: Handbook of Stochastic Methods. Springer, Berlin (1997)MATHGoogle Scholar
- 15.Gühne, O., Tóth, G.: Entanglement detection. Phys. Rep.
**474**(1–6), 1–75 (2009). doi: 10.1016/j.physrep.2009.02.004. http://www.sciencedirect.com/science/article/pii/S0370157309000623 - 16.Gihman, I., Skorohod, A.V.: Controlled Stochastic Processes. Springer, Berlin (1979)CrossRefMATHGoogle Scholar
- 17.Haake, F.: Quantum Signatures of Chaos. Wiley, Hoboken (1991)CrossRefMATHGoogle Scholar
- 18.Horodecki, R., Horodecki, P., Horodecki, M., Horodecki, K.: Quantum entanglement. Rev. Mod. Phys.
**81**, 865–942 (2009). doi: 10.1103/RevModPhys.81.865 ADSMathSciNetCrossRefMATHGoogle Scholar - 19.Johansson, J., Nation, P., Nori, F.: Qutip 2: a python framework for the dynamics of open quantum systems. Comp. Phys. Commun.
**184**(4), 1234–1240 (2013). doi: 10.1016/j.cpc.2012.11.019. http://www.sciencedirect.com/science/article/pii/S0010465512003955 - 20.Lampo, A., Fratino, L., Elze, H.T.: Mirror-induced decoherence in hybrid quantum-classical theory. Phys. Rev. A
**90**, 042,120 (2014). doi: 10.1103/PhysRevA.90.042120 CrossRefGoogle Scholar - 21.Leggett, A.J., Garg, A.: Quantum mechanics versus macroscopic realism: Is the flux there when nobody looks? Phys. Rev. Lett.
**54**, 857–860 (1985). doi: 10.1103/PhysRevLett.54.857 ADSMathSciNetCrossRefGoogle Scholar - 22.Łuczka, J.: Spin in contact with thermostat: exact reduced dynamics. Phys. A
**167**, 919 (1990). doi: 10.1016/0378-4371(90)90299-8 MathSciNetCrossRefGoogle Scholar - 23.Łuczka, J.: Quantum open systems in a two-state stochastic reservoir. Czech. J. Phys.
**41**(17), 289 (1991)ADSMathSciNetMATHGoogle Scholar - 24.Łuczka, J., Niemiec, M.: A master equation for quantum systems driven by poisson white noise. J. Phys. A Math. Gen.
**24**(17), L1021 (1991). http://stacks.iop.org/0305-4470/24/i=17/a=010 - 25.Mahler, G., Weberruss, V.: Quantum Networks. Dynamics of Open Nanostructures. Springer, Berlin (1998)Google Scholar
- 26.Markiewicz, M., Kurzyński, P., Thompson, J., Lee, S.Y., Soeda, A., Paterek, T., Kaszlikowski, D.: Unified approach to contextuality, nonlocality, and temporal correlations. Phys. Rev. A
**89**, 042,109 (2014). doi: 10.1103/PhysRevA.89.042109 CrossRefGoogle Scholar - 27.Maroney, O.J.E., Thomson, C.G.: Quantum- vs. macro- realism: What does the leggett-garg inequality actually test? (2014). arXiv:1412.6139
- 28.Mermin, N.D.: Is the moon there when nobody looks? Reality and the quantum theory. Phys. Today
**38**(4), 38–47 (1985)Google Scholar - 29.Modi, K., Brodutch, A., Cable, H., Paterek, T., Vedral, V.: The classical-quantum boundary for correlations: Discord and related measures. Rev. Mod. Phys.
**84**, 1655–1707 (2012). doi: 10.1103/RevModPhys.84.1655 ADSCrossRefGoogle Scholar - 30.Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)MATHGoogle Scholar
- 31.Perelomov, A.: Generalized Coherent States and Their Applications. Springer, Berlin (1986)CrossRefMATHGoogle Scholar
- 32.Sanders, B.C.: Quantum dynamics of the nonlinear rotator and the effects of continual spin measurement. Phys. Rev. A
**40**, 2417–2427 (1989)ADSCrossRefGoogle Scholar - 33.Wang, X., Ma, J., Song, L., Zhang, X., Wang, X.: Spin squeezing, negative correlations, and concurrence in the quantum kicked top model. Phys. Rev. E
**82**, 056,205 (2010). doi: 10.1103/PhysRevE.82.056205 CrossRefGoogle Scholar - 34.Wiesman, H., Milburn, G.: Quantum Measurement and Control. Cambridge University Press, Cambridge (2009)CrossRefGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.