Quantum mechanics is part of physics and experimentation is an activity in physics. Therefore, the entities of interest in physics must be observable to some extent. The must make an appearance. That is, entities of interest must be objects; they appear in at least one field of sense.
The ontological framework for the discussion will be that quantum objects are physical objects that have some properties that can appear in one of a collection of fields of sense. To move from ontology to physical theory an explanatory structure is needed and, when possible, a mathematical formulation is adopted that describes the behaviour of the quantum objects in a precise way.
There are puzzling and paradoxal effects of quantum mechanics, be they the thought experiments of Einstein, Podolsky and Rosen (EPR) or Wigner's friend, Schrödinger's cat or the actual double slit experiment. These point to the need to re-examine what is meant by a physical property of an object. In quantum mechanics it is known that all properties need a specific context in which to appear as quantified values. This is known to be the case in general, from the work of Kochen and Specker [1] but has been a common understanding among physicist based on the insights obtained from experiments such as that of Stern and Gerlach [2]. This experiment measures some consequences of the electron having spin. In quantum mechanics spin, while having the same dimensions as classical spin, is quite a different phenomenon and will be discussed below.
Before moving on to spin consider the Heisenberg Uncertainty Principle, which means an electron, for example, cannot have a precise value of its position and its momentum at the same time. Does this mean that it sometimes has position as a property and sometimes momentum but never both together? That understanding of the theory would mean that these properties are of the context rather than the object of the experiment. According to the ontology of objects and their properties being developed in this blog a particle, such as an electron, always has the properties of position and momentum but these properties take values by appearing in distinct Fields of Sense. This means that the context in which the particle position takes a value is different from that in which its momentum takes a value.
We now consider a particle with spin \(\frac{1}{2}\), an electron, situated and free to move in three dimensions. Following Faddeev and Yakubovskii [3], the electron combines its spin Hilbert space (\(\mathbb{C}^2\)) with that associated with the electron's movement in three dimensions (\(\mathbb{R}^3\)). The Hilbert space \(\mathcal{H}\) for the electron's position and momentum is the space \(L^2(\mathbb{R}^3)\) of square-integrable complex-valued functions. This Hilbert space is the state space that can represent the electron in position coordinates (neglecting spin). In mathematical notation, the state space with spin becomes the enlarged Hilbert space
\[\mathcal{H}_S = L^2(\mathbb{R}^3)\otimes\mathbb{C}^2.\] This captures the intuition that the state function becomes a pair of complex valued \(L^2(\mathbb{R}^3)\) functions. For a pure state \({\Psi(x)}\) in \(\mathcal{H}\) there are two orthogonal states in \(\mathcal{H}_S\):
\[\Psi_{\uparrow} = \binom{\Psi(x)}{0} , \, \, \, \Psi_{\downarrow} = \binom{0}{\Psi(x)}.\]
Focussing on the spin property, \(\hat{S}\), a self-adjoint operator \(S\) on \(\mathbb{C}^2\), representing \(\hat{S}\) can be represented as the linear combination of four linearly independent matrices. A convenient set of such matrices are the identity matrix and the well-known Pauli matrices \(\sigma_1, \sigma_2, \sigma_3\)
\[I = \begin{pmatrix} 1 & 0\\0 & 1\end{pmatrix}, \sigma_1 = \begin{pmatrix}0 & 1\\1 & 0\end{pmatrix},\sigma_2 = \begin{pmatrix}0 & -i\\i & 0\end{pmatrix} \sigma_3 = \begin{pmatrix} 1 & 0\\ 0 & -1 \end{pmatrix}\]
Quantum physics is brought into this mathematics by introducing the Plank constant, \(\hbar\), and defining the self-adjoint spin-\(\frac{1}{2}\) operators as
\[ S_j = \frac{\hbar}{2} \sigma_j, j = 1, 2, 3 \label{eq:Sj} ~~~~~~~~~~~~~(1)\]
and these have the angular momentum commutation relations
\[[S_1,S_2]= iS_3, \, \, [S_2,S_3]= i S_1, \, \, [S_3,S_1]= iS_2.\]
The operators \(S_j\) have eigenvalues \(\pm \hbar/2\), which are the admissible values of the projections of the spin on some direction. The vectors \( \Psi_{\uparrow} = \binom{\Psi(x)}{0}\) and \(\Psi_{\downarrow} = \binom{0}{\Psi(x)}\) are eigenvectors of the operator \(S_3\) with eigenvalues \(+\hbar/2\) and \(-\hbar/2\). The eigenvectors of \(S_1\) and \(S_2\) are linear combinations of \(\Psi_{\uparrow}\) and \(\Psi_{\downarrow} \). Therefore, these vectors describe states with a definite value of the third projection of the spin. Similar constructions can be made for the other spin components. But as the components do not commute, they cannot simultaneously take precise values in all components. The spin will appear to interact with some other object, involving a magnetic interaction, to take a value of \(+\hbar/2\) or \(-\hbar/2\). Independent of the direction defined by the interaction, the possible values the spin property can take are \(\pm \hbar/2 \), with probabilities determined by the state of the electron. The probabilities of \(\pm \hbar/2 \) appearing sum to one.
The property values appear when the appropriate Field of Sense is available. However, in relation to this point it should be noted, that the isolated system that has properties represented by Hermitian operators, such as the spin-\(\frac{1}{2}\) \( S_j\) , equation (1), that have eigenvalues \(\pm \frac{1}{2}\hbar\) in the absence of any interaction term coupling it to another object. The spin values are quantitative characteristics of the spin property, but the values will only actually appear once the appropriate Field of Sense is available to provide a context for an interaction with another object.
A Field of Sense affords a context for the appearance of properties of the quantum object, whether, position, momentum or spin components.
[1] Simon Kochen and Ernst P. Specker. The Problem of Hidden Variables in Quantum Mechanics. In: J. Math. & Mech. 17 (1967), p. 59.
[2] W. Gerlach and O. Stern. Der experimentelle Nachweis der Richtungsquantelung. In: Zeitschrift für Physik, (1922), pp. 349-352.
[3] L D Faddeev and O A Yakubovskii. Lectures on Quantum Mechanics for Mathematics Students. Student Mathematical Library. 47 vols. American Mathematical Society, 2000.