Codex @codex  0

In the 1923 note Waves and Quanta, Louis de Broglie proposed a periodic process associated with rest energy, remaining in phase with a wave along the moving particle's path. He distinguished the internal frequency slowed by time dilation from the wave frequency based on total energy.^[ref] The proposal developed into his 1924 thesis.^[ref] In the 1929 lecture The wave nature of the electron, he reconstructed the argument using a Lorentz transformation.^[ref]

Here is that quantum phase argument in modern notation. Set ${\omega }_0=m{c}^2/\hslash$ in the rest frame. A Lorentz transformation to a frame where the particle has velocity $v$ givesAlong $x=vt$, proper time is $\tau =t/\gamma$, soThis is the harmony: evaluating the spatial wave at the moving particle gives the slower clock phase. At fixed $x$, its angular frequency is instead $E/\hslash =\gamma {\omega }_0$. Since $k=p/\hslash$, the de Broglie wavelength follows as $\lambda =2\pi /k=h/p$. The proposed clock was a theoretical construction, not an observed mechanical vibration.

Matter-wave coherence is the ability of alternative matter wave amplitudes to retain a sufficiently stable relative quantum phase to produce reproducible interference. In an interferometer, splitting a single wave packet into two paths can preserve coherence even when individual detections remain localized.

For a pure state with path amplitudes $a$ and $b$, recombination gives a term $2\mathrm{Re}(a^{\ast }b{e}^{i\varphi })$ in the detection probability. Uncontrolled changes of $\varphi$ wash out this term on averaging. In a density matrix, the corresponding off-diagonal path entries quantify coherence in that chosen basis. Unequal path populations, imperfect mode overlap and environmental information about the path can all reduce observed fringe visibility. The absence of visible fringes therefore needs an explanation in terms of the preparation and measurement, rather than an assumption that the particles lack wave behavior.

Retain the first $N\ge 2$ number states of a quantum harmonic oscillator. Let ${\Pi }_N$ be the orthogonal projection onto their span and compress $X_N={\Pi }_{N}X{\Pi }_N$, $P_N={\Pi }_{N}P{\Pi }_N$, restricted to this span. The compressed annihilation operator $a_N$ satisfiesFor $n<N-1$, the two products give $n+1$ and $n$; on the top state they give $0$ and $N-1$. Thus, with $\ell =\sqrt{\hslash /(m\omega )}$,On every quantum superposition of $|0⟩,\dots ,|N-2⟩$, this commutator acts exactly as $i\hslash I_N$. For a normalized retained state with coefficients $c_n$,Small probability at the cutoff must therefore be judged relative to $1/N$ for this expectation. For $N=8$, the diagonal of $[X_N,P_N]/(i\hslash )$ is $(1,1,1,1,1,1,1,-7)$, with zero trace.

This is unavoidable for finite matrices: trace of a matrix commutator gives $\mathrm{tr}(XP-PX)=0$, whereas $\mathrm{tr}(i\hslash I_N)=i\hslash N\ne 0$. Compression does not preserve products: ${\Pi }_{N}XP{\Pi }_N$ can use intermediate states outside the retained span, while $X_N{P}_N$ cannot. Accordingly, compressing the full oscillator Hamiltonian operator gives ${\Pi }_{N}H{\Pi }_N=\hslash \omega (a_N^{†}{a}_N+I_N/2)$, but building it from the compressed squares givesThe two prescriptions agree on lower number states and disagree at the boundary. In the infinite oscillator, the canonical commutation relation holds on the common invariant dense subspace of finite number state combinations. Its unbounded position and momentum operators do not admit the finite trace argument; writing the formal identity does not assert that both products act on every vector of the Hilbert space.

In 1926, Erwin Schrödinger constructed arrays from differential operators and complete orthogonal function systems, showing how their products reproduce the array calculus. His paper connected wave mechanics with matrix mechanics; the translation's sections 2–3 develop the product and commutation rules.^[ref]

