Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Journal of Physics A Mathematical and General

On the operator bases underlying Wigner's, Kirkwood's and Glauber's phase space functions

Berthold‐Georg Englert

Published Mar 21, 1989• 64 citations
Publisher

Abstract

The Hermitian operators behind Wigner's phase space function (1932) are recognised to be simple ordered exponentials of the dynamical variables. This operator basis is highly symmetric; it supplies a perfectly unbiased formulation of operator equations in terms of phase space functions, which is as close to classical physics as it possibly can be. The author demonstrates how the symmetry properties of the basis can be exploited to simplify the computation of Wigner functions enormously. The ordered-operator methods are also applicable to the phase space functions of Kirkwood (1933) and Glauber (1963) type. Both kinds are briefly discussed with emphasis on how they differ from Wigner's description.

DOI
10.1088/0305-4470/22/6/015

Related papers

Phase Space Distributions

Bryan J. Dalton, John Jeffers, Stephen Mark Barnett

Abstract This chapter formally presents the representation of the quantum density operator by phase space distribution functions of phase space variables, leading to expressions for quantum correlation functions in terms of phase space integrals in which phase space variables for each mode—c-numbers for bosons, Grassmann numbers for fermions—replace mode annihilation and creation operators. The emphasis is on double-phase-space normally ordered (positive P type) normalised distribution functions, with distinct phase space variables for annihilation and creation operators; however, symmetrically ordered (Wigner type) distribution functions are also considered, along with unnormalised B distribution functions, which lead to phase space integrals for Fock state populations and coherences. Characteristic functions are first defined and then shown to be related to distribution functions via phase space integrals. The existence and symmetry properties of distribution functions—which are non-unique and non-analytic for bosons—is demonstrated using Bargmann coherent-state projectors.

•Nov 13, 2014•1 citation

Quantum-mechanical phase space: A generalization of Wigner phase-space formulation to arbitrary coordinate systems

Ashok V. Pimpale, Mohsen Razavy

This paper deals with certain aspects of the phase-space formulation of quantum mechanics. Noting the ambiguities involved in quantizing the classical phase-space dynamics, a generalized quantum-mechanical phase space is introduced in terms of eigenvalues of two mutually incompatible complete sets of operators. General definitions are given for the phase-space distribution function corresponding to a given abstract state of the system and the phase-space function for an arbitrary operator. Our formulation goes over to the Wigner formulation when the complete sets correspond to position and momentum operators in Cartesian coordinates. Explicit examples are discussed with use of action-angle and polar coordinates for simple one-, two-, and three-dimensional systems. Symmetry changes in phase space are discussed by applying Gel'fand-Levitan transformations and it is shown that, in general, the degeneracies of motion in phase space are not reflected in the energy eigenvalues.

Physical Review A•Dec 1, 1988•10 citations

Complex numbers and symmetries in quantum mechanics, and a nonlinear superposition principle for Wigner functions

Anthony J. Bracken

Complex numbers appear in the Hilbert space formulation of quantum mechanics, but not in the formulation in phase space. Quantum symmetries are described by complex, unitary or antiunitary operators defining ray representations in Hilbert space, whereas in phase space they are described by real, true representations. Equivalence of the formulations requires that the former representations can be obtained from the latter and vice versa. Examples are given. Equivalence of the two formulations also requires that complex superpositions of state vectors can be described in the phase space formulation, and it is shown that this leads to a nonlinear superposition principle for orthogonal, pure-state Wigner functions. It is concluded that the use of complex numbers in quantum mechanics can be regarded as a computational device to simplify calculations, as in all other applications of mathematics to physical phenomena.

•Apr 14, 2005•5 citations

A phase space approach to the wavefunction spreading and operator growth in the Krylov basis

Kunal Pal, Kuntal Pal, Keun-Young Kim

