Disproving hidden variable models with spin magnitude conservation

Abstract

The squares of the three components of the spin-s operators sum up to s(s + 1). However, a similar relation is rarely satisfied by the set of possible spin projections onto mutually orthogonal directions. This has fundamental consequences if one tries to construct a hidden variable (HV) theory describing measurements of spin projections. We propose a test of local HV models in which spin magnitudes are conserved. These additional constraints imply that the corresponding inequalities are violated within quantum theory by larger classes of correlations than in the case of standard Bell inequalities. We conclude that in any HV theory pertaining to measurements on a spin one can find situations in which either HV assignments do not represent a physical reality of a spin vector, but rather provide a deterministic algorithm for prediction of the measurement outcomes, or HV assignments represent a physical reality, but the spin cannot be considered as a vector of fixed length.

Introduction

Quantum theory allows to probabilistically predict measurement outcomes, however it says nothing about the underlying physical reality of a system that is measured. In the early days of quantum physics, it was often assumed that an extension of the theory using some additional hidden variables (HVs) would provide one with mathematical tools to describe the underlying reality. However, this assumption lead to fundamental physical consequences, such as nonlocality or contextuality^{1,2,3,4,5,6,7,8,9}.

In this work, we revisit the above problem and show that any HV theory of spin either describes the underlying physical reality, but the magnitude of the spin is not conserved, or the magnitude is conserved, but HVs do not determine the underlying physical reality—they only provide a deterministic algorithm for calculating the outcomes of measurements. This observation is a nonclassical aspect of spin systems that is related, but distinct, from the Bell¹, the Kochen–Specker³, and the Leggett theorems⁴.

We argue that a physical HV model should not only be local, realistic and noncontextual, but should also obey the conservation laws. In case of spin systems the model should conserve angular momentum, i.e., the length of spin vectors should be fixed (see refs. ^10,11,12 for another additional constraints on HV models). As a result, our model extends the nonclassical behavior to a broader class of quantum states. There are spin states that are local and noncontextual, but whose spin vector cannot be described by a magnitude conserving model. Apart from foundational importance, the spin magnitude conserving HV model can have potential applications in various fields of quantum physics. Moreover, we show that the model can be tested in experiments analogous to the ones testing standard locality and noncontextuality. New experiments can be performed and some old ones can be re-examined.

Results

The problem of spin magnitude in hidden variable theories

Let us first recall some basic facts. Consider a spin s particle whose spin state is represented by a vector or a density matrix in a (2s + 1)-dimensional Hilbert space. The number s is either an integer or a half-integer. The average values of spin coordinates can be determined with a help of the three spin operators $\hat S_x$, $\hat S_y$, and $\hat S_z$¹³. The spectrum of each operator is: s, s − 1, …, −s. These eigenvalues correspond to possible spin projections onto a given axis. The spin values are given in the ħ units and, as is done commonly in the literature, we assume ħ = 1. Interestingly, $\hat S_x^2 + \hat S_y^2 + \hat S_z^2 = s(s + 1)\hat 1$, where $\hat 1$ is the identity operator. The above formula implies that any spin s state is an eigenvector of the sum of squared spin operators, therefore the value of the spin length is state independent and equal to $\sqrt {s(s + 1)}$. In addition, the relation for the sum of squares does not depend on the choice of directions x, y, and z. What matters, is that the directions are mutually orthogonal.

However, imagine that there is a HV theory that assigns a well-defined value to each spin operator. More precisely, each spin operator $\hat S_n$, where n denotes the direction in space, is pre-assigned one of 2s + 1 eigenvalues, say $v\left( {\hat S_n} \right) = s - 1$. The Kochen–Specker theorem³ states that for s ≥ 1 such assignment is not possible for some properly chosen sets of directions, but it is in principle possible to do it for three mutually orthogonal directions x, y, and z for any s.

Here, we focus on the following problem. We know that it is possible to deterministically assign eigenvalues to three spin operators for mutually orthogonal axes. This results in a HV description of spin vector ${\bf{s}} = \left( {v\left( {\hat S_x} \right),v\left( {\hat S_y} \right),v\left( {\hat S_z} \right)} \right)$. However, is it possible to satisfy ${\bf{s}} \cdot {\bf{s}} = v\left( {\hat S_x} \right)^2 + v\left( {\hat S_y} \right)^2 + v\left( {\hat S_z} \right)^2 = s(s + 1)$?

