Models for Quantum Measurement of Particles with Higher Spin

The Curie–Weiss model for quantum measurement describes the dynamical measurement of a spin-12 by an apparatus consisting of an Ising magnet of many spins 12 coupled to a thermal phonon bath. To measure the z-component s=−l,−l+1,⋯,l of a spin l, a class of models is designed along the same lines, which involve 2l order parameters. As required for unbiased measurement, the Hamiltonian of the magnet, its entropy and the interaction Hamiltonian possess an invariance under the permutation s→s+1 mod 2l+1. The theory is worked out for the spin-1 case, where the thermodynamics is analyzed in detail, and, for spins 32,2,52, the thermodynamics and the invariance are presented.


Introduction
The interpretation of quantum mechanics has long been shrouded in mystery. The best working formulation involves the Copenhagen postulates, while various other attempts are summarized in Ref. [1]. While a plethora of (semi-) philosophical papers have been written on the subject, the one and only touchstone between the quantum formalism and the reality in a laboratory lies in quantum measurement, hence this connection has been the focus of our research in the last decades.
Indeed, while indispensable for introductory classes in quantum mechanics, "Copenhagen" skips over the reality of a real apparatus performing a measurement in a laboratory, and thus bypasses the physics to which it pretends to provide interpretation. It is best seen as a short cut to the reality of measurement, useful for introductory courses on quantum mechanics, but lacking rigour at a fundamental level.
What is needed is a complete modelling of the whole system plus apparatus (S+A) setup, and the dynamics that takes place. The literature on models for measurement was reviewed by "ABN", our collaboration with Armen Allahverdyan and Roger Balian, in our 2013 "Opus Magnum" [2], a paper which we will term "Opus" in the present work. A typical early example of measurement models is Hepp's semi-infinite chain of spins 1 2 , which measures the first spin [3]; Bell terms it the Coleman-Hepp model [4]. Gaveau and Schulman consider a ring of such spins and extend the model to measure an atom passing near one of the spins of the ferromagnet. If the atom is in the excited state, it enhances the phonon coupling of that spin to the lattice, so as to create a critical droplet that flips the overall magnetization [5]. Another model is the few-degrees-of-freedom setup of an overdamped large oscillator measuring a small one [6,7]. To employ a Bose-Einstein condensate as a measuring apparatus has been proposed by ABN [8]. There is an entire amount of literature on the puzzling idea that only the environment is needed to describe quantum measurements [9][10][11].
To back up the popular von Neumann-Wheeler "theory" of quantum measurement, put forward in von Neumann's 1932 book on the Hilbert space structure of quantum mechanics [12,13], no working models are known to us, so that the ensuing "relative state" [14] or "many worlds interpretation" [15,16] remains at an intuitive level. The apparatus is supposed to start and remain in a pure state. Our own approach employing Hamiltonians for the measurement dynamics as elaborated in the next paragraph considers the apparatus to start in a metastable thermal state and to end up in a stable one. In the von Neumann-Wheeler philosophy, one would have to slice the initial mixed state in pure components and identify representative ones as "pure states of the apparatus". But these "states" interact with each other during the dynamical phase transition that makes the pointer indicate the outcome, so that the representative sliced "pure states" at the final time were extremely improbable initially, which makes the connection unnnatural.
Progress was made in this millenium, when our ABN collaboration introduced the "Curie-Weiss model for quantum measurement" [17]. Here, for a system S, which is just a spin- 1 2 that does not evolve in time, the operatorŝ z is measured by an apparatus A. The latter consists of a magnet M and a thermal bath B. M contains N 1 spins-1 2 and B is a harmonic oscillator bath in a thermal state at temperature T. The model appears to be rich enough to deal with various fundamental issues in quantum measurement. Many details of the dynamics and subsequently the thermodynamics were worked out in various followup papers [18][19][20][21][22] and further expanded and summarized in "Opus" [2]. Lecture notes on the subject were presented [23]. A straightforward interpretation for a class of such measurements models was provided [24]. A paper on teaching the ensuing insights is in preparation [25]. A numerical test on a simplified version of the Curie-Weiss model by Donker et al. reproduced nearly all of its properties [26].
The dynamics of the measurement can be summarized as follows: In a very small time window after coupling the system S to the apparatus A, there occurs a truncation of the density matrix (erasing Schrödinger cat terms) due to the first dephasing in the magnet and then decoherence due to the phonon bath. On a longer time scale, the registration of the measurement takes place because the coupling of S to A allows the magnet to leave its initial paramagnetic state and go to the thermodynamically stable state with magnetization upwards or downwards in the z-direction, which can then be read off.
The interpretation of quantum mechanics ensuing from these models is that the density matrix describes our best knowledge about the ensemble of identically prepared systems. The truncation of the density matrix (disappearance of Schrödinger cat terms) is a dynamical effect, while the Born rule follows in the case of an ideal experiment from the dynamical conservation of the tested operator. A quantum measurement consists of a large set of measurement runs on a large set of identically prepared systems. Reading off the pointer of the apparatus (the final upward or downward magnetization) allows for selecting the measurement outcomes and to update the predictions for future experimentation.
The insight that quantum mechanics must be only considered in its laboratory context was stressed in particular by Bohr, see Max Jammer [27], and is central in the approach of Auffèves and Grangier [28,29]. Their contexts-systems-modalities (CSM) approach is complementary to our model based approach. However, the latter proves rather than postulates the working of the setup and, among others, provides specifications for the (model) experiment to be close enough to ideal.
The aim of the present paper is to present Hamiltonians for the measurement ofŝ z of a higher spin like l = 1, 3 2 , 2, 5 2 . To have an unbiased apparatus, M must have a Z 2l+1 invariance for measuring any of the eigenvalues ofŝ z , to be denoted as s = −l, −l + 1, · · · , l. This is achieved by starting from cosines of the spins of M, while they allow a simplified connection to low moments of these spins. The manifest invariance in the cosine-formulation leads to a linear map between the moments.
In Section 2, we propose the formulation for the Hamiltonian of M for general spin-l. In Section 3, we verify that, for spin- 1 2 , this leads to the known Curie-Weiss model. In Section 4, we consider the thermodynamics of the spin-1 situation in detail. In Section 5, we investigate the thermodynamics for spins 3 2 , 2 and 5 2 . We close with a summary in Section 6.

