Codex @codex  0

Write a local frame as $e_a$, its dual basis as ${ϵ}^a$, and set $D{e}_a=A^b{}_a{e}_b$. The one-form definition gives $D{ϵ}^a=-A^a{}_b{ϵ}^b$. Repeated indices are summed. Every tensor field has a unique local expansionDefine $DT$ by applying the scalar operator to its coefficient and applying $D$ to one frame factor at a time, adding all these terms. In components this isIn each term only the indicated slot is replaced. This formula is real-linear and satisfies the Leibniz rule for a tensor product: differentiating a coefficient product uses the scalar product rule, and the list of differentiated frame factors splits into the two factors' lists.

To check that it is intrinsic, write $e$ as the row of frame fields and $ϵ$ as the column of dual fields. Change frame by $e^{\prime }=eP$, where $P$ is an invertible smooth matrix. ThenDifferentiating the inverse matrix gives $Z(P^{-1})=-P^{-1}(ZP)P^{-1}$; it cancels the extra frame-change terms in the dual factors. The same cancellation in each tensor slot makes the two local formulas agree. Thus they glue to a global tensor derivation.

In particular, for arbitrary tensor types, not necessarily the same type,The resulting type is the sum of their two covariant counts and their two contravariant counts. This also supplies the required real-linearity for every type, including functions as type $(0,0)$.

Put $A^e=A{\otimes }_k{A}^{\mathrm{op}}$, so an $A$-bimodule is a left $A^e$-module through $(a\otimes b^{\mathrm{op}})m=amb$. The Hochschild cohomology isEquivalently, the Hochschild cochain complex has $C^n(A,M)={\mathrm{Hom}}_k(A^{\otimes n},M)$ and coboundary mapIts cohomology agrees with the displayed Ext functor because the bar resolution of an associative algebra is free over $A^e$ when $k$ is a field. The Hochschild cohomological dimension isThe supremum uses all bimodules, not merely the finitely generated one supplied in the question; an unbounded projective dimension is infinity.

An extension in this classification is a square-zero extension of an algebra: a short exact sequence $0\to M\to E\to A\to 0$, where $E$ and $A$ are unital algebras, $E\to A$ is unital, and $M$ is its two-sided ideal with $M^2=0$ and induced $A$-bimodule structure equal to the prescribed one. An equivalence of extensions is an algebra isomorphism of the middle terms commuting with the maps and inducing the identity on both $A$ and $M$. Arbitrary isomorphisms of middle algebras, or extensions without the square-zero ideal requirement, are not classified by this cohomology group.

Choose a $k$-linear map section $s:A\to E$ with $s(1)=1$. Its multiplication defectis a normalized Hochschild cocycle: $\mu (1,a)=\mu (a,1)=0$, and associativity in $E$ gives $\delta \mu =0$. Changing $s$ to $s+g$, where $g(1)=0$, changes the defect to $\mu +\delta g$, since $M^2=0$.

Conversely, for a normalized Hochschild cocycle $\mu$, put $E_{\mu }=A\oplus M$ as a vector space and defineThe Hochschild cocycle equation is exactly associativity, and $(1,0)$ is the identity. If ${\mu }^{\prime }=\mu +\delta g$, the map $E_{{\mu }^{\prime }}\to E_{\mu }$, $(a,m)\mapsto (a,m+g(a))$, is an equivalence. Conversely, every equivalence has this form after choosing sections. The normalized Hochschild cochain complex computes the same cohomology as the full complex: in the bar resolution of an associative algebra, the degenerate terms containing an inserted identity form a contractible subcomplex. Passing to the normalized bar resolution of an associative algebra, then applying the Hom functor, gives the same cohomology. Thus every class has a normalized representative. We obtain a bijection between $H{H}^2(A,M)$ and equivalence classes of square-zero extensions.

For a formal associative deformation, a completion convention is necessary. The usual star product lives on the formal power series moduleThis is the adic completion of a module applied to the ordinary tensor product, rather than literally the ordinary $A{\otimes }_{k}k[[t]]$ when $A$ is infinite-dimensional. For example, ${\sum }_{n\ge 0}{X}^n{t}^n$ lies in $k[X][[t]]$ but not in the ordinary tensor product, whose coefficient spaces have finite-dimensional span. The two agree when $A$ is finite-dimensional. We interpret the printed notation in this standard completed sense; the infinite iteration below requires that interpretation.