The above question has a positive answer for some values of s, but before we provide a general answer, let us consider three examples. For s = 1/2 the HV model leads to ${\bf{s}} = \left( { \pm \frac{1}{2}, \pm \frac{1}{2}, \pm \frac{1}{2}} \right)$, hence s · s = 3/4 = s(s + 1). Therefore, for s = 1/2 a HV model naturally conserves the spin magnitude.

For s = 1, one has s · s = s(s + 1) = 2 and the spin magnitude is conserved for HV assignments of the form (±1, ±1, 0), (±1, 0, ±1), or (0, ±1, ±1). Therefore, it is possible to construct a spin magnitude-preserving HV model by carefully choosing proper eigenvalue assignments.

The smallest s for which all HV assignments do not satisfy s · s = s(s + 1) is s = 3/2. This time the eigenvalues of a spin operator are $\pm \frac{3}{2}$ and $\pm \frac{1}{2}$, whereas $s(s + 1) = \frac{{15}}{4}$. All HV assignments can be split into four classes: $\left( { \pm \frac{3}{2}, \pm \frac{3}{2}, \pm \frac{3}{2}} \right)$, $\left( { \pm \frac{3}{2}, \pm \frac{3}{2}, \pm \frac{1}{2}} \right)$, $\left( { \pm \frac{3}{2}, \pm \frac{1}{2}, \pm \frac{1}{2}} \right)$, $\left( { \pm \frac{1}{2}, \pm \frac{1}{2}, \pm \frac{1}{2}} \right)$. They lead to the following values of s · s: $\frac{{27}}{4}$, $\frac{{19}}{4}$, $\frac{{11}}{4}$ and $\frac{3}{4}$, respectively. None of them is equal to $\frac{{15}}{4}$, therefore the physical interpretation of the HV model is either that s represents the physical reality but the spin magnitude is not conserved, or that s does not represent the physical reality but provides a deterministic method for calculating outcomes of measurements.

For an arbitrary s the spin magnitude conserving HV model can be in principle constructed for half of the half-integer cases and most of the integer ones (Methods). For the values of s for which it cannot be constructed one can speak of a phenomenon that is analogous to the state-independent contextuality^14,15, namely there is no model for any state. For the remaining cases, one needs to look for less straightforward methods to refute this model.

Firstly, note that for most s values, even if there is a model, only a limited number of possible spin projections can be measured if the spin magnitude is to be conserved. The remaining projections can never be measured according to the model, so if they are measured, the model is contradicted. For example, for s = 2 we have s(s + 1) = 6. The only HV assignments allowed by our model are of the form (±2, ±1, ±1) and all permutations thereof. Nevertheless, it is in principle possible to measure that a projection of the spin onto some axis is zero. This value does not occur in any allowable HV assignment, therefore by measuring projection zero one automatically refutes the model. However, there exist states, such as |s = 2, s_z = 1〉, for which the probability of measuring a projection zero along the directions x, y, or z is zero. This is because this state is orthogonal to |s = 2, s_x = 0〉, |s = 2, s_y = 0〉, and |s = 2, s_z = 0〉. Therefore, the above example can be considered as a state-dependent scenario (with respect to measurements along the x, y, and z axes).

Bell-like scenario

In general, the state-dependent HV scenarios are tested with the help of Bell-like inequalities¹⁶. Therefore, our next goal is to find such an inequality to test our spin magnitude conserving model.

Since we are interested in the magnitudes of spin vectors, we should focus on spin measurements along three mutually orthogonal directions $\hat S_x$, $\hat S_y$, and $\hat S_z$. Although these measurements cannot be performed jointly, due to a lack of commutation, they are deeply related because of the physical properties of the model studied by us. However, these three measurements are not enough to construct any meaningful Bell-like inequality. We need more measurements. A natural choice, the one we follow, is to consider a bipartite scenario with a spatially separated pair of spins, which we label A and B, and a set of six measurements:

$$\hat S_i^{(A)} \equiv \hat S_i \otimes 1,$$

(1)

$$\hat S_j^{(B)} \equiv 1 \otimes \hat S_j,$$

(2)

where i, j = x, y, z.

