-
Simultaneous Measurements of Noncommuting Observables. Positive Transformations and Instrumental Lie Groups
Authors:
Christopher S. Jackson,
Carlton M. Caves
Abstract:
We formulate a general program for [...] analyzing continuous, differential weak, simultaneous measurements of noncommuting observables, which focuses on describing the measuring instrument autonomously, without states. The Kraus operators of such measuring processes are time-ordered products of fundamental differential positive transformations, which generate nonunitary transformation groups that…
▽ More
We formulate a general program for [...] analyzing continuous, differential weak, simultaneous measurements of noncommuting observables, which focuses on describing the measuring instrument autonomously, without states. The Kraus operators of such measuring processes are time-ordered products of fundamental differential positive transformations, which generate nonunitary transformation groups that we call instrumental Lie groups. The temporal evolution of the instrument is equivalent to the diffusion of a Kraus-operator distribution function defined relative to the invariant measure of the instrumental Lie group [...]. This way of considering instrument evolution we call the Instrument Manifold Program. We relate the Instrument Manifold Program to state-based stochastic master equations. We then explain how the Instrument Manifold Program can be used to describe instrument evolution in terms of a universal cover[,] the universal instrumental Lie group, which is independent [...] of Hilbert space. The universal instrument is generically infinite dimensional, in which situation the instrument's evolution is chaotic. Special simultaneous measurements have a finite-dimensional universal instrument, in which case the instrument is considered to be principal and can be analyzed within the [...] universal instrumental Lie group. Principal instruments belong at the foundation of quantum mechanics. We consider the three most fundamental examples: measurement of a single observable, of position and momentum, and of the three components of angular momentum. These measurements limit to strong simultaneous measurements. For a single observable, this gives the standard decay of coherence between inequivalent irreps; for the latter two, it gives a collapse within each irrep onto the canonical or spherical phase space, locating phase space at the boundary of these instrumental Lie groups.
△ Less
Submitted 9 June, 2023;
originally announced June 2023.
-
Simultaneous Momentum and Position Measurement and the Instrumental Weyl-Heisenberg Group
Authors:
Christopher S. Jackson,
Carlton M. Caves
Abstract:
The canonical commutation relation, $[Q,P] = i\hbar$, stands at the foundation of quantum theory and the original Hilbert space. The interpretation of $P$ & $Q$ as observables has always relied on the analogies that exist between the unitary transformations of Hilbert space and the canonical (a.k.a. contact) transformations of classical phase space. Now that the theory of quantum measurement is es…
▽ More
The canonical commutation relation, $[Q,P] = i\hbar$, stands at the foundation of quantum theory and the original Hilbert space. The interpretation of $P$ & $Q$ as observables has always relied on the analogies that exist between the unitary transformations of Hilbert space and the canonical (a.k.a. contact) transformations of classical phase space. Now that the theory of quantum measurement is essentially complete (this took a while), it is possible to revisit the canonical commutation relation in a way that sets the foundation of quantum theory not on unitary transformations, but on positive transformations. This paper shows how the concept of simultaneous measurement leads to a fundamental differential geometric problem whose solution shows us the following: The simultaneous $P$ & $Q$ measurement (SPQM) defines a universal measuring instrument, which takes the shape of a 7-dimensional manifold, a universal covering group we call the Instrumental Weyl-Heisenberg Group, IWH. The group IWH connects the identity to classical phase space in unexpected ways that are significant enough that the positive-operator-valued measure (POVM) offers a complete alternative to energy quantization. Five of the dimensions define processes that can be easily recognized and understood. The other two dimensions, the normalization and phase in the center of IWH, are less familiar. The normalization, in particular, requires special handling in order to describe and understand the SPQM instrument.
△ Less
Submitted 14 June, 2023; v1 submitted 1 June, 2023;
originally announced June 2023.
-
How to perform the coherent measurement of a curved phase space by continuous isotropic measurement. I. Spin and the Kraus-operator geometry of $\mathrm{SL}(2,\mathbb{C})$
Authors:
Christopher S. Jackson,
Carlton M. Caves
Abstract:
The generalized $Q$-function of a spin system can be considered the outcome probability distribution of a state subjected to a measurement represented by the spin-coherent-state (SCS) positive-operator-valued measure (POVM). As fundamental as the SCS POVM is to the 2-sphere phase-space representation of spin systems, it has only recently been reported that the SCS POVM can be performed for any spi…
▽ More
The generalized $Q$-function of a spin system can be considered the outcome probability distribution of a state subjected to a measurement represented by the spin-coherent-state (SCS) positive-operator-valued measure (POVM). As fundamental as the SCS POVM is to the 2-sphere phase-space representation of spin systems, it has only recently been reported that the SCS POVM can be performed for any spin system by continuous isotropic measurement of the three total spin components [E. Shojaee, C. S. Jackson, C. A. Riofrio, A. Kalev, and I. H. Deutsch, Phys. Rev. Lett. 121, 130404 (2018)]. This article develops the theoretical details of the continuous isotropic measurement and places it within the general context of curved-phase-space correspondences for quantum systems. The analysis is in terms of the Kraus operators that develop over the course of a continuous isotropic measurement. The Kraus operators of any spin $j$ are shown to represent elements of the Lie group $\mathrm{SL}(2,{\mathbb C})\cong\mathrm{Spin}(3,{\mathbb C})$, a complex version of the usual unitary operators that represent elements of $\mathrm{SU}(2)\cong\mathrm{Spin}(3,{\mathbb R})$. Consequently, the associated POVM elements represent points in the symmetric space $\mathrm{SU}(2)\backslash\mathrm{SL}(2,{\mathbb C})$, which can be recognized as the 3-hyperboloid. Three equivalent stochastic techniques, (Wiener) path integral, (Fokker-Planck) diffusion equation, and stochastic differential equations, are applied to show that the continuous isotropic POVM quickly limits to the SCS~\hbox{POVM}, placing spherical phase space at the boundary of the fundamental Lie group $\mathrm{SL}(2,{\mathbb C})$ in an operationally meaningful way. The Kraus-operator-centric analysis is representation independent -- and therefore geometric (independent of any spectral information about the spin components).
△ Less
Submitted 9 August, 2023; v1 submitted 26 July, 2021;
originally announced July 2021.
-
One from many: Estimating a function of many parameters
Authors:
Jonathan A. Gross,
Carlton M. Caves
Abstract:
Difficult it is to formulate achievable sensitivity bounds for quantum multiparameter estimation. Consider a special case, one parameter from many: many parameters of a process are unknown; estimate a specific linear combination of these parameters without having the ability to control any of the parameters. Superficially similar to single-parameter estimation, the problem retains genuinely multip…
▽ More
Difficult it is to formulate achievable sensitivity bounds for quantum multiparameter estimation. Consider a special case, one parameter from many: many parameters of a process are unknown; estimate a specific linear combination of these parameters without having the ability to control any of the parameters. Superficially similar to single-parameter estimation, the problem retains genuinely multiparameter aspects. Geometric reasoning demonstrates the conditions, necessary and sufficient, for saturating the fundamental and attainable quantum-process bound in this context.
△ Less
Submitted 16 September, 2020; v1 submitted 7 February, 2020;
originally announced February 2020.
-
Reframing SU(1,1) interferometry
Authors:
Carlton M. Caves
Abstract:
SU(1,1) interferometry, proposed in a classic 1986 paper by Yurke, McCall, and Klauder [Phys. Rev. A 33, 4033 (1986)], involves squeezing, displacing, and then unsqueezing two bosonic modes. It has, over the past decade, been implemented in a variety of experiments. Here I take SU(1,1) interferometry apart, to see how and why it ticks. SU(1,1) interferometry arises naturally as the two-mode versio…
▽ More
SU(1,1) interferometry, proposed in a classic 1986 paper by Yurke, McCall, and Klauder [Phys. Rev. A 33, 4033 (1986)], involves squeezing, displacing, and then unsqueezing two bosonic modes. It has, over the past decade, been implemented in a variety of experiments. Here I take SU(1,1) interferometry apart, to see how and why it ticks. SU(1,1) interferometry arises naturally as the two-mode version of active-squeezing-enhanced, back-action-evading measurements aimed at detecting the phase-space displacement of a harmonic oscillator subjected to a classical force. Truncating an SU(1,1) interferometer, by omitting the second two-mode squeezer, leaves a prototype that uses the entanglement of two-mode squeezing to detect and characterize a disturbance on one of the two modes from measurement statistics gathered from both modes.
△ Less
Submitted 28 December, 2019;
originally announced December 2019.
-
In situ characterization of linear-optical networks in randomized boson sampling
Authors:
Saleh Rahimi-Keshari,
Sima Baghbanzadeh,
Carlton M. Caves
Abstract:
We introduce a method for efficient, in situ characterization of linear-optical networks (LONs) in randomized boson-sampling (RBS) experiments. We formulate RBS as a distributed task between two parties, Alice and Bob, who share two-mode squeezed-vacuum states. In this protocol, Alice performs local measurements on her modes, either photon counting or heterodyne. Bob implements and applies to his…
▽ More
We introduce a method for efficient, in situ characterization of linear-optical networks (LONs) in randomized boson-sampling (RBS) experiments. We formulate RBS as a distributed task between two parties, Alice and Bob, who share two-mode squeezed-vacuum states. In this protocol, Alice performs local measurements on her modes, either photon counting or heterodyne. Bob implements and applies to his modes the LON requested by Alice; at the output of the LON, Bob performs photon counting, the results of which he sends to Alice via classical channels. In the ideal situation, when Alice does photon counting, she obtains from Bob samples from the probability distribution of the RBS problem, a task that is believed to be classically hard to simulate. When Alice performs heterodyne measurements, she converts the experiment to a problem that is classically efficiently simulable, but more importantly, enables her to characterize a lossy LON on the fly, without Bob's knowing and without changing anything at Bob's end (this is what we mean by in situ). We introduce and calculate the fidelity between the joint states shared by Alice and Bob after the ideal and lossy LONs as a measure of distance between the two LONs. Using this measure, we obtain an upper bound on the total variation distance between the ideal probability distribution for the RBS problem and the probability distribution achieved by a lossy LON. Our method displays the power of the entanglement of the two-mode squeezed-vacuum states: the entanglement allows Alice to choose for each run of the experiment between RBS and a simple characterization protocol based on first-order coherence between complex amplitudes.
△ Less
Submitted 8 March, 2020; v1 submitted 2 September, 2019;
originally announced September 2019.
-
Qubit models of weak continuous measurements
Authors:
Jonathan A. Gross,
Carlton M. Caves,
Gerard J. Milburn,
Joshua Combes
Abstract:
In this paper we approach the theory of continuous measurements and the associated unconditional and conditional (stochastic) master equations from the perspective of quantum information and quantum computing. We do so by showing how the continuous-time evolution of these master equations arises from discretizing in time the interaction between a system and a probe field and by formulating quantum…
▽ More
In this paper we approach the theory of continuous measurements and the associated unconditional and conditional (stochastic) master equations from the perspective of quantum information and quantum computing. We do so by showing how the continuous-time evolution of these master equations arises from discretizing in time the interaction between a system and a probe field and by formulating quantum-circuit diagrams for the discretized evolution. We then reformulate this interaction by replacing the probe field with a bath of qubits, one for each discretized time segment, reproducing all of the standard quantum-optical master equations. This provides an economical formulation of the theory, highlighting its fundamental underlying assumptions.
△ Less
Submitted 13 March, 2022; v1 submitted 25 October, 2017;
originally announced October 2017.
-
Bosonic Particle-Correlated States: A Nonperturbative Treatment Beyond Mean Field
Authors:
Zhang Jiang,
Alexandre B. Tacla,
Carlton M. Caves
Abstract:
Many useful properties of dilute Bose gases at ultra-low temperature are predicted precisely by the (mean-field) product-state Ansatz, in which all particles are in the same quantum state. Yet, in situations where particle-particle correlations become important, the product Ansatz fails. To include correlations nonperturbatively, we consider a new set of states: the particle-correlated state of…
▽ More
Many useful properties of dilute Bose gases at ultra-low temperature are predicted precisely by the (mean-field) product-state Ansatz, in which all particles are in the same quantum state. Yet, in situations where particle-particle correlations become important, the product Ansatz fails. To include correlations nonperturbatively, we consider a new set of states: the particle-correlated state of $N=l\times n$ bosons is derived by symmetrizing the $n$-fold product of an $l$-particle quantum state. The particle-correlated states can be simulated efficiently for large $N$, because their parameter spaces, which depend on $l$, do not grow with $n$. Here we formulate and develop in great detail the pure-state case for $l=2$, where the many-body state is constructed from a two-particle pure state. These paired wave functions, which we call pair-correlated states (PCS), were introduced by A. J. Leggett [Rev. Mod. Phys. ${\bf 73}$, 307 (2001)] as a particle-number-conserving version of the Bogoliubov approximation. We present an iterative algorithm that solves for the reduced (marginal) density matrices (RDMs), i.e., the correlation functions, associated with PCS in time $O(N)$. The RDMs can also be derived from the normalization factor of PCS, which is derived analytically in the large-$N$ limit. To test the efficacy of PCS, we analyze the ground state of the two-site Bose-Hubbard model by minimizing the energy of the PCS~state, both in its exact form and in its large-$N$ approximate form, and comparing with the exact ground state. For $N=1\,000$, the relative errors of the ground-state energy for both cases are within $10^{-5}$ over the entire parameter region from a single condensate to a Mott insulator. We present numerical results that suggest that PCS might be useful for describing the dynamics in the strongly interacting regime.
△ Less
Submitted 23 August, 2017; v1 submitted 5 June, 2017;
originally announced June 2017.
-
Quantum Estimation of Parameters of Classical Spacetimes
Authors:
T. G. Downes,
J. R. van Meter,
E. Knill,
G. J. Milburn,
C. M. Caves
Abstract:
We describe a quantum limit to measurement of classical spacetimes. Specifically, we formulate a quantum Cramer-Rao lower bound for estimating the single parameter in any one-parameter family of spacetime metrics. We employ the locally covariant formulation of quantum field theory in curved spacetime, which allows for a manifestly background-independent derivation. The result is an uncertainty rel…
▽ More
We describe a quantum limit to measurement of classical spacetimes. Specifically, we formulate a quantum Cramer-Rao lower bound for estimating the single parameter in any one-parameter family of spacetime metrics. We employ the locally covariant formulation of quantum field theory in curved spacetime, which allows for a manifestly background-independent derivation. The result is an uncertainty relation that applies to all globally hyperbolic spacetimes. Among other examples, we apply our method to detection of gravitational waves using the electromagnetic field as a probe, as in laser-interferometric gravitational-wave detectors. Other applications are discussed, from terrestrial gravimetry to cosmology.
△ Less
Submitted 6 November, 2017; v1 submitted 16 November, 2016;
originally announced November 2016.
-
Models of reduced-noise, probabilistic linear amplifiers
Authors:
Joshua Combes,
Nathan Walk,
A. P. Lund,
T. C. Ralph,
Carlton M. Caves
Abstract:
We construct an amplifier that interpolates between a nondeterministic, immaculate linear amplifier and a deterministic, ideal linear amplifier and beyond to nonideal linear amplifiers. The construction involves cascading an immaculate linear amplifier that has amplitude gain $g_1$ with a (possibly) nonideal linear amplifier that has gain $g_2$. With respect to normally ordered moments, the device…
▽ More
We construct an amplifier that interpolates between a nondeterministic, immaculate linear amplifier and a deterministic, ideal linear amplifier and beyond to nonideal linear amplifiers. The construction involves cascading an immaculate linear amplifier that has amplitude gain $g_1$ with a (possibly) nonideal linear amplifier that has gain $g_2$. With respect to normally ordered moments, the device has output noise $μ^2(G^2-1)$ where $G=g_1 g_2$ is the overall amplitude gain and $μ^2$ is a noise parameter. When $μ^2\ge1$, our devices realize ideal ($μ^2=1$) and nonideal ($μ^2>1$) linear amplifiers. When $0\leμ^2<1$, these devices work effectively only over a restricted region of phase space and with some subunity success probability $p_{\checkmark}$. We investigate the performance of our $μ^2$-amplifiers in terms of a gain-corrected probability-fidelity product and the ratio of input to output signal-to-noise ratios corrected for success probability.
△ Less
Submitted 10 March, 2016;
originally announced March 2016.
-
Sufficient Conditions for Efficient Classical Simulation of Quantum Optics
Authors:
Saleh Rahimi-Keshari,
Timothy C. Ralph,
Carlton M. Caves
Abstract:
We provide general sufficient conditions for the efficient classical simulation of quantum-optics experiments that involve inputting states to a quantum process and making measurements at the output. The first condition is based on the negativity of phase-space quasiprobability distributions (PQDs) of the output state of the process and the output measurements; the second one is based on the negat…
▽ More
We provide general sufficient conditions for the efficient classical simulation of quantum-optics experiments that involve inputting states to a quantum process and making measurements at the output. The first condition is based on the negativity of phase-space quasiprobability distributions (PQDs) of the output state of the process and the output measurements; the second one is based on the negativity of PQDs of the input states, the output measurements, and the transition function associated with the process. We show that these conditions provide useful practical tools for investigating the effects of imperfections in implementations of boson sampling. In particular, we apply our formalism to boson-sampling experiments that use single-photon or spontaneous-parametric-down-conversion sources and on-off photodetectors. Considering simple models for loss and noise, we show that above some threshold for the probability of random counts in the photodetectors, these boson-sampling experiments are classically simulatable. We identify mode mismatching as the major source of error contributing to random counts and suggest that this is the chief challenge for implementations of boson sampling of interesting size.
△ Less
Submitted 22 June, 2016; v1 submitted 20 November, 2015;
originally announced November 2015.
-
Fisher-symmetric informationally complete measurements for pure states
Authors:
Nan Li,
Christopher Ferrie,
Jonathan A. Gross,
Amir Kalev,
Carlton M. Caves
Abstract:
We introduce a new kind of quantum measurement that is defined to be symmetric in the sense of uniform Fisher information across a set of parameters that injectively represent pure quantum states in the neighborhood of a fiducial pure state. The measurement is locally informationally complete---i.e., it uniquely determines these parameters, as opposed to distinguishing two arbitrary quantum states…
▽ More
We introduce a new kind of quantum measurement that is defined to be symmetric in the sense of uniform Fisher information across a set of parameters that injectively represent pure quantum states in the neighborhood of a fiducial pure state. The measurement is locally informationally complete---i.e., it uniquely determines these parameters, as opposed to distinguishing two arbitrary quantum states---and it is maximal in the sense of a multi-parameter quantum Cramer-Rao bound. For a $d$-dimensional quantum system, requiring only local informational completeness allows us to reduce the number of outcomes of the measurement from a minimum close to but below $4d-3$, for the usual notion of global pure-state informational completeness, to $2d-1$.
△ Less
Submitted 16 February, 2016; v1 submitted 24 July, 2015;
originally announced July 2015.
-
On the novelty, efficacy, and significance of weak measurements for quantum tomography
Authors:
Jonathan A. Gross,
Ninnat Dangniam,
Christopher Ferrie,
Carlton M. Caves
Abstract:
The use of weak measurements for performing quantum tomography is enjoying increased attention due to several recent proposals. The advertised merits of using weak measurements in this context are varied, but are generally represented by novelty, increased efficacy, and foundational significance. We critically evaluate two proposals that make such claims and find that weak measurements are not an…
▽ More
The use of weak measurements for performing quantum tomography is enjoying increased attention due to several recent proposals. The advertised merits of using weak measurements in this context are varied, but are generally represented by novelty, increased efficacy, and foundational significance. We critically evaluate two proposals that make such claims and find that weak measurements are not an essential ingredient for most of their advertised features.
△ Less
Submitted 29 June, 2015;
originally announced June 2015.
-
Operational Discord Measure for Gaussian States with Gaussian Measurements
Authors:
Saleh Rahimi-Keshari,
Timothy C. Ralph,
Carlton M. Caves
Abstract:
We introduce an operational discord-type measure for quantifying nonclassical correlations in bipartite Gaussian states based on using Gaussian measurements. We refer to this measure as operational Gaussian discord (OGD). It is defined as the difference between the entropies of two conditional probability distributions associated to one subsystem, which are obtained by performing optimal local and…
▽ More
We introduce an operational discord-type measure for quantifying nonclassical correlations in bipartite Gaussian states based on using Gaussian measurements. We refer to this measure as operational Gaussian discord (OGD). It is defined as the difference between the entropies of two conditional probability distributions associated to one subsystem, which are obtained by performing optimal local and joint Gaussian measurements. We demonstrate the operational significance of this measure in terms of a Gaussian quantum protocol for extracting maximal information about an encoded classical signal. As examples, we calculate OGD for several Gaussian states in the standard form.
△ Less
Submitted 20 November, 2015; v1 submitted 8 February, 2015;
originally announced February 2015.
-
Heisenberg-limited metrology with information recycling
Authors:
Simon A. Haine,
Stuart S. Szigeti,
Matthias D. Lang,
Carlton M. Caves
Abstract:
Information recycling has been shown to improve the sensitivity of atom interferometers by exploiting atom-light entanglement. In this paper, we apply information recycling to an interferometer where the input quantum state has been partially transferred from some donor system. We demonstrate that when the quantum state of this donor system is from a particular class of number-correlated Heisenber…
▽ More
Information recycling has been shown to improve the sensitivity of atom interferometers by exploiting atom-light entanglement. In this paper, we apply information recycling to an interferometer where the input quantum state has been partially transferred from some donor system. We demonstrate that when the quantum state of this donor system is from a particular class of number-correlated Heisenberg-limited states, information recycling yields a Heisenberg-limited phase measurement. Crucially, this result holds irrespective of the fraction of the quantum state transferred to the interferometer input and also for a general class of number-conserving quantum-state-transfer processes, including ones that destroy the first-order phase coherence between the branches of the interferometer. This result could have significant applications in Heisenberg-limited atom interferometry, where the quantum state is transferred from a Heisenberg-limited photon source, and in optical interferometry where the loss can be monitored.
△ Less
Submitted 30 April, 2015; v1 submitted 19 November, 2014;
originally announced November 2014.
-
Optimal Quantum-Enhanced Interferometry
Authors:
Matthias D. Lang,
Carlton M. Caves
Abstract:
We analyze the ultimate bounds on the phase sensitivity of an interferometer, given the constraint that the state input to the interferometer's initial 50:50 beamsplitter $B$ is a product state of the two input modes. Requiring a product state is a natural restriction: if one were allowed to input an arbitrary, entangled two-mode state $|Ξ\rangle$ to the beamsplitter, one could generally just as e…
▽ More
We analyze the ultimate bounds on the phase sensitivity of an interferometer, given the constraint that the state input to the interferometer's initial 50:50 beamsplitter $B$ is a product state of the two input modes. Requiring a product state is a natural restriction: if one were allowed to input an arbitrary, entangled two-mode state $|Ξ\rangle$ to the beamsplitter, one could generally just as easily input the state $B|Ξ\rangle$ directly into the two modes after the beamsplitter, thus rendering the beamsplitter unnecessary. We find optimal states for a fixed photon number and for a fixed mean photon number.
△ Less
Submitted 16 September, 2014; v1 submitted 12 June, 2014;
originally announced June 2014.
-
In-situ characterization of quantum devices with error correction
Authors:
Joshua Combes,
Christopher Ferrie,
Chris Cesare,
Markus Tiersch,
G. J. Milburn,
Hans J. Briegel,
Carlton M. Caves
Abstract:
Syndrome measurements made in quantum error correction contain more information than is typically used. We show that the statistics of data from syndrome measurements can be used to do the following: (i) estimation of parameters of an error channel, including the ability correct away the invertible part of the error channel, once it is estimated; (ii) hypothesis testing (or model selection) to dis…
▽ More
Syndrome measurements made in quantum error correction contain more information than is typically used. We show that the statistics of data from syndrome measurements can be used to do the following: (i) estimation of parameters of an error channel, including the ability correct away the invertible part of the error channel, once it is estimated; (ii) hypothesis testing (or model selection) to distinguish error channels, e.g., to determine if the errors are correlated. The unifying theme is to make use of all of the information in the statistics of the data collected from syndrome measurements using machine learning and control algorithms.
△ Less
Submitted 22 May, 2014;
originally announced May 2014.
-
Reduced dimensionality and spatial entanglement in highly anisotropic Bose-Einstein condensates
Authors:
Alexandre B. Tacla,
Carlton M. Caves
Abstract:
We investigate the reduced dimensionality of highly anisotropic Bose-Einstein condensates (BECs) in connection to the entanglement between its spatial degrees of freedom. We argue that the reduced-dimensionality of the BEC is physically meaningful in a regime where spatial correlations are negligible. We handle the problem analytically within the mean-field approximation for general quasi-one-dime…
▽ More
We investigate the reduced dimensionality of highly anisotropic Bose-Einstein condensates (BECs) in connection to the entanglement between its spatial degrees of freedom. We argue that the reduced-dimensionality of the BEC is physically meaningful in a regime where spatial correlations are negligible. We handle the problem analytically within the mean-field approximation for general quasi-one-dimensional and -two-dimensional geometries, and obtain the optimal reduced-dimension, pure-state description of the condensate mean field. We give explicit solutions to the case of harmonic potentials, which we compare against exact numerical integration of the three-dimensional Gross-Pitaevskii equation.
△ Less
Submitted 10 July, 2014; v1 submitted 24 October, 2013;
originally announced October 2013.
-
Quantum limits on post-selected, probabilistic quantum metrology
Authors:
Joshua Combes,
Christopher Ferrie,
Zhang Jiang,
Carlton M. Caves
Abstract:
Probabilistic metrology attempts to improve parameter estimation by occasionally reporting an excellent estimate and the rest of the time either guessing or doing nothing at all. Here we show that probabilistic metrology can never improve quantum limits on estimation of a single parameter, both on average and asymptotically in number of trials, if performance is judged relative to mean-square esti…
▽ More
Probabilistic metrology attempts to improve parameter estimation by occasionally reporting an excellent estimate and the rest of the time either guessing or doing nothing at all. Here we show that probabilistic metrology can never improve quantum limits on estimation of a single parameter, both on average and asymptotically in number of trials, if performance is judged relative to mean-square estimation error. We extend the result by showing that for a finite number of trials, the probability of obtaining better estimates using probabilistic metrology, as measured by mean-square error, decreases exponentially with the number of trials. To be tight, the performance bounds we derive require that likelihood functions be approximately normal, which in turn depends on how rapidly specific distributions converge to a normal distribution with number of trials.
△ Less
Submitted 20 May, 2014; v1 submitted 25 September, 2013;
originally announced September 2013.
-
Mixing nonclassical pure states in a linear-optical network almost always generates modal entanglement
Authors:
Zhang Jiang,
Matthias D. Lang,
Carlton M. Caves
Abstract:
In quantum optics a pure state is considered classical, relative to the statistics of photodetection, if and only if it is a coherent state. A different and newer notion of nonclassicality is based on modal entanglement. One example that relates these two notions is the Hong-Ou-Mandel effect, where modal entanglement is generated by a beamsplitter from the nonclassical photon-number state. This su…
▽ More
In quantum optics a pure state is considered classical, relative to the statistics of photodetection, if and only if it is a coherent state. A different and newer notion of nonclassicality is based on modal entanglement. One example that relates these two notions is the Hong-Ou-Mandel effect, where modal entanglement is generated by a beamsplitter from the nonclassical photon-number state. This suggests that beamsplitters or, more generally, linear-optical networks are mediators of the two notions of nonclassicality. In this Brief Report, we show the following: Given a nonclassical pure-product-state input to an N-port linear-optical network, the output is almost always mode entangled; the only exception is a product of squeezed states, all with the same squeezing strength, input to a network that does not mix the squeezed and anti-squeezed quadratures. Our work thus gives a necessary and sufficient condition for a linear network to generate modal entanglement from pure product inputs, a result that is of immediate relevance to the boson sampling problem.
△ Less
Submitted 7 October, 2013; v1 submitted 28 August, 2013;
originally announced August 2013.
-
Optimal quantum-enhanced interferometry using a laser power source
Authors:
Matthias D. Lang,
Carlton M. Caves
Abstract:
We consider an interferometer powered by laser light (a coherent state) into one input port and ask the following question: what is the best state to inject into the second input port, given a constraint on the mean number of photons this state can carry, in order to optimize the interferometer's phase sensitivity? This question is the practical question for high-sensitivity interferometry. We ans…
▽ More
We consider an interferometer powered by laser light (a coherent state) into one input port and ask the following question: what is the best state to inject into the second input port, given a constraint on the mean number of photons this state can carry, in order to optimize the interferometer's phase sensitivity? This question is the practical question for high-sensitivity interferometry. We answer the question by considering the quantum Cram{é}r-Rao bound for such a setup. The answer is squeezed vacuum.
△ Less
Submitted 28 October, 2013; v1 submitted 11 June, 2013;
originally announced June 2013.
-
Quantum limits on probabilistic amplifiers
Authors:
Shashank Pandey,
Zhang Jiang,
Joshua Combes,
Carlton M. Caves
Abstract:
An ideal phase-preserving linear amplifier is a deterministic device that adds to an input signal the minimal amount of noise consistent with the constraints imposed by quantum mechanics. A noiseless linear amplifier takes an input coherent state to an amplified coherent state, but only works part of the time. Such a device is actually better than noiseless, since the output has less noise than th…
▽ More
An ideal phase-preserving linear amplifier is a deterministic device that adds to an input signal the minimal amount of noise consistent with the constraints imposed by quantum mechanics. A noiseless linear amplifier takes an input coherent state to an amplified coherent state, but only works part of the time. Such a device is actually better than noiseless, since the output has less noise than the amplified noise of the input coherent state; for this reason we refer to such devices as {\em immaculate}. Here we bound the working probabilities of probabilistic and approximate immaculate amplifiers and construct theoretical models that achieve some of these bounds. Our chief conclusions are the following: (i) the working probability of any phase-insensitive immaculate amplifier is very small in the phase-plane region where the device works with high fidelity; (ii) phase-sensitive immaculate amplifiers that work only on coherent states sparsely distributed on a phase-plane circle centered at the origin can have a reasonably high working probability.
△ Less
Submitted 2 October, 2013; v1 submitted 14 April, 2013;
originally announced April 2013.
-
Quantum Information Science: Emerging No More
Authors:
Carlton M. Caves
Abstract:
Short history of quantum information science. The chief message is that the field is no longer emerging. It has arrived.
Short history of quantum information science. The chief message is that the field is no longer emerging. It has arrived.
△ Less
Submitted 28 April, 2013; v1 submitted 6 February, 2013;
originally announced February 2013.
-
Verification of quantum discord
Authors:
Saleh Rahimi-Keshari,
Carlton M. Caves,
Timothy C. Ralph
Abstract:
We introduce a measurement-based method for verifying quantum discord of any bipartite quantum system. We show that by performing an informationally complete POVM (IC-POVM) on one subsystem and checking the commutativity of the conditional states of the other subsystem, quantum discord from the second subsystem to the first can be verified. This is an improvement upon previous methods, which enabl…
▽ More
We introduce a measurement-based method for verifying quantum discord of any bipartite quantum system. We show that by performing an informationally complete POVM (IC-POVM) on one subsystem and checking the commutativity of the conditional states of the other subsystem, quantum discord from the second subsystem to the first can be verified. This is an improvement upon previous methods, which enables us to efficiently apply our method to continuous-variable systems, as IC-POVMs are readily available from homodyne or heterodyne measurements. We show that quantum discord for Gaussian states can be verified by checking whether the peaks of the conditional Wigner functions corresponding to two different outcomes of heterodyne measurement coincide at the same point in the phase space. Using this method, we also prove that the only Gaussian states with zero discord are product states; hence, Gaussian states with Gaussian discord have nonzero quantum discord.
△ Less
Submitted 4 December, 2012; v1 submitted 11 September, 2012;
originally announced September 2012.
-
Quantum limits on phase-preserving linear amplifiers
Authors:
Carlton M. Caves,
Joshua Combes,
Zhang Jiang,
Shashank Pandey
Abstract:
The purpose of a phase-preserving linear amplifier is to make a small signal larger, regardless of its phase, so that it can be perceived by instruments incapable of resolving the original signal, while sacrificing as little as possible in signal-to-noise. Quantum mechanics limits how well this can be done: a high-gain linear amplifier must degrade the signal-to-noise; the noise added by the ampli…
▽ More
The purpose of a phase-preserving linear amplifier is to make a small signal larger, regardless of its phase, so that it can be perceived by instruments incapable of resolving the original signal, while sacrificing as little as possible in signal-to-noise. Quantum mechanics limits how well this can be done: a high-gain linear amplifier must degrade the signal-to-noise; the noise added by the amplifier, when referred to the input, must be at least half a quantum at the operating frequency. This well-known quantum limit only constrains the second moments of the added noise. Here we derive the quantum constraints on the entire distribution of added noise: we show that any phase-preserving linear amplifier is equivalent to a parametric amplifier with a physical state for the ancillary mode; the noise added to the amplified field mode is distributed according to the Wigner function of the ancilla state.
△ Less
Submitted 25 August, 2012;
originally announced August 2012.
-
Mean-field dynamics of two-mode Bose-Einstein condensates in highly anisotropic potentials: Interference, dimensionality, and entanglement
Authors:
Alexandre B. Tacla,
Carlton M. Caves
Abstract:
We study the mean-field dynamics and the reduced-dimension character of two-mode Bose-Einstein condensates (BECs) in highly anisotropic traps. By means of perturbative techniques, we show that the tightly confined (transverse) degrees of freedom can be decoupled from the dynamical equations at the expense of introducing additional effective three-body, attractive, intra- and inter-mode interaction…
▽ More
We study the mean-field dynamics and the reduced-dimension character of two-mode Bose-Einstein condensates (BECs) in highly anisotropic traps. By means of perturbative techniques, we show that the tightly confined (transverse) degrees of freedom can be decoupled from the dynamical equations at the expense of introducing additional effective three-body, attractive, intra- and inter-mode interactions into the dynamics of the loosely confined (longitudinal) degrees of freedom. These effective interactions are mediated by changes in the transverse wave function. The perturbation theory is valid as long as the nonlinear scattering energy is small compared to the transverse energy scales. This approach leads to reduced-dimension mean-field equations that optimally describe the evolution of a two-mode condensate in general quasi-1D and quasi-2D geometries. We use this model to investigate the relative phase and density dynamics of a two-mode, cigar-shaped $^{87}$Rb BEC. We study the relative-phase dynamics in the context of a nonlinear Ramsey interferometry scheme, which has recently been proposed as a novel platform for high-precision interferometry. Numerical integration of the coupled, time-dependent, three-dimensional, two-mode Gross-Pitaevskii equations for various atom numbers shows that this model gives a considerably more refined analytical account of the mean-field evolution than an idealized quasi-1D description.
△ Less
Submitted 6 February, 2013; v1 submitted 16 July, 2012;
originally announced July 2012.
-
Ancilla models for quantum operations: For what unitaries does the ancilla state have to be physical?
Authors:
Zhang Jiang,
Marco Piani,
Carlton M. Caves
Abstract:
Any evolution described by a completely positive trace-preserving linear map can be imagined as arising from the interaction of the evolving system with an initially uncorrelated ancilla. The interaction is given by a joint unitary operator, acting on the system and the ancilla. Here we study the properties such a unitary operator must have in order to force the choice of a physical- that is, posi…
▽ More
Any evolution described by a completely positive trace-preserving linear map can be imagined as arising from the interaction of the evolving system with an initially uncorrelated ancilla. The interaction is given by a joint unitary operator, acting on the system and the ancilla. Here we study the properties such a unitary operator must have in order to force the choice of a physical- that is, positive-state for the ancilla if the end result is to be a physical-that is, completely positive-evolution of the system.
△ Less
Submitted 27 November, 2012; v1 submitted 20 March, 2012;
originally announced March 2012.
-
Evading quantum mechanics
Authors:
Mankei Tsang,
Carlton M. Caves
Abstract:
Quantum mechanics is potentially advantageous for certain information-processing tasks, but its probabilistic nature and requirement of measurement back action often limit the precision of conventional classical information-processing devices, such as sensors and atomic clocks. Here we show that by engineering the dynamics of coupled quantum systems, it is possible to construct a subsystem that ev…
▽ More
Quantum mechanics is potentially advantageous for certain information-processing tasks, but its probabilistic nature and requirement of measurement back action often limit the precision of conventional classical information-processing devices, such as sensors and atomic clocks. Here we show that by engineering the dynamics of coupled quantum systems, it is possible to construct a subsystem that evades the measurement back action of quantum mechanics, at all times of interest, and obeys any classical dynamics, linear or nonlinear, that we choose. We call such a system a quantum-mechanics-free subsystem (QMFS). All of the observables of a QMFS are quantum-nondemolition (QND) observables; moreover, they are dynamical QND observables, thus demolishing the widely held belief that QND observables are constants of motion. QMFSs point to a new strategy for designing classical information-processing devices in regimes where quantum noise is detrimental, unifying previous approaches that employ QND observables, back-action evasion, and quantum noise cancellation. Potential applications include gravitational-wave detection, optomechanical force sensing, atomic magnetometry, and classical computing. Demonstrations of dynamical QMFSs include the generation of broad-band squeezed light for use in interferometric gravitational-wave detection, experiments using entangled atomic spin ensembles, and implementations of the quantum Toffoli gate.
△ Less
Submitted 1 April, 2012; v1 submitted 11 March, 2012;
originally announced March 2012.
-
Optimal Quantum Estimation for Gravitation
Authors:
T. G. Downes,
G. J. Milburn,
C. M. Caves
Abstract:
Here we describe the quantum limit to measurement of the classical gravitational field. Specifically, we write down the optimal quantum Cramer-Rao lower bound, for any single parameter describing a metric for spacetime. The standard time-energy and Heisenberg uncertainty relations are shown to be special cases of the uncertainty relation for the spacetime metric. Four key examples are given, descr…
▽ More
Here we describe the quantum limit to measurement of the classical gravitational field. Specifically, we write down the optimal quantum Cramer-Rao lower bound, for any single parameter describing a metric for spacetime. The standard time-energy and Heisenberg uncertainty relations are shown to be special cases of the uncertainty relation for the spacetime metric. Four key examples are given, describing quantum limited estimation for: acceleration, black holes, gravitational waves and cosmology. We employ the locally covariant formulation of quantum field theory in curved spacetime, which allows for a manifestly spacetime independent derivation. The result is an uncertainty relation applicable to all causal spacetime manifolds.
△ Less
Submitted 5 November, 2012; v1 submitted 25 August, 2011;
originally announced August 2011.
-
Entanglement-based perturbation theory for highly anisotropic Bose-Einstein condensates
Authors:
Alexandre B. Tacla,
Carlton M. Caves
Abstract:
We investigate the emergence of three-dimensional behavior in a reduced-dimension Bose-Einstein condensate trapped by a highly anisotropic potential. We handle the problem analytically by performing a perturbative Schmidt decomposition of the condensate wave function between the tightly confined (transverse) direction(s) and the loosely confined (longitudinal) direction(s). The perturbation theory…
▽ More
We investigate the emergence of three-dimensional behavior in a reduced-dimension Bose-Einstein condensate trapped by a highly anisotropic potential. We handle the problem analytically by performing a perturbative Schmidt decomposition of the condensate wave function between the tightly confined (transverse) direction(s) and the loosely confined (longitudinal) direction(s). The perturbation theory is valid when the nonlinear scattering energy is small compared to the transverse energy scales. Our approach provides a straightforward way, first, to derive corrections to the transverse and longitudinal wave functions of the reduced-dimension approximation and, second, to calculate the amount of entanglement that arises between the transverse and longitudinal spatial directions. Numerical integration of the three-dimensional Gross-Pitaevskii equation for different cigar-shaped potentials and experimentally accessible parameters reveals good agreement with our analytical model even for relatively high nonlinearities. In particular, we show that even for such stronger nonlinearities the entanglement remains remarkably small, which allows the condensate to be well described by a product wave function that corresponds to a single Schmidt term.
△ Less
Submitted 8 July, 2011;
originally announced July 2011.
-
Entropic measures of nonclassical correlations
Authors:
Matthias D. Lang,
Carlton M. Caves,
Anil Shaji
Abstract:
A framework for categorizing entropic measures of nonclassical correlations in bipartite quantum states is presented. The measures are based on the difference between a quantum entropic quantity and the corresponding classical quantity obtained from measurements on the two systems. Three types of entropic quantities are used, and three different measurement strategies are applied to these quantiti…
▽ More
A framework for categorizing entropic measures of nonclassical correlations in bipartite quantum states is presented. The measures are based on the difference between a quantum entropic quantity and the corresponding classical quantity obtained from measurements on the two systems. Three types of entropic quantities are used, and three different measurement strategies are applied to these quantities. Many of the resulting measures of nonclassical correlations have been proposed previously. Properties of the various measures are explored, and results of evaluating the measures for two-qubit quantum states are presented.
△ Less
Submitted 16 February, 2015; v1 submitted 24 May, 2011;
originally announced May 2011.
-
Nonlinear interferometry with Bose-Einstein condensates
Authors:
Alexandre B. Tacla,
Sergio Boixo,
Animesh Datta,
Anil Shaji,
Carlton M. Caves
Abstract:
We analyze a proposed experiment [Boixo et al., Phys. Rev. Lett. 101, 040403 (2008)] for achieving sensitivity scaling better than $1/N$ in a nonlinear Ramsey interferometer that uses a two-mode Bose-Einstein condensate (BEC) of $N$ atoms. We present numerical simulations that confirm the analytical predictions for the effect of the spreading of the BEC ground-state wave function on the ideal…
▽ More
We analyze a proposed experiment [Boixo et al., Phys. Rev. Lett. 101, 040403 (2008)] for achieving sensitivity scaling better than $1/N$ in a nonlinear Ramsey interferometer that uses a two-mode Bose-Einstein condensate (BEC) of $N$ atoms. We present numerical simulations that confirm the analytical predictions for the effect of the spreading of the BEC ground-state wave function on the ideal $1/N^{3/2}$ scaling. Numerical integration of the coupled, time-dependent, two-mode Gross-Pitaevskii equations allows us to study the several simplifying assumptions made in the initial analytic study of the proposal and to explore when they can be justified. In particular, we find that the two modes share the same spatial wave function for a length of time that is sufficient to run the metrology scheme.
△ Less
Submitted 13 December, 2010; v1 submitted 9 August, 2010;
originally announced August 2010.
-
Fundamental Quantum Limit to Waveform Estimation
Authors:
Mankei Tsang,
Howard M. Wiseman,
Carlton M. Caves
Abstract:
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 QC…
▽ More
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.
△ Less
Submitted 3 March, 2011; v1 submitted 28 June, 2010;
originally announced June 2010.
-
Quantum Discord and the Geometry of Bell-Diagonal States
Authors:
Matthias D. Lang,
Carlton M. Caves
Abstract:
The set of Bell-diagonal states for two qubits can be depicted as a tetrahedron in three dimensions. We consider the level surfaces of entanglement and quantum discord for Bell-diagonal states. This provides a complete picture of the structure of entanglement and discord for this simple case and, in particular, of their nonanalytic behavior under decoherence. The pictorial approach also indicates…
▽ More
The set of Bell-diagonal states for two qubits can be depicted as a tetrahedron in three dimensions. We consider the level surfaces of entanglement and quantum discord for Bell-diagonal states. This provides a complete picture of the structure of entanglement and discord for this simple case and, in particular, of their nonanalytic behavior under decoherence. The pictorial approach also indicates how to show that discord is neither convex nor concave.
△ Less
Submitted 5 August, 2010; v1 submitted 14 June, 2010;
originally announced June 2010.
-
Coherent Quantum-Noise Cancellation for Optomechanical Sensors
Authors:
Mankei Tsang,
Carlton M. Caves
Abstract:
Using a flowchart representation of quantum optomechanical dynamics, we design coherent quantum-noise-cancellation schemes that can eliminate the back-action noise induced by radiation pressure at all frequencies and thus overcome the standard quantum limit of force sensing. The proposed schemes can be regarded as novel examples of coherent feedforward quantum control.
Using a flowchart representation of quantum optomechanical dynamics, we design coherent quantum-noise-cancellation schemes that can eliminate the back-action noise induced by radiation pressure at all frequencies and thus overcome the standard quantum limit of force sensing. The proposed schemes can be regarded as novel examples of coherent feedforward quantum control.
△ Less
Submitted 16 August, 2010; v1 submitted 4 June, 2010;
originally announced June 2010.
-
Quantum-circuit guide to optical and atomic interferometry
Authors:
Carlton M. Caves,
Anil Shaji
Abstract:
Atomic (qubit) and optical or microwave (modal) phase-estimation protocols are placed on the same footing in terms of quantum-circuit diagrams. Circuit equivalences are used to demonstrate the equivalence of protocols that achieve the Heisenberg limit by employing entangled superpositions of Fock states, such as N00N states. The key equivalences are those that disentangle a circuit so that phase…
▽ More
Atomic (qubit) and optical or microwave (modal) phase-estimation protocols are placed on the same footing in terms of quantum-circuit diagrams. Circuit equivalences are used to demonstrate the equivalence of protocols that achieve the Heisenberg limit by employing entangled superpositions of Fock states, such as N00N states. The key equivalences are those that disentangle a circuit so that phase information is written exclusively on a mode or modes or on a qubit. The Fock-state-superposition phase-estimation circuits are converted to use entangled coherent-state superpositions; the resulting protocols are more amenable to realization in the lab, particularly in a qubit/cavity setting at microwave frequencies.
△ Less
Submitted 3 September, 2009;
originally announced September 2009.
-
Quantum-limited metrology and Bose-Einstein condensates
Authors:
Sergio Boixo,
Animesh Datta,
Matthew J. Davis,
Anil Shaji,
Alexandre B. Tacla,
Carlton M. Caves
Abstract:
We discuss a quantum-metrology protocol designed to estimate a physical parameter in a Bose-Einstein condensate of N atoms, and we show that the measurement uncertainty can decrease faster than 1/N. The 1/N scaling is usually thought to be the best possible in any measurement scheme. From the perspective of quantum information theory, we outline the main idea that leads to a measurement uncertai…
▽ More
We discuss a quantum-metrology protocol designed to estimate a physical parameter in a Bose-Einstein condensate of N atoms, and we show that the measurement uncertainty can decrease faster than 1/N. The 1/N scaling is usually thought to be the best possible in any measurement scheme. From the perspective of quantum information theory, we outline the main idea that leads to a measurement uncertainty that scales better than 1/N. We examine in detail some potential problems and challenges that arise in implementing such a measurement protocol using a Bose-Einstein condensate. We discuss how some of these issues can be dealt with by using lower-dimensional condensates trapped in nonharmonic potentials.
△ Less
Submitted 18 August, 2009; v1 submitted 4 June, 2009;
originally announced June 2009.
-
Graphical description of Pauli measurements on stabilizer states
Authors:
Matthew B. Elliott,
Bryan Eastin,
Carlton M. Caves
Abstract:
We use a graphical representation of stabilizer states to describe, simply and efficiently, the effect of measurements of Pauli products on stabilizer states. This work complements our earlier work [Phys. Rev. A 77, 042307 (2008)], which described in graphical terms the action of Clifford operations on stabilizer states.
We use a graphical representation of stabilizer states to describe, simply and efficiently, the effect of measurements of Pauli products on stabilizer states. This work complements our earlier work [Phys. Rev. A 77, 042307 (2008)], which described in graphical terms the action of Clifford operations on stabilizer states.
△ Less
Submitted 16 June, 2008; v1 submitted 16 June, 2008;
originally announced June 2008.
-
Quantum Metrology: Dynamics vs. Entanglement
Authors:
Sergio Boixo,
Animesh Datta,
Matthew J. Davis,
Steven T. Flammia,
Anil Shaji,
Carlton M. Caves
Abstract:
A parameter whose coupling to a quantum probe of $n$ constituents includes all two-body interactions between the constituents can be measured with an uncertainty that scales as $1/n^{3/2}$, even when the constituents are initially unentangled. We devise a protocol that achieves the $1/n^{3/2}$ scaling without generating any entanglement among the constituents, and we suggest that the protocol mi…
▽ More
A parameter whose coupling to a quantum probe of $n$ constituents includes all two-body interactions between the constituents can be measured with an uncertainty that scales as $1/n^{3/2}$, even when the constituents are initially unentangled. We devise a protocol that achieves the $1/n^{3/2}$ scaling without generating any entanglement among the constituents, and we suggest that the protocol might be implemented in a two-component Bose-Einstein condensate.
△ Less
Submitted 14 May, 2008;
originally announced May 2008.
-
Nonlinear quantum metrology using coupled nanomechanical resonators
Authors:
M. J. Woolley,
G. J. Milburn,
Carlton M. Caves
Abstract:
We consider a nanomechanical analogue of a nonlinear interferometer, consisting of two parallel, flexural nanomechanical resonators, each with an intrinsic Duffing nonlinearity and with a switchable beamsplitter-like coupling between them. We calculate the precision with which the strength of the nonlinearity can be estimated and show that it scales as $1/n^{3/2}$, where $n$ is the mean phonon n…
▽ More
We consider a nanomechanical analogue of a nonlinear interferometer, consisting of two parallel, flexural nanomechanical resonators, each with an intrinsic Duffing nonlinearity and with a switchable beamsplitter-like coupling between them. We calculate the precision with which the strength of the nonlinearity can be estimated and show that it scales as $1/n^{3/2}$, where $n$ is the mean phonon number of the initial state. This result holds even in the presence of dissipation, but assumes the ability to make measurements of the quadrature components of the nanoresonators.
△ Less
Submitted 29 April, 2008;
originally announced April 2008.
-
Teleportation fidelity as a probe of sub-Planck phase-space structure
Authors:
A. J. Scott,
Carlton M. Caves
Abstract:
We investigate the connection between sub-Planck structure in the Wigner function and the output fidelity of continuous-variable teleportation protocols. When the teleporting parties share a two-mode squeezed state as an entangled resource, high fidelity in the output state requires a squeezing large enough that the smallest sub-Planck structures in an input pure state are teleported faithfully.…
▽ More
We investigate the connection between sub-Planck structure in the Wigner function and the output fidelity of continuous-variable teleportation protocols. When the teleporting parties share a two-mode squeezed state as an entangled resource, high fidelity in the output state requires a squeezing large enough that the smallest sub-Planck structures in an input pure state are teleported faithfully. We formulate this relationship, which leads to an explicit relation between the fine-scale structure in the Wigner function and large-scale extent of the Wigner function, and we treat specific examples, including coherent, number, and random states and states produced by chaotic dynamics. We generalize the pure-state results to teleportation of mixed states.
△ Less
Submitted 7 January, 2008;
originally announced January 2008.
-
Quantum-limited metrology with product states
Authors:
Sergio Boixo,
Animesh Datta,
Steven T. Flammia,
Anil Shaji,
Emilio Bagan,
Carlton M. Caves
Abstract:
We study the performance of initial product states of n-body systems in generalized quantum metrology protocols that involve estimating an unknown coupling constant in a nonlinear k-body (k << n) Hamiltonian. We obtain the theoretical lower bound on the uncertainty in the estimate of the parameter. For arbitrary initial states, the lower bound scales as 1/n^k, and for initial product states, it…
▽ More
We study the performance of initial product states of n-body systems in generalized quantum metrology protocols that involve estimating an unknown coupling constant in a nonlinear k-body (k << n) Hamiltonian. We obtain the theoretical lower bound on the uncertainty in the estimate of the parameter. For arbitrary initial states, the lower bound scales as 1/n^k, and for initial product states, it scales as 1/n^(k-1/2). We show that the latter scaling can be achieved using simple, separable measurements. We analyze in detail the case of a quadratic Hamiltonian (k = 2), implementable with Bose-Einstein condensates. We formulate a simple model, based on the evolution of angular-momentum coherent states, which explains the O(n^(-3/2)) scaling for k = 2; the model shows that the entanglement generated by the quadratic Hamiltonian does not play a role in the enhanced sensitivity scaling. We show that phase decoherence does not affect the O(n^(-3/2)) sensitivity scaling for initial product states.
△ Less
Submitted 20 October, 2007; v1 submitted 1 October, 2007;
originally announced October 2007.
-
Quantum discord and the power of one qubit
Authors:
Animesh Datta,
Anil Shaji,
Carlton M. Caves
Abstract:
We use quantum discord to characterize the correlations present in the quantum computational model DQC1, introduced by Knill and Laflamme [Phys. Rev. Lett. 81, 5672 (1998)]. The model involves a collection of qubits in the completely mixed state coupled to a single control qubit that has nonzero purity. The initial state, operations, and measurements in the model all point to a natural bipartite…
▽ More
We use quantum discord to characterize the correlations present in the quantum computational model DQC1, introduced by Knill and Laflamme [Phys. Rev. Lett. 81, 5672 (1998)]. The model involves a collection of qubits in the completely mixed state coupled to a single control qubit that has nonzero purity. The initial state, operations, and measurements in the model all point to a natural bipartite split between the control qubit and the mixed ones. Although there is no entanglement between these two parts, we show that the quantum discord across this split is nonzero for typical instances of the DQC1 ciruit. Nonzero values of discord indicate the presence of nonclassical correlations. We propose quantum discord as figure of merit for characterizing the resources present in this computational model.
△ Less
Submitted 4 September, 2007;
originally announced September 2007.
-
Qubit metrology and decoherence
Authors:
Anil Shaji,
Carlton M. Caves
Abstract:
Quantum properties of the probes used to estimate a classical parameter can be used to attain accuracies that beat the standard quantum limit. When qubits are used to construct a quantum probe, it is known that initializing $n$ qubits in an entangled "cat state," rather than in a separable state, can improve the measurement uncertainty by a factor of $1/\sqrt{n}$. We investigate how the measurem…
▽ More
Quantum properties of the probes used to estimate a classical parameter can be used to attain accuracies that beat the standard quantum limit. When qubits are used to construct a quantum probe, it is known that initializing $n$ qubits in an entangled "cat state," rather than in a separable state, can improve the measurement uncertainty by a factor of $1/\sqrt{n}$. We investigate how the measurement uncertainty is affected when the individual qubits in a probe are subjected to decoherence. In the face of such decoherence, we regard the rate $R$ at which qubits can be generated and the total duration $τ$ of a measurement as fixed resources, and we determine the optimal use of entanglement among the qubits and the resulting optimal measurement uncertainty as functions of $R$ and $τ$.
△ Less
Submitted 7 May, 2007;
originally announced May 2007.
-
Graphical description of the action of Clifford operators on stabilizer states
Authors:
Matthew B. Elliott,
Bryan Eastin,
Carlton M. Caves
Abstract:
We introduce a graphical representation of stabilizer states and translate the action of Clifford operators on stabilizer states into graph operations on the corresponding stabilizer-state graphs. Our stabilizer graphs are constructed of solid and hollow nodes, with (undirected) edges between nodes and with loops and signs attached to individual nodes. We find that local Clifford transformations…
▽ More
We introduce a graphical representation of stabilizer states and translate the action of Clifford operators on stabilizer states into graph operations on the corresponding stabilizer-state graphs. Our stabilizer graphs are constructed of solid and hollow nodes, with (undirected) edges between nodes and with loops and signs attached to individual nodes. We find that local Clifford transformations are completely described in terms of local complementation on nodes and along edges, loop complementation, and change of node type or sign. Additionally, we show that a small set of equivalence rules generates all graphs corresponding to a given stabilizer state; we do this by constructing an efficient procedure for testing the equality of any two stabilizer graphs.
△ Less
Submitted 10 October, 2007; v1 submitted 30 March, 2007;
originally announced March 2007.
-
Constrained bounds on measures of entanglement
Authors:
Animesh Datta,
Steven T. Flammia,
Anil Shaji,
Carlton M. Caves
Abstract:
Entanglement measures constructed from two positive, but not completely positive maps on density operators are used as constraints in placing bounds on the entanglement of formation, the tangle, and the concurrence of 4 x N mixed states. The maps are the partial transpose map and the $Φ$-map introduced by Breuer [H.-P. Breuer, Phys. Rev. Lett. 97, 080501 (2006)]. The norm-based entanglement meas…
▽ More
Entanglement measures constructed from two positive, but not completely positive maps on density operators are used as constraints in placing bounds on the entanglement of formation, the tangle, and the concurrence of 4 x N mixed states. The maps are the partial transpose map and the $Φ$-map introduced by Breuer [H.-P. Breuer, Phys. Rev. Lett. 97, 080501 (2006)]. The norm-based entanglement measures constructed from these two maps, called negativity and $Φ$-negativity, respectively, lead to two sets of bounds on the entanglement of formation, the tangle, and the concurrence. We compare these bounds and identify the sets of 4 x N density operators for which the bounds from one constraint are better than the bounds from the other. In the process, we present a new derivation of the already known bound on the concurrence based on the negativity. We compute new bounds on the three measures of entanglement using both the constraints simultaneously. We demonstrate how such doubly constrained bounds can be constructed. We discuss extensions of our results to bipartite states of higher dimensions and with more than two constraints.
△ Less
Submitted 31 May, 2007; v1 submitted 6 December, 2006;
originally announced December 2006.
-
Generalized Limits for Single-Parameter Quantum Estimation
Authors:
Sergio Boixo,
Steven T. Flammia,
Carlton M. Caves,
JM Geremia
Abstract:
We develop generalized bounds for quantum single-parameter estimation problems for which the coupling to the parameter is described by intrinsic multi-system interactions. For a Hamiltonian with $k$-system parameter-sensitive terms, the quantum limit scales as $1/N^k$ where $N$ is the number of systems. These quantum limits remain valid when the Hamiltonian is augmented by any parameter independ…
▽ More
We develop generalized bounds for quantum single-parameter estimation problems for which the coupling to the parameter is described by intrinsic multi-system interactions. For a Hamiltonian with $k$-system parameter-sensitive terms, the quantum limit scales as $1/N^k$ where $N$ is the number of systems. These quantum limits remain valid when the Hamiltonian is augmented by any parameter independent interaction among the systems and when adaptive measurements via parameter-independent coupling to ancillas are allowed.
△ Less
Submitted 21 November, 2006; v1 submitted 22 September, 2006;
originally announced September 2006.
-
Subjective probability and quantum certainty
Authors:
Carlton M. Caves,
Christopher A. Fuchs,
Ruediger Schack
Abstract:
In the Bayesian approach to quantum mechanics, probabilities--and thus quantum states--represent an agent's degrees of belief, rather than corresponding to objective properties of physical systems. In this paper we investigate the concept of certainty in quantum mechanics. Particularly, we show how the probability-1 predictions derived from pure quantum states highlight a fundamental difference…
▽ More
In the Bayesian approach to quantum mechanics, probabilities--and thus quantum states--represent an agent's degrees of belief, rather than corresponding to objective properties of physical systems. In this paper we investigate the concept of certainty in quantum mechanics. Particularly, we show how the probability-1 predictions derived from pure quantum states highlight a fundamental difference between our Bayesian approach, on the one hand, and Copenhagen and similar interpretations on the other. We first review the main arguments for the general claim that probabilities always represent degrees of belief. We then argue that a quantum state prepared by some physical device always depends on an agent's prior beliefs, implying that the probability-1 predictions derived from that state also depend on the agent's prior beliefs. Quantum certainty is therefore always some agent's certainty. Conversely, if facts about an experimental setup could imply agent-independent certainty for a measurement outcome, as in many Copenhagen-like interpretations, that outcome would effectively correspond to a preexisting system property. The idea that measurement outcomes occurring with certainty correspond to preexisting system properties is, however, in conflict with locality. We emphasize this by giving a version of an argument of Stairs [A. Stairs, Phil. Sci. 50, 578 (1983)], which applies the Kochen-Specker theorem to an entangled bipartite system.
△ Less
Submitted 26 January, 2007; v1 submitted 24 August, 2006;
originally announced August 2006.
-
Doubly constrained bounds on the entanglement of formation
Authors:
Animesh Datta,
Steven T. Flammia,
Anil Shaji,
Carlton M. Caves
Abstract:
We derive bounds on the entanglement of formation of states of a 4xN bipartite system using two entanglement monotones constructed from operational separability criteria. The bounds are used simultaneously as constraints on the entanglement of formation. One monotone is the negativity, which is based on the Peres positive-partial-transpose criterion. For the other, we formulate a monotone based…
▽ More
We derive bounds on the entanglement of formation of states of a 4xN bipartite system using two entanglement monotones constructed from operational separability criteria. The bounds are used simultaneously as constraints on the entanglement of formation. One monotone is the negativity, which is based on the Peres positive-partial-transpose criterion. For the other, we formulate a monotone based on a separability criterion introduced by Breuer (H.-P. Breuer, e-print quant-ph/0605036).
△ Less
Submitted 9 August, 2006;
originally announced August 2006.
-
Hypersensitivity and chaos signatures in the quantum baker's maps
Authors:
A. J. Scott,
Todd A. Brun,
Carlton M. Caves,
Ruediger Schack
Abstract:
Classical chaotic systems are distinguished by their sensitive dependence on initial conditions. The absence of this property in quantum systems has lead to a number of proposals for perturbation-based characterizations of quantum chaos, including linear growth of entropy, exponential decay of fidelity, and hypersensitivity to perturbation. All of these accurately predict chaos in the classical…
▽ More
Classical chaotic systems are distinguished by their sensitive dependence on initial conditions. The absence of this property in quantum systems has lead to a number of proposals for perturbation-based characterizations of quantum chaos, including linear growth of entropy, exponential decay of fidelity, and hypersensitivity to perturbation. All of these accurately predict chaos in the classical limit, but it is not clear that they behave the same far from the classical realm. We investigate the dynamics of a family of quantizations of the baker's map, which range from a highly entangling unitary transformation to an essentially trivial shift map. Linear entropy growth and fidelity decay are exhibited by this entire family of maps, but hypersensitivity distinguishes between the simple dynamics of the trivial shift map and the more complicated dynamics of the other quantizations. This conclusion is supported by an analytical argument for short times and numerical evidence at later times.
△ Less
Submitted 10 October, 2006; v1 submitted 12 June, 2006;
originally announced June 2006.
