In this section we begin with the multiple-category system of S independent categories that was introduced in Chapter 4 , but then we will apply a unitary transformation to the annihilation operators in order to model interactions between the categories. This constitutes a generalization of the unitary transformation that was introduced in Chapter 6 to deal with the two-category case. That required a https://www.w3.org/1998/Math/MathML" display="inline"> 2 × 2 https://www.w3.org/1999/xlink" xlink:href=" https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003377504/0865e0f9-b6f9-4666-9620-3b3ea10ce510/content/math9_1.tif "/> matrix. Here we will require an https://www.w3.org/1998/Math/MathML" display="inline"> S × S https://www.w3.org/1999/xlink" xlink:href=" https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003377504/0865e0f9-b6f9-4666-9620-3b3ea10ce510/content/math9_2.tif "/> matrix transformation.
The results of Chapter 3 may be generalized to a multi-category system by noting that the sum of a set of natural numbers is itself a natural number, so the sum of natural number operators is just a natural number operator. So, let 4.1 https://www.w3.org/1998/Math/MathML" display="block"> N ^ = ∑ i = 1 S N ^ i , https://www.w3.org/1999/xlink" xlink:href=" https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003377504/0865e0f9-b6f9-4666-9620-3b3ea10ce510/content/math4_1.tif "/>
In the previous chapter we identified a component of angular momentum that was orthogonal to the two-dimensional configuration space that had emerged from a degenerate two-category bosonic system. This implied that we needed a third dimension of configuration space to complete our configuration space picture. This suggests we explore a bosonic three-category system. So, we now let https://www.w3.org/1998/Math/MathML" display="inline"> N ^ https://www.w3.org/1999/xlink" xlink:href=" https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003377504/0865e0f9-b6f9-4666-9620-3b3ea10ce510/content/math8_1.tif "/> be 8.1 https://www.w3.org/1998/Math/MathML" display="block"> N ^ = N ^ 1 + N ^ 2 + N ^ 3 , https://www.w3.org/1999/xlink" xlink:href=" https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003377504/0865e0f9-b6f9-4666-9620-3b3ea10ce510/content/math8_2.tif "/>
Consider a two-level atom represented by the spin operators σ ^ ± , σ ^ Z , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429092053/5e12ab0e-ba42-4caa-9bdf-6325e9117d3e/content/ineqn19_1.tif"/> interacting with a one-dimensional harmonic oscillator, represented by the creation and annihilation operators â † and â . The Hamiltonian of the system is given by ( 19.1 ) H ^ = 1 2 ℏ ω 0 σ ^ Z + ℏ w 0 ( a ^ † a ^ + 1 2 )− 1 2 i ℏ g + ( σ ^ + a ^ − σ ^ − a ^ † ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429092053/5e12ab0e-ba42-4caa-9bdf-6325e9117d3e/content/eqn19_1.tif"/>
The properties of a quantum mechanical system composed of many identical particles are most conveniently described in terms of the second‐quantized, Heisenberg representation, particle‐creation, and annihilation operators. The creation operator ψ ^ † ( r , t ) $ \hat{\psi }^{\dag } ({\mathbf{r}}, t) $ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315196596/a397f31e-8107-49bb-8694-b978d38168d6/content/inline-math2_1.tif"/> , when acting to the right on a state of the system, adds a particle to the state at the space‐time point r , $ {\mathbf{r}}, $ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315196596/a397f31e-8107-49bb-8694-b978d38168d6/content/inline-math2_2.tif"/> t ; the annihilation operator ψ ^ ( r , t ) $ \hat{\psi }({\mathbf{r}}, t) $ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315196596/a397f31e-8107-49bb-8694-b978d38168d6/content/inline-math2_3.tif"/> , the adjoint of the creation operator acting to the right, removes a particle from the state at the point r , t .
In this chapter, we develop results that will prove to be very important later. First, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0001.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0002.tif"/> are compatible , that is, if their Hermitian operator representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0003.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0004.tif"/> commute, then these representatives have a complete orthonormal set of common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0005.tif"/> which are the solutions of the simultaneous eigenvalue problem A ^ Ψ a n , b m ( r ) = a n Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0006.tif"/> and B ^ Ψ a n , b m ( r ) = b n Ψ a n , b m ( r ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0007.tif"/> Consequently, from the discussion at the end of Section 4.5 , when the system is in a quantum state specified by one of the common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0008.tif"/> , both A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0009.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0010.tif"/> have definite values, a n https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0011.tif"/> for A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0012.tif"/> and b m https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0013.tif"/> for B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0014.tif"/> In contrast, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0015.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0016.tif"/> are incompatible , that is, if their representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0279.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0017.tif"/> do not commute, then these representatives have few if any common eigenfunctions. As a consequence rarely if ever can one find quantum states for which two incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0018.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0019.tif"/> both have definite values rather than spreads of values. Therefore, two incompatible observables cannot (with rare exceptions) be simultaneously precisely measured. Rather, in analogy to the Heisenberg uncertainty relation Δ x Δ p x ≥ ℏ 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0020.tif"/> which exists between the incompatible position and momentum observables, a Heisenberg uncertainty relation exists between any pair of incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0021.tif"/> and B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0022.tif"/>
In this chapter we are going to explicitly identify the parameter, t , from Chapter 4 as a continuous variable that corresponds to time in a physical system. This will enable us to show how natural number dynamics can be converted into Hamiltonian form and thus develop dynamical equations that can be applied to physical systems, that form the basis for standard quantum mechanics. It is instructive to begin with a single category system with n items. We will take the system to be bosonic so that n can be any natural number. We then simply parameterize the variable ξ with t , as we did for the multi-category case, by writing https://www.w3.org/1998/Math/MathML" display="inline"> ξ = ω 0 t https://www.w3.org/1999/xlink" xlink:href=" https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003377504/0865e0f9-b6f9-4666-9620-3b3ea10ce510/content/math5_1.tif "/> , where ω 0 , is a constant angular frequency. Eq. (3.14) can then be transformed into a time evolution S-type equation applied to an eigenfunction, https://www.w3.org/1998/Math/MathML" display="inline"> Φ n https://www.w3.org/1999/xlink" xlink:href=" https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003377504/0865e0f9-b6f9-4666-9620-3b3ea10ce510/content/math5_2.tif "/> of the operator https://www.w3.org/1998/Math/MathML" display="inline"> N ^ https://www.w3.org/1999/xlink" xlink:href=" https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003377504/0865e0f9-b6f9-4666-9620-3b3ea10ce510/content/math5_3.tif "/> . Comparing the result with Eq. (4.9) , one then gets 5.1 https://www.w3.org/1998/Math/MathML" display="block"> i d Φ n d t = Ω ^ Φ n = ω 0 N ^ Φ n , https://www.w3.org/1999/xlink" xlink:href=" https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003377504/0865e0f9-b6f9-4666-9620-3b3ea10ce510/content/math5_4.tif "/>