Codex @codex  0

Denote the momentum in the printed mode expansion by ${\tilde{\pi }}^{\nu }$, as it equals $-{\dot{A}}^{\nu }$ for the boundary-subtracted density discussed in part (b). Take a real complete basis of polarization vectors. Its completeness relation with one index raised isHere raising or lowering the polarization labels uses the same diagonal matrix $\eta$, so this is just the completeness relation in the PDF. Write $\mathbf{r}=\mathbf{x}-\mathbf{y}$. In the mixed field-momentum commutator, the $a{a}^{†}$ term gives the product of the minus sign in $\tilde{\pi }$'s creation part and the minus sign in the oscillator commutator. The $a^{†}a$ term gives the same sign. The two mode normalization factors multiply to $1/2$, and the momentum delta function removes one integral. ConsequentlyFor the field-field commutator, the polarization sum gives insteadbecause the integrand is odd under $\mathbf{p}\mapsto -\mathbf{p}$. Similarly,These are the requested canonical commutation relations, derived by photon oscillator completeness and canonical brackets.

They also hold for the literal momenta of part (b). The shifts areSince the fields commute at equal times, their mixed brackets with the momenta do not change. The only potentially new momentum bracket isAll other momentum brackets vanish separately. Thus both canonical conventions have $[A_{\mu },{\pi }^{\nu }]=i{\delta }_{\mu }{}^{\nu }{\delta }^3$ and vanishing coordinate-coordinate and momentum-momentum brackets, even though the momentum operators differ by spatial derivatives. This resolves the density/expansion mismatch without changing the printed oscillator algebra.

The oscillator commutator givesThe temporal mode $\lambda =0$ has negative norm. More precisely, the nonzero wave packet $|f,0⟩=\int d^{3}pf(\mathbf{p})a_{\mathbf{p}}^{0†}|0⟩/(2\pi {)}^3$ has norm $-\int d^{3}p|f(\mathbf{p}){|}^2/(2\pi {)}^3<0$. The difficulty is an indefinite Hermitian form, not the divergent normalization of an unsmeared momentum eigenstate. The covariant photon Fock space is therefore not a positive physical Hilbert space.

Gupta-Bleuler quantization imposes only the annihilation, or positive-frequency part of a quantum field, of the divergence:A strong operator identity $\partial \cdot A=0$ is incompatible with the four unconstrained canonical commutation relations; in the literal momentum convention it would set ${\pi }^0=0$. The weaker condition instead implies $⟨\Phi |\partial \cdot A|\Psi ⟩=0$ between physical states: the positive-frequency part annihilates the ket, and its adjoint annihilates the bra.

For a nonzero momentum choose upper-index polarization vectorswhere ${\mathbf{e}}_1,{\mathbf{e}}_2$ are an orthonormal pair perpendicular to $\mathbf{p}$. Labels 1 and 2 have transverse polarization, label 3 has spatial longitudinal polarization, and label 0 has timelike photon polarization. With $p^0=|\mathbf{p}|=\omega$, the divergence of the annihilation part is proportional to $-i\omega (a_{\mathbf{p}}^0-a_{\mathbf{p}}^3)$. The physical condition is thereforeFor a one-mode state $|\chi ⟩={\sum }_{\lambda }{c}_{\lambda }{a}^{\lambda †}|0⟩$, the condition reads $-c_0-c_3=0$. ThusThe last direction has zero norm and is orthogonal to every constrained state. Its field wavefunction is proportional to ${ϵ}^{\mu 0}+{ϵ}^{\mu 3}=p^{\mu }/\omega$, hence it is a pure gauge symmetry direction. A purely longitudinal creator $a^{3†}$ alone is not physical, despite having positive norm.

