A Lecture on Quantum Logic Gates

Holonomic quantum logic gates

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.

Quantum logic gates and maximally entangled states in microtraps

This paper has been withdrawn because the first author submitted the paper without previously consulting the rest of the authors.

Quantum Logic Gates using q-deformed Oscillators

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

Generators and Roots of Quantum Logic Gates

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.

Quantum logic gates using Stark shifted Raman transitions in a cavity

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.

Checking the error correction strength of arbitrary surface code logical gates

Topologically quantum error corrected logical gates are complex. Chains of errors can form in space and time and diagonally in spacetime. It is highly nontrivial to determine whether a given logical gate is free of low weight combinations of errors leading to failure. We report a new tool Nestcheck capable of analyzing an arbitrary topological computation and determining the minimum number of errors required to cause failure.

Addendum to "Single photon logic gates using minimum resources"

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.

Implementation of Fault-tolerant Quantum Logic Gates via Optimal Control

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…

Fuzzy Propositional Logic Associated with Quantum Computational Gates

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.

Elementary gates for ternary quantum logic circuit

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…

在超图积码中划分量子比特以实现逻辑门

Partitioning qubits in hypergraph product codes to implement logical gates

研究超图积码中的横向门，通过构建辛正则基证明横向门可实现Hadamard和控制-Z门，结合纠错可实现任意逻辑比特间的纠缠门，为LDPC码上的通用容错量子计算奠定基础。

Fredkin Gates for Finite-valued Reversible and Conservative Logics

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…

可组合逻辑门误差在近似量子纠错中的应用：重新审视Gottesman-Kitaev-Preskill码中的门实现

Composable logical gate error in approximate quantum error correction: reexamining gate implementations in Gottesman-Kitaev-Preskill codes

本文研究了近似GKP码中逻辑门误差的可组合性，发现Pauli门精度随压缩量增加而提高，而某些Clifford门在近似情况下存在恒定误差。

使用无误差虚拟Z门模型通过门集层析成像高效表征qudit逻辑门

Efficient characterization of qudit logical gates with gate set tomography using an error-free Virtual-Z-gate model

针对传统门集层析成像（GST）数据收集和计算成本高的问题，提出一种高效qudit GST方法，利用qudit Hadamard门与无误差虚拟Z门构建基准态以降低计算成本，并在超导transmon qutrit上验证了适用性。

条件量子动力学与逻辑门

Conditional Quantum Dynamics and Logic Gates

量子逻辑门提供了条件量子动力学的基本例子。它们可以构成一般量子信息处理系统的基本组成部分，这些系统最近被证明具有许多有趣的非经典性质。本文描述了一种简单的量子逻辑门--量子受控非门，并分析了它的一些应用。我们讨论了两种可能的物理实现的门，一个基于拉姆齐原子干涉法和其他的两个子系统进行偶极-偶极相互作用的光共振的选择性驱动。

基于QFT加法器架构的布尔逻辑门构造

Construction of Boolean Logic Gates Using QFT-Based Adder Architecture

本研究利用基于量子傅里叶变换的加法器电路，通过预处理和后处理构造了五种布尔逻辑门的量子可逆对应物，在输入增加时减少了量子比特数。

反-Jaynes-Cummings模型中两量子比特量子受控非逻辑门和单量子比特Hadamard逻辑门的理论实现

Theoretical realization of a two qubit quantum controlled-not logic gate and a single qubit Hadamard logic gate in the anti-Jaynes-Cummings model

本研究在反-Jaynes-Cummings模型中理论实现了Hadamard门和量子受控非门，通过精确选择相互作用时间，在非正交基态子空间中获得单位成功概率，为量子计算提供了新方案。

惯性几何量子逻辑门

Inertial geometric quantum logic gates

本文提出基于惯性哈密顿量瞬时本征态几何相位的快速鲁棒STIRAP和量子逻辑门协议，通过设计满足惯性演化条件的脉冲形状优化几何门，在87Rb原子实现中达到接近最先进水平的保真度并显著提升鲁棒性。

Non-deterministic Gates for Photonic Single Rail Quantum Logic

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.

Understanding photonic quantum-logic gates: The road to fault tolerance

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…

Machine learning logical gates for quantum error correction

Quantum error correcting codes protect quantum computation from errors caused by decoherence and other noise. Here we study the problem of designing logical operations for quantum error correcting codes. We present an automated procedure which generates logical operations given known encoding and correcting procedures. Our technique is to use variational circuits for learning both the logical gates and the physical operations implementing them. This procedure can be implemented on near-term quantum computers via quantum process tomography. It enables automatic discovery of logical gates from a…

Quantum interrogation logic gates

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.

Single-photon logic gates using minimal resources

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.

Robust Logic Gates and Realistic Quantum Computation

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…

