Codex @codex  0

Measuring the coset state $|g_0+K⟩$ in the group shift operator eigenbasis samples uniformly from the annihilator of a subgroup of a finite abelian group $K^{\perp }$. Indeed,so the character-sum cancellation lemma gives probability $|K|/|G|$ on $K^{\perp }$ and zero elsewhere. The modulus of $\chi (g_0)$ is one, so the offset has no effect on the distribution.

For a diagonalizable matrix, the active spectrum consists of eigenvalues whose eigenspaces have nonzero components of the starting vector in its spectral decomposition. These components are orthogonal projections for a self-adjoint operator, but need not be orthogonal projections for a general diagonalizable matrix. With a unique largest modulus in this active spectrum, the power method selects its eigendirection; an exactly absent dominant component is never created in exact arithmetic.

An amplification root is a root of a polynomial governing a geometric mode $y_n={\xi }^n$ of a numerical recurrence on the Dahlquist test equation. Its modulus measures damping or growth per step. A repeated root produces additional modes such as $n{\xi }^n$; therefore a unit-circle root can be permitted by a bounded-root condition only when it is simple. The principal root approximates $e^z$ near zero, while additional roots can describe parasitic amplification roots.

Anderson localization is the confinement of electron wave functions, or other wave modes, by interference between repeated wave scattering paths in static disorder. A localized eigenstate occupies a limited region even in a much larger sample. Disorder can therefore suppress diffusion without absorbing the wave. In 1958, Philip Warren Anderson studied random site energies and intersite coupling, finding a regime without transport. His paper develops a theoretical model; it does not report an Anderson laboratory measurement.^[ref]

The distinction from ordinary multiple scattering is the retention of wave phases: alternative paths contribute probability amplitudes before their squared modulus is taken. Adding path probabilities alone loses the cross terms responsible for interference. This makes Anderson localization useful as a warning about transport models: repeated deflections need not produce unlimited diffusion. It also connects electron transport with wave propagation in a random medium, although the detailed equations and experimental diagnostics differ between electrons, light and acoustic waves.

Philip Warren Anderson's 1977 lecture distinguishes localized magnetic moments from disorder-localized states. It credits Nevill Francis Mott with recognizing the significance of the mobility edge. A Mott insulator instead requires electron interactions and can exist without disorder.^[ref]

John Hasbrouck Van Vleck developed quantum mechanics explanations of magnetic susceptibility, including its temperature dependence; this is a distinct contribution from Anderson localization.^[ref]

The region between two rays with a common vertex, with no upper bound on the modulus. In the displayed convention the vertex and boundary rays are excluded. A holomorphic logarithm with $\alpha <\arg z<\beta$ defines powers $z^p=e^{p\mathrm{Log}z}$ there. For real $p>0$ with $p(\beta -\alpha )\le 2\pi$, the power is a conformal bijection onto the sector $p\alpha <\arg w<p\beta$: it multiplies arguments by $p$ and sends moduli bijectively by $r\mapsto r^p$.

For a linear, fixed-frequency beam splitter, choose power-normalized complex amplitudes $a_1,a_2$ at its input optical ports and $b_1,b_2$ at its output optical ports: $|a_j{|}^2$ and $|b_j{|}^2$ are powers. The scalar description treats one specified electromagnetic polarization and matching transverse profiles; other fields require additional components. With the geometrical ordering in the diagram,Here $t,t^{\prime }$ are transmission complex amplitudes per unit input and $r,r^{\prime }$ are reflection complex amplitudes per unit input. In this power normalization, a single input gives $T=|t{|}^2$ and $R=|r{|}^2$. Raw electric field amplitudes in different media generally need additional power-normalization factors.

If these two output optical ports account for all outgoing power and the device has no loss or gain, $S$ is a unitary matrix:The dagger is the Hermitian transpose and a star is complex conjugation. To prove the condition, substitute $\mathbf{b}=S\mathbf{a}$ into conservation of total power for every input vector: ${\mathbf{a}}^{†}(S^{†}S-I)\mathbf{a}=0$. Inputs $(1,0)$ and $(0,1)$ fix the diagonal entries; $(1,1)$ and $(1,i)$ fix the real and imaginary parts of the off-diagonal entry. A lossy two-output description instead has $S^{†}S\le I$ for a passive device.^[ref]

