How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A one-root Bethe equation need not produce a complete set of vectors
Facts & Assumptions
Given: The Hopf counit representation, its direct sum on a two-dimensional space, and the one-root Bethe-vector notation from The one-root gl2 Bethe equation cancels the unwanted transfer term.
The RTT Yangian has its standard Hopf structure: defines the counit representation.
The one-root gl2 Bethe equation cancels the unwanted transfer term: the cancellation statement uses a common regular spectral domain realizing the RTT identities; its one-root condition is , and it assumes the associated Bethe vector is nonzero to conclude it is an eigenvector.
Counterexample
Let be the direct sum of two counit representations and set . Applying the counit on each summand gives , hence and . These constant operator families are regular on the common spectral domain and satisfy the pointwise RTT identities. Thus the pseudovacuum conditions hold there with , and the one-root equation in [F2] holds for every .
For every and parameters , the rightmost sends to zero, so . The empty product is . Hence all Bethe vectors from this pseudovacuum span , a proper subspace because is linearly independent from . Thus the one-root equation by itself does not guarantee completeness.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
4 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- L. D. Faddeev, How Algebraic Bethe Ansatz Works for Integrable Model (standard reference, not scraped)
- F. Loebbert, Lectures on Yangian Symmetry (standard reference, not scraped)