Pith. sign in

REVIEW 5 major objections 5 minor 4 cited by

Off-shell Bethe vectors for all classical Lie algebras follow from two simple relations, proven from the RTT presentation alone.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-03 12:59 UTC pith:JXTT6JKY

load-bearing objection Unified RTT-only definition of off-shell Bethe vectors for all four classical series; clean and useful, but C/D rests on a deferred correspondence, so the universality claim is provisional. the 5 major comments →

arxiv 2601.00713 v2 pith:JXTT6JKY submitted 2026-01-02 math-ph hep-thmath.MPmath.QAnlin.SI

Bethe Vectors in Quantum Integrable Models with Classical Symmetries

A. Liashyk , S. Pakuliak , E. Ragoucy This is my paper
classification math-ph hep-thmath.MPmath.QAnlin.SI MSC 17B3781R1282B23
keywords Bethe vectorsalgebraic Bethe ansatzYangianclassical Lie algebrasR-matrixmonodromy matrixoff-shell Bethe vectorsintegrable models
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper tries to establish a precise, intrinsic definition of off-shell Bethe vectors for generic integrable models with gl_n, o_{2n+1}, sp_{2n}, and o_{2n} symmetry. The authors claim that two relations — the action of the highest monodromy entry and the action of simple-root zero modes on the vacuum — completely characterize these vectors. They then prove that the standard properties of Bethe vectors, including arbitrary monodromy-entry actions, rectangular recurrence relations, the coproduct formula, and the on-shell eigenvector property, all follow from this definition. A sympathetic reader would care because it replaces case-by-case constructions of Bethe vectors for different classical series with one uniform definition, valid for any highest-weight representation.

Core claim

The paper's central claim is that, within the RTT presentation of the Yangian, off-shell Bethe vectors for the four classical series are uniquely determined (up to normalization) by the vacuum condition B(∅)=|0⟩ together with two formulas: the action of the highest monodromy entry T_{n',n}(z) and the action of the simple-root zero modes T_a. From these two inputs alone, and using only the RT T commutation relations, the paper proves the general action formula for all monodromy entries, the rectangular recurrence relations, the coproduct (composite-model) formula, and the fact that Bethe equations turn the off-shell vectors into eigenvectors of the transfer matrix. The formulas are unified ac

What carries the argument

