In quantum physics lectures, half-integer spins are generally introduced as “objects that do not come back to their original state after one full turn but that do after two.” As a consequence, students often consider this behavior to be purely quantum mechanical. However, spin-1/2 is above all a geometrical property of the rotations group and can, therefore, also have practical consequences at the macroscopic scale. To illustrate this, we introduce and describe in this work a new pedagogical tool named the spinorial ball. It allows students to concretely manipulate a macroscopic 1/2-spin, which helps them to build intuition as to how the latter behaves under rotations. This object can also be used to introduce several general concepts from the theory of Lie groups, such as group homomorphism and homotopy classes of loops through the example of the groups SU(2) and SO(3). The spinorial ball provides a macroscopic visualization of all these concepts, which are ubiquitous in quantum physics.
I. INTRODUCTION
A. Foreword and context
We propose here to describe and introduce spin-1/2 objects without the help of quantum mechanics but rather through geometry and group theory. We believe that this approach will help students and interested readers to get better insight on the properties of such systems. We will not discuss here the particular (and important) manifestations of spin-1/2 objects in quantum mechanics, instead referring the interested reader to Ref. 1 for a compact introduction and to Ref. 2 for a more technical approach. Although we have tried to make this presentation self-contained, basic knowledge about rotations and matrix theory could help for some technical aspects, such as found in Ref. 3. Whenever possible, we focus on the underlying concepts and physical intuitions, at times omitting technical details, and rather provide references for proofs that are omitted. Lastly, we would like to point out that the name of spinorial ball initially originates from an article from Baez and Huerta dedicated to visualization of other Lie groups.4
B. Macroscopic spin-1/2
Rotating an object, say a favorite quantum mechanics book, by a full turn around any axis will return it to its original state, as shown in Fig. 1(a). On the contrary, spin-1/2 objects are not invariant under this operation and two complete turns are needed to bring them back to their initial state. This unusual feature makes them puzzling objects. As many educators know, it is possible to create analogs of spin-1/2 objects at a macroscopic scale by adding some constraints. For instance, one can tie the book to one end of a ribbon, the other end being clamped to a wall as shown in Fig. 1(b). After one complete rotation of the book, the ribbon acquires a twist that cannot be removed without rotating the object back. If one applies a second turn to the book, however, those twists can be removed without rotating the book by using a combination of translations (see, for instance, videos5,6). This is nothing but the famous Dirac belt trick (cf. Ref. 7, pp. 43–44) that is widely used in quantum mechanics lectures to help students understand how spin-1/2 objects behave. Indeed, a -rotation does not leave spin-1/2 objects, nor the system {book + ribbon}, invariant, while a rotation does, at least up to translations.
(Color online) (a) Any unconstrained physical object comes back to its initial state after a rotation of around any axis. (b) When the object is attached to a ribbon that is fixed to a wall, one cannot remove the twist in this ribbon after a rotation of without rotating the object. After a second turn, the twists can be removed without any additional rotation. (c) Picture of the spinorial ball. When the ball rotates, the colors displayed on the faces change continuously. (d) Starting from any initial state (top), a rotation of around any axis brings the ball to another state (middle), but a rotation of brings it back to its initial state (bottom).
(Color online) (a) Any unconstrained physical object comes back to its initial state after a rotation of around any axis. (b) When the object is attached to a ribbon that is fixed to a wall, one cannot remove the twist in this ribbon after a rotation of without rotating the object. After a second turn, the twists can be removed without any additional rotation. (c) Picture of the spinorial ball. When the ball rotates, the colors displayed on the faces change continuously. (d) Starting from any initial state (top), a rotation of around any axis brings the ball to another state (middle), but a rotation of brings it back to its initial state (bottom).
There are nevertheless several issues with this picture. The translations needed to restore the original state of the system have no direct analog in quantum mechanics (and even seem like a bit of cheating). One can also wonder if there is anything analogous to the constraints introduced in this trick for free quantum particles. Although useful, this picture is, therefore, somewhat limited as a way to provide better understanding of spin-1/2 objects. Another macroscopic spin-1/2 system based on coupled mechanical pendulums has also been described,8,9 but the effective spin-1/2 object evolves in an abstract space of parameters. Therefore, a direct and unconstrained physical realization of a half-integer spin at macroscopic scale is still missing. We now propose to fill this gap by introducing the spinorial ball.
C. First contact with the ball
The spinorial ball is a polyhedron of roughly spherical shape with pentagonal and hexagonal faces (see picture in Fig. 1(c)). Each face is illuminated with colored LEDs. In this section, we explain the main observations likely to result from casual experimentation with the ball by non-experts. While we primarily focus on its implementation as a manipulable electronic device, a mobile version10 (which works by moving the phone) and a browser-based simulation11 are available, and we encourage the reader to use them as an experimental apparatus while reading this introduction. A supplementary video showing its manipulation is also available.
If one starts to move the ball, the colors of the faces change smoothly. After some time, one notices two things:
-
All faces of the same shape (either pentagons or hexagons) are illuminated in the same color, which we denote or .
-
The colors displayed do not change when the ball is translated, but they do when the ball is rotated.
Further experimentation will reveal that:
-
A specific set of colors corresponds to a single orientation of the ball.
-
The converse of the previous property fails: for each physical orientation of the ball, two different sets of colors and can be displayed, depending on the history of rotations applied to the ball.
-
For a given orientation, one can go from one set of colors to another by performing a full rotation about any axis. Further full rotations cause the colors to alternate, thus showing whether an odd or an even number of turns have occurred.
Of course, the system {ball} (ignoring illumination) is back in its initial state after one turn. However, its very symmetric shape prevents keeping track of its orientation by any other mean than through the displayed colors. On the other hand, as the full system {ball + colors} does not come back to its initial state after one turn but does after two turns, the illuminated ball acts as a free macroscopic spin-1/2 object. From this, several questions can be raised. What do the colors represent? How exactly are the colors related to the rotations of the ball? Why do the colors behave like a spin-1/2? Could one create a spin-1/3 in a similar way, encoding each orientation in three possible sets of colors?
In Secs. II and III, we answer these questions by carefully explaining how the spinorial ball works. We first introduce the rotation group to describe the possible rotations of the physical ball. We then introduce the spinors and the group , which will correspond to the different illumination states of the ball. We then define a group homomorphism between and that will provide the link between the physical rotation of the ball (an element of ) and the colors it displays (an element of ). Having introduced all the needed concepts, we come back in the last section to the spinorial ball itself and answer all the questions raised above.
Note that Secs. II and III are, although elementary, quite technical and easier to understand for a reader who is already familiar with the basic properties of the rotation groups SU(2) and SO(3). Those sections also introduce some advanced mathematical concepts (such as path lifting and homotopy classes) through concrete examples, making it of interest for more advanced lectures in quantum mechanics. The reader unfamiliar with group theory or interested only in manipulating the spinorial ball can go directly to Sec. IV for some practical applications and uses of the spinorial ball.
II. ROTATION GROUP
A. Definition
The possible rigid motions of an object that preserve handedness and do not move the origin are elements of the rotation group in that will be denoted . Here, the origin is taken as the center of the spinorial ball and the elements of will correspond to all the possible rotations of the ball that we will now describe mathematically. Formally, the rotation group is defined as the set of real matrices R that
-
(P1) preserve the length of all vectors: , where denotes the conjugate-transpose of R.
-
(P2) preserve the handedness of space: .
B. Generators of rotations
The rotation group provides a clear mathematical description of the ball's physical motion. We will now formally introduce the “color space” of the ball, and see the analog of rotations in this space.
III. ROTATION AND SPIN
A. Spin-1/2 and SU
B. Generators of SU
C. Group homomorphism between SU and SO
(Color online) (a) The map T is a group homomorphism: the image of a product is the product of images, i.e., . (b) The group homomorphism T maps onto , but each element of is the image of two elements in . In fact, any continuous path of is the image of two continuous paths in called its “lifts.” (c) A loop in that is continuously contractible to a point has a lift in that is also a loop. Conversely, a non-contractible path (e.g., ) is lifted in to an arc that joints points of opposite sign in ( and here).
(Color online) (a) The map T is a group homomorphism: the image of a product is the product of images, i.e., . (b) The group homomorphism T maps onto , but each element of is the image of two elements in . In fact, any continuous path of is the image of two continuous paths in called its “lifts.” (c) A loop in that is continuously contractible to a point has a lift in that is also a loop. Conversely, a non-contractible path (e.g., ) is lifted in to an arc that joints points of opposite sign in ( and here).
Obtaining a non-invertible map is more than just an artifact of our construction; it reflects a genuine difference between the groups and . These two spaces are topologically different, and there is no continuous bijection between them. This is discussed further in Sec. III E.
D. Path lift
As each element of admits two preimages in , it is impossible to invert the map T. Therefore, acting on the spinor (that is, the colors) by rotating the ball seems to be ill-defined: if one rotates the physical ball by applying an element of , we do not know whether one should apply or to the color state. This is correct if one considers rotations as operators that can be applied instantaneously. However, in the physical world of the spinorial ball, we do not apply a given rotation instantaneously but rather a continuous family of rotations, which we refer to as a path. Formally, it is defined as a continuous function , i.e., a continuous one-parameter family of rotation matrices with and the endpoints of that path. One can, for instance, consider that goes continuously from to , which corresponds physically to continuously rotating the ball about until the total rotation angle reaches . The ending points and contain the information on the initial and final orientation of the ball, respectively, while the path keeps track of all intermediate orientations. As we will see now, it is possible to “invert” T if one uses the full information contained in the continuous path rather than only the endpoints.
As discussed before, each element of such a path has two preimages in . Moreover, there exist exactly two continuous paths in , namely, and , that map to under T. This is shown in Fig. 2(b). Those paths go from to and from to , respectively. If one specifies as the starting point in , then there exists only one way to continuously lift a path from to . In other words, there is a unique continuous way to associate a preimage of each element of this path once the preimage of one element of the path is chosen.
One can generalize this result to show that the same holds for any continuous path in . Namely, such a path in has two associated continuous paths (lifts) in , and choosing a preimage for one point along the path in suffices to distinguish one of them. The path lifting property will be the key ingredient to realize a spinorial ball, as it provides a recipe to go from the continuous physical rotation of the ball to a continuous action on the colors.
E. Homotopy classes of loops in SO
Before coming back to the spinorial ball, we briefly discuss how the lifting of paths from to gives some insight into why these spaces are topologically different. For this, we will consider loops, i.e., paths with the same starting and ending point: . We then say that two loops are in the same homotopy class if one loop can be continuously deformed into the other while keeping the ending points untouched. The homotopy classes of loops are, therefore, defined as collections of loops that can be continuously deformed one to another. Note that in the rigorous definition of deformation, the length of the loop is irrelevant and should be thought of intuitively as an infinitely elastic rope that can be contracted or extended at will and which can furthermore pass through itself without getting snagged or tangled. For instance, in the plane, any loop can be continuously deformed into any another by suitable pushing and stretching, as the plane offers no obstacles to such movement. There is, therefore, only one homotopy class of loops in .
Let us now focus on the homotopy classes in . Consider as in Fig. 2(c) two loops and in going from to . When those loops are lifted in as and starting from , all we can conclude from the construction is that the endpoints and are both T-preimages of . It may happen that one of these lifted paths is a loop, i.e., , while the other is an arc joining to , i.e., . Both of these possibilities actually occur for loops in , and making a continuous deformation of a loop in cannot change the type of path (loop or arc) in . Thus, there are at least two types of loops in that start at : the ones that remain loops when lifted to , and the ones that open up to arcs from to . In particular, the path and represented in Fig. 2(c) cannot be continuously deformed one into another. To see this, the reader is invited to imagine that such deformation exists, to consider how the pre-image of the ending point evolves and to finally conclude that a discontinuity must occur to go from one to the other.
Therefore, admits at least two homotopy classes of loops starting at , and one can show that there are in fact exactly two. On the other hand, is the unit sphere of (see parametrization in Eq. (6)), which is equivalently the unit sphere of . Arguments similar to the one sketched above for can be used to show that the unit sphere in has a single homotopy class of loops. From here, it can be seen that there is no bijective continuous map from to , as this would imply that they have the same number of homotopy classes of loops. More details and comprehensive proofs can be found in Ref. 3.
The Dirac belt trick presented in the introduction can also be understood through the viewpoint of homotopy classes, and for completeness, we explain the mechanism briefly. The ribbon provides a continuous path in that joins the identity element to the current rotational state of the object. To see this, one can form an orthonormal frame of at any point along the ribbon using one vector tangent to the ribbon and pointing toward the end where it is fixed to the wall, a second vector orthogonal to this one but still tangent to the ribbon, and a third vector that is orthogonal to the ribbon. When moving from the wall to the object, the orthonormal frame thus defined undergoes a continuous family of rotations, ending at the net rotation applied to the object. From this, one sees that there exists a direct mapping between a configuration of the ribbon and a path in . Moreover, translating the object at the end of the ribbon corresponds to continuously deforming the associated path in while keeping its endpoints fixed. Indeed, a translation will continuously affect the orientation of the orthonormal frames attached to the ribbon while leaving the frames associated with the ends of the ribbon unaltered.
If we now consider the particular case of an object that has returned to its original orientation, the path defined by the ribbon starts and ends at the identity element of and thus forms a loop. In the case of Fig. 1(b), the associated loops are, respectively, for the untwisted ribbon, for the ribbon with one twist, and for the ribbon with two twists. Translations of the object will deform the ribbon continuously, hence continuously modify the associated loop in . Therefore, one can go from one configuration of the ribbon to another through translations only if the corresponding loops in are in the same homotopy class. As we have seen before, and belong to the same homotopy class of loops, while belongs to another one. This explains why the twists can be undone using translations after a rotation, but not after .
IV. THE SPINORIAL BALL: IMPLEMENTATION AND APPLICATIONS
A. General principle
We now have all the tools needed to fully describe what is displayed on the spinorial ball. Each complex component of a spinor is encoded as a color, with polar coordinates corresponding to color saturation and hue, respectively (see color map in Fig. 3(a)). These colors are shown on the faces of the ball, with as the color of the pentagons and as the color of the hexagons. The ball is equipped with an electronic gyroscope to continuously track changes to its orientation. It, therefore, monitors the path of the ball's rotations in , and lifts that path continuously to in real time. The effect of such rotations on the spinor is displayed through changes of faces color.
(Color online) (a) We encode a complex number using the saturation (for the modulus) and the hue (for the argument) of colors. (b) Three examples of elements represented using two color faces and corresponding pictures of the ball. (c) Evolution of the spinorial ball starting from the state after a rotation of, respectively, one turn ( around , two turn ( around , half-turn ( around , and quarter-turn ( ) around .
(Color online) (a) We encode a complex number using the saturation (for the modulus) and the hue (for the argument) of colors. (b) Three examples of elements represented using two color faces and corresponding pictures of the ball. (c) Evolution of the spinorial ball starting from the state after a rotation of, respectively, one turn ( around , two turn ( around , half-turn ( around , and quarter-turn ( ) around .
While motivated by spin-1/2 physics, the spinorial ball can equivalently be seen as a physical model of path-lifting from to . The LED panels show the evolution of the spinor along the path in when the physical ball is transformed according to a path in . The rotation of the ball is the image by T of the element of displayed by the LED, but this rotation cannot be found easily without the panel's colors due to the very symmetrical shape of the object. That design element is what makes the spinorial ball behave as spin-1/2: its directly evident features do not show its rotation, but rather a spinor that continuously lifts the ball's rotation in .
B. Practical implementation
The ball's panels are 3D printed in translucent plastic and glued together in order to form a truncated icosahedron. An RGB LED is placed on the inner side of each panel. The inner cavity of the ball contains a battery, an orientation sensor module (Bosch BNO055), and an Arduino-compatible microcontroller board to which the sensor and all of the LEDs are connected. As is common in designs with many RGB LEDs, we use LED modules with integrated logic (WS8211 ICs), allowing them to receive color data over a serial bus. All LEDs can, therefore, be controlled with just three microcontroller's pins.
It turns out that for practical reasons (computation speed or interpolation purposes, for instance), many commercial gyroscopes and orientation sensors encode rotations directly in elements of , or equivalently through quaternions. Our gyroscope does not return the rotation matrix R but one of the two associated elements of . Depending on the previous state, the firmware of the ball in the Arduino will flip or not the sign of this raw spinor in order to keep the evolution of continuous. The updated spinor is then used to compute new color data for the LEDs.
All details, including the schematics, code, and 3D printing models needed to build a spinorial ball, are available at Ref. 12 and are free to use for any research or teaching activity.
C. Classical examples
We now give several examples of the spinorial ball evolution, the starting point always being corresponding to spinor . The corresponding pictures of the spinorial ball after each transformation are shown in Fig. 3(c).
-
A rotation around the axis (or any other axis) has the effect of moving in from to , corresponding to the spinor transformation . The colors of the pentagonal and hexagonal faces are each replaced by their opposite in the complex plane, i.e. each replaced with opposite hues of equal saturation (see colormap in Fig. 3(a)).
-
A rotation around (or any other axis) restores the colors to their original state.
-
A rotation of around the axis performs the transformation . The phase factor can be observed on the spinorial ball by a color change of the pentagons while the hexagons remains dark.
-
A rotation around the axis corresponds to a path from to , corresponding to . In other words, when the ball is turned upside down, the spinor goes from up-state to down-state.
-
A rotation around the axis corresponds to a path in from to , corresponding to .
As mentioned earlier, the interested reader can manipulate a virtual version of the ball in our browser-based simulation that uses WebGL 3D graphics.11 A mobile version that uses the smartphone's accelerometer to sense orientation and displays the spinor as a pair of colors on the screen is also available,10 and a supplementary video shows some manipulations of the ball.
D. Visualizing homotopy classes of loops with the ball
The homotopy classes of loops in can also be seen with the spinorial ball. A loop in is a rotation process that leaves the ball's orientation unchanged, such as the and rotations around discussed above. If the initial and final colors are the same (as for the rotation), then the path in lifts as a loop in . However, if the colors have changed for their opposite (as for the rotation), the path lifts as an arc . The spinorial ball can, therefore, be used as a homotopy class detector, similar to the Dirac belt but without any tether or constraint on its motion. In particular, we recover the fact that the and rotation do not belong to the same homotopy classes.
Note that the previous remark also explains why a spin-1/2 object must come back to its initial state after two turns. After one turn, the path in is . However, if one performs a second turn, the corresponding path will be another arc . When chained, those two arcs, therefore, form a closed loop and the spin comes back to its initial state.
E. Multiply elements of SU with the ball
The spinorial ball can also be used to multiply elements of . To see this, let us assume that at a given time, the rotation matrix is in , associated with in displayed by the LED panels. We will now apply a rotation R to the ball, thus generating a path in SO(3). This path will be lifted as , where S is one of two the preimage of R by T. Thus, we see that rotating the ball by R corresponds to multiplying the current state by S in . The fact that T is a group homomorphism is crucial here: if it was not the case, lifting might differ from lifting R as S and as separately and then multiplying them in . Note also that the pre-image S that is chosen depends on the path chosen in .
Let us consider, for instance, the cases where we rotate the ball by or around the axis. In both cases, this corresponds to a path in . In the first case, the initial spinor is multiplied by , while in the second case, it is multiplied by . Despite having the same ending point, those two paths in belong to different homotopy classes and are, therefore, associated with different multiplication operations in . We can also see the group structure at work here by decomposing , which is consistent with the decomposition of . More generally, to multiply two elements of and , one needs to know which physical motion to apply on the ball to perform and in . The result of is then directly displayed by the LED after applying these motions successively.
Finally, let us mention that can also be identified with the set of unit elements of the field of quaternions.13 Therefore, the ball can also be used to multiply unitary quaternions. In particular, the multiplication table of the quaternion group (composed of 8 unit quaternions14) can be visualized by applying sequences of -rotations around the axes .
F. Can there be a spin-1/3?
As a last question, one may wonder whether the ball could display a “spin-1/3” behavior (or that of any other fractional integer spin) by using a different color encoding, or for instance by inserting a instead of a 1/2 in Eq. (12). If one could do so, then would admit more than two different homotopy classes of loops (since would admit more than two pre-images). As it is not the case, only integer or half-integer spins can exist in three dimensions. This is of course closely related to the fact that has only one homotopy class. The interested reader is invited to perform the experiment and explore the consequences of using in place of 1/2 in Eq. (12) to see what happens.
This set of matrices is homeomorphic to the unit circle in the plane, which can, for example, be seen by taking the first row of the matrix as the 2D coordinates of a point. Two loops in can then be deformed into one to another if and only if the associated loops in the unit circle have the same algebraic winding number around the origin (with each full counterclockwise turn counting as and each clockwise turn as ). The homotopy classes of loops are, therefore, labeled by integers.
Fractional spin of any integer denominator is, therefore, possible in this context. Such fractional two-dimensional spin can be made at a macroscopic scale, for instance, by placing a flat demonstration screen on a table. Its possible motions are rotations around the axis normal to the table, that is . The screen displays a single color hue chosen from the circular edge of the colored disc in Fig. 3(a). It is programmed so that when it is rotated by an angle , the hue changes by angle . Such an object will behave as one with spin- in the two-dimensional world of the table's plane. In particular, it will return to its original color after N full turns. More generally, replacing with any fractional number in the screen's program would give rise to a macroscopic visualization of an object with spin . Such demonstration device could be done practically by placing a mobile phone on a table and using a slightly modified version of our online mobile app.
V. CONCLUSION AND PERSPECTIVES
In this article, we have described a macroscopic object that is able to move freely while exhibiting all the characteristics of a spin-1/2 particle. In particular, it exhibits the connection between and in a visual way and shows how paths can be lifted from the latter to the former once an initial point is fixed. It also demonstrates that spin-1/2 is not a purely quantum feature but rather a topological property of rotation groups that can also be fully visualized at the human scale with the spinorial ball. It could, therefore, be used by students to understand how quantum spin-1/2 particles behave at the microscopic scale.
It would also be interesting to extend this work to the case of two macroscopic spin-1/2 objects. Communication between their driving electronics might be used to simulate entanglement, in a way that is still to be defined, and one could also simulate the failure in Bell's inequalities in this way. We also believe that this device could be used to popularize group theory or quantum mechanics for undergraduate students, as a practical exercise for students in electronics or engineering, or simply as an interesting toy that offers the possibility of opening a gateway to interesting mathematics and physics for any careful observer.
SUPPLEMENTARY MATERIAL
See the supplementary material for the manipulation of the spinorial ball.
ACKNOWLEDGMENTS
The authors would like to acknowledge Emmanuel Fort, Tony Jin, David Martin, and Marc Abboud for insightful discussions and feedback. Parts of this project were developed during a semester program at the Institute for Computational and Experimental Research in Mathematics (ICERM) at Brown University, and at “Les Gustins” Summer School with support of Jean Baud and Ingénieurs et Scientifiques de France – Sillon Alpin (IESF-SA). The authors thank these organizations and acknowledge attendees of these programs for stimulating discussions.
AUTHOR DECLARATIONS
Conflict of Interest
The authors have no conflicts to disclose.