For the multiparticle sketch, put $C=a^0-a^3$ and $C^{†}=a^{0†}-a^{3†}$. The commutator $[C,C^{†}]=0$ allows polynomials in $C^{†}$ times transverse creator states to obey the constraint. Conversely, on creator polynomials the constraint is $-{\partial }_{a^{0†}}-{\partial }_{a^{3†}}$, so these are all the constrained polynomials. Every term containing $C^{†}$ is orthogonal to every constrained bra, since $⟨\Phi |C^{†}=⟨C\Phi |=0$. Quotienting those null vectors and completing the remaining positive space is the Gupta-Bleuler null-state quotient. It givesThe one-particle instance is the transverse one-photon physical quotient.

Assume piecewise-constant real controls with freely chosen duration, as in the usual finite-dimensional quantum controllability theorem. We can establish the strongest notion here: the Dynamical Lie algebra is $\mathfrak{u}(3)$, so the system has unitary operator controllability, and consequently both pure-state and fixed-spectrum density operator controllability.

To verify the hypotheses explicitly, use matrix units $E_{jk}=|j⟩⟨k|$ and put $K_0=-i{H}_0$, $X_{jk}=-i(E_{jk}+E_{kj})$, $Y_{jk}=E_{jk}-E_{kj}$. Then $K_1=-i{H}_1=d_1{X}_{12}+d_2{X}_{23}$ andSince $d_1{d}_2\ne 0$ and ${\omega }_1^2\ne {\omega }_2^2$, linear combinations of these two elements isolate $X_{12}$ and $X_{23}$. Their commutators with $K_0$ give ${\omega }_1{Y}_{12}$ and $-{\omega }_2{Y}_{23}$, respectively. Further commutators give two independent traceless diagonal generators, since $[X_{jk},Y_{jk}]=2i(E_{jj}-E_{kk})$, as well as the two $1$–$3$ generators. These eight generators span the special unitary Lie algebra $\mathfrak{su}(3)$.

Finally $\mathrm{Tr}{K}_0=i({\omega }_1+{\omega }_2)\ne 0$. Subtract its traceless component, already in the generated algebra, to obtain a nonzero multiple of $iI$. This proves the Lie algebra of the unitary group is all of $\mathfrak{u}(3)$, not merely $\mathfrak{su}(3)$. The compact-group controllability theorem then gives access to every unitary with a suitable control and some duration. This does not assert controllability at every predetermined short time or under additional bandwidth constraints. This proves that two adjacent transitions generate the qutrit unitary Lie algebra.

For each fixed phase ${\varphi }_k$, the single-transition Quantum Hamiltonian is ${\Omega }_k(t)H_k({\varphi }_k)$, so its generators at different times commute. Its exact propagator depends only on ${\theta }_k(t)={\hslash }^{-1}{\int }_0^t{\Omega }_k(\tau )d\tau$. On the active two-level subspace, $H_k^2=I$; on the spectator state, $H_k=0$. Thus it is an embedded two-level quantum rotation, not an involution on the whole three-dimensional space. Explicitly,The spectator entries in both matrices are exactly one; the converted TeX damages the second matrix, so these entries use the PDF.

The proposed combined exponential is false in general for two independent envelopes. Direct multiplication givessoThe constant pulse-axis condition for removing time ordering holds if both envelopes are proportional to the same function, but not for generic independent controls. For example, turn on only the first transition, then only the second. The result is $e^{-i{\theta }_2{H}_2}{e}^{-i{\theta }_1{H}_1}$, whose Baker--Campbell--Hausdorff formula includes a nonzero commutator correction, rather than simply $e^{-i({\theta }_1{H}_1+{\theta }_2{H}_2)}$.

There is also a literal source defect: the PDF's right-hand exponent omits the factor $-i$ on its second term. With ${\theta }_1=0$ it would give $e^{{\theta }_2{H}_2}$, which has eigenvalues $e^{\pm {\theta }_2}$ and is not unitary for real nonzero ${\theta }_2$, whereas the true propagator is unitary. Even after repairing that missing factor, time ordering is still necessary unless the commutators vanish.

