As numbers go, the familiar real numbers—those found on the number line, like 1, π and -83.777—just get things started. Real numbers can be paired up in a particular way to form “complex numbers,” first studied in 16th-century Italy, that behave like coordinates on a 2-D plane. Adding, subtracting, multiplying and dividing is like translating and rotating positions around the plane. Complex numbers, suitably paired, form 4-D “quaternions,” discovered in 1843 by the Irish mathematician William Rowan Hamilton, who on the spot ecstatically chiseled the formula into Dublin’s Broome Bridge. John Graves, a lawyer friend of Hamilton’s, subsequently showed that pairs of quaternions make octonions: numbers that define coordinates in an abstract 8-D space.
There the game stops. Proof surfaced in 1898 that the reals, complex numbers, quaternions and octonions are the only kinds of numbers that can be added, subtracted, multiplied and divided. The first three of these “division algebras” would soon lay the mathematical foundation for 20th-century physics, with real numbers appearing ubiquitously, complex numbers providing the math of quantum mechanics, and quaternions underlying Albert Einstein’s special theory of relativity. This has led many researchers to wonder about the last and least-understood division algebra. Might the octonions hold secrets of the universe? [...]
Günaydin, the Penn State professor, was a graduate student at Yale in 1973 when he and his advisor Feza Gürsey found a surprising link between the octonions and the strong force, which binds quarks together inside atomic nuclei. An initial flurry of interest in the finding didn’t last. Everyone at the time was puzzling over the Standard Model of particle physics—the set of equations describing the known elementary particles and their interactions via the strong, weak and electromagnetic forces (all the fundamental forces except gravity). But rather than seek mathematical answers to the Standard Model’s mysteries, most physicists placed their hopes in high-energy particle colliders and other experiments, expecting additional particles to show up and lead the way beyond the Standard Model to a deeper description of reality. They “imagined that the next bit of progress will come from some new pieces being dropped onto the table, [rather than] from thinking harder about the pieces we already have,” said Latham Boyle, a theoretical physicist at the Perimeter Institute of Theoretical Physics in Waterloo, Canada. [...]
After breaks from school spent ski-bumming, bartending abroad and intensely training as a mixed martial artist, Furey later met the division algebras again in an advanced geometry course and learned just how peculiar they become in four strokes. When you double the dimensions with each step as you go from real numbers to complex numbers to quaternions to octonions, she explained, “in every step you lose a property.” Real numbers can be ordered from smallest to largest, for instance, “whereas in the complex plane there’s no such concept.” Next, quaternions lose commutativity; for them, a × b doesn’t equal b × a. This makes sense, since multiplying higher-dimensional numbers involves rotation, and when you switch the order of rotations in more than two dimensions you end up in a different place. Much more bizarrely, the octonions are nonassociative, meaning (a × b) × c doesn’t equal a × (b × c). “Nonassociative things are strongly disliked by mathematicians,” said John Baez, a mathematical physicist at the University of California, Riverside, and a leading expert on the octonions. “Because while it’s very easy to imagine noncommutative situations—putting on shoes then socks is different from socks then shoes—it’s very difficult to think of a nonassociative situation.” If, instead of putting on socks then shoes, you first put your socks into your shoes, technically you should still then be able to put your feet into both and get the same result. “The parentheses feel artificial.”
