Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf ·...
Transcript of Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf ·...
![Page 1: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/1.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Integrability of rational spin chains, MKPhierarchy, and Q-operators.
Sebastien LeurentImperial college (London)
[arXiv:1010.4022] V. Kazakov, SL, Z. Tsuboi[arXiv:1112.3310] A. Alexandrov, V. Kazakov, SL,
Z.Tsuboi, A. Zabrodin
Saclay, November 22, 2012
![Page 2: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/2.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Quantum Integrability
Very specific models (spin chains orquantum field theories), which have :
1+1 dimensions
local interactions
and many conserved charges
are integrable.
=•••
=•••
Then, they have the following properties
Properties of integrable models
n-points interactions factorize into 2-points interactions
the exact diagonalization of the Hamiltonian reduces tosolving the Bethe Equation(s).
![Page 3: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/3.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Quantum Integrability
Very specific models (spin chains orquantum field theories), which have :
1+1 dimensions
local interactions
and many conserved charges
are integrable.
=•••
=•••
Then, they have the following properties
Properties of integrable models
n-points interactions factorize into 2-points interactions
the exact diagonalization of the Hamiltonian reduces tosolving the Bethe Equation(s).
![Page 4: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/4.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
One method of resolutionthrough a Backlund flow and Q-operators
Solving integrable models through Q-operators
Reduce the model to a simpler and simpler system(Backlund flow Q-operators)
Express the original Hamiltonian through Q-operators
The Bethe equations arise naturally as a consistencyconstraint, required by Q-operators’ analyticity properties
→ A simple example is GL(K |M) spin chains.This procedure proved fruitful for many models, includingthe 3+1-dimensional N = 4 Super-Yang-Mills (ofAdS/CFT duality)
[Gromov, Kazakov, SL, Volin 11]
[Balog, Hegedus 12]
![Page 5: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/5.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
One method of resolutionthrough a Backlund flow and Q-operators
Solving integrable models through Q-operators
Reduce the model to a simpler and simpler system(Backlund flow Q-operators)
Express the original Hamiltonian through Q-operators
The Bethe equations arise naturally as a consistencyconstraint, required by Q-operators’ analyticity properties
→ A simple example is GL(K |M) spin chains.This procedure proved fruitful for many models, includingthe 3+1-dimensional N = 4 Super-Yang-Mills (ofAdS/CFT duality)
[Gromov, Kazakov, SL, Volin 11]
[Balog, Hegedus 12]
![Page 6: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/6.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
One method of resolutionthrough a Backlund flow and Q-operators
Solving integrable models through Q-operators
Reduce the model to a simpler and simpler system(Backlund flow Q-operators)
Express the original Hamiltonian through Q-operators
The Bethe equations arise naturally as a consistencyconstraint, required by Q-operators’ analyticity properties
→ A simple example is GL(K |M) spin chains.This procedure proved fruitful for many models, includingthe 3+1-dimensional N = 4 Super-Yang-Mills (ofAdS/CFT duality)
[Gromov, Kazakov, SL, Volin 11]
[Balog, Hegedus 12]
![Page 7: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/7.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Outline
1 Motivation
2 Q-operators for the GL(K |M) spin chainsT-operatorsBacklund flowExplicit expression of Q-operators
3 Classical integrability of the MKP-hierarchyτ -functionsGeneral rational solutionUndressing procedure
4 Construction of Q-operatorsGL(k) spin chainFinite size effects in integrable field theories
![Page 8: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/8.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Heisenberg “XXX” spin chainConstruction of T-operators
T (u) = tra ((u I+ PL,a) · (u I+ PL−1,a) · · · (u I+ P1,a))
operator on the Hilbert space(C2)⊗L
a
1234L− 2L− 1
L
2
L
· · ·
permutation operator : P1,2 | ↓↓ ↑↓↑↓↓ · · · 〉 = | ↓↓ ↑↓↑↓↓ · · · 〉P1,2 | ↓↑ ↑↓↑↓↓ · · · 〉 = | ↑↓ ↑↓↑↓↓ · · · 〉
[T (u),T (v)
]= 0
(proved from relations like Pi ,jPj ,k = Pj ,kPi ,k)
H = −∑
i ~σi · ~σi+1 = L− 2 ddu
logT (u)∣∣u=0
![Page 9: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/9.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Heisenberg “XXX” spin chainConstruction of T-operators
T (u) = tra ((u I+ PL,a) · (u I+ PL−1,a) · · · (u I+ P1,a))
operator on the Hilbert space(C2)⊗L
a
1234L− 2L− 1
L
2
L
· · ·
permutation operator : P1,2 | ↓↓ ↑↓↑↓↓ · · · 〉 = | ↓↓ ↑↓↑↓↓ · · · 〉P1,2 | ↓↑ ↑↓↑↓↓ · · · 〉 = | ↑↓ ↑↓↑↓↓ · · · 〉
[T (u),T (v)
]= 0
(proved from relations like Pi ,jPj ,k = Pj ,kPi ,k)
H = −∑
i ~σi · ~σi+1 = L− 2 ddu
logT (u)∣∣u=0
![Page 10: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/10.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
GL(K ) spin chainsConstruction of T-operators
T (u) = tra ((u I+ PL,a) · (u I+ PL−1,a) · · · (u I+ P1,a))
operator on the Hilbert space(CK)⊗L
a
1234L− 2L− 1
L
2
L
· · ·
permutation operator : P1,2 | ↓↓ ↑↓↑↓↓ · · · 〉 = | ↓↓ ↑↓↑↓↓ · · · 〉P1,2 | ↓↑ ↑↓↑↓↓ · · · 〉 = | ↑↓ ↑↓↑↓↓ · · · 〉
[T (u),T (v)
]= 0
(proved from relations like Pi ,jPj ,k = Pj ,kPi ,k)
H = −∑
i~λi · ~λi+1 =
2KL− 2 d
dulogT (u)
∣∣u=0
![Page 11: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/11.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
GL(K ) spin chainsConstruction of T-operators
T (u) = tra (((u − ξL)I+ PL,a) · · · ((u − ξ1)I+ P1,a) · g)
operator on the Hilbert space(CK)⊗L
ag
1234L− 2L− 1
L
2
L
· · ·
twist g ∈ GL(K )
permutation operator : P1,2 | ↓↓ ↑↓↑↓↓ · · · 〉 = | ↓↓ ↑↓↑↓↓ · · · 〉P1,2 | ↓↑ ↑↓↑↓↓ · · · 〉 = | ↑↓ ↑↓↑↓↓ · · · 〉
[T (u),T (v)
]= 0
(proved from relations like Pi ,jPj ,k = Pj ,kPi ,k)
H = −∑
i~λi · ~λi+1 =
2KL− 2 d
dulogT (u)
∣∣u=0
![Page 12: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/12.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
GL(K ) spin chainsConstruction of T-operators
Tλ(u) = tra (((u − ξL)I+ PL,a) · · · ((u − ξ1)I+ P1,a) · πλ(g))
operator on the Hilbert space(CK)⊗L
aπλ(g)
λ =
1234L− 2L− 1
L
2
L
· · ·
twist g ∈ GL(K )
permutation operator : P1,2 | ↓↓ ↑↓↑↓↓ · · · 〉 = | ↓↓ ↑↓↑↓↓ · · · 〉P1,2 | ↓↑ ↑↓↑↓↓ · · · 〉 = | ↑↓ ↑↓↑↓↓ · · · 〉
[Tλ(u),Tµ(v)
]= 0
(proved from relations like Pi ,jPj ,k = Pj ,kPi ,k)
H = −∑
i~λi · ~λi+1 =
2KL− 2 d
dulogT (u)
∣∣u=0
![Page 13: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/13.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
GL(K |M) spin chainsConstruction of T-operators
Tλ(u) = tra (((u − ξL)I+ PL,a) · · · ((u − ξ1)I+ P1,a) · πλ(g))
operator on the Hilbert space(CK |M
)⊗L
aπλ(g)
λ =
1234L− 2L− 1
L
2
L
· · ·
twist g ∈ GL(K |M)
permutation operator : P1,2 | ↓↓ ↑↓↑↓↓ · · · 〉 = | ↓↓ ↑↓↑↓↓ · · · 〉P1,2 | ↓↑ ↑↓↑↓↓ · · · 〉 = | ↑↓ ↑↓↑↓↓ · · · 〉
[Tλ(u),Tµ(v)
]= 0
(proved from relations like Pi ,jPj ,k = Pj ,kPi ,k)
H = −∑
i~λi · ~λi+1 =
2KL− 2 d
dulogT (u)
∣∣u=0
![Page 14: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/14.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
T-operators! characters+ Cherednik-Bazhanov-Reshetikhin formula
Tλ(u) = tra (((u − ξL)I+ PL,a) · · · ((u − ξ1)I+ P1,a) · πλ(g))
At L = 0, Tλ(u) = χλ(g) ≡ tr πλ(g)
In general ui ≡ u − ξi
Tλ(u) =(
u1 + D)
⊗(
u2 + D)
⊗ · · · ⊗(
uL + D)
χλ(g)
Rectangular representation : a, s ↔ λ =
}
a
︸ ︷︷ ︸
s
Determinant identity[Cherednik 86] [Bazhanov-Reshetikhin 90] [Kazakov Vieira 08]
χλ(g) = det(χ1,λi+j−i (g)
)
1≤i ,j≤|λ|
Tλ(u) =det(T 1,λi+j−i (u+1−j))
1≤i,j≤|λ|∏|λ|−1
k=1 T 0,0(u−k)
![Page 15: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/15.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
T-operators! characters+ Cherednik-Bazhanov-Reshetikhin formula
Tλ(u) = tra (((u − ξL)I+ PL,a) · · · ((u − ξ1)I+ P1,a) · πλ(g))
At L = 0, Tλ(u) = χλ(g) ≡ tr πλ(g)
In general ui ≡ u − ξi
Tλ(u) =(
u1 + D)
⊗(
u2 + D)
⊗ · · · ⊗(
uL + D)
χλ(g)
Rectangular representation : a, s ↔ λ =
}
a
︸ ︷︷ ︸
s
Determinant identity[Cherednik 86] [Bazhanov-Reshetikhin 90] [Kazakov Vieira 08]
χλ(g) = det(χ1,λi+j−i (g)
)
1≤i ,j≤|λ|
Tλ(u) =det(T 1,λi+j−i (u+1−j))
1≤i,j≤|λ|∏|λ|−1
k=1 T 0,0(u−k)
![Page 16: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/16.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
T-operators! characters+ Cherednik-Bazhanov-Reshetikhin formula
Tλ(u) = tra (((u − ξL)I+ PL,a) · · · ((u − ξ1)I+ P1,a) · πλ(g))
At L = 0, Tλ(u) = χλ(g) ≡ tr πλ(g)
In general ui ≡ u − ξi
Tλ(u) =(
u1 + D)
⊗(
u2 + D)
⊗ · · · ⊗(
uL + D)
χλ(g)
Rectangular representation : a, s ↔ λ =
}
a
︸ ︷︷ ︸
s
Determinant identity[Cherednik 86] [Bazhanov-Reshetikhin 90] [Kazakov Vieira 08]
χλ(g) = det(χ1,λi+j−i (g)
)
1≤i ,j≤|λ|
Tλ(u) =det(T 1,λi+j−i (u+1−j))
1≤i,j≤|λ|∏|λ|−1
k=1 T 0,0(u−k)
![Page 17: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/17.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Hirota equationfrom Jacobi-Trudi identity
Jacobi-Trudi identity : for an arbitrary determinant∣∣∣∣∣∣
∣∣∣∣∣∣
×
∣∣∣∣∣∣
∣∣∣∣∣∣
=
∣∣∣∣∣∣
∣∣∣∣∣∣
×
∣∣∣∣∣∣
∣∣∣∣∣∣
−
∣∣∣∣∣∣
∣∣∣∣∣∣
×
∣∣∣∣∣∣
∣∣∣∣∣∣
From the CBR determinant expression
T a,s(u) =det(T 1,s+j−i (u+1−j))
1≤i,j≤a∏a−1
k=1 T0,0(u−k)
,
this identity gives the “Hirota equation”:
T a,s(u + 1) · T a,s(u) = T a+1,s(u + 1) · T a−1,s(u)
+ T a,s−1(u + 1) · T a,s+1(u)
Conversely, the Jacobi-Trudy identity allows to show thatthis Hirota equation implies the CBR determinantexpression.
![Page 18: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/18.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Hirota equationfrom Jacobi-Trudi identity
Jacobi-Trudi identity : for an arbitrary determinant∣∣∣∣∣∣
∣∣∣∣∣∣
×
∣∣∣∣∣∣
∣∣∣∣∣∣
=
∣∣∣∣∣∣
∣∣∣∣∣∣
×
∣∣∣∣∣∣
∣∣∣∣∣∣
−
∣∣∣∣∣∣
∣∣∣∣∣∣
×
∣∣∣∣∣∣
∣∣∣∣∣∣
From the CBR determinant expression
T a,s(u) =det(T 1,s+j−i (u+1−j))
1≤i,j≤a∏a−1
k=1 T0,0(u−k)
,
this identity gives the “Hirota equation”:
T a,s(u + 1) · T a,s(u) = T a+1,s(u + 1) · T a−1,s(u)
+ T a,s−1(u + 1) · T a,s+1(u)
Conversely, the Jacobi-Trudy identity allows to show thatthis Hirota equation implies the CBR determinantexpression.
![Page 19: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/19.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Hirota equationfrom Jacobi-Trudi identity
Jacobi-Trudi identity : for an arbitrary determinant∣∣∣∣∣∣
∣∣∣∣∣∣
×
∣∣∣∣∣∣
∣∣∣∣∣∣
=
∣∣∣∣∣∣
∣∣∣∣∣∣
×
∣∣∣∣∣∣
∣∣∣∣∣∣
−
∣∣∣∣∣∣
∣∣∣∣∣∣
×
∣∣∣∣∣∣
∣∣∣∣∣∣
From the CBR determinant expression
T a,s(u) =det(T 1,s+j−i (u+1−j))
1≤i,j≤a∏a−1
k=1 T0,0(u−k)
,
this identity gives the “Hirota equation”:
T a,s(u + 1) · T a,s(u) = T a+1,s(u + 1) · T a−1,s(u)
+ T a,s−1(u + 1) · T a,s+1(u)
Conversely, the Jacobi-Trudy identity allows to show thatthis Hirota equation implies the CBR determinantexpression.
![Page 20: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/20.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
“Fat hooks” and “Backlund Flow”
Authorised Young diagrams for a given symmetry group
GL(K) symmetry
K
GL(K|M) symmetry
K
M
Hirota equation solved by gradually reducing the size of the“fat hook” [Krichever, Lipan, Wiegmann & Zabrodin 97]
[Kazakov Sorin Zabrodin 08]using inclusions like GL(2|1)⊃ GL(1|1)⊃ GL(1|0)⊃ {1}
![Page 21: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/21.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
“Fat hooks” and “Backlund Flow”
Authorised Young diagrams for a given symmetry group
GL(K) symmetry
K
GL(K|M) symmetry
K
M
Hirota equation solved by gradually reducing the size of the“fat hook” [Krichever, Lipan, Wiegmann & Zabrodin 97]
[Kazakov Sorin Zabrodin 08]using inclusions like GL(2|1)⊃ GL(1|1)⊃ GL(1|0)⊃ {1}
![Page 22: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/22.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Backlund Transformationslinear system
Backlund Transformations
if T a,s(u) is a solution of Hirota equation and
T a+1,s(u)F a,s(u)− T a,s(u)F a+1,s(u)
= xj︸︷︷︸
eigenvalue of g
T a+1,s−1(u + 1)F a,s+1(u − 1),
T a,s+1(u)F a,s(u)− T a,s(u)F a,s+1(u)
= xjTa+1,s(u + 1)F a−1,s+1(u − 1).
Then F a,s(u) is a solution of Hirota equation.
Moreover, if T a,s(u) = 0, outside the (K |M) “fat hook”, onecan choose F a,s(u) = 0 outside the (K − 1|M) “fat hook”.
![Page 23: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/23.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Backlund Transformationslinear system
Backlund Transformations
if T a,s(u) is a solution of Hirota equation and
T a+1,s(u)F a,s(u)− T a,s(u)F a+1,s(u)
= xj︸︷︷︸
eigenvalue of g
T a+1,s−1(u + 1)F a,s+1(u − 1),
T a,s+1(u)F a,s(u)− T a,s(u)F a,s+1(u)
= xjTa+1,s(u + 1)F a−1,s+1(u − 1).
Then F a,s(u) is a solution of Hirota equation.
Moreover, if T a,s(u) = 0, outside the (K |M) “fat hook”, onecan choose F a,s(u) = 0 outside the (K − 1|M) “fat hook”.
![Page 24: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/24.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Backlund Transformationslinear system
Backlund Transformations
if T a,s(u) is a solution of Hirota equation and
T a+1,s(u)F a,s(u)− T a,s(u)F a+1,s(u)
= xj︸︷︷︸
eigenvalue of g , which will be singled out
T a+1,s−1(u + 1)F a,s+1(u − 1),
T a,s+1(u)F a,s(u)− T a,s(u)F a,s+1(u)
= xjTa+1,s(u + 1)F a−1,s+1(u − 1).
Then F a,s(u) is a solution of Hirota equation.
Moreover, if T a,s(u) = 0, outside the (K |M) “fat hook”, onecan choose F a,s(u) = 0 outside the (K − 1|M) “fat hook”.
![Page 25: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/25.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
example of GL(4) Backlund flow Hasse Diagram
a
s
T a,s
a
s
T a,s123
a
s
T a,s23
∅
1 2 3 4
12 13 14 23 24 34
123 124 134 234
1234
a
s
T a,s∅
∣∣a≥1s≥1
= 0
a
s
T(a,s)2
Defines 24 Q-operators, lying on the nodes of this HasseDiagram
![Page 26: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/26.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
example of GL(4) Backlund flow Hasse Diagram
a
s
T a,s1234
Q1234
a
s
T a,s123
Q123
a
s
T a,s23
Q23
∅
1 2 3 4
12 13 14 23 24 34
123 124 134 234
1234
a
s
T a,s∅
∣∣a≥1s≥1
= 0
Q∅
a
s
T(a,s)2
Q2
Defines 24 Q-operators, lying on the nodes of this HasseDiagram
![Page 27: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/27.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
example of GL(4) Backlund flow Hasse Diagram
a
s
T a,s1234
Q1234
BT
a
s
T a,s123
Q123
a
s
T a,s23
Q23
∅
1 2 3 4
12 13 14 23 24 34
123 124 134 234
1234
a
s
T a,s∅
∣∣a≥1s≥1
= 0
Q∅
a
s
T(a,s)2
Q2
Defines 24 Q-operators, lying on the nodes of this HasseDiagram
![Page 28: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/28.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
example of GL(4) Backlund flow Hasse Diagram
a
s
T a,s1234
Q1234
BT
a
s
T a,s123
Q123
BT
a
s
T a,s23
Q23
∅
1 2 3 4
12 13 14 23 24 34
123 124 134 234
1234
a
s
T a,s∅
∣∣a≥1s≥1
= 0
Q∅
a
s
T(a,s)2
Q2
Defines 24 Q-operators, lying on the nodes of this HasseDiagram
![Page 29: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/29.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
example of GL(4) Backlund flow Hasse Diagram
a
s
T a,s1234
Q1234
BT
a
s
T a,s123
Q123
BT
BT
a
s
T a,s23
Q23
∅
1 2 3 4
12 13 14 23 24 34
123 124 134 234
1234
a
s
T a,s∅
∣∣a≥1s≥1
= 0
Q∅
a
s
T(a,s)2
Q2
Defines 24 Q-operators, lying on the nodes of this HasseDiagram
![Page 30: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/30.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
example of GL(4) Backlund flow Hasse Diagram
a
s
T a,s1234
Q1234
BT
a
s
T a,s123
Q123
BT
BT
a
s
T a,s23
Q23
∅
1 2 3 4
12 13 14 23 24 34
123 124 134 234
1234
a
s
T a,s∅
∣∣a≥1s≥1
= 0
Q∅
a
s
T(a,s)2
Q2
Defines 24 Q-operators, lying on the nodes of this HasseDiagram
![Page 31: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/31.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
example of GL(4) Backlund flow Hasse Diagram
a
s
T a,s1234
Q1234
BT
a
s
T a,s123
Q123
BT
BT
a
s
T a,s23
Q23
∅
1 2 3 4
12 13 14 23 24 34
123 124 134 234
1234
a
s
T a,s∅
∣∣a≥1s≥1
= 0
Q∅
a
s
T(a,s)2
Q2
Defines 24 Q-operators, lying on the nodes of this HasseDiagram
![Page 32: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/32.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
example of GL(4) Backlund flow Hasse Diagram
a
s
T a,s1234
Q1234
BT
a
s
T a,s123
Q123
BT
BT
a
s
T a,s23
Q23
∅
1 2 3 4
12 13 14 23 24 34
123 124 134 234
1234
a
s
T a,s∅
∣∣a≥1s≥1
= 0
Q∅
a
s
T(a,s)2
Q2
Defines 24 Q-operators, lying on the nodes of this HasseDiagram
![Page 33: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/33.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
QQ-relations and Bethe Equations
At the level of operators, the QQ-relations(xi − xj)QI(u − 1)QI,i ,j(u) =
xiQI,j(u − 1)QI,i (u)− xjQI,j(u)QI,i (u − 1)
example : I = {23}, i = 1, j = 4
(x1 − x4)Q23(u − 2)Q1234(u) =x1Q234(u − 1)Q123(u)− x4Q234(u)Q123(u − 1)
∅
1 2 3 4
12 13 14 23 24 34
123 124 134 234
1234
The relation involvesQ-operators lying on the samefacet of the Hasse diagram
![Page 34: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/34.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
QQ-relations and Bethe Equations
At the level of operators, the QQ-relations(xi − xj)QI(u − 1)QI,i ,j(u) =
xiQI,j(u − 1)QI,i (u)− xjQI,j(u)QI,i (u − 1)imply
QI,i (u) | xiQI(u − 1)QI,i ,j(u)QI,i (u + 1)
+ xjQI(u)QI,i ,j(u + 1)QI,i (u − 1).
∅
1 2 3 4
12 13 14 23 24 34
123 124 134 234
1234 for instance
Q123(u) | x1Q23(u − 1)Q1234(u)Q123(u + 1)
+ x4Q23(u)Q1234(u + 1)Q123(u − 1).
The relation involves three consecutiveQ-operators lying on the same nesting path.
![Page 35: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/35.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
QQ-relations and Bethe Equations
At the level of operators, the QQ-relations(xi − xj)QI(u − 1)QI,i ,j(u) =
xiQI,j(u − 1)QI,i (u)− xjQI,j(u)QI,i (u − 1)imply
QI,i (u) | xiQI(u − 1)QI,i ,j(u)QI,i (u + 1)
+ xjQI(u)QI,i ,j(u + 1)QI,i (u − 1).
∅
1 2 3 4
12 13 14 23 24 34
123 124 134 234
1234On a given eigenstate,
QI(u) = cI
KI∏
k=1
(u − u(I)k ),
we get the Bethe equation
−1 =xixj
QI(u(I,i)k − 1)QI,i (u
(I,i)k + 1)QI,i ,j (u
(I,i)k )
QI(u(I,i)k )QI,i (u
(I,i)k − 1)QI,i ,j(u
(I,i)k + 1)
![Page 36: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/36.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Expression of T a,s
Relations similar to the Jacobi-Trudi Identity give[Krichever, Lipan, Wiegmann & Zabrodin 97]
T λ(u) = Q∅(u − K ) ·det
(
x1−k+λk
j Qj(u − k + 1 + λk))
1≤j ,k≤K
∆(x1, · · · , xK )∏K
k=1Q∅(u − k + λk)
where ∆(x1, · · · , xK ) = det(
x1−kj
)
1≤j ,k≤K
outcome
T-operators expressed through Q-operators
Hamiltonian : H = 2 LK− 2 d
dulogT 1,1(u)
∣∣u=0
Q-operators constrained by the Bethe equation.
Requires the existence and polynomiality of theQ-operators
![Page 37: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/37.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Expression of TIa,s
Relations similar to the Jacobi-Trudi Identity give[Krichever, Lipan, Wiegmann & Zabrodin 97]
TI
λ(u) = Q∅(u − |I|) ·det
(
x1−k+λk
j Qj(u − k + 1 + λk))
j∈I1≤k≤|I|
∆({xj}j∈I)∏|I|
k=1Q∅(u − k + λk)
where ∆({xj}j∈I) = det(
x1−kj
)
j∈I,k≤|I|
outcome
T-operators expressed through Q-operators
Hamiltonian : H = 2 LK− 2 d
dulogT 1,1(u)
∣∣u=0
Q-operators constrained by the Bethe equation.
Requires the existence and polynomiality of theQ-operators
![Page 38: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/38.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Summary
Relations similar to the Jacobi-Trudi Identity give[Krichever, Lipan, Wiegmann & Zabrodin 97]
TI
λ(u) = Q∅(u − |I|) ·det
(
x1−k+λk
j Qj(u − k + 1 + λk))
j∈I1≤k≤|I|
∆({xj}j∈I)∏|I|
k=1Q∅(u − k + λk)
where ∆({xj}j∈I) = det(
x1−kj
)
j∈I,k≤|I|
outcome
T-operators expressed through Q-operators
Hamiltonian : H = 2 LK− 2 d
dulogT 1,1(u)
∣∣u=0
Q-operators constrained by the Bethe equation.
Requires the existence and polynomiality of theQ-operators
![Page 39: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/39.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Summary
Relations similar to the Jacobi-Trudi Identity give[Krichever, Lipan, Wiegmann & Zabrodin 97]
TI
λ(u) = Q∅(u − |I|) ·det
(
x1−k+λk
j Qj(u − k + 1 + λk))
j∈I1≤k≤|I|
∆({xj}j∈I)∏|I|
k=1Q∅(u − k + λk)
where ∆({xj}j∈I) = det(
x1−kj
)
j∈I,k≤|I|
outcome
T-operators expressed through Q-operators
Hamiltonian : H = 2 LK− 2 d
dulogT 1,1(u)
∣∣u=0
Q-operators constrained by the Bethe equation.
Requires the existence and polynomiality of theQ-operators
![Page 40: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/40.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Explicit expression of nestedT and Q-operators
Generating series of T-operators :
let w(z) ≡∑
s≥0 χ1,szs = det 1
1−g z,
then∑
s≥0 T1,szs =
⊗Li=1(ui + D) w(z)
Explicit solution of this linear system
T{λ}I
(u) = limtj→
1xj
j∈I
BI ·
[L⊗
i=1
(ui + D + |I|) χλ(g
I)ΠI
]
,
ΠI =∏
j∈I
w(tj) BI =∏
j∈I
(1− xj tj) · (1− g tj)⊗N
QI = T(0,s)I
g{j1,j2,··· ,jk} = diag(xj1 , xj2 , · · · , xjk )
xj=eigenvalue of g [Kazakov, S.L, Tsuboi 10]
![Page 41: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/41.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Explicit expression of nestedT and Q-operators
Generating series of T-operators :
let w(z) ≡∑
s≥0 χ1,szs = det 1
1−g z,
then∑
s≥0 T1,szs =
⊗Li=1(ui + D) w(z)
Explicit solution of this linear system
T{λ}I
(u) = limtj→
1xj
j∈I
BI ·
[L⊗
i=1
(ui + D + |I|) χλ(g
I)ΠI
]
,
ΠI =∏
j∈I
w(tj) BI =∏
j∈I
(1− xj tj) · (1− g tj)⊗N
QI = T(0,s)I
g{j1,j2,··· ,jk} = diag(xj1 , xj2 , · · · , xjk )
xj=eigenvalue of g [Kazakov, S.L, Tsuboi 10]
![Page 42: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/42.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
(Hints of) combinatorial proof
Determinant identities (similar to Jacobi-Trudi) reduce theproofs to a few bilinear identities proven from the following
“Master Identity” [Kazakov, S.L, Tsuboi 10]
when Π =∏
j w(tj),
(t − z)[⊗
(ui + 1 + D) w(z)w(t)Π]
·[⊗
(ui + D) Π]
= t[⊗
(ui + D) w(z)Π]
·[⊗
(ui + 1 + D) w(t)Π]
− z[⊗
(ui + 1 + D) w(z)Π]
·[⊗
(ui + D) w(t)Π]
where w(z) = det 11−zg
=∑∞
s=0 zs χs(g)
Master identity proven by combinatorial arguments
![Page 43: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/43.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
(Hints of) combinatorial proof
Determinant identities (similar to Jacobi-Trudi) reduce theproofs to a few bilinear identities proven from the following
“Master Identity” [Kazakov, S.L, Tsuboi 10]
when Π =∏
j w(tj),
(t − z)[⊗
(ui + 1 + D) w(z)w(t)Π]
·[⊗
(ui + D) Π]
= t[⊗
(ui + D) w(z)Π]
·[⊗
(ui + 1 + D) w(t)Π]
− z[⊗
(ui + 1 + D) w(z)Π]
·[⊗
(ui + D) w(t)Π]
where w(z) = det 11−zg
=∑∞
s=0 zs χs(g)
Master identity proven by combinatorial arguments
![Page 44: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/44.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
(Hints of) combinatorial proof
Determinant identities (similar to Jacobi-Trudi) reduce theproofs to a few bilinear identities proven from the following
“Master Identity” [Kazakov, S.L, Tsuboi 10]
when Π =∏
j w(tj),
(t − z)[⊗
(ui + 1 + D) w(z)w(t)Π]
·[⊗
(ui + D) Π]
= t[⊗
(ui + D) w(z)Π]
·[⊗
(ui + 1 + D) w(t)Π]
− z[⊗
(ui + 1 + D) w(z)Π]
·[⊗
(ui + D) w(t)Π]
where w(z) = det 11−zg
=∑∞
s=0 zs χs(g)
Master identity proven by combinatorial arguments
![Page 45: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/45.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Combinatorics of coderivatives
Determinant identities (similar to Jacobi-Trudi) reduce theproofs to a few bilinear identities proven from the following
“Master Identity” [Kazakov, S.L, Tsuboi 10]
when Π =∏
j w(tj),
(t − z)[⊗
(ui + 1 + D) w(z)w(t)Π]
·[⊗
(ui + D) Π]
= t[⊗
(ui + D) w(z)Π]
·[⊗
(ui + 1 + D) w(t)Π]
− z[⊗
(ui + 1 + D) w(z)Π]
·[⊗
(ui + D) w(t)Π]
where w(z) = det 11−zg
=∑∞
s=0 zs χs(g)
Master identity proven by combinatorial arguments
For instance, [Kazakov Vieira 07]
D ⊗ D ⊗ D w(x) =(
b
b
b
b
b
b
+b
b
b
b
b
b
+b
b
b
b
b
b
+b
b
b
b
b
b
+b
b
b
b
b
b
+b
b
b
b
b
b )
w(x)
![Page 46: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/46.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Outline
1 Motivation
2 Q-operators for the GL(K |M) spin chainsT-operatorsBacklund flowExplicit expression of Q-operators
3 Classical integrability of the MKP-hierarchyτ -functionsGeneral rational solutionUndressing procedure
4 Construction of Q-operatorsGL(k) spin chainFinite size effects in integrable field theories
![Page 47: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/47.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
τ -functions of the MKP hierarchy
A τ -function of the MKP hierarchy is a function of avariable n and an infinite set t = (t1, t2, · · · ) of “times”,such that ∀n ≥ n′, ∀t, t′
Definition of τ -functions.∮
Ceξ(t−t′,z)zn−n′τn(t− [z−1])τn′(t
′ + [z−1])dz = 0
where t± [z−1] =(
t1 ± z−1, t2 ±z−2
2 , t3 ±z−3
3 , · · ·)
,
ξ(t, z) =∑
k≥1 tkzk , and C encircles the singularities of
τn(t− [z−1])τn′(t′ + [z−1]) (typically finite), but not the
singularities of eξ(t−t′,z)zn−n′ (typically at infinity).
An example of such τ -function is the expectation value
τn(t) = 〈n| eJ+(t)G |n〉
![Page 48: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/48.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
τ -functions of the MKP hierarchy
A τ -function is a function of a variable n and an infiniteset t = (t1, t2, · · · ) of “times”, such that ∀n ≥ n′, ∀t, t′
Definition of τ -functions.∮
Ceξ(t−t′,z)zn−n′τn(t− [z−1])τn′(t
′ + [z−1])dz = 0
where t± [z−1] =(
t1 ± z−1, t2 ±z−2
2 , t3 ±z−3
3 , · · ·)
, and
ξ(t, z) =∑
k≥1 tkzk .
An example of such τ -function is the expectation value
τn(t) = 〈n| eJ+(t)G |n〉
over an infinite set of fermionic oscillators ({ψi , ψ†j } = δij),
where G = exp(∑
i ,k∈Z Aikψ†i ψk
)
and J+ =∑
k≥1 tkJk ,
where Jk =∑
j∈Z ψjψ†j+k . (and ψn |n〉 = |n + 1〉)
![Page 49: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/49.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
τ -functions of the MKP hierarchy
A τ -function is a function of a variable n and an infiniteset t = (t1, t2, · · · ) of “times”, such that ∀n ≥ n′, ∀t, t′
Definition of τ -functions.∮
Ceξ(t−t′,z)zn−n′τn(t− [z−1])τn′(t
′ + [z−1])dz = 0
where t± [z−1] =(
t1 ± z−1, t2 ±z−2
2 , t3 ±z−3
3 , · · ·)
,
ξ(t, z) =∑
k≥1 tkzk .
An example of such τ -function is the expectation value
τn(t) = 〈n| eJ+(t)G |n〉
over an infinite set of fermionic oscillators ({ψi , ψ†j } = δij),
where G = exp(∑
i ,k∈Z Aikψ†i ψk
)
and J+ =∑
k≥1 tkJk ,
where Jk =∑
j∈Z ψjψ†j+k . (and ψn |n〉 = |n + 1〉)
Characteristic property
τ -functions are characterised by
z2τn+1
(t− [z−1
2 ])τn
(t− [z−1
1 ])
− z1τn+1
(t− [z−1
1 ])τn
(t− [z−1
2 ])
+ (z1 − z2)τn+1(t)τn(t− [z−1
1 ]− [z−12 ]
)= 0.
(obtained from n′ = n − 1 and t′ = t− [z1−1]− [z1
−1])
![Page 50: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/50.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
τ -functions of the MKP hierarchy
A τ -function is a function of a variable n and an infiniteset t = (t1, t2, · · · ) of “times”, such that ∀n ≥ n′, ∀t, t′
Definition of τ -functions.∮
Ceξ(t−t′,z)zn−n′τn(t− [z−1])τn′(t
′ + [z−1])dz = 0
where t± [z−1] =(
t1 ± z−1, t2 ±z−2
2 , t3 ±z−3
3 , · · ·)
,
ξ(t, z) =∑
k≥1 tkzk .
An example of such τ -function is the expectation value
τn(t) = 〈n| eJ+(t)G |n〉
over an infinite set of fermionic oscillators ({ψi , ψ†j } = δij),
where G = exp(∑
i ,k∈Z Aikψ†i ψk
)
and J+ =∑
k≥1 tkJk ,
where Jk =∑
j∈Z ψjψ†j+k . (and ψn |n〉 = |n + 1〉)
Characteristic property! “Master identity”
τ -functions are characterised by
z2τn+1
(t− [z−1
2 ])τn
(t− [z−1
1 ])
− z1τn+1
(t− [z−1
1 ])τn
(t− [z−1
2 ])
+ (z1 − z2)τn+1(t)τn(t− [z−1
1 ]− [z−12 ]
)= 0.
(obtained from n′ = n − 1 and t′ = t− [z1−1]− [z1
−1])
![Page 51: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/51.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
General rational τ -function[Krichever 78]
If τn(t) is polynomial in n, we substitute n u, where u ∈ C.
Polynomial τ -functions of this MKP hierarchy
τ(u, t) = det (Ai (u − j , t))1≤i ,j≤N
where Ai (u, t) =
di∑
m=0
ai ,m∂mz
(
zueξ(t,z))∣∣∣∣∣z=pi
parameterized by : the integer N ≥ 0, the numbers {pi} anddi , and the coefficients {ai ,m}.
Analogous to the spin-chain’s “undressing procedure” :restricting to smaller and smaller minors of thedeterminant
![Page 52: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/52.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
General rational τ -function[Krichever 78]
If τn(t) is polynomial in n, we substitute n u, where u ∈ C.
Polynomial τ -functions of this MKP hierarchy
τ(u, t) = det (Ai (u − j , t))1≤i ,j≤N
where Ai (u, t) =
di∑
m=0
ai ,m∂mz
(
zueξ(t,z))∣∣∣∣∣z=pi
parameterized by : the integer N ≥ 0, the numbers {pi} anddi , and the coefficients {ai ,m}.
Analogous to the spin-chain’s “undressing procedure” :restricting to smaller and smaller minors of thedeterminant
![Page 53: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/53.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Undressing the rational τ -functions
Ai (u, t+ [z−1]) =∑di
m=0 ai ,m∂mx
(
xueξ(t,x) 11−x/z
)∣∣∣x=pi
has a pole at z = pi .
One can show thatAk(u, t+ [z−1]) = Ak(u, t) + z−1Ak(u + 1, t+ [z−1]),hence
τu(t+ [z−1]) =
∣∣∣∣∣∣∣∣
A1(u−1,t+[z−1]) A1(u−2,t) ... A1(u−N,t)
A2(u−1,t+[z−1]) A2(u−2,t) ... A2(u−N,t)
......
. . ....
AN(u−1,t+[z−1]) AN(u−2,t) ... AN(u−N,t).
∣∣∣∣∣∣∣∣
Undressing procedure for rational τ -functions
First step : Resz=pi τ(u + 1, t+ [z−1])
Second step : Resz1=pjResz2=pi τ(u + 2, t+ [z−11 ] + [z−1
2 ])
Et cetera
![Page 54: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/54.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Undressing the rational τ -functions
Ai (u, t+ [z−1]) =∑di
m=0 ai ,m∂mx
(
xueξ(t,x) 11−x/z
)∣∣∣x=pi
has a pole at z = pi .
One can show thatAk(u, t+ [z−1]) = Ak(u, t) + z−1Ak(u + 1, t+ [z−1]),hence
τu(t+ [z−1]) =
∣∣∣∣∣∣∣∣
A1(u−1,t+[z−1]) A1(u−2,t) ... A1(u−N,t)
A2(u−1,t+[z−1]) A2(u−2,t) ... A2(u−N,t)
......
. . ....
AN(u−1,t+[z−1]) AN(u−2,t) ... AN(u−N,t).
∣∣∣∣∣∣∣∣
Undressing procedure for rational τ -functions
First step : Resz=pi τ(u + 1, t+ [z−1])
Second step : Resz1=pjResz2=pi τ(u + 2, t+ [z−11 ] + [z−1
2 ])
Et cetera
![Page 55: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/55.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Undressing the rational τ -functions
Ai (u, t+ [z−1]) =∑di
m=0 ai ,m∂mx
(
xueξ(t,x) 11−x/z
)∣∣∣x=pi
has a pole at z = pi .
One can show thatAk(u, t+ [z−1]) = Ak(u, t) + z−1Ak(u + 1, t+ [z−1]),hence
τu(t+ [z−1]) =
∣∣∣∣∣∣∣∣
A1(u−1,t+[z−1]) A1(u−2,t) ... A1(u−N,t)
A2(u−1,t+[z−1]) A2(u−2,t) ... A2(u−N,t)
......
. . ....
AN(u−1,t+[z−1]) AN(u−2,t) ... AN(u−N,t).
∣∣∣∣∣∣∣∣
Undressing procedure for rational τ -functions
First step : Resz=pi τ(u + 1, t+ [z−1])
Second step : Resz1=pjResz2=pi τ(u + 2, t+ [z−11 ] + [z−1
2 ])
Et cetera
![Page 56: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/56.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Outline
1 Motivation
2 Q-operators for the GL(K |M) spin chainsT-operatorsBacklund flowExplicit expression of Q-operators
3 Classical integrability of the MKP-hierarchyτ -functionsGeneral rational solutionUndressing procedure
4 Construction of Q-operatorsGL(k) spin chainFinite size effects in integrable field theories
![Page 57: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/57.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Spin-chains! MKP hierarchyT -operators are τ -functions
Set of times t! representations λ :
τ(u, t) =∑
λ
sλ(t)︸︷︷︸
Schur polynomial
τ(u, λ) sλ(t) = det (hλi−i+j(t))1≤i ,j≤|λ|
where eξ(t,z) =∑
k≥0 hk(t)zk
If τ(u, λ) = T λ(u) =⊗L
i=1(ui + D) χλ(g), we get
τ(u, t) =L⊗
i=1
(ui + D) e∑
k≥1 tk tr(gk )
Then τ(u, t+ [z−1]) =⊗L
i=1(ui + D) w(1/z)e∑
k≥1 tk tr(gk )
where w(1/z) ≡∑
s≥0 χ1,sz−s = det 1
1−g/z
![Page 58: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/58.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Spin-chains! MKP hierarchyT -operators are τ -functions
Set of times t! representations λ :
τ(u, t) =∑
λ
sλ(t)︸︷︷︸
Schur polynomial
τ(u, λ) sλ(t) = det (hλi−i+j(t))1≤i ,j≤|λ|
where eξ(t,z) =∑
k≥0 hk(t)zk
If τ(u, λ) = T λ(u) =⊗L
i=1(ui + D) χλ(g), we get
τ(u, t) =L⊗
i=1
(ui + D) e∑
k≥1 tk tr(gk )
Then τ(u, t+ [z−1]) =⊗L
i=1(ui + D) w(1/z)e∑
k≥1 tk tr(gk )
where w(1/z) ≡∑
s≥0 χ1,sz−s = det 1
1−g/z
![Page 59: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/59.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Spin-chains! MKP hierarchyT -operators are τ -functions
Set of times t! representations λ :
τ(u, t) =∑
λ
sλ(t)︸︷︷︸
Schur polynomial
τ(u, λ) sλ(t) = det (hλi−i+j(t))1≤i ,j≤|λ|
where eξ(t,z) =∑
k≥0 hk(t)zk
If τ(u, λ) = T λ(u) =⊗L
i=1(ui + D) χλ(g), we get
τ(u, t) =L⊗
i=1
(ui + D) e∑
k≥1 tk tr(gk )
Then τ(u, t+ [z−1]) =⊗L
i=1(ui + D) w(1/z)e∑
k≥1 tk tr(gk )
where w(1/z) ≡∑
s≥0 χ1,sz−s = det 1
1−g/z
![Page 60: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/60.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Spin-chains! MKP hierarchyT -operators are τ -functions
The master identity coincides with thecharacteristic property of the MKP hierarchy
⇒ τ(u, t) =⊗L
i=1(ui + D) e∑
k≥1 tk tr(gk )
is a τ -function of the MKP hierarchy.
The undressing procedure for τ -functions (ieResz=pi τ(u + 1, t+ [z−1])) explains the explicit expressionfound from the combinatorics of coderivatives.
Fermionic realisation of this τ -function :
τn(t) = 〈n| eJ+(t)Ψ1 . . .ΨN | n − N〉 ,
where Ψi =∑
m≥0 aim ∂mz
∑
k∈Z ψkzk∣∣∣z=pi
[Alexandrov, Kazakov, S.L., Tsuboi, Zabrodin 11]
![Page 61: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/61.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Spin-chains! MKP hierarchyT -operators are τ -functions
The master identity coincides with thecharacteristic property of the MKP hierarchy
⇒ τ(u, t) =⊗L
i=1(ui + D) e∑
k≥1 tk tr(gk )
is a τ -function of the MKP hierarchy.
The undressing procedure for τ -functions (ieResz=pi τ(u + 1, t+ [z−1])) explains the explicit expressionfound from the combinatorics of coderivatives.
Fermionic realisation of this τ -function :
τn(t) = 〈n| eJ+(t)Ψ1 . . .ΨN | n − N〉 ,
where Ψi =∑
m≥0 aim ∂mz
∑
k∈Z ψkzk∣∣∣z=pi
[Alexandrov, Kazakov, S.L., Tsuboi, Zabrodin 11]
![Page 62: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/62.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Spin-chains! MKP hierarchyT -operators are τ -functions
The master identity coincides with thecharacteristic property of the MKP hierarchy
⇒ τ(u, t) =⊗L
i=1(ui + D) e∑
k≥1 tk tr(gk )
is a τ -function of the MKP hierarchy.
The undressing procedure for τ -functions (ieResz=pi τ(u + 1, t+ [z−1])) explains the explicit expressionfound from the combinatorics of coderivatives.
Fermionic realisation of this τ -function :
τn(t) = 〈n| eJ+(t)Ψ1 . . .ΨN | n − N〉 ,
where Ψi =∑
m≥0 aim ∂mz
∑
k∈Z ψkzk∣∣∣z=pi
[Alexandrov, Kazakov, S.L., Tsuboi, Zabrodin 11]
![Page 63: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/63.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
1+1 D integrable field theories
Wavefunction for a large volume
planar waves when particules are far from each other
an S-matrix describes 2-points interactions
⇒ Bethe equations
Finite size effects : “double Wick Rotation”finite size! finite temperature
Thermodynamic Bethe Ansatz equations give rise toT-functions which obey the same Hirota equation as spinchains’ T-operators
⇒ Some Q-functions must exist
![Page 64: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/64.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
1+1 D integrable field theories
Wavefunction for a large volume
planar waves when particules are far from each other
an S-matrix describes 2-points interactions
⇒ Bethe equations
Finite size effects : “double Wick Rotation”finite size! finite temperature
Thermodynamic Bethe Ansatz equations give rise toT-functions which obey the same Hirota equation as spinchains’ T-operators
⇒ Some Q-functions must exist
![Page 65: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/65.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
1+1 D integrable field theories
Wavefunction for a large volume
planar waves when particules are far from each other
an S-matrix describes 2-points interactions
⇒ Bethe equations
Finite size effects : “double Wick Rotation”finite size! finite temperature
Thermodynamic Bethe Ansatz equations give rise toT-functions which obey the same Hirota equation as spinchains’ T-operators
⇒ Some Q-functions must exist
![Page 66: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/66.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Example of AdS/CFT
AdS/CFT from Q-functions [Gromov, Kazakov, SL, Volin 11]
The complicated (and infinite) set of TBA equations canbe reduced to some analyticity properties (analyticitystrips, continuation around branch points, . . .) of theQ-functions.
Q-functions (or Backlund flow) allow to reduce theseequations to a finite set of nonlinear integral equations
see also [Balog, Hegedus, 12]
No construction of T -operators
No physical derivation of the above-mentioned analyticityproperties
Relation to the Hamiltonian not understood
![Page 67: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/67.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Example of AdS/CFT
AdS/CFT from Q-functions [Gromov, Kazakov, SL, Volin 11]
The complicated (and infinite) set of TBA equations canbe reduced to some analyticity properties (analyticitystrips, continuation around branch points, . . .) of theQ-functions.
Q-functions (or Backlund flow) allow to reduce theseequations to a finite set of nonlinear integral equations
see also [Balog, Hegedus, 12]
No construction of T -operators
No physical derivation of the above-mentioned analyticityproperties
Relation to the Hamiltonian not understood
![Page 68: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/68.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Conclusions
Rational spin chains (very well understood)
Backlund Flow to gradually simplify the systemBethe EquationsExpression of the Hamiltonian from T and Q-functions
For these rational spin chains, the classical integrability ofτ -functions sheds light on the whole constriction
Generalizes to trigonometric spin chains [Zabrodin 12]
Can it also generalize to other, less-understood integrablemodels ?
![Page 69: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/69.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Conclusions
Rational spin chains (very well understood)
Backlund Flow to gradually simplify the systemBethe EquationsExpression of the Hamiltonian from T and Q-functions
For these rational spin chains, the classical integrability ofτ -functions sheds light on the whole constriction
Generalizes to trigonometric spin chains [Zabrodin 12]
Can it also generalize to other, less-understood integrablemodels ?
![Page 70: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/70.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Conclusions
Rational spin chains (very well understood)
Backlund Flow to gradually simplify the systemBethe EquationsExpression of the Hamiltonian from T and Q-functions
For these rational spin chains, the classical integrability ofτ -functions sheds light on the whole constriction
Generalizes to trigonometric spin chains [Zabrodin 12]
Can it also generalize to other, less-understood integrablemodels ?
![Page 71: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/71.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Motivation
GL(K |M) spinchains
T-operators
Backlund flow
ExplicitQ-operators
MKP-hierarchy
τ -functions
General rationalsolution
Undressingprocedure
Q-operators
GL(k) spin chain
Integrable fieldtheories
Conclusions
Rational spin chains (very well understood)
Backlund Flow to gradually simplify the systemBethe EquationsExpression of the Hamiltonian from T and Q-functions
For these rational spin chains, the classical integrability ofτ -functions sheds light on the whole constriction
Generalizes to trigonometric spin chains [Zabrodin 12]
Can it also generalize to other, less-understood integrablemodels ?
Finally
Thank you !
![Page 72: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/72.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Commutationof T -operators
Co-derivatives
Appendices
Disclaimer : The following slides are additional material, notnecessarily part of the presentation
5 Commutation of T -operators
6 Co-derivatives
![Page 73: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/73.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Commutationof T -operators
Co-derivatives
Commutation of T -operators
T (u) · T (v) =
=
= · · · =
=T (v) · T (u)
back
![Page 74: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/74.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Commutationof T -operators
Co-derivatives
Expression of T throughco-derivative
D ⊗ f (g) =∂
∂φ⊗ f (eφg)
∣∣∣∣φ=0
φ ∈ GL(K )
If f (g) acts on H, then D ⊗ f acts on H = CK ⊗H
D ⊗ g = P (1⊗ g) and Leibnitz rule :
D ⊗ (f · f ) = [I⊗ f ] ·[
D ⊗ f]
+[
D ⊗ f]
·[
I⊗ f]
compute any D ⊗ f (g)
D ⊗ πλ(g) =
∑
α,β
eβα︸︷︷︸
generator
⊗ πλ(eαβ)︸ ︷︷ ︸
generator
· I⊗ πλ(eαβ)
hence((u − ξL)I+ PL,a) · · · ((u − ξ1)I+ P1,a) · πλ(g)
=⊗N
i=1(u − ξi + D)πλ(g)
and T {λ}(u) =⊗N
i=1(u − ξi︸ ︷︷ ︸
ui
+ D)χλ(g) back
![Page 75: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/75.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Commutationof T -operators
Co-derivatives
Expression of T throughco-derivative
D ⊗ f (g) =∂
∂φ⊗ f (eφg)
∣∣∣∣φ=0
φ ∈ GL(K )
If f (g) acts on H, then D ⊗ f acts on H = CK ⊗H
D ⊗ g = P (1⊗ g) and Leibnitz rule :
D ⊗ (f · f ) = [I⊗ f ] ·[
D ⊗ f]
+[
D ⊗ f]
·[
I⊗ f]
compute any D ⊗ f (g)
D ⊗ πλ(g) =
∑
α,β
eβα︸︷︷︸
generator
⊗ πλ(eαβ)︸ ︷︷ ︸
generator
· I⊗ πλ(eαβ)
hence((u − ξL)I+ PL,a) · · · ((u − ξ1)I+ P1,a) · πλ(g)
=⊗N
i=1(u − ξi + D)πλ(g)
and T {λ}(u) =⊗N
i=1(u − ξi︸ ︷︷ ︸
ui
+ D)χλ(g) back
![Page 76: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/76.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Commutationof T -operators
Co-derivatives
Expression of T throughco-derivative
D ⊗ f (g) =∂
∂φ⊗ f (eφg)
∣∣∣∣φ=0
φ ∈ GL(K )
If f (g) acts on H, then D ⊗ f acts on H = CK ⊗H
D ⊗ g = P (1⊗ g) and Leibnitz rule :
D ⊗ (f · f ) = [I⊗ f ] ·[
D ⊗ f]
+[
D ⊗ f]
·[
I⊗ f]
compute any D ⊗ f (g)
D ⊗ πλ(g) =
∑
α,β
eβα︸︷︷︸
generator
⊗ πλ(eαβ)︸ ︷︷ ︸
generator
· I⊗ πλ(eαβ)
hence((u − ξL)I+ PL,a) · · · ((u − ξ1)I+ P1,a) · πλ(g)
=⊗N
i=1(u − ξi + D)πλ(g)
and T {λ}(u) =⊗N
i=1(u − ξi︸ ︷︷ ︸
ui
+ D)χλ(g) back
![Page 77: Integrability of rational spin chains, MKP hierarchy, and ...sleurent/talks/2012_Saclay.pdf · solving the Bethe Equation(s). Rational spin chains, MKP-hierarchy & Q-operators S.](https://reader030.fdocuments.net/reader030/viewer/2022041120/5f331b26bffb270c156d0012/html5/thumbnails/77.jpg)
Rational spinchains, MKP-hierarchy &Q-operators
S. Leurent
Commutationof T -operators
Co-derivatives
Expression of T throughco-derivative
D ⊗ f (g) =∂
∂φ⊗ f (eφg)
∣∣∣∣φ=0
φ ∈ GL(K )
If f (g) acts on H, then D ⊗ f acts on H = CK ⊗H
D ⊗ g = P (1⊗ g) and Leibnitz rule :
D ⊗ (f · f ) = [I⊗ f ] ·[
D ⊗ f]
+[
D ⊗ f]
·[
I⊗ f]
compute any D ⊗ f (g)
D ⊗ πλ(g) =
∑
α,β
eβα︸︷︷︸
generator
⊗ πλ(eαβ)︸ ︷︷ ︸
generator
· I⊗ πλ(eαβ)
hence((u − ξL)I+ PL,a) · · · ((u − ξ1)I+ P1,a) · πλ(g)
=⊗N
i=1(u − ξi + D)πλ(g)
and T {λ}(u) =⊗N
i=1(u − ξi︸ ︷︷ ︸
ui
+ D)χλ(g) back