This paper examines the justifications for using infinite systems to 'recover' thermodynamic properties, such as phase transitions (PT), critical phenomena (CP), and irreversibility, from the micro-structure of matter in bulk. Section 2 is a summary of such rigorous methods as in taking the thermodynamic limit (TL) to recover PT and in using renormalization (semi-) group approach (RG) to explain the universality of critical exponents. Section 3 examines various possible justifications for taking TL on physically finite systems. Section (...) 4 discusses the legitimacy of applying TL to the problem of irreversibility and assesses the repercussions for its legitimacy on its home turf. (shrink)

The paper shows a new example of nonuniqueness of the solutionto Newtonian equations of motion for infinite gravitational systems. Unlike otherexamples, the gravitational field presents no singularity, nor are the non-gravitational forcesintroduced in the model singular (in particular, there are no collisions). The result is also ofinterest because it points to an interesting limitation of the elementary (Newtonian) formulationof classical mechanics.

This paper shows that the general homogeneous solution to equations of evolution for some infinite systems of particles subject to mutual binary collisions does not depend on a single arbitrary constant but on a potentially infinite number of such constants. This is because, as I demonstrate, a single self-excitation of a system of particles can depend on a potentially infinite number of parameters. The recent homogeneous solution obtained by Atkinson and Johnson, which depends on a single (...) arbitrary constant, is only a particular case. (shrink)

On Itamar Pitowsky’s subjective interpretation of quantum mechanics, “the Hilbert space formalism of quantum mechanics [QM] is just a new kind of probability theory”, one whose probabilities correspond to odds rational agents would accept on the outcomes of gambles concerning quantum event structures. Our aim here is to ask whether Pitowsky’s approach can be extended from its original context, of quantum theories for systems with an finite number of degrees of freedom, to systems with an infinite number (...) of degrees of freedom, such as quantum field theory and quantum statistical mechanics in the thermodynamic limit. An impediment to generalization is that Pitowsky adopts the framework of event structures encoded by atomic algebras, whereas the algebras typical of QM for infinitely many degrees of freedom are usually non-atomic. We describe challenges to Pitowsky’s approach deriving from this impediment, and sketch and assess strategies Pitowsky might use to meet those challenges. Although we offer no final verdict about the eventual success of those strategies, a testament to the worth of Pitowsky’s approach is that attempting to extend it engages us in provocative foundational issues. (shrink)

We introduce a new structure, the critical multi-cubic lattice. Notably the critical multi-cubic lattice is the first true generalization of the cubic lattice to higher dimensional spaces. We then introduce the notion of a homomorphism in the category of critical multi-cubic lattices, compute its automorphism group, and construct a Hilbert space over which we represent the group. With this unitary representation, we re-derive the generalized Pauli matrices common in quantum computation while also defining an algebraic framework for an infinite (...) system of qudits. We also briefly explore the critical multi-cubic lattice as a novel implication algebra serving as a logical framework for qudit gates. (shrink)

Classical accounts of intertheoretic reduction involve two pieces: first, the new terms of the higher-level theory must be definable from the terms of the lower-level theory, and second, the claims of the higher-level theory must be deducible from the lower-level theory along with these definitions. The status of each of these pieces becomes controversial when the alleged reduction involves an infinite limit, as in statistical mechanics. Can one define features of or deduce the behavior of an infinite idealized (...) system from a theory describing only finite systems? In this paper, I change the subject in order to consider the motivations behind the definability and deducibility requirements. The classical accounts of intertheoretic reduction are appealing because when the definability and deducibility requirements are satisfied there is a sense in which the reduced theory is forced upon us by the reducing theory and the reduced theory contains no more information or structure than the reducing theory. I will show that, likewise, there is a precise sense in which in statistical mechanics the properties of infinite limiting systems are forced upon us by the properties of finite systems, and the properties of infinite systems contain no information beyond the properties of finite systems. (shrink)

