In 2002 Coecke and Martin created a Bayesian order for the finite dimensional spaces of classical states in physics and used this to define a similar order, the spectral order on the finite dimensional quantum states. These orders gave the spaces a structure similar to that of a domain. This allows for measuring information content of states and for determining which partial states are approximations of which pure states. In a previous paper the author extended the Bayesian order to infinite dimensional spaces of classical states. The order on infinite dimensional spaces retains many of the characteristics important to physics, but loses the domain theoretic structure. It becomes impossible to measure information content in the same way that it is done for the finite dimensional spaces, and the sense of approximation is lost. In this paper, we will use the Bayesian order to define a spectral order on the infinite dimensional spaces of quantum states.
In 2002 Coecke and Martin created a Bayesian order for the finite dimensional spaces of classical states in physics and used this to define a similar order, the spectral order on the finite dimensional quantum states. These orders gave the spaces a structure similar to that of a domain. This allows for measuring information content of states and for determining which partial states are approximations of which pure states. In a previous paper the author extended the Bayesian order to infinite dimensional spaces of classical states. The order on infinite dimensional spaces retains many of the characteristics important to physics, but loses the domain theoretic structure. It becomes impossible to measure information content in the same way that it is done for the finite dimensional spaces, and the sense of approximation is lost. In this paper, we will use the Bayesian order to define a spectral order on the infinite dimensional spaces of quantum states.
In this paper we extend the spectral order of Coecke and Martin to infinite-dimensional quantum states. Many properties present in the finite-dimensional case are preserved, but some of the most important are lost. The order is constructed and its properties analysed. Most of the useful measurements of information content are lost. Shannon entropy is defined on only a part of the model, and that part is not a closed subset of the model. The finite parts of the lattices used by Birkhoff and von Neumann as models for classical and quantum logic appear as subsets of the models for infinite classical and quantum states.
Complex Hilbert spaces play an important role in the description of quantum systems. In fact, with every quantum system there is associated an infinite dimensional or a finite dimensional separable complex Hilbert space ℍ that consists of the states of the quantum system. In physics terminology, the Hilbert space ℍ is usually referred to as the space of (pure) states. Throughout this monograph, the mathematical description of a quantum system shall be based on a certain complex (separable) Hilbert space ℍ, and therefore the quantum system will simply be denoted by ℍ. The quantum system ℍ is said to be a finite-dimensional system if ℍ is a finite-dimensional complex Hilbert space. Otherwise, the quantum system ℍ is said to be an infinite-dimensional system. The Hilbert space ℍ representing a composite quantum system that consists of n subsystems is a tensor product of the Hilbert spaces of n component systems described by ℍ 1 , … ℍ n , i.e., ℍ = ℍ 1 ⊗ … ⊗ ℍ n . In the theory of Hilbert spaces, a tensor product of Hilbert spaces is a way to create a new Hilbert space out of 2 (or more) Hilbert spaces. In the following, we illustrate the concept and construction of tensor product ℍ ⊗ 핂 of only 2 Hilbert spaces ℍ and 핂. The concepts and constructions can be easily extended to more than 2 Hilbert spaces such as ℍ 1 ⊗ ℍ 2 ⊗ … ⊗ ℍ n . Recall that the tensor product of ℍ with 핂 denoted by ℍ ⊗ 핂 is a new Hilbert space that consists of elements ϕ ⊗ φ ( ϕ ∈ ℍ and φ ∈ 핂) and is equipped with the Hilbertian inner product 〈·, ·〉 ℍ⊗핂 :(ℍ ⊗ 핂) × (ℍ ⊗ 핂) → C defined by 〈 ϕ 1 ⊗ φ 1 , ϕ 2 ⊗ φ 2 〉 ℍ⊗핂 = 〈 ϕ 1 , ϕ 2 〉 ℍ 〈 φ 1 , φ 2 〉 핂 , ϕ i ∈ ℍ and φ i ∈ 핂 for i = 1, 2.
Abstract For a partially ordered set ( S , ⪯), the order (monotone) dimension is the minimum cardinality of total orders (respectively, real-valued order monotone functions) on S that characterize the order ⪯. In this paper we consider an arbitrary generalized probabilistic theory and the set of finite-outcome measurements on it, which can be described by effect-valued measures, equipped with the classical post-processing orders. We prove that the order and order monotone dimensions of the post-processing order are (countably) infinite if the state space is not a singleton (and is separable in the norm topology). This result gives a negative answer to the open question for quantum measurements posed in (Guff et al 2021 J. Phys. A: Math. Theor. 54 225301). We also consider the quantum post-processing relation of channels with a fixed input quantum system described by a separable Hilbert space H and show that the order (monotone) dimension is countably infinite when dim H ⩾ 2 .
In Chapter 4 we saw that the canonical commutation relations force us to use a space of states of infinite dimension, in which rigor would require the use of advanced mathematical tools. Fortunately, physicists generally need only to carry the results for finite dimension over to infinite dimension with some simple modifications which we shall indicate here, without embarking on sophisticated mathematics. Nevertheless, it is useful to be aware of the lapses in rigor which are customarily made in physics in order to avoid possible unpleasant surprises. The objective of this chapter is, on the one hand, to present some concrete examples illustrating the new features which arise in infinite dimension and, on the other, to give the rules for practical calculations, in particular to write down the spectral decomposition of Hermitian and unitary operators. The mathematics we use is a bit more detailed than commonly found in most quantum mechanics textbooks. The reader interested purely in the practical aspects can proceed directly to Section 7.3, where the results essential for later on are summarized. Hilbert spaces Definitions The space of states of quantum mechanics is a Hilbert space ℌ, which in general is of infinite dimension. The axiomatic definition of a Hilbert space is the following. It is a vector space which, for the needs of quantum mechanics, is defined on complex numbers. The vectors of this space are denoted |ϕ〉. […]
In this work we extend the work done by Bob Coecke and Keye Martin in their paper “Partial Order on Classical States and Quantum States (2003)”. We review basic notions involving elementary domain theory, the set of probability measures on a finite set {a1, a2, ..., an}, which we identify with the standard (n-1)-simplex ∆n and Shannon Entropy. We consider partial orders on ∆n, which have the Entropy Reversal Property (ERP) : elements lower in the order have higher (Shannon) entropy or equivalently less information . The ERP property is important because of its applications in quantum information theory. We define a new partial order on ∆n, called Stochastic Order , using the well-known concept of majorization order and show that it has the ERP property and is also a continuous domain. In contrast, the bayesian order on ∆n defined by Coecke and Martin has the ERP property but is not continuous.
Abstract As previously shown, quantum physics for single pairs of creation and annihilation processes may be derived from first principles. Quantum physics at all can be therefore considered as an interplay of such elementary processes. This is easily possible if the number of pairs of processes is finite. Difficulties arise only for infinite numbers. The difficulties are similar to those occurring in the derivation of the equation for an oscillating string from that for an oscillator chain. It is true that the spectra of both systems are not continuously connected. However, a weaker theorem is more important: The chain eigenvalue of each order converges to the string one of the same order for an infinitely growing number of oscillators of a certain kind. Therefore both systems are continuously connected in the sense of semiconvergency. Exhausting the space continuum with a sequence of lattices equably becomming infinitely large and fine, the infinitely dimensional Hilbertspace is steadily connected with the finitely dimensional one in the sense of semiconvergency. It will be shown that the Hilbert spaces in the sequence of lattices yield the suitable tool for quantum physics as an interplay in the mentioned sense. This kind of Hilbert space, the so-called rational one, must be preferred in physics rather than the real one introduced by Hilbert, since all theories in physics are based on a finite number of data. In particular, we formulate Dirac's equation in the rational Hilbert space. It is shown that, even in quantum physics, a theorem of classical physics remains true, according to which relativity results from certain principles formulating most obvious experiences. We obtain the Lorentz invariant Dirac equation mainly from a modification of Newtons definition II according to which p = Hυ/c2 (instead of p = m υ).