First-principles derivation of the non-trivial exchange relations behind modified crossing for the Zamolodchikov-Faddeev algebra: the massless sector of the mixed-flux AdS3 x S3 x T4 superstring

In two-dimensional integrable quantum field theory, the Zamolodchikov-Faddeev (ZF) algebra of asymptotic creation operators can carry non-trivial exchange (braiding) relations, in which case the standard crossing equation relating particle-particle and particle-antiparticle scattering must be modified. Frolov, Polvara and Sfondrini (J. Phys. A 58 (2025) 415402) derived the general modified crossing equation, verified it for the SU(N) chiral Gross-Neveu model and the Phi_21 deformation of the tricritical Ising model, and conjectured that the massless excitations of the mixed-flux AdS3 x S3 x T4 superstring obey non-trivial exchange relations of SU(2) chiral Gross-Neveu type; this flips the sign of the massless crossing equation and yields a simpler massless dressing factor, dropping the extra function a(gamma_1 - gamma_2) of earlier proposals. No first-principles derivation of the conjectured exchange relations is presently known: no later work derives the braiding matrix or the singlet (charge-conjugation) matrix from the worldsheet theory or from a quantum-group/categorical symmetry. Validation has advanced substantially - the dressing factors were completed, the mirror thermodynamic Bethe ansatz (the integral-equation method relating the exact S-matrix to the finite-volume spectrum) was constructed and solved consistently (including published tensionless-limit numerics), and the extended Y-system was derived and shown equivalent - but the Quantum Spectral Curve (the exact finite-volume spectral equation) derivation remains unfinished. The open problem is to derive the postulated exchange relations from first principles, with all their algebraic consistency conditions.

Background

In a two-dimensional integrable quantum field theory, scattering factorizes into independent two-particle processes, and the exact two-particle S-matrix can be fixed by symmetry and consistency conditions. The asymptotic creation operators $A^\dagger_A(p)$, labelled by momentum $p$ and internal index $A$, form the Zamolodchikov-Faddeev (ZF) algebra, in which exchanging two creation operators produces the two-particle S-matrix, $A^\dagger_1 A^\dagger_2 = A^\dagger_2 A^\dagger_1 S_{12}$ [Zamolodchikov and Zamolodchikov 1979; Faddeev 1980]. Fields in two dimensions need not be bosons or fermions: they may obey non-trivial exchange (braiding) relations, $A^\dagger_1 A^\dagger_2 = A^\dagger_2 A^\dagger_1 \mathcal{R}_{12}$, with a braid matrix $\mathcal{R}_{12}$ [Leinaas and Myrheim 1977], a possibility related to quantum-group generalized statistics by Smirnov [1990]. When this happens, the ZF S-matrix $S$ differs from the physical S-matrix $\mathcal{S}$ that enters scattering amplitudes, and crossing symmetry - the analytic continuation $p \to \bar p = -p$ that relates a particle's scattering to its antiparticle's - acquires corrections.

Frolov, Polvara and Sfondrini (FPS) [arXiv:2506.04096] derived the general form of the modified crossing equation. Constructing a singlet state $\Xi(p) = A^\dagger(p)\,\mathscr{C}\,A^{\dagger t}(\bar p)$, a particle-antiparticle combination annihilated by all symmetry charges, with $\mathscr{C}$ a charge-conjugation-type matrix, and requiring that ZF operators move through it consistently, they obtained

$S_{12}(p_1,p_2)\,\mathscr{C}_1\,S^{\,t_1}_{12}(\bar p_1,p_2) \;=\; \mathcal{R}_{12}(p_1,p_2)\,\mathscr{C}_1\,\tilde{\mathcal{R}}^{\,t_1}_{12}(\bar p_1,p_2)\,,$