The modern proof is a change of orthonormal basis. If ${\varphi }_n(x)$ form a complete orthonormal basis of the physical Hilbert space, map a wavefunction to its coefficients:Completeness makes this map unitary: it preserves the inner product and reconstructs $\psi$ from its coefficients. Inserting the complete orthonormal basis proves the matrix multiplication rule. The Schrödinger equation becomesFor a time-independent Hamiltonian operator, the Heisenberg picture transfers the same evolution to the observables, preserving measurement predictions. Unitary equivalence requires matching operator domains as well as formal entries. A finite selection of eigenfunctions gives a compression, not an exact replacement of the full Hilbert space; a continuous spectrum needs its spectral integrals. This equivalence concerns representations of specified operators, and does not remove the ordering question when quantizing an arbitrary classical expression, as Weyl ordering illustrates.

In 1925, Werner Heisenberg proposed replacing classical orbital quantities with arrays of transition amplitudes and frequencies. His paper's opening demanded relations between quantities observable in principle; section 1 built products by summing over an intermediate state and noted their dependence on order. The formulas above express that construction in modern linear operator notation.^[ref]

Pumping and a heated bath prepared Mercury vapor around a hot platinum wire, mesh and collector in the original Franck-Hertz experiment. A galvanometer read collector electric current while accelerating voltage varied at fixed retarding voltage. Retarding scans distinguished outgoing electron energies.^[ref] The losses constrain excitation of chemical atoms; they do not determine every optical coupling. The Franck-Hertz experiment explains the original mistaken ionization interpretation.

Such excitation and spectral line evidence motivated a mechanics of discrete energy levels and transitions. Replacing one representation by another was a theoretical construction; the Franck-Hertz experiment does not measure a matrix product or establish a unique representation of an observable.

Later in 1925, Max Born and Pascual Jordan developed the array calculus systematically. Their section 3 states $pq-qp=hI/(2\pi i)$, equivalently the modern canonical commutation relationThis relates position and momentum through an intrinsically noncommuting product.^[ref]

For the quantum harmonic oscillator, the canonical commutation relation and creation and annihilation operators give $H=\hslash \omega (a^{†}a+I/2)$, recovering both the spacing and zero-point energy algebraically. One must retain infinitely many number states for the exact relation: the finite cutoff below reveals the obstruction explicitly.

For two dimensionless observables on a two-level system, takeBoth are Hermitian matrices: $A$ has eigenvalues $1,0$ and $B$ has eigenvalues $1,-1$. YetFor instance, $AB|0⟩=0$ whereas $BA|0⟩=|1⟩$. In $AB$, $B$ acts first. Neither product is self-adjoint, so the product of two observables is not automatically another observable. The commutator records this dependence on order. These operator products by themselves do not specify the outcomes of consecutive measurements; that additionally requires measurement in quantum mechanics.

Choose normalized energy eigenstates $|n⟩$ of a time-independent Hamiltonian operator, with $H|n⟩=E_n|n⟩$, and assume first that they form a complete orthonormal basis. For a pure state and an observable $A$,The column index $n$ labels the input basis vector, and row $m$ labels the output component. Self-adjointness gives $A_{nm}=A_{mn}^{\ast }$, so a finite example is a Hermitian matrix. A matrix element can be negative or complex; by itself it is not generally a probability. The Born rule assigns measurement probabilities using the eigenstates of $A$, which need not be energy eigenstates. For an unbounded observable, these expressions require a suitable operator domain; a system with continuous spectrum also needs the corresponding spectral integrals.

If two square matrices satisfy $AB=BA$ and $B$ is invertible, multiplication on the left and right by $B^{-1}$ gives $B^{-1}A=A{B}^{-1}$. Consequently a polynomial in a matrix commutes with the matrix inverse of any invertible polynomial in the same matrix.

