Thermodynamics and Statistical Mechanics

This paper, using the author's decomposition method and recent generalizations, presents algorithms for an analytic solution of the stochastic Navier-Stokes system without linearization, perturbation, discretization, or restrictive assumptions on the nature of stochasticity. The pressure, forces, velocities, and initial/boundary conditions can be stochastic processes and are not limited to white noise. Solutions obtained are physically realistic because of the avoidance of assumptions made purely for mathematical tractability by usual methods. Certain extensions and further generalizations of the decomposition method have provided (...) the basis for the solution. (shrink)

A unique solution is proposed to the problem of how thermodynamic processes between thermodynamic systems at relative rest “appear” to a moving observer. Assuming only transformations for entropy, pressure, and volume and the invariance of the “fundamental thermodynamic equation,” one can derive transformations for (thermodynamic) energy and temperature. The invariance of the first and second laws entails transformations for work and heat. All thermodynamic relations become Lorentz-invariant. The transformations thus derived are in principle equivalent to those of Einstein and Planck, (...) except that our expressions for energy and work do not include the mass motion energy. This results in a simpler formulation and endows our transformations (especially that of temperature) with a straightforward physical interpretation. (shrink)

In several previous papers we have argued for a global and non-entropic approach to the problem of the arrow of time, according to which the “arrow” is only a metaphorical way of expressing the geometrical time-asymmetry of the universe. We have also shown that, under definite conditions, this global time-asymmetry can be transferred to local contexts as an energy flow that points to the same temporal direction all over the spacetime. The aim of this paper is to complete the global (...) and non-entropic program by showing that our approach is able to account for irreversible local phenomena, which have been traditionally considered as the physical origin of the arrow of time. (shrink)

It is argued that certain recent advances in the construction of a theory of the collapses of Quantum Mechanical wave functions suggest the possibility of new and improved foundations for statistical mechanics, foundations in which epistemic considerations play no role.

I recently reviewed Hemmo and Shenker's book "The Road to Maxwell's Demon" and the authors subsequently replied to my criticism. Here is my response to them.

Book review of Meir Hemmo and Orly Shenker's book "The Road to Maxwell's Demon: Conceptual Foundations of Statistical Mechanics.".

In this paper we argue that one-way quantum computation can be seen as a form of phase transition with the available information about the solution of the computation being the order parameter. We draw a number of striking analogies between standard thermodynamical quantities such as energy, temperature, work, and corresponding computational quantities such as the amount of entanglement, time, potential capacity for computation, respectively. Aside from being intuitively pleasing, this picture allows us to make novel conjectures, such as an estimate (...) of the necessary critical time to finish a computation and a proposal of suitable architectures for universal one-way computation in 1D. (shrink)

Constantin Caratheodory offered the first systematic and contradiction free formulation of thermodynamics on the basis of his mathematical work on Pfaff forms. Moreover, his work on measure theory provided the basis for later improved formulations of thermodynamics and physics of continua where extensive variables are measures and intensive variables are densities. Caratheodory was the first to see that measure theory and not topology is the natural tool to understand the difficulties (ergodicity, approach to equilibrium, irreversibility) in the Foundations of Statistical (...) Physics. He gave a measure-theoretic proof of Poincaré's recurrence theorem in 1919. This work paved the way for Birkhoff to identify later ergodicity as metric transitivity and for Koopman and von Neumann to introduce spectral analysis of dynamical systems in Hilbert spaces. Mixing provided an explanation of the approach to equilibrium but not of irreversibility. The recent extension of spectral theory of dynamical systems to locally convex spaces, achieved by the Brussels–Austin groups, gives new nontrivial time asymmetric spectral decompositions for unstable and/or non-integrable systems. In this way irreversibility is resolved in a natural way. (shrink)

Uffink and Valente claim that there is no time-asymmetric ingredient that, added to the Hamiltonian equations of motion, allows to obtain the Boltzmann equation within the Lanford’s derivation. This paper is a discussion and a reply to that analysis. More specifically, I focus on two mathematical tools used in this derivation, viz. the Boltzmann–Grad limit and the incoming configurations. Although none of them are time-asymmetric ingredients, by themselves, I claim that the use of incoming configurations, as taken within the B–G (...) limit, is such a time-asymmetric ingredient. Accordingly, this leads to reconsider a kind of Stoßzahlansatz within Lanford’s derivation. (shrink)

A fundamental link between system theory and statistical mechanics has been found to be established by the Kolmogorov entropy K. By this quantity the temporal evolution of dynamical systems can be classified into regular, chaotic, and stochastic processes. Since K represents a measure for the internal information creation rate of dynamical systems, it provides an approach to irreversibility. The formal relationship to statistical mechanics is derived by means of an operator formalism originally introduced by Prigogine. For a Liouville operator L (...) and an information operator $\tilde M$ acting on a distribution in phase space, it is shown that i[L, $\tilde M$ ]≡KI (I=identity operator). As a first consequence of this equivalence, a relation is obtained between the chaotic correlation time of a system and Prigogine's concept of a “finite duration of presence.” Finally, the existence of chaos in quantum systems is discussed with respect to the existence of a quantum mechanical time operator. (shrink)

