Table of Contents Author Guidelines Submit a Manuscript
Advances in Mathematical Physics
Volume 2017 (2017), Article ID 9343717, 9 pages
https://doi.org/10.1155/2017/9343717
Research Article

On Quantum Statistical Mechanics: A Study Guide

1Institute of Theoretical Physics and Astrophysics, The University of Gdansk, Wita Stwosza 57, Gdansk 80-952, Poland
2Unit for BMI, North-West University, Potchefstroom, South Africa

Correspondence should be addressed to Wladyslaw Adam Majewski; lp.ude.gu@mawzif

Received 26 April 2017; Revised 2 August 2017; Accepted 9 August 2017; Published 23 November 2017

Academic Editor: Remi Léandre

Copyright © 2017 Wladyslaw Adam Majewski. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We provide an introduction to a study of applications of noncommutative calculus to quantum statistical physics. Centered on noncommutative calculus, we describe the physical concepts and mathematical structures appearing in the analysis of large quantum systems and their consequences. These include the emergence of algebraic approach and the necessity of employment of infinite-dimensional structures. As an illustration, a quantization of stochastic processes, new formalism for statistical mechanics, quantum field theory, and quantum correlations are discussed.

1. Basic Ideas

In this paper, we will try to give an overview and road map to the area of quantum statistical mechanics without becoming too diverted by details. In contrast, we put a strong emphasis on evolution of calculus which is used in the description of statistical mechanics. For much of the background, we refer to the books of Omnés [1] and Thompson [2], and for the more advanced material, we refer to the books of Ruelle [3], Emch [4], Haag [5], Takesaki [6], Terp [7], and Bratteli and Robinson [8, 9].

To make our exposition abundantly clear, we begin with a historical remark. Newton has given his principles for classical mechanics at the end of the 17th century. However, classical mechanics blossomed into a rich mathematical theory only in the second half of the 19th century. After a moment of reverie, we realize that although Newton and Leibniz introduced the basic principles of (classical) calculus, it was Cauchy (around 1830’, albeit the “epsilon-delta definition of limit” was first given by Bolzano in 1817) who finally clarified the concept of limit and then Riemann (around 1860’) clarified the concept of integral. Consequently, in the second half of the 19th century, the principles of (classical) calculus were fully established. This gave the opportunity to transform classical mechanics into a well-developed theory (Lagrange, Hamilton, Liouville, etc.). So with a mature theory of calculus available, it took a few more decades to obtain a fully fledged theory of classical mechanics. Subsequently, (classical) statistical mechanics has appeared as a combined development of classical mechanics and probability theory.

We will show that similar situation occurred also in the 20th century but in the context of quantum theory. The starting point was Heisenberg’s equation of motion in quantum theory. He for the first time wrote a noncommutative derivation, a commutator. (We recall that a derivation is a unary function satisfying the Leibniz product law.) To see this, it is enough to note that a commutator satisfies the Leibniz rule! This can be considered as an analogy of Newton’s introduction of (classical) differentiation to write the equations of motion for a classical system. Then Heisenberg, Born, Jordan, and Dirac realized that noncommutativity is the raison d’être of quantum mechanics and they have introduced the so-called canonical quantization. It means that the basic relations of classical mechanics, should be replaced bywhere stands for the Poisson bracket, while denotes the commutator.

But the quantization procedure begs two serious questions:(1)In which terms can relations (2) be represented?(2)What can be said about uniqueness of the chosen representation?

A brief answer to the first question says that relations (2) have no finite dimensional realization. Moreover, apart from Weyl’s geometrical quantization, (2) are represented in terms of unbounded self adjoint operators acting on an infinite-dimensional separable Hilbert space. We emphasize that, in Weyl’s quantization, using the functional calculus, one considers the unitary operators and .

But a rigorous study of the Schrödinger representation of canonical commutation relations for a finite degree of freedom leads to -algebra of unbounded operators (see Example in [10]). Moreover, Wightman’s formulation of quantum field theory and the theory of Lie algebras lead to the scheme for a description of a physical system which is based on unbounded operators. Although mathematical aspects of algebras of unbounded operators have been analyzed in many details (see [1113]), it is well known that formal calculations can be misleading (see Section in [14]).

Generally, it would seem that in quantum mechanics one can distinguish two schemes for a description of a physical system (cf. [15]). The first one, just described, uses unbounded operators. The second one uses bounded operators. The idea of introducing the norm topology on the set of observables was strongly advocated by Segal [16]. To argue in favor of this idea, one can say that in a laboratory a physicist deals with bounded functions of observables only! However, as it was already remarked by Borchers [15], in this method, “some detailed information about a physical system is usually lost.” Furthermore, this scheme admits “non-physical states” having badly defined entropy (see [17] and references therein).

Here, we will argue that noncommutative integration theory offers the third scheme lying between the above discussed approaches. Besides other technical conditions, it relies on selecting “more” regular unbounded operators, where “more” regular means -measurability (see next pages for definitions and details). Consequently, as it will be described, one is getting a very well behaved -algebra of unbounded operators. Moreover, bounded functions of self-adjoint elements of this algebra are elements of certain algebra of bounded operators.

Turning to the second question, we should recall the so-called uniqueness theorem, attributed to von Neumann, Weyl, and Rellich. This theorem says that the answer to the second question takes into account the nature of the considered system. More precisely, a system will be called small if it has finite number of degrees of freedom. On the contrary, a system with an infinite number of degrees of freedom is called a large system.

