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
xxxxxxxxxx
1
1
using SymPy
* (generic function with 413 methods)
xxxxxxxxxx
1
1
begin
2
𝑖 = sympy.I
3
⊗(x::Array{Sym,2},y::Array{Sym,2}) = kron(x,y)
4
⋅ = *
5
end
xxxxxxxxxx
1
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.
xxxxxxxxxx
1
1
eq(A,B) = (A⊗B)⋅(B⊗A)⋅(A⊗B);
xxxxxxxxxx
1
1
"""
2
use sympy.as_real_imag() to simplify complex part
3
"""
4
cmplxsimplify(X) = begin
5
A = X.as_real_imag()
6
return A[1] + im * A[2]
7
end;
evaluate the symmetry:
x
1
begin
2
IX_XI_IX = eq(I,X) |> cmplxsimplify
3
XI_IX_XI = eq(X,I) |> cmplxsimplify
4
end;
true
x
1
IX_XI_IX == XI_IX_XI
The matrices given by the tensor products is:
x
1
IX_XI_IX
xxxxxxxxxx
1
1
XI_IX_XI
1
I believe this equation is related to topological quantum computation