Quantum logic gates for coupled superconducting phase qubits

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.

All-optical reversible logic gate via adiabatic population transfer

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…

Constructing Quantum Logic Gates Using q-Deformed Harmonic Oscillator Algebras

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.

Zeno logic gates using micro-cavities

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.

Multi-valued Logic Gates for Quantum Computation

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…

无消相干子空间中基于克尔效应的量子逻辑门

Kerr-effect-based quantum logical gates in decoherence-free subspace

针对消相干效应影响量子逻辑门高效实现的问题，提出在无消相干子空间中利用交叉克尔非线性构建CNOT、Toffoli、Fredkin量子控制门的方案，无需复杂电路与辅助光子，成功概率近1且抗光子损耗，具备实用可行性。

Controlled-NOT logic gate for phase qubits based on conditional spectroscopy

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.

Quantum logical gates operating on stored light

An implementation is proposed of single qubit gates, e.g., phase, NOT, \sqrt{NOT} and Hadamard, operating on polarized photons and based on light storage. Instead of processing photons themselves, qubit transformations are performed on atomic excitations due to photon storage in a medium of atoms in the tripod configuration.

An unsharp logic from quantum computation

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.

The CNOT Quantum Logic Gate Using q-Deformed Oscillators

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.

Robust, self-consistent, closed-form tomography of quantum logic gates on a trapped ion qubit

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…

Fault-tolerance of ancilla preparation for logical Toffoli gate of a family of Calderbank-Shor-Steane codes

Fault-tolerant quantum computation using quantum error-correcting codes requires fault-tolerant constructions of nontransversal gates. Shor proposed a fault-tolerant construction of a nontransversal gate, i.e., the Toffoli gate for a family of the Calderbank-Shor-Steane codes which has even-weight stabilizer generators and odd-weight logical operators. In fact, as shown in this paper, error propagations in the ancilla preparation of Shor's construction lead to logical errors. This work provides a solution to this problem through the insertion of bit flip error correction. Finally, error rates …

Deterministic Controlled-NOT gate for single-photon two-qubit quantum logic

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.

Quantum logical gates with four-level SQUIDs coupled to a superconducting resonator

We propose a way for realizing a two-qubit controlled phase gate with superconducting quantum interference devices (SQUIDs) coupled to a superconducting resonator. In this proposal, the two lowest levels of each SQUID serve as the logical states and two intermediate levels of each SQUID are used for the gate realization. We show that neither adjustment of SQUID level spacings during the gate operation nor uniformity in SQUID parameters is required by this proposal. In addition, this proposal does not require the adiabatic passage or a second-order detuning and thus the gate is much faster.

Implementing quantum logic gates with GRAPE: principles and practicalities

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.

Tackling Systematic Errors in Quantum Logic Gates with Composite Rotations

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.

基于可寻址门的量子LDPC码逻辑计算

Addressable gate-based logical computation with quantum LDPC codes

本文提出一种基于门的可寻址协议，利用辅助Bacon-Shor码和量子隐形传态在量子LDPC码上实现单量子比特及多量子比特Clifford操作，并可结合魔态培养实现通用容错量子计算。

Open n-Qubit System as a Quantum Computer with Four-Valued Logic

In this paper we generalize the usual model of quantum computer to a model in which the state is an operator of density matrix and the gates are general superoperators (quantum operations), not necessarily unitary. A mixed state (operator of density matrix) of n two-level quantum system (open or closed n-qubit system) is considered as an element of $4^{n}$-dimensional operator Hilbert space (Liouville space). It allows to use quantum computer (circuit) model with 4-valued logic. The gates of this model are general superoperators which act on n-ququats state. Ququat is quantum state in a 4-dime…

Minimum energy needed to perform a quantum logical gate

A lower bound on the amount of energy needed to carry out an elementary logical operation on a qubit system, with a given accuracy and in a given time, has been recently postulated. This paper is an attempt to formalize this bound and explore the conditions under which it may be expected to hold. This is a work in progress and any contributions will be appreciated.

Cyclic groups and quantum logic gates

We present a formula for an infinite number of universal quantum logic gates, which are $4$ by $4$ unitary solutions to the Yang-Baxter (Y-B) equation. We obtain this family from a certain representation of the cyclic group of order $n$. We then show that this {\it discrete} family, parametrized by integers $n$, is in fact, a small sub-class of a larger {\it continuous} family, parametrized by real numbers $θ$, of universal quantum gates. We discuss the corresponding Yang-Baxterization and related symmetries in the concomitant Hamiltonian.

Creation of Entanglement and Implementation of Quantum Logic Gate Operations Using a Three-Dimensional Photonic Crystal Single-Mode Cavity

