{"id":"c0bf0ffd-5520-4db4-a71d-51217fae238f","arxiv_id":"2509.05916","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper uses partially lifted random duality theory to derive matching ground-state-energy bounds for spherical multipartite pure p-spin models and proves the Subag and Dartois-McKenna formulas agree exactly.","lead":"This paper develops a simplified random dual bound for the ground state energy of multipartite p-spin models and proves the upper and lower bounds coincide for spherical spins, giving the exact value. It also proves analytically that two earlier formulas, one by Subag and one by Dartois and McKenna, are identical.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Spherical exactness rests on an imported lower bound: Theorem 2 gives only a one-sided LDP; the matching quenched lower bound for Eq. (33) is never proved.","rationale":"The reader's weakest_assumption and this stress-test pass identify the same load-bearing concern: the spherical exactness claim is the central contribution, and the paper's own derivation supplies only the upper tail. I sharpen the concern: the missing lower bound is not merely an imported citation, but a quenched existence statement that annealed critical-point complexity alone does not provide. The algebraic matching of [116] and [39] is secondary; even if it is correct, it only shows that two other predictions agree with the new upper-bound formula, not that the lower bound holds. The paper's own Ising section explicitly flags that equality requires unproved tightness, and the spherical section has no analogous caveat. Since the result is likely true and supported by prior literature, but the manuscript itself does not contain the needed lower-bound proof, the existing CONDITIONAL verdict is appropriate. Minor issues such as the A^(j) dimension typo in Theorem 1 are cosmetic and do not affect this assessment.","tokens_in":22131,"tokens_out":17660,"duration_ms":168551,"concrete_test":"Extract from [26] (or prove directly) the quenched lower bound for ζ(p; Sn, n): for every ε > 0, P(ζ(p; Sn, n) ≥ u_GS − ε) → 1, where u_GS is the root of φ_Sn(p, u) = 0 in Eq. (61). Concretely, write out the second-moment argument for the number of critical points of the p-tensor Hamiltonian at normalized levels below u_GS, with i.i.d. N(0, 1) entries and the 1/√n scaling of Eq. (33). If the argument requires symmetrized tensors or a different GOE-type normalization, compare entry-by-entry with (5)-(33); any mismatch means (64)-(65) should be weakened to an upper bound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central equality ξsph(p) = √p u_GS (Eqs. (64)-(65)) needs both directions. Theorem 2 (Eq. (43)) is a Chernoff/Markov upper bound on limsup_n (1/n) log P(ζ(p; Sn, n) ≥ u); it yields the upper side via Borel-Cantelli but nothing below u_GS. The lower side—P(ζ ≥ u_GS − ε) → 1—is not derived in the paper. Instead, the text appeals to the critical-point exponent of Auffinger–Ben Arous–Cerny [9] and to Bates–Sohn [26]. An annealed first-moment complexity Σ(u) = (1/n) log E[N_crit(u)] > 0 does not by itself imply existence with high probability; a quenched/second-moment argument is required, and no such argument is stated for the normalization in Eq. (33). Similarly, the Bates–Sohn lower bound is cited rather than specialized to the identical-sphere multipartite normalization of (5)/(33), so the claimed match is asserted rather than demonstrated. The Ising case is explicitly conditional ('Provided that (101) holds with equality'), and no analogous proved condition is given for spherical equality. If the imported lower bound does not apply at this exact normalization, the paper establishes only an upper bound, and the abstract's 'bounds actually match' is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a 'partially lifted random duality theory' (pl RDT) mechanism to produce upper and lower bounds for ground state energies of multipartite pure p-spin models with arbitrary spin sets. A Gaussian comparison argument (Theorem 1) gives non-asymptotic bounds, and specializing to identical spherical or Ising spin sets yields large deviation upper bounds for the normalized maximum of the p-spin Hamiltonian (Theorems 2 and 3). The paper claims that for fully spherical sets the upper and lower bounds match, giving exact ground state energies that agree with Subag's TAP prediction, the Dartois-McKenna upper bound, and the Bates-Sohn lower bound; for Ising sets it presents numerical evidence and an explicitly conditional equality.","tokens_in":1330,"tokens_out":1494,"duration_ms":50717,"significance":"If the exactness claim for spherical multipartite pure p-spin models were fully proved, the paper would provide a clean, unified derivation of known ground state energy formulas via a relatively simple large deviation mechanism. The upper-bound side and the algebraic matching with [39] and [116] are valuable and largely self-contained. The paper is also honest in stating the Ising equality as conditional and in posing open questions about set structures for which the bounds match. However, the central spherical exactness claim is not established within the manuscript: only a one-sided large deviation bound is proved, and the matching lower bound is imported from external results without the required normalization-specific verification.","major_comments":[{"comment":"Theorem 2 proves only the one-sided bound limsup_n (1/n) log P(zeta(p; S_n, n) >= u) <= phi_Sn(p,u). The subsequent identities xi_sph(p) = u_GS and xi_sph(p) = sqrt(p) u_GS require the matching lower direction, i.e. that zeta(p; S_n, n) is at least u_GS - epsilon with probability tending to 1 at the normalization of Eq. (33). That lower bound is not derived. The appeal to the expected critical-point complexity of [9] and to the balanced multi-species lower bound of [26] supplies, at best, annealed information or results for different normalizations; no second-moment or quenched argument is given for the identical-sphere multipartite normalization. Since the abstract's claim that the bounds 'actually match' in the spherical case rests on this missing direction, this is a load-bearing gap.","section":"Section 3.1, Eqs. (43), (61)-(65)"},{"comment":"The Ising equality is explicitly conditional: the text states 'Provided that (101) holds with equality', and no proof of this equality is supplied. While the paper correctly labels the Ising matching as numerical evidence, the same missing lower-bound mechanism underscores that the paper, as written, establishes upper bounds rather than exact ground state energies for the Ising specialization. This should be clearly separated from the proved results in the abstract and conclusion.","section":"Section 3.2, Eqs. (99)-(102)"},{"comment":"Corollary 3 characterizes the matching condition as 'GSE(pSP(S)) is achieved on the second partial level of lifting'. In the spherical case this condition is asserted to hold on the basis of the agreement with the critical-point exponent of [9], but as noted above the lower-bound direction is not proved for the normalization of Eq. (33). Thus the universality conclusion and the two 'interesting questions' in Section 3.3 are built on an unverified condition; the corollary is conditional rather than a demonstrated result.","section":"Section 3.3, Corollary 3, Eq. (103)"}],"minor_comments":[{"comment":"The statement says A^(j) in R^(n x n), but in Eq. (6) and Eq. (18) A^(j) is indexed by p indices and used as an n^p tensor; this should be corrected to R^(n^p) or otherwise clarified.","section":"Theorem 1, statement and Eq. (6)"},{"comment":"After taking k = p-1, the factor (1 - a^(j)) contains an undefined index j; it should be (1 - a^(p-1)) or the appropriate index should be named.","section":"Eq. (13)"},{"comment":"The definition of hat c_3 as an argmin includes the term -c_3 u, but the variable u is not introduced in the preceding text; it should be stated that this is for a fixed u in the large deviation bound.","section":"Section 3.2, Eq. (90)"},{"comment":"There is a typo in 'ovperall role' which should read 'overall role'.","section":"Section 3.3, final paragraph"},{"comment":"Figure 2 and Table 2 would benefit from a statement that the displayed Ising values are upper bounds or conditional values, since the surrounding text sometimes refers to them simply as GSE values.","section":"Figures and Tables"}],"recommendation":"major_revision","confidential_remarks":"The paper's main novelty is the partially lifted comparison mechanism and the resulting explicit upper bounds; the exact spherical GSE claim relies on external lower-bound results that are cited but not specialized or proved at the paper's normalization. A revision that states the spherical result as an upper bound plus a precise theorem citing the applicable lower bound (or proves the lower bound) would substantially strengthen the paper. The heavy reliance on the author's own prior RDT works is not itself problematic, but the self-containedness of the central claim should be improved."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing you should know: this is a genuine methods paper, not just a re-derivation. The partially lifted RDT bound is a real simplification of the author's fully lifted machinery, and the paper gives the first analytical proof that Subag's TAP value and Dartois-McKenna's upper bound coincide. That proof is intricate; I don't see a gap, though it would be easier to trust with a CAS check.\n\nThe soft spot is the spherical exactness claim. Theorem 2 is a Chernoff-type upper bound on the LDP rate limsup. It gives the upper side of the GSE, but the matching lower bound is never proved in this paper. The text cites Auffinger–Ben Arous–Cerny and Bates–Sohn for that direction. That's a legitimate combination of external results, but it means the abstract's 'bounds actually match' is doing too much work. A referee should ask for the lower bound to be either proved in this normalization or explicitly marked as an imported hypothesis. Same story, even more explicitly, in the Ising case: the equality is conditional on (101) holding with equality.\n\nThere are also minor notational slips — A^(j) in Theorem 1 is written as n×n but used as an n^p tensor, and Eq. (13) mislabels an index. These are cosmetic and don't affect the argument.\n\nMy overall read: the value of the spherical GSE was already known, so the new contribution is the bounding mechanism and the unification proof. Those are real. The overclaim about matching is fixable in revision. I'd send this to a competent referee with a request to sharpen the claims and address the missing lower bound. It doesn't deserve a desk reject.","headline":"A real new bounding mechanism and a clean proof that Subag's and Dartois-McKenna's spherical formulas coincide, but the exactness claim outruns what is proved: Theorem 2 is one-sided and the lower bound is imported.","tokens_in":22949,"tokens_out":3412,"would_cite":true,"duration_ms":30014,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60K35","82B44","60F10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For fully spherical multipartite pure $p$-spin models with even $p$, the ground-state energy is exactly $\\sqrt{p}\\,u_{\\mathrm{GS}}$, where $u_{\\mathrm{GS}}$ is the zero of an explicit large-deviation rate function.","keywords":["multipartite p-spin models","ground state energy","spherical spin glasses","Ising spin glasses","random duality theory","large deviations","Gaussian process comparison","random tensors"],"falsifier":"For $p=4$ Ising spins, compute the true multipartite ground-state energy independently (for instance by a direct numerical optimization of the Parisi-type variational problem for the four-part model or by finite-size extrapolation) and compare it with the listed candidate $\\xi^{(2,p)}_{\\mathrm{sk}}(4)=2.3348$; an exact value strictly below that number would disprove the claim that the Ising bounds match.","tokens_in":21911,"feed_emoji":"🧲","tokens_out":9961,"duration_ms":84282,"temperature":0.7,"pith_summary":"This paper proves exact ground-state energies for multipartite pure $p$-spin models when every spin group is constrained to the unit sphere. It constructs two explicit bounds, one from above and one from below, valid for arbitrary spin sets, and shows that on the sphere the two bounds coincide. The resulting value, $\\xi_{\\mathrm{sph}}(p)=\\sqrt{p}\\,u_{\\mathrm{GS}}$ with $u_{\\mathrm{GS}}$ the point where the large-deviation rate function in Eq. (61) crosses zero, is then verified algebraically to equal earlier TAP-based, spectral, and balanced lower-bound predictions. Numerical evidence further suggests that the same two bounds also match for Ising spin sets, which would settle the Ising multipartite ground state up to a single-partite computation. The significance is that a parameter-free sandwich replaces heavy numerical evaluation for multipartite $p$-spin models and, where it closes, gives the exact ground state.","feed_headline":"Exact ground-state energy for spherical p-spin models","feed_subtitle":"Two cheap bounds meet on the sphere, pinning the multipartite value and reconciling earlier TAP and tensor predictions.","key_machinery":"The load-bearing object is a pair of surrogate Gaussian processes used to bracket the true $p$-tensor process. For the upper bound, the original process is compared with $G_u(\\bar{x})=\\sum_{j=1}^p (g^{(j)})^\\top x^{(j)}$, a sum of independent linear forms; for the lower bound, it is compared with $G_l(\\bar{x})=\\sum_{j=1}^p \\sum_{i_1,\\dots,i_p} A^{(j)}_{i_1,\\dots,i_p}\\prod_{k=1}^p x^{(j)}_{i_k}$, a sum of $p$ independent $p$-spin processes. The comparison rests on the elementary inequality $\\prod_{j=1}^p a_j + p - 1 - \\sum_{j=1}^p a_j \\ge 0$ for $a_j\\in[-1,1]$, which implies that the true process dominates $G_l$ and is dominated by $G_u$ in the Gaussian comparison sense. Optimizing the auxiliary parameter $c_3$ converts these comparisons into explicit upper and lower bounds on the ground-state energy. In the spherical case the bounds are evaluated through a Gaussian-norm large-deviation estimate, producing the rate function $\\varphi_{\\mathbb{S}^n}(p,u)$; setting this rate function to zero defines $u_{\\mathrm{GS}}$ and yields the exact value. The same machinery gives candidate Ising bounds via a complementary-error-function estimate.","core_discovery":"The paper's central claim is that the ground-state energy of a multipartite pure $p$-spin model, with $p$ interacting spin vectors each on the unit sphere, is exactly $\\xi_{\\mathrm{sph}}(p)=\\sqrt{p}\\,u_{\\mathrm{GS}}$, where $u_{\\mathrm{GS}}$ is the smallest $u$ such that the rate function $\\varphi_{\\mathbb{S}^n}(p,u)$ from Eq. (61) is negative. The equality is obtained by sandwiching the true energy between a lower bound built from $p$ independent $p$-spin processes and an upper bound built from $p$ independent linear processes; both bounds are derived from Gaussian covariance comparisons and then optimized. On the sphere the two optimized bounds meet at the same number. The paper then shows by direct algebra that this common value coincides with the TAP-equation prediction [116], the tensor upper bound [39], and the balanced multi-species lower bound [26], so the earlier numerical coincidence between [116] and [39] becomes an analytic identity.","pith_inferences":["One can test the same bound pair on intermediate spin sets, such as the intersection of a scaled cube $\\{x:x_i^2\\le c/n\\}$ with the unit sphere; matching there would delineate how far the exactness extends beyond spherical and Ising sets.","The $\\sqrt{p}$ factor is likely a universal feature: whenever the multipartite disorder decomposes into $p$ independent single-partite copies, the ground-state energy should be $\\sqrt{p}$ times the single-partite value, independent of the spin set.","If the Ising numerical agreement survives scrutiny, the paper's second-level-lifting criterion could become a practical algorithm: compute a single-partite ground state and multiply by $\\sqrt{p}$, instead of solving the full multipartite problem."],"forward_implications":["For arbitrary spin sets, the multipartite ground-state energy is bracketed by two closed-form bounds that avoid the exponential numerical cost of the fully lifted formulation.","For fully spherical sets, the bounds coincide and give exact values $\\xi_{\\mathrm{sph}}(p)=\\sqrt{p}\\,u_{\\mathrm{GS}}$ for even $p$; concrete values are listed for $p=2,\\dots,7$.","The spherical value agrees analytically with the TAP prediction [116], the upper bound [39], and the lower bound [26], so the previously numerical agreement between [116] and [39] is now a proven equality.","Whenever a spin set's single-partite ground state is attained at the second partial lifting level, the multipartite ground state equals $\\sqrt{p}$ times the single-partite one (Corollary 3).","Numerical evidence suggests the Ising bounds also match, so the Ising multipartite ground state would be $\\sqrt{p}\\,u_{\\mathrm{GS}}^{\\mathrm{(sk)}}$ provided the single-partite bound in Eq. (101) is tight."],"supporting_citations":[{"why":"Supplies the Gaussian comparison inequalities used to derive both the upper and lower bounds in Theorem 1.","marker":"[53]"},{"why":"Gives the critical-point complexity of the spherical pure p-spin model, which the rate function matches and whose threshold fixes $u_{\\mathrm{GS}}$.","marker":"[9]"},{"why":"Provides the TAP-equation prediction for spherical multipartite pure p-spin ground states, shown here to agree analytically.","marker":"[116]"},{"why":"Provides the upper bound for the spherical multipartite (tensor injective norm) ground state, proven equivalent here.","marker":"[39]"},{"why":"Provides the matching lower bound for balanced multi-species models, completing the sandwich in the spherical case.","marker":"[26]"},{"why":"Supplies the large-deviation estimate for the norm of a Gaussian vector used in the spherical rate-function derivation.","marker":"[105]"}],"fun_headline_variants":["Sphere locks exact p-spin ground-state energy","Two bounds collide: exact p-spin energy on sphere","p-spin ground state exact on sphere via RDT","Spherical p-spin: exact energy from matched bounds","RDT pins spherical p-spin ground state exactly"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The spherical exactness is imported at the lower end: it assumes the earlier critical-point-complexity and balanced multi-species lower bounds apply to this multipartite pure p-spin setting with the same normalization; without that assumption the paper establishes only an upper bound, not the exact value.","fun_headline_variants_meta":{"raw":{"variants":["Sphere locks exact p-spin ground-state energy","Two bounds collide: exact p-spin energy on sphere","p-spin ground state exact on sphere via RDT","Spherical p-spin: exact energy from matched bounds","RDT pins spherical p-spin ground state exactly"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00014,"raw_usage":{"total_tokens":1126,"prompt_tokens":877,"completion_tokens":249,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":493,"completion_tokens_details":{"reasoning_tokens":171}},"tokens_in":493,"tokens_out":249,"duration_ms":2323,"temperature":1.0,"reasoning_tokens":171,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:20:28.768234+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $p=4$ Ising spins, compute the true multipartite ground-state energy independently (for instance by a direct numerical optimization of the Parisi-type variational problem for the four-part model or by finite-size extrapolation) and compare it with the listed candidate $\\xi^{(2,p)}_{\\mathrm{sk}}(4)=2.3348$; an exact value strictly below that number would disprove the claim that the Ising bounds match.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the TAP-equation prediction for spherical multipartite pure p-spin ground states, shown here to agree analytically."},{"cited_title":"Random linear systems with sparse solutions -- asymptotics and large deviations","cited_arxiv_id":"1612.06361","evidence_quote":"Supplies the large-deviation estimate for the norm of a Gaussian vector used in the spherical rate-function derivation."}],"review_version":2}