The general form of the correlation inequality for two spin-s particles and the six spin operators is of the form

$$c_{xx}\left\langle {\hat S_x^{(A)}\hat S_x^{(B)}} \right\rangle + c_{xy}\left\langle {\hat S_x^{(A)}\hat S_y^{(B)}} \right\rangle + \ldots + c_{zz}\left\langle {\hat S_z^{(A)}\hat S_z^{(B)}} \right\rangle \ge \beta ,$$

(3)

where c_kl are real coefficients and β is the classical bound derived from our model. The above can be rewritten as

$$\left\langle {{\bf{S}}^{{\mathbf{(}}{\bf{A}}{\mathbf{)}}} \cdot {\bf{C}} \cdot {\bf{S}}^{{\mathbf{(B)}}}} \right\rangle \ge \beta ,$$

(4)

where ${\bf{S}}^{{\mathbf{(}}{\bf{X}}{\mathbf{)}}} = \left( {\hat S_x^{(X)},\hat S_y^{(X)},\hat S_z^{(X)}} \right)$ is the vector of operators and

$${\bf{C}} = \left( {\begin{array}{*{20}{c}} {c_{xx}} & {c_{xy}} & {c_{xz}} \\ {c_{yx}} & {c_{yy}} & {c_{yz}} \\ {c_{zx}} & {c_{zy}} & {c_{zz}} \end{array}} \right).$$

(5)

Before we derive an inequality for general s, let us consider few examples for s = 1 and s = 2.

Example 1

Consider two spin-1 particles and the following inequality

$$\begin{array}{l} - \left\langle {\hat S_x^{(A)}\hat S_x^{(B)}} \right\rangle - \left\langle {\hat S_x^{(A)}\hat S_y^{(B)}} \right\rangle - \left\langle {\hat S_y^{(A)}\hat S_x^{(B)}} \right\rangle \\ + \left\langle {\hat S_y^{(A)}\hat S_y^{(B)}} \right\rangle - \left\langle {\hat S_z^{(A)}\hat S_z^{(B)}} \right\rangle \ge \beta .\end{array}$$

(6)

One can easily show by considering all possible HV assignments, which in our model are of the form s_X = (±1, ±1, 0), including all possible permutations, that the classical HV bound taking into account the conservation of the spin vector magnitude is β = −2.

On the other hand, the classical HV bound which does not take into account the spin magnitude and allows for assignments such as (±1, ±1, ±1), or (±1, 0, 0), leads to the bound $\bar \beta = - 3$.

Finally, one can find that in quantum theory the spin magnitude conserving bound can be violated down to $\beta _Q = - \frac{{\left( {1 + \sqrt {17} } \right)}}{2} = - 2.5616$. This value corresponds to the lowest eigenvalue of the Bell operator S^(A) · C · S^(B), whereas the corresponding eigenvector is the quantum state that violates the inequality the most. This means that in the corresponding scenario quantum theory cannot be described by a model in which spin magnitudes are conserved, but can be described, in principle, by the model in which the magnitudes are not conserved. Interestingly, the quantum state giving the maximal violation β_Q above is not a maximally entangled two-qutrit state. It is a partially entangled state with two equal Schmidt coefficients, and the third Schmidt coefficient being nonzero. A similar situation occurs in the case of the well-known Collins–Gisin–Linden–Massar–Popescu (CGLMP) inequality¹⁷.

Example 2

Consider another inequality and two spin-1 particles

$$\begin{array}{l} - \left\langle {\hat S_x^{(A)}\hat S_x^{(B)}} \right\rangle - \left\langle {\hat S_x^{(A)}\hat S_y^{(B)}} \right\rangle - \left\langle {\hat S_x^{(A)}\hat S_z^{(B)}} \right\rangle \\ - \left\langle {\hat S_y^{(A)}\hat S_x^{(B)}} \right\rangle - \left\langle {\hat S_y^{(A)}\hat S_y^{(B)}} \right\rangle - \left\langle {\hat S_y^{(A)}\hat S_z^{(B)}} \right\rangle \\ - \left\langle {\hat S_z^{(A)}\hat S_x^{(B)}} \right\rangle - \left\langle {\hat S_z^{(A)}\hat S_y^{(B)}} \right\rangle + 3\left\langle {\hat S_z^{(A)}\hat S_z^{(B)}} \right\rangle \ge \beta \end{array}$$

