Source author record

Howard M. Wiseman

Howard M. Wiseman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

56works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

56 published item(s)

preprint2026arXiv

Detection-loophole-free nonlocality in the simplest scenario

Loophole-free quantum nonlocality often demands experiments with high complexity (defined by all parties' settings and outcomes) and multiple efficient detectors. Here, we identify the fundamental efficiency and complexity thresholds for quantum steering using two-qubit entangled states. Remarkably, it requires only one photon detector on the untrusted side, with efficiency $ε> 1/X$, where $X \geq 2$ is the number of settings on that side. This threshold applies to all pure entangled states, in contrast to analogous Bell-nonlocality tests, which require almost unentangled states to be loss-tolerant. We confirm these predictions in a minimal-complexity ($X = 2$ for the untrusted party and a single three-outcome measurement for the trusted party), detection-loophole-free photonic experiment with $ε= (51.6 \pm 0.4)\% $.

preprint2022arXiv

Error-tolerant witnessing of divergences in classical and quantum statistical complexity

How much information do we need about a process' past to faithfully simulate its future? The statistical complexity is a prominent quantifier of structure for stochastic processes. Quantum machines, however, can simulate classical stochastic processes while storing significantly less information than their optimal classical counterparts. This implies qualitative divergences between classical and quantum statistical complexity. Here, we develop error-tolerant techniques to witness such divergences, enabling us to account for the inevitable imperfections in realising quantum stochastic simulators with present-day quantum technology. We apply these tools to experimentally verify the quantum memory advantage in simulating an Ising spin chain, even when accounting for experimental distortion. This then leads us to observe a recently conjectured effect, the ambiguity of simplicity$\unicode{x2013}$the notion that the relative complexity of two different processes can depend on whether we model the process using classical or quantum means of information processing.

preprint2021arXiv

Unifying theory of quantum state estimation using past and future information

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.

preprint2020arXiv

$π$-Corrected Heisenberg Limit

We consider the precision $Δφ$ with which the parameter $φ$, appearing in the unitary map $U_φ= e^{ i φΛ}$ acting on some type of probe system, can be estimated when there is a finite amount of prior information about $φ$. We show that, if $U_φ$ acts $n$ times in total, then, asymptotically in $n$, there is a tight lower bound $Δφ\geq \fracπ{n (λ_+ - λ_-)}$, where $λ_+$, $λ_-$ are the extreme eigenvalues of the generator $Λ$. This is greater by a factor of $π$ than the conventional Heisenberg limit, derived from the properties of the quantum Fisher information. That is, the conventional bound is never saturable. Our result makes no assumptions on the measurement protocol, and is relevant not only in the noiseless case but also if noise can be eliminated using quantum error correction techniques.

preprint2020arXiv

General criteria for quantum state smoothing with necessary and sufficient criteria for linear Gaussian quantum systems

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.

preprint2020arXiv

Symmetries and physically realizable ensembles for open quantum systems

A $D$-dimensional Markovian open quantum system will undergo stochastic evolution which preserves pure states, if one monitors without loss of information the bath to which it is coupled. If a finite ensemble of pure states satisfies a particular set of constraint equations then it is possible to perform the monitoring in such a way that the (discontinuous) trajectory of the conditioned system state is, at all long times, restricted to those pure states. Finding these physically realizable ensembles (PREs) is typically very difficult, even numerically, when the system dimension is larger than 2. In this paper, we develop symmetry-based techniques that potentially greatly reduce the difficulty of finding a subset of all possible PREs. The two dynamical symmetries considered are an invariant subspace and a Wigner symmetry. An analysis of previously known PREs using the developed techniques provides us with new insights and lays the foundation for future studies of higher dimensional systems.

preprint2019arXiv

Necessary conditions for steerability of two qubits, from consideration of local operations

EPR-steering refers to the ability of one observer to convince a distant observer that they share entanglement by making local measurements. Determining which states allow a demonstration of EPR-steering remains an open problem in general. Here, we outline and demonstrate a method of analytically constructing new classes of two-qubit states which are non-steerable by arbitrary projective measurements, from consideration of local operations performed by the steering party on states known to be non-steerable.

preprint2019arXiv

Quantum state smoothing: Why the types of observed and unobserved measurements matter

We investigate the estimation technique called quantum state smoothing introduced by Guevara and Wiseman [Phys.~Rev.~Lett.~{\bf 115}, 180407 (2015)], which offers a valid quantum state estimate for a partially monitored system, conditioned on the observed record both prior and posterior to an estimation time. Partial monitoring by an observer implies that there may exist records unobserved by that observer. It was shown that, given only the observed record, the observer can better estimate the underlying true quantum states, by inferring the unobserved record and using quantum state smoothing, rather than the usual quantum filtering approach. However, the improvement in estimation fidelity, originally examined for a resonantly driven qubit coupled to two vacuum baths, was also shown to vary depending on the types of detection used for the qubit's fluorescence. In this work, we analyse this variation in a systematic way for the first time. We first define smoothing power using an average purity recovery and a relative average purity recovery, of smoothing over filtering. Then, we explore the power for various combinations of fluorescence detection for both observed and unobserved channels. We next propose a method to explain the variation of the smoothing power, based on multi-time correlation strength between fluorescence detection records. The method gives a prediction of smoothing power for different combinations, which is remarkably successful in comparison with numerically simulated qubit trajectories.

preprint2016arXiv

How many principles does it take to change a light bulb ... into a laser?

Quantum optics did not, and could not, flourish without the laser. The present paper is not about the principles of laser construction, still less a history of how the laser was invented. Rather, it addresses the question: what are the fundamental features that distinguish laser light from thermal light? The obvious answer, "laser light is coherent", is, I argue, so vague that it must be put aside at the start, albeit to revisit later. A more specific, quantum theoretic, version, "laser light is in a coherent state", is simply wrong in this context: both laser light and thermal light can equally well be described by coherent states, with amplitudes that vary stochastically in space. Instead, my answer to the titular question is that four principles are needed: high directionality, monochromaticity, high brightness, and stable intensity. Combining the first three of these principles suffices to show, in a quantitative way --- involving, indeed, very large dimensionless quantities (up to $\sim10^{51}$) --- that a laser must be constructed very differently from a light bulb. This quantitative analysis is quite simple, and is easily relatable to "coherence", yet is not to be found in any text-books on quantum optics to my knowledge. The fourth principle is the most subtle and, perhaps surprisingly, is the only one related to coherent states in the quantum optics sense: it implies that the description in terms of coherent states is the only simple description of a laser beam. Interestingly, this leads to the (not, as it turns out, entirely new) prediction that narrowly filtered laser beams are indistinguishable from similarly filtered thermal beams. I hope that other educators find this material useful, it may contain surprises even for researchers who have been in the field longer than I have.

preprint2016arXiv

Reply to Elsässer's Comment on "How many principles does it take to change a light bulb ... into a laser?"

In his Comment, Elsässer claims that the answer to my titular question is one, not four as I have it. He goes on to give the singular principle that supposedly captures the difference between a light-bulb and a laser: $g^{(2)}(τ=0)=1$. His claim is unconsidered and wrong, his proposed principle is impossible to apply and, when corrected, redundant (it then becomes one of the four I list already), his arguments are manifestly misdirected. My paper stands as is.

preprint2016arXiv

Reply to Gillis's "On the Analysis of Bell's 1964 Paper by Wiseman, Cavalcanti, and Rieffel"

We address Gillis' recent criticism [arXiv:1506.05795] of a series of papers (by different combinations of the present authors) on formulations of Bell's theorem. Those papers intended to address an unfortunate gap of communication between two broad camps in the quantum foundations community that we identify as "operationalists" and "realists". Here, we once again urge the readers to approach the question from an unbiased standpoint, and explain that Gillis' criticism draws too heavily on the philosophical inclinations of one side of that debate -- the realist camp. As part of that explanation we discuss intuition versus proof, look again at Bell's formalizations of locality, and correct misstatements by Gillis of our views, and those of Bell and Einstein.

preprint2016arXiv

Volume monogamy of quantum steering ellipsoids for multi-qubit systems

The quantum steering ellipsoid can be used to visualise two-qubit states, and thus provides a generalisation of the Bloch picture for the single qubit. Recently, a monogamy relation for the volumes of steering ellipsoids has been derived for pure 3-qubit states and shown to be stronger than the celebrated Coffman-Kundu-Wootters (CKW) inequality. We first demonstrate the close connection between this volume monogamy relation and the classification of pure 3-qubit states under stochastic local operations and classical communication (SLOCC). We then show that this monogamy relation does not hold for general mixed 3-qubit states and derive a weaker monogamy relation that does hold for such states. We also prove a volume monogamy relation for pure 4-qubit states, and generalize our 3-qubit inequality to n qubits. Finally, we study the effect of noise on the quantum steering ellipsoid and find that the volume of any two-qubit state is non-increasing when the state is exposed to arbitrary local noise. This implies that any volume monogamy relation for a given class of multi-qubit states remains valid under the addition of local noise. We investigate this quantitatively for the experimentally relevant example of isotropic noise.

preprint2015arXiv

Analog of the Clauser-Horne-Shimony-Holt inequality for steering

The Clauser-Horne-Shimony-Holt (CHSH) inequality (and its permutations), are necessary and sufficient criteria for Bell nonlocality in the simplest Bell-nonlocality scenario: 2 parties, 2 measurements per party and 2 outcomes per measurement. Here we derive an inequality for EPR-steering that is an analogue of the CHSH, in that it is necessary and sufficient in this same scenario. However, since in the case of steering the device at Bob's site must be specified (as opposed to the Bell case in which it is a black box), the scenario we consider is that where Alice performs two (black-box) dichotomic measurements, and Bob performs two mutually unbiased qubit measurements. We show that this inequality is strictly weaker than the CHSH, as expected, and use it to decide whether a recent experiment [Phys. Rev. Lett. 110, 130401 (2013).] involving a single-photon split between two parties has demonstrated EPR-steering.

preprint2015arXiv

Detector dependency of diffusive quantum monitorings

Continuous measurements play a pivotal role in the study of dynamical open quantum systems. `Dyne' detections are among the most widespread and efficient measurement schemes, and give rise to quantum diffusion of the conditioned state. In this work we study under what conditions the detector dependency of the conditional state of a quantum system subject to diffusive monitoring can be demonstrated experimentally, in the sense of ruling our any detector-independent pure-state dynamical model for the system. We consider an arbitrary number L of environments to which the system is coupled, and an arbitrary number K of different types of dyne detections. We prove that non-trivial necessary conditions for such a demonstration can be determined efficiently by semi-definite programming. To determine sufficient conditions, different physical environmental couplings and Hamiltonians for a qubit, and different sets of diffusive monitorings are scrutinized. We compare the threshold efficiencies that are sufficient in the various cases, as well as cases previously considered in the literature, to suggest the most feasible experimental options.

preprint2015arXiv

Einstein-Podolsky-Rosen steering and the steering ellipsoid

The question of which two-qubit states are steerable (i.e. permit a demonstration of EPR-steering) remains open. Here, a strong necessary condition is obtained for the steerability of two-qubit states having maximally-mixed reduced states, via the construction of local hidden state models. It is conjectured that this condition is in fact sufficient. Two provably sufficient conditions are also obtained, via asymmetric EPR-steering inequalities. Our work uses ideas from the quantum steering ellipsoid formalism, and explicitly evaluates the integral of $\boldsymbol n/(\boldsymbol n^\intercal A\boldsymbol n)^2$ over arbitrary unit hemispheres for any positive matrix $A$.

preprint2015arXiv

Observation of genuine one-way Einstein-Podolsky-Rosen steering

Within the hierarchy of inseparable quantum correlations, Einstein-Podolsky-Rosen steering is distinguished from both entanglement and Bell nonlocality by its asymmetry -- there exist conditions where the steering phenomenon changes from being observable to not observable, simply by exchanging the role of the two measuring parties. Whilst this one-way steering feature has been previously demonstrated for the restricted class of Gaussian measurements, for the general case of positive-operator-valued measures even its theoretical existence has only recently been settled. Here, we prove, and then experimentally observe, the one-way steerability of an experimentally practical class of entangled states in this general setting. As well as its foundational significance, the demonstration of fundamentally asymmetric nonlocality also has practical implications for the distribution of the trust in quantum communication networks.

preprint2015arXiv

Reply to Norsen's paper "Are there really two different Bell's theorems?"

Yes. That is my polemical reply to the titular question in Travis Norsen's self-styled "polemical response to Howard Wiseman's recent paper." Less polemically, I am pleased to see that on two of my positions --- that Bell's 1964 theorem is different from Bell's 1976 theorem, and that the former does not include Bell's one-paragraph heuristic presentation of the EPR argument --- Norsen has made significant concessions. In his response, Norsen admits that "Bell's recapitulation of the EPR argument in [the relevant] paragraph leaves something to be desired," that it "disappoints" and is "problematic". Moreover, Norsen makes other statements that imply, on the face of it, that he should have no objections to the title of my recent paper ("The Two Bell's Theorems of John Bell"). My principle aim in writing that paper was to try to bridge the gap between two interpretational camps, whom I call 'operationalists' and 'realists', by pointing out that they use the phrase "Bell's theorem" to mean different things: his 1964 theorem (assuming locality and determinism) and his 1976 theorem (assuming local causality), respectively. Thus, it is heartening that at least one person from one side has taken one step on my bridge. That said, there are several issues of contention with Norsen, which we (the two authors) address after discussing the extent of our agreement with Norsen. The most significant issues are: the indefiniteness of the word 'locality' prior to 1964; and the assumptions Einstein made in the paper quoted by Bell in 1964 and their relation to Bell's theorem.

preprint2015arXiv

Stochastic feedback control of quantum transport to realize a dynamical ensemble of two nonorthogonal pure states

A Markovian open quantum system which relaxes to a unique steady state $ρ_{ss}$ of finite rank can be decomposed into a finite physically realizable ensemble (PRE) of pure states. That is, as shown by Karasik and Wiseman [Phys. Rev. Lett. 106, 020406 (2011)], in principle there is a way to monitor the environment so that in the long time limit the conditional state jumps between a finite number of possible pure states. In this paper we show how to apply this idea to the dynamics of a double quantum dot arising from the feedback control of quantum transport, as previously considered by one of us and co-workers [Phys. Rev. B 84, 085302 (2011)]. Specifically, we consider the limit where the system can be described as a qubit, and show that while the control scheme can always realize a two-state PRE, in the incoherent tunneling regime there are infinitely many PREs compatible with the dynamics that cannot be so realized. For the two-state PREs that are realized, we calculate the counting statistics and see a clear distinction between the coherent and incoherent regimes.

preprint2014arXiv

Coherent feedback that beats all measurement-based feedback protocols

We show that when the speed of control is bounded, there is a widely applicable minimal-time control problem for which a coherent feedback protocol is optimal, and is faster than all measurement-based feedback protocols, where the latter are defined in a strict sense. The superiority of the coherent protocol is due to the fact that it can exploit a geodesic path in Hilbert space, a path that measurement-based protocols cannot follow.

preprint2014arXiv

Deterministic preparation of superpositions of vacuum plus one photon by adaptive homodyne detection: experimental considerations

The preparation stage of optical qubits is an essential task in all the experimental setups employed for the test and demonstration of Quantum Optics principles. We consider a deterministic protocol for the preparation of qubits as a superposition of vacuum and one photon number states, which has the advantage to reduce the amount of resources required via phase-sensitive measurements using a local oscillator ('dyne detection'). We investigate the performances of the protocol using different phase measurement schemes: homodyne, heterodyne, and adaptive dyne detection (involving a feedback loop). First, we define a suitable figure of merit for the prepared state and we obtain an analytical expression for that in terms of the phase measurement considered. Further, we study limitations that the phase measurement can exhibit, such as delay or limited resources in the feedback strategy. Finally, we evaluate the figure of merit of the protocol for different mode-shapes handily available in an experimental setup. We show that even in the presence of such limitations simple feedback algorithms can perform surprisingly well, outperforming the protocols when simple homodyne or heterodyne schemes are employed.

preprint2014arXiv

Discord in relation to resource states for measurement-based quantum computation

We consider the issue of what should count as a resource for measurement-based quantum computation (MBQC). While a state that supports universal quantum computation clearly should be considered a resource, universality should not be necessary given the existence of interesting, but less computationally-powerful, classes of MBQCs. Here, we propose minimal criteria for a state to be considered a resource state for MBQC. Using these criteria, we explain why discord-free states cannot be resources for MBQC, contrary to recent claims [Hoban et al., arXiv:1304.2667v1]. Independently of our criteria, we also show that the arguments of Hoban et al., if correct, would imply that Shor's algorithm (for example) can be implemented by measuring discord-free states.

preprint2014arXiv

Experimental Proof of Nonlocal Wavefunction Collapse for a Single Particle Using Homodyne Measurement

A single quantum particle can be described by a wavefunction that spreads over arbitrarily large distances, but it is never detected in two (or more) places. This strange phenomenon is explained in quantum theory by what Einstein repudiated as "spooky action at a distance": the instantaneous nonlocal collapse of the wavefunction to wherever the particle is detected. We demonstrate this single-particle spooky action, for the first time with no efficiency loophole, by splitting a single photon between two laboratories and experimentally testing if the choice of measurement in one lab really causes a change in the local quantum state in the other lab. To this end, we use homodyne measurements with six different measurement settings and quantitatively verify Einstein's spooky action by violating an Einstein-Podolsky-Rosen-steering inequality by $0.042 \pm 0.006$. Our experiment also verifies the entanglement of the split single photon even when one side is untrusted.

preprint2014arXiv

Global versus local optimality in feedback-controlled qubit purification: new insights from minimizing Rényi entropies

It was first shown by Jacobs, in 2003, that the process of qubit state purification by continuous measurement of one observable can be enhanced, on average, by unitary feedback control. Here, we quantify this by the reduction in any one of the family of Rényi entropies $S_α$, with $0< α< \infty$, at some terminal time, revealing the rich structure of stochastic quantum control even for this simple problem. We generalize Jacobs' original argument, which was for (the unique) impurity measure with a linear evolution map under his protocol, by replacing linearity with convexity, thereby making it applicable to Rényi entropies $S_α$ for $α$ in a finite interval about $1$. Even with this generalization, Jacobs' argument fails to identify the surprising fact, which we prove by Bellman's principle of dynamic programming, that his protocol is globally optimal for all Rényi entropies whose decrease is locally maximized by that protocol. Also surprisingly, even though there is a range of Rényi entropies whose decrease is always locally maximized by the null-control protocol, that null-control protocol cannot be shown to be globally optimal in any instance. These results highlight the non-intuitive relation between local and global optimality in stochastic quantum control.

preprint2014arXiv

Precision bounds for noisy nonlinear quantum metrology

We derive the ultimate bounds on the performance of nonlinear measurement schemes in the presence of noise. In particular, we investigate the precision of the second-order estimation scheme in the presence of the two most detrimental types of noise, photon loss and phase diffusion. We find that the second-order estimation scheme is affected by both types of noise in an analogous way as the linear one. Moreover, we observe that for both types of noise the gain in the phase sensitivity with respect to the linear estimation scheme is given by a multiplicative term $\mathcal{O}(1/N)$. Interestingly, we also find that under certain circumstances, a careful engineering of the environment can, in principle, improve the performance of measurement schemes affected by phase diffusion.

preprint2014arXiv

Quantum filtering of a thermal master equation with purified reservoir

We consider a system subject to a quantum optical master equation at finite temperature and study a class of conditional dynamics obtained by monitoring its totally or partially purified environment. More specifically, drawing from the notion that the thermal state of the environment may be regarded as the local state of a lossy and noisy two-mode squeezed state, we consider conditional dynamics ("unravellings") resulting from the homodyne detection of the two modes of such a state. Thus, we identify a class of unravellings parametrised by the loss rate suffered by the environmental two-mode state, which interpolate between direct detection of the environmental mode alone (occurring for total loss, whereby no correlation between the two environmental modes is left) and full access to the purification of the bath (occurring when no loss is acting and the two-mode state of the environment is pure). We hence show that, while direct detection of the bath is not able to reach the maximal steady-state squeezing allowed by general-dyne unravellings, such optimal values can be obtained when a fully purified bath is accessible. More generally we show that, within our framework, any degree of access to the bath purification improves the performance of filtering protocols in terms of achievable squeezing and entanglement.

preprint2014arXiv

Quantum phenomena modelled by interactions between many classical worlds

We investigate whether quantum theory can be understood as the continuum limit of a mechanical theory, in which there is a huge, but finite, number of classical 'worlds', and quantum effects arise solely from a universal interaction between these worlds, without reference to any wave function. Here a `world' means an entire universe with well-defined properties, determined by the classical configuration of its particles and fields. In our approach each world evolves deterministically; probabilities arise due to ignorance as to which world a given observer occupies; and we argue that in the limit of infinitely many worlds the wave function can be recovered (as a secondary object) from the motion of these worlds. We introduce a simple model of such a 'many interacting worlds' approach and show that it can reproduce some generic quantum phenomena---such as Ehrenfest's theorem, wavepacket spreading, barrier tunneling and zero point energy---as a direct consequence of mutual repulsion between worlds. Finally, we perform numerical simulations using our approach. We demonstrate, first, that it can be used to calculate quantum ground states, and second, that it is capable of reproducing, at least qualitatively, the double-slit interference phenomenon.

preprint2014arXiv

Rapid readout of a register of qubits using open loop quantum control

Measurements are a primitive for characterizing quantum systems. Reducing the time taken to perform a measurement may be beneficial in many areas of quantum information processing. We show that permuting the eigenvalues of the state matrix in the logical basis, using open loop control, provides a $O(n)$ reduction in the measurement time, where $n$ is the number of qubits in the register. This reduction is of the same order as the (previously introduced) locally optimal feedback protocol. The advantage of the open loop protocol is that it is far less difficult experimentally. Because the control commutes with the measured observable at all times, our rapid measurement protocol could be used for characterizing a quantum system, by state or process tomography, or to implement measurement-based quantum error correction.

preprint2014arXiv

The quantum Bell-Ziv-Zakai bounds and Heisenberg limits for waveform estimation

We propose quantum versions of the Bell-Ziv-Zakai lower bounds on the error in multiparameter estimation. As an application we consider measurement of a time-varying optical phase signal with stationary Gaussian prior statistics and a power law spectrum $\sim 1/|ω|^p$, with $p>1$. With no other assumptions, we show that the mean-square error has a lower bound scaling as $1/{\cal N}^{2(p-1)/(p+1)}$, where ${\cal N}$ is the time-averaged mean photon flux. Moreover, we show that this accuracy is achievable by sampling and interpolation, for any $p>1$. This bound is thus a rigorous generalization of the Heisenberg limit, for measurement of a single unknown optical phase, to a stochastically varying optical phase.

preprint2014arXiv

The Two Bell's Theorems of John Bell

Many of the heated arguments about the meaning of "Bell's theorem" arise because this phrase can refer to two different theorems that John Bell proved, the first in 1964 and the second in 1976. His 1964 theorem is the incompatibility of quantum phenomena with the dual assumptions of locality and determinism. His 1976 theorem is the incompatibility of quantum phenomena with the unitary property of local causality. This is contrary to Bell's own later assertions, that his 1964 theorem began with that single, and indivisible, assumption of local causality (even if not by that name). While there are other forms of Bell's theorems --- which I present to explain the relation between Jarrett-completeness, "fragile locality", and EPR-completeness --- I maintain that Bell's two versions are the essential ones. Although the two Bell's theorems are logically equivalent, their assumptions are not, and the different versions of the theorem suggest quite different conclusions, which are embraced by different communities. For realists, the notion of local causality, ruled out by Bell's 1976 theorem, is motivated implicitly by Reichenbach's Principle of common cause and explicitly by the Principle of relativistic causality, and it is the latter which must be forgone. Operationalists pay no heed to Reichenbach's Principle, but wish to keep the Principle of relativistic causality, which, bolstered by an implicit "Principle of agent-causation", implies their notion of locality. Thus for operationalists, Bell's theorem is the 1964 one, and implies that it is determinism that must be forgone. I discuss why the two `camps' are drawn to these different conclusions, and what can be done to increase mutual understanding.

preprint2013arXiv

Entanglement verification and steering when Alice and Bob cannot be trusted

Various protocols exist by which a referee can be convinced that two observers share an entangled resource. Such protocols typically specify the types of communication allowed, and the degrees of trust required, between the referee and each observer. Here it is shown that the need for any degree of trust of the observers by the referee can be completely removed via the referee using classical and quantum communication channels appropriately. In particular, trust-free verification of Bell nonlocality, EPR-steering, and entanglement, respectively, requires two classical channels, one classical and one quantum channel, and two quantum channels. These channels correspond to suitable inputs of quantum randomness by the referee, which prevent the observers from mimicking entanglement using shared classical randomness. Our results generalize recent work by Buscemi [Phys. Rev. Lett. 108, 200401 (2012)], and offer a perspective on the operational significance of that work. They also offer the possibility of simpler experimental demonstrations of the basic idea of quantum-refereed nonlocality tests.

preprint2013arXiv

Experimental test of universal complementarity relations

Complementarity restricts the accuracy with which incompatible quantum observables can be jointly measured. Despite popular conception, the Heisenberg uncertainty relation does not quantify this principle. We report the experimental verification of universally valid complementarity relations, including an improved relation derived here. We exploit Einstein-Poldolsky-Rosen correlations between two photonic qubits, to jointly measure incompatible observables of one. The product of our measurement inaccuracies is low enough to violate the widely used, but not universally valid, Arthurs-Kelly relation.

preprint2013arXiv

Loss-Tolerant Tests Of Einstein-Podolsky-Rosen-Steering

We analyse two classes of Einstein-Podolsky-Rosen (EPR)-steering inequalities, the violation of which can be used to demonstrate EPR-steering with an entangled two-qubit Werner state: linear inequalities and quadratic inequalities. We discuss how post-selection of results (by appeal to the fair sampling assumption) can compromise the rigour of these inequalities in experimental tests of EPR-steering. By considering the worst-case scenarios in which detector inefficiency or other loss could be exploited within a local hidden-state model, we derive inequalities that enable rigorous but loss-tolerant demonstrations of EPR-steering. The linear inequalities, and special cases of the quadratic inequalities, have been used in recent experiments. Our results indicate that regardless of the number of settings used, quadratic inequalities are never better, and often worse, than linear inequalities.

preprint2013arXiv

Quantum discord is Bohr's notion of non-mechanical disturbance introduced in his answer to EPR

By rigorously formalizing the Einstein-Podolsky-Rosen (EPR) argument, and Bohr's reply, one can appreciate that both arguments were technically correct. Their opposed conclusions about the completeness of quantum mechanics hinged upon an explicit difference in their criteria for when a measurement on Alice's system can be regarded as not disturbing Bob's system. The EPR criteria allow their conclusion (incompletness) to be reached by establishing the physical reality of just a single observable $q$ (not a conjugate pair $q$ and $p$), but I show that Bohr's definition of disturbance prevents the EPR chain of reasoning from establishing even this. Moreover, I show that Bohr's definition is intimately related to the asymmetric concept of quantum discord from quantum information theory: if and only if the joint state has no Alice-discord, she can measure any observable without disturbing (in Bohr's sense) Bob's system. Discord can be present even when systems are unentangled, and this has implications for our understanding of the historical development of notions of quantum nonlocality.

preprint2013arXiv

Quantum Jumps Are More Quantum Than Quantum Diffusion

It was recently argued [Phys. Rev. Lett 108, 220402 (2012)] that the stochastic dynamics of an open quantum system are not inherent to the system, but rather depend on the existence and nature of a distant detector. The proposed experimental tests involved homodyne detection, giving rise to quantum diffusion, and required total efficiencies of well over 50%. Here we prove that for no system is it possible to demonstrate detector-dependence using diffusive-type detection of efficiency less than 50%. However, this no-go theorem does not apply to quantum jumps, and we propose a test involving a qubit, using different jump-type detectors, with a threshold efficiency of only 37%.

preprint2013arXiv

Stochastic Heisenberg limit: Optimal estimation of a fluctuating phase

The ultimate limits to estimating a fluctuating phase imposed on an optical beam can be found using the recently derived continuous quantum Cramer-Rao bound. For Gaussian stationary statistics, and a phase spectrum scaling asymptotically as 1/omega^p with p>1, the minimum mean-square error in any (single-time) phase estimate scales as N^{-2(p-1)/(p+1)}, where N is the photon flux. This gives the usual Heisenberg limit for a constant phase (as the limit p--> infinity) and provides a stochastic Heisenberg limit for fluctuating phases. For p=2 (Brownian motion), this limit can be attained by phase tracking.

preprint2012arXiv

Are dynamical quantum jumps detector-dependent?

Dynamical quantum jumps were initially conceived by Bohr as objective events associated with the emission of a light quantum by an atom. Since the early 1990s they have come to be understood as being associated rather with the detection of a photon by a measurement device, and that different detection schemes result in different types of jumps (or diffusion). Here we propose experimental tests to rigorously prove the detector-dependence of the stochastic evolution of an individual atom. The tests involve no special preparation of the atom or field, and the required efficiency can be as low as η~58%.

preprint2012arXiv

Bell nonlocality, signal locality and unpredictability (or What Bohr could have told Einstein at Solvay had he known about Bell experiments)

The 1964 theorem of John Bell shows that no model that reproduces the predictions of quantum mechanics can simultaneously satisfy the assumptions of locality and determinism. On the other hand, the assumptions of \emph{signal locality} plus \emph{predictability} are also sufficient to derive Bell inequalities. This simple theorem, previously noted but published only relatively recently by Masanes, Acin and Gisin, has fundamental implications not entirely appreciated. Firstly, nothing can be concluded about the ontological assumptions of locality or determinism independently of each other -- it is possible to reproduce quantum mechanics with deterministic models that violate locality as well as indeterministic models that satisfy locality. On the other hand, the operational assumption of signal locality is an empirically testable (and well-tested) consequence of relativity. Thus Bell inequality violations imply that we can trust that some events are fundamentally \emph{unpredictable}, even if we cannot trust that they are indeterministic. This result grounds the quantum-mechanical prohibition of arbitrarily accurate predictions on the assumption of no superluminal signalling, regardless of any postulates of quantum mechanics. It also sheds a new light on an early stage of the historical debate between Einstein and Bohr.

preprint2012arXiv

Conclusive quantum steering with superconducting transition edge sensors

Quantum steering allows two parties to verify shared entanglement even if one measurement device is untrusted. A conclusive demonstration of steering through the violation of a steering inequality is of considerable fundamental interest and opens up applications in quantum communication. To date all experimental tests with single photon states have relied on post-selection, allowing untrusted devices to cheat by hiding unfavourable events in losses. Here we close this "detection loophole" by combining a highly efficient source of entangled photon pairs with superconducting transition edge sensors. We achieve an unprecedented ~62% conditional detection efficiency of entangled photons and violate a steering inequality with the minimal number of measurement settings by 48 standard deviations. Our results provide a clear path to practical applications of steering and to a photonic loophole-free Bell test.

preprint2012arXiv

Does nonlinear metrology offer improved resolution? Answers from quantum information theory

A number of authors have suggested that nonlinear interactions can enhance resolution of phase shifts beyond the usual Heisenberg scaling of 1/n, where n is a measure of resources such as the number of subsystems of the probe state or the mean photon number of the probe state. These suggestions are based on calculations of `local precision' for particular nonlinear schemes. However, we show that there is no simple connection between the local precision and the average estimation error for these schemes, leading to a scaling puzzle. This puzzle is partially resolved by a careful analysis of iterative implementations of the suggested nonlinear schemes. However, it is shown that the suggested nonlinear schemes are still limited to an exponential scaling in \sqrt{n}. (This scaling may be compared to the exponential scaling in n which is achievable if multiple passes are allowed, even for linear schemes.) The question of whether nonlinear schemes may have a scaling advantage in the presence of loss is left open. Our results are based on a new bound for average estimation error that depends on (i) an entropic measure of the degree to which the probe state can encode a reference phase value, called the G-asymmetry, and (ii) any prior information about the phase shift. This bound is asymptotically stronger than bounds based on the variance of the phase shift generator. The G-asymmetry is also shown to directly bound the average information gained per estimate. Our results hold for any prior distribution of the shift parameter, and generalise to estimates of any shift generated by an operator with discrete eigenvalues.

preprint2012arXiv

Heisenberg-style bounds for arbitrary estimates of shift parameters including prior information

A rigorous lower bound is obtained for the average resolution of any estimate of a shift parameter, such as an optical phase shift or a spatial translation. The bound has the asymptotic form k_I/<2|G|> where G is the generator of the shift (with an arbitrary discrete or continuous spectrum), and hence establishes a universally applicable bound of the same form as the usual Heisenberg limit. The scaling constant k_I depends on prior information about the shift parameter. For example, in phase sensing regimes, where the phase shift is confined to some small interval of length L, the relative resolution δ\hatΦ/L has the strict lower bound (2πe^3)^{-1/2}/<2m| G_1 |+1>, where m is the number of probes, each with generator G_1, and entangling joint measurements are permitted. Generalisations using other resource measures and including noise are briefly discussed. The results rely on the derivation of general entropic uncertainty relations for continuous observables, which are of interest in their own right.

preprint2012arXiv

Maximum information gain in weak or continuous measurements of qudits: complementarity is not enough

To maximize average information gain for a classical measurement, all outcomes of an observation must be equally likely. The condition of equally likely outcomes may be enforced in quantum theory by ensuring that one's state $ρ$ is maximally different, or complementary, to the measured observable. This requires the ability to perform unitary operations on the state, conditioned on the results of prior measurements. We consider the case of measurement of a component of angular momentum for a qudit (a $D$-dimensional system, with $D=2J+1$). For weak or continuous-in-time (i.e. repeated weak) measurements, we show that the complementarity condition ensures an average improvement, in the rate of purification, of only 2. However, we show that by choosing the optimal control protocol of this type, one can attain the best possible scaling, $O(D^{2})$, for the average improvement. For this protocol the acquisition of information is nearly deterministic. Finally we contrast these results with those for complementarity-based protocols in a register of qbits.

preprint2012arXiv

One-sided Device-Independent Quantum Key Distribution: Security, feasibility, and the connection with steering

We analyze the security and feasibility of a protocol for Quantum Key Distribution (QKD), in a context where only one of the two parties trusts his measurement apparatus. This scenario lies naturally between standard QKD, where both parties trust their measurement apparatuses, and Device-Independent QKD (DI-QKD), where neither does, and can be a natural assumption in some practical situations. We show that the requirements for obtaining secure keys are much easier to meet than for DI-QKD, which opens promising experimental opportunities. We clarify the link between the security of this one-sided DI-QKD scenario and the demonstration of quantum steering, in analogy to the link between DI-QKD and the violation of Bell inequalities.

preprint2012arXiv

Optimal Heisenberg-style bounds for the average performance of arbitrary phase estimates

The ultimate bound to the accuracy of phase estimates is often assumed to be given by the Heisenberg limit. Recent work seemed to indicate that this bound can be violated, yielding measurements with much higher accuracy than was previously expected. The Heisenberg limit can be restored as a rigorous bound to the accuracy provided one considers the accuracy averaged over the possible values of the unknown phase, as we have recently shown [Phys. Rev. A 85, 041802(R) (2012)]. Here we present an expanded proof of this result together with a number of additional results, including the proof of a previously conjectured stronger bound in the asymptotic limit. Other measures of the accuracy are examined, as well as other restrictions on the generator of the phase shifts. We provide expanded numerical results for the minimum error and asymptotic expansions. The significance of the results claiming violation of the Heisenberg limit is assessed, followed by a detailed discussion of the limitations of the Cramer-Rao bound.

preprint2012arXiv

Quantum-enhanced optical phase tracking

Tracking a randomly varying optical phase is a key task in metrology, with applications in optical communication. The best precision for optical phase tracking has till now been limited by the quantum vacuum fluctuations of coherent light. Here we surpass this coherent-state limit by using a continuous-wave beam in a phase-squeezed quantum state. Unlike in previous squeezing-enhanced metrology, restricted to phases with very small variation, the best tracking precision (for a fixed light intensity) is achieved for a finite degree of squeezing, due to Heisenberg's uncertainty principle. By optimizing the squeezing we track the phase with a mean square error 15 \pm 4 % below the coherent-state limit.

preprint2012arXiv

Qubit purification speed-up for three complementary continuous measurements

We consider qubit purification under simultaneous continuous measurement of the three non-commuting qubit operators σ_x, σ_y, σ_z. The purification dynamics is quantified by (i) the average purification rate, and (ii) the mean time of reaching given level of purity, (1-ε). Under ideal measurements (detector efficiency η=1), we show in the first case an asymptotic mean purification speed-up of 4 as compared to a standard (classical) single-detector measurement. However by the second measure --- the mean time of first passage T(ε) of the purity --- the corresponding speed-up is only 2. We explain these speed-ups using the isotropy of the qubit evolution that provides an equivalence between the original measurement directions and three simultaneous measurements, one with an axis aligned along the Bloch vector and the other with axes in the two complementary directions. For inefficient detectors, η=1-δ<1 the mean time of first passage T(δ,ε) increases since qubit purification competes with an isotropic qubit dephasing. In the asymptotic high-purity limit (ε, δ<< 1) we show that the increase possesses a scaling behavior: ΔT(δ,ε) is a function only of the ratio δ/ε. The increase ΔT(δ/ε) is linear for small argument but becomes exponential ~ exp(δ/2ε) for δ/ε large.

preprint2012arXiv

The Simplest Demonstrations of Quantum Nonlocality

We investigate the complexity cost of demonstrating the key types of nonclassical correlations --- Bell inequality violation, EPR-steering, and entanglement --- with independent agents, theoretically and in a photonic experiment. We show that the complexity cost exhibits a hierarchy among these three tasks, mirroring the recently-discovered hierarchy for how robust they are to noise. For Bell inequality violations, the simplest test is the well-known CHSH test, but for EPR-steering and entanglement the tests that involve the fewest number of detection patterns require non-projective measurements. The simplest EPR-steering requires a choice of projective measurement for one agent and a single non-projective measurement for the other, while the simplest entanglement test uses just a single non-projective measurement for each agent. In both of these cases, we derive our inequalities using the concept of circular 2-designs. This leads to the interesting feature that in our photonic demonstrations, the correlation of interest is independent of the angle between the linear polarizers used by the two parties, which thus require no alignment.

preprint2012arXiv

Universality of the Heisenberg limit for estimates of random phase shifts

The Heisenberg limit traditionally provides a lower bound on the phase uncertainty scaling as 1/<N>, where <N> is the mean number of photons in the probe. However, this limit has a number of loopholes which potentially might be exploited, to achieve measurements with even greater accuracy. Here we close these loopholes by proving a completely rigorous form of the Heisenberg limit for the average error over all phase shifts. Our result gives the first completely general, constraint-free and non-asymptotic statement of the Heisenberg limit. It holds for all phase estimation schemes, including multiple passes, nonlinear phase shifts, multimode probes, and arbitrary measurements.

preprint2011arXiv

An interleaved sampling scheme for the characterization of single qubit dynamics

In this paper, we demonstrate that interleaved sampling techniques can be used to characterize the Hamiltonian of a qubit and its environmental decoherence rate. The technique offers a significant advantage in terms of the number of measurements that are required to characterize a qubit. When compared to the standard Nyquist-Shannon sampling rate, the saving in the total measurement time for the interleaved method is approximately proportional to the ratio of the sample rates.

preprint2011arXiv

Characterization of a qubit Hamiltonian using adaptive measurements in a fixed basis

We investigate schemes for Hamiltonian parameter estimation of a two-level system using repeated measurements in a fixed basis. The simplest (Fourier based) schemes yield an estimate with a mean square error (MSE) that decreases at best as a power law ~N^{-2} in the number of measurements N. By contrast, we present numerical simulations indicating that an adaptive Bayesian algorithm, where the time between measurements can be adjusted based on prior measurement results, yields a MSE which appears to scale close to \exp(-0.3 N). That is, measurements in a single fixed basis are sufficient to achieve exponential scaling in N.

preprint2011arXiv

Fundamental Quantum Limit to Waveform Estimation

We derive a quantum Cramér-Rao bound (QCRB) on the error of estimating a time-changing signal. The QCRB provides a fundamental limit to the performance of general quantum sensors, such as gravitational-wave detectors, force sensors, and atomic magnetometers. We apply the QCRB to the problem of force estimation via continuous monitoring of the position of a harmonic oscillator, in which case the QCRB takes the form of a spectral uncertainty principle. The bound on the force-estimation error can be achieved by implementing quantum noise cancellation in the experimental setup and applying smoothing to the observations.

preprint2011arXiv

Quantum feedback for rapid state preparation in the presence of control imperfections

Quantum feedback control protocols can improve the operation of quantum devices. Here we examine the performance of a purification protocol when there are imperfections in the controls. The ideal feedback protocol produces an $x$ eigenstate from a mixed state in the minimum time, and is known as rapid state preparation. The imperfections we examine include time delays in the feedback loop, finite strength feedback, calibration errors, and inefficient detection. We analyse these imperfections using the Wiseman-Milburn feedback master equation and related formalism. We find that the protocol is most sensitive to time delays in the feedback loop. For systems with slow dynamics, however, our analysis suggests that inefficient detection would be the bigger problem. We also show how system imperfections, such as dephasing and damping, can be included in model via the feedback master equation.

preprint2011arXiv

Tracking an open quantum system using a finite state machine: stability analysis

A finite-dimensional Markovian open quantum system will undergo quantum jumps between pure states, if we can monitor the bath to which it is coupled with sufficient precision. In general these jumps, plus the between-jump evolution, create a trajectory which passes through infinitely many different pure states, even for ergodic systems. However, as shown recently by us [Phys. Rev. Lett. \textbf{106}, 020406 (2011)], it is possible to construct {\em adaptive} monitorings which restrict the system to jumping between a finite number of states. That is, it is possible to track the system using a {\em finite state machine} as the apparatus. In this paper we consider the question of the stability of these monitoring schemes. Restricting to cyclic jumps for a qubit, we give a strong analytical argument that these schemes are always stable, and supporting analytical and numerical evidence for the example of resonance fluorescence. This example also enables us to explore a range of behaviors in the evolution of individual trajectories, for several different monitoring schemes.

preprint2010arXiv

Rapid purification of quantum systems by measuring in a feedback-controlled unbiased basis

Rapid-purification by feedback --- specifically, reducing the mean impurity faster than by measurement alone --- can be achieved by making the eigenbasis of the density matrix to be unbiased relative to the measurement basis. Here we further examine the protocol introduced by Combes and Jacobs [Phys.Rev.Lett. {\bf 96}, 010504 (2006)] involving continuous measurement of the observable $J_z$ for a $D$-dimensional system. We rigorously re-derive the lower bound $(2/3)(D+1)$ on the achievable speed-up factor, and also an upper bound, namely $D^2/2$, for all feedback protocols that use measurements in unbiased bases. Finally we extend our results to $n$ independent measurements on a register of $n$ qubits, and derive an upper bound on the achievable speed-up factor that scales linearly with $n$.

preprint2010arXiv

Replacing Quantum Feedback with Open-Loop Control and Quantum Filtering

Feedback control protocols can stabilize and enhance the operation of quantum devices, however, unavoidable delays in the feedback loop adversely affect their performance. We introduce a quantum control methodology, combining open-loop control with quantum filtering, which is not constrained by feedback delays. For the problems studied (rapid purification and rapid measurement) we analytically derive lower bounds on the control performance that are comparable with the best corresponding bounds for feedback protocols.