We present how basic logic gates including NAND, NOR and XOR gates can be implemented counterfactually. The two inputs (Bob and Charlie) and the output (Alice) of the proposed counterfactual logic gate are not within the same station but rather separated in three different locations. We show that there is no need to pre-arrange entanglement for the gate, and more importantly, there is no real physical particles traveling among Alice, Bob and Charlie during the information processing. Bob and Charlie only need to independently control the blocking and unblocking of the transmission channels that connect them to Alice. In this way, they can completely determine the state of a real photon at Alice's end, thereby leading to implement a counterfactual logic gate. The functionality of a particular counterfactual logic gate is determined only by an appropriate design of Alice's optical device. Furthermore, by utilizing the proposed counterfactual logic gates, we demonstrate how to counterfactually prepare the Greenberger-Horne-Zeilinger state and W state with three remote quantum objects, which are in superposition states of blocking and unblocking the transmission channel.
Quantum computation with photons requires efficient two photon gates. We put forward a two photon entangling gate which uses an intermediate atomic system. The system includes a single Rydberg atom which can switch on and off photon absorption in an ensemble using the dipole blockade. The gate is based in a counterfactual protocol. The mere possibility of an absorption that can only occur with a vanishing probability steers the photons to the desired final state.
We study the application of one nanoring driven by a laser field in different states of polarization in logic circuits. In particular we show that assigning boolean values to different state of the incident laser field and to the emitted signals, we can create logic gates such as OR, XOR and AND. We also show the possibility to make logic circuits such as half-adder and full-adder using one and two nanoring respectively. Using two nanorings we made the Toffoli gate. Finally we use the final angular momentum acquired by the electron to store information and hence show the possibility to use an …
It is shown that certain natural quantum logic gates, {\it i.e.} unitary time evolution matrices for spin-\frac{1}{2} quantum spins, can be represented as sums, with appropriate phases, over classical logic gates, in a direct analogy with the Feynman path integral representation of quantum mechanics. On the other hand, it is shown that a natural quantum gate obtained by analytically continuing the transfer matrix of the anisotropic nearest-neighbour Ising model to imaginary time, does not admit such a representation.
We analyse the design and optimisation of quantum logic circuits suitable for the experimental demonstration of a three-qubit quantum computation prototype based on optically-controlled, solid-state quantum logic gates. In these gates, the interaction between two qubits carried by the electron-spin of donors is mediated by the optical excitation of a control particle placed in their proximity. First, we use a geometrical approach for analysing the entangling characteristics of these quantum gates. Then, using a genetic programming algorithm, we develop circuits for the refined Deutsch-Jozsa al…
We analyze analytically and numerically quantum logic gates in a one-dimensional spin chain with Heisenberg interaction. Analytic solutions for basic one-qubit gates and swap gate are obtained for a quantum computer based on logical qubits. We calculated the errors caused by imperfect pulses which implement the quantum logic gates. It is numerically demonstrated that the probability error is proportional to $ε^4$, while the phase error is proportional to $ε$, where $ε$ is the characteristic deviation from the perfect pulse duration.
This is a brief overview of quantum holonomies in the context of quantum computation. We choose an adequate set of quantum logic gates, namely, a phase gate, the Hadamard gate, and a conditional-phase gate and show how they can be implemented by purely geometric means. Such gates may be more resilient to certain types of errors.
We show that the quantum logic gates, {\it viz.} the single qubit Hadamard and Phase Shift gates, can also be realised using q-deformed angular momentum states constructed via the Jordan-Schwinger mechanism with two q-deformed oscillators. {\it Keywords :} quantum logic gates ; q-deformed oscillators ; quantum computation {\it PACS:} 03.67.Lx ; 02.20.Uw
This is an exposition of some basic mathematical aspects of quantum logic gates. At first we established some general formulas for the case of arbitrary quantum gate A with unique restriction A^2=I. The explicit form of the generators and roots of matrix A have been found . Then we apply general results to the particular cases of one-qubit and multi-qubit quantum gates. Some interesting properties of square roots of basic Pauli and Hadamard gates are demonstrated.
We present a scheme to realise the basic two-quibit logic gates such as quantum phase gate and controlle-NOT gate using a detuned optical cavity interacting with a three-level Raman system. We discuss the role of Stark shifts which are as important as the terms leading to two-photon transition. The operation of the proposed logic gates involves metastable states of the atom and hence is not affected by spontaneous emission. These ideas can be extended to produce multiparticle entanglement.
The authors call attention to a previous work [Qing Lin and Bing He, Phys. Rev. A 80, 042310 (2009)] on the realization of multi-qubit logic gates with controlled-path and merging gate. We supplement the work by showing how to efficiently build realistic quantum circuits in this approach and giving the guiding rules for the task.
The implementation of fault-tolerant quantum gates on encoded logic qubits is considered. It is shown that transversal implementation of logic gates based on simple geometric control ideas is problematic for realistic physical systems suffering from imperfections such as qubit inhomogeneity or uncontrollable interactions between qubits. However, this problem can be overcome by formulating the task as an optimal control problem and designing efficient algorithms to solve it. In particular, we can find solutions that implement all of the elementary logic gates in a fixed amount of time with limi…
We apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation is the irreversible quantum Poincare structure.
In this article the elementary gates for ternary quantum logic circuit are studied. We propose the ternary controlled X (TCX) gate or ternary controlled Z (TCZ) gate as two-qutrit elementary gate, which is universal when assisted by arbitrary one-qutrit gates. It is primitive, efficient and easy to implement. Based on Cartan decomposition, we also give the one-qutrit elementary gates. Then the synthesis of some important ternary gates is investigated and the scheme of physical implementation for these ternary gates is discussed. Finally we extend these elementary gates to more general qudit ca…
The basic principles and results of Conservative Logic introduced by Fredkin and Toffoli on the basis of a seminal paper of Landauer are extended to d-valued logics, with a special attention to three-valued logics. Different approaches to d-valued logics are examined in order to determine some possible universal sets of logic primitives. In particular, we consider the typical connectives of Lukasiewicz and Godel logics, as well as Chang's MV-algebras. As a result, some possible three-valued and d-valued universal gates are described which realize a functionally complete set of fundamental conn…
Quantum logic gates provide fundamental examples of conditional quantum dynamics. They could form the building blocks of general quantum information processing systems which have recently been shown to have many interesting non--classical properties. We describe a simple quantum logic gate, the quantum controlled--NOT, and analyse some of its applications. We discuss two possible physical realisations of the gate; one based on Ramsey atomic interferometry and the other on the selective driving of optical resonances of two subsystems undergoing a dipole--dipole interaction.
We discuss techniques for producing, manipulating and measureing qubits encoded optically as vacuum and single photon states. We show that a universal set of non-deterministic gates can be constructed using linear optics and photon counting. We investigate the efficacy of a test gate given realistic detector efficiencies.
Fault-tolerant quantum computing requires gates which function correctly despite the presence of errors, and are scalable if the error probability-per-gate is below a threshold value. To date, no method has been described for calculating this probability from measurements on a gate. Here we introduce a technique enabling quantitative benchmarking of quantum-logic gates against fault-tolerance thresholds for any architecture. We demonstrate our technique experimentally using a photonic entangling-gate. The relationship between experimental errors and their quantum logic effect is non-trivial: r…
Quantum interrogation can be used as a basic resource for quantum information. This paper presents its applications to entanglement creation and to optical quantum computation. The starting point will be a photon to particle quantum interrogation CZ gate, from which three families of optical CNOT gates will be derived. These gates are nondestructive and can work with probabilities arbitrarily close to 1. A possible experimental implementation with atomic ensembles is also discussed.
We present a simple architecture for deterministic quantum circuits operating on single photon qubits. Few resources are necessary to implement two elementary gates and can be recycled for computing with large numbers of qubits. The deterministic realization of some key multi-qubit gates, such as the Fredkin and Toffoli gate, is greatly simplified in this approach.
The composite rotation approach has been used to develop a range of robust quantum logic gates, including single qubit gates and two qubit gates, which are resistant to systematic errors in their implementation. Single qubit gates based on the BB1 family of composite rotations have been experimentally demonstrated in a variety of systems, but little study has been made of their application in extended computations, and there has been no experimental study of the corresponding robust two qubit gates to date. Here we describe an application of robust gates to Nuclear Magnetic Resonance (NMR) stu…
Based on a quantum analysis of two capacitively coupled current-biased Josephson junctions, we propose two fundamental two-qubit quantum logic gates. Each of these gates, when supplemented by single-qubit operations, is sufficient for universal quantum computation. Numerical solutions of the time-dependent Schroedinger equation demonstrate that these operations can be performed with good fidelity.
The Toffoli gate is an essential logic element, which permits implementation of a reversible processor. It is of relevance both for classical as well as quantum logics. We propose and theoretically study all-optical implementations of three-bit and four-bit Toffoli gates by application of adiabatic population transfer techniques. For a three-bit Toffoli gate we use variants of stimulated Raman adiabatic passage (STIRAP) processes in a $Λ$-type level scheme, driven by two laser pulses at sufficiently large detunings. For the implementation of a four-bit Toffoli gate, we apply reversible adiabat…
We study two-level q-deformed angular momentum states and us- ing q-deformed harmonic oscillators, we provide a framework for con- structing qubits and quantum gates. We also present the construction of some basic quantum gates including CNOT, SWAP, Toffoli and Fredkin.
The linear optics approach to quantum computing has several potential advantages but the logic operations are probabilistic. Here we review the use of the quantum Zeno effect to suppress the intrinsic failure events in these kinds of devices, which would produce deterministic logic operations without the need for ancilla photons or high-efficiency detectors. The potential advantages of implementing Zeno gates using micro-cavities and electromagnetically-induced transparency are discussed.
We develop a multi-valued logic for quantum computing for use in multi-level quantum systems, and discuss the practical advantages of this approach for scaling up a quantum computer. Generalizing the methods of binary quantum logic, we establish that arbitrary unitary operations on any number of d-level systems (d > 2) can be decomposed into logic gates that operate on only two systems at a time. We show that such multi-valued logic gates are experimentally feasible in the context of the linear ion trap scheme for quantum computing. By using d levels in each ion in this scheme, we reduce the n…
A controlled-NOT logic gate based on conditional spectroscopy has been demonstrated recently for a pair of superconducting flux qubits [Plantenberg et al., Nature 447, 836 (2007)]. Here we study the fidelity of this type of gate applied to a phase qubit coupled to a resonator (or a pair of capacitively coupled phase qubits). Our results show that an intrinsic fidelity of more than 99% is achievable in 45ns.
Logical gates studied in quantum computation suggest a natural logical abstraction that gives rise to a new form of unsharp quantum logic. We study the logical connectives corresponding to the following gates: the Toffoli gate, the NOT and the squareroot of NOT (which admit of natural physical models). This leads to a semantic characterization of a logic that we call computational quantum logic CQL.
It is shown that the two qubit CNOT (controlled NOT) gate can also be realised using q-deformed angular momentum states via the Jordan-Schwinger mechanism.Thus all the three gates necessary for universality i.e. Hadamard, Phase Shift and the two qubit CNOT gate are realisable with q-deformed oscillators.
We introduce and demonstrate experimentally: (1) a framework called "gate set tomography" (GST) for self-consistently characterizing an entire set of quantum logic gates on a black-box quantum device; (2) an explicit closed-form protocol for linear-inversion gate set tomography (LGST), whose reliability is independent of pathologies such as local maxima of the likelihood; and (3) a simple protocol for objectively scoring the accuracy of a tomographic estimate without reference to target gates, based on how well it predicts a set of testing experiments. We use gate set tomography to characteriz…
The paper develops a version of modal logic that stays completely within the framework provided by quantum principles, and then proves, within the framework of quantum thinking, and in particular without invoking "hidden variables", a Bell-type nonlocality result.
We demonstrate a robust implementation of a deterministic linear-optical Controlled-NOT (CNOT) gate for single-photon two-qubit quantum logic. A polarization Sagnac interferometer with an embedded 45$^{\circ}$-oriented dove prism is used to enable the polarization control qubit to act on the momentum (spatial) target qubit of the same photon. The CNOT gate requires no active stabilization because the two spatial modes share a common path, and it is used to entangle the polarization and momentum qubits.
We briefly describe the use of GRAPE pulses to implement quantum logic gates in NMR quantum computers, and discuss a range of simple extensions to the core technique. We then consider a range of difficulties which can arise in practical implementations of GRAPE sequences, reflecting non-idealities in the experimental systems used.
We describe the use of composite rotations to combat systematic errors in single qubit quantum logic gates and discuss three families of composite rotations which can be used to correct off-resonance and pulse length errors. Although developed and described within the context of NMR quantum computing these sequences should be applicable to any implementation of quantum computation.
We study quantum information processing using superpositions of Fock states in superconducting resonators, as quantum $d$-level systems (qudits). A universal set of single and coupled logic gates is theoretically proposed for resonators coupled by superconducting circuits of Josephson juctions. These gates use experimentally demonstrated interactions, and provide an attractive route to quantum information processing using harmonic oscillator modes.
Quantum Hamiltonian Computing is a recent approach that uses quantum systems, in particular a single molecule, to perform computational tasks. Within this approach, we present explicit methods to construct logic gates using two different designs, where the logical outputs are encoded either at fixed energy and spatial positioning of the quantum states, or at different energies. We use these results to construct quantum Boolean adders involving a minimal number of quantum states with the two designs. We also establish a matrix algebra giving an analogy between classical Boolean logic gates and …
A classical logic gate connecting input and output light pulses is demonstrated. The gate operation is based on three steps: First, two incoming light pulses are stored in a Bose-Einstein condensate, second, atomic four-wave mixing generates a new matter wave, and third, the light pulses are retrieved. In the presence of the new matter wave, the retrieval generates a new optical wave. The latter will only be generated if both input light pulses are applied, thus realizing an AND gate. Finally, we show that the gate operation is phase coherent, an essential prerequisite for a quantum logic gate…
We propose and develop a concept of magnonic logic gates enabling reversible computing. The gates consist of passive elements: waveguides, cross-junctions and phase shifters. Logical 0 and 1 are encoded in the relative phase of the propagating spin wave packets (0 or π). The gates contain several possible trajectories for each packet to propagate from the input to the output. Re-direction of the spin wave packets among the possible trajectories is due to the interference in the magnetic cross-junctions. Two wave packets coming to the cross-junction in-phase propagate through the junction witho…
In this paper we discuss a model of quantum computer in which a state is an operator of density matrix and gates are general quantum operations, not necessarily unitary. A mixed state (operator of density matrix) of n two-level quantum systems is considered as an element of 4^n-dimensional operator Hilbert space (Liouville space). It allows to use a quantum computer model with four-valued logic. The gates of this model are general superoperators which act on n-ququat state. Ququat is a quantum state in a four-dimensional (operator) Hilbert space. Unitary two-valued logic gates and quantum oper…