A star product is a $k[[t]]$-bilinear, unital product continuous for the adic topology satisfying associativity of the formIt is a trivial formal deformation if a $k[[t]]$-linear automorphism continuous for the adic topology $T=\mathrm{id}+{\sum }_{r\ge 1}{t}^r{T}_r$, with $T(1)=1$, satisfies $T(a\ast b)=T(a)T(b)$.

If $\mathrm{Dim}(A)\le 1$, then $H{H}^2(A,A)=0$. Suppose changes of coordinates have removed all coefficients below order $r$. The order-$r$ part of associativity then says $\delta {\mu }_r=0$. Hence ${\mu }_r=\delta g_r$ for a $k$-linear map $g_r:A\to A$. Its normalization gives $g_r(1)=0$, since $(\delta g_r)(1,1)=g_r(1)$. Transport the product by $T_r=\mathrm{id}+t^r{g}_r$:The order-$r$ coefficient becomes ${\mu }_r-\delta g_r=0$, and lower coefficients remain zero. Repeating constructs compatible changes of coordinates modulo every $t^N$. They converge in the adic topology to an invertible $T$ fixing $1$, with inverse obtained coefficient by coefficient. The limit product is ordinary multiplication. Therefore every star product is trivial under the completed formal-series convention. In fact, the argument only needs the vanishing of $H{H}^2(A,A)$, not all of Hochschild cohomological dimension at most one.

The Clebsch-Gordan decomposition for SU2 statesRealize the tensor product as polynomials of bidegree $(m,n)$ in $(x_1,y_1)$ and $(x_2,y_2)$. The determinant $D=x_1{y}_2-y_1{x}_2$ is invariant under the simultaneous SU2 action. For each $r$, the vectorhas torus weight $q=m+n-2r$ and is killed by $E=x_1{\partial }_{y_1}+x_2{\partial }_{y_2}$. Applying $F=y_1{\partial }_{x_1}+y_2{\partial }_{x_2}$ produces $q+1$ nonzero vectors of distinct weights, with $F^{q+1}{v}_r=0$. The relations $[E,F]=H$ and $H{v}_r=q{v}_r$ give $E{F}^j{v}_r=j(q-j+1)F^{j-1}{v}_r$, so their span is an irreducible copy of $V_q$.

These irreducible submodules have distinct highest weights and form a direct sum: a sum of earlier ones cannot contain an irreducible module inequivalent to all its summands. Equivalently use complete reducibility, obtained by averaging an inner product over the compact group. Assuming $m\le n$, their total dimension iswhich equals the dimension of the tensor product. Hence they exhaust it, proving the theorem.

The defining integral is well-defined and bounded for every dimension: $|\mathcal{F}f|\le \Vert f{\Vert }_1$ and the multiplier is supported on a finite-volume ball. However the asserted general-dimensional $L^1$ conclusion is false for the Euclidean radial cutoff printed in the original PDF. The nonintegrability of a radial triangular Fourier cutoff in three dimensions is a source issue, not an omitted conjugate or OCR substitution.

For a direct counterexample in $n=3$, take the Schwartz function $f(x)=e^{-\pi |x{|}^2}$, whose Fourier transform is the same Gaussian. With $r=|x|$ and $a=2\pi r$, radial integration givesThe amplitude $b(\rho )=\rho (1-\rho /R)e^{-\pi {\rho }^2}$ vanishes at both endpoints, and $b^{\prime }(R)=-e^{-\pi R^2}$. Two integrations by parts, with a further one to bound the remainder, giveThe integral ${\int }_1^{\infty }{r}^2|F_R(r)|dr$ diverges logarithmically for every fixed $R>0$. For example, restrict to the periodic subintervals on which $|\sin (2\pi Rr)|\ge 1/2$; the error is smaller than half the leading term at sufficiently large $r$. Thus $F_R\notin L^1({\mathbb{R}}^3)$, even for this smooth integrable $f$.

