Skip to content

Born and Jordan’s Matrix Formulation

Heisenberg’s 1925 paper introduced arrays of transition quantities and a noncommutative multiplication rule. Born and Jordan supplied the crucial mathematical recognition: those arrays behave as matrices. That recognition made the new mechanics less mysterious algebraically and led quickly to the canonical commutation relation.

This page follows the historical clarification. The modern formal home of the commutator is Canonical Commutation Relations, while the general operator language belongs to Operators.

Heisenberg’s transition quantities were indexed by two state labels. Born and Jordan recognized that this is exactly the structure of a matrix. If AA and BB are two such arrays, their product is

(AB)mn=∑kAmkBkn.(AB)_{mn} = \sum_k A_{mk}B_{kn}.

This rule was not a decorative import from linear algebra. It matched the way transition frequencies compose through intermediate states. Matrix multiplication supplied a precise algebra for the new quantities.

In modern notation, a chosen basis turns an operator AA into matrix elements

Amn=⟨m∣A∣n⟩.A_{mn} = \langle m\vert A\vert n\rangle.

That notation is later than the original work, but it captures why the matrix interpretation was powerful. A physical quantity is not represented by a single numerical value independent of state. It is represented by a structured set of transition and diagonal elements.

For a quantity corresponding to a real classical observable, the matrix should have the finite-dimensional Hermitian pattern

Amn=Anm∗,A_{mn} = A_{nm}^*,

or its appropriate infinite-dimensional analogue. This later became part of the route toward self-adjoint operators as observables. The historical matrix step did not yet settle every domain and spectral question, but it made the algebraic shape visible.

The most famous algebraic outcome is the canonical commutation relation. In modern convention,

[Q,P]=QP−PQ=iℏI.[Q,P] = QP-PQ = i\hbar I.

Original papers may write equivalent formulas with the opposite product order or with h/(2πi)h/(2\pi i); these differ by sign conventions and by whether the commutator is written as QP−PQQP-PQ or PQ−QPPQ-QP. The physical content is that the coordinate and conjugate momentum quantities do not commute, and the noncommutativity is set by ℏ\hbar.

This relation is not a small correction to classical algebra. It says that canonical position and momentum cannot be represented by ordinary commuting numerical variables. Their product order matters.

There is also an important mathematical caveat. Exact canonical commutation cannot hold for finite-dimensional matrices. For finite matrices,

Tr⁡(AB−BA)=0,\operatorname{Tr}(AB-BA) = 0,

because the trace is cyclic. But if [Q,P]=iℏIN[Q,P]=i\hbar I_N in an NN-dimensional space, then

Tr⁡(iℏIN)=iℏN,\operatorname{Tr}(i\hbar I_N) = i\hbar N,

which is nonzero when ℏ≠0\hbar\ne0. Therefore the exact position-momentum commutation relation requires infinite-dimensional operators and domain care. Finite matrices can model spin systems, truncated oscillators, and approximations, but not the exact canonical pair without qualification.

Born and Jordan’s formulation also sharpened the relation between the new algebra and Hamiltonian mechanics. Classical Hamiltonian dynamics uses canonical variables and Poisson brackets. Quantum matrix mechanics replaces the classical bracket structure by a commutator structure.

A compact modern comparison is

{A,H}cl⟶1iℏ[A,H].\{A,H\}_{\mathrm{cl}} \quad\longrightarrow\quad \frac{1}{i\hbar}[A,H].

This correspondence is a guide, not a universal algorithm. Operator ordering, domains, spectra, and representation choices all matter. Still, it explains why the matrix formulation could reproduce a mechanics rather than only fit spectral lines.

For an observable AA with no explicit time dependence, the Heisenberg-picture equation is

dAdt=iℏ[H,A].\frac{dA}{dt} = \frac{i}{\hbar}[H,A].

If HH is diagonal in the energy basis, Hmn=EmδmnH_{mn}=E_m\delta_{mn}, then

([H,A])mn=(Em−En)Amn.([H,A])_{mn} = (E_m-E_n)A_{mn}.

Therefore

dAmndt=iωmnAmn,ωmn=Em−Enℏ.\frac{dA_{mn}}{dt} = i\omega_{mn}A_{mn}, \qquad \omega_{mn} = \frac{E_m-E_n}{\hbar}.

This recovers the same pair-indexed transition frequencies that motivated matrix mechanics in the first place. The algebra and the spectroscopy fit together.

Born and Jordan’s matrix interpretation helped turn Heisenberg’s transition scheme into a systematic mechanics. Its modern descendants include:

  • observables represented by self-adjoint operators;
  • states represented by vectors, rays, or density operators;
  • basis choices represented by matrix elements;
  • time evolution expressed through Hamiltonians and commutators;
  • compatibility and uncertainty expressed through noncommuting operator products.

The modern language is broader than the original matrix mechanics. It includes continuous spectra, wavefunctions, distributional eigenstates, unbounded operators, spin degrees of freedom, tensor products, and density matrices. But the conceptual core remains recognizable: the algebra of quantities is not the commutative algebra of classical functions on phase space.

