Part I. Fundamental Concepts: 1. Introduction and overview 2. Introduction to quantum mechanics 3. Introduction to computer science Part II. Quantum Computation: 4. Quantum circuits 5. The quantum Fourier transform and its application 6. Quantum search algorithms 7. Quantum computers: physical realization Part III. Quantum Information: 8. Quantum noise and quantum operations 9. Distance measures for quantum information 10. Quantum error-correction 11. Entropy and information 12. Quantum information theory Appendices References Index.

Quantum Computation and Quantum Information

A digital computer is generally believed to be an efficient universal computing device; that is, it is believed able to simulate any physical computing device with an increase in computation time by at most a polynomial factor. This may not be true when quantum mechanics is taken into consideration. This paper considers factoring integers and finding discrete logarithms, two problems which are generally thought to be hard on a classical computer and which have been used as the basis of several proposed cryptosystems. Efficient randomized algorithms are given for these two problems on a hypothetical quantum computer. These algorithms take a number of steps polynomial in the input size, e.g., the number of digits of the integer to be factored.

Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer

A computer is generally considered to be a universal computational device; i.e., it is believed able to simulate any physical computational device with a cost in computation time of at most a polynomial factor: It is not clear whether this is still true when quantum mechanics is taken into consideration. Several researchers, starting with David Deutsch, have developed models for quantum mechanical computers and have investigated their computational properties. This paper gives Las Vegas algorithms for finding discrete logarithms and factoring integers on a quantum computer that take a number of steps which is polynomial in the input size, e.g., the number of digits of the integer to be factored. These two problems are generally considered hard on a classical computer and have been used as the basis of several proposed cryptosystems. We thus give the first examples of quantum cryptanalysis. >

Algorithms for quantum computation: discrete logarithms and factoring

A comprehensive review of spatiotemporal pattern formation in systems driven away from equilibrium is presented, with emphasis on comparisons between theory and quantitative experiments. Examples include patterns in hydrodynamic systems such as thermal convection in pure fluids and binary mixtures, Taylor-Couette flow, parametric-wave instabilities, as well as patterns in solidification fronts, nonlinear optics, oscillatory chemical reactions and excitable biological media. The theoretical starting point is usually a set of deterministic equations of motion, typically in the form of nonlinear partial differential equations. These are sometimes supplemented by stochastic terms representing thermal or instrumental noise, but for macroscopic systems and carefully designed experiments the stochastic forces are often negligible. An aim of theory is to describe solutions of the deterministic equations that are likely to be reached starting from typical initial conditions and to persist at long times. A unified description is developed, based on the linear instabilities of a homogeneous state, which leads naturally to a classification of patterns in terms of the characteristic wave vector q0 and frequency ω0 of the instability. Type Is systems (ω0=0, q0≠0) are stationary in time and periodic in space; type IIIo systems (ω0≠0, q0=0) are periodic in time and uniform in space; and type Io systems (ω0≠0, q0≠0) are periodic in both space and time. Near a continuous (or supercritical) instability, the dynamics may be accurately described via "amplitude equations," whose form is universal for each type of instability. The specifics of each system enter only through the nonuniversal coefficients. Far from the instability threshold a different universal description known as the "phase equation" may be derived, but it is restricted to slow distortions of an ideal pattern. For many systems appropriate starting equations are either not known or too complicated to analyze conveniently. It is thus useful to introduce phenomenological order-parameter models, which lead to the correct amplitude equations near threshold, and which may be solved analytically or numerically in the nonlinear regime away from the instability. The above theoretical methods are useful in analyzing "real pattern effects" such as the influence of external boundaries, or the formation and dynamics of defects in ideal structures. An important element in nonequilibrium systems is the appearance of deterministic chaos. A greal deal is known about systems with a small number of degrees of freedom displaying "temporal chaos," where the structure of the phase space can be analyzed in detail. For spatially extended systems with many degrees of freedom, on the other hand, one is dealing with spatiotemporal chaos and appropriate methods of analysis need to be developed. In addition to the general features of nonequilibrium pattern formation discussed above, detailed reviews of theoretical and experimental work on many specific systems are presented. These include Rayleigh-Benard convection in a pure fluid, convection in binary-fluid mixtures, electrohydrodynamic convection in nematic liquid crystals, Taylor-Couette flow between rotating cylinders, parametric surface waves, patterns in certain open flow systems, oscillatory chemical reactions, static and dynamic patterns in biological media, crystallization fronts, and patterns in nonlinear optics. A concluding section summarizes what has and has not been accomplished, and attempts to assess the prospects for the future.