(7)

This time β = −4, $\bar \beta = - 7$, and $\beta _Q = - \sqrt {17} = - 4.1231$.

Example 3

Finally, consider two spin-2 particles and the following inequality

$$\begin{array}{l}(5{\mathrm{/}}2)\left\langle {\hat S_x^{(A)}\hat S_x^{(B)}} \right\rangle + 2\left\langle {\hat S_x^{(A)}\hat S_y^{(B)}} \right\rangle - \left\langle {\hat S_x^{(A)}\hat S_z^{(B)}} \right\rangle \\ + (5{\mathrm{/}}2)\left\langle {\hat S_y^{(A)}\hat S_x^{(B)}} \right\rangle - 2\left\langle {\hat S_y^{(A)}\hat S_y^{(B)}} \right\rangle - \left\langle {\hat S_y^{(A)}\hat S_z^{(B)}} \right\rangle \\ - (3{\mathrm{/}}2)\left\langle {\hat S_z^{(A)}\hat S_x^{(B)}} \right\rangle - 3\left\langle {\hat S_z^{(A)}\hat S_z^{(B)}} \right\rangle \ge \beta \end{array}$$

(8)

For this example β = −20, $\bar \beta = - 34$, and β_Q = −20.1897.

Note that there is a geometric interpretation of the inequalities above. Namely, the set of local distributions with conserved spin magnitude form a polytope ${\cal P}$ in the (9-dimensional) space of correlations. This polytope ${\cal P}$ is completely characterized by a finite number of vertices, each of them corresponding to a possible deterministic HV assignment. In the HV model, any correlation can be expressed as a convex combination of deterministic HV assignments, hence it is a point lying inside the polytope ${\cal P}$. Conversely, any point outside the polytope ${\cal P}$ can be detected with inequalities which define the facets of the polytope ${\cal P}$. Each of the three examples above are such kind of inequalities, which detect quantum correlations that admit a standard HV model, however, not reproducible with HV models, where the spin magnitude is conserved.

Inequality for general s

The inequalities in the above examples seem not to be related and one may get an impression that for each s one needs to derive an independent inequality, which would make the problem much more complicated. However, we show that a universal approach is possible and one can derive an inequality which can be violated for any s (Methods). The main idea behind the derivation is to use the symmetry of the two spin-s singlet state and to assume that the matrix C is an orthogonal rotation matrix, i.e., the columns and the rows of C are normalized and orthogonal and its determinant is one.

Example of an inequality for a general s

Consider the following rotation matrix

$${\bf{C}} = \left( {\begin{array}{*{20}{c}} {\frac{1}{{\sqrt 2 }}} & { - \frac{1}{{\sqrt 2 }}} & 0 \\ {\frac{1}{{\sqrt 2 }}} & {\frac{1}{{\sqrt 2 }}} & 0 \\ 0 & 0 & 1 \end{array}} \right).$$

(9)

This matrix leads to a Bell-like inequality (4) that tests the spin magnitude conserving HV model for two spin-s particles. The inequality is violated by the locally rotated singlet state $\left| \phi \right\rangle = \hat U^{(B)}\left| {\psi _0} \right\rangle$, where

$$\left| {\psi _0} \right\rangle = \frac{1}{{\sqrt {2s + 1} }}\mathop {\sum}\limits_{m = - s}^s ( - 1)^{s - m}\left| m \right\rangle \otimes \left| { - m} \right\rangle ,$$

(10)

and $\hat U^{(B)}$ is the unitary transformation corresponding to rotation of spin B that is generated by the rotation matrix (9)—for details see Methods. The quantum value is −s(s + 1), which is always less than the classical magnitude conserving bound. In Table 1 we present some examples of quantum values and classical bounds.

Table 1 Quantum violations of the inequality (4) with C given by (9)

Discussion

