We first give a quick survey of the realization of symmetries of quantum systems in the various formalisms of quantum mechanics: traditional (Hilbert space), algebraic (C*-algebras), rigged Hilbert spaces, *-algebras of unbounded operators, partial *-algebras of closable operators. Then we describe in some detail the concept of partial inner product spaces (PIP-spaces) and operators on them. Finally, we examine various classes of operators on PIP-spaces that allow a correct realization of symmetries.
We first give a quick survey of the realization of symmetries of quantum systems in the various formalisms of quantum mechanics: traditional (Hilbert space), algebraic (C*-algebras), rigged Hilbert spaces, *-algebras of unbounded operators, partial *-algebras of closable operators. Then we describe in some detail the concept of partial inner product spaces (PIP-spaces) and operators on them. Finally, we examine various classes of operators on PIP-spaces that allow a correct realization of symmetries.
Symmetry in quantum mechanicsRoughly speaking, a symmetry of some mathematical object is an invertible transformation that leaves all relevant structure as it is.Thus a symmetry of a set is just a bijection (as sets have no further structure, whence invertibility is the only demand on a symmetry), a symmetry of a topological space is a homeomorphism, a symmetry of a Banach space is a linear isometric isomorphism, and, crucially important for this chapter, a symmetry of a Hilbert space H is a unitary operator, i.e., a linear map u : H → H satisfying one and hence all of the following equivalent conditions:• u is invertible and preserves the inner product, i.e., uϕ, uψ = ϕ, ψ (ϕ, ψ ∈ H).The discussion of symmetries in quantum physics is based on the above idea, but the mathematically obvious choices need not be the physically relevant ones.Even in elementary quantum mechanics, where A = B(H), i.e., the C*-algebra of all bounded operators on some Hilbert space H, the concept of a symmetry is already diverse.The main structures whose symmetries we shall study in this chapter are:1.The normal pure state space P 1 (H), i.e., the set of one-dimensional projections on H, with transition probability τ : P 1 (H) × P 1 (H) → [0, 1] defined by (2.44).2. The normal state space D(H), i.e. the convex set of density operators ρ on H. The self-adjoint operators B(H)sa on H, seen as a Jordan algebra (see below).4. The effects E (H) = [0, 1] B(H) , seen as a convex partially ordered set (poset). 5.The projections P(H) on H, seen as an orthocomplemented lattice.6.The unital commutative C*-subalgebras C (B(H)) of B(H), seen as a poset.Each of these structures comes with its own notion of a symmetry, but the main point of this chapter will be to show these notions are equivalent, corresponding in all cases to either unitary or-surprisingly-anti-unitary operators, both merely defined up to a phase.The latter subtlety will open the world of projective unitary group representation to quantum mechanics (without which the existence of spin-1 2 particles such as electrons, and therewith also of ourselves, would be impossible).
There is a notational discrepancy in how mathematicians and physicists treat Hilbert spaces. In physics, one often works with finite-dimensional Hilbert spaces treated as ℂ n , and hence wants to write the Hermitian inner product as (x, y) = x ∗ y. This definition dictates the use of a Hermitian inner product that is antilinear in the first argument, the convention followed, for example, in Reed & Simon [246]. This is also the choice adopted in Dirac’s bracket notation, whose usage in quantum mechanics is very widespread. Our notation is chosen to extend-as closely as possible-the traditional notation of standard finite-dimensional matrix algebra to arbitrary complex inner product spaces and associated linear operators. In matrix algebra, column vectors and the corresponding matrices with one column are identical objects, row vectors are the linear functionals, and the adjoint is the conjugate transpose. For example, ℍ = ℍ × = ℂ n is the space of column vectors of size n, the dual space ℍ ∗ is the space of row vectors of size n, and the operator product ϕ ∗ ψ of a row vector ϕ ∗ and a column vector ψ is the standard Hermitian inner product of the column vectors ϕ and ψ. We use Greek lower case letters to write vectors, thus emphasizing their intended use as quantum state vectors in quantum mechanics. On the other hand, mathematicians working on reproducing kernel Hilbert spaces use an inner product (x, y) antilinear in the second argument, related to the physicist’s inner product (x, y) by (x, y) =( ). This is the convention followed, for example, in Rudin [252]. Although the two ways of defining the inner product lead to fully equivalent theories, all details look a bit different, a fact that has to be taken into account when reading the literature on the subject. For example, in the description based on the physical tradition, it is preferable to work with the antidual space in place of the dual space used in the mathematical tradition. In functional analysis, linear operators in Hilbert spaces are usually considered each with their own domain. But many computations in quantum mechanics require the consideration of algebras of operators with a common domain. The latter is a Euclidean space, a dense subspace of a Hilbert space. This space and its antidual play in many respects a more basic role in quantum physics than the Hilbert space itself. Therefore, and to avoid possible confusion caused by the different traditions, we give in the present chapter a self-contained introduction to Euclidean spaces and their associated spaces. All proofs are carried out in detail.
This paper presents a generalization of quantum mechanics from conventional Hilbert space formalism to Banach space one. We construct quantum theory starting with any complex Banach space beyond a complex Hilbert space, through using a basic fact that a complex Banach space always admits a semi-inner product. Precisely, in a complex Banach space X with a given semi-inner product, a pure state is defined by Lumer \cite{Lumer1961} to be a bounded linear functional on the space of bounded operators determined by a normalized element of X under the semi-inner product, and then the state space S(X) of the system is the weakly closed convex set spanned by all pure states. Based on Lumer's notion of the state, we associate a quantum system with a complex Banach space X equipped with a fixed semi-inner product, and then define a physical event at a quantum state ω∈S(X) to be a projection P (bounded operator such that P2=P) in X satisfying the positivity condition 0≤ω(P)≤1, and a physical quantity at a quantum state ω to be a spectral operator of scalar type with real spectrum so that the associated spectral projections are all physical events at ω. The Born formula for measurement of a physical quantity is the natural pairing of operators with linear functionals satisfying the probability conservation law. A time evolution of the system is governed by a one-parameter group of invertible spectral operators determined by a scalar type operator with the real spectrum, which satisfies the Schrödinger equation. Our formulation is just a generalization of the Dirac-von Neumann formalism of quantum mechanics to the Banach space setting. We include some examples for illustration.
Two non-Hermitian PT-symmetric Hamiltonian systems are reconsidered by means of the algebraic method which was originally proposed for the pseudo-Hermitian Hamiltonian systems rather than for the PT-symmetric ones. Compared with the way converting a non-Hermitian Hamiltonian to its Hermitian counterpart, this method has the merit that keeps the Hilbert space of the non-Hermitian PT-symmetric Hamiltonian unchanged. In order to give the positive definite inner product for the PT-symmetric systems, a new operator V, instead of C, can be introduced. The operator V has the similar function to the operator C adopted normally in the PT-symmetric quantum mechanics, however, it can be constructed, as an advantage, directly in terms of Hamiltonians. The spectra of the two non-Hermitian PT-symmetric systems are obtained, which coincide with that given in literature, and in particular, the Hilbert spaces associated with positive definite inner products are worked out.