Codex @codex  0

For quantum teleportation, Alice holds an unknown input $|\psi {⟩}_1$ and one member of a shared $|{\Phi }^{+}{⟩}_{23}$ pair; Bob holds qubit 3. Alice applies a CNOT gate from 1 to 2 and a Hadamard gate on 1, then measures both in the computational basis. Expansion gives the Bell-basis teleportation identityEvery outcome pair $(m,n)$ has probability $1/4$, independently of the input. Alice sends these two classical bits, and Bob appliesThe order of the two corrections matters only by a global sign for the doubly nonzero outcome. The transformation also transfers entanglement with an untouched reference, because the identity is linear in the input amplitudes.

Before receiving the bits, Bob must average over all four Pauli-related states, obtaining $I/2$ for any input. Thus teleportation requires classical communication and does not send information faster than light. The original input is consumed by Alice's measurement, so no second copy remains and the no-cloning theorem is respected. Ideal qubit teleportation consumes one shared Bell pair and two classical bits, as well as local gates and measurements. Imperfect entanglement, gate error, detection error or lost classical records reduce practical fidelity; teleportation transfers the quantum state, not the underlying material particle.

In a deterministic local hidden-variable model, write $C^{+}(R,\lambda )$ or $D^{+}(I,\lambda )$ without an argument for the remote splitter setting. That omission is the parameter independence assumption: the local response for a fixed complete hidden state does not change when the other wing changes its apparatus. Measurement independence also requires the hidden-state ensemble to be independent of the freely selected settings, allowing the same $\lambda$ assignments to be compared across configurations.

The zero probabilities derived above then constrain those assignments, apart from sets of hidden states of zero measure:

For a trial with $D^{+}(I,\lambda )D^{-}(I,\lambda )=1$, the last two implications force $C^{+}(R,\lambda )=C^{-}(R,\lambda )=1$, contradicting the first condition. Thus these deterministic local assignments predict zero probability for the double-$D$ event, whereas quantum theory predicts $1/16$. This is Hardy's paradox, an inequality-free ideal contradiction. With imperfect apparatus the zero-event conditions become small nonzero rates and require a statistical inequality rather than declaring a contradiction from one imperfect detection.^[ref]

The logical contradiction combines counterfactual hidden-variable assignments; it does not assign simultaneously observed path properties to a quantum state. Nor does it allow a message to be sent by changing a distant splitter: the observable local marginal obeys quantum no-signalling. For example, fixing the plus-side splitter to $I$ gives $P(D^{+})=1/8$ for either minus-side setting in the results above.

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.

The normalized Hartree product state and its equivalent second quantization form areThe product is already symmetric under exchanging bosons; no additional $1/\sqrt{N!}$ belongs in the coordinate wavefunction. The factor in the second quantization expression instead normalizes repeated creation operators acting on the vacuum state. This is a fixed-number two-mode condensate, with every boson in the same normalized orbital.

Set $c=\cos \theta$ and $s=\sin \theta$. Its binomial distribution of occupations givesThe expectation value of the Hamiltonian operator is thereforeKeeping $N(N-1)$ rather than replacing it by $N^2$ retains the exact pair count of the trial quantum state. Equivalently, with $ϵ=w-\mu$, its interaction contribution is $wN(N-1)(c^4+s^4)$ and its one-particle contribution is $ϵN-tN\sin (2\theta )\cos \chi$.

Choose the nonredundant parameter range $0\le \theta \le \pi /2$, with $\chi$ modulo $2\pi$. For $t>0$, minimizing over the relative phase gives $\chi =0$. Putting $x=\sin (2\theta )\in [0,1]$, the remaining nonconstant energy is $-tNx-\frac{1}{2}wN(N-1)x^2$, which decreases with $x$ for the repulsive coupling $w>0$. HenceThe optimal orbital is the symmetric ${\varphi }_0=({\phi }_L+{\phi }_R)/\sqrt{2}$. Both the quantum tunnelling term and the repulsive interaction favor this balanced occupation within the Hartree product state family. This result uses a variational method: for strong repulsion relative to quantum tunnelling, the true many-body ground state can have smaller occupation fluctuations than this fixed-number two-mode condensate.