/pdf/pattern-formation-outside-of-equilibrium-1601b9znum.pdf

Pattern formation outside of equilibrium

The calculation of rate coefficients is a discipline of nonlinear science of importance to much of physics, chemistry, engineering, and biology. Fifty years after Kramers' seminal paper on thermally activated barrier crossing, the authors report, extend, and interpret much of our current understanding relating to theories of noise-activated escape, for which many of the notable contributions are originating from the communities both of physics and of physical chemistry. Theoretical as well as numerical approaches are discussed for single- and many-dimensional metastable systems (including fields) in gases and condensed phases. The role of many-dimensional transition-state theory is contrasted with Kramers' reaction-rate theory for moderate-to-strong friction; the authors emphasize the physical situation and the close connection between unimolecular rate theory and Kramers' work for weakly damped systems. The rate theory accounting for memory friction is presented, together with a unifying theoretical approach which covers the whole regime of weak-to-moderate-to-strong friction on the same basis (turnover theory). The peculiarities of noise-activated escape in a variety of physically different metastable potential configurations is elucidated in terms of the mean-first-passage-time technique. Moreover, the role and the complexity of escape in driven systems exhibiting possibly multiple, metastable stationary nonequilibrium states is identified. At lower temperatures, quantum tunneling effects start to dominate the rate mechanism. The early quantum approaches as well as the latest quantum versions of Kramers' theory are discussed, thereby providing a description of dissipative escape events at all temperatures. In addition, an attempt is made to discuss prominent experimental work as it relates to Kramers' reaction-rate theory and to indicate the most important areas for future research in theory and experiment.

Reaction-rate theory: fifty years after Kramers

It is argued that computing machines inevitably involve devices which perform logical functions that do not have a single-valued inverse. This logical irreversibility is associated with physical irreversibility and requires a minimal heat generation, per machine cycle, typically of the order of kT for each irreversible function. This dissipation serves the purpose of standardizing signals and making them independent of their exact logical history. Two simple, but representative, models of bistable devices are subjected to a more detailed analysis of switching kinetics to yield the relationship between speed and energy dissipation, and to estimate the effects of errors induced by thermal fluctuations.

/pdf/irreversibility-and-heat-generation-in-the-computing-process-4lt8qiumjb.pdf

Irreversibility and heat generation in the computing process

The conductance of a sample scattering elastically and coupled to leads with many channels is derived. We assume that all the incident channels on one side of the sample are fed from the same chemical potential. The transmitted and reflected streams are determined by the incident streams through the multichannel scattering properties of the sample. We do not assume that the channels equilibrate with each other. Our result differs from those given earlier by other authors, except for that of Azbel [J. Phys. C 14, L225 (1981)], which is confirmed. We point out that a similar result is obtained for the conductance in a single channel at a temperature above zero. As an application, we obtain the dependence on channel number N of the contributions to the conductance of a small ring, periodic in the Aharonov-Bohm flux through it. Terms whose period is h/e as well as those with period h/2e vary with N as 1/N.

Generalized many-channel conductance formula with application to small rings.

Localized scatterers can be expected to give rise to spatial variations in the electric field and in the current distribution. The transport equation allowing for spatial variations is solved by first considering the homogeneous transport equation which omits electric fields. The homogeneous solution gives the purely diffusive motion of current carriers and involves large space charges. The electric field is then found, and approximate space charge neutrality is restored, by adding a particular solution of the transport equation in which the electric field is associated only with space charge but not with a current. The presence of point scatterers leads to a dipole field about each scatterer. The spatial average of a number of these dipole fields is the same as that obtained by the usual approach which does not explicitly consider the spatial variation. Infinite plane obstacles with a reflection coefficient r are also considered. These produce a resistance proportional to r/(1-r).

Spatial variation of currents and fields due to localized scatterers in metallic conduction

Josephson behavior in small normal one-dimensional rings

One of several contradictory existing results for the time a tunneling particle interacts with its barrier is confirmed, by considering tunneling through a time-modulated barrier. At low modulation frequencies the traversing particle sees a static barrier. At high frequencies the particle tunnels through the time-averaged potential, but can do it inelastically, losing or gaining modulation quanta. The transition between the two regimes yields $\ensuremath{\int}\mathrm{dx}{[\frac{m}{2(V\ensuremath{-}E)}]}^{\frac{1}{2}}$ for the traversal time.

Rolf Landauer

Papers

Irreversibility and heat generation in the computing process

Generalized many-channel conductance formula with application to small rings.

Spatial variation of currents and fields due to localized scatterers in metallic conduction

Josephson behavior in small normal one-dimensional rings

Traversal Time for Tunneling