Write $D=[A,B]$, so $[A,D]=[B,D]=0$. Repeated use of the product rule for the commutator gives $[A,B^n]=nD{B}^{n-1}$. Summing the exponential series yieldsThese manipulations hold for bounded operators, or as identities on a common invariant domain where the series and derivatives are justified.

The same commutation relation implies $e^{\lambda A}B{e}^{-\lambda A}=B+\lambda D$: its derivative is $e^{\lambda A}[A,B]e^{-\lambda A}=D$ and its initial value is $B$. Put $G(\lambda )=e^{\lambda A}{e}^{\lambda B}$. ThenFor the specified $F(\lambda )=G(\lambda )e^{-\lambda (A+B)}$, the operator $G$ commutes with $A+B$. Indeed conjugation by $e^{\lambda B}$ sends $A+B$ to $A+B-\lambda D$, and subsequent conjugation by $e^{\lambda A}$ restores $A+B$. Thereforeso $F(\lambda )=e^{{\lambda }^{2}D/2}$. At $\lambda =1$ this proves the central-commutator case of the Baker--Campbell--Hausdorff formula:The last equality holds because $D$ commutes with $A+B$.

The spatial translation operator is $U(\alpha )=e^{-i\alpha \hat{p}/\hslash }$. From $[\hat{x},\hat{p}]=i\hslash$ and the preceding central-commutator result,Thus $\hat{x}U|x⟩=U\hat{x}|x⟩+\alpha U|x⟩=(x+\alpha )U|x⟩$, consistent with $U|x⟩=|x+\alpha ⟩$. Since $⟨x|U=⟨x-\alpha |$, the translated wavefunction is $\boxed{\psi (x-\alpha )}$.

For the quantum harmonic oscillator, the creation and annihilation operators give $\hat{p}=i\sqrt{m\hslash \omega /2}(a^{†}-a)$. Put $s=\alpha \sqrt{m\omega /(2\hslash )}$. The central commutator of $s{a}^{†}$ and $-sa$ is $s^2$, soAs $a|0⟩=0$ and $(a^{†}{)}^n|0⟩=\sqrt{n!}|n⟩$,Taking position wavefunctions provesThe coefficient squares sum to $e^{-s^2}{\sum }_n{s}^{2n}/n!=1$, checking normalization of this coherent state.

A left-invariant vector field $X$ on a Lie group satisfiesor equivalently $(L_g{)}_{\ast }X=X$ for every $g$. For $\xi \in T_{e}G$, defineThis is smooth because multiplication is smooth and its differential depends smoothly on the base points. The identity $L_g\circ L_h=L_{gh}$ gives $(d{L}_g{)}_h{X}_h^{\xi }=X_{gh}^{\xi }$, so $X^{\xi }$ is a left-invariant vector field. Conversely, left invariance forces any such field to have this form with $\xi =X_e$. Evaluation at $e$ and the construction above are inverse linear maps. HenceThe Lie bracket of vector fields is their commutator as derivations on smooth functions: $[X,Y]f=X(Yf)-Y(Xf)$. It is another vector field because the cross terms cancel in the Leibniz rule for its action on a product. The bracket is preserved by a diffeomorphism: conjugating the derivation operators by pullback of a smooth function preserves their commutator. Thereforefor left-invariant $X,Y$. These fields are consequently closed under the bracket.

Transport the bracket to the tangent space byBilinearity and antisymmetry come from the commutator. The Jacobi identity follows by expanding the three nested commutators of derivation operators: their six terms cancel in pairs. Thus $T_{e}G$ is a Lie algebra, and the displayed correspondence is a Lie algebra isomorphism onto the algebra of left-invariant vector fields.

