Source author record

Carlton M. Caves

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

32works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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

Building this map preview

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

Published work

32 published item(s)

preprint2022arXiv

Qubit models of weak continuous measurements

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.

preprint2020arXiv

In situ characterization of linear-optical networks in randomized boson sampling

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.

preprint2016arXiv

Fisher-symmetric informationally complete measurements for pure states

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$.

preprint2016arXiv

Models of reduced-noise, probabilistic linear amplifiers

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.

preprint2016arXiv

Particle-Number-Conserving Bogoliubov Approximation for Bose-Einstein Condensates Using Extended Catalytic States

We encode the many-body wavefunction of a Bose-Einstein condensate (BEC) in the $N$-particle sector of an extended catalytic state. This catalytic state is a coherent state for the condensate mode and an arbitrary state for the modes orthogonal to the condensate mode. Going to a time-dependent interaction picture where the state of the condensate mode is displaced to the vacuum, we can organize the effective Hamiltonian by powers of ${N}^{-1/2}$. Requiring the terms of order ${N}^{1/2}$ to vanish gives the Gross-Pitaevskii equation. Going to the next order, $N^0$, we derive equations for the number-conserving Bogoliubov approximation, first given by Castin and Dum [Phys. Rev. A $\textbf{57}$, 3008 (1998)]. In contrast to other approaches, ours is well suited to calculating the state evolution in the Schrödinger picture; moreover, it is straightforward to generalize our method to multi-component BECs and to higher-order corrections.

preprint2016arXiv

Sufficient Conditions for Efficient Classical Simulation of Quantum Optics

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.

preprint2015arXiv

Entropic measures of nonclassical correlations

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.

preprint2015arXiv

Heisenberg-limited metrology with information recycling

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.

preprint2015arXiv

On the novelty, efficacy, and significance of weak measurements for quantum tomography

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.

preprint2015arXiv

Operational Discord Measure for Gaussian States with Gaussian Measurements

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.

preprint2014arXiv

In-situ characterization of quantum devices with error correction

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.

preprint2014arXiv

Optimal Quantum-Enhanced Interferometry

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.

preprint2014arXiv

Quantum limits on post-selected, probabilistic quantum metrology

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.

preprint2014arXiv

Reduced dimensionality and spatial entanglement in highly anisotropic Bose-Einstein condensates

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.

preprint2013arXiv

Mean-field dynamics of two-mode Bose-Einstein condensates in highly anisotropic potentials: Interference, dimensionality, and entanglement

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.

preprint2013arXiv

Mixing nonclassical pure states in a linear-optical network almost always generates modal entanglement

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.

preprint2013arXiv

Optimal quantum-enhanced interferometry using a laser power source

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.

preprint2013arXiv

Quantum limits on probabilistic amplifiers

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.

preprint2012arXiv

Ancilla models for quantum operations: For what unitaries does the ancilla state have to be physical?

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.

preprint2012arXiv

Evading quantum mechanics

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.

preprint2012arXiv

Quantum limits on phase-preserving linear amplifiers

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.

preprint2012arXiv

Verification of quantum discord

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.

preprint2011arXiv

Entanglement-based perturbation theory for highly anisotropic Bose-Einstein condensates

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.

preprint2011arXiv

Fundamental Quantum Limit to Waveform Estimation

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

preprint2010arXiv

Nonlinear interferometry with Bose-Einstein condensates

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.

preprint2010arXiv

Quantum Discord and the Geometry of Bell-Diagonal States

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.

preprint2009arXiv

Quantum-circuit guide to optical and atomic interferometry

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.

preprint2009arXiv

Quantum-limited metrology and Bose-Einstein condensates

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.

preprint2002arXiv

I-concurrence and tangle for isotropic states

We discuss properties of entanglement measures called I-concurrence and tangle. For a bipartite pure state, I-concurrence and tangle are simply related to the purity of the marginal density operators. The I-concurrence (tangle) of a bipartite mixed state is the minimum average I-concurrence (tangle) of ensemble decompositions of pure states of the joint density operator. Terhal and Vollbrecht [Phys. Rev. Lett. 85, 2625 (2000)] have given an explicit formula for the entanglement of formation of isotropic states in arbitrary dimensions. We use their formalism to derive comparable expressions for the I-concurrence and tangle of isotropic states.

preprint2001arXiv

Unknown Quantum States: The Quantum de Finetti Representation

We present an elementary proof of the quantum de Finetti representation theorem, a quantum analogue of de Finetti's classical theorem on exchangeable probability assignments. This contrasts with the original proof of Hudson and Moody [Z. Wahrschein. verw. Geb. 33, 343 (1976)], which relies on advanced mathematics and does not share the same potential for generalization. The classical de Finetti theorem provides an operational definition of the concept of an unknown probability in Bayesian probability theory, where probabilities are taken to be degrees of belief instead of objective states of nature. The quantum de Finetti theorem, in a closely analogous fashion, deals with exchangeable density-operator assignments and provides an operational definition of the concept of an ``unknown quantum state'' in quantum-state tomography. This result is especially important for information-based interpretations of quantum mechanics, where quantum states, like probabilities, are taken to be states of knowledge rather than states of nature. We further demonstrate that the theorem fails for real Hilbert spaces and discuss the significance of this point.