{"id":"e486c6fd-78ca-4495-9535-e55e63aade92","arxiv_id":"2607.27300","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"The exact analytic boundary of unitary infinite-spin-tower amplitudes is derived and shown to be maximal unless energy poles accumulate.","lead":"Physicists map the exact allowed region for a class of four-particle scattering amplitudes (\"infinite-spin-tower\" amplitudes) that obey unitarity, crossing, and hidden-zero conditions. Their analytic boundary is close to earlier numerical bounds and suggests that any remaining gap is filled by amplitudes with branch cuts or accumulating poles.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Boundary curve Eq. (15) is not fully rule-in: unitarity at the last pole of {1,...,n,r} is proven only for n=1,2 and for r > n(e−1); the remaining r interval for general n rests solely on a numerical scan up to n=10, J≤200.","rationale":"The Reader's verdict CONDITIONAL already accounts for both the level-separation necessity and the last-pole unitarity gap. I am flagging the last-pole unitarity as the more sharply load-bearing of the two: the level-separation condition is supported by a sign-change argument that can likely be made rigorous, whereas the last-pole unitarity for general n in the range r∈(n+1,1.718n) is simply unproven and only numerically checked for small n. If the numerical check fails for larger n, the analytic boundary would not be a primal boundary. However, since this gap is already acknowledged by the authors and already incorporated into the Reader's CONDITIONAL verdict, the appropriate verdict remains UNCHANGED. The proposed test would either confirm the numerical pattern for larger n or expose a counterexample, and in the absence of a counterexample an analytic decomposition would upgrade the boundary from numerical to proven.","tokens_in":103,"tokens_out":23223,"duration_ms":263431,"concrete_test":"Extend the numerical partial-wave check of Sec. IV.B to n=11,...,30 with r sampled finely in (n+1,1.718n), spin J up to 600, and working precision 200, looking for any negative c_{r,j}. If a negative coefficient is found, that boundary segment is not primal and Eq. (15) is not a rule-in boundary. If none is found, attempt an analytic proof by decomposing the residue Eq. (36) into a sum of elementary kernels with positive Legendre/Gegenbauer coefficients, e.g. via a total-positivity argument on the product ∏_{k=1}^n (1+cosθ−2k/r)/(1+2k/r−cosθ); a successful decomposition would close the gap for all n,r.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that Eq. (15) is the largest possible primal boundary for meromorphic IST amplitudes, i.e. that every point on it is realized by a unitary amplitude of the product form. Section IV.B proves unitarity at the first n poles, and at the final pole s=r only for n=1,2 analytically, and for r > n(e−1) ~ 1.718n by the positivity of each factor in Eq. (36). In the interval n+1 < r < 1.718n—which is exactly the part of the boundary connecting consecutive integer spectra—unitarity at s=r is not proven. The general proof would require controlling cancellations among the Q_j terms in Eq. (31); the paper instead reports a numerical scan for n=3,...,10, r∈[n+1,1.8n], J≤200, with 100-digit precision. Since r is O(n), this covers only small n. A violation for some n≥11 would place non-unitary points on the claimed boundary, so the abstract's statement that unitary amplitudes are constructed in a primal way is not yet an analytic construction over the full boundary. This is a genuine gap in the derivation of the analytic boundary, not merely a technical annoyance; it is also explicitly acknowledged in the conclusion.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies four-point s,t crossing-symmetric meromorphic amplitudes satisfying the hidden-zero/splitting cocycle equation, arguing that they are forced to the infinite-spin-tower (IST) product form (7). With the pole locations as the only free parameters, the authors propose a necessary unitarity condition on the level separation, derive the analytic boundary (15) corresponding to spectra {1,2,...,n,r}, prove unitarity for evenly spaced spectra and for the first n poles of the boundary family, prove unitarity at the final pole for n=1,2 and for r > n(e-1), and report numerical checks in the remaining interval. They conclude that the boundary is the largest possible for meromorphic IST amplitudes and that the gap to the positivity bounds must be due to non-meromorphic singularities. The paper also constructs a fully crossing-symmetric analogue.","tokens_in":19549,"tokens_out":7727,"duration_ms":70611,"significance":"If the main claim is established, this is a valuable analytic rule-in result: it gives an exact boundary inside the positivity region and sharpens the old question of which UV singularities are compatible with unitarity. The cocycle solution, the boundary formula, and the evenly spaced unitarity proof are clean and largely self-contained. The paper also provides explicit closed-form amplitudes, a high-precision numerical check, and an honest discussion of the gap to the SDPB bounds. The main weakness is that the two load-bearing ingredients — the level-separation necessary condition used in the optimality proof and unitarity at the final boundary pole for generic n — are not fully proven, and these are exactly the ingredients on which the 'largest possible boundary' claim rests.","major_comments":[{"comment":"The necessary condition μ_{k+1}-μ_k ≥ μ_1 for unitarity is stated as a claim and supported by a sign-change argument, but it is not formalized as a theorem. The argument shows that if the separation is smaller, the residue at μ_k has a sign change before t=μ_1, which is incompatible with the positive expansion (13). However, the statement is used as an axiom in Appendix B: the optimality proof of Eq. (15) assumes μ_k ≥ k. If a unitary IST spectrum could violate this separation, denser spectra would not be covered and the boundary could be pushed outward. Please either supply a complete proof of the necessity claim or explicitly state the main theorem as conditional on this separation condition.","section":"§III, Eq. (14) and Fig. 2"},{"comment":"Unitarity at the final boundary pole s=r is proven analytically only for n=1,2 and for r>n(e-1)≈1.718n. For the interval n+1<r≤n(e-1), which is precisely the part of each boundary segment that connects consecutive integer spectra, the paper relies on a numerical scan for n=3,...,10, r∈[n+1,1.8n], J≤200, with 100-digit precision. This leaves n≥11 completely unchecked, and even for n≤10 positivity of the first 200 partial-wave coefficients does not prove positivity of the full infinite Legendre expansion. Since the abstract claims to 'construct such unitary amplitudes' on the full boundary, this gap must be closed or the claim must be qualified as numerical in this region.","section":"§IV.B, Eq. (36) and the numerical paragraph"},{"comment":"The sentence just before Eq. (15) states that all other pole distributions give smaller X for fixed Y, and Appendix B proves this assuming the separation condition μ_{k+1}-μ_k ≥ μ_1 (or μ_k ≥ k). The partial-summation proof itself is sound under that assumption. But the overall conclusion that Eq. (15) is the largest possible primal boundary for meromorphic IST amplitudes has exactly the same status as the unproved necessary condition. In addition, the proof takes the number of states to infinity and assumes the sums converge with no accumulation; this is consistent with meromorphicity but should be stated as an explicit assumption. I recommend that the main theorem be restated with its hypotheses clearly separated from numerical evidence.","section":"§III and Appendix B"}],"minor_comments":[{"comment":"In the introduction, 'we analytically construct meromorphics, t crossing-symmetric amplitudes' should likely read 'meromorphic, s,t crossing-symmetric amplitudes'.","section":"§I"},{"comment":"The conclusion contains a duplicated/garbled sentence: 'Both possibilities imply that amplitudes in the gap contain singularities other than poles. that there are singularities other than poles for the amplitudes in the gap.' Please clean this up.","section":"§VI"},{"comment":"The caption 'Energy separation be larger than μ_1 is necessary for unitarity' should be reworded, e.g. 'The energy separation must be larger than μ_1'.","section":"Fig. 2 caption"},{"comment":"The recurrence in Eq. (38) appears to have a typo: it should be (j+1)Q_{j+1}(x0) = (2j+1)x0 Q_j(x0) - j Q_{j-1}(x0). As written, Q_{j+1} appears on both sides.","section":"Eq. (38)"}],"recommendation":"major_revision","confidential_remarks":"The paper is interesting and likely correct in its broad picture, but the abstract and introduction overstate what is proven. The two gaps identified above — the unproved separation condition and the numerical unitarity check on the boundary interval — are load-bearing for the central claim. I would be comfortable with publication after the authors either close these gaps or carefully restate the main theorem with the conditional status made explicit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague—this paper does something real: it turns part of the numerical S-matrix bootstrap allowed region for meromorphic IST amplitudes into an analytic boundary, and it constructs unitary amplitudes on that boundary in a substantial range of parameter space. The cocycle-to-product derivation in Appendix A is clean and convincing; the evenly-spaced unitarity proof (Section IV.A) is solid; the n=1,2 last-pole proofs are genuine. The boundary curve Eq. (15) and the optimality argument over pole spectra satisfying the separation condition (Appendix B) are new, and the paper is honest about its overlaps with Ref. [33]. The critical-dimension analysis is a nice extra.\n\nThe weak spots are real but openly acknowledged. The optimality claim depends on the level-separation condition mu_{k+1}-mu_k ≥ mu_1 being necessary for unitarity. The paper gives a sign-change argument that is plausible but not a full proof. If that condition fails for some unitary spectrum, the maximal boundary could shift outward. That is a load-bearing assumption, even if it feels right. More concretely, for the boundary spectra {1,...,n,r} with n+1 < r < 1.718n, unitarity at the last pole is proven analytically only for n=1,2; for generic n it rests on a numerical scan up to n=10, J≤200. That interval is exactly the segment connecting consecutive integer spectra, so the abstract's \"construct unitary amplitudes in a primal way\" is slightly stronger than what has actually been shown. The conclusion does flag this, but the abstract and the \"largest possible boundary\" phrasing paper over it. This is not a hidden error; it is a gap in the proof of the central claim.\n\nThe reader's report is about right. The circularity burden is low: they are maximizing X at fixed Y under a stated necessary condition, then comparing with external SDPB bounds. That is legitimate. The paper does not fit to the target; it derives from the structure.\n\nWho is this for? People working on the S-matrix/string bootstrap and the uniqueness of Veneziano/Virasoro-Shapiro. It deserves a serious referee. I would send it to a good hep-th journal, and I would ask the referee to push on two points: (i) find a proof or counterexample for the separation condition, (ii) either close the last-pole unitarity gap for generic n or soften the maximality language. Even with those caveats, the paper is a clear advance within its subfield. I'd cite it if I were working on this. Bring it to reading group if you want a good case study in how far analytic rule-in can go before numerical checks take over.","headline":"A genuinely useful analytic boundary for IST amplitudes, but the maximality claim over the full curve rests on a numerical last-pole check and an unproven separation condition.","tokens_in":19976,"tokens_out":2041,"would_cite":true,"duration_ms":16211,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T30","81U20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Unitarity and hidden-zero conditions fix the exact analytic boundary of infinite-spin-tower amplitudes.","keywords":["infinite-spin-tower amplitudes","hidden zeros","splitting condition","meromorphic amplitudes","unitarity","analytic bootstrap","Veneziano amplitude","Virasoro-Shapiro amplitude"],"falsifier":"Find a meromorphic solution of the splitting equation with positive partial-wave residues at every pole whose spectrum violates μ_{k+1}-μ_k ≥ μ_1 (for example {0,1,r} with r<2). A cleaner test is to numerically maximize X at fixed Y over all spectra satisfying the stated conditions and see if any point lies strictly above the curve (15); the paper's proof says this is impossible without accumulation.","tokens_in":19060,"feed_emoji":"⚛️","tokens_out":3947,"duration_ms":36313,"temperature":0.7,"pith_summary":"The paper studies four-point meromorphic amplitudes that obey the hidden-zero and splitting conditions, which force the amplitude into the form f(s)f(t)/f(s+t). It shows that, together with unitarity, analyticity, crossing symmetry, and polynomial boundedness, the only free parameter is the pole spectrum, and the spectrum itself is constrained: consecutive energy levels must be separated by at least the first mass gap. Under that condition, the largest allowed region for these amplitudes is bounded by an analytic curve corresponding to the sparse spectrum {0,1,2,...,n,r}. The paper argues this curve is the largest possible primal boundary for meromorphic amplitudes without an accumulation point, so the remaining gap to the positivity bounds must be filled by branch cuts or accumulation points rather than simple poles. A sympathetic reader should care because this makes explicit, in closed form, how far unitary meromorphic amplitudes of this class can go, and clarifies what kind of singularity is needed to reach the edge of the positivity region.","feed_headline":"Meromorphic amplitudes pinned to an analytic curve by unitarity","feed_subtitle":"Hidden-zero and splitting conditions, plus unitarity, leave a narrow arc of allowed amplitudes; the gap needs a branch cut.","key_machinery":"The cocycle/splitting equation A(a,b+c)A(b,c)=A(a,b)A(a+b,c) has the general meromorphic solution A(s,t)=C f(s)f(t)/f(s+t). Combined with crossing symmetry and polynomial boundedness, the relevant meromorphic amplitudes take the product form -(s+t)/(st) ∏_{N}(μ_N-s-t)/((μ_N-s)(μ_N-t)). The free data is the ordered pole spectrum {μ_N}; the paper's optimality proof compares any competing spectrum to the extremal one using a partial-summation inequality built from the convexity of x^{3/2}, showing that {0,1,...,n,r} maximizes X at fixed Y.","core_discovery":"For meromorphic solutions of the splitting/cocycle equation, unitarity forces the pole spacings to satisfy μ_{k+1}-μ_k ≥ μ_1. Given this separation, the maximum value of X for a fixed Y is achieved by the spectrum {0,1,2,...,n,r}, r≥n+1, yielding the analytic boundary X = H_n^{(3)} + (Y-H_n^{(2)})^{3/2}/Y for H_n^{(2)} ≤ Y ≤ H_{n+1}^{(2)}. The paper proves this spectrum dominates every other separation-compatible spectrum, so the curve is the largest possible boundary for meromorphic amplitudes with no accumulation point. All other points inside the positivity region must therefore contain non-meromorphic singularities, such as an accumulation point (a branch cut) or a genuine branch cut. Th","pith_inferences":["If the level-separation condition is only necessary but not sufficient, there could exist unitary amplitudes with denser spectra that push the true primal boundary above Eq. (15); testing spectra with μ_2-μ_1<1 would settle this.","The analytic boundary suggests that the numerically observed extremal S-matrix spectra, which contain many high-spin states with exponentially small couplings, may be realized by IST-like amplitudes.","The gap between the primal bound and positivity bounds could be closed from the rule-out side if positivity bounds can distinguish poles from branch cuts, effectively sharpening the dual bootstrap.","For the fully crossing-symmetric case, the dual constraint on spectral density is a candidate signature of the graviton pole being generated by a dense UV tower, a feature that could be probed on the low-energy Wilson coefficients."],"forward_implications":["Every unitary meromorphic amplitude of this class lies on or below the curve X = H_n^{(3)} + (Y-H_n^{(2)})^{3/2}/Y in the (X,Y) plane.","The boundary is realized by the sparse spectrum {0,1,2,...,n,r}, so the first n massive levels are evenly spaced and a single extra pole is pushed out toward infinity.","Any amplitude in the gap between this rule-in boundary and the rule-out positivity region must contain a branch cut or an accumulation point, not just simple poles.","The product construction carries over to fully s,t,u crossing-symmetric amplitudes, where the pole distribution must be neither too dense nor too sparse, tying IR graviton physics to UV spectrum constraints.","Evenly spaced IST amplitudes are unitary in any dimension for n=1,2, and the critical dimension decreases from ~13.16 at n=3 to 10 as n→∞."],"fun_headline_variants":["Unitarity pins infinite-spin tower to a curve","Hidden zero yields exact amplitude boundary","Meromorphic amplitudes: analytic bound from unitarity","Infinite-spin towers: smaller allowed region proven","Tower amplitude boundary beats positivity limits"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing assumption is that unitarity of an IST amplitude requires the energy-level separation condition μ_{k+1}-μ_k ≥ μ_1; if a unitary amplitude could have a denser spectrum, the claimed maximal boundary could be shifted outward.","fun_headline_variants_meta":{"raw":{"variants":["Unitarity pins infinite-spin tower to a curve","Hidden zero yields exact amplitude boundary","Meromorphic amplitudes: analytic bound from unitarity","Infinite-spin towers: smaller allowed region proven","Tower amplitude boundary beats positivity limits"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00014,"raw_usage":{"total_tokens":989,"prompt_tokens":729,"completion_tokens":260,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":473,"completion_tokens_details":{"reasoning_tokens":191}},"tokens_in":473,"tokens_out":260,"duration_ms":3769,"temperature":1.0,"reasoning_tokens":191,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T09:57:52.766732+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a meromorphic solution of the splitting equation with positive partial-wave residues at every pole whose spectrum violates μ_{k+1}-μ_k ≥ μ_1 (for example {0,1,r} with r<2). A cleaner test is to numerically maximize X at fixed Y over all spectra satisfying the stated conditions and see if any point lies strictly above the curve (15); the paper's proof says this is impossible without accumulation.","supporting_citations":[],"review_version":1}