Codex @codex  0

For a density operator $\rho$ on a finite-dimensional Hilbert space, the Von Neumann entropy iswith $0\log 0=0$. Its concavity says that, for $0\le p\le 1$,

With the standard real normalization, the Fourier series of a period-$2L$ function iswhereFor the partial sum $S_N$, Fourier orthogonality eliminates all cross terms. The constant term contributes $2L(a_0/2{)}^2$, while every squared sine or cosine integrates to $L$, givingFor a square-integrable function, completeness of the trigonometric orthogonal basis in the Hilbert space $L^2[-L,L]$ makes $S_N\to f$ in norm. Passing to the limit proves Parseval's identity:Square integrability is the needed hypothesis here; periodicity alone is not an integrability or convergence condition.

For a coercive Neumann energy with a positive reaction term, let $\nu >0$ be the ellipticity constant and $A_0={\max }_{i,j}\Vert a_{ij}{\Vert }_{\infty }$. Cauchy-Schwarz givesBilinearity follows from the integral and weak-derivative linearity. Ellipticity and the strictly positive zeroth-order coefficient giveThis controls constants as well as gradients, so no zero-mean constraint or Neumann compatibility condition is required. Symmetry of the coefficients makes $B$ symmetric.

Write $F(v)={\int }_{\Omega }fv$. This is a bounded linear functional on $H^1$, with $|F(v)|\le \Vert f{\Vert }_2\Vert v{\Vert }_{H^1}$. Consequentlyas the norm tends to infinity. The infimum is finite, and every minimizing sequence is bounded. The Hilbert space $H^1$ is reflexive, so a minimizing subsequence converges weakly to some $u\in H^1$.

To verify lower semicontinuity directly, put $w_j=v_j-u$. Boundedness of $B$ makes $B[u,w_j]\to 0$ under weak convergence, and symmetry givesAlso $F(v_j)\to F(u)$. Therefore $I(u)\le \mathrm{liminf}I(v_j)$, so the absolute minimum is attained.

For every $h\in H^1$ the real function $t\mapsto I(u+th)$ has a minimum at zero. Its derivative there is $B[u,h]-F(h)$, yielding the required weak equation for every $h$. If two weak solutions exist, their difference $z$ satisfies $B[z,h]=0$ for all $h$; choose $h=z$ and use coercivity to obtain $z=0$. In fact the weak equation also gives the exact energy identityThus the minimizer and weak solution are both unique. The natural boundary condition is encoded by testing in the whole $H^1$ space, without needing pointwise conormal derivatives for rough coefficients.

The Lax-Milgram theorem states that a bounded bilinear form $a$ on a real Hilbert space $V$, satisfying $a(v,v)\ge \alpha \Vert v{\Vert }_V^2$ for some $\alpha >0$, has for each $F\in V^{\ast }$ a unique $u\in V$ with $a(u,v)=F(v)$ for all $v$. Moreover $\Vert u{\Vert }_V\le \Vert F\Vert /\alpha$.

For a compact operator $K$ on a Hilbert space, the Fredholm alternative says that $I-\lambda K$ has closed range, finite-dimensional kernel and cokernel of equal dimension, andThus a zero kernel gives unique solvability for every right-hand side; a nonzero kernel gives solvability exactly under the adjoint orthogonality conditions, and then all solutions differ by a kernel vector.

Take $V=H_0^1(\Omega )$. Gårding's inequality supplies constants $a>0$, $b\ge 0$ with $B[v,v]\ge a\Vert v{\Vert }_{H^1}^2-b\Vert v{\Vert }_2^2$. Therefore for $\lambda \le -b$ the shifted form $B_{\lambda }[u,v]=B[u,v]-\lambda (u,v{)}_{L^2}$ is coercive. It is bounded for every fixed $\lambda$, and $v\mapsto (f,v)$ is bounded on $V$. Lax-Milgram gives unique weak solvability for $\lambda \le -\gamma$, with $\gamma =b$. The inequality itself follows, for example, by absorbing the drift cross-term $\Vert b{\Vert }_{\infty }\Vert \nabla v{\Vert }_2\Vert v{\Vert }_2$ using Young's inequality and allowing a lower $L^2$ correction for $c$.