which reduces to the ordinary crossing equation when $\mathcal{R}_{12}$ is trivial (bosons or fermions); here $t_1$ denotes transposition in the first tensor factor and $\bar p=-p$ is the crossed (antiparticle) momentum. The crossed-channel braiding matrix $\tilde{\mathcal{R}}_{12}(\bar p_1,p_2)$ is obtained by first analytically continuing $S_{12}(p_1,p_2)$ to $S_{12}(\bar p_1,p_2)$ and then taking the limit of trivial scattering; in all examples treated by FPS one has $\tilde{\mathcal{R}}_{12}=\mathcal{R}_{12}$. The braiding matrix must satisfy physical and braiding unitarity ($\mathcal{R}_{21}\mathcal{R}_{12} = \Pi_{12}$, with $\Pi_{12}$ the projector onto the physical subspace in models with a restricted Hilbert space, where some multiparticle states are null), the Yang-Baxter equation (the consistency condition of factorized three-particle scattering), and a singlet constraint tying $\mathcal{R}$, $\tilde{\mathcal{R}}$ and $\mathscr{C}$ together. FPS verified the framework on two models where the answer is known: the SU(N) chiral Gross-Neveu (CGN) model, an asymptotically free model of N interacting Dirac fermions whose exchange relations and phase-modified crossing had been found earlier by quantum-group methods, and the $\Phi_{21}$ deformation of the tricritical Ising model, whose known S-matrix violates naive crossing; in these cases $\mathcal{R}$ and $\mathscr{C}$ are derived, not assumed. Related recent work connects such modified crossing to invariance under categorical (non-invertible) symmetries [Copetti, Córdova and Komatsu 2024, 2025].

The open instance is the AdS3 x S3 x T4 superstring supported by a mixture of Ramond-Ramond (RR) and Neveu-Schwarz-Neveu-Schwarz (NSNS) flux - the light-cone gauge worldsheet theory underlying the AdS3/CFT2 holographic correspondence. Its exact two-body worldsheet S-matrix [Borsato et al. 2014; Lloyd et al. 2015] contains massive excitations and, from the T4 directions, massless ones. The scalar dressing factors are fixed by crossing; the previous solution [Frolov and Sfondrini 2022] required an extra function $a(\gamma_1-\gamma_2)$ (with $\gamma_i=\gamma(p_i)$ a rapidity-type variable of that reference) in the massless-massless sector, which appeared incompatible with the analytic constraints of the Quantum Spectral Curve (QSC), an exact finite-volume spectral equation [Ekhammar, Gromov and Stefanski 2025]. FPS conjectured that the massless ZF fields instead obey non-trivial exchange relations of the same type as the SU(2) CGN model, with braid phase $e^{\mp i\pi\,\mathrm{sgn}(v_1-v_2)/2}$ ($v_i$ are mode velocities), so that the massless-massless sector is braided; they note that similar non-trivial exchange between massive and massless representations is possible (even suggestive) though it would leave the physical S-matrix unchanged, and that for the massive-massive sector they see no rationale to introduce non-trivial exchange relations. The conjecture flips the sign of the massless crossing equation,

$\Sigma_{\circ\circ}(\bar p_1,p_2)\,\Sigma_{\circ\circ}(p_1,p_2) \;=\; -\,f_{\circ\circ}(p_1,p_2)\,,$

where $\Sigma_{\circ\circ}$ is the massless-massless dressing factor and $f_{\circ\circ}$ the crossing factor associated with the supersymmetry-fixed block of the massless S-matrix, and the solution then drops $a(\gamma_1-\gamma_2)$ - a simpler dressing factor compatible with near-BMN perturbation theory (the weak-tension expansion around the free-string plane-wave limit) and with the analytic structure surmised from the QSC. The conjecture is self-consistent but not derived: FPS postulate the braiding by analogy with SU(2) CGN, because the 'trivial-scattering' limit through which exchange relations are normally read off is ill-defined for these massless modes (the BMN limit gives interacting, infrared-subtle relativistic modes), and no worldsheet or symmetry-principle derivation of $\mathcal{R}$ or $\mathscr{C}$ is known.

Problem Statement

Derive from first principles - from the light-cone gauge worldsheet sigma model of the mixed-flux AdS3 x S3 x T4 superstring, or from an identified underlying symmetry principle (a quantum-group symmetry or a categorical/non-invertible symmetry) - the non-trivial exchange relations that Frolov, Polvara and Sfondrini conjectured for the massless Zamolodchikov-Faddeev fields. A complete answer should:

