BIMSA-Tsinghua Quantum Symmetry Seminar

2024

About

This is a seminar organized by Zhengwei Liu, Linzhe Huang, Sebastien Palcoux, Yilong Wang and Jinsong Wu. The topics range in the broad area of quantum mathematics and physics, including but not limited to

  • Topological Quantum Field Theory
  • Tensor Categories
  • Subfactor Theory
  • Vertex Operator Algebras
  • Quantum Information
  • Quantum Computation
  • Low-Dimensional Topology
Dec 25, 2024
Speaker:
Yu-An Chen (陈昱安), Peking University
Title:
Operator algebra approach for topological Pauli stabilizer codes in two dimensions
Time:
13:30 ~ 14:30 (Beijing Time)
Venue:
A3-3-301
Online:
Zoom 242 742 6089 (BIMSA)
Abstract:

In this talk, I will discuss the operator algebra and computational algorithms for analyzing topological Pauli stabilizer codes in two spatial dimensions. These codes underpin the study of topological phases of matter and the design of quantum codes for fault-tolerant quantum computation. Building on the generalized Pauli stabilizer codes framework, I will present algorithms for extracting topological data such as anyon types, fusion rules, topological spins, and braiding statistics. I will also introduce methods for constructing gapped boundaries and defects through boundary anyon condensation. The algebraic approach, which utilizes matrix operations such as the Hermite and Smith normal forms, allows for efficient analysis and systematic construction of surface codes. Examples, including toric codes, color codes, and bivariate bicycle codes, illustrate the versatility of these methods in revealing new insights into the bulk and boundary topological properties of quantum codes. These results deepen our understanding of two-dimensional topological stabilizer codes and pave the way for practical designs of quantum error-correcting codes in fault-tolerant quantum computing.

Speaker Intro:

陈昱安,北京大学物理学院量子材料科学中心助理教授。2015 年 6 月毕业于美国麻省理工学院,获得数学、物理学学士学位;2020 年 6 月毕业于美国加州理工学院,获得物理学博士学位。曾任谷歌公司量子人工智能(Quantum AI)研究团队研究科学家。2020 年 9月至 2023 年 6 月期间,在美国马里兰大学帕克分校联合量子研究所(JQI)博士后研究员 。2023 年 7 月加入北京大学物理学院。2009年和2010年分别获第40届国际物理奥林匹克竞赛(IPhO)金牌和第51届国际数学奥林匹克竞赛铜牌。

