We present a new rigorous approach based on Orlicz spaces for the description of the statistics of large regular statistical systems, both classical and quantum. The pair of Orlicz spaces we explicitly use are, respectively, built on the exponential function (for the description of regular observables) and on an entropic type function (for the corresponding states). They form a dual pair (both for classical and quantum systems). This pair has the advantage of being general enough to encompass regular observables, and specific enough for the latter Orlicz space to select states with a well-defined entropy function. Moreover for small quantum systems, this pair is shown to agree with the classical pairing of bounded linear operators on a Hilbert space, and the trace-class operators.We present a new rigorous approach based on Orlicz spaces for the description of the statistics of large regular statistical systems, both classical and quantum. The pair of Orlicz spaces we explicitly use are, respectively, built on the exponential function (for the description of regular observables) and on an entropic type function (for the corresponding states). They form a dual pair (both for classical and quantum systems). This pair has the advantage of being general enough to encompass regular observables, and specific enough for the latter Orlicz space to select states with a well-defined entropy function. Moreover for small quantum systems, this pair is shown to agree with the classical pairing of bounded linear operators on a Hilbert space, and the trace-class operators.

Aug 14, 201642 citations

Quantum dynamics on Orlicz spaces

Louis E. Labuschagne, W. A. Majewski

Quantum dynamical maps are defined and studied for quantum statistical physics based on Orlicz spaces. This complements earlier work [W. A. Majewski, L.E. Labuschagne, Ann. H. Poincare. 15, 1197-1221, (2014)] where we made a strong case for the assertion that statistical physics of regular systems should properly be based on the pair of Orlicz spaces $\langle L^{\cosh - 1}, L\log(L+1)\rangle$ . The present paper therefore in some sense "completes" the picture by showing that even in the most general non-commutative contexts, completely positive Markov maps satisfying a natural Detailed Balance condition, canonically admit an action on a large class of quantum Orlicz spaces. This is achieved by the development of a new interpolation technique, specifically suited to the above context, for extending the action of such maps to the appropriate intermediate spaces of the pair $\langle L^\infty,L^1\rangle$ . Moreover, it is shown that quantum dynamics in the form of Markov semigroups described by some Dirichlet forms naturally extends to the context proposed in [W. A. Majewski, L.E. Labuschagne, Ann. H. Poincare. 15, 1197-1221, (2014)].Quantum dynamical maps are defined and studied for quantum statistical physics based on Orlicz spaces. This complements earlier work [W. A. Majewski, L.E. Labuschagne, Ann. H. Poincare. 15, 1197-1221, (2014)] where we made a strong case for the assertion that statistical physics of regular systems should properly be based on the pair of Orlicz spaces $\langle L^{\cosh - 1}, L\log(L+1)\rangle$. The present paper therefore in some sense "completes" the picture by showing that even in the most general non-commutative contexts, completely positive Markov maps satisfying a natural Detailed Balance condition, canonically admit an action on a large class of quantum Orlicz spaces. This is achieved by the development of a new interpolation technique, specifically suited to the above context, for extending the action of such maps to the appropriate intermediate spaces of the pair $\langle L^\infty,L^1\rangle$. Moreover, it is shown that quantum dynamics in the form of Markov semigroups described by some Dirichlet forms naturally extends to the context proposed in [W. A. Majewski, L.E. Labuschagne, Ann. H. Poincare. 15, 1197-1221, (2014)].

arXiv:1605.01210May 4, 20163 citations

Applications to quantum physics

Stanisław Goldstein, Louis E. Labuschagne