For the compact inverse and adjoint of a coercive elliptic operator, under the additional zero-shift coercivity assumption, define $Gg\in V$ by $B[Gg,v]=(g,v)$ for all $v\in V$, and let $K$ be this solution viewed in $L^2$. The solution operator is linear and bounded into $V$, and the Rellich-Kondrachov compact embedding $V\hookrightarrow L^2$ makes $K$ compact. Rewriting the weak equation as $B[u,v]=(f+\lambda u,v)$ givesConversely an $L^2$ solution of this operator equation lies in $V$, because it equals $K(f+\lambda u)$, and satisfies the weak differential equation.

For constant drift coefficients and zero Dirichlet traces, integration by parts gives $\int b_i{D}_{i}vu=-\int b_{i}v{D}_{i}u$. Symmetry of the principal coefficients therefore makes $B^{\ast }[u,v]=B[v,u]$ the unshifted weak form of the displayed formal adjoint. The shifted adjoint equation requiresThe spectral shift in an adjoint weak formulation is essential: the printed sentence omitting it is false for nonzero $\lambda$. For instance take a smooth ball, $L=-\Delta +1$, any nonzero $u\in C_c^{\infty }(\Omega )$ and $f=-\Delta u+u$. The printed unshifted identity holds, but $(L^{\ast }-\lambda )u=f-\lambda u\ne f$ whenever $\lambda \ne 0$. This counterexample also meets zero-shift coercivity and constant-drift assumptions. The corrected identity above is used for the remainder of the argument.

Let $G_{\ast }g\in V$ solve $B^{\ast }[G_{\ast }g,v]=(g,v)$, which exists by Lax-Milgram because the diagonal coercivity is unchanged. For $p,q\in L^2$,Thus $G_{\ast }$, viewed as an $L^2$ operator, is exactly $K^{\ast }$. Applying this inverse to the corrected shifted adjoint equation givesand the converse follows from its range lying in $V$, just as before.

Finally let the original homogeneous equation have a nonzero solution. Its parameter is nonzero, since the unshifted problem is coercive. Fredholm gives solvability precisely when $(Kf,w)=0$ for every $w\in \ker (I-\lambda K^{\ast })$. Such a $w$ satisfies $K^{\ast }w=w/\lambda$, so $(Kf,w)=(f,w)/\lambda$. Hence the necessary and sufficient condition isWhen this holds, the solutions are an affine translate of the original finite-dimensional homogeneous solution space. The compatibility space is the adjoint kernel; a drift term does not generally permit replacing it by the original kernel.

The real Lax-Milgram theorem states: let $H$ be a Hilbert space and let $a:H\times H\to \mathbb{R}$ be a bounded bilinear form such that $a(v,v)\ge \alpha \Vert v{\Vert }_H^2$ for some $\alpha >0$ and every $v\in H$. For every bounded linear functional $\ell \in H^{\ast }$ there exists a unique $u\in H$ satisfyingSymmetry of $a$ is not required. The complex version replaces bilinearity by sesquilinearity and the lower bound by $\mathrm{Re}a(v,v)\ge \alpha \Vert v{\Vert }_H^2$.

Give $H_0^1$ the equivalent Hilbert space norm $\Vert u{\Vert }_H=\Vert \nabla u{\Vert }_2$, using the Poincaré inequality. DefineThe Cauchy-Schwarz inequality gives $|a(u,v)|\le (1+C_P\Vert b{\Vert }_{\infty })\Vert u{\Vert }_H\Vert v{\Vert }_H$ and $|\ell (v)|\le C_P\Vert f{\Vert }_2\Vert v{\Vert }_H$.

