pith. sign in

arxiv: 1907.11875 · v1 · pith:2DBJVZ7Dnew · submitted 2019-07-27 · 🧮 math-ph · math.MP· nlin.SI

New approach to scalar products of Bethe vectors

Pith reviewed 2026-05-24 14:50 UTC · model grok-4.3

classification 🧮 math-ph math.MPnlin.SI
keywords Bethe vectorsscalar productstransfer matrixalgebraic Bethe ansatzdeterminant representationperiodic boundary conditionsreflection algebraintegrable models
0
0 comments X

The pith

A new method extracts scalar products of Bethe vectors as coefficients in the multiple action of the transfer matrix, producing determinant formulas for both periodic and reflection boundaries.

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

The paper develops a new approach to computing scalar products between on-shell and off-shell Bethe vectors in quantum integrable models. It relies on the known action of the transfer matrix on these vectors for systems with gl(2)-invariant R-matrices. By examining the multiple action of the transfer matrix, the authors identify a specific coefficient that directly corresponds to the desired scalar product. This leads to explicit determinant formulas for the scalar products under both periodic boundary conditions and those derived from the reflection algebra. The method applies uniformly to models solvable by the algebraic Bethe ansatz.

Core claim

We present a new method to calculate the scalar products based on formula of an action of transfer matrix of a model onto Bethe vector. Using this method we identify some coefficient in the multiple action of the transfer matrix with the scalar product between on-shell and off-shell Bethe vectors. This allows us to find determinant representation of the scalar products in both types of boundary conditions.

What carries the argument

The multiple action of the transfer matrix on Bethe vectors, from which a coefficient is identified as the scalar product between on-shell and off-shell vectors.

Load-bearing premise

The models under consideration are solvable by the algebraic Bethe ansatz and possess a gl(2)-invariant R-matrix, with a known explicit formula for the action of the transfer matrix on Bethe vectors.

What would settle it

A direct computation of the scalar product for a small system size that fails to match the coefficient extracted from the multiple transfer matrix action.

read the original abstract

We consider quantum integrable models solvable by the algebraic Bethe ansatz and possessing $\mathfrak{gl}(2)$-invariant $R$-matrix. We study the models of both periodic boundary conditions and boundary conditions based on reflection algebra. We present a new method to calculate the scalar products based on formula of an action of transfer matrix of a model onto Bethe vector. Using this method we identify some coefficient in the multiple action of the transfer matrix with the scalar product between on-shell and off-shell Bethe vectors. This allows us to find determinant representation of the scalar products in both types of boundary conditions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proposes a new method to compute scalar products between on-shell and off-shell Bethe vectors in quantum integrable models with gl(2)-invariant R-matrix that are solvable by the algebraic Bethe ansatz. The approach relies on the known explicit action of the transfer matrix on Bethe vectors; a coefficient appearing in the multiple action is identified with the desired scalar product, which is then shown to admit a determinant representation. The construction is carried out for both periodic boundary conditions and boundary conditions arising from the reflection algebra.

Significance. If the coefficient identification is correctly established, the method supplies a uniform route to determinant formulas for scalar products under two distinct classes of boundary conditions. Such formulas are central to the computation of correlation functions and norms in ABA-solvable models. The paper works entirely inside the standard gl(2) ABA framework and does not introduce additional ad-hoc assumptions; this is a strength.

minor comments (2)
  1. The abstract states that the identification 'allows us to find determinant representation' but does not indicate the section in which the explicit determinant is derived; a one-sentence pointer would improve readability.
  2. Notation for the reflection-algebra case (e.g., the precise form of the K-matrix and the boundary transfer matrix) should be recalled briefly in the main text before the coefficient identification is performed, even if it appears in an appendix.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation for minor revision. The report correctly identifies the core contribution: using the explicit action of the transfer matrix to identify a coefficient with the scalar product, thereby obtaining determinant representations for both periodic and reflecting boundary conditions within the standard gl(2) ABA framework. No major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives determinant representations for scalar products of Bethe vectors by identifying a coefficient in the multiple action of the transfer matrix (a standard ABA input) with the on-shell/off-shell scalar product. This step uses the known explicit action formula as an external starting point rather than deriving it internally or fitting it to the target scalar products. No self-definitional loop, fitted-input prediction, or load-bearing self-citation chain is exhibited in the provided abstract or description; the central claim remains independent of the paper's own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Ledger is necessarily incomplete because only the abstract is available; the listed items are extracted directly from the abstract's opening statements.

axioms (2)
  • domain assumption The models are solvable by the algebraic Bethe ansatz and possess a gl(2)-invariant R-matrix.
    Stated in the first sentence of the abstract as the class of models considered.
  • domain assumption An explicit formula exists for the action of the transfer matrix on a Bethe vector.
    Invoked in the abstract as the starting point of the new method.