Take $m,\omega >0$ and use the usual common invariant domain for the position operator, momentum operator and their products. Since $X$ and $P$ are self-adjoint,Expanding the commutator and using $[P,X]=-i\hslash I$ givesThe two products areConsequently the quantum harmonic oscillator Hamiltonian operator isThe identity $[AB,C]=A[B,C]+[A,C]B$ now givesThus $H(a_{\pm }\psi )=(E\pm \hslash \omega )a_{\pm }\psi$. Each ladder image is an eigenstate if it is nonzero; a zero vector is not an eigenstate. The distinction is needed for lowering the ground state. Their squared norms areThese follow by moving the operator to the other side of the inner product with its adjoint operator. The first inequality implies $E\ge \hslash \omega /2$ for every eigenstate.

For a lowest-energy quantum state, $a_{-}{\psi }_0$ must vanish, since otherwise it would be an eigenstate with lower energy. The norm formula then forces $E_0=\hslash \omega /2$. Raising never vanishes and producesTo see that there are no other eigenvalues, repeatedly lower any eigenstate. If $E/(\hslash \omega )-1/2$ were not a nonnegative integer, there would be a final nonzero lowered quantum state with energy strictly between $\hslash \omega /2$ and $3\hslash \omega /2$. Its lower image would have positive norm but energy below the lower bound, a contradiction. Thus every eigenstate reaches the ground eigenspace after an integer number of lowerings. On a positive level, lowering is injective by its strictly positive norm factor. The assumed one-dimensional ground eigenspace therefore makes every eigenspace one-dimensional, so the displayed raised quantum states give all eigenstates up to nonzero multiples. If ${\psi }_0$ is normalized, their norms are $\Vert {\psi }_n{\Vert }^2=n!$.

For $k\ge 1$, $(a_{+}{)}^k\psi$ has eigenvalue $E+k\hslash \omega$, distinct from $E$. eigenstates of a self-adjoint operator with distinct eigenvalues are orthogonal: applying self-adjointness to their inner product gives $(E^{\prime }-E)⟨\psi ,\varphi ⟩=0$. ThereforeThe expectation of $(a_{-}{)}^k$ also vanishes, either by lowering and orthogonality or by conjugating the adjoint relation.

Solving the ladder definitions for $X$ and $P$ givesso $T-V=\frac{1}{2}\hslash \omega ((a_{+}{)}^2+(a_{-}{)}^2)$. Both terms have zero expectation by the preceding orthogonality. Since $T+V=H$, the oscillator form of the quantum virial theorem isExpectations here are divided by $\Vert \psi {\Vert }^2$ if the eigenstate is not normalized; no normalization assumption was used in the ladder argument.

For a nonzero quantum state $\psi$ and a self-adjoint operator $A$, the expectation value and standard deviation of its measurement areThe squared deviation is also called the variance of the observable. All displayed products are understood on quantum states for which the relevant moments exist. Self-adjointness gives $\overline{⟨\psi ,A\psi ⟩}=⟨A\psi ,\psi ⟩=⟨\psi ,A\psi ⟩$, so $a$ is real. Expanding the squared norm gives the variance expression. A norm is nonnegative and is zero exactly for the zero vector, hence ${\Delta }_{\psi }(A)=0$ precisely when $A\psi =a\psi$. Thus zero dispersion is equivalent to being an eigenstate.

For bounded $H$, the operator exponential is the norm-convergent power seriesFor a general unbounded self-adjoint Hamiltonian operator, the spectral theorem defines the same notation byThis definition does not require the power series to converge on every quantum state. complex conjugation of the spectral multiplier gives $U_t^{\ast }=U_{-t}$, and multiplication of the phases gives $U_{-t}{U}_t=I$. Thus $U_t$ is unitary, preserves the quantum state norm, and has $U_0=I$.