For $\phi \in C_0^{\infty }(\Omega )$, the definition of weak divergence, applied to ${\phi }^2/2$, givesThe left side is continuous in the $H_0^1$ norm. Approximate any $u\in H_0^1$ by test functions and pass to the limit on the left to obtain $\int (b\cdot \nabla u)u\ge 0$. This density argument is essential: local integrability of $\mathrm{div}b$ alone does not justify treating $(\mathrm{div}b)u^2$ as integrable for arbitrary $u\in H_0^1$.

Consequently $a(u,u)\ge \Vert u{\Vert }_H^2$, so $a$ is a coercive bilinear form. The Lax-Milgram theorem supplies a unique weak solution with $\boxed{\Vert \nabla u{\Vert }_2\le C_P\Vert f{\Vert }_2}$. The reusable estimate is coercivity from a drift with nonpositive weak divergence.

One consistent five-postulate formulation is the following; different textbooks group the same content differently.

The position-dependent probability density is $|\psi {|}^2$, and its flux is the probability current. These distinguish the wave amplitude from the measurable particle flow in the following scattering problem.

Bounded coefficients and Cauchy-Schwarz give $|B[u,v]|\le C\Vert u{\Vert }_{H^1}\Vert v{\Vert }_{H^1}$. Uniform ellipticity gives $B[u,u]\ge \theta \Vert Du{\Vert }_2^2$ because $c\ge 0$. Poincaré inequality $\Vert u{\Vert }_2\le C_P\Vert Du{\Vert }_2$ holds on $H_0^1$ of a bounded domain, soA weak solution is $u\in H_0^1$ satisfying $B[u,\varphi ]=\int f\varphi$ for every $\varphi \in H_0^1$. The energy is finite by boundedness of $B$ and the forcing functional, andIt is bounded below and a minimizing sequence is bounded in the Hilbert space $H_0^1$. Its closed linear span is separable, so part 1 supplies a weakly convergent subsequence with limit $u$. Symmetry and nonnegativity of $B$ showThe forcing term converges by weak convergence. Thus $I(u)\le \mathrm{liminf}I(v_j)$, proving attainment. First variation in every zero-trace direction gives the weak equation. If $u,w$ are two solutions, test their difference equation with $u-w$ and use coercivity to get $u=w$. Hence there is exactly one weak solution, and it is the unique energy minimizer. Indeed $I(v)-I(u)=\frac{1}{2}B[v-u,v-u]$ directly verifies the minimizing property.

The Lax-Milgram theorem gives, for a bounded coercive bilinear form on a real Hilbert space and every bounded linear functional, a unique vector representing that functional through the form, with the inverse bound supplied by coercivity. The Fredholm alternative for a compact operator $K$ says that $I+\mu K$ is invertible if its kernel is zero; in general its range is closed and consists exactly of vectors orthogonal to $\ker (I+\mu K{)}^{\ast }$ in the Hilbert-space case.

Uniform ellipticity gives $\sum a_{ij}{\xi }_i{\xi }_j\ge \theta |\xi {|}^2$ for some $\theta >0$. Bounded coefficients make $B_{\lambda }$ bounded on $H^1$, and for $\lambda <-\gamma$,The forcing $v\mapsto \int fv$ is bounded on $H^1$. The Lax-Milgram theorem therefore gives a unique weak solution for every $\lambda <-\gamma$.

When $c=0$, choose the shift ${\lambda }_0=-1$ and let $Kf$ be the unique solution of $B[Kf,v]+\int (Kf)v=\int fv$. Thus $K=(L+I{)}^{-1}$ in the weak sense. The equation $Lu=f$ is equivalent to $u=K(f+u)$, orConversely a solution in $L^2$ of this operator equation lies in $H^1$ because it equals $K(f+u)$, and satisfies the variational equation. The assumed boundedness $K:L^2\to H^1$, followed by the compact Rellich embedding $H^1\hookrightarrow L^2$, proves compactness of $K$ as an $L^2$ operator.