Using artificially synthesized stimuli, previous research has shown that cotton-top tamarin monkeys easily learn simple AB grammar sequences, but not the more complex AnBn sequences that require hierarchical structure. Humans have no trouble learning AnBn combinations. A more recent study, using similar artificially created stimuli, showed that there is a neuroanatomical difference in the brain between these two kinds of arrays. While the simpler AB sequences recruit the frontal operculum, the AnBn array recruits the phylogenetically newer Broca’s area. We propose (...) that on close inspection, reported vocal repertoires of Old World Monkeys show that these nonhuman primates are capable of calls that have two items in them, but never more than two. These are simple AB sequences, as predicted by previous research. In addition, we suggest the two-item call cannot be the result of a combinatorial operation that we see in human language, where the recursive operation of Merge allows for a potentially infinite array of structures. In our view, the two-item calls of nonhuman primates result from a dual-compartment frame into which each of the calls can fit without having to be combined by an operation such as Merge. (shrink)

This paper presents an in-depth analysis of the anatomy of both thermodynamics and statistical mechanics, together with the relationships between their constituent parts. Based on this analysis, using the renormalization group and finite-size scaling, we give a definition of a large but finite system and argue that phase transitions are represented correctly, as incipient singularities in such systems. We describe the role of the thermodynamic limit. And we explore the implications of this picture of critical phenomena for the questions (...) of reduction and emergence. (shrink)

I analyze the role of infinite idealizations used in the renormalization group (RG hereafter) method in explaining universality across microscopically different physical systems in critical phenomena. I argue that despite the reference to infinite limit systems such as systems with infinite correlation lengths during the RG process, the key to explaining universality in critical phenomena need not involve infinite limit systems. I develop my argument by introducing what I regard as the explanatorily (...) relevant property in RG explanations: linearization* property; I then motivate and prove a proposition about the linearization* property in support of my view. As a result, infinite limit systems in RG explanations are dispensable. (shrink)

Fourth-order autonomous nonlinear differential equations can exhibit chaotic properties. In this study, we propose a family of fourth-order chaotic systems with infinite equilibrium points whose equilibria form closed curves of different shapes. First, the phase diagrams and Lyapunov exponents of the system family are simulated. The results show that the system family has complex phase diagrams and dynamic behaviors. Simulation analysis of the Poincarè mapping and bifurcation diagrams shows that the system has chaotic characteristics. The circuit simulation model (...) is constructed and simulated in Multisim. The circuit simulation results coincide with the numerical simulation results, which verifies the circuit feasibility of the system. Then, based on Lyapunov stability theory and the adaptive control method, the synchronous control of the system with infinite equilibria is designed. Numerical simulation results verify that the system synchronization with the adaptive control method is well. Finally, the synchronous drive system is used for image encryption, the response system is used for decryption, and color image encryption is realized by combining deoxyribonucleic acid coding and operating rules. Therefore, this study not only enriched the research on infinite equilibria chaotic systems but also further expanded secure communication technology by combining chaotic synchronization control and DNA coding in image encryption. (shrink)

In papers published between 1930 and 1935. Zermelo outlines a foundational program, with infinitary logic at its heart, that is intended to (1) secure axiomatic set theory as a foundation for arithmetic and analysis and (2) show that all mathematical propositions are decidable. Zermelo's theory of systems of infinitely long propositions may be termed "Cantorian" in that a logical distinction between open and closed domains plays a signal role. Well-foundedness and strong inaccessibility are used to systematically integrate highly transfinite (...) concepts of demonstrability and existence. Zermelo incompleteness is then the analogue of the Problem of Proper Classes, and the resolution of these two anomalies is similarly analogous. (shrink)

The singularity arising from the violation of the Lipschitz condition in the simple Newtonian system proposed recently by Norton (2003) is so fragile as to be completely and irreparably destroyed by slightly relaxing certain (infinite) idealizations pertaining to elastic phenomena in this model. I demonstrate that this is also true for several other Lipschitz-indeterministic systems, which, unlike Norton's example, have no surface curvature singularities. As a result, indeterminism in these systems should rather be viewed as an artefact (...) of certain infinite idealizations essential for these models, depriving them of much of their intended metaphysical import. (shrink)