The familiar intended argument is valid in one dimension. There the inverse Fourier kernel isand $F_R=K_R\ast f$ by Fubini's theorem. Its mass outside any fixed neighbourhood of zero tends to zero by scaling, soby continuity of translations in $L^1$. For arbitrary dimension, replacing the radial cutoff by the product ${\prod }_{j=1}^n(1-|{\xi }_j|/R{)}_{+}$ gives a tensor product of these integrable kernels and the same approximate identity proof. These are explicit valid repairs, not claims that the PDF specified a product cutoff.

For the multiresolution analysis $V_j$ and its detail spaces $W_j$, take the completed tensor product ${\mathcal{V}}_j=V_j\otimes V_j$. Since $V_{j+1}=V_j\oplus W_j$,The three tensor-product wavelets areTaking products of members of the two one-dimensional families gives an orthonormal basis of each respective completed tensor product. Density and the coarse-scale trivial intersection yieldas an orthonormal basis of $L^2({\mathbb{R}}^2)$. The normalization is $2^j$ in two dimensions. On the square, tensorize the interval-adapted wavelet basis and include the finite coarse scaling function part.

A bipartite density operator ${\rho }_{AB}$ has positive partial transpose when ${\rho }_{AB}^{T_B}\ge 0$ in a product basis. Positivity is independent of the choice of local bases, although the matrix representing the partial transpose changes.

If the state is a separable quantum state, write ${\rho }_{AB}={\sum }_j{p}_j{\rho }_j^A\otimes {\rho }_j^B$. Taking its partial transpose givesIndeed, the matrix transpose preserves the nonnegative eigenvalues of each local density operator; a tensor product of positive semidefinite operators is positive, and so is their nonnegative sum. This proves the necessary direction of the positive partial transpose criterion.

The tensor product $M{\otimes }_{R}N$ is the free abelian group on symbols $(m,n)$ modulo additivity in each variable and the balancing relation $(rm,n)=(m,rn)$. It has the universal property that balanced bilinear maps $M\times N\to P$ correspond uniquely to homomorphisms $M{\otimes }_{R}N\to P$.

The relation $z^{2^n}=1$ makes $z$ a root of unity, so $|z|=1$ and normalization gives $T=2^{n/2}$. Write the binary expansion $y={\sum }_{j=0}^{n-1}{2}^j{y}_j$. Then $z^y={\prod }_j(z^{2^j}{)}^{y_j}$, and henceup to the convention for ordering the binary digits. This explicit tensor product of one-qubit states proves that $|\varphi ⟩$ is a product state.

For each fixed $\alpha$, right multiplication by $x^{-\alpha }$ is a bijection of $G$, whose inverse is right multiplication by $x^{\alpha }$. Therefore $D_x$ permutes the displayed orthonormal basis of the tensor-product space. It is consequently a unitary operator, with

Each rank-one density operator isTaking their tensor product and averaging over the $4^d$ independent choices of the fourth roots of unity givesThis is the claimed expansion in matrix elements.

The Umegaki relative entropy iswhen the support of $\rho$ is contained in that of $\sigma$, and $+\infty$ otherwise. Its additivity of quantum relative entropy isits superadditivity of quantum relative entropy isand its data-processing inequality for quantum relative entropy is $D(T(\rho )\Vert T(\sigma ))\le D(\rho \Vert \sigma )$ for every quantum channel $T$.

Additivity follows from the logarithm of a tensor product,and the analogous identity for ${\sigma }_A\otimes {\sigma }_B$. For superadditivity, subtract the two marginal relative entropies from the joint one. The reference-state terms cancel, leavingThis is the nonnegativity of quantum mutual information, equivalently Subadditivity of Von Neumann entropy.

Define the outer product $T_{ij}=u_i{v}_j$. Transforming each vector givesThus $u_i{v}_j$ is a rank-two tensor, since it obeys the two-index tensor component transformation law. This is the component form of the tensor product of two vectors; its two indices are independent, not contracted.

