Abstract: I write out a proof adapted from the work of W E Baylis et al showing how existence of the square root of minus one is inherent in physical theories demanding orthogonal mathematics.
Keywords: imaginary numbers, complex numbers, foundations of quantum theory, quantum physics, quantum mechanics, wave mechanics, Canonical Commutation Relation unitary, non-unitary, unitarity, elementary algebra, quantum indeterminacy, quantum randomness.
Abstract: I write out a proof adapted from the work of W E Baylis et al showing how existence of the square root of minus one is inherent in physical theories demanding orthogonal mathematics.
Mathematically, the imaginary unit 𝑖 has long been regarded as an algebraic generator extending the real numbers to the complex field. Yet a century after the birth of quantum mechanics (1925–2025), the answer to its oldest question is now clear: quantum mechanics is not merely a mathematical structure—it is a physical reality, and all quantities appearing in its non-commutative relations are physical. Therefore, 𝑖 is not a mere algebraic extension but the universal operator demanded by the geometric completeness of non-commutative reality between position and momentum. The imaginary unit is a physical reality. The canonical relation [𝑥, 𝑝] = 𝑖ℏ is not merely algebraic—it is a geometric law, showing that the complex structure of quantum mechanics arises inevitably from physical reality itself. It stands without contradiction, without complexity. This is nature. In the (𝑥, 𝑝) plane, 𝑖 represents a 90° rotation and ℏ quantizes the curvature of that rotation. Complex numbers thus arise as the natural geometric language of non-commutative physics, providing a geometric resolution to the century-old question of physical completeness first raised by Einstein, Podolsky and Rosen (1935).
Dirac called the imaginary unit in the Schrödinger equation the deepest thing in quantum mechanics, and admitted he did not understand it. This note offers a candidate: i is the complex place of a single number — Q, the real root of x⁴ − x − 1 — and the strangeness of quantum mechanics is the strangeness of that one number's arithmetic, seen from the inside. For a century quantum theory has been taught as a list of postulates — complex amplitudes, a Born rule, unitary evolution, a dagger — accepted because they work and never because they are understood. Grant a single identification, that the state space of a quantum system is the complex place of Q's field, and those postulates stop being assumptions. They become theorems. The imaginary unit is the field's complex structure; the dagger is Galois conjugation; observables are real because they are Galois-fixed; unitary evolution is the field's unit circle; and the Born rule — the squared modulus, long the least-explained law in physics — is the field's own norm, made unique by Gleason's theorem. Time reversal and charge conjugation appear as named elements of the Galois group S₄, the Weyl group of su(4). And a proved theorem locates the classical/quantum boundary precisely: in the family xⁿ − x − 1 the root is Pisot — its powers settle, its world definite — only through three dimensions, and at the fourth that settling fails. That, on the reading proposed here, is where the classical world ends and the quantum world begins. The dozen postulates of the physics textbooks are thus compressed to one here, named plainly as a posit, with every claim labeled at its evidential tier and the composition of many systems left as the open edge. It is not a metaphor and not a fit. Quantum Mechanics is the arithmetic of a single number — and, at last, a single thing to be right or wrong about.
The homogeneity symmetry is re-examined and shown to be non-unitary. This is motivated by the prospect that logical independence in elementary algebra, entering quantum mathematics, will constitute the basis for a theory explaining quantum randomness. Keywords: foundations of quantum theory, quantum physics, quantum mechanics, wave mechanics, Canonical Commutation Relation, symmetry, homogeneity of space, unitary, non-unitary, unitarity, mathematical logic, formal system, elementary algebra, information, axioms, mathematical propositions, logical independence, quantum indeterminacy, quantum randomness.
Complex numbers are the mathematical foundation of quantum mechanics, yet a fundamental question has remained unasked: where does the imaginary unit i come from? The standard formulation treats it as a primitive mathematical object without tracing its physical or geometric origin. This paper proves that i is not a mysterious attribute peculiar to quantum mechanics, but an algebraic necessity of spatial geometry. Starting from the Oh point group of a simple cubic lattice, the rigorous construction of the generators of the antisymmetric T1g subspace demonstrates that the commutation relation [J^a, J^b] = iε^{abc}J^c necessarily contains i, which is the algebraic signature of the su(2) structure constants arising from the non-commutativity of rotations about the three spatial axes. Furthermore, within the Clifford algebra Cl(3,0), the square of a bivector equals -1, providing a direct geometric counterpart for i. Recent experimental tests have confirmed the physical reality of complex numbers in quantum theory with extremely high confidence—this paper establishes the geometric necessity of i: it is not an introduced mathematical tool, but an intrinsic feature of the algebraic structure of any vector degree of freedom in three-dimensional space.
In principle, the lattice of elementary propositions of a generic quantum system admits a representation in real, complex or quaternionic Hilbert spaces as established by Solèr’s theorem (1995) closing a long standing problem that can be traced back to von Neumann’s mathematical formulation of quantum mechanics. However up to now there are no examples of quantum systems described in Hilbert spaces whose scalar field is different from the set of complex numbers. We show that elementary relativistic systems cannot be described by irreducible strongly-continuous unitary representations of SL(2, C) on real or quaternionic Hilbert spaces as a consequence of some peculiarity of the generators related with the theory of polar decomposition of operators. Indeed such a ”naive” attempt leads necessarily to an equivalent formulation on a complex Hilbert space. Although this conclusion seems to give a definitive answer to the real/quaternionic-quantum-mechanics issue, it lacks consistency since it does not derive from more general physical hypotheses as the complex one does. Trying a more solid approach, in both situations we end up with three possibilities: an equivalent description in terms of a Wigner unitary representation in a real, complex or quaternionic Hilbert space. At this point the ”naive” result turns out to be a definitely important technical lemma, for it forbids the two extreme possibilities. \nIn conclusion, the real/quaternionic theory is actually complex. This improved approach is based upon the concept of von Neumann algebra of observables. Unfortunately, while \nthere exists a thorough literature about these algebras on real and complex Hilbert spaces, an analysis on the notion of von Neumann algebra over a quaternionic Hilbert space is \ncompletely absent to our knowledge. There are several issues in trying to define such a mathematical object, first of all the inability to construct linear combination of operators \nwith quaternionic coeffients. Restricting ourselves to unital real *-algebras of operators we are able to prove the von Neumann Double Commutant Theorem also on quaternionc \nHilbert spaces. Clearly, this property turns out to be crucial.
The presence of the imaginary unit i in quantum mechanics is frequently treated as a computational postulate. We demonstrate that the complex structure of Hilbert space is not a decorative choice but a structural necessity derived from the first principles of modern physics: continuous symmetry, the requirement of unitarity to preserve probability, and the correspondence between generators and observables. By examining the Lie algebra of the unitary group, we prove that a real-valued theory fails to map self-adjoint observables to generators of continuous evolution without sacrificing local tomography or the existence of non-trivial phases. We conclude that i is the unique logical bridge between symmetry and observability.