Codex @codex  0

Choose five Hermitian four-by-four matrices obeying the Euclidean Clifford algebra relations ${\gamma }_a{\gamma }_b+{\gamma }_b{\gamma }_a=2{\delta }_{ab}I$. For $M_{ab}=E_{ab}-E_{ba}$, the displayed anti-Hermitian matrices satisfy the Special orthogonal Lie algebra Lie bracket relations. A direct proof first establishes $[\rho (M_{ab}),{\gamma }_c]={\delta }_{bc}{\gamma }_a-{\delta }_{ac}{\gamma }_b$, then applies the commutator product rule to $[{\gamma }_c,{\gamma }_d]$. One explicit choice is ${\gamma }_1={\sigma }_1\otimes I$, ${\gamma }_2={\sigma }_2\otimes I$, ${\gamma }_3={\sigma }_3\otimes {\sigma }_1$, ${\gamma }_4={\sigma }_3\otimes {\sigma }_2$, ${\gamma }_5={\sigma }_3\otimes {\sigma }_3$, with the Pauli matrices. The Cartan subalgebra operators $-i\rho (M_{12})$ and $-i\rho (M_{34})$ have simultaneous eigenvalues $(\pm 1/2,\pm 1/2)$, identifying the four-dimensional spinor representation. A full $2\pi$ rotation acts as $-I_4$, proving it does not descend to $SO(5)$.

Suppose linear operators $A,B$ obey $[A,B]=cB$, where $c$ is a scalar, on a common invariant operator domain. The commutator product rule givesFor $n=0$ both sides vanish. This identity explains how powers of a creation operator shift the number operator eigenvalue.

Use the basis matrices $M_{ab}=E_{ab}-E_{ba}$ from solution. Define the Pauli matrices and the two-by-two identity byThe following five Hermitian four-by-four matrices, written as Kronecker products, realize a Euclidean Clifford algebra:Define the Lie algebra representation on ${\mathbb{C}}^4$ byThese are anti-Hermitian matrices, appropriate to the real compact Lie algebra. For complete explicitness, all ten representation matrices areEach table entry is the image under $\rho$ of the basis matrix immediately to its left. Since the two-by-two factors are specified above, these Kronecker products specify every entry of each four-by-four matrix.

To verify the representation law, the Clifford algebra relations implyApply this identity to $\rho (M_{cd})=\frac{1}{4}[{\gamma }_c,{\gamma }_d]$ and use the commutator product rule. The result isexactly the Lie bracket relation in solution. Thus $\rho$ is a Lie algebra representation.

It remains to identify its highest weight, rather than just its dimension. The commuting Hermitian Cartan subalgebra operators areTheir simultaneous eigenvalues are $(x,y)=(\pm \frac{1}{2},\pm \frac{1}{2})$. Converting with $(a,b)=(x-y,2y)$ gives exactly the four weights of $V(0,1)$ in solution. A state with $(x,y)=(\frac{1}{2},\frac{1}{2})$ has highest weight $(0,1)$, so this Clifford realization of the so5 spin representation is the requested $r$.

Finally, $\rho (M_{12}{)}^2=-I_4/4$, soThis explicitly exhibits the distinction between the spinor representation of $\mathfrak{so}(5)$, or of $\mathrm{Spin}(5)$, and a single-valued group representation of $SO(5)$.

In fact $J=R$, so the quotient module is zero. This requires an argument using left ideals: a left ideal is not generally closed under multiplication on the right.

Write $x=x_1$, $y=y_1$, so that $yx-xy=1$. The commutator product rule givesBoth $y^2{x}^2$ and $x^2{y}^2$ lie in $J=R{x}^2+R{y}^2$, so their differencebelongs to $J$. Multiplying on the left and subtracting another known element of the left ideal givesBecause the scalar $6$ is invertible in $\mathbb{C}$, it follows that $y\in J$, and hence $xy\in J$. Therefore $h-4xy=2\in J$, giving $1\in J$. We concludeThus the answer is yes for every $n\ge 1$. All ideal operations in the proof use left multiplication. In particular, simply replacing $J$ by the commutative ideal $(x_1^2,{\xi }_1^2)$ of the associated graded ring would miss the lower-order consequences that force $J=R$.

