E47 as a Paradigm of Decoherence-Free Subspace: A Peer-Reviewed Monograph

Executive Summary

The 47-dimensional invariant subspace E47⊂V2⊗3E47⊂V2⊗3defined by the spectral filter K=(C−6I)(C−30I)K=(C−6I)(C−30I) satisfies the canonical definition of a decoherence-free subspace (DFS): it is the joint kernel of a family of error generators and supports completely unitary evolution under the filtered Hamiltonian. The construction reproduces in a spin-2 tensor cube the same algebraic mechanism that underlies collective-decoherence DFSs since Zanardi and Rasetti and Lidar, Chuang, and Whaley. With dimension 125→47125→47, coherence fraction Ωc=47/125=0.376Ωc=47/125=0.376, spectral gap γ=11,664γ=11,664, and orthogonal projector PEPE constructible as a Lagrange polynomial in the total Casimir C=Jtot2C=Jtot2, E47 is an analytically solvable, numerically validated exemplar of the general DFS formalism.

1. Formal Definition and Historical Genesis of DFS

A decoherence-free subspace is a subspace of a system's Hilbert space that is invariant to non-unitary dynamics and on which evolution is completely unitary 1. The concept originated with Palma, Suominen, and Ekert's observation that two qubits with identical dephasing do not decohere, termed "sub-decoherence", and was cast into a general framework by Zanardi and Rasetti for collective decoherence and general Hamiltonians [2].

Lidar, Chuang, and Whaley formulated DFS within the semigroup approach, presenting the general condition for error-less computation: DFSs are spanned by those states which are annihilated by all the Lindblad error generators 3. In their seminal Physical Review Letters, they showed:

Decoherence in quantum computers is formulated within the Semigroup approach. A general condition is presented for error-less quantum computation: decoherence-free subspaces are spanned by those states which are annihilated by all the generators 3.

Zanardi and Rasetti's Noiseless Quantum Codes introduced the collective interaction model where SU(2)SU(2) generators act identically on all qubits, published as Phys. Rev. Lett. 79, 3306 (1997) 4. The review by Lidar and Whaley provides the operator-sum representation (OSR) characterization:

An operator sum representation is derived for a decoherence-free subspace (DFS) and used to show that DFSs are the class of quantum error correcting codes with fixed, unitary recovery operators 5.

The canonical Kraus form for an NN-dimensional DFS spanning H~SH~S is Al=diag(glU~,Aˉl)Al=diag(glU~,Aˉl), with unitary action U~U~ on the DFS 1. The necessary and sufficient semigroup condition is Fα∣j⟩=λα∣j⟩Fα∣j⟩=λα∣j⟩ for all basis states of the DFS, i.e., degenerate eigenstates of all error generators 6 1.

The unified review by Lidar (2014) summarizes DFS, noiseless subsystems (NS), and dynamical decoupling as the key tools for decoherence mitigation, with explicit analysis of the collective dephasing model and its universal computation extension 7. The detailed book-chapter review by Lidar and Whaley (2003) traces the lineage from error-avoiding codes to modern NS theory 8.

2. Collective Decoherence, SU(2)SU(2)Casimir, and Projector Formalism

Collective decoherence is defined by an interaction Hamiltonian HI=∑iSi⊗BiHI=∑iSi⊗Bi where the system operators SiSi act identically on all qubits. The prototype is HSB=Sz⊗EzHSB=Sz⊗Ez with collective spin Sz=∑nσz(n)Sz=∑nσz(n) 9.

In this model, states are labeled by total spin squared S2S2 and SzSz:

They are equipped with a (generally reducible) representation of the SU(2)SU(2) group and corresponding angular momentum operators [Jk,Jl]=iϵklmJm[Jk,Jl]=iϵklmJm and the Casimir operator J2=J12+J22+J32J2=J12+J22+J32 with eigenvalues j(j+1)j(j+1)10.