The uniqueness theorem states that, for small systems, relations (2), up to unitary equivalence, have a unique representation. It is worth pointing out that this property is the keystone in formulation of Dirac’s formalism of quantum mechanics. We recall that the basis of that formalism is the pairwhere denotes all bounded linear operators on a separable, infinite-dimensional Hilbert space . stands for trace class operators on a Hilbert space . In particular, density matrices describing (quantum) states form a convex (generating) subset of .

For large systems, the situation is very different. There are plenty of nonequivalent representations of relations (2) when the number of degrees of freedom is infinite. The crucial point to note here is that both statistical mechanics and field theory are par excellence theories of large systems!

This fact was recognized in the fifties of the 20th century with the discovery of the so-called “strange representations.” Further, it was observed that carrying out the quantization of large systems on the basis of Dirac’s formalism can lead to serious difficulties. To give illustrative examples, we firstly mention problems associated with the Fock representation. The Fock representation was introduced in 1932 and subsequently fully elaborated by Cook in 1953. It is probably the best known scheme for a description of infinite quantum systems. But, within this representation, one is able to describe only quasi-free systems. In other words, we cannot describe interacting particles. Furthermore, as was shown by van Hove in the fifties ([18, 19], see also subsection in [4]), there does not exist a nontrivial perturbation calculus within the Fock representation. We cannot resist mentioning that a perturbation calculus is the main tool for calculations in Dirac’s formalism. Finally, it is worth pointing out that the interaction picture does not exist in an interacting relativistic quantum field theory; this is the essence of the Haag theorem (see Section   in [5] and/or Section   in [4]).

Turning to the second example, we wish to discuss the quantum Gibbs Ansatz. The Gibbs Ansatz was designed to describe a (classical) canonical equilibrium state and, up to normalized constant, is given by . Here, stands for the Hamiltonian of the considered system, and is the “inverse” temperature. We emphasize that this is the basic ingredient of classical statistical physics. The quantization of means that now is the Hamiltonian operator and to have a quantum state, we require that should be a trace class operator. But this is the case when, at least, necessary conditions are satisfied: has pure point spectrum with accumulation point at infinity. Unfortunately, even Hamiltonians of harmonic oscillators and the Hydrogen atom do not fulfill this requirement!

Consequently, we arrived at the conclusion that, in accordance with the second part of the (non)uniqueness theorem, one should take as a starting point algebraic structures which are different from .

Before proceeding further, let us pause to describe briefly possible algebras (other than ) which could be useful for a description of a quantum large system.

We start with the notion of -Banach algebra. It is a Banach space equipped with multiplication and involution. Both operations are continuous with respect to the topology induced by the norm. If , for , then is called commutative. When the norm satisfies the extra condition, , then such a -Banach algebra is called a -algebra and will be denoted by . A von Neumann algebra is a concrete -algebra (so for a Hilbert space ) which is closed with respect to the weak operator topology. The important point to note here is that every commutative von Neumann algebra is isomorphic to for some measure space and, conversely, for every -finite measure space , the -algebra is a von Neumann algebra. Here, stands for all (essentially) bounded functions on . Consequently, noncommutative von Neumann algebras provide nice starting point for the theory of noncommutative integration. We complete this brief list of algebraic structures with the definition of -algebra. It will be used in description of Wightman’s postulates. -algebra is -algebra of linear operators defined on a common dense subspace of a Hilbert space and leaving invariant. The multiplication in is composition of operators while the involution in is defined by , where is the usual Hilbert space adjoint.

In the thirties of the last century, von Neumann and Murray gave a classification of von Neumann algebras. To describe this classification, we, first of all, recall the definition of the center of the algebra : is called a factor if . von Neumann [20] showed that every von Neumann algebra on a separable Hilbert space is isomorphic to a direct integral of factors. This decomposition is essentially unique. Therefore, to give the aforesaid classification of von Neumann algebras, one can restrict oneself to factors.

One can distinguish three types of factors. The first type, denoted by I, consists of algebras of all linear bounded operators on a Hilbert space . If , then one gets , the algebra of matrices with complex entries. Such factors are denoted by . When is a separable infinite-dimensional Hilbert space, then we get the basic ingredient of Dirac’s formalism, . These algebras are equipped with the canonical trace , that is, a partially defined positive, linear functional, such that for any . is defined as the sum of the diagonal elements of a matrix representation of .

The second type, denoted by II, roughly speaking, consists of algebras such that their projections are of a specific type; more precisely, there are no minimal projections, but there are nonzero finite projections. Types I and II are called semifinite. Such algebras have the important common property that they can be equipped with a trace. We emphasize that a given trace on a semifinite algebra can be different from the canonical one which was described for algebras of type I.

Finally, there are also type III factors. The important property of these factors is that they cannot be equipped with a nontrivial trace (see, e.g., Section in [8]). For a deeper discussion, we refer the reader to [6].

For a long time, type III algebras were, especially in mathematical physics, considered as exotic ones. But, in 1967, this point of view was completely abandoned. In his work, Powers [21] was studying representations of uniformly hyperfinite algebras. In very “physical” terms, his results can be expressed as an analysis of a one-dimensional spin chain. Such a model consists of an infinite number of sites, with the algebra associated with each site. Thus, local observables associated with a site are given by elements from . Local equilibrium at each site is given by a matrix of the form , where is the normalizing constant, and is the local Hamiltonian associated with a site. Studying the thermodynamical limit of the above system, Powers has shown that, for , the equilibrium representations lead to type III of von Neumann algebras. Moreover, if , one gets nonequivalent type III factors. Consequently, he has shown that von Neumann algebras of this type form a large family and that they can be labeled by a “physical” parameter.