This paper proposes an extension of Chaitin's halting probability Ω to a measurement operator in an infinite dimensional quantum system. Chaitin's Ω is defined as the probability that the universal self-delimiting Turing machine U halts, and plays a central role in the development of algorithmic information theory. In the theory, there are two equivalent ways to define the program-size complexity H of a given finite binary string s. In the standard way, H is defined as the length of the (...) shortest input string for U to output s. In the other way, the so-called universal probability m is introduced first, and then H is defined as –log2m without reference to the concept of program-size.Mathematically, the statistics of outcomes in a quantum measurement are described by a positive operator-valued measure in the most general setting. Based on the theory of computability structures on a Banach space developed by Pour-El and Richards, we extend the universal probability to an analogue of POVM in an infinite dimensional quantum system, called a universal semi-POVM. We also give another characterization of Chaitin's Ω numbers by universal probabilities. Then, based on this characterization, we propose to define an extension of Ω as a sum of the POVM elements of a universal semi-POVM. The validity of this definition is discussed.In what follows, we introduce an operator version equation image of H in a Hilbert space of infinite dimension using a universal semi-POVM, and study its properties. (shrink)

Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully (...) adequate for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens. (shrink)

I argue that Kant's claim in the “Transcendental Aesthetic” of the Critique of Pure Reason that space and time are immediately given in intuition as infinite magnitudes is undercut by his general theory of mathematical knowledge. On this general theory, pure intuition does not give objects of any determinate magnitude at all, but only forms of possible objects. Specifically, what pure intuition itself yields is the recognition that any determinate space or time is part of a larger one, but (...) it requires an inference of reason to go from that to the claim that space and time are infinite. I further argue that this result is consistent with Kant's claim in the second-edition “Transcendental Deduction” that the unity of space and time are the products of synthesis, but also means that the unity of space and time as objects cannot be used a premise in the Deduction but can only be regarded as a conclusion of the deduction and the following “System of Principles.”. (shrink)

The paper concerns the algebraic structure of the set of cumulative distribution functions as well as the relationship between the resulting algebra and the infinite-valued Łukasiewicz algebra. The paper also discusses interrelations holding between the logical systems determined by the above algebras.

The examples of dynamic supertasks analyzed to date in the philosophical literature, in which both determinism and the classical laws of conservation of energy and momentum are violated, all share the important limitation of requiring material systems of infinite mass. This paper demonstrates that this limitation is not necessary. This has important consequences for the scope and meaning of such violations.

We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already, we significantly broaden this framework by developing the corresponding technique for countably closed models of size continuum. The applications range from various theorems on paradoxical decompositions of the plane, to coloring sparse set systems, results on graph chromatic number and constructions from point-set topology. (...) Our main purpose is to demonstrate the ease and wide applicability of this method in a form accessible to anyone with a basic background in set theory and logic. (shrink)

Using infinite time Turing machines we define two successive extensions of Kleene’s ${\mathcal{O}}$ and characterize both their height and their complexity. Specifically, we first prove that the one extension—which we will call ${\mathcal{O}^{+}}$ —has height equal to the supremum of the writable ordinals, and that the other extension—which we will call ${\mathcal{O}}^{++}$ —has height equal to the supremum of the eventually writable ordinals. Next we prove that ${\mathcal{O}^+}$ is Turing computably isomorphic to the halting problem of infinite time (...) Turing computability, and that ${\mathcal{O}^{++}}$ is Turing computably isomorphic to the halting problem of eventual computability. (shrink)

We examine the notions of negative, infinite and hotter than infinite temperatures and show how these unusual concepts gain legitimacy in quantum statistical mechanics. We ask if the existence of an infinite temperature implies the existence of an actual infinity and argue that it does not. Since one can sensibly talk about hotter than infinite temperatures, we ask if one could legitimately speak of other physical quantities, such as length and duration, in analogous terms. That is, (...) could there be longer than infinite lengths or temporal durations? We argue that the answer is surprisingly yes, and we outline the properties of a number system that could be employed to characterize such magnitudes. (shrink)