1. Obtain, rather than postulate, the braiding matrix $\mathcal{R}_{12}$ for the massless modes (conjectured to be of SU(2) chiral Gross-Neveu type, with braid phase $e^{\mp i\pi\,\mathrm{sgn}(v_1-v_2)/2}$, where $v_i$ are the velocities of the two scattering massless modes, and non-trivial exchange postulated in the massless-massless sector) and the singlet-defining charge-conjugation matrix $\mathscr{C}$.

2. Verify that the derived objects satisfy the algebraic consistency conditions: physical and braiding unitarity (with the projector $\Pi_{12}$ onto the physical subspace), the Yang-Baxter equation, and the singlet constraint $\mathcal{R}_{12}\,\mathscr{C}_1\,\tilde{\mathcal{R}}^{\,t_1}_{12}(\bar p_1,p_2) = \mathscr{C}_1\,K_2$, where $t_1$ is transposition in the first tensor factor, $\bar p_1=-p_1$ is the crossed momentum, $\tilde{\mathcal{R}}_{12}$ is the crossed-channel braiding matrix defined in the Background, and $K_2(p_1,p_2)$ - a matrix acting on the second tensor factor - is a priori arbitrary but is fixed by this very constraint (it is the identity for ordinary bosons or fermions).

3. Show that the modified crossing equation with its extra minus sign, $\Sigma_{\circ\circ}(\bar p_1,p_2)\,\Sigma_{\circ\circ}(p_1,p_2) = -f_{\circ\circ}(p_1,p_2)$, and the simplified massless dressing factor (without the function $a(\gamma_1-\gamma_2)$ of Frolov-Sfondrini 2022) follow from the derivation - or identify precisely where and how the FPS conjecture must be corrected.

An answer that instead refutes the conjecture - by showing from first principles that the massless modes obey ordinary bosonic/fermionic exchange relations, or that the modified crossing is inconsistent with validated data - is admissible and resolves the problem in the opposite direction.

The data that currently support the conjecture - near-BMN perturbation theory for the physical S-matrix, the solved mirror thermodynamic Bethe ansatz (the integral-equation framework that computes the finite-volume spectrum from the exact S-matrix) including the published tensionless-limit numerics, and the analytic constraints surmised from the Quantum Spectral Curve program, whose derivation for this background is not yet complete - provide context for the problem.

References