The subsequent results obtained by Araki-Woods, Hugenholtz et al., and others have shown that this type of von Neumann algebra is typical in the study of large systems (see [22]). We emphasize that this is in perfect harmony with the second part of the (non)uniqueness theorem; quantization of large systems leads to different algebras than !

As it was mentioned at the beginning, the precise description of limit and integral in classical calculus was steering the development of classical mechanics as well as statistical mechanics. Here, we wish to describe the analogous process but now for the quantum theory.

In late thirties of the last century, von Neumann realized that noncommutative integration should play an essential role in quantum theory. To start with, he proposed to carry out noncommutative integration by using tricky norms defined on matrix algebras (see [23]).

But the essential step was independently done by Segal [24] and Dixmier [25] in the early fifties. They generalized the concept of integration to much more general algebras. For semifinite von Neumann algebras, the theory of noncommutative integration was completed by Nelson in 1974 (see [26]). It is very important to note that as a first step it was necessary to define the concept of noncommutative measurable operators (quantum counterpart of measurable functions). To this end, the concept of trace is necessary. Consequently, the theory of noncommutative integrals was done for von Neumann algebras of types I and II.

We cannot resist mentioning one striking feature of that theory. Restricting to , one can show that all (noncommutative) measurable operators are bounded! This is not true for other algebras. Thus, this strange result indicates how Dirac’s formalism is exceptional. In other words, the noncommutative calculus for small system differs very much from that which is applicable to large systems.

To proceed with an analysis of large systems, the aforesaid theory of noncommutative integration should be generalized to type III von Neumann algebras. This was achieved firstly by Haagerup’s seminal paper (1977) and secondly by contributions given mainly by Takesaki, Connes, Hilsum, Araki-Masuda, Kosaki, and Dodds, Dodds, de Pagter. The best general reference here is [7]. For a deeper discussion, we refer the reader to [27, 28]. The essential step of the above generalization relies on the construction of a (much) larger von Neumann algebra, the so-called crossed product , where is the original algebra and stands for the modular action. The important point to note here is that is a proper subset of . Moreover, can be easily identified in as the family of fixed points of certain canonical map.

The principal significance of the larger algebra is that this crossed product is a semifinite super algebra for the type III algebra . Hence, can be equipped with a (semifinite) trace. Consequently, one can define noncommutative measurable operators. Then, by a concrete selection of certain subsets of noncommutative measurable operators, one arrives at noncommutative counterparts of (classical function) spaces, for example, noncommutative or Orlicz spaces.

To complete the above brief exposition on noncommutative calculus, we must add that a complete account on (noncommutative) derivations was given in [29]. For an illustration of how derivations may be used for a study of quantum dynamical systems, we refer the reader to [30]. However, as we will not use these facts in any essential way, this topic will be dropped. To sum up, we have the following.

For (large) quantum systems, in the nineties of the 20th century, we got a situation which can be considered as analogous to the one which pertained, for classical physics, at the end of the 19th century. Thus, we are in position to employ the just presented noncommutative calculus for a description of large systems, that is, to analyze quantum statistical mechanics as well as quantum field theory. This gives an opportunity to transform quantum statistical mechanics as well as quantum field theory into a well-developed theory. Finally, it should be now clear that the calculus used in Dirac’s formalism is not well adapted for a study of large systems. Moreover, a genuine quantum system cannot be described within finite dimensional structures. In particular, the proper description of quantum systems cannot rely on factors , !

2. Applications

Now we are in a position to indicate how the calculus described above may be applied to a study of large systems.

2.1. A Clarification of Old Problems

The first important consequence of the aforesaid framework is that it yields a better understanding of difficulties that appeared, in the fifties of the 20th century, in the study of large quantum systems (cf. the first section). In particular, we have seen that, from the noncommutative integration point of view, the algebra is a very special one. Moreover, the calculus based on the pair is not well adapted for a study of large quantum systems. We note here that a linear positive functional conditioned only by its behaviour on bounded observables can exhibit “unphysical” properties; for example, it can lead to problems with a definition of entropy. A more detailed discussion of this problem will be postponed until Sections 2.3 and 2.4.

Turning to “strange representations,” we note that a nontrivial interaction can lead to a change of the Fock representation to another nonequivalent one. Consequently, such facts as van Hove’s observation on perturbation calculus carried out within Fock space framework and Haag’s theorem for quantum field theory are not unexpected results! A clarification of these problems was done within the Haag-Kastler approach (for details, see [5]). For a recent account of a locally covariant quantum field theory, we refer the reader to [31]. An application of noncommutative calculus to quantum fields will be given in Section 2.4.

Closing this subsection, we want to say that difficulties relating to the Gibbs Ansatz were solved by developing KMS theory; that is, a general -machinery was employed! For details, see vol. II of Bratteli and Robinson’s book [9].

2.2. Quantization of Markov-Feller Processes