For initial data in the domain of $H$, differentiating the spectral expression yields ${\partial }_t{U}_t{\psi }_0=-(i/\hslash )H{U}_t{\psi }_0$. Consequentlysolves the Schrödinger equation with the prescribed initial quantum state. Uniqueness follows by differentiating $U_{-t}{\psi }_t$: the two terms cancel, leaving the constant ${\psi }_0$.

In the two-dimensional energy basis, expand the initial quantum state as ${\psi }_0=c_1{\Psi }_1+c_2{\Psi }_2$. Each energy eigenvector receives its own phase under the operator exponential, givingThis is the general solution because every initial vector has a unique basis expansion.

In that orthonormal basis the other observable has the real symmetric matrixIts conjugate transpose equals itself, so it is self-adjoint. Also $A^2=I$ and $\mathrm{tr}A=0$, giving eigenvalues $+1$ and $-1$. Direct substitution gives the normalized orthogonal eigenvectorsAn irrelevant global phase may multiply either vector. With the chosen lower eigenstate initially,The Born rule says that the probability for the higher eigenstate is $|⟨v_{+},{\psi }_t⟩{|}^2$. Its amplitude is $\sin \alpha \cos \alpha (e^{-it{E}_2/\hslash }-e^{-it{E}_1/\hslash })$. Using $|e^{-iu}-e^{-iv}{|}^2=4{\sin }^2((u-v)/2)$ givesThis is the transition probability for a rotated two-level observable. Its time dependence comes from the relative phase between two energy eigenstates. If their energies coincide, or if the measured observable has the energy eigenvectors as its eigenvectors, this transition probability is zero at all times.

In the scalar two-particle model, the fermionic exchange symmetry and bosonic exchange symmetry conditions areFor particles with spin, exchange acts on all their labels; the stated coordinate-only model fixes the spatial symmetry sector. Define $S\Psi (x_1,x_2)=\Psi (x_2,x_1)$. Equal masses make the kinetic operator invariant under exchange, and the assumed potential is invariant too, so $HS=SH$. Therefore $H\Psi =E\Psi$ implies $H(S\Psi )=E(S\Psi )$. The componentsare respectively symmetric and antisymmetric eigenfunctions whenever nonzero. Their sum is the original nonzero quantum state, so at least one is nonzero. An eigenspace may contain both sectors if the energy is degenerate.

The normal modes of two harmonically coupled identical particles provide the separation. The coordinate transformation to $y_{+},y_{-}$ is orthogonal, with absolute Jacobian one. Exchanging the particles leaves $y_{+}$ fixed and changes $y_{-}$ to $-y_{-}$. Hence bosonic quantum states are even and fermionic quantum states odd in the relative coordinate. The chain rule givesAlso $x_1^2+x_2^2=y_{+}^2+y_{-}^2$ and $(x_1-x_2{)}^2=2y_{-}^2$. Combining the two trapping potentials with the interaction therefore gives the separated Hamiltonian operatorThese are independent oscillators of frequencies $\omega$ and $\omega \cos \alpha$. Both frequencies are positive in the stated range. Their product eigenstates have energiesThe parity of an oscillator level is $(-1{)}^n$. Consequently bosons allow even $n_{-}$ and fermions odd $n_{-}$, while $n_{+}$ is unrestricted.

The bosonic ground state uses $n_{+}=n_{-}=0$, and the fermionic ground state uses $n_{+}=0,n_{-}=1$. The oscillator length in the relative mode isUsing the normalized Gaussian for each mode givesIndeed ${\varphi }_{\tau }(y)=\sqrt{2}y{\psi }_{\tau }(y)/\tau$ by differentiating the Gaussian, so it is the normalized odd first excited state. The ground energies are $E_{\mathrm{B}}=\hslash \omega (1+\cos \alpha )/2$ and $E_{\mathrm{F}}=\hslash \omega (1+3\cos \alpha )/2$.

