Sufficiency is one of the most important concepts in mathematical statistics. In the measure theoretic context, the sufficiency aspect is specified with a measurable space. This chapter discusses an axiom of set theory, that is, existence of measurable cardinality. It provides a specific definition of sufficiency in the view of operator algebras and applies it to the theory of Gibbs states on countable sets. The chapter discusses the set of all countably additive bounded complex-valued measures. It also discusses isometric isomorphism in the context of sufficiency. The chapter provides a list of experiments and observables for describing the sufficiency concept.
Sufficiency is one of the most important concepts in mathematical statistics. In the measure theoretic context, the sufficiency aspect is specified with a measurable space. This chapter discusses an axiom of set theory, that is, existence of measurable cardinality. It provides a specific definition of sufficiency in the view of operator algebras and applies it to the theory of Gibbs states on countable sets. The chapter discusses the set of all countably additive bounded complex-valued measures. It also discusses isometric isomorphism in the context of sufficiency. The chapter provides a list of experiments and observables for describing the sufficiency concept.
A statistical experiment on a von Neumann algebra is a parametrized family of normal states on the algebra. This paper introduces the concept of minimal sufficiency for statistical experiments in such operator algebraic situations. We define equivalence relations of statistical experiments indexed by a common parameter set by completely positive or Schwarz coarse-graining and show that any statistical experiment is equivalent to a minimal sufficient statistical experiment unique up to normal isomorphism of outcome algebras. We also establish the relationship between the minimal sufficiency condition for a statistical experiment in this paper and those for subalgebra. These concepts and results are applied to the concatenation relation for completely positive channels with general input and outcome von Neumann algebras. In the case of the quantum-classical channel corresponding to the positive-operator valued measure (POVM), we prove the equivalence of the minimal sufficient condition previously proposed by the author and that in this paper. We also give a characterization of the discreteness of a POVM up to postprocessing equivalence in terms of the corresponding quantum-classical channel.
Reichenbach's notion of common cause In what follows ( X, S, p ) denotes a classical Kolmogorovian probability space with Boolean algebra S of subsets of a set X (with respect to the set theoretic operations ∩, ∪ and A ⊥ = X\A as Boolean algebra operations) and with the probability measure p on S . (See the Appendix for a concise review of the basic concepts of measure theoretic probability theory.) Elements of S are called random events (elements of X are sometimes called (random) elementary events). It is common to assume in probability theory that p is a countably additive (also called σ-additive) and not just a finitely additive measure but the assumption of countable additivity is somewhat controversial in the philosophical literature. The distinction between countable and finite additivity will not play any role in Chapters 3–5, 7 and 9: the results presented are valid under the assumption of either finite or countable additivity. Countable additivity will play a role in Chapters 6 and 8, however, where the problem of correlations in nonclassical (quantum) probability spaces will be investigated, and where the quantum counterpart of p will be assumed to be countably additive (“normal” in the terminology of the theory von Neumann algebras). If S has a finite number of elements, then it is the power set P(X) of a set X having n ＜ ∞ elements denoted by a i ( i = 1, 2 … n ); in this case we write S n .
Introduction.The theory of information, created by Shannon [23], is developed by Feinstein, Kullback, MacMillan, Wiener and other American statisticians (e. g., cf.[10]), and also advanced into the ergodic theory by Gelfand, Khinchin, Kolmogorov, Yaglom and other Russian probabilists (e. g., cf.[8]).Through recent years, the theory is regarded as a new chapter in the theory of probability.Recently, Segal [22] gave a mathematical formulation of the entropy of state of a von Neumann algebra, which contains both the cases for the theory of information and the theory of quantum statistics.Segal's theorem was reformulated in operator algebraic form by Nakamura and Umegaki [16] and independently by Davis [3].Since the summer in 1954, Nakamura and Umegaki have investigated the concept of the conditional expectation in von Neumann algebra as a noncommutative extension of probability theory (cf.for example [13~18] and [25 ~28]), and in the most recent paper [18] it was applied to the theory of measurements of quantum statistics which is regarded as a non-commutative case of the theory of entropy and information.Furthermore, it may be very intersesting to develope the theory of information under functional-analysistic and operator-theoretic methods.From these points of views, we shall discuss the measure of information of integrable operators or of normal states of a von Neumann algebra.Davis [3] has independently studied on the almost same theme with Nakamura-Umegaki [16] and [18], in which he developed the theory of entropy and he simplified the proof of the theorem relative to the operatorentropy.Now, we shall give the basic notations and describe the fundamental concepts in a von Neumann algebra which will be used throughout the present paper.Let A be a von Neumann algebra, that is, A is a weakly closed self-adjoint algebra of bounded operators acting over a complex Hubert space H, which contains the identity operator 7. A linear functional p of A is said to be positive if p(aa*) ^ 0 for every a ε A. Such p is said to be state if p(I) = 1, to be normal in the terminology of Dixmier [4] if p(a a )tp(a) for a a ^a, and to be trace if p(ab) = p(ba) for every pair α, b ε A. The normality of state is equivalent to the complete additivity: Σ p(p a ) = p(Σ Pa) for any disjoint family of projections {p a }aA (cf.Dixmier [4]).
A quantum ergodic theory for finite systems (such as isolated molecules) is developed by introducing the concept of a quantum measure algebra. The basic concept in classical ergodic theory is that of a measure space. A measure space is a set M, together with a specified sigma algebra of subsets in M and a measure defined on that algebra. A sigma algebra is closed under the formation of intersections and symmetric differences. A measure is a nonnegative and countably additive set function. For this to be further classified as a dynamical system, a measurable transformation is introduced. A measurable transformation is a mapping from a measure space into a measure space, such that the inverse image of every measurable set is measurable. In conservative dynamical systems, a measurable transformation is measure preserving, which is to say that the inverse image of every measurable set has the same measure as the original set. Once the measure space and the measurable transformation are defined, ergodic theory can be investigated on three levels—describable as analytic, geometric and algebraic. The analytic level studies linear operators induced by a transformation. The geometric level is concerned directly with transformations on a measure space and the algebraic treatments substitute a measure algebra for the measure space and basically equate sets that differ only by sets of measure zero. It is this latter approach that is most directly paralleled here. A measure algebra for a quantum dynamical system is defined within which stochastic concepts in quantum mechanics can be investigated. The quantum measure algebra differs from a normal measure algebra only in that multiplication is noncommutative and addition is nonassociative. Nonetheless, the quantum measure algebra preserves the essence of a normal measure algebra.
The quantities in physics that can be measured are conventionally denoted observables : entities that can be observed (directly or indirectly) and to which a value in appropriate units can be assigned. Examples include position, momentum, and energy. Unlike in classical physics, the concept of an observable in quantum theory possesses a significance beyond that of the measurable: to each observable there corresponds a unique operator in an abstract, linear vector space. These operators (and others) govern all aspects of quantum systems. Quantum operators act on abstract vectors in the linear space. Especially important are the eigenvectors and eigenvalues of these operators, in particular because some of the eigenvectors are the quantum states mentioned in the preceding chapters. Furthermore, for any operator that is the mathematical image of an observable, its eigenvalues constitute the entire set of values that measurement of the observable can yield . Finally, from the quantum states one can obtain the probabilities for the occurrence of events in the microscopic world, for example, the most likely value that measurement of an observable will yield. The concepts of operators and eigenvalue problems, as well as those of quantal probabilities, of Hermiticity, and of complete sets, were encountered and exemplified in the preceding chapter using the language of differential equations. While much of quantum mechanics could be presented in terms of this language alone, certain fundamental concepts (spin, for instance) cannot be, and it eventually becomes necessary to consider quantum mechanics as a theoretical framework embedded in that abstract linear vector space known as a Hilbert space.
In 1972, “Algebraic Methods in Statistical Mechanics and Quantum Field Theory” was published by Gerard Emch [8], giving the axioms for a physical system in an algebraic setting using the language of Irving Segal [19], and then continuing to obtain the C*-algebraic formalism for a physical system. Of these axioms, only the fifth contained an assumption that was questionable in its physical content. Bearing in mind that for each observable A and state φ , one obtains a distribution of values for the observed results of measurement, we have: Axiom 5: For any element A in the set of observables A and any non-negative integer n , there is at least one element, denoted A n , in A such that (i) the set of dispersion-free states for A n is contained in the set of dispersion-free states for A, (ii) < φ ; A n > = < φ ; A > n for all φ in the set of dispersion-free states for A . (Here < φ ; B > is the expectation of B in state φ .)