SearcharxivSearch

arXiv subjects

Norman Margolus

Publications and source records attributed to Norman Margolus.

12 recordsLinked to original sources

The maximum distinctness of physical systems

The limited distinctness of physical systems is roughly expressed by uncertainty relations. Here we show distinctness is a finite resource we can exactly count to define basic physical quantities, limits to the resolution of space and time, and informational foundations for classical mechanics. Our analysis generalizes quantum speed limits: we count the distinct (orthogonal) states that can occur in a finite length of unitary change. As in Nyquist's bound on distinct signal values in classical waves, widths of superpositions bound the distinct states per unit length -- and basic conserved quantities are widths. Maximally distinct unitary evolution is effectively discrete -- and this characterizes classical systems. [see also Popular Summary in arxiv ancillary files]

quant-ph

Finite-State Classical Mechanics

Reversible lattice dynamics embody basic features of physics that govern the time evolution of classical information. They have finite resolution in space and time, don't allow information to be erased, and easily accommodate other structural properties of microscopic physics, such as finite distinct state and locality of interaction. In an ideal quantum realization of a reversible lattice dynamics, finite classical rates of state-change at lattice sites determine average energies and momenta. This is very different than traditional continuous models of classical dynamics, where the number of distinct states is infinite, the rate of change between distinct states is infinite, and energies and momenta are not tied to rates of distinct state change. Here we discuss a family of classical mechanical models that have the informational and energetic realism of reversible lattice dynamics, while retaining the continuity and mathematical framework of classical mechanics. These models may help to clarify the informational foundations of mechanics.

nlin.CG

The finite-state character of physical dynamics

Finite physical systems have only a finite amount of distinct state. This finiteness is fundamental in statistical mechanics, where the maximum number of distinct states compatible with macroscopic constraints defines entropy. Here we show that finiteness of distinct state is similarly fundamental in ordinary mechanics: energy and momentum are defined by the maximum number of distinct states possible in a given time or distance. More generally, any moment of energy or momentum bounds distinct states in time or space. These results generalize both the Nyquist bandwidth-bound on distinct values in classical signals, and quantum uncertainty bounds. The new certainty bounds are achieved by finite-bandwidth evolutions in which time and space are effectively discrete, including quantum evolutions that are effectively classical. Since energy and momentum count distinct states, they are defined in finite-state dynamics, and they relate classical mechanics to finite-state evolution.

quant-ph

The ideal energy of classical lattice dynamics

We define, as local quantities, the least energy and momentum allowed by quantum mechanics and special relativity for physical realizations of some classical lattice dynamics. These definitions depend on local rates of finite-state change. In two example dynamics, we see that these rates evolve like classical mechanical energy and momentum.

nlin.CG

Quantum emulation of classical dynamics

In statistical mechanics, it is well known that finite-state classical lattice models can be recast as quantum models, with distinct classical configurations identified with orthogonal basis states. This mapping makes classical statistical mechanics on a lattice a special case of quantum statistical mechanics, and classical combinatorial entropy a special case of quantum entropy. In a similar manner, finite-state classical dynamics can be recast as finite-energy quantum dynamics. This mapping translates continuous quantities, concepts and machinery of quantum mechanics into a simplified finite-state context in which they have a purely classical and combinatorial interpretation. For example, in this mapping quantum average energy becomes the classical update rate. Interpolation theory and communication theory help explain the truce achieved here between perfect classical determinism and quantum uncertainty, and between discrete and continuous dynamics.

quant-ph

Mechanical Systems that are both Classical and Quantum

Quantum dynamics can be regarded as a generalization of classical finite-state dynamics. This is a familiar viewpoint for workers in quantum computation, which encompasses classical computation as a special case. Here this viewpoint is extended to mechanics, where classical dynamics has traditionally been viewed as a macroscopic approximation of quantum behavior, not as a special case. When a classical dynamics is recast as a special case of quantum dynamics, the quantum description can be interpreted classically. For example, sometimes extra information is added to the classical state in order to construct the quantum description. This extra information is then eliminated by representing it in a superposition as if it were unknown information about a classical statistical ensemble. This usage of superposition leads to the appearance of Fermions in the quantum description of classical lattice-gas dynamics and turns continuous-space descriptions of finite-state systems into illustrations of classical sampling theory. A direct mapping of classical systems onto quantum systems also allows us to determine the minimum possible energy scale for a classical dynamics, based on a localized rate of state change. We use a partitioning description of dynamics to define locality, and discuss the ideal energy of two model systems.

