An irreducible II_1-subfactor A⊂B is exactly 1-supertransitive if B⊖A is reducible as an A − A bimodule. We classify exactly 1-supertransitive subfactors with index at most 6+1/5, leaving aside the composite subfactors at index exactly 6 where there are severe difficulties. Previously, such subfactors were only known up to index 3+\sqrt{5} ≈ 5.23. Our work is a significant extension, and also shows that index 6 is not an insurmountable barrier.There are exactly three such subfactors with index in (3+\sqrt{5},6+1/5], all with index 3+2\sqrt{2}. One of these comes from SO(3)_q at a root of unity, while the other two appear to be closely related, and are ‘braided up to a sign’.

Based on the orthogonal Labastida-Mario-Ooguri-Vafa conjecture made by L. Chen and Q. Chen (2012), we derive an infinite product formula for Chern-Simons partition functions, which generalizes Liu and Peng's recent results to the orthogonal case. Symmetry property of this new infinite product structure is also discussed.

We introduce a pictorial approach to quantum information, called holographic software. Our software captures both algebraic and topological aspects of quantum networks. It yields a bi-directional dictionary to translate between a topological approach and an algebraic approach. Using our software, we give a topological simulation for quantum networks. The string Fourier transform (SFT) is our basic tool to transform product states into states with maximal entanglement entropy. We obtain a pictorial interpretation of Fourier transformation, of measurements, and of local transformations, including the n-qudit Pauli matrices and their representation by Jordan-Wigner transformations. We use our software to discover interesting new protocols for multipartite communication. In summary, we build a bridge linking the theory of planar para algebras with quantum information.

We categorify a coideal subalgebra of the quantum group of S[2r+ 1 by introducing a 2-category analogous to the one defined by Khovanov一Lauda-Rouquier， and show that self-dual indecomposable l-morphisms categorify the canonical basis of this algebra. This allows us to define a categorical action of this coideal algebra on the categories of modules over cohomology rings of partial flag varieties and on the category ð of type B/C.