Markov-Feller processes constitute an important subset in the family of (classical) stochastic processes (see [32]). A hallmark of these processes is the one-to-one correspondence with Markov semigroups. In turn, a Markov semigroup is uniquely determined by its infinitesimal generator. But an infinitesimal generator of a Markov semigroup associated with a Markov-Feller process has an explicit form which is given in terms of (classical) -spaces. To fully elaborate the description of infinitesimal generators corresponding to Markov-Feller processes, classical -spaces and the interpolation strategy have been proven to be very effective tools. As all ingredients of the aforesaid strategy have their noncommutative counterparts, the quantization of Markov-Feller processes has been a straightforward task (see [3336]).

Working within the Haagerup theory on noncommutative -spaces, the following results were obtained:(1)Noncommutative -spaces for quantum lattice models were described.(2)Quantum counterparts of classical infinitesimal generators of Markov semigroups associated with Markov-Feller processes were obtained and studied. It is worth pointing out that both jump-type and diffusion-type processes were analyzed.(3)Concrete illustrative models of quantum dynamical systems were given (cf. [37]).

But one may ask whether such quantized dynamics exhibits a stability and/or one is able to describe “return to equilibrium” for such dynamical systems. It seems that the most important tools in such studies are log-Sobolev inequalities (see Guionnet and Zegarlinski’s thoroughgoing review [38] for a recent account of that theory and a comprehensive bibliography). But one may conjecture that the theory of (noncommutative) -spaces is not well adapted for such studies (see [39] and the next subsection).

2.3. Statistical Mechanics and Boltzmann Theory

As it was mentioned, in the standard approach, the basic mathematical ingredient of (quantum) statistical mechanics is the dual pair (3) modeling the states and observables of the system under consideration. But the crucial points to note here are the following observations:(1)For any and any , one has that, for any , . Consequently, in the standard approach to statistical mechanics, we are employing observables with all moments being finite. Such observables are called regular. We emphasize that the same can be said for classical systems.(2)The pair (3) allows bounded observables only. But in both cases (classical and quantum) typical observables are unbounded.

The above observations suggest the necessity for a more general setting that allows unbounded observables and, at the same time, preserves the property of finiteness of all moments. Such a more general setting was proposed in papers [40, 41]. To describe the above generalization, we need some preliminaries.

The classical -spaces form a subset of a broader class of Banach spaces, the class of Orlicz spaces. Orlicz spaces are defined by selecting a subset of measurable functions by means of an appropriate Young’s function. In these notes, we will need two concrete Orlicz spaces: and . They are defined by the corresponding Young’s functions: and . In particular, is the subset of measurable functions such that , where is a measure fixed by a considered model. The principal significance of -space stems from the Pistone-Sempi result [42]: classical regular observables are described by -space. Furthermore, -space is an isomorphic copy of the dual space . It is important to note that this dual space is defined by the entropic-type function . The next result is on the lines of [40, 41],

Proposition 1. The dual pair provides the basic mathematical ingredient for a description of a general (regular) classical system.

To support the above claim, we note (for details, see [17, 40, 41]) the following:(1)The Pistone-Sempi result [42] says that is well adapted for a description of classical regular observables.(2)The entropy is much better defined for . It is well known that the condition is not sufficient to guarantee well definiteness of the entropy (see [43], Chapter  IV, §6, Exercise 18).(3)In the modern theory of Boltzmann’s equation, the space appears as a condition for the existence of weak solutions of Boltzmann’s equation (for a large class of kernels); see [44]. It is worth pointing out that the condition is too weak to guarantee the existence of solutions of Boltzmann’s equation!(4)log-Sobolev inequalities, the basic tool in an analysis of the stability of dynamics, can be written as Poincaré-type inequalities on [39].

Turning to quantum systems, the noncommutative integration theory allows one to (see also [45, 46])(1)define quantum counterparts of and (for simplicity, we will denote them by the same symbols),(2)show that the entropy is also much better defined,(3)study log-Sobolev inequalities in the quantum setting.

Although the quantization of Boltzmann’s equation is not clear, the approach to quantum statistical mechanics based on the quantum dual pair offers the possibility to quantize a large class of classical dynamical maps as well as to lift dynamical maps defined on the algebra of bounded observables to well-defined maps on , [47]. To this end, one is in the first case using the interpolation scheme based on the DDdP approach (cf. [45]). This follows from combining the Orlicz result that the Orlicz space ( stands for a Young’s function) is an interpolation space in the couple and noncommutative interpolation for such couples given in [48]. To lift the dynamics , it was shown [47] that assuming additionally a condition acceptable from a physics point of view and working within Haagerup’s approach to noncommutative integration, one is able to lift to a well-defined map on . In particular, the following result is extracted from [47].

Theorem 2. If is a completely positive map on satisfying the Detailed Balance Condition, then the extension of on canonically induces an action on .

2.4. Applications of Orlicz Spaces to Quantum Fields

In this subsection, we will look at the second type of large systems, quantum fields. Our brief exposition for the description of these large systems will be done within the framework set by the connection of Wightman quantum field theory (see [49, 50]) with the theory of local nets of or von Neumann algebras ([5, 51], see also [52]; for all details, see [53]).