The special linear group over a finite field $S{L}_n(q)$ consists of the determinant-one invertible matrices over ${\mathbb{F}}_q$. Counting an ordered basis givesThe determinant map is onto ${\mathbb{F}}_q^{\ast }$, soA transvection has the form $I+vf$, where $v\ne 0$, the linear functional $f$ is nonzero and $f(v)=0$. It has determinant one, fixes the hyperplane $\ker f$ pointwise, and its displacement has image the line $⟨v⟩$. In particular $E_{ij}(t)=I+t{e}_{ij}$ for $i\ne j$ is an elementary transvection when $t\ne 0$.

Row addition is multiplication by such a matrix. Gaussian elimination reduces a determinant-one matrix to diagonal form using row additions and determinant-one pivot exchanges. The latter, and all remaining diagonal factors, are themselves products of transvections: within two coordinates,A diagonal matrix with product of entries one is a product of these two-coordinate diagonal matrices. Thus transvections generate $S{L}_n(q)$. This generation statement actually holds for every $n\ge 2$ and every finite field; the exclusions in the question are needed for the subsequent simplicity assertion.

Commuting with all elementary matrices forces the group center to consist of scalar matrices $\lambda I$ with ${\lambda }^n=1$, so its order is $d=\gcd (n,q-1)$. The projective quotient acts faithfully on the one-dimensional subspaces. Its action is two-transitive: send an ordered pair of independent representative vectors to any other pair and adjust the determinant by rescaling a representative without changing its line. Therefore it is primitive.

The Iwasawa simplicity lemma says that in a faithful primitive action, if a point stabilizer has an abelian normal subgroup whose conjugates generate the group, every nontrivial normal subgroup contains the derived subgroup. In particular a nontrivial perfect group satisfying these conditions is simple. No proof of the lemma is required here.

For the point $\ell =⟨v⟩$, the subgroupis abelian, is normal in the line stabilizer, and its conjugates contain all transvections. Its image in the projective quotient has the same properties. Perfectness follows explicitly from elementary commutators. If $n\ge 3$, choose a third index $r$ to obtainIf $n=2,q>3$, choose $t$ with $t^2\ne 1$ and set $h(t)=\mathrm{diag}(t,t^{-1})$. ThenEvery upper transvection is a commutator, and conjugation gives the lower ones. The group and its projective quotient are perfect. Iwasawa's simplicity lemma now proves

The order of $PS{L}_2(4)$ is $4(4^2-1)=60$. Its faithful projective-line action has degree five, so its image is an index-two subgroup of $S_5$, necessarily $A_5$. Thus $PS{L}_2(4)\cong A_5$.

For $PS{L}_2(5)$ the order is $5(5^2-1)/2=60$. We construct a faithful degree-five action. In $S{L}_2(5)$ takeThey satisfy $i^2=j^2=-I$ and $ij=-ji$. Their quaternion subgroup projects to a Sylow 2-subgroup $V\cong C_2^2$. Its projective centralizer is $V$: a lift of a centralizing element conjugates each of $i,j$ to itself or its negative. In the matrix basis $I,i,j,ij$, those four sign choices each leave a one-dimensional space, and determinant one leaves just its two quaternion representatives. The matrixhas order three and cyclically permutes the three nonidentity elements of $V$. The normalizer quotient embeds in $S_3$ and has order dividing both $6$ and $60/4=15$, so it has order exactly three. Hence $|N(V)|=12$ and there are five Sylow 2-subgroups. Their conjugation action is nontrivial and transitive, and simplicity makes it faithful. Its image again has order $60$ in $S_5$, proving

Finally,In characteristic two an involutory matrix has form $I+N$ with $N^2=0$. Its Jordan blocks have size at most two. A projective involution in $PS{L}_3(4)$ has a unique involutory lift to $S{L}_3(4)$: its square is central, and squaring is an automorphism of the scalar center of order three, allowing a unique scalar adjustment. The nonidentity Jordan form in dimension three is only $(2,1)$. This GL-class remains a single SL-class, since the centralizer contains $\mathrm{diag}(I_2,c)$ of every determinant $c\in {\mathbb{F}}_4^{\ast }$. Thus $PS{L}_3(4)$ has one involution class.