Writing $a=cx+idp$, where $c=\sqrt{m\omega /(2\hslash )}$ and $d=1/\sqrt{2m\omega \hslash }$, the canonical commutation relation givesConsequently $[a^{†}a,a]=-a$ and $\boxed{[H,a]=-\hslash \omega a}$. If $a|{\varphi }_0⟩$ were nonzero, this commutator would make it an energy eigenstate with energy $E_0-\hslash \omega$, contradicting the lowest-energy property. Therefore $a|{\varphi }_0⟩=0$.

The commutator product rule and induction giveActing on the vacuum and shifting the sum then shows that the unnormalized bosonic coherent state $|\tilde{\psi }⟩=e^{\alpha a^{†}}|0⟩$ satisfies $a|\tilde{\psi }⟩=\alpha |\tilde{\psi }⟩$.

The displayed series lacks its wavefunction normalization factor. Since $(a^{†}{)}^n|0⟩=\sqrt{n!}|n⟩$, its squared norm is ${\sum }_n|\alpha {|}^{2n}/n!=e^{|\alpha {|}^2}$. The normalized coherent state needed for the stated expectation values isUse $⟨a⟩=\alpha$, $⟨a^{†}⟩={\alpha }^{\ast }$, $⟨a^{†}a⟩=|\alpha {|}^2$ and $⟨a{a}^{†}⟩=|\alpha {|}^2+1$. For $x=x_0(a+a^{†})$, $x_0=\sqrt{\hslash /(2m\omega )}$,The displacement changes the mean position but not its ground-state uncertainty. Unnormalized bras and kets give the same physical expectation values only after division by their squared norm.

The canonical commutation relation is $[p_x,x]=-i\hslash I$. Applying the commutator product rule on a common operator domain,Equivalently, applying both sides to a twice differentiable test function gives $-{\hslash }^2[(xf{)}^{\prime \prime }-x{f}^{\prime \prime }]=-2{\hslash }^2{f}^{\prime }$, the same result.

Differentiating the expectation value and using ${\partial }_t|\psi ⟩=-i\hat{H}|\psi ⟩/\hslash$ and ${\partial }_t⟨\psi |=i⟨\psi |\hat{H}/\hslash$ givesThe second term means explicit operator time dependence, distinct from the state's evolution.

The commutator product rule follows by adding and subtracting $\hat{B}\hat{A}\hat{C}$:For the mathematical induction step, let $\hat{D}=[\hat{A},\hat{B}]$ and use $[\hat{A},\hat{D}]=0$. The case $n=1$ is immediate. If $[{\hat{A}}^m,\hat{B}]=m\hat{D}{\hat{A}}^{m-1}$, thenThus the claimed identity holds for every positive integer. Commutation of $\hat{B}$ with $\hat{D}$ is not needed for this particular step. This is the central-commutator differentiation rule. Termwise application to a convergent power series, on a common domain where the operations are justified, gives

For position and momentum, $[\hat{x},\hat{p}]=i\hslash \hat{I}$. Hence $[{\hat{p}}^2,\hat{x}]=-2i\hslash \hat{p}$, $[V(\hat{x}),\hat{x}]=0$ and $[V(\hat{x}),\hat{p}]=i\hslash V^{\prime }(\hat{x})$. Substitution gives Ehrenfest theorem:The mean momentum changes by the mean force. It does not follow for a general nonlinear Potential energy that $⟨V^{\prime }(\hat{x})⟩=V^{\prime }(⟨\hat{x}⟩)$: a closed classical trajectory for the mean position requires an additional condition, such as a quadratic Potential energy or a sufficiently localized wave packet.

Write ${\int }_{\mathbf{p}}=\int d^{3}p/(2\pi {)}^3$ and $d_{\mathbf{p}}=a_{\mathbf{p}}-b_{\mathbf{p}}$. The nonzero canonical commutation relations arewith cross-species brackets zero. The commutator product rule givesLinearity of the commutator now yields, for the real coefficient $s$,Strictly, the printed $Q$ contains an infinite constant in continuum Fock space. Work first with finitely many modes, or replace it by its normal ordering $:Q:={\int }_{\mathbf{p}}{d}_{\mathbf{p}}^{†}{d}_{\mathbf{p}}$. Their difference is a constant, so every displayed commutator and every conjugation below is unchanged. The latter convention fixes the vacuum state phase without an infinite phase ambiguity.