Let $B$ be the rank-two tensor and $v$ the vector. The components of their tensor product are $T_{ijk}=B_{ij}{v}_k$. Applying the transformation rules givesThe product therefore obeys the three-index tensor component transformation law, proving that $B_{ij}{v}_k$ is a rank-three tensor. Tensor-product order adds because no pair of indices is summed out.

For the lowest spatial state, orbital angular momentum is zero and the spatial wavefunction is symmetric. A three-quark colour singlet is antisymmetric, proportional to ${ϵ}_{abc}|abc⟩$. The Pauli exclusion principle for quarks therefore requires a symmetric spin–flavour factor. Colour and flavour are different degrees of freedom even though both use three-dimensional group representations.

The tensor product flavour decomposition is $3\otimes 3\otimes 3=10_S\oplus 8_M\oplus 8_M\oplus 1_A$. Three spin-one-half particles have a symmetric spin-$3/2$ quartet and mixed-symmetry spin-$1/2$ sectors. The symmetric spin quartet combines with symmetric flavour factors to give a baryon decuplet. Mixed spin and mixed flavour factors instead combine to a symmetric spin–flavour state, giving one physical ground-state baryon octet, not two independent ground-state octets. Equivalently the symmetric spin-flavour SU6 representation has dimension $56=10\times 4+8\times 2$. The antisymmetric flavour singlet would require a fully antisymmetric three-spin state, which does not exist for only two single-quark spin components.

The spin-one-half baryon octet contains $(p,n)$, $({\Sigma }^{+},{\Sigma }^0,{\Sigma }^{-})$, $\Lambda$ and $({\Xi }^0,{\Xi }^{-})$. The spin-three-halves baryon decuplet contains the four $\Delta$ charge states, three ${\Sigma }^{\ast }$ states, two ${\Xi }^{\ast }$ states and ${\Omega }^{-}$. Both have positive parity in this $L=0$ approximation. Strange-quark mass breaks the approximate flavour symmetry and splits multiplets.

In the baryon hyperfine mass formula, the constituent-mass sum accounts phenomenologically for common confinement energy. A colour-magnetic spin–spin interaction contributes a contact-type term proportional to ${\mathbf{S}}_i\cdot {\mathbf{S}}_j/(m_i{m}_j)$: each magnetic moment supplies one inverse mass. The common colour and spatial-overlap factors are absorbed into $A^{\prime }$. These are effective constituent masses, not short-distance current-quark masses. Use dimensionless spin operators with $\hslash =1$, as implicit in the supplied formula and coefficient.

Label the identical up quarks 1 and 2. Their flavour and $L=0$ spatial factors are symmetric, and their colour pair is antisymmetric, so their spin is a triplet, $S_{12}=1$. ThusCoupling the strange spin givesThe two up–strange denominators are identical. HenceWith the supplied masses expressed in GeV units, the common mass is $1.261\mathrm{GeV}/c^2$. The predicted values areThey are about $13$ and $3\mathrm{MeV}/c^2$ below the stated measurements, respectively. The predicted splitting is $201\mathrm{MeV}/c^2$, compared with $190\mathrm{MeV}/c^2$. The agreement is useful for such a simple model, but a common overlap constant neglects flavour-dependent spatial structure and other residual interactions.

For the weak decay, one contribution is $s\to u{W}^{-}$, $W^{-}\to d\bar{u}$. The two spectator up quarks combine with $d$ into the proton, and the new $u\bar{u}$ supplies the neutral pion's corresponding component. This changes strangeness. In the strong decay, a gluon creates $d\bar{d}$; rearrangement gives $uds$ and $u\bar{d}$ without changing strangeness.

The strong channel conserves parity: the positive-parity daughter baryon and negative-parity pion require odd relative orbital angular momentum, with a $P$ wave sufficient. The weak channel need not conserve parity. Using the mean lifetime relation $\tau =\hslash /\Gamma$,The widths differ by about $4.5\times 10^{12}$, principally because one is weak and flavour changing and the other is an open strong decay. They are not comparable transitions differing only by a small spin factor.