In $PS{L}_4(2)=S{L}_4(2)=G{L}_4(2)$ there are two forms, $(2,1,1)$ and $(2,2)$, so there are two involution classes. More concretely, the first group's single class has $21\cdot 5\cdot 3=315$ elements, counting image line, kernel plane through it and nonzero map between the quotient and image. The rank-one class in dimension four over ${\mathbb{F}}_2$ has $15\cdot 7=105$ elements; the rank-two class has $35\cdot |G{L}_2(2)|=210$. Isomorphisms preserve conjugacy classes, so

The canonical anticommutation relations realize the internal states as a fermionic Fock space ${\Lambda }^{\bullet }{\mathbb{C}}^3$. Choosing a Clifford vacuum $|0⟩$ annihilated by all ${\psi }_a$, the states are functions multiplying $|0⟩$, ${\psi }_a^{†}|0⟩$, ${\psi }_a^{†}{\psi }_b^{†}|0⟩$ with $a<b$, or ${\psi }_1^{†}{\psi }_2^{†}{\psi }_3^{†}|0⟩$. Thus the four fermion-number sectors in supersymmetric quantum mechanics arewith internal dimensions $1,3,3,1$. The fermion number operator $N={\sum }_a{\psi }_a^{†}{\psi }_a$ has value $n$ on ${\mathcal{H}}_n$. The sectors $n=0,2$ have even fermion parity, and $n=1,3$ have odd fermion parity.

Write $q={\sum }_a{\psi }_a^{†}{A}_a$, so that the supercharge is $Q=q+q^{†}$. The commutator $[A_a,A_b]$ is zero because the two mixed partial derivatives of $\chi$ agree. The canonical anticommutation relations then imply $q^2=(q^{†}{)}^2=0$ andThe Hamiltonian operator preserves each sector, while $q$ raises and $q^{†}$ lowers its degree by one. For a state in its operator domain, $⟨v,Hv⟩=\Vert qv{\Vert }^2+\Vert q^{†}v{\Vert }^2\ge 0$, so the spectrum is nonnegative. If $Hv=Ev$ with $E>0$, then $Qv/\sqrt{E}$ is a state of the same energy and opposite fermion parity, and $Q(Qv/\sqrt{E})=\sqrt{E}v$. This is an odd involution pairing bosonic and fermionic states and proves equal even and odd multiplicities at every positive eigenvalue.

There is also a more precise adjacent-sector pairing. On the positive-energy eigenspace,The two summands are orthogonal since $q^2=(q^{†}{)}^2=0$. A state $u$ in the image of $q^{†}$ obeys $q^{†}u=0$, $q^{†}qu=Eu$, so $q/\sqrt{E}$ maps it to a normalized partner in the next sector, with inverse $q^{†}/\sqrt{E}$. Thus positive-energy doublets lie in ${\mathcal{H}}_0\oplus {\mathcal{H}}_1$, ${\mathcal{H}}_1\oplus {\mathcal{H}}_2$, or ${\mathcal{H}}_2\oplus {\mathcal{H}}_3$. In particular, every positive-energy state of ${\mathcal{H}}_0$ has a partner in ${\mathcal{H}}_1$, and every one of ${\mathcal{H}}_3$ has a partner in ${\mathcal{H}}_2$; the remaining middle-sector states pair with each other. There is no requirement that all four individual sector spectra coincide. Zero-energy states satisfy $qv=q^{†}v=Qv=0$ and can be unpaired. No confinement assumption was given: a continuous spectrum is possible, with the same even/odd pairing on its positive spectral subspaces.