In the Wigner-Weyl phase space formulation of quantum mechanics, we analyse the problem of the spreading of an initial state or an initial operator under time evolution when described in terms of the Krylov basis. After constructing the phase space functions corresponding to the Krylov basis states generated by a Hamiltonian from a given initial state by using the Weyl transformation, we subsequently use them to cast the Krylov state complexity as an integral over the phase space in terms of the Wigner function of the time-evolved initial state, so that the contribution of the classical Liouville equation and higher-order quantum corrections to the Wigner function time evolution equation towards the Krylov state complexity can be identified. Next, we construct the double phase space functions associated with the Krylov basis for operators by using a suitable generalisation of the Weyl transformation applicable for superoperators, and use them to rewrite the Krylov operator complexity as an integral over the double phase space in terms of a generalisation of the usual Wigner function. These results, in particular, show that the complexity measures based on the expansion of a time-evolved state (or an operator) in the Krylov basis can be thought to belong to a general class of complexity measures constructed from the expansion coefficients of the time-dependent Wigner function in an orthonormal basis in the phase space, and help us to connect these complexity measures with measures of complexity of time evolved state based on harmonic expansion of the time-dependent Wigner function.

quant-pharXiv:2601.13872•Journal of High Energy Physics•Jan 21, 2026•1 citation

Aspects of quantum phase space

Philip Watson

This thesis addresses aspects of quantum phase and sets out to draw attention to a collection of new and extend some not so new techniques utilizing Weyl's correspondence rule and its inverse. The phase formulation of quantum mechanics is as old as quantum mechanics itself and evolved over a period of two decades due to the contributions of H. Weyl \cite{Weyl1950}, E. P. Wigner \cite{Wigner1932}, H. Groenewold \cite{Groenewold1946} and J. E. Moyal \cite{Moyal1949}. Over the ensuing years the phase picture has matured into a practical analytical tool, and has generated a multitude of technical papers, reports, reviews, and expositions from many authors and commentators. One reason for its success is that it offers an intuitive picture of quantum mechanics owing to its \it{classical look and feel}, and it has made an impression, in one way or another, in many fields such as mathematical physics, quantum optics, and physical chemistry.The thesis opens with a brief history of classical phase space, tracing the possible origin of the term ``phase space itself, and chronicles the events leading to the conceptualization (and generalization) of quantum phase space. In Chapter 2 the Weyl correspondence is recast in terms of von Neumann's integral kernel transform and a heuristic analysis is given from this perspective. A characteristic of Weyl's correspondence rule and its inverse is that there are two inherent representations of the same operator. These have been referred to as the Weyl representation and Wigner representation and are related by a symplectic Fourier transform. For an arbitrary outer dyadic operator it is shown that the Weyl representation leads to the \it{modified} Gabor transform (known to Signal Processing), while the Wigner representation specializes to the Bargmann transform and a representation in terms of analytic functions. Calculating Weyl-Wigner (WW) transforms of products of $n$ operators, from first principles, has proved to be a technically difficult problem. However, with the machinery developed in Chapter 2 the problem is reduced to a straightforward algebraic exercise. Finally, forming an $s$-parametrized generalization of Weyl's correspondence rule and focusing on the Weyl representation it is shown to lead to an intimate relationship with the relative state formalism \cite{Ban1998}. Weyl's correspondence rule is only applicable to operators and consequently state vectors $|\psi\rangle$ are not represented in the usual formulation of quantum phase space. This problem is circumvented in Chapter 3 by introducing the notion of a normalized fixed state (or window) vector $|\varphi_0\rangle$ to form an outer dyadic product $\wh{\Psi} = |\psi\rangle\langle\varphi_0|$. The WW transform of this product under the action of the Weyl's rule is a complex valued function of real variables called a phase amplitude and denoted by the symbol $\Psi$. The phase amplitudes have many (and sometimes surprising) properties. For example they: \begin{itemize} \item form the building blocks of Wigner functions $W$ by admitting a generalized Born rule $W = \Psi \star \bar{\Psi}$, and as such can be considered to be a more fundamental objects than Wigner functions; \item superpose and interfere like the state vectors they represent; \item specialize to the Bargmann and Gabor transforms when a Gaussian window is chosen; \end{itemize} \ni In Chapter 4 further aspects of phase amplitudes are explored and discussed. For example it is shown that they: \begin{itemize} \item define phase state vectors which form an over complete set and are elements of a reproducing kernel Hilbert space; \item allow unitary ray representations of the group symmetries of translation, rotation and time reversal; \item evolve in phase under the influence of a propagator $\cal{R}$ which is intimately related to the Wigner propagator $P$. \end{itemize} Chapter 5 considers an extension of phase amplitudes to include systems with finitely many degrees of freedom. These are called spin amplitudes and are obtained by first forming the outer dyadic product of a spin state vector with an arbitrary fixed spin state vector, and then applying a finite-dimensional analogue of the WW transform. The spin amplitude operator is represented as an $n \times n$ matrix, whose elements are products of the spin components of the spin and fixed state vectors. Two kinds of spin amplitudes are considered, arising on the sphere $\cal{S}^2$ or on a $(2j + 1)$ dimensional lattice. In the special case of spin-$\half$ systems it is shown that the spin amplitudes transform as spinors under rotations on both the sphere and lattice. As a physical application the spin amplitudes for a spin-$\half$ magnetic dipole are found for a Nuclear Magnetic Resonance (NMR) environment. Chapter 6 considers Schwinger's abstract approach to quantum mechanics which takes into account the inability to indefinitely compensate for fluctuations in the measurement process. The resulting measurement algebra provides a symbolic representation of the physical laws as opposed to the mathematical abstraction (of von Neumann and Dirac) that was justified \it{\'a posteriori} by being in agreement with experiment. Despite Schwinger's prolific work on the subject of measurement algebra, its interpretation in quantum phase remained an open issue. It is shown that the key to formulating a quantum phase in terms of the measurement operators and transformation functions is the determination of a suitable set of basis operators for an arbitrary measurement operator. Many new results follow as a consequence of expanding an arbitrary measurement operator in this basis. In Chapter 7 the quantum-classical interface is explored by considering Hamilton's principal function or action $S(q,v,t)$. Starting from a purely heuristic classical argument, a phase function $U(p,q,t)$ is derived in terms of the classical action and is shown to be proportional to the WW transform of the quantum evolution operator. This association leads to the transform \be U(p,q,t) = A(t) \int e^{ipv/\hbar} e^{iS(q,v,t)/\hbar} \; \rm{d}v, \ee which enables one, in principle, to deduce the Wigner functions of a given system when only the classical action is known. Simple physical systems are used to provide examples illustrating this approach.