We have shown that if, except for the assumptions of locality, noncontextuality and realism, one also requires that spin magnitudes are conserved in a two spin-s correlation-type experiment, it leads to a stronger version of Bell–Kochen–Specker theorem. Depending on s, our findings can be formulated either as a state-independent no-go theorem, or as state-dependent inequalities. The bounds on our inequalities can be derived using either standard local HV (LHV), which do not assume that sum of squares of spin observables is s(s + 1), or using our LHV model (call it LHV′), which assumes that such sum gives s(s + 1). The bounds derived from LHV′ are tighter, therefore the LHV′ polytope lies inside the LHV polytope. In other words, any correlation lying inside the LHV′ polytope automatically lies inside the LHV one, but there are correlations inside the LHV polytope, but outside the LHV′ one. Hence, the inequalities with the additional constraints are violated by a wider class of correlations than in the case of standard Bell inequalities. We conclude that one can find situations in which HV models are in conflict with the conservation of angular momentum law and cannot be represented by states of a physical spin.

Methods

Magnitude conservation for arbitrary s

We look for a solution to the following equation:

$$s_x^2 + s_y^2 + s_z^2 = s(s + 1),$$

(11)

where we used a simplified notation $s_x = v\left( {\hat S_x} \right)$, $s_y = v\left( {\hat S_y} \right)$, and $s_z = v\left( {\hat S_z} \right)$. The numbers s, s_i (i = x, y, z) are either all integers or half-integers. We are going to show that: for the half-integer case Eq. (11) has a solution iff 2s = 1 (mod 4), i.e., $s = \frac{1}{2},\frac{5}{2},\frac{9}{2}, \ldots$; for the integer case Eq. (11) has a solution iff s cannot be written in either of the forms:

$$s = 4(8i + 3),$$

(12)

$$s = 16(8i + 7) \times 4^j,$$

(13)

$$s = 4(8i + 5) - 1,$$

(14)

$$s = 16(8i + 1) \times 4^j - 1,$$

(15)

where i and j are non-negative integers. The first few integer values of s for which there is no solution are s = 12, 15, 19, 44, 51, …

The above can be proven by using the Legendre’s three-square theorem of 1798 (see, e.g., refs. ¹⁸). It tells that a non-negative integer n can be written as a sum of three squares of integers iff n is not of the form

$$4^a(8b + 7),$$

(16)

where a and b are non-negative integers.

Half-integer case. We multiply Eq. (11) by 4 and get $\left( {2s_x} \right)^2 + \left( {2s_y} \right)^2 + \left( {2s_z} \right)^2 = 2s(2s + 2)$, where 2s, 2s_x, 2s_y, and 2s_z are odd integers. As the right-hand side (RHS) is odd, we only need to consider the case (16) with a = 0. Hence, the RHS can be written as a sum of three squares of integers iff it is not 7 (mod 8), where (mod i) denotes modulo-i operation. We have two cases: either (i) 2s = 1 (mod 4), then 4s = 2 (mod 8), thus (2s)² + 2(2s) = 3 (mod 8), or (ii) 2s = 3 (mod 4), then 4s = 6 (mod 8), thus (2s)² + 2(2s) = 7 (mod 8). Therefore, in the latter case there is no solution.

In the former case, the RHS can be written as a sum of three squares of integers. What we should prove is that all three numbers are squares of odd integers. It is clear that the square of an odd integer is odd and the square of an even integer is even. Next, the sum of squares of three odd integers is always 3 (mod 8). This is a straightforward consequence of the fact that (2k + 1)² = 1 + 8k(k + 1)/2 and k(k + 1)/2 is an integer if k is an integer. The sum of squares of two even numbers and an odd number (the only other way to get an odd RHS) can not be 3 (mod 8), because the square of an even number is either 0 (mod 8) or 4 (mod 8), so this way the LHS is either 1 (mod 8) or 5 (mod 8). This concludes the proof for the half-integer case.

Integer case. How can s(s + 1) take the form in Eq. (16)? Since s(s + 1) is even, a in Eq. (16) cannot be 0.

First let s be even. We can assume s = 4^aq, where q is an odd integer. This is because the even factor in the product s(s + 1) is 4^a, which must be contained in s, and s must not contain any more even factor. Then, s(s + 1) = 4^a(4^aq² + q). Hence (4^aq² + q)7 (mod 8). From previous proof we know that q² = 1 (mod 8) which implies 4^a + q = 7 (mod 8). If a = 1 the above condition means q = 3 (mod 8), while if a > 1 the above condition means q = 7 (mod 8). The former case corresponds to (12), while the latter one to (13).