Abstract The closing chapter details the application of noncommutative Orlicz spaces to Quantum Physics. We specifically show that the (Köthe dual) pair of Orlicz spaces Llog⁡(L+1) and Lcosh−1 may be better suited as home for regular states and observables respectively than the more standard pair of spaces L∞ and L∞. Specifically the geometry of the space L1∩Llog⁡(L+1) is shown to be well suited to identifying those states which admit a well-defined notion of entropy. In fact the geometry of this space may be used to posit a clear definition of entropy valid for the most general von Neumann algebras. Parallel to this the space Lcosh−1 proves to be home for possibly unbounded observables which nevertheless are very regular in the sense of for example having all their moments finite. It is further pointed out that in the case of B(H) this approach yields exactly the Dirac style elementary Quantum Mechanical formalism. The technology thus developed is also used to gain a clearer understanding of relative entropy of states. The fact that the space Lcosh−1 admits unbounded observables allows for an application to the necessarily unbounded field operators of Quantum Field Theory. We specifically show that under very natural criteria, a large number of quantum fields which satisfy a so-called generalised H-bound condition automatically also satisfy an Lcosh−1 regularity condition namely that one may canonically embed the field operators into Lcosh−1 - the natural superspace for the regular observables.Abstract The closing chapter details the application of noncommutative Orlicz spaces to Quantum Physics. We specifically show that the (Köthe dual) pair of Orlicz spaces Llog⁡(L+1) and Lcosh−1 may be better suited as home for regular states and observables respectively than the more standard pair of spaces L∞ and L∞. Specifically the geometry of the space L1∩Llog⁡(L+1) is shown to be well suited to identifying those states which admit a well-defined notion of entropy. In fact the geometry of this space may be used to posit a clear definition of entropy valid for the most general von Neumann algebras. Parallel to this the space Lcosh−1 proves to be home for possibly unbounded observables which nevertheless are very regular in the sense of for example having all their moments finite. It is further pointed out that in the case of B(H) this approach yields exactly the Dirac style elementary Quantum Mechanical formalism. The technology thus developed is also used to gain a clearer understanding of relative entropy of states. The fact that the space Lcosh−1 admits unbounded observables allows for an application to the necessarily unbounded field operators of Quantum Field Theory. We specifically show that under very natural criteria, a large number of quantum fields which satisfy a so-called generalised H-bound condition automatically also satisfy an Lcosh−1 regularity condition namely that one may canonically embed the field operators into Lcosh−1 - the natural superspace for the regular observables.

Jun 19, 20250 citations

On entropy for general quantum systems

W. A. Majewski, Louis E. Labuschagne

In these notes we will give an overview and road map for a definition and characterization of (relative) entropy for both classical and quantum systems. In other words, we will provide a consistent treatment of entropy which can be applied within the recently developed Orlicz space based approach to large systems. This means that the proposed approach successfully provides a refined framework for the treatment of entropy in each of classical statistical physics, Dirac's formalism of Quantum Mechanics, large systems of quantum statistical physics, and finally also for Quantum Field Theory.In these notes we will give an overview and road map for a definition and characterization of (relative) entropy for both classical and quantum systems. In other words, we will provide a consistent treatment of entropy which can be applied within the recently developed Orlicz space based approach to large systems. This means that the proposed approach successfully provides a refined framework for the treatment of entropy in each of classical statistical physics, Dirac's formalism of Quantum Mechanics, large systems of quantum statistical physics, and finally also for Quantum Field Theory.

arXiv:1804.05579Advances in Theoretical and Mathematical PhysicsJan 1, 202025 citations

On quantum information manifolds

Anna Jenčová

Introduction The aim of information geometry is to introduce a suitable geometrical structure on families of probability distributions or quantum states. For parametrised statistical models, such structure is based on two fundamental notions: the Fisher information and the exponential family with its dual mixed parametrisation, see for example (Amari 1985, Amari and Nagaoka 2000). For the non-parametric situation, the solution was given by Pistone and Sempi (Pistone and Sempi 1995, Pistone and Rogantin 1999), who introduced a Banach manifold structure on the set P of probability distributions, equivalent to a given one. For each µ ∈ ρ, the authors considered the non-parametric exponential family at µ. As it turned out, this provides a C ∞ -atlas on ρ, with the exponential Orlicz spaces Lφ(µ) as the underlying Banach spaces, here φ is the Young function of the form φ(x) = cosh(x) — 1. The present contribution deals with the case of quantum states: we want to introduce a similar manifold structure on the set of faithful normal states of a von Neumann algebra M. Since there is no suitable definition of a non-commutative Orlicz space with respect to a state φ, it is not clear how to choose the Banach space for the manifold. Of course, there is a natural Banach space structure, inherited from the predualM. But, as it was already pointed out in (Streater 2004), this structure is not suitable to define the geometry of states: for example, any neighbourhood of a state φ contains states such that the relative entropy with respect to φ is infinite.Introduction The aim of information geometry is to introduce a suitable geometrical structure on families of probability distributions or quantum states. For parametrised statistical models, such structure is based on two fundamental notions: the Fisher information and the exponential family with its dual mixed parametrisation, see for example (Amari 1985, Amari and Nagaoka 2000). For the non-parametric situation, the solution was given by Pistone and Sempi (Pistone and Sempi 1995, Pistone and Rogantin 1999), who introduced a Banach manifold structure on the set P of probability distributions, equivalent to a given one. For each µ ∈ ρ, the authors considered the non-parametric exponential family at µ. As it turned out, this provides a C ∞ -atlas on ρ, with the exponential Orlicz spaces Lφ(µ) as the underlying Banach spaces, here φ is the Young function of the form φ(x) = cosh(x) — 1. The present contribution deals with the case of quantum states: we want to introduce a similar manifold structure on the set of faithful normal states of a von Neumann algebra M. Since there is no suitable definition of a non-commutative Orlicz space with respect to a state φ, it is not clear how to choose the Banach space for the manifold. Of course, there is a natural Banach space structure, inherited from the predualM. But, as it was already pointed out in (Streater 2004), this structure is not suitable to define the geometry of states: for example, any neighbourhood of a state φ contains states such that the relative entropy with respect to φ is infinite.