A pure quantum state is a unit ray in a complex Hilbert space: normalization fixes total probability, a common phase is unobservable, and superpositions retain relative phases. Observables are self-adjoint operators. For an ideal projective measurement with spectral projector $P_a$, the Born rule gives $p(a)=⟨\psi |P_a|\psi ⟩$ and the Lüders rule gives conditional state $P_a\psi /\sqrt{p(a)}$. This preserves an eigenspace, not necessarily a unique vector when the outcome is degenerate. Between measurements, a closed system evolves unitarily according to $i\hslash {\partial }_t\psi =H\psi$. Composite systems use tensor products; quantum statistics additionally restrict identical-particle states. These are a framework supported by many experiments, not separate logical deductions from any one experiment.

In the photoelectric effect, monochromatic light illuminates a clean metal and a retarding potential measures the largest emitted electron kinetic energy. frequency controls the stopping energy, $e{V}_s=h\nu -\Phi$, while in the one-photon regime intensity mainly controls the emission rate. A threshold frequency and a stopping-energy slope $h/e$ support quantized energy exchange rather than gradual absorption of arbitrary classical-wave energy by each electron. Contact potentials, surface contamination, dark current and spectral impurities require controls. Robert Andrews Millikan tested the frequency–stopping-potential relation with careful surface and electrical control.^[ref]

The Stern-Gerlach experiment sends a collimated neutral silver beam through an inhomogeneous magnetic field onto a detector. The force is approximately $F_z={\mu }_z{\partial }_{z}B$ in an appropriate strong-field electronic description. Two resolved components rather than a continuous classical orientation spread support discrete angular-momentum projections. Field-off beam profiles and magnetic-gradient/beam-width controls distinguish splitting from ordinary broadening. In the modern description the silver ground electronic state has $J=1/2$; the 1922 experiment preceded the electron-spin interpretation. Ideal sequential analyzers along different axes illustrate incompatible observables and state preparation, but were not the original apparatus.^[ref]

In the Davisson–Germer experiment, accelerated electrons scatter from a nickel single crystal and an angularly scanned collector measures the scattered intensity. Changing voltage and crystal orientation changes narrow diffraction maxima. The inferred wavelength agrees with $\lambda =h/p$, with nonrelativistic $p=\sqrt{2meV}$. vacuum, crystal cleaning, energy selection and background measurements matter: adsorbed surface gas can produce additional diffraction features. This supports matter-wave amplitudes and interference, with measured intensities related to their squared magnitude; it does not mean an electron must follow a classical orbit through the apparatus.^[ref] Together these experiments motivate quantized outcomes, wave amplitudes and probabilistic measurement while leaving a distinction between observed evidence and the general postulates used to organize it.

Distinguishable noninteracting particles. Interpret $V$ as the same external one-particle potential for each particle; the total potential is $V({\mathbf{r}}_1)+V({\mathbf{r}}_2)$. The Time-dependent Schrödinger equation isLet $\hat{h}{\varphi }_a={ϵ}_a{\varphi }_a$ and $\hat{h}{\varphi }_b={ϵ}_b{\varphi }_b$, where $\hat{h}=-{\hslash }^2{\nabla }^2/(2m)+V$. Applying ${\hat{h}}_1+{\hat{h}}_2$ to the product multiplies it by ${ϵ}_a+{ϵ}_b$. The time derivative of $e^{-iEt/\hslash }$ multiplies it by $E$. Thus the proposed stationary product is a solution providedThe tensor product separates the two independent one-particle dynamics.

Identical spin-one-half particles. Identical fermions require antisymmetry under exchange of the complete position-and-spin labels. First take $a,b$ to be distinct orthonormal spatial orbitals, and defineThe symmetric spatial state must multiply the antisymmetric spin-one-half singlet state; the antisymmetric spatial state must multiply one of the three symmetric spin-one-half triplet states. The four normalized possibilities, each with the common time factor $e^{-iEt/\hslash }$, areThese are the required product states under fermionic exchange symmetry. If $a=b$, the antisymmetric spatial combination vanishes. Only the product ${\varphi }_a({\mathbf{r}}_1){\varphi }_a({\mathbf{r}}_2)$ times the singlet remains, as required by the Pauli exclusion principle. A nonorthogonal pair would require different normalization factors; the displayed $1/\sqrt{2}$ assumes an orthonormal stationary-state basis.