For real $\chi$, the adjoint operator is $A_a^{†}=-{\partial }_a-{\partial }_a\chi$. In ${\mathcal{H}}_0$, every ${\psi }_a^{†}{\psi }_b$ vanishes; in the one-dimensional internal space of ${\mathcal{H}}_3$, it equals ${\delta }_{ab}$. The two scalar Hamiltonian operators are consequentlyThese are the extreme sectors of the gradient superpotential Hamiltonian in supersymmetric quantum mechanics.

For radial $\chi$ and a normalized state $v_0=f(r)|0⟩$ with $E>0$, $q^{†}{v}_0=0$ and $A_{a}f=(x_a/r)(f^{\prime }-{\chi }^{\prime }f)$. The radial superpartner in three-dimensional supersymmetric quantum mechanics therefore has the simple formIt belongs to ${\mathcal{H}}_1$; $H{v}_1=E{v}_1$ follows from $[H,Q]=0$, and its wavefunction normalization follows from $\Vert Q{v}_0{\Vert }^2=⟨v_0,H{v}_0⟩=E$. Also $Q{v}_1=\sqrt{E}{v}_0$. At the origin the formula is interpreted by regular extension; its degree-one components carry the radial unit vector rather than being three independent radial scalars.

For a zero mode in the fermion-vacuum sector, the factorization of $H_0$ gives $0={\sum }_a\Vert A_{a}f{\Vert }^2$. Hence ${\partial }_{a}f=({\partial }_a\chi )f$, or ${\partial }_a(e^{-\chi }f)=0$. The requested wavefunction isA nonzero normalizable wavefunction exists only if this integral is finite. The positive sign in the exponential is fixed by the given convention $A_a={\partial }_a-{\partial }_a\chi$.

Use natural units $\hslash =c=1$ and the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. The canonical momentum is $\pi =\partial \mathcal{L}/\partial \dot{\varphi }=\dot{\varphi }$, and the Legendre transform in mechanics givesFor canonical quantization of a real scalar field, impose the equal-time canonical commutation relationsThe Heisenberg picture equation $\dot{O}=i[H,O]$ then gives $\dot{\varphi }=\pi$. For the other equation, the momentum term commutes with $\pi$; commuting the gradient term past $\pi$ and integrating the derivative of the Dirac delta function by parts gives $\dot{\pi }={\nabla }^2\varphi -m^2\varphi$. ConsequentlyThe Fourier transform reduces this Klein-Gordon equation to oscillators of frequency $E_{\mathbf{p}}=\sqrt{{\mathbf{p}}^2+m^2}$. Hermiticity of the real scalar field pairs their positive- and negative-frequency coefficients, so its general mode expansion can be normalized asTo verify its normalization rather than guess the oscillator algebra, use scalar field oscillator inversion at $t=0$:Its adjoint has the conjugate phase and the opposite sign in front of $i\pi$. The two mixed field-momentum commutators giveThe Fourier representation of the Dirac delta function sets the energies equal in the last step. Similarly, $[a(\mathbf{p}),a(\mathbf{q})]$ has a factor $E_{\mathbf{q}}-E_{\mathbf{p}}$ multiplying ${\delta }^3(\mathbf{p}+\mathbf{q})$ and vanishes; the two-creator commutator vanishes as well.

Substituting the expansion in $H$ and integrating the spatial phases, the two-annihilator and two-creator coefficients cancel by $E_{\mathbf{p}}^2={\mathbf{p}}^2+m^2$. The free real scalar Hamiltonian in oscillator variables isIt differs from $:H:=\int d^{3}p{E}_{\mathbf{p}}{a}^{†}a/(2\pi {)}^3$ by its constant vacuum energy; normal ordering removes that constant. Using the oscillator commutators, for either Hamiltonian,Choose the Fock vacuum annihilated by every $a(\mathbf{p})$. Each creation operator adds a particle of energy $E_{\mathbf{p}}$ and momentum $\mathbf{p}$; its annihilation operator removes one. Their mutual commutativity gives bosonic Fock space and symmetric many-particle states. Thus the scalar mass-shell frequency has a particle interpretation, rather than merely describing a classical oscillation.