General Spin
We aim to measure the z-component of an arbitrary quantum spin-l with (l = 1 2 , 1, 3 2 , 2, . . .). The eigenvalues s of the operatorŝ z (we indicate operators by a hat) lie in the spectrum (To simplify the notation, we replace the standard notation for spins by s → l and s z → s. For an angular momentum L 2 = l(l + 1), the model also applies to the measurement ofL z with eigenvalues m → s. We employ unitsh = k = 1).
The measurement will be performed by employing an apparatus with N 1 vector spins-l denoted byσ (i) , i = 1, · · · , N. . They have componentsσ a , a = x, y, z, which are coupled to a thermal harmonic oscillator bath; for the case l = 1 2 , this was worked out [2,17]. The generalization of such a bath for arbitrary spin-l is straightforward and will be applied to the spin-1 model in future work.
The eigenvalues σ i of eachσ (i) z lie also in the spectrum (1). Since the present work only considers these z-components, we can discard the operator nature and only deal with the eigenvalues, which are integer or half-integer numbers.
In order to have an unbiased apparatus, the Hamiltonian of the magnet should have maximal symmetry and degenerate minima. To construct such a functional, we consider the spin-spin form The expression in the middle is manifestly invariant under the shift of all σ i → σ i +σ mod 2l + 1 for anyσ ∈ spec l . C 2 is non-negative and lies between 0 for the paramagnet, and 1 for each of the 2l + 1 ferromagnetic states where all σ i take one of the values of (1). Since the σ i in (2) take the finite number of 2l + 1 values, their cosines and sines can be expressed as polynomials of order 2l in σ i , which, summed over i, leads the spin-moments m 1 , m 2 , · · · , m 2l , where Let, out of the N spins σ i , a number N σ = ∑ i δ σ i , σ be in state σ, with σ ∈ spec l and let Inversion of these relations determines the x σ as linear combinations of the m k . There is no simple general formula for this. In the next sections, we work out a number of low-l cases.
For the Hamiltonian H = H N /N, we shall follow [17] and adopt the spin-spin and four-spin terms while multi-spin interaction terms such as − 1 6 J 6 C 3 2 − 1 8 J 8 C 4 2 can be added, but they will not change the overall picture. In a quantum approach, the σ i →σ (i) z and the m k →m k will be operators; the Hamiltonian of the magnet M will beĤ M = H N (m k ).
The degeneracy of this state is the multinomial coefficient The entropy reads S N = log G = NS. With the Stirling formula, it follows that, for large N, The thermodynamic free energy per magnet spin is In order to use the magnet coupled to its bath as an apparatus for a quantum measurement, a coupling to the system S is needed. In the sector of Hilbert space where the tested quantum operatorŝ z has the eigenvalue s, the system-apparatus interaction can likewise be taken as a sum of spin-spin couplings, where g is the coupling constant. It will be seen that, for given l, it can be expressed as a linear combination of the moments m 1 , · · · , m 2l . When the coupling g is turned on, the total free energy per spin is F s (m 1 , · · · , m 2l ) = H − TS + I s . At low enough T, it has an absolute minimum when nearly all σ i are equal to s. In a measurement setup, one considers quantum dynamics of the system, starting initially in the paramagnetic state and evolving to this absolute minimum. In the paramagnet, the spins are randomly oriented, so the fractions x σ = 1 2l+1 are equal. This leads to the moments Clearly, the odd moments are zero. The relevant even moments are m 2 = 2 3 for l = 1; m 2 = 5 4 for l = 3 2 ; m 2 = 2 and m 4 = 34 5 for l = 2; and, in the case l = 5 2 , we finally consider m 2 = 35 12 and m 4 = 707 48 . The quantum evolution leads the system from the paramagnet to the lowest free energy state characterized by s, undergoing a dynamical phase transition and ending with different parameters m 1 , · · · m 2l . In a measurement setup, the 2l macroscopic order parameters M k = Nm k can be read off, and the "measured" value of s can be deduced from them.
The Z 2l+1 invariance implies that expressions for C 2 , U, S, F, I s and F s are invariant under the simultaneous permutations s → s = s + 1 mod 2l + 1 and σ i → σ i = σ i + 1 mod 2l + 1 for all i. For any sequence {σ 1 , · · · , σ N }, the numbers N σ = ∑ i δ σ i , σ and the fractions x σ = N σ /N are maintained. (An example for l = 1, N = 4: the sequence ). An equivalent method is to maintain σ while introducing x σ = x σ−1 mod 2l+1 . For k = 1, · · · 2l, this gives which, with m 0 = 1, can be written as the linear map between s and the m k , When the results for F s are known for one of the s-values, the results for other 2l cases can be obtained from that by applying this map 2l times. Indeed, our starting point with the manifestly invariant cosines in Equations (2) and (9) has straightforwardly led to this invariance as a map between the moments m k . It assures that the apparatus has no bias for measuring any particular s ∈ spec l value.