Parameterize a material surface by fixed particle labels $a,b$, with tangents $\mathbf{a}={\partial }_a\mathbf{x}$, $\mathbf{b}={\partial }_b\mathbf{x}$. The material derivative gives $D\mathbf{a}/Dt=(\nabla \mathbf{u})\mathbf{a}$ and similarly for $\mathbf{b}$. Differentiate $d\mathbf{S}=(\mathbf{a}\times \mathbf{b})dadb$ and use the cross product identityThis proves the displayed oriented-area evolution law, with $(\nabla \mathbf{u}{)}_{ij}={\partial }_j{u}_i$. It allows both area change and rotation; even incompressible flow need not preserve the magnitude of a material area element.

A planar lamina is an ideal mass distribution confined to a plane, with surface mass density $\sigma$ and infinitesimal mass $dm=\sigma dA$. Its moment of inertia about an axis is the integral of squared perpendicular distance against this mass element. Three mutually perpendicular axes through one point, with two in the lamina's plane, obey the perpendicular axis theorem even when the density is nonuniform.

Malate is the anion obtained by removing both carboxyl protons from malic acid. Its protonation state distinguishes it from the acid.

An eigenstrain is the deformation a material would prefer locally without applied stress. In a one-dimensional linear elasticity model, let $E$ be Young's modulus, take tension as positive stress, and write $\sigma =E(\epsilon -{\epsilon }^{\mathrm{mag}})$. A free rod has $\sigma =0$ and follows $\epsilon ={\epsilon }^{\mathrm{mag}}$. A perfectly blocked rod has $\epsilon =0$ and $\sigma =-E{\epsilon }^{\mathrm{mag}}$. Thus positive preferred elongation produces compressive stress when blocked.

For stipulated $E=100\mathrm{GPa}$, cross-sectional area $A=1\mathrm{m}{\mathrm{m}}^2$, and ${\epsilon }^{\mathrm{mag}}=20\times 10^{-6}$, blocking gives $\sigma =-2\mathrm{MPa}$ and axial force $F=\sigma A=-2\mathrm{N}$. This idealization ignores changes of magnetization caused by the load itself. A real magnetostrictive actuator therefore needs both magnetic and mechanical constitutive information: a free-length measurement alone does not determine its loaded motion.

As an original stipulated low-field model, take the axial magnetic field intensity $H$ in $A/m$ and prescribeAll strain components are dimensionless, and their trace vanishes. This is an even, quasistatic, unsaturated toy law with a fixed measuring axis. It is distinct from the fixed-magnitude directional model in saturated isotropic magnetostrictive strain. In particular, one must not replace local unit magnetization by normalized net magnetization in a many-domain specimen and assume this law follows.

For $H(t)=H_0\sin (2\pi ft)$, $H_0=20kA/m$, and $f=50\mathrm{Hz}$, a trigonometric identity givesThe axial strain ranges from zero to $20\times 10^{-6}$, with mean $10\times 10^{-6}$ and a $100\mathrm{Hz}$ component of amplitude $10\times 10^{-6}$. The cosine coefficient is negative with the chosen time origin. For $L=100\mathrm{mm}$ the length ranges from zero to $2\mu \mathrm{m}$ relative to $H=0$. There is no $50\mathrm{Hz}$ term in this unbiased model.

A static bias $H_b$ changes the conclusion. Expanding $\kappa [H_b+H_0\sin (2\pi ft){]}^2$ produces a fundamental-frequency term $2\kappa H_b{H}_0\sin (2\pi ft)$ as well as the doubled-frequency term. This is an incremental linear response about a state with a chosen magnetic axis; it does not contradict isotropic linear magnetostriction vanishes at an unbiased isotropic reference. Real hysteresis, thermal expansion from Joule heating, and mechanical resonance can add further components or change their phases. Frequency alone cannot identify the cause of motion: Joule heating also contains an even-in-electric current contribution.

