A unified quantum theory of mechanics and thermodynamics. Part IIa. Available energy

Part II of this three-part paper presents some of the most important theorems that can be deduced from the four postulates of the unified theory discussed in Part I. In Part IIa, it is shown that the maximum energy that can be extracted adiabatically from any system in any state is solely a function of the density operator associated with the state. Moreover, it is shown that for any state of a system, nonequilibrium, equilibrium or stable equilibrium, a unique propertyS exists which is proportional to the total energy of the system minus the maximum energy that can be extracted adiabatically from the system in combination with a reservoir. For statistically independent systems, propertyS is extensive, it is invariant during all reversible processes, and it increases during all irreversible processes.Part I of this paper appeared inFound. Phys. 6(1) (1976). The numbering of the sections, equations, and references in this part of the paper continues from those in Part I.     

A unified quantum theory of mechanics and thermodynamics. Part IIb. Stable equilibrium states

Part IIb presents some of the most important theorems for stable equilibrium states that can be deduced from the four postulates of the unified theory presented in Part I. It is shown for the first time that the canonical and grand canonical distributions are the only distributions that are stable. Moreover, it is shown that reversible adiabatic processes exist which cannot be described by the dynamical equation of quantum mechanics. A number of conditions are discussed that must be satisfied by the general equation of motion which is yet to be discovered.Part I of this paper appeared inFound. Phys. 6(1), 15 (1976). Part IIa appeared inFound. Phys. 6(2), 127 (1976). The numbering of the sections, equations, and references in this part of the paper continues from those in Part IIa.     

A unified quantum theory of mechanics and thermodynamics. Part III. Irreducible quantal dispersions

This part of the paper concludes the presentation of the unified theory. It is shown that the theory requires the existence of, and applies only to, irreducible quantal dispersions associated with pure or mixed states. Two experimental procedures are given for the operational verification of such dispersions. Because the existence of irreducible dispersions associated with mixed states is required by Postulate 4 of the theory, and because Postulate 4 expresses the basic implications of the second law of classical thermodynamics, it is concluded that the second law is a manifestation of phenomena characteristic of irreducible quantal dispersions associated with the elementary constituents of matter.Parts I, IIa, and IIb of this paper appeared inFound. Phys. 6, 15, 127, 439 (1976), respectively. The numbering of the sections, equations, and references in this part continues from the previous parts.     

Postulates for time evolution in quantum mechanics

A detailed list of postulates is formulated in an algebraic setting. These postulates are sufficient to entail the standard time evolution governed by the Schrödinger or Dirac equation. They are also necessary in a strong sense: Dropping any one of the postulates allows for other types of time evolution, as is demonstrated with examples. Some philosophical remarks hint on possible further investigations.     

Foundations of quantum theory. Part I

The first part of a new axiomatization for quantum mechanics is described. An expression is derived for the probability associated with a particular value of a variable for a given system at some time.     

Analytical thermodynamics. Part I. Thermostatics—General theory

A new axiomatic treatment of equilibrium thermodynamics—thermostatics—is presented. The equilibrium states of a thermal system are assumed to be represented by a differentiable manifold of dimensionn + 1 (n finite). The empirical temperature is defined by the notion of thermal equilibrium. Empirical entropy is shown to exist for all systems with the property that the total work delivered along closed adiabats is zero. Absolute entropy and temperature follow from the additivity of heat and energy for two separate systems in thermal equilibrium considered as a whole. The absolute temperature is defined up to a multiplicative constant. The exterior differentiable calculus of Cartan is introduced and in a subsequent paper its use for the derivation of standard results in thermostatics will be explained.     

A unified theory of quantum holonomies

A periodic change of slow environmental parameters of a quantum system induces quantum holonomy. The phase holonomy is a well-known example. Another is a more exotic kind that exhibits eigenvalue and eigenspace holonomies. We introduce a theoretical formulation that describes the phase and eigenspace holonomies on an equal footing. The key concept of the theory is a gauge connection for an ordered basis, which is conceptually distinct from Mead-Truhlar-Berry’s connection and its Wilczek-Zee extension. A gauge invariant treatment of eigenspace holonomy based on Fujikawa’s formalism is developed. Example of adiabatic quantum holonomy, including the exotic kind with spectral degeneracy, are shown.     

The foundation of quantum theory and noncommutative spectral theory. Part I

The present paper is the first part of a work which follows up on H. Kummer: A constructive approach to the foundations of quantum mechanics,Found. Phys. 17, 1–63 (1987). In that paper we deduced the JB-algebra structure of the space of observables (=detector space) of quantum mechanics within an axiomatic theory which uses the concept of a filter as primitive under the restrictive assumption that the detector space is finite-dimensional. This additional hypothesis will be dropped in the present paper.It turns out that the relevant mathematics for our approach to a quantum mechanical system with infinite-dimensional detector space is the noncommutative spectral theory of Alfsen and Shultz.We start off with the same situation as in the previous paper (cf. Sects. 1 and 2 of the present paper). By postulating four axioms (Axioms S, DP, R, and SP of Sec. 3), we arrive in a natural way at the mathematical setting of Alfsen and Shultz, which consists of a dual pair of real ordered linear spaces Y, M: A base norm space, called the strong source space (which, however, in slight contrast to the setting of Alfsen and Shultz, is not 1-additive) and an order unit space, called the weak detector space, which is the norm and order dual space of Y. The last section of part I contains the guiding example suggested by orthodox quantum mechanics. We observe that our axioms are satisfied in this example. In the second part of this work (which will appear in the next issue of this journal) we shall postulate three further axioms and derive the JB-algebra structure of quantum mechanics.     

Toward a micro realistic version of quantum mechanics. Part I

