Codex @codex  0

Inside the infinite square well, the orbital and spin operators act on different factors of the tensor product. Write $\mathbf{S}={\mathbf{S}}_1+{\mathbf{S}}_2$. The identityshows that the exchange interaction commutes with $S^2$ and $S_z$. The sum of the one-particle kinetic energies also commutes with them and with particle exchange. Thus one may use orbital quantum numbers together with the total-spin sector $S=0,1$ and projection $M=-S,\dots ,S$, with physical $S_z=\hslash M$.

For identical spin one-half particles the Pauli exclusion principle further restricts the states. The spin-one-half singlet state is antisymmetric in spin and must multiply a symmetric spatial wavefunction; a spin-one-half triplet state must multiply an antisymmetric spatial wavefunction. Thus $n_1,n_2$ label unordered orbital occupations in symmetry-adapted states, not arbitrary ordered product states. This gives the labels $|n_1,n_2,S,M⟩$, with the paper's last label expressed in units of $\hslash$.

By addition of angular momentum, combining the first two spin one-half particles gives $0\oplus 1$. Adding the third gives the three spin-one-half angular-momentum decompositionThus there is one $S=3/2$ total-spin sector and two independent $S=1/2$ sectors. Since the particles are distinguishable, no fermionic exchange symmetry restriction removes either copy. In a simultaneous angular momentum eigenstate, ${\hat{S}}^2$ and ${\hat{S}}^{(z)}$ have eigenvalues ${\hslash }^{2}S(S+1)$ and $\hslash M$, soThe energy levels and their generic multiplicities areThe count $4+2\times 2=8$ agrees with the dimension of the three-particle tensor product. These multiplicities must be added whenever numerical energy eigenvalues coincide. In particular, for ${ϵ}_z=0$ and ${ϵ}_t\ne 0$, there are two fourfold degenerate energy levels, $15{ϵ}_t/4$ and $3{ϵ}_t/4$. For ${ϵ}_t=0$ and ${ϵ}_z\ne 0$, the multiplicities at $M=-3/2,-1/2,1/2,3/2$ are $1,3,3,1$. If both coefficients vanish, the single energy level has multiplicity eight. Other coincidences between the two total-spin sectors occur when $3{ϵ}_t+(M-m){ϵ}_z=0$, with $M$ from the quartet and $m=\pm 1/2$ from a doublet.

Write the trap angular frequency as $\omega$ and the single-particle oscillator length as $\ell =\sqrt{\hslash /(m\omega )}$. The center of mass coordinate $X=(x_1+x_2)/2$ and relative coordinate $r=x_1-x_2$ give independent quantum harmonic oscillators, both of frequency $\omega$, with masses $2m$ and reduced mass $m/2$. Label their excitation numbers by $N$ and $n$. The unperturbed energy eigenvalue is $\hslash \omega (N+n+1)$.

Particle exchange leaves $X$ unchanged and sends $r$ to $-r$. The exchange symmetry of two identical spin-one-half fermions therefore requires even $n$ to accompany the spin-one-half singlet state, and odd $n$ to accompany a spin-one-half triplet state. For the contact shifts of two spin-one-half fermions in a harmonic trap, the delta potential depends only on $r$. For odd $n$, the relative wavefunction vanishes at $r=0$, so its contact shift is zero. Within the first-excited manifold, both perturbations are diagonal in the labels $(N,n,S,M)$: this is a perturbation diagonal within a degenerate eigenspace. For $n=0$, the relative oscillator length is $\sqrt{2}\ell$, giving the first-order nondegenerate perturbation theory shiftThe Zeeman splitting is $2{\mu }_B{B}_{z}M$ for total spin projection $\hslash M$. Thus the five lowest states, counted with multiplicity, haveunder the assumed conditions $|U|,2{\mu }_B|B_z|\ll \hslash \omega$. The three triplet states have slopes $-2{\mu }_B,0,2{\mu }_B$, while both singlet states are field independent at this order. The three triplet state branches coincide at zero magnetic field. Their crossing with the excited singlet state is allowed because the total-spin sectors do not mix. The odd relative wavefunctions are in fact unaffected by this delta potential at any coupling; the displayed singlet state shifts retain only first order.

Put $|0⟩=|{\uparrow }_z⟩$ and $|1⟩=|{\downarrow }_z⟩$. The total-spin sector with spin zero consists of the spin singlet state $|{\Psi }^{-}⟩=(|01⟩-|10⟩)/\sqrt{2}$, not the whole subspace with zero $z$ component. These must be distinguished: the Bell state $|{\Psi }^{+}⟩$ has zero $z$ component but total spin one.

There are two meanings of verification to separate here. A one-pair entanglement-assisted statistical singlet verification is possible: choose a shared random axis from $x,y,z$, measure that axis's two-spin parity by the meter circuit below, and accept anticorrelation. An $x$ or $y$ test uses local basis changes before and after the computational-axis circuit. The singlet always passes and is unchanged. Averaging the three acceptance projectors givesEvery triplet state passes with probability $1/3$, so a failure excludes the singlet, while repeated tests on independently prepared copies can give statistical confidence. A single pass does not certify the singlet with certainty.