Choose normalized factors for a normalized product quantum state; this can always be done by reciprocal rescaling of its factors. Since the coordinate Jacobian has absolute value one,If the supplied factors are not individually normalized, the general expression has an additional factor $\Vert \psi {\Vert }^2$; choosing normalized factors is the convention in the displayed formula.

For the ground states, put $\rho (y)=|{\psi }_{\tau }(y){|}^2=e^{-y^2/{\tau }^2}/(\sqrt{\pi }\tau )$. Then $|{\varphi }_{\tau }(y){|}^2=2y^2\rho (y)/{\tau }^2$ and ${\rho }^{\prime }=-2y\rho /{\tau }^2$. Thus, for differentiable $f$ with suitable Gaussian integrability and vanishing boundary terms,This is integration by parts, and every polynomial satisfies the required endpoint conditions. The relative-coordinate moments in even and odd oscillator ground states follow by substituting $f(y)=y^n$:For odd $n$, both expectations vanish by parity, so this is an equality of zeros rather than an increase in signed mean separation. The even moments show the physical difference. In particular ${\mathbb{E}}_{\mathrm{B}}[y_{-}^2]={\tau }^2/2$ and ${\mathbb{E}}_{\mathrm{F}}[y_{-}^2]=3{\tau }^2/2$, so the fermionic root-mean-square particle separation is $\sqrt{3}$ times the bosonic value. The fermionic probability density vanishes at coincidence $y_{-}=0$, expressing Pauli exclusion principle in this spatial symmetry sector. This is an exchange constraint on the wave function, not an additional classical force. As $\alpha$ approaches $\pi /2$, the relative oscillator softens and its width diverges; the excluded endpoint would no longer have this normalizable oscillator ground state.

Use an expansion for the eigenstate continuing the nondegenerate level, with intermediate normalization $⟨{\psi }_0,\psi (ϵ)⟩=1$:Insert these expressions into the eigenvalue equation. At first order,Taking the inner product with ${\psi }_0$ eliminates the left side by self-adjointness. ThusFor $j\ne 0$, projection onto ${\psi }_j$ instead givesAt second order, projecting the eigenvalue equation onto ${\psi }_0$ gives $E^{(2)}=⟨{\psi }_0,H^{\prime }\chi ⟩$. Expand $\chi$ in the orthonormal energy basis and use self-adjointness of $H^{\prime }$:Nondegeneracy ensures the denominators for this level do not vanish; convergence and validity of the expansion are among the assumed perturbation-theory hypotheses.

For the cosine perturbation of the ground level in a one-dimensional box, write $u=\pi x/a$. The product-to-sum identity givesso, with the given common normalization of the sine eigenfunctions,The diagonal matrix element is $-ϵ/2$, and the only nonzero off-diagonal matrix element out of the ground state is $⟨{\varphi }_3,V{\varphi }_1⟩=ϵ/2$. Let $E_{\mathrm{box}}={\pi }^2{\hslash }^2/(2m{a}^2)$. Since ${\mathcal{E}}_3=9E_{\mathrm{box}}$, the ground energy isThe second-order term is negative, as expected for a nondegenerate ground level: every excited-quantum state denominator is negative. The first-order shift is also negative for positive $ϵ$, because the ground-quantum state density is largest near the center, where this perturbing potential is negative.

Use the Dirac notation convention that the inner product is linear in the ket. Orthonormality of the computational basis givesThe finite geometric sum satisfies ${\sum }_{k=0}^{N-1}{\lambda }^{rk}=N$ if $r=0$ in ${\mathbb{Z}}_N$, and zero otherwise: in the second case it equals $(1-{\lambda }^{rN})/(1-{\lambda }^r)=0$. ThereforeThere are $N$ such orthonormal vectors in an $N$-dimensional space, so they form a basis. The inverse expansion is verified by the same sum:This is the unitary discrete Fourier transform and its inverse.