In the description of the first type of large systems, quantum statistical mechanics, the finiteness of all moments was the crucial requirement (cf. the previous subsection). The important point to note here is a consequence of the first postulate of Wightman theory. We recall (cf. [51]) the first postulate of Wightman theory: there are operators , where is a -function with compact support on the Minkowski space . Each and its Hermitian conjugate operator are defined, at least, on a common dense subset of the Hilbert space . Moreover, for any and any . Another way of stating this postulate is to say that the set of field operators constitute -algebra. To begin with a selection of measurable field operators, we note that, for any and any , one has In other words, one can say that (unbounded) field operators have finite moments (on the common domain).

It is worth pointing out that this observation can be considered as an “invitation” to Orlicz space approach—this feature of quantum statistical formalism was the starting point for developing the new approach to large systems (see [17, 41]).

Hence, one may ask whether the new formalism for quantum statistical mechanics can be extended to quantum field theory. To show that this is a case, it is necessary to make more precise the requirement that a Wightman field is associated with a local net of von Neumann algebras.

By a local net of von Neumann algebras we mean an assignment of regions in the Minkowski space (or more generally in Lorentzian manifold ) to von Neumann algebras on the Hilbert space of the field operators such that the usual conditions of isotony, locality, and covariance are fulfilled.

A field operator can be associated with a net in different ways. We shall use the following one.

Let be a family of operators with a common dense domain of definition in a Hilbert space such that if , then also . The weak commutant of is defined as the set of all bounded operators on such that , for all .

For simplicity of our arguments, we will restrict ourselves to one type of real scalar field ; that is, coincides with on . Furthermore, apart from the Wightman postulates, we assume the following:(A1) is an algebra for any double cone , where .(A2)The vacuum vector is cyclic for the union of over all double cones , where is the causal complement of .

The following theorem is taken from [51] but stems from results given in [54, 55].

Theorem 3. Consider both conditions (A1) and (A2). For each double cone , define Then, one has the following: (1) is a von Neumann algebra and the net satisfies conditions mentioned above. Moreover, the vacuum is cyclic for each .(2)Each operator has a closed extension which is affiliated with . Here, means that the domain of is contained in the domain of and that on the domain of .

Theorem 3 leads to the following.

Corollary 4. Field operators lead to operators affiliated to the von Neumann algebra . We recall that this property is the starting point for the definition of measurable operators.

But, as it was mentioned in the first section, for large systems, is type III algebra. Therefore, one should employ larger algebra . It is not too difficult to see () that field operators lead to operators affiliated to . Then, applying the theory of cross-product algebras, one gets a nice weight on having the trace property. Consequently, quantum -measurable operators can be defined. In particular, one can define the quantum Orlicz space . According to results presented in [53], we proposed the following.

Definition 5. A field operator affiliated to is said to satisfy an regularity restriction if the strong product is a closable operator for which the closure is -measurable; that is, the closure is an element of the space ( is the uniquely determined unbounded operator affiliated to , while stands for the fundamental function associated with the Orlicz space ).

The restriction employed in the above definition is physically reasonable. That is to say, membership of ensures that the “generalized moments” of the field operators are all finite. And this is in perfect agreement with the very essence of the first Wightman postulate. For a fuller treatment, we refer the reader to [53].

2.5. Quantum Correlations

The term quantum correlations refers to a certain property of quantum states (quantum states are linear positive normalized functionals on the algebra specified by the considered system). To understand the specificity of that concept, it is natural to begin with classical probability theory. In particular, within this theory, the concept of classical correlations is fully described (cf. [56]). The fundamental ingredients of probability theory are the probability space and the abelian von Neumann algebra , where is a set, is -algebra of measurable subsets of , is a probability measure, and is the set of all essentially bounded measurable functions. It is important to note here that, to get a full description of (classical) correlations, the concepts of a subsystem, a composite system, and product structure of probability spaces are crucial.

The syntax of classical probability theory extends to the noncommutative realm by replacing with a von Neumann (in general, can be noncommutative) algebra . We have seen that this was the starting point for noncommutative integration theory. What is more, to quantize the concepts of subsystem and product structure, one is forced to rewrite these concepts in terms of tensor products of appropriate algebras.

However, when studying correlations, a strong emphasis must be placed on measures. But the Riesz-Markov-Kakutani theorem lays down a one-to-one correspondence between (Borel) probability measures on and a normalized, linear positive functionals (states) on the (abelian ) algebra of all complex valued continuous functions on a compact Hausdorff space . Consequently, instead of considering a probability measure, one can study the corresponding state. An analysis of correlations in terms of states as opposed to measures has a huge advantage as the description based on states can be directly extended to the noncommutative realm.

Therefore, we must replace by a -algebra , with the starting point for a study of quantum correlations being a pair , where is a state on . In that way, a very general description of “quantization” of classical correlations was done (see [5760]). In particular, loosely speaking, one can consider the entanglement (frequently considered as a central feature of quantum theory) as a lack of weak Riemann approximation property for a state on products of noncommutative structures. This clearly indicates the great difference between the standard integration theory and the noncommutative one.

Frequently, one is interested in states (“quantum measures”) that are somehow related to the stability of matter in the sense that the number operator is well defined. On the other hand, the existence of the number operator in the corresponding GNS representation characterizes the normality of states (cf. Section in [9]). However, to speak about normality of a state, the von Neumann algebra setting must be used. In other words, very specific -algebras (weakly closed) become the basic ingredient of the description. An important consequence of this algebra replacement is that, to describe a composite system consisting of two subsystems, a very special tensor product, the operator space tensor product, must be employed. This product leads to a proper geometry of density matrices of composite systems. The principal significance of that geometrical characterization is that it allows one to see essential differences between a -algebra and von Neumann algebra approach to a characterization of entanglement.