Dec 19, 2024
Speaker:
Kenichi Shimizu, Shibaura Institute of Technology
Title:
Rigidity of the category of local modules
Time:
14:30 ~ 15:30 (Beijing Time)
Venue:
A3-4-101
Online:
Zoom 637 734 0280 (BIMSA)
Abstract:
Given a commutative algebra \(A\) in a braided monoidal category \(C\), the category \(C_A^{loc}\) of local \(A\)-modules in \(C\) is defined as a certain full subcategory of the category of \(A\)-bimodules in \(C\). As has been pointed out by Pareigis, provided that \(C\) admits coequalizers and the tensor product of \(C\) preserves them, the category \(C_A^{loc}\) has a natural structure of a braided monoidal category inherited from that of \(C\). As it later turned out, the category of local modules is related to representations of an extension of a vertex operator algebra. We are therefore interested in knowing when the category of local modules has nice properties. In this talk, I will introduce a criterion for \(C_A^{loc}\) to be rigid monoidal. As an application, \(C_A^{loc}\) is a braided finite tensor category if \(C\) is a braided finite tensor category and the category of \(A\)-bimodules is a finite tensor category (or, equivalently, \(A\) is an indecomposable exact commutative algebra in \(C\)). If, in addition, \(C\) is non-degenerate and \(A\) is symmetric Frobenius, then \(C_A^{loc}\) is a modular tensor category in the sense of Lyubashenko. I will also discuss the Witt equivalence of non-degenerate braided finite tensor categories and relevant questions.
Dec 11, 2024
Speaker:
Haixing Zhu, Nanjing Forestry University
Title:
The computation on the Brauer group of a quasitriangular Hopf algebra
Time:
10:30 ~ 12:00 (Beijing Time)
Venue:
A3-3-301
Online:
Zoom 242 742 6089 (BIMSA)
Abstract:
Let (H, R) be a Hopf algebra H with the quasitriangular structure R (i.e., R-matrix). The Brauer group Br(H, R) of a quasitriangular Hopf algebra is the group of the equivalence classes of H-Azumaya algebras. It is also described as specific braided autoequivalences on the Drinfeld center of the category of H-modules. We will first describe the Drinfeld center of the representation category as the category of comodules over the braided Hopf algebra HR, which is deformed by R-matrix. This description helps us realize specific autoequivalences on the Drinfeld center by some quantum-commutative Galois objects. Then the group of these Galois objects is naturally related to the Brauer group Br(H, R), and actually appeared in an exact sequence of the Brauer group Br(H, R), which was constructed by Prof. Yinhuo Zhang. Next we will investigate how to construct / characterize these Galois objects, and mainly use Sweedler’s cohomology of the braided Hopf algebra HR to give its subgroup, and then get some information on Br(H, R).
Dec 03, 2024
Speaker:
Yuxuan Yang, Peking University
Title:
On the Volume Conjecture for hyperbolic Dehn-filled 3-manifolds along the twist knots
Time:
16:00 ~ 17:00 (Beijing Time)
Venue:
A3-3-301
Online:
Zoom 293 812 9202 (BIMSA)
Abstract:
For a twist knot K_p’, let M be the closed 3-manifold obtained by doing (p, q) Dehn-filling along K_p’. In this article, we prove that Chen-Yang’s volume conjecture holds for sufficiently large |p| + |q| and |p’| for M. In the proof, we construct a new ideal triangulation of the Whitehead link complement which is different from Thurston’s triangulation. Our triangulation has led to some new discoveries regarding symmetry, including insights into “sister manifolds” as introduced by Hodgson, Meyerhoff, and Weeks. This work is a collaboration with Huabin Ge, Chuwen Wang, and Yunpeng Meng.
Nov 27, 2024
Speaker:
Robert McRae, Tsinghua university, YMSC
Title:
Commutative algebras in braided monoidal categories and rigidity
Time:
16:30 ~ 17:30 (Beijing Time)
Venue:
A3-2a-302
Online:
Zoom 815 762 8413 (BIMSA)
Abstract:
I will discuss recent joint works with Thomas Creutzig, Kenichi Shimizu, Harshit Yadav, and Jinwei Yang. Let \(A\) be a commutative algebra in a braided monoidal category \(C\). For example, \(A\) could be a vertex operator algebra (VOA) extension of a VOA \(V\) in a category \(C\) of \(V\)-modules. First, assuming that \(C\) is a finite braided tensor category, I will discuss conditions under which the category \(C_A\) of \(A\)-modules in \(C\) and its subcategory \(C_A^{loc}\) of local modules inherit rigidity from \(C\). These conditions are based on criteria of Etingof and Ostrik for \(A\) to be an exact algebra in \(C\). As an application, we show that if a simple non-negative integer-graded vertex operator algebra \(A\) contains a strongly rational vertex operator subalgebra \(V\), then \(A\) is also strongly rational, without requiring the dimension of \(A\) in the modular tensor category of \(V\)-modules to be non-zero. Second, assuming that \(C\) is a Grothendieck-Verdier category (which means that \(C\) admits a weaker duality structure than rigidity), I will discuss conditions under which \(C\) inherits rigidity from \(C_A^{loc}\). These conditions are motivated by free field-like VOA extensions \(A\) of a vertex operator subalgebra \(V\) where \(A\) is often an indecomposable \(V\)-module. As an application, we show that the category of weight modules for the simple affine VOA of \(sl_2\) at any admissible level is rigid.
Nov 20, 2024
Speaker:
JingCheng Dong (董井成), Nanjing University of Information Science and Technology
Title:
On perfect modualr categories of low dimension
Time:
14:00 ~ 15:15 (Beijing Time)
Venue:
A3-3-301
Online:
Zoom 242 742 6089 (BIMSA)
Abstract:
In this talk, we prove that modular categories of Frobenius-Perron dimension \(p^2\)\(q^2\)\(r^2\)\(m\) are solvable, where \(p\),\(q\),\(r\) are distinct prime numbers, \(m\) is square-free with \(g\)\(c\)\(d\)(\(m\),\(p\)\(q\)\(r\))=1. As applications, we get that integral modular categories of Frobenius-Perron dimension less than 1800 are solvable, and hence integral perfect modular categories have Frobenius-Perron dimension greater than or equal to 1800. When the modular categories considered are weakly group-theoretical, we get some further results.
Nov 13, 2024
Speaker:
Bin Gui (归斌), Tsinghua university YMSC
Title:
From Segal’s sewing to pseudo-q-traces and back
Time:
13:30 ~ 15:00 (Beijing Time)
Venue:
A3-3-301
Online:
Zoom 242 742 6089 (BIMSA)
Abstract:

