{"id":"af66a3e3-070f-4ac0-95fd-7fe267e63755","arxiv_id":"1908.07320","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An exact finite-volume formula for current expectation values in Bethe ansatz models is derived, proving the GHD current conjecture for interacting lattice systems.","lead":"This paper proves an exact formula for the mean values of current operators in Bethe ansatz solvable quantum systems. The result fills a foundational gap in Generalized Hydrodynamics, giving a rigorous footing for the semi-classical effective velocity picture.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central formula's proof rests on the finite-volume form factor expansion (IV.8), demonstrated only for XXZ/XXX; extension to Lieb-Liniger and iQFT is cited, not proven.","rationale":"After reviewing the paper, I find the reader's identified weakest assumption to be the most load-bearing. The central formula (II.18) is derived from the finite-volume form factor expansion (IV.8). The proof of this expansion in Section VI covers only the XXZ/XXX chains; for the Lieb-Liniger gas and integrable QFT the paper relies on external references, and for Lieb-Liniger it explicitly states that only 'certain local operators' were proven in [65]. Since the current operators in these models are specific local operators, one cannot simply assume the theorem covers them without a dedicated proof. I do not see an alternative internal flaw in the XXZ/XXX derivation: the gauge-invariance of current mean values is addressed, the thermodynamic limit is a separate but standard step, and the Gaudin matrix is non-singular for ordinary eigenstates. The singularity property (VI.7) is the technical core of the proof, and while its proof in Appendix D is plausible, it is lengthy and unverified; a targeted independent check would also be valuable. The proposed test for the Lieb-Liniger model would directly assess whether the expansion theorem holds for the operators central to the paper's claim.","tokens_in":35995,"tokens_out":12075,"duration_ms":118000,"concrete_test":"For the Lieb-Liniger gas, explicitly compute both sides of the expansion (IV.8) for the one-particle density operator ρ(0)=ψ†ψ(0) and for the current operator J(0) at small particle numbers (N=1,2,3) using the exact coordinate Bethe ansatz wave functions and the known form factors. If the equality holds in these cases, the expansion theorem extends to the Lieb-Liniger model at least for these operators, supporting the derivation of (II.18); if it fails, the theorem is restricted and the paper's claim for the Lieb-Liniger gas is unjustified. This directly targets the main unproven assumption.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section IV derives the central result (II.18) from Theorem 1 (IV.8), the finite-volume form factor expansion for mean values of local operators. The paper proves Theorem 1 in Section VI only for the XXZ and XXX Heisenberg chains, via the singularity property (VI.7) and the induction in Theorem 5. For the Lieb-Liniger gas and integrable QFT, the theorem is asserted by citing refs. [62] and [64]; for Lieb-Liniger the text even admits it was proven only for 'certain local operators' ([65]). Since the model-independent proof of (II.18) depends entirely on this theorem, the scope of the central claim is not self-contained. If Theorem 1 does not hold for a given model (or for the specific current operators), the derivation collapses unless a separate proof is supplied. Additionally, even within XXZ/XXX, the key singularity property (VI.7) is proven in Appendix D by a long algebraic calculation that has not been machine-checked or independently reproduced; a subtle error there would undermine the proof of Theorem 1 for all operators.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proves an exact finite-volume formula, Eq. (II.18), for the normalized mean value of a current operator in Bethe-ansatz-solvable integrable models: ⟨J_α(x)⟩ = e′·G^{-1}·q_α, where e′ and q_α are single-particle energy and charge derivatives and G is the Gaudin matrix. An equivalent effective-velocity form is given in Eq. (II.21). The proof is built on a finite-volume form-factor expansion, Theorem 1 (Eq. (IV.8)), which is proven for the XXZ and XXX spin chains in Section VI using the Algebraic Bethe Ansatz. The paper also derives the generalized current formula (II.26), gives a semi-classical derivation in Section III, and connects the results to the theory of factorized correlation functions in Section VII. The authors claim that the finite-volume formula reproduces the GHD current conjecture (I.5) in the thermodynamic limit.","tokens_in":36191,"tokens_out":4747,"duration_ms":47316,"significance":"If the result stands, this is a significant contribution to GHD: it provides a first-principles, parameter-free derivation of the current formula for interacting lattice models, a central ingredient of GHD that was previously conjectural. The paper contains an explicit finite-volume proof for the XXZ/XXX chains, an exact generalized-current formula, a semi-classical interpretation with no fitting parameters, and a new connection to factorized correlation functions. These are substantial strengths. However, the abstract and introductory statements claim more than is proven: the form-factor expansion theorem is demonstrated only for XXZ/XXX, the thermodynamic limit is not rigorously taken, and for integrable QFT the formula is admitted to hold only up to exponentially small corrections. These gaps do not undermine the XXZ/XXX result, but they need to be addressed before the broad claims can be accepted as stated.","major_comments":[{"comment":"The model-independent proof of the main result (II.18) rests entirely on Theorem 1 (Eq. (IV.8)), but that theorem is proven in Section VI only for the XXZ and XXX Heisenberg chains. For the Lieb-Liniger gas and integrable QFT the paper cites refs. [62], [64], and [65], and Section VIII explicitly states that the Lieb-Liniger case was not treated here. The abstract's claim of applicability to 'a large class of quantum integrable models' is therefore not supported by the proofs in this manuscript. The authors should either supply the missing proofs, state the precise class of models for which Theorem 1 is proven, or restrict the abstract and Section IV claims accordingly.","section":"§IV, §VI, §VIII"},{"comment":"The abstract states that the result 'remains exact ... in the thermodynamic limit', but Section VIII says 'We did not treat the direct thermodynamic limit of these results'. The passage from the finite-volume formula (II.21) and effective velocity (II.22) to the GHD formula (I.5) is only argued informally through the correspondence (II.24). A rigorous thermodynamic limit, with explicit assumptions on the root densities and convergence of the Gaudin-matrix inverse, is needed to support the abstract's claim; alternatively, the wording should be changed to say that the thermodynamic limit is expected but not proven.","section":"Abstract and §VIII"},{"comment":"There is an inconsistency about exactness in integrable QFT. The abstract describes an 'exact result ... valid in arbitrary finite volume', while Section II.B states that in iQFT 'the Bethe wave function is only an approximation, and in iQFT (II.18) holds up to exponentially small corrections in the volume'. This should be reconciled, for example by stating in the abstract that the exact statement applies to models with exact Bethe wave functions and that iQFT is covered up to exponentially small corrections.","section":"§II.B and Abstract"}],"minor_comments":[{"comment":"The title contains a typographical error: 'Hydrodyn amics' should read 'Hydrodynamics'.","section":"Title page"},{"comment":"The notation for the empty or non-empty rapidity subset is inconsistent: Eq. (IV.8) writes ρ({λ−}) while Eq. (IV.21) writes ρ(λ−). Please use a single notation throughout.","section":"§IV (Eqs. (IV.8), (IV.21))"},{"comment":"The semi-classical derivation assumes that the ordering of bare velocities agrees with the ordering of effective velocities; the discussion after Eq. (III.13) mentions this, but the assumption should be stated more prominently before Eq. (III.9) because it is essential for the classical derivation.","section":"§III (Eqs. (III.9)-(III.13))"},{"comment":"In the definition of veff(λj) = (L/2π)∂E/∂I_j, it should be stated explicitly that the derivative is taken at fixed values of the other quantum numbers I_k; otherwise the notation is ambiguous.","section":"§II.B (Eq. (II.22))"},{"comment":"Reference [86] is described only as 'a short unpublished proof'; it would be better to label it as a private communication or to remove it from the formal reference list, since it is not publicly available.","section":"Reference list, [86]"}],"recommendation":"major_revision","confidential_remarks":"The core finite-volume result for XXZ/XXX appears sound and is a genuine advance, but the abstract and Section IV overstate the proven scope. The missing thermodynamic limit and the unproven extension to Lieb-Liniger and iQFT are fixable in revision, either by supplying proofs or by carefully restricting the claims. The reliance on refs. [62], [64], [65] is acceptable if framed conditionally, but the iQFT exactness statement should be corrected. I do not see grounds for rejection; the central derivation is legitimate and the issues are local to the claims of scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this paper proves, for the XXZ and XXX Heisenberg chains, the long-standing conjecture that current mean values in Bethe ansatz eigenstates take the semi-classical form e' G^{-1} q (Eq. II.18). That is a genuinely new result, and the derivation is a real first-principles computation, not a curve fit. The main soft spot is scope: the model-independent proof relies on the finite-volume form factor expansion (Theorem 1, Eq. IV.8), which is proven in Section VI only for these spin chains. The extension to Lieb-Liniger and to integrable QFT is asserted by citation. For Lieb-Liniger, the cited work covers only certain local operators, not the currents; for iQFT the expansion was proven earlier and the Bethe ansatz itself is only approximate. Thus the abstract's 'large class of integrable models' overstates what is actually demonstrated in this paper.\n\nWhat the paper does well: the core mechanism is elegant. The authors derive the symmetric form factors of charge densities using the matrix-tree theorem, then sum the form factor expansion for the currents. The summation in Appendix C is a nontrivial combinatorial identity, and the connection to the factorized correlation functions of the Heisenberg chain in Section VII is a nice observation. The semi-classical interpretation in Section III, with the effective velocities emerging from scattering time delays, is illuminating and is shown to match the exact quantum result for finite N. The paper is also honest: the conclusions state that the thermodynamic limit was not treated directly, and the current operators for the XXZ chain are not written explicitly.\n\nThe flaws, in proportion: the missing thermodynamic limit is a minor mismatch, because the functional form (II.21) makes the limit extremely plausible and the infinite-volume formula was already the known conjecture. The reliance on citations for other models is the more substantive issue. If Theorem 1 were false for a given model, the derivation of (II.18) in that model would collapse. I would not call this a fatal flaw for the spin-chain result, but the paper's title and abstract should be adjusted. Also, the singularity property (VI.7) sits behind the whole proof and is established by a long algebraic calculation that has not been independently checked; that is within the norm for Algebraic Bethe Ansatz papers, but a referee should verify a few of the steps.\n\nWho is this for: the GHD community and anyone working on exact finite-volume matrix elements in integrable systems. It deserves a serious referee. I would send it to review with a request to tone down the thermodynamic-limit claim and to explicitly state which parts rely on prior work.","headline":"Proves the finite-volume current formula for XXZ/XXX, but the generalization to other models is cited, not shown.","tokens_in":36728,"tokens_out":3014,"would_cite":true,"duration_ms":30114,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81R12","82B23"],"pacs":[],"model":"deepseek-v4-flash","headline":"Bethe ansatz makes the GHD current formula exact at finite volume","keywords":["Bethe ansatz","Generalized Hydrodynamics","current operators","Gaudin matrix","form factors","effective velocity","XXZ spin chain","Lieb-Liniger model"],"falsifier":"Evaluate the singularity identity (VI.7) explicitly for a three-particle matrix element in the XXZ chain using the listed commutation relations; if any term does not match, the induction proving Theorem 1 breaks and the current formula is unproved for that model.","tokens_in":35809,"feed_emoji":"🌊","tokens_out":6515,"duration_ms":66215,"temperature":0.7,"pith_summary":"Generalized Hydrodynamics predicts that ballistic currents in integrable systems are obtained by replacing each particle's bare group velocity with an effective velocity that encodes scattering time delays. That prediction, the current formula, had been conjectured but not proven for interacting lattice models and non-relativistic gases. This paper derives it exactly from the Bethe ansatz at finite volume: the current mean value in any eigenstate is a contraction of single-particle charge eigenvalues with the inverse Gaudin matrix. The same formula admits the semi-classical effective-velocity reading, so the quantum result and the classical time-delay picture coincide for any finite particle number. Because the formula is proven from a finite-volume form-factor expansion, it supplies the missing foundation for the ballistic part of generalized hydrodynamics.","feed_headline":"GHD current formula proven exactly by Bethe ansatz","feed_subtitle":"In any finite-volume eigenstate, currents equal a Gaudin-matrix contraction of single-particle charge eigenvalues.","key_machinery":"The load-bearing object is the Gaudin matrix $G$, whose determinant gives the norm and rapidity-space density of Bethe states; the proof runs through a finite-volume form-factor expansion (Theorem 1, Eq. (IV.8)) that expresses mean values of any local operator as a sum over bipartitions of the rapidities of symmetric diagonal form factors times Gaudin determinants. For charge densities the form factors are extracted recursively, and the matrix-tree theorem turns their expansions into sums over directed spanning forests of the rapidity graph. Summing the expansion for currents then reproduces the inverse Gaudin matrix, giving the result. The algebraic proof of the expansion for the XXZ and XXX chains rests on singularity properties of Bethe-ansatz matrix elements, where the apparent pole as two rapidities coincide has a known residue.","core_discovery":"The paper's central claim is that for any normalized finite-volume Bethe eigenstate $|\\{\\lambda\\}_N\\rangle$, the mean value of the current operator $J_\\alpha(x)$ is exactly $\\langle\\{\\lambda\\}_N|J_\\alpha(x)|\\{\\lambda\\}_N\\rangle = e'\\cdot G^{-1}\\cdot q_\\alpha$, where $(e')_j=\\partial e(\\lambda_j)/\\partial\\lambda$, $(q_\\alpha)_j=q_\\alpha(\\lambda_j)$, and $G$ is the Gaudin matrix of Eq. (II.16). An equivalent form is $\\langle J_\\alpha(x)\\rangle = \\frac{1}{L}\\sum_{j=1}^N v_{\\mathrm{eff}}(\\lambda_j) q_\\alpha(\\lambda_j)$ with $v_{\\mathrm{eff}}(\\lambda_j) = (L/2\\pi)\\,\\partial E/\\partial I_j$. This is the generalized hydrodynamics current conjecture evaluated at finite volume, and the paper argues that its thermodynamic limit reproduces the dressed-velocity formula. The same proof gives the generalized current formula $\\langle J^\\beta_\\alpha(x)\\rangle = q'_{\\beta}\\cdot G^{-1}\\cdot q_\\alpha$. The derivation is model-independent once a finite-volume form-factor expansion theorem is available; the expansion is proved in detail for the XXZ and XXX chains and, as the paper states, follows for other models from earlier work.","pith_inferences":["Inference: If the same expansion theorem is proved for the Lieb-Liniger gas, the paper's model-independent Section IV transfers automatically; the only missing piece is a model-specific proof of Theorem 1, which this paper does not supply.","Inference: The matrix-tree combinatorics in the summation suggests that the current mean value formula might be provable directly from the Gaudin matrix and the continuity relation, bypassing the full form-factor expansion.","Inference: For nested Bethe ansatz models without $U(1)$ symmetry, an analogous Gaudin-like matrix would have to be identified; if it exists, the same algebraic structure would likely yield a similar current formula.","Inference: A numerical evaluation of both sides of (II.18) for small $N$ in the XXX chain, using the explicit current operators given in Appendix B, would isolate the validity of the expansion theorem from the rest of the argument."],"forward_implications":["The GHD current formula (I.5) follows from the finite-volume result in the thermodynamic limit, so ballistic transport equations in integrable models no longer depend on an unproved conjecture.","The finite-volume formula provides exact current mean values for small particle numbers, enabling direct checks against exact diagonalization or other small-system methods at finite $L$.","The generalized current formula (II.26) determines how every conserved charge flows under unitary evolution generated by any other charge, completing the hierarchy of continuity equations used in GHD.","The equality between the quantum formula and the finite-$N$ semi-classical time-delay calculation makes the flea-gas simulation exact at finite particle number, not just asymptotically.","For integrable quantum field theories, the paper obtains the formula up to exponentially small finite-volume corrections inherited from the form-factor expansion."],"supporting_citations":[{"why":"Conjectures the GHD current formula Eq. (I.5); this is the paper's main target.","marker":"[10]"},{"why":"Conjectures current profiles for the XXZ chain, giving the transport setting the result validates.","marker":"[11]"},{"why":"Supplies the singularity-based proof of Bethe-state norms, the pattern the paper generalizes.","marker":"[48]"},{"why":"Introduces the finite-volume form-factor expansion theorem used as Theorem 1.","marker":"[61]"},{"why":"Earlier derivation of related expansions for local operators in the 1D Bose gas, cited for the extension to that model.","marker":"[62]"},{"why":"Provides the Algebraic Bethe Ansatz commutation relations, scalar-product singularities, and norm formulas the proof relies on.","marker":"[23]"},{"why":"Proves the expansion theorem in integrable quantum field theory, cited for the validity of the result there up to exponentially small corrections.","marker":"[64]"}],"fun_headline_variants":["Bethe ansatz yields exact proof of GHD current formula","Exact finite-volume currents from Bethe ansatz form factors","Semi-classical current formula is exact in interacting quantum systems","GHD currents proven exactly for XXZ and XXX chains"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything collapses if the finite-volume form-factor expansion (Theorem 1, Eq. (IV.8)) fails for one of the claimed models, since the paper proves it only for the Heisenberg chains and elsewhere relies on earlier results it does not re-derive.","fun_headline_variants_meta":{"raw":{"variants":["Bethe ansatz yields exact proof of GHD current formula","Exact finite-volume currents from Bethe ansatz form factors","Semi-classical current formula is exact in interacting quantum systems","GHD currents proven exactly for XXZ and XXX chains"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0005,"raw_usage":{"total_tokens":2488,"prompt_tokens":1027,"completion_tokens":1461,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":643,"completion_tokens_details":{"reasoning_tokens":1391}},"tokens_in":643,"tokens_out":1461,"duration_ms":12457,"temperature":1.0,"reasoning_tokens":1391,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:20:02.475548+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the singularity identity (VI.7) explicitly for a three-particle matrix element in the XXZ chain using the listed commutation relations; if any term does not match, the induction proving Theorem 1 breaks and the current formula is unproved for that model.","supporting_citations":[{"cited_title":"Gaudin, B","cited_arxiv_id":null,"evidence_quote":"Supplies the singularity-based proof of Bethe-state norms, the pattern the paper generalizes."},{"cited_title":"The spin Drude weight of the XXZ chain and generalized hydrodynamics","cited_arxiv_id":"1808.09033","evidence_quote":"Provides the Algebraic Bethe Ansatz commutation relations, scalar-product singularities, and norm formulas the proof relies on."},{"cited_title":"LeClair-Mussardo series for two-point functions in Integrable QFT","cited_arxiv_id":"1802.05890","evidence_quote":"Proves the expansion theorem in integrable quantum field theory, cited for the validity of the result there up to exponentially small corrections."}],"review_version":1}