Working within such schemes, we obtained (for details, see [60, 61])(1)canonical form of two-point correlation functions,(2)general definition of entangled states in terms of -algebras as well as von Neumann algebras,(3)measures of entanglement for genuine quantum systems,(4)a general description of entanglement of formation,(5)a general characterization of PPT states.

We want to complete this subsection with some remarks on Bell’s inequalities. The reader should be reminded that frequently quantum correlations are defined by means of these inequalities. As the presented approach is a different one, this point needs some clarifications.

In 1964, Bell [62] described a gedankenexperiment test for the existence of hidden variables. It deals directly with measurements of variables obeying classical probability calculus! In particular, Bell’s inequalities concern measurements of particles that have interacted and then separated. These inequalities are given in terms of certain combinations of two-point correlation functions. It is worth pointing out that although Bell posited the existence of some hidden variables, there is a proof of Bell’s inequalities without any assumption about existence and properties of hidden variables (see [63, 64]).

These inequalities were tested for quantum particles and found to be violated. We must add that such violation was expected for objects governed by quantum mechanics. But such violations mean that correlations of classical objects can be different from the quantum ones! However, the aforesaid setting does not give any explanation about the nature of this phenomenon. One can only say that the classical probability is not enough for the “quantum world.”

Our approach is giving a clarification. We have shown that quantum correlations are just the result of the quantization procedure. Moreover, our approach offers the natural measures of quantum correlations for genuine quantum systems.

Consequently, Bell’s inequalities are important ingredient of the theory of quantum correlations, especially in quantum information, but they cannot be taken as the starting point of the theory. For a deeper discussion on quantization of correlations, we refer the reader to [60].

3. Final Remarks and Open Problems

We argued that an application of the noncommutative calculus for a description of large systems is both natural and fruitful. In particular, the quantization cannot be carried out within finite dimensional structures and, for the case of large systems, does not lead to the one universal algebra . Fortunately, the noncommutative theory of integration and the theory of derivations are well defined for general von Neumann algebras (even with some extensions for -algebra setting).

Needless to say, noncommutative derivatives are also playing an important role in applications of noncommutative calculus to an analysis of quantum systems (for a deeper discussion, see [8, 9, 30]).

We close this section with some open problems. The reason is that quantum statistical mechanics, besides its foundational role in physics, is currently being enriched with many new problems inspired from an analysis of concrete models. To illustrate this, we wish to list a couple of open problems which (of course) reflect the author’s personal taste:(1)Complete theory of measures of entanglement in terms of von Neumann algebras (cf. Remark in [60]).(2)Elaborate log-Sobolev inequalities in the generalized framework of quantum statistical mechanics.(3)Using log-Sobolev machinery, describe the stability of quantum dynamics and make an analysis of “return to equilibrium.”(4)Study Bell’s inequalities within the framework of quantum Orlicz spaces; this is a modification of the Tsirelson problem [65].(5)Provide simple examples of differential structures for quantum field theory (cf. [53]).

Conflicts of Interest

The author declares that there are no conflicts of interest.

Acknowledgments

The author is very grateful to L.E. Labuschagne who provided a lot of help in correcting the paper.