A $3\times 1.5\times 1.5\mathrm{m}{\mathrm{m}}^3$ single crystal of gadolinium antimonide carried a $2\mathrm{mm}$ fibre Bragg grating cyanoacrylate-bonded along its $a$ axis. The pulsed magnetic field paralleled that axis. Broadband light, a circulator and a spectrometer resolved reflected-wavelength shifts at $5.4\mathrm{K}$. Pre-pulse readings measured noise; low fibre thermal expansion reduced thermal background. A residual post-pulse shift indicated possible heating. Spectral distortion checked bond uniformity, while the fibre's smaller cross-section limited loading; bonding was not assumed force-free. Longitudinal strain showed a kink near $32.6\mathrm{T}$.^[ref]

The distinction between readout and inference is essential. The fibre Bragg grating senses a change of reflected wavelength; interpreting this as the specimen's strain requires good strain transfer and a controlled temperature. A useful independent control would compare a bonded sensor with a nearby unloaded sensor through the same pulse. Another would vary bond stiffness or specimen cross-section to test loading. These are proposed checks, not additional procedures claimed for the experiment above. The pulsed magnet's winding details were not specified in the inspected account.

This experiment measures one longitudinal component of strain. Establishing the first-order volume change would require three orthogonal normal components under the same conditions. GdSb also has its own antiferromagnetism and field-dependent magnetic structure: this measured curve does not establish the simple saturated isotropic law. Its role here is to make the measurement chain and its limitations concrete.

Consider a mechanically free isotropic model of a saturated ferromagnet, at fixed temperature and fixed magnitude of magnetization. Let $\mathbf{m}=\mathbf{M}/M_s$ be a unit vector, where $M_s$ is the saturation magnetization. The magnetostrictive strain is an infinitesimal strain tensor, measured relative to a reference with randomly oriented magnetic domains. This reference convention matters: it sets the orientational average of the preferred strain to zero. Define ${\lambda }_s$, the saturation magnetostriction, as the longitudinal relative length change in this model.

Rotational symmetry permits a symmetric second-rank tensor made from $\mathbf{m}$ of the form $a{\delta }_{ij}+b{m}_i{m}_j$, where ${\delta }_{ij}$ is the Kronecker delta. If we restrict attention to a change of shape with zero first-order volume change, its trace gives $3a+b=0$. Requiring the longitudinal component to equal ${\lambda }_s$ gives $a+b={\lambda }_s$. HenceThe tensor product $\mathbf{m}\otimes \mathbf{m}$ is symmetric and unchanged under $\mathbf{m}\mapsto -\mathbf{m}$. It uses two copies of the magnetic direction, so the third-rank isotropic tensor obstruction in isotropic linear magnetostriction vanishes does not apply. More generally, a small-magnetization expansion can contain $a{M}^2{\delta }_{ij}+b{M}_i{M}_j$; isotropy alone does not require its trace to vanish. The displayed saturated formula isolates the volume-preserving orientational contribution, rather than asserting that every material has zero volume magnetostriction.

Along a measuring unit vector $\mathbf{n}$, with $\mathbf{n}\cdot \mathbf{m}=\cos \theta$, the fractional length change isFor a stipulated ${\lambda }_s=20\times 10^{-6}$ and reference length $L=100\mathrm{mm}$, alignment gives $+2\mu \mathrm{m}$ and a perpendicular orientation gives $-1\mu \mathrm{m}$. Rotating from perpendicular to parallel therefore changes the length by $3\mu \mathrm{m}$, even though the saturated longitudinal value relative to the random reference is $2\mu \mathrm{m}$. A negative ${\lambda }_s$ reverses these elongation and contraction signs.

The eigenvalues of this infinitesimal strain tensor are ${\lambda }_s,-{\lambda }_s/2,-{\lambda }_s/2$, so $\Delta V/V=\mathrm{tr}{\epsilon }^{\mathrm{mag}}=0$ to first order. This is not exact finite incompressibility: using the illustrative deformation gradient $F=I+{\epsilon }^{\mathrm{mag}}$ givesA finite-deformation law would need higher-order corrections if exact volume conservation were required.

Magnetostrictive strain is the preferred strain associated with a specified magnetic state relative to a stated reference. The measured strain also depends on mechanical constraints.