Completing boundary integrability from the fuzzy three-sphere: $\mathfrak{so}_{2n}$-symmetric integrable matrix product states, sibling chains, and the quantum and holographic status of fuzzy-sphere defects

The paper 'Boundary integrability from the fuzzy three sphere' (Gombor and Holguin, Phys. Lett. B 872 (2026) 140078) proved that $\mathfrak{so}_4$-symmetric matrix product states built from Ramgoolam's fuzzy $S^3$ algebra are integrable boundary states of the $\mathfrak{so}_6$ symmetric spin chain of planar $\mathcal{N}=4$ SYM, constructing a K-matrix for every representation of the fuzzy three-sphere algebra and closed overlap formulas with Bethe states for arbitrary bond dimensions. Its conclusion poses five open directions that jointly ask whether the fuzzy-sphere mechanism yields a complete, physically meaningful class of integrable boundary states: a systematic direct construction of $\mathfrak{so}_{2n}$-symmetric integrable MPS (their construction in general relies on projections from $\mathfrak{so}_{2n+1}$-symmetric MPS, which obscures the algebraic relations between generators); the alternative perturbative KT-relation route with regular K-matrices; the determination of all integrable MPS in sibling systems such as the ABJM alternating chain and the anisotropic XXZ and XYZ deformations of the XXX chain; the quantum consistency of the non-supersymmetric defect field theories underlying the fuzzy $S^3$ configurations; and the identification of their holographic duals.

Background

Setting. In planar (large-$N$) $\mathcal{N}=4$ super-Yang-Mills theory, single-trace scalar operators at one loop are described by an integrable $SO(6)$-symmetric spin chain whose eigenstates are Bethe states, i.e. common eigenstates of an infinite commuting family of transfer-matrix charges. Conformal defects — surface operators or interfaces on which the six elementary scalars acquire position-dependent classical expectation values — turn the leading-order one-point functions of those operators into spin-chain overlaps between Bethe states and matrix product states (MPS): states of a periodic chain of the form $\mathrm{tr}[A_1\otimes A_2\otimes\cdots\otimes A_L]$, where the auxiliary ('bond') matrices $A_i$ encode the matrix-valued classical defect solution. This is the framework of AdS/defect-CFT (AdS/dCFT): the same defect also has a dual description as a probe brane configuration in $AdS_5\times S^5$.

Integrable boundary states. A boundary state of an integrable chain is called integrable when it is annihilated by all odd conserved charges (equivalently, when it defines a well-behaved rotated-channel scattering picture); for such states the overlap with every Bethe eigenstate takes a closed universal form — a ratio of Gaudin-like determinants (determinants built from the Bethe roots) times a state-dependent prefactor. The algebraic certificate of integrability of an MPS is a K-matrix: a solution of the reflection (boundary Yang-Baxter) equation $R_{12}(u-v)K_1(u)R_{21}(u+v)K_2(v)=K_2(v)R_{12}(u+v)K_1(u)R_{21}(u-v)$ furnishing a representation of the boundary reflection algebra. Overlap derivations are organized by the KT-relation, a functional relation connecting the transfer matrix, the boundary state and the K-matrix, which is the standard engine for exact overlap formulas of rational chains.

Fuzzy spheres. A fuzzy sphere is a finite-dimensional non-commutative matrix approximation of a sphere: coordinate functions are replaced by matrices $X_i$ satisfying sphere-defining relations such as $\sum_i X_i^2=r\,\mathbb{I}$. Fuzzy $S^{2n}$ arise in Yang-Mills matrix models with $SO(2n+1)$ symmetry (the fuzzy $S^2$ underlies the supersymmetric D3-D5 interface, the fuzzy $S^4$ the D3-D7 interface), while odd spheres $S^{2n-1}$ carry $SO(2n)$ symmetry. For the fuzzy $S^3$, Ramgoolam described an $SO(4)$-invariant algebra generated by four coordinate matrices $X_i$ together with rotation generators $F_{jk}$ and a chirality operator $\mathcal{U}$ with $\mathcal{U}^2=1$, acting on a reducible representation $\mathcal{R}_+\oplus\mathcal{R}_-$. de Leeuw and Holguin classified conformal defects of $\mathcal{N}=4$ SYM whose scalars take expectation values and showed that, for every codimension, such defects correspond to fuzzy spheres, presenting the associated MPS; this motivated the conjecture that all fuzzy spheres can be associated with an integrable MPS.

