REVIEW
Bounds on scattering amplitudes of non-identical scalar particles in 4d
High Energy Physics - Theory · Submitted 8 Sep 2026 · 128 references
Pith's verdict: First systematic primal-bootstrap study of non-identical scalars in 4d; the pseudo-physical region genuinely breaks two-sided boundedness, and the paper's honesty about its main caveat holds up on reading.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
For scattering of non-identical scalar particles of unequal mass, several S-matrix observables are unbounded under unitarity alone.
The reading
What carries the argument
The primal S-matrix bootstrap parametrisation using ρ‑variables ρ₊(s) and ρₘ(t), which map the physical and pseudo‑physical branch cuts to the unit disk, allowing the amplitude to be expanded as a truncated power series with real coefficients α_{a,b,c}. Unitarity is imposed as positive‑semidefinite constraints on 2×2 matrices constructed from the partial‑wave projections of both AB→AB and AA→BB amplitudes. The pseudo‑physical region is the key new structure: a cut below the AA→BB physical threshold whose discontinuity is not bounded by physical unitarity. When this cut is left unconstrained, certain observables diverge as the truncation order N_max increases; when it is tamed (either through equal masses or by providing the discontinuity via an Omnès function), boundedness is restored.
Extended reading notes
Core claim
The paper establishes that in the minimal crossing-closed system of two non-identical scalars (AB→AB and AA→BB), the presence of a pseudo-physical region 4m² ≤ t < 4M² (or equivalently 4m² ≤ s < 4M² for the crossed channel) qualitatively alters the bootstrap landscape. For mass ratio μ = M/m > 1, the coupling λ₀,₀ is unbounded from above and below; λ₂,₀ has a lower bound of zero but no upper bound; λ₂,₁ has a convergent absolute lower bound (e.g., λ₂,₁ ≥ –1.289(3) for μ = 1.5) but no upper bound. The scalar scattering length a₀ is unbounded unless λ₂,₀ is held fixed, in which case a₀ develops a convergent lower bound. For μ = 1 (equal masses), the pseudo-physical region disappears and all couplings acquire compact two-sided regions, which are larger than those for fully identical scalars. As a proof of concept, the paper shows that imposing an Omnès parametrisation on the AA→BBℓ = 0 amplitude in the pseudo-physical region eliminates the unbounded directions, yielding convergent bounds on λ₀,₀, λ₂,₀, λ₂,₁, and a₀.
Load-bearing premise
The authors assume that no anomalous thresholds arise from more complicated reduced Feynman graphs beyond effective triangles (section 3, paragraph after figure 2). If such thresholds existed, the analytic structure of the amplitudes would change and the bootstrap ansatz might miss allowed amplitudes or misjudge boundedness.
Editorial extensions
If this is right
- For any application involving non‑identical hadrons (πK, πN), the pseudo‑physical cut must be incorporated into the bootstrap; otherwise many observables will be unbounded and the allowed region will be unrealistically large.
- The equal‑mass case shows that the space of non‑identical scalars is strictly larger than that of identical scalars, implying that previous identical‑particle bounds are not the tightest possible for distinct–flavour systems.
- The Omnès proof‑of‑concept indicates that experimentally measured or theoretically modelled discontinuities in the pseudo‑physical region can be traded for tighter bounds, providing a pathway to phenomenologically useful constraints.
- The unbounded directions found for λ₀,₀ and a₀ suggest that any primal bootstrap truncated to finite N_max will overestimate the allowed region unless the pseudo‑physical cut is explicitly controlled.
Reading between the lines
- If the full set of four amplitudes (including AA→AA and BB→BB) is bootstrapped together, the analytically continued unitarity relation (7.2) might bound the pseudo‑physical discontinuity more strongly, possibly restoring two‑sided bounds even without extra input.
- The circular cut in the partial‑wave projection of AB→AB (appendix A.4) could affect dispersion‑relation arguments that rely only on fixed‑t analyticity; a careful treatment of that cut may tighten the analytic bounds on λ₂,₁ and related couplings.
- The paper’s results imply that a future bootstrap of πK→πK will require either experimental input for the ππ→ K̅K discontinuity below threshold or a theoretical constraint (e.g., from chiral perturbation theory) to obtain closed allowed regions for all couplings.
- The exponential growth of upper bounds with N_max seen for many observables resembles the toy model in footnote 18; it suggests that without control over the pseudo‑physical region, the primal method cannot distinguish between physically allowed amplitudes and artefacts of the truncation.
Original abstract
We initiate the study of two-to-two scattering amplitudes involving two distinct scalar particles in $d = 4$ spacetime dimensions using the primal S-matrix bootstrap. We impose a $\mathbb{Z}_2 \times \mathbb{Z}_2$ global symmetry under which the two particles are the lightest ones carrying charges $(-,+)$ and $(+,-)$, guaranteeing their absolute stability and absence of triangular anomalous thresholds. For unequal masses, the presence of a pseudo-physical cut whose discontinuity is not directly constrained by physical unitarity qualitatively changes the bootstrap problem. We find several observables to be unbounded, while others obey non-trivial one-sided bounds or become bounded once another observable is fixed. In the equal-mass limit, where the pseudo-physical region disappears, two-sided bounds are recovered. As a proof of concept, we show that supplying information about the pseudo-physical discontinuity through an Omn\`es parametrisation also restores boundedness. Our results provide a starting point for future studies of physical processes such as pion-kaon and pion-nucleon scattering.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We initiate the study of two-to-two scattering amplitudes involving two distinct scalar particles in $d = 4$ spacetime dimensions using the primal S-matrix bootstrap. We impose a $\mathbb{Z}_2 \times \mathbb{Z}_2$ global symmetry under which the two particles are the lightest ones carrying charges $(-,+)$ and $(+,-)$, guaranteeing their absolute stability and absence of triangular anomalous thresholds. For unequal masses, the presence of a pseudo-physical cut whose discontinuity is not directly constrained by physical unitarity qualitatively changes the bootstrap problem. We find several observables to be unbounded, while others obey non-trivial one-sided bounds or become bounded once another observable is fixed. In the equal-mass limit, where the pseudo-physical region disappears, two-sided bounds are recovered. As a proof of concept, we show that supplying information about the pseudo-physical discontinuity through an Omn\`es parametrisation also restores boundedness. Our results provide a starting point for future studies of physical processes such as pion-kaon and pion-nucleon scattering.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We initiate the study of two-to-two scattering amplitudes involving two distinct scalar particles in $d = 4$ spacetime dimensions using the primal S-matrix bootstrap. | contribution 1.00 | 0.93 | 0.04 | asserted 0.99 |
| s1 | We impose a $\mathbb{Z}_2 \times \mathbb{Z}_2$ global symmetry under which the two particles are the lightest ones carrying charges $(-,+)$ and $(+,-)$, guaranteeing their absolute stability and absence of triangular anomalous thresholds. | method 0.88 | 0.79 | 0.03 | asserted 1.00 |
| s2 | For unequal masses, the presence of a pseudo-physical cut whose discontinuity is not directly constrained by physical unitarity qualitatively changes the bootstrap problem. | result 0.38 | 0.40 | 0.11 | asserted 0.99 |
| s3 | We find several observables to be unbounded, while others obey non-trivial one-sided bounds or become bounded once another observable is fixed. | result 1.00 | 0.96 | 0.67 | asserted 1.00 |
| s4 | In the equal-mass limit, where the pseudo-physical region disappears, two-sided bounds are recovered. | result 0.99 | 0.87 | 0.18 | asserted 1.00 |
| s5 | As a proof of concept, we show that supplying information about the pseudo-physical discontinuity through an Omn\`es parametrisation also restores boundedness. | result 0.56 | 0.94 | 0.09 | asserted 1.00 |
| s6 | Our results provide a starting point for future studies of physical processes such as pion-kaon and pion-nucleon scattering. | future work 0.98 | 0.30 | 0.05 | asserted 0.66 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.