We propose a scheme for scalable and universal quantum computation using diatomic bits with conditional dipole-dipole interaction, trapped within an optical lattice. The qubit states are encoded by the scattering state and the bound heteronuclear molecular state of two ultracold atoms per site. The conditional dipole-dipole interaction appears between neighboring bits when they both occupy the molecular state. The realization of a universal set of quantum logic gates, which is composed of single-bit operations and a two-bit controlled-NOT gate, is presented. The readout method is also discussed.
We propose a novel physical realization of a quantum computer. The qubits are electric dipole moments of ultracold diatomic molecules, oriented along or against an external electric field. Individual molecules are held in a 1-D trap array, with an electric field gradient allowing spectroscopic addressing of each site. Bits are coupled via the electric dipole-dipole interaction. Using technologies similar to those already demonstrated, this design can plausibly lead to a quantum computer with $\gtrsim 10^4$ qubits, which can perform $\sim 10^5$ CNOT gates in the anticipated decoherence time of …
We argue that several claims of paper Phys. Rev. Lett 79, 1953 (1997), by Lu-Ming Duan and Guang-Can Guo, are questionable. In particular we stress that the environmental noise considered by the authors belongs to a very special class
Atomic-scale logic and the minimization of heating (dissipation) are both very high on the agenda for future computation hardware. An approach to achieve these would be to replace networks of transistors directly by classical reversible logic gates built from the coherent dynamics of a few interacting atoms. As superpositions are unnecessary before and after each such gate (inputs and outputs are bits), the dephasing time only needs to exceed a single gate operation time, while fault tolerance should be achieved with low overhead, by classical coding. Such gates could thus be a spin-off of qua…
The computational efficiency of quantum mechanics can be defined in terms of the qubit circuit model, which is characterized by a few simple properties: each computational gate is a reversible transformation in a connected matrix group; single wires carry quantum bits, i.e. states of a three-dimensional Bloch ball; states on two or more wires are uniquely determined by local measurement statistics and their correlations. In this paper, we ask whether other types of computation are possible if we relax one of those characteristics (and keep all others), namely, if we allow wires to be described…
A scheme is proposed for protecting quantum states from both independent decoherence and cooperative decoherence. The scheme operates by pairing each qubit (two-state quantum system) with an ancilla qubit and by encoding the states of the qubits into the corresponding coherence-preserving states of the qubit-pairs. In this scheme, the amplitude damping (loss of energy) is prevented as well as the phase damping (dephasing) by a strategy called the free-Hamiltonian-elimination We further extend the scheme to include quantum gate operations and show that loss and decoherence during the gate opera…
The calculation time for the energy of atoms and molecules scales exponentially with system size on a classical computer but polynomially using quantum algorithms. We demonstrate that such algorithms can be applied to problems of chemical interest using modest numbers of quantum bits. Calculations of the water and lithium hydride molecular ground-state energies have been carried out on a quantum computer simulator using a recursive phase-estimation algorithm. The recursive algorithm reduces the number of quantum bits required for the readout register from about 20 to 4. Mappings of the molecul…
In the recent years, information theory of quantum-mechanical systems have aroused the interest of many Theoretical Physicist. This due to the fact that it provides a deeper insight into the internal structure of the systems. Also, It is the strongest support of the modern quantum computation and information, which is basic for numerous technological developments. This study report the any $\ell-$state solution of the radial Schrödinger equation with the Mie-type ring shaped diatomic molecular potential. Rotational-vibration of some few selected diatomic molecules are given. The probability di…
It has long been known that to minimise the heat emitted by a deterministic computer during it's operation it is necessary to make the computation act in a logically reversible manner\cite{Lan61}. Such logically reversible operations require a number of auxiliary bits to be stored, maintaining a history of the computation, and which allows the initial state to be reconstructed by running the computation in reverse. These auxiliary bits are wasteful of resources and may require a dissipation of energy for them to be reused. A simple procedure due to Bennett\cite{Ben73} allows these auxiliary bi…
We present a classical model for bulk-ensemble NMR quantum computation: the quantum state of the NMR sample is described by a probability distribution over the orientations of classical tops, and quantum gates are described by classical transition probabilities. All NMR quantum computing experiments performed so far with three quantum bits can be accounted for in this classical model. After a few entangling gates, the classical model suffers an exponential decrease of the measured signal, whereas there is no corresponding decrease in the quantum description. We suggest that for small numbers o…
Global unitary transformations (OPTSWAPS) that optimally increase the bias of any mixed computation qubit in a quantum system -- represented by a diagonal density matrix -- towards a particular state of the computational basis which, in effect, increases its purity are presented. Quantum circuits that achieve this by implementing the above data compression technique -- a generalization of the 3B-Comp used before -- are described. These circuits enable purity increment in the computation qubit by maximally transferring part of its von Neumann or Shannon entropy to any number of surrounding qubi…
Both classical and quantum computations operate with the registers of bits. At nanometer scale the quantum fluctuations at the position of a given bit, say, a quantum dot, not only lead to the decoherence of quantum state of this bit, but also affect the quantum states of the neighboring bits, and therefore affect the state of the whole register. That is why the requirement of reliable separate access to each bit poses the limit on miniaturization, i.e, constrains the memory capacity and the speed of computation. In the present paper we suggest an algorithmic way to tackle the problem of const…
The many-body dynamics of a quantum computer can be reduced to the time evolution of non-interacting quantum bits in auxiliary fields by use of the Hubbard-Stratonovich representation of two-bit quantum gates in terms of one-bit gates. This makes it possible to perform the stochastic simulation of a quantum algorithm, based on the Monte Carlo evaluation of an integral of dimension polynomial in the number of quantum bits. As an example, the simulation of the quantum circuit for the Fast Fourier Transform is discussed.
In this paper we provide a basic introduction of the core ideas and theories surrounding fault-tolerant quantum computation. These concepts underly the theoretical framework of large-scale quantum computation and communications and are the driving force for many recent experimental efforts to construct small to medium sized arrays of controllable quantum bits. We examine the basic principals of redundant quantum encoding, required to protect quantum bits from errors generated from both imprecise control and environmental interactions and then examine the principals of fault-tolerance from larg…
We give three new algorithms for efficient in-place estimation, without using ancilla qubits, of average fidelity of a quantum logic gate acting on a d-dimensional system using much fewer random bits than what was known so far. Previous approaches for efficient estimation of average gate fidelity replaced Haar random unitaries in the naive estimation algorithm by approximate unitary 2-designs, and sampled them uniformly and independently. In contrast, in our first algorithm we sample the unitaries of the approximate unitary 2-design uniformly using a limited independence pseudorandom generator…
A bit-quantum map relates probabilistic information for Ising spins or classical bits to quantum spins or qubits. Quantum systems are subsystems of classical statistical systems. The Ising spins can represent macroscopic two-level observables, and the quantum subsystem employs suitable expectation values and correlations. We discuss static memory materials based on Ising spins for which boundary information can be transported through the bulk in a generalized equilibrium state. They can realize quantum operations as the Hadamard or CNOT-gate for the quantum subsystem. Classical probabilistic s…
Can quantum communication be more efficient than its classical counterpart? Holevo's theorem rules out the possibility of communicating more than n bits of classical information by the transmission of n quantum bits --- unless the two parties are entangled, in which case twice as many classical bits can be communicated but no more. In apparent contradiction, there are distributed computational tasks for which quantum communication cannot be simulated efficiently by classical means. In extreme cases, the effect of transmitting quantum bits cannot be achieved classically short of transmitting an…
We show that a qubit can be used to substitute for an arbitrarily large number of classical bits. We consider a physical system S interacting locally with a classical field phi(x) as it travels directly from point A to point B. The field has the property that its integrated value is an integer multiple of some constant. The problem is to determine whether the integer is odd or even. This task can be performed perfectly if S is a qubit. On the otherhand, if S is a classical system then we show that it must carry an arbitrarily large amount of classical information. We identify the physical reas…
Computation is currently seen as a forward propagator that evolves (retards) a completely defined initial vector into a corresponding final vector. Initial and final vectors map the (logical) input and output of a reversible Boolean network respectively, whereas forward propagation maps a one-way propagation of logical implication, from input to output. Conversely, hard NP-complete problems are characterized by a two-way propagation of logical implication from input to output and vice versa, given that both are partly defined from the beginning. Logical implication can be propagated forward an…
We propose a new scheme for solid-state photonic quantum computation in which trapped photons in optical cavities are taken as a quantum bit. Quantum gates can be realized by coupling the cavities with quantum dots through waveguides. The proposed scheme allows programmable and deterministic gate operations and the system can be scaled up to many quantum bits.
We introduce a new type of cryptographic primitive that we call hiding fingerprinting. A (quantum) fingerprinting scheme translates a binary string of length $n$ to $d$ (qu)bits, typically $d\ll n$, such that given any string $y$ and a fingerprint of $x$, one can decide with high accuracy whether $x=y$. Classical fingerprinting schemes cannot hide information very well: a classical fingerprint of $x$ that guarantees error at most $ε$ necessarily reveals $Ω(\log(1/ epsilon))$ bits about $x$. We call a scheme hiding if it reveals $o(\log(1/ε))$ bits; accordingly, no classical scheme is hiding. F…
We present a strategy to engineer a simple cavity-QED two-bit universal quantum gate using mesoscopic distinct quantum superposition states. The dissipative effect on decoherence and amplitude damping of the quantum bits are analyzed and the critical parameters are presented.
We present a method to create a variety of interesting gates by teleporting quantum bits through special entangled states. This allows, for instance, the construction of a quantum computer based on just single qubit operations, Bell measurements, and GHZ states. We also present straightforward constructions of a wide variety of fault-tolerant quantum gates.
In this paper we discuss the Morse potential on a quantum computer. The Morse potential is useful to describe diatomic molecules and has a finite number of bound states which can be measured through spectroscopy. It is also a example of an exactly soluble potential using supersymmetric quantum mechanics. Using the the supersymmetric quantum mechanics formalism one can derive a heirachy of Hamiltonians such that the ground state of the next rung on the heirarchy yeids the first excited state of the hamiltonian below it. Using this method one can determine all the states of the Morse potential b…
An NMR realization of a two-qubit quantum gate which processes quantum information indirectly via couplings to a spectator qubit is presented in the context of the Deutsch-Jozsa algorithm. This enables a successful comprehensive NMR implementation of the Deutsch-Jozsa algorithm for functions with three argument bits and demonstrates a technique essential for multi-qubit quantum computation.
One fundamental requirement for quantum computation is to perform universal manipulations of quantum bits at rates much faster than the qubit's rate of decoherence. Recently, fast gate operations have been demonstrated in logical spin qubits composed of two electron spins where the rapid exchange of the two electrons permits electrically controllable rotations around one axis of the qubit. However, universal control of the qubit requires arbitrary rotations around at least two axes. Here we show that by subjecting each electron spin to a magnetic field of different magnitude we achieve full qu…
Using a quantumlike description for light propagation in nonhomogeneous optical fibers, quantum information processing can be implemented by optical means. Quantum-like bits (qulbits) are associated to light modes in the optical fiber and quantum gates to segments of the fiber providing an unitary transformation of the mode structure along a space direction. Simulation of nonlinear quantum effects is also discussed.
We describe the creation of a Greenberger-Horne-Zeilinger (GHZ) state of the form |000>+|111> (three maximally entangled quantum bits) using Nuclear Magnetic Resonance (NMR). We have successfully carried out the experiment using the proton and carbon spins of trichloroethylene, and confirmed the result using state tomography. We have thus extended the space of entangled quantum states explored systematically to three quantum bits, an essential step for quantum computation.
We introduce a model of computation based on read only memory (ROM), which allows us to compare the space-efficiency of reversible, error-free classical computation with reversible, error-free quantum computation. We show that a ROM-based quantum computer with one writable qubit is universal, whilst two writable bits are required for a universal classical ROM-based computer. We also comment on the time-efficiency advantages of quantum computation within this model.
In a work by Raz (J. ACM and FOCS 16), it was proved that any algorithm for parity learning on $n$ bits requires either $Ω(n^2)$ bits of classical memory or an exponential number (in~$n$) of random samples. A line of recent works continued that research direction and showed that for a large collection of classical learning tasks, either super-linear classical memory size or super-polynomially many samples are needed. However, these results do not capture all physical computational models, remarkably, quantum computers and the use of quantum memory. It leaves the possibility that a small piece …
A scenario for realization of a quantum computer is proposed consisting of spatially distributed q-bits fabricated in a host structure where nuclear spin-spin coupling is mediated by laser pulse controlled electron-nuclear transferred hyperfine (superhyperfine) Fermi contact interaction. Operations illustrating entanglement, nonlocality, and quantum control logic operations are presented and discussed. The notion of universality of quantum computation is introduced and the irreducible conditions are presented. It is demonstrated that the proposed generic scenario for realization of a quantum c…
We propose a new variant of the controlled-NOT quantum logic gate based on adiabatic level-crossing dynamics of the q-bits. The gate has a natural implementation in terms of the Cooper pair transport in arrays of small Josephson tunnel junctions. An important advantage of the adiabatic approach is that the gate dynamics is insensitive to the unavoidable spread of junction parameters.
We describe a general procedure for mapping arbitrary $n$-qubit states to two-dimensional (2D) vector fields. The mappings use complex rational function representations of individual qubits, producing classical vector field configurations that can be interpreted in terms of 2D inviscid fluid flows or electric fields. Elementary qubits are identified with localized defects in 2D harmonic vector fields, and multi-qubit states find natural field representations via complex superpositions of vector field products. In particular, separable states appear as highly symmetric flow configurations, maki…
This survey summarizes several results about quantum computing related to (mostly static) data structures. First, we describe classical data structures for the set membership and the predecessor search problems: Perfect Hash tables for set membership by Fredman, Komlós and Szemerédi and a data structure by Beame and Fich for predecessor search. We also prove results about their space complexity (how many bits are required) and time complexity (how many bits have to be read to answer a query). After that, we turn our attention to classical data structures with quantum access. In the quantum acc…
Compelling evidence-though yet no formal proof--has been adduced that the probability that a generic two-qubit state ($ρ$) is separable is $\frac{8}{33}$ (arXiv:1301.6617, arXiv:1109.2560, arXiv:0704.3723). Proceeding in related analytical frameworks, using a further determinantal moment formula of C. Dunkl (Appendix), we reach the conclusion that one-half of this probability arises when the determinantal inequality $|ρ^{PT}|>|ρ|$, where $PT$ denotes the partial transpose, is satisfied, and, the other half, when $|ρ|>|ρ^{PT}|$. These probabilities are taken with respect to the flat, Hilbert-Sc…