Recap: The Spin-1 2 Curie-Weiss Model
We will work out the above models for low values of the spin. We set the stage by considering the spin-1 2 situation, a gentle reformulation of the original Curie-Weiss model for quantum measurement [17]. In units ofh, the z-component of a spin l = 1 2 has the eigenvalues which implies cos πs = 0, sin πs = 2s.
The magnet has N such spins with each σ i ∈ {− 1 2 , 1 2 }. According to (2), we consider the Z 2 invariant In terms of the moment, which lies in the interval − 1 2 ≤ m 1 ≤ 1 2 , C 2 equals, using (2) and (13) for each σ i and summing, C 2 = 0 for the paramagnetic state m 1 = 0, while C 2 = 1 when all σ i equal s = ± 1 2 and m 1 = s. From (5), the Hamiltonian is taken as pair and quartet interactions, With x σ = N σ /N for σ = ± 1 2 , we have from (4) From (6) and (7), we obtain the standard result for the entropy at large N In order to use the magnet coupled to its bath as an apparatus for a quantum measurement, a system-apparatus (SA) coupling is needed. It can be chosen as a spin-spin coupling, where (13) was employed also for σ i . The free energy per spin in the s-sector, In accordance with (11), it has the invariance F ±1/2 (±m 1 ) = F ∓1/2 (∓m 1 ) required for an unbiased measurement. At low T, F s takes its lowest value for m 1 ≈ s = ± 1 2 . This state is reached near the end of the measurement, after which the apparatus is decoupled from the system by setting g → 0. Equation (20) shows that an amount of energy 4gNsm 1 = 2gN|m 1 | ≈ gN has to be added to M for the decoupling. After a quick relaxation to the nearby thermodynamic minimum of the g = 0 situation, the pointer, that is, the macroscopic magnetization M 1 = Nm 1 , can be read off, the sign of which reveals the sought sign of s.
The map (11) reads here m 1 = −m 1 , so that the paramagnet m 1 = 0 is its stable point. This should be because it is the fully random state, which is statistically invariant under permutation.
All of this is a reformulation of the original spin-1 2 Curie-Weiss model [17], which involves the notation s = 2s = ±1, σ i = 2σ i = ±1, so that its m ≡ 2m 1 lies between −1 and +1. The couplings J 2,4 in (5) and g in (20) keep their values; for example, the interaction term −4gsm in (20) lies for s = ± 1 2 and 1 2 ≤ m 1 ≤ 1 2 between −g and g, as does −gs m in [17]. This occurs by construction, since in the definitions (14) and (20), one has to adjust the arguments of the cosines, not their values.

