{"id":"60ce1cce-893f-4403-b683-c59feb241b68","arxiv_id":"1908.08426","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Unitarity of four-particle superstring tree amplitudes implies that Hankel matrices built from low-energy coefficients are totally positive, yielding new inequalities involving multiple zeta values, including irreducible ones.","lead":"This paper derives positivity constraints on Hankel determinants of multiple zeta values from unitarity and analyticity of superstring tree-level scattering amplitudes. The result generalizes known inequalities for single zeta values and connects string theory to number theory.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Closed-string positivity step is under-derived, but the explicit product measure in (4.14) establishes it; no load-bearing flaw.","rationale":"The paper's central derivation is sound. For open strings, the residues (1/m) prod_{k<m}(1+t/k) have positive Taylor coefficients, so g_{p,q} = zeta(1,...,1,p+2) = sum_m c_{m,q}/m^{p+1} is a Stieltjes moment sequence; the no-ghost theorem is a physical interpretation, not a logical requirement. For closed strings, the s-channel coefficients Z(p+3,q) are moments with respect to the explicitly positive discrete measure sum_n c_{n,q} n^{-3} delta(y - 1/n), because c_{n,q} are coefficients of (prod_{m<n}(1+t/m))^2. Therefore the Hankel matrices are totally positive and all their minors are positive, including those containing zeta(2,6). The reader's weakest assumption, Gegenbauer positivity of squared residues, is not load-bearing because the explicit factorized form supplies a direct proof. The only genuine caveats are presentational: the asymptotic constant d(0) discrepancy and minor sign/typo issues. These warrant a CONDITIONAL rather than outright acceptance or rejection, and the mathematical result stands. A concrete numerical check of the 3x3 and 4x4 determinants at q = 2, 3 would confirm the claim.","tokens_in":19887,"tokens_out":21782,"duration_ms":218133,"concrete_test":"Verify that c_{n,q} = [t^q] prod_{m=1}^{n-1} (1+t/m)^2 is strictly positive for all n and for q = 2, 3, and then recompute det H_cl^(s)_n[Z_q] for n = 3, 4 with high-precision values of the relevant MZVs (including zeta(2,6)) to 30 digits, confirming positivity. This directly settles whether the Hankel positivity needs an independent no-ghost input.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most vulnerable point is the closed-string positivity step in Section 4.2: after eq. (4.7), the paper asserts that positivity follows from the residues of massive poles having positive Gegenbauer coefficients, citing the no-ghost theorem but not deriving the partial-wave coefficients. If taken literally, this is a gap: the s-channel residue is the square of the open-string residue, and positivity of the square in the Gegenbauer basis is not formally shown. However, this concern does not land, because eq. (4.14) gives an explicit factorized measure: g_{p,q} = Z(p+3,q) = sum_n c_{n,q} n^{-(p+3)} with c_{n,q} = [t^q] prod_{m<n} (1+t/m)^2 > 0. Thus a_p = Z(p+3,q) is a Stieltjes moment sequence with positive discrete measure mu = sum_n c_{n,q} n^{-3} delta(y - 1/n), so the Hankel matrices H_cl^(s)_n[Z_q] are totally positive by the cited theorem, independent of the Gegenbauer expansion. The paper's wording is under-derived, but the mathematical claim is secure. Remaining issues are minor: the d(0) constant discrepancy and small typos.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives positivity constraints on Hankel determinants of multiple zeta values (MZVs) from unitarity and analyticity of massless four-particle superstring tree amplitudes. After reviewing the Stieltjes half-moment theorem, it shows that for the open superstring the low-energy coefficients g^op_{p,q}=ζ(1,...,1,p+2) form moment sequences, so the Hankel matrices H^op_n[ζ_q] are totally positive; this generalizes known results for single zeta values. For the closed superstring, the full amplitude has u-channel poles that spoil naive positivity, but the s-channel contribution A^(s)_cl has coefficients Z(p+3,q), and the paper argues that the associated Hankel matrices Hcl_n^{(s)}[Z_q] are totally positive, yielding new inequalities on rational polynomials containing irreducible MZVs such as ζ(2,6). The paper also explains the cancellation of even zeta values and irreducible MZVs in the full closed-string amplitude and connects the Z(r,q) quantities to the genus-one setup via Zagier's relation.","tokens_in":20074,"tokens_out":28461,"duration_ms":268613,"significance":"If the claims hold, the paper supplies a physical derivation of previously known Hankel positivity for single zeta values and an infinite family of new positivity constraints on MZV polynomials, including cases with irreducible MZVs. A notable strength is that the key positivity is not fitted or conjectural: for fixed q, Eq. (4.14) expresses Z(p+3,q) as an explicit positive discrete Stieltjes measure, so the Hankel determinants are positive by the theorem quoted from [19]. The explicit low-energy expansions, the connection to the single-valued projection, and the link to Zagier's genus-one results make the paper valuable for both the amplitudes and the number-theory communities. The scope is appropriately modest, being limited to four-particle tree amplitudes, and the authors state clearly which aspects would require higher-point or higher-genus generalizations.","major_comments":[],"minor_comments":[{"comment":"The equality g^(s)_p,0 = g^(u)_p,0 is not correct for odd p; from Eq. (2.12) one obtains g^(u)_p,0 = (-1)^p g^(s)_p,0, so for an amplitude with both s- and u-channel poles the t=0 coefficients satisfy g_{2n+1,0}=0 and the full sequence is not a Stieltjes half-moment sequence. The general total-positivity statement in this subsection should be restricted to the s-channel (or colour-ordered) amplitude or to the even-p subsequence, since the subsequent explicit string results do not rely on the incorrect equality.","section":"Section 2.2, Eq. (2.15)"},{"comment":"The text asserts that the closed-string s-channel residues have positive Gegenbauer partial-wave coefficients via the no-ghost theorem, but it does not demonstrate this for the squared residues. The conclusion follows more directly and rigorously from Eq. (4.14): for fixed q, Z(p+3,q)=∑_n c_{n,q} n^{-(p+3)} with c_{n,q}=[t^q]∏_{m<n}(1+t/m)^2>0, which displays the required Stieltjes measure dμ_q(y)=∑_n c_{n,q} n^{-3}δ(y-1/n)dy. This explicit one-line proof should be stated in the text.","section":"Section 4.2, after Eq. (4.7) and around Eq. (4.14)"},{"comment":"The quoted asymptotic constant d(0) is reported as 0.66367, whereas the value attributed to Zagier in [23] is 0.35147; the authors should verify the transcription and reconcile the discrepancy, since both values appear in the same formulas.","section":"Section 3.1, Eqs. (3.10)-(3.11)"},{"comment":"There are several typographical inconsistencies, e.g., 'Euler–Mascharoni' should be 'Mascheroni', 'rˆole' should be 'role', and the Gegenbauer index is written as (D-2)/2 in Eqs. (2.11), (2.15), and (2.16) but as (D-3)/2 elsewhere; these should be harmonized.","section":"General notation"},{"comment":"The summation variable q is used both for the fixed order and for the vector being summed; using a boldface symbol, e.g. \\mathbf{q}, would remove the ambiguity.","section":"Section 4.2, Eq. (4.15)"}],"recommendation":"minor_revision","confidential_remarks":"The central claims are sound and the manuscript is within the journal's scope. The technical error in Section 2.2 (Eq. (2.15)) should be corrected in revision, although it does not affect the explicit string-theory results. The paper would also benefit from spelling out the Stieltjes-measure proof implied by Eq. (4.14) for the closed-string positivity step."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou should know this about arXiv:1908.08426: it is a real result, not a stunt. The authors use the standard unitarity/analyticity positivity machinery on four-particle superstring tree amplitudes and derive total positivity for Hankel matrices whose entries are multiple zeta values, including irreducible MZVs like ζ(2,6). The open-string case is a clean generalization of the single-zeta results of Monien and Haynes–Zudilin, and the closed-string s-channel case gives new inequalities involving irreducible MZVs that cancel in the full amplitude.\n\nWhat is new: the explicit connection between string theory and Hankel determinants of MZVs. The coefficients g^op_{p,q}=ζ(1,...,1,p+2) arise naturally, and the Z(r,q) coefficients in the closed-string s-channel are exactly the quantities Zagier already found in genus-one amplitudes. The Stieltjes moment argument is sound: the Hankel matrices are totally positive because the low-energy coefficients are moments of a positive discrete measure.\n\nThe soft spots are real but minor. The d(0) constant in the quoted asymptotics (3.10)/(3.11) disagrees with the attributed value; that needs checking. Eq. (4.11) has a sign/typo issue. And Section 4.2 asserts the residue positivity of massive closed-string poles from the no-ghost theorem without showing the Gegenbauer coefficients. That last point is the one a referee would press. But the stress-test note is right: the authors' own generating function (4.14) gives a positive discrete measure for the Z(p+3,q) coefficients directly, so the Hankel positivity follows without needing the Gegenbauer expansion. The assertion is under-derived, but the claim is secure.\n\nOne limitation worth stating: this only probes four-particle tree amplitudes, so it touches a small corner of the no-ghost theorem. The paper says as much. The new inequalities are interesting but don't reshape the field.\n\nWho is this for? Anyone working on positivity bounds in amplitudes, and number theorists interested in MZV inequalities. It deserves a serious referee. The main theorem stands. With a few small corrections and a short extra paragraph deriving the positivity from (4.14), it should be published without much fuss.\n\nMy recommendation: send it to peer review; accept after minor revisions.","headline":"Unitarity positivity applied to string tree amplitudes yields new MZV Hankel inequalities; the closed-string gap is cosmetic, not fatal.","tokens_in":20638,"tokens_out":4215,"would_cite":true,"duration_ms":38653,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11M32","15B48","81T30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Unitarity and analyticity of four-particle superstring tree amplitudes force the Hankel matrices of their low-energy multiple-zeta-value coefficients to be totally positive.","keywords":["superstring amplitudes","unitarity bounds","Hankel determinants","multiple zeta values","total positivity","Stieltjes moment sequences","no-ghost theorem","low-energy expansion"],"falsifier":"Evaluate the Gegenbauer partial-wave coefficients of the closed-string $s$-channel amplitude at the first few massive poles; a single negative coefficient would break the Stieltjes moment representation. Independently, compute $\\det H_{\\mathrm{cl}}^{(s,n)}[Z_q]$ to high precision for $n=1,\\ldots,10$ and $q=2,3$; any non-positive determinant would contradict the paper's claim.","tokens_in":19663,"feed_emoji":"🧮","tokens_out":8225,"duration_ms":75871,"temperature":0.7,"pith_summary":"The paper sets out to show that two very general S-matrix principles, unitarity and analyticity, impose algebraic inequalities on the number-theoretic constants that appear in superstring scattering. For the open-string tree amplitude, each low-energy coefficient is a multiple zeta value, and the principles force Hankel matrices with entries $\\zeta(1,\\ldots,1,i+j)$ to be totally positive, meaning every minor has the same sign. For the closed string, the full amplitude's coefficients are not moment sequences, but the $s$-channel pole part is; its Hankel determinants therefore constrain rational polynomials of MZVs, including irreducible ones such as $\\zeta(2,6)$. The simplest cases reduce to known inequalities on Hankel determinants of ordinary zeta values, now placed on a physical footing.","feed_headline":"String unitarity makes zeta Hankel determinants positive","feed_subtitle":"Open and closed superstring tree amplitudes put new inequalities on multiple zeta values, including irreducible ζ(2,6).","key_machinery":"The load-bearing objects are Hankel matrices, meaning matrices whose $(i,j)$ entry depends only on $i+j$, built from low-energy expansion coefficients. For the open string the $(p,q)$ coefficient is $\\zeta(1,\\ldots,1,p+2)$, so the matrix entries are $\\zeta(1,\\ldots,1,i+j)$; for the closed string the $s$-channel coefficients are $Z(r,q)$, defined by the generating function $\\sum_{q\\geq 0} Z(p+3,q)\\,t^q = \\sum_{n\\geq 1} n^{-p-1}\\,(\\Gamma(n+t)/\\Gamma(1+t)\\Gamma(1+n))^2$, and the matrix entries are $Z(i+j+1,q)$. The mechanism is the Stieltjes half-moment theorem: a positive measure on $[0,\\infty)$ whose moments equal these coefficients makes every associated Hankel matrix totally positive. Positivity of the measure follows from partial-wave expansions with positive residues for open strings and, for the closed-string $s$-channel amplitude, from the assumed no-ghost positivity of the Gegenbauer coefficients.","core_discovery":"The paper's central claim is that total positivity of these Hankel matrices is a theorem about superstring tree amplitudes, not a numerical accident. More precisely, in the open superstring the coefficient of $s^p t^q$ is $\\zeta(1,\\ldots,1,p+2)$, so total positivity means every minor of $H_{\\mathrm{op}}^{(n)}[\\zeta_q]$ with entries $\\zeta(1,\\ldots,1,i+j)$ is positive; in the closed superstring, the same reasoning applied to the $s$-channel half of the amplitude makes every minor of $H_{\\mathrm{cl}}^{(s,n)}[Z_q]$ with entries $Z(i+j+1,q)$ positive, where $Z(r,q)$ is a specified combination of multiple zeta values. Since $Z(r,q)$ contains irreducible MZVs when $q\\geq 2$ and $r+q\\geq 8$, the positive-minor conditions are inequalities on rational polynomials of single zeta values and irreducible MZVs such as $\\zeta(2,6)$. The paper also shows that the irreducible MZVs cancel between the $s$- and $u$-channel parts, so the full closed-string amplitude at fixed $t$ is again a rational polynomial in odd zeta values.","pith_inferences":["If the paper is right, the large-$n$ decay of $\\det H_{\\mathrm{cl}}^{(s,n)}[Z_q]$ should be derivable from the high-energy behaviour of the closed-string amplitude; the paper leaves the asymptotic formula open, but deriving it would tie the number theory directly to string dynamics.","The weakest step can be tested independently: expanding the closed-string pole residues at the first few mass levels into Gegenbauer polynomials should show whether all partial-wave coefficients are positive, since a single negative residue would invalidate the Stieltjes moment argument for the closed string.","The same moment-sequence logic applied to $N$-point superstring amplitudes, or to four-point amplitudes with massive external legs, is a natural next test and would exercise the no-ghost theorem more fully than the massless four-point case."],"forward_implications":["All leading principal minors and all minors of $H_{\\mathrm{op}}^{(n)}[\\zeta_q]$ are strictly positive for every $q\\geq 0$ and $n\\geq 1$, giving infinitely many inequalities among rational polynomials of single zeta values.","The closed-string Hankel matrices $H_{\\mathrm{cl}}^{(s,n)}[Z_q]$ are totally positive, so constraints such as $\\det H_{\\mathrm{cl}}^{(s,3)}[Z_2]>0$ restrict rational polynomials that include the irreducible multiple zeta value $\\zeta(2,6)$.","The irreducible MZVs cancel between the $s$- and $u$-channel parts in the full closed-string amplitude, so the full amplitude's low-energy coefficients remain rational polynomials of odd zeta values while the new MZV inequalities are carried by the $s$-channel split alone.","The known positivity of Hankel determinants of ordinary zeta values becomes a special case of the open-string unitarity constraints, now derived from physical principles rather than observed numerically.","The paper presents these inequalities as necessary conditions for superstring tree amplitudes to be unitary, and notes that proving them by independent number-theoretic means remains open."],"supporting_citations":[{"why":"Supplies the general unitarity-and-analyticity positivity framework: low-energy coefficients form a moment curve inside a cyclic polytope.","marker":"[11, 12, 13]"},{"why":"Provides the theorem that total positivity of Hankel matrices is equivalent to the coefficients forming a Stieltjes half-moment sequence with a positive measure.","marker":"[19]"},{"why":"Establishes the prior positivity results for Hankel determinants of single zeta values that the open-string analysis generalizes.","marker":"[23, 24]"},{"why":"Supplies the identification of the closed-string coefficients $Z(r,q)$ as combinations of multiple zeta values, including the irreducible cases that appear at higher $q$.","marker":"[26]"},{"why":"Provides the no-ghost theorem invoked for the positivity of Gegenbauer expansion coefficients of massive pole residues in the closed-string $s$-channel amplitude.","marker":"[20, 21, 22]"},{"why":"Gives the integral representation used to isolate the closed-string $s$-channel and $u$-channel pole contributions.","marker":"[28]"}],"fun_headline_variants":["Superstring unitarity enforces positive zeta Hankels","Total positivity of Hankel matrices from string unitarity","String amplitudes make zeta Hankel minors positive","Unitarity of superstrings forces positivity on zeta Hankels","Zeta Hankel determinants positive: string unitarity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The closed-string result collapses if the residues of the massive $s$-channel poles are not all positive in their Gegenbauer expansion, an assumption the paper invokes from the no-ghost theorem without deriving the partial-wave coefficients.","fun_headline_variants_meta":{"raw":{"variants":["Superstring unitarity enforces positive zeta Hankels","Total positivity of Hankel matrices from string unitarity","String amplitudes make zeta Hankel minors positive","Unitarity of superstrings forces positivity on zeta Hankels","Zeta Hankel determinants positive: string unitarity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000473,"raw_usage":{"total_tokens":2317,"prompt_tokens":876,"completion_tokens":1441,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":492,"completion_tokens_details":{"reasoning_tokens":1362}},"tokens_in":492,"tokens_out":1441,"duration_ms":10424,"temperature":1.0,"reasoning_tokens":1362,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:40:06.474855+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the Gegenbauer partial-wave coefficients of the closed-string $s$-channel amplitude at the first few massive poles; a single negative coefficient would break the Stieltjes moment representation. Independently, compute $\\det H_{\\mathrm{cl}}^{(s,n)}[Z_q]$ to high precision for $n=1,\\ldots,10$ and $q=2,3$; any non-positive determinant would contradict the paper's claim.","supporting_citations":[{"cited_title":"Total positivity of sums, Hadamard products and Hadamard powers: Results and counterexamples","cited_arxiv_id":"1612.02210","evidence_quote":"Provides the theorem that total positivity of Hankel matrices is equivalent to the coefficients forming a Stieltjes half-moment sequence with a positive measure."},{"cited_title":"Electrostatic analog for the virasoro model,","cited_arxiv_id":null,"evidence_quote":"Gives the integral representation used to isolate the closed-string $s$-channel and $u$-channel pole contributions."}],"review_version":1}