1. S. Frolov, D. Polvara, A. Sfondrini, "Exchange relations and crossing", J. Phys. A 58 (2025) 415402, DOI 10.1088/1751-8121/ae0edb, arXiv:2506.04096, https://arxiv.org/abs/2506.04096
2. A. B. Zamolodchikov, A. B. Zamolodchikov, "Factorized S-matrices in two dimensions as the exact solutions of certain relativistic quantum field theory models", Ann. Phys. 120 (1979) 253, DOI 10.1016/0003-4916(79)90391-9, https://doi.org/10.1016/0003-4916(79)90391-9
3. L. D. Faddeev, "Quantum completely integral models of field theory", Sov. Sci. Rev. C 1 (1980) 107, https://inspirehep.net/literature/152168
4. J. M. Leinaas, J. Myrheim, "On the theory of identical particles", Nuovo Cim. B 37 (1977) 1, DOI 10.1007/BF02727953, https://doi.org/10.1007/BF02727953
5. F. A. Smirnov, "Quantum groups and generalized statistics in integrable models", Commun. Math. Phys. 132 (1990) 415, DOI 10.1007/BF02096656, https://doi.org/10.1007/BF02096656
6. C. Copetti, L. Córdova, S. Komatsu, "Noninvertible symmetries, anomalies and scattering amplitudes", Phys. Rev. Lett. 133 (2024) 181601, DOI 10.1103/PhysRevLett.133.181601, arXiv:2403.04835, https://arxiv.org/abs/2403.04835
7. C. Copetti, L. Córdova, S. Komatsu, "S-matrix bootstrap and non-invertible symmetries", JHEP 03 (2025) 204, DOI 10.1007/JHEP03(2025)204, arXiv:2408.13132, https://arxiv.org/abs/2408.13132
8. R. Borsato, O. Ohlsson Sax, A. Sfondrini, B. Stefański, "The complete AdS3 x S3 x T4 worldsheet S-matrix", JHEP 10 (2014) 066, DOI 10.1007/JHEP10(2014)066, arXiv:1406.0453, https://arxiv.org/abs/1406.0453
9. T. Lloyd, O. Ohlsson Sax, A. Sfondrini, B. Stefański, "The complete worldsheet S matrix of superstrings on AdS3 x S3 x T4 with mixed three-form flux", Nucl. Phys. B 891 (2015) 570, DOI 10.1016/j.nuclphysb.2014.12.019, arXiv:1410.0866, https://arxiv.org/abs/1410.0866
10. S. Frolov, A. Sfondrini, "New dressing factors for AdS3/CFT2", JHEP 04 (2022) 162, DOI 10.1007/JHEP04(2022)162, arXiv:2112.08896, https://arxiv.org/abs/2112.08896
11. S. Ekhammar, N. Gromov, B. Stefański, "Demystifying the massless sector in AdS3 quantum spectral curve", JHEP 10 (2025) 188, DOI 10.1007/JHEP10(2025)188, arXiv:2412.11915, https://arxiv.org/abs/2412.11915
12. S. Frolov, D. Polvara, A. Sfondrini, "Dressing factors and mirror thermodynamic Bethe ansatz for mixed-flux AdS3/CFT2", JHEP 02 (2026) 237, DOI 10.1007/JHEP02(2026)237, arXiv:2507.12191, https://arxiv.org/abs/2507.12191
13. A. Brollo, D. le Plat, A. Sfondrini, "Revisiting the tensionless limit of pure-Ramond-Ramond AdS3/CFT2", J. Phys. A 59 (2026) 28LT01, DOI 10.1088/1751-8121/ae8142, arXiv:2512.15697, https://arxiv.org/abs/2512.15697
14. A. Cavaglià, D. Polvara, N. Primi, A. Sfondrini, R. Tateo, "Deriving the AdS3 x S3 x T4 Quantum Spectral Curve I: Y-system and discontinuity relations", arXiv:2607.13673, https://arxiv.org/abs/2607.13673
15. A. Torrielli, "AdS3 integrability, the Sine-Gordon model, and fractional supersymmetry", Phys. Rev. D 113 (2026) 065013, DOI 10.1103/zbtr-ztw6, arXiv:2508.12316, https://arxiv.org/abs/2508.12316
16. A. Cavaglià, R. Frassek, N. Primi, R. Tateo, "On the quantum spectral curve for AdS3 x S3 x S3 x S1 strings and the d(2,1;alpha) Q-system", JHEP 05 (2026) 270, DOI 10.1007/JHEP05(2026)270, arXiv:2511.09635, https://arxiv.org/abs/2511.09635
17. F. Chernikov, S. Ekhammar, N. Gromov, B. Smith, "Gluing Quantum Spectral Curves: a two-copy osp(4|2) construction", JHEP 05 (2026) 285, DOI 10.1007/JHEP05(2026)285, arXiv:2511.09654, https://arxiv.org/abs/2511.09654
18. S. Frolov, A. Sfondrini, "On the AdS3 x S3 x S3 x S1 dressing factors", JHEP 06 (2026) 209, DOI 10.1007/JHEP06(2026)209, arXiv:2512.07721, https://arxiv.org/abs/2512.07721
19. G. Arias-Tamargo, C. Hull, M. L. Velásquez Cotini Hutt, "Nonrenormalization of coupling constants from categorical symmetries in two dimensions", Phys. Rev. D 113 (2026) L061701, DOI 10.1103/h56x-zgg8, arXiv:2509.20441, https://arxiv.org/abs/2509.20441
20. D. Bielli, V. Moustakis, A. Torrielli, "Boundary Bethe ansatz in massive AdS3", JHEP 10 (2025) 154, DOI 10.1007/JHEP10(2025)154, arXiv:2506.20133, https://arxiv.org/abs/2506.20133
21. S. Ekhammar, N. Gromov, M. Preti, "Regge trajectories of N=4 SYM. Part I. General Asymptotic Baxter-Bethe Ansatz", JHEP 02 (2026) 027, DOI 10.1007/JHEP02(2026)027, arXiv:2507.15983, https://arxiv.org/abs/2507.15983