The central object is Definition 5.1, which postulates that off-shell Bethe vectors B(t̄) are elements of the polynomial space V^+ fixed by B(∅)=|0⟩ together with the highest-entry action (5.5) and the zero-mode action (5.6). The highest monodromy entry T_{n',n}(z) acts like an affine root that extends the parameter sets by a new spectral parameter, while the zero modes T_a act like simple-root generators. The rational functions μ, Ω, α, and the shifted parameters z_s encode all algebra-specific data, and the two discrete parameters ε_g and ξ_g allow a single set of formulas to cover A, B, C, and D series.

Load-bearing premise

For sp_{2n} and o_{2n}, the two defining relations are posited as the complete characterization of the true off-shell Bethe vectors; the paper does not prove they match the standard or projection-method Bethe vectors, and if they do not, the derived properties describe different objects.

What would settle it

For sp_4 or o_4, compute the vector defined by Definition 5.1 for small parameter sets, say |t^0|=1 and |t^1|=1, using the explicit formulas, and compare it with the nested Bethe ansatz expression of Reshetikhin or with the trace-formula Bethe vector of the cited literature; any mismatch for generic parameters (without imposing Bethe equations) would falsify the claim that this definition reproduces the standard off-shell Bethe vectors.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • If the definition is correct, a single pair of formulas replaces the separate nested Bethe ansatz constructions for gl_n, o_{2n+1}, sp_{2n}, and o_{2n}.
  • The action of every monodromy entry and all rectangular recurrence relations become corollaries, providing the tools needed for scalar products, form factors, and correlation functions in higher-rank models.
  • The on-shell eigenvector property follows directly from the Bethe equations, so the usual physical interpretation of Bethe vectors is preserved without additional assumptions.
  • The coproduct formula shows how to assemble Bethe vectors of composite (multi-site) models from the Bethe vectors of their constituents, uniformly for all classical series.
  • Because the construction uses only the RTT commutation relations and highest-weight vacuum data, the resulting formulas are universal across all spin-chain realizations, with model dependence entering only through the functional parameters λ_i(z).

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the deferred proof of the C- and D-series correspondence is completed, all previously known Bethe vectors from the projection method, nested Bethe ansatz, and trace formulas would inherit the explicit action formulas, recurrence relations, and coproduct formula established here.
  • The two unifying parameters ε_g and ξ_g, whose algebraic meaning the paper leaves open, may turn out to encode root-system reflection or twisted-Yangian data; clarifying this could lead to uniform formulas for exceptional Lie algebras or quantum affine analogues.
  • A testable extension is to use the rectangular recurrence relations of Proposition 8.1 as a constructive algorithm: starting from the vacuum, one can generate explicit Bethe vectors for small-rank sp_{2n} and o_{2n} models and compare them with known expressions in the literature.
  • The formal resemblance between the highest-entry action and the affine-root construction suggests the same two-relation definition might extend to q-deformed and quantum affine settings, where analogous 'off-shell' vectors are less systematically understood.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

5 major / 5 minor

Summary. The manuscript proposes a unified definition of off-shell Bethe vectors for gl_n, o_{2n+1}, sp_{2n}, and o_{2n} within the RTT presentation of the Yangian. Definition 5.1 (and its gl_n precursor Definition 4.1) characterizes the off-shell Bethe vector B(\bar t) by the vacuum condition B(\emptyset)=|0>, the action of the highest monodromy entry (5.5), and the action of the zero-mode simple-root generators (5.6). From these two relations the paper claims to derive the action of arbitrary monodromy entries (Proposition 6.1), the on-shell eigenvector property (Proposition 7.2), rectangular recurrence relations (Proposition 8.1), and the coproduct formula (Proposition 9.1). For gl_n and o_{2n+1}, the starting data is anchored in earlier projection-method work [11,20,21]; for sp_{2n} and o_{2n}, the correspondence to the standard Bethe vectors is deferred to a forthcoming paper [22].

Significance. If the claimed theorem is correct, the paper provides a valuable unified framework: a compact, representation-independent definition of Bethe vectors for all classical Lie algebras, from which the main algebraic Bethe-ansatz properties follow without invoking Drinfeld's new realization. The introduction of the two discrete parameters \epsilon_g and \xi_g is elegant and allows a genuinely uniform presentation. However, the significance is conditional. For two of the four series, sp_{2n} and o_{2n}, the objects defined by (5.5)-(5.6) are not identified with any previously known Bethe vectors, and several central proofs are only sketched or deferred. The paper therefore currently supports a promising program rather than a complete proof of its main claims.

major comments (5)
  1. [Section 5, Definition 5.1; Section 10] For sp_{2n} and o_{2n}, the defining relations (5.5)-(5.6) are posited without derivation or comparison to the nested Bethe ansatz vectors [2,25,26] or the trace-formula Bethe vectors [9]. The Conclusion explicitly states that 'a complete proof of this correspondence will be presented in [22]', and [22] is listed as 'in preparation'. This is load-bearing: all subsequent propositions concern the objects defined by these two relations, and if the normalization \mu_n^{n'} or the rational functions \gamma_a^b in (5.7) do not match the standard Bethe vectors, the derived formulas apply to a different family. The assertion in Section 2 that the proofs 'establish the full compatibility between these two definitions' is therefore premature for the C and D series. The correspondence must either be proved in this paper or the claims must be explicitly conditional.
  2. [Proposition 6.1 (Section 6)] The central action formula (6.3) is not proved. The proof paragraph describes an induction using the zero-mode action (5.6) and the commutation relations (6.7), but then states that the 'calculations are rather lengthy but straightforward' and leaves them 'to the interested readers'. Since Proposition 7.1, Proposition 7.2, Proposition 8.1, and Proposition 9.1 all rely on this formula, the omission is not a presentation detail. A complete induction, or at least full details for sp_{2n} and o_{2n}, must be supplied for the central claim to be verifiable.
  3. [Proposition 7.2 and Appendix B] The on-shell vanishing of unwanted terms is the result that justifies the name 'Bethe vectors'. The proof of Proposition 7.2 is described as 'a direct verification' using Appendix B, but the appendix only proves Lemma B.2 in detail for o_{2n+1}, with the other cases dismissed as 'analogous'. The key cancellation identity (7.9) is not demonstrated for sp_{2n} or o_{2n}. Since for gl_n and o_{2n+1} earlier references exist, the missing part is precisely the C and D cases, which are also the cases where the definition itself is not matched to known Bethe vectors. This needs to be completed.
  4. [Proposition 8.1 and uniqueness claims (Sections 2, 8)] The paper repeatedly claims that Definition 5.1 uniquely defines the off-shell Bethe vectors. The proof of the rectangular recurrence relations (8.2) is a three-sentence induction sketch, and the statement that the basic recurrences allow one to build any Bethe vector 'proving in this way its uniqueness' is not given as a formal argument. For sp_{2n} and o_{2n} there is no detailed induction at all. The uniqueness claim is therefore asserted rather than established, and it is intertwined with the same unverified starting data.
  5. [Proposition 9.1 (Section 9)] The coproduct formula is announced as one of the main consequences of the definition. The proof for gl_n is a sketch by induction on rank and cardinality, and for sp_{2n} and o_{2n} it is reduced to one sentence ('can de dealt analogously'). Given that the C/D definition is itself unverified, this proposition cannot currently be considered proved. It should either be proved in full or explicitly marked as conditional on the correspondence with the standard C/D Bethe vectors.
minor comments (5)
  1. [Introduction and Section 10] The phrase 'three fundamental relations' in the Conclusion is confusing: Definition 2.1/5.1 consists of the vacuum normalization B(\emptyset)=|0> plus two action relations. Please say 'two relations together with a normalization condition'.
  2. [Equation (3.5)] The statement that the operation (\cdot)^t 'gives 0 for gl_n' is terse: for gl_n, \epsilon_i=0 for all positive indices, so the transposition is the zero map. A short explanation would help the reader.
  3. [Reference list] Reference [22] is used to support a load-bearing claim but is marked 'In preparation'. It should be explicitly identified in the text as an unpublished manuscript, and the main claims should not rest on it.
  4. [Section 7.1] The equivalence between eigenvalue expressions (7.13) and (7.14) is said to follow from a relation for \lambda_{-1}(z) that 'is a direct consequence of (7.11)'. This is not immediate and should be shown explicitly.
  5. [Throughout] There are several typographical issues, e.g. 'developped' in the Introduction, 'quatum' in reference [18], and the broken line 'algebraso 2n+1,sp 2n, ando 2n' in the Introduction. These should be corrected.

Circularity Check

0 steps flagged

No circularity: Definition 5.1 is an explicit postulate, and all subsequent propositions are derived from it via RTT relations; the deferred sp/o correspondence is a completeness gap, not a circular reduction.

full rationale

The paper is transparent that its starting point is posited data: "This data can be obtained from elsewhere, in particular from the projection method. Once this data obtained (or postulated), the full description of the Bethe vectors ... is done using basically only RTT commutation relations" (Section 1). Definition 5.1 then fixes (5.5)-(5.6) as the two defining relations; Propositions 6.1, 7.1-7.2, 8.1 and 9.1 are derived from these relations together with the RTT commutation relations (3.12). No fitted parameter is later renamed as a prediction: the Bethe equations (7.2) are read off from the vanishing of the unwanted terms in the transfer-matrix action, not obtained by matching data. The self-citations [11,20,21] supply the gl_n/o_{2n+1} starting data in earlier derivations; they are not used as an unverified uniqueness theorem to forbid alternatives, and the present derivation does not reduce to them. The genuine limitation is the unproved correspondence for sp_{2n} and o_{2n}: the conclusion states "A complete proof of this correspondence will be presented in [22]." This is a completeness/external-validity gap -- if (5.5)-(5.6) do not match the standard nested/trace Bethe vectors, the derived properties concern different objects -- but it is not a circularity, because the paper explicitly defines the objects by those relations and proves the properties of the objects so defined. Likewise, the statement in Prop. 9.1's proof that sp/o cases "can be dealt analogously" is an omitted argument, not a circular one. I therefore find no step in which a claimed prediction is equal to an input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

No new physical entities are introduced; the discrete parameters ϵ_g and ξ_g are algebraic labels. The free functional parameters λ_i(u) are inputs of the model, not fitted to any data. The main load-bearing axiom is the correctness of the two defining relations (5.5)-(5.6).

axioms (6)
  • standard math Monodromy matrix entries satisfy the RTT commutation relations (3.12) with the g-invariant R-matrix.
    Defines the Yangian-like algebra A_g; this is the background framework of the algebraic Bethe ansatz.
  • standard math The zero modes T_{i,j} of the monodromy entries form a representation of the Lie algebra g with the commutation relations (3.14).
    Used to identify simple-root generators and to derive action formulas via induction.
  • domain assumption There exists a vacuum vector |0⟩ satisfying (3.21) for given functional parameters λ_i(u); all spin-chain models fall in this class.
    The vector space V_+ is built from polynomials in upper-triangular entries acting on this vacuum; the universality claim rests on this model class.
  • domain assumption The central elements z_1(u), z_2(u) in the symmetry relations are normalized to 1 (3.20).
    A gauge choice that simplifies the inverse of the monodromy matrix and is used in the functional relations for λ_i for o_N and sp_{2n}.
  • ad hoc to paper The two defining relations of Definition 5.1 (actions of T_{n',n}(z) and T_a on off-shell Bethe vectors) correctly describe the desired off-shell Bethe vectors, inherited from the projection method.
    This is the central postulate; for sp_{2n} and o_{2n} the inheritance is not proved here and is deferred to [22].
  • domain assumption Bethe parameters are assumed generic (or treated as formal variables) so that rational functions in the formulas have well-defined series expansions and denominators do not vanish identically.
    Products like g(z,z)^{-1} are used to eliminate unwanted partitions; the paper assumes generic parameters explicitly in places (e.g., before (4.25)).

pith-pipeline@v1.3.0-alltime-deepseek · 36464 in / 15288 out tokens · 130926 ms · 2026-08-03T12:59:16.372209+00:00 · methodology

0 comments
read the original abstract

The first goal of this paper is to give a precise and simple definition for off-shell Bethe vectors in a generic $g$-invariant integrable model for $g=gl_n$, $o_{2n+1}$, $sp_{2n}$ and $o_{2n}$. We prove from our definition that the off-shell Bethe vectors indeed become on-shell when the Bethe equations are obeyed. Then, we show that some properties for these off-shell Bethe vectors, such as the action formulas of monodromy entries on these vectors, their rectangular recurrence relations and their coproduct formula, are a consequence of our definition.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Yangian Doubles and off-Shell Bethe Vectors

    nlin.SI 2026-07 unverdicted novelty 6.0

    Off-shell Bethe vectors are constructed via Yangian double currents and verified to satisfy defining properties previously used for on-shell vectors in ggo-invariant models.

  2. Preparing multi-qudit states in a definite-weight subspace

    quant-ph 2026-06 unverdicted novelty 6.0

    A deterministic algorithm prepares arbitrary multi-qudit states in definite-weight subspaces via Gray codes for multiset permutations and applies it to SU(3) Bethe states and SU(d) Dicke states.

  3. Preparing multi-qudit states in a definite-weight subspace

    quant-ph 2026-06 unverdicted novelty 6.0

    A deterministic algorithm prepares arbitrary multi-qudit states in a definite-weight subspace via Gray-code ordering of multiset permutations, reducing preparation to controlled 2-qudit Gray rotations, and is demonstr...

  4. Serre Relations in Yangian Doubles

    math-ph 2026-06 unverdicted novelty 5.0

    Serre relations in Yangian doubles are reformulated as quadratic commutation relations between composed currents for classical Lie algebras.

Reference graph

Works this paper leans on

30 extracted references · 13 linked inside Pith · cited by 3 Pith papers

  1. [1]

    Arnaudon, A

    D. Arnaudon, A. Molev, E. Ragoucy.On the R-matrix realization of Yangians and their representations.Ann. Henri Poincare,7(2006), 1269–1325,arXiv:math/0511481

    Pith/arXiv arXiv 2006

  2. [2]

    H. J. De Vega, M. Karowski,Exact Bethe ansatz solution ofO(2N)symmetric theories, Nuc. Phys. B280(1987) 225—254

    1987

  3. [3]

    J. Ding, I. Frenkel,Isomorphism of two realizations of quantum affine algebraU q(gl(n)), Comm. Math. Phys.156(1993), 277–300

    1993

  4. [4]

    J. Ding, S. Khoroshkin.Weyl group extension of quantized current algebras.Transform. Groups5(2000), 35–59,arXiv:math/9804139

    Pith/arXiv arXiv 2000

  5. [5]

    V. G. Drinfel’d,Quantum groups, Journal of Soviet Mathematics41(1988) 898

    1988

  6. [6]

    V. G. Drinfeld.A new realization of Yangians and of quantum affine algebras, Soviet Math. Dokl.36(1988) 212–216

    1988

  7. [7]

    Enriquez.On correlation functions of Drinfeld currents and shuffle algebras.Transfor- mation Groups5(2000), 111–120,arXiv:math/9809036

    B. Enriquez.On correlation functions of Drinfeld currents and shuffle algebras.Transfor- mation Groups5(2000), 111–120,arXiv:math/9809036

    Pith/arXiv arXiv 2000

  8. [8]

    Enriquez, S

    B. Enriquez, S. Khoroshkin, S. Pakuliak,Weight functions and Drinfeld currents,Comm. Math. Phys.276(2007) 691–725,arXiv:0610398

    2007

  9. [9]

    Gerrard, V

    A. Gerrard, V. Regelskis,Nested algebraic Bethe ansatz for deformed orthogonal and symplectic spin chains, Nuc. Phys. B,956, (2020) 115021

    2020

  10. [10]

    Hutsalyuk, A

    A. Hutsalyuk, A. Liashyk, S. Z. Pakuliak, E. Ragoucy, N. A. Slavnov,Current presentation for the double super-YangianDY(gl(m|n))and Bethe vectors, Russ. Math. Surv.72:1 (2017) 33–99,arXiv:1611.09620

    Pith/arXiv arXiv 2017

  11. [11]

    Hutsalyuk, A

    A. Hutsalyuk, A. Liashyk, S. Z. Pakuliak, E. Ragoucy, N. A. Slavnov,Actions of the monodromy matrix elements ontogl(m|n)-invariant Bethe vectors, J. Stat. Mech.2009 (2020) 093104,arXiv:2005.09249

    Pith/arXiv arXiv 2009

  12. [12]

    A. G. Izergin and V. E. Korepin.The Quantum Inverse Scattering Method Approach to Correlation Functions, Commun. Math. Phys.94, 67–92 (1984)

    1984

  13. [13]

    N. Jing, M. Liu, A. Molev,Isomorphism between the R-matrix and Drinfeld presen- tations of Yangian in typesB,CandD,Comm. Math. Phys.361(2018), 827–872, arXiv:1705.08155

    Pith/arXiv arXiv 2018

  14. [14]

    Khoroshkin, S

    S. Khoroshkin, S. Pakuliak,A computation of an universal weight function for the quantum affine algebraU q(gl(N)), J. of Mathematics of Kyoto University,48n.2 (2008) 277–321, arXiv:0711.2819

    Pith/arXiv arXiv 2008

  15. [15]

    Kosmakov, V

    M. Kosmakov, V. Tarasov,New combinatorial formulae for nested Bethe vectors, SIGMA 21(2025), 060,arXiv:2312.00980. 38

    Pith/arXiv arXiv 2025

  16. [16]

    Kosmakov, V

    M. Kosmakov, V. Tarasov,New combinatorial formulae for nested Bethe vectors II, Lett. Math. Phys.115(2025), 12,arXiv:2402.15717

    Pith/arXiv arXiv 2025

  17. [17]

    P. P. Kulish, N. Yu. Reshetikhin,GL(3)-invariant solutions of the Yang–Baxter equation and associated quantum systems, J. Sov. Math., 34:5, 1948, (1982)

    1948

  18. [18]

    P. P. Kulish, N. Yu. Reshetikhin,Diagonalisation of gl(n) invariant transfer matrices and quatumN-wave system (Lee model), J. Phys. A16, L591, (1983)

    1983

  19. [19]

    Liashyk, S

    A. Liashyk, S. Pakuliak,Gauss Coordinates vs Currents for the Yangian Doubles of the Classical Types.SIGMA16(2020) 120, 23 pages,arXiv:2006.01579

    Pith/arXiv arXiv 2020

  20. [20]

    Liashyk, S

    A. Liashyk, S. Pakuliak.Algebraic Bethe ansatz foro 2n+1-invariant integrable models. Theoret. and Math. Phys.206(2021) 19-39,arXiv:2008.03664

    Pith/arXiv arXiv 2021

  21. [21]

    Liashyk, S

    A. Liashyk, S. Pakuliak, E. Ragoucy.Rectangular recurrence relations ingl n ando 2n+1 invariant integrable models.SIGMA21(2025) 078, 28 pages,arXiv:2412.05224

    arXiv 2025

  22. [22]

    Liashyk, S

    A. Liashyk, S. Pakuliak, E. Ragoucy.Serre relations and Bethe vectors for the Yangian doubles of the classical series. In preparation

  23. [23]

    A. I. Molev,Yangians and Classical Lie Algebras, Mathematical Surveys and Monographs. Providence, RI: American Mathematical Society, (2007)

    2007

  24. [24]

    Molev, M

    A. Molev, M. Nazarov and G. Olshanski,Yangians and classical Lie algebras, Russian Math. Survey51(1996) 205 andarXiv:hep-th/9409025

    Pith/arXiv arXiv 1996

  25. [25]

    N. Y. Reshetikhin,Integrable models of quantum one-dimensional magnets withO(n)and Sp(2k)symmetry, Teor. Math. Fiz.63(1985) 347

    1985

  26. [26]

    N. Y. Reshetikhin,Algebraic Bethe ansatz forSO(N)-invariant transfer matrices, J. Sov. Math.54, 940 (1991)

    1991

  27. [27]

    Slavnov.Algebraic Bethe Ansatz and Correlation Functions

    N. Slavnov.Algebraic Bethe Ansatz and Correlation Functions. An Advanced Course., World Scientific, (2022)

    2022

  28. [28]

    Tarasov, A

    V. Tarasov, A. Varchenko.Jackson integral representations for solutions of the Knizh- nik–Zamolodchikov quantum equation, St. Petersburg Math. J. 6 (1994), 275–313, arXiv:hep-th/9311040

    Pith/arXiv arXiv 1994

  29. [29]

    C. N. Yang.Some Exact Results for the Many-Body Problem in one Dimension with Repulsive Delta-Function Interaction, Phys. Rev. Lett. (1967)191312–1315

    1967

  30. [30]

    A. B. Zamolodchikov, Al. B. Zamolodchikov.FactorizedS-matrices in two dimensions as the exact solutions of certain relativistic quantum field models, Ann. Phys.120(1979) 253–291. 39

    1979