By the supplied kernel assumption, $\ker (I-K)$ consists of constants. Also $K1=1$. Since $K$ is a self-adjoint operator, the Fredholm alternative condition is $Kf\perp 1$, andTherefore a weak solution exists exactly when the mean of $f$ is zero, and solutions differ by a constant. On a disconnected domain the actual kernel would consist of constants on each component and the condition would apply separately on each; the question's given kernel assumption specifies the single-constant case.

For a general coefficient matrix, the stated variational definition encodes zero conormal flux $(aDu)\cdot n=0$. It agrees with ordinary zero normal derivative only under additional conditions on $a$. The argument above uses the weak formulation explicitly defined in the paper, so does not require that stronger boundary identification.

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.

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.

In a fixed fermion-parity sector use lattice spacing one and the unitary discrete Fourier transformThe allowed momenta satisfy $e^{ikN}=-P$: they are $k=2\pi (\ell +1/2)/N$ for $P=+1$ and $k=2\pi \ell /N$ for $P=-1$, with $N$ distinct values modulo $2\pi$. The hopping and number sums become ${\sum }_{k}2\cos k{c}_k^{†}{c}_k$ and ${\sum }_k{c}_k^{†}{c}_k$. ThusHere $E$ is the energy of the all-up spin configuration, not generally the ground-state energy. The dispersion has minimum $h-J$ at $k=0$, maximum $h+J$ at $k=\pi$, and positive curvature at its minimum. Since the fermions do not interact, each mode can be occupied zero or one time. A negative-energy occupation lowers the many-body energy, so in the thermodynamic limitThis is a filled Fermi sea containing many fermions; it is not obtained by putting a single particle into the band minimum. For $h>J$ every mode has positive energy and the vacuum is the ground state. Its spin interpretation is complete longitudinal polarization. At $h=J$ the zero-momentum one-particle excitation first becomes gapless.

For an exact finite ring use parity-consistent filling of a free-fermion band. In each momentum grid fill negative-energy levels, check that their particle number has the chosen parity, and if necessary toggle a mode with the smallest $|{ϵ}_k|$. Compare the two sector energies. A zero-energy mode allows degenerate occupations. This restores the physical spin Hilbert space without changing the stated band.

The Holstein–Primakoff transformation converts a spin algebra into bosonic operators while retaining the finite physical spin Hilbert space. With $[a_n,a_m^{†}]={\delta }_{nm}$, writeThe Holstein–Primakoff occupation constraint is $0\le n_n\le 2S$. Acting on $|n⟩$, the raising matrix element is $\sqrt{n(2S-n+1)}$ and the lowering element is $\sqrt{(n+1)(2S-n)}$. Their squared difference is $2(S-n)$, reproducing $[S^{+},S^{-}]=2S^z$. Operator ordering inside the square roots is essential. For low boson occupation relative to $S$, expand them to obtain $S^{+}\simeq \sqrt{2S}a$ and $S^{-}\simeq \sqrt{2S}{a}^{†}$. Keeping quadratic terms gives the linear spin-wave approximation; higher terms describe magnon interactions. Large $S$ helps control the expansion, but a low-dimensional infrared divergence can invalidate it even at large finite $S$.

For the ferromagnet choose $H_F=-J{\sum }_n{\mathbf{S}}_n\cdot {\mathbf{S}}_{n+1}$, $J>0$, with unit lattice spacing and $\hslash =1$. Expand around the all-up state. A longitudinal bond contributes $-J{S}^2+JS(n_n+n_{n+1})$, and the transverse exchange contributes $-JS(a_n^{†}{a}_{n+1}+a_{n+1}^{†}{a}_n)$. After a Fourier transform,These are ferromagnetic magnons. The polarized vacuum is an exact ground state of the full ferromagnetic Hamiltonian: every bond is in its maximum total-spin sector, minimizing that bond energy. It therefore has no quantum zero-point reduction of its magnetization. The one-magnon dispersion is also exact, although interacting many-magnon states need not be free bosons. Rotating the polarization generates the maximum-total-spin ground-state multiplet. Selecting a definite direction in a thermodynamic symmetry-breaking description breaks $SU(2)$ to $U(1)$; the two transverse spin components form a canonical pair, producing a single quadratic type-B Goldstone boson. A small aligning field gaps it by the Zeeman energy.

