Adaptive Phase Measurements in Linear Optical Quantum Computation

Photon counting induces an effective nonlinear optical phase shift on certain states derived by linear optics from single photons. Although this no nlinearity is nondeterministic, it is sufficient in principle to allow scalable linear optics quantum computation (LOQC). The most obvious way to encode a qubit optically is as a superposition of the vacuum and a single photon in one mode -- so-called "single-rail" logic. Until now this approach was thought to be prohibitively expensive (in resources) compared to "dual-rail" logic where a qubit is stored by a photon across two modes. Here we attack this problem with real-time feedback control, which can realize a quantum-limited phase measurement on a single mode, as has been recently demonstrated experimentally. We show that with this added measurement resource, the resource requirements for single-rail LOQC are not substantially different from those of dual-rail LOQC. In particular, with adaptive phase measurements an arbitrary qubit state $\alpha \ket{0} + \beta\ket{1}$ can be prepared deterministically

ROM-based computation: quantum versus classical

We introduce a model of computation based on read only memory (ROM), which allows us to compare the space-efficiency of reversible, error-free classical computation with reversible, error-free quantum computation. We show that a ROM-based quantum computer with one writable qubit is universal, whilst two writable bits are required for a universal classical ROM-based computer. We also comment on the time-efficiency advantages of quantum computation within this model.Comment: 12 pages, 3 figures, minor corrections + section 5 substantially change

Adiabatic Elimination in Compound Quantum Systems with Feedback

Feedback in compound quantum systems is effected by using the output from one sub-system (``the system'') to control the evolution of a second sub-system (``the ancilla'') which is reversibly coupled to the system. In the limit where the ancilla responds to fluctuations on a much shorter time scale than does the system, we show that it can be adiabatically eliminated, yielding a master equation for the system alone. This is very significant as it decreases the necessary basis size for numerical simulation and allows the effect of the ancilla to be understood more easily. We consider two types of ancilla: a two-level ancilla (e.g. a two-level atom) and an infinite-level ancilla (e.g. an optical mode). For each, we consider two forms of feedback: coherent (for which a quantum mechanical description of the feedback loop is required) and incoherent (for which a classical description is sufficient). We test the master equations we obtain using numerical simulation of the full dynamics of the compound system. For the system (a parametric oscillator) and feedback (intensity-dependent detuning) we choose, good agreement is found in the limit of heavy damping of the ancilla. We discuss the relation of our work to previous work on feedback in compound quantum systems, and also to previous work on adiabatic elimination in general.Comment: 18 pages, 12 figures including two subplots as jpeg attachment

On quantum error-correction by classical feedback in discrete time

We consider the problem of correcting the errors incurred from sending quantum information through a noisy quantum environment by using classical information obtained from a measurement on the environment. For discrete time Markovian evolutions, in the case of fixed measurement on the environment, we give criteria for quantum information to be perfectly corrigible and characterize the related feedback. Then we analyze the case when perfect correction is not possible and, in the qubit case, we find optimal feedback maximizing the channel fidelity.Comment: 11 pages, 1 figure, revtex

Continuous quantum error correction via quantum feedback control

We describe a protocol for continuously protecting unknown quantum states from decoherence that incorporates design principles from both quantum error correction and quantum feedback control. Our protocol uses continuous measurements and Hamiltonian operations, which are weaker control tools than are typically assumed for quantum error correction. We develop a cost function appropriate for unknown quantum states and use it to optimize our state-estimate feedback. Using Monte Carlo simulations, we study our protocol for the three-qubit bit-flip code in detail and demonstrate that it can improve the fidelity of quantum states beyond what is achievable using quantum error correction when the time between quantum error correction cycles is limited.Comment: 12 pages, 6 figures, REVTeX; references fixe

Optimal states and almost optimal adaptive measurements for quantum interferometry

We derive the optimal N-photon two-mode input state for obtaining an estimate \phi of the phase difference between two arms of an interferometer. For an optimal measurement [B. C. Sanders and G. J. Milburn, Phys. Rev. Lett. 75, 2944 (1995)], it yields a variance (\Delta \phi)^2 \simeq \pi^2/N^2, compared to O(N^{-1}) or O(N^{-1/2}) for states considered by previous authors. Such a measurement cannot be realized by counting photons in the interferometer outputs. However, we introduce an adaptive measurement scheme that can be thus realized, and show that it yields a variance in \phi very close to that from an optimal measurement.Comment: 4 pages, 4 figures, journal versio

