We show how realistic cavity-assisted interaction between neutral atoms and coherent optical pulses, and measurement techniques, combined with optical transportation of atoms, allow for a universal set of quantum gates acting on decoherence-free subspace (DFS) in deterministic way. The logical qubits are immunized to the dominant source of decoherece--dephasing; while, the influences of additional errors are shown by numerical simulations. We analyze the performance and stability of all required operations and emphasize that all techniques we use are feasible with current experimental technology.
In this paper, we propose a way to achieve protected universal computation in a neutral atom quantum computer subject to collective dephasing. Our proposal relies on the existence of a Decoherence Free Subspace (DFS), resulting from symmetry properties of the errors. After briefly describing the physical system and the error model considered, we show how to encode information into the DFS and build a complete set of safe universal gates. Finally, we provide numerical simulations for the fidelity of the different gates in the presence of time-dependent phase errors and discuss their performance…
We describe a broad dynamical-algebraic framework for analyzing the quantum control properties of a set of naturally available interactions. General conditions under which universal control is achieved over a set of subspaces/subsystems are found. All known physical examples of universal control on subspaces/systems are related to the framework developed here.
A generalized universal quantum cloning machine is proposed which allows the input to be arbitrary states in symmetric subspace. And it reduces to the universal quantum cloning machine (UQCM) if the input are identical pure states. The generalized cloner is optimal in the sense we compare the input and output reduced density operators at a single qubit. The result for qubits is extended to arbitrary-dimensional states.
We investigate how to carry out universal quantum computation deterministically with free electrons in decoherence-free subspace by using polarizing beam splitters, charge detectors, and single-spin rotations. Quantum information in our case is encoded in spin degrees of freedom of the electron-pairs which construct a decoherence-free subspace. We design building blocks for two noncommutable single-logic-qubit gates and a logic controlled phase gate, based on which a universal and scalable quantum information processing robust to dephasing is available in a deterministic way.
We put forward a simple construction of genuinely entangled subspaces -- subspaces supporting only genuinely multipartite entangled states -- of any permissible dimensionality for any number of parties and local dimensions. The method uses nonorthogonal product bases, which are built from totally nonsingular matrices with a certain structure. We give an explicit basis for the constructed subspaces. An immediate consequence of our result is the possibility of constructing in the general multiparty scenario genuinely multiparty entangled mixed states with ranks up to the maximal dimension of a g…
We consider interactions that generate a universal set of quantum gates on logical qubits encoded in a collective-dephasing-free subspace, and discuss their implementations with trapped ions. This allows for the removal of the by-far largest source of decoherence in current trapped-ion experiments, collective dephasing. In addition, an explicit parametrization of all two-body Hamiltonians able to generate such gates without the system's state ever exiting the protected subspace is provided.
We investigate the possibility to have electron-pairs in dephasing-free subspace (DFS), by means of the quantum-dot cellular automata (QCA) and single-spin rotations, to carry out a high-fidelity and deterministic universal quantum computation. We show that our QCA device with electrons tunneling two dimensionally is very suitable for DFS encoding, and argue that our design favors a scalable quantum computation robust to collective dephasing errors.
We consider a universal set of quantum gates encoded within a perturbed decoherence-free subspace of four physical qubits. Using second-order perturbation theory and a measuring device modeled by an infinite set of harmonic oscillators, simply coupled to the system, we show that continuous observation of the coupling agent induces inhibition of the decoherence due to spurious perturbations. We thus advance the idea of protecting or even creating a decoherence-free subspace for processing quantum information.
Decoherence-free subspaces (DFSs) shield quantum information from errors induced by the interaction with an uncontrollable environment. Here we study a model of correlated errors forming an Abelian subgroup (stabilizer) of the Pauli group (the group of tensor products of Pauli matrices). Unlike previous studies of DFSs, this type of errors does not involve any spatial symmetry assumptions on the system-environment interaction. We solve the problem of universal, fault-tolerant quantum computation on the associated class of DFSs.
A cavity QED implementation of the non-adiabatic holonomic quantum computation in decoherence-free subspaces is proposed with nitrogen-vacancy centers coupled commonly to the whispering-gallery mode of a microsphere cavity, where a universal set of quantum gates can be realized on the qubits. In our implementation, with the assistant of the appropriate driving fields, the quantum evolution is insensitive to the cavity field state, which is only virtually excited. The implemented non-adiabatic holonomies, utilizing optical transitions in the Λ type of three-level configuration of the nitrogen-v…
A general scheme to perform universal quantum computation within decoherence-free subspaces (DFSs) of a system's Hilbert space is presented. This scheme leads to the first fault-tolerant realization of universal quantum computation on DFSs with the properties that (i) only one- and two-qubit interactions are required, and (ii) the system remains within the DFS throughout the entire implementation of a quantum gate. We show explicitly how to perform universal computation on clusters of the four-qubit DFS encoding one logical qubit each under "collective decoherence" (qubit-permutation-invariant…
The interaction of quantum emitters with one-dimensional photon-like reservoirs induces strong and long-range dissipative couplings that give rise to the emergence of so-called Decoherence Free Subspaces (DFS) which are decoupled from dissipation. When introducing weak perturbations on the emitters, e.g., driving, the strong collective dissipation enforces an effective coherent evolution within the DFS. In this work, we show explicitly how by introducing single-site resolved drivings, we can use the effective dynamics within the DFS to design a universal set of one and two-qubit gates within t…
A fundamental requirement of quantum information processing is the protection from the adverse effects of decoherence and noise. Decoherence-free subspaces and geometric processing are important steps of quantum information protection. Here, we provide a new experimentally feasible scheme to combine decoherence-free subspaces with nonadiabatic geometric manipulations to attain a universal quantum computation. The proposed scheme is different from previous proposals and is based on the typical XY interaction coupling, which can be set up in various nano-engineered systems and therefore open up …
The quantum entropy-typical subspace theory is specified. It is shown that any mixed state with von Neumann entropy less than h can be preserved approximately by the entropy-typical subspace with entropy= h. This result implies an universal compression scheme for the case that the von Neumann entropy of the source does not exceed h.
Entanglement-enhanced quantum sensing via optimal global control with neutral atoms in a cavity
University of Strasbourg and CNRS, CESQ and ISIS (UMR 7006), aQCess（斯特拉斯堡大学与法国国家科学研究中心，量子电子学与光谱学中心及强磁场综合光谱实验室）；Center for Engineered Quantum Systems, School of Mathematical and Physical Sciences, Macquarie University（麦考瑞大学数学与物理科学学院工程量子系统中心）
We prove that universal quantum computation can be realized---using only linear optics and $χ^{(2)}$ (three-wave mixing) interactions---in any $(n+1)$-dimensional qudit basis of the $n$-pump-photon subspace. First, we exhibit a strictly universal gate set for the qubit basis in the one-pump-photon subspace. Next, we demonstrate qutrit-basis universality by proving that $χ^{(2)}$ Hamiltonians and photon-number operators generate the full $\mathfrak{u}(3)$ Lie algebra in the two-pump-photon subspace, and showing how the qutrit controlled-$Z$ gate can be implemented with only linear optics and $χ…
A decoherence-free subspace (DFS) isolates quantum information from deleterious environmental interactions. We give explicit sequences of strong and fast (``bang-bang'', BB) pulses that create the conditions allowing for the existence of DFSs that support scalable, universal quantum computation. One such example is the creation of the conditions for collective decoherence, wherein all system particles are coupled in an identical manner to their environment. The BB pulses needed for this are generated using only the Heisenberg exchange interaction. In conjunction with previous results, this sho…
In a recent letter [Phys. Rev. Lett. 91, 220801 (2003)], V. Mkrtchian and co-workers calculated the radiation pressure force on a moving body, assuming the electromagnetic field to be at temperature $T,$ and the velocity to be much smaller than $c.$ They considered both dielectrics and conductors, and related the effect to Casimir dissipative forces. Here we claim that their approach may only apply in the Rayleigh-Ganz scattering regime, which corresponds to very small particles and/or electromagnetically rarefied media. Moreover, we argue that their interpretation in terms of the Casimir effe…
We derive a tight upper bound for the fidelity of a universal N to M qubit cloner, valid for any M \geq N, where the output of the cloner is required to be supported on the symmetric subspace. Our proof is based on the concatenation of two cloners and the connection between quantum cloning and quantum state estimation. We generalise the operation of a quantum cloner to mixed and/or entangled input qubits described by a density matrix supported on the symmetric subspace of the constituent qubits. We also extend the validity of optimal state estimation methods to inputs of this kind.
Any residual coupling of a quantum computer to the environment results in computational errors. Encoding quantum information in a so-called decoherence-free subspace provides means to avoid these errors. Despite tremendous progress in employing this technique to extend memory storage times by orders of magnitude, computation within such subspaces has been scarce. Here, we demonstrate the realization of a universal set of quantum gates acting on decoherence-free ion qubits. We combine these gates to realize the first controlled-NOT gate within a decoherence-free, scalable quantum computer.
We show how to realize, by means of non-abelian quantum holonomies, a set of universal quantum gates acting on decoherence-free subspaces and subsystems. In this manner we bring together the quantum coherence stabilization virtues of decoherence-free subspaces and the fault-tolerance of all-geometric holonomic control. We discuss the implementation of this scheme in the context of quantum information processing using trapped ions and quantum dots.
Although the quality of quantum bits (qubits) and quantum gates has been steadily improving, the available quantity of qubits has increased quite slowly. To address this important issue in quantum computing, we have demonstrated arbitrary single qubit gates based on targeted phase shifts, an approach that can be applied to atom, ion or other atom-like systems. These gates are highly insensitive to addressing beam imperfections and have little crosstalk, allowing for a dramatic scaling up of qubit number. We have performed gates in series on 48 individually targeted sites in a 40% full $5\times…
We propose a method for general-purpose quantum computation and simulation that is well suited for today's pre-threshold-fidelity superconducting qubits. This approach makes use of the $n$-dimensional single-excitation subspace (SES) of a system of $n$ tunably coupled qubits. It can be viewed as a nonscalable special case of the standard gate-based quantum computing model, but allows many operations in the unitary group SU($n$) to be implemented by a single application of the Hamiltonian. Our approach bypasses the need to decompose the evolution operator into elementary gates, making large, no…
We propose a decoherence-free subspaces (DFS) scheme to realize scalable quantum computation with trapped ions. The spin-dependent Coulomb interaction is exploited, and the universal set of unconventional geometric quantum gates is achieved in encoded subspaces that are immune from decoherence by collective dephasing. The scalability of the scheme for the ion array system is demonstrated, either by an adiabatic way of switching on and off the interactions, or by a fast gate scheme with comprehensive DFS encoding and noise decoupling techniques.
To implement a set of universal quantum logic gates based on non-Abelian geometric phases, it is a conventional wisdom that quantum systems beyond two levels are required, which is extremely difficult to fulfil for superconducting qubits, appearing to be a main reason why only single qubit gates was implemented in a recent experiment [A. A. Abdumalikov Jr \emph{et al}., Nature 496, 482 (2013)]. Here we propose to realize non-adiabatic holonomic quantum computation in decoherence-free subspace on circuit QED, where one can use only the two levels in transmon qubits, a usual interaction, and a m…
``Leakage'' errors are particularly serious errors which couple states within a code subspace to states outside of that subspace thus destroying the error protection benefit afforded by an encoded state. We generalize an earlier method for producing leakage elimination decoupling operations and examine the effects of the leakage eliminating operations on decoherence-free or noiseless subsystems which encode one logical, or protected qubit into three or four qubits. We find that by eliminating the large class of leakage errors, under some circumstances, we can create the conditions for a decohe…
The Zeno effect occurs in quantum systems when a very strong measurement is applied, which can alter the dynamics in non-trivial ways. Despite being dissipative, the dynamics stay coherent within any degenerate subspaces of the measurement. Here we show that such a measurement can turn a single-qubit operation into a two- or multi-qubit entangling gate, even in a non-interacting system. We demonstrate this gate between two effectively non-interacting transmon qubits. Our Zeno gate works by imparting a geometric phase on the system, conditioned on it lying within a particular non-local subspace…
Current quantum computing architectures lack the size and fidelity required for universal fault-tolerant operation, limiting the practical implementation of key quantum algorithms to all but the smallest problem sizes. In this work we propose an alternative method for general-purpose quantum computation that is ideally suited for such "prethreshold" superconducting hardware. Computations are performed in the n-dimensional single-excitation subspace (SES) of a system of n tunably coupled superconducting qubits. The approach is not scalable, but allows many operations in the unitary group SU(n) …
Quantum computation that combines the coherence stabilization virtues of decoherence-free subspaces and the fault tolerance of geometric holonomic control is of great practical importance. Some schemes of adiabatic holonomic quantum computation in decoherence-free subspaces have been proposed in the past few years. However, non-adiabatic holonomic quantum computation in decoherence-free subspaces, which avoids long run-time requirement but with all the robust advantages, remains an open problem. Here, we demonstrate how to realize non-adiabatic holonomic quantum computation in decoherence-free…
We revisit the question of universality in quantum computing and propose a new paradigm. Instead of forcing a physical system to enact a predetermined set of universal gates (e.g., single-qubit operations and CNOT), we focus on the intrinsic ability of a system to act as a universal quantum computer using only its naturally available interactions. A key element of this approach is the realization that the fungible nature of quantum information allows for universal manipulations using quantum information encoded in a subspace of the full system Hilbert space, as an alternative to using physical…
Let $\mathcal{V}=\wedge^N V$ be the $N$-fermion Hilbert space with $M$-dimensional single particle space $V$ and $2N\le M$. We refer to the unitary group $G$ of $V$ as the local unitary (LU) group. We fix an orthonormal (o.n.) basis $\ket{v_1},...,\ket{v_M}$ of $V$. Then the Slater determinants $e_{i_1,...,i_N}:= \ket{v_{i_1}\we v_{i_2}\we...\we v_{i_N}}$ with $i_1<...<i_N$ form an o.n. basis of $\cV$. Let $\cS\subseteq\cV$ be the subspace spanned by all $e_{i_1,...,i_N}$ such that the set $\{i_1,...,i_N\}$ contains no pair $\{2k-1,2k\}$, $k$ an integer. We say that the $\ketψ\in\cS$ are singl…
We investigate how to concatenate different decoherence-free subspaces (DFSs) to realize scalable universal fault-tolerant quantum computation. Based on tunable $XXZ$ interactions, we present an architecture for scalable quantum computers which can fault-tolerantly perform universal quantum computation by manipulating only single type of parameter. By using the concept of interaction-free subspaces we eliminate the need to tune the couplings between logical qubits, which further reduces the technical difficulties for implementing quantum computation.
Universal quantum gates and quantum error correction~(QEC) lie in the heart of quantum information science. Large-scale quantum computing depends on a universal set of quantum gates, in which some gates may be easily carried out, while others are hard with a certain physical system. There is a unique three-qubit quantum gate called the Deutsch gate~[$\mathbb{D}(θ)$], from which alone a circuit can be constructed so that any feasible quantum computing is attainable. As far as we know, however, $\mathbb{D}(θ)$ has not been demonstrated. Here we design an easily realizable $\mathbb{D}(θ)$ by usin…
We propose a scheme to implement quantum computation in decoherence-free subspace with superconducting devices inside a cavity by unconventional geometric manipulation. Universal single-qubit gates in encoded qubit can be achieved with cavity assisted interaction. A measurement-based two-qubit Controlled-Not gate is produced with parity measurements assisted by an auxiliary superconducting device and followed by prescribed single-qubit gates. The measurement of currents on two parallel devices can realize a projective measurement, which is equivalent to the parity measurement on the involved d…
A scheme to implement a quantum computer subjected to decoherence and governed by an untunable qubit-qubit interaction is presented. By concatenating dynamical decoupling through bang-bang (BB) pulse with decoherence-free subspaces (DFSs) encoding, we protect the quantum computer from environment-induced decoherence that results in quantum information dissipating into the environment. For the inherent qubit-qubit interaction that is untunable in the quantum system, BB control plus DFSs encoding will eliminate its undesired effect which spoils quantum information in qubits. We show how this qua…
A large-scalable quantum computer model, whose qubits are represented by the subspace subtended by the ground state and the single exciton state on semiconductor quantum dots, is proposed. A universal set of quantum gates in this system may be achieved by a mixed approach, composed of dynamic evolution and nonadibatic geometric phase.
By using transitionless quantum driving algorithm (TQDA), we present an efficient scheme for the shortcuts to the holonomic quantum computation (HQC). It works in decoherence-free subspace (DFS) and the adiabatic process can be speeded up in the shortest possible time. More interestingly, we give a physical implementation for our shortcuts to HQC with nitrogen-vacancy centers in diamonds dispersively coupled to a whispering-gallery mode microsphere cavity. It can be efficiently realized by controlling appropriately the frequencies of the external laser pulses. Also, our scheme has good scalabi…
We experimentally demonstrate room-temperature storage of quantum entanglement using two nuclear spins weakly coupled to the electronic spin carried by a single nitrogen-vacancy center in diamond. We realize universal quantum gate control over the three-qubit spin system and produce entangled states encoded within the decoherence-free subspace of the two nuclear spins. By injecting arbitrary collective noise, we demonstrate that the decoherence-free entangled state has coherence time longer than that of other entangled states by an order of magnitude in our experiment.
Coherence in an open quantum system is degraded through its interaction with a bath. This decoherence can be avoided by restricting the dynamics of the system to special decoherence-free subspaces. These subspaces are usually constructed under the assumption of spatially symmetric system-bath coupling. Here we show that decoherence-free subspaces may appear without spatial symmetry. Instead, we consider a model of system-bath interactions in which to first order only multiple-qubit coupling to the bath is present, with single-qubit system-bath coupling absent. We derive necessary and sufficien…
Nonadiabatic geometric quantum computation in decoherence-free subspaces has received increasing attention due to the merits of its high-speed implementation and robustness against both control errors and decoherence. However, all the previous schemes in this direction have been based on the conventional geometric phases, of which the dynamical phases need to be removed. In this paper, we put forward a scheme of nonadiabatic geometric quantum computation in decoherence-free subspaces based on unconventional geometric phases, of which the dynamical phases do not need to be removed. Specifically…
Unitary operations are a fundamental component of quantum algorithms, but they seem to be far more useful if given with a "quantum control" as a controlled unitary operation. However, quantum operations are not limited to unitary operations. Nevertheless, it is not a priori clear if a controlled form of these general deterministic quantum operations can be well-defined. To provide a novel tool in the toolbox for quantum programming, we propose a mathematically consistent definition of a controlled form of deterministic but non-unitary quantum operations and, more generally, of quantum combs. W…
All-optical universal control of nuclear-spin qudits in trapped neutral atoms
Institute of Experimental Physics, Graz University of Technology（格拉茨工业大学实验物理研究所）；Institute of Physics, University of Graz（格拉茨大学物理研究所）；PlanQC GmbH（PlanQC有限公司）
We consider an ensemble of atoms with $Λ$-type level structure trapped in a single-mode cavity, and propose a geometric scheme of coherent manipulation of quantum states on the subspace of zero-energy states within the quantum Zeno subspace of the system. We find that the particular subspace inherits the decoherence-free nature of the quantum Zeno subspace and features a symmetry-protected degeneracy, fulfilling all the conditions for a universal scheme of arbitrary unitary operations on it.
An array of ultracold neutral atoms held in optical micro-traps is a promising platform for quantum computation. One of the major bottlenecks of this platform is the weak coupling strength between adjacent atoms, which limits the speed of two-qubit gates. Here, we present a method to perform a fast universal square-root-SWAP gate with fermionic atoms. The basic idea of the gate is to release the atoms into a harmonic potential positioned in between the two atoms. By properly tailoring the interaction parameter, the collision process between the atoms generates entanglement and yields the desir…
Decoherence in quantum computers is formulated within the Semigroup approach. The error generators are identified with the generators of a Lie algebra. This allows for a comprehensive description which includes as a special case the frequently assumed spin-boson model. A generic condition is presented for error-less quantum computation: decoherence-free subspaces are spanned by those states which are annihilated by all the generators. It is shown that these subspaces are stable to perturbations and moreover, that universal quantum computation is possible within them.
It is well known in quantum mechanics that a large energy gap between a Hilbert subspace of specific interest and the remainder of the spectrum can suppress transitions from the quantum states inside the subspace to those outside due to additional couplings that mix these states, and thus approximately lead to a constrained dynamics within the subspace. While this statement has widely been used to approximate quantum dynamics in various contexts, a general and quantitative justification stays lacking. Here we establish an observable-based error bound for such a constrained-dynamics approximati…
We consider a two-dimensional quantum memory of qubits on a torus which encode the extended Fibonaccistring-net code, and devise strategies for error correction when those qubits are subjected to depolarizing noise.Building on the concept of tube algebras, we construct a set of measurements and of quantum gates whichmap arbitrary qubit errors to the string-net subspace and allow for the characterization of the resulting errorsyndrome in terms of doubled Fibonacci anyons. Tensor network techniques then allow to quantitatively studythe action of Pauli noise on the string-net subspace. We perform…