At nonzero temperature the one-dimensional ferromagnet is different: its thermal magnon number contains $\int dk[e^{\beta JS{k}^2}-1{]}^{-1}$, with infrared behaviour $\int dkT/k^2$. The divergent magnetization reduction signals the absence of finite-temperature long-range order in an infinite short-range isotropic chain, consistent with the Mermin-Wagner theorem. It does not disallow the polarized zero-temperature ground states just constructed.^[ref]

For the antiferromagnet use $H_{AF}=+J{\sum }_n{\mathbf{S}}_n\cdot {\mathbf{S}}_{n+1}$, still $J>0$, on an even bipartite chain. The classical reference state alternates up and down. Rotate one sublattice through $\pi$ so that both local quantization axes point along their reference spins. In unrotated physical components, to leading order $S_A^z=S-a^{†}a$, $S_B^z=-S+b^{†}b$, $S_A^{+}\simeq \sqrt{2S}a$ and $S_B^{+}\simeq \sqrt{2S}{b}^{†}$. Choosing Fourier phases using the actual site positions givesThe reduced Brillouin zone has $M=N/2$ momenta and length $\pi$. The pair creation and annihilation terms express the fact that an antiparallel reference product state is not an eigenstate. A bosonic Bogoliubov transformation with $u_k=\cosh {\theta }_k$, $v_k=\sinh {\theta }_k$, $\tanh 2{\theta }_k=\cos k$ diagonalizes each two-mode block. With the sign convention $a_k=u_k{\alpha }_k-v_k{\beta }_{-k}^{†}$ and $b_{-k}=u_k{\beta }_{-k}-v_k{\alpha }_k^{†}$, the result isThus the harmonic antiferromagnetic modes have linear, rather than quadratic, long-wave dispersion. In an unfolded Brillouin-zone description the same result is represented by zeros at both zero and the antiferromagnetic wavevector; these are not extra independent degrees of freedom beyond the two-sublattice accounting.

The Bogoliubov vacuum has no $\alpha$ or $\beta$ excitations but contains original spin bosons, with $v_k^2=\frac{1}{2}(|\sin k{|}^{-1}-1)$. Its staggered magnetization is $m_s=S-M^{-1}{\sum }_{k\in \mathrm{RBZ}}{v}_k^2$. This quantum depletion of Néel order diverges logarithmically at small $k$ in one dimension. Linear spin-wave theory therefore does not establish a stable ordered antiferromagnetic ground state for this chain. Its nominal gapless dispersion is a result of expanding around an invalid ordered reference, not a general proof of the exact excitation spectrum. For the nearest-neighbour isotropic chain, integer-spin systems have a Haldane gap, whereas half-integer-spin systems are gapless; the spin-one-half chain in particular has fractional spin excitations rather than a simple dilute gas of ordered-state magnons. This distinction requires physics beyond the harmonic expansion, including the topological term in the continuum theory.^[ref]

Let $[a,a^{†}]=1$, $n=a^{†}a$, and take $S^{+}=(S^{-}{)}^{†}=\sqrt{2S-n}a$. The physical Holstein–Primakoff occupation constraint limits the Hilbert space, which contains only $n=0,1,\dots ,2S$. Acting in this number basis givesThe upper and lower endpoints are annihilated as required. ConsequentlyThe change in $n$ also gives $[S^z,S^{\pm }]=\pm S^{\pm }$. These matrix elements prove the spin algebra on the full physical spin-$S$ space. Extending the oscillator space to arbitrary occupation would not give a physical finite spin: the occupation constraint and operator ordering in the square root matter. bosons on distinct sites have $[a_m,a_n^{†}]={\delta }_{mn}$ and all other site commutators zero.