This paper investigates the possibility of developing a fully micro realistic version of elementary quantum mechanics. I argue that it is highly desirable to develop such a version of quantum mechanics, and that the failure of all current versions and interpretations of quantum mechanics to constitute micro realistic theories is at the root of many of the interpretative problems associated with quantum mechanics, in particular the problem of measurement. I put forward a propensity micro realistic version of quantum mechanics, and suggest how it might be possible to discriminate, on experimental grounds, between this theory and other versions of quantum mechanics.     

A unified framework for the algebra of unsharp quantum mechanics

On the basis of the concrete operations definable on the set of effect operators on a Hilbert space, an abstract algebraic structure of sum Brouwer-Zadeh (SBZ)-algebra is introduced. This structure consists of a partial sum operation and two mappings which turn out to be Kleene and Brouwer unusual orthocomplementations. The Foulis-Bennett effect algebra substructure induced by any SBZ-algebra, allows one to introduce the notions of unsharp “state” and “observable” in such a way that any “state-observable” composition is a standad probability measure (classical state). The Cattaneo-Nisticò BZ substructure induced by any SBZ-algebra permits one to distinguish, in an equational and simple way, the sharp elements from the really unsharp ones. The family of all sharp elements turns out to be a Foulis-Randall orthoalgebra. Any unsharp element can be “roughly” approximated by a pair of sharp elements representing the best sharp approximation from the bottom and from the top respectively, according to an abstract generalization introduced by Cattaneo of Pawlack “rough set” theory (a generalization of set theory, complementary to fuzzy set theory, which describes approximate knowledge with applications in computer sciences). In both the concrete examples of fuzzy sets and effect operators the “algebra” of rough elements shows a weak SBZ structure (weak effect algebra plus BZ standard poset) whose investigation is set as an interesting open problem.     

Thermal mechanics: A quantum mechanical analogue of nonequilibrium statistical thermodynamics

A formal but not conventional equivalence between stochastic processes in nonequilibrium statistical thermodynamics and Schrödinger dynamics in quantum mechanics is shown. It is found, for each stochastic process described by a stochastic differential equation of Itô type, there exists a Schrödinger-like dynamics in which the absolute square of a wavefunction gives us the same probability distribution as the original stochastic process. In utilizing this equivalence between them, that is, rewriting the stochastic differential equation by an equivalent Schrödinger equation, it is possible to obtain the notion of deterministic limit of the stochastic process as a semi-classical limit of the “Schrödinger” equation. The deterministic limit thus obtained improves the conventional deterministic approximation in the sense of Onsager-Machlup. The present approach is valid for a general class of stochastic equations where local drifts and diffusion coefficients depend on the position. Two concrete examples are given. It should be noticed that the approach in the present form has nothing to do with the conventional one where only a formal similarity between the Fokker-Planck equation and the Schrödinger equation is considered.     

A unified approach to classical and quantum K.M.S. theory

We study a generalized K.M.S. condition which includes the classical and quantum mechanical K.M.S. conditions as special cases. We consider also a generalized centre of the von Neumann algebra and prove that with respect to the above K.M.S. condition it has properties analogous to the properties of the centre with respect to the quantum mechanical K.M.S. condition.     

A unified theory of matter. I. The fundamental idea

The Lorentz transformation is derived without assuming that the velocity of light is a constant. This suggests that the constantc which appears in the transformation has a deeper significance than heretofore commonly assumed. It is hypothesized that there exists, in all of physical reality, velocities of only one magnitude. The magnitude isc, the speed of light in vacuum. This hypothesis forces us to view a fundamental particle as an extended object and matter in general as a field (t, r, ), which we give the generic name stuff. An important feature of the field is that at each spacetime point(t, r) stuff travels in all directions with speedc. In order to elucidate the nature of (t, r, ), the equations determining for a one-dimensional world are derived and solved. Fundamental particles are shown to exist and their structure is obtained.A private communication; not an official publication of the National Bureau of Standards.     

Bohmian mechanics and quantum field theory

We discuss a recently proposed extension of Bohmian mechanics to quantum field theory. For more or less any regularized quantum field theory there is a corresponding theory of particle motion, which, in particular, ascribes trajectories to the electrons or whatever sort of particles the quantum field theory is about. Corresponding to the nonconservation of the particle number operator in the quantum field theory, the theory describes explicit creation and annihilation events: the world lines for the particles can begin and end.     

A unified approach to phase diagrams in field theory and statistical mechanics

We construct the phase diagram of any system which admits a low-temperature polymer or cluster expansion. Such an expansion turns the system into a hard-core interacting contour model with small, but not necessarily positive, activities. The method uses some of Zahradnik's ideas [Z1], but applies equally well to systems with complex interactions. We give two applications. First, to low-temperatureP()₂ models with complex couplings; and second, to a computation of asymptotics of partition functions in periodic volumes. If the index of a supersymmetric field theory is known, the second application would help determine the number of phases in infinite volume.Alfred P. Solan Research Fellow. Supported in part by the National Science Foundation under Grants PHY87-064220, DMS 88-58073, and PHY/DMS 86-45122     

Foundations of quantum theory. Part 2

The axioms for the density operator in quantum mechanics are discussed. A comparison is made with an axiomatization based on Gleason's theorem.     

Nonlinear wave mechanics,information theory,and thermodynamics

A logarithmic nonlinear term is introduced in the Schrödinger wave equation, and a physical justification and interpretation are provided within the context of information theory and thermodynamics. From the resulting nonlinear Schrödinger equation for a system at absolute temperatureT>0, the energy equivalence,kT 1n 2, of a bit of information is derived.     

Foundations of quantum theory. Part 3

The traditional indeterminacy and realist interpretations for quantum theory are examined. A third interpretation is put forward, for which the Born statistical interpretation can be derived by setting up a model for the measuring process.