References

  1. R. Omnés, The interpretation of Quantum Mechanics, Princeton University Press, Princeton, NJ, 1994.
  2. C. J. Thompson, Mathematical Statistical Mechanics, The Macmillan Company, New York, NY, USA, 1972.
  3. D. Ruelle, Statistical Mechanics; Rigorous Results, W. A. Benjamin, INC, New York, NY, USA, 1969.
  4. G. G. Emch, “Algebraic methods in statistical mechanics and quantum field theory,” Wiley-Interscience, 1972.
  5. R. Haag, Local Quantum Physics. Fields, Particles, Algebras, Springer, Berlin, Germany, 2nd edition, 1996.
  6. M. Takesaki, Theory of Operator Algebras, vol. I, Springer, Berlin, Germany, 1979.
  7. M. Terp, Lp spaces associated with von Neumann algebras Rapport No 3a, 1981.
  8. O. Bratteli and D. Robinson, Operator algebras and Quantum Statistical Mechanics I: C*- and W* algebras, symmetry groups, decomposition of states, Springer Verlag; New York, Heidelberg, Berlin, 1979.
  9. O. Bratteli and D. W. Robinson, Operator Algebras and Quantum Statistical Mechanics II: Equilibrium states models in quantum statistical mechanics, Springer Verlag; New York, Heidelberg, Berlin, 1981.
  10. R. T. Powers, “Self-adjoint algebras of unbounded operators,” Communications in Mathematical Physics, vol. 21, pp. 85–124, 1971. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  11. J.-P. Antoine, A. Inoue, and C. Trapani, “Partial *-algebras and their operator realizations mathematics and its applications,” in Mathematics and Its Applications, vol. 553, Kluwer, Dordrecht, Netherlands, USA, 2002. View at Google Scholar
  12. K. Schmüdgen, Unbounded Operator Algebras and Representation Theory Akademie-Verlag, Springer, Berlin, Germany, 1990.
  13. F. Bagarello, “Algebras of unbounded operators and physical applications: A survey,” Reviews in Mathematical Physics, vol. 19, no. 3, pp. 231–271, 2007. View at Publisher · View at Google Scholar · View at Scopus
  14. M. Reed and B. Simon, Methods of Modern Mathematical Physics: Functional Analysis, Academic Press, New York, NY, USA, 1972.
  15. H. J. Borchers, “Algebraic aspects of Wightman quantum field theory,” in International Symposium on Mathematical Methods in Theoretical Physics, H. Araki, Ed., vol. 39 of Lecture Notes in Mathematics, pp. 283–292, Springer, 1975. View at Google Scholar
  16. I. E. Segal, “Postulates for general quantum mechanics,” Annals of Mathematics: Second Series, vol. 48, pp. 930–948, 1947. View at Publisher · View at Google Scholar · View at MathSciNet
  17. W. A. Majewski and L. E. Labuschagne, “Why are Orlicz spaces useful for Statistical Physics?” in Noncommutative Analysis, Operator Theory and Applications, vol. 252 of Linear Operators and Linear Systems, pp. 271–283, Springer, Berlin, Germany, 2016. View at Publisher · View at Google Scholar
  18. L. van Hove, “Sur l'opérateur Hamiltonien de deux champs quantifiés en interaction,” Bulletin de la Classe des Sciences, Académie Royale de Belgique, vol. 37, pp. 1055–1072, 1951. View at Google Scholar
  19. L. Van Hove, “Les difficultés de divergences pour un modèle particulier de champ quantifié,” Physica A: Statistical Mechanics and its Applications, vol. 18, no. 3, pp. 145–159, 1952. View at Publisher · View at Google Scholar · View at Scopus
  20. J. von Neumann, “On rings of operators. Reduction theory,” Annals of Mathematics: Second Series, vol. 50, pp. 401–485, 1949. View at Publisher · View at Google Scholar · View at MathSciNet
  21. R. T. Powers, “Representations of uniformly hyperfinite algebras and their associated von Neumann rings,” Annals of Mathematics: Second Series, vol. 86, pp. 138–171, 1967. View at Publisher · View at Google Scholar · View at MathSciNet
  22. J. Yngvason, “The role of type III factors in quantum field theory,” Reports on Mathematical Physics, vol. 55, no. 1, pp. 135–147, 2005. View at Publisher · View at Google Scholar · View at MathSciNet
  23. J. von Neumann, “Some matrix-inequalities and metrization of matric space,” Tomsk University Review, vol. 1, pp. 286–300, 1937. View at Google Scholar
  24. I. E. Segal, “A non-commutative extension of abstract integration,” Annals of Mathematics: Second Series, vol. 57, pp. 401–457, 1953. View at Publisher · View at Google Scholar · View at MathSciNet
  25. J. Dixmier, “Formes linéaires sur un anneau dopérateurs,” Bulletin de la S. M. F, vol. 81, pp. 9–39, 1953. View at Google Scholar
  26. E. Nelson, “Notes on non-commutative integration,” Journal of Functional Analysis, vol. 15, no. 2, pp. 103–116, 1974. View at Publisher · View at Google Scholar · View at Scopus
  27. M. Takesaki, Theory of Operator Algebras, vol. II, Springer, Berlin, Germany, 2003.
  28. A. Connes, “Sur la théorie non commutative l’intégration,” in Algebres d’opérateurs, pp. 19–143, Springer, Berlin, Germany, 1979. View at Google Scholar
  29. O. Bratteli, “Derivations, Dissipations and Group Actions on C*-algebras,” Lecture Notes in Mathematics 1229, Springer, 1886. View at Google Scholar
  30. S. Sakai, Operator Algebras in Dynamical Systems. The theory of unbounded derivations in C*-algebras, Cambridge University Press, Cambridge, Massachusetts, USA, 1991.
  31. R. Brunetti, K. Fredenhagen, and R. Verch, “The generally covariant locality principle—a new paradigm for local quantum field theory,” Communications in Mathematical Physics, vol. 237, no. 1-2, pp. 31–68, 2003. View at Publisher · View at Google Scholar · View at MathSciNet
  32. T. M. Ligget, Interacting Particle Systems, Springer, Berlin, Germany, 1985.
  33. W. A. Majewski and B. Zegarlinski, “Quantum stochastic dynamics I: Spin systems on a lattice,” Mathematical Physics Electronic Journal, vol. 1, Paper 2, 1995. View at Google Scholar
  34. W. A. Majewski and B. Zegarlinski, “On quantum stochastic dynamics and noncommutative Lp-spaces,” Letters in Mathematical Physics, vol. 36, p. 337, 1996. View at Google Scholar
  35. A. W. Majewski and B. Zegarlinski, “Quantum stochastic dynamics II,” Reviews in Mathematical Physics, vol. 8, no. 5, pp. 689–713, 1996. View at Publisher · View at Google Scholar · View at Scopus
  36. W. A. Majewski and B. Zegarlinski, “On quantum stochastic dynamics,” Markov Proc. and Rel. Fields, vol. 2, pp. 87–116, 1996. View at Google Scholar
  37. A. W. Majewski, R. Olkiewicz, and B. Zegarlinski, “Dissipative dynamics for quantum spin systems on a lattice,” Journal of Physics A: Mathematical and General, vol. 31, no. 8, pp. 2045–2056, 1998. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  38. A. Guionnet and B. Zegarlinski, “Lectures on logarithmic Sobolev inequalities,” in Séminaire de Probabilities XXXVI, J. Azéma et al., Ed., vol. 1801, pp. 1–134, 2003. View at Google Scholar
  39. S. G. Bobkov and F. Götze, “Exponential integrability and transportation cost related to logarithmic Sobolev inequalities,” Journal of Functional Analysis, vol. 163, no. 1, pp. 1–28, 1999. View at Publisher · View at Google Scholar · View at MathSciNet
  40. L. E. Labuschagne and W. A. Majewski, “Maps on noncommutative Orlicz spaces,” Illinois Journal of Mathematics, vol. 55, no. 3, pp. 1053–1081, 2011. View at Google Scholar · View at MathSciNet
  41. W. A. Majewski and L. E. Labuschagne, “On applications of Orlicz spaces to statistical physics,” Annales Henri Poincaré, vol. 15, pp. 1197–1221, 2014. View at Publisher · View at Google Scholar · View at MathSciNet
  42. G. Pistone and C. Sempi, “An infinite-dimensional geometric structure on the space of all the probability measures equivalent to a given one,” The Annals of Statistics, vol. 23, no. 5, pp. 1543–1561, 1995. View at Publisher · View at Google Scholar · View at MathSciNet
  43. N. Bourbaki, “Éléments de Mathématique,” Livre VI: Intégration, Hermann & Cie Éditeurs, Paris, 1952.
  44. C. Villani, “A review of mathematical topics in collisional kinetic theory,” in Handbook of Mathematical Fluid Dynamics, vol. I, pp. 71–305, North-Holland, Amsterdam, 2002. View at Google Scholar
  45. P. G. Dodds, T. K. Dodds, and B. de Pagter, “Noncommutative Banach function spaces,” Mathematische Zeitschrift, vol. 201, no. 4, pp. 583–597, 1989. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  46. L. E. Labuschagne, “A crossed product approach to Orlicz spaces,” Proceedings of the London Mathematical Society. Third Series, vol. 107, no. 5, pp. 965–1003, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  47. L. E. Labuschagne and W. A. Majewski, Quantum dynamics on Orlicz spaces, 2016, https://arxiv.org/abs/1605.01210.
  48. P. G. Dodds, T. K. Dodds, and B. de Pagter, “Fully symmetric operator spaces,” Integral Equations and Operator Theory, vol. 15, no. 6, pp. 942–972, 1992. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  49. R. F. Streater and A. Wightman, “PCT Spin and Statistics and all that,” Reading M. A. Benjamin 1964.
  50. R. Jost, “The general theory of quantized fields,” Providence, R.I., Am. Math. Soc. 1963.
  51. H. Araki, Mathematical Theory of Quantum Fields, Oxford University Press, New York, NY, USA, 1999.
  52. D. Buchholz and R. Haag, “The quest for understanding in relativistic quantum physics,” Journal of Mathematical Physics, vol. 41, no. 6, pp. 3674–3697, 2000. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  53. L. E. Labuschagne and W. A. Majewski, “Integral and Differential structures for Quantum Field Theory,” Mathematical Physics, https://arxiv.org/abs/1702.00665.
  54. W. Driessler, S. J. Summers, and E. . Wichmann, “On the connection between quantum fields and later von Neumann algebras of local operators,” Communications in Mathematical Physics, vol. 105, no. 1, pp. 49–84, 1986. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  55. D. Buchholz, “On quantum fields that generate local algebras,” Journal of Mathematical Physics, vol. 31, no. 8, pp. 1839–1846, 1990. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  56. P. R. Halmos, Measure Theory, Graduate Texts in Mathematics, Springer, New York, NY, USA, 1974.
  57. A. W. Majewski, “On entanglement of formation,” Journal of Physics A: Mathematical and General, vol. 35, no. 1, pp. 123–134, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  58. W. A. Majewski, “On entanglement of states and quantum correlations,” in Operator Algebras and Mathematical Physics, J.-M. Combes and et al, Eds., pp. 287–297, 2003. View at Google Scholar
  59. W. A. Majewski, “On quantum correlations and positive maps,” Letters in Mathematical Physics, vol. 67, no. 2, pp. 125–132, 2004. View at Publisher · View at Google Scholar · View at MathSciNet
  60. W. A. Majewski, “Quantum correlations; quantum probability approach,” Quantum Physics, 2015, https://arxiv.org/abs/1407.4754v4. View at Google Scholar
  61. W. A. Majewski, T. Matsuoka, and M. Ohya, “Characterization of partial positive transposition states and measures of entanglement,” Journal of Mathematical Physics, vol. 50, no. 11, Article ID 113509, 2009. View at Publisher · View at Google Scholar · View at Scopus
  62. J. S. Bell, “On the Einstein-Podolski-Rosen paradox,” Physics, vol. 1, pp. 195–200, 1964. View at Google Scholar
  63. L. J. Landau, “On the violation of Bell's inequality in quantum theory,” Physics Letters A, vol. 120, no. 2, pp. 54–56, 1987. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  64. B. S. Tsirelson, “Quantum analogues of Bell's inequalities,” Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta imeni V. A. Steklova Akademii Nauk SSSR (LOMI), vol. 142, pp. 174–194, 1985 (Russian), Journal of Soviet Mathematics, vol. 36, article 4, pp. 557–570, 1987. View at Google Scholar
  65. B. S. Tsirelson, “Bell’s inequalities and operator algebras,” http://qig.itp.uni-hannover.de/qiproblems/33.