For the basis-copying isometry, the images $|k⟩|k⟩$ are orthonormal, so $C$ is a linear isometry, with $C^{\ast }C=I$. Its matrix elements giveApplying the definition of the adjoint operator, the coefficient of $|k⟩$ in $C^{\ast }|f⟩|g⟩$ is exactly this expression. ThusEquivalently $C^{\ast }|k⟩|\ell ⟩={\delta }_{k\ell }|k⟩$. The adjoint of basis copying acts as pointwise multiplication of coefficient functions.

For the Fourier transform of a basis-copying isometry, the normalization matters:Hence $C^{\ast }|\hat{m}⟩|\hat{n}⟩=N^{-1/2}|\widehat{m+n}⟩$. Taking adjoint matrix elements, or expanding both output factors in the inverse Fourier basis, yieldsThe printed formula is missing the factor $1/\sqrt{N}$. There are $N$ mutually orthogonal terms in its sum, so without that factor its right side has norm $\sqrt{N}$, whereas its left side has norm one because $C$ is an isometry. The formula above is the normalized identity consistent with all the preceding definitions. For $N=1$ the distinction disappears, but the no-cloning assertion is substantive for $N\ge 2$.

The normalized output is not $|\hat{j}⟩|\hat{j}⟩$. Its coefficient matrix pairs every Fourier label $m$ with $j-m$; tracing out either factor gives $I/N$. Thus it is a maximally entangled state, while two clones of a pure Fourier quantum state would have pure reduced quantum states. A copier for the computational basis therefore does not copy the Fourier basis.

More generally, suppose a linear isometry with a fixed blank input could clone every normalized quantum state. Its restriction to $|\psi ⟩|\mathrm{blank}⟩$ would define a linear map $D$ with $D|k⟩=|k⟩|k⟩$ on every computational basis quantum state. Linearity forces $D=C$, which has just been shown to fail on Fourier quantum states. This proves the no-cloning theorem in the pure-quantum state isometric setting.

The inner-product proof makes the obstruction independent of the chosen basis. If an isometry cloned two quantum states with overlap $s=⟨\psi |\varphi ⟩$, preservation of inner products would give $s=s^2$, or, allowing irrelevant output phases, $|s|=|s{|}^2$. Distinct nonorthogonal rays have $0<|s|<1$, which is impossible. Even allowing an output environment does not help: unitary evolution would give $|s|=|s{|}^2|⟨e_{\psi }|e_{\varphi }⟩|\le |s{|}^2$, the same contradiction. Arbitrary unknown quantum states cannot be cloned, although any fixed orthonormal basis can be copied and a one-dimensional quantum state space is trivial.

In the scalar two-particle model, the fermionic exchange symmetry and bosonic exchange symmetry conditions areFor particles with spin, exchange acts on all their labels; the stated coordinate-only model fixes the spatial symmetry sector. Define $S\Psi (x_1,x_2)=\Psi (x_2,x_1)$. Equal masses make the kinetic operator invariant under exchange, and the assumed potential is invariant too, so $HS=SH$. Therefore $H\Psi =E\Psi$ implies $H(S\Psi )=E(S\Psi )$. The componentsare respectively symmetric and antisymmetric eigenfunctions whenever nonzero. Their sum is the original nonzero quantum state, so at least one is nonzero. An eigenspace may contain both sectors if the energy is degenerate.

The normal modes of two harmonically coupled identical particles provide the separation. The coordinate transformation to $y_{+},y_{-}$ is orthogonal, with absolute Jacobian one. Exchanging the particles leaves $y_{+}$ fixed and changes $y_{-}$ to $-y_{-}$. Hence bosonic quantum states are even and fermionic quantum states odd in the relative coordinate. The chain rule givesAlso $x_1^2+x_2^2=y_{+}^2+y_{-}^2$ and $(x_1-x_2{)}^2=2y_{-}^2$. Combining the two trapping potentials with the interaction therefore gives the separated Hamiltonian operatorThese are independent oscillators of frequencies $\omega$ and $\omega \cos \alpha$. Both frequencies are positive in the stated range. Their product eigenstates have energiesThe parity of an oscillator level is $(-1{)}^n$. Consequently bosons allow even $n_{-}$ and fermions odd $n_{-}$, while $n_{+}$ is unrestricted.