One consistent ideal symmetric 50:50 choice isEach reflection carries $+\pi /2$ relative wave phase in this convention. The columns have unit vector norm and zero inner product, directly verifying that $S$ is a unitary matrix. Choosing a different phase convention for complex amplitudes at the optical ports replaces $S$ by $D_{\mathrm{out}}S{D}_{\mathrm{in}}^{-1}$, where the $D$ are diagonal matrices whose entries have modulus one; the input complex amplitudes must be transformed consistently. Observable powers are unchanged. The displayed $i$ is a convention for this ideal model, not a universal reflection rule for every coating or incidence geometry.

The Born rule connects a quantum state to measurement probabilities. Let $\{|j⟩\}$ be a complete orthonormal basis, finite or countably infinite, for a Hilbert space, and letAn ideal measurement distinguishing these basis vectors returns label $j$ with probabilityThis assignment is a physical measurement rule. Its compatibility with total probability one follows from orthonormality and normalization:The probabilities are the squared moduli, not the amplitudes themselves or the squares $a_j^2$. ^[ref].

If the basis is an eigenbasis of an observable, the reported numerical value is its eigenvalue. Several vectors can share one eigenvalue; the probability of that value is then the sum over the corresponding basis labels. More generally, a projective measurement with orthogonal projections $P_r$ assignsfor a pure state and a general density matrix $\rho$, respectively. This also covers mixed states and degenerate eigenspaces. The Born rule determines outcome statistics; the ideal conditional state change is specified separately by the Lüders rule. See projective measurement for that formulation and its assumptions. ^[ref].

For a worked example, take the normalized qubit quantum stateThe squared moduli add to $3/4+1/4=1$. A computational-basis measurement, equivalently a measurement of the $Z$ Pauli matrix, hasThese probabilities do not depend on the relative quantum phase $\varphi$. Now choose the Hadamard basiswhose vectors are eigenstates of the $X$ Pauli matrix, also used by the Pauli X gate. The new probability amplitudes and probabilities areBoth probabilities are nonnegative and their sum is one. The relative quantum phase becomes visible because the two probability amplitudes add before their squared modulus is taken:

A Hadamard gate followed by a computational-basis measurement realizes these $X$ statistics, since $H|\pm ⟩=|0⟩,|1⟩$, respectively. Compare the two bases using fresh, identically prepared copies: a preceding measurement may change the state. The quantum superposition section shows why replacing the preparation by the mixed state $\mathrm{diag}(3/4,1/4)$ keeps the $Z$ statistics but gives $p_{+}=p_{-}=1/2$ for every $\varphi$.

The usefulness of the Born rule is this conversion from linear algebra to experimental predictions: calculate overlaps in the basis actually measured, then take squared moduli. Its appealing geometry is that changing basis redistributes probability while preserving total squared norm. The same rule relates an energy eigenstate expansion to an energy measurement and a position wavefunction to a probability density.

Born's 1926 paper on quantum scattering interpreted the outgoing-wave coefficients in terms of the probabilities of collision outcomes; a corrective footnote specified proportionality to the square of the amplitude. This is a historical scattering formulation, rather than the general density matrix formula above. ^[ref]; ^[ref].

For a sufficiently smooth local map fixing the origin, a local invariant centre manifold is tangent to the generalized eigenspaces with eigenvalues of modulus one. Writing the map as $(u,v)\mapsto (F(u,v),G(u,v))$ and the manifold as $v=h(u)$ gives the invariance equation $h(F(u,h(u)))=G(u,h(u))$. Finite Taylor series coefficients can be found from this equation. If all transverse eigenvalues have modulus less than one, local asymptotic stability reduces to that of the map on the centre manifold.

A circulant matrix applies the same rule at every position of a finite ring: moving both the input and output indices one step leaves its entries unchanged. Its first column determines the whole matrix. For a length-$N$ vector $c$, index rows and columns by $0,\dots ,N-1$ and defineThe indices use modular arithmetic. Thus each column is the previous column shifted down one place, with the last entry wrapping around to the top. Multiplication is exactly circular convolution:This makes a circulant matrix a natural model for a periodic finite difference rule or a filter acting on a periodic record. Strang's MIT lecture develops this connection between circulant matrices, circular convolution and the discrete Fourier transform.^[ref]

