Searcharxiv⌕ Search

arXiv subjects

Howard M. Wiseman

Publications and source records attributed to Howard M. Wiseman.

At least 37 records · Page 2Linked to original sources

On the power of one pure steered state for EPR-steering with a pair of qubits

As originally introduced, the EPR phenomenon was the ability of one party (Alice) to steer, by her choice between two measurement settings, the quantum system of another party (Bob) into two distinct ensembles of pure states. As later formalized as a quantum information task, EPR-steering can be shown even when the distinct ensembles comprise mixed states. Consider the scenario where Alice and Bob each have a qubit and Alice performs dichotomic projective measurements. In this case, the states in the ensembles to which she can steer form the surface of an ellipsoid ${\cal E}$ in Bob's Bloch ball. Further, let the steering ellipsoid ${\cal E}$ have nonzero volume. It has previously been shown that if Alice's first measurement setting yields an ensemble comprising two pure states, then this, plus any one other measurement setting, will demonstrate EPR-steering. Here we consider what one can say if the ensemble from Alice's first setting contains only one pure state $\mathsf{p}\in{\cal E}$, occurring with probability $p_\mathsf{p}$. Using projective geometry, we derive the necessary and sufficient condition analytically for Alice to be able to demonstrate EPR-steering of Bob's state using this and some second setting, when the two ensembles from these lie in a given plane. Based on this, we show that, for a given ${\cal E}$, if $p_\mathsf{p}$ is high enough [$p_{\sf p} > p_{\rm max}^{\cal E} \in [0,1)$] then any distinct second setting by Alice is sufficient to demonstrate EPR-steering. Similarly we derive a $p_{\rm min}^{\cal E}$ such that $p_\mathsf{p}>p_{\rm min}^{\cal E}$ is necessary for Alice to demonstrate EPR-steering using only the first setting and some other setting. Moreover, the expressions we derive are tight; for spherical steering ellipsoids, the bounds coincide: $p_{\rm max}^{\cal E} = p_{\rm min}^{\cal E}$.

quant-ph↗

Shareability of steering in 2-producible states

Quantum steering is the phenomenon whereby one party (Alice) proves entanglement by "steering'' the system of another party (Bob) into distinct ensembles of states, by performing different measurements on her subsystem. Here, we investigate steering in a network scenario involving $n$ parties, who each perform local measurements on part of a global quantum state, that is produced using only two-party entangled states, and mixing with ancillary separable states. We introduce three scenarios which can be straightforwardly implemented in standard quantum optics architecture, which we call random $\frac{n}{2}$-pair entanglement, random pair entanglement and semi-random pair entanglement. We study steerability of the states across two-party marginals which arise in the three scenarios, and derive analytically the necessary and sufficient steering criteria for different sets of measurement settings. Strikingly, using the semi-random pair entanglement construction, one party can steer every one of the $n-1$ other parties, for arbitrarily large $n$, using only two measurements. Finally, exploiting symmetry, we study various small network configurations (three or four parties) in the three scenarios, under different measurements and produced by different two-party entangled states.

quant-ph↗

How much time does a photon spend as an atomic excitation before being transmitted?

When a single photon traverses a cloud of 2-level atoms, the average time it spends as an atomic excitation -- as measured by weakly probing the atoms -- can be shown to be the spontaneous lifetime of the atoms multiplied by the probability of the photon being scattered into a side mode. A tempting inference from this is that an average scattered photon spends one spontaneous lifetime as an atomic excitation, while photons that are transmitted spend zero time as atomic excitations. However, recent experimental work by some of us [PRX Quantum 3, 010314 (2022)] refutes this intuition. We examine this problem using the weak-value formalism and show that the time a transmitted photon spends as an atomic excitation is equal to the group delay, which can take on positive or negative values. We also determine the corresponding time for scattered photons and find that it is equal to the time delay of the scattered photon pulse, which consists of a group delay and a time delay associated with elastic scattering, known as the Wigner time delay. This work provides new insight into the complex and surprising histories of photons travelling through absorptive media.

quant-ph↗