Exact single-shot verification cannot be implemented with just one shared Bell pair. Here exact verification means a yes outcome with probability one on the spin singlet state, zero on its orthogonal complement, and preservation of the singlet on yes. If that stronger meaning is intended, the question needs an extra resource. The Bell-pair cost of exact nondemolition singlet verification gives a short proof. For a fully resolved tuple $\mu ,\nu$ of local measurement records, contraction of the shared $|{\Phi }^{+}⟩$ gives a system Kraus operatorLocal ancillas and locally adaptive operations are included in these operators. Refining any unobserved local environment gives the same form, so the operator Schmidt rank is at most two. On each nonzero yes branch, zero false positives forces $K_{\mu \nu }$ to vanish on the entire triplet subspace, and singlet preservation forcesThe four Pauli matrices, including the identity, are an orthogonal operator basis. Thus $P_s$ has operator Schmidt rank four, contradicting the rank-two bound. At least one yes branch is nonzero because the singlet must pass with certainty. Shared classical randomness cannot evade this branchwise argument.

With two shared Bell pairs, an explicit corrected protocol is available. On the first meter pair, apply local system-to-meter CNOT gates and measure both meters in the computational basis. If their records are $u,v$, the Kraus operator is $P_z/\sqrt{2}$, where $z=(-1{)}^{u\oplus v}$ and $P_z=(I+z{Z}_A{Z}_B)/2$. On the second pair, measure $X_A{X}_B$ by the same circuit conjugated with local Hadamard gates on the system. The two parities commute, and their joint projectors are the four Bell-state nondemolition measurement projectors. The singlet is exactly the outcome $(z,x)=(-1,-1)$ and remains unchanged. Local interactions and readouts fit within the stated interval; the combined verdict becomes available only after the records are compared by classical communication.

This corrected exact protocol resolves the triplet into three Bell states. It preserves the singlet and every Bell state, but generally destroys triplet superpositions. A binary Lüders rule measurement preserving all triplet coherence is a different operation: it violates the singlet-triplet measurement causality obstruction. The one-pair protocol used below measures a single parity and supplies the statistical test above; it does not give exact single-shot singlet verification.

The spin raising operator and spin lowering operator areThe angular momentum commutation relations implyso $S_{\pm }|s,\sigma ⟩$ is proportional to $|s,\sigma \pm 1⟩$. Sinceits squared norm isChoosing the conventional positive phase gives

Using the spin ladder operators,and thereforeIn the ordered product basis of the tensor product of quantum systemsthe matrix representation isThe two parallel-spin states are already eigenvectors. Diagonalizing the central block gives the four energy eigenvaluesThis is the spectrum of the Two-spin Heisenberg Hamiltonian in an opposing longitudinal field.

The asserted ground-state ordering requires the antiferromagnetic case $\alpha >0$. As $B\to 0$,The corresponding state at $E_{-}$ is the unique spin-one-half singlet statewhereas the three states at the first excited energy form the spin-one-half triplet state.

Indeed, for the total angular momentum operatorone has at $B=0$The Hamiltonian then has rotational symmetry, so energy depends only on the total-spin sector. The singlet has total spin $s=0$ and multiplicity one; the triplet has $s=1$ and multiplicity $2s+1=3$. This rotational symmetry explains why the triplet energy eigenspace has dimension three.

A boson is an identical particle whose total multiparticle quantum state is symmetric under exchange of any two particles, whereas a fermion has a total state that is antisymmetric under every exchange. The Spin-statistics theorem associates integer spin with bosons and half-integer spin with fermions.

For three distinguishable spin-one particles, the spin Hilbert space has dimensionLetbe the total angular momentum operator. Since each particle haswe haveThe Hamiltonian operator is consequentlyOn the total-spin sector with quantum number $J$, its energy eigenvalue is

The Clebsch-Gordan decomposition may be performed by first coupling particles $1$ and $2$. Their intermediate spin is $j_{12}=0,1,2$, and coupling the third spin givesThus the three spin-one angular-momentum decomposition contains total spin $J=0,1,2,3$ with multiplicities $1,3,2,1$. Multiplying each multiplicity by the multiplet dimension $2J+1$ givesThe degeneracies sum to $27$, as required.

When the particles are indistinguishable, their integer spin makes them bosons. Their common spatial wavefunction is symmetric, so their spin wavefunction must also lie in the symmetric three-spin-one subspace. Its decomposition isHence only the $J=3$ and $J=1$ levels remain, now with one copy of each multiplet:

Normalize the stated Pauli matrices asThe factor $3^{-1/2}$ changes only the overall normalization at fixed $N$. In the spin-one Cartesian basis, the associated periodic uniform matrix product state isThis is the Pauli-matrix representation of the Affleck--Kennedy--Lieb--Tasaki state.

The Pauli matrix multiplication lawshows that products on two neighboring sites span all of $M_2(\mathbb{C})$, so the tensor is an injective matrix product state after blocking two sites. More geometrically, its two-site image is the scalar plus antisymmetric subspace of $3\otimes 3$, namely the total-spin $J=0$ and $J=1$ sectors. By the Two-site support of the Pauli-matrix Affleck--Kennedy--Lieb--Tasaki tensor, the missing subspace is the five-dimensional symmetric traceless $J=2$ sector.

Let $P_{n,n+1}^{(2)}$ be the orthogonal projection onto that $J=2$ sector. The parent Hamiltonian of a matrix product state isEach term annihilates $|{\Psi }_N⟩$, so this is a frustration-free quantum Hamiltonian and the MPS is a ground state. Writing $x={\mathbf{S}}_n\cdot {\mathbf{S}}_{n+1}$ and using the eigenvalues $-2,-1,1$ in the three total-spin sectors gives the explicit projectorThis is the Affleck--Kennedy--Lieb--Tasaki parent Hamiltonian. Injectivity implies that its periodic ground state is unique for every sufficiently long chain.

For a composite quantum system, the total angular momentum operator is the sum of the constituent angular momenta, with each summand acting on its own tensor factor. Its simultaneous eigenstates with $J_z$ organize the state space into total-spin sectors.