Lecture Notes in Computer Science 1509 Edited by G. Goos, J. Hartmanis and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Colin P. Williams (Ed.)
Quantum Computing and Quantum Communications
First NASA International Conference, QCQC’98 Palm Springs, California, USA February 17-20, 1998 Selected Papers
13 Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands
Volume Editor
Colin P. Williams Jet Propulsion Laboratory, California Institute of Technology Quantum Algorithms and Technologies Group Information and Computing Technologies Research Section Mail Stop 126-347, Pasadena, CA 91109-8099, USA E-mail: Colin.P.Williams@jpl.nasa.gov
Cataloging-in-Publication data applied for
Die Deutsche Bibliothek - CIP-Einheitsaufnahme Quantum computing and quantum communications : first NASA international conference ; selected papers / QCQC’98, Palm Springs, California, USA, February 17 - 20, 1998. Colin P. Williams (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 1999 (Lecture notes in computer science ; Vol. 1509) ISBN 3-540-65514-X
CR Subject Classification (1998): F.1, E.3, E.4, F.2
ISSN 0302-9743 ISBN 3-540-65514-X Springer-Verlag Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. c Springer-Verlag Berlin Heidelberg 1999 Printed in Germany Typesetting: Camera-ready by author SPIN 10692655 06/3142–543210 Printedonacid-free paper Preface
Colin P. Williams?
Jet Propulsion Laboratory, California Institute of Technology, 4800 Oak Grove Drive, Pasadena, CA 91109-8099, email: [email protected]
Over the past half century computers have gone from being the room-sized servants of a privileged few to the totable companions of business travellers, school children, and just about anyone who can point and click a mouse. In part, this transformation was made possible by the dramatic miniaturization in the basic components of a computer. This trend was quantified in 1964 by Gordon Moore, one of the founders of Intel, who noticed that the amount of information that could be stored on a given amount of silicon doubled roughly every 18 months. The doubling trend continues to this day and, by crude extrapolation, predicts that the computers of 2020 might be approaching the one-atom-per-bit level. Physical systems such as atoms, however, behave in ways that are very dif- ferent from everyday objects. In fact they are governed by the laws of quantum mechanics rather than classical mechanics. In the early 1980’s some foresighted physicists, such es Charles Bennett (our conference Chairperson), Rolf Landauer, Paul Benioff, David Deutsch, and Richard Feynman, began to question what it would mean for a computer to operate at the one-atom-per-bit scale. The el- ementary operations of such a computer would need to be described in terms of quantum mechanics. Recently, physicists and computer scientists have come to appreciate that certain quantum effects, in particular superposition, inter- ference, entanglement, non-locality, indeterminism, and non-clonability, allow entirely new kinds of tasks to be performed. These tasks include teleporting quantum information, establishing shared secret cryptographic keys, searching unstructured “virtual” databases, factoring composite integers, simulating phys- ical systems, and enhancing the capacity of classical communication channels. In an effort to elucidate new ideas, and to push the envelope on existing ones, in 1998 my colleagues, Leon Alkalai, Richard Doyle, Amir Fijany, Sandeep Gulati, Benny Toomarian, Michail Zak, and I at the Jet Propulsion Laboratory, organized the “First NASA International Conference on Quantum Computing and Quantum Communications”, in Palm Springs, California. We imposed an a priori structure of the meeting that was designed to solicit contributions on how quantum computing might impact NASA mission objectives in computation and communications. I am delighted to say that NASA obtained great value for money from this conference. The papers contained in this volume are a testament to the rich diversity of ideas that were presented.
? Supported by the NASA/JPL Center for Integrated Space Microsystems, NASA Advanced Concepts Office and the NASA Information and Computing Research Technologies Program VI Preface
NASA’s interest in quantum computing and quantum communications stems from its need to solve daunting computational and communications problems. In particular, spacecraft design, mission planning, observation scheduling, design optimization, image processing, data assimilation, robotic vision, all impose ex- treme demands on computational resources. Given that quantum computers are known to speed up the solution of some computational problems and facilitate more efficient communications, we’d like to circumscribe their capabilities on the computational and communications problems of interest to NASA. In this regard, the Palm Springs conference was a tremendous success with several new ideas emerging for tackling structured search problems, Earth-to-space quantum key distribution, improved precision atomic clocks, and quantum gyroscopy. The papers appearing in this volume are organized by the following five themes: Entanglement and Quantum Algorithms, Quantum Cryptography, Quan- tum Copying and Quantum Information Theory, Quantum Error Correction and Fault-Tolerant Quantum Computing,andEmbodiments of Quantum Computers. With such a diverse range of contributions we hope that there will be something in this volume to interest everyone. I would like to thank the program committee and reviewers who all con- tributed greatly to the success of the NASA QCQC’98 conference. I pay special thanks to Dr. Charles Bennett of IBM for serving as the conference Chairper- son. Finally, I would like to thank our NASA/JPL sponsors who supported this conference both financially and intellectually. In particular, I thank the NASA/JPL Center for Integrated Space Microsystems (CISM), the Ballistic Missile Defense Organization, the NASA/JPL Center for Space Microelectron- ics Technology (CSMT), and the NASA Autonomy and Information Technology Program Office.
Colin P. Williams Table of Contents
Entanglement and Quantum Algorithms
Multi-particle Entanglement via Two-Particle Entanglement ...... 1 G. Brassard and T. Mor
Quantum Wavelet Transforms: Fast Algorithms and Complete Circuits ... 10 A. Fijany and C.P. Williams
Quantum Computer for Fluid Simulation ...... 34 J. Yepez
Quantum Entanglement and the Communication Complexity of the Inner Product Function ...... 61 R. Cleve, W. van Dam, M. Nielsen, and A. Tapp
Quantum Recurrent Networks for Simulating Stochastic Processes...... 75 M. Zak and C.P. Williams
Correlation Between Correlations: Process and Time in Quantum Networks 89 G. Mahler and I. Kim
Quantum Effects in Algorithms ...... 103 R. Jozsa
Automated Design of Quantum Circuits ...... 113 C.P. Williams and A.G. Gray
Quantum Search on Structured Problems ...... 126 L.K. Grover
Generalized Grover Search Algorithm for Arbitrary Initial Amplitude Distribution ...... 140 D. Biron, O. Biham, E. Biham, M. Grassl, and D. Lidar
Quantum Database Search by a Single Query ...... 148 D.P. Chi and J. Kim
Quantum Computer Cannot Speed Up Iterated Applications of a Black Box ...... 152 Y. Ozhigov
Quantum Resonance for Solving NP-complete Problems by Simulations ...160 M. Zak VIII Table of Contents
Computational Complexity and Physical Law ...... 167 D. Abrams and S. Lloyd
The Hidden Subgroup Problem and Eigenvalue Estimation on a Quantum Computer ...... 174 M. Mosca and A. Ekert
A Diakoptic Approach to Quantum Computation ...... 174 G. Castagnoli and D. Monti
Quantum Cryptography
Practical Free-Space Quantum Cryptography ...... 200 R.J.Hughes,W.T.Buttler,P.G.Kwiat,S.K.Lamoreaux,G.G.Luther, G.L. Morgan, J.E. Nordholt, C.G. Peterson, and C.M. Simmons
Quantum Cryptography, Eavesdropping and Unsharp Spin Measurement ..214 S. Roy and G. Kar
Quantum Copying and Quantum Information Theory
Information-Theoretic Aspects of Quantum Copying ...... 218 N.J. Cerf
Universal Optimal Cloning of Qubits and Quantum Registers ...... 235 V. Buzek and M. Hillery
Entanglement of Assistance ...... 247 D.P. DiVincenzo, C.A. Fuchs, H. Mabuchi, J.A. Smolin, A. Thapliyal, and A. Uhlmann
What Information Theory Can Tell Us about Quantum Reality ...... 258 C. Adami and N.J. Cerf
Quantum Generalization of Conditional Entropy and Information ...... 269 L.B. Levitin
Accessible Information in Multi-access Quantum Channels ...... 276 A.E. Allahverdyan and D.B. Saakian
Capacities of Quantum Channels and Quantum Coherent Information ....285 M. Westmoreland and B. Schumacher
Strengthened Lindblad Inequality: Applications in Non-equilibrium Thermodynamics and Quantum Information Theory ...... 296 D.B. Saakian and A.E. Allahverdyan Table of Contents IX
Quantum Error Correction and Fault-Tolerant Quantum Computing
Fault-Tolerant Quantum Computation with Higher-Dimensional Systems..302 D. Gottesman
Quantum Convolution Error Correction Codes ...... 314 H.F. Chau
On the Existence of Nonadditive Quantum Codes ...... 325 V.P. Roychowdhury and F. Vatan
Quantum Error Correction Is Applicable for Reducing Spatially Correlated Decoherence ...... 337 L.-M. Duang and G.-C. Guo
Topological Quantum Computation ...... 341 R.W. Ogburn and J. Preskill Embodiments of Quantum Computers
NMR GHZ ...... 357 R. Laflamme, E. Knill, W.H. Zurek, P. Catasti, S.V.S. Mariappan
Quantum Computing Using Electron-Nuclear Double Resonances ...... 364 C.M. Bowden, J.P. Dowling, and S.P. Hotaling
Physical Implementations for Quantum Communication in Quantum Networks ...... 373 H.-J. Briegel, J.I. Cirac, W. Dur, S.J. van Enk, H.J. Kimble, H. Mabuchi, and P. Zoller
An Optical Approach to Quantum Computing ...... 383 J.D. Franson and T.B. Pittman
Quantum Computation with Linear Optics ...... 391 C. Adami and N.J. Cerf
Decoherence Control for Optical Qubits ...... 402 D. Vitali and P. Tombesi
Adiabatic Controlled-NOT Gate for Quantum Computation ...... 413 D.V. Averin
Trapped Ion Quantum Computer Research at Los Alamos...... 426 D.F.V. James, M.S. Gulley, M.H. Holzscheiter, R.J. Hughes, P.G.Kwiat, S.K. Lamoreaux, C.G. Peterson, V.D. Sandberg, M.M. Schauer, C.M. Simmons, D.Tupa, P.Z. Wang, and A.G. White X Table of Contents
Arrays of Elliptical Ion Traps for Parallel Quantum Computing ...... 438 R.G. DeVoe
Simulating the Effect of Decoherence and Inaccuracies on a Quantum Computer ...... 447 K.M. Obenland and A.M. Despain
Implementation of Quantum Controlled-NOT Galtes Using Asymmetric Semiconductor Quantum Dots ...... 460 G. Brassard
Spatiotemporal Dynamics of Quantum Computing Solid Dipole-Dipole Block Systems ...... 468 H. Matsueda
Author Index ...... 479