For arbitrary linear operators, expansion of the anticommutators givesNow use the commutator product rule $[VX,W]=V[X,W]+[V,W]X$, with $W=YZ$, twice. The result isNo grading assumption is needed for these algebraic identities.

For the Dirac field, supplement the supplied equal-time canonical anticommutation relations with $\{{\psi }_a(x),{\psi }_b(y)\}=\{{\psi }_a^{†}(x),{\psi }_b^{†}(y)\}=0$. Define the fermion number density $n(\mathbf{x})={\sum }_a{\psi }_a^{†}(\mathbf{x}){\psi }_a(\mathbf{x})$. In the preceding identity take $V={\psi }_a^{†}(\mathbf{x})$, $X={\psi }_a(\mathbf{x})$, $Y={\psi }_b^{†}(\mathbf{y})$, $Z={\psi }_c(\mathbf{z})$ and sum over $a$. Only its first and last anticommutators survive, givingThis is an identity of operator-valued distributions. Point splitting, or smearing with test functions, gives a precise meaning to coincident bilinears. Normal ordering only subtracts a constant from the density and does not alter this commutator.

From $H=a_{+}{a}_{-}/(2m)+\hslash \omega /2$ and the commutator product rule,Consequently, if $H\psi =E\psi$,Thus the creation operator raises the energy eigenvalue by $\hslash \omega$, and the annihilation operator lowers it by $\hslash \omega$, provided the resulting vector is nonzero. The zero vector is not an eigenstate; in particular the ground state will be annihilated by $a_{-}$. The displayed operator identity holds even in that case.

On a smooth wavefunction $f$, the position operator and momentum operator giveThus the canonical commutation relation is $\boxed{[X,P]=i\hslash I}$. Since $X$ and $P$ are self-adjoint operators and $m,\omega$ are real, the adjoint operator of $a_{-}$ isExpanding the products in the stated order is essential:Subtracting gives $\boxed{[a_{-},a_{+}]=2m\hslash \omega I}$. These identities initially hold on smooth rapidly decaying functions, which contain the quantum harmonic oscillator energy eigenstates used below.

The factorization also proves a lower bound: for a normalized energy eigenstate $H\psi =E\psi$,Therefore $E\ge E_0:=\hslash \omega /2$. The commutator product rule, applied to $H=a_{+}{a}_{-}/(2m)+E_0$, givesSo a nonzero application of the creation operator $a_{+}$ raises the energy eigenvalue by $\hslash \omega$, while the annihilation operator $a_{-}$ lowers it by the same amount.

Begin with any energy eigenstate, whose existence is assumed. Repeated lowering must terminate: otherwise it would eventually produce a nonzero energy eigenstate below $E_0$, contradicting the lower bound. More explicitly, if $(E-E_0)/(\hslash \omega )=N+r$ with integer $N\ge 0$ and $0\le r<1$, the first $N$ lowering steps are nonzero. If $r>0$, one further step is also nonzero by its positive squared norm and has energy $E_0+(r-1)\hslash \omega <E_0$, an impossibility. Thus $r=0$ and the last state satisfies $a_{-}{\psi }_0=0$. This provesEvery level exists as well: $\Vert a_{+}{\psi }_n{\Vert }^2=2m(E_n+\hslash \omega /2)=2m\hslash \omega (n+1)>0$, so repeated raising from ${\psi }_0$ never vanishes. The same factorization bounds the energy expectation of any normalized state in the one-dimensional harmonic oscillator form domain below by $E_0$, proving that the terminated state really is a ground state.

To find its probability density, solve the first-order equationIts solutions are ${\psi }_0=C_0\exp [-m\omega x^2/(2\hslash )]$. With $\alpha =m\omega /\hslash >0$, the supplied Gaussian integral givesTaking $C_0=(\alpha /\pi {)}^{1/4}$ fixes an irrelevant global phase. ConsequentlyThe ground-state energy is positive even though the potential minimum is zero: it is the oscillator's zero-point energy.

