Problem 2. Starting with the identity matrix
then
which also satisfies the Yang-Baxter equation. Now show that given the matrix:
will satisfy the Yang-Baxter equation when
Solution 2. The first thing to do is construct the matrices
xxxxxxxxxx1
1
using SymPy* (generic function with 413 methods)xxxxxxxxxx1
1
begin2
𝑖 = sympy.I3
⊗(x::Array{Sym,2},y::Array{Sym,2}) = kron(x,y)4
⋅ = *5
endxxxxxxxxxx1
1
X = (1+𝑖)/2 ⋅ [ 1 0 0 1;2
0 1 1 0;3
0 -1 1 0;4
-1 0 0 1];size of
x
1
I = sympy.eye(n,n);Now create a function corresponding to the Yang-Baxter equation.
xxxxxxxxxx1
1
eq(A,B) = (A⊗B)⋅(B⊗A)⋅(A⊗B);xxxxxxxxxx1
1
"""2
use sympy.as_real_imag() to simplify complex part3
"""4
cmplxsimplify(X) = begin5
A = X.as_real_imag()6
return A[1] + im * A[2]7
end;evaluate the symmetry:
x
1
begin2
IX_XI_IX = eq(I,X) |> cmplxsimplify3
XI_IX_XI = eq(X,I) |> cmplxsimplify4
end;truex
1
IX_XI_IX == XI_IX_XIThe matrices given by the tensor products is:
x
1
IX_XI_IXxxxxxxxxxx1
1
XI_IX_XI1
I believe this equation is related to topological quantum computation