Universita` degli Studi di Firenze Dipartimento di Ingegneria dell'Informazione (DINFO) Corso di dottorato in Ingegneria dell'Informazione Curriculum: Dinamica non lineare e sistemi complessi Settore scientifico-disciplinare: FIS/03 NOISE AS A RESOURCE Probing and manipulating classical and quantum dynamical systems via stochastic measurements Candidate Stefano Gherardini . Supervisors: Prof. Filippo Caruso. Prof. Stefano Ruffo . arXiv:1805.01800v1 [quant-ph] 4 May 2018 Prof. Giorgio Battistelli . Prof. Luigi Chisci . Ciclo XXX, 2014-2017 PhD Thesis Evaluators: Prof. Mauro Paternostro, Queen's University of Belfast (Northern Ireland). Prof. Claudio Altafini, Link¨opingUniversity (Sweden). PhD Thesis Committee: Prof. Francesco Ticozzi, University of Padua (Italy). Prof. Daniel Remondini, University of Bologna (Italy). Prof. Luca Munaron, University of Turin (Italy). Abstract In this thesis, common features from the theories of open quantum systems, estimation of state dynamics and statistical mechanics have been integrated in a comprehensive framework, with the aim to analyze and quantify the energetic and information contents that can be extracted from a dynamical system subject to the external environment. The latter is usually assumed to be deleterious for the feasibility of specific control tasks, since it can be responsible for uncontrolled time-dependent (and even discontinuous) changes of the system. However, if the effects of the random interaction with a noisy environment are properly modeled by the introduction of a given stochasticity within the dy- namics of the system, then even noise contributions might be seen as control knobs. As a matter of fact, even a partial knowledge of the environment can al- low to set the system in a dynamical condition in which the response is optimized by the presence of noise sources. In particular, we have investigated what kind of measurement devices can work better in noisy dynamical regimes and stud- ied how to maximize the resultant information via the adoption of estimation algorithms. Moreover, we have shown the optimal interplay between quantum dynamics, environmental noise and complex network topology in maximizing the energy transport efficiency. Then, foundational scientific aspects, such as the oc- currence of an ergodic property for the system-environment interaction modes of a randomly perturbed quantum system or the characterization of the stochastic quantum Zeno phenomena, have been analyzed by using the predictions of the large deviation theory. Finally, the energy cost in maintaining the system in the 3 non-equilibrium regime due to the presence of the environment is evaluated by reconstructing the corresponding thermodynamics entropy production. In conclusion, the present thesis can constitute the basis for an effective re- source theory of noise, which is given by properly engineering the interaction between a dynamical (quantum or classical) system and its external environment. 4 Contents Introduction 1 1 State estimation with binary sensors 9 1.1 Problem formulation . 15 1.2 Deterministic approach . 16 1.2.1 Moving horizon estimation . 18 1.2.1.1 Accounting for additional constraints . 23 1.2.2 Stability analysis . 25 1.2.3 Numerical examples . 29 1.2.3.1 Hydraulic systems . 30 1.2.3.2 2-mass 2-spring oscillators . 31 1.3 Probabilistic approach . 38 1.3.1 Maximum a-posteriori state estimation . 39 1.3.2 Dynamic field estimation . 44 1.3.3 Fast MH-MAP filter for large-scale problems . 51 1.3.3.1 Step 1 . 52 1.3.3.2 Step 2 . 54 1.4 Noise-assisted estimation . 55 1.5 Conclusions and contributions . 62 2 Noise-assisted quantum transport 65 2.1 Theoretical model . 68 I CONTENTS CONTENTS 2.1.1 Computational complexity . 72 2.2 Experimental setup . 74 2.2.1 Network of fiber-optic resonators . 74 2.2.2 Network parameters . 76 2.3 Experimental results . 79 2.4 Observing and reproducing NAT . 84 2.5 Conclusions and contributions . 86 3 Large deviations and stochastic quantum Zeno phenomena 89 3.1 LD theory and open quantum systems . 91 3.1.1 Sequences of repeated quantum measurements . 93 3.1.2 Survival probability statistics . 95 3.1.3 Quantum Zeno limit . 102 3.1.4 Illustrative example - Zeno-protected entangled states . 104 3.2 Experimental realization with BECs . 108 3.2.1 Ergodicity of the system-environment interaction modes . 118 3.3 Fisher information from stochastic quantum measurements . 120 3.3.1 Fisher information operator . 121 3.4 Stochastic quantum Zeno dynamics . 125 3.4.1 Zeno protocols . 127 3.4.2 Illustrative example - Quantum spin chains . 135 3.5 Stochastic sequences of correlated quantum measurements . 143 3.5.1 Time and ensemble averages vs. noise correlations . 146 3.5.2 Detection of noise correlations . 152 3.6 Conclusions and contributions . 159 4 Quantum thermodynamics 165 4.1 Quantum-heat . 168 4.1.1 Protocol of stochastic projective measurements . 170 4.1.2 Quantum-heat statistics . 171 4.1.3 Fluctuation Relation . 173 4.1.4 Noise-induced quantum heat transfer . 175 II CONTENTS CONTENTS 4.1.4.1 Fixed waiting times sequence . 176 4.1.4.2 Stochastic waiting times sequence . 176 4.1.4.3 Mean quantum-heat . 179 4.1.4.4 The m limit . 181 ! 1 4.2 Stochastic quantum entropy production . 182 4.2.1 Quantum fluctuation theorem . 184 4.2.2 Mean entropy production vs quantum relative entropy . 190 4.2.3 Open bipartite systems . 192 4.2.4 Probability distribution . 196 4.2.5 Characteristic function . 198 4.3 Reconstruction algorithm . 199 4.3.1 Illustrative example - Mølmer-Sørensen gate . 207 4.3.1.1 Correlated measurement outcomes and correla- tions witness . 209 4.3.1.2 Reconstruction for unitary dynamics . 213 4.3.1.3 Reconstruction for noisy dynamics . 216 4.3.1.4 Probing irreversibility and dynamics correlations 219 4.4 Conclusions and contributions . 221 A Proofs of chapter 1 227 A A.1 Closed-form solution of Problem Et ................. 227 A.2 Proof of Proposition 1.1 . 229 A.3 Proof of Theorem 1.1 . 230 A.4 Proof of Proposition 1.2 . 235 A.5 Proof of Proposition 1.3 . 235 B Proofs of chapter 3 239 B.1 Log-survival-probability distribution . 239 B.2 Most probable value of the log-survival-probability . 240 B.3 LD form for the joint probability distribution Prob( ; )..... 241 L T B.4 Normalized discrepancy in the Zeno regime . 243 D B.5 Derivation of Prob( ) for a bimodal p(τ).............. 243 P III CONTENTS CONTENTS B.6 Fisher information operator in terms of the statistical moments of p(τ).................................. 244 B.7 Proof of Theorem 3.1 . 246 B.8 Time-continuous stochastic Schr¨odingerequation . 248 C Proofs of chapter 4 251 D Publications 265 Bibliography 292 IV Introduction The term stochasticity quantifies the lack of predictability of a sequence of events. Predictability is ensured only from a probabilistic point of view in the dis- tribution of the random variables' outcomes, computed over a very large number of replicas of the same sequence of events [167]. For this reason, the introduction of stochastic processes in the mathematical formulation of real systems dynamics at any dimensional scale has allowed the modeling of a wide class of static and dynamical uncertainties, as, for example, the unavoidable presence of noise on a measuring device, or the occurrence of spontaneous transitions of a quantum mechanical system (such as atoms, molecules or subatomic particles) from an ex- cited energy state to a lower energy one with the resulting emission of a quantum of light (photon). On the other side, information is an actually universal term too: it quantifies the relevance of a given amount of data in relation to our knowledge of their (real or abstract) content [56]. This concept hides inside the existence of a cognitive process given by the presence of an observer, providing an uncertain estimate of the issues under investigation after a repeated sequence of observations. In this regard, especially in quantum mechanics, the measurement process is to be con- sidered as random, so as to describe the predicted outcome of the measurements within the same probabilistic framework, which is used to model the evolution of the observed phenomena. In particular, the postulates of the quantum measure- ment theory enable to quantitatively calculate the probability distributions of the measurement outcomes and determine the corresponding back-actions on the 1 INTRODUCTION quantum system dynamics. Accordingly, the interplay between the application of sequences of quantum measurements and the presence of stochastic contributions within the system dynamics, due to the random interaction with the environment, is actually a topic which is worth exploring. Finally, in order to design nanoscale machines and engines, which can be characterized by automatic functionalities and computing capability, it can be required to evaluate in routine transformations their energy consumption, in comparison with the efficiency of the device. A larger efficiency-energy rate un- avoidably translates into novel challenges on how to fully exploit (by means of new methods) the minimum information content coming from the measurements or proper interactions with the environment. In this thesis, all of these concepts are contextualized in the framework of open dynamical systems, i.e. systems that interact with an external environment, leading to the introduction of stochasticity contributions in the form of disorder or noise. Generally, both disorder and noise are considered deleterious to accurately manipulate/control the system; however, with the present thesis, we want to provide the basic points, which define a resource theory of noise, i.e. The capability to exploit measurement devices, that can work better in • noisy dynamical regimes by using estimation algorithms able to extract information from fictitious variations of the device's outcomes due to a measurement noise source. As it will be explained in Chapter 1, an example of such a device is given by binary (threshold) sensors.