A "thoughtful" Local Friendliness no-go theorem: a prospective experiment with new assumptions to suit

A recent paper by two of us and co-workers, based on an extended Wigner's friend scenario, demonstrated that certain empirical correlations predicted by quantum theory (QT) violate inequalities derived from a set of metaphysical assumptions we called "Local Friendliness" (LF). These assumptions are strictly weaker than those used for deriving Bell inequalities. Crucial to the theorem was the premise that a quantum system with reversible evolution could be an observer (colloquially, a "friend"). However, that paper was noncommittal on what would constitute an observer for the purpose of an experiment. Here, we present a new LF no-go theorem which takes seriously the idea that a system's having *thoughts* is a sufficient condition for it to be an observer. Our new derivation of the LF inequalities uses four metaphysical assumptions, three of which are thought-related, including one that is explicitly called "Friendliness". These four assumptions, in conjunction, allow one to derive LF inequalities for experiments involving the type of system that "Friendliness" refers to. In addition to these four metaphysical assumptions, this new no-go theorem requires two assumptions about what is *technologically* feasible: Human-Level Artificial Intelligence, and Universal Quantum Computing which is fast and large scale. The latter is often motivated by the belief that QT is universal, but this is *not* an assumption of the theorem. The intent of the new theorem is to give a clear goal for future experimentalists, and a clear motivation for trying to achieve that goal. We review various approaches to QT in light of our theorem. The popular stance that "quantum theory needs no interpretation" does not question any of our assumptions and so is ruled out. Finally, we quantitatively discuss how difficult the experiment we envisage would be, and briefly discuss milestones on the paths towards it.

quant-ph↗

Eigenstates in the Many Interacting Worlds approach: Ground states in 1D and 2D and excited states in 1D (long version)

Recently the Many-Interacting-Worlds (MIW) approach to a quantum theory without wave functions was proposed. This approach leads quite naturally to numerical integrators of the Schrödinger equation. It has been suggested that such integrators may feature advantages over fixed-grid methods for higher numbers of degrees of freedom. However, as yet, little is known about concrete MIW models for more than one spatial dimension and/or more than one particle. In this work we develop the MIW approach further to treat arbitrary degrees of freedom, and provide a systematic study of a corresponding numerical implementation for computing one-particle ground and excited states in one dimension, and ground states in two spatial dimensions. With this step towards the treatment of higher degrees of freedom we hope to stimulate their further study.

quant-ph↗

Quantum state smoothing cannot be assumed classical even when the filtering and retrofiltering are classical

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.

quant-ph↗

Allowing Wigner's friend to sequentially measure incompatible observables

The Wigner's friend thought experiment has gained a resurgence of interest in recent years thanks to no-go theorems that extend it to Bell-like scenarios. One of these, by us and co-workers, showcased the contradiction that arises between quantum theory and a set of assumptions, weaker than those in Bell's theorem, which we named "local friendliness". Using these assumptions it is possible to arrive at a set of inequalities for a given scenario, and, in general, some of these inequalities will be harder to violate than the Bell inequalities for the same scenario. A crucial feature of the extended Wigner's friend scenario in our aforementioned work was the ability of a superobserver to reverse the unitary evolution that gives rise to their friend's measurement. Here, we present a new scenario where the superobserver can interact with the friend repeatedly in a single experimental instance, either by asking them directly for their result, thus ending that instance, or by reversing their measurement and instructing them to perform a new one. We show that, in these scenarios, the local friendliness inequalities will always be the same as Bell inequalities.

quant-ph↗

A strong no-go theorem on the Wigner's friend paradox