We solve the Jaynes-Cummings Hamiltonian with time-dependent coupling parameters under dipole and rotating-wave approximation for a three-dimensional (3D) photonic crystal (PC) single mode cavity with a sufficiently high quality (Q) factor. We then exploit the results to show how to create a maximally entangled state of two atoms, and how to implement several quantum logic gates: a dual-rail Hadamard gate, a dual-rail NOT gate, and a SWAP gate. The atoms in all of these operations are syncronized, which is not the case in previous studies [1,2] in PCs. Our method has the potential for extensio…

Implementation of quantum logic gates using coupled Bose-Einstein condensates

In this work, we are interested on the implementation of single-qubit gates on coupled Bose-Einstein condensates (BECs). The system, a feasible candidate for a qubit, consists on condensed atoms of different hyperfine levels coupled by a two-photon transition. It is well established that the dynamics of coupled BECs can be described by the two-mode Hamiltonian which takes into account the confinement potential of the trap and the effects of collisions associated with each condensate. Other effects, as collisions between atoms belonging to different BECs and detuning are included in this approa…

Demonstration of quantum error correction and universal gate set on a binomial bosonic logical qubit

Logical qubit encoding and quantum error correction (QEC) have been experimentally demonstrated in various physical systems with multiple physical qubits, however, logical operations are challenging due to the necessary nonlocal operations. Alternatively, logical qubits with bosonic-mode-encoding are of particular interest because their QEC protection is hardware efficient, but gate operations on QEC protected logical qubits remain elusive. Here, we experimentally demonstrate full control on a single logical qubit with a binomial bosonic code, including encoding, decoding, repetitive QEC, and …

Quantum Logical Gates with Linear Quadripartite Cluster States of Continuous Variables

The concrete schemes to realize three types of basic quantum logical gates using linear quadripartite cluster states of optical continuous variables are proposed. The influences of noises and finite squeezing on the computation precision are analyzed in terms of the fidelity of propagated quantum information through the continuous variable cluster states. The proposed schemes provide direct references for the design of experimental systems of one-way quantum computer based on the cluster entanglement of amplitude and phase quadratures of light.

Effect of noise on geometric logic gates for quantum computation

We introduce the non-adiabatic, or Aharonov-Anandan, geometric phase as a tool for quantum computation and show how it could be implemented with superconducting charge qubits. While it may circumvent many of the drawbacks related to the adiabatic (Berry) version of geometric gates, we show that the effect of fluctuations of the control parameters on non-adiabatic phase gates is more severe than for the standard dynamic gates. Similarly, fluctuations also affect to a greater extent quantum gates that use the Berry phase instead of the dynamic phase.

基于窗口相关解码的大规模量子计算可扩展常数时间逻辑门

Scalable Constant-Time Logical Gates for Large-Scale Quantum Computation Using Window-Based Correlated Decoding

本文提出一种结合延迟修复线路与窗口相关解码的架构，实现可扩展常数时间逻辑门，降低解码频率和持续时间，并支持时间最优容错量子计算，适用于离子阱等大规模量子计算系统。

Quantum Logic Gates in Optical Lattices

We propose a new system for implementing quantum logic gates: neutral atoms trapped in a very far-off-resonance optical lattice. Pairs of atoms are made to occupy the same well by varying the polarization of the trapping lasers, and then a near-resonant electric dipole is induced by an auxiliary laser. A controlled-NOT can be implemented by conditioning the target atomic resonance on a resolvable level shift induced by the control atom. Atoms interact only during logical operations, thereby suppressing decoherence.

"Modes of the universe" study of two-photon deterministic, passive quantum logical gates

We use the "modes of the universe" approach to study a cavity-mediated two-photon logical gate recently proposed by Koshino, Ishizaka and Nakamura. We clarify the relationship between the more commonly used input-output formalism, and that of Koshino et al., and show that some elements of this gate had been anticipated by other authors. We conclude that their proposed gate can work both in the good and bad cavity limits, provided only that the pulses are long enough. Our formalism allows us to estimate analytically the size of the various error terms, and to follow the spectral evolution of th…

A Quantum-Logic Gate between Distant Quantum-Network Modules

The big challenge in quantum computing is to realize scalable multi-qubit systems with cross-talk free addressability and efficient coupling of arbitrarily selected qubits. Quantum networks promise a solution by integrating smaller qubit modules to a larger computing cluster. Such a distributed architecture, however, requires the capability to execute quantum-logic gates between distant qubits. Here we experimentally realize such a gate over a distance of 60m. We employ an ancillary photon that we successively reflect from two remote qubit modules, followed by a heralding photon detection whic…

通过折叠和扭转在Floquet码上实现逻辑门

Logical gates on Floquet codes via folds and twists

本文通过折叠和扭转技术在Floquet码上实现逻辑门，展示了其在纠错码中的应用和性能优势。