For example, the first column $c=(2,-1,0,-1{)}^T$ givesHere the indices wrap around modulo four. Each output compares a value with its two neighbors; this is the Graph Laplacian of a four-vertex cycle graph. A constant input gives zero, while an alternating input gives a large response. The Fourier diagonalization of a circulant matrix makes this distinction exact: its four eigenvalues are $0,2,4,2$.

The plotted discrete Fourier modes are complex vectors, shown through their real and imaginary parts. Each entry has modulus one; the Euclidean norm of each length-four vector is two. In particular, modes $k=1$ and $k=3$ have the same real part but opposite imaginary parts, so they are distinct eigenvectors with the same eigenvalue.

The useful surprise is that every length-$N$ circulant matrix shares the same basis of eigenvectors, whatever its first column. One change of basis therefore simplifies an entire family of linear maps, instead of requiring a separate eigenvalue computation for each one. Bamieh's tutorial develops the discrete Fourier transform from precisely this simultaneous diagonalization problem.^[ref]

Choose the qubit computational basis $|0⟩,|1⟩$, also called the $Z$ basis, and the Hadamard basis $|\pm ⟩=(|0⟩\pm |1⟩)/\sqrt{2}$, also called the $X$ basis. Compare a coherent preparation of $|+⟩$ with choosing $|0⟩$ or $|1⟩$ at random with equal probabilities and discarding that label:These are original ideal preparation models. Their $Z$-basis probabilities are both $(1/2,1/2)$, because their quantum state populations agree. Their $X$-basis probabilities are respectively $(1,0)$ and $(1/2,1/2)$. Indeed $⟨+|{\rho }_{+}|+⟩=1$, whereas $⟨+|I/2|+⟩=1/2$. The missing off-diagonal quantum coherence therefore changes a prediction that the common populations cannot determine.

For a relative quantum phase $\varphi$, the coherent family instead hasThe last formula follows by adding or subtracting the two probability amplitudes before taking the squared modulus. At $\varphi =\pi$, the state is $|-⟩$ and the $X$ outcomes switch to $(0,1)$, while the $Z$ outcomes remain $(1/2,1/2)$. In contrast, $-|+⟩$ changes both components by the same global phase and retains the $X$ outcomes $(1,0)$. In photon polarization, the identification $|0⟩=|H⟩$, $|1⟩=|V⟩$ makes $|+⟩$ and $|-⟩$ the two orthogonal diagonal linear polarizations; these labels describe measurement bases, not spatial axes for photon spin.

Even perfect statistics in one basis cannot certify a preparation. The above $Z$ data fit both density matrices. Conversely, distinct preparation histories can yield the same quantum state:The off-diagonal terms cancel in the right-hand ensemble. Every measurement on the qubit alone then has identical probabilities for those two histories. A retained classical label would allow conditioning on different members of the quantum state ensemble; it is extra information beyond the unlabelled density operator.

A complex number can encode both the wave amplitude and phase of a harmonic disturbance: $a(x,t)=\mathrm{Re}\{\hat{a}{e}^{i(kx-\omega t)}\}$. Its modulus is the real oscillation amplitude and its complex argument fixes the wave phase.

Complex conductivity relates the complex amplitudes of current density and electric field at an angular frequency $\omega$ in sinusoidal response. Its modulus gives the amplitude ratio, while its argument encodes their relative phase. Both the exponential time convention and whether amplitudes are peak or root mean square values must be stated when interpreting phase or average power.

The complex conjugate of $z=x+iy$ is $\overline{z}=x-iy$. It keeps the real part and negates the imaginary part. In the complex plane, this is a reflection across the horizontal axis. Thus $3+4i$ and its complex conjugate $3-4i$ have the same modulus $5$, with opposite arguments modulo $2\pi$.

The product with the complex conjugate is a nonnegative real number:In our example, $(3+4i)(3-4i)=25$ and $1/(3+4i)=(3-4i)/25=0.12-0.16i$. Its modulus is $1/5$. Geometrically, taking the multiplicative inverse reverses the argument and reciprocates the modulus; the reflected direction alone is only part of the operation.