•Mar 1, 2012•0 citations

The Phase Operator

Stephen M. Barnett, John A. Vaccaro

More particularly, the sets {|n〉 : n = 0, 1, · · · s} and {|θm〉 : m = 0, 1, · · · s} are two mutually unbiased bases for s as |〈n|θm〉|2 = 1/(s + 1) for n, m = 0, 1, · · · , s. The exponential phase operator is defined in terms of the phase state basis as ei φˆθ = s∑ m=0 eiθm |θm〉〈θm|, (2.4) or equivalently, in terms of the energy eigenstates as |n〉〈n + 1| + ei(s+1)θ0 |s〉〈0|. (2.5) The subscript θ serves as a reminder that the values of phase variable θm lie in the range from θ0 to θ0 + 2π . This construction ensures that the phase states are the eigenstates of ei φˆθ , i.e., ei φˆθ |θm〉 = eiθm |θm〉. (2.6) The exponential phase operator is unitary, because n=0 |n〉〈n| = 1ˆ s (2.7) where 1ˆ s is the identity operator on s . The Hermitian phase operator representing the phase angle itself was introduced in (Pegg and Barnett 1988b Paper 2.2) and (Barnett and Pegg 1989 Paper 2.3) as simply φˆθ = s∑ m=0 θm|θm〉〈θm|. (2.8) The operator on the left hand sides of Eqs. (2.4) and (2.5) is the exponential of i φˆθ .Moreover, the operator corresponding to an arbitrary function of the phase angle f (θ) was introduced in Barnett and Pegg (1992 Paper 3.3) and also discussed in Pegg and Barnett (1997a Paper 2.6) as f (φˆθ ) = s∑ m=0 f (θm)|θm〉〈θm|. (2.9) It follows that the Hermitian conjugate of ei φˆθ is the operator (ei φˆθ )† = s∑ m=0 e−iθm |θm〉〈θm| = e−i φˆθ . (2.10) This construction on the finite dimensional spaces elegantly sidesteps the problems faced with the infinite dimensional Hilbert space discussed in the previous chapter. Its simplicity is particularly appealing. The question remains, however, of how to deal with states such as | f 〉 = ∑∞n=0 cn|n〉 which reside in the infinite dimensional Hilbert space. For each value of s, there exists a phase operator defined on s ; this leads naturally to sequences of operators, such as e.g. φˆθ |s=S, φˆθ |s=S+1, φˆθ |s=S+2 · · · which are phase angle operators defined on the sequence of spaces S, S+1, S+2, · · · for arbitrarily large integer S. The space s contains a state | f 〉s which approximates | f 〉 to arbitrary precision for a sufficiently large value of s, such that the modulus of the overlap 〈 f | f 〉s is as close to unity as desired. Thus the issue of including states such as | f 〉 entails dealing with such sequences as s tends to infinity.

