arXiv subjects

Carlton M. Caves

Publications and source records attributed to Carlton M. Caves.

At least 19 recordsLinked to original sources

arXiv2023

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})$

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

quant-ph↗

arXiv2023

Simultaneous Momentum and Position Measurement and the Instrumental Weyl-Heisenberg Group

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.

quant-ph↗

arXiv2023

Simultaneous Measurements of Noncommuting Observables. Positive Transformations and Instrumental Lie Groups

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.

quant-ph↗

arXiv2022

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.

quant-ph↗

arXiv2020

One from many: Estimating a function of many parameters

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.

quant-ph↗

arXiv2020

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.

quant-ph↗

arXiv2019

Reframing SU(1,1) interferometry

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.

quant-ph↗

arXiv2017

Bosonic Particle-Correlated States: A Nonperturbative Treatment Beyond Mean Field

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.

cond-mat.quant-gas↗

arXiv2016

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.

quant-ph↗

arXiv2016

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.

cond-mat.quant-gas↗

arXiv2016

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.

quant-ph↗

arXiv2016

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

quant-ph↗

arXiv2015

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.

quant-ph↗

arXiv2015

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.

quant-ph↗

arXiv2015

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.

quant-ph↗

arXiv2015

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.

quant-ph↗

arXiv2014

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.

quant-ph↗

arXiv2014

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.

quant-ph↗