The source paper. Gombor and Holguin proved the integrability of the $\mathfrak{so}_4$-symmetric fuzzy $S^3$ MPS in the $\mathfrak{so}_6$ chain: the relations of the Ramgoolam algebra among $X_i$, $F_{jk}$ and $\mathcal{U}$ generate a representation of the boundary reflection algebra, giving a K-matrix — and hence a solution of the boundary Yang-Baxter equation — for every rank for which the MPS exists, and a closed overlap formula with $\mathfrak{so}_6$ Bethe states for arbitrary bond dimensions. The overlaps compute leading-order one-point functions of non-protected single-trace operators in the presence of the corresponding non-supersymmetric defect. The paper also recalls the precedent of the non-supersymmetric D3-D7 interface, described by a fuzzy $S^4$ MPS, for which agreement with holography was achieved in a double-scaled limit (a large-flux regime in which both the gauge-theory and string-theory sides are simultaneously controllable).

The gap. Three features remain unresolved and define the problem. First, the $\mathfrak{so}_{2n}$-symmetric (odd-sphere, even-rank) case is only accessible indirectly — by projecting from $\mathfrak{so}_{2n+1}$-symmetric MPS, which obscures the algebraic relations among generators — and a direct constructive framework is missing. Second, the proposed perturbative KT-route (a regularity assumption on $K(u)$ with order-by-order commutation relations) has never been implemented. Third, the physical side is untested: whether the non-supersymmetric defect field theories make sense as quantum defect conformal field theories, and what their holographic duals are. In sibling integrable systems — the alternating $SU(4)$ chain of ABJM theory (ABJM being the three-dimensional $\mathcal{N}=6$ superconformal Chern-Simons-matter theory of Aharony, Bergman, Jafferis and Maldacena), whose two-site shift structure produces two distinct integrability conditions called chiral and achiral, and deformations of the XXX (isotropic Heisenberg) chain — no complete classification of integrable MPS exists either.

Problem Statement

Complete the fuzzy-sphere program of boundary integrability left open by Gombor and Holguin (arXiv:2510.27463), which proved integrability only for the $\mathfrak{so}_4$ (fuzzy $S^3$) case in the $\mathfrak{so}_6$ chain. The problem has five linked components; components 1-3 complete the algebraic correspondence on the spin-chain side, components 4-5 establish its physical meaning in the gauge/string duality. These components are jointly required for a complete resolution, and partial progress on one does not resolve the others, with one exception: components 1 and 2 are two alternative routes to the same $\mathfrak{so}_{2n}$ target, so that target is resolved if either route succeeds — including, for route 1, by proving the direct construction obstructed for some $n$ — and the two routes need not both succeed.

1. ($\mathfrak{so}_{2n}$ classification) Construct, for general $n$, the $\mathfrak{so}_{2n}$-symmetric integrable MPS — equivalently, K-matrices for fuzzy $S^{2n-1}$-type boundary states — in $\mathfrak{so}_m$-symmetric rational spin chains with the host rank $m$ free, as in the source letter's own $\mathfrak{so}_4$ result for $\mathfrak{so}_m$-symmetric chains (with $m=6$ in mind for $\mathcal{N}=4$ SYM), by a direct construction that does not rely on projection from $\mathfrak{so}_{2n+1}$-symmetric MPS, together with their overlap formulas with Bethe states; or prove that such a direct construction is obstructed for some $n$, thereby delimiting the conjecture that every fuzzy sphere carries an integrable MPS.

2. (Perturbative route) Implement the proposed alternative construction: impose a regularity condition on the K-matrix $K(u)$ and solve the KT-relation perturbatively, finding the required commutation relations order by order; determine whether the procedure is feasible and complete, i.e. whether it recovers all $\mathfrak{so}_{2n}$ solutions.

3. (Sibling systems) Determine all integrable MPS of the alternating $SU(4)$ spin chain of ABJM theory (the three-dimensional $\mathcal{N}=6$ superconformal Chern-Simons-matter theory of Aharony, Bergman, Jafferis and Maldacena) — chiral and achiral, all block sizes, including operator-valued blocks carrying internal spaces — with proven overlap formulas; and correspondingly classify integrable MPS in the anisotropic XXZ and XYZ deformations of the XXX (isotropic Heisenberg) chain.

4. (Quantum consistency) Determine whether the non-supersymmetric defect field theories described by the fuzzy $S^3$ classical configurations define well-behaved quantum defect conformal field theories — in particular whether the integrable boundary condition survives beyond tree level, via loop-level one-point functions and anomalous-dimension data of the defect theory.

5. (Holographic dual) Identify the holographic dual of the fuzzy $S^3$ defect, for which a non-supersymmetric D5-brane wrapping $AdS_3\times S^3$ is the suggested candidate: revisit the classification of integrable boundaries of the $AdS_5\times S^5$ string sigma model beyond the supersymmetric classification of Dekel and Oz, confirm that the Bethe-root pair structure fixed by the residual symmetry breaking $SO(2,4)\to SO(2,2)\times SO(2)$ or $SO(2,4)\to SO(2)\times SO(4)$ is compatible with the full bosonic sector, and match the brane configuration to the MPS overlap data.

