In Quantum Mechanics operators must be hermitian and, in a direct product space, symmetric. These properties are saved by Lie algebra operators but not by those of quantum algebras. A possible correspondence between observables and quantum algebra operators is suggested by extending the definition of matrix elements of a physical observable, including the eventual projection on the appropriate symmetric space. This allows to build in the Lie space of representations one-parameter families of operators belonging to the enveloping Lie algebra that satisfy an approximate symmetry and have the properties required by physics.
In Quantum Mechanics operators must be hermitian and, in a direct product space, symmetric. These properties are saved by Lie algebra operators but not by those of quantum algebras. A possible correspondence between observables and quantum algebra operators is suggested by extending the definition of matrix elements of a physical observable, including the eventual projection on the appropriate symmetric space. This allows to build in the Lie space of representations one-parameter families of operators belonging to the enveloping Lie algebra that satisfy an approximate symmetry and have the properties required by physics.
This chapter provides a simple general introduction to some basic mathematics necessary for a subsequent discussion of Lie algebras, operator methods, and their applications to theoretical physics and chemistry. It also provides some useful mathematical tools to derive important theoretical results and expressions in a simple and elegant way. In quantum mechanics the state of a system is represented by an element of a particular vector space, in which one defines an appropriate scalar or inner product, known in mathematics as Hilbert space. Hermitian operators with a complete set of eigenvectors belonging to that state space represent physical observables. Moreover, in certain cases it proves useful to work with vector spaces formed by linear operators. Hermitian operators are particular cases of linear operators and physical observables are particular cases of Hermitian operators. In many physical applications of operator methods one needs to reorder products of exponential operators or to rewrite one such operator as a product of simpler ones.
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.
We are focused on the idea that observables in quantum physics are a bit more then just hermitian operators and that this is, in general, a “tricky business”. The origin of this idea comes from the fact that there is a subtle difference between symmetric, hermitian, and self-adjoint operators which are of immense importance in formulating Quantum Mechanics. The theory of self-adjoint extensions is presented through several physical examples and some emphasis is given on the physical implications and applications.
In the study of d-dimensional quantum channels (dgeq2), an assumption which is not very restrictive, and which has a natural physical interpretation, is that the corresponding Kraus operators form a representation of a Lie algebra. Physically, this is a symmetry algebra for the interaction Hamiltonian. This paper begins a systematic study of channels defined by representations; the famous Werner-Holevo channel is one element of this infinite class. We show that the channel derived from the defining representation of SU(n) is a depolarizing channel for all n, but for most other representations this is not the case. Since the Bloch sphere is not appropriate here, we develop technology which is a generalization of Bloch's technique. Our method works by representing the density matrix as a polynomial in symmetrized products of Lie algebra generators, with coefficients that are symmetric tensors. Using these tensor methods we prove eleven theorems, derive many explicit formulas and show other interesting properties of quantum channels in various dimensions, with various Lie symmetry algebras. We also derive numerical estimates on the size of a generalized ``Bloch sphere'' for certain channels. There remain many open questions which are indicated at various points through the paper.