Does quantum theory apply at all scales, including that of observers? New light on this fundamental question has recently been shed through a resurgence of interest in the long-standing Wigner's friend paradox. This is a thought experiment addressing the quantum measurement problem -- the difficulty of reconciling the (unitary, deterministic) evolution of isolated systems and the (non-unitary, probabilistic) state update after a measurement. Here, by building on a scenario with two separated but entangled friends introduced by Brukner, we prove that if quantum evolution is controllable on the scale of an observer, then one of 'No-Superdeterminism', 'Locality' or 'Absoluteness of Observed Events' -- that every observed event exists absolutely, not relatively -- must be false. We show that although the violation of Bell-type inequalities in such scenarios is not in general sufficient to demonstrate the contradiction between those three assumptions, new inequalities can be derived in a theory-independent manner, that are violated by quantum correlations. This is demonstrated in a proof-of-principle experiment where a photon's path is deemed an observer. We discuss how this new theorem places strictly stronger constraints on physical reality than Bell's theorem.

quant-ph↗

Greedy versus Map-based Optimized Adaptive Algorithms for random-telegraph-noise mitigation by spectator qubits

In a scenario where data-storage qubits are kept in isolation as far as possible, with minimal measurements and controls, noise mitigation can still be done using additional noise probes, with corrections applied only when needed. Motivated by the case of solid-state qubits, we consider dephasing noise arising from a two-state fluctuator, described by random telegraph process, and a noise probe which is also a qubit, a so-called spectator qubit (SQ). We construct the theoretical model assuming projective measurements on the SQ, and derive the performance of different measurement and control strategies in the regime where the noise mitigation works well. We start with the Greedy algorithm; that is, the strategy that always maximizes the data qubit coherence in the immediate future. We show numerically that this algorithm works very well, and find that its adaptive strategy can be well approximated by a simpler algorithm with just a few parameters. Based on this, and an analytical construction using Bayesian maps, we design a one-parameter ($Θ$) family of algorithms. In the asymptotic regime of high noise-sensitivity of the SQ, we show analytically that this $Θ$-family of algorithms reduces the data qubit decoherence rate by a divisor scaling as the square of this sensitivity. Setting $Θ$ equal to its optimal value, $Θ^\star$, yields the Map-based Optimized Adaptive Algorithm for Asymptotic Regime (MOAAAR). We show, analytically and numerically, that MOAAAR outperforms the Greedy algorithm, especially in the regime of high noise sensitivity of SQ.

quant-ph↗

Optimized mitigation of random-telegraph-noise dephasing by spectator-qubit sensing and control

Spectator qubits (SQs) are a tool to mitigate noise in hard-to-access data qubits. The SQ, designed to be much more sensitive to the noise, is measured frequently, and the accumulated results used rarely to correct the data qubits. For the hardware-relevant example of dephasing from random telegraph noise, we introduce a Bayesian method employing complex linear maps which leads to a plausibly optimal adaptive measurement and control protocol. The suppression of the decoherence rate is quadratic in the SQ sensitivity, establishing that the SQ paradigm works arbitrarily well in the right regime.

quant-ph↗

Obtaining a Single-Photon Weak Value from Experiments using a Strong (Many-Photon) Coherent State

A common type of weak-value experiment prepares a single particle in one state, weakly measures the occupation number of another state, and post-selects on finding the particle in a third state (a 'click'). Most weak-value experiments have been done with photons, but the heralded preparation of a single photon is difficult and slow of rate. Here we show that the weak value mentioned above can be measured using strong (many-photon) coherent states, while still needing only a 'click' detector such as an avalanche photodiode. One simply subtracts the no-click weak value from the click weak-value, and scales the answer by a simple function of the click probability.

quant-ph↗

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.

quant-ph↗

Implications of Local Friendliness violation for quantum causality

We provide a new formulation of the Local Friendliness no-go theorem of Bong et al [Nat. Phys. 16, 1199 (2020)] from fundamental causal principles, providing another perspective on how it puts strictly stronger bounds on quantum reality than Bell's theorem. In particular, quantum causal models have been proposed as a way to maintain a peaceful coexistence between quantum mechanics and relativistic causality, while respecting Leibniz's methodological principle. This works for Bell's theorem but does not work for the Local Friendliness no-go theorem, which considers an extended Wigner's Friend scenario. More radical conceptual renewal is required; we suggest that cleaving to Leibniz's principle requires extending relativity to events themselves.

quant-ph↗

Non-Markovian wave-function collapse models are Bohmian-like theories in disguise