The common scientific objective is to establish whether the fuzzy-sphere mechanism yields a complete, physically meaningful class of integrable boundary states: components 1-3 settle the scope of the algebraic correspondence, components 4-5 settle what the correspondence means in the defect field theory and its string dual.

References

1. T. Gombor and A. Holguin, 'Boundary integrability from the fuzzy three sphere', Phys. Lett. B 872 (2026) 140078. doi:10.1016/j.physletb.2025.140078; arXiv:2510.27463. https://arxiv.org/abs/2510.27463
2. M. de Leeuw and A. Holguin, 'Integrable conformal defects in N=4 SYM', JHEP 07 (2025) 161. doi:10.1007/JHEP07(2025)161; arXiv:2406.13741. https://arxiv.org/abs/2406.13741
3. S. Ramgoolam, 'On spherical harmonics for fuzzy spheres in diverse dimensions', Nucl. Phys. B 610 (2001) 461-488. doi:10.1016/S0550-3213(01)00315-7; arXiv:hep-th/0105006. https://arxiv.org/abs/hep-th/0105006
4. S. Ramgoolam, 'Higher dimensional geometries related to fuzzy odd-dimensional spheres', JHEP 10 (2002) 064. doi:10.1088/1126-6708/2002/10/064; arXiv:hep-th/0207111. https://arxiv.org/abs/hep-th/0207111
5. T. Gombor, 'Exact Overlaps for All Integrable Matrix Product States of Rational Spin Chains', Phys. Rev. Lett. 135 (2025) 150402. doi:10.1103/4vy2-8cnk; arXiv:2410.23282. https://arxiv.org/abs/2410.23282
6. T. Gombor, 'Derivations for the MPS overlap formulas of rational spin chains', JHEP 10 (2025) 035. doi:10.1007/JHEP10(2025)035; arXiv:2505.20234. https://arxiv.org/abs/2505.20234
7. N. Bai and M.-Z. Shao, 'Integrable matrix product states of ABJM theory from projecting method', Mod. Phys. Lett. A 40 (2025) 2550068. doi:10.1142/S0217732325500683; arXiv:2411.09282. https://arxiv.org/abs/2411.09282
8. Y. Liu and J. Wu, 'Chiral integrable boundary states in the SU(4) alternating spin chain', Sci. China Phys. Mech. Astron. 69 (2026) 231011. doi:10.1007/s11433-025-2834-3; arXiv:2507.03489. https://arxiv.org/abs/2507.03489
9. Y. Liu, N. Bai, M.-Z. Shao and J.-B. Wu, 'Chiral Integrable Boundary States of ABJM Spin Chain from Reflection Equations', arXiv:2602.01697. https://arxiv.org/abs/2602.01697
10. N. Bai, H. Yang and M.-Z. Shao, 'Solving for the integrable boundary states of the ABJM spin chain from KT-relations', arXiv:2607.04203. https://arxiv.org/abs/2607.04203
11. C. Kristjansen and A. Shusharin, 'Monodromy defects in ABJM theory and integrability', arXiv:2608.10840. https://arxiv.org/abs/2608.10840
12. G. Georgiou, G. Linardopoulos and D. Zoakos, 'Holography of a novel codimension-2 defect CFT', JHEP 09 (2025) 105. doi:10.1007/JHEP09(2025)105; arXiv:2506.14505. https://arxiv.org/abs/2506.14505
13. G. Georgiou and D. Zoakos, 'Holographic interpolations of defect CFTs', JHEP 04 (2026) 201. doi:10.1007/JHEP04(2026)201; arXiv:2512.14853. https://arxiv.org/abs/2512.14853
14. A. Dekel and Y. Oz, 'Integrability of Green-Schwarz Sigma Models with Boundaries', JHEP 08 (2011) 004. doi:10.1007/JHEP08(2011)004; arXiv:1106.3446. https://arxiv.org/abs/1106.3446
15. X. Qian and X. Zhang, 'Generalized Integrable Boundary States in XXZ and XYZ Spin Chains', arXiv:2601.16605. https://arxiv.org/abs/2601.16605
16. Y. Zhang, Y.-H. Wu, M. Cheng and H.-H. Tu, 'SO(n) Affleck-Kennedy-Lieb-Tasaki states as conformal boundary states of integrable SU(n) spin chains', SciPost Phys. 20 (2026) 067. doi:10.21468/SciPostPhys.20.3.067; arXiv:2508.13114. https://arxiv.org/abs/2508.13114
17. M. García Fernández, C. Paletta and A. L. Retore, 'Open-boundary integrable quantum circuits with different geometries', arXiv:2607.02093. https://arxiv.org/abs/2607.02093