Weak repulsive Coulomb interaction. For fixed orbitals $a,b$, first-order perturbation theory gives spatial energy shifts $J\pm K$. Here $J$ is the direct interaction energy, while the exchange integral for repulsion strength $g>0$ isThe positivity follows from the positive Fourier transform of the Coulomb kernel. Consequently Coulomb exchange splitting of two orbitals givesAll three triplet spin components remain degenerate for a spin-independent Coulomb interaction. Their antisymmetric spatial factor vanishes at coincidence and reduces close encounters. The inequality is strict when $K>0$; for negligible orbital overlap, the splitting may vanish. This comparison fixes one particle in each of the specified orbitals and does not rank singlets with a different orbital occupation.

Spin-zero bosons. For one particle in each of the same distinct orthonormal orbitals, the spin factor is symmetric and bosonic exchange symmetry requires ${\Phi }_{+}$. At coincident positions,Thus the bosonic coincidence enhancement in two orthogonal orbitals isThese are joint probability densities, or small-detector-volume limits; an exactly specified point has zero probability in a continuous distribution. If both particles occupy the same orbital, the properly normalized product is already symmetric and the corresponding enhancement relative to distinguishable particles in that same orbital is one. The paper's usual factor-two answer presumes distinct orthogonal input orbitals.

The postulates of quantum mechanics give a framework for predicting observations from a prepared state. The experiments below motivate different features of that framework; no one experiment proves the whole set of postulates or specifies every Hamiltonian operator.

A pure quantum state is a normalized vector in a complex Hilbert space, with vectors differing by an overall quantum phase representing the same physical preparation. In position representation, $\int |\psi (\mathbf{r}){|}^2{d}^{3}r=1$. The linear state space permits quantum superposition, while the Born rule assigns probability ${\int }_{\Omega }|\psi {|}^2{d}^{3}r$ to a position outcome in a region $\Omega$. The wavefunction is a probability amplitude; it is not a classical distribution of definite particle positions and momenta.

An observable is represented by a self-adjoint operator. If $Q$ has spectral projectors $P_q$, its possible measurement outcomes are its spectral values and $\mathrm{Pr}(q)=⟨\psi |P_q|\psi ⟩$. The mean is $⟨Q⟩=⟨\psi |Q|\psi ⟩$. For an ideal repeatable projective measurement, obtaining $q$ leaves the normalized conditional state $P_q\psi /\sqrt{\mathrm{Pr}(q)}$. This projects onto an entire eigenspace if the outcome is degenerate. General detectors need more general measurement in quantum mechanics models; the projective update is an idealization. Noncommuting observables need not have simultaneous sharp values, as the canonical commutation relation and Heisenberg uncertainty relation illustrate.

Between measurements, an isolated system has unitary time evolution generated by its Hamiltonian operator:This preserves normalization and superpositions. Composite systems use a tensor product of state spaces, allowing entangled states as well as product states; identical particles additionally require the bosonic or fermionic exchange symmetry appropriate to their species. Statistical mixtures are described by a density matrix, with $\mathrm{Pr}(q)=\mathrm{tr}(\rho P_q)$. These rules separate preparation, coherent evolution and measurement.

The photoelectric effect exposes discrete energy transfer by light. Illuminate a clean metal cathode in an evacuated tube and measure the collected electron current while varying the light frequency, intensity and a retarding voltage. The stopping potential $V_s$ probes the largest emitted electron kinetic energy, whereas the photocurrent measures the rate at which charge is collected. In the ordinary single-photon regime there is a threshold frequency; above it the maximum energy grows with frequency, rather than with intensity. Changing intensity at fixed frequency mainly changes the number of emitted electrons. These observations are summarized by the Einstein photoelectric equationHere $\Phi$ is the surface work function, and the stopping voltage is understood after any photoelectric contact-potential correction. A photon delivers $h\nu$ in an absorption event; emission is allowed only when that energy can pay the escape cost. This accounts for the frequency threshold and the lack of the classical waiting time associated with slowly accumulating energy in a single electron. The experiment supports energy quantization of light; it does not imply that every incident photon emits an electron or that every emitted electron has the maximum energy. Surface losses and collection geometry affect the full current-voltage curve.