Spontaneous collapse models and Bohmian mechanics are two different solutions to the measurement problem plaguing orthodox quantum mechanics. They have, a priori nothing in common. At a formal level, collapse models add a non-linear noise term to the Schrödinger equation, and extract definite measurement outcomes either from the wave function (e.g. mass density ontology) or the noise itself (flash ontology). Bohmian mechanics keeps the Schrödinger equation intact but uses the wave function to guide particles (or fields), which comprise the primitive ontology. Collapse models modify the predictions of orthodox quantum mechanics, whilst Bohmian mechanics can be argued to reproduce them. However, it turns out that collapse models and their primitive ontology can be exactly recast as Bohmian theories. More precisely, considering (i) a system described by a non-Markovian collapse model, and (ii) an extended system where a carefully tailored bath is added and described by Bohmian mechanics, the stochastic wave-function of the collapse model is exactly the wave-function of the original system conditioned on the Bohmian hidden variables of the bath. Further, the noise driving the collapse model is a linear functional of the Bohmian variables. The randomness that seems progressively revealed in the collapse models lies entirely in the initial conditions in the Bohmian-like theory. Our construction of the appropriate bath is not trivial and exploits an old result from the theory of open quantum systems. This reformulation of collapse models as Bohmian theories brings to the fore the question of whether there exists `unromantic' realist interpretations of quantum theory that cannot ultimately be rewritten this way, with some guiding law. It also points to important foundational differences between `true' (Markovian) collapse models and non-Markovian models.

quant-ph↗

Demonstration that Einstein-Podolsky-Rosen steering requires more than one bit of faster-than-light information transmission

Schrödinger held that a local quantum system has some objectively real quantum state and no other (hidden) properties. He therefore took the Einstein-Podolsky-Rosen (EPR) phenomenon, which he generalized and called `steering', to require nonlocal wavefunction collapse. Because this would entail faster-than-light (FTL) information transmission, he doubted that it would be seen experimentally. Here we report a demonstration of EPR steering with entangled photon pairs that puts--in Schrödinger's interpretation--a non-zero lower bound on the amount of FTL information transmission. We develop a family of $n$-setting loss-tolerant EPR-steering inequalities allowing for a size-$d$ classical message sent from Alice's laboratory to Bob's. For the case $n=3$ and $d=2$ (one bit) we observe a statistically significant violation. Our experiment closes the efficiency and locality loopholes, and we address the freedom-of-choice loophole by using quantum random number generators to independently choose Alice's and Bob's measurement basis settings. To close the efficiency and locality loopholes simultaneously, we introduce methods for quickly switching between three mutually unbiased measurement bases and for accurately characterizing the efficiency of detectors. From the space-time arrangement of our experiment, we can conclude that if the mechanism for the observed bipartite correlations is that Alice's measurement induces wave-function collapse of Bob's particle, then more than one bit of information must travel from Alice to Bob at more than three times the speed of light.

quant-ph↗

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.

quant-ph↗

Quantum state smoothing as an optimal estimation problem with three different cost functions

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.

quant-ph↗

The Heisenberg limit for laser coherence

To quantify quantum optical coherence requires both the particle- and wave-natures of light. For an ideal laser beam [1,2,3], it can be thought of roughly as the number of photons emitted consecutively into the beam with the same phase. This number, $\mathfrak{C}$, can be much larger than $μ$, the number of photons in the laser itself. The limit on $\mathfrak{C}$ for an ideal laser was thought to be of order $μ^2$ [4,5]. Here, assuming nothing about the laser operation, only that it produces a beam with certain properties close to those of an ideal laser beam, and that it does not have external sources of coherence, we derive an upper bound: $\mathfrak{C} = O(μ^4)$. Moreover, using the matrix product states (MPSs) method [6,7,8,9], we find a model that achieves this scaling, and show that it could in principle be realised using circuit quantum electrodynamics (QED) [10]. Thus $\mathfrak{C} = O(μ^2)$ is only a standard quantum limit (SQL); the ultimate quantum limit, or Heisenberg limit, is quadratically better.

quant-ph↗