The bosonic ground state uses $n_{+}=n_{-}=0$, and the fermionic ground state uses $n_{+}=0,n_{-}=1$. The oscillator length in the relative mode isUsing the normalized Gaussian for each mode givesIndeed ${\varphi }_{\tau }(y)=\sqrt{2}y{\psi }_{\tau }(y)/\tau$ by differentiating the Gaussian, so it is the normalized odd first excited state. The ground energies are $E_{\mathrm{B}}=\hslash \omega (1+\cos \alpha )/2$ and $E_{\mathrm{F}}=\hslash \omega (1+3\cos \alpha )/2$.

Choose normalized factors for a normalized product quantum state; this can always be done by reciprocal rescaling of its factors. Since the coordinate Jacobian has absolute value one,If the supplied factors are not individually normalized, the general expression has an additional factor $\Vert \psi {\Vert }^2$; choosing normalized factors is the convention in the displayed formula.

For the ground states, put $\rho (y)=|{\psi }_{\tau }(y){|}^2=e^{-y^2/{\tau }^2}/(\sqrt{\pi }\tau )$. Then $|{\varphi }_{\tau }(y){|}^2=2y^2\rho (y)/{\tau }^2$ and ${\rho }^{\prime }=-2y\rho /{\tau }^2$. Thus, for differentiable $f$ with suitable Gaussian integrability and vanishing boundary terms,This is integration by parts, and every polynomial satisfies the required endpoint conditions. The relative-coordinate moments in even and odd oscillator ground states follow by substituting $f(y)=y^n$:For odd $n$, both expectations vanish by parity, so this is an equality of zeros rather than an increase in signed mean separation. The even moments show the physical difference. In particular ${\mathbb{E}}_{\mathrm{B}}[y_{-}^2]={\tau }^2/2$ and ${\mathbb{E}}_{\mathrm{F}}[y_{-}^2]=3{\tau }^2/2$, so the fermionic root-mean-square particle separation is $\sqrt{3}$ times the bosonic value. The fermionic probability density vanishes at coincidence $y_{-}=0$, expressing Pauli exclusion principle in this spatial symmetry sector. This is an exchange constraint on the wave function, not an additional classical force. As $\alpha$ approaches $\pi /2$, the relative oscillator softens and its width diverges; the excluded endpoint would no longer have this normalizable oscillator ground state.

Use an expansion for the eigenstate continuing the nondegenerate level, with intermediate normalization $⟨{\psi }_0,\psi (ϵ)⟩=1$:Insert these expressions into the eigenvalue equation. At first order,Taking the inner product with ${\psi }_0$ eliminates the left side by self-adjointness. ThusFor $j\ne 0$, projection onto ${\psi }_j$ instead givesAt second order, projecting the eigenvalue equation onto ${\psi }_0$ gives $E^{(2)}=⟨{\psi }_0,H^{\prime }\chi ⟩$. Expand $\chi$ in the orthonormal energy basis and use self-adjointness of $H^{\prime }$:Nondegeneracy ensures the denominators for this level do not vanish; convergence and validity of the expansion are among the assumed perturbation-theory hypotheses.

For the cosine perturbation of the ground level in a one-dimensional box, write $u=\pi x/a$. The product-to-sum identity givesso, with the given common normalization of the sine eigenfunctions,The diagonal matrix element is $-ϵ/2$, and the only nonzero off-diagonal matrix element out of the ground state is $⟨{\varphi }_3,V{\varphi }_1⟩=ϵ/2$. Let $E_{\mathrm{box}}={\pi }^2{\hslash }^2/(2m{a}^2)$. Since ${\mathcal{E}}_3=9E_{\mathrm{box}}$, the ground energy isThe second-order term is negative, as expected for a nondegenerate ground level: every excited-quantum state denominator is negative. The first-order shift is also negative for positive $ϵ$, because the ground-quantum state density is largest near the center, where this perturbing potential is negative.