It has been suggested that the measuring apparatus used to measure quantum systems ought to be idealized as consisting of an infinite number of quantum systems. Let us call this the infinity assumption. The suggestion that we ought to make the infinity assumption has been made in connection with two closely related but distinct problems. One is the problem of determining the importance of the limitations on measurement incorporated into the Wigner-Araki-Yanase quantum theory of measurement. The other (...) is the measurement problem. These problems are not internal to the quantum mechanical formalism. They arise when we obtain particular formal results in applying the quantum mechanical formalism to measurement interactions. The formal results are problematic because they resist explanation. Various authors have claimed that by making the infinity assumption we can neglect the limitations on measurement. Bub (1988) and (1989) claims it allows us to solve the measurement problem. I will argue that both claims are unjustified. (shrink)

Some philosophers have claimed that it is meaningless or paradoxical to consider the probability of a probability. Others have however argued that second-order probabilities do not pose any particular problem. We side with the latter group. On condition that the relevant distinctions are taken into account, second-order probabilities can be shown to be perfectly consistent. May the same be said of an infinite hierarchy of higher-order probabilities? Is it consistent to speak of a probability of a probability, and of (...) a probability of a probability of a probability, and so on, {\em ad infinitum}? We argue that it is, for it can be shown that there exists an infinite system of probabilities that has a model. In particular, we define a regress of higher-order probabilities that leads to a convergent series which determines an infinite-order probability value. We demonstrate the consistency of the regress by constructing a model based on coin-making machines. (shrink)

Prop. 1 on p. 10 is false as stated. The proof implicitly assumes that all Cauchy sequences.

Traditionally, emancipatory politics is a question of knowing which parts of society are capable of counting for something, and which ones are not. Formulating the question of emancipatory politics in terms of existence, more specifically, in terms of “political subjects who are not social groups but rather forms of inscriptions of the count of the uncounted” , means acknowledging that the proper place for emancipatory politics is the very terrain in which the system of domination operates, a system that radical (...) political theorists characterize as a system of placement, identification, or counting. At present, however, this question of counting the uncountable, crucial for emancipatory politics, cannot be raised at all to the extent that globalization means that everybody is always already included, the exclusion of the uncounted is necessarily obscured, indeed, it has become invisible. Beginning with a discussion on an enigmatic remark: “the infinitization of the value of the subject”, taken from Lacan’s Seminar The Four Fundamental concepts of Psycho-analysis, this paper examines a conceptual shift in the articulation of the relation between the subject and the figures of the Other in an epoch of the Other which does not exist. Taking as her point of departure Lacan’s theory of the cut, the author shows how, in an era of the “generalized metonymization”, only an act constitutes a way out of a discourse that knows no closure. (shrink)

This paper deals with stochastically globally exponential stability for stochastic impulsive differential systems with discrete delays and infinite distributed delays. By using vector Lyapunov function and average dwell-time condition, we investigate the unstable impulsive dynamics and stable impulsive dynamics of the suggested system, and some novel stability criteria are obtained for SIDSs with DDs and IDDs. Moreover, our results allow the discrete delay term to be coupled with the nondelay term, and the infinite distributed delay term to (...) be coupled with the nondelay term. Finally, two examples are given to verify the effectiveness of our theories. (shrink)

By operations on models we show how to relate completeness with respect to permissivenominal models to completeness with respect to nominal models with finite support. Models with finite support are a special case of permissive-nominal models, so the construction hinges on generating from an instance of the latter, some instance of the former in which sufficiently many inequalities are preserved between elements. We do this using an infinite generalisation of nominal atoms-abstraction. The results are of interest in their own (...) right, but also, we factor the mathematics so as to maximise the chances that it could be used off-the-shelf for other nominal reasoning systems too. Models with infinite support can be easier to work with, so it is useful to have a semi-automatic theorem to transfer results from classes of infinitely-supported nominal models to the more restricted class of models with finite support. In conclusion, we consider different permissive-nominal syntaxes and nominal models and discuss how they relate to the results proved here. (shrink)