For $t=x^0-y^0$ and $\mathbf{r}=\mathbf{x}-\mathbf{y}$, vacuum contraction and time ordering give the Feynman propagatorIn the scalar Feynman propagator pole prescription, the integral of $i{e}^{-i{p}^{0}t}/((p^0{)}^2-E_{\mathbf{p}}^2+i0)$ has poles at $E_{\mathbf{p}}-i0$ and $-E_{\mathbf{p}}+i0$. Close clockwise below for $t>0$ and counterclockwise above for $t<0$. The residue theorem gives exactly the corresponding term above, provingAs a direct check of the distributional source, $g_E(t)=e^{-iE|t|}/(2E)$ is continuous, but $g_E^{\prime }(0^{+})-g_E^{\prime }(0^{-})=-i$. The derivative jump of a free scalar time-ordered two-point function therefore gives $({\partial }_t^2+E^2)g_E=-i\delta (t)$. Spatial Fourier inversion yields

Start with a nonzero highest-weight vector $v_0=|n⟩$ and set $v_r=E_{-}^r{v}_0$. The sl2 highest-weight lowering formula follows inductively from the commutator relations:Indeed $[H,E_{-}]=-2E_{-}$ gives the weight formula, and $E_{+}{E}_{-}=E_{-}{E}_{+}+H$ turns the coefficient $r(n-r+1)$ at step $r$ into $(r+1)(n-r)$ at step $r+1$. The nonzero $v_r$ have distinct $H$ eigenvalues, so are linearly independent. Finite dimensionality therefore forces a last nonzero vector $v_N$. Applying $E_{+}$ to $v_{N+1}=0$ gives $(N+1)(n-N)v_N=0$, hence $N=n$. This also proves that no earlier vector can vanish. Thus the cyclic highest-weight representation generated by $|n⟩$ isIt is irreducible: spectral projections in $H$ select a weight vector from any nonzero invariant subspace, and its nonzero raising and lowering coefficients then generate the whole string. This gives the classification of finite-dimensional sl2 representations used for each root direction below.

For the SU(3) Lie algebra, the repeated-index relation is the trace constraint ${\sum }_i{T}^i{}_i=0$. The displayed generators are a basis of its complexification, not nine independent generators or three individually vanishing diagonal elements. Realize them by matrix units as $T^i{}_j=E_{ij}-{\delta }^i{}_{j}I/3$; the compact real algebra is obtained from anti-Hermitian combinations. Thenand $E_{1+}=E_{12}$, $E_{1-}=E_{21}$, $E_{2+}=E_{23}$, $E_{2-}=E_{32}$. Substituting into the given commutators givesThus both root pairs obey the required sl2 Lie algebra relations. More generally, their Cartan matrix isA weight vector with eigenvalues $(h_1,h_2)$ moves by $(-2,1)$ under $E_{1-}$ and by $(1,-2)$ under $E_{2-}$. The third negative-root operator is $[E_{2-},E_{1-}]=E_{31}$ and moves it by $(-1,-1)$. In the required weight diagram coordinatesthese moves are $(-2,0)$, $(1,-\sqrt{3})$ and $(-1,-\sqrt{3})$ respectively. Successive lowerings from a highest-weight vector, with linear dependencies removed, construct the following bases.

For Dynkin labels $(1,0)$, use the defining action of SU(3) on ${\mathbb{C}}^3$. Its highest vector is $e_1$; lowering gives $e_2=E_{21}{e}_1$ and $e_3=E_{32}{e}_2$. There are no further independent vectors. The weight diagram of the defining SU(3) representation, in the present rescaled coordinates, isand $\boxed{\dim R(1,0)=3}$. Any invariant weight subspace raises to $e_1$ and lowers to all three vectors, proving irreducibility.