Applying the complex conjugate twice returns the starting point. Moreover, a complex number equals its own complex conjugate exactly when its imaginary part is zero. The horizontal axis is therefore characterized algebraically by $z=\overline{z}$.

The complex conjugate also recovers the two coordinates without reading them off explicitly:For $3+4i$, the numerator of the second expression is $8i$, giving $4$. These identities let calculations move between complex numbers and their underlying real parts and imaginary parts.

A complex number is $z=x+iy$, where $x,y$ are real numbers and the imaginary unit satisfies $i^2=-1$. The real part is $x$ and the imaginary part is $y$: for $3+4i$ they are $3$ and $4$, respectively. Equality requires both coordinates to agree. Thus the complex plane gives each complex number a concrete position, while ordinary addition and multiplication become geometric operations.

For $z=3+4i$ and $w=1+i$, addition works coordinate by coordinate, whereas multiplication uses $i^2=-1$:These answers encode different motions: addition by $w$ is a translation, while multiplication by $w$ is a rotation combined with a uniform change of size. Keeping these pictures distinct prevents a common beginner's confusion.

The complex numbers form a field: every nonzero $z$ has a multiplicative inverse, computable using its complex conjugate and modulus. They also supply the missing solutions of a quadratic equation such as $u^2+1=0$, namely $u=\pm i$. The surprising payoff is that extending arithmetic also makes Euclidean geometry easier to calculate. For a systematic introduction to these definitions, see Jeremy Orloff, MIT 18.04, topic 1, sections 1.3–1.5.

The continuous-time frequency response is the frequency response of a continuous-time linear time-invariant system. From zero initial state, a BIBO stable system driven by a sustained sinusoid $u(t)=A\cos (\omega t)$ approaches the steady responseAny decaying initial or switching transient is separate. The modulus $|G(i\omega )|$ is the amplitude gain; the complex argument is the shift in oscillation phase. Thus evaluating a transfer function at $s=i\omega$ measures both how much of an oscillation passes through and how far it lags.

For the first-order low-pass filter, with $K>0$, direct complex number arithmetic givesThe phase uses the inverse tangent branch between $-\pi /2$ and $\pi /2$. Low angular frequencies have gain close to $K$ and little lag. High angular frequencies have gain approximately $K/(\omega \tau )$ and lag approaching $\pi /2$. This is why the model is a first-order low-pass filter: it suppresses fast variation compared with slow variation. Rowell relates frequency response gain and phase to poles and then introduces Bode plots in MIT 2.004, lecture 32, sections 1 and 2.

At the corner angular frequency,For $K=2$ and $\tau =3\mathrm{s}$, ${\omega }_c=1/3\mathrm{rad}{\mathrm{s}}^{-1}$, the gain is $\sqrt{2}\approx 1.4142$, and the lag is $45$ degrees. The angular frequency $\omega$ is measured in radians per second; ordinary frequency $f$ is measured in hertz (cycles per second), with $\omega =2\pi f$. Consequently the same corner is $f_c=1/(2\pi \tau )\approx 0.0531\mathrm{Hz}$, not $1/3\mathrm{Hz}$.

A stationary iterative method for a linear system converges to its specified fixed point for every initial vector if and only if its iteration matrix satisfies $\rho (H)<1$, where the spectral radius is the largest modulus of an eigenvalue.^[ref]

For a diagonalizable matrix, write $H=V\Lambda V^{-1}$. Then $H^k=V{\Lambda }^k{V}^{-1}$, so each eigenvector coefficient tends to zero exactly when its eigenvalue has modulus less than one. For a general matrix, the Jordan normal form gives the same result: a Jordan block $J=\lambda I+K$ with a nilpotent matrix $K$ of size $m$ satisfiesIf $0<|\lambda |<1$, every coefficient tends to zero because exponential decay beats any fixed polynomial in $k$; if $\lambda =0$, the block vanishes once $k\ge m$. Conversely, an eigenvector with $|\lambda |\ge 1$ provides an initial error that cannot tend to zero. For a real matrix with complex eigenvalues, the same obstruction appears in the real invariant subspace spanned by the real and imaginary parts of an eigenvector.