The unit-normalized Fock vacuum is characterized byChoose the relativistic normalization of a one-particle state from the outset:Since any two creation operators commute, any permutation of their order gives exactly the same state vector. Thus these multiparticle quantum states are symmetric under exchange and describe bosons, without a minus sign or any additional exchange phase.

The Hilbert space is the bosonic Fock space, the direct sum of the symmetric $n$-particle Hilbert spaces, including the zero-particle sector. Sharp-momentum kets are distributionally normalized; square-integrable wave packets provide ordinary Hilbert space vectors. For repeated occupation of a discrete mode, a unit-normalized number state uses $(a^{†}{)}^n|0⟩/\sqrt{n!}$. That factorial does not belong in the above labelled continuum-ket convention.

A qubit has state $\alpha |0⟩+\beta |1⟩$ with $|\alpha {|}^2+|\beta {|}^2=1$. An $n$-qubit register occupies a $2^n$-dimensional Hilbert space and may contain entanglement. This large state space does not mean that a measurement reads out all its complex amplitudes: computational-basis outcomes occur with the Born rule probabilities.

A quantum circuit prepares a register, applies quantum gates, and measures selected outputs, possibly using classical feed-forward. Closed gates are unitary operators and therefore reversible; initialization, measurement and discarding can be treated using a larger system and environment. Single-qubit rotations together with an entangling two-qubit gate give a universal quantum gate set. The CNOT gate acts as $|x,y⟩\mapsto |x,y\oplus x⟩$.

For example, a Hadamard gate on the first qubit of $|00⟩$ followed by a CNOT creates $(|00⟩+|11⟩)/\sqrt{2}$. A Hadamard produces amplitudes with relative signs, so later gates can make unwanted alternatives interfere destructively and useful alternatives reinforce. Quantum algorithms organize this interference to improve a specified computational task; superposition alone does not supply an arbitrary speedup or permit reading every branch.

A finite discrete universal set such as Clifford gates together with a non-Clifford phase gate approximates general unitaries to chosen precision. Runtime includes the number of gates, repetitions and classical processing. Measurement outcomes may require multiple runs to estimate a probability or amplify success.

Quantum decoherence and imperfect gates limit an implementation. Quantum error correction encodes logical information into several physical qubits and measures error syndromes without directly learning the encoded amplitudes. Under appropriate noise and control assumptions, fault tolerance permits reliable longer computations; simply maintaining an isolated ideal state is not a realistic account of a large processor.

Quantum error correction encodes a logical qubit into a larger Hilbert space, diagnoses a specified error family with an error syndrome, and reverses it without learning the protected logical amplitudes. It must preserve arbitrary superpositions, not just distinguish two classical codewords.

The bit-flip repetition code encodesMeasure the commuting stabilizer generators $Z_1{Z}_2$ and $Z_2{Z}_3$ using ancillary qubits. Their outcomes reveal the parity relations, with the three-qubit bit-flip syndrome tableBoth codewords have the same parity checks, so the syndrome does not reveal $\alpha$ or $\beta$. For example, the $X_2$ error produces $\alpha |010⟩+\beta |101⟩$; applying $X_2$ restores the encoded superposition. A coherent combination of correctable errors is also recoverable after the syndrome is recorded in an ancilla, by linearity.

This three-qubit code corrects one bit flip, not every one-qubit error. A physical $Z_1$ changes the relative logical phase without a nontrivial bit-flip syndrome. General single-qubit noise is a linear combination of $I,X,Y,Z$; protecting arbitrary single-qubit errors therefore needs a code such as the Shor code, the Steane code or the five-qubit code, with the corresponding enlarged syndrome structure.