Now let s be odd. In this case, s + 1 = 4^aq, where q is an odd integer for the same reason as in the even case. Then s(s + 1) = (4^aq − 1)4^aq = 4^a(4^aq² − q). This is of the form Eq. (16) iff 4^a − q = 7 (mod 8) (see argument above). If a = 1, then the above condition means q = 5 (mod 8), while if a > 1 the above condition means q = 1 (mod 8). The former case corresponds to (14), while the latter one to (15).

Derivation of the inequality for general s

Consider the following state

$$\left| {\psi _0} \right\rangle = \frac{1}{{\sqrt {2s + 1} }}\mathop {\sum}\limits_{m = - s}^s ( - 1)^{s - m}\left| m \right\rangle \otimes \left| { - m} \right\rangle .$$

(17)

This is a singlet state of two spin-s particles. It is maximally entangled and the corresponding total angular momentum is zero. As a result, the state is invariant under rotations generated by $e^{i{\bf{n}} \cdot {\bf{S}}^{{\mathbf{(}}{\bf{A}}{\mathbf{)}}}\theta } \otimes e^{i{\bf{n}} \cdot {\bf{S}}^{{\mathbf{(}}{\bf{B}}{\mathbf{)}}}\theta }$, where θ is the angle of rotation of each spin about the n axis.

Next, let us consider correlations

$$\left\langle {\psi _0} \right|\hat S_z^{(A)}\hat S_z^{(B)}\left| {\psi _0} \right\rangle = - \frac{1}{{2s + 1}}\mathop {\sum}\limits_{m = - s}^s {\kern 1pt} m^2.$$

(18)

The above can be evaluated using the formula for square pyramidal numbers (see, e.g., refs. ¹⁹)

$$\mathop {\sum}\limits_{k = 1}^n {\kern 1pt} k^2 = \frac{{n(n + 1)(2n + 1)}}{6}.$$

(19)

We get

$$\left\langle {\psi _0} \right|\hat S_z^{(A)}\hat S_z^{(B)}\left| {\psi _0} \right\rangle = - \frac{{s(s + 1)}}{3}.$$

(20)

The rotational symmetry implies

$$\begin{array}{l}\left\langle {\psi _0} \right|\hat S_x^{(A)}\hat S_x^{(B)}\left| {\psi _0} \right\rangle = \left\langle {\psi _0} \right|\hat S_y^{(A)}\hat S_y^{(B)}\left| {\psi _0} \right\rangle \\ = \left\langle {\psi _0} \right|\hat S_z^{(A)}\hat S_z^{(B)}\left| {\psi _0} \right\rangle = - \frac{{s(s + 1)}}{3},\end{array}$$

(21)

Therefore,

$$\mathop {\sum}\limits_{j = x,y,z} \left\langle {\psi _0} \right|\hat S_j^{(A)}\hat S_j^{(B)}\left| {\psi _0} \right\rangle = \left\langle {{\bf{S}}^{{\mathbf{(}}{\bf{A}}{\mathbf{)}}} \cdot {\bf{C}}_{{\mathrm{id}}} \cdot {\bf{S}}^{{\mathbf{(}}{\bf{B}}{\mathbf{)}}}} \right\rangle _{\psi _0} = - s(s + 1),$$

(22)

where C_id is a 3 × 3 identity matrix.

Next, consider an Euler rotation of the second spin generated by $\hat U^{(B)} = e^{i\hat S_z^{(B)}\theta }e^{i\hat S_y^{(B)}\varphi }e^{i\hat S_z^{(B)}\xi }$. If this rotation is applied to the singlet state one gets

$$\left| \phi \right\rangle = \hat U^{(B)}\left| {\psi _0} \right\rangle .$$

(23)

As a result

$$\mathop {\sum}\limits_{j = x,y,z} \left\langle \phi \right|\hat S_j^{(A)}\hat U^{(B)}\hat S_j^{(B)}\hat U^{(B)\dagger }\left| \phi \right\rangle = - s(s + 1).$$

(24)

However, the above can be rewritten as

$$\left\langle {{\bf{S}}^{{\mathbf{(}}{\bf{A}}{\mathbf{)}}} \cdot {\bf{C}} \cdot {\bf{S}}^{{\mathbf{(}}{\bf{B}}{\mathbf{)}}}} \right\rangle _\phi = - s(s + 1),$$