The Davisson–Germer experiment demonstrates a complementary wave property of matter. An electron gun uses a heated emitter, accelerating voltage and apertures to send a narrow beam onto a nickel single crystal in vacuum. A movable collector measures scattered electric current versus direction; rotating the crystal also tests its azimuthal symmetry. The crystal gives sharp angular beams whose positions depend on voltage and crystal orientation. A prominent feature occurs near $54\mathrm{V}$ accelerating voltage and roughly $50^{\circ }$ detector colatitude. The nonrelativistic de Broglie wavelength predicted at that voltage isDiffraction wavelengths inferred using the known crystal structure agree with this voltage dependence. These angular peaks arise from coherent addition of scattering amplitudes from the crystal, not from classical specular reflection of independent point projectiles. Bragg's law is $2d\sin {\theta }_B=r\lambda$ for lattice-plane spacing $d$ and angle to those planes; a detector colatitude is a different angle and must not be substituted without its geometry. The historical readout was current, not a photograph of individual electron trajectories.^[ref]

The double-slit experiment makes the role of amplitudes especially direct. A coherent source illuminates two narrow slits; an observation screen a distance $D$ away records the pattern. For slit spacing $d$ and small screen displacement $y$, the path difference is approximately $dy/D$. The two amplitudes add before probabilities are formed:For equal coherent illumination the interference term varies as $\cos (2\pi dy/(\lambda D))$, giving fringe spacing $\lambda D/d$ beneath the single-slit diffraction envelope. Blocking one slit removes that cross term. Young's optical experiment established wave interference; later particle-resolved realizations with photons or electrons show localized detection events whose accumulated distribution has the interference pattern. Low arrival rates demonstrate that this pattern does not require different incident particles to collide with one another.

If the paths become correlated with distinguishable detector states $|D_1⟩$ and $|D_2⟩$, the cross term acquires their overlap $⟨D_2|D_1⟩$. Perfectly distinguishable path records make that overlap zero, suppressing interference even if the spatial beams still overlap. This connects quantum entanglement, measurement and loss of observable coherence. Without a path measurement, the two alternatives are amplitudes for one preparation, rather than classical mutually exclusive events whose probabilities may simply be added.

Together these experiments motivate a description in which energy transfer and detector outcomes can be discrete, yet propagation retains complex quantum phases and interference. The Born rule connects those amplitudes to repeatable frequencies of outcomes. The Schrödinger equation supplies the dynamics once a Hamiltonian operator is specified, while observable operators, state preparation and the measurement model specify what the apparatus can read.

The total angular momentum operator is $\mathbf{J}=\mathbf{L}+\mathbf{S}$. Since orbital and spin operators act on different factors of the tensor product, they commute, and expanding $J^2$ givesA coupled angular momentum eigenstate $|l,s;j,m_j⟩$ is a simultaneous eigenstate of these three squared operators, with eigenvalues ${\hslash }^{2}j(j+1)$, ${\hslash }^{2}l(l+1)$ and ${\hslash }^{2}s(s+1)$. Thus the angular factor in the spin-orbit interaction is the numberThe other factor, $r^{-1}dV/dr$, is radial. It commutes with the angular operators, and a central-potential energy eigenstate separates into a radial wavefunction and an angular spinor. Taking its radial expectation value therefore givesThis spin-orbit energy shift in a central potential is independent of $m_j$, so rotational symmetry preserves the $2j+1$ magnetic degeneracy within a fixed $j$ multiplet. It is a first-order fine structure correction; the given coefficient already includes the relativistic factor needed for the electron's spin-orbit coupling.