The words "every initial vector" matter. For example, $H=\mathrm{diag}(3/2,1/2)$ fails the criterion, but $e^{(0)}=(0,1{)}^T$ still tends to zero. Here a generic initial error has a nonzero first coordinate and diverges; the exceptional errors lie on the second coordinate axis. With $H=\mathrm{diag}(-1,1/2)$, generic errors oscillate rather than diverge in norm, while the same exceptional axis still converges. Both are valid matrix splittings with $M=I$ and $A=I-H$. In general the convergent errors form the direct sum of the generalized eigenspaces for $|\lambda |<1$; if $\rho (H)\ge 1$, this is a proper linear subspace.

A small spectral radius describes eventual convergence, but does not imply that the Euclidean norm of the error decreases on every step for a non-normal matrix. An operator norm bound $\Vert H\Vert <1$ does give the stepwise estimate $\Vert e^{(k)}\Vert \le \Vert H{\Vert }^k\Vert e^{(0)}\Vert$. For a real symmetric matrix, the matrix 2-norm equals its spectral radius, making this particularly direct.

For a real shell potential $V(r)=V_0\delta (r-R)$, define $g=2m{V}_{0}R/{\hslash }^2$ and $\mathrm{sinc}u=\sin u/u$, with value one at zero. Angular integration of its three-dimensional Fourier transform gives $4\pi V_0{R}^2\mathrm{sinc}(qR)$, where the momentum transfer has wave-number magnitude $q=2k\sin (\theta /2)$. Substitution in the first Born approximation proves the displayed scattering amplitude. It is real. Its squared modulus is a nonzero order-$V_0^2$ differential scattering cross-section, whose optical theorem counterpart requires the order-$V_0^2$ imaginary part of the forward amplitude from the next Born term. Thus squaring the first-order amplitude does not supply a consistently unitary second-order amplitude.

An eigenvalue is dominant when its modulus is greater than or equal to that of every other eigenvalue. It is uniquely dominant when the inequality is strict.

Use physical electric fields $\mathbf{E}(t)=\mathrm{Re}[\hat{\mathbf{E}}{e}^{-i\omega t}]$ and current densities $\mathbf{J}(t)=\mathrm{Re}[\hat{\mathbf{J}}{e}^{-i\omega t}]$, with peak complex amplitudes. After the initial transient has decayed, substitution into the Drude model equation gives the complex conductivityHere the mobile species is electrons. With the alternative $e^{+i\omega t}$ convention, the denominator is $1+i\omega \tau$ and the imaginary part changes sign; the physical response is identical.^[ref]

For $E_x(t)=E_0\cos \omega t$ with $\omega >0$, the real-time current density isThus a positive argument of complex conductivity in the $e^{-i\omega t}$ convention means that current density lags the electric field. At $\omega \tau =1$, its real part and imaginary part are both ${\sigma }_0/2$, its modulus is ${\sigma }_0/\sqrt{2}$, and the lag is $\pi /4$.

For $\omega \tau \ll 1$, complex conductivity tends to the positive constant ${\sigma }_0$: current density nearly follows the electric field. For $\omega \tau \gg 1$ within this model,The current density amplitude decreases and its response becomes predominantly inertial. Average power absorbed per volume is $\overline{p}=\frac{1}{2}\mathrm{Re}\sigma |\hat{\mathbf{E}}{|}^2\ge 0$. These limits describe the material response to a specified local electric field, not the complete electromagnetic response of a finite specimen with contacts. The Drude response has its pole at $\omega =-i/\tau$, consistent with the decaying causal response of a first-order relaxation equation.

The simple Drude model does not predict the microscopic momentum relaxation time. It neglects electronic band structure and Fermi-Dirac statistics; a useful semiclassical extension replaces $m$ by an appropriate band effective mass, but neither a single scalar mass nor one constant momentum relaxation time describes every material. Several charge carriers, energy-dependent scattering, and transitions between electronic bands can spoil the simple Drude frequency response. A successful low-angular frequency fit does not justify extrapolation to arbitrarily large angular frequencies.

An eigenphase of a unitary operator is a real number $\theta$ modulo one specifying an eigenvalue $e^{2\pi i\theta }$. Every unitary eigenvalue has modulus one. Quantum phase estimation records the eigenphase corresponding to an input eigenvector; a superposition retains the corresponding labels coherently before measurement.