(25)

where C is an orthogonal matrix whose entries (c_xx, c_xy, …) are given by

$$\hat U^{(B)}\hat S_j^{(B)}\hat U^{(B)\dagger } = c_{jx}\hat S_x^{(B)} + c_{jy}\hat S_y^{(B)} + c_{jz}\hat S_z^{(B)}.$$

(26)

The other way around. For a pair of arbitrary s-spin particles the operator

$${\bf{S}}^{{\mathbf{(}}{\bf{A}}{\mathbf{)}}} \cdot {\bf{C}} \cdot {\bf{S}}^{{\mathbf{(}}{\bf{B}}{\mathbf{)}}},$$

(27)

where C is a rotation matrix, has an eigenvalue −s(s + 1) with the corresponding eigenvector |ϕ〉. In fact, this is the smallest eigenvalue of the operator (27), because it has the same spectrum as S^(A) · S^(B), for which −s(s + 1) is the smallest eigenvalue. This stems from

$$\left\langle {\left( {{\bf{S}}^{{\mathbf{(}}{\bf{A}}{\mathbf{)}}} + {\bf{S}}^{{\mathbf{(}}{\bf{B}}{\mathbf{)}}}} \right)^2} \right\rangle = \left\langle {\left( {{\bf{S}}^{{\mathbf{(}}{\bf{A}}{\mathbf{)}}}} \right)^2} \right\rangle + \left\langle {\left( {{\bf{S}}^{{\mathbf{(}}{\bf{B}}{\mathbf{)}}}} \right)^2} \right\rangle + 2\left\langle {{\bf{S}}^{{\mathbf{(}}{\bf{A}}{\mathbf{)}}} \cdot {\bf{S}}^{{\mathbf{(}}{\bf{B}}{\mathbf{)}}}} \right\rangle \ge 0,$$

(28)

and since 〈(S^(A))²〉 = 〈(S^(B))²〉 = s(s + 1) one gets

$$\left\langle {{\bf{S}}^{{\mathbf{(}}{\bf{A}}{\mathbf{)}}} \cdot {\bf{S}}^{{\mathbf{(}}{\bf{B}}{\mathbf{)}}}} \right\rangle \ge - s(s + 1).$$

(29)

We know that if C is a rotation matrix, then in quantum theory the following expression

$$\left\langle {{\bf{S}}^{{\mathbf{(}}{\bf{A}}{\mathbf{)}}} \cdot {\bf{C}} \cdot {\bf{S}}^{{\mathbf{(}}{\bf{B}}{\mathbf{)}}}} \right\rangle ,$$

(30)

has a lower bound β_Q = −s(s + 1). In particular, there exists a state |ϕ〉 which corresponds to an eigenvalue −s(s + 1). The goal is to show that the classical bound β (taking into account the conservation of spin vector magnitude) obeys β > −s(s + 1).

In case of our HV model the above expression takes form

$$\left\langle {{\bf{s}}^{(A)} \cdot {\bf{C}} \cdot {\bf{s}}^{(B)}} \right\rangle \ge \beta ,$$

(31)

where the average is taken with respect to some probability distribution over vectors ${\bf{s}}^{(X)} = ( {v( {\hat S_x^{(X)}} ),v( {\hat S_y^{(X)}} ),v( {\hat S_z^{(X)}} )} )$ whose entries are integers or half-integers. Moreover, S^(X) · S^(X) = s(s + 1), due to the fact that the HV model conserves the spin magnitude.

The lower bound is determined by two vectors a and b which minimize the expression a · C · b, i.e.,

$$\beta = \mathop {{{\mathrm{min}}}}\limits_{{\mathbf{a}},{\mathbf{b}}} \left( {{\bf{a}} \cdot {\bf{C}} \cdot {\bf{b}}} \right).$$

(32)

Because C is a rotation matrix one can write C · b = b′, where b′ · b′ = s(s + 1). It is in principle possible that b′ = −a, which would lead to β = −s(s + 1). However, we need to remember that the vector a is made of integers or half-integers and therefore only a subset of orthogonal matrices of measure zero gives b′ that is also made of integers or half-integers. In particular, for a rotation matrix C whose entries are irrational numbers one always gets β > −s(s + 1).