The Spin-1 Curie-Weiss Model
We now work out similar steps in the model of Section 2 for spin 1 and analyze the thermodynamics.

Formulation of the Model
A spin-1 has discrete z-components s = 0, ±1. Since s 2k+1 = s and s 2k+2 = s 2 for k ≥ 1, the three values of the cosine and sine can be expressed as quadratic or linear polynomials in s, Using this with s → σ i and summing over i leads to introducing the moments Let N σ denote the number of spins with σ i = σ for σ = 0, ±1. In terms of the fractions Their inversion reads For these to be nonnegative, the physical values are limited to The actual values of m 1,2 are found as follows from (23). When all σ i = 0, m 1 = m 2 = 0. When one σ i = ±1, m 2 = ν and m 1 = ±ν, where ν ≡ 1/N; when two of the σ i are ±1, m 2 = 2ν and m 1 = ±2ν or 0; when 3 are ±1, m 2 = 3ν and m 1 = ±3ν or ±ν, and so on. Thus, m 2 ranges from 0 to 1 with steps of ν, while m 1 ranges from −m 2 to m 2 with steps of 2ν.
To construct the energy, we consider the Z 3 invariant of the spins of the magnet Expanding the cosine, employing (22) for the σ i and summing yields a polynomial in the moments m 1,2 , For the Hamiltonian, we take as in (5) The degeneracy of states characterized by m 1,2 is the multinomial Equation (7) yields the explicit result for the entropy per spin S = S N /N = (log G)/N at large N, The Z 3 symmetry of these quantities can be expressed by considering the permutation (11), as can be verified in the special case in the second alinea after Equation (10). It follows that As expected, the weights (25) are permuted, so that U, S and F are invariant, as required for unbiased measurement, and implying that the minima of F are degenerate; see Figure 1. (Due to (6), S N = log G is invariant at any finite N). Making the shift s → s = s + 1 mod 3 a second time, or the inverse shift s → s = s − 1 mod 3, leads (32) to Inserting (32) in the right-hand side of m 1,2 leads to m 1,2 = m 1,2 , the identity map, as it should.
In this setting, the magnet can be employed for quantum measurement. In the final state, one reads off M 1 = Nm 1 , which is close to 0 or ±N, and M 2 = Nm 2 , which is close to 0 or N, well separated from the initial paramagnetic values M 1 = 0, M 2 = 2 3 N.
The thermodynamic free energy is The ferromagnetic states m 1 = m 2 = 0 and m 1 = ±1, m 2 = 1 have C 2 = 1 and S = 0. The paramagnet (m 1 = 0, m 2 = 2 3 ) has energy zero and maximal entropy per spin, S = log 3. For T low enough, one can use the model as a measuring apparatus that starts in the metastable paramagnetic state and ends up in one of the three degenerate stable states. To measure the z-component s = 0, ±1 of a spin-1, we assume that the tested spin S has a spin-spin coupling with all spins of the apparatus. For the SA coupling (9), we obtain, using (22) for s and the σ i , It is invariant for s → s = s + 1 mod 3 and likewise for the σ i , the latter being equivalent to m 1,2 → m 1,2 as given in (32), which, with the invariance of H N and S N , assures absence of bias in the measurement.

