taming the integrable zoo
DESCRIPTION
Taming the Integrable Zoo. o r: Discrete Holomophicity from Topology. Paul Fendley. Outline. Integrability and the Yang-Baxter equation Knot and link invariants such as the Jones polynomial Discrete holomorphicity of lattice operators CFT/ anyon /TQFT physics; MTC mathematics - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/1.jpg)
Taming the Integrable Zoo
Paul Fendley
or: Discrete Holomophicity from Topology
![Page 2: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/2.jpg)
Outline• Integrability and the Yang-Baxter equation
• Knot and link invariants such as the Jones polynomial
• Discrete holomorphicity of lattice operators
• CFT/anyon/TQFT physics; MTC mathematics
• Using discrete holomorphicity to turn topological invariants into integrable Boltzmann weights
• Or perhaps using topology to derive discrete holomorphicity
![Page 3: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/3.jpg)
Integrability from the Yang-Baxter equation
• The Boltzmann weights of a two-dimensional classical integrable model typically satisfy the Yang-Baxter equation.
• It is a functional equation; the Boltzmann weights must depend on the anisotropy/spectral/rapidity parameter u.
• Its consequence is that transfer matrices at different u commute, thus ensuring the existence of the conserved currents necessary for integrability.
![Page 4: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/4.jpg)
The completely packed loop model/ Q-state Potts model
Every link of the square lattice is covered by non-crossing loops; the only degrees of freedom are how they avoid at each vertex.
d is the weight per loop, v(u) the weight per vertical avoidance, h(u) the weight per horizontal avoidance.
![Page 5: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/5.jpg)
The Boltzmann weights, pictoriallyPicture the Boltzmann weights on the square lattice as
u
u= v(u) + h(u)
so for the completely packed loop model
eval
where eval means to expand out each vertex, and sum over all loop configurations with weights .
![Page 6: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/6.jpg)
• Ising/Q-state Potts models in their FK expansion
• Ising/parafermion models in their domain wall expansion
• Height/RSOS models based on quantum-group/braid algebras
Many (all critical integrable?) lattice modelscan be written in a geometrical/topological form
(topological weight) x (local weights)graphs
completely packed loops
![Page 7: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/7.jpg)
The YBE, pictoriallySums of products of three Boltzmann weights must obey
u
u’
u + u’
u
u’
u + u’
=
where I no longer write the eval( ).
u and u’ have changed places; this leads to commuting transfer matrices.
This equation is consistent with thinking of u and u’ as angles.
![Page 8: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/8.jpg)
The YBE for completely packed loops
Plugging the Boltzmann weights into the YBE gives (wildly overconstrained) functional equations.
Let . Then after a bit of algebra
Parametrize the weight per loop by . Then
How does something so simple arise from such a complicated equation?
![Page 9: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/9.jpg)
And now for something completely similar: knot and link invariants
A knot or link invariant such as the Jones polynomial depends only on the topology of the knot.
To compute, project the knot/link onto the plane:
![Page 10: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/10.jpg)
Then ``resolve’’ each over/undercrossing and turn each knot/link into a sum over planar graphs.
For the Jones polynomial:
This turns a link into a sum over graphs of closed loops. To get the Jones polynomial (in q), replace each loop with
![Page 11: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/11.jpg)
To be a topological invariant, must satisfy the Reidemeister moves:
#2
=
=
+ q
+ q
-1 +
=
![Page 12: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/12.jpg)
#3:
=
Solutions of this can be found by taking a limit of the YBE!
u
v
u + v
u
v
u + v =
= =
![Page 13: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/13.jpg)
One extremely important subtlety: Need
#1: =
But instead:
To have a topological invariant, make each link a ribbon, and keep track of twists. Then multiply by , where w= #(signed twists) = writhe.
![Page 14: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/14.jpg)
And now for something newer: discrete holmorphicity
• An operator O(z) in some two-dimensional lattice model is discrete holomorphic if its expectation values obey the lattice Cauchy-Riemann equations, i.e. around a closed path
• An example is the fermion operator in the Ising model.
• Smirnov et al have exploited this to prove conformal invariance of the continuum limit of the Ising model.
• Cardy and collaborators have found such discrete holomorphic operators in many integrable lattice models.
Riva and Cardy; Rajabpour and Cardy; Ikhlef and Cardy; Ikhlef, Fendley and Cardy
![Page 15: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/15.jpg)
Cardy et al also reversed the order of the logic in an interesting way.
They did not require a priori that the Boltzmann weights satisfy the YBE. In looking for a discrete holmorphic operator, the requirement that the closed-path sum vanish is then a linear condition on the Boltzmann weights.
In all the examples studied, they found that the solution of the the linear equation gives weights also gives a solution to the YBE!
u
v
u + v
u
v
u + v =
![Page 16: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/16.jpg)
How is discrete holmorphicity related to integrability?
We saw how integrability is related to topology via knot/link invariants and the Yang-Baxter equation.
However, solutions of the YBE depend on a parameter, the angle u. One must ``Baxterize’’ the knot invariant to obtain the Boltzmann weights.
I will explain how discrete holomorphicity not only Baxterizes the knot invariant by solving linear equations, but does so in a very natural fashion.
This allows the results to be extended to many many integrable models, and a general proof is likely.
![Page 17: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/17.jpg)
Discrete holmorphicity + braiding = integrability?
![Page 18: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/18.jpg)
A key connection comes from looking at the way the discretely holomorphic operators are defined. They have a string attached:
In Ising, this is the familiar Jordan-Wigner string of spin flips.
labels the operator O(z)acting at point z.
![Page 19: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/19.jpg)
The expectation value is independent of the string’s path except for the total winding angle:
Picking up a phase under rotation of is characteristic of aholomorphic object of ``dimension’’ h.
It is also characteristic of the twisting of a ribbon!
![Page 20: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/20.jpg)
The rules were systematized by Moore and Seiberg in order tounderstand chiral operators in 2D conformal field theory.
To make this correspondence precise, we need to understandmore about the algebraic structure underlying braiding.
Luckily, this is understood extremely well.
![Page 21: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/21.jpg)
In the math world, the relevant structure is called a modular tensor category.
In its original context, a rational conformal field theory.
In mathematical physics, a topological quantum field theory.
Or nowadays, consistent braiding and fusing relations for anyons.
There are now many explicit examples of this structure.
![Page 22: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/22.jpg)
An anyon is a particle in two spatial dimensions with statisticsgeneralizing bosons and fermions.
From above: In spacetime:
Exchanging two particles gives a braid in 3d spacetime.
![Page 23: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/23.jpg)
For abelian anyons, the wave function picks up a phase under braiding/exchange:
a b a ba and b label different species of anyons.
For non-Abelian anyons, braiding/exchange can cause thesystem to change states, i.e. yield a linear combination as withthe link invariants:
![Page 24: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/24.jpg)
Rules we need for RCFT/MTC/TQFT/anyons
1) The behavior under fusion, i.e. how a combination of anyons braids. Represent this fusion by a vertex.
c
a b
2) spin/conformal dimension of each type of anyon/operator:b c
a
bc
a
![Page 25: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/25.jpg)
Even in the Abelian case, fusing is non-trivial.
For example, when braiding two identical ``semions’’, thewave function picks up a factor of i.
When a pair of semions is braided with another pair, the wavefunction picks up a factor of .
Two semions make a boson!
S S
B
Fusion
![Page 26: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/26.jpg)
In the non-Abelian case, fusion is a straightforward generalization of tensoring representations of Lie algebras.
For the Jones polynomial/CPL, this is akin to spin-1/2 of sl(2):
Two ways to tensor four spin-1/2 particles into an overall singlet:
![Page 27: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/27.jpg)
Relating this to the original loop basis:
So spin 1 and spin 0 are orthogonal in the sense of:
![Page 28: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/28.jpg)
The F matrix governs this change of basis. For Jones/CPL,
![Page 29: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/29.jpg)
b c
a
bc
a
Take a to be the identity to get the behavior under a twist:
The spin/conformal dimension
b b
![Page 30: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/30.jpg)
The braid matrix follows from F and h:
The F matrices in general:
ab
Schematically
![Page 31: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/31.jpg)
Putting all this together to get a discrete holomorphic operator
Lattice models in terms of geometric degrees of freedom:
(topological weight) x (local weights)graphs
completely packed loops
![Page 32: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/32.jpg)
A discrete holomorphic operator is defined by modifying the topological part
z
w
Eval(3d graph) x (local weights)graphs
Take the string to come out of the plane, and use the braiding/fusingrules of the MTC/CFT/TQFT/anyons to evaluate the graph.
![Page 33: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/33.jpg)
For CPL/Potts, this rule is simple: the weight is zero unless thestring connects two points on the same loop.
Moreover, the 3d rules also mean that the correlator isindependent of the string path unless there is a twist!
b b
![Page 34: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/34.jpg)
For this operator to be discretely holomorphic, the Boltzmannweights must obey the lattice C-R equation
u u uu
This is a linear relation, and can be rewritten in terms of the Fmatrix and the twist factors. Proving discrete holmorphicityonly requires showing the resulting determinant is zero!
![Page 35: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/35.jpg)
Must use the F matrix to rewrite the Boltzmann weights, e.g.
u= v(u) + h(u)
![Page 36: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/36.jpg)
Now we can use the F matrix and the twist factors to rewrite e.g.
u
All four terms in the lattice C-R equation can be rewritten in termsof these last three graphs. Each coefficient of these graphs mustvanish. So three linear equations, one unknown…
![Page 37: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/37.jpg)
Of course there is a solution (this is a rewriting of known results):
Because the depend on the lattice angle, the Boltzmann weights must also. It turns out u is exactly that angle!
Rajabpour and Cardy
Riva and Cardy; Ikhlef and Cardy
![Page 38: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/38.jpg)
So what good is all this?
• Provides a systematic way of understanding the known cases, and allows for a substantial generalization of known discrete holomorphic operators.
• For example, a d.h. op can be found in integrable models based on BMW algebras (completely packed models with ``nets’’ made from vector representations of A,B,C,D quantum-group algebras).
• Allows d.h. ops to be found in height models (RSOS etc), not just loop ones.
• Brings topology into the story in an illuminating way.
![Page 39: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/39.jpg)
Next steps
• Combine holomorphic (over the plane) operators with antiholomorphic (under the plane) to get the lattice analog of CFT primary fields. This explains and potentially extends old work by Pasquier: can the fusion algebra be seen on the lattice?
• There are lots of known MTC/TQFT/CFT/anyon theories. Can an integrable model be found for each of them? Each has multiple vertices, so can a integrable model be found for each vertex ?!?
• Is the full MTC structure necessary, or are there more?
![Page 40: Taming the Integrable Zoo](https://reader036.vdocuments.mx/reader036/viewer/2022081503/5681615d550346895dd0e7e8/html5/thumbnails/40.jpg)
Getting more speculative
• May enable more of the ``nicer’’ d.h. ops to be found, aiding in the attempt to prove conformal invariance (simple currents?).
• Provide more candidates for some generalization of SLE
• Starting to get at the questions: Why does SLE apply to integrable lattice models? What does geometry have to do with integrability?
• And the mother of them all: What is really the reason why integrable models work?