{"id":"f1943f6b-8e5a-4b3f-adab-3e3674a892c7","arxiv_id":"2608.05278","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The five-point de Sitter higher-spin correlator is shown to be a spurious-singularity-free rational function organized by graph-theoretic orbits of the complete graph K5.","lead":"This paper computes the five-point correlator of scalar fields in a holographic model of higher-spin gravity in de Sitter space, showing it is a rational function with singularities controlled by graph geometry. The result gives a concrete example of an exactly solvable higher-spin cosmology toy model and suggests a combinatorial bootstrap for all higher-point correlators.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The five-point formula (4.30) rests on a finite-field reconstruction whose ansatz completeness and modular lift are not fully established; an error there would invalidate the central claim, though existing numerical and independent-reduction checks mitigate the risk.","rationale":"The reader identified the conjectural dS/CFT dictionary as the weakest assumption, but that assumption concerns the physical interpretation rather than the internal mathematical validity of Eq. (4.30). The more load-bearing internal step is the finite-field reconstruction used to pass from the gauge-fixed cancellation to the covariant numerator. If the reconstruction is incomplete, the central formula could be wrong even though the integral reduction setup is correct. The paper provides reassuring cross-checks: the box result matches [80], the pentagon is numerically verified against the integral (4.1), and Appendix B gives an independent reduction that is stated to provide a strong numerical cross-check. These make a reconstruction error unlikely, but they do not replace a complete symbolic verification. The proposed exact-algebraic check would settle the issue directly. Since the existing evidence is strong and the reconstruction problem is a standard computational technique, the reader's ACCEPT verdict remains appropriate; the concern does not by itself undermine the paper, but it identifies the step that a skeptical referee should probe. An UNCHANGED verdict is therefore recommended, pending the outcome of the concrete test.","tokens_in":36000,"tokens_out":25997,"duration_ms":235529,"concrete_test":"Recompute the gauge-fixed numerator N_gf exactly over Q using the Melrose reduction (4.4) and the explicit box results, and verify with exact computer algebra that each coefficient r_gamma(y) is divisible by Omega_5 as a polynomial in the nine gauge-fixed variables. Then reconstruct each h_gamma by solving the linear system (4.24) over Q, or over a second large prime such as p=32009 combined by Chinese remaindering with the p=32003 result, and compare the terms of N_phys with the claimed (4.26), (4.27), and (4.29). A term-by-term match over Q would certify the identity; a mismatch would localize the failure of the reconstruction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the spurious-free rational form of the ordered pentagon integral. The proof has two stages: (i) gauge-fix the kinematics and show that the numerator N_gf is divisible by Omega_5, so the spurious pole Delta_5 cancels, and (ii) reconstruct the physical numerator N_phys = sum_gamma h_gamma X_gamma as a polynomial in the ten squared distances using an ansatz (4.24) with coefficients fitted over the finite field F_32003 and lifted to small integers, with verification only at additional sample points. Stage (ii) is the load-bearing step. If the ansatz is incomplete (e.g., the true h_gamma contains monomials of higher degree in k_I^2, or terms not invariant under the assumed stabilizer), or if the single-prime modular lift contains an artifact that survives the finite set of verification points, then Eq. (4.30) is wrong and all subsequent singularity analysis, including the Ptolemy factors, soft/collapsed limits, and conformal Ward identity, is built on an incorrect expression. The paper asserts independence of the cycle monomials and the divisibility of each coefficient, but it does not exhibit the full symbolic computation; the reader is asked to trust the finite-field reconstruction and the claim that the modular coefficients have small integer lifts, verified at additional kinematic points. No complete symbolic derivation of (4.30) is given in the text. This is the weakest spot in the argument: the conjectural dS/CFT dictionary affects interpretation, but a reconstruction error would make the headline mathematical result itself false.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies momentum-space boundary correlators in the conjectural dS4 minimal higher-spin/vector-model duality. It reviews how connected n-point scalar correlators are represented by three-dimensional one-loop n-gon integrals, derives the rational four-point box result (Eq. 3.13), and presents a spurious-free five-point pentagon representation, Eq. (4.30), whose numerator is organized by S5 orbits of triangles, Hamiltonian cycles, and triangle complements of K5. It then verifies the conformal Ward identities for the four- and five-point correlators and analyzes their soft, collapsed, and Ptolemy singularities, using these structures to propose a combinatorial bootstrap for higher multiplicities.","tokens_in":36201,"tokens_out":7247,"duration_ms":69896,"significance":"If the five-point result is correct, the paper provides a concrete exact higher-point correlator in a de Sitter higher-spin model, with a clean graph-theoretic organization and a detailed singularity analysis that goes beyond the previously known four-point result. The derivation is anchored in standard Melrose reduction and is cross-checked in several independent ways: the four-point result reproduces the known expression of [80], the pentagon numerator is checked numerically against the integral definition, and Appendix B provides an independent van Neerven-Vermaseren reduction. The conjectural dS/CFT dictionary affects the cosmological interpretation of the result but not its validity as a free-vector-model correlator; the rational functions themselves stand on their own. The paper is clearly written and the ancillary Mathematica notebook is a useful reproducibility aid.","major_comments":[{"comment":"The finite-field reconstruction of the physical numerator Nphys is the load-bearing step of the paper, and its completeness is not established. The ansatz restricts each hγ to monomials of fixed degree in the squared distances and to terms invariant under the stabilizer, but the text does not prove that the true hγ lies in this span; it only states that using slightly more equations than unknowns avoids accidental rank deficiency. A polynomial system can agree at finitely many evaluation points yet differ globally, and a lift of coefficients from F_32003 to small integers is not by itself a proof that the lifted polynomial satisfies N5 = h1 Δ5 + h2 G5 over Q. I request either a complete symbolic derivation and verification of Eq. (4.30), or an explicit proof that the evaluation points separate the ansatz space, together with a rational reconstruction procedure (for example, multiple primes and an exact final check of the identity on the physical locus).","section":"Sec. 4.2.2, Eq. (4.24)"},{"comment":"The claim that the distinct cycle monomials are independent and that the spurious pole must cancel coefficient-by-coefficient is asserted without proof. After gauge fixing, the κI(y) are polynomials in the nine component variables and are not independent: the Gram constraint G5 = 0 imposes one relation among the ten distance variables. The text does not rule out relations among the square-root monomials Xγ that could mix the coefficients rγ. Please supply the relevant algebraic-independence statement, or an explicit elimination/Gröbner basis computation showing that the expansion (4.21) is unique on the gauge-fixed locus.","section":"Sec. 4.2.1, Eqs. (4.21)-(4.22)"},{"comment":"The final five-point representation is given only through one representative coefficient for each of the three S5 orbits, with the full expanded numerator relegated to an ancillary notebook. Since Eq. (4.30) is the central result of the paper, the text should either display the complete numerator or provide an explicit algorithmic recipe that generates it from Eqs. (4.26)-(4.29) and verifies it against the integral. As written, the reader cannot independently check the identity without trusting the notebook and the finite-field reconstruction described in Sec. 4.2.2.","section":"Sec. 4.3, Eq. (4.30)"},{"comment":"The general-n physical denominator Dphys = ∏_{kI ∈ En} kI ∏_i F^{(i)}_{++} is presented as a statement, but spurious-pole cancellation has only been established for n = 4 and n = 5. For n ≥ 6, the iterated Melrose reduction introduces many additional Landau polynomials whose cancellation is not analyzed. The text should explicitly label Eq. (5.9) as a conjecture or provide a proof, since the combinatorial bootstrap proposed in Sec. 6 relies on this extrapolation.","section":"Sec. 5.2, Eq. (5.9)"}],"minor_comments":[{"comment":"The Källén function λ(a,b,c) is used without definition; please define it at first use for readers not familiar with this notation.","section":"Sec. 3.2, Eq. (3.7)"},{"comment":"The notation f^{(n)}_{l1···lD+1} in Eq. (2.19) is introduced before the meaning of the final set {l1,...,lD+1} is fully explained; a sentence clarifying that these are the surviving internal momenta would improve readability.","section":"Sec. 2.2.2, Eqs. (2.17)-(2.20)"},{"comment":"The dual vertex x5 is defined as (1+y1+y4+y7, y2+y5+y8, y3+y6+y9), but x5 should equal -k5 after momentum conservation; the text should explicitly state that k5 is fixed by k5 = -(k1+k2+k3+k4) before this parametrization.","section":"Sec. 4.2.1, Eq. (4.12)"},{"comment":"The product limits in the soft and collapsed formulas use cyclic indices that are somewhat opaque; a sentence explaining the convention (or rewriting the products with explicit cyclic ranges) would prevent misreading.","section":"Sec. 5.2, Eq. (5.11)"},{"comment":"The discussion of the Grassmannian formulation cites the companion paper [81] for the four-point result; it would be helpful to state explicitly which parts of the present five-point result depend only on the vector-model computation and which parts rely on the conjectural holographic dictionary.","section":"Sec. 6"}],"recommendation":"major_revision","confidential_remarks":"The paper's central mathematical claim is plausible and receives substantial cross-checks, but the text currently asks the reader to trust a finite-field reconstruction whose ansatz completeness and modular lift are not fully established. This is a fixable verification gap rather than a reason to reject. The self-citations [80,81] supply prior results and are appropriate; I see no novelty or attribution concerns. The full numerator should be made available in a directly checkable form in the revised version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear X,\n\nThe headline: this paper has the first clean five-point scalar correlator in the dS4 higher-spin/vector model, and the graph-theoretic structure of the answer is genuinely new. The box is a re-derivation of the known result from [80], but the pentagon reduction, the Gram-constraint cancellation of the apparent Landau pole, and the S5 orbit decomposition into triangles, Hamiltonian cycles, and triangle complements are original as far as I can tell. The conformal Ward identity check and the soft/collapsed/Ptolemy limit analysis are done carefully.\n\nThe main soft spot is the finite-field reconstruction in §4.2.2. The authors solve for the numerator coefficients modulo p=32003, lift to small integers, and verify at extra kinematic points. The concern that the ansatz could be incomplete or the lift spurious is real. The paper does not present a full symbolic derivation of (4.30), so a reader has to trust the reconstruction. But the weight of this worry is limited by two independent checks: a numerical comparison against the integral and a separate van Neerven–Vermaseren reduction in Appendix B that reproduces the same answer. Those make it improbable that (4.30) is wrong.\n\nA secondary caveat sits outside the mathematics. The interpretation as dS higher-spin gravity observables depends on the conjectural Q-model/free-vector-model duality. If that fails, the correlators remain well-defined free-field objects but the cosmological significance of the Ptolemy singularity structure weakens. The authors flag this dependence.\n\nThe citation pattern is fine. The setup is cited to [79,80], the four-point result to [80], and the Cayley-Menger irreducibility to D'Andrea–Sombra. Nothing looks like citation padding.\n\nFor a referee, the main request should be a more explicit account of the reconstruction: degree bounds, number of sample points, and ideally the raw output confirming divisibility by Omega_5. That is revision-grade, not rejection-grade. The paper deserves peer review.","headline":"The five-point result is new and likely correct; the finite-field reconstruction is a real limitation but not a fatal one.","tokens_in":36812,"tokens_out":2632,"would_cite":true,"duration_ms":23269,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"dS4 higher-spin correlators are rational; at five points the pentagon reduces to an orbit sum over K5 subgraphs, the leading Landau singularity cancels on the Gram locus, and physical poles are only soft, collapsed, and Ptolemy.","keywords":["higher-spin gravity","de Sitter holography","cosmological correlators","momentum-space bootstrap","one-loop n-gon integrals","spurious singularities","Ptolemy relation","rational functions"],"falsifier":"Integrate the ordered pentagon integral (4.1) numerically at real physical momenta that satisfy the Gram constraint $G_5 = 0$ and lie on the apparent Landau locus $\\Delta_5 = 0$ but away from $D_{\\rm phys} = 0$: the spurious-cancellation claim predicts a finite value, and a divergent result would refute it. A sharper test is the hexagon: if the combinatorial bootstrap is right, $I_{123456}$ should again be rational, with $\\Delta_6$ cancelling on the two Gram constraints and the numerator organizing into $S_6$ orbits of subgraphs of $K_6$; any genuine new physical singularity beyond the soft, collapsed, and Ptolemy loci at $n = 6$ would falsify the general-$n$ claim.","tokens_in":35714,"feed_emoji":"🌌","tokens_out":19201,"duration_ms":142699,"temperature":0.7,"pith_summary":"The paper works in the only known exactly solvable toy model of stringy cosmology: minimal higher-spin gravity in four-dimensional de Sitter space, described holographically by a free vector model whose connected $n$-point functions are three-dimensional one-loop $n$-gon integrals. It establishes that every such correlator is a rational function of the boundary momenta, with a singularity structure governed by the geometry of a dual polygon rather than by the energy poles of ordinary effective field theory. At four points the only surviving physical singularity is a Ptolemy relation, $st + k_1k_3 + k_2k_4 = 0$, the momentum-space analogue of the cyclic-quadrilateral theorem that the product of the diagonals equals the sum of the products of opposite sides. At five points the apparent leading Landau pole of the pentagon integral is shown to be spurious, cancelling exactly once the Gram constraint (the algebraic relation forced by having five momentum vectors in three dimensions) is imposed, and the final expression organizes into orbits of subgraphs of the complete graph $K_5$. The paper argues that this graph combinatorics points toward a bootstrap in which conformal invariance and the physical singularities of all $n$-point correlators emerge from the complete graph $K_n$.","feed_headline":"Five-point dS correlator: one rational function, no spurious poles","feed_subtitle":"An infinite higher-spin tower resums into K5 graph orbits; singularities are only soft, collapsed, or Ptolemy.","key_machinery":"The engine of the computation is the Melrose reduction of one-loop $n$-gon integrals, driven by rank deficiencies of three nested kinematic matrices: the Cayley matrix $Y_n$, the modified Cayley matrix $\\bar{Y}_n$, and the Cayley–Menger matrix $CM_n$. In $D=3$ the linear single-step reduction collapses every pentagon into five boxes, the quadratic reduction collapses every box into four triangles, and the triangle integral evaluates to $1/(k_1k_2k_3)$, so carrying the hierarchy to completion proves rationality of every $n$-point correlator. The five-point spurious-pole cancellation rests on a gauge-fixing trick followed by reconstruction: with external momenta parametrized by nine component variables, the pentagon's leading Landau polynomial becomes the perfect square $\\Delta_5|_{\\rm gf} = -8\\Omega_5^2$, the reduction coefficients carry one factor of $\\Omega_5$ each, and the apparent pole cancels precisely when every coefficient of every cycle monomial $X_\\gamma$ is divisible by $\\Omega_5$; the surviving coefficients are then reconstructed as polynomials in the ten squared distance variables, a step performed over a finite field and lifted to the integers.","core_discovery":"The central result is the spurious-free reduction of the ordered five-point correlator, $I_{12345} = (N_\\triangle + N_H + N_{\\bar\\triangle})/D_{\\rm phys}$ (Eq. 4.30), obtained from the three-dimensional pentagon integral by the Melrose reduction through boxes to triangles. The numerator is a polynomial whose 32 monomials form three complete $S_5$ orbits in the edge set of the complete graph $K_5$ on the five dual vertices: ten triangles (3-cycles), twelve Hamiltonian cycles (5-cycles visiting every vertex once), and ten triangle complements (the seven edges left after deleting a triangle), with representative coefficients given in Eqs. (4.26), (4.27), and (4.29). The physical denominator $D_{\\rm phys}$ is the product of the ten edge lengths of $K_5$, producing the soft and collapsed singularities, times five four-point Ptolemy factors $F^{(i)}_{++}$ inherited from the box subgraphs. The apparent leading Landau singularity $\\Delta_5 = \\det \\bar{Y}_5$ cancels only after the physical Gram constraint $G_5 = 0$ is imposed; gauge-fixing the kinematics makes $\\Delta_5$ a perfect square, $\\Delta_5|_{\\rm gf} = -8\\Omega_5^2$, so the cancellation is the statement that every cycle-monomial coefficient of the numerator is divisible by $\\Omega_5$. The four-point correlator emerges as the special case in which only the branch $st + k_1k_3 + k_2k_4$ survives among the four Landau factors, and the paper reports numerical verification of the five-point formula against the original integral (4.1).","pith_inferences":["The hexagon is the natural decisive test of the proposed bootstrap: if at $n = 6$ the spurious leading Landau pole again cancels on the two Gram constraints and the numerator falls into $S_6$ orbits of subgraphs of $K_6$, the construction becomes a practical framework for all multiplicities; if not, the five-point structure is a low-multiplicity accident.","The paper frames the resummed correlator as a cosmological analogue of the Veneziano amplitude but does not check the analogue of flat-space ultraviolet softness; a direct test would be whether $I_{12345}$ stays finite in the total-energy limit $E \\to 0$, where ordinary EFT correlators diverge.","If the rationality result carries over to the graviton bilinear through cosmological weight-shifting operators, the entire class of holographic higher-spin correlators in dS4 would be governed by the same $K_n$ graph combinatorics, giving a momentum-space counterpart to the Grassmannian representation already found at four points."],"forward_implications":["Every connected scalar $n$-point correlator of the model is a rational function of the boundary kinematics, for every $n$, because the reduction hierarchy terminates at the elementary triangle integral.","Four-point correlators have no total- or partial-energy singularities; their only nontrivial physical singularity is the Ptolemy locus $st + k_1k_3 + k_2k_4 = 0$, in sharp contrast to ordinary perturbative EFT correlators.","At five points the leading Landau singularity of the pentagon is spurious and cancels on the Gram locus; the physical singularities are exactly the soft limits (an edge length of $K_5$ vanishing), the collapsed limits (a partial sum of momenta vanishing), and the Ptolemy limits of the five box subgraphs.","Both the four- and five-point ordered correlators satisfy the momentum-space conformal Ward identities, the pentagon on the Gram locus $G_5 = 0$.","The paper proposes that the $S_5$-orbit structure of the five-point numerator signals a combinatorial bootstrap in which conformal invariance and the singularity structure of all $n$-point correlators emerge from the graph combinatorics of $K_n$."],"supporting_citations":[{"why":"Supplies the Q-model holographic setup: Wick contractions give the n-gon integral representation (2.5) in the Gaussian Hartle–Hawking state, and the four-point result this paper reproduces.","marker":"[80]"},{"why":"Melrose reduction; its nested Cayley-matrix identities and formulas (2.17) and (2.20) turn every n-gon into triangles and drive the whole computation.","marker":"[89]"},{"why":"The Sp(N) de Sitter higher-spin realization whose boundary wavefunction the Q-model sharpens; anchors the conjectural dS holographic dictionary the paper relies on.","marker":"[79]"},{"why":"Proof that the Cayley–Menger determinant is irreducible for n ≥ 3, used to argue Δ5 cannot cancel factor by factor and must cancel globally on the Gram locus.","marker":"[87]"},{"why":"van Neerven–Vermaseren basis; Appendix B uses it as an independent reduction route that cross-checks the Melrose results.","marker":"[96]"},{"why":"The cosmological bootstrap framework: the momentum-space conformal Ward identities used in Section 5 and the total-energy singularity discussion framing the stringy motivation.","marker":"[2]"},{"why":"Companion Grassmannian work giving the four-point correlator the form (S^2+T^2+U^2)/(STU), which motivates the search for a graph-theoretic organization extended here to five points.","marker":"[81]"},{"why":"Target of the numerical check in Section 6: the continued three-dimensional four-mass box amplitude from the Euclidean box result.","marker":"[132]"}],"fun_headline_variants":["Five-point dS correlators: pure graph combinatorics","Ptolemy rules for dS higher-spin correlators","Spurious-free five-point function from K5 orbits","Higher-spin dS correlators: a combinatorial bootstrap","No fake singularities: dS correlators from graph theory"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the free vector-model Q-model in the Gaussian Hartle–Hawking state is the exact holographic dual of minimal higher-spin gravity in de Sitter space; if that conjectural dictionary fails, the rational functions computed here remain correlators of the free field theory, but their status as de Sitter higher-spin gravity observables, and the cosmological significance of the Ptolemy singularity structure, is not established.","fun_headline_variants_meta":{"raw":{"variants":["Five-point dS correlators: pure graph combinatorics","Ptolemy rules for dS higher-spin correlators","Spurious-free five-point function from K5 orbits","Higher-spin dS correlators: a combinatorial bootstrap","No fake singularities: dS correlators from graph theory"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000557,"raw_usage":{"total_tokens":2721,"prompt_tokens":1089,"completion_tokens":1632,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":705,"completion_tokens_details":{"reasoning_tokens":1550}},"tokens_in":705,"tokens_out":1632,"duration_ms":10933,"temperature":1.0,"reasoning_tokens":1550,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T16:24:15.745516+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Integrate the ordered pentagon integral (4.1) numerically at real physical momenta that satisfy the Gram constraint $G_5 = 0$ and lie on the apparent Landau locus $\\Delta_5 = 0$ but away from $D_{\\rm phys} = 0$: the spurious-cancellation claim predicts a finite value, and a divergent result would refute it. A sharper test is the hexagon: if the combinatorial bootstrap is right, $I_{123456}$ should again be rational, with $\\Delta_6$ cancelling on the two Gram constraints and the numerator organizing into $S_6$ orbits of subgraphs of $K_6$; any genuine new physical singularity beyond the soft, collapsed, and Ptolemy loci at $n = 6$ would falsify the general-$n$ claim.","supporting_citations":[{"cited_title":"The Cayley-Menger determinant is irreducible for $n\\geq 3$","cited_arxiv_id":"math/0406359","evidence_quote":"Proof that the Cayley–Menger determinant is irreducible for n ≥ 3, used to argue Δ5 cannot cancel factor by factor and must cancel globally on the Gram locus."},{"cited_title":"Amplitudes of 3d Yang Mills Theory","cited_arxiv_id":"1207.6176","evidence_quote":"Target of the numerical check in Section 6: the continued three-dimensional four-mass box amplitude from the Euclidean box result."}],"review_version":1}