The Paramagnetic State
The paramagnetic state has m 1 = 0, m 2 = 2 3 . It is invariant under the map (32), as expected, since it refers to the completely random state. One may verify the total weight of this state for large N in the Stirling approximation, which leads to small Gaussian deviations δm 1 = m 1 − 0 and δm 2 = m 2 − 2 3 , Expansion brings likewise C 2 ≈ 3 4 (δm 2 1 + 3δm 2 2 ), which yields At high T, the paramagnetic state is the only stable state. At lower T, it remains locally stable for T > 1 2 J 2 ; in the case of J 2 ≤ 0, it is locally stable at all T. In the measurement setup, this local stability is required to let the apparatus lie in the metastable paramagnetic state ("ready state") until the measurement is started.

The Equilibrium States of the Magnet
The free energy F(m 1 , m 2 ) is given by (28) and (35). For the case J 2 = 0, J 4 = 1 and T = 0.4, it is depicted in Figure 1. It has three minima, of which one occurs at m 1 = 0 and small m 2 . At m 1 = 0, one has Its mean field equation reads The paramagnetic state having m 2 = 2 3 and h = 0 is the only stable state at high T. In case J 2 = 0, there appears a metastable (ms) state m 1 = 0, m 2 > 0 when ∂ m 2 F = ∂ 2 m 2 F = 0 develops a solution at Below the critical temperature T c , this state attains the absolute minimum of the free energy, Let, for general T < T c , F has an absolute minimum at m * 1 = 0 and small m * 2 ; for T = 0.2J 4 as in Figure 1, m * 2 = 0.00114849. The Z 3 symmetry ensures that this minimum is degenerate with the pair of minima at the symmetry points (m 1 , . With m * 2 being small, the minima lie close to the edge values (m 1 , m 2 ) = (0, 0), (1, 1) and (−1, 1), respectively, where the magnet is polarized with nearly all σ i equal 0, 1 and −1, respectively.
When J 2 = 0, it may be negative, but 1 2 is needed for the minimum at m * 2 to have a lower free energy than the paramagnet and thus be the absolute minimum.

The Thermodynamic Equilibrium State of M Coupled to S
The total free energy per particle F s = U − TS + I s has an absolute minimum for each s, which is most easily analyzed for low T. For s = 0, it is optimal to have m 1 = 0, m 2 ≈ 0, which occurs when nearly all σ i are 0; for s = ±1, it is optimal to have m 1 ≈ s, m 2 ≈ 1, which occurs at low T when nearly all σ i are equal to s. This correlation between the apparatus spins σ i and tested spin s allows for employing the setup as an apparatus that measures s by reading off the macroscopic order parameters M 1,2 = Nm 1,2 of the magnet. Hereto, one sets g from 0 to a large enough positive value at an initial time t i of the measurement and puts it back to zero near the final time t f . In the first stage, the magnet goes at given s to the state with lowest F s ; after cutting g, there occurs a small rearrangement to the nearby stable state of F. Then, the macroscopic order parameters M 1,2 can be read off, which determine s.
At large enough g and proper low T, F s (m 1 , m 2 ) has one absolute minimum for each s; see Figure 2 for the case s = 1. It suffices to know F s for one of the cases, say s = 1. The profiles for s = −1, 0 read, in the notations of (32) and (34), F −1 (m 1 , m 2 ) = F 1 (m 1 , m 2 ) and F 0 (m 1 , m 2 ) = F 1 (m 1 , m 2 ). The free energy at m 1 = 0 is relevant in the case s = 0. With the SA interaction I 0 included, it reads Its mean field Equation (40) now includes g, The paramagnet m 2 = 2 3 is not a solution at g = 0. When J 2 = 0 and T = 0.4J 4 , a coupling g > g c = 0.170642 J 4 is needed to suppress the barrier around m 2 = 0.4352046 between the paramagnetic and F 0 state, so that the ferromagnetic pointer state can be reached dynamically by "sliding off the hill".
For small T, which can be used when J 2 is small or negative but T > 1 2 J 2 , m 2 is exponentially small, The free energy, equal to lies slightly below the corner value at m 1 = m 2 = 0 and well below the paramagnetic F = −T log 3. The free energy F s for the case s = 1 is plotted in Figure 1 as a function of m 1,2 . For m 1 = 0 it is plotted as function of m 2 in Figure 3, both for g = 0 and g = 0.
The stability of a extremal state with m * 1 = 0 and finite m * 2 is set by while ∂ m 1 ∂ m 2 F = 0. For small T, one has m * 2 1, so these are approximately equal to T/m * 2 , making this point is stable. There are two related stable points: The minimum of F at m * In all cases, m * 1 ≈ s = 0, ±1 and m * 2 ≈ s 2 = 0, 1. If m 2 = 1, the value x 0 = 0 shows that σ = 0 states are empty, so that only the σ = ±1 states participate, effectively a spin 1 2 system. This can be achieved by a strong repulsive magnetic field in the 0-direction, expressed by the Hamiltonian

An Apparatus That Measures Only Two Values of s z of a Spin 1
Suppose that we couple the l = 1 spin S to an apparatus with spins σ i = ± 1 2 , which have |m 1 | ≤ 1 2 and m 2 = 1 4 . Let the interaction Hamiltonian not be set by (36) but by In each sector s = 0, ±1, the first term is a constant that can be dropped. For s = ±1, registration takes place as in the spin-1 2 CW model of Section 2, where the sign of the final total magnetization M 1 = Nm 1 is set by the sign of s. In the sector s = 0, there is no coupling between system and apparatus, hence no dynamics takes place: the apparatus does not act; not even a truncation of the density matrix occurs.

Higher Spin Models
Proceeding in a similar way as for spin 1 2 and 1, we consider the cases of spin l = 3 2 , 2 and 5 2 .

Spin 3/2
The z-component of a spin l = 3 2 can take the values This implies which may be expressed by the at most cubic polynomials The magnet has N such spins σ i . We consider the Z 4 invariant Expression in the magnetic moments takes the form with the standard definitions C 2 = 1 when all σ i equal any of the s values, in which m k = s k , as it should.
The paramagnetic state (55) is invariant under the map, as it should for the completely random state.

Spin 2
The z-component of a spin 2 takes one of the values which arise from the properties cos 2πs 5 = co(s 2 , s 4 ), sin 2πs 5 = si(s, s 3 ).
From Equation (2), it follows that In the paramagnet, one has random σ i , so that which amounts to m 1 = m 3 = 0, m 2 = 2, m 4 = 34/5, confirming that C 2 vanishes. The moments read The x k follow as and fix the entropy by (7). The ferromagnetic state m k = s k indeed has x σ = δ σ,s and S = 0.
The possible values of m k follow from m k = (1/N) ∑ i σ k i , which make the x σ nonnegative. The degeneracy (6) leads for large N to the entropy The SA coupling (9) The map (11) takes the form 4 24 , They must be nonnegative, which sets the physical ranges of the m k , next to |m k | ≤ (5/2) k for k = 1, 3, 5 and 1/2 k ≤ m k ≤ (5/2) k for k = 2, 4 from their definitions m k = ∑ σ x σ σ k = ν ∑ i σ k i . The map (11)  It leaves C 2 of Equation (75) invariant, and, with s → s = s + 1 mod 6, also I s of Equation (76). The stable point of the map is the paramagnet described by m 1 = m 3 = m 5 = 0, m 2 = 35 12 and m 4 = 707 48 .

Summary
Interpretation of quantum mechanics should be based on its touchstone with reality, that is, on the action of an idealized apparatus that performs a large set of measurements on a large set of identically prepared systems. For measurement of the z-component of spins- 1 2 , a rich enough model was formulated, the Curie-Weiss model for quantum measurement [17], where the apparatus consists of an Ising magnet M having itself N 1 spins- 1 2 , coupled to thermal harmonic oscillator bath. Details of the dynamical solution were summarized and further worked out in "Opus" [2]. In order to have an unbiased measurement, it is required that the Hamiltonian is symmetric under reversal of all spins of M, and that the interaction Hamiltonian is symmetric under their reversal and reversal of the tested spin.
The purpose of this paper is to construct models to measure the z-component of a quantum spin or angular momentum l ≥ 1, which takes the values s = −l, −l + 1, · · · , l. In order to have an unbiased setup, a Z 2l+1 invariance is required. This is achieved by starting from cosines and sines of 2πs/(2l + 1), for the tested spin and the N spins of the magnet, which are manifestly invariant under the shift s → s + 1 mod 2l + 1. Shapes for the energy functional and the interaction energy are proposed, which are invariant under the shift, and so is the corresponding entropy. Since s takes discrete values, the cosines and sines can be expressed in powers s k , k, = 1 · · · , 2l. For the magnet, each of them leads to an order parameter, the first being the magnetization. The Z 2l+1 symmetry now gets coded in a linear map between the order parameters. The general form of the Hamiltonian, the free energy, and the map is worked out for spin 1 2 , 1, 3 2 , 2 and 5 2 . For the spin 1-case, the thermodynamics are discussed in detail.
To deal with the measurement dynamics, the x, y, z components of each quantum spin of the magnet can be coupled to a harmonic oscillator bath such as in the spin- 1 2 case, which yields the dynamical equations in the early truncation and the subsequent registration periods. This subject is presently under study.
In conclusion, the purpose of this work was to support the previous ABN works for interpretation of quantum mechanics based on the dynamics of quantum measurement of a spin 1 2 . This goal is achieved by constructing models for spin 1 and larger that can likewise be investigated dynamically. Since it is clear from the ABN works that the measurement dynamics is set by its thermodynamics, it can already be expected that the new models will exhibit similar dynamics. We have demonstrated that the thermodynamics of the new models are similar in structure to the spin 1 2 case, be it at the cost of additional order parameters. The agreement in structure and thermodynamics between the well documented spin 1 2 model for quantum measurement and the present models for larger spin support the ABN interpretation of quantum mechanics that was put forward previously.