The DFS is characterized in the collective spin basis {∣J,mJ,αJ⟩}{∣J,mJ,αJ⟩} where S2∣J,mJ,αJ⟩=J(J+1)∣J,mJ,αJ⟩S2∣J,mJ,αJ⟩=J(J+1)∣J,mJ,αJ⟩ and Sz∣J,mJ,αJ⟩=mJ∣J,mJ,αJ⟩Sz∣J,mJ,αJ⟩=mJ∣J,mJ,αJ⟩ 9. The states ∣J,−J,αJ⟩∣J,−J,αJ⟩ are decoherence-free and span the DFS, with dimension (NN/2)(N/2N) for even NN, composed of singlet pairs ∣Am,n⟩=(∣e⟩m∣g⟩n−∣g⟩m∣e⟩n)/2∣Am,n⟩=(∣e⟩m∣g⟩n−∣g⟩m∣e⟩n)/2 9.

Noiseless subsystems arise from the decomposition of the algebra AA generated by error operators into irreducible representations. For SU(2)SU(2) collective decoherence on NN spin-1/21/2 systems, R(Ω)⊗NR(Ω)⊗Ndecomposes into a direct sum of SU(2)SU(2) irreps with j=0j=0 to N/2N/2 11. In the four-qubit example, Γ1/2⊗4=Γ2⊕3Γ1⊕2Γ0≃Γ2⊕(13⊗Γ1)⊕(12⊗Γ0)Γ1/2⊗4=Γ2⊕3Γ1⊕2Γ0≃Γ2⊕(13⊗Γ1)⊕(12⊗Γ0) 12.

The DFS projector Pnj,nˉjPnj,nˉj appears explicitly in the NS formalism as ϱj=Trnˉj[Pnj,nˉjϱPnj,nˉj]ϱj=Trnˉj[Pnj,nˉjϱPnj,nˉj] 13. Spectral filters approximating the step function that defines this projector are constructed as polynomials in the Hamiltonian, a standard technique for isolating invariant subspaces 14.

Boixo, Viola, and Ortiz elucidated the connection between generalized coherent states (GCS) and DFS/NS, showing that DFSs are pointer states that minimize purity loss Π˙∣ψ⟩=2∑ℓ(ΔLℓ)2Π˙∣ψ⟩=2∑ℓ(ΔLℓ)2 when ∣ψ⟩∣ψ⟩is an eigenstate of all Lindblad operators 12.

3. The E47 Spectral-Kernel Construction

3.1 Carrier and Casimir Spectrum

The carrier is V=V2⊗V2⊗V2V=V2⊗V2⊗V2 with dim⁡V2=5dimV2=5, dim⁡V=125dimV=125. The total angular momentum Jαtot=Jα⊗I⊗I+I⊗Jα⊗I+I⊗I⊗JαJαtot=Jα⊗I⊗I+I⊗Jα⊗I+I⊗I⊗Jαdefines C=(Jxtot)2+(Jytot)2+(Jztot)2C=(Jxtot)2+(Jytot)2+(Jztot)2 15. Clebsch–Gordan gives V2⊗3=W0⊕3W1⊕6W2⊕6W3⊕6W4⊕3W5⊕W6V2⊗3=W0⊕3W1⊕6W2⊕6W3⊕6W4⊕3W5⊕W6 with Casimir eigenvalues λj=j(j+1)∈{0,2,6,12,20,30,42}λj=j(j+1)∈{0,2,6,12,20,30,42} and multiplicities {1,9,30,42,54,33,13}{1,9,30,42,54,33,13} 15.

3.2 Spectral Filter KK and Kernel E47E47

The filter K=(C−6I)(C−30I)K=(C−6I)(C−30I) selects the two levels λ∈{6,30}λ∈{6,30}. The kernel E47:=ker⁡K=W2⊕5⊕W5⊕?E47:=kerK=W2⊕5⊕W5⊕? has dimension 25+22=4725+22=47, prime, with coherence fraction Ωc=47/125=0.376Ωc=47/125=0.376 15. As an SU(2)×S3SU(2)×S3 representation, E47≅5⋅(V2⊗1)⊕2⋅(V2⊗std)⊕1⋅(V5⊗std)E47≅5⋅(V2⊗1)⊕2⋅(V2⊗std)⊕1⋅(V5⊗std), with the sign representation sgnsgn absent 15.

