The Hypothetical "Algebraic Mechanics": The Asymmetry of Matrix–Wave Equivalence of Quantum Mechanics, and the Possibility of a Finite-Dimensional Formulation behind Matrix Mechanics
The mathematical equivalence of matrix mechanics and wave mechanics is among the most settled facts of quantum theory. This paper argues, first, that the settlement is an effect of the frame in which it was made. Both theories reached their equivalent final forms inside one Hilbert-space frame, and in that frame the commutation relation of Born and Jordan, a relation that no finite matrices can satisfy, fixes the representation up to unitary equivalence. We separate the layer at which the state spaces are identified, which needs only the frame, from the layer at which the operators are identified, which needs the commutation relation, and we show that the premises of the equivalence proof are fixed on the wave side, so that the equivalence is asymmetric in a precisely defined sense. We argue, second, by exploring a counterfactual that is structural and not empirical, that what the equivalence compares is not Heisenberg’s original idea but a special case of it. The multiplication rule of 1925, whose non-commutativity Heisenberg himself recorded, was completed within months by a defining relation that entered through the correspondence principle from classical mechanics, and with that relation infinite dimension entered the theory. We call the general structure the hypothetical “algebraic mechanics” (Japanese: Maboroshi no Daisuu Rikigaku, まぼろしの“代数力学”). An independent line of work, Operatiology (Japanese: Sousa Genron, 操作原論), which fixes the defining relations by structural necessity and not by borrowing, arrives at a finite-dimensional algebra that is unique under its axioms. The two lines meet at one fact stated from two sides: the commutation relation requires infinite dimension, and the axiom of finite rank requires finite dimension. The counterfactual is hypothetical in the structural sense; the paper makes no claim that Heisenberg could have derived a finite-dimensional theory from the observations of 1925. Program P1 below checks the finite-dimensional fact behind the fork for n = 2, …, 6: the trace of XP − PX vanishes identically, and no pair (X, P) comes closer to iħI than the trivial pair X = P = 0, at distance √n. The proof for every n is given in the paper. """P1. Trace argument: no n x n matrices satisfy XP - PX = i*hbar*I (hbar = 1).""" import numpy as np, sympy as sp from scipy.optimize import minimize # (a) symbolic: tr(XP - PX) vanishes identically for generic entries for n in range(2, 7): X = sp.Matrix(n, n, lambda i, j: sp.Symbol(f"x{i}{j}")) P = sp.Matrix(n, n, lambda i, j: sp.Symbol(f"p{i}{j}")) t = sp.expand((X * P - P * X).trace()) assert t == 0, (n, t) print(f"n={n}: tr(XP-PX) = {t} identically; tr(i*I) = {sp.I*n} != 0") # (b) quantitative: ||XP-PX-iI||_F >= sqrt(n) for all X, P (bound from the trace). rng = np.random.default_rng(0) def resid(v, n): m = n * n a = v[:2 * m].reshape(2, m); b = v[2 * m:].reshape(2, m) X = (a[0] + 1j * a[1]).reshape(n, n); P = (b[0] + 1j * b[1]).reshape(n, n) return np.linalg.norm(X @ P - P @ X - 1j * np.eye(n)) for n in range(2, 7): best = np.inf for _ in range(12): v0 = rng.normal(size=4 * n * n) * rng.uniform(0.1, 2.0) r = minimize(resid, v0, args=(n,), method="BFGS") best = min(best, r.fun) print(f"n={n}: min residual = {best:.10f}, bound sqrt(n) = {np.sqrt(n):.10f}") assert best >= np.sqrt(n) - 1e-6 print("OK: nothing beats the trivial pair X=P=0 (residual sqrt(n)).")
The mathematical equivalence of matrix mechanics and wave mechanics is among the most settled facts of quantum theory. This paper argues, first, that the settlement is an effect of the frame in which it was made. Both theories reached their equivalent final forms inside one Hilbert-space frame, and in that frame the commutation relation of Born and Jordan, a relation that no finite matrices can satisfy, fixes the representation up to unitary equivalence. We separate the layer at which the state spaces are identified, which needs only the frame, from the layer at which the operators are identified, which needs the commutation relation, and we show that the premises of the equivalence proof are fixed on the wave side, so that the equivalence is asymmetric in a precisely defined sense. We argue, second, by exploring a counterfactual that is structural and not empirical, that what the equivalence compares is not Heisenberg’s original idea but a special case of it. The multiplication rule of 1925, whose non-commutativity Heisenberg himself recorded, was completed within months by a defining relation that entered through the correspondence principle from classical mechanics, and with that relation infinite dimension entered the theory. We call the general structure the hypothetical “algebraic mechanics” (Japanese: Maboroshi no Daisuu Rikigaku, まぼろしの“代数力学”). An independent line of work, Operatiology (Japanese: Sousa Genron, 操作原論), which fixes the defining relations by structural necessity and not by borrowing, arrives at a finite-dimensional algebra that is unique under its axioms. The two lines meet at one fact stated from two sides: the commutation relation requires infinite dimension, and the axiom of finite rank requires finite dimension. The counterfactual is hypothetical in the structural sense; the paper makes no claim that Heisenberg could have derived a finite-dimensional theory from the observations of 1925. Program P1 below checks the finite-dimensional fact behind the fork for n = 2, …, 6: the trace of XP − PX vanishes identically, and no pair (X, P) comes closer to iħI than the trivial pair X = P = 0, at distance √n. The proof for every n is given in the paper. """P1. Trace argument: no n x n matrices satisfy XP - PX = ihbarI (hbar = 1).""" import numpy as np, sympy as sp from scipy.optimize import minimize # (a) symbolic: tr(XP - PX) vanishes identically for generic entries for n in range(2, 7): X = sp.Matrix(n, n, lambda i, j: sp.Symbol(f"x{i}{j}")) P = sp.Matrix(n, n, lambda i, j: sp.Symbol(f"p{i}{j}")) t = sp.expand((X * P - P * X).trace()) assert t == 0, (n, t) print(f"n={n}: tr(XP-PX) = {t} identically; tr(iI) = {sp.In} != 0") # (b) quantitative: ||XP-PX-iI||_F >= sqrt(n) for all X, P (bound from the trace). rng = np.random.default_rng(0) def resid(v, n): m = n * n a = v[:2 * m].reshape(2, m); b = v[2 * m:].reshape(2, m) X = (a[0] + 1j * a[1]).reshape(n, n); P = (b[0] + 1j * b[1]).reshape(n, n) return np.linalg.norm(X @ P - P @ X - 1j * np.eye(n)) for n in range(2, 7): best = np.inf for _ in range(12): v0 = rng.normal(size=4 * n * n) * rng.uniform(0.1, 2.0) r = minimize(resid, v0, args=(n,), method="BFGS") best = min(best, r.fun) print(f"n={n}: min residual = {best:.10f}, bound sqrt(n) = {np.sqrt(n):.10f}") assert best >= np.sqrt(n) - 1e-6 print("OK: nothing beats the trivial pair X=P=0 (residual sqrt(n)).")
Quantum mechanics was initially conceptualized within the infinite-dimensional sequence space l2 by Born, Heisenberg, and Jordan, relying on the canonical commutation relation. However, as formalized by the Wintner-Wielandt theorem, this relation cannot hold universally using bounded, everywhere-defined operators. To prevent algebraic collapse, a structural restriction becomes inevitable, revealing a profound logical dichotomy. The traditional analytical approach, formalized by von Neumann, circumvents the Wintner prohibition to secure exact invariance of the relation, but abandons the Hilbert space framework for the non-normed Schwartz space and its dual distribution space. Conversely, the algebraic approach accepts the Wintner constraint as a structural law; it preserves the strict Hilbert space structure by accepting a boundary modification of the commutation relation within a finite, yet arbitrarily large dimension C(N+1) . This autonomous path directly yields a new physical observable, defined as the action difference D . While empirical correspondence holds perfectly within the interior matrix space, only this algebraic framework unlocks manageable eigenvectors for both position and momentum. Within this formulation, we rigorously prove that all position eigenvectors possess non-negligible components extending up to the highest energy levels. Confronted with this spectrum during a position measurement, a finite observer can resolve only a bounded energy spectrum, causing the accessible information to shrink to a set of measure zero. Consequently, quantum randomness emerges as intrinsic decoherence at the interface between the finite observation window and the space. Furthermore, we can demonstrate that the algebraic representation provides the foundational, contradiction-free justification for the continuous Cauchy-Hilbert core.
I discuss a set of strong, but probabilistically intelligible, axioms from which one can {\em almost} derive the appratus of finite dimensional quantum theory. Stated informally, these require that systems appear completely classical as restricted to a single measurement, that different measurements, and likewise different pure states, be equivalent (up to the action of a compact group of symmetries), and that every state be the marginal of a bipartite non-signaling state perfectly correlating two measurements. This much yields a mathematical representation of measurements and states that is already very suggestive of quantum mechanics. In particular, in any theory satisfying these axioms, measurements can be represented by orthonormal subsets of, and states, by vectors in, an ordered real Hilbert space -- in the quantum case, the space of Hermitian operators, with its usual tracial inner product. One final postulate (a simple minimization principle, still in need of a clear interpretation) forces the positive cone of this space to be homogeneous and self-dual and hence, to be the the state space of a formally real Jordan algebra. From here, the route to the standard framework of finite-dimensional quantum mechanics is quite short.
本文从物理本体论出发,提出海森堡不确定性原理的统一结构性解释。量子态具有波动性、非局域性与相干性,其本体论结构天然呈现为不可数无限维的函数空间。无限维结构在数学上以希尔伯特空间、乘法与微分算符的非对易性、傅里叶变换的展宽性质以及辛几何的最小相空间面积等形式表现出来。 本文提出不确定性原理的四层结构根源:代数层的有限维不可能性、分析层的无限维不对易性、函数层的傅里叶展宽必然性、以及几何层的辛结构不可压缩性。最终揭示:不确定性原理不是数学形式的偶然产物,而是物理世界无限维结构在数学中的必然呈现。 This work develops a unified ontological account of the origin of Heisenberg’s uncertainty principle. Quantum states possess wave-like, nonlocal, and coherent properties, and their intrinsic structure is that of an uncountably infinite-dimensional function space. This infinite-dimensional nature manifests mathematically through Hilbert space, the non-commutativity of multiplication and differentiation operators, the Fourier-induced broadening between position and momentum, and the symplectic geometry of phase space with its minimal area elements. The paper identifies four structural roots of the uncertainty principle: (1) the algebraic impossibility of realizing canonical commutation relations in finite dimensions, (2) the analytic necessity of non-commutativity in infinite dimensions, (3) the functional necessity of Fourier broadening, and (4) the geometric necessity of symplectic incompressibility. The uncertainty principle thus emerges not as a mathematical artifact, but as the natural mathematical expression of the infinite-dimensional structure of the physical world. This work proposes a unified structural and ontological framework for understanding the uncertainty principle, integrating algebraic, analytic, functional, and geometric layers into a single explanatory chain.
This paper relocates the Schrödinger equation, the Born probability rule, and the definiteness of experience from a single undifferentiated account into two layers: a deterministic structural layer (Tier-2) and a translation layer (Tier-3), the layer of commutative, analytic, classical description. No part of the mathematical content of wave mechanics is changed; what changes is only the layer to which each statement belongs.The main result is the following. The probabilistic reading of the Born rule presupposes three Tier-3 choices: (P1) realising the state as a complex-valued state functional; (P2) restricting that functional to a commutative subalgebra and constructing a measure from the spectral theorem; and (P3) adopting a rule that reads the measure as a distribution of measurement outcomes. Each choice adds structure that Tier-2 does not determine, so the passage from Tier-2 is a non-invertible translation and the probabilistic reading is representation-dependent. Probability is therefore not a primitive property of nature. The evolution of the state, by contrast, is the generator equation of a strongly continuous unitary group; it is smooth and deterministic, and its statement is independent of P1–P3. Within physics (Tier-3), the paper also assigns complementary roles to the two original mechanics: matrix mechanics, the non-commutative algebra of observables, is the theoretical pillar, and wave mechanics is the implementation that makes concrete models tractable. For finitely many degrees of freedom they are unitarily equivalent, so the asymmetry between them lies in tractability and not in content. The paper does not deny the validity or the empirical adequacy of the Born rule. It does not resolve the meaning of probability, does not derive the selection of an individual outcome, does not derive the post-measurement update rule, and does not claim to derive the Born rule from Tier-2. Its aim is an account that Schrödinger himself could accept: smooth deterministic evolution, with probability placed outside the dynamics. This paper follows the author's three papers on the uncertainty principle (https://doi.org/10.5281/zenodo.23073559, https://doi.org/10.5281/zenodo.23128791, https://doi.org/10.5281/zenodo.23130407) and applies the same structural analysis to the Born rule and the Schrödinger equation. Appendix A of the paper contains five self-contained Python 3 verification scripts (NumPy only); Code 1, which exhibits a pair of representations sharing one wave function, is reproduced below. import math import numpy as np hbar, m, sigma0 = 1.0, 1.0, 1.0 k = hbar / (2.0 * m * sigma0**2) # d(tau)/dt, tau = k t def psi(x, t): """Exact free Gaussian packet psi_0 ~ exp(-x^2/(4 sigma0^2)).""" tau = k * t c = 1.0 + 1j * tau return (2*np.pi*sigma0**2)**-0.25 * c**-0.5 * np.exp(-x**2 / (4*sigma0**2*c)) def psi_x_over_psi(x, t): return -x / (2.0 * sigma0**2 * (1.0 + 1j * k * t)) def velocity(x, t): # guidance equation v = (hbar/m) Im(psi_x/psi) return (hbar / m) * np.imag(psi_x_over_psi(x, t)) def trajectories(x0, T, steps=2000): # deterministic RK4 x, dt = x0.copy(), T / steps for i in range(steps): t = i * dt k1 = velocity(x, t); k2 = velocity(x + 0.5*dt*k1, t + 0.5*dt) k3 = velocity(x + 0.5*dt*k2, t + 0.5*dt); k4 = velocity(x + dt*k3, t + dt) x = x + dt * (k1 + 2*k2 + 2*k3 + k4) / 6.0 return x # (a) psi solves the free Schroedinger equation (finite-difference residual) x = np.linspace(-8, 8, 4001); h, dt, t0 = x[1]-x[0], 1e-4, 1.3 dpsi_dt = (psi(x, t0+dt) - psi(x, t0-dt)) / (2*dt) lap = (psi(x[2:], t0) - 2*psi(x[1:-1], t0) + psi(x[:-2], t0)) / h**2 res = np.max(np.abs(1j*hbar*dpsi_dt[1:-1] + hbar**2/(2*m)*lap)) print("Schroedinger residual :", f"{res:.2e}") assert res < 1e-5 # (b) trajectories are deterministic functions of x0; they match the closed form rng = np.random.default_rng(12345) x0 = rng.normal(0.0, sigma0, 200000) # the ONLY random input: initial positions T = 3.0 xT = trajectories(x0, T) closed = x0 * math.sqrt(1.0 + (k*T)**2) err = np.max(np.abs(xT - closed)) print("max |RK4 - closed form| :", f"{err:.2e}") assert err < 1e-8 assert np.array_equal(xT, trajectories(x0, T)) # same x0 -> same x(T), bit for bit # (c) equivariance: ignorance measure |psi_0|^2 at t=0 is carried to |psi_T|^2 sigT = sigma0 * math.sqrt(1.0 + (k*T)**2) print("std of positions at T / sigma(T) :", f"{xT.std():.4f} / {sigT:.4f}") assert abs(xT.std()/sigT - 1.0) < 5e-3 s = np.sort(xT) cdf = np.array([0.5*(1.0 + math.erf(v/(sigT*math.sqrt(2.0)))) for v in s]) ks = np.max(np.abs(cdf - (np.arange(1, s.size+1)/s.size))) print("KS distance to |psi(x,T)|^2 :", f"{ks:.4f}") assert ks < 3.0 / math.sqrt(s.size) # approx. 99.9 percent level print("PASS")
A recent rethinking of the early history of Quantum Mechanics deemed the late 1920s agreement on the equivalence of Matrix Mechanics and Wave Mechanics, prompted by Schrödinger’s 1926 proof, a myth. Schrödinger supposedly failed to achieve the goal of proving isomorphism of the mathematical structures of the two theories, while only later developments in the early 1930s, especially the work of mathematician John von Neumman (1932) provided sound proof of equivalence. The alleged agreement about the Copenhagen Interpretation, predicated to a large extent on this equivalence, was deemed a myth as well. If such analysis is correct, it provides considerable evidence that, in its critical moments, the foundations of scientific practice might not live up to the minimal standards of rigor, as such standards are established in the practice of logic, mathematics, and mathematical physics, thereby prompting one to question the rationality of the practice of physics. In response, I argue that Schrödinger’s proof concerned primarily a domain-specific ontological equivalence, rather than the isomorphism. It stemmed initially from the agreement of the eigenvalues of Wave Mechanics and energy-states of Bohr’s Model that was discovered and published by Schrödinger in his First and Second Communications of 1926. Schrödinger demonstrated in this proof that the laws of motion arrived at by the method of Matrix Mechanics could be derived successfully from eigenfunctions as well (while he only outlined the reversed derivation of eigenfunctions from Matrix Mechanics, which was necessary for the proof of isomorphism of the two theories). This result was intended to demonstrate the domain-specific ontological equivalence of Matrix Mechanics and Wave Mechanics, with respect to the domain of Bohr’s atom. And although the full-fledged mathematico-logical equivalence of the theories did not seem out of the reach of existing theories and methods, Schrödinger never intended to fully explore such a possibility in his proof paper. In a further development of Quantum Mechanics, Bohr’s complementarity and Copenhagen Interpretation captured a more substantial convergence of the subsequently revised (in light of the experimental results) Wave and Matrix Mechanics. I argue that both the equivalence and Copenhagen Interpretation can be deemed myths if one predicates the philosophical and historical analysis on a narrow model of physical theory which disregards its historical context, and focuses exclusively on its formal aspects and the exploration of the logical models supposedly implicit in it.
This paper argues that the Heisenberg uncertainty principle is not a theorem of the matrix mechanics that Heisenberg introduced in 1925, nor is it a statement about a feature of nature; it is a product of a Tier-3 translation that imported classical-continuous assumptions into a framework originally committed to purely observable, algebraic relations. We trace the principle's genealogy across four stages: (i) the algebraic origin in Heisenberg's 1925 Umdeutung paper and its completion by Born and Jordan, (ii) the 1927 rupture, where the paper reverses the direction of the 1925 programme: it re-establishes kinematic concepts with semi-classical materials and treats the uncertainty relation both as a foundation and as a consequence of the formalism, (iii) the descent into the Tier-3 infrastructure of ℏ, the trace condition, and L²(ℝ), and (iv) Robertson's 1929 reformulation, which reduced the principle to a general operator inequality whose only content beyond the Fourier theorem is the assumption p = ℏk. We further examine the Ozawa–BLW dispute of the 2000s–2010s, in which both camps share the Tier-3 substrate and therefore argue within a translation layer rather than about physical structure. In Appendix B we introduce the vocabulary of Operatiology V5 and locate each stage within the Tier-2/Tier-3 hierarchy. The conclusion is that the uncertainty principle, as canonically formulated, is a Tier-3 artefact: it is neither forced by the algebraic structure of quantum mechanics nor does it describe a primitive property of nature independent of representational choices. Version 2 (October 2026): Section 3 and Proposition 3.1 are revised to state the relation of the 1927 paper to the 1925 programme as a reversal of direction, with the Abstract, the Conclusion and Theorem B.6 aligned. Statements on the 1925 papers are corrected against the sources, B(H) is replaced by operators on a Hilbert space, and all changes are recorded in the new Appendix C (Revision History). The following code (Code 1, Appendix A) numerically verifies the Stone–von Neumann uniqueness theorem by confirming that two structurally distinct finite-dimensional truncations of the CCR algebra yield spectrally equivalent harmonic-oscillator Hamiltonians. import numpy as np from numpy.linalg import eigh hbar = 1.0 # Representation A: Ladder / number-state truncation N = 120 ns = np.arange(N) a = np.diag(np.sqrt(ns[1:]), k=1) adag = a.T Q_A = np.sqrt(hbar / 2.0) * (a + adag) P_A = 1j * np.sqrt(hbar / 2.0) * (adag - a) H_A = 0.5 * (P_A @ P_A + Q_A @ Q_A) evals_A, _ = eigh(np.real(H_A)) comm_A = Q_A @ P_A - P_A @ Q_A - 1j * hbar * np.eye(N) interior_residual_A = np.max(np.abs(comm_A[:-1, :-1])) # Representation B: Position-grid second-derivative (Dirichlet b.c.) M = 2000 L = 15.0 x = np.linspace(-L, L, M + 2)[1:-1] dx = x[1] - x[0] diag0 = (5.0 / 2.0) * np.ones(M) / dx**2 diag1 = (-4.0 / 3.0) * np.ones(M - 1) / dx**2 diag2 = (1.0 / 12.0) * np.ones(M - 2) / dx**2 T_B = (hbar**2 / 2.0) * ( np.diag(diag0) + np.diag(diag1, 1) + np.diag(diag1, -1) + np.diag(diag2, 2) + np.diag(diag2, -2)) V_B = np.diag(0.5 * x**2) H_B = T_B + V_B evals_B, _ = eigh(H_B) # Comparison n_show = 12 expected_evals = hbar * (np.arange(n_show) + 0.5) spectral_gap = np.max(np.abs(evals_A[:n_show] - evals_B[:n_show])) print(f"CCR interior residual: {interior_residual_A:.2e}") print(f"Max spectral discrepancy (A vs B, {n_show} levels): {spectral_gap:.2e}") # Output: # CCR interior residual: 3.24e-14 # Max spectral discrepancy (A vs B, 12 levels): 1.08e-06