CRC Press eBooks•Apr 27, 2007•0 citations
The Hermitian operators behind Wigner's phase space function (1932) are recognised to be simple ordered exponentials of the dynamical variables. This operator basis is highly symmetric; it supplies a perfectly unbiased formulation of operator equations in terms of phase space functions, which is as close to classical physics as it possibly can be. The author demonstrates how the symmetry properties of the basis can be exploited to simplify the computation of Wigner functions enormously. The ordered-operator methods are also applicable to the phase space functions of Kirkwood (1933) and Glauber (1963) type. Both kinds are briefly discussed with emphasis on how they differ from Wigner's description.
Abstract This chapter formally presents the representation of the quantum density operator by phase space distribution functions of phase space variables, leading to expressions for quantum correlation functions in terms of phase space integrals in which phase space variables for each mode—c-numbers for bosons, Grassmann numbers for fermions—replace mode annihilation and creation operators. The emphasis is on double-phase-space normally ordered (positive P type) normalised distribution functions, with distinct phase space variables for annihilation and creation operators; however, symmetrically ordered (Wigner type) distribution functions are also considered, along with unnormalised B distribution functions, which lead to phase space integrals for Fock state populations and coherences. Characteristic functions are first defined and then shown to be related to distribution functions via phase space integrals. The existence and symmetry properties of distribution functions—which are non-unique and non-analytic for bosons—is demonstrated using Bargmann coherent-state projectors.
This paper deals with certain aspects of the phase-space formulation of quantum mechanics. Noting the ambiguities involved in quantizing the classical phase-space dynamics, a generalized quantum-mechanical phase space is introduced in terms of eigenvalues of two mutually incompatible complete sets of operators. General definitions are given for the phase-space distribution function corresponding to a given abstract state of the system and the phase-space function for an arbitrary operator. Our formulation goes over to the Wigner formulation when the complete sets correspond to position and momentum operators in Cartesian coordinates. Explicit examples are discussed with use of action-angle and polar coordinates for simple one-, two-, and three-dimensional systems. Symmetry changes in phase space are discussed by applying Gel'fand-Levitan transformations and it is shown that, in general, the degeneracies of motion in phase space are not reflected in the energy eigenvalues.
Complex numbers appear in the Hilbert space formulation of quantum mechanics, but not in the formulation in phase space. Quantum symmetries are described by complex, unitary or antiunitary operators defining ray representations in Hilbert space, whereas in phase space they are described by real, true representations. Equivalence of the formulations requires that the former representations can be obtained from the latter and vice versa. Examples are given. Equivalence of the two formulations also requires that complex superpositions of state vectors can be described in the phase space formulation, and it is shown that this leads to a nonlinear superposition principle for orthogonal, pure-state Wigner functions. It is concluded that the use of complex numbers in quantum mechanics can be regarded as a computational device to simplify calculations, as in all other applications of mathematics to physical phenomena.
In the Wigner-Weyl phase space formulation of quantum mechanics, we analyse the problem of the spreading of an initial state or an initial operator under time evolution when described in terms of the Krylov basis. After constructing the phase space functions corresponding to the Krylov basis states generated by a Hamiltonian from a given initial state by using the Weyl transformation, we subsequently use them to cast the Krylov state complexity as an integral over the phase space in terms of the Wigner function of the time-evolved initial state, so that the contribution of the classical Liouville equation and higher-order quantum corrections to the Wigner function time evolution equation towards the Krylov state complexity can be identified. Next, we construct the double phase space functions associated with the Krylov basis for operators by using a suitable generalisation of the Weyl transformation applicable for superoperators, and use them to rewrite the Krylov operator complexity as an integral over the double phase space in terms of a generalisation of the usual Wigner function. These results, in particular, show that the complexity measures based on the expansion of a time-evolved state (or an operator) in the Krylov basis can be thought to belong to a general class of complexity measures constructed from the expansion coefficients of the time-dependent Wigner function in an orthonormal basis in the phase space, and help us to connect these complexity measures with measures of complexity of time evolved state based on harmonic expansion of the time-dependent Wigner function.
This thesis addresses aspects of quantum phase and sets out to draw attention to a collection of new and extend some not so new techniques utilizing Weyl's correspondence rule and its inverse. The phase formulation of quantum mechanics is as old as quantum mechanics itself and evolved over a period of two decades due to the contributions of H. Weyl \cite{Weyl1950}, E. P. Wigner \cite{Wigner1932}, H. Groenewold \cite{Groenewold1946} and J. E. Moyal \cite{Moyal1949}. Over the ensuing years the phase picture has matured into a practical analytical tool, and has generated a multitude of technical papers, reports, reviews, and expositions from many authors and commentators. One reason for its success is that it offers an intuitive picture of quantum mechanics owing to its \it{classical look and feel}, and it has made an impression, in one way or another, in many fields such as mathematical physics, quantum optics, and physical chemistry.The thesis opens with a brief history of classical phase space, tracing the possible origin of the term ``phase space itself, and chronicles the events leading to the conceptualization (and generalization) of quantum phase space. In Chapter 2 the Weyl correspondence is recast in terms of von Neumann's integral kernel transform and a heuristic analysis is given from this perspective. A characteristic of Weyl's correspondence rule and its inverse is that there are two inherent representations of the same operator. These have been referred to as the Weyl representation and Wigner representation and are related by a symplectic Fourier transform. For an arbitrary outer dyadic operator it is shown that the Weyl representation leads to the \it{modified} Gabor transform (known to Signal Processing), while the Wigner representation specializes to the Bargmann transform and a representation in terms of analytic functions. Calculating Weyl-Wigner (WW) transforms of products of nnn operators, from first principles, has proved to be a technically difficult problem. However, with the machinery developed in Chapter 2 the problem is reduced to a straightforward algebraic exercise. Finally, forming an sss-parametrized generalization of Weyl's correspondence rule and focusing on the Weyl representation it is shown to lead to an intimate relationship with the relative state formalism \cite{Ban1998}. Weyl's correspondence rule is only applicable to operators and consequently state vectors ∣ψ⟩|\psi\rangle∣ψ⟩ are not represented in the usual formulation of quantum phase space. This problem is circumvented in Chapter 3 by introducing the notion of a normalized fixed state (or window) vector ∣φ0⟩|\varphi_0\rangle∣φ0​⟩ to form an outer dyadic product $\wh{\Psi} = |\psi\rangle\langle\varphi_0|$. The WW transform of this product under the action of the Weyl's rule is a complex valued function of real variables called a phase amplitude and denoted by the symbol Ψ\PsiΨ. The phase amplitudes have many (and sometimes surprising) properties. For example they: \begin{itemize} \item form the building blocks of Wigner functions WWW by admitting a generalized Born rule W=Ψ⋆ΨˉW = \Psi \star \bar{\Psi}W=Ψ⋆Ψˉ, and as such can be considered to be a more fundamental objects than Wigner functions; \item superpose and interfere like the state vectors they represent; \item specialize to the Bargmann and Gabor transforms when a Gaussian window is chosen; \end{itemize} \ni In Chapter 4 further aspects of phase amplitudes are explored and discussed. For example it is shown that they: \begin{itemize} \item define phase state vectors which form an over complete set and are elements of a reproducing kernel Hilbert space; \item allow unitary ray representations of the group symmetries of translation, rotation and time reversal; \item evolve in phase under the influence of a propagator R\cal{R}R which is intimately related to the Wigner propagator PPP. \end{itemize} Chapter 5 considers an extension of phase amplitudes to include systems with finitely many degrees of freedom. These are called spin amplitudes and are obtained by first forming the outer dyadic product of a spin state vector with an arbitrary fixed spin state vector, and then applying a finite-dimensional analogue of the WW transform. The spin amplitude operator is represented as an n×nn \times nn×n matrix, whose elements are products of the spin components of the spin and fixed state vectors. Two kinds of spin amplitudes are considered, arising on the sphere S2\cal{S}^2S2 or on a (2j+1)(2j + 1)(2j+1) dimensional lattice. In the special case of spin-$\half$ systems it is shown that the spin amplitudes transform as spinors under rotations on both the sphere and lattice. As a physical application the spin amplitudes for a spin-$\half$ magnetic dipole are found for a Nuclear Magnetic Resonance (NMR) environment. Chapter 6 considers Schwinger's abstract approach to quantum mechanics which takes into account the inability to indefinitely compensate for fluctuations in the measurement process. The resulting measurement algebra provides a symbolic representation of the physical laws as opposed to the mathematical abstraction (of von Neumann and Dirac) that was justified \it{\'a posteriori} by being in agreement with experiment. Despite Schwinger's prolific work on the subject of measurement algebra, its interpretation in quantum phase remained an open issue. It is shown that the key to formulating a quantum phase in terms of the measurement operators and transformation functions is the determination of a suitable set of basis operators for an arbitrary measurement operator. Many new results follow as a consequence of expanding an arbitrary measurement operator in this basis. In Chapter 7 the quantum-classical interface is explored by considering Hamilton's principal function or action S(q,v,t)S(q,v,t)S(q,v,t). Starting from a purely heuristic classical argument, a phase function U(p,q,t)U(p,q,t)U(p,q,t) is derived in terms of the classical action and is shown to be proportional to the WW transform of the quantum evolution operator. This association leads to the transform \be U(p,q,t) = A(t) \int e^{ipv/\hbar} e^{iS(q,v,t)/\hbar} \; \rm{d}v, \ee which enables one, in principle, to deduce the Wigner functions of a given system when only the classical action is known. Simple physical systems are used to provide examples illustrating this approach.
More particularly, the sets {|n〉 : n = 0, 1, · · · s} and {|θm〉 : m = 0, 1, · · · s} are two mutually unbiased bases for s as |〈n|θm〉|2 = 1/(s + 1) for n, m = 0, 1, · · · , s. The exponential phase operator is defined in terms of the phase state basis as ei φˆθ = s∑ m=0 eiθm |θm〉〈θm|, (2.4) or equivalently, in terms of the energy eigenstates as |n〉〈n + 1| + ei(s+1)θ0 |s〉〈0|. (2.5) The subscript θ serves as a reminder that the values of phase variable θm lie in the range from θ0 to θ0 + 2π . This construction ensures that the phase states are the eigenstates of ei φˆθ , i.e., ei φˆθ |θm〉 = eiθm |θm〉. (2.6) The exponential phase operator is unitary, because n=0 |n〉〈n| = 1ˆ s (2.7) where 1ˆ s is the identity operator on s . The Hermitian phase operator representing the phase angle itself was introduced in (Pegg and Barnett 1988b Paper 2.2) and (Barnett and Pegg 1989 Paper 2.3) as simply φˆθ = s∑ m=0 θm|θm〉〈θm|. (2.8) The operator on the left hand sides of Eqs. (2.4) and (2.5) is the exponential of i φˆθ .Moreover, the operator corresponding to an arbitrary function of the phase angle f (θ) was introduced in Barnett and Pegg (1992 Paper 3.3) and also discussed in Pegg and Barnett (1997a Paper 2.6) as f (φˆθ ) = s∑ m=0 f (θm)|θm〉〈θm|. (2.9) It follows that the Hermitian conjugate of ei φˆθ is the operator (ei φˆθ )† = s∑ m=0 e−iθm |θm〉〈θm| = e−i φˆθ . (2.10) This construction on the finite dimensional spaces elegantly sidesteps the problems faced with the infinite dimensional Hilbert space discussed in the previous chapter. Its simplicity is particularly appealing. The question remains, however, of how to deal with states such as | f 〉 = ∑∞n=0 cn|n〉 which reside in the infinite dimensional Hilbert space. For each value of s, there exists a phase operator defined on s ; this leads naturally to sequences of operators, such as e.g. φˆθ |s=S, φˆθ |s=S+1, φˆθ |s=S+2 · · · which are phase angle operators defined on the sequence of spaces S, S+1, S+2, · · · for arbitrarily large integer S. The space s contains a state | f 〉s which approximates | f 〉 to arbitrary precision for a sufficiently large value of s, such that the modulus of the overlap 〈 f | f 〉s is as close to unity as desired. Thus the issue of including states such as | f 〉 entails dealing with such sequences as s tends to infinity.