Matrix mechanics also changed the meaning of “observable.” It did not mean “whatever can be pictured.” It meant a quantity whose measurable consequences are encoded in spectra, transition elements, and algebraic relations.

Their contribution can be summarized in four linked steps:

  1. Heisenberg’s arrays are matrices.
  2. Heisenberg’s multiplication law is matrix multiplication.
  3. Matrix multiplication is generally noncommutative.
  4. Canonical variables therefore obey a nonclassical algebra, with the position-momentum commutator set by ℏ\hbar.

This did not finish quantum mechanics. Dirac’s transformation theory, Schrödinger’s wave mechanics, Born’s probability interpretation, and later Hilbert-space formalism were all needed. But Born and Jordan made the algebraic skeleton explicit.

  • Treating Born and Jordan as merely naming Heisenberg’s arrays. They clarified the multiplication law, commutator structure, and Hamiltonian-mechanics connection.
  • Writing the canonical commutator without specifying the order convention.
  • Assuming finite matrices can satisfy [Q,P]=iℏI[Q,P]=i\hbar I exactly.
  • Treating the Poisson-bracket-to-commutator rule as a foolproof quantization algorithm.
  • Reading modern self-adjoint-operator domain theory back into 1925 without historical caution.
  • Confusing matrix mechanics with the later Heisenberg picture of time evolution.
  • M. Born and P. Jordan, “Zur Quantenmechanik,” Zeitschrift für Physik 34, 858-888, 1925, DOI: 10.1007/BF01328531.
  • W. Heisenberg, “Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen,” Zeitschrift für Physik 33, 879-893, 1925, DOI: 10.1007/BF01328377.
  • M. Born, W. Heisenberg, and P. Jordan, “Zur Quantenmechanik II,” Zeitschrift für Physik 35, 557-615, 1926, DOI: 10.1007/BF01379806.
  • P. A. M. Dirac, “The fundamental equations of quantum mechanics,” Proceedings of the Royal Society A 109, 642-653, 1925, DOI: 10.1098/rspa.1925.0150.
  • B. L. van der Waerden, ed., Sources of Quantum Mechanics, Dover, 1968.
  • M. Jammer, The Conceptual Development of Quantum Mechanics, 2nd ed., American Institute of Physics, 1989.
  • J. Mehra and H. Rechenberg, The Historical Development of Quantum Theory, Springer, 1982-2001.
  1. Show that finite-dimensional matrices cannot satisfy [Q,P]=iℏIN[Q,P]=i\hbar I_N exactly.
Solution

For finite matrices, cyclicity of trace gives

Tr⁡([Q,P])=Tr⁡(QP−PQ)=Tr⁡(QP)−Tr⁡(PQ)=0.\operatorname{Tr}([Q,P]) = \operatorname{Tr}(QP-PQ) = \operatorname{Tr}(QP)-\operatorname{Tr}(PQ) = 0.

But

Tr⁡(iℏIN)=iℏN,\operatorname{Tr}(i\hbar I_N) = i\hbar N,

which is nonzero for N>0N>0 and ℏ≠0\hbar\ne0. Therefore the exact canonical commutator cannot hold in finite dimension.

  1. Let HH be diagonal with Hmn=EmδmnH_{mn}=E_m\delta_{mn}. Show that ([H,A])mn=(Em−En)Amn([H,A])_{mn}=(E_m-E_n)A_{mn}.
Solution

Compute the two products:

(HA)mn=∑kHmkAkn=EmAmn,(HA)_{mn} = \sum_k H_{mk}A_{kn} = E_m A_{mn},

and

(AH)mn=∑kAmkHkn=AmnEn.(AH)_{mn} = \sum_k A_{mk}H_{kn} = A_{mn}E_n.

Thus

([H,A])mn=(HA−AH)mn=(Em−En)Amn.([H,A])_{mn} = (HA-AH)_{mn} = (E_m-E_n)A_{mn}.
  1. Why is the rule {A,H}cl→[A,H]/(iℏ)\{A,H\}_{\mathrm{cl}}\to [A,H]/(i\hbar) only a correspondence guide rather than a complete quantization algorithm?
Solution

Classical functions commute, while quantum operators may not. A classical expression such as q2pq^2p has ordering choices after quantization, such as Q2PQ^2P, QPQQPQ, or PQ2PQ^2. In infinite-dimensional systems, domains and self-adjointness also matter. The commutator rule captures an important structural analogy but does not uniquely define every quantum operator.

  1. What did Born and Jordan add to Heisenberg’s 1925 idea?
Solution

They recognized the transition arrays as matrices, identified the multiplication rule as matrix multiplication, clarified the noncommutative algebra, and developed the canonical commutation relation in relation to Hamiltonian mechanics. This made matrix mechanics a systematic algebraic formulation rather than only a bold transition-frequency prescription.