Non-Markovian Open Quantum Systems: Input-Output Fields, Memory, Monitoring

Principles of monitoring non-Markovian open quantum systems are analyzed. We use the field representation of the environment (Gardiner and Collet, 1985) for the separation of its memory and detector part, respectively. We claim the system-plus-memory compound becomes Markovian, the detector part is tractable by standard Markovian monitoring. Because of non-Markovianity, only the mixed state of the system can be predicted, the pure state of the system can be retrodicted. We present the corresponding non-Markovian stochastic Schr\"odinger equation.Comment: 5 pages, 3 postscript figures; version with brief important improvement

State and dynamical parameter estimation for open quantum systems

Following the evolution of an open quantum system requires full knowledge of its dynamics. In this paper we consider open quantum systems for which the Hamiltonian is ``uncertain''. In particular, we treat in detail a simple system similar to that considered by Mabuchi [Quant. Semiclass. Opt. 8, 1103 (1996)]: a radiatively damped atom driven by an unknown Rabi frequency $\Omega$ (as would occur for an atom at an unknown point in a standing light wave). By measuring the environment of the system, knowledge about the system state, and about the uncertain dynamical parameter, can be acquired. We find that these two sorts of knowledge acquisition (quantified by the posterior distribution for $\Omega$, and the conditional purity of the system, respectively) are quite distinct processes, which are not strongly correlated. Also, the quality and quantity of knowledge gain depend strongly on the type of monitoring scheme. We compare five different detection schemes (direct, adaptive, homodyne of the $x$ quadrature, homodyne of the $y$ quadrature, and heterodyne) using four different measures of the knowledge gain (Shannon information about $\Omega$, variance in $\Omega$, long-time system purity, and short-time system purity).Comment: 14 pages, 18 figure

Adaptive single-shot phase measurements: The full quantum theory

The phase of a single-mode field can be measured in a single-shot measurement by interfering the field with an effectively classical local oscillator of known phase. The standard technique is to have the local oscillator detuned from the system (heterodyne detection) so that it is sometimes in phase and sometimes in quadrature with the system over the course of the measurement. This enables both quadratures of the system to be measured, from which the phase can be estimated. One of us [H.M. Wiseman, Phys. Rev. Lett. 75, 4587 (1995)] has shown recently that it is possible to make a much better estimate of the phase by using an adaptive technique in which a resonant local oscillator has its phase adjusted by a feedback loop during the single-shot measurement. In Ref.~[H.M. Wiseman and R.B. Killip, Phys. Rev. A 56, 944] we presented a semiclassical analysis of a particular adaptive scheme, which yielded asymptotic results for the phase variance of strong fields. In this paper we present an exact quantum mechanical treatment. This is necessary for calculating the phase variance for fields with small photon numbers, and also for considering figures of merit other than the phase variance. Our results show that an adaptive scheme is always superior to heterodyne detection as far as the variance is concerned. However the tails of the probability distribution are surprisingly high for this adaptive measurement, so that it does not always result in a smaller probability of error in phase-based optical communication.Comment: 17 pages, LaTeX, 8 figures (concatenated), Submitted to Phys. Rev.

Multiple-copy state discrimination: Thinking globally, acting locally

We theoretically investigate schemes to discriminate between two nonorthogonal quantum states given multiple copies. We consider a number of state discrimination schemes as applied to nonorthogonal, mixed states of a qubit. In particular, we examine the difference that local and global optimization of local measurements makes to the probability of obtaining an erroneous result, in the regime of finite numbers of copies $N$, and in the asymptotic limit as $N \rightarrow \infty$. Five schemes are considered: optimal collective measurements over all copies, locally optimal local measurements in a fixed single-qubit measurement basis, globally optimal fixed local measurements, locally optimal adaptive local measurements, and globally optimal adaptive local measurements. Here, adaptive measurements are those for which the measurement basis can depend on prior measurement results. For each of these measurement schemes we determine the probability of error (for finite $N$) and scaling of this error in the asymptotic limit. In the asymptotic limit, adaptive schemes have no advantage over the optimal fixed local scheme, and except for states with less than 2% mixture, the most naive scheme (locally optimal fixed local measurements) is as good as any noncollective scheme. For finite $N$, however, the most sophisticated local scheme (globally optimal adaptive local measurements) is better than any other noncollective scheme, for any degree of mixture.Comment: 11 pages, 14 figure