In 1990, Zhu proved that if V is a C2 cofinite rational VOA, then the q-traces of the vertex operators for modules of V span a modular-invariant space. These q-traces have a clear geometric meaning: they are special cases of Segal’s sewing construction (≈partial contractions for conformal blocks). However, if V is C2 cofinite but irrational, Miyamoto proved in 2004 that achieving modular invariance requires generalizing q-traces to pseudo-q-traces. At first glance, pseudo-q-traces do not appear to fit within Segal’s sewing framework. Did Segal miss something?

In this talk I will provide the answer: No. By suitably adjusting Segal’s sewing, we can achieve a geometric interpretation of pseudo-q-traces. Our interpretation enables us to prove a conjecture by Gainutdinov-Runkel relating the spaces of torus conformal blocks to the categorical data of V-modules. This is joint work with Hao Zhang.

Speaker Intro:

归斌现为清华大学丘成桐数学中心助理教授。本科毕业于上海交通大学。博士毕业于美国Vanderbilt University,师从Vaughan Jones。博士后工作于美国Rutgers University。

归斌的研究兴趣为顶点算子代数,以及与其相关的泛函分析与算子代数、张量范畴等问题。在顶点算子代数表示范畴的酉性(unitarity)方面、以及其与共形网(conformal nets)的表示范畴的等价性方面都首先做出系统性的研究。多篇论文发表于Communications in Mathematical Physics, Transactions of AMS, IMRN等期刊。

Oct 30, 2024
Speaker:
Liang Chang, Nankai University
Title:
Modular data of non-semisimple modular categories
Time:
09:00 ~ 12:00 (Beijing Time)
Venue:
A3-3-301
Online:
Zoom 242 742 6089 (BIMSA)
Abstract:
Modular tensor categories are semisimple tensor categories with nondegenerated braiding, which have many applications in low dimensional topology and topological physics. Recently, the notion of modularity is extended to non-semisimple tensor category. In this talk, we will talk about the work to extend the well-understood theory of semisimple modular categories, such as the SL(2, Z)-representation and rank finiteness, to the non-semisimple case by using representations of factorizable ribbon Hopf algebras.
Oct 23, 2024
Speaker:
Francis Bonahon, University of Southern California & Michigan State University
Title:
Invisible SL_n-skeins
Time:
09:00 ~ 10:30 (Beijing Time)
Venue:
A3-3-301
Online:
Zoom 242 742 6089 (BIMSA)
Abstract:
For a Lie group G, the G-skein module of a 3-dimensional manifold M is a fundamental object in Witten’s interpretation of quantum knot invariants in the framework of a topological quantum field theory. It depends on a parameter q and, when this parameter q is a root of unity, the G-skein module contains elements with a surprising “invisibility” property, in the sense that they can be traversed by any other skein without changing the resulting total skein. I will describe some of these invisible elements in the case of the special linear group SL_n. The construction is based on the very classical theory of symmetric polynomials in n variables.
Oct 16, 2024
Speaker:
Xingting Wang, Louisiana State University
Title:
Hopf algebras of dimension \(p^2\) in positive characteristic \(p\)
Time:
10:30 ~ 12:00 (Beijing Time)
Venue:
A3-3-301
Online:
Zoom 242 742 6089 (BIMSA)
Abstract:
In characteristic zero, it is well-known that the only nonsemismiple Hopf algebras of dimension for a prime number are the Taft algebras. In this talk, we will discuss some recent work on Hopf algebras of dimension \(p^2\) in positive characteristic \(p\). It is joint work with Richard Ng.
Oct 10, 2024
Speaker:
Haimiao Chen (陈海苗), Beijing Technology and Business University
Title:
Torsion in the Kauffman bracket skein module of a knot exterior
Time:
14:30 ~ 15:30 (Beijing Time)
Venue:
A3-4-312
Online:
2427426089 (BIMSA)
Abstract:
For a compact oriented \(3\)-manifold \(M\), its Kauffman bracket skein module \(\mathcal{S}(M)\) is defined as the quotient of the free \(\mathbb{Z}[q^{\pm\frac{1}{2}}]\)-module generated by isotopy classes of framed links embedded in \(M\) by the submodule generated by skein relations. It was known in 1990s that \(\mathcal{S}(M)\) may admit torsion if \(M\) contains an essential sphere or torus. A problem in “Kirby’s list” asks whether \(\mathcal{S}(M)\) is free when \(M\) does not contains an essential sphere or torus. We show that \(\mathcal{S}(M)\) has infinitely many torsion elements when \(M\) is the exterior of the \((a_1/b_1,a_2/b_2,a_3/b_4,a_4/b_4)\) Montesinos knot with each \(b_i\ge 3\); in particular, \(\mathcal{S}(M)\) is not free. Using surgery we can construct closed hyperbolic \(3\)-manifolds \(N\) such that \(\beta_1(N)=0\) and \(\mathcal{S}(N)\) admits torsion.