pith-pipeline@v0.9.0 · 5618 in / 1335 out tokens · 23896 ms · 2026-05-24T14:50:24.363831+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages · 6 internal anchors

  1. [1]

    L. D. Faddeev, E. K. Sklyanin and L. A. Takhtajan, Quantum Inverse Problem. I , Theor. Math. Phys. 40 (1979) 688–706

  2. [2]

    L. D. Faddeev and L. A. Takhtajan, The quantum method of the inverse problem and the Heisenberg XY Z model, Usp. Math. Nauk 34 (1979) 13; Russian Math. Surveys 34 (1979) 11 (Engl. transl.)

  3. [3]

    L. D. Faddeev, in: Les Houches Lectures Quantum Symmetries, eds A. Connes et al, North Holland, (1998) 149

  4. [4]

    V. E. Korepin, N. M. Bogoliubov, A. G. Izergin, Quantum Inverse Scattering Method and Correlation Functions, Cambridge: Cambridge Univ. Press, 1993

  5. [5]

    Correlation functions of the XXZ Heisenberg spin-1/2 chain in a magnetic field

    N. Kitanine, J. M. Maillet, V. Terras, Correlation functions of the XXZ Heisenberg spin- 1/2 chain in a magnetic field , Nucl. Phys. B 567 (2000) 554–582, arXiv:math-ph/9907019. 11

  6. [6]

    Form factor approach to dynamical correlation functions in critical models

    N. Kitanine, K. Kozlowski, J. M. Maillet, N. A. Slavnov, V . Terras, Form factor approach to dynamical correlation functions in critical models , J. Stat. Mech. 1209 (2012) P09001, arXiv:1206.2630

  7. [7]

    Integral representations for correlation functions of the XXZ chain at finite temperature

    F. G¨ ohmann, A. Kl¨ umper, A. Seel, Integral representations for correlation functi- ons of the XXZ chain at finite temperature , J. Phys. A 37 (2004) 7625–7652, arXiv:hep-th/0405089

  8. [8]

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

  9. [9]

    A. G. Izergin, Partition function of the six-vertex model in a finite volume , Dokl. Akad. Nauk SSSR 297 (1987) 331–333; Sov. Phys. Dokl. 32 (1987) 878–879 (Engl. transl.)

  10. [10]

    Slavnov, Calculation of scalar products of wave functions and form fa ctors in the framework of the algebraic Bethe ansatz , Theor

    N.A. Slavnov, Calculation of scalar products of wave functions and form fa ctors in the framework of the algebraic Bethe ansatz , Theor. Math. Phys. 79:2 (1989) 502–508

  11. [11]

    Form factors of the XXZ Heisenberg spin-1/2 finite chain

    N. Kitanine, J.M. Maillet and V. Terras, Form factors of the XXZ Heisenberg spin- 1/2 finite chain , Nucl. Phys. B 554 (1999) 647–678, arXiv:math-ph/9807020

  12. [12]

    Gaudin, Mod` eles exacts en m´ ecanique statistique: la m´ ethode de B ethe et ses g´ en´ eralisations, Preprint, Centre d’Etudes Nucl´ eaires de Saclay, CEA-N- 1559:1 (1972)

    M. Gaudin, Mod` eles exacts en m´ ecanique statistique: la m´ ethode de B ethe et ses g´ en´ eralisations, Preprint, Centre d’Etudes Nucl´ eaires de Saclay, CEA-N- 1559:1 (1972)

  13. [13]

    V. E. Korepin, Calculation of norms of Bethe wave functions , Comm. Math. Phys. 86 (1982) 391–418

  14. [14]

    E. K. Sklyanin, Boundary conditions for integrable quantum systems , J. Phys. A: Math. Gen. 21 , 2375 (1988)

  15. [15]

    Kitanine, K

    N. Kitanine, K. K. Kozlowski, J. M. Maillet, G. Niccoli, N. A. Slavnov, V. Terras, Corre- lation functions of the open XXZ chain I , J. Stat. Mech. (2007), P10009

  16. [16]

    Spin-spin correlation functions of the XXZ-1/2 Heisenberg chain in a magnetic field

    N. Kitanine, J. M. Maillet, N. Slavnov, and V. Terras, Spin-spin correlation functions of the XXZ-1/2 Heisenberg chain in a magnetic field ,Nuclear Phys. B, 641 (2002), 487518, hep-th/0201045

  17. [17]

    Bethe vectors of GL(3)-invariant integrable models

    S. Belliard, S. Pakuliak, E. Ragoucy, N. A. Slavnov, Bethe vectors of GL(3)-invariant integrable models , J. Stat. Mech. 1302 (2013) P02020, math-ph/1210.0768. 12