{"id":"49b46d58-c4d6-4385-8b4d-9a9396dd882d","arxiv_id":"2506.14171","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"An explicit inverse Bethe transformation on the periodic XXZ chain is conjectured, proven at Δ=0 and checked numerically, and used to derive a conditional exact formula for the one-point function.","lead":"The paper proposes an explicit formula for inverting the coordinate Bethe Ansatz on the periodic XXZ spin chain, writing each configuration state as a sum of Bethe vectors; the formula is proven only at zero anisotropy and verified numerically otherwise. If the formula is proven, it gives a constructive proof of Bethe Ansatz completeness and a new exact one-point function formula conditional on completeness.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 3.10's root count is load-bearing but rests on an unpublished preprint and a misstated homotopy; if |Ξ|≠C(L,N) for even L or under the parameter mapping, completeness collapses.","rationale":"We focused on the central claim: that the Bethe ansatz is complete and that (59) is an explicit basis expansion. That claim needs both |Ξ| = dim V (Proposition 3.10) and the expansion formula (Conjecture 3.11). The expansion is honestly labeled a conjecture and is proven at Δ=0, so the paper's conditional structure is clear. The root count, however, is stated as a Proposition and its proof is the least secure part: it is outsourced to an unpublished self-citation and contains a homotopy justification that is not literally correct, since the change of variables does not produce a scalar multiple of the ASEP system. This is not merely a matter of rigor: if the count fails, even a true Conjecture 3.11 would not imply completeness, because the Bethe vectors could be too few (or fail to be independent). The even-L gap is highlighted by the paper's own Remark 3.2 and by the abstract's restriction to odd-L numerical checks. We therefore agree with the reader's weakest-assumption choice. We do not escalate to REJECT because the count is expected to be true for generic Δ and the defect is repairable by supplying a correct homotopy or using the known algebraic count; the paper's core formulas remain plausible. Hence the verdict stays CONDITIONAL (UNCHANGED).","tokens_in":25871,"tokens_out":14227,"duration_ms":139416,"concrete_test":"Verify Proposition 3.10 for a small even-L case the paper's numerics avoid, e.g., L=4, N=2, Δ=0.1, using a polynomial homotopy continuation solver (e.g., Bertini or PHCpack) to count all isolated solutions of (21) up to permutation. If the number of distinct, pairwise-distinct roots is not exactly C(4,2)=6, the proposition is false there. Also rerun the same count for the standard ASEP equations with parameters (p,q) obtained from (54); if the two counts differ, the 'scaling' argument in §3.2 is invalid and Proposition 3.10 is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 3.10—the assertion that |Ξ| = C(L,N)—is the step that makes dim W = dim V and hence upgrades Conjecture 3.11 into a basis expansion. The proof in §3.2 delegates to [BDS17, Sec. 4.3] and claims the XXZ Bethe equations (21) match the ASEP ones after the change of variables (54) 'except for a multiplicative factor on the left side,' saying 'scaling by a non-zero multiplicative constant gives a homotopic function.' That is not accurate: the transformed system is (q/p)^{L/2}(ξ'_i)^L = (-1)^{N-1}∏(...), which differs from the ASEP equation ξ_i^L = (-1)^{N-1}∏(...) by an additive term, not by a scalar multiple of the whole function. No homotopy is exhibited, and Lefschetz-count invariance is not automatic. The parameter mapping 2Δ=1/√(pq) sends the small-|Δ| regime (the paper's Conjecture 1.1) to large |pq|, outside the likely domain where [BDS17] is stated. Finally, for even L, Remark 3.2 notes Assumption 3.1 is not generically established at Δ=0, so the homotopy may pass through singular solutions and change the count. If the count is off, (59) is not a basis expansion and Proposition 3.13 fails. The abstract's restriction to odd-length numerical verification is consistent with this unresolved even-L case.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proposes an inverse to the coordinate Bethe Ansatz for the periodic XXZ spin-1/2 chain. It defines a candidate coefficient map ℓ(x,ξ) in (58), conjectures in Conjecture 3.11 that every coordinate basis vector is a linear combination of Bethe vectors with these coefficients and that the Bethe vectors are linearly independent, proves the conjecture for Δ=0 (Lemma 3.12), and reports numerical checks for Δ≠0. It also proves a conditional one-point function formula (Theorem 6.1) via identities involving the Izergin-Korepin determinant, assuming completeness. The main completeness claim for nonzero Δ rests on the unproved Conjecture 3.11 and on the root count of Proposition 3.10, which is imported from an unpublished preprint.","tokens_in":26226,"tokens_out":6517,"duration_ms":68589,"significance":"If the full claims were established, the explicit inverse transformation would be a useful constructive tool for the periodic XXZ chain, and the one-point function formula with its new Izergin-Korepin identities would be a nontrivial contribution. The Δ=0 proof is clean and self-contained, and the pseudocode in Section 5 is clear. The strength of the paper, however, is conditional: the nonzero-Δ completeness result is a conjecture with limited numerical evidence, and the root-count argument is not self-contained. As a result, the paper's significance is substantially lower than the abstract suggests, though the conditional Theorem 6.1 and the Δ=0 result are solid.","major_comments":[{"comment":"The cardinality assertion |Ξ| = binom(L,N) is load-bearing because it converts the spanning relation (59) into a basis expansion, but the proof given is not valid as written. After the substitution (54), the equation is (q/p)^(L/2)(ξ'_i)^L = RHS; this differs from the ASEP equation by a constant factor multiplying only the left-hand side, not by a scalar multiple of the entire equation. The statement that 'scaling by a non-zero multiplicative constant gives a homotopic function' is therefore inaccurate, and no explicit homotopy or Lefschetz count is supplied. In addition, the argument delegates to the unpublished preprint [BDS17], and the mapping 2Δ=1/sqrt(pq) sends the small-|Δ| regime of Conjecture 1.1 to large |pq|, so the applicability of [BDS17] is not established. If |Ξ| ≠ binom(L,N), then dim W ≠ dim V and the inversion identity (59) is not a basis expansion; this point must be fixed or explicitly assumed.","section":"§3.2, Proposition 3.10 and Eq. (53)"},{"comment":"For Δ≠0 the central decomposition (59) is not proved. The numerical verification in Section 5 checks only that the resulting transition matrix at t=0 is the identity, and no error metric, tolerance, number of runs, or list of (N,L,Δ) cases is reported. Figure 1 shows a single case (N=3, L=21, Δ=0.04), and the abstract restricts the verification to odd L; Remark 3.2 notes that Assumption 3.1 is not generically established for even L. Consequently Proposition 3.13 and Conjecture 1.1 are not established for nonzero Δ; the paper should either provide a proof or a much more detailed numerical study, and the claims in the abstract and introduction should be rephrased as conditional.","section":"Conjecture 3.11, §5, Fig. 1"},{"comment":"Theorem 6.1 assumes only that the Bethe Ansatz is complete, but the starting formula (71) was derived in Proposition 4.1 under the stronger Conjecture 3.11, which fixes the specific coefficients ℓ(y,ξ). Completeness in the sense of Section 3.4 gives the existence of some expansion of |y⟩ in Bethe vectors; it does not imply that the coefficients are the particular ℓ(y,ξ) defined in (58). Therefore the proof of Theorem 6.1 uses an assumption that is not stated in the theorem. The theorem should either assume Conjecture 3.11 explicitly or derive (71) from completeness plus an independent argument identifying the coefficients.","section":"Theorem 6.1 vs. Eq. (71)"}],"minor_comments":[{"comment":"There are several typographical errors, including 'one-dimentional', 'combibation', 'consequuence', and 'P roposition3.10'; these should be corrected.","section":"Throughout"},{"comment":"For Δ=0, the Bethe equations (21) give ξ_i^L = (-1)^(N-1), but equation (25) writes (-1)^N; this sign inconsistency should be fixed.","section":"Remark 3.2, Eq. (25)"},{"comment":"The axes and color scale of Figure 1 are not labeled, the 'birds-eye view' insert is not visible in the text, and the caption lists parameters without explaining how the numerical solution was validated.","section":"Figure 1"},{"comment":"The sentence 'the actual Python code can be found here' contains no URL or supplementary-materials identifier; the code should be linked or referenced explicitly.","section":"Section 5"},{"comment":"The sentence claiming the simplification is 'independent of the specific form of the ℓ-function' is misleading, since formula (78) explicitly contains ℓ(y,ξ) and ℓ(y,ζ); the intended meaning should be clarified.","section":"Section 6, introductory paragraph"}],"recommendation":"major_revision","confidential_remarks":"The paper's main load-bearing citation is to [BDS17], an arXiv preprint by one of the present authors; I would ask the editor to require that the root-count proof be made self-contained or replaced by a published reference. The manuscript's own text labels Conjecture 3.11 as unproved, so the advertised 'constructive and comprehensive approach' overstates the state of the proof; a major revision should recalibrate the claims. The Theorem 6.1 assumption mismatch is a correctable logical issue but must be fixed before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis paper is worth reading for the one-point formula and the clean Δ=0 case, but the headline completeness claim for nonzero Δ is a conjecture with a load-bearing root count that doesn't hold up as written.\n\nWhat's genuinely new: the ℓ-map inverse formula (58) is not in the cited works, and the finite-sum expression for the one-point function (79) with the Izergin-Korepin determinants is a real contribution. The Δ=0 proof of Conjecture 3.11 is straightforward and complete. The paper is also honest: it states Conjecture 3.11 as a conjecture and doesn't pretend otherwise.\n\nNow the soft spots. The abstract says 'a constructive and comprehensive approach to show that the Bethe Ansatz is complete.' That overstates what is shown. For nonzero Δ, completeness rests on Conjecture 3.11 plus Proposition 3.10. The conjecture is checked numerically 'with excellent accuracy,' but no error metric, tolerance, or code is provided to substantiate that; the link in Section 5 is a placeholder in the version I read. That's a minor fix, but it matters for a claim that drives the paper.\n\nProposition 3.10 is the more serious problem. It asserts the root count |Ξ| = C(L,N), citing the unpublished [BDS17] and adding a homotopy comment. The transformed equation is (q/p)^{L/2}(ξ'_i)^L = RHS, so compared to the ASEP system the difference is an additive term, not a scalar multiple of the whole function. The paper's statement that 'scaling by a non-zero multiplicative constant gives a homotopic function' is incomplete; a linear homotopy needs a no-boundary-crossing argument, and none is given. It may be fixable, but as written the count for nonzero Δ is not established. The parameter mapping also sends small |Δ| to large |1/√(pq)|, outside the regime where I would trust BDS17 without a lot more detail. And even L has an unresolved singularity at Δ=0 that could change the count.\n\nWhere the paper is solid: Theorem 6.1 is conditional, and conditioned on completeness it follows; Lemma 6.8 looks like a new identity. A serious referee should engage with this, not desk-reject. But the preprint needs substantial revision before the completeness claim can stand.","headline":"A genuinely new inverse map and clean Δ=0 proof, but the nonzero-Δ completeness claim is a conjecture propped up by an unsupported root count; the abstract overstates what is shown.","tokens_in":26779,"tokens_out":5596,"would_cite":true,"duration_ms":56368,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B23","82B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"One identity could complete the Bethe Ansatz on a ring","keywords":["Bethe Ansatz","XXZ spin chain","basis transformation","completeness","one-point function","Izergin-Korepin determinant","ring geometry","coordinate Bethe Ansatz"],"falsifier":"Compute the matrix M_{x,y} = Σ_{[ξ]∈Ξ} ℓ(y,ξ)u(ξ,x) for a fixed small ring, for instance N = 3, L = 21, Δ = 0.04, using the paper's Newton-Kaczmarz construction; if any off-diagonal entry is nonzero or any diagonal entry differs from 1 beyond numerical error, Conjecture 3.11 is false. Independently, directly counting the Bethe solutions for any nonzero Δ and finding fewer than binomial(L,N) classes would falsify Proposition 3.10.","tokens_in":25631,"feed_emoji":"🧲","tokens_out":7743,"duration_ms":73731,"temperature":0.7,"pith_summary":"The paper aims to turn the long-standing belief that the Bethe Ansatz is complete into an explicit identity. It proposes a coefficient function ℓ(x,ξ) such that each coordinate basis vector of the XXZ spin-1/2 chain on a periodic ring is a linear combination of Bethe vectors; if the proposed expansion holds, the Bethe vectors form a basis and the Bethe Ansatz is complete. The expansion is proved for zero anisotropy and verified numerically for small nonzero anisotropy on odd-length rings. Assuming completeness, the paper derives a closed formula for the one-point function that reduces a huge configuration sum to a double sum over Bethe solutions whose kernel is built from Izergin-Korepin determinants. The reason to care is that completeness is usually supported only by numerics and combinatorics, while this work supplies a concrete, checkable inversion formula.","feed_headline":"One identity could complete the Bethe Ansatz on a ring","feed_subtitle":"If the conjectured expansion holds, every eigenvector is a Bethe vector and the one-point function becomes a closed determinant sum.","key_machinery":"The load-bearing object is the ℓ-function, defined as the twisted symmetrization of det Λ(ξ)^{-1} ∏_{i=1}^N $ξ_i^{{-x_i-1}}$, where Λ is an N×N matrix whose diagonal entries are fixed by the Bethe equations and whose off-diagonal entries resemble the Korepin norm matrix. This ℓ is the proposed inverse-transformation kernel: it converts the energy basis back into the coordinate basis. For the one-point function, the machinery is the Izergin-Korepin determinant Γ(ξ,ζ) together with two summation identities: Lemma 6.6 evaluates a double permutation sum as Γ, and Lemma 6.8 collapses the marginal over configurations containing a fixed site into a smaller subset-sum identity, yielding F.","core_discovery":"The central discovery is Conjecture 3.11: for every configuration |x⟩ in the N-up-spin sector, |x⟩ = Σ_{[ξ]∈Ξ} ℓ(x,ξ)|ξ⟩, where Ξ is the set of Bethe solutions up to permutation and ℓ is the twisted-symmetrized inverse given by (58). The authors prove this at Δ = 0 by rewriting the sum as a finite geometric series over L-th roots of unity, and they present numerical checks for Δ ≠ 0 on odd rings. With Proposition 3.10's count that Ξ has exactly binomial(L,N) elements, the expansion makes the Bethe vectors linearly independent and hence a complete eigenbasis. Assuming that completeness, Theorem 6.1 states the one-point function ρ(x,t) = Σ_{[ξ],[ζ]} ℓ(y,ξ)F(x;ξ,ζ)ℓ(y,ζ), where F is expressed through the Izergin-Korepin determinant and subset sums; this is the finite-ring analogue of the line result and reduces the one-point function from an intractable configuration sum to a spectral sum.","pith_inferences":["A natural extension is to apply the same ℓ-function construction to other coordinate-Bethe-solvable models on the ring, such as ASEP or q-boson processes, where an explicit inversion kernel would give a direct proof of completeness rather than a spectral-theoretic existence argument.","Because Theorem 6.1 is conditional on completeness, a high-precision numerical test of the one-point formula against exact diagonalization for, say, N = 3, L = 21 and a few values of Δ would simultaneously test the completeness conjecture; the transition matrix check in the paper is exactly such a test at t = 0.","The restriction to odd L is an artifact of Assumption 3.1; if the root count in Proposition 3.10 can be established for even L, the same inversion identity should extend, and the numerical checks suggest it may.","The appearance of the Izergin-Korepin determinant in the kernel F hints that the one-point function on the ring could be interpreted as a six-vertex model partition function on a cylinder, which would connect the formula to transfer-matrix and free-fermion asymptotics."],"forward_implications":["If Conjecture 3.11 holds, the Bethe Ansatz is complete for all nonzero real Δ in a small neighborhood, at least on odd-length rings; every eigenvector is a Bethe vector and no eigenvector is missed.","The deterministic Schrödinger evolution from a configuration |y⟩ has the exact expansion |Ψ(t)⟩ = Σ_x (Σ_[ξ] ℓ(y,ξ)u(ξ,x)e^{-itE(ξ)})|x⟩, giving a closed form for all transition probabilities.","The one-point function formula of Theorem 6.1 replaces a sum over configurations with a double spectral sum, making numerical evaluation and asymptotic analysis on the ring substantially more accessible.","At Δ = 0 the inversion identity is proven, so the paper establishes completeness in that solvable case and provides a base point for numerical continuation to nonzero Δ."],"supporting_citations":[{"why":"Supplies the counting argument (via homotopy/Lefschetz fixed-point count) that the Bethe equations have exactly binomial(L,N) solutions, which Proposition 3.10 relies on.","marker":"[BDS17]"},{"why":"Provides Lemma 6.3 and the proof strategy for Lemma 6.8, which reduce sums over configurations and subsets in the one-point function computation.","marker":"[LSW20]"},{"why":"Gives the line-XXZ one-point function result and the Izergin-Korepin determinant identity (their equation (23)) that Lemma 6.6 adapts to the ring.","marker":"[STW22]"},{"why":"Proposition 6 supplies the antisymmetrization relation used to identify the doubled permutation sum with the Izergin-Korepin determinant.","marker":"[CCP19]"},{"why":"Lemma 5.3 provides the configuration-sum identity used alongside Lemma 6.3 for the marginal over configurations containing a fixed site.","marker":"[BL19]"},{"why":"The matrix Λ in (56) is similar to the Korepin norm matrix, motivating the determinant-normalized form of the inverse coefficients.","marker":"[Kor82]"}],"fun_headline_variants":["Inverse Bethe transform proves Ansatz complete at Δ=0","Exact one-point function from Bethe completeness","Twisted-symmetrized inverse: Bethe Ansatz complete","New proof of Bethe completeness on odd-length rings","Bethe Ansatz completeness via geometric series"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on the count that the Bethe equations have exactly binomial(L,N) solutions up to permutation for nonzero anisotropy; if that count is wrong, the inversion identity cannot be a basis expansion and the completeness conclusion collapses.","fun_headline_variants_meta":{"raw":{"variants":["Inverse Bethe transform proves Ansatz complete at Δ=0","Exact one-point function from Bethe completeness","Twisted-symmetrized inverse: Bethe Ansatz complete","New proof of Bethe completeness on odd-length rings","Bethe Ansatz completeness via geometric series"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000998,"raw_usage":{"total_tokens":4191,"prompt_tokens":877,"completion_tokens":3314,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":493,"completion_tokens_details":{"reasoning_tokens":3234}},"tokens_in":493,"tokens_out":3314,"duration_ms":27673,"temperature":1.0,"reasoning_tokens":3234,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T00:18:12.705992+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the matrix M_{x,y} = Σ_{[ξ]∈Ξ} ℓ(y,ξ)u(ξ,x) for a fixed small ring, for instance N = 3, L = 21, Δ = 0.04, using the paper's Newton-Kaczmarz construction; if any off-diagonal entry is nonzero or any diagonal entry differs from 1 beyond numerical error, Conjecture 3.11 is false. Independently, directly counting the Bethe solutions for any nonzero Δ and finding fewer than binomial(L,N) classes would falsify Proposition 3.10.","supporting_citations":[],"review_version":1}