Python tool verifies quantum group matrix identities exactly

quantum-group: Exact symbolic verification of R-matrix and Yang--Baxter identities for $U_q(\mathfrak{sl}_2)$ and $GL_q(2|1)$

Mathematical Software

Summary

Quantum groups involve special matrices called R-matrices that must satisfy complicated identities depending on how you arrange their parts and specific sign rules. The authors created a Python package that builds these matrices precisely and checks if they meet these identities, showing exactly where any mismatches occur. Their tool covers important quantum groups like U_q(sl_2) and a superalgebra GL_q(2|1), helping users confirm correctness or discover subtle differences. When used on the author's original thesis work, it found an interesting case where a matrix meets one key identity but with a swapped algebra structure.

What this means in practice

  • For quantum computing developers: Exactly verify quantum group R-matrix identities used in quantum algorithms and error correction schemes to ensure mathematical correctness.
  • For mathematical software engineers: Implement exact symbolic checking of algebraic identities in software that deals with quantum symmetries and related algebraic structures.

Authors

Taha Berk Terekli

Abstract

Explicit R-matrices of quantum groups are routinely transcribed from the literature, yet whether they satisfy an identity depends on basis order, tensor placement, the coproduct and, for superalgebras, the Koszul sign rule. quantum-group is a Python package that builds such matrices exactly with SymPy and returns every identity as an exact residual matrix, whose nonzero entries locate the convention that disagrees. It covers U_q(sl_2) modules, tensor products and the fundamental R-matrix, and the graded Yang--Baxter equation for GL_q(2|1). Applied to the thesis it was written for, it exposed an R-matrix that satisfies the Yang--Baxter equation but intertwines the opposite coproduct.
View PDFOpen arXiv