Linearity of the detector's unitary time evolution maps the two input branches separately, giving the quantum premeasurement stateIn the ordered tensor product basis $(|\uparrow d_{\uparrow }⟩,|\uparrow d_{\downarrow }⟩,|\downarrow d_{\uparrow }⟩,|\downarrow d_{\downarrow }⟩)$, its pure density matrix isA nonselective projective measurement in the indicated detector basis applies $\rho \mapsto {\sum }_j(I_S\otimes {\Lambda }_j)\rho (I_S\otimes {\Lambda }_j)$, removing the two off-diagonal terms:This is the usual nonselective meaning of von Neumann process 1. It is not equal to the pure projector $|{\Phi }^C⟩⟨{\Phi }^C|$. If “the detector has clicked” means conditioning on an actual up outcome, the normalized postselected state is instead $|\uparrow d_{\uparrow }⟩$, with probability $1/2$. The correlated superposition describes the coherent premeasurement before that selection.

An eigenvalue of an observable in a known corresponding eigenstate is a simple example satisfying the Einstein–Podolsky–Rosen criterion of reality: its value is predictable with certainty. For example, a spin angular momentum component in a prepared spin-up eigenstate has a definite predicted value. For a distant system, Albert Einstein, Boris Podolsky and Nathan Rosen invoked locality: a measurement performed on a sufficiently separated, noninteracting partner should not disturb that system. In the relativistic version here, the measurement events have spacelike separation.

The Pauli matrices obey $[{\sigma }_z,{\sigma }_x]=2i{\sigma }_y$, soTheir nondegenerate eigenstates are incompatible: an $S_z$ eigenstate has equal probabilities for the two $S_x$ outcomes, and conversely. Thus no single quantum state has both components sharply determined. The Robertson uncertainty relation gives $\Delta S_z\Delta S_x\ge \hslash |⟨S_y⟩|/2$, but its right-hand side may be zero; that alone is not a proof that simultaneous zero uncertainties exist. The absence of a common eigenstate supplies the stronger conclusion for this spin-half pair.

For the specified Bell state, Bob obtains $+\hslash /2$ or $-\hslash /2$ with probability $1/2$ when he measures $S_z$. Conditional on his result, Alice obtains the same sign with certainty if she measures $S_z$. Under the EPR locality premise, this certainty supplies an element of reality for her $S_z$; it is a conditional prediction after Bob learns his own random result, not a premeasurement prediction of its sign.

The normalized $S_x$ eigenstates are $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$ and $|-⟩=(|0⟩-|1⟩)/\sqrt{2}$. Expanding their tensor products givesConsequently the same Bell state has equal, perfectly correlated $S_x$ outcomes. Bob's two outcomes again each have probability $1/2$, and the same locality-and-certainty argument applies separately to Alice's $S_x$.

The disputed step is to combine predictions conditional on two incompatible choices into two simultaneous, measurement-independent pre-existing values. Quantum theory provides the two conditional ensembles, not a joint sharp assignment of $S_x$ and $S_z$. This is quantum steering. Bob cannot measure both incompatible observables sharply on the same member of the pair. Nor does conditional steering allow signalling: ignoring his result leaves Alice's reduced density matrix equal to $I/2$ for either measurement choice, by the no-communication theorem.

To test the stronger claim of a local hidden-variable theory, Alice needs several correlation settings, not just perfect agreement along the two common axes. For the CHSH inequality, choose observables with outcomes $\pm 1$:In the given Bell state, $⟨{\sigma }_z\otimes {\sigma }_z⟩=⟨{\sigma }_x\otimes {\sigma }_x⟩=1$ and the crossed correlations vanish. Henceexceeding the local bound $|\mathcal{S}|\le 2$. The bound assumes Bell local causality and measurement independence, with the appropriate treatment of sampling and settings.

Experimental Bell tests support violations rather than that local assignment. The Aspect switching experiment changed analyzer settings during separated photon flights, while leaving sampling and switching limitations. By the time of this examination, the Delft electron-spin Bell test had used electron spins at stations $1.3\mathrm{km}$ apart, efficient spin readout and rapid random basis choices. The combination addressed both detection and locality loopholes, providing evidence against the tested local model class.^[ref]

This does not prove that every conceivable notion of reality is false, or that noncommutation alone rules out every hidden-variable theory. A nonlocal theory can evade the local premise. What Alice can challenge is Bob's claim that locality, measurement-independent simultaneous values and all observed correlations can be retained together. An ordinary measurement disturbance at Bob's lab is not by itself a local explanation of Alice's conditional ensemble.