quant-ph

Universal Cellular Automata Based on the Collisions of Soft Spheres

Fredkin's Billiard Ball Model (BBM) is a continuous classical mechanical model of computation based on the elastic collisions of identical finite-diameter hard spheres. When the BBM is initialized appropriately, the sequence of states that appear at successive integer time-steps is equivalent to a discrete digital dynamics. Here we discuss some models of computation that are based on the elastic collisions of identical finite-diameter soft spheres: spheres which are very compressible and hence take an appreciable amount of time to bounce off each other. Because of this extended impact period, these Soft Sphere Models (SSM's) correspond directly to simple lattice gas automata--unlike the fast-impact BBM. Successive time-steps of an SSM lattice gas dynamics can be viewed as integer-time snapshots of a continuous physical dynamics with a finite-range soft-potential interaction. We present both 2D and 3D models of universal CA's of this type, and then discuss spatially-efficient computation using momentum conserving versions of these models (i.e., without fixed mirrors). Finally, we discuss the interpretation of these models as relativistic and as semi-classical systems, and extensions of these models motivated by these interpretations.

nlin.CG

Crystalline Computation

A cellular automaton is a deterministic and exactly computable dynamical system which mimics certain fundamental aspects of physical dynamics such as spatial locality and finite entropy. CA systems can be constructed which have additional attributes that are basic to physics: systems which are exactly invertible at their finest scale, which obey exact conservation laws, which support the evolution of arbitrary complexity, etc. In this paper, we discuss techniques for bringing CA models closer to physics, and some of the interesting consequences of doing so.

comp-gas

The maximum speed of dynamical evolution

We discuss the problem of counting the maximum number of distinct states that an isolated physical system can pass through in a given period of time---its maximum speed of dynamical evolution. Previous analyses have given bounds in terms of the standard deviation of the energy of the system; here we give a strict bound that depends only on E-E0, the system's average energy minus its ground state energy. We also discuss bounds on information processing rates implied by our bound on the speed of dynamical evolution. For example, adding one Joule of energy to a given computer can never increase its processing rate by more than about 3x10^33 operations per second.

quant-ph

CAM-8: A Computer Architecture Based on Cellular Automata

Conventional computers are ill suited to run CA models, and so discourage their development. By creating a hardware platform that makes a broad range of new CA algorithms practical for real applications, we hope to whet the appetite of researchers for the astronomical computing power that can be harnessed in microphysics in a CA format.

comp-gas

Simulating Three-Dimensional Hydrodynamics on a Cellular-Automata Machine

We demonstrate how three-dimensional fluid flow simulations can be carried out on the Cellular Automata Machine 8 (CAM-8), a special-purpose computer for cellular-automata computations. The principal algorithmic innovation is the use of a lattice-gas model with a 16-bit collision operator that is specially adapted to the machine architecture. It is shown how the collision rules can be optimized to obtain a low viscosity of the fluid. Predictions of the viscosity based on a Boltzmann approximation agree well with measurements of the viscosity made on CAM-8. Several test simulations of flows in simple geometries -- channels, pipes, and a cubic array of spheres -- are carried out. Measurements of average flux in these geometries compare well with theoretical predictions.

chao-dyn

Lattice-Gas Automata Fluids on Parallel Supercomputers

A condensed history and theoretical development of lattice-gas automata in the Boltzmann limit is presented. This is provided as background to set up the context for understanding the implementation of the lattice-gas method on two parallel supercomputers: the MIT cellular automata machine CAM-8 and the Connection Machine CM-5. The macroscopic limit of two-dimensional fluids is tested by simulating the Rayleigh-Bénard convective instability, Kelvin-Helmholtz shear instability, and the Von Karman vortex shedding instability. Performance of the two machines in terms of both site update rate and maximum problem size are comparable. The CAM-8, being a low-cost desktop machine, demonstrates the potential of special-purpose digital hardware.

comp-gas