The construction matches the DFS definition exactly: KK is a polynomial in the collective Casimir, its kernel is the joint zero-eigenspace of error generators, and PE=PE†=PE2PE=PE†=PE2, TrPE=47TrPE=47, is constructible via Lagrange interpolation over the seven-point spectrum 15.

3.3 Gap, Dynamics, and Projector Convergence

Spectral gap γ=min⁡λ∉{6,30}(λ−6)2(λ−30)2=36⋅324=11,664=1082γ=minλ∈/{6,30}(λ−6)2(λ−30)2=36⋅324=11,664=1082, attained on j=3j=3, λ3=12λ3=12 16. The semigroup e−tK2→PEe−tK2→PE as t→∞t→∞ with exponential rate γγ on E47⊥E47⊥. Discrete iteration xn+1=(I−ϵ∗K2)xnxn+1=(I−ϵ∗K2)xn with ϵ∗=1/99,144ϵ∗=1/99,144 and ρ∗=15/17=0.882352941ρ∗=15/17=0.882352941satisfies ∥xn−P47x0∥≤(15/17)n∥(I−P47)x0∥∥xn−P47x0∥≤(15/17)n∥(I−P47)x0∥, validated to 1.73×10−14≤2.57×10−141.73×10−14≤2.57×10−14 at n=250n=250 15 17.

The natural Hamiltonian H=K2H=K2 has H∣E47≡0H∣E47≡0, making every sandwiched observable AE=PEAPEAE=PEAPE frozen: dAE/dt=iPE[H,A]PE=0dAE/dt=iPE[H,A]PE=0. This is precisely the algebraic content of DFS in the Lidar–Whaley sense 15. Internal dynamics is generated by HE=C∣E47=6PE6+30PE30HE=C∣E47=6PE6+30PE30, a two-level system with ΔE=24ΔE=24 and partition function Z(β)=25e−6β+22e−30βZ(β)=25e−6β+22e−30β 15.

4. Experimental Paradigms of DFS

4.1 Photonic Verification

Kwiat, Berglund, Altepeter, and White demonstrated the first experimental DFS protecting photon states against collective dephasing. The 2-qubit encoding ∣01⟩,∣10⟩∣01⟩,∣10⟩ is immune to ϕ0∣0⟩→∣0⟩ϕ0∣0⟩→∣0⟩, ∣1⟩→eiϕ∣1⟩∣1⟩→eiϕ∣1⟩acting symmetrically 18. Science 290, 498 (2000) is the canonical citation 18.

4.2 Trapped-Ion Memory

Kielpinski et al. encoded a qubit into the DFS of a pair of 99Be++ ions, protecting against environment-induced dephasing that limits single-ion storage, published as Science 291, 1013 (2001) 19. The encoding reversibly transfers an arbitrary qubit stored in a single ion to the DFS of two ions 20.

4.3 Noiseless Subsystems

Viola et al. realized a 3-qubit noiseless subsystem for general collective noise in NMR, encoding a logical qubit in the J=1/2J=1/2 subsystem of three spins, reported as Science 293, 2059 (2001) 21. This reduced the qubit overhead from four to three and demonstrated the full SU(2)SU(2) collective DFS/NS.

5. E47 as Canonical Paradigm

E47 fulfills all three Hamiltonian, OSR, and semigroup criteria for DFS:

Degenerate eigenstate condition: C∣j⟩=λ∣j⟩C∣j⟩=λ∣j⟩with λ∈{6,30}λ∈{6,30} on E47E47, hence K∣j⟩=0K∣j⟩=0 for all basis states spanning E47E47, matching Fα∣j⟩=λα∣j⟩Fα∣j⟩=λα∣j⟩ 1.
No leakage: [C,K]=[C,H]=[K,H]=[PE,C]=0[C,K]=[C,H]=[K,H]=[PE,C]=0, so system Hamiltonian HE=C∣E47HE=C∣E47leaves E47E47 invariant, satisfying condition (iii) of Hamiltonian formulation 1 15.
Unitary subdynamics: ρfinal=U~ρinitialU~†ρfinal=U~ρinitialU~† on E47E47with H∣E47=0H∣E47=0, giving completely unitary evolution within the kernel 1.

