Why does classical equilibrium statistical mechanics work? Malament and Zabell (1980) noticed that, for ergodic dynamical systems, the unique absolutely continuous invariant probability measure is the microcanonical. Earman and Rédei (1996) replied that systems of interest are very probably not ergodic, so that absolutely continuous invariant probability measures very distant from the microcanonical exist. In response I define the generalized properties of epsilon-ergodicity and epsilon-continuity, I review computational evidence indicating that systems of interest are epsilon-ergodic, I adapt Malament and (...) Zabell’s defense of absolute continuity to support epsilon-continuity, and I prove that, for epsilon-ergodic systems, every epsilon-continuous invariant probability measure is very close to the microcanonical. (shrink)

Gases reach equilibrium when left to themselves. Why do they behave in this way? The canonical answer to this question, originally proffered by Boltzmann, is that the systems have to be ergodic. This answer has been criticised on different grounds and is now widely regarded as flawed. In this paper we argue that some of the main arguments against Boltzmann's answer, in particular, arguments based on the KAM-theorem and the Markus-Meyer theorem, are beside the point. We then argue that something (...) close to Boltzmann's original proposal is true for gases: gases behave thermodynamic-like if they are epsilon-ergodic, i.e., ergodic on the entire accessible phase space except for a small region of measure epsilon. This answer is promising because there are good reasons to believe that relevant systems in statistical mechanics are epsilon-ergodic. (shrink)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (...) (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

We investigate the meaning of the wave function by analyzing the mass and charge density distributions of a quantum system. According to protective measurement, a charged quantum system has effective mass and charge density distributing in space, proportional to the square of the absolute value of its wave function. In a realistic interpretation, the wave function of a quantum system can be taken as a description of either a physical field or the ergodic motion of a particle. The essential difference (...) between a field and the ergodic motion of a particle lies in the property of simultaneity; a field exists throughout space simultaneously, whereas the ergodic motion of a particle exists throughout space in a time-divided way. If the wave function is a physical field, then the mass and charge density will be distributed in space simultaneously for a charged quantum system, and thus there will exist gravitational and electrostatic self-interactions of its wave function. This not only violates the superposition principle of quantum mechanics but also contradicts experimental observations. Thus the wave function cannot be a description of a physical field but a description of the ergodic motion of a particle. For the later there is only a localized particle with mass and charge at every instant, and thus there will not exist any self-interaction for the wave function. Which kind of ergodic motion of particles then? It is argued that the classical ergodic models, which assume continuous motion of particles, cannot be consistent with quantum mechanics. Based on the negative result, we suggest that the wave function is a description of the quantum motion of particles, which is random and discontinuous in nature. On this interpretation, the square of the absolute value of the wave function not only gives the probability of the particle being found in certain locations, but also gives the probability of the particle being there. We show that this new interpretation of the wave function provides a natural realistic alternative to the orthodox interpretation, and its implications for other realistic interpretations of quantum mechanics are also briefly discussed. (shrink)

This paper reviews some major episodes in the history of the spatial isomorphism problem of dynamical systems theory. In particular, by analysing, both systematically and in historical context, a hitherto unpublished letter written in 1941 by John von Neumann to Stanislaw Ulam, this paper clarifies von Neumann's contribution to discovering the relationship between spatial isomorphism and spectral isomorphism. The main message of the paper is that von Neumann's argument described in his letter to Ulam is the very first proof that (...) spatial isomorphism and spectral isomorphism are not equivalent because spectral isomorphism is weaker than spatial isomorphism: von Neumann shows that spectrally isomorphic ergodic dynamical systems with mixed spectra need not be spatially isomorphic. (shrink)

We investigate the validity of the field explanation of the wave function by analyzing the mass and charge density distributions of a quantum system. It is argued that a charged quantum system has effective mass and charge density distributing in space, proportional to the square of the absolute value of its wave function. This is also a consequence of protective measurement. If the wave function is a physical field, then the mass and charge density will be distributed in space simultaneously (...) for a charged quantum system, and thus there will exist a remarkable electrostatic self-interaction of its wave function, though the gravitational self-interaction is too weak to be detected presently. This not only violates the superposition principle of quantum mechanics but also contradicts experimental observations. Thus we conclude that the wave function cannot be a description of a physical field. In the second part of this paper, we further analyze the implications of these results for the main realistic interpretations of quantum mechanics, especially for de Broglie-Bohm theory. It has been argued that de Broglie-Bohm theory gives the same predictions as quantum mechanics by means of quantum equilibrium hypothesis. However, this equivalence is based on the premise that the wave function, regarded as a Ψ-field, has no mass and charge density distributions, which turns out to be wrong according to the above results. For a charged quantum system, both Ψ-field and Bohmian particle have charge density distribution. This then results in the existence of an electrostatic self-interaction of the field and an electromagnetic interaction between the field and Bohmian particle, which contradicts both the predictions of quantum mechanics and experimental observations. Therefore, de Broglie-Bohm theory as a realistic interpretation of quantum mechanics is probably wrong. Lastly, we suggest that the wave function is a description of some sort of ergodic motion (e.g. random discontinuous motion) of particles, and we also briefly analyze the implications of this suggestion for other realistic interpretations of quantum mechanics including many-worlds interpretation and dynamical collapse theories. (shrink)

The received wisdom in statistical mechanics is that isolated systems, when left to themselves, approach equilibrium. But under what circumstances does an equilibrium state exist and an approach to equilibrium take place? In this paper we address these questions from the vantage point of the long-run fraction of time definition of Boltzmannian equilibrium that we developed in two recent papers. After a short summary of Boltzmannian statistical mechanics and our definition of equilibrium, we state an existence theorem which provides general (...) criteria for the existence of an equilibrium state. We first illustrate how the theorem works with a toy example, which allows us to illustrate the various elements of the theorem in a simple setting. After a look at the ergodic programme, we discuss equilibria in a number of different gas systems: the ideal gas, the dilute gas, the Kac gas, the stadium gas, the mushroom gas and the multi-mushroom gas. In the conclusion we briefly summarise the main points and highlight open questions. (shrink)

Consider a gas confined to the left half of a container. Then remove the wall separating the two parts. The gas will start spreading and soon be evenly distributed over the entire available space. The gas has approached equilibrium. Why does the gas behave in this way? The canonical answer to this question, originally proffered by Boltzmann, is that the system has to be ergodic for the approach to equilibrium to take place. This answer has been criticised on different grounds (...) and is now widely regarded as flawed. In this paper we argue that these criticisms have dismissed Boltzmann’s answer too quickly and that something almost like Boltzmann’s answer is true: the approach to equilibrium takes place if the system is epsilon-ergodic, i.e. ergodic on the entire accessible phase space except for a small region of measure epsilon. We introduce epsilon-ergodicity and argue that relevant systems in statistical mechanics are indeed espsilon-ergodic. (shrink)

The desirable gambles framework offers the most comprehensive foundations for the theory of lower pre- visions, which in turn affords the most general ac- count of imprecise probabilities. Nevertheless, for all its generality, the theory of lower previsions rests on the notion of linear utility. This commitment to linearity is clearest in the coherence axioms for sets of desirable gambles. This paper considers two routes to relaxing this commitment. The first preserves the additive structure of the desirable gambles framework and (...) the machinery for coherent inference but detaches the interpretation of desirability from the multiplicative scale invariance axiom. The second strays from the additive combination axiom to accommodate repeated gambles that return rewards by a non-stationary processes that is not necessarily additive. Unlike the first approach, which is a conservative amendment to the desirable gambles framework, the second is a rad- ical departure. Yet, common to both is a method for describing rewards called discounted utility. (shrink)

The paper is devoted to controversies in computer games studies connected with game classification and characteristics. Controversies on walking simulators are discussed in depth; also historical roots of these games and their ergodicity.

In this work we study dimensional theoretical properties of some a±ne dynamical systems. By dimensional theoretical properties we mean Hausdor® dimension and box- counting dimension of invariant sets and ergodic measures on theses sets. Especially we are interested in two problems. First we ask whether the Hausdor® and box- counting dimension of invariant sets coincide. Second we ask whether there exists an ergodic measure of full Hausdor® dimension on these invariant sets. If this is not the case we ask the (...) question, whether at least the variational principle for Haus- dor® dimension holds, which means that there is a sequence of ergodic measures such that their Hausdor® dimension approximates the Hausdor® dimension of the invariant set. It seems to be well accepted by experts that these questions are of great importance in developing a dimension theory of dynamical systems (see the book of Pesin about dimension theory of dynamical systems [PE2]). Dimensional theoretical properties of conformal dynamical systems are fairly well understood today. For example there are general theorems about conformal repellers and hyperbolic sets for conformal di®eomorphisms (see chapter 7 of [PE2]). On the other hand the existence of two di®erent rates of expansion or contraction forces problems that are not captured by a general theory this days. At this stage of de- velopment of the dimension theory of dynamical systems it seems natural to study non conformal examples. This is the ¯rst step to understand the mechanisms that determine dimensional theoretical properties of non conformal dynamical systems. A±ne dynamical systems represent simple examples of non conformal systems. They are easy to de¯ne, but studying their dimensional theoretical properties does never- theless provide challenging mathematical problems and exemplify interesting phe- nomena. We consider here a special class of self-a±ne repellers in dimension two, depending on four parameters (see 2.1.). Furthermore we study a class of attractors of piecewise a±ne maps in dimension three depending on four parameters as well. The last object of our work are projections of these maps that are known as gener- alized Baker's transformations (see 2.2.). The contents of our work is the following: In chapter two we give an overview about some main results in the area of di- mension theory of a±ne dynamical systems and de¯ne the systems we study in this work. We will explain, what is known about the dimensional theoretical properties of these systems and describe what our new results are. In chapter three we then apply symbolic dynamics to our systems. We will introduce explicit shift codings 4 and ¯nd representations of all ergodic measures for our systems using these codings. From chapter four to chapter eight we study dimensional theoretical properties, which our systems generally or generically have. In chapter four we will prove a formula for the box-counting dimension of the repellers and the attractors (see the- orem 4.1.). Then in chapter ¯ve we apply general dimensional theoretical results for ergodic measures found by Ledrappier and Young [LY] and Barreira, Schmeling and Pesin [BPS] to our systems. These results relate the dimension of ergodic measures to metric entropy and Lyapunov exponents. Using this approach we will be able to reduce questions about the dimension of ergodic measures in our context to ques- tions about certain overlapping and especially overlapping self-similar measures on the line. These overlapping self-similar measures are studied in chapter six. Our main theorem extends a result of Peres and Solomyak [PS2] concerning the absolute continuity resp. singularity of symmetric self-similar measures to asymmetric ones (see theorem 6.1.3.). In chapter seven we bring our results together. We prove that we generically (in the sense of Lebesgue measure on a part of the parameter space) have the iden- tity of box-counting and Hausdor® dimension for the repellers and the attractors. (see theorem 7.1.1. and corollary 7.1.2.). This result suggest that one can expect that the identity of box-counting dimension and Hausdor® dimension holds at least generically in some natural classes of non conformal dynamical systems. Furthermore we will see in chapter seven that there generically exists an ergodic measure of full Hausdor® dimension for the repellers. On the other hand the vari- ational principle for Hausdor® dimension is not generic for the attractors. It holds only if we assume a certain symmetry (see theorem 7.1.1.). For generalized Baker's transformations we will ¯nd a part of the parameter space where there generically is an ergodic measure of full dimension and a part where the variational principle for Hausdor® dimension does not hold (see theorem 7.1.3.). Roughly speaking the reason why the variational principle does not hold here is, that if there exists both a stable and an unstable direction one can not generically maximize the dimension in the stable and in the unstable direction at the same time. In an other setting this phenomenon was observed before by Manning and McCluskey [MM]. In chapter eight we extend some results of the last section to invariant sets that correspond to special Markov chains instead of full shifts (see theorem 8.1.1.). In the last two chapters of our work we are interested in number theoretical excep- tions to our generic results. The starting point of our considerations in section nine are results of ErdÄos [ER1] and Alexander and Yorke [AY] that establish singularity and a decrease of dimension for in¯nite convolved Bernoulli measures under special conditions. Using a generalized notion of the Garsia entropy ([GA1/2]) we are able 5 to understand the consequences of number theoretical peculiarities in broader class of overlapping measures (see theorem 9.1.1.). In chapter ten we then analyze number theoretical peculiarities in the context of our dynamical systems. We restrict our attention to a symmetric situation where we generically have the existence of a Bernoulli measure of full dimension and the identity of Hausdor® and box-counting dimension for all of our systems. In the ¯rst section of chapter ten we ¯nd parameter values such that the variational principle for Hausdor® dimension does not hold for the attractors and for the Fat Baker's transformations (see theorem 10.1.1.). These are the ¯rst known examples of dynamical systems for which the variational principle for Hausdor® dimension does not hold because of number theoretical peculiarities of parameter values. For the repellers we have been able to show that under certain number theoretical conditions there is at least no Bernoulli measure of full Hausdor® dimension; the question if the variational principle for Hausdor® dimension holds remains open in this situation. In the second section of chapter ten we will show that the identity for Hausdor® and box-counting dimension can drops because there are number theoretical pecu- liarities. In the context of Weierstrass-like functions this phenomenon was observed by Przytycki and Urbanski [PU]. Our theorem extends this result to a larger class of sets, invariant under dynamical systems (see theorem 10.2.1). At the end of this work the reader will ¯nd two appendices, a list of notations and the list of references. In appendix A we introduce the notions of dimension we use in this work and collect some general facts in dimension theory. In appendix B we state the facts about Pisot-Vijayarghavan number, we need in our analysis of number theoretical peculiarities. The list of notations contains general notations and a table with a summary of notations we use to describe the dynamical systems that we study. Acknowledgments I wish to thank my supervisor JÄorg Schmeling for a lot of valuable discussion and all his help. Also thanks to Luis Barreira for his great hospitality in Lisboa and many interesting comments. This work was done while I was supported by "Promotionstipendium gem. NaFÄoG der Freien UniversitÄat Berlin". (shrink)

We investigate the implications of protective measurement for de Broglie-Bohm theory, mainly focusing on the interpretation of the wave function. It has been argued that the de Broglie-Bohm theory gives the same predictions as quantum mechanics by means of quantum equilibrium hypothesis. However, this equivalence is based on the premise that the wave function, regarded as a Ψ-field, has no mass and charge density distributions. But this premise turns out to be wrong according to protective measurement; a charged quantum system (...) has effective mass and charge density distributing in space, proportional to the square of the absolute value of its wave function. Then in the de Broglie-Bohm theory both Ψ-field and Bohmian particle will have charge density distribution for a charged quantum system. This will result in the existence of an electrostatic self-interaction of the field and an electromagnetic interaction between the field and Bohmian particle, which not only violates the superposition principle of quantum mechanics but also contradicts experimental observations. Therefore, the de Broglie-Bohm theory as a realistic interpretation of quantum mechanics is problematic according to protective measurement. Lastly, we briefly discuss the possibility that the wave function is not a physical field but a description of some sort of ergodic motion (e.g. random discontinuous motion) of particles. (shrink)

Confirming Robinson’s Statement? A Lakatosian Analysis of Keynes and his Immediate Orthodoxy Jesús Muñoz Abstract Was the Keynesian message alive during the second half of the XXth Century, or was it betrayed by his followers? This article in the fields of the history of economic thought and methodology contrasts the Scientific Research Programmes (SRPs), a Lakatosian concept, of Keynes in The General Theory of Employment, Interest and Money (TGT) with those of its immediate orthodox schools: Monetarism (MS), Neoclassical Synthesis (NS), (...) New Classical Macroeconomics – rational expectations – (RE) and General Disequilibrium (GD). The objective is to to assess the immediate impact of Keynes’s vision in economics. It can be concluded according to this comparison that Keynes’s bequeath was alive during the period between 1950 and 1980, but that it was accepted under different names. Many economists deny this statement. However it is hereby argued with the help of Lakatosian methodology that in both economic and philosophical terms the MS, NS, RE and GD SRPs are degenerative variants of Keynes's SRP. The Keynesian reasoning chain -a non self-regulated system, non neutrality on the part of money, organicism, non-ergodicity, historical time and uncertainty- is misunderstood and hence misapplied on the part of these deviant schools, or transformed into “bastard Keynesianism”, to quote Joan Robinson (Joan Robinson, 1975[1973], 125). In other words, Keynes’s economics is different from Keynesian economics as was firstly proposed by Axel Leijonhuvfud (Leijonhuvfud, 1968). The internal history of macroeconomics in those periods is undertaken, since it is is the rational reconstruction of the meaning of a SRP. Section 1 is an introduction to basic concepts related to philosophy of science and methodology, especially Lakatosian methodology, which can be skipped by the specialized reader. Section 2 is an analysis of Keynes’s hard core in his SRP, also being an introduction to the problem as it outlines Keynes’s thinking, Section 3 describes initial Post Keynesianism, which was faithful to the original message. Sections 4, 5, 6 and 7 outline the hard cores of Monetarists, Neoclassical Synthesis, New Classical Macroeconomics and General Disequilibrium, respectively. Section 8 is a comprehensive analysis of the differences between the mentioned paradigms, and hence concludes. References are listed at the end of the article. (shrink)

When faced with uncertainty, consequentialists often advocate choosing the option with the largest expected utility, as calculated using the arithmetic average. I provide some arguments to suggest that instead, one should consider choosing the option with the largest geometric average of utility. I explore the difference between these two approaches in a variety of ethical dilemmas and argue that geometric averaging has some appealing properties as a normative decision-making tool.

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)