McGinnis (2025) recast scattering amplitudes of local quantum field theories with an global symmetry as quantum operations on the Hilbert space of internal quantum numbers, showing that all -invariant scattering operators are spanned by a minimal set of three unitary gates (the identity, a Wigner swap, and a charge-conjugation-type exchange), that crossing symmetry fixes the recoupling relations between scattering channels, and that any interacting theory with an global symmetry must generate entanglement in at least one scattering channel. The rigorous crossing input is the Bros–Epstein–Glaser theorem, which assumes a mass gap, and the framework is confined to four-point amplitudes, equal-dimensional internal spaces, and entanglement as the only analyzed resource. The open problem is the extension program the source itself states: (i) justifying the crossing-based channel relations without a mass gap; (ii) constructing the analogous minimal gate algebras and crossing-imposed recoupling constraints for higher-point () processes; (iii) characterizing the invariant operator algebras for unequal internal spaces with and for subgroup embeddings such as under ; and (iv) determining how other quantum-information resources (measures of maximal entanglement, quantum magic) transform under crossing and recoupling.
Background
Crossing symmetry is the statement, used throughout relativistic scattering theory, that the amplitude for a process such as is the boundary value of a single analytic function whose continuation also yields the amplitudes for 'crossed' processes such as : a particle moved to the other side of the reaction is reinterpreted as its antiparticle. The only fully rigorous justification of this property in general quantum field theory is the theorem of Bros, Epstein and Glaser, which proves crossing for two-particle amplitudes in theories obeying the Wightman axioms (the standard axiomatic framework for relativistic quantum fields) with a mass gap — a nonzero lower bound on the spectrum of the mass operator, which underwrites the needed analyticity domains; Bros extended the crossing domains to processes, still under mass-gap assumptions. No comparable theorem exists for massless or gapless theories, where infrared and collinear singularities complicate the analytic structure: modern work either conjectures generalized multiparticle crossing relations and proves them at tree level (Caron-Huot, Giroux, Hannesdottir and Mizera), or reformulates crossing algebraically as an operator equation in the language of modular theory and tensor categories (Correa da Silva, Giorgetti and Lechner).
In parallel, a quantum-information perspective on scattering has developed. 'Entanglement suppression' is the observation that S-matrices which generate minimal entanglement between the scattered subsystems exhibit enhanced, emergent symmetries (Low and Mehen). McGinnis pushed this to a gate-level correspondence: for scattering of particles carrying an global quantum number, each external particle is viewed as a qudit — a -level quantum system, here — so a fixed-helicity (fixed spin projection along the direction of motion) amplitude is an operator on the internal space (particles in the fundamental representation , antiparticles in the conjugate ). Representation theory then implies that every -invariant scattering operator is a linear combination of three unitary gates: the identity ; the Wigner swap , with the generators of in the fundamental representation; and a charge-conjugation-type exchange operator interchanging two distinguished internal states. Each of and realizes a action (the cyclic group of order two): for particle-particle scattering manifests as spin-statistics, while for particle-antiparticle scattering manifests as charge-conjugation parity. Crossing symmetry is what fixes the recoupling relations between the two natural operator bases,
and it forces entanglement generated from separable states in one scattering channel to be intertwined with the crossed channels. The central theorem is that any interacting quantum field theory realizing an global symmetry must generate entanglement in at least one scattering channel; only free theories escape. 'Quantum magic' (nonstabilizerness) is a further quantum resource, complementary to entanglement, measuring the non-Clifford content of a state or operation — its distance from the Clifford group, the elementary gate set (Hadamard, phase, and controlled-NOT gates) that admits efficient classical simulation — and governing classical-simulability barriers; it is the object of an active literature on scattering, so far computed in spin and helicity spaces.
The framework's rigorous crossing input is the mass-gapped Bros–Epstein–Glaser theorem, and its constructions are confined to four-point amplitudes, to both qudits transforming under the same in equal-dimensional spaces, and to entanglement as the only analyzed resource. The source paper states precisely these as its principal limitations and defers their resolution to future work, while its companion paper supplies the announced quantum-circuit realization of the gate algebra via linear combinations of unitaries and block encoding.
Problem Statement
Establish the crossing-entanglement correspondence of McGinnis (arXiv:2511.10559) beyond its original setting — massive scattering, both particles' internal quantum numbers in equal-dimensional fundamental spaces, and entanglement as the only analyzed resource — by resolving the four directions the source itself identifies as its open limitations, four independent research questions each resolvable on its own:
(1) Gapless regime. Determine whether the crossing-based channel relations — the recoupling constraints among the invariant gates and the conclusion that an interacting -symmetric theory must generate entanglement in at least one scattering channel — survive without a mass gap, i.e. in massless or partially massless theories such as QED or Yang-Mills: either prove the required crossing (analytic continuation) property beyond the mass-gapped Bros–Epstein–Glaser setting, or establish the channel relations by an alternative route; and identify where anomalous thresholds (amplitude singularities produced by on-shell intermediate states in crossed channels) or infrared subtleties obstruct or modify the conclusions.
(2) Higher-point processes. Construct the analogue of the minimal three-gate algebra and of the crossing-imposed recoupling relations for and general -point processes (rigorous crossing domains are known up to ): determine which operators span the space of -invariant higher-point amplitudes, whether a finite minimal generating set exists, and which constraints crossing imposes among the channels of the different multiplicity orderings.
(3) Unequal internal spaces and subgroup embeddings. Characterize the invariant operator algebra, the minimal gate spanning sets, and the crossing/recoupling constraints for scattering between internal Hilbert spaces of different dimensions, with , and for embeddings of subgroup structures into the internal space, such as the branching decomposition (with ) for the embedding .
(4) Resources beyond entanglement. Determine how quantum-information resources other than entanglement — measures of maximal entanglement (the entanglement entropy and Rényi entropies of the outgoing internal-space state) and quantum magic — transform under the crossing and recoupling maps of the framework, and whether crossing enforces necessity-type statements for these resources analogous to the entanglement-necessity theorem.
These four independent directions jointly bear on one objective: deciding whether the correspondence between crossing symmetry and the quantum-information structure of the S-matrix (minimal gate algebra, recoupling constraints, mandatory entanglement) is a general property of quantum field theory or an artifact of the massive four-point, equal-representation, entanglement-only setting in which it was established. Each of the four may be settled independently of the others, and a partial treatment of a direction should state which of its constituent questions it settles and which remain open. The source's fifth announced direction — an explicit quantum-circuit and algorithmic realization of the exchange gate — has been discharged by the author's companion paper (arXiv:2511.10550) via linear combinations of unitaries and block encoding (standard quantum-algorithm techniques for realizing a general operator on a quantum computer), and is therefore excluded from the open core.
References
- N. McGinnis, "Crossing Symmetry and Entanglement," arXiv:2511.10559 [hep-th] (2025). https://arxiv.org/abs/2511.10559
- N. McGinnis, "Quantum Computational Structure of SU(N) Scattering," arXiv:2511.10550 [quant-ph] (2025). https://arxiv.org/abs/2511.10550
- N. McGinnis, "Symmetry, entanglement, and the S-matrix," arXiv:2504.21079 [hep-th] (2025). https://arxiv.org/abs/2504.21079
- K.-F. Lyu, R. Muraleedharan, K. Sinha, "Entanglement, Yang-Mills, and the scattering matrix as an SU(N)-equivariant kernel," arXiv:2511.09623 [hep-ph] (2025). https://arxiv.org/abs/2511.09623
- Y.-Y. Li, I. Low, Y.-L. Wang, Z. Yin, "Quantum Magic in High Energy Collision," arXiv:2608.19095 [hep-ph] (2026). https://arxiv.org/abs/2608.19095
- Q. Liu, I. Low, Z. Yin, "Quantum magic in quantum electrodynamics," arXiv:2503.03098 [quant-ph] (2025). https://arxiv.org/abs/2503.03098
- Q. Liu, I. Low, Z. Yin, "A Quantum Computational Determination of the Weak Mixing Angle in the Standard Model," arXiv:2509.18251 [hep-ph] (2025). https://arxiv.org/abs/2509.18251
- J. Gargalionis, N. Moynihan, S. Trifinopoulos, E. N. V. Wallace, C. D. White, M. J. White, "Spin versus nonstabilizerness in gluon and graviton scattering," arXiv:2508.14967 [hep-th] (2025). https://arxiv.org/abs/2508.14967
- J. Chu, S. Kharel, "Magic without a phase: phase-independent stabilizer Rényi entropy in gluon scattering," arXiv:2607.13134 [hep-th] (2026). https://arxiv.org/abs/2607.13134
- C. E. P. Robin, M. J. Savage, "Anti-Flatness and Non-Local Magic in Two-Particle Scattering Processes," arXiv:2510.23426 [quant-ph] (2025). https://arxiv.org/abs/2510.23426
- S. Chang, T. Driscoll, S. Trifinopoulos, "Next-to-Leading-Order Electroweak Corrections to Quantum Observables in Lepton-Lepton Collisions," arXiv:2608.27559 [hep-ph] (2026). https://arxiv.org/abs/2608.27559
- C. Núñez, M. Pardina, M. Asorey, J. I. Latorre, A. Cervera-Lierta, "Gauge and diffeomorphism invariance from quantum information principles," arXiv:2511.04358 [hep-th] (2025). https://arxiv.org/abs/2511.04358
- M. Blasone, S. De Siena, G. Lambiase, B. Micciola, K. Simonov, "Characterizing entanglement dynamics in QED scattering processes," arXiv:2604.10136 [quant-ph] (2026). https://arxiv.org/abs/2604.10136
- J. Liu, M. Tanaka, X.-P. Wang, J.-J. Zhang, Z. Zheng, "Parameter inference from final-state entanglement in Higgs boson decays," arXiv:2511.17321 [hep-ph] (2025). https://arxiv.org/abs/2511.17321
- Z. Li, J. Liu, X.-P. Wang, J.-J. Zhang, "Flavor–Kinetic Entanglement Production from Decay and Scattering at Finite Density," arXiv:2608.07995 [hep-ph] (2026). https://arxiv.org/abs/2608.07995
- I. Low, P. Goswami, "Entangling Power: A Probe of Symmetry and Integrability in Quantum Many-Body Systems," arXiv:2605.20661 [quant-ph] (2026). https://arxiv.org/abs/2605.20661
- I. Low, J. Koch, S. Ashhab, "Entangling Power and Symmetries in the Quantum Rabi Model," arXiv:2607.12053 [quant-ph] (2026). https://arxiv.org/abs/2607.12053
- G. Rouxinol, Y. Haddad, C. Tüysüz, S. Vallecorsa, M. Grossi, "Physics inspired quantum algorithm for QCD splitting functions," arXiv:2605.06789 [quant-ph] (2026). https://arxiv.org/abs/2605.06789
- J. Bros, H. Epstein, V. Glaser, "A proof of the crossing property for two-particle amplitudes in general quantum field theory," Commun. Math. Phys. 1, 240-264 (1965). doi:10.1007/BF01646307. https://doi.org/10.1007/BF01646307
- J. Bros, H. Epstein, V. Glaser, "Some rigorous analyticity properties of the four-point function in momentum space," Nuovo Cim. 31, 1265-1302 (1964). doi:10.1007/BF02733596. https://doi.org/10.1007/BF02733596
- J. Bros, "Derivation of asymptotic crossing domains for multiparticle processes in axiomatic quantum field theory: A general approach and a complete proof for 2→3 particle processes," Phys. Rept. 134, 325-390 (1986). doi:10.1016/0370-1573(86)90056-6. https://doi.org/10.1016/0370-1573(86)90056-6
- S. Caron-Huot, M. Giroux, H. S. Hannesdottir, S. Mizera, "Crossing beyond scattering amplitudes," JHEP 04, 060 (2024). arXiv:2310.12199 [hep-th], doi:10.1007/JHEP04(2024)060. https://arxiv.org/abs/2310.12199
- R. Correa da Silva, L. Giorgetti, G. Lechner, "Crossing symmetry and the crossing map," Rev. Math. Phys. 36, 2461005 (2024). arXiv:2402.15763 [math-ph], doi:10.1142/S0129055X24610051. https://arxiv.org/abs/2402.15763
- I. Low, T. Mehen, "Symmetry from entanglement suppression," Phys. Rev. D 104, 074014 (2021). arXiv:2104.10835 [hep-th], doi:10.1103/PhysRevD.104.074014. https://arxiv.org/abs/2104.10835