-
Nonlocality activation in a photonic quantum network
Authors:
Luis Villegas-Aguilar,
Emanuele Polino,
Farzad Ghafari,
Marco Túlio Quintino,
Kiarn Laverick,
Ian R. Berkman,
Sven Rogge,
Lynden K. Shalm,
Nora Tischler,
Eric G. Cavalcanti,
Sergei Slussarenko,
Geoff J. Pryde
Abstract:
Bell nonlocality refers to correlations between two distant, entangled particles that challenge classical notions of local causality. Beyond its foundational significance, nonlocality is crucial for device-independent technologies like quantum key distribution and randomness generation. Nonlocality quickly deteriorates in the presence of noise, and restoring nonlocal correlations requires addition…
▽ More
Bell nonlocality refers to correlations between two distant, entangled particles that challenge classical notions of local causality. Beyond its foundational significance, nonlocality is crucial for device-independent technologies like quantum key distribution and randomness generation. Nonlocality quickly deteriorates in the presence of noise, and restoring nonlocal correlations requires additional resources. These often come in the form of many instances of the input state and joint measurements, incurring a significant resource overhead. Here, we experimentally demonstrate that single copies of Bell-local states, incapable of violating any standard Bell inequality, can give rise to nonlocality after being embedded into a quantum network of multiple parties. We subject the initial entangled state to a quantum channel that broadcasts part of the state to two independent receivers and certify the nonlocality in the resulting network by violating a tailored Bell-like inequality. We obtain these results without making any assumptions about the prepared states, the quantum channel, or the validity of quantum theory. Our findings have fundamental implications for nonlocality and enable the practical use of nonlocal correlations in real-world applications, even in scenarios dominated by noise.
△ Less
Submitted 6 May, 2024; v1 submitted 12 September, 2023;
originally announced September 2023.
-
Quantum state smoothing cannot be assumed classical even when the filtering and retrofiltering are classical
Authors:
Kiarn T. Laverick,
Prahlad Warszawski,
Areeya Chantasri,
Howard M. Wiseman
Abstract:
State smoothing is a technique to estimate a state at a particular time, conditioned on information obtained both before (past) and after (future) that time. For a classical system, the smoothed state is a normalized product of the $\textit{filtered state}$ (a state conditioned only on the past measurement information and the initial preparation) and the $\textit{retrofiltered effect}$ (depending…
▽ More
State smoothing is a technique to estimate a state at a particular time, conditioned on information obtained both before (past) and after (future) that time. For a classical system, the smoothed state is a normalized product of the $\textit{filtered state}$ (a state conditioned only on the past measurement information and the initial preparation) and the $\textit{retrofiltered effect}$ (depending only on the future measurement information). For the quantum case, whilst there are well-established analogues of the filtered state ($ρ_{\rm F}$) and retrofiltered effect ($\hat E_{\rm R}$), their product does not, in general, provide a valid quantum state for smoothing. However, this procedure does seem to work when $ρ_{\rm F}$ and $\hat E_{\rm R}$ are mutually diagonalizable. This fact has been used to obtain smoothed quantum states -- more pure than the filtered states -- in a number of experiments on continuously monitored quantum systems, in cavity QED and atomic systems. In this paper we show that there is an implicit assumption underlying this technique: that if all the information were known to the observer, the true system state would be one of the diagonal basis states. This assumption does not necessarily hold, as the missing information is quantum information. It could be known to the observer only if it were turned into a classical measurement record, but then its nature depends on the choice of measurement. We show by a simple model that, depending on that measurement choice, the smoothed quantum state can: agree with that from the classical method; disagree with it but still be co-diagonal with it; or not even be co-diagonal with it. That is, just because filtering and retrofiltering appear classical does not mean classical smoothing theory is applicable in quantum experiments.
△ Less
Submitted 22 May, 2023;
originally announced May 2023.
-
Quantum state smoothing as an optimal estimation problem with three different cost functions
Authors:
Kiarn T. Laverick,
Ivonne Guevara,
Howard M. Wiseman
Abstract:
Quantum state smoothing is a technique to estimate an unknown true state of an open quantum system based on partial measurement information both prior and posterior to the time of interest. In this paper, we show that the smoothed quantum state is an optimal state estimator; that is, it minimizes a risk (expected cost) function. Specifically, we show that the smoothed quantum state is optimal with…
▽ More
Quantum state smoothing is a technique to estimate an unknown true state of an open quantum system based on partial measurement information both prior and posterior to the time of interest. In this paper, we show that the smoothed quantum state is an optimal state estimator; that is, it minimizes a risk (expected cost) function. Specifically, we show that the smoothed quantum state is optimal with respect to two cost functions: the trace-square deviation from and the relative entropy to the unknown true state. However, when we consider a related risk function, the linear infidelity, we find, contrary to what one might expect, that the smoothed state is not optimal. For this case, we derive the optimal state estimator, which we call the lustrated smoothed state. It is a pure state, the eigenstate of the smoothed quantum state with the largest eigenvalue.
△ Less
Submitted 4 June, 2021;
originally announced June 2021.
-
Unifying theory of quantum state estimation using past and future information
Authors:
Areeya Chantasri,
Ivonne Guevara,
Kiarn T. Laverick,
Howard M. Wiseman
Abstract:
Quantum state estimation for continuously monitored dynamical systems involves assigning a quantum state to an individual system at some time, conditioned on the results of continuous observations. The quality of the estimation depends on how much observed information is used and on how optimality is defined for the estimate. In this work, we consider problems of quantum state estimation where som…
▽ More
Quantum state estimation for continuously monitored dynamical systems involves assigning a quantum state to an individual system at some time, conditioned on the results of continuous observations. The quality of the estimation depends on how much observed information is used and on how optimality is defined for the estimate. In this work, we consider problems of quantum state estimation where some of the measurement records are not available, but where the available records come from both before (past) and after (future) the estimation time, enabling better estimates than is possible using the past information alone. Past-future information for quantum systems has been used in various ways in the literature, in particular, the quantum state smoothing, the most-likely path, and the two-state vector and related formalisms. To unify these seemingly unrelated approaches, we propose a framework for partially-observed quantum system with continuous monitoring, wherein the first two existing formalisms can be accommodated, with some generalization. The unifying framework is based on state estimation with expected cost minimization, where the cost can be defined either in the space of the unknown record or in the space of the unknown true state. Moreover, we connect all three existing approaches conceptually by defining five new cost functions, and thus new types of estimators, which bridge the gaps between them. We illustrate the applicability of our method by calculating all seven estimators we consider for the example of a driven two-level system dissipatively coupled to bosonic baths. Our theory also allows connections to classical state estimation, which create further conceptual links between our quantum state estimators.
△ Less
Submitted 10 July, 2021; v1 submitted 7 April, 2021;
originally announced April 2021.
-
The Quantum Rauch-Tung-Striebel Smoothed State
Authors:
Kiarn T. Laverick
Abstract:
Smoothing is a technique that estimates the state of a system using measurement information both prior and posterior to the estimation time. Two notable examples of this technique are the Rauch-Tung-Striebel and Mayne-Fraser-Potter smoothing techniques for linear Gaussian systems, both resulting in the optimal smoothed estimate of the state. However, when considering a quantum system, classical sm…
▽ More
Smoothing is a technique that estimates the state of a system using measurement information both prior and posterior to the estimation time. Two notable examples of this technique are the Rauch-Tung-Striebel and Mayne-Fraser-Potter smoothing techniques for linear Gaussian systems, both resulting in the optimal smoothed estimate of the state. However, when considering a quantum system, classical smoothing techniques can result in an estimate that is not a valid quantum state. Consequently, a different smoothing theory was developed explicitly for quantum systems. This theory has since been applied to the special case of linear Gaussian quantum (LGQ) systems, where, in deriving the LGQ state smoothing equations, the Mayne-Fraser-Potter technique was utilised. As a result, the final equations describing the smoothed state are closely related to the classical Mayne-Fraser-Potter smoothing equations. In this paper, I derive the equivalent Rauch-Tung-Striebel form of the quantum state smoothing equations, which further simplify the calculation for the smoothed quantum state in LGQ systems. Additionally, the new form of the LGQ smoothing equations bring to light a property of the smoothed quantum state that was hidden in the Mayne-Fraser-Potter form, the non-differentiablilty of the smoothed mean. By identifying the non-differentiable part of the smoothed mean, I was then able to derive a necessary and sufficient condition for the quantum smoothed mean to be differentiable in the steady state regime.
△ Less
Submitted 13 May, 2021; v1 submitted 21 October, 2020;
originally announced October 2020.
-
Linear Gaussian Quantum State Smoothing: Understanding the optimal unravelings for Alice to estimate Bob's state
Authors:
Kiarn T. Laverick,
Areeya Chantasri,
Howard M. Wiseman
Abstract:
Quantum state smoothing is a technique to construct an estimate of the quantum state at a particular time, conditioned on a measurement record from both before and after that time. The technique assumes that an observer, Alice, monitors part of the environment of a quantum system and that the remaining part of the environment, unobserved by Alice, is measured by a secondary observer, Bob, who may…
▽ More
Quantum state smoothing is a technique to construct an estimate of the quantum state at a particular time, conditioned on a measurement record from both before and after that time. The technique assumes that an observer, Alice, monitors part of the environment of a quantum system and that the remaining part of the environment, unobserved by Alice, is measured by a secondary observer, Bob, who may have a choice in how he monitors it. The effect of Bob's measurement choice on the effectiveness of Alice's smoothing has been studied in a number of recent papers. Here we expand upon the Letter which introduced linear Gaussian quantum (LGQ) state smoothing [Phys. Rev. Lett., 122, 190402 (2019)]. In the current paper we provide a more detailed derivation of the LGQ smoothing equations and address an open question about Bob's optimal measurement strategy. Specifically, we develop a simple hypothesis that allows one to approximate the optimal measurement choice for Bob given Alice's measurement choice. By 'optimal choice' we mean the choice for Bob that will maximize the purity improvement of Alice's smoothed state compared to her filtered state (an estimated state based only on Alice's past measurement record). The hypothesis, that Bob should choose his measurement so that he observes the back-action on the system from Alice's measurement, seems contrary to one's intuition about quantum state smoothing. Nevertheless we show that it works even beyond a linear Gaussian setting.
△ Less
Submitted 20 January, 2021; v1 submitted 31 August, 2020;
originally announced August 2020.
-
General criteria for quantum state smoothing with necessary and sufficient criteria for linear Gaussian quantum systems
Authors:
Kiarn T. Laverick,
Areeya Chantasri,
Howard M. Wiseman
Abstract:
Quantum state smoothing is a technique for estimating the quantum state of a partially observed quantum system at time $τ$, conditioned on an entire observed measurement record (both before and after $τ$). However, this smoothing technique requires an observer (Alice, say) to know the nature of the measurement records that are unknown to her in order to characterize the possible true states for Bo…
▽ More
Quantum state smoothing is a technique for estimating the quantum state of a partially observed quantum system at time $τ$, conditioned on an entire observed measurement record (both before and after $τ$). However, this smoothing technique requires an observer (Alice, say) to know the nature of the measurement records that are unknown to her in order to characterize the possible true states for Bob's (say) systems. If Alice makes an incorrect assumption about the set of true states for Bob's system, she will obtain a smoothed state that is suboptimal, and, worse, may be unrealizable (not corresponding to a valid evolution for the true states) or even unphysical (not represented by a state matrix $ρ\geq0$). In this paper, we review the historical background to quantum state smoothing, and list general criteria a smoothed quantum state should satisfy. Then we derive, for the case of linear Gaussian quantum systems, a necessary and sufficient constraint for realizability on the covariance matrix of the true state. Naturally, a realizable covariance of the true state guarantees a smoothed state which is physical. It might be thought that any putative true covariance which gives a physical smoothed state would be a realizable true covariance, but we show explicitly that this is not so. This underlines the importance of the realizabilty constraint.
△ Less
Submitted 11 February, 2020;
originally announced February 2020.
-
Quantum State Smoothing for Linear Gaussian Systems
Authors:
Kiarn T. Laverick,
Areeya Chantasri,
Howard M. Wiseman
Abstract:
Quantum state smoothing is a technique for assigning a valid quantum state to a partially observed dynamical system, using measurement records both prior and posterior to an estimation time. We show that the technique is greatly simplified for Linear Gaussian quantum systems, which have wide physical applicability. We derive a closed-form solution for the quantum smoothed state, which is more pure…
▽ More
Quantum state smoothing is a technique for assigning a valid quantum state to a partially observed dynamical system, using measurement records both prior and posterior to an estimation time. We show that the technique is greatly simplified for Linear Gaussian quantum systems, which have wide physical applicability. We derive a closed-form solution for the quantum smoothed state, which is more pure than the standard filtered state, whilst still being described by a physical quantum state, unlike other proposed quantum smoothing techniques. We apply the theory to an on-threshold optical parametric oscillator, exploring optimal conditions for purity recovery by smoothing. The role of quantum efficiency is elucidated, in both low and high efficiency limits.
△ Less
Submitted 16 May, 2019; v1 submitted 1 January, 2019;
originally announced January 2019.
-
Adaptive estimation of a time-varying phase with coherent states: smoothing can give an unbounded improvement over filtering
Authors:
Kiarn T. Laverick,
Howard M. Wiseman,
Hossien T. Dinani,
Dominic W. Berry
Abstract:
The problem of measuring a time-varying phase, even when the statistics of the variation is known, is considerably harder than that of measuring a constant phase. In particular, the usual bounds on accuracy - such as the $1/(4\bar{n})$ standard quantum limit with coherent states - do not apply. Here, restricting to coherent states, we are able to analytically obtain the achievable accuracy - the e…
▽ More
The problem of measuring a time-varying phase, even when the statistics of the variation is known, is considerably harder than that of measuring a constant phase. In particular, the usual bounds on accuracy - such as the $1/(4\bar{n})$ standard quantum limit with coherent states - do not apply. Here, restricting to coherent states, we are able to analytically obtain the achievable accuracy - the equivalent of the standard quantum limit - for a wide class of phase variation. In particular, we consider the case where the phase has Gaussian statistics and a power-law spectrum equal to $κ^{p-1}/|ω|^p$ for large $ω$, for some $p>1$. For coherent states with mean photon flux ${\cal N}$, we give the Quantum Cramér-Rao Bound on the mean-square phase error as $[p \sin (π/p)]^{-1}(4{\cal N}/κ)^{-(p-1)/p}$. Next, we consider whether the bound can be achieved by an adaptive homodyne measurement, in the limit ${\cal N}/κ\gg 1$ which allows the photocurrent to be linearized. Applying the optimal filtering for the resultant linear Gaussian system, we find the same scaling with ${\cal N}$, but with a prefactor larger by a factor of $p$. By contrast, if we employ optimal smoothing we can exactly obtain the Quantum Cram{é}r-Rao Bound. That is, contrary to previously considered ($p=2$) cases of phase estimation, here the improvement offered by smoothing over filtering is not limited to a factor of 2 but rather can be unbounded by a factor of $p$. We also study numerically the performance of these estimators for an adaptive measurement in the limit where ${\cal N}/κ$ is not large, and find a more complicated picture.
△ Less
Submitted 23 October, 2017;
originally announced October 2017.