The metamathematical tradition, tracing back to Hilbert, employs syntactic modeling to study the methods of contemporary mathematics. A central goal has been, in particular, to explore the extent to which infinitary methods can be understood in computational or otherwise explicit terms. Ergodic theory provides rich opportunities for such analysis. Although the field has its origins in seventeenth century dynamics and nineteenth century statistical mechanics, it employs infinitary, nonconstructive, and structural methods that are characteristically modern. At the same time, computational concerns (...) and recent applications to combinatorics and number theory force us to reconsider the constructive character of the theory and its methods. This paper surveys some recent contributions to the metamathematical study of ergodic theory, focusing on the mean and pointwise ergodic theorems and the Furstenberg structure theorem for measure preserving systems. In particular, I characterize the extent to which these theorems are nonconstructive, and explain how proof-theoretic methods can be used to locate their "constructive content.". (shrink)

The recent use of typicality in statistical mechanics for foundational purposes has stirred an important debate involving both philosophers and physicists. While this debate customarily focuses on technical issues, in this paper I try to approach the problem from an epistemological angle. The discussion is driven by two questions: (1) What does typicality add to the concept of measure? (2) What kind of explanation, if any, does typicality yield? By distinguishing the notions of `typicality-as-vast-majority' and `typicality-as-best-exemplar', I argue that the (...) former goes beyond the concept of measure. Furthermore, I also argue that typicality aims at providing us with a form of causal explanation of equilibrium. (shrink)

The Kolmogorov-Sinai entropy is a fairly exotic mathematical concept which has recently aroused some interest on the philosophers’ part. The most salient trait of this concept is its working as a junction between such diverse ambits as statistical mechanics, information theory and algorithm theory. In this paper I argue that, in order to understand this very special feature of the Kolmogorov-Sinai entropy, is essential to reconstruct its genealogy. Somewhat surprisingly, this story takes us as far back as the beginning of (...) celestial mechanics and through some of the most exciting developments of mathematical physics of the 19th century. (shrink)

An intricate, long, and occasionally heated debate surrounds Boltzmann’s H-theorem (1872) and his combinatorial interpretation of the second law (1877). After almost a century of devoted and knowledgeable scholarship, there is still no agreement as to whether Boltzmann changed his view of the second law after Loschmidt’s 1876 reversibility argument or whether he had already been holding a probabilistic conception for some years at that point. In this paper, I argue that there was no abrupt statistical turn. In the first (...) part, I discuss the development of Boltzmann’s research from 1868 to the formulation of the H-theorem. This reconstruction shows that Boltzmann adopted a pluralistic strategy based on the interplay between a kinetic and a combinatorial approach. Moreover, it shows that the extensive use of asymptotic conditions allowed Boltzmann to bracket the problem of exceptions. In the second part I suggest that both Loschmidt’s challenge and Boltzmann’s response to it did not concern the H-theorem. The close relation between the theorem and the reversibility argument is a consequence of later investigations on the subject. (shrink)

The foundation of statistical mechanics and the explanation of the success of its methods rest on the fact that the theoretical values of physical quantities (phase averages) may be compared with the results of experimental measurements (infinite time averages). In the 1930s, this problem, called the ergodic problem, was dealt with by ergodic theory that tried to resolve the problem by making reference above all to considerations of a dynamic nature. In the present paper, this solution will be analyzed first, (...) highlighting the fact that its very general nature does not duly consider the specificities of the systems of statistical mechanics. Second, Khinchin’s approach will be presented, that starting with more specific assumptions about the nature of systems, achieves an asymptotic version of the result obtained with ergodic theory. Third, the statistical meaning of Khinchin’s approach will be analyzed and a comparison between this and the point of view of ergodic theory is proposed. It will be demonstrated that the difference consists principally of two different perspectives on the ergodic problem: that of ergodic theory puts the state of equilibrium at the center, while Khinchin’s attempts to generalize the result to non-equilibrium states. (shrink)

Boltzmann’s equilibrium theory has not received by the scholars the attention it deserves. It was always interpreted as a mere generalization of Maxwell’s work or, in the most favorable case, a sketch of some ideas more consistently developed in the 1872 memoir. In this paper, I try to prove that this view is ungenerous. My claim is that in the theory developed during the period 1866-1871 the generalization of Maxwell’s distribution was mainly a mean to get a more general scope: (...) a theory of the equilibrium of a system of mechanical points from a general point of view. To face this issue Boltzmann analyzed and discussed probabilistic assumptions so that his equilibrium theory cannot be considered a purely mechanical theory. I claim also that the special perspective adopted by Boltzmann and his view about probabilistic requirements played a role in the transition to the non equilibrium theory of 1872. (shrink)