Cambridge University Press eBooksOct 22, 20093 citations

Quantum Orlicz Spaces in Information Geometry

R. F. Streater

Let H 0 be a selfadjoint operator such that Tr e −βH 0 is of trace class for some β < 1, and let χ ɛ denote the set of ɛ-bounded forms, i.e., ∥(H 0 +C) −1/2−ɛ X(H 0 +C) −1/2+ɛ ∥ < C for some C > 0. Let χ := Span ∪ ɛ∈(0,1/2] χ ɛ . Let [Formula: see text] denote the underlying set of the quantum information manifold of states of the form ρ x = e −H 0 −X−ψx , X ∈ χ. We show that if Tr e −H 0 = 1. 1. the map Φ, [Formula: see text] is a quantum Young function defined on χ 2. The Orlicz space defined by Φ is the tangent space of [Formula: see text] at ρ 0 ; its affine structure is defined by the (+1)-connection of Amari 3. The subset of a ‘hood of ρ 0 , consisting of p-nearby states (those [Formula: see text] obeying C −1 ρ 1+p ≤ σ ≤ Cρ 1 − p for some C > 1) admits a flat affine connection known as the (−1) connection, and the span of this set is part of the cotangent space of [Formula: see text] 4. These dual structures extend to the completions in the Luxemburg norms.Let H 0 be a selfadjoint operator such that Tr e −βH 0 is of trace class for some β < 1, and let χ ɛ denote the set of ɛ-bounded forms, i.e., ∥(H 0 +C) −1/2−ɛ X(H 0 +C) −1/2+ɛ ∥ < C for some C > 0. Let χ := Span ∪ ɛ∈(0,1/2] χ ɛ . Let [Formula: see text] denote the underlying set of the quantum information manifold of states of the form ρ x = e −H 0 −X−ψx , X ∈ χ. We show that if Tr e −H 0 = 1. 1. the map Φ, [Formula: see text] is a quantum Young function defined on χ 2. The Orlicz space defined by Φ is the tangent space of [Formula: see text] at ρ 0 ; its affine structure is defined by the (+1)-connection of Amari 3. The subset of a ‘hood of ρ 0 , consisting of p-nearby states (those [Formula: see text] obeying C −1 ρ 1+p ≤ σ ≤ Cρ 1 − p for some C > 1) admits a flat affine connection known as the (−1) connection, and the span of this set is part of the cotangent space of [Formula: see text] 4. These dual structures extend to the completions in the Luxemburg norms.

Open Systems & Information DynamicsDec 1, 200452 citations

\langle L^{\cosh - 1}, L\log(L+1)\rangle

. The present paper therefore in some sense "completes" the picture by showing that even in the most general non-commutative contexts, completely positive Markov maps satisfying a natural Detailed Balance condition, canonically admit an action on a large class of quantum Orlicz spaces. This is achieved by the development of a new interpolation technique, specifically suited to the above context, for extending the action of such maps to the appropriate intermediate spaces of the pair

\langle L^\infty,L^1\rangle

. Moreover, it is shown that quantum dynamics in the form of Markov semigroups described by some Dirichlet forms naturally extends to the context proposed in [W. A. Majewski, L.E. Labuschagne, Ann. H. Poincare. 15, 1197-1221, (2014)].