In 2001 all-optical quantum computing became feasible with the discovery that scalable quantum computing is possible using only single photon sources, linear optical elements, and single photon detectors. Although it was in principle scalable, the massive resource overhead made the scheme practically daunting. However, several simplifications were followed by proof-of-principle demonstrations, and recent approaches based on cluster states or error encoding have dramatically reduced this worrying resource overhead, making an all-optical architecture a serious contender for the ultimate goal of a large-scale quantum computer. Key challenges will be the realization of high-efficiency sources of indistinguishable single photons, low-loss, scalable optical circuits, high efficiency single photon detectors, and low-loss interfacing of these components.
We report on recent developments in the integration of optical microresonators into atom chips and describe some fabrication and implementation challenges. We also review theoretical proposals for quantum computing with single atoms based on the observation of photons leaking through the cavity mirrors. The use of measurements to generate entanglement can result in simpler, more robust and scalable quantum computing architectures. Indeed, we show that quantum computing with atom-cavity systems is feasible even in the presence of relatively large spontaneous decay rates and finite photon detect…
We present a linear optics quantum computation scheme with a greatly reduced cost in resources compared to KLM. The scheme makes use of elements from cluster state computation and achieves comparable resource usage to those schemes while retaining the circuit based approach of KLM.
Quantum walks have emerged as an interesting candidate for the implementation of quantum information processing protocols. Optical implementations of quantum walks have been demonstrated by various groups and some have received high-profile coverage. It is often claimed that quantum walks provide an avenue towards universal quantum computation. In this comment I wish to dispel some misconceptions surrounding the prospects of quantum walks as a route towards universal optical quantum computation.
Typically linear optical quantum computing (LOQC) models assume that all input photons are completely indistinguishable. In practice there will inevitably be non-idealities associated with the photons and the experimental setup which will introduce a degree of distinguishability between photons. We consider a non-deterministic optical controlled-NOT gate, a fundamental LOQC gate, and examine the effect of temporal and spectral distinguishability on its operation. We also consider the effect of utilizing non-ideal photon counters, which have finite bandwidth and time response.
Quantum computing exploits the quantum-mechanical nature of matter to exist in multiple possible states simultaneously. This new approach promises to revolutionize the present form of computing. As an approach to quantum computing, we discuss ultrafast laser pulse shaping, in particular, the acousto-optic modulator based Fourier-Transform pulse-shaper, which has the ability to modulate tunable high power ultrafast laser pulses. We show that optical pulse shaping is an attractive route to quantum computing since shaped pulses can be transmitted over optical hardware and the same infrastructure …
A new model of quantum computing has recently been proposed which, in analogy with a classical lambda-calculus, exploits quantum processes which operate on other quantum processes. One such quantum meta-operator takes N unitary transformations as input, coherently permutes their ordering, and outputs a new composite operator which can be applied to a quantum state. Here we propose an optical device which implements this type of coherent operator permutation. This device requires only one physical implementation of each operator to be permuted.
A scheme for the implementation of the cluster state model of quantum computing in optical fibers, which enables the feedforward feature, is proposed. This scheme uses the time-bin encoding of qubits. Following previously suggested methods of applying arbitrary one-qubit gates in optical fibers, two different ways for the realization of fusion gate types I and II for cluster production are proposed: a fully time-bin based encoding scheme and a combination of time-bin and polarization based encoding scheme. Also the methods of measurement in any desired bases for the purpose of the processing o…
Quantum computing using two optical coherent states as qubit basis states has been suggested as an interesting alternative to single photon optical quantum computing with lower physical resource overheads. These proposals have been questioned as a practical way of performing quantum computing in the short term due to the requirement of generating fragile diagonal states with large coherent amplitudes. Here we show that by using a fault-tolerant error correction scheme, one need only use relatively small coherent state amplitudes ($α> 1.2$) to achieve universal quantum computing. We study the e…
One-way quantum computing allows any quantum algorithm to be implemented easily using just measurements. The difficult part is creating the universal resource, a cluster state, on which the measurements are made. We propose a radically new approach: a scalable method that uses a single, multimode optical parametric oscillator (OPO). The method is very efficient and generates a continuous-variable cluster state, universal for quantum computation, with quantum information encoded in the quadratures of the optical frequency comb of the OPO.
Photonic quantum systems are among the most promising architectures for quantum computers. It is well known that for dual-rail photons effective non-linearities and near-deterministic non-trivial two-qubit gates can be achieved via the measurement process and by introducing ancillary photons. While in principle this opens a legitimate path to scalable linear optical quantum computing, the technical requirements are still very challenging and thus other optical encodings are being actively investigated. One of the alternatives is to use single-rail encoded photons, where entangled states can be…
The working principles of linear optical quantum computing are based on photodetection, namely, projective measurements. The use of photodetection can provide efficient nonlinear interactions between photons at the single-photon level, which is technically problematic otherwise. We report an application of such a technique to prepare quantum correlations as an important resource for Heisenberg-limited optical interferometry, where the sensitivity of phase measurements can be improved beyond the usual shot-noise limit. Furthermore, using such nonlinearities, optical quantum nondemolition measur…
We show how the measurement induced model of quantum computation proposed by Raussendorf and Briegel [Phys. Rev. Letts. 86, 5188 (2001)] can be adapted to a nonlinear optical interaction. This optical implementation requires a Kerr nonlinearity, a single photon source, a single photon detector and fast feed forward. Although nondeterministic optical quantum information proposals such as that suggested by KLM [Nature 409, 46 (2001)] do not require a Kerr nonlinearity they do require complex reconfigurable optical networks. The proposal in this paper has the benefit of a single static optical la…
We report the successful design and experimental implementation of three coincident nonlinear interactions, namely ZZZ ("type-0"), ZYY (type-I), and YYZ/YZY (type-II) second harmonic generation of 780 nm light from a 1560 nm pump beam in a single, multigrating, periodically poled KTiOPO_4 crystal. The resulting nonlinear medium is the key component for making a scalable quantum computer over the optical frequency comb of a single optical parametric oscillator.
We use a combination of analytical and numerical techniques to calculate the noise threshold and resource requirements for a linear optical quantum computing scheme based on parity-state encoding. Parity-state encoding is used at the lowest level of code concatenation in order to efficiently correct errors arising from the inherent nondeterminism of two-qubit linear-optical gates. When combined with teleported error-correction (using either a Steane or Golay code) at higher levels of concatenation, the parity-state scheme is found to achieve a saving of approximately three orders of magnitude …
We present a proposal for quantum information processing with neutral atoms trapped in optical lattices as qubits. Initialization and coherent control of single qubits can be achieved with standard laser cooling and spectroscopic techniques. We consider entangling two-qubit logic gates based on optically induced dipole-dipole interactions, calculating a figure-of-merit for various protocols. Massive parallelism intrinsic to the lattice geometry makes this an intriguing system for scalable, fault-tolerant quantum computation.
We show that the noise threshold for optical quantum computing can be significantly improved by using the EPR-type of photon source. In this implementation, the detector efficiency $η_{d}$ is required to be larger than 50%, and the source efficiency $η_{s}$ can be an arbitrarily small positive number. This threshold compares favorably with the implementation using the single-photon source, where one requires the combined efficiency $η_{d}η_{s}>2/3$. We discuss several physical setups for realization of the required EPR photon source, including the photon emitter from a single-atom cavity.
Linear optics with photon counting is a prominent candidate for practical quantum computing. The protocol by Knill, Laflamme, and Milburn [Nature 409, 46 (2001)] explicitly demonstrates that efficient scalable quantum computing with single photons, linear optical elements, and projective measurements is possible. Subsequently, several improvements on this protocol have started to bridge the gap between theoretical scalability and practical implementation. We review the original theory and its improvements, and we give a few examples of experimental two-qubit gates. We discuss the use of realis…
We investigate the possibility to achieve scalable photonic quantum computing by the giant optical circular birefringence induced by a quantum-dot spin in a double-sided optical microcavity as a result of cavity quantum electrodynamics. We construct a deterministic controlled-not gate on two photonic qubits by two single-photon input-output processes and the readout on an electron-medium spin confined in an optical resonant microcavity. This idea could be applied to multi-qubit gates on photonic qubits and we give the quantum circuit for a three-photon Toffoli gate. High fidelities and high ef…
We present an efficient proposal for error-rejecting quantum computing with quantum dots (QD) embedded in single-sided optical microcavities based on the interface between the circularly polarized photon and QDs. An almost unity fidelity of the quantum entangling gate (EG) can be implemented with a detectable error that leads to a recycling EG procedure, which improves further the efficiency of our proposal along with the robustness to the errors involved in imperfect input-output processes. Meanwhile, we discuss the performance of our proposal for the EG on two solid-state spins with currentl…
This topical review introduces the theoretical and experimental advances in continuous-variable (CV) --- i.e., qumode-based in lieu of qubit-based --- large-scale, fault-tolerant quantum computing and quantum simulation. An introduction to the physics and mathematics of multipartite entangled CV cluster states is given, and their connection to experimental concepts is delineated. Paths toward fault tolerance are also presented. It is the hope of the author that this review attract more contributors to the field and promote its extension to the promising technology of integrated quantum photoni…
Linear-Optical Passive (LOP) devices and photon counters are sufficient to implement universal quantum computation with single photons, and particular schemes have already been proposed. In this paper we discuss the link between the algebraic structure of LOP transformations and quantum computing. We first show how to decompose the Fock space of N optical modes in finite-dimensional subspaces that are suitable for encoding strings of qubits and invariant under LOP transformations (these subspaces are related to the spaces of irreducible unitary representations of U(N)). Next we show how to des…
We give a scheme for loss tolerantly building a linear optical quantum memory which itself is tolerant to qubit loss. We use the encoding recently introduced in [Phys. Rev. Lett. 97, 120501, (2006)] and give a method for efficiently achieving this. The entire approach resides within the "One-way" model for quantum computing. Our results suggest that it is possible to build a loss tolerant quantum memory, such that if the requirement is to keep the data stored over arbitrarily long times then this is possible with only polynomially increasing resources and logarithmically increasing individual …
We propose two schemes for implementing graph states useful for fault-tolerant topological measurement-based quantum computation in 2D optical lattices. We show that bilayer cluster and surface code states can be created by global single-row and controlled-Z operations. The schemes benefit from the accessibility of atom addressing on 2D optical lattices and the existence of an efficient verification protocol which allows us to ensure the experimental feasibility of measuring the fidelity of the system against the ideal graph state. The simulation results show potential for a physical realizati…
Quantum logic gates are the key elements in quantum computing. Here we investigate the possibility of achieving a scalable and compact quantum computing based on stationary electron-spin qubits, by using the giant optical circular birefringence induced by quantum-dot spins in double-sided optical microcavities as a result of cavity quantum electrodynamics. We design the compact quantum circuits for implementing universal and deterministic quantum gates for electron-spin systems, including the two-qubit CNOT gate and the three-qubit Toffoli gate. They are compact and economic, and they do not r…
We present a scheme for linear optical quantum computing using time-bin encoded qubits in a single spatial mode. We show methods for single-qubit operations and heralded controlled phase (CPhase) gates, providing a sufficient set of operations for universal quantum computing with the Knill-Laflamme-Milburn scheme. Our scheme is suited to available photonic devices and ideally allows arbitrary numbers of qubits to be encoded in the same spatial mode, demonstrating the potential for time-frequency modes to dramatically increase the quantum information capacity of fixed spatial resources. As a te…
This paper summarizes our recent progress towards using single rubidium atoms trapped in an optical tweezer to encode quantum information. We demonstrate single qubit rotations on this system and measure the coherence of the qubit. We move the quantum bit over distances of tens of microns and show that the coherence is reserved. We also transfer a qubit atom between two tweezers and show no loss of coherence. Finally, we describe our progress towards conditional entanglement of two atoms by photon emission and two-photon interferences.
A full-stack analog optical quantum computing platform with one hundred inputs
RIKEN Center for Quantum Computing（理化学研究所量子计算中心）；Department of Applied Physics, School of Engineering, The University of Tokyo（东京大学工学部应用物理系）；OptQC Corp.（OptQC公司）；NTT Device Technology Labs, NTT Corporation（日本电报电话公司设备技术实验室）；Fixstars Amplify Corporation（Fixstars Amplify公司）
Linear optical computing (LOC) with thermal light has recently gained attention because the problem is connected to the permanent of a Hermitian positive semidefinite matrix (HPSM), which is of importance in the computational complexity theory. Despite the several theoretical analyses on the computational structure of an HPSM in connection to LOC, the experimental demonstration and the computational complexity analysis via the linear optical system have not been performed yet. We present, herein, experimental LOC for estimating the permanent of an HPSM. From the linear optical experiments and …
Linear optics quantum computing (LOQC) is a leading candidate for the implementation of large scale quantum computers. Here quantum information is encoded into the quantum states of light and computation proceeds via a linear optics network. It is well known that in such schemes there are stringent requirements on the spatio-temporal structure of photons -- they must be completely indistinguishable and of very high purity. We show that in the Boson-sampling model for LOQC these conditions may be significantly relaxed. We present evidence that by increasing the size of the system we can impleme…
One of the fundamental conditions for one-way quantum computation (1WQC) is the ability to make sequential measurements on isolated qubits that comprise the highly entangled resource for 1WQC, the cluster state. This has been a significant impediment in the implementation of 1WQC with ultracold atoms confined in optical lattices, because the width of the measuring lasers is generally much greater than the atomic (qubit) spacing. We demonstrate that deterministic 1WQC is nevertheless possible, with a polynomial increase in the number of operations, as long as the center of the beams can be posi…
We develop a scheme for time-frequency encoded continuous-variable cluster-state quantum computing using quantum memories. In particular, we propose a method to produce, manipulate and measure 2D cluster states in a single spatial mode by exploiting the intrinsic time-frequency selectivity of Raman quantum memories. Time-frequency encoding enables the scheme to be extremely compact, requiring a number of memories that is a linear function of only the number of different frequencies in which the computational state is encoded, independent of its temporal duration. We therefore show that quantum…
We propose a scheme to make use of recent advances in cavity QED-enhanced resonance fluorescence from quantum dots to generate a stream of entangled and indistinguishable photons. We then demonstrate that we can optically manipulate the state of a trapped hole spin to achieve complete coherent control of a qubit. In combination with the selective cavity enhancement of the resonantly excited transition, we use this capability to perform a proof-of-principle demonstration of our proposal by showing that the time bin of a single photon is dependent on the measured state of the trapped spin.
We present an investigation of the effects of constant but random shifts of the ground hyperfine qubit states in the setting of quantum computing with ion doped crystals. Complex hyperbolic secant pulses can be used to transfer ions reliably to electronically excited states, and a perturbative approach is used to analyse the effect of ground state hyperfine shifts. This analysis shows that the errors due to the hyperfine shift are dynamically supressed during gate operation, a fact we attribute to the AC Stark shift. Furthermore we present an implementation of a controlled phase gate which is …
Linear optical quantum computing (LOQC) seems attractively simple: information is borne entirely by light and processed by components such as beam splitters, phase shifters and detectors. However this very simplicity leads to limitations, such as the lack of deterministic entangling operations, which are compensated for by using substantial hardware overheads. Here we quantify the resource costs for full scale LOQC by proposing a specific protocol based on the surface code. With the caveat that our protocol can be further optimised, we report that the required number of physical components is …
We show that the KLM scheme [Knill, Laflamme and Milburn, Nature {\bf 409}, 46] can be implemented using polarization encoding, thus reducing the number of path modes required by half. One of the main advantages of this new implementation is that it naturally incorporates a loss detection mechanism that makes the probability of a gate introducing a non-detected error, when non-ideal detectors are considered, dependent only on the detector dark-count rate and independent of its efficiency. Since very low dark-count rate detectors are currently available, a high-fidelity gate (probability of err…
This note reviews the model of computation generated by photonic circuits, comprising edges that are traversed by photons in a single time-bin and vertices given by idealised lossless beam splitters and phase shifters. The circuit model is abstracted as a representation of the symmetric monoidal category of unitary matrices on the bosonic Fock space of multimode photons. A diagrammatic language, designed to aid with the understanding and development of photonic algorithms, is presented that encapsulates the category properties of this representation. As demonstrations of the formalism, the bos…
Aaronson and Arkhipov recently used computational complexity theory to argue that classical computers very likely cannot efficiently simulate linear, multimode, quantum-optical interferometers with arbitrary Fock-state inputs [Aaronson and Arkhipov, Theory Comput. 9, 143 (2013)]. Here we present an elementary argument that utilizes only techniques from quantum optics. We explicitly construct the Hilbert space for such an interferometer and show that its dimension scales exponentially with all the physical resources. We also show in a simple example just how the Schrödinger and Heisenberg pictu…
One-way quantum computing is experimentally appealing because it requires only local measurements on an entangled resource called a cluster state. Record-size, but non-universal, continuous-variable cluster states were recently demonstrated separately in the time and frequency domains. We propose to combine these approaches into a scalable architecture in which a single optical parametric oscillator and simple interferometer entangle up to ($3\times 10^3$ frequencies) $\times$ (unlimited number of temporal modes) into a new and computationally universal continuous-variable cluster state. We in…
Photonic hyper-crystals combine the most interesting features of hyperbolic metamaterials and photonic crystals. Since the dispersion law of extraordinary photons in hyperbolic metamaterials does not exhibit the usual diffraction limit, photonic hyper-crystals exhibit light localization on deep subwavelength scales, leading to considerable enhancement of nonlinear photon-photon interaction. Therefore, similar to their conventional photonic crystal counterparts, nonlinear photonic hyper-crystals appear to be very promising in optical limiting and optical computing applications. Nonlinear optics…
A quantum computer is a machine that can perform certain calculations much faster than a classical computer by using the laws of quantum mechanics. Quantum computers do not exist yet, because it is extremely difficult to control quantum mechanical systems to the necessary degree. What is more, we do at this moment not know which physical system is the best suited for making a quantum computer (although we have some ideas). It is likely that a mature quantum information processing technology will use (among others) light, because photons are ideal carriers for quantum information. These notes a…
Quantum computation in the one-way model requires the preparation of certain resource states known as cluster states. We describe how the construction of continuous-variable cluster states for optical quantum computing relate to the existence of certain families of matrices. The relevant matrices are known as weighing matrices, with a few additional constraints. We prove some results regarding the structure of these matrices, and their associated graphs.
Blind quantum computing is a new secure quantum computing protocol where a client who does not have any sophisticated quantum technlogy can delegate her quantum computing to a server without leaking any privacy. It is known that a client who has only a measurement device can perform blind quantum computing [T. Morimae and K. Fujii, Phys. Rev. A {\bf87}, 050301(R) (2013)]. It has been an open problem whether the protocol can enjoy the verification, i.e., the ability of client to check the correctness of the computing. In this paper, we propose a protocol of verification for the measurement-only…
Many existing schemes for linear-optical quantum computing (LOQC) depend on multiplexing (MUX), which uses dynamic routing to enable near-deterministic gates and sources to be constructed using heralded, probabilistic primitives. MUXing accounts for the overwhelming majority of active switching demands in current LOQC architectures. In this manuscript, we introduce relative multiplexing (RMUX), a general-purpose optimization which can dramatically reduce the active switching requirements for MUX in LOQC, and thereby reduce hardware complexity and energy consumption, as well as relaxing demands…
Quantum computing has attracted much attention in recent decades, since it is believed to solve certain problems substantially faster than traditional computing methods. Theoretically, such an advance can be obtained by networks of the quantum operators in universal gate sets, one famous example of which is formed by CNOT gate and single qubit gates. However, realizing a device that performs practical quantum computing is tricky. This is because it requires a scalable qubit system with long coherence time and good controls, which is harsh for most current platforms. Here, we demonstrate that t…
We investigate the feasibility of combining Raman optical lattices with a quantum computing architecture based on lattice-confined magnetically interacting neutral atoms. A particular advantage of the standing Raman field lattices comes from reduced interatomic separations leading to increased interatomic interactions and improved multi-qubit gate performance. Specifically, we analyze a $J=3/2$ Zeeman system placed in $% σ_{+}-σ_{-}$ Raman fields which exhibit $λ/4$ periodicity. We find that the resulting CNOT gate operations times are in the order of millisecond. We also investigate motional …
It is known that optical activities can perform rotations. It is shown that the rotation, if modulated by attenuations, can perform symmetry operations of Wigner's little group which dictates the internal space-time symmetries of elementary particles.
We propose a new scalable architecture for trapped ion quantum computing that combines optical tweezers delivering qubit state-dependent local potentials with oscillating electric fields. Since the electric field allows for long-range qubit-qubit interactions mediated by the center-of-mass motion of the ion crystal alone, it is inherently scalable to large ion crystals. Furthermore, our proposed scheme does not rely on either ground state cooling or the Lamb-Dicke approximation. We study the effects of imperfect cooling of the ion crystal, as well as the role of unwanted qubit-motion entanglem…
We develop an architecture of hybrid quantum solid-state processing unit for universal quantum computing. The architecture allows distant and nonidentical solid-state qubits in distinct physical systems to interact and work collaboratively. All the quantum computing procedures are controlled by optical methods using classical fields and cavity QED. Our methods have prominent advantage of the insensitivity to dissipation process benefiting from the virtual excitation of subsystems. Moreover, the QND measurements and state transfer for the solid-state qubits are proposed. The architecture opens …