1. Approximations of arbitrarily large but finite systems are often mistaken for infinite idealizations in statistical and thermal physics. The problem is illustrated by thermodynamically reversible processes. They are approximations of processes requiring arbitrarily long, but finite times to complete, not processes requiring an actual infinity of time.2. The present debate over whether phase transitions comprise a failure of reduction is confounded by a confusion of two senses of “level”: the molecular versus the thermodynamic level and the few (...) component versus the many component level. (shrink)

The problem of finding a covariant expression for the distribution and conservation of gravitational energy-momentum dates to the 1910s. A suitably covariant infinite-component localization is displayed, reflecting Bergmann's realization that there are infinitely many gravitational energy-momenta. Initially use is made of a flat background metric (or rather, all of them) or connection, because the desired gauge invariance properties are obvious. Partial gauge-fixing then yields an appropriate covariant quantity without any background metric or connection; one version is the collection of (...) pseudotensors of a given type, such as the Einstein pseudotensor, in _every_ coordinate system. This solution to the gauge covariance problem is easily adapted to any pseudotensorial expression (Landau-Lifshitz, Goldberg, Papapetrou or the like) or to any tensorial expression built with a background metric or connection. Thus the specific functional form can be chosen on technical grounds such as relating to Noether's theorem and yielding expected values of conserved quantities in certain contexts and then rendered covariant using the procedure described here. The application to angular momentum localization is straightforward. Traditional objections to pseudotensors are based largely on the false assumption that there is only one gravitational energy rather than infinitely many. (shrink)

This NATO Advanced Study Institute centered on large-scale molecular systems: Quantum mechanics, although providing a general framework for the description of matter, is not easily applicable to many concrete systems of interest; classical statistical methods, on the other hand, allow only a partial picture of the behaviour of large systems. The aim of the ASI was to present both aspects of the subject matter and to foster interaction between the scientists working in these important areas of theoretical (...) physics and theoretical chemistry. The quantum-mechanical part was mostly based on the operator-algebraic formulation of quantum mechanics and comprised quantum statistics of infinite systems with special em phasis on macroscopic observables, equilibrium conditions, irreversibility on the one hand, symmetry breaking for molecules in the radiation field and macroscopic quantum phenomena in the theory of superconductivity (BCS-theory) on the other hand. In addition, phase-space methods for many-body systems were also presented. Statistical physics was the main topic in the other lectures of the School; much emphasis was put on the statistical features of macros copic ("large") systems, the lectures dealt with mass and energy transport im polymers, in gels and in microemulsions, with aggregation and growth phenomena, with relaxation in complex, correlated systems, with conduction and optical properties of polymers, and with the means of describing disordered systems, above all fractals and related hierarchical models. (shrink)

Vincent Ardourel discusses the eliminability of infinite limits in the explanations of phase transitions—an important point in the debate on the reducibility of thermodynamics to statistical mechanics. To this end, he examines alternative physical theories that deal with phase transitions in finite systems.

The problem of how to rationally aggregate probability measures occurs in particular when a group of agents, each holding probabilistic beliefs, needs to rationalise a collective decision on the basis of a single ‘aggregate belief system’ and when an individual whose belief system is compatible with several probability measures wishes to evaluate her options on the basis of a single aggregate prior via classical expected utility theory. We investigate this problem by first recalling some negative results from preference and judgment (...) aggregation theory which show that the aggregate of several probability measures should not be conceived as the probability measure induced by the aggregate of the corresponding expected utility preferences. We describe how McConway’s :410–414, 1981) theory of probabilistic opinion pooling can be generalised to cover the case of the aggregation of infinite profiles of finitely additive probability measures, too; we prove the existence of aggregation functionals satisfying responsiveness axioms à la McConway plus additional desiderata even for infinite electorates. On the basis of the theory of propositional-attitude aggregation, we argue that this is the most natural aggregation theory for probability measures. Our aggregation functionals for the case of infinite electorates are neither oligarchic nor integral-based and satisfy a weak anonymity condition. The delicate set-theoretic status of integral-based aggregation functionals for infinite electorates is discussed. (shrink)