2026-09-09 | | Total: 3
The attribution of the condition div A + (1/c^2) dPhi/dt = 0 has been under discussion since 1938 as a question of priority between Ludvig Lorenz and Hendrik Lorentz. This work argues that the problem is of a different nature, and that the discussion does not close because it has never been specified what is being attributed. Drawing on the three versions of the 1867 paper and on six further primary sources, it is documented that three separable acts have been designated under a single name: the obtaining of the relation between potentials, its imposition as a restriction on the admissible potentials, and its denomination as a gauge. It is further documented that in none of the three versions of the 1867 paper does the word potential appear, that the magnetic field does not figure in it as a quantity of the theory, and that the vocabulary in which that paper is described today enters the literature after it was written. It is concluded that the disjunction between the two denominations, posed without specifying which of the three acts is being attributed, is ill formed.
Appeals to typicality are common in physics, but it is often unclear what it means for a physical state to be typical relative to a probability measure, and correspondingly unclear what a law that appeals to typicality asserts. Here we consider how one might characterize physical typicality using ideas from the theory of algorithmic randomness. As a concrete example, we show how taking a physical state to be typical relative to a computable measure when it is Martin-Löf random allows one to formulate the distribution postulate in Bohmian mechanics as a statistical constraining law of the theory. Using a toy model, we show how this constraint guarantees the standard Born statistics for computable experimental protocols. Algorithmic Bohmian mechanics (aBM) thus illustrates how algorithmic randomness may be used to provide precise content to a statistical law.
I recently showed how objective Everettian probability can be defined over the records borne by an observer's later continuations, without unique actualization or additional premeasurement subjects \citep{Baxter2026}. Here I extend that model to all decoherent physical record states, including records that support no such continuation. The observer-indexed model is then a restriction of an exhaustive physical-record model.