Quantum Computation and Quantum Information
Wang, Yazhen
2012-01-01
Quantum computation and quantum information are of great current interest in computer science, mathematics, physical sciences and engineering. They will likely lead to a new wave of technological innovations in communication, computation and cryptography. As the theory of quantum physics is fundamentally stochastic, randomness and uncertainty are deeply rooted in quantum computation, quantum simulation and quantum information. Consequently quantum algorithms are random in nature, and quantum ...
Quantum Chaos and Quantum Computers
Shepelyansky, D L
2001-01-01
The standard generic quantum computer model is studied analytically and numerically and the border for emergence of quantum chaos, induced by imperfections and residual inter-qubit couplings, is determined. This phenomenon appears in an isolated quantum computer without any external decoherence. The onset of quantum chaos leads to quantum computer hardware melting, strong quantum entropy growth and destruction of computer operability. The time scales for development of quantum chaos and ergodicity are determined. In spite the fact that this phenomenon is rather dangerous for quantum computing it is shown that the quantum chaos border for inter-qubit coupling is exponentially larger than the energy level spacing between quantum computer eigenstates and drops only linearly with the number of qubits n. As a result the ideal multi-qubit structure of the computer remains rather robust against imperfections. This opens a broad parameter region for a possible realization of quantum computer. The obtained results are...
Unconventional Quantum Computing Devices
Lloyd, Seth
2000-01-01
This paper investigates a variety of unconventional quantum computation devices, including fermionic quantum computers and computers that exploit nonlinear quantum mechanics. It is shown that unconventional quantum computing devices can in principle compute some quantities more rapidly than `conventional' quantum computers.
Quantum information and computation
Bub, Jeffrey
2005-01-01
This article deals with theoretical developments in the subject of quantum information and quantum computation, and includes an overview of classical information and some relevant quantum mechanics. The discussion covers topics in quantum communication, quantum cryptography, and quantum computation, and concludes by considering whether a perspective in terms of quantum information sheds new light on the conceptual problems of quantum mechanics.
Quantum Computational Complexity
Watrous, John
2008-01-01
This article surveys quantum computational complexity, with a focus on three fundamental notions: polynomial-time quantum computations, the efficient verification of quantum proofs, and quantum interactive proof systems. Properties of quantum complexity classes based on these notions, such as BQP, QMA, and QIP, are presented. Other topics in quantum complexity, including quantum advice, space-bounded quantum computation, and bounded-depth quantum circuits, are also discussed.
Kendon, Viv [School of Physics and Astronomy, University of Leeds, LS2 9JT (United Kingdom)
2014-12-04
Quantum versions of random walks have diverse applications that are motivating experimental implementations as well as theoretical studies. Recent results showing quantum walks are “universal for quantum computation” relate to algorithms, to be run on quantum computers. We consider whether an experimental implementation of a quantum walk could provide useful computation before we have a universal quantum computer.
Duality Computing in Quantum Computers
LONG Gui-Lu; LIU Yang
2008-01-01
In this letter, we propose a duality computing mode, which resembles particle-wave duality property when a quantum system such as a quantum computer passes through a double-slit. In this mode, computing operations are not necessarily unitary. The duality mode provides a natural link between classical computing and quantum computing. In addition, the duality mode provides a new tool for quantum algorithm design.
Kendon, Vivien M; Nemoto, Kae; Munro, William J.
2010-01-01
We briefly review what a quantum computer is, what it promises to do for us, and why it is so hard to build one. Among the first applications anticipated to bear fruit is quantum simulation of quantum systems. While most quantum computation is an extension of classical digital computation, quantum simulation differs fundamentally in how the data is encoded in the quantum computer. To perform a quantum simulation, the Hilbert space of the system to be simulated is mapped directly onto the Hilb...
Quantum Computer Games: Quantum Minesweeper
Gordon, Michal; Gordon, Goren
2010-01-01
The computer game of quantum minesweeper is introduced as a quantum extension of the well-known classical minesweeper. Its main objective is to teach the unique concepts of quantum mechanics in a fun way. Quantum minesweeper demonstrates the effects of superposition, entanglement and their non-local characteristics. While in the classical…
Automata and Quantum Computing
Ambainis, Andris; Yakaryilmaz, Abuzer
2015-01-01
Quantum computing is a new model of computation, based on quantum physics. Quantum computers can be exponentially faster than conventional computers for problems such as factoring. Besides full-scale quantum computers, more restricted models such as quantum versions of finite automata have been studied. In this paper, we survey various models of quantum finite automata and their properties. We also provide some open questions and new directions for researchers.
Physics of quantum computation
In the paper, the modern status of the theory of quantum computation is considered. The fundamental principles of quantum computers and their basic notions such as quantum processors and computational basis states of the quantum Turing machine as well as the quantum Fourier transform are discussed. Some possible experimental realizations on the basis of NMR methods are given
Quantum Computing for Computer Architects
Metodi, Tzvetan
2011-01-01
Quantum computers can (in theory) solve certain problems far faster than a classical computer running any known classical algorithm. While existing technologies for building quantum computers are in their infancy, it is not too early to consider their scalability and reliability in the context of the design of large-scale quantum computers. To architect such systems, one must understand what it takes to design and model a balanced, fault-tolerant quantum computer architecture. The goal of this lecture is to provide architectural abstractions for the design of a quantum computer and to explore
Ladd, Thaddeus D; Laflamme, Raymond; Nakamura, Yasunobu; Monroe, Christopher; O'Brien, Jeremy L; 10.1038/nature08812
2010-01-01
Quantum mechanics---the theory describing the fundamental workings of nature---is famously counterintuitive: it predicts that a particle can be in two places at the same time, and that two remote particles can be inextricably and instantaneously linked. These predictions have been the topic of intense metaphysical debate ever since the theory's inception early last century. However, supreme predictive power combined with direct experimental observation of some of these unusual phenomena leave little doubt as to its fundamental correctness. In fact, without quantum mechanics we could not explain the workings of a laser, nor indeed how a fridge magnet operates. Over the last several decades quantum information science has emerged to seek answers to the question: can we gain some advantage by storing, transmitting and processing information encoded in systems that exhibit these unique quantum properties? Today it is understood that the answer is yes. Many research groups around the world are working towards one ...
Quantum Logic and Quantum Computation
Pavicic, Mladen; Megill, Norman D.
2008-01-01
We use classes of Hilbert lattice equations for an alternative representation of Hilbert lattices and Hilbert spaces of arbitrary quantum systems that might enable a direct introduction of the states of the systems into quantum computers. More specifically, we look for a way to feed a quantum computer with algebraic equations of n-th order underlying an infinite dimensional Hilbert space description of quantum systems. A number of new results on states defined on Hilbert lattices are presente...
Quantum robots and quantum computers
Benioff, P.
1998-07-01
Validation of a presumably universal theory, such as quantum mechanics, requires a quantum mechanical description of systems that carry out theoretical calculations and systems that carry out experiments. The description of quantum computers is under active development. No description of systems to carry out experiments has been given. A small step in this direction is taken here by giving a description of quantum robots as mobile systems with on board quantum computers that interact with different environments. Some properties of these systems are discussed. A specific model based on the literature descriptions of quantum Turing machines is presented.
Prashant Anil Patil
2012-04-01
Full Text Available This paper gives the detailed information about Quantum computer, and difference between quantum computer and traditional computers, the basis of Quantum computers which are slightly similar but still different from traditional computer. Many research groups are working towards the highly technological goal of building a quantum computer, which would dramatically improve computational power for particular tasks. Quantum computer is very much use full for computation purpose in field of Science and Research. Large amount of data and information will be computed, processing, storing, retrieving, transmitting and displaying information in less time with that much of accuracy which is not provided by traditional computers.
Quantum Genetics, Quantum Automata and Quantum Computation
Baianu, Professor I. C.
2004-01-01
The concepts of quantum automata and quantum computation are studied in the context of quantum genetics and genetic networks with nonlinear dynamics. In a previous publication (Baianu,1971a) the formal concept of quantum automaton was introduced and its possible implications for genetic and metabolic activities in living cells and organisms were considered. This was followed by a report on quantum and abstract, symbolic computation based on the theory of categories, functors and natural trans...
Integrable Quantum Computation
Zhang, Yong
2011-01-01
Integrable quantum computation is defined as quantum computing via the integrable condition, in which two-qubit gates are either nontrivial unitary solutions of the Yang--Baxter equation or the Swap gate (permutation). To make the definition clear, in this article, we explore the physics underlying the quantum circuit model, and then present a unified description on both quantum computing via the Bethe ansatz and quantum computing via the Yang--Baxter equation.
2008-01-01
In this article,we make a review on the development of a newly proposed quantum computer,duality computer,or the duality quantum computer and the duality mode of quantum computers.The duality computer is based on the particle-wave duality principle of quantum mechanics.Compared to an ordinary quantum computer,the duality quantum computer is a quantum computer on the move and passing through a multi-slit.It offers more computing operations than is possible with an ordinary quantum computer.The most two distinct operations are:the quantum division operation and the quantum combiner operation.The division operation divides the wave function of a quantum computer into many attenuated,and identical parts.The combiner operation combines the wave functions in different parts into a single part.The duality mode is a way in which a quantum computer with some extra qubit resource simulates a duality computer.The main structure of duality quantum computer and duality mode,the duality mode,their mathematical description and algorithm designs are reviewed.
Quantum Computation in Computational Geometry
Sadakane, Kunihiko; Sugawara, Noriko; Tokuyama, Takeshi
2002-01-01
We discuss applications of quantum computation to geometric data processing. These applications include problems on convex hulls, minimum enclosing balls, linear programming, and intersection problems. Technically, we apply well-known Grover’s algorithm (and its variants) combined with geometric algorithms, and no further knowledge of quantum computing is required. However, revealing these applications and emphasizing potential usefulness of quantum computation in geometric data processing wi...
Vedral, Vlatko; Martin B. Plenio
1998-01-01
Quantum computers require quantum logic, something fundamentally different to classical Boolean logic. This difference leads to a greater efficiency of quantum computation over its classical counter-part. In this review we explain the basic principles of quantum computation, including the construction of basic gates, and networks. We illustrate the power of quantum algorithms using the simple problem of Deutsch, and explain, again in very simple terms, the well known algorithm of Shor for fac...
Quantum computing and spintronics
Tentative to build a computer, which can operate according to the quantum laws, has leaded to concept of quantum computing algorithms and hardware. In this review we highlight recent developments which point the way to quantum computing on the basis solid state nanostructures after some general considerations concerning quantum information science and introducing a set of basic requirements for any quantum computer proposal. One of the major direction of research on the way to quantum computing is to exploit the spin (in addition to the orbital) degree of freedom of the electron, giving birth to the field of spintronics. We address some semiconductor approach based on spin orbit coupling in semiconductor nanostructures. (authors)
Quantum information. Teleporation - cryptography - quantum computer
The following topics are dealt with: Reality in the test house, quantum teleportation, 100 years of quantum theory, the reality of quanta, interactionless quantum measurement, rules for quantum computers, quantum computers with ions, spintronics with diamond, the limits of the quantum computers, a view into the future of quantum optics. (HSI)
Uncertainty In Quantum Computation
Kak, Subhash
2002-01-01
We examine the effect of previous history on starting a computation on a quantum computer. Specifically, we assume that the quantum register has some unknown state on it, and it is required that this state be cleared and replaced by a specific superposition state without any phase uncertainty, as needed by quantum algorithms. We show that, in general, this task is computationally impossible.
Computing quantum phase transitions
Vojta, Thomas
2007-01-01
This article first gives a concise introduction to quantum phase transitions, emphasizing similarities with and differences to classical thermal transitions. After pointing out the computational challenges posed by quantum phase transitions, a number of successful computational approaches is discussed. The focus is on classical and quantum Monte Carlo methods, with the former being based on the quantum-to classical mapping while the latter directly attack the quantum problem. These methods ar...
Quantum information. Teleportation - cryptography - quantum computer
The following topics are dealt with: Reality in the test facility, quantum teleportation, the reality of quanta, interaction-free quantum measurement, rules for quantum computers, quantum computers with ions, spintronics with diamond, the limits of the quantum computers, a view in the future of quantum optics. (HSI)
Simulation of quantum computers
De Raedt, H; Michielsen, K; Hams, AH; Miyashita, S; Saito, K; Landau, DP; Lewis, SP; Schuttler, HB
2001-01-01
We describe a simulation approach to study the functioning of Quantum Computer hardware. The latter is modeled by a collection of interacting spin-1/2 objects. The time evolution of this spin system maps one-to-one to a quantum program carried out by the Quantum Computer. Our simulation software con
Simulation of quantum computers
Raedt, H. De; Michielsen, K.; Hams, A.H.; Miyashita, S.; Saito, K.
2000-01-01
We describe a simulation approach to study the functioning of Quantum Computer hardware. The latter is modeled by a collection of interacting spin-1/2 objects. The time evolution of this spin system maps one-to-one to a quantum program carried out by the Quantum Computer. Our simulation software con
Quantum Computing since Democritus
Aaronson, Scott
2013-03-01
1. Atoms and the void; 2. Sets; 3. Gödel, Turing, and friends; 4. Minds and machines; 5. Paleocomplexity; 6. P, NP, and friends; 7. Randomness; 8. Crypto; 9. Quantum; 10. Quantum computing; 11. Penrose; 12. Decoherence and hidden variables; 13. Proofs; 14. How big are quantum states?; 15. Skepticism of quantum computing; 16. Learning; 17. Interactive proofs and more; 18. Fun with the Anthropic Principle; 19. Free will; 20. Time travel; 21. Cosmology and complexity; 22. Ask me anything.
Crutchfield, James P; Wiesner, Karoline
2006-01-01
We introduce ways to measure information storage in quantum systems, using a recently introduced computation-theoretic model that accounts for measurement effects. The first, the quantum excess entropy, quantifies the shared information between a quantum process's past and its future. The second, the quantum transient information, determines the difficulty with which an observer comes to know the internal state of a quantum process through measurements. We contrast these with von Neumann entr...
Quantum computation by measurement and quantum memory
What resources are universal for quantum computation? In the standard model of a quantum computer, a computation consists of a sequence of unitary gates acting coherently on the qubits making up the computer. This requirement for coherent unitary dynamical operations is widely believed to be the critical element of quantum computation. Here we show that a very different model involving only projective measurements and quantum memory is also universal for quantum computation. In particular, no coherent unitary dynamics are involved in the computation
Barz, Stefanie
2013-05-01
Quantum physics has revolutionized our understanding of information processing and enables computational speed-ups that are unattainable using classical computers. In this talk I will present a series of experiments in the field of photonic quantum computing. The first experiment is in the field of photonic state engineering and realizes the generation of heralded polarization-entangled photon pairs. It overcomes the limited applicability of photon-based schemes for quantum information processing tasks, which arises from the probabilistic nature of photon generation. The second experiment uses polarization-entangled photonic qubits to implement ``blind quantum computing,'' a new concept in quantum computing. Blind quantum computing enables a nearly-classical client to access the resources of a more computationally-powerful quantum server without divulging the content of the requested computation. Finally, the concept of blind quantum computing is applied to the field of verification. A new method is developed and experimentally demonstrated, which verifies the entangling capabilities of a quantum computer based on a blind Bell test.
Quantum Computation and Quantum Spin Dynamics
Raedt, Hans De; Michielsen, Kristel; Hams, Anthony; Miyashita, Seiji; Saito, Keiji
2001-01-01
We analyze the stability of quantum computations on physically realizable quantum computers by simulating quantum spin models representing quantum computer hardware. Examples of logically identical implementations of the controlled-NOT operation are used to demonstrate that the results of a quantum
Dissipative quantum computing with open quantum walks
Sinayskiy, Ilya; Petruccione, Francesco [National Institute for Theoretical Physics and Quantum Research Group, School of Chemistry and Physics, University of KwaZulu-Natal, Durban (South Africa)
2014-12-04
An open quantum walk approach to the implementation of a dissipative quantum computing scheme is presented. The formalism is demonstrated for the example of an open quantum walk implementation of a 3 qubit quantum circuit consisting of 10 gates.
Probabilistic Cloning and Quantum Computation
GAO Ting; YAN Feng-Li; WANG Zhi-Xi
2004-01-01
@@ We discuss the usefulness of quantum cloning and present examples of quantum computation tasks for which the cloning offers an advantage which cannot be matched by any approach that does not resort to quantum cloning.In these quantum computations, we need to distribute quantum information contained in the states about which we have some partial information. To perform quantum computations, we use a state-dependent probabilistic quantum cloning procedure to distribute quantum information in the middle of a quantum computation.
Explorations in quantum computing
Williams, Colin P
2011-01-01
By the year 2020, the basic memory components of a computer will be the size of individual atoms. At such scales, the current theory of computation will become invalid. ""Quantum computing"" is reinventing the foundations of computer science and information theory in a way that is consistent with quantum physics - the most accurate model of reality currently known. Remarkably, this theory predicts that quantum computers can perform certain tasks breathtakingly faster than classical computers -- and, better yet, can accomplish mind-boggling feats such as teleporting information, breaking suppos
A quantum computer would put the latest PC to shame. Not only would such a device be faster than a conventional computer, but by exploiting the quantum-mechanical principle of superposition it could change the way we think about information processing. However, two key goals need to be met before a quantum computer becomes reality. The first is to be able to control the state of a single quantum bit (or 'qubit') and the second is to build a two-qubit gate that can produce 'entanglement' between the qubit states. (U.K.)
Milburn, Gerard
2003-10-01
A quantum computer would put the latest PC to shame. Not only would such a device be faster than a conventional computer, but by exploiting the quantum-mechanical principle of superposition it could change the way we think about information processing. However, two key goals need to be met before a quantum computer becomes reality. The first is to be able to control the state of a single quantum bit (or 'qubit') and the second is to build a two-qubit gate that can produce 'entanglement' between the qubit states. (U.K.)
Zak, M.
1998-01-01
Quantum analog computing is based upon similarity between mathematical formalism of quantum mechanics and phenomena to be computed. It exploits a dynamical convergence of several competing phenomena to an attractor which can represent an externum of a function, an image, a solution to a system of ODE, or a stochastic process.
High Performance Quantum Computing
Simon J. Devitt; Munro, William J; Nemoto, Kae
2008-01-01
The architecture scalability afforded by recent proposals of a large scale photonic based quantum computer, utilizing the theoretical developments of topological cluster states and the photonic chip, allows us to move on to a discussion of massively scaled Quantum Information Processing (QIP). In this letter we introduce the model for a secure and unsecured topological cluster mainframe. We consider the quantum analogue of High Performance Computing, where a dedicated server farm is utilized ...
Digital computers are machines that can be programmed to perform logical and arithmetical operations. Contemporary digital computers are ''universal,'' in the sense that a program that runs on one computer can, if properly compiled, run on any other computer that has access to enough memory space and time. Any one universal computer can simulate the operation of any other; and the set of tasks that any such machine can perform is common to all universal machines. Since Bennett's discovery that computation can be carried out in a non-dissipative fashion, a number of Hamiltonian quantum-mechanical systems have been proposed whose time-evolutions over discrete intervals are equivalent to those of specific universal computers. The first quantum-mechanical treatment of computers was given by Benioff, who exhibited a Hamiltonian system with a basis whose members corresponded to the logical states of a Turing machine. In order to make the Hamiltonian local, in the sense that its structure depended only on the part of the computation being performed at that time, Benioff found it necessary to make the Hamiltonian time-dependent. Feynman discovered a way to make the computational Hamiltonian both local and time-independent by incorporating the direction of computation in the initial condition. In Feynman's quantum computer, the program is a carefully prepared wave packet that propagates through different computational states. Deutsch presented a quantum computer that exploits the possibility of existing in a superposition of computational states to perform tasks that a classical computer cannot, such as generating purely random numbers, and carrying out superpositions of computations as a method of parallel processing. In this paper, we show that such computers, by virtue of their common function, possess a common form for their quantum dynamics
Möttönen, M P; Bergholm, V; Salomaa, M M; Mottonen, Mikko; Vartiainen, Juha J.; Bergholm, Ville; Salomaa, Martti M.
2004-01-01
Quantum-circuit optimization is essential for any practical realization of quantum computation. We present a method for decomposing an arbitrary n-bit quantum gate, using the Cosine-Sine decomposition, into a sequence of 4^n - 2^(n+1) CNOT gates and 4^n one-qubit rotations. The decomposition is optimal in the number of one-qubit rotations and scales considerably better than the previously reported decompositions in the number of CNOT gates.
Quantum computing with defects
Weber, J R; Koehl, W. F.; Varley, J. B.; Janotti, A.; Buckley, B. B.; Van de Walle, C. G.; Awschalom, D. D.
2010-01-01
Identifying and designing physical systems for use as qubits, the basic units of quantum information, are critical steps in the development of a quantum computer. Among the possibilities in the solid state, a defect in diamond known as the nitrogen-vacancy (NV-1) center stands out for its robustness - its quantum state can be initialized, manipulated, and measured with high fidelity at room temperature. Here we describe how to systematically identify other deep center defects with similar qua...
Quantum computation: Honesty test
Morimae, Tomoyuki
2013-11-01
Alice does not have a quantum computer so she delegates a computation to Bob, who does own one. But how can Alice check whether the computation that Bob performs for her is correct? An experiment with photonic qubits demonstrates such a verification protocol.
This paper reports that current conceptions of quantum mechanical computers inherit from conventional digital machines two apparently interacting features, machine imperfection and temporal development of the computational process. On account of machine imperfection, the process would become ideally reversible only in the limiting case of zero speed. Therefore the process is irreversible in practice and cannot be considered to be a fundamental quantum one. By giving up classical features and using a linear, reversible and non-sequential representation of the computational process - not realizable in classical machines - the process can be identified with the mathematical form of a quantum steady state. This form of steady quantum computation would seem to have an important bearing on the notion of cognition
Castagnoli, G. (Dipt. di Informatica, Sistemistica, Telematica, Univ. di Genova, Viale Causa 13, 16145 Genova (IT))
1991-08-10
This paper reports that current conceptions of quantum mechanical computers inherit from conventional digital machines two apparently interacting features, machine imperfection and temporal development of the computational process. On account of machine imperfection, the process would become ideally reversible only in the limiting case of zero speed. Therefore the process is irreversible in practice and cannot be considered to be a fundamental quantum one. By giving up classical features and using a linear, reversible and non-sequential representation of the computational process - not realizable in classical machines - the process can be identified with the mathematical form of a quantum steady state. This form of steady quantum computation would seem to have an important bearing on the notion of cognition.
Quantum computing by interrogation
Supic, Ivan
2014-01-01
Treball final de màster oficial fet en col·laboració amb Universitat Autònoma de Barcelona (UAB), Universitat de Barcelona (UB) i Institut de Ciències Fotòniques (ICFO) [ANGLÈS] Quantum information theory forms a bridge between the foundations of quantum mechanics and its promising practical potentials. The extensive theoretical research has been conducted during the last decades and the applications such as quantum key distribution and quantum computing promise to provide real technologic...
Computational Methods for Simulating Quantum Computers
Raedt, H. De; Michielsen, K.
2006-01-01
This review gives a survey of numerical algorithms and software to simulate quantum computers. It covers the basic concepts of quantum computation and quantum algorithms and includes a few examples that illustrate the use of simulation software for ideal and physical models of quantum computers.
A quantum computer has successfully factorized a number for the first time. Quantum mechanics is an extremely successful theory, but also a troubling one. For many years progress was made by concentrating on the obvious applications, and not worrying too much about the counterintuitive world view that quantum mechanics implies. More recently, however, the development of quantum-information theory has reversed this approach. If we take seriously what quantum mechanics seems to be telling us about the world, we can use this 'quantum weirdness' to do apparently impossible things. Probably the most famous application of quantum mechanics is the quantum computer, which is capable of performing calculations that are impossible with any classical device. At first the questions that quantum computers could tackle were rather esoteric, but in 1994 Peter Shor of AT and T Laboratories showed how a quantum computer could factor large numbers, thus rendering most modern cryptographic systems potentially obsolete. In 1996 David Cory and co-workers at the Massachusetts Institute of Technology (MIT) showed how nuclear magnetic resonance (NMR) - a technique best known for its applications in medical imaging and in chemistry - could be used to build small quantum computers. NMR systems are easily controlled by the magnetic component of electromagnetic fields and are only weakly affected by decoherence, and so progress was extremely rapid. Within two years, several two-qubit computers had been developed, and simple algorithms had been implemented. The race was on to build bigger and better NMR quantum computers, and to use them for more interesting tasks. The lead in this race has been held by several different research groups, but has now been decisively claimed by Isaac Chuang's group at Stanford University and IBM's Almaden Research Center in California. Chuang and co-workers have implemented the simplest example of Shor's quantum-factoring algorithm (L Vandersypen 2001 Nature 414
Efficient Quantum Computation with Probabilistic Quantum Gates
Duan, L. -M.; Raussendorf, R.
2005-01-01
With a combination of the quantum repeater and the cluster state approaches, we show that efficient quantum computation can be constructed even if all the entangling quantum gates only succeed with an arbitrarily small probability $p$. The required computational overhead scales efficiently both with $1/p$ and $n$, where $n$ is the number of qubits in the computation. This approach provides an efficient way to combat noise in a class of quantum computation implementation schemes, where the dom...
Kashefi, Elham
Over the next five to ten years we will see a state of flux as quantum devices become part of the mainstream computing landscape. However adopting and applying such a highly variable and novel technology is both costly and risky as this quantum approach has an acute verification and validation problem: On the one hand, since classical computations cannot scale up to the computational power of quantum mechanics, verifying the correctness of a quantum-mediated computation is challenging; on the other hand, the underlying quantum structure resists classical certification analysis. Our grand aim is to settle these key milestones to make the translation from theory to practice possible. Currently the most efficient ways to verify a quantum computation is to employ cryptographic methods. I will present the current state of the art of various existing protocols where generally there exists a trade-off between the practicality of the scheme versus their generality, trust assumptions and security level. EK gratefully acknowledges funding through EPSRC Grants EP/N003829/1 and EP/M013243/1.
Quantum Computers and Quantum Computer Languages: Quantum Assembly Language and Quantum C
Blaha, Stephen
2002-01-01
We show a representation of Quantum Computers defines Quantum Turing Machines with associated Quantum Grammars. We then create examples of Quantum Grammars. Lastly we develop an algebraic approach to high level Quantum Languages using Quantum Assembly language and Quantum C language as examples.
Quantum Computers and Quantum Computer Languages: Quantum Assembly Language and Quantum C Language
Blaha, Stephen
2002-01-01
We show a representation of Quantum Computers defines Quantum Turing Machines with associated Quantum Grammars. We then create examples of Quantum Grammars. Lastly we develop an algebraic approach to high level Quantum Languages using Quantum Assembly language and Quantum C language as examples.
I, Quantum Robot: Quantum Mind control on a Quantum Computer
Zizzi, Paola
2008-01-01
The logic which describes quantum robots is not orthodox quantum logic, but a deductive calculus which reproduces the quantum tasks (computational processes, and actions) taking into account quantum superposition and quantum entanglement. A way toward the realization of intelligent quantum robots is to adopt a quantum metalanguage to control quantum robots. A physical implementation of a quantum metalanguage might be the use of coherent states in brain signals.
Spintronics and Quantum Computing with Quantum Dots
Recher, P.; Loss, D.; Levy, J
2000-01-01
The creation, coherent manipulation, and measurement of spins in nanostructures open up completely new possibilities for electronics and information processing, among them quantum computing and quantum communication. We review our theoretical proposal for using electron spins in quantum dots as quantum bits. We present single- and two qubit gate mechanisms in laterally as well as vertically coupled quantum dots and discuss the possibility to couple spins in quantum dots via superexchange. We ...
Simulating Chemistry Using Quantum Computers
Kassal, Ivan; Whitfield, James D.; Perdomo-Ortiz, Alejandro; Yung, Man-Hong; Aspuru-Guzik, Alan
2011-01-01
The difficulty of simulating quantum systems, well-known to quantum chemists, prompted the idea of quantum computation. One can avoid the steep scaling associated with the exact simulation of increasingly large quantum systems on conventional computers, by mapping the quantum system to another, more controllable one. In this review, we discuss to what extent the ideas in quantum computation, now a well-established field, have been applied to chemical problems. We describe algorithms that achi...
Hamiltonians for Quantum Computing
Privman, Vladimir; Mozyrsky, Dima; Hotaling, Steven P.
1997-01-01
We argue that the analog nature of quantum computing makes the usual design approach of constructing complicated logical operations from many simple gates inappropriate. Instead, we propose to design multi-spin quantum gates in which the input and output two-state systems (spins) are not necessarily identical. We outline the design criteria for such devices and then review recent results for single-unit Hamiltonians that accomplish the NOT and XOR functions.
Quantum Computing using Photons
Elhalawany, Ahmed; Leuenberger, Michael
2013-03-01
In this work, we propose a theoretical model of two-quantum bit gates for quantum computation using the polarization states of two photons in a microcavity. By letting the two photons interact non-resonantly with four quantum dots inside the cavity, we obtain an effective photon-photon interaction which we exploit for the implementation of an universal XOR gate. The two-photon Hamiltonian is written in terms of the photons' total angular momentum operators and their states are written using the Schwinger representation of the total angular momentum.
Quantum information and computation
During the past two decades, there has emerged the new subject of quantum information and computation which both offers the possibility of powerful new modes of computing and communication and also suggests deep links between the well established disciplines of quantum theory and information theory and computer science. In recent years, the growth of the subject has been explosive, with significant progress in theory and experiment. The area has a highly interdisciplinary character with contributions from physicists, mathematicians and computer scientists in particular. Developments have occurred in diverse areas including quantum algorithms, quantum communication, quantum cryptography, entanglement and nonlocality. This progress has been reflected in contributions to Journal of Physics A: Mathematical and General which traditionally provides a natural home for this area of research. Furthermore, the journal's commitment to this field has recently been strengthened by the appointments of Sandu Popescu and Nicolas Gisin to the Editorial Board, and in this special issue we take the opportunity to present a snapshot of the present state of the art. (author)
Computational quantum chemistry website
This report contains the contents of a web page related to research on the development of quantum chemistry methods for computational thermochemistry and the application of quantum chemistry methods to problems in material chemistry and chemical sciences. Research programs highlighted include: Gaussian-2 theory; Density functional theory; Molecular sieve materials; Diamond thin-film growth from buckyball precursors; Electronic structure calculations on lithium polymer electrolytes; Long-distance electronic coupling in donor/acceptor molecules; and Computational studies of NOx reactions in radioactive waste storage
Quantum probabilistically cloning and computation
2008-01-01
In this article we make a review on the usefulness of probabilistically cloning and present examples of quantum computation tasks for which quantum cloning offers an advantage which cannot be matched by any approach that does not resort to it.In these quantum computations,one needs to distribute quantum information contained in states about which we have some partial information.To perform quantum computations,one uses state-dependent probabilistic quantum cloning procedure to distribute quantum information in the middle of a quantum computation.And we discuss the achievable efficiencies and the efficient quantum logic network for probabilistic cloning the quantum states used in implementing quantum computation tasks for which cloning provides enhancement in performance.
Undergraduate computational physics projects on quantum computing
Candela, D.
2015-08-01
Computational projects on quantum computing suitable for students in a junior-level quantum mechanics course are described. In these projects students write their own programs to simulate quantum computers. Knowledge is assumed of introductory quantum mechanics through the properties of spin 1/2. Initial, more easily programmed projects treat the basics of quantum computation, quantum gates, and Grover's quantum search algorithm. These are followed by more advanced projects to increase the number of qubits and implement Shor's quantum factoring algorithm. The projects can be run on a typical laptop or desktop computer, using most programming languages. Supplementing resources available elsewhere, the projects are presented here in a self-contained format especially suitable for a short computational module for physics students.
Quantum Computation and Spin Physics
DiVincenzo, David P.
1996-01-01
A brief review is given of the physical implementation of quantum computation within spin systems or other two-state quantum systems. The importance of the controlled-NOT or quantum XOR gate as the fundamental primitive operation of quantum logic is emphasized. Recent developments in the use of quantum entanglement to built error-robust quantum states, and the simplest protocol for quantum error correction, are discussed.
Quantum Computations: Fundamentals And Algorithms
Duplij, Steven; Shapoval, Illia
2007-01-01
Basic concepts of quantum theory of information, principles of quantum calculations and the possibility of creation on this basis unique on calculation power and functioning principle device, named quantum computer, are briefly reviewed. The main blocks of quantum logic, schemes of implementation of quantum calculations, as well as some known today effective quantum algorithms, called to realize advantages of quantum calculations upon classical, are concerned. Among them special place is take...
Quantum Mobile Crypto-Computation
XIONGYan; CHENHuanhuan; GUNaijie; MIAOFuyou
2005-01-01
In this paper, a quantum approach for solving the mobile crypto-computation problem is proposed. In our approach, quantum signature and quantum entanglement have been employed to strengthen the security of mobile computation. Theory analysis shows that our solution is secure against classic and quantum attacks.
Arrighi, P; Arrighi, Pablo; Salvail, Louis
2003-01-01
We investigate the possibility of having someone carry out the work of executing a function for you, but without letting him learn anything about your input. Say Alice wants Bob to compute some well-known function f upon her input x, but wants to prevent Bob from learning anything about x. The situation arises for instance if client Alice has limited computational resources in comparison with mistrusted server Bob, or if x is an inherently mobile piece of data. Could there be a protocol whereby Bob is forced to compute f(x) "blindly", i.e. without observing x? We provide such a blind computation protocol for the class of functions which admit an efficient procedure to generate random input-output pairs, e.g. factorization. The setting is quantum, the security is unconditional, the eavesdropper is as malicious as can be. Keywords: Secure Circuit Evaluation, Secure Two-party Computation, Information Hiding, Information gain vs disturbance.
Scalable Quantum Computing with "Enhancement" Quantum Dots
Lyanda-Geller, Y B; Yang, M J
2005-01-01
We propose a novel scheme of solid state realization of a quantum computer based on single spin "enhancement mode" quantum dots as building blocks. In the enhancement quantum dots, just one electron can be brought into initially empty dot, in contrast to depletion mode dots based on expelling of electrons from multi-electron dots by gates. The quantum computer architectures based on depletion dots are confronted by several challenges making scalability difficult. These challenges can be successfully met by the approach based on ehnancement mode, capable of producing square array of dots with versatile functionalities. These functionalities allow transportation of qubits, including teleportation, and error correction based on straightforward one- and two-qubit operations. We describe physical properties and demonstrate experimental characteristics of enhancement quantum dots and single-electron transistors based on InAs/GaSb composite quantum wells. We discuss the materials aspects of quantum dot quantum compu...
Classically-Controlled Quantum Computation
Perdrix, Simon; Jorrand, Philippe
2004-01-01
Quantum computations usually take place under the control of the classical world. We introduce a Classically-controlled Quantum Turing Machine (CQTM) which is a Turing Machine (TM) with a quantum tape for acting on quantum data, and a classical transition function for a formalized classical control. In CQTM, unitary transformations and measurements are allowed. We show that any classical TM is simulated by a CQTM without loss of efficiency. The gap between classical and quantum computations, ...
Quantum Computation and Spin Electronics
DiVincenzo, David P.; Burkard, Guido; Loss, Daniel; Sukhorukov, Eugene V.
1999-01-01
In this chapter we explore the connection between mesoscopic physics and quantum computing. After giving a bibliography providing a general introduction to the subject of quantum information processing, we review the various approaches that are being considered for the experimental implementation of quantum computing and quantum communication in atomic physics, quantum optics, nuclear magnetic resonance, superconductivity, and, especially, normal-electron solid state physics. We discuss five ...
Genetic Algorithms and Quantum Computation
Giraldi, Gilson A.; Portugal, Renato; Thess, Ricardo N.
2004-01-01
Recently, researchers have applied genetic algorithms (GAs) to address some problems in quantum computation. Also, there has been some works in the designing of genetic algorithms based on quantum theoretical concepts and techniques. The so called Quantum Evolutionary Programming has two major sub-areas: Quantum Inspired Genetic Algorithms (QIGAs) and Quantum Genetic Algorithms (QGAs). The former adopts qubit chromosomes as representations and employs quantum gates for the search of the best ...
Quantum Computing and Dynamical Quantum Models
Aaronson, Scott
2002-01-01
A dynamical quantum model assigns an eigenstate to a specified observable even when no measurement is made, and gives a stochastic evolution rule for that eigenstate. Such a model yields a distribution over classical histories of a quantum state. We study what can be computed by sampling from that distribution, i.e., by examining an observer's entire history. We show that, relative to an oracle, one can solve problems in polynomial time that are intractable even for quantum computers; and can...
Relativistic quantum chemistry on quantum computers
Veis, L.; Visnak, J.; Fleig, T.;
2012-01-01
The past few years have witnessed a remarkable interest in the application of quantum computing for solving problems in quantum chemistry more efficiently than classical computers allow. Very recently, proof-of-principle experimental realizations have been reported. However, so far only...... the nonrelativistic regime (i.e., the Schrodinger equation) has been explored, while it is well known that relativistic effects can be very important in chemistry. We present a quantum algorithm for relativistic computations of molecular energies. We show how to efficiently solve the eigenproblem of the Dirac......-Coulomb Hamiltonian on a quantum computer and demonstrate the functionality of the proposed procedure by numerical simulations of computations of the spin-orbit splitting in the SbH molecule. Finally, we propose quantum circuits with three qubits and nine or ten controlled-NOT (CNOT) gates, which implement a proof...
Quantum computing on encrypted data
Fisher, K. A. G.; Broadbent, A.; Shalm, L. K.; Yan, Z.; Lavoie, J.; Prevedel, R.; Jennewein, T.; Resch, K. J.
2014-01-01
The ability to perform computations on encrypted data is a powerful tool for protecting privacy. Recently, protocols to achieve this on classical computing systems have been found. Here, we present an efficient solution to the quantum analogue of this problem that enables arbitrary quantum computations to be carried out on encrypted quantum data. We prove that an untrusted server can implement a universal set of quantum gates on encrypted quantum bits (qubits) without learning any information about the inputs, while the client, knowing the decryption key, can easily decrypt the results of the computation. We experimentally demonstrate, using single photons and linear optics, the encryption and decryption scheme on a set of gates sufficient for arbitrary quantum computations. As our protocol requires few extra resources compared with other schemes it can be easily incorporated into the design of future quantum servers. These results will play a key role in enabling the development of secure distributed quantum systems.
Quantum computing with defects.
Weber, J R; Koehl, W F; Varley, J B; Janotti, A; Buckley, B B; Van de Walle, C G; Awschalom, D D
2010-05-11
Identifying and designing physical systems for use as qubits, the basic units of quantum information, are critical steps in the development of a quantum computer. Among the possibilities in the solid state, a defect in diamond known as the nitrogen-vacancy (NV(-1)) center stands out for its robustness--its quantum state can be initialized, manipulated, and measured with high fidelity at room temperature. Here we describe how to systematically identify other deep center defects with similar quantum-mechanical properties. We present a list of physical criteria that these centers and their hosts should meet and explain how these requirements can be used in conjunction with electronic structure theory to intelligently sort through candidate defect systems. To illustrate these points in detail, we compare electronic structure calculations of the NV(-1) center in diamond with those of several deep centers in 4H silicon carbide (SiC). We then discuss the proposed criteria for similar defects in other tetrahedrally coordinated semiconductors. PMID:20404195
Quantum computation and complexity theory
Svozil, K.
1994-01-01
The Hilbert space formalism of quantum mechanics is reviewed with emphasis on applications to quantum computing. Standard interferomeric techniques are used to construct a physical device capable of universal quantum computation. Some consequences for recursion theory and complexity theory are discussed.
Communication Capacity of Quantum Computation
Bose, S; Rallan, L.; Vedral, V.
2000-01-01
By considering quantum computation as a communication process, we relate its efficiency to a communication capacity. This formalism allows us to rederive lower bounds on the complexity of search algorithms. It also enables us to link the mixedness of a quantum computer to its efficiency. We discuss the implications of our results for quantum measurement.
Quantum computer for dummies (in Russian)
Grozin, Andrey
2011-01-01
An introduction (in Russian) to quantum computers, quantum cryptography, and quantum teleportation for students who have no previous knowledge of these subjects, but know quantum mechanics. Several simple examples are considered in detail using the quantum computer emulator QCL.
Quantum computation with scattering matrices
Giorgadze, G.; Tevzadze, R.
2006-01-01
We discuss possible applications of the 1-D direct and inverse scattering problem to design of universal quantum gates for quantum computation. The potentials generating some universal gates are described.
Interfacing External Quantum Devices to a Universal Quantum Computer
Lagana, Antonio A.; Max A Lohe; Lorenz von Smekal
2011-01-01
We present a scheme to use external quantum devices using the universal quantum computer previously constructed. We thereby show how the universal quantum computer can utilize networked quantum information resources to carry out local computations. Such information may come from specialized quantum devices or even from remote universal quantum computers. We show how to accomplish this by devising universal quantum computer programs that implement well known oracle based quantum algorithms, na...
Quantum computing for pattern classification
Schuld, Maria; Sinayskiy, Ilya; Petruccione, Francesco
2014-01-01
It is well known that for certain tasks, quantum computing outperforms classical computing. A growing number of contributions try to use this advantage in order to improve or extend classical machine learning algorithms by methods of quantum information theory. This paper gives a brief introduction into quantum machine learning using the example of pattern classification. We introduce a quantum pattern classification algorithm that draws on Trugenberger's proposal for measuring the Hamming di...
Addition on a Quantum Computer
Draper, Thomas G.
2000-01-01
A new method for computing sums on a quantum computer is introduced. This technique uses the quantum Fourier transform and reduces the number of qubits necessary for addition by removing the need for temporary carry bits. This approach also allows the addition of a classical number to a quantum superposition without encoding the classical number in the quantum register. This method also allows for massive parallelization in its execution.
Hypercomputation based on quantum computing
Sicard, A; Ospina, J; Sicard, Andr\\'es; V\\'elez, Mario; Ospina, Juan
2004-01-01
We present a quantum algorithm for a (classically) incomputable decision problem: the Hilbert's tenth problem; namely, we present a hypercomputation model based on quantum computation. The model is inspired by the one proposed by Tien D. Kieu. Our model exploits the quantum adiabatic process and the characteristics of the representation of the dynamical algebra su(1,1) associated to the infinite square well. Furthermore, it is demonstrated that the model proposed is a universal quantum computation model.
Multi-party Quantum Computation
Smith, A
2001-01-01
We investigate definitions of and protocols for multi-party quantum computing in the scenario where the secret data are quantum systems. We work in the quantum information-theoretic model, where no assumptions are made on the computational power of the adversary. For the slightly weaker task of verifiable quantum secret sharing, we give a protocol which tolerates any t < n/4 cheating parties (out of n). This is shown to be optimal. We use this new tool to establish that any multi-party quantum computation can be securely performed as long as the number of dishonest players is less than n/6.
Salvail, Louis; Arrighi, Pablo
2006-01-01
We investigate the possibility of "having someone carry out the work of executing a function for you, but without letting him learn anything about your input". Say Alice wants Bob to compute some known function f upon her input x, but wants to prevent Bob from learning anything about x. The situa......We investigate the possibility of "having someone carry out the work of executing a function for you, but without letting him learn anything about your input". Say Alice wants Bob to compute some known function f upon her input x, but wants to prevent Bob from learning anything about x....... The situation arises for instance if client Alice has limited computational resources in comparison with mistrusted server Bob, or if x is an inherently mobile piece of data. Could there be a protocol whereby Bob is forced to compute f(x) "blindly", i.e. without observing x? We provide such a blind computation...... protocol for the class of functions which admit an efficient procedure to generate random input-output pairs, e.g. factorization. The cheat-sensitive security achieved relies only upon quantum theory being true. The security analysis carried out assumes the eavesdropper performs individual attacks....
Massively parallel quantum computer simulator
De Raedt, K.; Michielsen, K.; De Raedt, H.; Trieu, B.; Arnold, G.; Richter, M.; Lippert, Th.; Watanabe, H.; Ito, N.
2007-01-01
We describe portable software to simulate universal quantum computers on massive parallel Computers. We illustrate the use of the simulation software by running various quantum algorithms on different computer architectures, such as a IBM BlueGene/L, a IBM Regatta p690+, a Hitachi SR11000/J1, a Cray
Koenneker, Carsten (comp.)
2012-11-01
The following topics are dealt with: Reality in the test facility, quantum teleportation, the reality of quanta, interaction-free quantum measurement, rules for quantum computers, quantum computers with ions, spintronics with diamond, the limits of the quantum computers, a view in the future of quantum optics. (HSI)
Superposition, Entanglement and Quantum Computation
Forcer, T.M.; Hey, A. J. G.; Ross, D. A.; P.G.R.Smith
2002-01-01
The paper examines the roles played by superposition and entanglement in quantum computing. The analysis is illustrated by discussion of a 'classical' electronic implementation of Grover's quantum search algorithm. It is shown explicitly that the absence of multi-particle entanglement leads to exponentially rising resources for implementing such quantum algorithms.
Quantum physics, simulation, and computation
Full text: The ultimate scope and power of computers will be determined by the laws of physics. Quantum computers exploit the rules of quantum mechanics, using quantum coherence and entanglement for new ways of information processing. Up to date, the realization of these systems requires extremely precise control of matter on the atomic scale and a nearly perfect isolation from the environment. The question, to what extent quantum information processing can also be exploited in 'natural' and less controlled systems, including biological ones, is exciting but still open. In this talk, I will present some of our recent work on (quantum) physically and biologically motivated models of information processing. (author)
Quantum Nash Equilibria and Quantum Computing
Fellman, Philip Vos; Post, Jonathan Vos
In 2004, At the Fifth International Conference on Complex Systems, we drew attention to some remarkable findings by researchers at the Santa Fe Institute (Sato, Farmer and Akiyama, 2001) about hitherto unsuspected complexity in the Nash Equilibrium. As we progressed from these findings about heteroclinic Hamiltonians and chaotic transients hidden within the learning patterns of the simple rock-paper-scissors game to some related findings on the theory of quantum computing, one of the arguments we put forward was just as in the late 1990's a number of new Nash equilibria were discovered in simple bi-matrix games (Shubik and Quint, 1996; Von Stengel, 1997, 2000; and McLennan and Park, 1999) we would begin to see new Nash equilibria discovered as the result of quantum computation. While actual quantum computers remain rather primitive (Toibman, 2004), and the theory of quantum computation seems to be advancing perhaps a bit more slowly than originally expected, there have, nonetheless, been a number of advances in computation and some more radical advances in an allied field, quantum game theory (Huberman and Hogg, 2004) which are quite significant. In the course of this paper we will review a few of these discoveries and illustrate some of the characteristics of these new "Quantum Nash Equilibria". The full text of this research can be found at http://necsi.org/events/iccs6/viewpaper.php?id-234
Quantum computation and hidden variables
Aristov, V V
2010-01-01
Many physicists limit oneself to an instrumentalist description of quantum phenomena and ignore the problems of foundation and interpretation of quantum mechanics. This instrumentalist approach results to "specialization barbarism" and mass delusion concerning the problem, how a quantum computer can be made. The idea of quantum computation can be described within the limits of quantum formalism. But in order to understand how this idea can be put into practice one should realize the question: "What could the quantum formalism describe?", in spite of the absence of an universally recognized answer. Only a realization of this question and the undecided problem of quantum foundations allows to see in which quantum systems the superposition and EPR correlation could be expected. Because of the "specialization barbarism" many authors are sure that Bell proved full impossibility of any hidden-variables interpretation. Therefore it is important to emphasize that in reality Bell has restricted to validity limits of t...
Quantum Computer Using Coupled Quantum Dot Molecules
Wu, N J; Natori, A; Yasunaga, H; Wu*, Nan-Jian
1999-01-01
We propose a method for implementation of a quantum computer using artificial molecules. The artificial molecule consists of two coupled quantum dots stacked along z direction and one single electron. One-qubit and two-qubit gates are constructed by one molecule and two coupled molecules, respectively.The ground state and the first excited state of the molecule are used to encode the |0> and |1> states of a qubit. The qubit is manipulated by a resonant electromagnetic wave that is applied directly to the qubit through a microstrip line. The coupling between two qubits in a quantum controlled NOT gate is switched on (off) by floating (grounding) the metal film electrodes. We study the operations of the gates by using a box-shaped quantum dot model and numerically solving a time-dependent Schridinger equation, and demonstrate that the quantum gates can perform the quantum computation. The operating speed of the gates is about one operation per 4ps. The reading operation of the output of the quantum computer can...
Quantum Computation with Magnetic Clusters
Dorroh, Daniel D.; Olmez, Serkay; Wang, Jian-Ping
2013-01-01
We propose a complete, quantitative quantum computing system which satisfies the five DiVincenzo criteria. The model is based on magnetic clusters with uniaxial anisotropy, where standard, two-state qubits are formed utilizing the two lowest-lying states of an anisotropic potential energy. We outline the quantum dynamics required by quantum computing for single qubit structures, and then define a novel measurement scheme in which qubit sates can be measured by sharp changes in current as volt...
The Physics of Quantum Computation
Falci, Giuseppe; Paladino, Elisabette
2015-10-01
Quantum Computation has emerged in the past decades as a consequence of down-scaling of electronic devices to the mesoscopic regime and of advances in the ability of controlling and measuring microscopic quantum systems. QC has many interdisciplinary aspects, ranging from physics and chemistry to mathematics and computer science. In these lecture notes we focus on physical hardware, present day challenges and future directions for design of quantum architectures.
Quantum information processing in nanostructures Quantum optics; Quantum computing
Reina-Estupinan, J H
2002-01-01
Since information has been regarded os a physical entity, the field of quantum information theory has blossomed. This brings novel applications, such as quantum computation. This field has attracted the attention of numerous researchers with backgrounds ranging from computer science, mathematics and engineering, to the physical sciences. Thus, we now have an interdisciplinary field where great efforts are being made in order to build devices that should allow for the processing of information at a quantum level, and also in the understanding of the complex structure of some physical processes at a more basic level. This thesis is devoted to the theoretical study of structures at the nanometer-scale, 'nanostructures', through physical processes that mainly involve the solid-state and quantum optics, in order to propose reliable schemes for the processing of quantum information. Initially, the main results of quantum information theory and quantum computation are briefly reviewed. Next, the state-of-the-art of ...
Quantum entanglement and quantum computational algorithms
Arvind
2001-02-01
The existence of entangled quantum states gives extra power to quantum computers over their classical counterparts. Quantum entanglement shows up qualitatively at the level of two qubits. We demonstrate that the one- and the two-bit Deutsch-Jozsa algorithm does not require entanglement and can be mapped onto a classical optical scheme. It is only for three and more input bits that the DJ algorithm requires the implementation of entangling transformations and in these cases it is impossible to implement this algorithm classically
Programming Pulse Driven Quantum Computers
Lloyd, Seth
1999-01-01
Arrays of weakly-coupled quantum systems can be made to compute by subjecting them to a sequence of electromagnetic pulses of well-defined frequency and length. Such pulsed arrays are true quantum computers: bits can be placed in superpositions of 0 and 1, logical operations take place coherently, and dissipation is required only for error correction. Programming such computers is accomplished by selecting the proper sequence of pulses.
Quantum computation and hidden variables
Aristov, V. V.; Nikulov, A. V.
2008-03-01
Many physicists limit oneself to an instrumentalist description of quantum phenomena and ignore the problems of foundation and interpretation of quantum mechanics. This instrumentalist approach results to "specialization barbarism" and mass delusion concerning the problem, how a quantum computer can be made. The idea of quantum computation can be described within the limits of quantum formalism. But in order to understand how this idea can be put into practice one should realize the question: "What could the quantum formalism describe?", in spite of the absence of an universally recognized answer. Only a realization of this question and the undecided problem of quantum foundations allows to see in which quantum systems the superposition and EPR correlation could be expected. Because of the "specialization barbarism" many authors are sure that Bell proved full impossibility of any hidden-variables interpretation. Therefore it is important to emphasize that in reality Bell has restricted to validity limits of the no-hidden-variables proof and has shown that two-state quantum system can be described by hidden variables. The later means that no experimental result obtained on two-state quantum system can prove the existence of superposition and violation of the realism. One should not assume before unambiguous experimental evidence that any two-state quantum system is quantum bit. No experimental evidence of superposition of macroscopically distinct quantum states and of a quantum bit on base of superconductor structure was obtained for the present. Moreover same experimental results can not be described in the limits of the quantum formalism.
Quantum computation using geometric algebra
Matzke, Douglas James
This dissertation reports that arbitrary Boolean logic equations and operators can be represented in geometric algebra as linear equations composed entirely of orthonormal vectors using only addition and multiplication Geometric algebra is a topologically based algebraic system that naturally incorporates the inner and anticommutative outer products into a real valued geometric product, yet does not rely on complex numbers or matrices. A series of custom tools was designed and built to simplify geometric algebra expressions into a standard sum of products form, and automate the anticommutative geometric product and operations. Using this infrastructure, quantum bits (qubits), quantum registers and EPR-bits (ebits) are expressed symmetrically as geometric algebra expressions. Many known quantum computing gates, measurement operators, and especially the Bell/magic operators are also expressed as geometric products. These results demonstrate that geometric algebra can naturally and faithfully represent the central concepts, objects, and operators necessary for quantum computing, and can facilitate the design and construction of quantum computing tools.
Cryptography, Quantum Computation and Trapped Ions
Hughes, Richard J.
1997-01-01
The significance of quantum computation for cryptography is discussed. Following a brief survey of the requirements for quantum computational hardware, an overview of the ion trap quantum computation project at Los Alamos is presented. The physical limitations to quantum computation with trapped ions are analyzed and an assessment of the computational potential of the technology is made.
Duality quantum computer and the efficient quantum simulations
Wei, Shi-Jie; Long, Gui-Lu
2015-01-01
In this paper, we firstly briefly review the duality quantum computer. Distinctly, the generalized quantum gates, the basic evolution operators in a duality quantum computer are no longer unitary, and they can be expressed in terms of linear combinations of unitary operators. All linear bounded operators can be realized in a duality quantum computer, and unitary operators are just the extreme points of the set of generalized quantum gates. A d-slits duality quantum computer can be realized in...
An Algebra of Reversible Quantum Computing
Wang, Yong
2015-01-01
Based on the axiomatization of reversible computing RACP, we generalize it to quantum reversible computing which is called qRACP. By use of the framework of quantum configuration, we show that structural reversibility and quantum state reversibility must be satisfied simultaneously in quantum reversible computation. RACP and qRACP has the same axiomatization modulo the so-called quantum forward-reverse bisimularity, that is, classical reversible computing and quantum reversible computing are ...
Blind topological measurement-based quantum computation
Morimae, Tomoyuki; Fujii, Keisuke
2011-01-01
Blind quantum computation is a novel secure quantum-computing protocol that enables Alice, who does not have sufficient quantum technology at her disposal, to delegate her quantum computation to Bob, who has a fully fledged quantum computer, in such a way that Bob cannot learn anything about Alice's input, output and algorithm. A recent proof-of-principle experiment demonstrating blind quantum computation in an optical system has raised new challenges regarding the scalability of blind quantu...
Quantum Computing Using Dissipation
Beige, A; Tregenna, B; Knight, P L
2000-01-01
We propose a new approach to the implementation of quantum gates in which decoherence during the gate operations is strongly reduced. This is achieved by making use of an environment induced quantum Zeno effect that confines the dynamics effectively to a decoherence-free subspace.
Stability of holonomic quantum computations
Kuvshinov, V. I.; Kuzmin, A. V.
2003-01-01
We study the stability of holonomic quantum computations with respect to errors in assignment of control parameters. The general expression for fidelity is obtaned. In the small errors limit the simple formulae for the fidelity decrease rate is derived.
Quantum computation in photonic crystals
Angelakis, D G; Yannopapas, V; Ekert, A; Angelakis, Dimitris G.; Santos, Marcelo Franca; Yannopapas, Vassilis; Ekert, Artur
2004-01-01
Quantum computers require technologies that offer both sufficient control over coherent quantum phenomena and minimal spurious interactions with the environment. We show, that photons confined to photonic crystals, and in particular to highly efficient waveguides formed from linear chains of defects doped with atoms can generate strong non-linear interactions which allow to implement both single and two qubit quantum gates. The simplicity of the gate switching mechanism, the experimental feasibility of fabricating two dimensional photonic crystal structures and integrability of this device with optoelectronics offers new interesting possibilities for optical quantum information processing networks.
Quantum Computation and Algorithms
It is now firmly established that quantum algorithms provide a substantial speedup over classical algorithms for a variety of problems, including the factorization of large numbers and the search for a marked element in an unsorted database. In this talk I will review the principles of quantum algorithms, the basic quantum gates and their operation. The combination of superposition and interference, that makes these algorithms efficient, will be discussed. In particular, Grover's search algorithm will be presented as an example. I will show that the time evolution of the amplitudes in Grover's algorithm can be found exactly using recursion equations, for any initial amplitude distribution
Quantum Computing with Very Noisy Devices
Knill, E.
2004-01-01
In theory, quantum computers can efficiently simulate quantum physics, factor large numbers and estimate integrals, thus solving otherwise intractable computational problems. In practice, quantum computers must operate with noisy devices called ``gates'' that tend to destroy the fragile quantum states needed for computation. The goal of fault-tolerant quantum computing is to compute accurately even when gates have a high probability of error each time they are used. Here we give evidence that...
Quantum Computation with Ballistic Electrons
Ionicioiu, Radu; Amaratunga, Gehan; Udrea, Florin
2000-01-01
We describe a solid state implementation of a quantum computer using ballistic single electrons as flying qubits in 1D nanowires. We show how to implement all the steps required for universal quantum computation: preparation of the initial state, measurement of the final state and a universal set of quantum gates. An important advantage of this model is the fact that we do not need ultrafast optoelectronics for gate operations. We use cold programming (or pre-programming), i.e., the gates are...
Physical Realizations of Quantum Computing
Kanemitsu, Shigeru; Salomaa, Martti; Takagi, Shin; Are the DiVincenzo Criteria Fulfilled in 2004 ?
2006-01-01
The contributors of this volume are working at the forefront of various realizations of quantum computers. They survey the recent developments in each realization, in the context of the DiVincenzo criteria, including nuclear magnetic resonance, Josephson junctions, quantum dots, and trapped ions. There are also some theoretical contributions which have relevance in the physical realizations of a quantum computer. This book fills the gap between elementary introductions to the subject and highly specialized research papers to allow beginning graduate students to understand the cutting-edge of r
Self-Correcting Quantum Computers
Bombin, H; Horodecki, M; Martín-Delgado, M A
2009-01-01
Is the notion of a quantum computer resilient to thermal noise unphysical? We address this question from a constructive perspective and show that local quantum Hamiltonian models provide self-correcting quantum computers. To this end, we first give a sufficient condition on the connectedness of excitations for a stabilizer code model to be a self-correcting quantum memory. We then study the two main examples of topological stabilizer codes in arbitrary dimensions and establish their self-correcting capabilities. Also, we address the transversality properties of topological color codes, showing that 6D color codes provide a self-correcting model that allows the transversal and local implementation of a universal set of operations in seven spatial dimensions. Finally, we give a procedure to initialize such quantum memories at finite temperature.
Towards A Theory Of Quantum Computability
Guerrini, Stefano; Martini, Simone; Masini, Andrea
2015-01-01
We propose a definition of quantum computable functions as mappings between superpositions of natural numbers to probability distributions of natural numbers. Each function is obtained as a limit of an infinite computation of a quantum Turing machine. The class of quantum computable functions is recursively enumerable, thus opening the door to a quantum computability theory which may follow some of the classical developments.
Faster Quantum Chemistry Simulation on Fault-Tolerant Quantum Computers
Jones, N. Cody; Whitfield, James D.; McMahon, Peter L.; Yung, Man-Hong; Van Meter, Rodney; Aspuru-Guzik, Alan; Yamamoto, Yoshihisa
2012-01-01
Quantum computers can in principle simulate quantum physics exponentially faster than their classical counterparts, but some technical hurdles remain. We propose methods which substantially improve the performance of a particular form of simulation, ab initio quantum chemistry, on fault-tolerant quantum computers; these methods generalize readily to other quantum simulation problems. Quantum teleportation plays a key role in these improvements and is used extensively as a computing resource...
Warp-Drive Quantum Computation
Nakahara, M; Kondo, Y; Tanimura, S; Hata, K; Nakahara, Mikio; Vartiainen, Juha J.; Kondo, Yasushi; Tanimura, Shogo; Hata, Kazuya
2004-01-01
Recently it has been shown that time-optimal quantum computation is attained by using the Cartan decomposition of a unitary matrix. We extend this approach by noting that the unitary group is compact. This allows us to reduce the execution time of a quantum algorithm $U_{\\rm alg}$ further by adding an extra gate $W$ to it. This gate $W$ sends $U_{\\rm alg}$ to another algorithm $WU_{\\rm alg}$ which is executable in a shorter time than $U_{\\rm alg}$. We call this technique warp-drive. Here we show both theoretically and experimentally that the execution time of Grover's algorithm is reduced in two-qubit NMR quantum computer. Warp-drive is potentially a powerful tool in accelerating algorithms and reducing the errors in any realization. of a quantum computer
Quantum Computing using Linear Optics
Pittman, T B; Franson, J D
2004-01-01
Quantum computers are expected to be able to solve mathematical problems that cannot be solved using conventional computers. Many of these problems are of practical importance, especially in the areas of cryptography and secure communications. APL is developing an optical approach to quantum computing in which the bits, or "qubits", are represented by single photons. Our approach allows the use of ordinary (linear) optical elements that are available for the most part as off-the-shelf components. Recent experimental demonstrations of a variety of logic gates for single photons, a prototype memory device, and other devices will be described.
Handbook of computational quantum chemistry
Cook, David B
2005-01-01
Quantum chemistry forms the basis of molecular modeling, a tool widely used to obtain important chemical information and visual images of molecular systems. Recent advances in computing have resulted in considerable developments in molecular modeling, and these developments have led to significant achievements in the design and synthesis of drugs and catalysts. This comprehensive text provides upper-level undergraduates and graduate students with an introduction to the implementation of quantum ideas in molecular modeling, exploring practical applications alongside theoretical explanations.Wri
Entanglement Echoes in Quantum Computation
Rossini, Davide; Benenti, Giuliano; Casati, Giulio
2003-01-01
We study the stability of entanglement in a quantum computer implementing an efficient quantum algorithm, which simulates a quantum chaotic dynamics. For this purpose, we perform a forward-backward evolution of an initial state in which two qubits are in a maximally entangled Bell state. If the dynamics is reversed after an evolution time $t_r$, there is an echo of the entanglement between these two qubits at time $t_e=2t_r$. Perturbations attenuate the pairwise entanglement echo and generate...
QCE : A Simulator for Quantum Computer Hardware
Michielsen, Kristel; Raedt, Hans De
2003-01-01
The Quantum Computer Emulator (QCE) described in this paper consists of a simulator of a generic, general purpose quantum computer and a graphical user interface. The latter is used to control the simulator, to define the hardware of the quantum computer and to debug and execute quantum algorithms.
On the Problem of Programming Quantum Computers
De Raedt, Hans; Hams, Anthony; Michielsen, Kristel; MIYASHITA, Seiji; Saito, Keiji
2000-01-01
We study effects of the physical realization of quantum computers on their logical operation. Through simulation of physical models of quantum computer hardware, we analyse the difficulties that are encountered in programming physical implementations of quantum computers. We discuss the origin of the instabilities of quantum algorithms and explore physical mechanisms to enlarge the region(s) of stable operation.
Hyper-parallel photonic quantum computation with coupled quantum dots
Bao-Cang Ren; Fu-Guo Deng
2014-01-01
It is well known that a parallel quantum computer is more powerful than a classical one. So far, there are some important works about the construction of universal quantum logic gates, the key elements in quantum computation. However, they are focused on operating on one degree of freedom (DOF) of quantum systems. Here, we investigate the possibility of achieving scalable hyper-parallel quantum computation based on two DOFs of photon systems. We construct a deterministic hyper-controlled-not ...
Using a quantum computer to investigate quantum chaos
Schack, Ruediger
1997-01-01
We show that the quantum baker's map, a prototypical map invented for theoretical studies of quantum chaos, has a very simple realization in terms of quantum gates. Chaos in the quantum baker's map could be investigated experimentally on a quantum computer based on only 3 qubits.
Quantum Walks for Computer Scientists
Venegas-Andraca, Salvador
2008-01-01
Quantum computation, one of the latest joint ventures between physics and the theory of computation, is a scientific field whose main goals include the development of hardware and algorithms based on the quantum mechanical properties of those physical systems used to implement such algorithms. Solving difficult tasks (for example, the Satisfiability Problem and other NP-complete problems) requires the development of sophisticated algorithms, many of which employ stochastic processes as their mathematical basis. Discrete random walks are a popular choice among those stochastic processes. Inspir
An all silicon quantum computer
Ladd, T D; Yamaguchi, F; Yamamoto, Y; Abe, E; Itoh, K M
2002-01-01
A solid-state implementation of a quantum computer composed entirely of silicon is proposed. Qubits are Si-29 nuclear spins arranged as chains in a Si-28 (spin-0) matrix with Larmor frequencies separated by a large magnetic field gradient. No impurity dopants or electrical contacts are needed. Initialization is accomplished by optical pumping, algorithmic cooling, and pseudo-pure state techniques. Magnetic resonance force microscopy is used for readout. This proposal takes advantage of many of the successful aspects of solution NMR quantum computation, including ensemble measurement, RF control, and long decoherence times, but it allows for more qubits and improved initialization.
Miao, Xijia
2011-01-01
It is shown in the paper that the unitary quantum dynamics in quantum mechanics is the universal quantum driving force to speed up a quantum computation. This assertion supports strongly in theory that the unitary quantum dynamics is the fundamental and universal principle in nature. On the other hand, the symmetric structure of Hilbert space of a composite quantum system is the quantum-computing resource that is not owned by classical computation. A new quantum-computing speedup theory is se...
Atomic physics: A milestone in quantum computing
Bartlett, Stephen D.
2016-08-01
Quantum computers require many quantum bits to perform complex calculations, but devices with more than a few bits are difficult to program. A device based on five atomic quantum bits shows a way forward. See Letter p.63
Self-correcting quantum computers
Is the notion of a quantum computer (QC) resilient to thermal noise unphysical? We address this question from a constructive perspective and show that local quantum Hamiltonian models provide self-correcting QCs. To this end, we first give a sufficient condition on the connectedness of excitations for a stabilizer code model to be a self-correcting quantum memory. We then study the two main examples of topological stabilizer codes in arbitrary dimensions and establish their self-correcting capabilities. Also, we address the transversality properties of topological color codes, showing that six-dimensional color codes provide a self-correcting model that allows the transversal and local implementation of a universal set of operations in seven spatial dimensions. Finally, we give a procedure for initializing such quantum memories at finite temperature. (paper)
Brokered Graph State Quantum Computing
Benjamin, Simon C.; Browne, Dan E.; Fitzsimons, Joe; Morton, John J. L.
2005-01-01
We describe a procedure for graph state quantum computing that is tailored to fully exploit the physics of optically active multi-level systems. Leveraging ideas from the literature on distributed computation together with the recent work on probabilistic cluster state synthesis, our model assigns to each physical system two logical qubits: the broker and the client. Groups of brokers negotiate new graph state fragments via a probabilistic optical protocol. Completed fragments are mapped from...
Topological cluster state quantum computing
Fowler, Austin G.; Goyal, Kovid
2009-01-01
The quantum computing scheme described in Phys. Rev. Lett. 98, 190504 (2007), when viewed as a cluster state computation, features a 3-D cluster state, novel adjustable strength error correction capable of correcting general errors through the correction of Z errors only, a threshold error rate approaching 1% and low overhead arbitrarily long-range logical gates. In this work, we review the scheme in detail framing discussion solely in terms of the required 3-D cluster state and its stabilizers.
An Early Quantum Computing Proposal
Lee, Stephen Russell [Los Alamos National Laboratory; Alexander, Francis Joseph [Los Alamos National Laboratory; Barros, Kipton Marcos [Los Alamos National Laboratory; Daniels, Marcus G. [Los Alamos National Laboratory; Gattiker, James R. [Los Alamos National Laboratory; Hamada, Michael Scott [Los Alamos National Laboratory; Howse, James Walter [Los Alamos National Laboratory; Loncaric, Josip [Los Alamos National Laboratory; Pakin, Scott D. [Los Alamos National Laboratory; Somma, Rolando Diego [Los Alamos National Laboratory; Vernon, Louis James [Los Alamos National Laboratory
2016-04-04
The D-Wave 2X is the third generation of quantum processing created by D-Wave. NASA (with Google and USRA) and Lockheed Martin (with USC), both own D-Wave systems. Los Alamos National Laboratory (LANL) purchased a D-Wave 2X in November 2015. The D-Wave 2X processor contains (nominally) 1152 quantum bits (or qubits) and is designed to specifically perform quantum annealing, which is a well-known method for finding a global minimum of an optimization problem. This methodology is based on direct execution of a quantum evolution in experimental quantum hardware. While this can be a powerful method for solving particular kinds of problems, it also means that the D-Wave 2X processor is not a general computing processor and cannot be programmed to perform a wide variety of tasks. It is a highly specialized processor, well beyond what NNSA currently thinks of as an “advanced architecture.”A D-Wave is best described as a quantum optimizer. That is, it uses quantum superposition to find the lowest energy state of a system by repeated doses of power and settling stages. The D-Wave produces multiple solutions to any suitably formulated problem, one of which is the lowest energy state solution (global minimum). Mapping problems onto the D-Wave requires defining an objective function to be minimized and then encoding that function in the Hamiltonian of the D-Wave system. The quantum annealing method is then used to find the lowest energy configuration of the Hamiltonian using the current D-Wave Two, two-level, quantum processor. This is not always an easy thing to do, and the D-Wave Two has significant limitations that restrict problem sizes that can be run and algorithmic choices that can be made. Furthermore, as more people are exploring this technology, it has become clear that it is very difficult to come up with general approaches to optimization that can both utilize the D-Wave and that can do better than highly developed algorithms on conventional computers for
Quantum Chromodynamics: Computational Aspects
Schaefer, Thomas
2016-01-01
We present a brief introduction to QCD, the QCD phase diagram, and non-equilibrium phenomena in QCD. We emphasize aspects of the theory that can be addressed using computational methods, in particular euclidean path integral Monte Carlo, fluid dynamics, kinetic theory, classical field theory and holographic duality.
Universality of Black Hole Quantum Computing
Dvali, Gia; Gomez, Cesar; Lust, Dieter; Omar, Yasser; Richter, Benedikt
2016-01-01
By analyzing the key properties of black holes from the point of view of quantum information, we derive a model-independent picture of black hole quantum computing. It has been noticed that this picture exhibits striking similarities with quantum critical condensates, allowing the use of a common language to describe quantum computing in both systems. We analyze such quantum computing by allowing coupling to external modes, under the condition that the external influence must be soft-enough i...
QCE: A Simulator for Quantum Computer Hardware
Michielsen, Kristel; De Raedt, Hans
2003-01-01
The Quantum Computer Emulator (QCE) described in this paper consists of a simulator of a generic, general purpose quantum computer and a graphical user interface. The latter is used to control the simulator, to define the hardware of the quantum computer and to debug and execute quantum algorithms. QCE runs in a Windows 98/NT/2000/ME/XP environment. It can be used to validate designs of physically realizable quantum processors and as an interactive educational tool to learn about qu...
ASCR Workshop on Quantum Computing for Science
Aspuru-Guzik, Alan [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Van Dam, Wim [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Farhi, Edward [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Gaitan, Frank [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Humble, Travis [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Jordan, Stephen [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Landahl, Andrew J [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Love, Peter [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Lucas, Robert [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Preskill, John [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Muller, Richard P. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Svore, Krysta [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Wiebe, Nathan [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Williams, Carl [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
2015-06-01
This report details the findings of the DOE ASCR Workshop on Quantum Computing for Science that was organized to assess the viability of quantum computing technologies to meet the computational requirements of the DOE’s science and energy mission, and to identify the potential impact of quantum technologies. The workshop was held on February 17-18, 2015, in Bethesda, MD, to solicit input from members of the quantum computing community. The workshop considered models of quantum computation and programming environments, physical science applications relevant to DOE's science mission as well as quantum simulation, and applied mathematics topics including potential quantum algorithms for linear algebra, graph theory, and machine learning. This report summarizes these perspectives into an outlook on the opportunities for quantum computing to impact problems relevant to the DOE’s mission as well as the additional research required to bring quantum computing to the point where it can have such impact.
Quantum computation with ions in thermal motion
Sorensen, Anders; Molmer, Klaus
1998-01-01
We propose an implementation of quantum logic gates via virtual vibrational excitations in an ion trap quantum computer. Transition paths involving unpopulated, vibrational states interfere destructively to eliminate the dependence of rates and revolution frequencies on vibrational quantum numbers. As a consequence quantum computation becomes feasible with ions whos vibrations are strongly coupled to a thermal reservoir.
Universal Quantum Computation with Shutter Logic
Garcia-Escartin, Juan Carlos; Chamorro-Posada, Pedro
2005-01-01
We show that universal quantum logic can be achieved using only linear optics and a quantum shutter device. With these elements, we design a quantum memory for any number of qubits and a CNOT gate which are the basis of a universal quantum computer. An interaction-free model for a quantum shutter is given.
Models of quantum computation and quantum programming languages
Miszczak, J. A.
2010-01-01
The goal of the presented paper is to provide an introduction to the basic computational models used in quantum information theory. We review various models of quantum Turing machine, quantum circuits and quantum random access machine (QRAM) along with their classical counterparts. We also provide an introduction to quantum programming languages, which are developed using the QRAM model. We review the syntax of several existing quantum programming languages and discuss their features and limi...
Geometry of Discrete Quantum Computing
Hanson, Andrew J.; Ortiz, Gerardo; Sabry, Amr; Tai, Yu-Tsung
2012-01-01
Conventional quantum computing entails a geometry based on the description of an n-qubit state using 2^{n} infinite precision complex numbers denoting a vector in a Hilbert space. Such numbers are in general uncomputable using any real-world resources, and, if we have the idea of physical law as some kind of computational algorithm of the universe, we would be compelled to alter our descriptions of physics to be consistent with computable numbers. Our purpose here is to examine the geometric ...
Warp-Drive Quantum Computation
Nakahara, Mikio; Vartiainen, Juha J.; Kondo, Yasushi; Tanimura, Shogo; Hata, Kazuya
2004-01-01
Recently it has been shown that time-optimal quantum computation is attained by using the Cartan decomposition of a unitary matrix. We extend this approach by noting that the unitary group is compact. This allows us to reduce the execution time of a quantum algorithm $U_{\\rm alg}$ further by adding an extra gate $W$ to it. This gate $W$ sends $U_{\\rm alg}$ to another algorithm $WU_{\\rm alg}$ which is executable in a shorter time than $U_{\\rm alg}$. We call this technique warp-drive. Here we s...
General Quantum Interference Principle and Duality Computer
LONG Gui-Lu
2006-01-01
In this article, we propose a general principle of quantum interference for quantum system, and based on this we propose a new type of computing machine, the duality computer, that may outperform in principle both classical computer and the quantum computer. According to the general principle of quantum interference, the very essence of quantum interference is the interference of thesub-waves of the quantum system itself. A quantum system considered here can be any quantum system: a single microscopic particle, a composite quantum system such as an atom or a molecule, or a loose collection of a few quantum objects such as two independent photons. In the duality computer,the wave of the duality computer is split into several sub-waves and they pass through different routes, where different computing gate operations are performed. These sub-waves are then re-combined to interfere to give the computational results. The quantum computer, however, has only used the particle nature of quantum object. In a duality computer,it may be possible to find a marked item from an unsorted database using only a single query, and all NP-complete problems may have polynomial algorithms. Two proof-of-the-principle designs of the duality computer are presented:the giant molecule scheme and the nonlinear quantum optics scheme. We also propose thought experiment to check the related fundamental issues, the measurement efficiency of a partial wave function.
Cove: A Practical Quantum Computer Programming Framework
Purkeypile, Matt
2009-01-01
While not yet in commercial existence, quantum computers have the ability to solve certain classes of problems that are not efficiently solvable on existing Turing Machine based (classical) computers. For quantum computers to be of use, methods of programming them must exist. Proposals exist for programming quantum computers, but all of the existing ones suffer from flaws that make them impractical in commercial software development environments. Cove is a framework for programming quantum co...
Programming physical realizations of quantum computers
De Raedt, Hans; Michielsen, Kristel; Hams, Anthony; MIYASHITA, Seiji; Saito, Keiji
2001-01-01
We study effects of the physical realization of quantum computers on their logical operation. Through simulation of physical models of quantum computer hardware, we analyze the difficulties that are encountered in programming physical realizations of quantum computers. Examples of logically identical implementations of the controlled-NOT operation and Grover's database search algorithm are used to demonstrate that the results of a quantum computation are unstable with respect to the physical ...
Quantum computing from the ground up
Perry, Riley Tipton
2012-01-01
Quantum computing - the application of quantum mechanics to information - represents a fundamental break from classical information and promises to dramatically increase a computer's power. Many difficult problems, such as the factorization of large numbers, have so far resisted attack by classical computers yet are easily solved with quantum computers. If they become feasible, quantum computers will end standard practices such as RSA encryption. Most of the books or papers on quantum computing require (or assume) prior knowledge of certain areas such as linear algebra or quantum mechanics. The majority of the currently-available literature is hard to understand for the average computer enthusiast or interested layman. This text attempts to teach quantum computing from the ground up in an easily readable way, providing a comprehensive tutorial that includes all the necessary mathematics, computer science and physics.
Strange attractor simulated on a quantum computer
M. Terraneo; Georgeot, B.; D.L. Shepelyansky
2002-01-01
We show that dissipative classical dynamics converging to a strange attractor can be simulated on a quantum computer. Such quantum computations allow to investigate efficiently the small scale structure of strange attractors, yielding new information inaccessible to classical computers. This opens new possibilities for quantum simulations of various dissipative processes in nature.
Quantum computing with parafermions
Hutter, Adrian; Loss, Daniel
2016-03-01
Zd parafermions are exotic non-Abelian quasiparticles generalizing Majorana fermions, which correspond to the case d =2 . In contrast to Majorana fermions, braiding of parafermions with d >2 allows one to perform an entangling gate. This has spurred interest in parafermions, and a variety of condensed matter systems have been proposed as potential hosts for them. In this work, we study the computational power of braiding parafermions more systematically. We make no assumptions on the underlying physical model but derive all our results from the algebraical relations that define parafermions. We find a family of 2 d representations of the braid group that are compatible with these relations. The braiding operators derived this way reproduce those derived previously from physical grounds as special cases. We show that if a d -level qudit is encoded in the fusion space of four parafermions, braiding of these four parafermions allows one to generate the entire single-qudit Clifford group (up to phases), for any d . If d is odd, then we show that in fact the entire many-qudit Clifford group can be generated.
Quantum dissonance and deterministic quantum computation with a single qubit
Ali, Mazhar
2014-11-01
Mixed state quantum computation can perform certain tasks which are believed to be efficiently intractable on a classical computer. For a specific model of mixed state quantum computation, namely, deterministic quantum computation with a single qubit (DQC1), recent investigations suggest that quantum correlations other than entanglement might be responsible for the power of DQC1 model. However, strictly speaking, the role of entanglement in this model of computation was not entirely clear. We provide conclusive evidence that there are instances where quantum entanglement is not present in any part of this model, nevertheless we have advantage over classical computation. This establishes the fact that quantum dissonance (a kind of quantum correlations) present in fully separable (FS) states provide power to DQC1 model.
Quantum computing in a piece of glass
Miller, Warner A.; Kreymerman, Grigoriy; Tison, Christopher; Alsing, Paul M.; McDonald, Jonathan R.
2011-01-01
Quantum gates and simple quantum algorithms can be designed utilizing the diffraction phenomena of a photon within a multiplexed holographic element. The quantum eigenstates we use are the photon's linear momentum (LM) as measured by the number of waves of tilt across the aperture. Two properties of quantum computing within the circuit model make this approach attractive. First, any conditional measurement can be commuted in time with any unitary quantum gate - the timeless nature of quantum ...
Geometry of discrete quantum computing
Conventional quantum computing entails a geometry based on the description of an n-qubit state using 2n infinite precision complex numbers denoting a vector in a Hilbert space. Such numbers are in general uncomputable using any real-world resources, and, if we have the idea of physical law as some kind of computational algorithm of the universe, we would be compelled to alter our descriptions of physics to be consistent with computable numbers. Our purpose here is to examine the geometric implications of using finite fields Fp and finite complexified fields Fp2 (based on primes p congruent to 3 (mod4)) as the basis for computations in a theory of discrete quantum computing, which would therefore become a computable theory. Because the states of a discrete n-qubit system are in principle enumerable, we are able to determine the proportions of entangled and unentangled states. In particular, we extend the Hopf fibration that defines the irreducible state space of conventional continuous n-qubit theories (which is the complex projective space CP2n-1) to an analogous discrete geometry in which the Hopf circle for any n is found to be a discrete set of p + 1 points. The tally of unit-length n-qubit states is given, and reduced via the generalized Hopf fibration to DCP2n-1, the discrete analogue of the complex projective space, which has p2n-1(p-1) Πk=1n-1( p2k+1) irreducible states. Using a measure of entanglement, the purity, we explore the entanglement features of discrete quantum states and find that the n-qubit states based on the complexified field Fp2 have pn(p − 1)n unentangled states (the product of the tally for a single qubit) with purity 1, and they have pn+1(p − 1)(p + 1)n−1 maximally entangled states with purity zero. (paper)
A Quantum Computer Architecture using Nonlocal Interactions
Brennen, Gavin K; Song, Daegene; Williams, Carl J.
2003-01-01
Several authors have described the basic requirements essential to build a scalable quantum computer. Because many physical implementation schemes for quantum computing rely on nearest neighbor interactions, there is a hidden quantum communication overhead to connect distant nodes of the computer. In this paper we propose a physical solution to this problem which, together with the key building blocks, provides a pathway to a scalable quantum architecture using nonlocal interactions. Our solu...
Diamond NV centers for quantum computing and quantum networks
Childress, L.; Hanson, R.
2013-01-01
The exotic features of quantum mechanics have the potential to revolutionize information technologies. Using superposition and entanglement, a quantum processor could efficiently tackle problems inaccessible to current-day computers. Nonlocal correlations may be exploited for intrinsically secure co
A theory of quantum gravity based on quantum computation
Lloyd, Seth
2005-01-01
This paper proposes a method of unifying quantum mechanics and gravity based on quantum computation. In this theory, fundamental processes are described in terms of pairwise interactions between quantum degrees of freedom. The geometry of space-time is a construct, derived from the underlying quantum information processing. The computation gives rise to a superposition of four-dimensional spacetimes, each of which obeys the Einstein-Regge equations. The theory makes explicit predictions for t...
Computational multiqubit tunnelling in programmable quantum annealers
Boixo, Sergio; Smelyanskiy, Vadim N.; Shabani, Alireza; Isakov, Sergei V.; Dykman, Mark; Denchev, Vasil S.; Amin, Mohammad H.; Smirnov, Anatoly Yu; Mohseni, Masoud; Neven, Hartmut
2016-01-01
Quantum tunnelling is a phenomenon in which a quantum state traverses energy barriers higher than the energy of the state itself. Quantum tunnelling has been hypothesized as an advantageous physical resource for optimization in quantum annealing. However, computational multiqubit tunnelling has not yet been observed, and a theory of co-tunnelling under high- and low-frequency noises is lacking. Here we show that 8-qubit tunnelling plays a computational role in a currently available programmable quantum annealer. We devise a probe for tunnelling, a computational primitive where classical paths are trapped in a false minimum. In support of the design of quantum annealers we develop a nonperturbative theory of open quantum dynamics under realistic noise characteristics. This theory accurately predicts the rate of many-body dissipative quantum tunnelling subject to the polaron effect. Furthermore, we experimentally demonstrate that quantum tunnelling outperforms thermal hopping along classical paths for problems with up to 200 qubits containing the computational primitive.
Quantum computation speedup limits from quantum metrological precision bounds
Demkowicz-Dobrzanski, Rafal; Markiewicz, Marcin
2014-01-01
We propose a scheme for translating metrological precision bounds into lower bounds on query complexity of quantum search algorithms. Within the scheme the link between quadratic performance enhancement in idealized quantum metrological and quantum computing schemes becomes clear. More importantly, we utilize results from the field of quantum metrology on a generic loss of quadratic quantum precision enhancement in presence of decoherence to infer an analogous generic loss of quadratic speed-...
Nanophotonic quantum computer based on atomic quantum transistor
Andrianov, S. N.; Moiseev, S. A.
2015-10-01
We propose a scheme of a quantum computer based on nanophotonic elements: two buses in the form of nanowaveguide resonators, two nanosized units of multiatom multiqubit quantum memory and a set of nanoprocessors in the form of photonic quantum transistors, each containing a pair of nanowaveguide ring resonators coupled via a quantum dot. The operation modes of nanoprocessor photonic quantum transistors are theoretically studied and the execution of main logical operations by means of them is demonstrated. We also discuss the prospects of the proposed nanophotonic quantum computer for operating in high-speed optical fibre networks.
Layered Architectures for Quantum Computers and Quantum Repeaters
Jones, Nathan C.
This chapter examines how to organize quantum computers and repeaters using a systematic framework known as layered architecture, where machine control is organized in layers associated with specialized tasks. The framework is flexible and could be used for analysis and comparison of quantum information systems. To demonstrate the design principles in practice, we develop architectures for quantum computers and quantum repeaters based on optically controlled quantum dots, showing how a myriad of technologies must operate synchronously to achieve fault-tolerance. Optical control makes information processing in this system very fast, scalable to large problem sizes, and extendable to quantum communication.
Quantum Computing with Very Noisy Devices
Knill, E
2004-01-01
There are quantum algorithms that can efficiently simulate quantum physics, factor large numbers and estimate integrals. As a result, quantum computers can solve otherwise intractable computational problems. One of the main problems of experimental quantum computing is to preserve fragile quantum states in the presence of errors. It is known that if the needed elementary operations (gates) can be implemented with error probabilities below a threshold, then it is possible to efficiently quantum compute with arbitrary accuracy. Here we give evidence that for independent errors the theoretical threshold is well above 3%, which is a significant improvement over that of earlier calculations. However, the resources required at such high error probabilities are excessive. Fortunately, they decrease rapidly with decreasing error probabilities. If we had quantum resources comparable to the considerable resources available in today's digital computers, we could implement non-trivial quantum algorithms at error probabil...
Quantum machine learning what quantum computing means to data mining
Wittek, Peter
2014-01-01
Quantum Machine Learning bridges the gap between abstract developments in quantum computing and the applied research on machine learning. Paring down the complexity of the disciplines involved, it focuses on providing a synthesis that explains the most important machine learning algorithms in a quantum framework. Theoretical advances in quantum computing are hard to follow for computer scientists, and sometimes even for researchers involved in the field. The lack of a step-by-step guide hampers the broader understanding of this emergent interdisciplinary body of research. Quantum Machine L
Adiabatic quantum computation and quantum annealing theory and practice
McGeoch, Catherine C
2014-01-01
Adiabatic quantum computation (AQC) is an alternative to the better-known gate model of quantum computation. The two models are polynomially equivalent, but otherwise quite dissimilar: one property that distinguishes AQC from the gate model is its analog nature. Quantum annealing (QA) describes a type of heuristic search algorithm that can be implemented to run in the ``native instruction set'''' of an AQC platform. D-Wave Systems Inc. manufactures {quantum annealing processor chips} that exploit quantum properties to realize QA computations in hardware. The chips form the centerpiece of a nov
Non-unitary probabilistic quantum computing
Gingrich, Robert M.; Williams, Colin P.
2004-01-01
We present a method for designing quantum circuits that perform non-unitary quantum computations on n-qubit states probabilistically, and give analytic expressions for the success probability and fidelity.
Zeno effect for quantum computation and control
Paz-Silva, G A; Lidar, D A
2011-01-01
It is well known that the quantum Zeno effect can protect specific quantum states from decoherence by using projective measurements. Here we combine the theory of weak measurements with stabilizer quantum error correction and detection codes. We derive rigorous performance bounds which demonstrate that the Zeno effect can be used to protect appropriately encoded arbitrary states to arbitrary accuracy, while at the same time allowing for universal quantum computation or quantum control.
Quantum fields on the computer
1992-01-01
This book provides an overview of recent progress in computer simulations of nonperturbative phenomena in quantum field theory, particularly in the context of the lattice approach. It is a collection of extensive self-contained reviews of various subtopics, including algorithms, spectroscopy, finite temperature physics, Yukawa and chiral theories, bounds on the Higgs meson mass, the renormalization group, and weak decays of hadrons.Physicists with some knowledge of lattice gauge ideas will find this book a useful and interesting source of information on the recent developments in the field.
DNA as Topological Quantum Computer
Pitkänen, Matti
2010-01-01
This article represents a vision about how DNA might act as a topological quantum computer (tqc). Tqc means that the braidings of braid strands define tqc programs and M-matrix (generalization of S-matrix in zero energy ontology) defining the entanglement between states assignable to the end points of strands define the tqc usually coded as unitary time evolution for Schödinger equation. One can ends up to the model in the following manner. a) Darwinian selection for which the standa...
On the computation of quantum characteristic exponents
Vilela-Mendes, R; Coutinho, Ricardo
1998-01-01
A quantum characteristic exponent may be defined, with the same operational meaning as the classical Lyapunov exponent when the latter is expressed as a functional of densities. Existence conditions and supporting measure properties are discussed as well as the problems encountered in the numerical computation of the quantum exponents. Although an example of true quantum chaos may be exhibited, the taming effect of quantum mechanics on chaos is quite apparent in the computation of the quantum exponents. However, even when the exponents vanish, the functionals used for their definition may still provide a characterization of distinct complexity classes for quantum behavior.
Physics and computer science: quantum computation and other approaches
Salvador E. Venegas-Andraca
2011-01-01
This is a position paper written as an introduction to the special volume on quantum algorithms I edited for the journal Mathematical Structures in Computer Science (Volume 20 - Special Issue 06 (Quantum Algorithms), 2010).
Contextuality supplies the `magic' for quantum computation
Howard, Mark; Wallman, Joel; Veitch, Victor; Emerson, Joseph
2014-06-01
Quantum computers promise dramatic advantages over their classical counterparts, but the source of the power in quantum computing has remained elusive. Here we prove a remarkable equivalence between the onset of contextuality and the possibility of universal quantum computation via `magic state' distillation, which is the leading model for experimentally realizing a fault-tolerant quantum computer. This is a conceptually satisfying link, because contextuality, which precludes a simple `hidden variable' model of quantum mechanics, provides one of the fundamental characterizations of uniquely quantum phenomena. Furthermore, this connection suggests a unifying paradigm for the resources of quantum information: the non-locality of quantum theory is a particular kind of contextuality, and non-locality is already known to be a critical resource for achieving advantages with quantum communication. In addition to clarifying these fundamental issues, this work advances the resource framework for quantum computation, which has a number of practical applications, such as characterizing the efficiency and trade-offs between distinct theoretical and experimental schemes for achieving robust quantum computation, and putting bounds on the overhead cost for the classical simulation of quantum algorithms.
Elementary gates for quantum computation
Barenco, A; Cleve, R; Di Vincenzo, D P; Margolus, N H; Shor, P W; Sleator, T; Smolin, J A; Weinfurter, H; Barenco, A; Bennett, C H; Cleve, R; DiVincenzo, D P; Margolus, N; Shor, P; Sleator, T; Smolin, J; Weinfurter, H
1995-01-01
We show that a set of gates that consists of all one-bit quantum gates (U(2)) and the two-bit exclusive-or gate (that maps Boolean values (x,y) to (x,x \\oplus y)) is universal in the sense that all unitary operations on arbitrarily many bits n (U(2^n)) can be expressed as compositions of these gates. We investigate the number of the above gates required to implement other gates, such as generalized Deutsch-Toffoli gates, that apply a specific U(2) transformation to one input bit if and only if the logical AND of all remaining input bits is satisfied. These gates play a central role in many proposed constructions of quantum computational networks. We derive upper and lower bounds on the exact number of elementary gates required to build up a variety of two-and three-bit quantum gates, the asymptotic number required for n-bit Deutsch-Toffoli gates, and make some observations about the number required for arbitrary n-bit unitary operations.
Quantum Computation: Theory, Practice, and Future Prospects
Chuang, Isaac
2000-03-01
Information is physical, and computation obeys physical laws. Ones and zeros -- elementary classical bits of information -- must be represented in physical media to be stored and processed. Traditionally, these objects are well described by classical physics, but increasingly, as we edge towards the limits of semiconductor technology, we reach a new regime where the laws of quantum physics become dominant. Strange new phenomena, like entanglement and quantum coherence, become available as new resources. How can such resources be utilized for computation? What physical systems allow construction and control of quantum phenomena? How is this relevant to future directions in information technology? The theoretical promise of quantum computation is polynomial speedup of searches, and exponentially speedups for other certain problems such as factoring. But the experimental challenge to realize such algorithms in practice is enormous: to date, quantum computers with only a handful of quantum bits have been realized in the laboratory, using electromagnetically trapped ions, and with magnetic resonance techniques. On the other hand, quantum information has been communicated over long distances using single photons. The future of quantum computation is currently subject to intense scrutiny. It may well be that these machines will not be practical. More quantum algorithms must be discovered, and new physical implementations must be realized. Quantum computation and quantum information are young fields with major issues to be overcome, but already, they have forever changed the way we think of the physical world and what can be computed with it.
Helping Students Learn Quantum Mechanics for Quantum Computing
Singh, Chandralekha
2016-01-01
Quantum information science and technology is a rapidly growing interdisciplinary field drawing researchers from science and engineering fields. Traditional instruction in quantum mechanics is insufficient to prepare students for research in quantum computing because there is a lack of emphasis in the current curriculum on quantum formalism and dynamics. We are investigating the difficulties students have with quantum mechanics and are developing and evaluating quantum interactive learning tutorials (QuILTs) to reduce the difficulties. Our investigation includes interviews with individual students and the development and administration of free-response and multiple-choice tests. We discuss the implications of our research and development project on helping students learn quantum mechanics relevant for quantum computing.
Photon echo quantum RAM integration in quantum computer
Moiseev, Sergey A
2012-01-01
We have analyzed an efficient integration of the multi-qubit echo quantum memory into the quantum computer scheme on the atomic resonant ensembles in quantum electrodynamics cavity. Here, one atomic ensemble with controllable inhomogeneous broadening is used for the quantum memory node and other atomic ensembles characterized by the homogeneous broadening of the resonant line are used as processing nodes. We have found optimal conditions for efficient integration of multi-qubit quantum memory modified for this analyzed physical scheme and we have determined a specified shape of the self temporal modes providing a perfect reversible transfer of the photon qubits between the quantum memory node and arbitrary processing nodes. The obtained results open the way for realization of full-scale solid state quantum computing based on using the efficient multi-qubit quantum memory.
Brokered Graph State Quantum Computing
Benjamin, S C; Fitzsimons, J; Morton, J J L; Benjamin, Simon C.; Browne, Dan E.; Fitzsimons, Joe; Morton, John J. L.
2005-01-01
We describe a procedure for graph state quantum computing that is tailored to fully exploit the physics of optically active multi-level systems. Leveraging ideas from the literature on distributed computation together with the recent work on probabilistic cluster state synthesis, our model assigns to each physical system two logical qubits: the broker and the client. Groups of brokers negotiate new graph state fragments via a probabilistic optical protocol. Completed fragments are mapped from broker to clients via a simple state transition and measurement. The clients, whose role is to store the nascent graph state long term, remain entirely insulated from failures during the brokerage. We describe an implementation in terms of NV-centres in diamond, where brokers and clients are very naturally embodied as electron and nuclear spins.
Quantum Computing in Solid State Systems
Ruggiero, B; Granata, C
2006-01-01
The aim of Quantum Computation in Solid State Systems is to report on recent theoretical and experimental results on the macroscopic quantum coherence of mesoscopic systems, as well as on solid state realization of qubits and quantum gates. Particular attention has been given to coherence effects in Josephson devices. Other solid state systems, including quantum dots, optical, ion, and spin devices which exhibit macroscopic quantum coherence are also discussed. Quantum Computation in Solid State Systems discusses experimental implementation of quantum computing and information processing devices, and in particular observations of quantum behavior in several solid state systems. On the theoretical side, the complementary expertise of the contributors provides models of the various structures in connection with the problem of minimizing decoherence.
Effective Pure States for Bulk Quantum Computation
Knill, Emanuel; Chuang, Isaac; Laflamme, Raymond
1997-01-01
In bulk quantum computation one can manipulate a large number of indistinguishable quantum computers by parallel unitary operations and measure expectation values of certain observables with limited sensitivity. The initial state of each computer in the ensemble is known but not pure. Methods for obtaining effective pure input states by a series of manipulations have been described by Gershenfeld and Chuang (logical labeling) and Cory et al. (spatial averaging) for the case of quantum computa...
The Heisenberg representation of quantum computers
Gottesman, D.
1998-06-24
Since Shor`s discovery of an algorithm to factor numbers on a quantum computer in polynomial time, quantum computation has become a subject of immense interest. Unfortunately, one of the key features of quantum computers--the difficulty of describing them on classical computers--also makes it difficult to describe and understand precisely what can be done with them. A formalism describing the evolution of operators rather than states has proven extremely fruitful in understanding an important class of quantum operations. States used in error correction and certain communication protocols can be described by their stabilizer, a group of tensor products of Pauli matrices. Even this simple group structure is sufficient to allow a rich range of quantum effects, although it falls short of the full power of quantum computation.
Spin network setting of topological quantum computation
Marzuoli, Annalisa; Rasetti, Mario
2004-01-01
The spin network simulator model represents a bridge between (generalised) circuit schemes for standard quantum computation and approaches based on notions from Topological Quantum Field Theories (TQFTs). The key tool is provided by the fiber space structure underlying the model which exhibits combinatorial properties closely related to SU(2) state sum models, widely employed in discretizing TQFTs and quantum gravity in low spacetime dimensions.
Quantum Computer Games: Schrodinger Cat and Hounds
Gordon, Michal; Gordon, Goren
2012-01-01
The quantum computer game "Schrodinger cat and hounds" is the quantum extension of the well-known classical game fox and hounds. Its main objective is to teach the unique concepts of quantum mechanics in a fun way. "Schrodinger cat and hounds" demonstrates the effects of superposition, destructive and constructive interference, measurements and…
Computational quantum-classical boundary of noisy commuting quantum circuits
Fujii, Keisuke; Tamate, Shuhei
2016-01-01
It is often said that the transition from quantum to classical worlds is caused by decoherence originated from an interaction between a system of interest and its surrounding environment. Here we establish a computational quantum-classical boundary from the viewpoint of classical simulatability of a quantum system under decoherence. Specifically, we consider commuting quantum circuits being subject to decoherence. Or equivalently, we can regard them as measurement-based quantum computation on decohered weighted graph states. To show intractability of classical simulation in the quantum side, we utilize the postselection argument and crucially strengthen it by taking noise effect into account. Classical simulatability in the classical side is also shown constructively by using both separable criteria in a projected-entangled-pair-state picture and the Gottesman-Knill theorem for mixed state Clifford circuits. We found that when each qubit is subject to a single-qubit complete-positive-trace-preserving noise, the computational quantum-classical boundary is sharply given by the noise rate required for the distillability of a magic state. The obtained quantum-classical boundary of noisy quantum dynamics reveals a complexity landscape of controlled quantum systems. This paves a way to an experimentally feasible verification of quantum mechanics in a high complexity limit beyond classically simulatable region. PMID:27189039
Computational quantum-classical boundary of noisy commuting quantum circuits.
Fujii, Keisuke; Tamate, Shuhei
2016-01-01
It is often said that the transition from quantum to classical worlds is caused by decoherence originated from an interaction between a system of interest and its surrounding environment. Here we establish a computational quantum-classical boundary from the viewpoint of classical simulatability of a quantum system under decoherence. Specifically, we consider commuting quantum circuits being subject to decoherence. Or equivalently, we can regard them as measurement-based quantum computation on decohered weighted graph states. To show intractability of classical simulation in the quantum side, we utilize the postselection argument and crucially strengthen it by taking noise effect into account. Classical simulatability in the classical side is also shown constructively by using both separable criteria in a projected-entangled-pair-state picture and the Gottesman-Knill theorem for mixed state Clifford circuits. We found that when each qubit is subject to a single-qubit complete-positive-trace-preserving noise, the computational quantum-classical boundary is sharply given by the noise rate required for the distillability of a magic state. The obtained quantum-classical boundary of noisy quantum dynamics reveals a complexity landscape of controlled quantum systems. This paves a way to an experimentally feasible verification of quantum mechanics in a high complexity limit beyond classically simulatable region. PMID:27189039
Quantum computing in a piece of glass
Miller, Warner A; Tison, Christopher; Alsing, Paul M; McDonald, Jonathan R
2011-01-01
Quantum gates and simple quantum algorithms can be designed utilizing the diffraction phenomena of a photon within a multiplexed holographic element. The quantum eigenstates we use are the photon's linear momentum (LM) as measured by the number of waves of tilt across the aperture. Two properties of quantum computing within the circuit model make this approach attractive. First, any conditional measurement can be commuted in time with any unitary quantum gate - the timeless nature of quantum computing. Second, photon entanglement can be encoded as a superposition state of a single photon in a higher-dimensional state space afforded by LM. Our theoretical and numerical results indicate that OptiGrate's photo-thermal refractive (PTR) glass is an enabling technology. We will review our previous design of a quantum projection operator and give credence to this approach on a representative quantum gate grounded on coupled-mode theory and numerical simulations, all with parameters consistent with PTR glass. We disc...
Multivariable Optimization: Quantum Annealing & Computation
Mukherjee, Sudip; Chakrabarti, Bikas K.
2014-01-01
Recent developments in quantum annealing techniques have been indicating potential advantage of quantum annealing for solving NP-hard optimization problems. In this article we briefly indicate and discuss the beneficial features of quantum annealing techniques and compare them with those of simulated annealing techniques. We then briefly discuss the quantum annealing studies of some model spin glass and kinetically constrained systems.
Monte Carlo Simulation of Quantum Computation
Cerf, N. J.; Koonin, S. E.
1997-01-01
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 Fouri...
Quantum Computing: Linear Optics Implementations
Sundsøy, Pål
2016-01-01
One of the main problems that optical quantum computing has to overcome is the efficient construction of two-photon gates. Theoretically these gates can be realized using Kerr-nonlinearities, but the techniques involved are experimentally very difficult. We therefore employ linear optics with projective measurements to generate these non-linearities. The downside is that the measurement-induced nonlinearities achieved with linear optics are less versatile and the success rate can be quite low. This project is mainly the result of a literature study but also a theoretical work on the physics behind quantum optical multiports which is essential for realizing two-photon gates. By applying different postcorrection techniques we increase the probability of success in a modifed non-linear sign shift gate which is foundational for the two photon controlled-NOT gate. We prove that it's not possible to correct the states by only using a single beam splitter. We show that it might be possible to increase the probabilit...
An overview of quantum computation models: quantum automata
2008-01-01
Quantum automata,as theoretical models of quantum computers,include quantum finite automata (QFA),quantum sequential machines (QSM),quantum pushdown automata (QPDA),quantum Turing machines (QTM),quantum cellular automata (QCA),and the others,for example,automata theory based on quantum logic (orthomodular lattice-valued automata).In this paper,we try to outline a basic progress in the research on these models,focusing on QFA,QSM,QPDA,QTM,and orthomodular lattice-valued automata.Also,other models closely relative to them are mentioned.In particular,based on the existing results in the literature,we finally address a number of problems to be studied in future.
Quantum and classical dynamics in adiabatic computation
Crowley, P. J. D.; Duric, T.; Vinci, W.; Warburton, P. A.; Green, A. G.
2014-01-01
Adiabatic transport provides a powerful way to manipulate quantum states. By preparing a system in a readily initialized state and then slowly changing its Hamiltonian, one may achieve quantum states that would otherwise be inaccessible. Moreover, a judicious choice of final Hamiltonian whose ground state encodes the solution to a problem allows adiabatic transport to be used for universal quantum computation. However, the dephasing effects of the environment limit the quantum correlations th...
Quantum Field Symbolic Analog Computation: Relativity Model
Manoharan, A. C.
2000-01-01
It is natural to consider a quantum system in the continuum limit of space-time configuration. Incorporating also, Einstein's special relativity, leads to the quantum theory of fields. Non-relativistic quantum mechanics and classical mechanics are special cases. By studying vacuum expectation values (Wightman functions W(n; z) where z denotes the set of n complex variables) of products of quantum field operators in a separable Hilbert space, one is led to computation of holomorphy domains for...
Geometry of Quantum Computation with Qudits
Luo, Ming-Xing; Chen, Xiu-Bo; Yang, Yi-Xian; Wang, Xiaojun
2014-01-01
The circuit complexity of quantum qubit system evolution as a primitive problem in quantum computation has been discussed widely. We investigate this problem in terms of qudit system. Using the Riemannian geometry the optimal quantum circuits are equivalent to the geodetic evolutions in specially curved parametrization of SU(dn). And the quantum circuit complexity is explicitly dependent of controllable approximation error bound. PMID:24509710
The potential of the quantum computer
2006-01-01
The Physics Section of the University of Geneva is continuing its series of lectures, open to the general public, on the most recent developments in the field of physics. The next lecture, given by Professor Michel Devoret of Yale University in the United States, will be on the potential of the quantum computer. The quantum computer is, as yet, a hypothetical machine which would operate on the basic principles of quantum mechanics. Compared to standard computers, it represents a significant gain in computing power for certain complex calculations. Quantum operations can simultaneously explore a very large number of possibilities. The correction of quantum errors, which until recently had been deemed impossible, has now become a well-established technique. Several prototypes for, as yet, very simple quantum processors have been developed. The lecture will begin with a demonstration in the auditorium of the detection of cosmic rays and, in collaboration with Professor E. Ellberger of the Conservatoire de M...
Geometry of abstraction in quantum computation
Pavlovic, Dusko
2010-01-01
Quantum algorithms are sequences of abstract operations, performed on non-existent computers. They are in obvious need of categorical semantics. We present some steps in this direction, following earlier contributions of Abramsky, Coecke and Selinger. In particular, we analyze function abstraction in quantum computation, which turns out to characterize its classical interfaces. Some quantum algorithms provide feasible solutions of important hard problems, such as factoring and discrete log (which are the building blocks of modern cryptography). It is of a great practical interest to precisely characterize the computational resources needed to execute such quantum algorithms. There are many ideas how to build a quantum computer. Can we prove some necessary conditions? Categorical semantics help with such questions. We show how to implement an important family of quantum algorithms using just abelian groups and relations.
Problems and solutions in quantum computing and quantum information
Steeb, Willi-Hans
2004-01-01
Quantum computing and quantum information are two of thefastest-growing and most exciting research areas in physics. Thepossibilities of using non-local behaviour of quantum mechanics tofactorize integers in random polynomial time have added to this newinterest. This invaluable book provides a collection of problems inquantum computing and quantum information together with detailedsolutions. It consists of two parts: in the first partfinite-dimensional systems are considered, while the second part dealswith finite-dimensional systems. All the important concepts and topics are included, such as
Determine Ramsey numbers on a quantum computer
Wang, Hefeng
2015-01-01
We present a quantum algorithm for computing the Ramsey numbers whose computational complexity grows super-exponentially with the number of vertices of a graph on a classical computer. The problem is mapped to a decision problem on a quantum computer, a probe qubit is coupled to a register that represents the problem and detects the energy levels of the problem Hamiltonian. The decision problem is solved by determining whether the probe qubit exhibits resonance dynamics. The algorithm shows a...
Wavelets and Wavelet Packets on Quantum Computers
Klappenecker, Andreas
1999-01-01
We show how periodized wavelet packet transforms and periodized wavelet transforms can be implemented on a quantum computer. Surprisingly, we find that the implementation of wavelet packet transforms is less costly than the implementation of wavelet transforms on a quantum computer.
Quantum computation architecture using optical tweezers
Weitenberg, Christof; Kuhr, Stefan; Mølmer, Klaus;
2011-01-01
We present a complete architecture for scalable quantum computation with ultracold atoms in optical lattices using optical tweezers focused to the size of a lattice spacing. We discuss three different two-qubit gates based on local collisional interactions. The gates between arbitrary qubits...... quantum computing....
On the completeness of quantum computation models
Arrighi, Pablo; Dowek, Gilles
2010-01-01
The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite "tensorial dimension". Such vector spaces with a finite tensorial dimension permit to define an absolute notion of completeness for quantum computation models and give a precise meaning to the Church-Turing thesis in the framework of quantum theory. (Extra keywords: quantum programming languages, denotational semantics, universality.)
Linear Optics Quantum Computation: an Overview
Myers, C R; Laflamme, R
2005-01-01
We give an overview of linear optics quantum computing, focusing on the results from the original KLM paper. First we give a brief summary of the advances made with optics for quantum computation prior to KLM. We next discuss the KLM linear optics scheme, giving detailed examples. Finally we go through quantum error correction for the LOQC theory, showing how to obtain the threshold when dealing with Z-measurement errors.
Accounting Principles are Simulated on Quantum Computers
Diep, Do Ngoc; Giang, Do Hoang
2005-01-01
The paper is devoted to a new idea of simulation of accounting by quantum computing. We expose the actual accounting principles in a pure mathematics language. After that we simulated the accounting principles on quantum computers. We show that all arbitrary accounting actions are exhausted by the described basic actions. The main problem of accounting are reduced to some system of linear equations in the economic model of Leontief. In this simulation we use our constructed quantum Gau\\ss-Jor...
Hayato Goto
2015-01-01
The dynamics of nonlinear systems qualitatively change depending on their parameters, which is called bifurcation. A quantum-mechanical nonlinear oscillator can yield a quantum superposition of two oscillation states, known as a Schr\\"odinger cat state, via quantum adiabatic evolution through its bifurcation point. Here we propose a quantum computer comprising such quantum nonlinear oscillators, instead of quantum bits, to solve hard combinatorial optimization problems. The nonlinear oscillat...
Experimental demonstration of deterministic one-way quantum computing on a NMR quantum computer
Ju, Chenyong; Zhu, Jing; Peng, Xinhua; Chong, Bo; Zhou, Xianyi; Du, Jiangfeng
2008-01-01
One-way quantum computing is an important and novel approach to quantum computation. By exploiting the existing particle-particle interactions, we report the first experimental realization of the complete process of deterministic one-way quantum Deutsch-Josza algorithm in NMR, including graph state preparation, single-qubit measurements and feed-forward corrections. The findings in our experiment may shed light on the future scalable one-way quantum computation.
Computing a Turing-Incomputable Problem from Quantum Computing
Sicard, A; Ospina, J; Sicard, Andr\\'es; V\\'elez, Mario; Ospina, Juan
2003-01-01
A hypercomputation model named Infinite Square Well Hypercomputation Model (ISWHM) is built from quantum computation. This model is inspired by the model proposed by Tien D. Kieu quant-ph/0203034 and solves an Turing-incomputable problem. For the proposed model and problem, a simulation of its behavior is made. Furthermore, it is demonstrated that ISWHM is a universal quantum computation model.
Quantum Computer Condition: Stability, Classical Computation and Norms
Gilbert, G; Thayer, F J; Weinstein, Yu S; Gilbert, Gerald; Hamrick, Michael; Weinstein, Yaakov S.
2005-01-01
The Quantum Computer Condition (QCC) provides a rigorous and completely general framework for carrying out analyses of questions pertaining to fault-tolerance in quantum computers. In this paper we apply the QCC to the problem of fluctuations and systematic errors in the values of characteristic parameters in realistic systems. We show that fault-tolerant quantum computation is possible despite variations in these parameters. We also use the QCC to explicitly show that reliable classical computation can be carried out using as input the results of fault-tolerant, but imperfect, quantum computation. Finally, we consider the advantages and disadvantages of the superoperator and diamond norms in connection with application of the QCC to various quantum information-theoretic problems.
Quantum Computing over Finite Fields
James, Roshan P.; Ortiz, Gerardo; Sabry, Amr
2011-01-01
In recent work, Benjamin Schumacher and Michael~D. Westmoreland investigate a version of quantum mechanics which they call "modal quantum theory" but which we prefer to call "discrete quantum theory". This theory is obtained by instantiating the mathematical framework of Hilbert spaces with a finite field instead of the field of complex numbers. This instantiation collapses much the structure of actual quantum mechanics but retains several of its distinguishing characteristics including the n...
Quantum Computing and the Limits of the Efficiently Computable
CERN. Geneva
2015-01-01
I'll discuss how computational complexity---the study of what can and can't be feasibly computed---has been interacting with physics in interesting and unexpected ways. I'll first give a crash course about computer science's P vs. NP problem, as well as about the capabilities and limits of quantum computers. I'll then touch on speculative models of computation that would go even beyond quantum computers, using (for example) hypothetical nonlinearities in the Schrodinger equation. Finally, I'll discuss BosonSampling ---a proposal for a simple form of quantum computing, which nevertheless seems intractable to simulate using a classical computer---as well as the role of computational complexity in the black hole information puzzle.
Resilient Quantum Computation Error Models and Thresholds
Knill, E H; Zurek, W H; Knill, Emanuel; Laflamme, Raymond; Zurek, Wojciech H.
1997-01-01
Recent research has demonstrated that quantum computers can solve certain types of problems substantially faster than the known classical algorithms. These problems include factoring integers and certain physics simulations. Practical quantum computation requires overcoming the problems of environmental noise and operational errors, problems which appear to be much more severe than in classical computation due to the inherent fragility of quantum superpositions involving many degrees of freedom. Here we show that arbitrarily accurate quantum computations are possible provided that the error per operation is below a threshold value. The result is obtained by combining quantum error-correction, fault tolerant state recovery, fault tolerant encoding of operations and concatenation. It holds under physically realistic assumptions on the errors.
Quantum computing with defects in diamond
Full text: Single spins in semiconductors, in particular associated with defect centers, are promising candidates for practical and scalable implementation of quantum computing even at room temperature. Such an implementation may also use the reliable and well known gate constructions from bulk nuclear magnetic resonance (NMR) quantum computing. Progress in development of quantum processor based on defects in diamond will be discussed. By combining optical microscopy, and magnetic resonance techniques, the first quantum logical operations on single spins in a solid are now demonstrated. The system is perspective for room temperature operation because of a weak dependence of decoherence on temperature (author)
Numerical computation for teaching quantum statistics
Price, Tyson; Swendsen, Robert H.
2013-11-01
The study of ideal quantum gases reveals surprising quantum effects that can be observed in macroscopic systems. The properties of bosons are particularly unusual because a macroscopic number of particles can occupy a single quantum state. We describe a computational approach that supplements the usual analytic derivations applicable in the thermodynamic limit. The approach involves directly summing over the quantum states for finite systems and avoids the need for doing difficult integrals. The results display the unusual behavior of quantum gases even for relatively small systems.
Quantum computing based on semiconductor nanowires
S.M. Frolov; Plissard, S.R. (Sebastien) (Postdoc); Nadj-Perge, S.; Kouwenhoven, L.P.; Bakkers, E.P.A.M. (Erik) (Professor)
2013-01-01
A quantum computer will have computational power beyond that of conventional computers, which can be exploited for solving important and complex problems, such as predicting the conformations of large biological molecules. Materials play a major role in this emerging technology, as they can enable sophisticated operations, such as control over single degrees of freedom and their quantum states, as well as preservation and coherent transfer of these states between distant nodes. Here we assess...
Conceptual aspects of geometric quantum computation
Sjöqvist, Erik; Azimi Mousolou, Vahid; Canali, Carlo M.
2016-07-01
Geometric quantum computation is the idea that geometric phases can be used to implement quantum gates, i.e., the basic elements of the Boolean network that forms a quantum computer. Although originally thought to be limited to adiabatic evolution, controlled by slowly changing parameters, this form of quantum computation can as well be realized at high speed by using nonadiabatic schemes. Recent advances in quantum gate technology have allowed for experimental demonstrations of different types of geometric gates in adiabatic and nonadiabatic evolution. Here, we address some conceptual issues that arise in the realizations of geometric gates. We examine the appearance of dynamical phases in quantum evolution and point out that not all dynamical phases need to be compensated for in geometric quantum computation. We delineate the relation between Abelian and non-Abelian geometric gates and find an explicit physical example where the two types of gates coincide. We identify differences and similarities between adiabatic and nonadiabatic realizations of quantum computation based on non-Abelian geometric phases.
Non-Mechanism in Quantum Oracle Computing
Castagnoli, G C
1999-01-01
A typical oracle problem is finding which software program is installed on a computer, by running the computer and testing its input-output behaviour. The program is randomly chosen from a set of programs known to the problem solver. As well known, some oracle problems are solved more efficiently by using quantum algorithms; this naturally implies changing the computer to quantum, while the choice of the software program remains sharp. In order to highlight the non-mechanistic origin of this higher efficiency, also the uncertainty about which program is installed must be represented in a quantum way.
Hyper-parallel photonic quantum computation with coupled quantum dots
Ren, Bao-Cang; Deng, Fu-Guo
2014-04-01
It is well known that a parallel quantum computer is more powerful than a classical one. So far, there are some important works about the construction of universal quantum logic gates, the key elements in quantum computation. However, they are focused on operating on one degree of freedom (DOF) of quantum systems. Here, we investigate the possibility of achieving scalable hyper-parallel quantum computation based on two DOFs of photon systems. We construct a deterministic hyper-controlled-not (hyper-CNOT) gate operating on both the spatial-mode and the polarization DOFs of a two-photon system simultaneously, by exploiting the giant optical circular birefringence induced by quantum-dot spins in double-sided optical microcavities as a result of cavity quantum electrodynamics (QED). This hyper-CNOT gate is implemented by manipulating the four qubits in the two DOFs of a two-photon system without auxiliary spatial modes or polarization modes. It reduces the operation time and the resources consumed in quantum information processing, and it is more robust against the photonic dissipation noise, compared with the integration of several cascaded CNOT gates in one DOF.
Faster quantum chemistry simulation on fault-tolerant quantum computers
Cody Jones, N.; Whitfield, James D.; McMahon, Peter L.; Yung, Man-Hong; Van Meter, Rodney; Aspuru-Guzik, Alán; Yamamoto, Yoshihisa
2012-11-01
Quantum computers can in principle simulate quantum physics exponentially faster than their classical counterparts, but some technical hurdles remain. We propose methods which substantially improve the performance of a particular form of simulation, ab initio quantum chemistry, on fault-tolerant quantum computers; these methods generalize readily to other quantum simulation problems. Quantum teleportation plays a key role in these improvements and is used extensively as a computing resource. To improve execution time, we examine techniques for constructing arbitrary gates which perform substantially faster than circuits based on the conventional Solovay-Kitaev algorithm (Dawson and Nielsen 2006 Quantum Inform. Comput. 6 81). For a given approximation error ɛ, arbitrary single-qubit gates can be produced fault-tolerantly and using a restricted set of gates in time which is O(log ɛ) or O(log log ɛ) with sufficient parallel preparation of ancillas, constant average depth is possible using a method we call programmable ancilla rotations. Moreover, we construct and analyze efficient implementations of first- and second-quantized simulation algorithms using the fault-tolerant arbitrary gates and other techniques, such as implementing various subroutines in constant time. A specific example we analyze is the ground-state energy calculation for lithium hydride.
Materials Frontiers to Empower Quantum Computing
Taylor, Antoinette Jane [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Sarrao, John Louis [Los Alamos National Lab. (LANL), Los Alamos, NM (United States); Richardson, Christopher [Laboratory for Physical Sciences, College Park, MD (United States)
2015-06-11
This is an exciting time at the nexus of quantum computing and materials research. The materials frontiers described in this report represent a significant advance in electronic materials and our understanding of the interactions between the local material and a manufactured quantum state. Simultaneously, directed efforts to solve materials issues related to quantum computing provide an opportunity to control and probe the fundamental arrangement of matter that will impact all electronic materials. An opportunity exists to extend our understanding of materials functionality from electronic-grade to quantum-grade by achieving a predictive understanding of noise and decoherence in qubits and their origins in materials defects and environmental coupling. Realizing this vision systematically and predictively will be transformative for quantum computing and will represent a qualitative step forward in materials prediction and control.
Efficiency of Ground State Quantum Computer
Mao, Wenjin
2004-01-01
The energy gap is calculated for the ground state quantum computer circuit, which was recently proposed by Mizel et.al. When implementing a quantum algorithm by Hamiltonians containing only pairwise interaction, the inverse of energy gap $1/\\Delta$ is proportional to $N^{4k}$, where $N$ is the number of bits involved in the problem, and $N^k$ is the number of control operations performed in a standard quantum paradigm. Besides suppressing decoherence due to the energy gap, in polynomial time ...
Quantum computing based on semiconductor nanowires
Frolov, S.M.; Plissard, S.R.; Nadj-Perge, S.; Kouwenhoven, L.P.; Bakkers, E.P.A.M.
2013-01-01
A quantum computer will have computational power beyond that of conventional computers, which can be exploited for solving important and complex problems, such as predicting the conformations of large biological molecules. Materials play a major role in this emerging technology, as they can enable s
Carmichael Numbers on a Quantum Computer
Carlini, A.; Hosoya, A.
1999-01-01
We present a quantum probabilistic algorithm which tests with a polynomial computational complexity whether a given composite number is of the Carmichael type. We also suggest a quantum algorithm which could verify a conjecture by Pomerance, Selfridge and Wagstaff concerning the asymptotic distribution of Carmichael numbers smaller than a given integer.
An introduction to quantum computing algorithms
Pittenger, Arthur O
2000-01-01
In 1994 Peter Shor [65] published a factoring algorithm for a quantum computer that finds the prime factors of a composite integer N more efficiently than is possible with the known algorithms for a classical com puter. Since the difficulty of the factoring problem is crucial for the se curity of a public key encryption system, interest (and funding) in quan tum computing and quantum computation suddenly blossomed. Quan tum computing had arrived. The study of the role of quantum mechanics in the theory of computa tion seems to have begun in the early 1980s with the publications of Paul Benioff [6]' [7] who considered a quantum mechanical model of computers and the computation process. A related question was discussed shortly thereafter by Richard Feynman [35] who began from a different perspec tive by asking what kind of computer should be used to simulate physics. His analysis led him to the belief that with a suitable class of "quantum machines" one could imitate any quantum system.
Relativistic quantum chemistry on quantum computers
Veis, Libor; Višňák, Jakub; Fleig, T.; Knecht, S.; Saue, T.; Visscher, L.; Pittner, Jiří
2012-01-01
Roč. 85, č. 3 (2012), 030304. ISSN 1050-2947 R&D Projects: GA ČR GA203/08/0626 Institutional support: RVO:61388955 Keywords : simulation * algorithm * computation Subject RIV: CF - Physical ; Theoretical Chemistry Impact factor: 3.042, year: 2012
Universality of Black Hole Quantum Computing
Dvali, Gia; Lust, Dieter; Omar, Yasser; Richter, Benedikt
2016-01-01
By analyzing the key properties of black holes from the point of view of quantum information, we derive a model-independent picture of black hole quantum computing. It has been noticed that this picture exhibits striking similarities with quantum critical condensates, allowing the use of a common language to describe quantum computing in both systems. We analyze such quantum computing by allowing coupling to external modes, under the condition that the external influence must be soft-enough in order not to offset the basic properties of the system. We derive model-independent bounds on some crucial time-scales, such as the times of gate operation, decoherence, maximal entanglement and total scrambling. We show that for black hole type quantum computers all these time-scales are of the order of the black hole half-life time. Furthermore, we construct explicitly a set of Hamiltonians that generates a universal set of quantum gates for the black hole type computer. We find that the gates work at maximal energy e...
Iterated Gate Teleportation and Blind Quantum Computation.
Pérez-Delgado, Carlos A; Fitzsimons, Joseph F
2015-06-01
Blind quantum computation allows a user to delegate a computation to an untrusted server while keeping the computation hidden. A number of recent works have sought to establish bounds on the communication requirements necessary to implement blind computation, and a bound based on the no-programming theorem of Nielsen and Chuang has emerged as a natural limiting factor. Here we show that this constraint only holds in limited scenarios, and show how to overcome it using a novel method of iterated gate teleportations. This technique enables drastic reductions in the communication required for distributed quantum protocols, extending beyond the blind computation setting. Applied to blind quantum computation, this technique offers significant efficiency improvements, and in some scenarios offers an exponential reduction in communication requirements. PMID:26196609
Performing Quantum Computing Experiments in the Cloud
Simon J. Devitt
2016-01-01
Quantum computing technology has reached a second renaissance in the past five years. Increased interest from both the private and public sector combined with extraordinary theoretical and experimental progress has solidified this technology as a major advancement in the 21st century. As anticipated by many, the first realisation of quantum computing technology would occur over the cloud, with users logging onto dedicated hardware over the classical internet. Recently IBM has released the {\\e...
Weighing matrices and optical quantum computing
Flammia, Steven T.; Severini, Simone
2008-01-01
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.
Thresholds for Linear Optics Quantum Computation
Knill, E.; Laflamme, R; Milburn, G.
2000-01-01
We previously established that in principle, it is possible to quantum compute using passive linear optics with photo-detectors (quant-ph/0006088). Here we describe techniques based on error detection and correction that greatly improve the resource and device reliability requirements needed for scalability. The resource requirements are analyzed for ideal linear optics quantum computation (LOQC). The coding methods can be integrated both with loss detection and phase error-correction to deal...
Braid group representation on quantum computation
There are many studies about topological representation of quantum computation recently. One of diagram representation of quantum computation is by using ZX-Calculus. In this paper we will make a diagrammatical scheme of Dense Coding. We also proved that ZX-Calculus diagram of maximally entangle state satisfies Yang-Baxter Equation and therefore, we can construct a Braid Group representation of set of maximally entangle state
Braid group representation on quantum computation
Aziz, Ryan Kasyfil, E-mail: kasyfilryan@gmail.com [Department of Computational Sciences, Bandung Institute of Technology (Indonesia); Muchtadi-Alamsyah, Intan, E-mail: ntan@math.itb.ac.id [Algebra Research Group, Bandung Institute of Technology (Indonesia)
2015-09-30
There are many studies about topological representation of quantum computation recently. One of diagram representation of quantum computation is by using ZX-Calculus. In this paper we will make a diagrammatical scheme of Dense Coding. We also proved that ZX-Calculus diagram of maximally entangle state satisfies Yang-Baxter Equation and therefore, we can construct a Braid Group representation of set of maximally entangle state.
Delayed commutation in quantum computer networks
Garcia-Escartin, Juan Carlos; Chamorro-Posada, Pedro
2005-01-01
In the same way that classical computer networks connect and enhance the capabilities of classical computers, quantum networks can combine the advantages of quantum information and communications. We propose a non-classical network element, a delayed commutation switch, that can solve the problem of switching time in packet switching networks. With the help of some local ancillary qubits and superdense codes we can route the information after part of it has left the network node.
Quantum Mechanical Nature in Liquid NMR Quantum Computing
LONGGui－Lu; YANHai－Yang; 等
2002-01-01
The quantum nature of bulk ensemble NMR quantum computing-the center of recent heated debate,is addressed.Concepts of the mixed state and entanglement are examined,and the data in a two-qubit liquid NMR quantum computation are analyzed.the main points in this paper are;i) Density matrix describes the "state" of an average particle in an ensemble.It does not describe the state of an individual particle in an ensemble;ii) Entanglement is a property of the wave function of a microscopic particle(such as a molecule in a liquid NMR sample),and separability of the density matrix canot be used to measure the entanglement of mixed ensemble;iii) The state evolution in bulkensemble NMR quantum computation is quantum-mechanical;iv) The coefficient before the effective pure state density matrix,ε,is a measure of the simultaneity of the molecules in an ensemble,It reflets the intensity of the NMR signal and has no significance in quantifying the entanglement in the bulk ensemble NMR system.The decomposition of the density matrix into product states is only an indication that the ensemble can be prepared by an ensemble with the particles unentangeld.We conclude that effective-pure-state NMR quantum computation is genuine,not just classical simulations.
Methodological testing: Are fast quantum computers illusions?
Popularity of the idea for computers constructed from the principles of QM started with Feynman's 'Lectures On Computation', but he called the idea crazy and dependent on statistical mechanics. In 1987, Feynman published a paper in 'Quantum Implications - Essays in Honor of David Bohm' on negative probabilities which he said gave him cultural shock. The problem with imagined fast quantum computers (QC) is that speed requires both statistical behavior and truth of the mathematical formalism. The Swedish Royal Academy 2012 Nobel Prize in physics press release touted the discovery of methods to control ''individual quantum systems'', to ''measure and control very fragile quantum states'' which enables ''first steps towards building a new type of super fast computer based on quantum physics.'' A number of examples where widely accepted mathematical descriptions have turned out to be problematic are examined: Problems with the use of Oracles in P=NP computational complexity, Paul Finsler's proof of the continuum hypothesis, and Turing's Enigma code breaking versus William tutte's Colossus. I view QC research as faith in computational oracles with wished for properties. Arther Fine's interpretation in 'The Shaky Game' of Einstein's skepticism toward QM is discussed. If Einstein's reality as space-time curvature is correct, then space-time computers will be the next type of super fast computer.
Topological Code Architectures for Quantum Computation
Cesare, Christopher Anthony
This dissertation is concerned with quantum computation using many-body quantum systems encoded in topological codes. The interest in these topological systems has increased in recent years as devices in the lab begin to reach the fidelities required for performing arbitrarily long quantum algorithms. The most well-studied system, Kitaev's toric code, provides both a physical substrate for performing universal fault-tolerant quantum computations and a useful pedagogical tool for explaining the way other topological codes work. In this dissertation, I first review the necessary formalism for quantum information and quantum stabilizer codes, and then I introduce two families of topological codes: Kitaev's toric code and Bombin's color codes. I then present three chapters of original work. First, I explore the distinctness of encoding schemes in the color codes. Second, I introduce a model of quantum computation based on the toric code that uses adiabatic interpolations between static Hamiltonians with gaps constant in the system size. Lastly, I describe novel state distillation protocols that are naturally suited for topological architectures and show that they provide resource savings in terms of the number of required ancilla states when compared to more traditional approaches to quantum gate approximation.
Quantum Computing and Shor`s Factoring Algorithm
Volovich, Igor V.
2001-01-01
Lectures on quantum computing. Contents: Algorithms. Quantum circuits. Quantum Fourier transform. Elements of number theory. Modular exponentiation. Shor`s algorithm for finding the order. Computational complexity of Schor`s algorithm. Factoring integers. NP-complete problems.
Ramsey numbers and adiabatic quantum computing
Gaitan, Frank; Clark, Lane
2011-01-01
The graph-theoretic Ramsey numbers are notoriously difficult to calculate. In fact, for the two-color Ramsey numbers $R(m,n)$ with $m,n\\geq 3$, only nine are currently known. We present a quantum algorithm for the computation of the Ramsey numbers $R(m,n)$. We show how the computation of $R(m,n)$ can be mapped to a combinatorial optimization problem whose solution can be found using adiabatic quantum evolution. We numerically simulate this adiabatic quantum algorithm and show that it correctl...
Waveguide-QED-Based Photonic Quantum Computation
Zheng, Huaixiu; Gauthier, Daniel J.; Baranger, Harold U.
2013-08-01
We propose a new scheme for quantum computation using flying qubits—propagating photons in a one-dimensional waveguide interacting with matter qubits. Photon-photon interactions are mediated by the coupling to a four-level system, based on which photon-photon π-phase gates (controlled-not) can be implemented for universal quantum computation. We show that high gate fidelity is possible, given recent dramatic experimental progress in superconducting circuits and photonic-crystal waveguides. The proposed system can be an important building block for future on-chip quantum networks.
Universal Quantum Computation Using Continuous Dynamical Decoupling
Fanchini, Felipe F; Caldeira, Amir O
2010-01-01
We show, for the first time, that continuous dynamical decoupling can preserve the coherence of a two-qubit state as it evolves during a SWAP quantum operation. Hence, because the Heisenberg exchange interaction alone can be used for achieving universal quantum computation, its combination with continuous dynamical decoupling can also make the computation robust against general environmental perturbations. Furthermore, since the exchange-interaction Hamiltonian is invariant under rotations, the same control-field arrangement used to protect a stationary quantum-memory state can also preserve the coherence of the driven qubits. The simplicity of the required control fields greatly improves prospects for an experimental realization.
Brain-Computer Interfaces and Quantum Robots
Pessa, Eliano
2009-01-01
The actual (classical) Brain-Computer Interface attempts to use brain signals to drive suitable actuators performing the actions corresponding to subject's intention. However this goal is not fully reached, and when BCI works, it does only in particular situations. The reason of this unsatisfactory result is that intention cannot be conceived simply as a set of classical input-output relationships. It is therefore necessary to resort to quantum theory, allowing the occurrence of stable coherence phenomena, in turn underlying high-level mental processes such as intentions and strategies. More precisely, within the context of a dissipative Quantum Field Theory of brain operation it is possible to introduce generalized coherent states associated, within the framework of logic, to the assertions of a quantum metalanguage. The latter controls the quantum-mechanical computing corresponding to standard mental operation. It thus become possible to conceive a Quantum Cyborg in which a human mind controls, through a qu...
Simulating physical phenomena with a quantum computer
Ortiz, Gerardo
2003-03-01
In a keynote speech at MIT in 1981 Richard Feynman raised some provocative questions in connection to the exact simulation of physical systems using a special device named a ``quantum computer'' (QC). At the time it was known that deterministic simulations of quantum phenomena in classical computers required a number of resources that scaled exponentially with the number of degrees of freedom, and also that the probabilistic simulation of certain quantum problems were limited by the so-called sign or phase problem, a problem believed to be of exponential complexity. Such a QC was intended to mimick physical processes exactly the same as Nature. Certainly, remarks coming from such an influential figure generated widespread interest in these ideas, and today after 21 years there are still some open questions. What kind of physical phenomena can be simulated with a QC?, How?, and What are its limitations? Addressing and attempting to answer these questions is what this talk is about. Definitively, the goal of physics simulation using controllable quantum systems (``physics imitation'') is to exploit quantum laws to advantage, and thus accomplish efficient imitation. Fundamental is the connection between a quantum computational model and a physical system by transformations of operator algebras. This concept is a necessary one because in Quantum Mechanics each physical system is naturally associated with a language of operators and thus can be considered as a possible model of quantum computation. The remarkable result is that an arbitrary physical system is naturally simulatable by another physical system (or QC) whenever a ``dictionary'' between the two operator algebras exists. I will explain these concepts and address some of Feynman's concerns regarding the simulation of fermionic systems. Finally, I will illustrate the main ideas by imitating simple physical phenomena borrowed from condensed matter physics using quantum algorithms, and present experimental
Quantum algorithms for computational nuclear physics
Višňák Jakub
2015-01-01
Full Text Available While quantum algorithms have been studied as an efficient tool for the stationary state energy determination in the case of molecular quantum systems, no similar study for analogical problems in computational nuclear physics (computation of energy levels of nuclei from empirical nucleon-nucleon or quark-quark potentials have been realized yet. Although the difference between the above mentioned studies might seem negligible, it will be examined. First steps towards a particular simulation (on classical computer of the Iterative Phase Estimation Algorithm for deuterium and tritium nuclei energy level computation will be carried out with the aim to prove algorithm feasibility (and extensibility to heavier nuclei for its possible practical realization on a real quantum computer.
Diamond NV centers for quantum computing and quantum networks
Childress, Lilian; Hanson, Ronald
2013-01-01
The exotic features of quantum mechanics have the potential to revolutionize information technologies. Using superposition and entanglement, a quantum processor could efficiently tackle problems inaccessible to current-day computers. Nonlocal correlations may be exploited for intrinsically secure communication across the globe. Finding and controlling a physical system suitable for fulfi lling these promises is one of the greatest challenges of our time. The nitrogen-vacancy (NV) center in di...
Quantum memory and quantum computations in the optical subradiance regime
The possibilities of creation and manipulation of subradiant states in an extended atomic system by coherent 2π pulses are analysed. It is shown that excitation of the atomic system to collective subradiant states eliminates the superradiant broadening of the resonance line in quantum optical memory devices. The scheme of a nonlinear sign-shift two-qubit gate is proposed, which can be used in optical quantum computers. (fourth seminar to the memory of d.n. klyshko)
Irreconcilable difference between quantum walks and adiabatic quantum computing
Wong, Thomas G.; Meyer, David A.
2016-06-01
Continuous-time quantum walks and adiabatic quantum evolution are two general techniques for quantum computing, both of which are described by Hamiltonians that govern their evolutions by Schrödinger's equation. In the former, the Hamiltonian is fixed, while in the latter, the Hamiltonian varies with time. As a result, their formulations of Grover's algorithm evolve differently through Hilbert space. We show that this difference is fundamental; they cannot be made to evolve along each other's path without introducing structure more powerful than the standard oracle for unstructured search. For an adiabatic quantum evolution to evolve like the quantum walk search algorithm, it must interpolate between three fixed Hamiltonians, one of which is complex and introduces structure that is stronger than the oracle for unstructured search. Conversely, for a quantum walk to evolve along the path of the adiabatic search algorithm, it must be a chiral quantum walk on a weighted, directed star graph with structure that is also stronger than the oracle for unstructured search. Thus, the two techniques, although similar in being described by Hamiltonians that govern their evolution, compute by fundamentally irreconcilable means.
Computer science approach to quantum control
Janzing, Dominik
2006-01-01
This work considers several hypothetical control processes on the nanoscopic level and show their analogy to computation processes. It shows that measuring certain types of quantum observables is such a complex task that every instrument that is able to perform it would necessarily be an extremely powerful computer.
Qubus ancilla-driven quantum computation
Brown, Katherine Louise [School of Physics and Astronomy, Louisiana State University, Baton Rouge, LA 70808, United States and School of Physics and Astronomy, University of Leeds, LS2 9JT (United Kingdom); De, Suvabrata; Kendon, Viv [School of Physics and Astronomy, University of Leeds, LS2 9JT (United Kingdom); Munro, Bill [National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan and NTT Basic Research Laboratories, 3-1, Morinosato Wakamiya Atsugi-shi, Kanagawa 243-0198 (Japan)
2014-12-04
Hybrid matter-optical systems offer a robust, scalable path to quantum computation. Such systems have an ancilla which acts as a bus connecting the qubits. We demonstrate how using a continuous variable qubus as the ancilla provides savings in the total number of operations required when computing with many qubits.
Composable security of measuring-Alice blind quantum computation
Morimae, Tomoyuki; Koshiba, Takeshi
2013-01-01
Blind quantum computing [A. Broadbent, J. Fitzsimons, and E. Kashefi, Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science 517 (2009)] is a secure cloud quantum computing protocol which enables a client (who does not have enough quantum technology at her disposal) to delegate her quantum computation to a server (who has a universal quantum computer) without leaking any relevant information to the server. In [T. Morimae and K. Fujii, Phys. Rev. A {\\bf87}, 050301(R) ...
Strictly contractive quantum channels and physically realizable quantum computers
Raginsky, Maxim
2001-01-01
We study the robustness of quantum computers under the influence of errors modelled by strictly contractive channels. A channel $T$ is defined to be strictly contractive if, for any pair of density operators $\\rho,\\sigma$ in its domain, $\\| T\\rho - T\\sigma \\|_1 \\le k \\| \\rho-\\sigma \\|_1$ for some $0 \\le k < 1$ (here $\\| \\cdot \\|_1$ denotes the trace norm). In other words, strictly contractive channels render the states of the computer less distinguishable in the sense of quantum detection the...
Biologically inspired path to quantum computer
Ogryzko, Vasily; Ozhigov, Yuri
2014-12-01
We describe an approach to quantum computer inspired by the information processing at the molecular level in living cells. It is based on the separation of a small ensemble of qubits inside the living system (e.g., a bacterial cell), such that coherent quantum states of this ensemble remain practically unchanged for a long time. We use the notion of a quantum kernel to describe such an ensemble. Quantum kernel is not strictly connected with certain particles; it permanently exchanges atoms and molecules with the environment, which makes quantum kernel a virtual notion. There are many reasons to expect that the state of quantum kernel of a living system can be treated as the stationary state of some Hamiltonian. While the quantum kernel is responsible for the stability of dynamics at the time scale of cellular life, at the longer inter-generation time scale it can change, varying smoothly in the course of biological evolution. To the first level of approximation, quantum kernel can be described in the framework of qubit modification of Jaynes-Cummings-Hubbard model, in which the relaxation corresponds to the exchange of matter between quantum kernel and the rest of the cell and is represented as Lindblad super-operators.
Effective pure states for bulk quantum computation
In bulk quantum computation one can manipulate a large number of indistinguishable quantum computers by parallel unitary operations and measure expectation values of certain observables with limited sensitivity. The initial state of each computer in the ensemble is known but not pure. Methods for obtaining effective pure input states by a series of manipulations have been described by Gershenfeld and Chuang (logical labeling) [Science 275, 350 (1997)] and Cory et al. (spatial averaging) [Proc. Natl. Acad. Sci. USA 94, 1634 (1997)] for the case of quantum computation with nuclear magnetic resonance. We give a different technique called temporal averaging. This method is based on classical randomization, requires no ancilla quantum bits, and can be implemented in nuclear magnetic resonance without using gradient fields. We introduce several temporal averaging algorithms suitable for both high-temperature and low-temperature bulk quantum computing and analyze the signal-to-noise behavior of each. Most of these algorithms require only a constant multiple of the number of experiments needed by the other methods for creating effective pure states. copyright 1998 The American Physical Society
Quantum computations: algorithms and error correction
Kitaev, A. Yu
1997-12-01
Contents §0. Introduction §1. Abelian problem on the stabilizer §2. Classical models of computations2.1. Boolean schemes and sequences of operations2.2. Reversible computations §3. Quantum formalism3.1. Basic notions and notation3.2. Transformations of mixed states3.3. Accuracy §4. Quantum models of computations4.1. Definitions and basic properties4.2. Construction of various operators from the elements of a basis4.3. Generalized quantum control and universal schemes §5. Measurement operators §6. Polynomial quantum algorithm for the stabilizer problem §7. Computations with perturbations: the choice of a model §8. Quantum codes (definitions and general properties)8.1. Basic notions and ideas8.2. One-to-one codes8.3. Many-to-one codes §9. Symplectic (additive) codes9.1. Algebraic preparation9.2. The basic construction9.3. Error correction procedure9.4. Torus codes §10. Error correction in the computation process: general principles10.1. Definitions and results10.2. Proofs §11. Error correction: concrete procedures11.1. The symplecto-classical case11.2. The case of a complete basis Bibliography
Power of one qumode for quantum computation
Liu, Nana; Thompson, Jayne; Weedbrook, Christian; Lloyd, Seth; Vedral, Vlatko; Gu, Mile; Modi, Kavan
2016-05-01
Although quantum computers are capable of solving problems like factoring exponentially faster than the best-known classical algorithms, determining the resources responsible for their computational power remains unclear. An important class of problems where quantum computers possess an advantage is phase estimation, which includes applications like factoring. We introduce a computational model based on a single squeezed state resource that can perform phase estimation, which we call the power of one qumode. This model is inspired by an interesting computational model known as deterministic quantum computing with one quantum bit (DQC1). Using the power of one qumode, we identify that the amount of squeezing is sufficient to quantify the resource requirements of different computational problems based on phase estimation. In particular, we can use the amount of squeezing to quantitatively relate the resource requirements of DQC1 and factoring. Furthermore, we can connect the squeezing to other known resources like precision, energy, qudit dimensionality, and qubit number. We show the circumstances under which they can likewise be considered good resources.
Entanglement and Quantum Computation: An Overview
Perez, R.B.
2000-06-27
This report presents a selective compilation of basic facts from the fields of particle entanglement and quantum information processing prepared for those non-experts in these fields that may have interest in an area of physics showing counterintuitive, ''spooky'' (Einstein's words) behavior. In fact, quantum information processing could, in the near future, provide a new technology to sustain the benefits to the U.S. economy due to advanced computer technology.
Quantum Computation by Pairing Trapped Ultracold Ions
冯芒; 朱熙文; 高克林; 施磊
2001-01-01
Superpositional wavefunction oscillations for the implementation of quantum algorithms modify the desired interference required for the quantum computation. We propose a scheme with trapped ultracold ion-pairs beingqubits to diminish the detrimental effect of the wavefunction oscillations, which is applied to the two-qubitGrover's search. It can be also found that the qubits in our scheme are more robust against the decoherencecaused by the environment, and the model is scalable.
Quantum computation of discrete logarithms in semigroups
Childs, Andrew M.; Ivanyos, Gábor
2014-01-01
We describe an efficient quantum algorithm for computing discrete logarithms in semigroups using Shor's algorithms for period finding and discrete log as subroutines. Thus proposed cryptosystems based on the presumed hardness of discrete logarithms in semigroups are insecure against quantum attacks. In contrast, we show that some generalizations of the discrete log problem are hard in semigroups despite being easy in groups. We relate a shifted version of the discrete log problem in semigroup...
Simulating Grover's Quantum Search in a Classical Computer
Ningtyas, D. K.; Mutiara, A. B.
2010-01-01
The rapid progress of computer science has been accompanied by a corresponding evolution of computation, from classical computation to quantum computation. As quantum computing is on its way to becoming an established discipline of computing science, much effort is being put into the development of new quantum algorithms. One of quantum algorithms is Grover algorithm, which is used for searching an element in an unstructured list of N elements with quadratic speed-up over classical algorithms...
Quantum Mechanical Nature in Liquid NMR Quantum Computing
LONG Gui-Lu; YAN Hai-Yang; LI Yan-Song; TU Chang-Cun; ZHU Sheng-Jiang; RUAN Dong; SUN Yang; TAO Jia-Xun; CHEN Hao-Ming
2002-01-01
The quantum nature of bulk ensemble NMR quantum computing the center of recent heated debate,is addressed. Concepts of the mixed state and entanglement are examined, and the data in a two-qubit liquid NMRquantum computation are analyzed. The main points in this paper are: i) Density matrix describes the "state" of anaverage particle in an ensemble. It does not describe the state of an individual particle in an ensemble; ii) Entanglementis a property of the wave function of a microscopic particle (such as a molecule in a liquid NMR sample), and separabilityof the density matrix cannot be used to measure the entanglement of mixed ensemble; iii) The state evolution in bulk-ensemble NMRquantum computation is quantum-mechanical; iv) The coefficient before the effective pure state densitymatrix, e, is a measure of the simultaneity of the molecules in an ensemble. It reflects the intensity of the NMR signaland has no significance in quantifying the entanglement in the bulk ensemble NMR system. The decomposition of thedensity matrix into product states is only an indication that the ensemble can be prepared by an ensemble with theparticles unentangled. We conclude that effective-pure-state NMR quantum computation is genuine, not just classicalsimulations.
Methodological testing: Are fast quantum computers illusions?
Meyer, Steven [Tachyon Design Automation, San Francisco, CA (United States)
2013-07-01
Popularity of the idea for computers constructed from the principles of QM started with Feynman's 'Lectures On Computation', but he called the idea crazy and dependent on statistical mechanics. In 1987, Feynman published a paper in 'Quantum Implications - Essays in Honor of David Bohm' on negative probabilities which he said gave him cultural shock. The problem with imagined fast quantum computers (QC) is that speed requires both statistical behavior and truth of the mathematical formalism. The Swedish Royal Academy 2012 Nobel Prize in physics press release touted the discovery of methods to control ''individual quantum systems'', to ''measure and control very fragile quantum states'' which enables ''first steps towards building a new type of super fast computer based on quantum physics.'' A number of examples where widely accepted mathematical descriptions have turned out to be problematic are examined: Problems with the use of Oracles in P=NP computational complexity, Paul Finsler's proof of the continuum hypothesis, and Turing's Enigma code breaking versus William tutte's Colossus. I view QC research as faith in computational oracles with wished for properties. Arther Fine's interpretation in 'The Shaky Game' of Einstein's skepticism toward QM is discussed. If Einstein's reality as space-time curvature is correct, then space-time computers will be the next type of super fast computer.
Random Numbers and Quantum Computers
McCartney, Mark; Glass, David
2002-01-01
The topic of random numbers is investigated in such a way as to illustrate links between mathematics, physics and computer science. First, the generation of random numbers by a classical computer using the linear congruential generator and logistic map is considered. It is noted that these procedures yield only pseudo-random numbers since…
Mizel, Ari
2003-01-01
Ground-state quantum computers mimic quantum mechanical time evolution within the amplitudes of a time-independent quantum state. We explore the principles that constrain this mimicking. A no-cloning argument is found to impose strong restrictions. It is shown, however, that there is flexibility that can be exploited using quantum teleportation methods to improve ground-state quantum computer design.
Adiabatic graph-state quantum computation
Measurement-based quantum computation (MBQC) and holonomic quantum computation (HQC) are two very different computational methods. The computation in MBQC is driven by adaptive measurements executed in a particular order on a large entangled state. In contrast in HQC the system starts in the ground subspace of a Hamiltonian which is slowly changed such that a transformation occurs within the subspace. Following the approach of Bacon and Flammia, we show that any MBQC on a graph state with generalized flow (gflow) can be converted into an adiabatically driven holonomic computation, which we call adiabatic graph-state quantum computation (AGQC). We then investigate how properties of AGQC relate to the properties of MBQC, such as computational depth. We identify a trade-off that can be made between the number of adiabatic steps in AGQC and the norm of H-dot as well as the degree of H, in analogy to the trade-off between the number of measurements and classical post-processing seen in MBQC. Finally the effects of performing AGQC with orderings that differ from standard MBQC are investigated. (paper)
A surface code quantum computer in silicon.
Hill, Charles D; Peretz, Eldad; Hile, Samuel J; House, Matthew G; Fuechsle, Martin; Rogge, Sven; Simmons, Michelle Y; Hollenberg, Lloyd C L
2015-10-01
The exceptionally long quantum coherence times of phosphorus donor nuclear spin qubits in silicon, coupled with the proven scalability of silicon-based nano-electronics, make them attractive candidates for large-scale quantum computing. However, the high threshold of topological quantum error correction can only be captured in a two-dimensional array of qubits operating synchronously and in parallel-posing formidable fabrication and control challenges. We present an architecture that addresses these problems through a novel shared-control paradigm that is particularly suited to the natural uniformity of the phosphorus donor nuclear spin qubit states and electronic confinement. The architecture comprises a two-dimensional lattice of donor qubits sandwiched between two vertically separated control layers forming a mutually perpendicular crisscross gate array. Shared-control lines facilitate loading/unloading of single electrons to specific donors, thereby activating multiple qubits in parallel across the array on which the required operations for surface code quantum error correction are carried out by global spin control. The complexities of independent qubit control, wave function engineering, and ad hoc quantum interconnects are explicitly avoided. With many of the basic elements of fabrication and control based on demonstrated techniques and with simulated quantum operation below the surface code error threshold, the architecture represents a new pathway for large-scale quantum information processing in silicon and potentially in other qubit systems where uniformity can be exploited. PMID:26601310
Efficient quantum computing using coherent photon conversion
Langford, N K; Prevedel, R; Munro, W J; Milburn, G J; Zeilinger, A
2011-01-01
Single photons provide excellent quantum information carriers, but current schemes for preparing, processing and measuring them are inefficient. For example, down-conversion provides heralded, but randomly timed single photons, while linear-optics gates are inherently probabilistic. Here, we introduce a deterministic scheme for photonic quantum information. Our single, versatile process---coherent photon conversion---provides a full suite of photonic quantum processing tools, from creating high-quality heralded single- and multiphoton states free of higher-order imperfections to implementing deterministic multiqubit entanglement gates and high-efficiency detection. It fulfils all requirements for a scalable photonic quantum computing architecture. Using photonic crystal fibres, we experimentally demonstrate a four-colour nonlinear process usable for coherent photon conversion and show that current technology provides a feasible path towards deterministic operation. Our scheme, based on interacting bosonic fie...
The Quantum Socket: Three-Dimensional Wiring for Extensible Quantum Computing
Béjanin, J. H.; McConkey, T. G.; Rinehart, J. R.; Earnest, C. T.; McRae, C. R. H.; Shiri, D.; Bateman, J. D.; Rohanizadegan, Y.; Penava, B.; Breul, P.; Royak, S.; Zapatka, M; Fowler, A. G.; Mariantoni, M.
2016-01-01
Quantum computing architectures are on the verge of scalability, a key requirement for the implementation of a universal quantum computer. The next stage in this quest is the realization of quantum error correction codes, which will mitigate the impact of faulty quantum information on a quantum computer. Architectures with ten or more quantum bits (qubits) have been realized using trapped ions and superconducting circuits. While these implementations are potentially scalable, true scalability...
Dominant Strategies in Two Qubit Quantum Computations
Khan, Faisal Shah
2014-01-01
Nash equilibrium is a solution concept in non-strictly competitive, non-cooperative game theory that finds applications in various scientific and engineering disciplines. A non-strictly competitive, non-cooperative game model is presented here for two qubit quantum computations that allows for the characterization of Nash equilibrium in these computations via the inner product of their state space. Nash equilibrium outcomes are optimal under given constraints and therefore offer a game-theore...
Simulating Factorization with a Quantum Computer
Rosales, Jose Luis
2015-01-01
Modern cryptography is largely based on complexity assumptions, for example, the ubiquitous RSA is based on the supposed complexity of the prime factorization problem. Thus, it is of fundamental importance to understand how a quantum computer would eventually weaken these algorithms. In this paper, one follows Feynman's prescription for a computer to simulate the physics corresponding to the algorithm of factoring a large number $N$ into primes. Using Dirac-Jordan transformation theory one tr...
Theory of Quantum Computing and Communication
Fortnow, Lance
2002-01-01
A workshop sponsored by NSF C-CR and organized by the Center for Discrete Math and Theoretical Computer Science (DIMACS) was held at Elmsford, New York, January 17-18, 2002 where we had several discussions that gave structure to this report. The workshop immediately followed the Fifth Annual Quantum Information Processing Workshop that was held January 14-17 at IBM Yorktown. This is the report from that workshop. The report recommends that the NSF Division of Computer-Communications Research ...
Ion photon networks for quantum computing and quantum repeaters
Clark, Susan; Hayes, David; Hucul, David; Inlek, I. Volkan; Monroe, Christopher
2013-03-01
Quantum information based on ion-trap technology is well regarded for its stability, high detection fidelity, and ease of manipulation. Here we demonstrate a proof of principle experiment for scaling this technology to large numbers of ions in separate traps by linking the ions via photons. We give results for entanglement between distant ions via probabilistic photonic gates that is then swapped between ions in the same trap via deterministic Coulombic gates. We report fidelities above 65% and show encouraging preliminary results for the next stage of experimental improvement. Such a system could be used for quantum computing requiring large numbers of qubits or for quantum repeaters requiring the qubits to be separated by large distances.
Simulations of Probabilities for Quantum Computing
Zak, M.
1996-01-01
It has been demonstrated that classical probabilities, and in particular, probabilistic Turing machine, can be simulated by combining chaos and non-LIpschitz dynamics, without utilization of any man-made devices (such as random number generators). Self-organizing properties of systems coupling simulated and calculated probabilities and their link to quantum computations are discussed.
Geometry of abstraction in quantum computation
Pavlovic, D.; Abramsky, S.; Mislove, M.W.
2012-01-01
Quantum algorithms are sequences of abstract operations, per formed on non-existent computers. They are in obvious need of categorical semantics. We present some steps in this direction, following earlier contribu tions of Abramsky, Goecke and Selinger. In particular, we analyze f
Blind Quantum Computing with Weak Coherent Pulses
Dunjko, Vedran; Kashefi, Elham; Leverrier, Anthony
2012-05-01
The universal blind quantum computation (UBQC) protocol [A. Broadbent, J. Fitzsimons, and E. Kashefi, in Proceedings of the 50th Annual IEEE Symposiumon Foundations of Computer Science (IEEE Computer Society, Los Alamitos, CA, USA, 2009), pp. 517-526.] allows a client to perform quantum computation on a remote server. In an ideal setting, perfect privacy is guaranteed if the client is capable of producing specific, randomly chosen single qubit states. While from a theoretical point of view, this may constitute the lowest possible quantum requirement, from a pragmatic point of view, generation of such states to be sent along long distances can never be achieved perfectly. We introduce the concept of ɛ blindness for UBQC, in analogy to the concept of ɛ security developed for other cryptographic protocols, allowing us to characterize the robustness and security properties of the protocol under possible imperfections. We also present a remote blind single qubit preparation protocol with weak coherent pulses for the client to prepare, in a delegated fashion, quantum states arbitrarily close to perfect random single qubit states. This allows us to efficiently achieve ɛ-blind UBQC for any ɛ>0, even if the channel between the client and the server is arbitrarily lossy.
Data Structures in Classical and Quantum Computing
Fillinger, M.J.
2013-01-01
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\\'{o}s and Szemer\\'{e}di and a da
Baianu, Professor I. C.
2004-01-01
The concepts of quantum automata and quantum computation are studied in the context of quantum genetics and genetic networks with nonlinear dynamics. In previous publications (Baianu,1971a, b) the formal concept of quantum automaton and quantum computation, respectively, were introduced and their possible implications for genetic processes and metabolic activities in living cells and organisms were considered. This was followed by a report on quantum and abstract, symbolic computation based o...
Simulation of chemical reaction dynamics on an NMR quantum computer
Lu, Dawei; Xu, Nanyang; Xu, Ruixue; Chen, Hongwei; Gong, Jiangbin; Peng, Xinhua; Du, Jiangfeng
2011-01-01
Quantum simulation can beat current classical computers with minimally a few tens of qubits and will likely become the first practical use of a quantum computer. One promising application of quantum simulation is to attack challenging quantum chemistry problems. Here we report an experimental demonstration that a small nuclear-magnetic-resonance (NMR) quantum computer is already able to simulate the dynamics of a prototype chemical reaction. The experimental results agree well with classical ...
Quantum Computing: Selected Internet Resources for Librarians, Researchers, and the Casually Curious
Cirasella, Jill
2009-01-01
This article is an annotated selection of the most important and informative Internet resources for learning about quantum computing, finding quantum computing literature, and tracking quantum computing news.
Computing Hypergraph Ramsey Numbers by Using Quantum Circuit
Qu, Ri; Li, Zong-shang; WANG, Juan; Bao, Yan-ru; Cao, Xiao-chun
2012-01-01
Gaitan and Clark [Phys. Rev. Lett. 108, 010501 (2012)] have recently shown a quantum algorithm for the computation of the Ramsey numbers using adiabatic quantum evolution. We present a quantum algorithm to compute the two-color Ramsey numbers for r-uniform hypergraphs by using the quantum counting circuit.
Dynamical description of quantum computing: Generic nonlocality of quantum noise
We develop a dynamical non-Markovian description of quantum computing in the weak-coupling limit, in the lowest-order approximation. We show that the long-range memory of the quantum reservoir (such as the 1/t4 one exhibited by electromagnetic vacuum) produces a strong interrelation between the structure of noise and the quantum algorithm, implying nonlocal attacks of noise. This shows that the implicit assumption of quantum error correction theory--independence of noise and self-dynamics--fails in long time regimes. We also use our approach to present pure decoherence and decoherence accompanied by dissipation in terms of the spectral density of the reservoir. The so-called dynamical decoupling method is discussed in this context. Finally, we propose a minimal decoherence model, in which the only source of decoherence is vacuum. We optimize the fidelity of quantum-information processing under the trade-off between the speed of the gate and the strength of decoherence
Quantum computation with nuclear spins in quantum dots
Christ, H.
2008-01-24
The role of nuclear spins for quantum information processing in quantum dots is theoretically investigated in this thesis. Building on the established fact that the most strongly coupled environment for the potential electron spin quantum bit are the surrounding lattice nuclear spins interacting via the hyperfine interaction, we turn this vice into a virtue by designing schemes for harnessing this strong coupling. In this perspective, the ensemble of nuclear spins can be considered an asset, suitable for an active role in quantum information processing due to its intrinsic long coherence times. We present experimentally feasible protocols for the polarization, i.e. initialization, of the nuclear spins and a quantitative solution to our derived master equation. The polarization limiting destructive interference effects, caused by the collective nature of the nuclear coupling to the electron spin, are studied in detail. Efficient ways of mitigating these constraints are presented, demonstrating that highly polarized nuclear ensembles in quantum dots are feasible. At high, but not perfect, polarization of the nuclei the evolution of an electron spin in contact with the spin bath can be efficiently studied by means of a truncation of the Hilbert space. It is shown that the electron spin can function as a mediator of universal quantum gates for collective nuclear spin qubits, yielding a promising architecture for quantum information processing. Furthermore, we show that at high polarization the hyperfine interaction of electron and nuclear spins resembles the celebrated Jaynes-Cummings model of quantum optics. This result opens the door for transfer of knowledge from the mature field of quantum computation with atoms and photons. Additionally, tailored specifically for the quantum dot environment, we propose a novel scheme for the generation of highly squeezed collective nuclear states. Finally we demonstrate that even an unprepared completely mixed nuclear spin
Quantum computation with nuclear spins in quantum dots
The role of nuclear spins for quantum information processing in quantum dots is theoretically investigated in this thesis. Building on the established fact that the most strongly coupled environment for the potential electron spin quantum bit are the surrounding lattice nuclear spins interacting via the hyperfine interaction, we turn this vice into a virtue by designing schemes for harnessing this strong coupling. In this perspective, the ensemble of nuclear spins can be considered an asset, suitable for an active role in quantum information processing due to its intrinsic long coherence times. We present experimentally feasible protocols for the polarization, i.e. initialization, of the nuclear spins and a quantitative solution to our derived master equation. The polarization limiting destructive interference effects, caused by the collective nature of the nuclear coupling to the electron spin, are studied in detail. Efficient ways of mitigating these constraints are presented, demonstrating that highly polarized nuclear ensembles in quantum dots are feasible. At high, but not perfect, polarization of the nuclei the evolution of an electron spin in contact with the spin bath can be efficiently studied by means of a truncation of the Hilbert space. It is shown that the electron spin can function as a mediator of universal quantum gates for collective nuclear spin qubits, yielding a promising architecture for quantum information processing. Furthermore, we show that at high polarization the hyperfine interaction of electron and nuclear spins resembles the celebrated Jaynes-Cummings model of quantum optics. This result opens the door for transfer of knowledge from the mature field of quantum computation with atoms and photons. Additionally, tailored specifically for the quantum dot environment, we propose a novel scheme for the generation of highly squeezed collective nuclear states. Finally we demonstrate that even an unprepared completely mixed nuclear spin
Quantum Computation and Information From Theory to Experiment
Imai, Hiroshi
2006-01-01
Recently, the field of quantum computation and information has been developing through a fusion of results from various research fields in theoretical and practical areas. This book consists of the reviews of selected topics charterized by great progress and cover the field from theoretical areas to experimental ones. It contains fundamental areas, quantum query complexity, quantum statistical inference, quantum cloning, quantum entanglement, additivity. It treats three types of quantum security system, quantum public key cryptography, quantum key distribution, and quantum steganography. A photonic system is highlighted for the realization of quantum information processing.
Simulation of chemical reaction dynamics on an NMR quantum computer
Lu, Dawei; Xu, Ruixue; Chen, Hongwei; Gong, Jiangbin; Peng, Xinhua; Du, Jiangfeng
2011-01-01
Quantum simulation can beat current classical computers with minimally a few tens of qubits and will likely become the first practical use of a quantum computer. One promising application of quantum simulation is to attack challenging quantum chemistry problems. Here we report an experimental demonstration that a small nuclear-magnetic-resonance (NMR) quantum computer is already able to simulate the dynamics of a prototype chemical reaction. The experimental results agree well with classical simulations. We conclude that the quantum simulation of chemical reaction dynamics not computable on current classical computers is feasible in the near future.
Quantum computing implementations with neutral particles
Negretti, Antonio; Treutlein, Philipp; Calarco, Tommaso
2011-01-01
We review quantum information processing with cold neutral particles, that is, atoms or polar molecules. First, we analyze the best suited degrees of freedom of these particles for storing quantum information, and then we discuss both single- and two-qubit gate implementations. We focus our discu...... optimal control theory might be a powerful tool to enhance the speed up of the gate operations as well as to achieve high fidelities required for fault tolerant quantum computation.......We review quantum information processing with cold neutral particles, that is, atoms or polar molecules. First, we analyze the best suited degrees of freedom of these particles for storing quantum information, and then we discuss both single- and two-qubit gate implementations. We focus our...... discussion mainly on collisional quantum gates, which are best suited for atom-chip-like devices, as well as on gate proposals conceived for optical lattices. Additionally, we analyze schemes both for cold atoms confined in optical cavities and hybrid approaches to entanglement generation, and we show how...
Measurement-Based Interference in Quantum Computation
The interference has been measured by the visibility in two-level systems, which, however, does not work for multi-level systems. We generalize a measure of the interference based on decoherence process, consistent with the visibility in qubit systems. By taking cluster states as examples, we show in the one-way quantum computation that the gate fidelity is proportional to the interference of the measured qubit and is inversely proportional to the interference of all register qubits. We also find that the interference increases with the number of the computing steps. So we conjecture that the interference may be the source of the speedup of the one-way quantum computation. (general)
Measurement-Based Interference in Quantum Computation
Xu, You-Yang
2013-09-01
The interference has been measured by the visibility in two-level systems, which, however, does not work for multi-level systems. We generalize a measure of the interference based on decoherence process, consistent with the visibility in qubit systems. By taking cluster states as examples, we show in the one-way quantum computation that the gate fidelity is proportional to the interference of the measured qubit and is inversely proportional to the interference of all register qubits. We also find that the interference increases with the number of the computing steps. So we conjecture that the interference may be the source of the speedup of the one-way quantum computation.
QCWAVE, a Mathematica quantum computer simulation update
Tabakin, Frank
2011-01-01
This Mathematica 7.0/8.0 package upgrades and extends the quantum computer simulation code called QDENSITY. Use of the density matrix was emphasized in QDENSITY, although that code was also applicable to a quantum state description. In the present version, the quantum state version is stressed and made amenable to future extensions to parallel computer simulations. The add-on QCWAVE extends QDENSITY in several ways. The first way is to describe the action of one, two and three- qubit quantum gates as a set of small ($2 \\times 2, 4\\times 4$ or $8\\times 8$) matrices acting on the $2^{n_q}$ amplitudes for a system of $n_q$ qubits. This procedure was described in our parallel computer simulation QCMPI and is reviewed here. The advantage is that smaller storage demands are made, without loss of speed, and that the procedure can take advantage of message passing interface (MPI) techniques, which will hopefully be generally available in future Mathematica versions. Another extension of QDENSITY provided here is a mu...
Deterministic quantum computation with one photonic qubit
Hor-Meyll, M.; Tasca, D. S.; Walborn, S. P.; Ribeiro, P. H. Souto; Santos, M. M.; Duzzioni, E. I.
2015-07-01
We show that deterministic quantum computing with one qubit (DQC1) can be experimentally implemented with a spatial light modulator, using the polarization and the transverse spatial degrees of freedom of light. The scheme allows the computation of the trace of a high-dimension matrix, being limited by the resolution of the modulator panel and the technical imperfections. In order to illustrate the method, we compute the normalized trace of unitary matrices and implement the Deutsch-Jozsa algorithm. The largest matrix that can be manipulated with our setup is 1080 ×1920 , which is able to represent a system with approximately 21 qubits.
Classical simulation of restricted quantum computations
Nebhwani, Mrityunjaya
2013-01-01
Treball final de màster oficial fet en col·laboració amb Universitat Autònoma de Barcelona (UAB), Universitat de Barcelona (UB) i Institut de Ciències Fotòniques (ICFO) [ANGLÈS] We study restricted models of measurement-based quantum computation; and we investigate whether their output probability distributions can be sampled from efficiently on a classical computer. We find that even for non-adaptive models of MBQC, if this task were feasible then a major conjecture of computational compl...
Holographic computations of the Quantum Information Metric
Trivella, Andrea
2016-01-01
In this note we show how the Quantum Information Metric can be computed holographically using a perturbative approach. In particular when the deformation of the conformal field theory state is induced by a scalar operator the corresponding bulk configuration reduces to a scalar field perturbatively probing the unperturbed background. We study two concrete examples: a CFT ground state deformed by a primary operator and thermofield double state in $d=2$ deformed by a marginal operator. Finally, we generalize the bulk construction to the case of a multi dimensional parameter space and show that the Quantum Information Metric coincides with the metric of the non-linear sigma model for the corresponding scalar fields.
Mathematical optics classical, quantum, and computational methods
Lakshminarayanan, Vasudevan
2012-01-01
Going beyond standard introductory texts, Mathematical Optics: Classical, Quantum, and Computational Methods brings together many new mathematical techniques from optical science and engineering research. Profusely illustrated, the book makes the material accessible to students and newcomers to the field. Divided into six parts, the text presents state-of-the-art mathematical methods and applications in classical optics, quantum optics, and image processing. Part I describes the use of phase space concepts to characterize optical beams and the application of dynamic programming in optical wave
Solid State Quantum Computing Using Spectral Holes
Shahriar, M. S.; Hemmer, P. R.; Lloyd, S.; Bowers, J. A.; Craig, A. E.
2000-01-01
A quantum computer that stores information on two-state systems called quantum bits or qubits must be able to address and manipulate individual qubits, to effect coherent interactions between pairs of qubits, and to read out the value of qubits.1,2 Current methods for addressing qubits are divided up into spatial methods, as when a laser beam is focused on an individual qubit3,4,5 or spectral methods, as when a nuclear spin in a molecule is addressed using NMR.6,7 The density of qubits addres...
Scheme for Quantum Computing Immune to Decoherence
Williams, Colin; Vatan, Farrokh
2008-01-01
A constructive scheme has been devised to enable mapping of any quantum computation into a spintronic circuit in which the computation is encoded in a basis that is, in principle, immune to quantum decoherence. The scheme is implemented by an algorithm that utilizes multiple physical spins to encode each logical bit in such a way that collective errors affecting all the physical spins do not disturb the logical bit. The scheme is expected to be of use to experimenters working on spintronic implementations of quantum logic. Spintronic computing devices use quantum-mechanical spins (typically, electron spins) to encode logical bits. Bits thus encoded (denoted qubits) are potentially susceptible to errors caused by noise and decoherence. The traditional model of quantum computation is based partly on the assumption that each qubit is implemented by use of a single two-state quantum system, such as an electron or other spin-1.2 particle. It can be surprisingly difficult to achieve certain gate operations . most notably, those of arbitrary 1-qubit gates . in spintronic hardware according to this model. However, ironically, certain 2-qubit interactions (in particular, spin-spin exchange interactions) can be achieved relatively easily in spintronic hardware. Therefore, it would be fortunate if it were possible to implement any 1-qubit gate by use of a spin-spin exchange interaction. While such a direct representation is not possible, it is possible to achieve an arbitrary 1-qubit gate indirectly by means of a sequence of four spin-spin exchange interactions, which could be implemented by use of four exchange gates. Accordingly, the present scheme provides for mapping any 1-qubit gate in the logical basis into an equivalent sequence of at most four spin-spin exchange interactions in the physical (encoded) basis. The complexity of the mathematical derivation of the scheme from basic quantum principles precludes a description within this article; it must suffice to report
Quantum Computers: A New Paradigm in Information Technology
Mahesh S. Raisinghani
2001-01-01
Full Text Available The word 'quantum' comes from the Latin word quantus meaning 'how much'. Quantum computing is a fundamentally new mode of information processing that can be performed only by harnessing physical phenomena unique to quantum mechanics (especially quantum interference. Paul Benioff of the Argonne National Laboratory first applied quantum theory to computers in 1981 and David Deutsch of Oxford proposed quantum parallel computers in 1985, years before the realization of qubits in 1995. However, it may be well into the 21st century before we see quantum computing used at a commercial level for a variety of reasons discussed in this paper. The subject of quantum computing brings together ideas from classical information theory, computer science, and quantum physics. This paper discusses some of the current advances, applications, and chal-lenges of quantum computing as well as its impact on corporate computing and implications for management. It shows how quantum computing can be utilized to process and store information, as well as impact cryptography for perfectly secure communication, algorithmic searching, factorizing large numbers very rapidly, and simulating quantum-mechanical systems efficiently. A broad interdisciplinary effort will be needed if quantum com-puters are to fulfill their destiny as the world's fastest computing devices.
A repeat-until-success quantum computing scheme
Beige, A [School of Physics and Astronomy, University of Leeds, Leeds LS2 9JT (United Kingdom); Lim, Y L [DSO National Laboratories, 20 Science Park Drive, Singapore 118230, Singapore (Singapore); Kwek, L C [Department of Physics, National University of Singapore, 2 Science Drive 3, Singapore 117542, Singapore (Singapore)
2007-06-15
Recently we proposed a hybrid architecture for quantum computing based on stationary and flying qubits: the repeat-until-success (RUS) quantum computing scheme. The scheme is largely implementation independent. Despite the incompleteness theorem for optical Bell-state measurements in any linear optics set-up, it allows for the implementation of a deterministic entangling gate between distant qubits. Here we review this distributed quantum computation scheme, which is ideally suited for integrated quantum computation and communication purposes.
Blueprint for a microwave ion trap quantum computer
Lekitsch, B; Weidt, S.; Fowler, A. G.; Mølmer, K.; Devitt, S. J.; Wunderlich, C.; Hensinger, W K
2015-01-01
A universal quantum computer will have fundamental impact on a vast number of research fields and technologies. Therefore an increasingly large scientific and industrial community is working towards the realization of such a device. A large scale quantum computer is best constructed using a modular approach. We present the blueprint for an ion trap based scalable quantum computer module which makes it possible to create an arbitrarily large quantum computer architecture powered by long-wavele...
Noise in Quantum and Classical Computation & Non-locality
Unger, F.P.
2008-01-01
Quantum computers seem to have capabilities which go beyond those of classical computers. A particular example which is important for cryptography is that quantum computers are able to factor numbers much faster than what seems possible on classical machines. In order to actually build quantum comp
Logic and algebraic structures in quantum computing
Eskandarian, Ali; Harizanov, Valentina S
2016-01-01
Arising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. Themes range from philosophical examination of the foundations of physics and quantum logic, to exploitations of the methods and structures of operator theory, category theory, and knot theory in an effort to gain insight into the fundamental questions in quantum theory and logic. The book will appeal to researchers and students working in related fields, including logicians, mathematicians, computer scientists, and physicists. A brief introduction provides essential background on quantum mechanics and category theory, which, together with a thematic selection of articles, may also serve as the basic material for a graduate course or seminar.
Quantum mechanics on the personal computer
'Quantum Mechanics on the PC' presents the most up-to-date access to elementary quantum mechanics. Based on the interactive program Interquanta (included on a 5 1/4'' Floppy Disk, MS-DOS) and its extensive 3D colour graphic features, the book guides its readers through computer experiments on - free particles and wave packets - bound states in various potentials - coherent and squeezed states in time-dependent motion - scattering and resonances - analogies in optics - quantized angular momentum - distinguishable and indistinguishable particles - special functions of mathematical physics. The course with a wide variety of more than 250 detailed, class-tested problems provides students with a unique practical experience of complex probability amplitudes, eigenvalues, scattering cross sections and the like. Lecturers and teachers will find excellent, hands-on classroom demonstrations for their quantum mechanics course. (orig.)
Quantum computation: algorithms and implementation in quantum dot devices
Gamble, John King
In this thesis, we explore several aspects of both the software and hardware of quantum computation. First, we examine the computational power of multi-particle quantum random walks in terms of distinguishing mathematical graphs. We study both interacting and non-interacting multi-particle walks on strongly regular graphs, proving some limitations on distinguishing powers and presenting extensive numerical evidence indicative of interactions providing more distinguishing power. We then study the recently proposed adiabatic quantum algorithm for Google PageRank, and show that it exhibits power-law scaling for realistic WWW-like graphs. Turning to hardware, we next analyze the thermal physics of two nearby 2D electron gas (2DEG), and show that an analogue of the Coulomb drag effect exists for heat transfer. In some distance and temperature, this heat transfer is more significant than phonon dissipation channels. After that, we study the dephasing of two-electron states in a single silicon quantum dot. Specifically, we consider dephasing due to the electron-phonon coupling and charge noise, separately treating orbital and valley excitations. In an ideal system, dephasing due to charge noise is strongly suppressed due to a vanishing dipole moment. However, introduction of disorder or anharmonicity leads to large effective dipole moments, and hence possibly strong dephasing. Building on this work, we next consider more realistic systems, including structural disorder systems. We present experiment and theory, which demonstrate energy levels that vary with quantum dot translation, implying a structurally disordered system. Finally, we turn to the issues of valley mixing and valley-orbit hybridization, which occurs due to atomic-scale disorder at quantum well interfaces. We develop a new theoretical approach to study these effects, which we name the disorder-expansion technique. We demonstrate that this method successfully reproduces atomistic tight-binding techniques
Applications of computational quantum mechanics
Temel, Burcin
This original research dissertation is composed of a new numerical technique based on Chebyshev polynomials that is applied on scattering problems, a phenomenological kinetics study for CO oxidation on RuO2 surface, and an experimental study on methanol coupling with doped metal oxide catalysts. Minimum Error Method (MEM), a least-squares minimization method, provides an efficient and accurate alternative to solve systems of ordinary differential equations. Existing methods usually utilize matrix methods which are computationally costful. MEM, which is based on the Chebyshev polynomials as a basis set, uses the recursion relationships and fast Chebyshev transforms which scale as O(N). For large basis set calculations this provides an enormous computational efficiency in the calculations. Chebyshev polynomials are also able to represent non-periodic problems very accurately. We applied MEM on elastic and inelastic scattering problems: it is more efficient and accurate than traditionally used Kohn variational principle, and it also provides the wave function in the interaction region. Phenomenological kinetics (PK) is widely used in industry to predict the optimum conditions for a chemical reaction. PK neglects the fluctuations, assumes no lateral interactions, and considers an ideal mix of reactants. The rate equations are tested by fitting the rate constants to the results of the experiments. Unfortunately, there are numerous examples where a fitted mechanism was later shown to be erroneous. We have undertaken a thorough comparison between the phenomenological equations and the results of kinetic Monte Carlo (KMC) simulations performed on the same system. The PK equations are qualitatively consistent with the KMC results but are quantitatively erroneous as a result of interplays between the adsorption and desorption events. The experimental study on methanol coupling with doped metal oxide catalysts demonstrates the doped metal oxides as a new class of catalysts
Solid State Quantum Computing Using Spectral Holes
Shahriar, M S; Lloyd, S; Bowers, J A; Craig, A E
2002-01-01
A quantum computer that stores information on two-state systems called quantum bits or qubits must be able to address and manipulate individual qubits, to effect coherent interactions between pairs of qubits, and to read out the value of qubits.1,2 Current methods for addressing qubits are divided up into spatial methods, as when a laser beam is focused on an individual qubit3,4,5 or spectral methods, as when a nuclear spin in a molecule is addressed using NMR.6,7 The density of qubits addressable spatially is limited by the wavelength of light, and the number of qubits addressable spectrally is limited by spin linewidths. Here, we propose a method for addressing qubits using a method that combines spatial and spectral selectivity. The result is a design for quantum computation that provides the potential for a density of quantum information storage and processing many orders of magnitude greater than that afforded by ion traps or NMR. Specifically, this method uses an ensemble of spectrally resolved atoms in...
Advice Coins for Classical and Quantum Computation
Aaronson, Scott
2011-01-01
We study the power of classical and quantum algorithms equipped with nonuniform advice, in the form of a coin whose bias encodes useful information. This question takes on particular importance in the quantum case, due to a surprising result that we prove: a quantum finite automaton with just two states can be sensitive to arbitrarily small changes in a coin's bias. This contrasts with classical probabilistic finite automata, whose sensitivity to changes in a coin's bias is bounded by a classic 1970 result of Hellman and Cover. Despite this finding, we are able to bound the power of advice coins for space-bounded classical and quantum computation. We define the classes BPPSPACE/coin and BQPSPACE/coin, of languages decidable by classical and quantum polynomial-space machines with advice coins. Our main theorem is that both classes coincide with PSPACE/poly. Proving this result turns out to require substantial machinery. We use an algorithm due to Neff for finding roots of polynomials in NC; a result from algeb...
Dual field theories of quantum computation
Vanchurin, Vitaly
2016-06-01
Given two quantum states of N q-bits we are interested to find the shortest quantum circuit consisting of only one- and two- q-bit gates that would transfer one state into another. We call it the quantum maze problem for the reasons described in the paper. We argue that in a large N limit the quantum maze problem is equivalent to the problem of finding a semiclassical trajectory of some lattice field theory (the dual theory) on an N +1 dimensional space-time with geometrically flat, but topologically compact spatial slices. The spatial fundamental domain is an N dimensional hyper-rhombohedron, and the temporal direction describes transitions from an arbitrary initial state to an arbitrary target state and so the initial and final dual field theory conditions are described by these two quantum computational states. We first consider a complex Klein-Gordon field theory and argue that it can only be used to study the shortest quantum circuits which do not involve generators composed of tensor products of multiple Pauli Z matrices. Since such situation is not generic we call it the Z-problem. On the dual field theory side the Z-problem corresponds to massless excitations of the phase (Goldstone modes) that we attempt to fix using Higgs mechanism. The simplest dual theory which does not suffer from the massless excitation (or from the Z-problem) is the Abelian-Higgs model which we argue can be used for finding the shortest quantum circuits. Since every trajectory of the field theory is mapped directly to a quantum circuit, the shortest quantum circuits are identified with semiclassical trajectories. We also discuss the complexity of an actual algorithm that uses a dual theory prospective for solving the quantum maze problem and compare it with a geometric approach. We argue that it might be possible to solve the problem in sub-exponential time in 2 N , but for that we must consider the Klein-Gordon theory on curved spatial geometry and/or more complicated (than N -torus
Classical model for bulk-ensemble NMR quantum computation
Schack, R.; Caves, C. M.
1999-01-01
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, whe...
Q#, a quantum computation package for the .NET platform
A.S. Tolba; M. Z. Rashad; El-Dosuky, M. A.
2013-01-01
Quantum computing is a promising approach of computation that is based on equations from Quantum Mechanics. A simulator for quantum algorithms must be capable of performing heavy mathematical matrix transforms. The design of the simulator itself takes one of three forms: Quantum Turing Machine, Network Model or circuit model of connected gates or, Quantum Programming Language, yet, some simulators are hybrid. We studied previous simulators and then we adopt features from three simulators of d...
Realizing the quantum baker's map on a 3-qubit NMR quantum computer
Brun, T A; Brun, Todd A.; Schack, Ruediger
1999-01-01
By numerically simulating an implementation of the quantum baker's map on a 3-qubit NMR quantum computer based on the molecule trichloroethylene, we demonstrate the feasibility of quantum chaos experiments on present-day quantum computers. We give detailed descriptions of proposed experiments that investigate (a) the rate of entropy increase due to decoherence and (b) the phenomenon of hypersensitivity to perturbation.
Photonic Quantum Computation with Waveguide-Linked Optical Cavities and Quantum Dots
Yamaguchi, Makoto; Sato, Yoshiya; Noda, Susumu
2011-01-01
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.
Photonic entanglement as a resource in quantum computation and quantum communication
Prevedel, Robert; Aspelmeyer, Markus; Brukner, Caslav; Jennewein, Thomas; Zeilinger, Anton
2008-01-01
Entanglement is an essential resource in current experimental implementations for quantum information processing. We review a class of experiments exploiting photonic entanglement, ranging from one-way quantum computing over quantum communication complexity to long-distance quantum communication. We then propose a set of feasible experiments that will underline the advantages of photonic entanglement for quantum information processing.
Belaga, Edward G.; Grucker, Daniel
2003-01-01
We briefly summarize here the history, conceptual base, as well as challenges and implications of quantum computing. Then, we present the theoretical requirements for viable quantum computation, as well as thestate-of-the-art experimental approach and a project of solid 129Xe NMR-based quantum computer.
Strange attractor simulated on a quantum computer
Terraneo, M; Shepelyansky, D L
2003-01-01
Starting from the work of Lorenz, it has been realized that the dynamics of many various dissipative systems converges to so-called strange attractors. These objects are characterized by fractal dimensions and chaotic unstable dynamics of individual trajectories. They appear in nature in very different contexts, including applications to turbulence and weather forecast, molecular dynamics, chaotic chemical reactions, multimode solid state lasers and complex dynamics in ecological systems and physiology. The efficient numerical simulation of such dissipative systems can therefore lead to many important practical applications. Here we study a simple deterministic model where dynamics converges to a strange attractor, and show that it can be efficiently simulated on a quantum computer. Even if the dynamics on the attractor is unstable, dissipative and irreversible, a realistic quantum computer can simulate it in a reversible way, and, already with 70 qubits, will provide access to new informations unaccessible f...
Quantum computing of molecular magnet Mn$_{12}$
Zhou, B.; Tao, R.; Liang, JQ; Shen, SQ
2002-01-01
Quantum computation in molecular magnets is studied by solving the time-dependent Schrödinger equation numerically. Following Leuenberger and Loss [Nature (London) 410, 789 (2001)], an external alternating magnetic field is applied to populate and manipulate a superposition of single-spin states in molecular magnet Mn12. The conditions to realize parallel recording and reading databases of Grover algorithms in molecular magnets are discussed in detail. It is found that an accurate time durati...
Nuclear spin quantum computing with trapped ions
Wang, Kunling; Feng, Mang; Mintert, Florian; Wunderlich, Christof
2011-01-01
Quantum computing with qubits encoded in nuclear spins of trapped ions is studied with particular attention to the Yb$^+$ ion. For this purpose we consider the Paschen-Back regime (strong magnetic field) and employ a high-field approximation in this treatment. An efficient scheme is proposed to carry out gate operations on an array of trapped ions, and the feasibility of generating the required high magnetic field is discussed.
Brain-Computer Interfaces and Quantum Robots
Pessa, Eliano; Zizzi, Paola
2009-01-01
The actual (classical) Brain-Computer Interface attempts to use brain signals to drive suitable actuators performing the actions corresponding to subject's intention. However this goal is not fully reached, and when BCI works, it does only in particular situations. The reason of this unsatisfactory result is that intention cannot be conceived simply as a set of classical input-output relationships. It is therefore necessary to resort to quantum theory, allowing the occurrence of stable cohere...
Non-unitary probabilistic quantum computing circuit and method
Williams, Colin P. (Inventor); Gingrich, Robert M. (Inventor)
2009-01-01
A quantum circuit performing quantum computation in a quantum computer. A chosen transformation of an initial n-qubit state is probabilistically obtained. The circuit comprises a unitary quantum operator obtained from a non-unitary quantum operator, operating on an n-qubit state and an ancilla state. When operation on the ancilla state provides a success condition, computation is stopped. When operation on the ancilla state provides a failure condition, computation is performed again on the ancilla state and the n-qubit state obtained in the previous computation, until a success condition is obtained.
Quantum picturalism for topological cluster-state computing
Horsman, Clare
2011-01-01
Topological quantum computing is a way of allowing precise quantum computations to run on noisy and imperfect hardware. One implementation uses surface codes created by forming defects in a highly-entangled cluster state. Such a method of computing is a leading candidate for large-scale quantum computing. However, there has been a lack of sufficiently powerful high-level languages to describe computing in this form without resorting to single-qubit operations, which quickly become prohibitive...
Universal quantum gates for Single Cooper Pair Box based quantum computing
Echternach, P.; Williams, C. P.; Dultz, S. C.; Braunstein, S.; Dowling, J. P.
2000-01-01
We describe a method for achieving arbitrary 1-qubit gates and controlled-NOT gates within the context of the Single Cooper Pair Box (SCB) approach to quantum computing. Such gates are sufficient to support universal quantum computation.
PREFACE: Quantum Information, Communication, Computation and Cryptography
Benatti, F.; Fannes, M.; Floreanini, R.; Petritis, D.
2007-07-01
The application of quantum mechanics to information related fields such as communication, computation and cryptography is a fast growing line of research that has been witnessing an outburst of theoretical and experimental results, with possible practical applications. On the one hand, quantum cryptography with its impact on secrecy of transmission is having its first important actual implementations; on the other hand, the recent advances in quantum optics, ion trapping, BEC manipulation, spin and quantum dot technologies allow us to put to direct test a great deal of theoretical ideas and results. These achievements have stimulated a reborn interest in various aspects of quantum mechanics, creating a unique interplay between physics, both theoretical and experimental, mathematics, information theory and computer science. In view of all these developments, it appeared timely to organize a meeting where graduate students and young researchers could be exposed to the fundamentals of the theory, while senior experts could exchange their latest results. The activity was structured as a school followed by a workshop, and took place at The Abdus Salam International Center for Theoretical Physics (ICTP) and The International School for Advanced Studies (SISSA) in Trieste, Italy, from 12-23 June 2006. The meeting was part of the activity of the Joint European Master Curriculum Development Programme in Quantum Information, Communication, Cryptography and Computation, involving the Universities of Cergy-Pontoise (France), Chania (Greece), Leuven (Belgium), Rennes1 (France) and Trieste (Italy). This special issue of Journal of Physics A: Mathematical and Theoretical collects 22 contributions from well known experts who took part in the workshop. They summarize the present day status of the research in the manifold aspects of quantum information. The issue is opened by two review articles, the first by G Adesso and F Illuminati discussing entanglement in continuous variable
How detrimental is decoherence in adiabatic quantum computation?
Albash, Tameem
2015-01-01
Recent experiments with increasingly larger numbers of qubits have sparked renewed interest in adiabatic quantum computation, and in particular quantum annealing. A central question that is repeatedly asked is whether quantum features of the evolution can survive over the long time-scales used for quantum annealing relative to standard measures of the decoherence time. We reconsider the role of decoherence in adiabatic quantum computation and quantum annealing using the adiabatic quantum master equation formalism. We restrict ourselves to the weak-coupling and singular-coupling limits, which correspond to decoherence in the energy eigenbasis and in the computational basis, respectively. We demonstrate that decoherence in the instantaneous energy eigenbasis does not necessarily detrimentally affect adiabatic quantum computation, and in particular that a short single-qubit $T_2$ time need not imply adverse consequences for the success of the quantum adiabatic algorithm. We further demonstrate that boundary canc...
Interactive Quantum Mechanics Quantum Experiments on the Computer
Brandt, S; Dahmen, H.D
2011-01-01
Extra Materials available on extras.springer.com INTERACTIVE QUANTUM MECHANICS allows students to perform their own quantum-physics experiments on their computer, in vivid 3D color graphics. Topics covered include: • harmonic waves and wave packets, • free particles as well as bound states and scattering in various potentials in one and three dimensions (both stationary and time dependent), • two-particle systems, coupled harmonic oscillators, • distinguishable and indistinguishable particles, • coherent and squeezed states in time-dependent motion, • quantized angular momentum, • spin and magnetic resonance, • hybridization. For the present edition the physics scope has been widened appreciably. Moreover, INTERQUANTA can now produce user-defined movies of quantum-mechanical situations. Movies can be viewed directly and also be saved to be shown later in any browser. Sections on spec...
Quantum computation over the butterfly network
In order to investigate distributed quantum computation under restricted network resources, we introduce a quantum computation task over the butterfly network where both quantum and classical communications are limited. We consider deterministically performing a two-qubit global unitary operation on two unknown inputs given at different nodes, with outputs at two distinct nodes. By using a particular resource setting introduced by M. Hayashi [Phys. Rev. A 76, 040301(R) (2007)], which is capable of performing a swap operation by adding two maximally entangled qubits (ebits) between the two input nodes, we show that unitary operations can be performed without adding any entanglement resource, if and only if the unitary operations are locally unitary equivalent to controlled unitary operations. Our protocol is optimal in the sense that the unitary operations cannot be implemented if we relax the specifications of any of the channels. We also construct protocols for performing controlled traceless unitary operations with a 1-ebit resource and for performing global Clifford operations with a 2-ebit resource.
Quantum computation and Shor close-quote s factoring algorithm
Current technology is beginning to allow us to manipulate rather than just observe individual quantum phenomena. This opens up the possibility of exploiting quantum effects to perform computations beyond the scope of any classical computer. Recently Peter Shor discovered an efficient algorithm for factoring whole numbers, which uses characteristically quantum effects. The algorithm illustrates the potential power of quantum computation, as there is no known efficient classical method for solving this problem. The authors give an exposition of Shor close-quote s algorithm together with an introduction to quantum computation and complexity theory. They discuss experiments that may contribute to its practical implementation. copyright 1996 The American Physical Society
Towards A Novel Environment For Simulation Of Quantum Computing
Joanna Patrzyk
2015-01-01
Full Text Available In this paper we analyze existing quantum computer simulation techniquesand their realizations to minimize the impact of the exponentialcomplexity of simulated quantum computations. As a result of thisinvestigation, we propose a quantum computer simulator with an integrateddevelopment environment - QuIDE - supporting development of algorithms forfuture quantum computers. The simulator simplifies building and testingquantum circuits and understand quantum algorithms in an efficient way.The development environment provides flexibility of source codeedition and ease of graphical building of circuit diagrams. We alsodescribe and analyze the complexity of algorithms used for simulationand present performance results of the simulator as well as results ofits deployment during university classes.
Multiple-server Flexible Blind Quantum Computation in Networks
Kong, Xiaoqin; Li, Qin; Wu, Chunhui; Yu, Fang; He, Jinjun; Sun, Zhiyuan
2016-06-01
Blind quantum computation (BQC) can allow a client with limited quantum power to delegate his quantum computation to a powerful server and still keep his own data private. In this paper, we present a multiple-server flexible BQC protocol, where a client who only needs the ability of accessing qua ntum channels can delegate the computational task to a number of servers. Especially, the client's quantum computation also can be achieved even when one or more delegated quantum servers break down in networks. In other words, when connections to certain quantum servers are lost, clients can adjust flexibly and delegate their quantum computation to other servers. Obviously it is trivial that the computation will be unsuccessful if all servers are interrupted.
Review on the study of entanglement in quantum computation speedup
DING ShengChao; JIN Zhi
2007-01-01
The role the quantum entanglement plays in quantum computation speedup has been widely disputed.Some believe that quantum computation's speedup over classical computation is impossible if entanglement is absent, while others claim that the presence of entanglement is not a necessary condition for some quantum algorithms.This paper discusses this problem systematically.Simulating quantum computation with classical resources is analyzed and entanglement in known algorithms is reviewed.It is concluded that the presence of entanglement is a necessary but not sufficient condition in the pure state or pseudo-pure state quantum computation speedup.The case with the mixed state remains open.Further work on quantum computation will benefit from the presented results.
Possible topological quantum computation via Khovanov homology: D-brane topological quantum computer
Vélez, Mario; Ospina, Juan
2009-05-01
A model of a D-Brane Topological Quantum Computer (DBTQC) is presented and sustained. The model is based on four-dimensional TQFTs of the Donaldson-Witten and Seiber-Witten kinds. It is argued that the DBTQC is able to compute Khovanov homology for knots, links and graphs. The DBTQC physically incorporates the mathematical process of categorification according to which the invariant polynomials for knots, links and graphs such as Jones, HOMFLY, Tutte and Bollobás-Riordan polynomials can be computed as the Euler characteristics corresponding to special homology complexes associated with knots, links and graphs. The DBTQC is conjectured as a powerful universal quantum computer in the sense that the DBTQC computes Khovanov homology which is considered like powerful that the Jones polynomial.
Computational costs of data definition at the quantum - classical interface
Fields, Chris
2010-01-01
Model-independent semantic requirements for user specification and interpretation of data before and after quantum computations are characterized. Classical computational costs of assigning classical data values to quantum registers and to run-time parameters passed across a classical-to-quantum application programming interface are derived. It is shown that the classical computational costs of data definition equal or exceed the classical computational cost of solving the problem of interest...
Computational quantum-classical boundary of complex and noisy quantum systems
Fujii, Keisuke; Tamate, Shuhei
2014-01-01
It is often said that the transition from quantum to classical worlds is caused by decoherence originated from an interaction between a system of interest and its surrounding environment. Here we establish a computational quantum-classical boundary from the viewpoint of classical simulatability of a quantum system under decoherence. Specifically, we consider commuting quantum circuits being subject to decoherence. Or equivalently, we can regard them as measurement-based quantum computation on...
Computing the Exit Complexity of Knowledge in Distributed Quantum Computers
M.A.Abbas
2013-01-01
Full Text Available Distributed Quantum computers abide from the exit complexity of the knowledge. The exit complexity is the accrue of the nodal information needed to clarify the total egress system with deference to a distinguished exit node. The core objective of this paper is to compile an arrogant methodology for assessing the exit complexity of the knowledge in distributed quantum computers. The proposed methodology is based on contouring the knowledge using the unlabeled binary trees, hence building an benchmarked and a computer based model. The proposed methodology dramatizes knowledge autocratically calculates the exit complexity. The methodology consists of several amphitheaters, starting with detecting the baron aspect of the tree of others entitled express knowledge and then measure the volume of information and the complexity of behavior destining from the bargain of information. Then calculate egress resulting from episodes that do not lead to the withdrawal of the information. In the end is calculated total egress complexity and then appraised total exit complexity of the system. Given the complexity of the operations within the Distributed Computing Quantity, this research addresses effective transactions that could affect the three-dimensional behavior of knowledge. The results materialized that the best affair where total exit complexity as minimal as possible is a picture of a binary tree is entitled at the rate of positive and negative cardinal points medium value. It could be argued that these cardinal points should not amass the upper bound apex or minimum.
Semiquantum key distribution with secure delegated quantum computation
Li, Qin; Chan, Wai Hong; Zhang, Shengyu
2016-01-01
Semiquantum key distribution allows a quantum party to share a random key with a “classical” party who only can prepare and measure qubits in the computational basis or reorder some qubits when he has access to a quantum channel. In this work, we present a protocol where a secret key can be established between a quantum user and an almost classical user who only needs the quantum ability to access quantum channels, by securely delegating quantum computation to a quantum server. We show the proposed protocol is robust even when the delegated quantum server is a powerful adversary, and is experimentally feasible with current technology. As one party of our protocol is the most quantum-resource efficient, it can be more practical and significantly widen the applicability scope of quantum key distribution.
One-Way Quantum Computing in the Optical Frequency Comb
Menicucci, Nicolas C.; Flammia, Steven T.; Pfister, Olivier
2008-01-01
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 quadrat...
Extending scientific computing system with structural quantum programming capabilities
Gawron, P.; Klamka, J.; Miszczak, J. A.; Winiarczyk, R.
2010-01-01
We present a basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming languages and we use quantum pseudo-code based on QCL quantum programming language to describe them. We also present the implementation of introduced structures in GNU Octave language for scientific computing. Procedures used in the implementation are available as a package quantum-octave, providing a library of functions, ...
Reversible logic synthesis methodologies with application to quantum computing
Taha, Saleem Mohammed Ridha
2016-01-01
This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. It presents the state of the art required to travel around that world safely. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies. In this book, twelve reversible logic synthesis methodologies are presented for the first time in a single literature with some new proposals. Also, the sequential reversible logic circuitries are discussed for the first time in a book. Reversible logic plays an important role in quantum computing. Any progress in the domain of reversible logic can be directly applied to quantum logic. One of the goals of this book is to show the application of reversible logic in quantum computing. A new implementation of wavelet and multiwavelet transforms using quantum computing is performed for this purpose. Rese...
Vertical Josephson interferometers for quantum computation
We characterize a niobium-based vertical Josephson interferometer which we propose to include in a superconducting loop for applications to quantum computation using flux qubits. The most interesting feature of this device is that the Josephson current is precisely modulated by a small transversal magnetic field parallel to superconducting loop plane from a maximum to zero, with fine control and precision. This device can be used to independently control the off-diagonal Hamiltonian terms of flux qubits and/or to control the flux transfer function of a superconducting transformer for inter-qubits coupling
Superconducting system for adiabatic quantum computing
We study the Hamiltonian of a system of inductively coupled flux qubits, which has been theoretically proposed for adiabatic quantum computation to handle NP problems. We study the evolution of a basic structure consisting of three coupled rf-SQUIDs upon tuning the external flux bias, and we show that the adiabatic nature of the evolution is guaranteed by the presence of the single-SQUID gap. We further propose a scheme and the first realization of an experimental device suitable for verifying the theoretical results
Fast graph operations in quantum computation
Zhao, Liming; Pérez-Delgado, Carlos A.; Fitzsimons, Joseph F.
2016-03-01
The connection between certain entangled states and graphs has been heavily studied in the context of measurement-based quantum computation as a tool for understanding entanglement. Here we show that this correspondence can be harnessed in the reverse direction to yield a graph data structure, which allows for more efficient manipulation and comparison of graphs than any possible classical structure. We introduce efficient algorithms for many transformation and comparison operations on graphs represented as graph states, and prove that no classical data structure can have similar performance for the full set of operations studied.
Cluster state quantum computing in optical fibers
Soudagar, Yasaman; Bussieres, Felix; Berlin, Guido; Lacroix, Suzanne; Fernandez, Jose M.; Godbout, Nicolas
2006-01-01
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 en...
The Quantum Socket: Three-Dimensional Wiring for Extensible Quantum Computing
Béjanin, J H; Rinehart, J R; Earnest, C T; McRae, C R H; Shiri, D; Bateman, J D; Rohanizadegan, Y; Penava, B; Breul, P; Royak, S; Zapatka, M; Fowler, A G; Mariantoni, M
2016-01-01
Quantum computing architectures are on the verge of scalability, a key requirement for the implementation of a universal quantum computer. The next stage in this quest is the realization of quantum error correction codes, which will mitigate the impact of faulty quantum information on a quantum computer. Architectures with ten or more quantum bits (qubits) have been realized using trapped ions and superconducting circuits. While these implementations are potentially scalable, true scalability will require systems engineering to combine quantum and classical hardware. One technology demanding imminent efforts is the realization of a suitable wiring method for the control and measurement of a large number of qubits. In this work, we introduce an interconnect solution for solid-state qubits: The quantum socket. The quantum socket fully exploits the third dimension to connect classical electronics to qubits with higher density and better performance than two-dimensional methods based on wire bonding. The quantum ...
Do multipartite correlations speed up adiabatic quantum computation or quantum annealing?
Batle, J.; Ooi, C. H. Raymond; Farouk, Ahmed; Abutalib, M.; Abdalla, S.
2016-04-01
Quantum correlations are thought to be the reason why certain quantum algorithms overcome their classical counterparts. Since the nature of this resource is still not fully understood, we shall investigate how multipartite entanglement and non-locality among qubits vary as the quantum computation runs. We shall encounter that quantum measures on the whole system cannot account for their corresponding speedup.
Do multipartite correlations speed up adiabatic quantum computation or quantum annealing?
Batle, J.; Ooi, C. H. Raymond; Farouk, Ahmed; Abutalib, M.; Abdalla, S.
2016-08-01
Quantum correlations are thought to be the reason why certain quantum algorithms overcome their classical counterparts. Since the nature of this resource is still not fully understood, we shall investigate how multipartite entanglement and non-locality among qubits vary as the quantum computation runs. We shall encounter that quantum measures on the whole system cannot account for their corresponding speedup.
Parallelism for Quantum Computation with Qudits
O'Leary, D P; Bullock, S S; Leary, Dianne P. O'; Brennen, Gavin K.; Bullock, Stephen S.
2006-01-01
Robust quantum computation with d-level quantum systems (qudits) poses two requirements: fast, parallel quantum gates and high fidelity two-qudit gates. We first describe how to implement parallel single qudit operations. It is by now well known that any single-qudit unitary can be decomposed into a sequence of Givens rotations on two-dimensional subspaces of the qudit state space. Using a coupling graph to represent physically allowed couplings between pairs of qudit states, we then show that the logical depth of the parallel gate sequence is equal to the height of an associated tree. The implementation of a given unitary can then optimize the tradeoff between gate time and resources used. These ideas are illustrated for qudits encoded in the ground hyperfine states of the atomic alkalies $^{87}$Rb and $^{133}$Cs. Second, we provide a protocol for implementing parallelized non-local two-qudit gates using the assistance of entangled qubit pairs. Because the entangled qubits can be prepared non-deterministical...
Graph isomorphism and adiabatic quantum computing
Gaitan, Frank; Clark, Lane
2014-03-01
In the Graph Isomorphism (GI) problem two N-vertex graphs G and G' are given and the task is to determine whether there exists a permutation of the vertices of G that preserves adjacency and maps G --> G'. If yes (no), then G and G' are said to be isomorphic (non-isomorphic). The GI problem is an important problem in computer science and is thought to be of comparable difficulty to integer factorization. We present a quantum algorithm that solves arbitrary instances of GI, and which provides a novel approach to determining all automorphisms of a graph. The algorithm converts a GI instance to a combinatorial optimization problem that can be solved using adiabatic quantum evolution. Numerical simulation of the algorithm's quantum dynamics shows that it correctly distinguishes non-isomorphic graphs; recognizes isomorphic graphs; and finds the automorphism group of a graph. We also discuss the algorithm's experimental implementation and show how it can be leveraged to solve arbitrary instances of the NP-Complete Sub-Graph Isomorphism problem.
Lecture Script: Introduction to Computational Quantum Mechanics
Schmied, Roman
2014-01-01
This document is the lecture script of a one-semester course taught at the University of Basel in the Fall semesters of 2012 and 2013. It is aimed at advanced students of physics who are familiar with the concepts and notations of quantum mechanics. Quantum mechanics lectures can often be separated into two classes. In the first class you get to know Schroedinger's equation and find the form and dynamics of simple physical systems (square well, harmonic oscillator, hydrogen atom); most calculations are analytic and inspired by calculations originally done in the 1920s and 1930s. In the second class you learn about large systems such as molecular structures, crystalline solids, or lattice models; these calculations are usually so complicated that it is difficult for the student to understand them in all detail. This lecture tries to bridge the gap between simple analytic calculations and complicated large-scale computations. We will revisit most of the problems encountered in introductory quantum mechanics, fo...
High Fidelity Adiabatic Quantum Computation via Dynamical Decoupling
Quiroz, Gregory
2012-01-01
We introduce high-order dynamical decoupling strategies for open system adiabatic quantum computation. Our numerical results demonstrate that a judicious choice of high-order dynamical decoupling method, in conjunction with an encoding which allows computation to proceed alongside decoupling, can dramatically enhance the fidelity of adiabatic quantum computation in spite of decoherence.
Quantum computing accelerator I/O : LDRD 52750 final report.
Schroeppel, Richard Crabtree; Modine, Normand Arthur; Ganti, Anand; Pierson, Lyndon George; Tigges, Christopher P.
2003-12-01
In a superposition of quantum states, a bit can be in both the states '0' and '1' at the same time. This feature of the quantum bit or qubit has no parallel in classical systems. Currently, quantum computers consisting of 4 to 7 qubits in a 'quantum computing register' have been built. Innovative algorithms suited to quantum computing are now beginning to emerge, applicable to sorting and cryptanalysis, and other applications. A framework for overcoming slightly inaccurate quantum gate interactions and for causing quantum states to survive interactions with surrounding environment is emerging, called quantum error correction. Thus there is the potential for rapid advances in this field. Although quantum information processing can be applied to secure communication links (quantum cryptography) and to crack conventional cryptosystems, the first few computing applications will likely involve a 'quantum computing accelerator' similar to a 'floating point arithmetic accelerator' interfaced to a conventional Von Neumann computer architecture. This research is to develop a roadmap for applying Sandia's capabilities to the solution of some of the problems associated with maintaining quantum information, and with getting data into and out of such a 'quantum computing accelerator'. We propose to focus this work on 'quantum I/O technologies' by applying quantum optics on semiconductor nanostructures to leverage Sandia's expertise in semiconductor microelectronic/photonic fabrication techniques, as well as its expertise in information theory, processing, and algorithms. The work will be guided by understanding of practical requirements of computing and communication architectures. This effort will incorporate ongoing collaboration between 9000, 6000 and 1000 and between junior and senior personnel. Follow-on work to fabricate and evaluate appropriate experimental nano/microstructures will be
Quantum computing accelerator I/O : LDRD 52750 final report
In a superposition of quantum states, a bit can be in both the states '0' and '1' at the same time. This feature of the quantum bit or qubit has no parallel in classical systems. Currently, quantum computers consisting of 4 to 7 qubits in a 'quantum computing register' have been built. Innovative algorithms suited to quantum computing are now beginning to emerge, applicable to sorting and cryptanalysis, and other applications. A framework for overcoming slightly inaccurate quantum gate interactions and for causing quantum states to survive interactions with surrounding environment is emerging, called quantum error correction. Thus there is the potential for rapid advances in this field. Although quantum information processing can be applied to secure communication links (quantum cryptography) and to crack conventional cryptosystems, the first few computing applications will likely involve a 'quantum computing accelerator' similar to a 'floating point arithmetic accelerator' interfaced to a conventional Von Neumann computer architecture. This research is to develop a roadmap for applying Sandia's capabilities to the solution of some of the problems associated with maintaining quantum information, and with getting data into and out of such a 'quantum computing accelerator'. We propose to focus this work on 'quantum I/O technologies' by applying quantum optics on semiconductor nanostructures to leverage Sandia's expertise in semiconductor microelectronic/photonic fabrication techniques, as well as its expertise in information theory, processing, and algorithms. The work will be guided by understanding of practical requirements of computing and communication architectures. This effort will incorporate ongoing collaboration between 9000, 6000 and 1000 and between junior and senior personnel. Follow-on work to fabricate and evaluate appropriate experimental nano/microstructures will be proposed as a result of this work
From Transistor to Trapped-ion Computers for Quantum Chemistry
M.-H. Yung; Casanova, J.; A. Mezzacapo; McClean, J.; Lamata, L.; Aspuru-Guzik, A.; Solano, E.
2014-01-01
Over the last few decades, quantum chemistry has progressed through the development of computational methods based on modern digital computers. However, these methods can hardly fulfill the exponentially-growing resource requirements when applied to large quantum systems. As pointed out by Feynman, this restriction is intrinsic to all computational models based on classical physics. Recently, the rapid advancement of trapped-ion technologies has opened new possibilities for quantum control...
Quantum computing with trapped ions, atoms and light
We consider experimental issues relevant to quantum computing, and discuss the best way to achieve the essential requirements of reliable quantum memory and gate operations. Nuclear spins in trapped ions or atoms are a very promising candidate for the qubits. We estimate the parameters required to couple atoms using light via cavity QED in order to achieve quantum gates. We briefly comment on recent improvements to the Cirac-Zoller method for coupling trapped ions via their vibrational degree of freedom. Error processes result in a trade-off between quantum gate speed and failure probability. A useful quantum computer does appear to be feasible using a combination of ion trap and optical methods. The best understood method to stabilize a large computer relies on quantum error correction. The essential ideas of this are discussed, and recent estimates of the noise requirements in a quantum computing device are given
Classical and quantum computing with C++ and Java simulations
Hardy, Y
2001-01-01
Classical and Quantum computing provides a self-contained, systematic and comprehensive introduction to all the subjects and techniques important in scientific computing. The style and presentation are readily accessible to undergraduates and graduates. A large number of examples, accompanied by complete C++ and Java code wherever possible, cover every topic. Features and benefits: - Comprehensive coverage of the theory with many examples - Topics in classical computing include boolean algebra, gates, circuits, latches, error detection and correction, neural networks, Turing machines, cryptography, genetic algorithms - For the first time, genetic expression programming is presented in a textbook - Topics in quantum computing include mathematical foundations, quantum algorithms, quantum information theory, hardware used in quantum computing This book serves as a textbook for courses in scientific computing and is also very suitable for self-study. Students, professionals and practitioners in computer...
A Blueprint for a Topologically Fault-tolerant Quantum Computer
Bonderson, Parsa; Freedman, Michael; Nayak, Chetan
2010-01-01
The advancement of information processing into the realm of quantum mechanics promises a transcendence in computational power that will enable problems to be solved which are completely beyond the known abilities of any "classical" computer, including any potential non-quantum technologies the future may bring. However, the fragility of quantum states poses a challenging obstacle for realization of a fault-tolerant quantum computer. The topological approach to quantum computation proposes to surmount this obstacle by using special physical systems -- non-Abelian topologically ordered phases of matter -- that would provide intrinsic fault-tolerance at the hardware level. The so-called "Ising-type" non-Abelian topological order is likely to be physically realized in a number of systems, but it can only provide a universal gate set (a requisite for quantum computation) if one has the ability to perform certain dynamical topology-changing operations on the system. Until now, practical methods of implementing thes...
Simply Explain the computation Ability of Quantum Computation%浅释量子计算的计算能力
匡春光
2001-01-01
Quantum computation is a new field of computer science. It is given attention to for its powerful computation ability. The paper explains the cause of its powerful computation ability by giving two typical quantum computation algorithms.
Baianu,I C
2004-01-01
The concepts of quantum automata and quantum computation are studied in the context of quantum genetics and genetic networks with nonlinear dynamics. In previous publications (Baianu,1971a, b) the formal concept of quantum automaton and quantum computation, respectively, were introduced and their possible implications for genetic processes and metabolic activities in living cells and organisms were considered. This was followed by a report on quantum and abstract, symbolic computation based on the theory of categories, functors and natural transformations (Baianu,1971b; 1977; 1987; 2004; Baianu et al, 2004). The notions of topological semigroup, quantum automaton, or quantum computer, were then suggested with a view to their potential applications to the analogous simulation of biological systems, and especially genetic activities and nonlinear dynamics in genetic networks. Further, detailed studies of nonlinear dynamics in genetic networks were carried out in categories of n-valued, Lukasiewicz Logic Algebra...
The Los Alamos Trapped Ion Quantum Computer Experiment
Hughes, R. J.; James, D. F. V.; J.J. Gomez; Gulley, M. S.; Holzscheiter, M. H.; Kwiat, P. G.; Lamoreaux, S. K.; Peterson, C. G.; Sandberg, V. D.; Schauer, M. M.; Simmons, C. M.; Thorburn, C. E.; Tupa, D.; Wang, P Z; White, A.G.
1997-01-01
The development and theory of an experiment to investigate quantum computation with trapped calcium ions is described. The ion trap, laser and ion requirements are determined, and the parameters required for quantum logic operations as well as simple quantum factoring are described.
Consequences and Limitations of Conventional Computers and their Solutions through Quantum Computers
Nilesh BARDE
2012-08-01
Full Text Available Quantum computer is the current topic of research in the field of computational science, which uses principles of quantum mechanics. Quantum computers will be much more powerful than the classical computer due to its enormous computational speed. Recent developments in quantum computers which are based on the laws of quantum mechanics, shows different ways of performing efficient calculations along with the various results which are not possible on the classical computers in an efficient period of time. One of the most striking results that have obtained on the quantum computers is the prime factorization of the large integer in a polynomial time. The idea of involvement of the quantum mechanics for the computational purpose is outlined briefly in the present work that reflects the importance and advantages of the next generation of the 21st century classical computers, named as quantum computers, in terms of the cost as well as time period required for the computation purpose. Present paper presents a quantum computer simulator for executing the limitations of classical computer with respect to time and the number of digits of a composite integer used for calculating its prime factors.
Magnetic qubits as hardware for quantum computers
We propose two potential realisations for quantum bits based on nanometre scale magnetic particles of large spin S and high anisotropy molecular clusters. In case (1) the bit-value basis states vertical bar-0> and vertical bar-1> are the ground and first excited spin states Sz = S and S-1, separated by an energy gap given by the ferromagnetic resonance (FMR) frequency. In case (2), when there is significant tunnelling through the anisotropy barrier, the qubit states correspond to the symmetric, vertical bar-0>, and antisymmetric, vertical bar-1>, combinations of the two-fold degenerate ground state Sz = ± S. In each case the temperature of operation must be low compared to the energy gap, Δ, between the states vertical bar-0> and vertical bar-1>. The gap Δ in case (2) can be controlled with an external magnetic field perpendicular to the easy axis of the molecular cluster. The states of different molecular clusters and magnetic particles may be entangled by connecting them by superconducting lines with Josephson switches, leading to the potential for quantum computing hardware. (author)
Number Partitioning via Quantum Adiabatic Computation
Smelyanskiy, Vadim N.; Toussaint, Udo; Clancy, Daniel (Technical Monitor)
2002-01-01
We study both analytically and numerically the complexity of the adiabatic quantum evolution algorithm applied to random instances of combinatorial optimization problems. We use as an example the NP-complete set partition problem and obtain an asymptotic expression for the minimal gap separating the ground and exited states of a system during the execution of the algorithm. We show that for computationally hard problem instances the size of the minimal gap scales exponentially with the problem size. This result is in qualitative agreement with the direct numerical simulation of the algorithm for small instances of the set partition problem. We describe the statistical properties of the optimization problem that are responsible for the exponential behavior of the algorithm.
Logical Interpretation of a Reversible Measurement in Quantum Computing
Battilotti, Giulia; Zizzi, Paola
2004-01-01
We give the logical description of a new kind of quantum measurement that is a reversible operation performed by an hypothetical insider observer, or, which is the same, a quantum measurement made in a quantum space background, like the fuzzy sphere. The result is that the non-contradiction and the excluded middle principles are both invalidated, leading to a paraconsistent, symmetric logic. Our conjecture is that, in this setting, one can develop the adequate logic of quantum computing. The ...
Spacetime at the Planck Scale: The Quantum Computer View
Zizzi, Paola
2003-01-01
We assume that space-time at the Planck scale is discrete, quantised in Planck units and "qubitsed" (each pixel of Planck area encodes one qubit), that is, quantum space-time can be viewed as a quantum computer. Within this model, one finds that quantum space-time itself is entangled, and can quantum-evaluate Boolean functions which are the laws of Physics in their discrete and fundamental form.
Finding Matches between Two Databases on a Quantum Computer
Heiligman, M
2000-01-01
Given two unsorted lists each of length N that have a single common entry, a quantum computer can find that matching element with a work factor of $O(N^{3/4}\\log N)$ (measured in quantum memory accesses and accesses to each list). The amount of quantum memory required is $O(N^{1/2})$. The quantum algorithm that accomplishes this consists of an inner Grover search combined with a partial sort all sitting inside of an outer Grover search.
Applying quantitative semantics to higher-order quantum computing
Pagani, Michele; Selinger, Peter; Valiron, Benoît
2013-01-01
Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the language to an unusably small finitary fragment, or giving up important features of quantum physics such as entanglement. In this paper, we propose a denotational semantics for a quantum lambda calculus with recursion and an infinite data type, using constru...
A scheme for efficient quantum computation with linear optics
Knill, E.; Laflamme, R.; Milburn, G. J.
2001-01-01
Quantum computers promise to increase greatly the efficiency of solving problems such as factoring large integers, combinatorial optimization and quantum physics simulation. One of the greatest challenges now is to implement the basic quantum-computational elements in a physical system and to demonstrate that they can be reliably and scalably controlled. One of the earliest proposals for quantum computation is based on implementing a quantum bit with two optical modes containing one photon. The proposal is appealing because of the ease with which photon interference can be observed. Until now, it suffered from the requirement for non-linear couplings between optical modes containing few photons. Here we show that efficient quantum computation is possible using only beam splitters, phase shifters, single photon sources and photo-detectors. Our methods exploit feedback from photo-detectors and are robust against errors from photon loss and detector inefficiency. The basic elements are accessible to experimental investigation with current technology.
Practical experimental certification of computational quantum gates via twirling
Moussa, Osama; Ryan, Colm A; Laflamme, Raymond
2011-01-01
Due to the technical difficulty of building large quantum computers, it is important to be able to estimate how faithful a given implementation is to an ideal quantum computer. The common approach of completely characterizing the computation process via quantum process tomography requires an exponential amount of resources, and thus is not practical even for relatively small devices. We solve this problem by demonstrating that twirling experiments previously used to characterize the average fidelity of quantum memories efficiently can be easily adapted to estimate the average fidelity of the experimental implementation of important quantum computation processes, such as unitaries in the Clifford group, in a practical and efficient manner with applicability in current quantum devices. Using this procedure, we demonstrate state-of-the-art coherent control of an ensemble of magnetic moments of nuclear spins in a single crystal solid by implementing the encoding operation for a 3 qubit code with only a 1% degrada...
Demonstration of measurement-only blind quantum computing
Greganti, Chiara; Roehsner, Marie-Christine; Barz, Stefanie; Morimae, Tomoyuki; Walther, Philip
2016-01-01
Blind quantum computing allows for secure cloud networks of quasi-classical clients and a fully fledged quantum server. Recently, a new protocol has been proposed, which requires a client to perform only measurements. We demonstrate a proof-of-principle implementation of this measurement-only blind quantum computing, exploiting a photonic setup to generate four-qubit cluster states for computation and verification. Feasible technological requirements for the client and the device-independent blindness make this scheme very applicable for future secure quantum networks.
Parallel Photonic Quantum Computation Assisted by Quantum Dots in One-Side Optical Microcavities
Luo, Ming-Xing; Wang, Xiaojun
2014-07-01
Universal quantum logic gates are important elements for a quantum computer. In contrast to previous constructions on one degree of freedom (DOF) of quantum systems, we investigate the possibility of parallel quantum computations dependent on two DOFs of photon systems. We construct deterministic hyper-controlled-not (hyper-CNOT) gates operating on the spatial-mode and the polarization DOFs of two-photon or one-photon systems by exploring the giant optical circular birefringence induced by quantum-dot spins in one-sided optical microcavities. These hyper-CNOT gates show that the quantum states of two DOFs can be viewed as independent qubits without requiring auxiliary DOFs in theory. This result can reduce the quantum resources by half for quantum applications with large qubit systems, such as the quantum Shor algorithm.
Demonstration of a small programmable quantum computer with atomic qubits
Debnath, S.; Linke, N. M.; Figgatt, C.; Landsman, K. A.; Wright, K.; Monroe, C.
2016-08-01
Quantum computers can solve certain problems more efficiently than any possible conventional computer. Small quantum algorithms have been demonstrated on multiple quantum computing platforms, many specifically tailored in hardware to implement a particular algorithm or execute a limited number of computational paths. Here we demonstrate a five-qubit trapped-ion quantum computer that can be programmed in software to implement arbitrary quantum algorithms by executing any sequence of universal quantum logic gates. We compile algorithms into a fully connected set of gate operations that are native to the hardware and have a mean fidelity of 98 per cent. Reconfiguring these gate sequences provides the flexibility to implement a variety of algorithms without altering the hardware. As examples, we implement the Deutsch–Jozsa and Bernstein–Vazirani algorithms with average success rates of 95 and 90 per cent, respectively. We also perform a coherent quantum Fourier transform on five trapped-ion qubits for phase estimation and period finding with average fidelities of 62 and 84 per cent, respectively. This small quantum computer can be scaled to larger numbers of qubits within a single register, and can be further expanded by connecting several such modules through ion shuttling or photonic quantum channels.
Demonstration of a small programmable quantum computer with atomic qubits.
Debnath, S; Linke, N M; Figgatt, C; Landsman, K A; Wright, K; Monroe, C
2016-08-01
Quantum computers can solve certain problems more efficiently than any possible conventional computer. Small quantum algorithms have been demonstrated on multiple quantum computing platforms, many specifically tailored in hardware to implement a particular algorithm or execute a limited number of computational paths. Here we demonstrate a five-qubit trapped-ion quantum computer that can be programmed in software to implement arbitrary quantum algorithms by executing any sequence of universal quantum logic gates. We compile algorithms into a fully connected set of gate operations that are native to the hardware and have a mean fidelity of 98 per cent. Reconfiguring these gate sequences provides the flexibility to implement a variety of algorithms without altering the hardware. As examples, we implement the Deutsch-Jozsa and Bernstein-Vazirani algorithms with average success rates of 95 and 90 per cent, respectively. We also perform a coherent quantum Fourier transform on five trapped-ion qubits for phase estimation and period finding with average fidelities of 62 and 84 per cent, respectively. This small quantum computer can be scaled to larger numbers of qubits within a single register, and can be further expanded by connecting several such modules through ion shuttling or photonic quantum channels. PMID:27488798
Quantum Monte Carlo Endstation for Petascale Computing
Lubos Mitas
2011-01-26
NCSU research group has been focused on accomplising the key goals of this initiative: establishing new generation of quantum Monte Carlo (QMC) computational tools as a part of Endstation petaflop initiative for use at the DOE ORNL computational facilities and for use by computational electronic structure community at large; carrying out high accuracy quantum Monte Carlo demonstration projects in application of these tools to the forefront electronic structure problems in molecular and solid systems; expanding the impact of QMC methods and approaches; explaining and enhancing the impact of these advanced computational approaches. In particular, we have developed quantum Monte Carlo code (QWalk, www.qwalk.org) which was significantly expanded and optimized using funds from this support and at present became an actively used tool in the petascale regime by ORNL researchers and beyond. These developments have been built upon efforts undertaken by the PI's group and collaborators over the period of the last decade. The code was optimized and tested extensively on a number of parallel architectures including petaflop ORNL Jaguar machine. We have developed and redesigned a number of code modules such as evaluation of wave functions and orbitals, calculations of pfaffians and introduction of backflow coordinates together with overall organization of the code and random walker distribution over multicore architectures. We have addressed several bottlenecks such as load balancing and verified efficiency and accuracy of the calculations with the other groups of the Endstation team. The QWalk package contains about 50,000 lines of high quality object-oriented C++ and includes also interfaces to data files from other conventional electronic structure codes such as Gamess, Gaussian, Crystal and others. This grant supported PI for one month during summers, a full-time postdoc and partially three graduate students over the period of the grant duration, it has resulted in 13
A Quantum Computer Foundation for the Standard Model and SuperString Theories
Blaha, Stephen
2002-01-01
We show the Standard Model and SuperString Theories can be naturally based on a Quantum Computer foundation. The Standard Model of elementary particles can be viewed as defining a Quantum Computer Grammar and language. A Quantum Computer in a certain limit naturally forms a Superspace upon which Supersymmetry rotations can be defined - a Continuum Quantum Computer. Quantum high-level computer languages such as Quantum C and Quantum Assembly language are also discussed. In these new linguistic...
The 2004 Latsis Symposium: Quantum optics for Communication and Computing
2004-01-01
1-3 March 2004 Ecole Polytechnique Fédérale de Lausanne Auditoire SG1 The field of Quantum Optics covers topics that extend from basic physical concepts, regarding the quantum description of light, matter, and light-matter interaction, to the applications of these concepts in future information and communication technologies. This field is of primary importance for science and society for two reasons. Firstly, it brings a deeper physical understanding of the fundamental aspects of modern quantum physics. Secondly, it offers perspectives for the invention and implementation of new devices and systems in the fields of communications, information management and computing. The themes that will be addressed in the Latsis Symposium on Quantum Optics are quantum communications, quantum computation, and quantum photonic devices. The objective of the symposium is to give an overview of this fascinating and rapidly evolving field. The different talks will establish links between new fundamental c...
The 2004 Latsis Symposium: Quantum optics for Communication and Computing
2004-01-01
1-3 March 2004 Ecole Polytechnique Fédérale de Lausanne Auditoire SG1 The field of Quantum Optics covers topics that extend from basic physical concepts, regarding the quantum description of light, matter, and light-matter interaction, to the applications of these concepts in future information and communication technologies. This field is of primary importance for science and society for two reasons. Firstly, it brings a deeper physical understanding of the fundamental aspects of modern quantum physics. Secondly, it offers perspectives for the invention and implementation of new devices and systems in the fields of communications, information management and computing. The themes that will be addressed in the Latsis Symposium on Quantum Optics are quantum communications, quantum computation, and quantum photonic devices. The objective of the symposium is to give an overview of this fascinating and rapidly evolving field. The different talks will establish links between new fundamental...
The 2004 Latsis Symposium: Quantum optics for Communication and Computing
2004-01-01
1-3 March 2004 Ecole Polytechnique Fédérale de Lausanne Auditoire SG1 The field of Quantum Optics covers topics that extend from basic physical concepts, regarding the quantum description of light, matter, and light-matter interaction, to the applications of these concepts in future information and communication technologies. This field is of primary importance for science and society for two reasons. Firstly, it brings a deeper physical understanding of the fundamental aspects of modern quantum physics. Secondly, it offers perspectives for the invention and implementation of new devices and systems in the fields of communications, information management and computing. The themes that will be addressed in the Latsis Symposium on Quantum Optics are quantum communications, quantum computation, and quantum photonic devices. The objective of the symposium is to give an overview of this fascinating and rapidly evolving field. The different talks will establish links between new fundamental ...
Secure Multiparty Quantum Computation for Summation and Multiplication.
Shi, Run-hua; Mu, Yi; Zhong, Hong; Cui, Jie; Zhang, Shun
2016-01-01
As a fundamental primitive, Secure Multiparty Summation and Multiplication can be used to build complex secure protocols for other multiparty computations, specially, numerical computations. However, there is still lack of systematical and efficient quantum methods to compute Secure Multiparty Summation and Multiplication. In this paper, we present a novel and efficient quantum approach to securely compute the summation and multiplication of multiparty private inputs, respectively. Compared to classical solutions, our proposed approach can ensure the unconditional security and the perfect privacy protection based on the physical principle of quantum mechanics. PMID:26792197
The Power of Qutrit Logic for Quantum Computation
Luo, Ming-Xing; Ma, Song-Ya; Chen, Xiu-Bo; Yang, Yi-Xian
2013-08-01
The critical merits acquired from quantum computation require running in parallel, which cannot be benefited from previous multi-level extensions and are exact our purposes. In this paper, with qutrit subsystems the general quantum computation further reduces into qutrit gates or its controlled operations. This extension plays parallizable and integrable with same construction independent of the qutrit numbers. The qutrit swapping as its basic operations for controlling can be integrated into quantum computers with present physical techniques. Our generalizations are free of elevating the system spaces, and feasible for the universal computation.
Implementation of controlled SWAP gates for quantum fingerprinting and photonic quantum computation
Wang, B
2006-01-01
We propose a scheme to implement quantum controlled SWAP gates by directing single-photon pulses to a two-sided cavity with a single trapped atom. The resultant gates can be used to realize quantum fingerprinting and universal photonic quantum computation. The performance of the scheme is characterized under realistic experimental noise with the requirements well within the reach of the current technology.
Is Quantum Mechanics Falsifiable? A computational perspective on the foundations of Quantum Mechanic
Dorit Aharonov; Umesh Vazirani
2013-01-01
Quantum computation teaches us that quantum mechanics exhibits exponential complexity. We argue that the standard scientific paradigm of "predict and verify" cannot be applied to testing quantum mechanics in this limit of high complexity. We describe how QM can be tested in this regime by extending the usual scientific paradigm to include {\\it interactive experiments}.
Castagnoli, Giuseppe
2000-01-01
We introduce a local concept of speed-up applicable to intermediate stages of a quantum algorithm. We use it to analyse the complementary roles played by quantum parallel computation and quantum measurement in yielding the speed-up. A severe conflict between there being a speed-up and the many worlds interpretation is highlighted.
Computable measure of total quantum correlations of multipartite systems
Behdani, Javad; Akhtarshenas, Seyed Javad; Sarbishaei, Mohsen
2016-04-01
Quantum discord as a measure of the quantum correlations cannot be easily computed for most of density operators. In this paper, we present a measure of the total quantum correlations that is operationally simple and can be computed effectively for an arbitrary mixed state of a multipartite system. The measure is based on the coherence vector of the party whose quantumness is investigated as well as the correlation matrix of this part with the remainder of the system. Being able to detect the quantumness of multipartite systems, such as detecting the quantum critical points in spin chains, alongside with the computability characteristic of the measure, makes it a useful indicator to be exploited in the cases which are out of the scope of the other known measures.
Quantum picturalism for topological cluster-state computing
Horsman, Clare
2011-01-01
'Quantum picturalism' is a method for graphically representing processes in quantum mechanics. It is of particular interest for quantum information processes, defining a 'flow' of information through a protocol or algorithm. In this paper we apply the category-theoretic work of Abramsky and Coecke to the topological cluster-state model of quantum computing to show the topological equivalence of defect strands in the cluster state and the graphical flow of the red/green calculus. We concentrate here on the pictorial representation, and use a minimal amount of the machinery of category theory. We give the equivalence between the graphical and topological information flows, and show the applicable rewrite algebra for this computing model. Finally we show how the use of quantum picturalism gives a proof algebra for topological cluster state computing, from which we can derive previously unknown properties of the model. This work not only demonstrates for the first time a concrete realisation of quantum diagrammat...
Quantum computing with acceptor spins in silicon
Salfi, Joe; Tong, Mengyang; Rogge, Sven; Culcer, Dimitrie
2016-06-01
The states of a boron acceptor near a Si/SiO2 interface, which bind two low-energy Kramers pairs, have exceptional properties for encoding quantum information and, with the aid of strain, both heavy hole and light hole-based spin qubits can be designed. Whereas a light-hole spin qubit was introduced recently (arXiv:1508.04259), here we present analytical and numerical results proving that a heavy-hole spin qubit can be reliably initialised, rotated and entangled by electrical means alone. This is due to strong Rashba-like spin–orbit interaction terms enabled by the interface inversion asymmetry. Single qubit rotations rely on electric-dipole spin resonance (EDSR), which is strongly enhanced by interface-induced spin–orbit terms. Entanglement can be accomplished by Coulomb exchange, coupling to a resonator, or spin–orbit induced dipole–dipole interactions. By analysing the qubit sensitivity to charge noise, we demonstrate that interface-induced spin–orbit terms are responsible for sweet spots in the dephasing time {T}2* as a function of the top gate electric field, which are close to maxima in the EDSR strength, where the EDSR gate has high fidelity. We show that both qubits can be described using the same starting Hamiltonian, and by comparing their properties we show that the complex interplay of bulk and interface-induced spin–orbit terms allows a high degree of electrical control and makes acceptors potential candidates for scalable quantum computation in Si.
Quantum computation with mesoscopic superposition states
Oliveira, M. C.; Munro, W. J.
2000-01-01
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.
Moll, Nikolaj; Fuhrer, Andreas; Staar, Peter; Tavernelli, Ivano
2016-07-01
Quantum chemistry simulations on a quantum computer suffer from the overhead needed for encoding the Fermionic problem in a system of qubits. By exploiting the block diagonality of a Fermionic Hamiltonian, we show that the number of required qubits can be reduced while the number of terms in the Hamiltonian will increase. All operations for this reduction can be performed in operator space. The scheme is conceived as a pre-computational step that would be performed prior to the actual quantum simulation. We apply this scheme to reduce the number of qubits necessary to simulate both the Hamiltonian of the two-site Fermi–Hubbard model and the hydrogen molecule. Both quantum systems can then be simulated with a two-qubit quantum computer. Despite the increase in the number of Hamiltonian terms, the scheme still remains a useful tool to reduce the dimensionality of specific quantum systems for quantum simulators with a limited number of resources.
Digitized adiabatic quantum computing with a superconducting circuit.
Barends, R; Shabani, A; Lamata, L; Kelly, J; Mezzacapo, A; Las Heras, U; Babbush, R; Fowler, A G; Campbell, B; Chen, Yu; Chen, Z; Chiaro, B; Dunsworth, A; Jeffrey, E; Lucero, E; Megrant, A; Mutus, J Y; Neeley, M; Neill, C; O'Malley, P J J; Quintana, C; Roushan, P; Sank, D; Vainsencher, A; Wenner, J; White, T C; Solano, E; Neven, H; Martinis, John M
2016-06-01
Quantum mechanics can help to solve complex problems in physics and chemistry, provided they can be programmed in a physical device. In adiabatic quantum computing, a system is slowly evolved from the ground state of a simple initial Hamiltonian to a final Hamiltonian that encodes a computational problem. The appeal of this approach lies in the combination of simplicity and generality; in principle, any problem can be encoded. In practice, applications are restricted by limited connectivity, available interactions and noise. A complementary approach is digital quantum computing, which enables the construction of arbitrary interactions and is compatible with error correction, but uses quantum circuit algorithms that are problem-specific. Here we combine the advantages of both approaches by implementing digitized adiabatic quantum computing in a superconducting system. We tomographically probe the system during the digitized evolution and explore the scaling of errors with system size. We then let the full system find the solution to random instances of the one-dimensional Ising problem as well as problem Hamiltonians that involve more complex interactions. This digital quantum simulation of the adiabatic algorithm consists of up to nine qubits and up to 1,000 quantum logic gates. The demonstration of digitized adiabatic quantum computing in the solid state opens a path to synthesizing long-range correlations and solving complex computational problems. When combined with fault-tolerance, our approach becomes a general-purpose algorithm that is scalable. PMID:27279216
Digitized adiabatic quantum computing with a superconducting circuit
Barends, R.; Shabani, A.; Lamata, L.; Kelly, J.; Mezzacapo, A.; Heras, U. Las; Babbush, R.; Fowler, A. G.; Campbell, B.; Chen, Yu; Chen, Z.; Chiaro, B.; Dunsworth, A.; Jeffrey, E.; Lucero, E.; Megrant, A.; Mutus, J. Y.; Neeley, M.; Neill, C.; O’Malley, P. J. J.; Quintana, C.; Roushan, P.; Sank, D.; Vainsencher, A.; Wenner, J.; White, T. C.; Solano, E.; Neven, H.; Martinis, John M.
2016-06-01
Quantum mechanics can help to solve complex problems in physics and chemistry, provided they can be programmed in a physical device. In adiabatic quantum computing, a system is slowly evolved from the ground state of a simple initial Hamiltonian to a final Hamiltonian that encodes a computational problem. The appeal of this approach lies in the combination of simplicity and generality; in principle, any problem can be encoded. In practice, applications are restricted by limited connectivity, available interactions and noise. A complementary approach is digital quantum computing, which enables the construction of arbitrary interactions and is compatible with error correction, but uses quantum circuit algorithms that are problem-specific. Here we combine the advantages of both approaches by implementing digitized adiabatic quantum computing in a superconducting system. We tomographically probe the system during the digitized evolution and explore the scaling of errors with system size. We then let the full system find the solution to random instances of the one-dimensional Ising problem as well as problem Hamiltonians that involve more complex interactions. This digital quantum simulation of the adiabatic algorithm consists of up to nine qubits and up to 1,000 quantum logic gates. The demonstration of digitized adiabatic quantum computing in the solid state opens a path to synthesizing long-range correlations and solving complex computational problems. When combined with fault-tolerance, our approach becomes a general-purpose algorithm that is scalable.
Statistical constraints on state preparation for a quantum computer
Subhash Kak
2001-10-01
Quantum computing algorithms require that the quantum register be initially present in a superposition state. To achieve this, we consider the practical problem of creating a coherent superposition state of several qubits. We show that the constraints of quantum statistics require that the entropy of the system be brought down when several independent qubits are assembled together. In particular, we have: (i) not all initial states are realizable as pure states; (ii) the temperature of the system must be reduced. These factors, in addition to decoherence and sensitivity to errors, must be considered in the implementation of quantum computers.
Multi-valued Logic Gates for Quantum Computation
Muthukrishnan, Ashok; Stroud, Jr, C. R.
2000-01-01
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 line...
On Computational Power of Quantum Read-Once Branching Programs
Farid Ablayev
2011-03-01
Full Text Available In this paper we review our current results concerning the computational power of quantum read-once branching programs. First of all, based on the circuit presentation of quantum branching programs and our variant of quantum fingerprinting technique, we show that any Boolean function with linear polynomial presentation can be computed by a quantum read-once branching program using a relatively small (usually logarithmic in the size of input number of qubits. Then we show that the described class of Boolean functions is closed under the polynomial projections.
Eigenstates of Operating Quantum Computer Hypersensitivity to Static Imperfections
Benenti, G; Montangero, S; Shepelyansky, D L; Benenti, Giuliano; Casati, Giulio; Montangero, Simone; Shepelyansky, Dima L.
2002-01-01
We study the properties of eigenstates of an operating quantum computer which simulates the dynamical evolution in the regime of quantum chaos. Even if the quantum algorithm is polynomial in number of qubits $n_q$, it is shown that the ideal eigenstates become mixed and strongly modified by static imperfections above a certain threshold which drops exponentially with $n_q$. Above this threshold the quantum eigenstate entropy grows linearly with $n_q$ but the computation remains reliable during a time scale which is polynomial in the imperfection strength and in $n_q$.
Universal quantum computation with a nonlinear oscillator network
Goto, Hayato
2016-05-01
We theoretically show that a nonlinear oscillator network with controllable parameters can be used for universal quantum computation. The initialization is achieved by a quantum-mechanical bifurcation based on quantum adiabatic evolution, which yields a Schrödinger cat state. All the elementary quantum gates are also achieved by quantum adiabatic evolution, in which dynamical phases accompanying the adiabatic evolutions are controlled by the system parameters. Numerical simulation results indicate that high gate fidelities can be achieved, where no dissipation is assumed.
Quantum Computers: Noise Propagation and Adversarial Noise Models
Kalai, Gil
2009-01-01
In this paper we consider adversarial noise models that will fail quantum error correction and fault-tolerant quantum computation. We describe known results regarding high-rate noise, sequential computation, and reversible noisy computation. We continue by discussing highly correlated noise and the "boundary," in terms of correlation of errors, of the "threshold theorem." Next, we draw a picture of adversarial forms of noise called (collectively) "detrimental noise." Detrimental noise is mode...
Quantum Nondeterministic Computation based on Statistics Superselection Rules
Castagnoli, G.
Quantum states which obey certain symmetry superselection rules under identical particles permutation can be interpreted as computational states satisfying corresponding Boolean predicates. Given the NP-complete problem of testing the satisfiability of a generic Boolean predicate P, we investigate the possibility of achieving quantum nondeterministic computation by deriving, from P, a physical situation in which the computational states satisfy P iff they satisfy a special fermion statistics.
Quantum toys for quantum computing: persistent currents controled by spin chirality
Tatara, Gen; Garcia, N.
2003-01-01
Quantum devices and computers will need operational units in different architectural configurations for their functioning. The unit should be a simple ``quantum toy'', easy to handle superposition states. Here a novel such unit of quantum mechanical flux state (or persistent current) in a conducting ring with three ferromagnetic quantum dots is presented. The state is labeled by the two direction of the persistent current, which is driven by the spin chirality of the dots, and is controled by...
Quantum simulation of a three-body interaction Hamiltonian on an NMR quantum computer
Tseng, C H; Sharf, Y; Knill, E H; Laflamme, R; Havel, T F; Cory, D G
2000-01-01
Extensions of average Hamiltonian theory to quantum computation permit the design of arbitrary Hamiltonians, allowing rotations throughout a large Hilbert space. In this way, the kinematics and dynamics of any quantum system may be simulated by a quantum computer. A basis mapping between the systems dictates the average Hamiltonian in the quantum computer needed to implement the desired Hamiltonian in the simulated system. The flexibility of the procedure is illustrated with NMR on 13-C labelled Alanine by creating the non-physical Hamiltonian ZZZ corresponding to a three body interaction.
Saito, A; Akagi, Y; Hashizume, N; Ohta, K
2000-01-01
We found that the actual computational time-cost of the QFT is O(n 2^n) for large n in a quantum computer using nuclear spins. The computational cost of a quantum algorithm has usually been estimated as the sum of the universal gates required in such ideal mathematical models as the Quantum Turing Machine(QTM) and the quantum circuit. This cost is proportional to an actual time-cost in the physical implementation where all quantum operations can be achieved in the same time. However, if the implementation takes a different time for each quantum gate, there is a possibility that the actual time-cost will have a different behavior from the ideal cost. So we estimated the actual time-cost of the QFT in these implementations by considering the gating time. The actual time-cost is drastically different from O(n^2) estimated by complexity analysis.
Spin systems and long-range interactions for quantum memories and quantum computing
Pedrocchi, Fabio Luigi
2013-01-01
Since the seminal work by Shor who proposed a quantum algorithm factorizing integers into prime factors, it has become manifest that the laws of quantum mechanics provide resources for computation that overpower classical physics. The computational advantages that quantum physics offers have stimulated a tremendous amount of theoretical and experimental research. In this context, spin systems have played a major role, given that the spin degree of freedom -- with the paradigmatic case of the ...
General approaches in ensemble quantum computing
V Vimalan; N Chandrakumar
2008-01-01
We have developed methodology for NMR quantum computing focusing on enhancing the efficiency of initialization, of logic gate implementation and of readout. Our general strategy involves the application of rotating frame pulse sequences to prepare pseudopure states and to perform logic operations. We demonstrate experimentally our methodology for both homonuclear and heteronuclear spin ensembles. On model two-spin systems, the initialization time of one of our sequences is three-fourths (in the heteronuclear case) or one-fourth (in the homonuclear case), of the typical pulsed free precession sequences, attaining the same initialization efficiency. We have implemented the logical SWAP operation in homonuclear AMX spin systems using selective isotropic mixing, reducing the duration taken to a third compared to the standard re-focused INEPT-type sequence. We introduce the 1D version for readout of the rotating frame SWAP operation, in an attempt to reduce readout time. We further demonstrate the Hadamard mode of 1D SWAP, which offers 2N-fold reduction in experiment time for a system with -working bits, attaining the same sensitivity as the standard 1D version.
Local fault-tolerant quantum computation
We analyze and study the effects of locality on the fault-tolerance threshold for quantum computation. We analytically estimate how the threshold will depend on a scale parameter r which characterizes the scale-up in the size of the circuit due to encoding. We carry out a detailed seminumerical threshold analysis for concatenated coding using the seven-qubit CSS code in the local and the 'nonlocal' setting. First, we find that the threshold in the local model for the [7,1,3] code has a 1/r dependence, which is in correspondence with our analytical estimate. Second, the threshold, beyond the 1/r dependence, does not depend too strongly on the noise levels for transporting qubits. Beyond these results, we find that it is important to look at more than one level of concatenation in order to estimate the threshold and that it may be beneficial in certain places, like in the transportation of qubits, to do error correction only infrequently
Cryogenic setup for trapped ion quantum computing
Brandl, M F; Postler, L; Nolf, A; Lakhmanskiy, K; Paiva, R R; Möller, S; Daniilidis, N; Häffner, H; Kaushal, V; Ruster, T; Warschburger, C; Kaufmann, H; Poschinger, U G; Schmidt-Kaler, F; Schindler, P; Monz, T; Blatt, R
2016-01-01
We report on the design of a cryogenic setup for trapped ion quantum computing containing a segmented surface electrode trap. The heat shield of our cryostat is designed to attenuate alternating magnetic field noise, resulting in 120~dB reduction of 50~Hz noise along the magnetic field axis. We combine this efficient magnetic shielding with high optical access required for single ion addressing as well as for efficient state detection by placing two lenses each with numerical aperture 0.23 inside the inner heat shield. The cryostat design incorporates vibration isolation to avoid decoherence of optical qubits due to the motion of the cryostat. We measure vibrations of the cryostat of less than $\\pm$20~nm over 2~s. In addition to the cryogenic apparatus, we describe the setup required for an operation with $^{\\mathrm{40}}$Ca$^{\\mathrm{+}}$ and $^{\\mathrm{88}}$Sr$^{\\mathrm{+}}$ ions. The instability of the laser manipulating the optical qubits in $^{\\mathrm{40}}$Ca$^{\\mathrm{+}}$ is characterized yielding a min...
Stabilizer quantum error correction with quantum bus computation
In this paper we investigate stabilizer quantum error correction codes using controlled phase rotations of strong coherent probe states. We explicitly describe two methods to measure the Pauli operators that generate the stabilizer group of a quantum code. First, we show how to measure a Pauli operator acting on physical qubits using a single coherent state with large average photon number, displacement operations, and photon detection. Second, we show how to measure the stabilizer operators fault-tolerantly by the deterministic preparation of coherent quantum superposition ('cat') states along with one-bit teleportations between a qubitlike encoding of coherent states and physical qubits
Integrated photonic qubit quantum computing on a superconducting chip
Du Lianghui; Hu Yong; Zhou Zhengwei; Guo Guangcan; Zhou Xingxiang, E-mail: xizhou@ustc.edu.c [Key Laboratory of Quantum Information, University of Science and Technology of China, Chinese Academy of Sciences, Hefei 230026 (China)
2010-06-15
We study a quantum computing system using microwave photons in transmission line resonators on a superconducting chip as qubits. We show that linear optics and other controls necessary for quantum computing can be implemented by coupling to Josephson devices on the same chip. By taking advantage of the strong nonlinearities in Josephson junctions, photonic qubit interactions can be realized. We analyze the gate error rate to demonstrate that our scheme is realistic even for Josephson devices with limited decoherence times. As a conceptually innovative solution based on existing technologies, our scheme provides an integrated and scalable approach to the next key milestone for photonic qubit quantum computing.
Integrated photonic qubit quantum computing on a superconducting chip
Du, Lianghui; Zhou, Zheng-Wei; Guo, Guang-Can; Zhou, Xingxiang
2009-01-01
We study a quantum computing system using microwave photons in transmission line resonators on a superconducting chip as qubits. We show that all control necessary for quantum computing can be implemented by coupling to Josephson devices on the same chip, and take advantage of their strong inherent nonlinearities to realize qubit interactions. We analyze the gate error rate to demonstrate that our scheme is realistic even for Josephson devices with limited decoherence times. A conceptually innovative solution based on existing technologies, our scheme provides an integrated and scalable approach to the next key milestone for photonic qubit quantum computing.
Is the quantum computer a dream or a nightmare?
Some researchers think that the quantum computer is impracticable in the present state of our knowledge. For them, the promises are elsewhere: lighting the fundamental questions about this physics opposite to intuition. The basic components of the quantum computer is a logic gate. The candidates are ions traps or atoms cavities or photons cavities. The stability of this kind of components during interactions is the key issue due to decoherence. The best work of a quantum computer seems to be the factorization of 15. So the best interest is to progress in our understanding of the mesoscopic systems dissipation. (O.M.)
Integrated photonic qubit quantum computing on a superconducting chip
We study a quantum computing system using microwave photons in transmission line resonators on a superconducting chip as qubits. We show that linear optics and other controls necessary for quantum computing can be implemented by coupling to Josephson devices on the same chip. By taking advantage of the strong nonlinearities in Josephson junctions, photonic qubit interactions can be realized. We analyze the gate error rate to demonstrate that our scheme is realistic even for Josephson devices with limited decoherence times. As a conceptually innovative solution based on existing technologies, our scheme provides an integrated and scalable approach to the next key milestone for photonic qubit quantum computing.
Diamond for quantum communications, spintronics and quantum computing
Full text: Optically emitting defect centres in diamond display a range of unique quantum properties that offer exciting possibilities for the construction of quantum devices which employ optical read-out In this talk I will review these remarkable properties and explain why diamond is an ideal material for use in the fabrication of (i) single photon sources for quantum communications, (i i) optical fibre-based single spin read out systems and (iii) platforms for the investigation of quantum entanglement in solid state systems. The toolkit of available fabrication strategies will be presented Our most recent results on the fabrication of fibre based single photon sources and all-diamond waveguides and cavities will be reviewed. Copyright (2005) Australian Institute of Physics
Quantum computation with nuclear spins in quantum dots
Christ, Henning
2008-01-01
In this thesis we present protocols for the polarization of nuclear spins in a quantum dot via the hyperfine interaction with a conduction band electron and give a quantitative solution to the master equation we derive. The collective interference effects limiting the polarization are studied in detail, and ways of mitigating them are proposed. At high polarization levels the electron-nuclear interaction is approximated with simple and practical (quantum optical) models, suggesting the possib...
A Photonic Implementation for the Topological Cluster State Quantum Computer
Herrera-Martí, David A; Jennings, David; Rudolph, Terry
2010-01-01
A new implementation of the topological cluster state quantum computer is suggested, in which the basic elements are linear optics, measurements, and a two-dimensional array of quantum dots. This overcomes the need for non-linear devices to create a lattice of entangled photons. We give estimates of the minimum efficiencies needed for the detectors, fusion gates and quantum dots, from a numerical simulation.
Entanglement, thermalisation and stationarity: The computational foundations of quantum mechanics
Guruprasad, V.
2000-01-01
'Tis said, to know others is to be learned, to know oneself, wise - I demonstrate that it could be more fundamental than knowing the rest of nature, by applying classical computational principles and engineering hindsight to derive and explain quantum entanglement, state space formalism and the statistical nature of quantum mechanics. I show that an entangled photon pair is literally no more than a 1-bit hologram, that the quantum state formalism is completely derivable from general considera...
Perturbation Theory for Quantum Computation with Large Number of Qubits
Berman, G. P.; Doolen, G. D.; Kamenev, D. I.; Tsifrinovich, V. I.
2001-01-01
We describe a new and consistent perturbation theory for solid-state quantum computation with many qubits. The errors in the implementation of simple quantum logic operations caused by non-resonant transitions are estimated. We verify our perturbation approach using exact numerical solution for relatively small (L=10) number of qubits. A preferred range of parameters is found in which the errors in processing quantum information are small. Our results are needed for experimental testing of sc...
Statistical Constraints on State Preparation for a Quantum Computer
Kak, Subhash
2000-01-01
Quantum computing algorithms require that the quantum register be initially present in a superposition state. To achieve this, we consider the practical problem of creating a coherent superposition state of several qubits. Owing to considerations of quantum statistics, this requires that the entropy of the system go down. This, in turn, has two practical implications: (i) the initial state cannot be controlled; (ii) the temperature of the system must be reduced. These factors, in addition to ...
Barz, Stefanie
2015-04-01
Quantum physics has revolutionized our understanding of information processing and enables computational speed-ups that are unattainable using classical computers. This tutorial reviews the fundamental tools of photonic quantum information processing. The basics of theoretical quantum computing are presented and the quantum circuit model as well as measurement-based models of quantum computing are introduced. Furthermore, it is shown how these concepts can be implemented experimentally using photonic qubits, where information is encoded in the photons’ polarization.
On the Relation Between Quantum Computational Speedup and Retrocausality
Giuseppe Castagnoli
2016-01-01
Full Text Available We investigate the reason for the quantum speedup (quantum algorithms require fewer computation steps than their classical counterparts. We extend the representation of the quantum algorithm to the process of setting the problem, namely choosing the function computed by the black box. The initial measurement selects a setting at random, Bob (the problem setter unitarily changes it into the desired one. With reference to the observer dependent quantum states of relational quantum mechanics, this representation is with respect to Bob and any external observer, it cannot be with respect to Alice (the problem solver. It would tell her the function computed by the black box, which to her should be hidden. To Alice, the projection of the quantum state due to the initial measurement is retarded at the end of her problem solving action, so that the algorithm input state remains one of complete ignorance of the setting. By black box computations, she unitarily sends it into the output state that, for each possible setting, encodes the corresponding solution, acquired by the final measurement. Mathematically, we can ascribe to the final measurement the selection of any fraction R of the random outcome of the initial measurement. This projects the input state to Alice on one of lower entropy where she knows the corresponding fraction of the problem setting. Given the appropriate value of R, the quantum algorithm is a sum over classical histories in each of which Alice, knowing in advance one of the R-th parts of the setting, performs the black box computations still required to identify the solution. Given a quantum algorithm, this retrocausality model provides the value of R that explains its speed up; in the major quantum algorithms, R is 1/2 or slightly above it. Conversely, given the problem, R=1/2 always yields the order of magnitude of the number of black box computations required to solve it in an optimal quantum way.Quanta 2016; 5: 34–52.
Simulation of quantum computation : A deterministic event-based approach
Michielsen, K; De Raedt, K; De Raedt, H
2005-01-01
We demonstrate that locally connected networks of machines that have primitive learning capabilities can be used to perform a deterministic, event-based simulation of quantum computation. We present simulation results for basic quantum operations such as the Hadamard and the controlled-NOT gate, and
Nonadiabatic corrections to a quantum dot quantum computer working in adiabatic limit
M Ávila
2014-07-01
The time of operation of an adiabatic quantum computer must be less than the decoherence time, otherwise the computer would be nonoperative. So far, the nonadiabatic corrections to an adiabatic quantum computer are merely theoretical considerations. By the above reason, we consider the particular case of a quantum-dot-confined electron spin qubit working adiabatically in the nanoscale regime (e.g., in the MeV range of energies) and include nonadiabatic corrections in it. If the decoherence times of a quantum dot computer are ∼100 ns [J M Kikkawa and D D Awschalom, Phys. Rev. Lett. 80, 4313 (1998)] then the predicted number of one qubit gate (primitive) operations of the Loss–DiVincenzo quantum computer in such an interval of time must be > 1010. However, if the quantum-dot-confined electron spin qubit is very excited (i.e., the semiclassical limit) the number of operations of such a computer would be approximately the same as that of a classical computer. Our results suggest that for an adiabatic quantum computer to operate successfully within the decoherence times, it is necessary to take into account nonadiabatic corrections.
Continuous Variable Quantum Communication and Computation
Andersen, Ulrik Lund; Dong, Ruifang; Jezek, Miroslav;
2011-01-01
We use squeezed states of light to implement a robust continuous variable quantum key distribution scheme and an optical Hadamard gate based on coherent state qubits.......We use squeezed states of light to implement a robust continuous variable quantum key distribution scheme and an optical Hadamard gate based on coherent state qubits....
Alexis De Vos
2011-06-01
Full Text Available Whereas quantum computing circuits follow the symmetries of the unitary Lie group, classical reversible computation circuits follow the symmetries of a finite group, i.e., the symmetric group. We confront the decomposition of an arbitrary classical reversible circuit with w bits and the decomposition of an arbitrary quantum circuit with w qubits. Both decompositions use the control gate as building block, i.e., a circuit transforming only one (qubit, the transformation being controlled by the other w−1 (qubits. We explain why the former circuit can be decomposed into 2w − 1 control gates, whereas the latter circuit needs 2w − 1 control gates. We investigate whether computer circuits, not based on the full unitary group but instead on a subgroup of the unitary group, may be decomposable either into 2w − 1 or into 2w − 1 control gates.
Protecting software agents from malicious hosts using quantum computing
Reisner, John; Donkor, Eric
2000-07-01
We evaluate how quantum computing can be applied to security problems for software agents. Agent-based computing, which merges technological advances in artificial intelligence and mobile computing, is a rapidly growing domain, especially in applications such as electronic commerce, network management, information retrieval, and mission planning. System security is one of the more eminent research areas in agent-based computing, and the specific problem of protecting a mobile agent from a potentially hostile host is one of the most difficult of these challenges. In this work, we describe our agent model, and discuss the capabilities and limitations of classical solutions to the malicious host problem. Quantum computing may be extremely helpful in addressing the limitations of classical solutions to this problem. This paper highlights some of the areas where quantum computing could be applied to agent security.
Deterministic linear optics quantum computation utilizing linked photon circuits
Yoran, N; Yoran, Nadav; Reznik, Benni
2003-01-01
We suggest an efficient scheme for quantum computation with linear optical elements utilizing "linked" photon states. The linked states are designed according to the particular quantum circuit one wishes to process. Once a linked-state has been successfully prepared, the computation is pursued deterministically by a sequence of teleportation steps. The present scheme enables a significant reduction of the average number of elementary gates per logical gate to about 20-30 CZ_{9/16} gates.
Cellular Structures for Computation in the Quantum Regime
Benjamin, S. C.; Johnson, N. F.
1998-01-01
We present a new cellular data processing scheme, a hybrid of existing cellular automata (CA) and gate array architectures, which is optimized for realization at the quantum scale. For conventional computing, the CA-like external clocking avoids the time-scale problems associated with ground-state relaxation schemes. For quantum computing, the architecture constitutes a novel paradigm whereby the algorithm is embedded in spatial, as opposed to temporal, structure. The architecture can be expl...
Simulation of finite state machines in a quantum computer
Dunlavey, M R
1998-01-01
A construction is given for simulating any deterministic finite state machine (FSM) on a quantum computer in a space-efficient manner. By constructing a superposition of input strings of lengths K or less, questions can be asked about the FSM, such as the inputs that reach particular nodes, and the answers can be found using a search algorithm such as Grover's. This has implications for the eventual utility of quantum computers for software validation.
Principles of quantum computation and information volume II
Any new textbook in quantum information has some pretty strong competition to contend with. Not only is there the classic text by Nielsen and Chuang from 2000, but also John Preskill's lecture notes, available for free online. Nevertheless, a proper textbook seems more enduring than online notes, and the field has progressed considerably in the seven years since Nielsen and Chuang was published. A new textbook is a great opportunity to give a snapshot of our current state of knowledge in quantum information. Therein also lies a problem: The field has expanded so much that it is impossible to cover everything at the undergraduate level. Quantum information theory is relevant to an extremely large portion of physics, from solid state and condensed matter physics to particle physics. Every discipline that has some relation to quantum mechanics is affected by our understanding of quantum information theory. Those who wish to write a book on quantum information therefore have to make some profound choices: Do you keep the ultimate aim of a quantum computer in mind, or do you focus on quantum communication and precision measurements as well? Do you describe how to build a quantum computer with all possible physical systems or do you present only the underlying principles? Do you include only the tried and tested ideas, or will you also explore more speculative directions? You don't have to take a black-or-white stance on these questions, but how you approach them will profoundly determine the character of your book. The authors of 'Principles of Quantum Computation and Information (Volume II: Basic Tools and Special Topics)' have chosen to focus on the construction of quantum computers, but restrict themselves mainly to general techniques. Only in the last chapter do they explicitly address the issues that arise in the different implementations. The book is the second volume in a series, and consists of four chapters (labelled 5 to 8) called 'Quantum Information Theory
Experimental all-optical one-way quantum computing
In recent years, the relatively new field of quantum information processing (QIP) has attracted the attention of many scientists around the world due to its promise of increased computational speed, absolute secure communication and the potential to simulate complex quantum mechanical systems. The very essence of this new quantum information technology are two concepts at the very heart of quantum mechanics, namely superposition and entanglement. The present Thesis contains the results of four different experiments that were all aimed at the demonstration of an entirely new model for quantum computing with linear optics, the 'one-way' quantum computer. For this purpose a multi-photon entangled state of four photons has been generated via the process of spontaneous parametric down-conversion and by using an interferometric setup. This entangled state acts as a resource that allowed for novel demonstrations of quantum algorithms and relevant experimental techniques. By exploiting the advances developed in both theory and experiment, in this Thesis we report the implementation of fast, active feed-forward that allowed, for the first time, the realization of deterministic linear optics quantum computing at an unprecedented speed. Further we were able to demonstrate the Deutsch algorithm on our one-way quantum computer, an important quantum algorithm that is capable of distinguishing whether a function is constant or balanced. Classically one needs to query the algorithm at least 2N/2 + 1 times for an N-bit binary input string, however, in the quantum regime, this can be done with one evaluation of the algorithm, independent of the size of the input. In another experiment we succeeded in playing an instance of a quantum game - the so-called Prisoner's dilemma - on our one-way quantum computer. Playing such a game is essentially the execution of a quantum algorithm made up of a distinct set of one- and two-qubit gates. This allows the individual players to increase their
Approximability of optimization problems through adiabatic quantum computation
Cruz-Santos, William
2014-01-01
The adiabatic quantum computation (AQC) is based on the adiabatic theorem to approximate solutions of the Schrödinger equation. The design of an AQC algorithm involves the construction of a Hamiltonian that describes the behavior of the quantum system. This Hamiltonian is expressed as a linear interpolation of an initial Hamiltonian whose ground state is easy to compute, and a final Hamiltonian whose ground state corresponds to the solution of a given combinatorial optimization problem. The adiabatic theorem asserts that if the time evolution of a quantum system described by a Hamiltonian is l
Quantum Computing Using Single Photons and the Zeno Effect
Franson, J D; Pittman, T B
2004-01-01
We show that the quantum Zeno effect can be used to suppress the failure events that would otherwise occur in a linear optics approach to quantum computing. From a practical viewpoint, that would allow the implementation of deterministic logic gates without the need for ancilla photons or high-efficiency detectors. We also show that the photons can behave as if they were fermions instead of bosons in the presence of a strong Zeno effect, which leads to a new paradigm for quantum computation.
Quantum computation with classical light: The Deutsch Algorithm
Perez-Garcia, Benjamin [Photonics and Mathematical Optics Group, Tecnológico de Monterrey, Monterrey 64849 (Mexico); University of the Witwatersrand, Private Bag 3, Johannesburg 2050 (South Africa); Francis, Jason [School of Chemistry and Physics, University of KwaZulu-Natal, Private Bag X54001, Durban 4000 (South Africa); McLaren, Melanie [University of the Witwatersrand, Private Bag 3, Johannesburg 2050 (South Africa); Hernandez-Aranda, Raul I. [Photonics and Mathematical Optics Group, Tecnológico de Monterrey, Monterrey 64849 (Mexico); Forbes, Andrew [University of the Witwatersrand, Private Bag 3, Johannesburg 2050 (South Africa); Konrad, Thomas, E-mail: konradt@ukzn.ac.za [School of Chemistry and Physics, University of KwaZulu-Natal, Private Bag X54001, Durban 4000 (South Africa); National Institute of Theoretical Physics, Durban Node, Private Bag X54001, Durban 4000 (South Africa)
2015-08-28
We present an implementation of the Deutsch Algorithm using linear optical elements and laser light. We encoded two quantum bits in form of superpositions of electromagnetic fields in two degrees of freedom of the beam: its polarisation and orbital angular momentum. Our approach, based on a Sagnac interferometer, offers outstanding stability and demonstrates that optical quantum computation is possible using classical states of light. - Highlights: • We implement the Deutsh Algorithm using linear optical elements and classical light. • Our qubits are encoded in the polarisation and orbital angular momentum of the beam. • We show that it is possible to achieve quantum computation with two qubits in the classical domain of light.
Quantum computation with classical light: The Deutsch Algorithm
We present an implementation of the Deutsch Algorithm using linear optical elements and laser light. We encoded two quantum bits in form of superpositions of electromagnetic fields in two degrees of freedom of the beam: its polarisation and orbital angular momentum. Our approach, based on a Sagnac interferometer, offers outstanding stability and demonstrates that optical quantum computation is possible using classical states of light. - Highlights: • We implement the Deutsh Algorithm using linear optical elements and classical light. • Our qubits are encoded in the polarisation and orbital angular momentum of the beam. • We show that it is possible to achieve quantum computation with two qubits in the classical domain of light
New Approaches to Quantum Computing using Nuclear Magnetic Resonance Spectroscopy
The power of a quantum computer (QC) relies on the fundamental concept of the superposition in quantum mechanics and thus allowing an inherent large-scale parallelization of computation. In a QC, binary information embodied in a quantum system, such as spin degrees of freedom of a spin-1/2 particle forms the qubits (quantum mechanical bits), over which appropriate logical gates perform the computation. In classical computers, the basic unit of information is the bit, which can take a value of either 0 or 1. Bits are connected together by logic gates to form logic circuits to implement complex logical operations. The expansion of modern computers has been driven by the developments of faster, smaller and cheaper logic gates. As the size of the logic gates become smaller toward the level of atomic dimensions, the performance of such a system is no longer considered classical but is rather governed by quantum mechanics. Quantum computers offer the potentially superior prospect of solving computational problems that are intractable to classical computers such as efficient database searches and cryptography. A variety of algorithms have been developed recently, most notably Shor's algorithm for factorizing long numbers into prime factors in polynomial time and Grover's quantum search algorithm. The algorithms that were of only theoretical interest as recently, until several methods were proposed to build an experimental QC. These methods include, trapped ions, cavity-QED, coupled quantum dots, Josephson junctions, spin resonance transistors, linear optics and nuclear magnetic resonance. Nuclear magnetic resonance (NMR) is uniquely capable of constructing small QCs and several algorithms have been implemented successfully. NMR-QC differs from other implementations in one important way that it is not a single QC, but a statistical ensemble of them. Thus, quantum computing based on NMR is considered as ensemble quantum computing. In NMR quantum computing, the spins with
Scalable Digital Hardware for a Trapped Ion Quantum Computer
Mount, Emily; Vrijsen, Geert; Adams, Michael; Baek, So-Young; Hudek, Kai; Isabella, Louis; Crain, Stephen; van Rynbach, Andre; Maunz, Peter; Kim, Jungsang
2015-01-01
Many of the challenges of scaling quantum computer hardware lie at the interface between the qubits and the classical control signals used to manipulate them. Modular ion trap quantum computer architectures address scalability by constructing individual quantum processors interconnected via a network of quantum communication channels. Successful operation of such quantum hardware requires a fully programmable classical control system capable of frequency stabilizing the continuous wave lasers necessary for trapping and cooling the ion qubits, stabilizing the optical frequency combs used to drive logic gate operations on the ion qubits, providing a large number of analog voltage sources to drive the trap electrodes, and a scheme for maintaining phase coherence among all the controllers that manipulate the qubits. In this work, we describe scalable solutions to these hardware development challenges.
Scalable digital hardware for a trapped ion quantum computer
Mount, Emily; Gaultney, Daniel; Vrijsen, Geert; Adams, Michael; Baek, So-Young; Hudek, Kai; Isabella, Louis; Crain, Stephen; van Rynbach, Andre; Maunz, Peter; Kim, Jungsang
2015-09-01
Many of the challenges of scaling quantum computer hardware lie at the interface between the qubits and the classical control signals used to manipulate them. Modular ion trap quantum computer architectures address scalability by constructing individual quantum processors interconnected via a network of quantum communication channels. Successful operation of such quantum hardware requires a fully programmable classical control system capable of frequency stabilizing the continuous wave lasers necessary for loading, cooling, initialization, and detection of the ion qubits, stabilizing the optical frequency combs used to drive logic gate operations on the ion qubits, providing a large number of analog voltage sources to drive the trap electrodes, and a scheme for maintaining phase coherence among all the controllers that manipulate the qubits. In this work, we describe scalable solutions to these hardware development challenges.
Cloning of Qubits of a Quantum Computer
Dumachev, V. N.; Orlov, S. V.
2002-01-01
A system of unitary transformations providing two optimal copies of an arbitrary input cubit is obtained. An algorithm based on classical Boolean algebra and allowing one to find any unitary transformation realized by the quantum CNOT operators is proposed.
Quantum perceptron over a field and neural network architecture selection in a quantum computer.
da Silva, Adenilton José; Ludermir, Teresa Bernarda; de Oliveira, Wilson Rosa
2016-04-01
In this work, we propose a quantum neural network named quantum perceptron over a field (QPF). Quantum computers are not yet a reality and the models and algorithms proposed in this work cannot be simulated in actual (or classical) computers. QPF is a direct generalization of a classical perceptron and solves some drawbacks found in previous models of quantum perceptrons. We also present a learning algorithm named Superposition based Architecture Learning algorithm (SAL) that optimizes the neural network weights and architectures. SAL searches for the best architecture in a finite set of neural network architectures with linear time over the number of patterns in the training set. SAL is the first learning algorithm to determine neural network architectures in polynomial time. This speedup is obtained by the use of quantum parallelism and a non-linear quantum operator. PMID:26878722
Quantum Computation Based on Photons with Three Degrees of Freedom.
Luo, Ming-Xing; Li, Hui-Ran; Lai, Hong; Wang, Xiaojun
2016-01-01
Quantum systems are important resources for quantum computer. Different from previous encoding forms using quantum systems with one degree of freedom (DoF) or two DoFs, we investigate the possibility of photon systems encoding with three DoFs consisting of the polarization DoF and two spatial DoFs. By exploring the optical circular birefringence induced by an NV center in a diamond embedded in the photonic crystal cavity, we propose several hybrid controlled-NOT (hybrid CNOT) gates operating on the two-photon or one-photon system. These hybrid CNOT gates show that three DoFs may be encoded as independent qubits without auxiliary DoFs. Our result provides a useful way to reduce quantum simulation resources by exploring complex quantum systems for quantum applications requiring large qubit systems. PMID:27174302
Quantum Computation Based on Photons with Three Degrees of Freedom
Luo, Ming-Xing; Li, Hui-Ran; Lai, Hong; Wang, Xiaojun
2016-05-01
Quantum systems are important resources for quantum computer. Different from previous encoding forms using quantum systems with one degree of freedom (DoF) or two DoFs, we investigate the possibility of photon systems encoding with three DoFs consisting of the polarization DoF and two spatial DoFs. By exploring the optical circular birefringence induced by an NV center in a diamond embedded in the photonic crystal cavity, we propose several hybrid controlled-NOT (hybrid CNOT) gates operating on the two-photon or one-photon system. These hybrid CNOT gates show that three DoFs may be encoded as independent qubits without auxiliary DoFs. Our result provides a useful way to reduce quantum simulation resources by exploring complex quantum systems for quantum applications requiring large qubit systems.
Development of Compounds Suitable for NMR Quantum Computing
Djintchui Ngongang, Arnaud
2012-01-01
Today the trend is to automate everything that can be computerized and to finish this task in shortest time possible. Computers thus play an important role in our everyday life which is no more to be demonstrated. The performance of computers is continuously enhanced, but this development has it’s limits. Therefore, computer scientists try to design a completely new generation of information processing machines. The quantum computer could be part of this new generation. Although the theory of...
Quantum Computing: Selected Internet Resources for Librarians, Researchers, and the Casually Curious
Cirasella, Jill
2009-01-01
This article presents an annotated selection of the most important and informative Internet resources for learning about quantum computing, finding quantum computing literature, and tracking quantum computing news. All of the quantum computing resources described in this article are freely available, English-language web sites that fall into one…
Combined Error Correction Techniques for Quantum Computing Architectures
Byrd, M S; Byrd, Mark S.; Lidar, Daniel A.
2003-01-01
Proposals for quantum computing devices are many and varied. They each have unique noise processes that make none of them fully reliable at this time. There are several error correction/avoidance techniques which are valuable for reducing or eliminating errors, but not one, alone, will serve as a panacea. One must therefore take advantage of the strength of each of these techniques so that we may extend the coherence times of the quantum systems and create more reliable computing devices. To this end we give a general strategy for using dynamical decoupling operations on encoded subspaces. These encodings may be of any form; of particular importance are decoherence-free subspaces and quantum error correction codes. We then give means for empirically determining an appropriate set of dynamical decoupling operations for a given experiment. Using these techniques, we then propose a comprehensive encoding solution to many of the problems of quantum computing proposals which use exchange-type interactions. This us...
Secrecy, Computational Loads and Rates in Practical Quantum Cryptography
Gilbert, G
2001-01-01
A number of questions associated with practical implementations of quantum cryptography systems having to do with unconditional secrecy, computational loads and effective secrecy rates in the presence of perfect and imperfect sources are discussed. The different types of unconditional secrecy, and their relationship to general communications security, are discussed in the context of quantum cryptography. In order to actually carry out a quantum cryptography protocol it is necessary that sufficient computational resources be available to perform the various processing steps, such as sifting, error correction, privacy amplification and authentication. We display the full computer machine instruction requirements needed to support a practical quantum cryptography implementation. We carry out a numerical comparison of system performance characteristics for implementations that make use of either weak coherent sources of light or perfect single photon sources, for eavesdroppers characterized by different levels of...
Quantum computing with distant single photon sources with insurance
Lim, Y L; Kwek, L C; Lim, Yuan Liang; Beige, Almut; Kwek, Leong Chuan
2004-01-01
We demonstrate the possibility to perform quantum computations using only single photon sources, linear optics elements and photon detectors. In contrast to common linear optics quantum computing proposals, the described scheme can be operated with insurance without relying on highly entangled ancilla photons. Universality is achieved by employing the properties of certain single photon sources, namely the fact that it is possible to encode the logical qubit within the state of a source as well as in the state of the generated photon. The proposed Ising gate allows to build cluster states for one-way quantum computing. Furthermore we describe the implementation of the quantum parity filter, enabling teleportation with insurance, and the generation of multiphoton entanglement on demand.
Dual Field Theories of Quantum Computation
Vanchurin, Vitaly
2016-01-01
Given two quantum states of $N$ q-bits we are interested to find the shortest quantum circuit consisting of only one- and two- q-bit gates that would transfer one state into another. We call it the quantum maze problem for the reasons described in the paper. We argue that in a large $N$ limit the quantum maze problem is equivalent to the problem of finding a semiclassical trajectory of some lattice field theory (the dual theory) on an $N+1$ dimensional space-time with geometrically flat, but topologically compact spatial slices. The spatial fundamental domain is an $N$ dimensional hyper-rhombohedron, and the temporal direction describes transitions from an arbitrary initial state to an arbitrary target state. We first consider a complex Klein-Gordon field theory and argue that it can only be used to study the shortest quantum circuits which do not involve generators composed of tensor products of multiple Pauli $Z$ matrices. Since such situation is not generic we call it the $Z$-problem. On the dual field the...
Blind quantum computation over a collective-noise channel
Takeuchi, Yuki; Fujii, Keisuke; Ikuta, Rikizo; Yamamoto, Takashi; Imoto, Nobuyuki
2016-05-01
Blind quantum computation (BQC) allows a client (Alice), who only possesses relatively poor quantum devices, to delegate universal quantum computation to a server (Bob) in such a way that Bob cannot know Alice's inputs, algorithm, and outputs. The quantum channel between Alice and Bob is noisy, and the loss over the long-distance quantum communication should also be taken into account. Here we propose to use decoherence-free subspace (DFS) to overcome the collective noise in the quantum channel for BQC, which we call DFS-BQC. We propose three variations of DFS-BQC protocols. One of them, a coherent-light-assisted DFS-BQC protocol, allows Alice to faithfully send the signal photons with a probability proportional to a transmission rate of the quantum channel. In all cases, we combine the ideas based on DFS and the Broadbent-Fitzsimons-Kashefi protocol, which is one of the BQC protocols, without degrading unconditional security. The proposed DFS-based schemes are generic and hence can be applied to other BQC protocols where Alice sends quantum states to Bob.
Solving strongly correlated electron models on a quantum computer
Wecker, Dave; Hastings, Matthew B.; Wiebe, Nathan; Clark, Bryan K.; Nayak, Chetan; Troyer, Matthias
2015-12-01
One of the main applications of future quantum computers will be the simulation of quantum models. While the evolution of a quantum state under a Hamiltonian is straightforward (if sometimes expensive), using quantum computers to determine the ground-state phase diagram of a quantum model and the properties of its phases is more involved. Using the Hubbard model as a prototypical example, we here show all the steps necessary to determine its phase diagram and ground-state properties on a quantum computer. In particular, we discuss strategies for efficiently determining and preparing the ground state of the Hubbard model starting from various mean-field states with broken symmetry. We present an efficient procedure to prepare arbitrary Slater determinants as initial states and present the complete set of quantum circuits needed to evolve from these to the ground state of the Hubbard model. We show that, using efficient nesting of the various terms, each time step in the evolution can be performed with just O (N ) gates and O (logN ) circuit depth. We give explicit circuits to measure arbitrary local observables and static and dynamic correlation functions, in both the time and the frequency domains. We further present efficient nondestructive approaches to measurement that avoid the need to reprepare the ground state after each measurement and that quadratically reduce the measurement error.
Quantum Memory Hierarchies: Efficient Designs to Match Available Parallelism in Quantum Computing
Thaker, D D; Cross, A W; Chuang, I L; Chong, F T; Thaker, Darshan D.; Metodi, Tzvetan S.; Cross, Andrew W.; Chuang, Isaac L.; Chong, Frederic T.
2006-01-01
The assumption of maximum parallelism support for the successful realization of scalable quantum computers has led to homogeneous, ``sea-of-qubits'' architectures. The resulting architectures overcome the primary challenges of reliability and scalability at the cost of physically unacceptable system area. We find that by exploiting the natural serialization at both the application and the physical microarchitecture level of a quantum computer, we can reduce the area requirement while improving performance. In particular we present a scalable quantum architecture design that employs specialization of the system into memory and computational regions, each individually optimized to match hardware support to the available parallelism. Through careful application and system analysis, we find that our new architecture can yield up to a factor of thirteen savings in area due to specialization. In addition, by providing a memory hierarchy design for quantum computers, we can increase time performance by a factor of e...
Quantum Computation with Aharonov-Bohm Qubits
Barone, A.; Hakioglu, T.; Kulik, I. O.
2002-01-01
We analyze the posibility of employing the mesoscopic-nanoscopic ring of a normal metal in a doubly degenerate persistent current state with a third auxihilary level and in the presence of the Aharonov-Bohm flux equal to the half of the normal flux quantum $\\hbar c/e$ as a qubit. The auxiliary level can be effectively used for all fundamental quantum logic gate (qu-gate) operations which includes the initialization, phase rotation, bit flip and the Hadamard transformation as well as the doubl...
Quantum information and computation for chemistry
Kais, Sabre; Rice, Stuart A
2014-01-01
Examines the intersection of quantum information and chemical physics The Advances in Chemical Physics series is dedicated to reviewing new and emerging topics as well as the latest developments in traditional areas of study in the field of chemical physics. Each volume features detailed comprehensive analyses coupled with individual points of view that integrate the many disciplines of science that are needed for a full understanding of chemical physics. This volume of the series explores the latest research findings, applications, and new research paths from the quantum information science
Entanglement-Based Machine Learning on a Quantum Computer
Cai, X.-D.; Wu, D.; Su, Z.-E.; Chen, M.-C.; Wang, X.-L.; Li, Li; Liu, N.-L.; Lu, C.-Y.; Pan, J.-W.
2015-03-01
Machine learning, a branch of artificial intelligence, learns from previous experience to optimize performance, which is ubiquitous in various fields such as computer sciences, financial analysis, robotics, and bioinformatics. A challenge is that machine learning with the rapidly growing "big data" could become intractable for classical computers. Recently, quantum machine learning algorithms [Lloyd, Mohseni, and Rebentrost, arXiv.1307.0411] were proposed which could offer an exponential speedup over classical algorithms. Here, we report the first experimental entanglement-based classification of two-, four-, and eight-dimensional vectors to different clusters using a small-scale photonic quantum computer, which are then used to implement supervised and unsupervised machine learning. The results demonstrate the working principle of using quantum computers to manipulate and classify high-dimensional vectors, the core mathematical routine in machine learning. The method can, in principle, be scaled to larger numbers of qubits, and may provide a new route to accelerate machine learning.
Entanglement-based machine learning on a quantum computer.
Cai, X-D; Wu, D; Su, Z-E; Chen, M-C; Wang, X-L; Li, Li; Liu, N-L; Lu, C-Y; Pan, J-W
2015-03-20
Machine learning, a branch of artificial intelligence, learns from previous experience to optimize performance, which is ubiquitous in various fields such as computer sciences, financial analysis, robotics, and bioinformatics. A challenge is that machine learning with the rapidly growing "big data" could become intractable for classical computers. Recently, quantum machine learning algorithms [Lloyd, Mohseni, and Rebentrost, arXiv.1307.0411] were proposed which could offer an exponential speedup over classical algorithms. Here, we report the first experimental entanglement-based classification of two-, four-, and eight-dimensional vectors to different clusters using a small-scale photonic quantum computer, which are then used to implement supervised and unsupervised machine learning. The results demonstrate the working principle of using quantum computers to manipulate and classify high-dimensional vectors, the core mathematical routine in machine learning. The method can, in principle, be scaled to larger numbers of qubits, and may provide a new route to accelerate machine learning. PMID:25839250
Bifurcation-based adiabatic quantum computation with a nonlinear oscillator network
Goto, Hayato
2016-02-01
The dynamics of nonlinear systems qualitatively change depending on their parameters, which is called bifurcation. A quantum-mechanical nonlinear oscillator can yield a quantum superposition of two oscillation states, known as a Schrödinger cat state, via quantum adiabatic evolution through its bifurcation point. Here we propose a quantum computer comprising such quantum nonlinear oscillators, instead of quantum bits, to solve hard combinatorial optimization problems. The nonlinear oscillator network finds optimal solutions via quantum adiabatic evolution, where nonlinear terms are increased slowly, in contrast to conventional adiabatic quantum computation or quantum annealing, where quantum fluctuation terms are decreased slowly. As a result of numerical simulations, it is concluded that quantum superposition and quantum fluctuation work effectively to find optimal solutions. It is also notable that the present computer is analogous to neural computers, which are also networks of nonlinear components. Thus, the present scheme will open new possibilities for quantum computation, nonlinear science, and artificial intelligence.
Bifurcation-based adiabatic quantum computation with a nonlinear oscillator network.
Goto, Hayato
2016-01-01
The dynamics of nonlinear systems qualitatively change depending on their parameters, which is called bifurcation. A quantum-mechanical nonlinear oscillator can yield a quantum superposition of two oscillation states, known as a Schrödinger cat state, via quantum adiabatic evolution through its bifurcation point. Here we propose a quantum computer comprising such quantum nonlinear oscillators, instead of quantum bits, to solve hard combinatorial optimization problems. The nonlinear oscillator network finds optimal solutions via quantum adiabatic evolution, where nonlinear terms are increased slowly, in contrast to conventional adiabatic quantum computation or quantum annealing, where quantum fluctuation terms are decreased slowly. As a result of numerical simulations, it is concluded that quantum superposition and quantum fluctuation work effectively to find optimal solutions. It is also notable that the present computer is analogous to neural computers, which are also networks of nonlinear components. Thus, the present scheme will open new possibilities for quantum computation, nonlinear science, and artificial intelligence. PMID:26899997
D'Ariano, Giacomo Mauro
2010-05-01
I will argue that the proposal of establishing operational foundations of Quantum Theory should have top-priority, and that the Lucien Hardy's program on Quantum Gravity should be paralleled by an analogous program on Quantum Field Theory (QFT), which needs to be reformulated, notwithstanding its experimental success. In this paper, after reviewing recently suggested operational "principles of the quantumness," I address the problem on whether Quantum Theory and Special Relativity are unrelated theories, or instead, if the one implies the other. I show how Special Relativity can be indeed derived from causality of Quantum Theory, within the computational paradigm "the universe is a huge quantum computer," reformulating QFT as a Quantum-Computational Field Theory (QCFT). In QCFT Special Relativity emerges from the fabric of the computational network, which also naturally embeds gauge invariance. In this scheme even the quantization rule and the Planck constant can in principle be derived as emergent from the underlying causal tapestry of space-time. In this way Quantum Theory remains the only theory operating the huge computer of the universe. Is the computational paradigm only a speculative tautology (theory as simulation of reality), or does it have a scientific value? The answer will come from Occam's razor, depending on the mathematical simplicity of QCFT. Here I will just start scratching the surface of QCFT, analyzing simple field theories, including Dirac's. The number of problems and unmotivated recipes that plague QFT strongly motivates us to undertake the QCFT project, since QCFT makes all such problems manifest, and forces a re-foundation of QFT.
Quantum Computing with an Electron Spin Ensemble
Wesenberg, Janus; Ardavan, A.; Briggs, G.A.D.;
2009-01-01
We propose to encode a register of quantum bits in different collective electron spin wave excitations in a solid medium. Coupling to spins is enabled by locating them in the vicinity of a superconducting transmission line cavity, and making use of their strong collective coupling to the quantized...
Could one make a diamond-based quantum computer?
We assess routes to a diamond-based quantum computer, where we specifically look towards scalable devices, with at least 10 linked quantum gates. Such a computer should satisfy the deVincenzo rules and might be used at convenient temperatures. The specific examples that we examine are based on the optical control of electron spins. For some such devices, nuclear spins give additional advantages. Since there have already been demonstrations of basic initialization and readout, our emphasis is on routes to two-qubit quantum gate operations and the linking of perhaps 10-20 such gates. We analyse the dopant properties necessary, especially centres containing N and P, and give results using simple scoping calculations for the key interactions determining gate performance. Our conclusions are cautiously optimistic: it may be possible to develop a useful quantum information processor that works above cryogenic temperatures.
Combining dynamical decoupling with fault-tolerant quantum computation
Ng, Hui Khoon; Preskill, John
2009-01-01
We study how dynamical decoupling (DD) pulse sequences can improve the reliability of quantum computers. We prove upper bounds on the accuracy of DD-protected quantum gates and derive sufficient conditions for DD-protected gates to outperform unprotected gates. Under suitable conditions, fault-tolerant quantum circuits constructed from DD-protected gates can tolerate stronger noise, and have a lower overhead cost, than fault-tolerant circuits constructed from unprotected gates. Our accuracy estimates depend on the dynamics of the bath that couples to the quantum computer, and can be expressed either in terms of the operator norm of the bath's Hamiltonian or in terms of the power spectrum of bath correlations; we explain in particular how the performance of recursively generated concatenated pulse sequences can be analyzed from either viewpoint. Our results apply to Hamiltonian noise models with limited spatial correlations.
Exploring the Quantum Speed Limit with Computer Games
Sørensen, Jens Jakob Winther Hedemann; Pedersen, Mads Kock; Munch, Michael Kulmback;
2016-01-01
in quantum physics. Quantum Moves aims to use human players to find solutions to a class of problems associated with quantum computing. Players discover novel solution strategies which numerical optimizations fail to find. Guided by player strategies, a new low-dimensional heuristic optimization method......Humans routinely solve problems of immense computational complexity by intuitively forming simple, low-dimensional heuristic strategies. Citizen science exploits this intuition by presenting scientific research problems to non-experts. Gamification is an effective tool for attracting citizen...... scientists and allowing them to provide novel solutions to the research problems. Citizen science games have been used successfully in Foldit, EteRNA and EyeWire to study protein and RNA folding and neuron mapping. However, gamification has never been applied in quantum physics. Everyday experiences of non...
Solenov, Dmitry; Economou, Sophia E.; Reinecke, T. L.
2013-01-01
Implementations for quantum computing require fast single- and multiqubit quantum gate operations. In the case of optically controlled quantum dot qubits, theoretical designs for long-range two- or multiqubit operations satisfying all the requirements in quantum computing are not yet available. We have developed a design for a fast, long-range two-qubit gate mediated by a photonic microcavity mode using excited states of the quantum-dot-cavity system that addresses these needs. This design does not require identical qubits, it is compatible with available optically induced single-qubit operations, and it advances opportunities for scalable architectures. We show that the gate fidelity can exceed 90% in experimentally accessible systems.
Scheme for Entering Binary Data Into a Quantum Computer
Williams, Colin
2005-01-01
A quantum algorithm provides for the encoding of an exponentially large number of classical data bits by use of a smaller (polynomially large) number of quantum bits (qubits). The development of this algorithm was prompted by the need, heretofore not satisfied, for a means of entering real-world binary data into a quantum computer. The data format provided by this algorithm is suitable for subsequent ultrafast quantum processing of the entered data. Potential applications lie in disciplines (e.g., genomics) in which one needs to search for matches between parts of very long sequences of data. For example, the algorithm could be used to encode the N-bit-long human genome in only log2N qubits. The resulting log2N-qubit state could then be used for subsequent quantum data processing - for example, to perform rapid comparisons of sequences.
Quantum algorithms for spin models and simulable gate sets for quantum computation
van den Nest, M.; Dür, W.; Raussendorf, R.; Briegel, H. J.
2009-11-01
We present simple mappings between classical lattice models and quantum circuits, which provide a systematic formalism to obtain quantum algorithms to approximate partition functions of lattice models in certain complex-parameter regimes. We, e.g., present an efficient quantum algorithm for the six-vertex model as well as a two-dimensional Ising-type model. We show that classically simulating these (complex-parameter) spin models is as hard as simulating universal quantum computation, i.e., BQP complete (BQP denotes bounded-error quantum polynomial time). Furthermore, our mappings provide a framework to obtain efficiently simulable quantum gate sets from exactly solvable classical models. We, e.g., show that the simulability of Valiant’s match gates can be recovered by using the solvability of the free-fermion eight-vertex model.
Universal quantum computation with a nonlinear oscillator network
Goto, Hayato
2016-01-01
It has recently been shown that a parametrically driven oscillator with Kerr nonlinearity yields a Schr\\"odinger cat state via quantum adiabatic evolution through its bifurcation point and a network of such nonlinear oscillators can be used for solving combinatorial optimization problems by bifurcation-based adiabatic quantum computation [H. Goto, Sci. Rep. \\textbf{6}, 21686 (2016)]. Here we theoretically show that such a nonlinear oscillator network with controllable parameters can also be u...
Scalable photonic quantum computation through cavity-assisted interaction
Duan, L M
2003-01-01
We propose a scheme for scalable photonic quantum computation based on cavity assisted interaction between single-photon pulses. The prototypical quantum controlled phase-flip gate between the single-photon pulses is achieved by successively reflecting them from an optical cavity with a single-trapped atom. Our proposed protocol is shown to be robust to practical nose and experimental imperfections in current cavity-QED setups.
Quantum computer networks with the orbital angular momentum of light
Garcia-Escartin, Juan Carlos; Chamorro-Posada, Pedro
2012-01-01
Inside computer networks, different information processing tasks are necessary to deliver the user data efficiently. This processing can also be done in the quantum domain. We present simple optical quantum networks where the orbital angular momentum of a single photon is used as an ancillary degree of freedom which controls decisions at the network level. Linear optical elements are enough to provide important network primitives like multiplexing and routing. First we show how to build a sim...
A term-rewriting system for computer quantum algebra
J. J. Hudson
2008-01-01
Existing computer algebra packages do not fully support quantum mechanics calculations in Dirac's notation. I present the foundation for building such support: a mathematical system for the symbolic manipulation of expressions used in the invariant formalism of quantum mechanics. I first describe the essential mathematical features of the Hilbert-space invariant formalism. This is followed by a formal characterisation of all possible algebraic expressions in this formalism. This characterisat...
An Invitation to the Mathematics of Topological Quantum Computation
Rowell, E. C.
2016-03-01
Two-dimensional topological states of matter offer a route to quantum computation that would be topologically protected against the nemesis of the quantum circuit model: decoherence. Research groups in industry, government and academic institutions are pursuing this approach. We give a mathematician's perspective on some of the advantages and challenges of this model, highlighting some recent advances. We then give a short description of how we might extend the theory to three-dimensional materials.
Computer studies of multiple-quantum spin dynamics
The excitation and detection of multiple-quantum (MQ) transitions in Fourier transform NMR spectroscopy is an interesting problem in the quantum mechanical dynamics of spin systems as well as an important new technique for investigation of molecular structure. In particular, multiple-quantum spectroscopy can be used to simplify overly complex spectra or to separate the various interactions between a nucleus and its environment. The emphasis of this work is on computer simulation of spin-system evolution to better relate theory and experiment
Computational electronics semiclassical and quantum device modeling and simulation
Vasileska, Dragica; Klimeck, Gerhard
2010-01-01
Starting with the simplest semiclassical approaches and ending with the description of complex fully quantum-mechanical methods for quantum transport analysis of state-of-the-art devices, Computational Electronics: Semiclassical and Quantum Device Modeling and Simulation provides a comprehensive overview of the essential techniques and methods for effectively analyzing transport in semiconductor devices. With the transistor reaching its limits and new device designs and paradigms of operation being explored, this timely resource delivers the simulation methods needed to properly model state-of
Quantum computing by optical control of electron spins
Yao, W.; Liu, RB; Sham, LJ
2010-01-01
We review the progress and main challenges in implementing large-scale quantum computing by optical control of electron spins in quantum dots (QDs). Relevant systems include self-assembled QDs of III-V or II-VI compound semiconductors (such as InGaAs and CdSe), monolayer fluctuation QDs in compound semiconductor quantum wells, and impurity centres in solids, such as P-donors in silicon and nitrogen-vacancy centres in diamond. The decoherence of the electron spin qubits is discussed and variou...
Computer studies of multiple-quantum spin dynamics
Murdoch, J.B.
1982-11-01
The excitation and detection of multiple-quantum (MQ) transitions in Fourier transform NMR spectroscopy is an interesting problem in the quantum mechanical dynamics of spin systems as well as an important new technique for investigation of molecular structure. In particular, multiple-quantum spectroscopy can be used to simplify overly complex spectra or to separate the various interactions between a nucleus and its environment. The emphasis of this work is on computer simulation of spin-system evolution to better relate theory and experiment.
Limitations of quantum computing with Gaussian cluster states
We discuss the potential and limitations of Gaussian cluster states for measurement-based quantum computing. Using a framework of Gaussian-projected entangled pair states, we show that no matter what Gaussian local measurements are performed on systems distributed on a general graph, transport and processing of quantum information are not possible beyond a certain influence region, except for exponentially suppressed corrections. We also demonstrate that even under arbitrary non-Gaussian local measurements, slabs of Gaussian cluster states of a finite width cannot carry logical quantum information, even if sophisticated encodings of qubits in continuous-variable systems are allowed for. This is proven by suitably contracting tensor networks representing infinite-dimensional quantum systems. The result can be seen as sharpening the requirements for quantum error correction and fault tolerance for Gaussian cluster states and points toward the necessity of non-Gaussian resource states for measurement-based quantum computing. The results can equally be viewed as referring to Gaussian quantum repeater networks.
Quantum computing with four-particle decoherence-free states in ion trap
Feng, Mang; Wang, Xiaoguang
2001-01-01
Quantum computing gates are proposed to apply on trapped ions in decoherence-free states. As phase changes due to time evolution of components with different eigenenergies of quantum superposition are completely frozen, quantum computing based on this model would be perfect. Possible application of our scheme in future ion-trap quantum computer is discussed.
On the Physical Explanation for Quantum Computational Speedup
Cuffaro, Michael E
2013-01-01
The aim of this dissertation is to clarify the debate over the explanation of quantum speedup and to submit a tentative resolution to it. In particular, I argue that the physical explanation for quantum speedup is precisely the fact that the phenomenon of quantum entanglement enables a quantum computer to fully exploit the representational capacity of Hilbert space. This is impossible for classical systems, joint states of which must always be representable as product states. Chapter 2 begins with a discussion of the most popular of the candidate physical explanations for quantum speedup: the many worlds explanation. I argue that unlike the neo-Everettian interpretation of quantum mechanics it does not have the conceptual resources required to overcome the `preferred basis objection'. I further argue that the many worlds explanation, at best, can serve as a good description of the physical process which takes place in so-called network-based computation, but that it is incompatible with other models of comput...
无
2002-01-01
We propose a method of controlling the dc-SQUID(superconductiong quantum interference device)system by changing the gate voltages,which controls the amplitude of the fictitious magnetic fields Bz,and the externally applied current that produces the piercing magnetic flux Φx for the dc-SQUID system,we have also introduced a physical model for the dc-SQUID system.Using this physical model,one can obtain the non-adiabatic geometric phase gate for the single qubit and the non-adiabatic conditional geometric phase gate (controlled NOT gate) for the two qubits.It is shown that when the gate voltage and the externally applied current of the dc-SQUID system satisfies an appropriate constraint condition,the charge state evolution can be controlled exactly on a dynamic phase free path.The non-adiabatic evolution of the charge states is given as well.
Quantum features of consciousness, computers and brain
Mensky, Michael B.
2009-01-01
Many people believe that mysterious phenomenon of consciousness may be connected with quantum features of our world. The present author proposed so-called Extended Everett's Concept (EEC) that allowed to explain consciousness and super-consciousness (intuitive knowledge). Brain, according to EEC, is an interface between consciousness and super-consciousness on the one part and body on the other part. Relations between all these components of the human cognitive system are analyzed in the fram...
Using graph states for quantum computation and communication
Goyal, Kovid
In this work, we describe a method to achieve fault tolerant measurement based quantum computation in two and three dimensions. The proposed scheme has an threshold of 7.8*10^-3 and poly-logarithmic overhead scaling. The overhead scaling below the threshold is also studied. The scheme uses a combination of topological error correction and magic state distillation to construct a universal quantum computer on a qubit lattice. The chapters on measurement based quantum computation are written in review form with extensive discussion and illustrative examples.In addition, we describe and analyze a family of entanglement purification protocols that provide a flexible trade-off between overhead, threshold and output quality. The protocols are studied analytically, with closed form expressions for their threshold.
Cluster-state quantum computation: the role of entanglement
Cluster-state quantum computation is computationally equivalent to the traditional circuit model, but the pictures of computational processes outlined by the two are radically different. Here are investigated some of the consequences of this situation for the explanation of the quantum speed-up, whit particular regard to the role played by entanglement. At first sight, the evolution of a cluster-state computer seems to be disentangling (at each step one qubit is measured and discarded), but in a fully-unitary dynamical account it appears to be entangling (at each step a correlation is established between one qubit and its respective recorder). It is thus suggested that the different uses made of the features of quantum systems by the two frameworks, do not rule out the thesis that the speed-up is achieved by means of an entangling transformation. However, in this last case entanglement is created step by step, and thus the main difference between the two frameworks seems to remain the absence of ''quantum parallelism''. The only entangling-generating unitary transformations acting at the same time on all the qubits are the controlled-phase operation involved in the preparation of the cluster. Thus, the explanation of the quantum speed-up should be looked for just in these type of transformations.
What is a quantum computer, and how do we build one?
Perez-Delgado, Carlos A.; Kok, Pieter
2009-01-01
The DiVincenzo criteria for implementing a quantum computer have been seminal in focussing both experimental and theoretical research in quantum information processing. These criteria were formulated specifically for the circuit model of quantum computing. However, several new models for quantum computing (paradigms) have been proposed that do not seem to fit the criteria well. The question is therefore what are the general criteria for implementing quantum computers. To this end, a formal op...
Decoherence limits to quantum computation using trapped ions
Plenio, M. B.; Knight, P.L.
1996-01-01
We investigate the problem of factorization of large numbers on a quantum computer which we imagine to be realized within a linear ion trap. We derive upper bounds on the size of the numbers that can be factorized on such a quantum computer. These upper bounds are independent of the power of the applied laser. We investigate two possible ways to implement qubits, in metastable optical transitions and in Zeeman sublevels of a stable ground state, and show that in both cases the numbers that ca...
Qudit quantum computation in the Jaynes-Cummings model
Mischuck, Brian; Mølmer, Klaus
2013-01-01
We have developed methods for performing qudit quantum computation in the Jaynes-Cummings model with the qudits residing in a finite subspace of individual harmonic oscillator modes, resonantly coupled to a spin-1/2 system. The first method determines analytical control sequences for the one......- and two-qudit gates necessary for universal quantum computation by breaking down the desired unitary transformations into a series of state preparations implemented with the Law-Eberly scheme [ Law and Eberly Phys. Rev. Lett. 76 1055 (1996)]. The second method replaces some of the analytical pulse...
Computational methods in quantum chemistry, v.2
Hasanein
1996-01-01
This book provides a comprehensive account, from first principles, of the methods of numerical quantum mechanics, beginning with formulations and fundamental postulates. The development continues with that of the Hamiltonian and angular momentum operators, and with methods of approximating the solutions of the Schroedinger equation with variational and perturbation methods.Chapter 3 is a description of the Hartree-Fock self-consistent field method, which is developed systematically for atoms. The Born-Oppenheimer approximation is introduced, and the numerical methods presented one by one there
Magnetic resonance force microscopy and a solid state quantum computer.
Pelekhov, D. V. (Denis V.); Martin, I. (Ivar); Suter, A. (Andreas); Reagor, D. W. (David W.); Hammel, P. C. (P. Chris)
2001-01-01
A Quantum Computer (QC) is a device that utilizes the principles of Quantum Mechanics to perform computations. Such a machine would be capable of accomplishing tasks not achievable by means of any conventional digital computer, for instance factoring large numbers. Currently it appears that the QC architecture based on an array of spin quantum bits (qubits) embedded in a solid-state matrix is one of the most promising approaches to fabrication of a scalable QC. However, the fabrication and operation of a Solid State Quantum Computer (SSQC) presents very formidable challenges; primary amongst these are: (1) the characterization and control of the fabrication process of the device during its construction and (2) the readout of the computational result. Magnetic Resonance Force Microscopy (MRFM)--a novel scanning probe technique based on mechanical detection of magnetic resonance-provides an attractive means of addressing these requirements. The sensitivity of the MRFM significantly exceeds that of conventional magnetic resonance measurement methods, and it has the potential for single electron spin detection. Moreover, the MRFM is capable of true 3D subsurface imaging. These features will make MRFM an invaluable tool for the implementation of a spin-based QC. Here we present the general principles of MRFM operation, the current status of its development and indicate future directions for its improvement.
Albuquerque, A. Fabricio; Katzgraber, Helmut G.; Troyer, Matthias; Blatter, Gianni
2008-07-01
We use a nonperturbative extended contractor renormalization (ENCORE) method for engineering quantum devices for the implementation of topologically protected quantum bits described by an effective quantum dimer model on the triangular lattice. By tuning the couplings of the device, topological protection might be achieved if the ratio between effective two-dimer interactions and flip amplitudes lies in the liquid phase of the phase diagram of the quantum dimer model. For a proposal based on a quantum Josephson junction array [L. B. Ioffe , Nature (London) 415, 503 (2002)] our results show that optimal operational temperatures below 1 mK can only be obtained if extra interactions and dimer flips, which are not present in the standard quantum dimer model and involve three or four dimers, are included. It is unclear if these extra terms in the quantum dimer Hamiltonian destroy the liquid phase needed for quantum computation. Minimizing the effects of multidimer terms would require energy scales in the nano-Kelvin regime. An alternative implementation based on cold atomic or molecular gases loaded into optical lattices is also discussed, and it is shown that the small energy scales involved—implying long operational times—make such a device impractical. Given the many orders of magnitude between bare couplings in devices, and the topological gap, the realization of topological phases in quantum devices requires careful engineering and large bare interaction scales.
Quantum computing by optical control of electron spins
Liu, Ren-Bao; Sham, L J
2010-01-01
We review the progress and main challenges in implementing large-scale quantum computing by optical control of electron spins in quantum dots (QDs). Relevant systems include self-assembled QDs of III-V or II-VI compound semiconductors (such as InGaAs and CdSe), monolayer fluctuation QDs in compound semiconductor quantum wells, and impurity centers in solids such as P-donors in silicon and nitrogen-vacancy centers in diamond. The decoherence of the electron spin qubits is discussed and various schemes for countering the decoherence problem are reviewed. We put forward designs of local nodes consisting of a few qubits which can be individually addressed and controlled. Remotely separated local nodes are connected by photonic structures (microcavities and waveguides) to form a large-scale distributed quantum system or a quantum network. The operation of the quantum network consists of optical control of a single electron spin, coupling of two spins in a local nodes, optically controlled quantum interfacing betwe...
Interplay between computable measures of entanglement and other quantum correlations
Girolami, Davide; 10.1103/PhysRevA.84.052110
2011-01-01
Composite quantum systems can be in generic states characterized not only by entanglement, but also by more general quantum correlations. The interplay between these two signatures of nonclassicality is still not completely understood. In this work we investigate this issue focusing on computable and observable measures of such correlations: entanglement is quantified by the negativity N, while general quantum correlations are measured by the (normalized) geometric quantum discord D_G. For two-qubit systems, we find that the geometric discord reduces to the squared negativity on pure states, while the relationship $D_G \\geq N^2$ holds for arbitrary mixed states. The latter result is rigorously extended to pure, Werner and isotropic states of two-qudit systems for arbitrary d, and numerical evidence of its validity for arbitrary states of a qubit and a qutrit is provided as well. Our results establish an interesting hierarchy, that we conjecture to be universal, between two relevant and experimentally friendly...
Quantum computation with topological codes from qubit to topological fault-tolerance
Fujii, Keisuke
2015-01-01
This book presents a self-consistent review of quantum computation with topological quantum codes. The book covers everything required to understand topological fault-tolerant quantum computation, ranging from the definition of the surface code to topological quantum error correction and topological fault-tolerant operations. The underlying basic concepts and powerful tools, such as universal quantum computation, quantum algorithms, stabilizer formalism, and measurement-based quantum computation, are also introduced in a self-consistent way. The interdisciplinary fields between quantum information and other fields of physics such as condensed matter physics and statistical physics are also explored in terms of the topological quantum codes. This book thus provides the first comprehensive description of the whole picture of topological quantum codes and quantum computation with them.
Numerical and analytical solutions for problems relevant for quantum computers
Quantum computers are one of the next technological steps in modern computer science. Some of the relevant questions that arise when it comes to the implementation of quantum operations (as building blocks in a quantum algorithm) or the simulation of quantum systems are studied. Numerical results are gathered for variety of systems, e.g. NMR systems, Josephson junctions and others. To study quantum operations (e.g. the quantum fourier transform, swap operations or multiply-controlled NOT operations) on systems containing many qubits, a parallel C++ code was developed and optimised. In addition to performing high quality operations, a closer look was given to the minimal times required to implement certain quantum operations. These times represent an interesting quantity for the experimenter as well as for the mathematician. The former tries to fight dissipative effects with fast implementations, while the latter draws conclusions in the form of analytical solutions. Dissipative effects can even be included in the optimisation. The resulting solutions are relaxation and time optimised. For systems containing 3 linearly coupled spin (1)/(2) qubits, analytical solutions are known for several problems, e.g. indirect Ising couplings and trilinear operations. A further study was made to investigate whether there exists a sufficient set of criteria to identify systems with dynamics which are invertible under local operations. Finally, a full quantum algorithm to distinguish between two knots was implemented on a spin(1)/(2) system. All operations for this experiment were calculated analytically. The experimental results coincide with the theoretical expectations. (orig.)
Computed tomography using a terahertz quantum cascade laser and quantum well photo-detector
Terahertz computed tomographic imaging has been performed based on an imaging system which includes a terahertz quantum cascade laser as the light source and a terahertz quantum well photo-detector. The main reconstruction methods of filtered back projection, iterative analysis and the wavelet reconstruction technique are adopted and compared. The reconstructed quality has been discussed with respect to projection numbers, contrast and geometric preservation. We have applied parameter structural similarity to quantitatively analyze the image quality at the end. (paper)
Optimized entanglement purification schemes for modular based quantum computers
Krastanov, Stefan; Jiang, Liang
The choice of entanglement purification scheme strongly depends on the fidelities of quantum gates and measurements, as well as the imperfection of initial entanglement. For instance, the purification scheme optimal at low gate fidelities may not necessarily be the optimal scheme at higher gate fidelities. We employ an evolutionary algorithm that efficiently optimizes the entanglement purification circuit for given system parameters. Such optimized purification schemes will boost the performance of entanglement purification, and consequently enhance the fidelity of teleportation-based non-local coupling gates, which is an indispensible building block for modular-based quantum computers. In addition, we study how these optimized purification schemes affect the resource overhead caused by error correction in modular based quantum computers.
How to build a 300 bit, 1 Gop quantum computer
Steane, A M
2004-01-01
Experimental methods for laser-control of trapped ions have reached sufficient maturity that it is possible to set out in detail a design for a large quantum computer based on such methods, without any major omissions or uncertainties. The main features of such a design are given, with a view to identifying areas for study. The machine is based on 13000 ions moved via 20 micron vacuum channels around a chip containing 160000 electrodes and associated classical control circuits; 1000 laser beam pairs are used to manipulate the hyperfine states of the ions and drive fluorescence for readout. The computer could run a quantum algorithm requiring 10^9 logical operations on 300 logical qubits, with a physical gate rate of 1 MHz and a logical gate rate of 8 kHz, using methods for quantum gates that have already been experimentally implemented. Routes for faster operation are discussed.
Entanglement-Based Machine Learning on a Quantum Computer
Cai, X. -D.; Wu, D.; Su, Z. -E.; Chen, M. -C.; Wang, X.-L.; Li, L.; Liu, N. -L.; Lu, C. -Y.; Pan, J. -W.
2014-01-01
Machine learning, a branch of artificial intelligence, learns from previous experience to optimize performance, which is ubiquitous in various fields such as computer sciences, financial analysis, robotics, and bioinformatics. A challenge is that machine learning with the rapidly growing "big data" could become intractable for classical computers. Recently, quantum machine learning algorithms [Lloyd, Mohseni, and Rebentrost, arXiv.1307.0411] were proposed which could offer an exponential spee...
Quantum Computing Approach to Nonrelativistic and Relativistic Molecular Energy Calculations
Veis, Libor; Pittner, Jiří
Hoboken : John Wiley, 2014 - (Kais, S.), s. 107-135 ISBN 978-1-118-49566-7. - (Advances in Chemical Physics. Vol. 154) R&D Projects: GA ČR GA203/08/0626 Institutional support: RVO:61388955 Keywords : full configuration interaction (FCI) calculations * nonrelativistic molecular hamiltonians * quantum computing Subject RIV: CF - Physical ; Theoretical Chemistry
Quantum computing applied to calculations of molecular energies
Pittner, Jiří; Veis, L.
2011-01-01
Roč. 241, - (2011), 151-phys. ISSN 0065-7727. [National Meeting and Exposition of the American-Chemical-Society (ACS) /241./. 27.03.2011-31.03.2011, Anaheim] Institutional research plan: CEZ:AV0Z40400503 Keywords : molecular energie * quantum computers Subject RIV: CF - Physical ; Theoretical Chemistry
Human-competitive evolution of quantum computing artefacts by Genetic Programming.
Massey, Paul; Clark, John A; Stepney, Susan
2006-01-01
We show how Genetic Programming (GP) can be used to evolve useful quantum computing artefacts of increasing sophistication and usefulness: firstly specific quantum circuits, then quantum programs, and finally system-independent quantum algorithms. We conclude the paper by presenting a human-competitive Quantum Fourier Transform (QFT) algorithm evolved by GP. PMID:16536889
Scheme for Implementing Quantum Search Algorithm in a Cluster State Quantum Computer
ZHANG Da-Li; WANG Yan-Hui; ZHANG Yong
2008-01-01
Using cluster state and single qubit measurement one can perform the one-way quantum computation. Here we give a detailed scheme for realizing a modified Grover search algorithm using measurements on cluster state. We give the measurement pattern for the duster-state realization of the algorithm and estimated the number of measurement needed for its implementation. It is found that O(23n/2n2) number of single qubit measurements is required for its realization in a cluster-state quantum computer.
Interplay between computable measures of entanglement and other quantum correlations
Composite quantum systems can be in generic states characterized not only by entanglement but also by more general quantum correlations. The interplay between these two signatures of nonclassicality is still not completely understood. In this work we investigate this issue, focusing on computable and observable measures of such correlations: entanglement is quantified by the negativity N, while general quantum correlations are measured by the (normalized) geometric quantum discord DG. For two-qubit systems, we find that the geometric discord reduces to the squared negativity on pure states, while the relationship DG≥N2 holds for arbitrary mixed states. The latter result is rigorously extended to pure, Werner, and isotropic states of two-qudit systems for arbitrary d, and numerical evidence of its validity for arbitrary states of a qubit and a qutrit is provided as well. Our results establish an interesting hierarchy, which we conjecture to be universal, between two relevant and experimentally friendly nonclassicality indicators. This ties in with the intuition that general quantum correlations should at least contain and in general exceed entanglement on mixed states of composite quantum systems.
Interplay between computable measures of entanglement and other quantum correlations
Girolami, Davide; Adesso, Gerardo [School of Mathematical Sciences, University of Nottingham, University Park, Nottingham NG7 2RD (United Kingdom)
2011-11-15
Composite quantum systems can be in generic states characterized not only by entanglement but also by more general quantum correlations. The interplay between these two signatures of nonclassicality is still not completely understood. In this work we investigate this issue, focusing on computable and observable measures of such correlations: entanglement is quantified by the negativity N, while general quantum correlations are measured by the (normalized) geometric quantum discord D{sub G}. For two-qubit systems, we find that the geometric discord reduces to the squared negativity on pure states, while the relationship D{sub G}{>=}N{sup 2} holds for arbitrary mixed states. The latter result is rigorously extended to pure, Werner, and isotropic states of two-qudit systems for arbitrary d, and numerical evidence of its validity for arbitrary states of a qubit and a qutrit is provided as well. Our results establish an interesting hierarchy, which we conjecture to be universal, between two relevant and experimentally friendly nonclassicality indicators. This ties in with the intuition that general quantum correlations should at least contain and in general exceed entanglement on mixed states of composite quantum systems.
A Magnetic Resonance Force Microscopy Quantum Computer with Tellurium Donors in Silicon
Berman, G P; Tsifrinovich, V I
2001-01-01
We propose a magnetic resonance force microscopy (MRFM)-based nuclear spin quantum computer using tellurium impurities in silicon. This approach to quantum computing combines the well-developed silicon technology with expected advances in MRFM.
Quantum computer inverting time arrow for macroscopic systems
Georgeot, B
2002-01-01
A legend tells that once Loschmidt asked Boltzmann on what happens to his statistical theory if one inverts the velocities of all particles, so that, due to the reversibility of Newton's equations, they return from the equilibrium to a nonequilibrium initial state. Boltzmann only replied ``then go and invert them''. This problem of the relationship between the microscopic and macroscopic descriptions of the physical world and time-reversibility has been hotly debated from the XIXth century up to nowadays. At present, no modern computer is able to perform Boltzmann's demand for a macroscopic number of particles. In addition, dynamical chaos implies exponential growth of any imprecision in the inversion that leads to practical irreversibility. Here we show that a quantum computer composed of a few tens of qubits, and operating even with moderate precision, can perform Boltzmann's demand for a macroscopic number of classical particles. Thus, even in the regime of dynamical chaos, a realistic quantum computer all...
Quantum computation in correlation space and extremal entanglement
Full text: Recently, a framework was established to systematically construct novel universal resource states for measurement-based quantum computation using techniques involving finitely correlated states. With these methods, universal states were found which are in certain ways much less entangled than the original cluster state model, and it was hence believed that with this approach many of the extremal entanglement features of the cluster states could be relaxed. The new resources were constructed as 'computationally universal' states - i.e. they allow one to efficiently reproduce the classical output of each quantum computation - whereas the cluster states are universal in a stronger sense since they are 'universal state preparators'. Here we show that the new resources are universal state preparators after all, and must therefore exhibit a whole class of extremal entanglement features, similar to the cluster states. (author)
Loss tolerant one-way quantum computation -- a horticultural approach
Varnava, M; Rudolph, T; Varnava, Michael; Browne, Daniel E.; Rudolph, Terry
2005-01-01
We introduce a scheme for fault tolerantly dealing with losses in cluster state computation that can tolerate up to 50% qubit loss. This is achieved passively - no coherent measurements or coherent correction is required. We then use this procedure within a specific linear optical quantum computation proposal to show that: (i) given perfect sources, detector inefficiencies of up to 50% can be tolerated and (ii) given perfect detectors, the purity of the photon source (overlap of the photonic wavefunction with the desired single mode) need only be greater than 66.6% for efficient computation to be possible.
Quantum computing with single electron bubbles in helium
Yao, Weijun
2005-01-01
An electron inside liquid helium forms a bubble of 17 \\AA in radius. In an external magnetic field, the two-level system of a spin 1/2 electron is ideal for the implementation of a qubit for quantum computing. The electron spin is well isolated from other thermal reservoirs so that the qubit should have very long coherence time. By confining a chain of single electron bubbles in a linear RF quadrupole trap, a multi-bit quantum register can be implemented. All spins in the register can be init...
A Quantum Computer Foundation for the Standard Model and SuperString Theories
Blaha, S
2002-01-01
We show the Standard Model and SuperString Theories can be naturally based on a Quantum Computer foundation. The Standard Model of elementary particles can be viewed as defining a Quantum Computer Grammar and language. A Quantum Computer in a certain limit naturally forms a Superspace upon which Supersymmetry rotations can be defined - a Continuum Quantum Computer. Quantum high-level computer languages such as Quantum C and Quantum Assembly language are also discussed. In these new linguistic representations, particles become literally symbols or letters, and particle interactions become grammar rules. This view is NOT the same as the often-expressed view that Mathematics is the language of Physics. Some new developments relating to Quantum Computers and Quantum Turing Machines are also described.
Semiconductor-inspired design principles for superconducting quantum computing.
Shim, Yun-Pil; Tahan, Charles
2016-01-01
Superconducting circuits offer tremendous design flexibility in the quantum regime culminating most recently in the demonstration of few qubit systems supposedly approaching the threshold for fault-tolerant quantum information processing. Competition in the solid-state comes from semiconductor qubits, where nature has bestowed some very useful properties which can be utilized for spin qubit-based quantum computing. Here we begin to explore how selective design principles deduced from spin-based systems could be used to advance superconducting qubit science. We take an initial step along this path proposing an encoded qubit approach realizable with state-of-the-art tunable Josephson junction qubits. Our results show that this design philosophy holds promise, enables microwave-free control, and offers a pathway to future qubit designs with new capabilities such as with higher fidelity or, perhaps, operation at higher temperature. The approach is also especially suited to qubits on the basis of variable super-semi junctions. PMID:26983379
Solid-state quantum computing using spectral holes
We propose a method for addressing qubits using a method that combines spatial and spectral selectivity. The result is a design for quantum computation that provides the potential for a high density of quantum information storage and processing. Specifically, this method uses an ensemble of spectrally resolved atoms in a spectral hole burning solid. The quantum coupling is provided by strong atom-cavity interaction. Using a thin disk of diamond containing nitrogen-vacancy color centers as an example, we present an explicit model that may yield up to 300 coupled qubits in a single spot. We show how about 100 operations may take place in parallel, yielding close to 4x104 operations before decoherence
Semiconductor-inspired design principles for superconducting quantum computing
Shim, Yun-Pil; Tahan, Charles
2016-01-01
Superconducting circuits offer tremendous design flexibility in the quantum regime culminating most recently in the demonstration of few qubit systems supposedly approaching the threshold for fault-tolerant quantum information processing. Competition in the solid-state comes from semiconductor qubits, where nature has bestowed some very useful properties which can be utilized for spin qubit-based quantum computing. Here we begin to explore how selective design principles deduced from spin-based systems could be used to advance superconducting qubit science. We take an initial step along this path proposing an encoded qubit approach realizable with state-of-the-art tunable Josephson junction qubits. Our results show that this design philosophy holds promise, enables microwave-free control, and offers a pathway to future qubit designs with new capabilities such as with higher fidelity or, perhaps, operation at higher temperature. The approach is also especially suited to qubits on the basis of variable super-semi junctions. PMID:26983379
Semiconductor-inspired design principles for superconducting quantum computing
Shim, Yun-Pil; Tahan, Charles
2016-03-01
Superconducting circuits offer tremendous design flexibility in the quantum regime culminating most recently in the demonstration of few qubit systems supposedly approaching the threshold for fault-tolerant quantum information processing. Competition in the solid-state comes from semiconductor qubits, where nature has bestowed some very useful properties which can be utilized for spin qubit-based quantum computing. Here we begin to explore how selective design principles deduced from spin-based systems could be used to advance superconducting qubit science. We take an initial step along this path proposing an encoded qubit approach realizable with state-of-the-art tunable Josephson junction qubits. Our results show that this design philosophy holds promise, enables microwave-free control, and offers a pathway to future qubit designs with new capabilities such as with higher fidelity or, perhaps, operation at higher temperature. The approach is also especially suited to qubits on the basis of variable super-semi junctions.
Exploring the quantum speed limit with computer games.
Sørensen, Jens Jakob W H; Pedersen, Mads Kock; Munch, Michael; Haikka, Pinja; Jensen, Jesper Halkjær; Planke, Tilo; Andreasen, Morten Ginnerup; Gajdacz, Miroslav; Mølmer, Klaus; Lieberoth, Andreas; Sherson, Jacob F
2016-04-14
Humans routinely solve problems of immense computational complexity by intuitively forming simple, low-dimensional heuristic strategies. Citizen science (or crowd sourcing) is a way of exploiting this ability by presenting scientific research problems to non-experts. 'Gamification'--the application of game elements in a non-game context--is an effective tool with which to enable citizen scientists to provide solutions to research problems. The citizen science games Foldit, EteRNA and EyeWire have been used successfully to study protein and RNA folding and neuron mapping, but so far gamification has not been applied to problems in quantum physics. Here we report on Quantum Moves, an online platform gamifying optimization problems in quantum physics. We show that human players are able to find solutions to difficult problems associated with the task of quantum computing. Players succeed where purely numerical optimization fails, and analyses of their solutions provide insights into the problem of optimization of a more profound and general nature. Using player strategies, we have thus developed a few-parameter heuristic optimization method that efficiently outperforms the most prominent established numerical methods. The numerical complexity associated with time-optimal solutions increases for shorter process durations. To understand this better, we produced a low-dimensional rendering of the optimization landscape. This rendering reveals why traditional optimization methods fail near the quantum speed limit (that is, the shortest process duration with perfect fidelity). Combined analyses of optimization landscapes and heuristic solution strategies may benefit wider classes of optimization problems in quantum physics and beyond. PMID:27075097
Exploring the quantum speed limit with computer games
Sørensen, Jens Jakob W. H.; Pedersen, Mads Kock; Munch, Michael; Haikka, Pinja; Jensen, Jesper Halkjær; Planke, Tilo; Andreasen, Morten Ginnerup; Gajdacz, Miroslav; Mølmer, Klaus; Lieberoth, Andreas; Sherson, Jacob F.
2016-04-01
Humans routinely solve problems of immense computational complexity by intuitively forming simple, low-dimensional heuristic strategies. Citizen science (or crowd sourcing) is a way of exploiting this ability by presenting scientific research problems to non-experts. ‘Gamification’—the application of game elements in a non-game context—is an effective tool with which to enable citizen scientists to provide solutions to research problems. The citizen science games Foldit, EteRNA and EyeWire have been used successfully to study protein and RNA folding and neuron mapping, but so far gamification has not been applied to problems in quantum physics. Here we report on Quantum Moves, an online platform gamifying optimization problems in quantum physics. We show that human players are able to find solutions to difficult problems associated with the task of quantum computing. Players succeed where purely numerical optimization fails, and analyses of their solutions provide insights into the problem of optimization of a more profound and general nature. Using player strategies, we have thus developed a few-parameter heuristic optimization method that efficiently outperforms the most prominent established numerical methods. The numerical complexity associated with time-optimal solutions increases for shorter process durations. To understand this better, we produced a low-dimensional rendering of the optimization landscape. This rendering reveals why traditional optimization methods fail near the quantum speed limit (that is, the shortest process duration with perfect fidelity). Combined analyses of optimization landscapes and heuristic solution strategies may benefit wider classes of optimization problems in quantum physics and beyond.
Quantum computer simulation using the CUDA programming model
Gutiérrez, Eladio; Romero, Sergio; Trenas, María A.; Zapata, Emilio L.
2010-02-01
Quantum computing emerges as a field that captures a great theoretical interest. Its simulation represents a problem with high memory and computational requirements which makes advisable the use of parallel platforms. In this work we deal with the simulation of an ideal quantum computer on the Compute Unified Device Architecture (CUDA), as such a problem can benefit from the high computational capacities of Graphics Processing Units (GPU). After all, modern GPUs are becoming very powerful computational architectures which is causing a growing interest in their application for general purpose. CUDA provides an execution model oriented towards a more general exploitation of the GPU allowing to use it as a massively parallel SIMT (Single-Instruction Multiple-Thread) multiprocessor. A simulator that takes into account memory reference locality issues is proposed, showing that the challenge of achieving a high performance depends strongly on the explicit exploitation of memory hierarchy. Several strategies have been experimentally evaluated obtaining good performance results in comparison with conventional platforms.
Mixed Species Ion Chains for Scalable Quantum Computation
Wright, John Albert
Mixed species chains of barium and ytterbium ions are investigated as a tool for building scalable quantum computation devices. Ytterbium ions provide a stable, environmentally-insensitive qubit that is easily initialized and manipulated, while barium ions are easily entangled with photons that can allow quantum information to be transmitted between systems in modular quantum computation units. Barium and ytterbium are trapped together in a linear chain in a linear rf trap and their normal mode structure and the thermal occupation numbers of these modes are measured with a narrow band laser addressing an electric quadrupole transition in barium ions. Before these measurements, barium ions are directly cooled using Doppler cooling, while the ytterbium ions are sympathetically cooled by the barium. For radial modes strongly coupled to ytterbium ions the average thermal occupation numbers vary between 400 and 12,000 depending on ion species configuration and trap parameters. Ion chain temperatures are also measured using a technique based on ion species reordering. Surface traps with many dc electrodes provide the ability to controllably reorder the chain to optimize normal mode cooling, and initial work towards realizing this capability are discussed. Quantum information can be transferred between ions in a linear chain using an optical system that is well coupled to the motional degrees of freedom of the chain. For this reason, a 532 nm Raman system is developed and its expected performance is evaluated.
Completeness of classical spin models and universal quantum computation
We study mappings between different classical spin systems that leave the partition function invariant. As recently shown in Van den Nest et al (2008 Phys. Rev. Lett. 100 110501), the partition function of the 2D square lattice Ising model in the presence of an inhomogeneous magnetic field can specialize to the partition function of any Ising system on an arbitrary graph. In this sense the 2D Ising model is said to be 'complete'. However, in order to obtain the above result, the coupling strengths on the 2D lattice must assume complex values, and thus do not allow for a physical interpretation. Here we show how a complete model with real—and, hence, 'physical'—couplings can be obtained if the 3D Ising model is considered. We furthermore show how to map general q-state systems with possibly many-body interactions to the 2D Ising model with complex parameters, and give completeness results for these models with real parameters. We also demonstrate that the computational overhead in these constructions is in all relevant cases polynomial. These results are proved by invoking a recently found cross-connection between statistical mechanics and quantum information theory, where partition functions are expressed as quantum mechanical amplitudes. Within this framework, there exists a natural correspondence between many-body quantum states that allow for universal quantum computation via local measurements only, and complete classical spin systems
Using computer algebra for Yang-Baxterization applied to quantum computing
Vélez, Mario; Ospina, Juan
2006-05-01
Using Computer Algebra Software (Mathematica and Maple), the recently introduced topic of Yang- Baxterization applied to quantum computing, is explored from the mathematical and computational views. Some algorithms of computer algebra were elaborated with the aim to make the calculations to obtain some of results that were originally presented in the paper by Shang-Kauffman-Ge. Also certain new results about computational Yang-baxterization are presented. We obtain some Hamiltonians for hypothetical physical systems which can be realized within the domain of spin chains and certain diffusion process. We conclude that it is possible to have real physical systems on which implement, via Yang-baxterization, the standard quantum gates with topological protection. Finally some lines for future research are deligned.
Towards Realising Secure and Efficient Image and Video Processing Applications on Quantum Computers
Abdullah M. Iliyasu
2013-01-01
Exploiting the promise of security and efficiency that quantum computing offers, the basic foundations leading to commercial applications for quantum image processing are proposed. Two mathematical frameworks and algorithms to accomplish the watermarking of quantum images, authentication of ownership of already watermarked images and recovery of their unmarked versions on quantum computers are proposed. Encoding the images as 2n-sized normalised Flexible Representation of Quantum Images (FRQI...
Algorithm for Computing Excited States in Quantum Theory
Luo, X. Q.; Jirari, H.; Kroger, H; Moriarty, K.
2001-01-01
Monte Carlo techniques have been widely employed in statistical physics as well as in quantum theory in the Lagrangian formulation. However, in the conventional approach, it is extremely difficult to compute the excited states. Here we present a different algorithm: the Monte Carlo Hamiltonian method, designed to overcome the difficulties of the conventional approach. As a new example, application to the Klein-Gordon field theory is shown.
High threshold distributed quantum computing with three-qubit nodes
Ying LI; Benjamin, Simon C.
2012-01-01
In the distributed quantum computing paradigm, well-controlled few-qubit `nodes' are networked together by connections which are relatively noisy and failure prone. A practical scheme must offer high tolerance to errors while requiring only simple (i.e. few-qubit) nodes. Here we show that relatively modest, three-qubit nodes can support advanced purification techniques and so offer robust scalability: the infidelity in the entanglement channel may be permitted to approach 10% if the infidelit...
Hierarchy of efficiently computable and faithful lower bounds to quantum discord
Piani, Marco
2015-01-01
Quantum discord expresses a fundamental non-classicality of correlations more general than quantum entanglement. We combine the no-local-broadcasting theorem, semidefinite-programming characterizations of quantum fidelity and quantum separability, and a recent breakthrough result of Fawzi and Renner about quantum Markov chains to provide a hierarchy of computationally efficient lower bounds to quantum discord. Such a hierarchy converges to the surprisal of measurement recoverability introduce...
SYMBMAT: Symbolic computation of quantum transition matrix elements
Ciappina, M. F.; Kirchner, T.
2012-08-01
We have developed a set of Mathematica notebooks to compute symbolically quantum transition matrices relevant for atomic ionization processes. The utilization of a symbolic language allows us to obtain analytical expressions for the transition matrix elements required in charged-particle and laser induced ionization of atoms. Additionally, by using a few simple commands, it is possible to export these symbolic expressions to standard programming languages, such as Fortran or C, for the subsequent computation of differential cross sections or other observables. One of the main drawbacks in the calculation of transition matrices is the tedious algebraic work required when initial states other than the simple hydrogenic 1s state need to be considered. Using these notebooks the work is dramatically reduced and it is possible to generate exact expressions for a large set of bound states. We present explicit examples of atomic collisions (in First Born Approximation and Distorted Wave Theory) and laser-matter interactions (within the Dipole and Strong Field Approximations and different gauges) using both hydrogenic wavefunctions and Slater-Type Orbitals with arbitrary nlm quantum numbers as initial states. Catalogue identifier: AEMI_v1_0 Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEMI_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: Standard CPC license, http://cpc.cs.qub.ac.uk/licence/licence.html No. of lines in distributed program, including test data, etc.: 71 628 No. of bytes in distributed program, including test data, etc.: 444 195 Distribution format: tar.gz Programming language: Mathematica Computer: Single machines using Linux or Windows (with cores with any clock speed, cache memory and bits in a word) Operating system: Any OS that supports Mathematica. The notebooks have been tested under Windows and Linux and with versions 6.x, 7.x and 8.x Classification: 2.6 Nature of problem
Long-range interactions, weak magnetic fields amplification, and end states for quantum computing
Trifunovic, Luka
2015-01-01
It was Richard Feynman who first proposed, in 1982, the far-reaching concept of a ”quantum computer”—a device more powerful than classical computers. The idea of a quantum computer is to employ the fascinating and often counterintuitive laws of quantum mechanics to process information. It is far from obvious that the proposed concept of a quantum computer is more powerful than its classical counterpart, it was only in 1994 when Peter Shor theoretically demonstrated the exist...
Solid-state nuclear-spin quantum computer based on magnetic resonance force microscopy
We propose a nuclear-spin quantum computer based on magnetic resonance force microscopy (MRFM). It is shown that an MRFM single-electron spin measurement provides three essential requirements for quantum computation in solids: (a) preparation of the ground state, (b) one- and two-qubit quantum logic gates, and (c) a measurement of the final state. The proposed quantum computer can operate at temperatures up to 1 K. (c) 2000 The American Physical Society