We discuss the main ideas that lie at the foundations of the approximating Hamiltonian method (AHM) in statistical mechanics. The principal constraints for model Hamiltonians to be investigated by AHM are considered along with the main results obtainable by this method. We show how it is possible to enlarge the class of model Hamiltonians solvable by AHM with the help of an example of the BCS-type model.

Part I of the present work outlined the rigorous application of information theory to a quantum mechanical system in a thermodynamic equilibrium state. The general formula developed there for the best-guess density operator $\hat \rho$ was indeterminate because it involved in an essential way an unspecified prior probability distribution over the continuumD H of strong equilibrium density operators. In Part II mathematical evaluation of $\hat \rho$ is completed after an epistemological analysis which leads first to the discretization ofD H and (...) then to the adoption of a suitable indifference axiom to delimit the set of admissible prior distributions. Finally, quantal formulas for information-theoretic and thermodynamic entropies are contrasted, and the entire work is summarized. (shrink)

According to standard (quantum) statistical mechanics, the phenomenon of a phase transition, as described in classical thermodynamics, cannot be derived unless one assumes that the system under study is infinite. This is naturally puzzling since real systems are composed of a finite number of particles; consequently, a well‐known reaction to this problem was to urge that the thermodynamic definition of phase transitions (in terms of singularities) should not be “taken seriously.” This article takes singularities seriously and analyzes their role by (...) using the well‐known distinction between data and phenomena , in an attempt to better understand the origin of the puzzle. *Received April 2009; revised July 2009. †To contact the author, please write to: University of Cambridge, Department of History and Philosophy of Science, Free School Lane, Cambridge CB2 3RH, United Kingdom; e‐mail: sib24@cam.ac.uk. (shrink)

Were Maxwell and Boltzmann irrational to develop statistical mechanics whereas it was empirically refuted by the specific heats problem? My analysis of this historical episode departs from the current proposals about belief change. I first give a detailed description of Maxwell's and Boltzmann's epistemic states in the years they were working on statistical mechanics and then make some methodological proposals in epistemology that would account for the complexity of this case.

We analyze the effects of the introduction of new mathematical tools on an old branch of physics by focusing on lattice fluids, which are cellular automata -based hydrodynamical models. We examine the nature of these discrete models, the type of novelty they bring about within scientific practice and the role they play in the field of fluid dynamics. We critically analyze Rohrlich's, Fox Keller's and Hughes' claims about CA-based models. We distinguish between different senses of the predicates “phenomenological” and “theoretical” (...) for scientific models and argue that it is erroneous to conclude, as they do, that CA-based models are necessarily phenomenological in any sense of the term. We conversely claim that CA-based models of fluids, though at first sight blatantly misrepresenting fluids, are in fact conservative as far as the basic laws of statistical physics are concerned and not less theoretical than more traditional models in the field. Based on our case-study, we propose a general discussion of the prospect of CA for modeling in physics. We finally emphasize that lattice fluids are not just exotic oddities but do bring about new advantages in the investigation of fluids' behavior. (shrink)

It is suggested, following a proposal made recently by Smolin, that the most fundamental law of the universe takes this form: Among the set of all possible universes compatible with an irreducibly minimal set of structural constraints, the actually realized universe is the one which maximizes a mathematically well-defined number (the variety) that measures the structural variety of the universe (in the totality of its history). This gives expression to Leibniz's idea that the actual universe gives “the greatest variety possible, (...) but with the greatest possible order.” Two models are proposed in which the idea can be realized and its consequences tested; both are discrete in nature and satisfy highly nonlocal laws. In such a scheme a unique (finite) universe is called into being by the fundamental requirement of maximal variety (for given definition of the variety), which it is conjectured could have such a powerful ordering effect that space, time, the currently known laws of physics, and the observed structure of the universe could all appear as emergent consequences of the single underlying law. (shrink)

The levels that compose biological hierarchies each have their own energetic, spatial and temporal structure. Indeed, it is the discontinuity in energy relationships between levels, as well as the similarity of sub-systems that support them, that permits levels to be defined. In this paper, the temporal structure of living hierarchies, in particular that pertaining to Human society, is examined. Consideration is given to the period defining the lifespan of entities at each level and to a periodic event considered fundamental to (...) the maintenance of that level. The ratio between the duration of these two periods is found to be approximately 2.5 × 104. A similar relationship is found when lower, non-living levels of molecules and atoms are considered. This suggests that there is a constant factor of amplification between analogous periodic events at successive levels of the Human hierarchy. (shrink)