-
Canonical Temperature Control by Molecular Dynamics
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
"Pedagogical derivations for Nosé's dynamics can be developed in two different ways, (i) by starting with a temperature-dependent Hamiltonian in which the variable $s$ scales the time or the mass, or (ii) by requiring that the equations of motion generate the canonical distribution including a Gaussian distribution in the friction coefficient $ζ$. Nosé's papers follow the former approach. Because…
▽ More
"Pedagogical derivations for Nosé's dynamics can be developed in two different ways, (i) by starting with a temperature-dependent Hamiltonian in which the variable $s$ scales the time or the mass, or (ii) by requiring that the equations of motion generate the canonical distribution including a Gaussian distribution in the friction coefficient $ζ$. Nosé's papers follow the former approach. Because the latter approach is not only constructive and simple, but also can be generalized to other forms of the equations of motion, we illustrate it here. We begin by considering the probability density $f(q,p,ζ)$ in an extended phase space which includes $ζ$ as well as all pairs of phase variables $q$ and $p$. This density $f(q,p,ζ)$ satisfies the conservation of probability (Liouville's Continuity Equation)" $$(\partial f/\partial t) + \sum (\partial (\dot q f)/\partial q) + \sum (\partial (\dot p f)/\partial p) + \sum (\partial (\dot ζf)/\partial ζ) = 0 \ . $$ The multi-authored ``review''\cite{b1} motivated our quoting the history of Nosé and Nosé-Hoover mechanics, aptly described on page 31 of Bill's 1986 {\it Molecular Dynamics} book, reproduced above\cite{b2}.
△ Less
Submitted 13 February, 2024;
originally announced April 2024.
-
Time-Reversible Thermodynamic Irreversibility : One-Dimensional Heat-Conducting Oscillators and Two-Dimensional Newtonian Shockwaves
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
We analyze the time-reversible mechanics of two irreversible simulation types. The first is a dissipative one-dimensional heat-conducting oscillator exposed to a temperature gradient in a three-dimensional phase space with coordinate $q$, momentum $p$, and thermostat control variable $ζ$. The second type simulates a conservative two-dimensional $N$-body fluid with $4N$ phase variables $\{q,p\}$ un…
▽ More
We analyze the time-reversible mechanics of two irreversible simulation types. The first is a dissipative one-dimensional heat-conducting oscillator exposed to a temperature gradient in a three-dimensional phase space with coordinate $q$, momentum $p$, and thermostat control variable $ζ$. The second type simulates a conservative two-dimensional $N$-body fluid with $4N$ phase variables $\{q,p\}$ undergoing shock compression. Despite the time-reversibility of each of the three oscillator equations and all of the $4N$ manybody motion equations both types of simulation are irreversible, obeying the Second Law of Thermodynamics. But for different reasons. The irreversible oscillator seeks out an attractive dissipative limit cycle. The likewise irreversible, but thoroughly conservative, Newtonian shockwave eventually generates a reversible near-equilibrium pair of rarefaction fans. Both problem types illustrate interesting features of Lyapunov instability.
△ Less
Submitted 12 October, 2022; v1 submitted 2 October, 2022;
originally announced October 2022.
-
Thermodynamic Entropy from Sadi Carnot's Cycle using Gauss' and Doll's-Tensor Molecular Dynamics
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Carnot's four-part ideal-gas cycle includes both isothermal and adiabatic expansions and compressions. Analyzing this cycle provides the fundamental basis for statistical thermodynamics. We explore the cycle here from a pedagogical view in order to promote understanding of the macroscopic thermodynamic entropy, the state function associated with thermal energy changes. From the alternative microsc…
▽ More
Carnot's four-part ideal-gas cycle includes both isothermal and adiabatic expansions and compressions. Analyzing this cycle provides the fundamental basis for statistical thermodynamics. We explore the cycle here from a pedagogical view in order to promote understanding of the macroscopic thermodynamic entropy, the state function associated with thermal energy changes. From the alternative microscopic viewpoint the Hamiltonian ${\cal H}(q,p)$ is the energy and entropy is the (logarithm of the) phase-space volume $Ω$ associated with a macroscopic state. We apply two novel forms of Hamiltonian mechanics to Carnot's Cycle: [1] Gauss' isokinetic mechanics for the isothermal segments and [2] Doll's Tensor for the isentropic adiabatic segments. We explore the equivalence of the microscopic and macroscopic views of Carnot's cycle for simple fluids here, beginning with the ideal Knudsen gas and extending the analysis to a prototypical simple fluid.
△ Less
Submitted 9 February, 2022; v1 submitted 29 January, 2022;
originally announced January 2022.
-
Computational Implementation of Maxwell's Knudsen-Gas Demon and Its Extension to a Two-Dimensional Soft-Disk Fluid
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
An interesting preprint by Puru Gujrati, "Maxwell's Demon Must Remain Subservient to Clausius' Statement" [ of the Second Law of Thermodynamics ], traces the development and application of Maxwell's Demon. He argues against the Demon on thermodynamic grounds. Gujrati introduces and uses his own version of a generalized thermodynamics in his criticism of the Demon. The complexity of his paper and t…
▽ More
An interesting preprint by Puru Gujrati, "Maxwell's Demon Must Remain Subservient to Clausius' Statement" [ of the Second Law of Thermodynamics ], traces the development and application of Maxwell's Demon. He argues against the Demon on thermodynamic grounds. Gujrati introduces and uses his own version of a generalized thermodynamics in his criticism of the Demon. The complexity of his paper and the lack of any accompanying numerical work piqued our curiousity. The internet provides well over two million "hits'' on the subject of "Maxwell's Demon". There are also hundreds of images of the Demon, superimposed upon a container of gas or liquid. However, there is not so much along the lines of simulations of the Demonic process. Accordingly, we thought it useful to write and execute relatively simple FORTRAN programs designed to implement Maxwell's low-density model and to develop its replacement with global Nosé-Hoover or local purely-Newtonian thermal controls. These simulations illustrate the entropy decreases associated with all three types of Demons.
△ Less
Submitted 10 January, 2022; v1 submitted 28 December, 2021;
originally announced December 2021.
-
Nonequilibrium Time Reversibility with Maps and Walks
Authors:
William Graham Hoover,
Carol Griswold Hoover,
Edward R. Smith
Abstract:
Time-reversible dynamical simulations of nonequilibrium systems exemplify both Loschmidt's and Zermélo's paradoxes. That is, computational time-reversible simulations invariably produce solutions consistent with the {\it irreversible} Second Law of Thermodynamics (Loschmidt's) as well as {\it periodic} in the time (Zermélo's, illustrating Poincaré recurrence). Understanding these paradoxical aspec…
▽ More
Time-reversible dynamical simulations of nonequilibrium systems exemplify both Loschmidt's and Zermélo's paradoxes. That is, computational time-reversible simulations invariably produce solutions consistent with the {\it irreversible} Second Law of Thermodynamics (Loschmidt's) as well as {\it periodic} in the time (Zermélo's, illustrating Poincaré recurrence). Understanding these paradoxical aspects of time-reversible systems is enhanced here by studying the simplest pair of such model systems.
The first is time-reversible, but nevertheless dissipative and periodic, the piecewise-linear compressible Baker Map. The fractal properties of that two-dimensional map are mirrored by an even simpler example, the one-dimensional random walk, confined to the unit interval. As a further puzzle the two models yield ambiguities in determining the fractals' information dimensions. These puzzles, including the classical paradoxes, are reviewed and explored here. We review our investigations presented in Budapest in 1997 and end with presentday questions posed as the Snook Prize Problems in 2020 and 2021.
△ Less
Submitted 19 September, 2021; v1 submitted 4 August, 2021;
originally announced August 2021.
-
The Simplest Viscous Flow
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
We illustrate an atomistic periodic two-dimensional stationary shear flow, $u_x = \langle \ \dot x \ \rangle = \dot εy$, using the simplest possible example, the periodic shear of just two particles ! We use a short-ranged "realistic" pair potential, $φ(r<2) = (2-r)^6 - 2(2-r)^3$. Many body simulations with it are capable of modelling the gas, liquid, and solid states of matter. A useful mechanics…
▽ More
We illustrate an atomistic periodic two-dimensional stationary shear flow, $u_x = \langle \ \dot x \ \rangle = \dot εy$, using the simplest possible example, the periodic shear of just two particles ! We use a short-ranged "realistic" pair potential, $φ(r<2) = (2-r)^6 - 2(2-r)^3$. Many body simulations with it are capable of modelling the gas, liquid, and solid states of matter. A useful mechanics generating steady shear follows from a special ("Kewpie-Doll" $\sim$ "$qp$-Doll") Hamiltonian based on the Hamiltonian coordinates $\{ q \}$ and momenta $\{ p \}$ : ${\cal H}(q,p) \equiv K(p) + Φ(q) + \dot ε\sum qp$. Choosing $qp \rightarrow yp_x$ the resulting motion equations are consistent with steadily shearing periodic boundaries with a strain rate $(du_x/dy) = \dot ε$. The occasional $x$ coordinate jumps associated with periodic boundary crossings in the $y$ direction provide a Hamiltonian that is a piecewise-continuous function of time. A time-periodic isothermal steady state results when the Hamiltonian motion equations are augmented with a continuously variable thermostat generalizing Shuichi Nosé's revolutionary ideas from 1984. The resulting distributions of coordinates and momenta are interesting multifractals, with surprising irreversible consequences from strictly time-reversible motion equations.
△ Less
Submitted 8 July, 2021; v1 submitted 20 June, 2021;
originally announced June 2021.
-
What is Liquid ? [in two dimensions]
Authors:
Karl P. Travis,
William Graham Hoover,
Carol Griswold Hoover,
Amanda Bailey Hass
Abstract:
We consider the practicalities of defining, simulating, and characterizing "Liquids" from a pedagogical standpoint based on atomistic computer simulations. For simplicity and clarity we study two-dimensional systems throughout. In addition to the infinite-ranged Lennard-Jones 12/6 potential we consider two shorter-ranged families of pair potentials. At zero pressure one of them includes just neare…
▽ More
We consider the practicalities of defining, simulating, and characterizing "Liquids" from a pedagogical standpoint based on atomistic computer simulations. For simplicity and clarity we study two-dimensional systems throughout. In addition to the infinite-ranged Lennard-Jones 12/6 potential we consider two shorter-ranged families of pair potentials. At zero pressure one of them includes just nearest neighbors. The other longer-ranged family includes twelve additional neighbors. We find that these further neighbors can help stabilize the liquid phase.
What about liquids? To implement Wikipedia's definition of liquids as conforming to their container we begin by formulating and imposing smooth-container boundary conditions. To encourage conformation further we add a vertical gravitational field. Gravity helps stabilize the relatively vague liquid-gas interface. Gravity reduces the messiness associated with the curiously-named "spinodal" (tensile) portion of the phase diagram. Our simulations are mainly isothermal. We control the kinetic temperature with Nosé-Hoover thermostating, extracting or injecting heat so as to impose a mean kinetic temperature over time. Our simulations stabilizing density gradients and the temperature provide critical-point estimates fully consistent with previous efforts from free energy and Gibbs' ensemble simulations. This agreement validates our approach.
△ Less
Submitted 27 March, 2021; v1 submitted 28 February, 2021;
originally announced March 2021.
-
Time-Symmetry Breaking in Hamiltonian Mechanics. III. A Memoir for Douglas James Henderson [1934-2020]
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Following Berni Alder [1] and Francis Ree [2], Douglas Henderson was the third of Bill's California coworkers from the 1960s to die in 2020. Motivated by Doug's death we undertook better to understand Lyapunov instability and the breaking of time symmetry in continuum and atomistic simulations. Here we have chosen to extend our explorations of an interesting pair of nonequilibrium systems, the ste…
▽ More
Following Berni Alder [1] and Francis Ree [2], Douglas Henderson was the third of Bill's California coworkers from the 1960s to die in 2020. Motivated by Doug's death we undertook better to understand Lyapunov instability and the breaking of time symmetry in continuum and atomistic simulations. Here we have chosen to extend our explorations of an interesting pair of nonequilibrium systems, the steady shockwave and the unsteady rarefaction wave. We eliminate the need for boundary potentials by simulating the collisions of pairs of mirror-images projectiles. The resulting shock and rarefaction structures are respectively the results of the compression and the expansion of simple fluids. Shockwaves resulting from compression have a steady structure while the rarefaction fans resulting from free expansions continually broaden. We model these processes using classical molecular dynamics and Eulerian fluid mechanics in two dimensions. Although molecular dynamics is time-reversible the reversed simulation of a steady shockwave compression soon results in an unsteady rarefaction fan, violating the microscopic time symmetry of the motion equations but in agreement with the predictions of macroscopic Navier-Stokes fluid mechanics. The explanations for these results are an interesting combination of two (irreversible) instabilities, Lyapunov and Navier-Stokes.
△ Less
Submitted 4 December, 2020; v1 submitted 22 November, 2020;
originally announced November 2020.
-
Time-Symmetry Breaking in Hamiltonian Mechanics. II. A Memoir for Berni Julian Alder [1925-2020]
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
This memoir honors the late Berni Julian Alder, who inspired both of us with his pioneering development of molecular dynamics. Berni's work with Tom Wainwright, described in the 1959 Scientific American[1], brought Bill to interview at Livermore in 1962. Hired by Berni, Bill enjoyed over 40 years' research at the Laboratory. Berni, along with Edward Teller, founded UC's Department of Applied Scien…
▽ More
This memoir honors the late Berni Julian Alder, who inspired both of us with his pioneering development of molecular dynamics. Berni's work with Tom Wainwright, described in the 1959 Scientific American[1], brought Bill to interview at Livermore in 1962. Hired by Berni, Bill enjoyed over 40 years' research at the Laboratory. Berni, along with Edward Teller, founded UC's Department of Applied Science in 1963. Their motivation was to attract bright students to use the laboratory's unparalleled research facilities. In 1972 Carol was offered a joint LLNL employee-DAS student appointment at Livermore. Bill, thanks to Berni's efforts, was already a Professor at DAS. Carol became one of Bill's best students. Berni's influence was directly responsible for our physics collaboration and our marriage in 1989. The present work is devoted to two early interests of Berni's, irreversibility and shockwaves. Berni and Tom studied the irreversibility of Boltzmann's "H function" in the early 1950s[2]. Berni called shockwaves the "most irreversible" of hydrodynamic processes[3]. Just this past summer, in simulating shockwaves with time-reversible classical mechanics, we found that reversed Runge-Kutta shockwave simulations yielded nonsteady rarefaction waves, not shocks. Intrigued by this unexpected result we studied the exponential Lyapunov instabilities in both wave types. Besides the Runge-Kutta and Leapfrog algorithms, we developed a precisely-reversible manybody algorithm based on trajectory storing, just changing the velocities' signs to generate the reversed trajectories. Both shocks and rarefactions were precisely reversed. Separate simulations, forward and reversed, provide interesting examples of the Lyapunov-unstable symmetry-breaking models supporting the Second Law of Thermodynamics. We describe promising research directions suggested by this work.
△ Less
Submitted 15 October, 2020; v1 submitted 25 September, 2020;
originally announced October 2020.
-
From Hard Spheres and Cubes to Nonequilibrium Maps with Thirty-Some Years of Thermostatted Molecular Dynamics
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
This is our current research perspective on models providing insight into statistical mechanics. It is necessarily personal, emphasizing our own interest in simulation as it developed from the National Laboratories' work to the worldwide explosion of computation of today. We contrast the past and present in atomistic simulations, emphasizing those simple models which best achieve reproducibility a…
▽ More
This is our current research perspective on models providing insight into statistical mechanics. It is necessarily personal, emphasizing our own interest in simulation as it developed from the National Laboratories' work to the worldwide explosion of computation of today. We contrast the past and present in atomistic simulations, emphasizing those simple models which best achieve reproducibility and promote understanding. Few-body models with pair forces have led to today's "realistic" simulations with billions of atoms and molecules. Rapid advances in computer technology have led to change. Theoretical formalisms have largely been replaced by simulations incorporating ingenious algorithm development. We choose to study particularly simple, yet relevant, models directed toward understanding general principles. Simplicity remains a worthy goal, as does relevance. We discuss hard-particle virial series, melting, thermostatted oscillators with and without heat conduction, chaotic dynamics, fractals, the connection of Lyapunov spectra to thermodynamics, and finally simple linear maps. Along the way we mention directions in which additional modelling could provide more clarity and yet more interesting developments in the future.
△ Less
Submitted 17 August, 2020; v1 submitted 13 June, 2020;
originally announced June 2020.
-
Compressible Baker Maps and Their Inverses. A Memoir for Francis Hayin Ree [ 1936-2020 ]
Authors:
William Graham Hoover
Abstract:
This memoir is dedicated to the late Francis Hayin Ree, a formative influence shaping my work in statistical mechanics. Between 1963 and 1968 we collaborated on nine papers published in the Journal of Chemical Physics. Those dealt with the virial series, cell models, and computer simulation. All of them were directed toward understanding the statistical thermodynamics of simple model systems. Our…
▽ More
This memoir is dedicated to the late Francis Hayin Ree, a formative influence shaping my work in statistical mechanics. Between 1963 and 1968 we collaborated on nine papers published in the Journal of Chemical Physics. Those dealt with the virial series, cell models, and computer simulation. All of them were directed toward understanding the statistical thermodynamics of simple model systems. Our last joint work is also the most cited, with over 1000 citations, "Melting Transition and Communal Entropy for Hard Spheres", submitted 3 May 1968 and published that October. Here I summarize my own most recent work on compressible time-reversible two-dimensional maps. These simplest of model systems are amenable to computer simulation and are providing stimulating and surprising results.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
Nonequilibrium Molecular Dynamics, Fractal Phase-Space Distributions, the Cantor Set, and Puzzles Involving Information Dimensions for Two Compressible Baker Maps
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Deterministic and time-reversible nonequilibrium molecular dynamics simulations typically generate "fractal" [ fractional-dimensional ] phase-space distributions. Because these distributions and their time-reversed twins have zero phase volume, stable attractors "forward in time" and unstable (unobservable) repellors when reversed, these simulations are consistent with the Second Law of Thermodyna…
▽ More
Deterministic and time-reversible nonequilibrium molecular dynamics simulations typically generate "fractal" [ fractional-dimensional ] phase-space distributions. Because these distributions and their time-reversed twins have zero phase volume, stable attractors "forward in time" and unstable (unobservable) repellors when reversed, these simulations are consistent with the Second Law of Thermodynamics. These same reversibility and stability properties can also be found in compressible Baker Maps, or in their equivalent random walks, motivating their careful study. We illustrate these ideas with three examples: a Cantor-Set Map and two linear compressible Baker Maps, N2$(q,p)$ and N3$(q,p)$. The two Baker Maps' Information dimensions estimated from sequential mappings agree while those from pointwise iteration do not, with the estimates dependent upon details of the approach to the maps' nonequilibrium steady states.
△ Less
Submitted 7 September, 2020; v1 submitted 6 January, 2020;
originally announced January 2020.
-
2020 Ian Snook Prize Problem : Three Routes to the Information Dimensions for a One-Dimensional Stochastic Random Walk and for an Equivalent Prototypical Two-Dimensional Baker Map
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
The \…
▽ More
The \$1000 Ian Snook Prize for 2020 will be awarded to the author(s) of the most interesting paper exploring a pair of relatively simple, but fractal, models of nonequilibrium systems, a dissipative time-reversible Baker Map and an equivalent stochastic random walk. The two-dimensional deterministic, time-reversible, chaotic, fractal, and dissipative Baker map is equivalent to the stochastic one-dimensional random walk model for which three distinct estimates for the information dimension, $\{ \ 0.7897,\ 0.741_5, \ 0.7337 \ \}$ have all been put forward. So far there is no cogent explanation for the differences among them. We describe the three routes to the information dimension, $D_I$: [ 1 ] iterated Cantor-like mappings, [ 2 ] mesh-based analyses of single-point iterations, and [ 3 ] the Kaplan-Yorke Lyapunov dimension, thought by many to be exact for these models. We encourage colleagues to address this Prize Problem by suggesting, testing, and analyzing mechanisms underlying these differing results.
△ Less
Submitted 10 November, 2019; v1 submitted 24 October, 2019;
originally announced October 2019.
-
Random Walk Equivalence to the Compressible Baker Map and the Kaplan-Yorke Approximation to Its Information Dimension
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Simple time-reversible systems can generate {\it irreversible} flows satisfying the Second Law of Thermodynamics. Maps, and equivalent random walks, can also do this. We study a pair of time-reversible Baker Maps, $N2$ and $N3$, which generate dissipative{\it fractal} phase-space structures. Steadily decreasing phase-space volumes correspond to the dissipation associated with entropy production. L…
▽ More
Simple time-reversible systems can generate {\it irreversible} flows satisfying the Second Law of Thermodynamics. Maps, and equivalent random walks, can also do this. We study a pair of time-reversible Baker Maps, $N2$ and $N3$, which generate dissipative{\it fractal} phase-space structures. Steadily decreasing phase-space volumes correspond to the dissipation associated with entropy production. Like three smooth reversible dissipative one-body phase-space flows developed in the 1980s and 1990s our maps generate fractal distributions, but in two dimensions rather than three, simplifying visualization and analyses. The continuity equation, which quantifies phase-volume loss, motivates study of the fractals' reduced ``information dimensions'', which were approximated by Kaplan and Yorke in terms of two-dimensional maps' two Lyapunov exponents. The maps studied here generate fractal (fractional dimensional) distributions in their phase spaces. By mapping uniformly dense grids of points, fractal dimensions can be determined by ``area-wise'' mappings. Beginning with a uniform grid area-wise mapping of the $N2$ Baker Map provides an information dimension of 1.78969. Alternatively, as many as a trillion iterations, starting from an arbitrary point, gives a smaller ``point-wise'' dimensionality, $1.741_5$. Neither of these precisely determined estimates matches the Kaplan-Yorke conjecture value, 1.7337. In the course of studying these three different approaches to information dimension we developed random walk equivalents to both mappings, which greatly simplifies analyses. We found that for the older $ N2$ Baker map the three approaches all disagree with one another! We later discovered that for the newer $N3$ Baker mapping the three approaches to information dimension, area-wise, point-wise and Kaplan-Yorke, agree.
△ Less
Submitted 28 March, 2023; v1 submitted 10 September, 2019;
originally announced September 2019.
-
Aspects of Dynamical Simulations, Emphasizing Nosé and Nosé-Hoover Dynamics and the Compressible Baker Map
Authors:
William G. Hoover,
Carol G. Hoover
Abstract:
Aspects of the Nosé and Nosé-Hoover dynamics developed in 1983-1984 along with Dettmann's closely related dynamics of 1996, are considered. We emphasize paradoxes associated with Liouville's Theorem. Our account is pedagogical, focused on the harmonic oscillator for simplicity, though exactly the same ideas can be, and have been, applied to manybody systems. Nosé, Nosé-Hoover, and Dettmann flows w…
▽ More
Aspects of the Nosé and Nosé-Hoover dynamics developed in 1983-1984 along with Dettmann's closely related dynamics of 1996, are considered. We emphasize paradoxes associated with Liouville's Theorem. Our account is pedagogical, focused on the harmonic oscillator for simplicity, though exactly the same ideas can be, and have been, applied to manybody systems. Nosé, Nosé-Hoover, and Dettmann flows were all developed in order to access Gibbs' canonical ensemble directly from molecular dynamics. Unlike Monte Carlo algorithms dynamical flow models are often not ergodic and so can fail to reproduce Gibbs' ensembles. Accordingly we include a discussion of ergodicity, the visiting of all relevant microstates corresponding to the desired ensemble. We consider Lyapunov instability too, the usual mechanism for phase-space mixing. We show that thermostated harmonic oscillator dynamics can be simultaneously expanding, incompressible, or contracting, depending upon the chosen "phase space". The fractal nature of nonequilibrium flows is also illustrated for two simple two-dimensional models, the hard-disk-based Galton Board and the time-reversible Baker Map. The simultaneous treatment of flows as one-dimensional and many-dimensional suggests some interesting topological problems for future investigations.
△ Less
Submitted 19 September, 2019; v1 submitted 12 August, 2019;
originally announced August 2019.
-
Aspects of Nosé and Nosé-Hoover Dynamics Elucidated
Authors:
W. G. Hoover,
C. G. Hoover
Abstract:
Some paradoxical aspects of the Nosé and Nosé-Hoover dynamics of 1984 and Dettmann's dynamics of 1996 are elucidated. Phase-space descriptions of thermostated harmonic oscillator dynamics can be simultaneously expanding, incompressible, or contracting, as is described here by a variety of three- and four-dimensional phase-space models. These findings illustrate some surprising consequences when Li…
▽ More
Some paradoxical aspects of the Nosé and Nosé-Hoover dynamics of 1984 and Dettmann's dynamics of 1996 are elucidated. Phase-space descriptions of thermostated harmonic oscillator dynamics can be simultaneously expanding, incompressible, or contracting, as is described here by a variety of three- and four-dimensional phase-space models. These findings illustrate some surprising consequences when Liouville's continuity equation is applied to Hamiltonian flows.
△ Less
Submitted 25 June, 2019;
originally announced June 2019.
-
The Nosé-Hoover, Dettmann, and Hoover-Holian Oscillators
Authors:
William Graham Hoover,
Julien Clinton Sprott,
Carol Griswold Hoover
Abstract:
To follow up recent work of Xiao-Song Yang on the Nosé-Hoover oscillator we consider Dettmann's harmonic oscillator, which relates Yang's ideas directly to Hamiltonian mechanics. We also use the Hoover-Holian oscillator to relate our mechanical studies to Gibbs' statistical mechanics. All three oscillators are described by a coordinate $q$ and a momentum $p$. Additional control variables $(ζ, ξ)$…
▽ More
To follow up recent work of Xiao-Song Yang on the Nosé-Hoover oscillator we consider Dettmann's harmonic oscillator, which relates Yang's ideas directly to Hamiltonian mechanics. We also use the Hoover-Holian oscillator to relate our mechanical studies to Gibbs' statistical mechanics. All three oscillators are described by a coordinate $q$ and a momentum $p$. Additional control variables $(ζ, ξ)$ vary the energy. Dettmann's description includes a time-scaling variable $s$, as does Nosé's original work. Time scaling controls the rates at which the $(q,p,ζ)$ variables change. The ergodic Hoover-Holian oscillator provides the stationary Gibbsian probability density for the time-scaling variable $s$. Yang considered {\it qualitative} features of Nosé-Hoover dynamics. He showed that longtime Nosé-Hoover trajectories change energy, repeatedly crossing the $ζ= 0$ plane. We use moments of the motion equations to give two new, different, and brief proofs of Yang's long-time limiting result.
△ Less
Submitted 12 August, 2019; v1 submitted 1 June, 2019;
originally announced June 2019.
-
Ergodic Isoenergetic Molecular Dynamics for Microcanonical-Ensemble Averages
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Considerable research has led to ergodic isothermal dynamics which can replicate Gibbs' canonical distribution for simple ( small ) dynamical problems. Adding one or two thermostat forces to the Hamiltonian motion equations can give an ergodic isothermal dynamics to a harmonic oscillator, to a quartic oscillator, and even to the "Mexican-Hat" ( double-well ) potential problem. We consider here a t…
▽ More
Considerable research has led to ergodic isothermal dynamics which can replicate Gibbs' canonical distribution for simple ( small ) dynamical problems. Adding one or two thermostat forces to the Hamiltonian motion equations can give an ergodic isothermal dynamics to a harmonic oscillator, to a quartic oscillator, and even to the "Mexican-Hat" ( double-well ) potential problem. We consider here a time-reversible dynamical approach to Gibbs' "microcanonical" ( isoenergetic ) distribution for simple systems. To enable isoenergetic ergodicity we add occasional random rotations to the velocities. This idea conserves energy exactly and can be made to cover the entire energy shell with an ergodic dynamics. We entirely avoid the Poincaré-section holes and island chains typical of Hamiltonian chaos. We illustrate this idea for the simplest possible two-dimensional example, a single particle moving in a periodic square-lattice array of scatterers, the "cell model".
△ Less
Submitted 12 July, 2018; v1 submitted 26 June, 2018;
originally announced June 2018.
-
The $φ^4$ Model, Chaos, Thermodynamics, and the 2018 SNOOK Prizes in Computational Statistical Mechanics
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
The one-dimensional $φ^4$ Model generalizes a harmonic chain with nearest-neighbor Hooke's-Law interactions by adding quartic potentials tethering each particle to its lattice site. In their studies of this model Kenichiro Aoki and Dimitri Kusnezov emphasized its most interesting feature : because the quartic tethers act to scatter long-wavelength phonons, $φ^4$ chains exhibit Fourier heat conduct…
▽ More
The one-dimensional $φ^4$ Model generalizes a harmonic chain with nearest-neighbor Hooke's-Law interactions by adding quartic potentials tethering each particle to its lattice site. In their studies of this model Kenichiro Aoki and Dimitri Kusnezov emphasized its most interesting feature : because the quartic tethers act to scatter long-wavelength phonons, $φ^4$ chains exhibit Fourier heat conduction. In his recent Snook-Prize work Aoki also showed that the model can exhibit chaos on the three-dimensional energy surface describing the two-body two-spring chain. That surface can include {\it at least two} distinct chaotic seas. Aoki pointed out that the model typically exhibits different kinetic temperatures for the two bodies. Evidently few-body $φ^4$ problems merit more investigation. Accordingly, the 2018 Prizes honoring Ian Snook (1945-2013) will be awarded to the author(s) of the most interesting work analyzing and discussing few-body $φ^4$ models from the standpoints of dynamical systems theory and macroscopic thermodynamics, taking into account the model's ability to maintain a steady-state kinetic temperature gradient as well as at least two coexisting chaotic seas in the presence of deterministic chaos.
△ Less
Submitted 11 June, 2018;
originally announced June 2018.
-
The 2017 SNOOK PRIZES in Computational Statistical Mechanics
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
The 2017 Snook Prize has been awarded to Kenichiro Aoki for his exploration of chaos in Hamiltonian $φ^4$ models. His work addresses symmetries, thermalization, and Lyapunov instabilities in few-particle dynamical systems. A companion paper by Timo Hofmann and Jochen Merker is devoted to the exploration of generalized Hénon-Heiles models and has been selected for Honorable Mention in the Snook-Pri…
▽ More
The 2017 Snook Prize has been awarded to Kenichiro Aoki for his exploration of chaos in Hamiltonian $φ^4$ models. His work addresses symmetries, thermalization, and Lyapunov instabilities in few-particle dynamical systems. A companion paper by Timo Hofmann and Jochen Merker is devoted to the exploration of generalized Hénon-Heiles models and has been selected for Honorable Mention in the Snook-Prize competition.
△ Less
Submitted 8 April, 2018;
originally announced April 2018.
-
Time-Irreversibility is Hidden Within Newtonian Mechanics
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
We develop a bit-reversible implementation of Milne's Fourth-order Predictor algorithm so as to generate precisely time-reversible simulations of irreversible processes. We apply our algorithm to the collision of two zero-temperature Morse-potential balls, which collide to form a warm liquid oscillating drop. The oscillations are driven by surface tension and damped by the viscosities. We characte…
▽ More
We develop a bit-reversible implementation of Milne's Fourth-order Predictor algorithm so as to generate precisely time-reversible simulations of irreversible processes. We apply our algorithm to the collision of two zero-temperature Morse-potential balls, which collide to form a warm liquid oscillating drop. The oscillations are driven by surface tension and damped by the viscosities. We characterize the "important" Lyapunov-unstable particles during the collision and equilibration phases in both time directions to demonstrate the utility of the Milne algorithm in exposing "Time's Arrow".
△ Less
Submitted 7 March, 2018; v1 submitted 30 January, 2018;
originally announced January 2018.
-
Fluctuation Theorem and Central Limit Theorem for the Time-Reversible Nonequilibrium Baker Map
Authors:
William Graham Hoover
Abstract:
The nonequilibrium Time-Reversible Baker Map provides simple illustrations of the Fluctuation Theorem, the Central Limit Theorem, and the Biased Random Walk. This is material in preparation for the Book form of Carol's and my 2016 Kharagpur Lectures.
The nonequilibrium Time-Reversible Baker Map provides simple illustrations of the Fluctuation Theorem, the Central Limit Theorem, and the Biased Random Walk. This is material in preparation for the Book form of Carol's and my 2016 Kharagpur Lectures.
△ Less
Submitted 13 August, 2017; v1 submitted 10 August, 2017;
originally announced August 2017.
-
Bit-Reversible Version of Milne's Fourth-Order Time-Reversible Integrator for Molecular Dynamics
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
We point out that two of Milne's fourth-order integrators are well-suited to bit-reversible simulations. The fourth-order method improves on the accuracy of Levesque and Verlet's algorithm and simplifies the definition of the velocity $v$ and energy $e = (q^2 + v^2)/2$ . ( We use this one-dimensional oscillator problem as an illustration throughout this paper ). Milne's integrator is particularly…
▽ More
We point out that two of Milne's fourth-order integrators are well-suited to bit-reversible simulations. The fourth-order method improves on the accuracy of Levesque and Verlet's algorithm and simplifies the definition of the velocity $v$ and energy $e = (q^2 + v^2)/2$ . ( We use this one-dimensional oscillator problem as an illustration throughout this paper ). Milne's integrator is particularly useful for the analysis of Lyapunov ( exponential ) instability in dynamical systems, including manybody molecular dynamics. We include the details necessary to the implementation of Milne's Algorithms.
△ Less
Submitted 28 June, 2017; v1 submitted 27 June, 2017;
originally announced June 2017.
-
Instantaneous Pairing of Lyapunov Exponents in Chaotic Hamiltonian Dynamics and the 2017 Ian Snook Prize
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
The time-averaged Lyapunov exponents support a mechanistic description of the chaos generated in and by nonlinear dynamical systems. The exponents are ordered from largest to smallest with the largest one describing the exponential growth rate of the (small) distance between two neighboring phase-space trajectories. Two exponents describe the rate for areas defined by three nearby trajectories. Th…
▽ More
The time-averaged Lyapunov exponents support a mechanistic description of the chaos generated in and by nonlinear dynamical systems. The exponents are ordered from largest to smallest with the largest one describing the exponential growth rate of the (small) distance between two neighboring phase-space trajectories. Two exponents describe the rate for areas defined by three nearby trajectories. The sum of the first three exponents is the rate for volumes defined by four nearby trajectories, and so on. Lyapunov exponents for Hamiltonian systems are symmetric. The time-reversibility of the motion equations links the growth and decay rates together in pairs. This pairing provides a more detailed explanation than Liouville's for the conservation of phase volume in Hamiltonian mechanics. Although correct for long-time averages, the dependence of trajectories on their past is responsible for the observed lack of detailed pairing for the instantaneous "local" exponents, $\{\ λ_i(t) \ \}$ . The 2017 Ian Snook Prizes will be awarded to the author(s) of an accessible and pedagogical discussion of local Lyapunov instability in small systems. We desire that this discussion build on the two nonlinear models described here, a double pendulum with Hooke's-Law links and a periodic chain of Hooke's-Law particles tethered to their lattice sites. The latter system is the $φ^4$ model popularized by Aoki and Kusnezov. A four-particle version is small enough for comprehensive numerical work and large enough to illustrate ideas of general validity.
△ Less
Submitted 7 March, 2017; v1 submitted 26 February, 2017;
originally announced March 2017.
-
Singly-Thermostated Ergodicity in Gibbs' Canonical Ensemble and the 2016 Ian Snook Prize Award
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
The 2016 Snook Prize has been awarded to Diego Tapias, Alessandro Bravetti, and David Sanders for their paper -- Ergodicity of One-Dimensional Systems Coupled to the Logistic Thermostat. They introduced a relatively stiff hyperbolic tangent thermostat force and successfully tested its ability to reproduce Gibbs' canonical distribution for the harmonic oscillator, the quartic oscillator, and the Me…
▽ More
The 2016 Snook Prize has been awarded to Diego Tapias, Alessandro Bravetti, and David Sanders for their paper -- Ergodicity of One-Dimensional Systems Coupled to the Logistic Thermostat. They introduced a relatively stiff hyperbolic tangent thermostat force and successfully tested its ability to reproduce Gibbs' canonical distribution for the harmonic oscillator, the quartic oscillator, and the Mexican Hat potentials. Their work constitutes an effective response to the 2016 Ian Snook Prize Award goal -- Finding ergodic algorithms for Gibbs' canonical ensemble using a single thermostat variable. We confirm their work here and highlight an interesting feature of the Mexican Hat problem when it is solved with an adaptive integrator.
△ Less
Submitted 22 January, 2017;
originally announced January 2017.
-
Singly-Thermostated Ergodicity in Gibbs' Canonical Ensemble and the 2016 Ian Snook Prize
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
For a harmonic oscillator, Nosé's single-thermostat approach to simulating Gibbs' canonical ensemble with dynamics samples only a small fraction of the phase space. Nosé's approach has been improved in a series of three steps: [ 1 ] several two-thermostat sets of motion equations have been found which cover the complete phase space in an ergodic fashion, [ 2 ] sets of single-thermostat motion equa…
▽ More
For a harmonic oscillator, Nosé's single-thermostat approach to simulating Gibbs' canonical ensemble with dynamics samples only a small fraction of the phase space. Nosé's approach has been improved in a series of three steps: [ 1 ] several two-thermostat sets of motion equations have been found which cover the complete phase space in an ergodic fashion, [ 2 ] sets of single-thermostat motion equations, exerting "weak control" over both forces and momenta, have been shown to be ergodic, and [ 3 ] sets of single-thermostat motion equations exerting weak control over two velocity moments provide ergodic phase-space sampling for the oscillator and for the rigid pendulum, but not for the quartic oscillator or for the Mexican Hat potential. The missing fourth step, motion equations providing ergodic sampling for anharmonic potentials requires a further advance. The 2016 Ian Snook Prize will be awarded to the author(s) of the most interesting original submission addressing the problem of finding ergodic algorithms for Gibbs' canonical ensemble using a single thermostat.
△ Less
Submitted 4 July, 2016;
originally announced July 2016.
-
Order and Chaos in the One-Dimensional $φ^4$ Model : N-Dependence and the Second Law of Thermodynamics
Authors:
William Graham Hoover,
Kenichiro Aoki
Abstract:
We revisit the equilibrium one-dimensional $φ^4$ model from the dynamical systems point of view. We find an infinite number of periodic orbits which are computationally stable. At the same time some of the orbits are found to exhibit positive Lyapunov exponents! The periodic orbits confine every particle in a periodic chain to trace out either the same or a mirror-image trajectory in its two-dimen…
▽ More
We revisit the equilibrium one-dimensional $φ^4$ model from the dynamical systems point of view. We find an infinite number of periodic orbits which are computationally stable. At the same time some of the orbits are found to exhibit positive Lyapunov exponents! The periodic orbits confine every particle in a periodic chain to trace out either the same or a mirror-image trajectory in its two-dimensional phase space. These "computationally stable" sets of pairs of single-particle orbits are either symmetric or antisymmetric to the very last computational bit. In such a periodic chain the odd-numbered and even-numbered particles' coordinates and momenta are either identical or differ only in sign. "Positive Lyapunov exponents" can and do result if an infinitesimal perturbation breaking a perfect two-dimensional antisymmetry is introduced so that the motion expands into a four-dimensional phase space. In that extended space a positive exponent results.
We formulate a standard initial condition for the investigation of the microcanonical chaotic number dependence of the model. We speculate on the uniqueness of the model's chaotic sea and on the connection of such collections of deterministic and time-reversible states to the Second Law of Thermodynamics.
△ Less
Submitted 5 February, 2017; v1 submitted 24 May, 2016;
originally announced May 2016.
-
A Tutorial: Adaptive Runge-Kutta Integration for Stiff Systems : Comparing the Nosé and Nosé-Hoover Oscillator Dynamics
Authors:
William Graham Hoover,
Julien Clinton Sprott,
Carol Griswold Hoover
Abstract:
"Stiff" differential equations are commonplace in engineering and dynamical systems. To solve them we need flexible integrators that can deal with rapidly-changing righthand sides. This tutorial describes the application of "adaptive" [ variable timestep ] integrators to "stiff" mechanical problems encountered in modern applications of Gibbs' 1902 statistical mechanics. Linear harmonic oscillators…
▽ More
"Stiff" differential equations are commonplace in engineering and dynamical systems. To solve them we need flexible integrators that can deal with rapidly-changing righthand sides. This tutorial describes the application of "adaptive" [ variable timestep ] integrators to "stiff" mechanical problems encountered in modern applications of Gibbs' 1902 statistical mechanics. Linear harmonic oscillators subject to nonlinear thermal constraints can exhibit either stiff or smooth dynamics. Two closely-related examples, Nosé's 1984 dynamics and Nosé-Hoover 1985 dynamics, are both based on Hamiltonian mechanics, as was ultimately clarified by Dettmann and Morriss in 1996. Both these dynamics are consistent with Gibbs' canonical ensemble. Nosé's dynamics is "stiff" and can present severe numerical difficulties. Nosé-Hoover dynamics, though it follows exactly the same trajectory, is "smooth" and relatively trouble-free. Our tutorial emphasises the power of adaptive integrators to resolve stiff problems like the Nosé oscillator. The solutions obtained illustrate the power of computer graphics to enrich numerical solutions. Adaptive integration with computer graphics are basic to an understanding of dynamical systems and statistical mechanics. These tools lead naturally into the visualization of intricate fractal structures formed by chaos as well as elaborate knots tied by regular nonchaotic dynamics. This work was invited by the American Journal of Physics.
△ Less
Submitted 23 September, 2016; v1 submitted 27 February, 2016;
originally announced February 2016.
-
The Equivalence of Dissipation from Gibbs' Entropy Production with Phase-Volume Loss in Ergodic Heat-Conducting Oscillators
Authors:
Puneet Kumar Patra,
William Graham Hoover,
Carol Griswold Hoover,
Julien Clinton Sprott
Abstract:
Gibbs' thermodynamic entropy is given by the logarithm of the phase volume, which itself responds to heat transfer to and from thermal reservoirs. We compare the thermodynamic dissipation described by phase-volume loss with heat-transfer entropy production. Their equivalence is documented for computer simulations of the response of an ergodic harmonic oscillator to thermostated temperature gradien…
▽ More
Gibbs' thermodynamic entropy is given by the logarithm of the phase volume, which itself responds to heat transfer to and from thermal reservoirs. We compare the thermodynamic dissipation described by phase-volume loss with heat-transfer entropy production. Their equivalence is documented for computer simulations of the response of an ergodic harmonic oscillator to thermostated temperature gradients. In the simulations one or two thermostat variables control the kinetic energy or the kinetic energy and its fluctuation. All of the motion equations are time-reversible. We consider both strong and weak control variables. In every case the time-averaged dissipative loss of phase-space volume coincides with the entropy produced by heat transfer. Linear response theory nicely reproduces the small-gradient results obtained by computer simulation. The thermostats considered here are ergodic and provide simple dynamical models, some of them with as few as three ordinary differential equations, while remaining capable of reproducing Gibbs' canonical phase-space distribution and precisely consistent with irreversible thermodynamics.
△ Less
Submitted 11 December, 2015; v1 submitted 10 November, 2015;
originally announced November 2015.
-
An Appreciation of Berni Julian Alder
Authors:
William Graham Hoover
Abstract:
Berni Julian Alder profoundly influenced my research career at the Livermore Laboratory and the Davis Campus' Teller Tech, beginning in 1962 and lasting for over fifty years. I very much appreciate the opportunity provided by his Ninetieth Birthday Celebration to review some of the many high spots along the way.
Berni Julian Alder profoundly influenced my research career at the Livermore Laboratory and the Davis Campus' Teller Tech, beginning in 1962 and lasting for over fifty years. I very much appreciate the opportunity provided by his Ninetieth Birthday Celebration to review some of the many high spots along the way.
△ Less
Submitted 17 October, 2015;
originally announced October 2015.
-
Nonequilibrium Systems : Hard Disks and Harmonic Oscillators Near and Far From Equilibrium
Authors:
William Graham Hoover,
Carol Griswold Hoover,
Julien Clinton Sprott
Abstract:
We relate progress in statistical mechanics, both at and far from equilibrium, to advances in the theory of dynamical systems. We consider computer simulations of time-reversible deterministic chaos in small systems with three- and four-dimensional phase spaces. These models provide us with a basis for understanding equilibration and thermodynamic irreversibility in terms of Lyapunov instability,…
▽ More
We relate progress in statistical mechanics, both at and far from equilibrium, to advances in the theory of dynamical systems. We consider computer simulations of time-reversible deterministic chaos in small systems with three- and four-dimensional phase spaces. These models provide us with a basis for understanding equilibration and thermodynamic irreversibility in terms of Lyapunov instability, fractal distributions, and thermal constraints
△ Less
Submitted 23 August, 2016; v1 submitted 29 July, 2015;
originally announced July 2015.
-
Time-Reversible Ergodic Maps and the 2015 Ian Snook Prize
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
The time reversibility characteristic of Hamiltonian mechanics has long been extended to nonHamiltonian dynamical systems modeling nonequilibrium steady states with feedback-based thermostats and ergostats. Typical solutions are multifractal attractor-repellor phase-space pairs with reversed momenta and unchanged coordinates, $(q,p)\longleftrightarrow (q,-p)$ . Weak control of the temperature,…
▽ More
The time reversibility characteristic of Hamiltonian mechanics has long been extended to nonHamiltonian dynamical systems modeling nonequilibrium steady states with feedback-based thermostats and ergostats. Typical solutions are multifractal attractor-repellor phase-space pairs with reversed momenta and unchanged coordinates, $(q,p)\longleftrightarrow (q,-p)$ . Weak control of the temperature, $\propto p^2$ and its fluctuation, resulting in ergodicity, has recently been achieved in a three-dimensional time-reversible model of a heat-conducting harmonic oscillator. Two-dimensional cross sections of such nonequilibrium flows can be generated with time-reversible dissipative maps yielding æsthetically interesting attractor-repellor pairs. We challenge the reader to find and explore such time-reversible dissipative maps. This challenge is the 2015 Snook-Prize Problem.
△ Less
Submitted 12 August, 2015; v1 submitted 4 July, 2015;
originally announced July 2015.
-
Ergodicity of a Singly-Thermostated Harmonic Oscillator
Authors:
William Graham Hoover,
Julien Clinton Sprott,
Carol Griswold Hoover
Abstract:
Although Nose's thermostated mechanics is formally consistent with Gibbs' canonical ensemble, the thermostated Nose-Hoover ( harmonic ) oscillator, with its mean kinetic temperature controlled, is far from ergodic. Much of its phase space is occupied by regular conservative tori. Oscillator ergodicity has previously been achieved by controlling two oscillator moments with two thermostat variables.…
▽ More
Although Nose's thermostated mechanics is formally consistent with Gibbs' canonical ensemble, the thermostated Nose-Hoover ( harmonic ) oscillator, with its mean kinetic temperature controlled, is far from ergodic. Much of its phase space is occupied by regular conservative tori. Oscillator ergodicity has previously been achieved by controlling two oscillator moments with two thermostat variables. Here we use computerized searches in conjunction with visualization to find singly-thermostated motion equations for the oscillator which are consistent with Gibbs' canonical distribution. These models are the simplest able to bridge the gap between Gibbs' statistical ensembles and Newtonian single-particle dynamics.
△ Less
Submitted 23 August, 2015; v1 submitted 28 April, 2015;
originally announced April 2015.
-
Comparison of Very Smooth Cell-Model Trajectories Using Five Symplectic and Two Runge-Kutta Integrators
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Time-reversible symplectic methods, which are precisely compatible with Liouville's phase-volume-conservation theorem, are often recommended for computational simulations of Hamiltonian mechanics. Lack of energy drift is an apparent advantage of such methods. But all numerical methods are susceptible to Lyapunov instability, which severely limits the maximum time for which chaotic solutions can be…
▽ More
Time-reversible symplectic methods, which are precisely compatible with Liouville's phase-volume-conservation theorem, are often recommended for computational simulations of Hamiltonian mechanics. Lack of energy drift is an apparent advantage of such methods. But all numerical methods are susceptible to Lyapunov instability, which severely limits the maximum time for which chaotic solutions can be "accurate". The "advantages" of higher-order methods are lost rapidly for typical chaotic Hamiltonians. We illustrate these difficulties for a useful reproducible test case, the two-dimensional one-particle cell model with specially smooth forces. This Hamiltonian problem is chaotic and occurs on a three-dimensional constant-energy shell, the minimum dimension for chaos. We benchmark the problem with quadruple-precision trajectories using the fourth-order Candy-Rozmus, fifth-order Runge-Kutta, and eighth-order Schlier-Seiter-Teloy integrators. We compare the last, most-accurate particle trajectories to those from six double-precision algorithms, four symplectic and two Runge-Kutta.
△ Less
Submitted 21 April, 2015; v1 submitted 2 April, 2015;
originally announced April 2015.
-
Ergodic Time-Reversible Chaos for Gibbs' Canonical Oscillator
Authors:
William Graham Hoover,
Julien Clinton Sprott,
Puneet Kumar Patra
Abstract:
Nosé's pioneering 1984 work inspired a variety of time-reversible deterministic thermostats. Though several groups have developed successful doubly-thermostated models, single-thermostat models have failed to generate Gibbs' canonical distribution for the one-dimensional harmonic oscillator. Sergi and Ferrario's 2001 doubly-thermostated model, claimed to be ergodic, has a singly-thermostated versi…
▽ More
Nosé's pioneering 1984 work inspired a variety of time-reversible deterministic thermostats. Though several groups have developed successful doubly-thermostated models, single-thermostat models have failed to generate Gibbs' canonical distribution for the one-dimensional harmonic oscillator. Sergi and Ferrario's 2001 doubly-thermostated model, claimed to be ergodic, has a singly-thermostated version. Though neither of these models is ergodic this work has suggested a successful route toward singly-thermostated ergodicity. We illustrate both ergodicity and its lack for these models using phase-space cross sections and Lyapunov instability as diagnostic tools.
△ Less
Submitted 18 October, 2015; v1 submitted 23 March, 2015;
originally announced March 2015.
-
Ergodicity of the Martyna-Klein-Tuckerman Thermostat and the 2014 Snook Prize
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Nosé and Hoover's 1984 work showed that although Nosé and Nosé-Hoover dynamics were both consistent with Gibbs' canonical distribution neither dynamics, when applied to the harmonic oscillator, provided Gibbs' Gaussian distribution. Further investigations indicated that two independent thermostat variables are necessary, and often sufficient, to generate Gibbs' canonical distribution for an oscill…
▽ More
Nosé and Hoover's 1984 work showed that although Nosé and Nosé-Hoover dynamics were both consistent with Gibbs' canonical distribution neither dynamics, when applied to the harmonic oscillator, provided Gibbs' Gaussian distribution. Further investigations indicated that two independent thermostat variables are necessary, and often sufficient, to generate Gibbs' canonical distribution for an oscillator. Three successful time-reversible and deterministic sets of two-thermostat motion equations were developed in the 1990s. We analyze one of them here. It was developed by Martyna, Klein, and Tuckerman in 1992. Its ergodicity was called into question by Patra and Bhattacharya in 2014. This question became the subject of the 2014 Snook Prize. Here we summarize the previous work on this problem and elucidate new details of the chaotic dynamics in the neighborhood of the two fixed points. We apply six separate tests for ergodicity and conclude that the MKT equations are fully compatible with all of them, in consonance with our recent work with Clint Sprott and Puneet Patra.
△ Less
Submitted 28 January, 2015; v1 submitted 26 January, 2015;
originally announced January 2015.
-
Deterministic Time-Reversible Thermostats : Chaos, Ergodicity, and the Zeroth Law of Thermodynamics
Authors:
William Graham Hoover,
Julien Clinton Sprott,
Puneet Kumar Patra
Abstract:
The relative stability and ergodicity of deterministic time-reversible thermostats, both singly and in coupled pairs, are assessed through their Lyapunov spectra. Five types of thermostat are coupled to one another through a single Hooke's-Law harmonic spring. The resulting dynamics shows that three specific thermostat types, Hoover-Holian, Ju-Bulgac, and Martyna-Klein-Tuckerman, have very similar…
▽ More
The relative stability and ergodicity of deterministic time-reversible thermostats, both singly and in coupled pairs, are assessed through their Lyapunov spectra. Five types of thermostat are coupled to one another through a single Hooke's-Law harmonic spring. The resulting dynamics shows that three specific thermostat types, Hoover-Holian, Ju-Bulgac, and Martyna-Klein-Tuckerman, have very similar Lyapunov spectra in their equilibrium four-dimensional phase spaces and when coupled in equilibrium or nonequilibrium pairs. All three of these oscillator-based thermostats are shown to be ergodic, with smooth analytic Gaussian distributions in their extended phase spaces ( coordinate, momentum, and two control variables ). Evidently these three ergodic and time-reversible thermostat types are particularly useful as statistical-mechanical thermometers and thermostats. Each of them generates Gibbs' universal canonical distribution internally as well as for systems to which they are coupled. Thus they obey the Zeroth Law of Thermodynamics, as a good heat bath should. They also provide dissipative heat flow with relatively small nonlinearity when two or more such bath temperatures interact and provide useful deterministic replacements for the stochastic Langevin equation.
△ Less
Submitted 15 January, 2015;
originally announced January 2015.
-
Ergodicity of a Time-Reversibly Thermostated Harmonic Oscillator and the 2014 Ian Snook Prize
Authors:
William Graham Hoover,
Carol Griswold Hoover
Abstract:
Shuichi Nosé opened up a new world of atomistic simulation in 1984. He formulated a Hamiltonian tailored to generate Gibbs' canonical distribution dynamically. This clever idea bridged the gap between microcanonical molecular dynamics and canonical statistical mechanics. Until then the canonical distribution was explored with Monte Carlo sampling. Nosé's dynamical Hamiltonian bridge requires the "…
▽ More
Shuichi Nosé opened up a new world of atomistic simulation in 1984. He formulated a Hamiltonian tailored to generate Gibbs' canonical distribution dynamically. This clever idea bridged the gap between microcanonical molecular dynamics and canonical statistical mechanics. Until then the canonical distribution was explored with Monte Carlo sampling. Nosé's dynamical Hamiltonian bridge requires the "ergodic" support of a space-filling structure in order to reproduce the entire distribution. For sufficiently small systems, such as the harmonic oscillator, Nosé's dynamical approach failed to agree with Gibbs' sampling and instead showed a complex structure, partitioned into a chaotic sea, islands, and chains of islands, that is familiar textbook fare from investigations of Hamiltonian chaos. In trying to enhance small-system ergodicity several more complicated "thermostated" equations of motion were developed. All were consistent with the canonical Gaussian distribution for the oscillator coordinate and momentum. The ergodicity of the various approaches has undergone several investigations, with somewhat inconclusive ( contradictory ) results. Here we illustrate several ways to test ergodicity and challenge the reader to find even more convincing algorithms or an entirely new approach to this problem.
△ Less
Submitted 1 August, 2014;
originally announced August 2014.
-
What is liquid? Lyapunov instability reveals symmetry-breaking irreversibilities hidden within Hamilton's many-body equations of motion
Authors:
Wm. G. Hoover,
C. G. Hoover
Abstract:
Typical Hamiltonian liquids display exponential "Lyapunov instability", also called "sensitive dependence on initial conditions". Although Hamilton's equations are thoroughly time-reversible, the forward and backward Lyapunov instabilities can differ, qualitatively. In numerical work, the expected forward/backward pairing of Lyapunov exponents is also occasionally violated. To illustrate, we consi…
▽ More
Typical Hamiltonian liquids display exponential "Lyapunov instability", also called "sensitive dependence on initial conditions". Although Hamilton's equations are thoroughly time-reversible, the forward and backward Lyapunov instabilities can differ, qualitatively. In numerical work, the expected forward/backward pairing of Lyapunov exponents is also occasionally violated. To illustrate, we consider many-body inelastic collisions in two space dimensions. Two mirror-image colliding crystallites can either bounce, or not, giving rise to a single liquid drop, or to several smaller droplets, depending upon the initial kinetic energy and the interparticle forces. The difference between the forward and backward evolutionary instabilities of these problems can be correlated with dissipation and with the Second Law of Thermodynamics. Accordingly, these asymmetric stabilities of Hamilton's equations can provide an "Arrow of Time". We illustrate these facts for two small crystallites colliding so as to make a warm liquid. We use a specially-symmetrized form of Levesque and Verlet's bit-reversible Leapfrog integrator. We analyze trajectories over millions of collisions with several equally-spaced time reversals.
△ Less
Submitted 3 April, 2015; v1 submitted 10 May, 2014;
originally announced May 2014.
-
Heat Conduction, and the Lack Thereof, in Time-Reversible Dynamical Systems: Generalized Nosé-Hoover Oscillators with a Temperature Gradient
Authors:
Julien Clinton Sprott,
William Graham Hoover,
Carol Griswold Hoover
Abstract:
We use nonequilibrium molecular dynamics to analyze and illustrate the qualitative differences between the one-thermostat and two-thermostat versions of equilibrium and nonequilibrium (heat-conducting) harmonic oscillators. Conservative nonconducting regions can coexist with dissipative heat conducting regions in phase space with exactly the same imposed temperature field.
We use nonequilibrium molecular dynamics to analyze and illustrate the qualitative differences between the one-thermostat and two-thermostat versions of equilibrium and nonequilibrium (heat-conducting) harmonic oscillators. Conservative nonconducting regions can coexist with dissipative heat conducting regions in phase space with exactly the same imposed temperature field.
△ Less
Submitted 12 April, 2014; v1 submitted 8 January, 2014;
originally announced January 2014.
-
Shockwave Compression and Joule-Thomson Expansion
Authors:
Wm. G. Hoover,
Carol G. Hoover,
Karl P. Travis
Abstract:
Structurally-stable atomistic one-dimensional shockwaves have long been simulated by injecting fresh cool particles and extracting old hot particles at opposite ends of a simulation box. The resulting shock profiles demonstrate tensor temperature, with the longitudinal temperature exceeding the transverse, and Maxwell's delayed response, with stress lagging strainrate and heat flux lagging tempera…
▽ More
Structurally-stable atomistic one-dimensional shockwaves have long been simulated by injecting fresh cool particles and extracting old hot particles at opposite ends of a simulation box. The resulting shock profiles demonstrate tensor temperature, with the longitudinal temperature exceeding the transverse, and Maxwell's delayed response, with stress lagging strainrate and heat flux lagging temperature gradient. Here this same geometry, supplemented by a short-ranged external "plug" field, is used to simulate steady Joule-Kelvin throttling flow of hot dense fluid through a porous plug, producing a dilute and cooler product fluid.
△ Less
Submitted 11 November, 2013; v1 submitted 7 November, 2013;
originally announced November 2013.
-
Time-Reversible Random Number Generators : Solution of Our Challenge by Federico Ricci-Tersenghi
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
Nearly all the evolution equations of physics are time-reversible, in the sense that a movie of the solution, played backwards, would obey exactly the same differential equations as the original forward solution. By way of contrast, stochastic approaches are typically not time-reversible, though they could be made so by the simple expedient of storing their underlying pseudorandom numbers in an ar…
▽ More
Nearly all the evolution equations of physics are time-reversible, in the sense that a movie of the solution, played backwards, would obey exactly the same differential equations as the original forward solution. By way of contrast, stochastic approaches are typically not time-reversible, though they could be made so by the simple expedient of storing their underlying pseudorandom numbers in an array. Here we illustrate the notion of time-reversible random number generators. In Version 1 we offered a suitable reward for the first arXiv response furnishing a reversed version of an only slightly-more-complicated pseudorandom number generator. Here we include Professor Ricci-Tersenghi's prize-winning reversed version as described in his arXiv:1305.1805 contribution: "The Solution to the Challenge in `Time-Reversible Random Number Generators' by Wm. G. Hoover and Carol G. Hoover".
△ Less
Submitted 18 May, 2013; v1 submitted 4 May, 2013;
originally announced May 2013.
-
Hamiltonian Thermostats Fail to Promote Heat Flow
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
Hamiltonian mechanics can be used to constrain temperature simultaneously with energy. We illustrate the interesting situations that develop when two different temperatures are imposed within a composite Hamiltonian system. The model systems we treat are "phi-4" chains, with quartic tethers and quadratic nearest-neighbor Hooke's-law interactions. This model is known to satisfy Fourier's law. Our p…
▽ More
Hamiltonian mechanics can be used to constrain temperature simultaneously with energy. We illustrate the interesting situations that develop when two different temperatures are imposed within a composite Hamiltonian system. The model systems we treat are "phi-4" chains, with quartic tethers and quadratic nearest-neighbor Hooke's-law interactions. This model is known to satisfy Fourier's law. Our prototypical problem sandwiches a Newtonian subsystem between hot and cold Hamiltonian reservoir regions. We have characterized four different Hamiltonian reservoir types. There is no tendency for any of these two-temperature Hamiltonian simulations to transfer heat from the hot to the cold degrees of freedom. Evidently steady heat flow simulations require energy sources and sinks, and are therefore incompatible with Hamiltonian mechanics.
△ Less
Submitted 15 July, 2013; v1 submitted 25 March, 2013;
originally announced March 2013.
-
Time-Symmetry Breaking in Hamiltonian Mechanics
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
Hamiltonian trajectories are strictly time-reversible. Any time series of Hamiltonian coordinates {q} satisfying Hamilton's motion equations will likewise satisfy them when played "backwards", with the corresponding momenta changing signs : {+p} --> {-p}. Here we adopt Levesque and Verlet's precisely bit-reversible motion algorithm to ensure that the trajectory reversibility is exact, with the for…
▽ More
Hamiltonian trajectories are strictly time-reversible. Any time series of Hamiltonian coordinates {q} satisfying Hamilton's motion equations will likewise satisfy them when played "backwards", with the corresponding momenta changing signs : {+p} --> {-p}. Here we adopt Levesque and Verlet's precisely bit-reversible motion algorithm to ensure that the trajectory reversibility is exact, with the forward and backward sets of coordinates identical. Nevertheless, the associated instantaneous Lyapunov instability, or "sensitive dependence on initial conditions" of "chaotic" (or "Lyapunov unstable") bit-reversible coordinate trajectories can still exhibit an exponentially growing time-symmetry-breaking irreversibility. Surprisingly, the positive and negative exponents, as well as the forward and backward Lyapunov spectra, are usually not closely related, and so give four differing topological measures of "local" chaos. We have demonstrated this symmetry breaking for fluid shockwaves, for free expansions, and for chaotic molecular collisions. Here we illustrate and discuss this time-symmetry breaking for three statistical-mechanical systems, [1] a minimal (but still chaotic) one-body "cell model" with a four-dimensional phase space; [2] relatively small colliding crystallites, for which the whole Lyapunov spectrum is accessible; [3] a near-continuum inelastic collision of two larger 400-particle balls. In the last two of these pedagogical problems the two colliding bodies coalesce. The particles most prone to Lyapunov instability are dramatically different in the two time directions. Thus this Lyapunov-based symmetry breaking furnishes an interesting Arrow of Time.
△ Less
Submitted 8 March, 2013; v1 submitted 11 February, 2013;
originally announced February 2013.
-
Comment on "Logarithmic Oscillators: Ideal Hamiltonian Thermostats" [arXiv 1203.5968]
Authors:
Marc Meléndez,
William G. Hoover,
Pep Español
Abstract:
Campisi, Zhan, Talkner and Hänggi have recently proposed a novel Hamiltonian thermostat which they claim may be used both in simulations and experiments [arXiv:1203.5968v4]. We show, however, that this is not possible due to the length and time scales involved, which depend exponentially on the total energy of the system. The implementation suggested by Campisi et alii implies equilibration times…
▽ More
Campisi, Zhan, Talkner and Hänggi have recently proposed a novel Hamiltonian thermostat which they claim may be used both in simulations and experiments [arXiv:1203.5968v4]. We show, however, that this is not possible due to the length and time scales involved, which depend exponentially on the total energy of the system. The implementation suggested by Campisi et alii implies equilibration times greater than the age of the universe for systems with more than a few dozen particles.
△ Less
Submitted 29 January, 2013; v1 submitted 1 June, 2012;
originally announced June 2012.
-
Microscopic and Macroscopic Rayleigh-Benard Flows : Continuum and Particle Simulations, Turbulence, Fluctuations, Time Reversibility, and Lyapunov Instability
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
We discuss the irreversibility, nonlocality, and fluctuations, as well as the Lyapunov and hydrodynamic instabilities characterizing atomistic, smooth-particle, and finite-difference solutions of the two-dimensional Rayleigh-Bénard problem. To speed up the numerical analysis we control the time-dependence of the Rayleigh number so as to include many distinct flow morphologies in a single simulatio…
▽ More
We discuss the irreversibility, nonlocality, and fluctuations, as well as the Lyapunov and hydrodynamic instabilities characterizing atomistic, smooth-particle, and finite-difference solutions of the two-dimensional Rayleigh-Bénard problem. To speed up the numerical analysis we control the time-dependence of the Rayleigh number so as to include many distinct flow morphologies in a single simulation. The relatively simple nature of these computational algorithms and the richness of the results they can yield make such studies and their interpretation particularly well suited to graduate-level research.
△ Less
Submitted 21 May, 2012;
originally announced May 2012.
-
Linking Microscopic Reversibility to Macroscopic Irreversibility, Emphasizing the Role of Deterministic Thermostats and Simple Examples, At and Away From Equilibrium
Authors:
William G. Hoover,
Carol G. Hoover
Abstract:
Molecular Dynamics and Statistical Mechanics make possible a particle-based understanding of Thermodynamics and Hydrodynamics, including the fascinating Loschmidt contradiction between time-reversible atomistic mechanics and the time-irreversible thermodynamic dissipation incorporated into macroscopic fluid and solid mechanics.
Molecular Dynamics and Statistical Mechanics make possible a particle-based understanding of Thermodynamics and Hydrodynamics, including the fascinating Loschmidt contradiction between time-reversible atomistic mechanics and the time-irreversible thermodynamic dissipation incorporated into macroscopic fluid and solid mechanics.
△ Less
Submitted 24 June, 2012; v1 submitted 6 May, 2012;
originally announced May 2012.
-
Another Hamiltonian "Thermostat" - Comments on arXiv Contributions 1203.5968, 1204.4412, 1205.3478, and 1206.0188
Authors:
Wm. G. Hoover
Abstract:
Campisi, Zhan, Talkner, and Haenggi state, in promoting a new logarithmic computational thermostat [ arXiv 1203.5968 and 1204.4412 ], that (thermostated) Nose-Hoover mechanics is not Hamiltonian. First I point out that Dettmann clearly showed the Hamiltonian nature of Nose-Hoover mechanics. The trajectories {q(t)} generated by Dettmann's Hamiltonian are identical to those generated by Nose-Hoover…
▽ More
Campisi, Zhan, Talkner, and Haenggi state, in promoting a new logarithmic computational thermostat [ arXiv 1203.5968 and 1204.4412 ], that (thermostated) Nose-Hoover mechanics is not Hamiltonian. First I point out that Dettmann clearly showed the Hamiltonian nature of Nose-Hoover mechanics. The trajectories {q(t)} generated by Dettmann's Hamiltonian are identical to those generated by Nose-Hoover mechanics. I also observe that when the (Hamiltonian) Campisi thermostat is applied to "nonequilibrium" heat transfer problems some very interesting, and somewhat paradoxical, phase portraits can result. See too Marc Meléndez' nice arXiv 1205.3478 and our joint work 1206.0188 .
△ Less
Submitted 16 June, 2012; v1 submitted 2 April, 2012;
originally announced April 2012.
-
Steady Periodic Shear Flow is Stable in Two Space Dimensions . Nonequilibrium Molecular Dynamics vs Navier-Stokes-Fourier Stability Theory -- A Comment on two Arxiv Contributions
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
Dufty, Lee, Lutsko, Montanero, and Santos have carried out stability analyses of steady stationary shear flows. Their approach is based on the compressible and heat conducting Navier-Stokes-Fourier model. It predicts the unstable exponential growth of long-wavelength transverse perturbations for both two- and three-dimensional fluids. We point out that the patently-stable two-dimensional periodic…
▽ More
Dufty, Lee, Lutsko, Montanero, and Santos have carried out stability analyses of steady stationary shear flows. Their approach is based on the compressible and heat conducting Navier-Stokes-Fourier model. It predicts the unstable exponential growth of long-wavelength transverse perturbations for both two- and three-dimensional fluids. We point out that the patently-stable two-dimensional periodic shear flows studied earlier by Petravic, Posch, and ourselves contradict these predicted instabilities. The stable steady-state shear flows are based on nonequilibrium molecular dynamics with simple thermostats maintaining nonequilibrium stationary states in two space dimensions. The failure of the stability analyses remains unexplained.
△ Less
Submitted 24 March, 2012; v1 submitted 6 March, 2012;
originally announced March 2012.
-
Time's Arrow for Shockwaves ; Bit-Reversible Lyapunov and "Covariant" Vectors ; Symmetry Breaking
Authors:
Wm. G. Hoover,
Carol G. Hoover
Abstract:
Strong shockwaves generate entropy quickly and locally. The Newton-Hamilton equations of motion, which underly the dynamics, are perfectly time-reversible. How do they generate the irreversible shock entropy? What are the symptoms of this irreversibility? We investigate these questions using Levesque and Verlet's bit-reversible algorithm. In this way we can generate an entirely imaginary past cons…
▽ More
Strong shockwaves generate entropy quickly and locally. The Newton-Hamilton equations of motion, which underly the dynamics, are perfectly time-reversible. How do they generate the irreversible shock entropy? What are the symptoms of this irreversibility? We investigate these questions using Levesque and Verlet's bit-reversible algorithm. In this way we can generate an entirely imaginary past consistent with the irreversibility observed in the present. We use Runge-Kutta integration to analyze the local Lyapunov instability of the forward and backward processes so as to identify those particles most intimately connected with the irreversibility described by the Second Law of Thermodynamics. Despite the perfect time symmetry of the particle trajectories, the fully-converged vectors associated with the largest Lyapunov exponents, forward and backward in time, are qualitatively different. The vectors display a time-symmetry breaking equivalent to Time's Arrow. That is, in autonomous Hamiltonian shockwaves the largest local Lyapunov exponents, forward and backward in time, are quite different.
△ Less
Submitted 10 July, 2014; v1 submitted 22 December, 2011;
originally announced December 2011.