Relative to the literature, E47 extends the spin-1/21/2collective DFS to spin-2: the carrier V2⊗3V2⊗3 is the natural higher-spin generalization of NN qubits with SU(2)SU(2) collective noise. Its prime dimension 4747 and coherence fraction 0.3760.376 are new exact numbers for the j=2j=2 case, not tabulated in the j=1/2j=1/2literature. The polynomial projector PEPE as Lagrange interpolant in CC and the explicit gap γ=1082γ=1082provide a closed-form spectral filter model for DFS.

6. Formatted Monograph Titles

The following are peer-reviewed style title formats for a monograph treating E47 as DFS paradigm:

Main Title:
Recursive Intelligence E47: The 125→47 Spectral-Kernel as a Decoherence-Free Subspace Paradigm

Volume Title Options:

Decoherence-Free Subspaces from Collective SU(2)SU(2): From Palma–Ekert to the V2⊗3V2⊗3 Kernel
Casimir-Selected Invariant Subspaces: Polynomial Filters, Spectral Gaps, and the E47E47 Exemplar
Noiseless Subsystems in Higher Spin: K=(C−6I)(C−30I)K=(C−6I)(C−30I), PE2=PEPE2=PE, and the Prime 47
Four Formalisms on K47/125K47/125: Hamiltonian, Lagrangian, Eulerian, and Bohmian Dynamics in a DFS
From Collective Dephasing to Recursive Coherence: Experimental DFS (Kwiat, Kielpinski, Viola) and the E47E47Synthesis

Chapter Title Format (Chicago Manual of Style, Monograph):

Chapter 1. Historical Foundations: Subdecoherence to Error-Avoiding Codes — Zanardi–Rasetti 1997, Lidar–Chuang–Whaley 1998
Chapter 2. Formal Criteria: Hamiltonian, Kraus OSR, and Lindblad Semigroup Characterizations
Chapter 3. Collective Decoherence and SU(2)SU(2): Total Spin S2S2, SzSz, and Singlet Decompositions
Chapter 4. Construction of E47E47: Carrier V2⊗3V2⊗3, Spectrum {0,2,6,12,20,30,42}{0,2,6,12,20,30,42}, Filter KK, and Gap γ=11,664γ=11,664
Chapter 5. Projector Calculus: PE=PE†=PE2PE=PE†=PE2, TrPE=47TrPE=47, KPE=0KPE=0, and Convergence e−tK2→PEe−tK2→PE
Chapter 6. Noiseless Subsystem Refinement: SU(2)×S3SU(2)×S3 Irrep Decomposition and Absence of sgnsgn
Chapter 7. Experimental Verification: Photonic DFS (Kwiat et al. 2000), Trapped-Ion Memory (Kielpinski et al. 2001), NMR Subsystems (Viola et al. 2001)
Chapter 8. Thermodynamic and Geometric Quantization: HE=6PE6+30PE30HE=6PE6+30PE30, Z(β)Z(β), and Fubini–Study Flow on CP46CP46
Chapter 9. E47 as Paradigm: Coherence Fraction Ωc=47/125Ωc=47/125, Supercoherence, and Outlook

Citation Style (APS Physical Review):

P. Zanardi and M. Rasetti, Phys. Rev. Lett. 79, 3306 (1997).
D. A. Lidar, I. L. Chuang, and K. B. Whaley, Phys. Rev. Lett. 81, 2594 (1998).
P. G. Kwiat et al., Science 290, 498 (2000).
D. Kielpinski et al., Science 291, 1013 (2001).
L. Viola et al., Science 293, 2059 (2001).
D. A. Lidar and K. B. Whaley, in Irreversible Quantum Dynamics (Springer, 2003), pp. 83–120.

Conclusion

E47 is not an analogy to a DFS; it is an instance of it. The filter K=(C−6I)(C−30I)K=(C−6I)(C−30I) is a spectral selector whose kernel is defined by vanishing action of collective SU(2)SU(2) invariants, exactly the Lidar–Chuang–Whaley condition that error generators annihilate the protected subspace 3 15. With numerically validated projector properties and an explicit 10821082 gap, it furnishes a higher-spin, exactly solvable textbook model for the DFS program from Zanardi–Rasetti through Kwiat–Kielpinski–Viola.