The given angular momentum commutation relations imply $[L_3,L_1]=i\hslash L_2$ and $[L_3,L_2]=-i\hslash L_1$. By linearity,Similarly,For the remaining commutators, the commutator product rule gives, for each $j$,The last sum vanishes because the Levi-Civita symbol is antisymmetric under $i\leftrightarrow k$, while $L_i{L}_k+L_k{L}_i$ is symmetric. Taking $j=3$ and then linear combinations with $j=1,2$ proves

If $L^2\psi =\lambda {\hslash }^2\psi$ and $L_3\psi =m\hslash \psi$, these identities yieldOne must also prove that this candidate eigenstate is nonzero. Since the angular momentum operators are self-adjoint operators, $L_{+}^{\ast }=L_{-}$, and expanding the product givesThereforeThis is nonnegative and, by the assumed inequality, nonzero. Hence it is positive. The angular momentum raising operator really does produce a nonzero simultaneous eigenstate with the claimed eigenvalues.

To prove that raising terminates, let $v$ be any nonzero state reached after $r$ steps, with projection $q=m+r$. Positivity givesso $q^2\le \lambda$. Thus the sequence cannot remain nonzero for every integer $r\ge 0$. At its last nonzero state $v=(L_{+}{)}^k\psi$, one has $L_{+}v=0$, and the squared norm identity givesUnder the paper's initial inequality the first step is nonzero, so in fact $k\ge 1$. An angular momentum ladder endpoint must therefore be reached: bounded projection follows from positivity, and the final raising norm fixes the total angular momentum eigenvalue. Writing $j=m+k$, the complementary product $L_{+}{L}_{-}=L^2-L_3^2+\hslash L_3$ gives $\Vert L_{-}v{\Vert }^2=2j{\hslash }^2\Vert v{\Vert }^2$, also showing $j\ge 0$.

First apply the commutator product rule in the form $[AB,C]=A[B,C]+[A,C]B$:Repeated use of the commutator product rule gives, for $n\ge 1$,This is the commutator with powers of an eigenoperator. For $n=0$, the commutator with the identity operator is zero, agreeing with the formula.

Each $a_k^{\ast }{a}_k$ is unchanged by taking the adjoint operator, so $N^{\ast }=N$ in this algebra. Taking the adjoint of a commutator yields $[N,(a_j^{\ast }{)}^n{]}^{\ast }=[a_j^n,N]=n{a}_j^n$. By antisymmetry,In particular, each creation operator raises the number operator eigenvalue by one, and each annihilation operator lowers it by one.

From part (a), $[N,a_j]=-a_j$ and $[N,a_j^{\ast }]=a_j^{\ast }$. The commutator product rule givesConsequentlyEach term in $L$ transfers one excitation between the two modes, preserving the total number operator eigenvalue. This is an instance of the oscillator bilinear commutator; every number operator eigenspace is an invariant subspace of $L$.

The common Fock vacuum obeys $N\psi ={\sum }_j{a}_j^{\ast }(a_j\psi )=0$. Put $B=(a_1^{\ast }{)}^{n_1}(a_2^{\ast }{)}^{n_2}$. By the commutator product rule and part (a),Moving $N$ through $B$ therefore givesDividing by $\sqrt{n_1!n_2!}$ provesThe constructed number state is nonzero: the relation $a_j(a_j^{\ast }{)}^r\psi =r(a_j^{\ast }{)}^{r-1}\psi$ follows from $[a_j,a_j^{\ast }]=I$ and $a_j\psi =0$. Commuting different modes and successively moving each creation operator across the inner product yieldsThus the given factorial denominator also gives unit norm, as expected for a number state.

The orbital angular momentum $L_3=X_1{P}_2-X_2{P}_1$ generates rotations in the plane. The canonical commutation relations giveUse the commutator product rule $[A,B^2]=[A,B]B+B[A,B]$. Since different coordinates commute,Thus, for arbitrary positive angular frequencies,At ${\omega }_1={\omega }_2$, this becomes $\boxed{[L_3,H]=0}$. The rotational symmetry of the two-dimensional isotropic harmonic oscillator allows a basis of simultaneous energy eigenstates and orbital angular momentum eigenstates.