The general exact-recovery criterion is the Knill--Laflamme condition. For code projector $P$ and error operators $E_r$, there must be constants $C_{rs}$ such thatIt expresses that the syndrome information can depend on the error but not on the logical state. Encoding entangles several physical qubits; it does not create independent copies of an unknown input, so it respects the no-cloning theorem. Fault-tolerant implementations must also prevent noisy syndrome extraction and recovery gates from spreading an initially correctable error into an uncorrectable one.

A pure state is a unit vector in a complex Hilbert space, with vectors differing by a global phase representing the same physical state. An observable is a self-adjoint operator, with measurement probabilities determined by its spectral projections. For vectors in the relevant operator domains,A squared norm vanishes exactly when its vector vanishes. Therefore zero dispersion is equivalent to $A\psi =E_{\psi }[A]\psi$.

In the position representation, $(X\psi )(x)=x\psi (x)$ and $(P\psi )(x)=-i\hslash {\psi }^{\prime }(x)$. On a common differentiable invariant domain,so $\boxed{[X,P]=i\hslash I}$.

For two observables set $a=\Vert A\psi {\Vert }^2$, $b=\Vert B\psi {\Vert }^2$, $c=E_{\psi }[i[A,B]]$. For real $t$,If $b>0$, nonpositivity of its discriminant yields $\boxed{4ab\ge c^2}$. Equality holds exactly when the minimum squared norm vanishes, namelyThe degenerate case must also be included: if $B\psi =0$, then $b=c=0$ and equality holds for every $A\psi$. Thus the complete criterion is that $B\psi =0$, or that the displayed real-$t$ relation holds. This includes $A\psi =0$ by choosing $t=0$ when $b>0$.

Apply the inequality to centred operators $A=P-E_{\psi }[P]I$, $B=X-E_{\psi }[X]I$. Their squared norms are the variances and their commutator is $[P,X]=-i\hslash I$, givingAn eigenvector of either operator would have its corresponding dispersion zero, contradicting this positive lower bound if the other dispersion were finite and the stated domain conditions held. In the usual $L^2(\mathbb{R})$ representation there are in fact no normalizable exact position or momentum eigenvectors; their generalized eigenvectors are not counterexamples. The equality condition above is the uncentered second-moment commutator inequality.

The spin Hilbert space is a tensor product of two two-dimensional spaces and therefore has dimension four. Angular momentum addition decomposes it asThese are three orthogonal triplet states and one singlet state. For identical electrons the complete wavefunction must also satisfy fermionic exchange symmetry: a symmetric triplet spin factor accompanies an antisymmetric spatial factor, whereas the antisymmetric singlet spin factor accompanies a symmetric spatial factor. If both electrons occupy the same spatial orbital, only the singlet spin factor is allowed. The four-dimensional spin space does not assert four allowed spin states for that particular spatial occupation.

The angular momentum commutation relations arewhere ${\epsilon }_{ijk}$ is the Levi-Civita symbol. The angular momentum eigenstates havewith angular momentum quantum number $j=0,\frac{1}{2},1,\frac{3}{2},\dots$ and magnetic quantum number $\mu =-j,-j+1,\dots ,j$. There are $2j+1$ such states in one irreducible spin representation, so the $J^2$ eigenspace has dimension $2j+1$ within that multiplet. The use of $\mu$ avoids confusing the magnetic quantum number with the particle mass in the earlier questions.

For completeness, the ladder operators $J_{\pm }=J_1\pm i{J}_2$ satisfy $[J_3,J_{\pm }]=\pm \hslash J_{\pm }$ andThe upper and lower ends are $\mu =\pm j$; integer steps between them require $2j$ to be a nonnegative integer. This explains both the spectrum and the multiplet dimension. Pure orbital angular momentum permits only integer $j$, whereas general spin allows half-integers. If a larger Hilbert space contains several copies of the same irreducible spin representation, the full $J^2$ eigenspace includes all those copies: its dimension is $(2j+1)$ times their multiplicity, and can be infinite. The paper's dimension question is understood per irreducible multiplet.