This thesis is concerned with retrodiction and measurement in quantum optics. The latter of these two concepts is studied in particular form with a general optical multiport device, consisting of an arbitrary array of beam-splitters and phase-shifters. I show how such an apparatus generalizes the original projection synthesis technique, introduced as an in principle technique to measure the canonical phase distribution. Just as for the original projection synthesis, it is found that such a generalised device can synthesize any general projection onto a state in a finite dimensional Hilbert space. One of the important findings of this thesis is that, unlike the original projection synthesis technique, the general apparatus described here only requires a classical, that is a coherent, reference field at the input of the device. Such an apparatus lends itself much more readily to practical implementation and would find applications in measurement and predictive state engineering.
If we relax the above condition to allow for just a single non-classical reference field, we show that the apparatus is capable of producing a single-shot measure of canonical phase. That is, the apparatus can project onto any one of an arbitrarily large subset of phase eigenstates, with a probability proportional to the overlap of the phase state and the input field. Unlike the original projection synthesis proposal, this proposal requires a binomial reference state as opposed to a reciprocal binomial state. We find that such a reference state can be obtained, to an excellent approximation, from a suitably squeezed state.
The analysis of these measurement apparatuses is performed in the less usual, but completely rigorous, retrodictive formalism of quantum mechanics.
Although it has been known for some time that quantum mechanics can be formulated in a way that treats prediction and retrodiction on an equal footing, most attention in engineering quantum states has been devoted to predictive states, that is, states associated with the a preparation event. Retrodictive states, which are associated with a measurement event and propagate backwards in time, are also useful, however. In this paper we show how any retrodictive state of light that can be written to a good approximation as a finite superposition of photon number states can be generated by an optica…
We use retrodictive quantum theory to analyse two-photon quantum imaging systems. The formalism is particularly suitable for calculating conditional probability distributions.
Using the retrodictive approach of quantum physics, we show that the state retrodicted from the response of a measurement apparatus is a convenient tool to fully characterize its quantum properties. We translate in terms of this state some interesting aspects of the quantum behavior of a detector, such as the non-classicality or the non-gaussian character of its measurements. We also introduce estimators - the projectivity, the ideality, the fidelity or the detectivity of measurements perfomed by the apparatus - which directly follow from the retrodictive approach. Beyond their fundamental sig…
The derivation of the quantum retrodictive probability formula involves an error, an ambiguity. The end result is correct because this error appears twice, in such a way as to cancel itself. In addition, however, the usual expression for the probability itself contains the same ambiguity; this may lead to errors in its application. A generally applicable method is given to avoid such ambiguities altogether.
This paper is a continuation of the paper gr-qc/0203045 and is devoted to the problem of the arrow of time. A deterministic past-directed dynamics is constructed, which results in the retrodictive universe. A future-directed dynamics of the latter is indeterministic and reproduces standard probabilistic quantum dynamics. The arrow of time is inherent in the retrodictive universe as well as a future-directed increase of informational entropy.
Quantum state tomography often operates in the highly idealised scenario of assuming perfect measurements. The errors implied by such an approach are entwined with other imperfections relating to the information processing protocol or application of interest. We consider the problem of retrodicting the quantum state of a system, existing prior to the application of random but known phase errors, allowing those errors to be separated and removed. The continuously random nature of the errors implies that there is only one click per measurement outcome -- a feature having a drastically adverse ef…
Two measures of fidelity are proposed for postselecting devices, the retrodictive conditional probability that the state in the measurement arm is the one indicated by the detectors, and the probability that the device produces the state that it would produce if working perfectly. The first is the natural quantity that one wishes to maximise to improve the device operation. The second corresponds more closely with the accurate operation of the device than the more usual overlap-based fidelity. The results are particularly applicable to the types of state preparation and logic gate operation in…
Quantum models of computation are widely believed to be more powerful than classical ones. Efforts center on proving that, for a given problem, quantum algorithms are more resource efficient than any classical one. All this, however, assumes a standard predictive paradigm of reasoning where, given initial conditions, the future holds the answer. How about bringing information from the future to the present and exploit it to one's advantage? This is a radical new approach for reasoning, so-called Retrodictive Computation, that benefits from the specific form of the computed functions. We demons…
The simultaneous measurement approach of Arthurs and Kelly has been a significant tool for the better understanding of the measurement process in quantum mechanics. This model considers a strong interaction Hamiltonian by discarding the free evolution part. In this work, we study the effect of the full dynamics -- taking into account the free Hamiltonian -- on the optimal limits of retrodictive and predictive accuracy of the simultaneous measurement process of position and momentum observables. To do that, we consider a minimum uncertainty Gaussian state as the system under inspection, which a…
In the Jaynes-Cummings model a two-level atom interacts with a single-mode electromagnetic field. Quantum mechanics predicts collapses and revivals in the probability that a measurement will show the atom to be excited at various times after the initial preparation of the atom and field. In retrodictive quantum mechanics we seek the probability that the atom was prepared in a particular state given the initial state of the field and the outcome of a later measurement on the atom. Although this is not simply the time reverse of the usual predictive problem, we demonstrate in this paper that ret…
Radical-ion-pair reactions, central in photosynthesis and the avian magnetic compass mechanism, have recently shown to be a paradigm system for applying quantum information science in a biochemical setting. The fundamental quantum master equation describing radical-ion-pair reactions is still under debate. We here use quantum retrodiction to produce a rigorous refinement of the theory put forward in Phys. Rev. E {\bf 83}, 056118 (2011). We also provide a rigorous analysis of the measure of singlet-triplet coherence required for deriving the radical-pair master equation. A Monte-Carlo simulatio…
Measurement of a quantum system provides information concerning the state in which it was prepared. In this paper we show how the retrodictive formalism can be used to evaluate the probability associated with any one of a given set of preparation events. We illustrate our method by calculating the retrodictive density operator for a two-level atom coupled to the electromagnetic field.
The conventional postulate for the probabilistic interpretation of quantum mechanics is asymmetric in preparation and measurement, making retrodiction reliant on inference by use of Bayes' theorem. Here, a more fundamental symmetric postulate is presented, from which both predictive and retrodictive probabilities emerge immediately, even where measurement devices more general than those usually considered are involved. It is shown that the new postulate is perfectly consistent with the conventional postulate.
Continuous weak measurement allows localizing open quantum systems in state space, and tracing out their quantum trajectory as they evolve in time. Efficient quantum measurement schemes have previously enabled recording quantum trajectories of microwave photon and qubit states. We apply these concepts to a macroscopic mechanical resonator, and follow the quantum trajectory of its motional state conditioned on a continuous optical measurement record. Starting with a thermal mixture, we eventually obtain coherent states of 78% purity--comparable to a displaced thermal state of occupation 0.14. W…
We discuss the concept of connection states (or connection matrices) that describe posterior ensembles, post-selected according to the outcomes of a quantum measurement. Connection matrices allow one to obtain results of any weak and some non-weak pre- and post-selected measurements, in the same manner as density matrices allow one to predict the results of conventional quantum measurements. Connection matrices are direct extensions of the density matrices and are generally non-Hermitian, which we show to be a direct consequence of quantum complementarity. This implies that the ultimate reason…
The accuracy of the Arthurs-Kelly model of a simultaneous measurement of position and momentum is analysed using concepts developed by Braginsky and Khalili in the context of measurements of a single quantum observable. A distinction is made between the errors of retrodiction and prediction. It is shown that the distribution of measured values coincides with the initial state Husimi function when the retrodictive accuracy is maximised, and that it is related to the final state anti-Husimi function (the P representation of quantum optics) when the predictive accuracy is maximised. The disturban…
We apply the time-dependent decoherence-free subspace theory to a Markovian open quantum system in order to present a novel proposal for quantum-state engineering program. By quantifying the purity of the quantum state, we verify that the quantum-state engineering process designed via our method is completely unitary within any total engineering time. Even though the controls on the open quantum system are not perfect, the asymptotic purity is still robust. Owing to its ability to completely resist decoherence and the lack of restraint in terms of the total engineering time, our proposal is su…
In this perspective I give my answer to the question of how quantum computing will impact on data-intensive applications in engineering and science. I focus on quantum Monte Carlo integration as a likely source of (relatively) near-term quantum advantage, but also discuss some other ideas that have garnered wide-spread interest.
We prove a generalization of the Lindblad's fundamental no-go result: A quantum system cannot be completely frozen and, in some cases, even thermalized via translationally invariant dissipation -- the quantum friction. Nevertheless, a practical methodology is proposed for engineering nearly perfect quantum analogs of classical friction within the Doppler cooling framework. These findings pave the way for hallmark dissipative engineering (e.g. nonreciprocal couplings) with atoms and molecules.
We show that the effects of decoherence on quantum steering ellipsoids can be controlled by a specific reservoir manipulating, in both Markovian and non-Markovian realms. Therefore, the so-called maximal steered coherence could be protected through reservoir engineering implemented by coupling auxiliary qubits to the reservoir.
We show that specific quantum noise, acting as an open-system reservoir for non-locally entangled atoms, can serve to preserve rather than degrade joint coherence. This creates a new type of long-time control over hiding and recovery of quantum entanglement.
We describe different strategies for using a semi-classical controller to engineer quantum Hamiltonians to solve control problems such as quantum state or process engineering or optimization of observables.
We present a proposal for protecting states against decoherence, based on the engineering of pointer states. We apply this procedure to the vibrational motion of a trapped ion, and show how to protect qubits, squeezed states, approximate phase eigenstates and superpositions of coherent states.
We give an overview of different paradigms for control of quantum systems and their applications, illustrated with specific examples. We further discuss the implications of fault-tolerance requirements for quantum process engineering using optimal control, and explore the possibilities for architecture simplification and effective control using a minimum number of simple switch actuators.
The possibility to induce predetermined coherent quantum dynamics by controlling only the dissipative environmental parameters (such as temperature and pressure) is studied using the combined optimal control and environment engineering frameworks. As an example, we consider the problem of transforming an optically excited donor state into free charge carriers via intermediate higher-lying bridge state(s), with a view to solar energy conversion. In this context, vibrational bath engineering allows to promote fast, directional charge transfer and to suppress recombinative losses.
A novel scheme to realize the whole class of quantum nondemolition (QND) measurements of a field quadrature is suggested. The setup requires linear optical components and squeezers, and allows optimal QND measurements of quadratures, which minimize the information gain versus state disturbance trade-off.
We discuss applications of shortcuts to adiabaticity (STA) to adiabatic quantum computation. After reviewing the fundamental properties and the present status of STA from the author's personal point of view, we apply the method to the adiabatic algorithm of the Grover's problem. We discuss two possible implementations of STA for the adiabatic quantum computations: the method of quantum adiabatic brachistochrone and the Lewis-Riesenfeld invariant-based inverse engineering.
We describe a hybrid quantum system composed of a micrometer-size carbon nanotube (CNT) longitudinally coupled to a flux qubit. We demonstrate the usefulness of this device for generating high-fidelity nonclassical states of the CNT via dissipative quantum engineering. Sideband cooling of the CNT to its ground state and generating a squeezed ground state, as a mechanical analogue of the optical squeezed vacuum, are two additional examples of the dissipative quantum engineering studied here. Moreover, we show how to generate a long-lived macroscopically-distinct superposition (i.e., a Schröding…
We address quantum state engineering of single- and two-mode states by means of non-deterministic noiseless linear amplifiers (NLAs) acting on Gaussian states. In particular, we show that NLAs provide an effective scheme to generate highly non-Gaussian and non-classical states. Additionally, we show that the amplification of a two-mode squeezed vacuum state (twin-beam) may highly increase entanglement.
We propose a general experimental quantum state engineering scheme for the high-fidelity conditional generation of a large variety of nonclassical states of traveling optical fields. It contains a single measurement, thereby achieving a high success probability. The generated state is encoded in the optimal choice of the physically controllable parameters of the arrangement. These parameter values are determined via numerical optimization.
Quantum error correction in general is experimentally challenging as it requires significant expansion of the size of quantum circuits and accurate performance of quantum gates to fulfill the error threshold requirement. Here we propose a method much simpler for experimental implementation to correct arbitrary detection errors. The method is based on processing of data from repetitive experiments and can correct detection error of any magnitude, as long as the error magnitude is calibrated. The method is illustrated with its application to detection of multipartite entanglement from quantum st…
The capability to generate and manipulate quantum states in high-dimensional Hilbert spaces is a crucial step for the development of quantum technologies, from quantum communication to quantum computation. One-dimensional quantum walk dynamics represents a valid tool in the task of engineering arbitrary quantum states. Here we affirm such potential in a linear-optics platform that realizes discrete-time quantum walks in the orbital angular momentum degree of freedom of photons. Different classes of relevant qudit states in a six-dimensional space are prepared and measured, confirming the feasi…
Quantum state preparation in high-dimensional systems is an essential requirement for many quantum-technology applications. The engineering of an arbitrary quantum state is, however, typically strongly dependent on the experimental platform chosen for implementation, and a general framework is still missing. Here we show that coined quantum walks on a line, which represent a framework general enough to encompass a variety of different platforms, can be used for quantum state engineering of arbitrary superpositions of the walker's sites. We achieve this goal by identifying a set of conditions t…
Using the concept of spectral engineering we explore the possibilities of building potentials with prescribed spectra offered by a modified intertwining technique involving operators which are the product of a standard first-order intertwiner and a unitary scaling. In the same context we study the iterations of such transformations finding that the scaling intertwining provides a different and richer mechanism in designing quantum spectra with respect to that given by the standard intertwining
We discuss a novel method of efficiently producing multi-photon states using repeated spontaneous parametric downconversion. Specifically, by attempting downconversion several times, we can pseudo-deterministically add photons to a mode, producing various several-photon states. We discuss both expected performance and experimental limitations.
In this paper we discuss how we can design Hamiltonians to implement quantum algorithms, in particular we focus in Deutsch and Grover algorithms. As main result of this paper, we show how Hamiltonian inverse quantum engineering method allow us to obtain feasible and time-independent Hamiltonians for implementing such algorithms. From our approach for the Deutsch algorithm, different from others techniques, we can provide an alternative approach for implementing such algorithm where no auxiliary qubit and additional resources are required. In addition, by using a single quantum evolution, the G…
Several concrete examples in quantum information are discussed to demonstrate the importance of proper modeling that relates the mathematical description to real-world applications. In particular, it is shown that some commonly accepted conclusions are not adequately supported by their purported justifications in the logical manner required.
We analyze the fidelity of the generalized Pauli channels governed by memory kernel master equations. It is shown that, by appropriate engineering of parameters of the corresponding memory kernel, the quantum evolution with non-local noise can have higher fidelity than the corresponding purely Markovian evolution governed by the Markovian semigroup. Similar engineering can substantially influence the evolution of quantum entanglement, entropy, and quantum coherence.
An entanglement-preserving photo-detector converts photon polarization to electron spin. Up and down spin must respond equally to oppositely polarized photons, creating a requirement for degenerate spin energies, ge=0 for electrons. We present a plot of ge-factor versus lattice constant, analogous to bandgap versus lattice constant, that can be used for g-factor engineering of III-V alloys and quantum wells
In this paper, we propose a concept to use a quantum speed limit (QSL) as a measure of robustness of states, defining that a state with bigger QSL is more robust. In this perspective, it is important to have an explicitly-computable QSL, because then we can formulate an engineering problem of Hamiltonian that makes a target state robust against decoherence. Hence we derive a new explicitly-computable QSL that is applicable to general Markovian open quantum systems. This QSL is tighter than another explicitly-computable QSL, in an important setup such that decoherence is small. Also the Hamilto…
We study a coherent superposition of field annihilation and creation operator acting on continuous variable systems and propose its application for quantum state engineering. Specifically, it is investigated how the superposed operation transforms a classical state to a nonclassical one, together with emerging nonclassical effects. We also propose an experimental scheme to implement this elementary coherent operation and discuss its usefulness to produce an arbitrary superposition of number states involving up to two photons.
We investigate which non-Gaussian resources are needed, in addition to Gaussian operations and measurements, for implementation of arbitrary quantum gates on multimode quantum states of light. We show that an arbitrary set of states with finite expansion in Fock basis is sufficient for this task. As an illustration we present an explicit scheme for probabilistic implementation of the nonlinear sign gate using resource non-Gaussian states and Gaussian operations.
Variational hybrid quantum-classical algorithms are some of the most promising workloads for near-term quantum computers without error correction. The aim of these variational algorithms is to guide the quantum system to a target state that minimizes a cost function, by varying certain parameters in a quantum circuit. This paper proposes a new approach for engineering cost functions to improve the performance of a certain class of these variational algorithms on today's small qubit systems. We apply this approach to a variational algorithm that generates thermofield double states of the transv…
Quantum state engineering, namely the generation and control of arbitrary quantum states, is drawing more and more attention due to its wide applications in quantum information and computation. However, there is no general method in theory, and the existing schemes also depend heavily on the selected experimental platform. In this manuscript, we give two schemes for the engineering task of arbitrary quantum state in $c$-partite $d$-dimensional system, both of which are based on discrete-time quantum walk with a $2^c$-dimensional time- and position-dependent coin. The first procedure is a $d$-s…
We discuss prospects of building hybrid quantum devices involving elements of atomic and molecular physics, quantum optics and solid state elements with the attempt to combine advantages of the respective systems in compatible experimental setups. In particular, we summarize our recent work on quantum hybrid devices and briefly discuss recent ideas for quantum networks. These include interfacing of molecular quantum memory with circuit QED, and using nanomechanical elements strongly coupled to qubits represented by electronic spins, as well as single atoms or atomic ensembles.
We propose a robust scheme to generate single-photon Fock states and atom-photon and atom-atom entanglement in atom-cavity systems. We also present a scheme for quantum networking between two cavity nodes using an atomic channel. The mechanism is based on Stark-chirped rapid adiabatic passage (SCRAP) and half-SCRAP processes in a microwave cavity. The engineering of these states depends on the design of the adiabatic dynamics through the static and dynamic Stark shifts.
Two-qubit gates are a fundamental constituent of a quantum computer and typically its most challenging operation. In a trapped-ion quantum computer, this is typically implemented with laser beams which are modulated in amplitude, frequency, phase, or a combination of these. The required modulation becomes increasingly more complex as the quantum computer becomes larger, complicating the control hardware design. Here, we develop a simple method to essentially remove the pulse-modulation complexity by engineering the normal modes of the ion chain. We experimentally demonstrate the required mode …
We propose a method for Hamiltonian engineering in quantum information processing architectures that requires no local control, but only relies on collective qubit rotations and field gradients. The technique achieves a spatial modulation of the coupling strengths via a dynamical construction of a weighting function combined with a Bragg grating. As an example, we demonstrate how to generate the ideal Hamiltonian for perfect quantum information transport between two separated nodes of a large spin network. We engineer a spin chain with optimal couplings from a large spin network, such as natur…
Continuous-variable quantum information processing through quantum optics offers a promising platform for building the next generation of scalable fault-tolerant information processors. To achieve quantum computational advantages and fault tolerance, non-Gaussian resources are essential. In this work, we propose and analyze a method to generate a variety of non-Gaussian states using coherent photon subtraction from a two-mode squeezed state followed by photon-number-resolving measurements. The proposed method offers a promising way to generate rotation-symmetric states conventionally used for …
