We present a 3D topological picture-language for quantum information. Our approach combines charged excitations carried by strings, with topological properties that arise from embedding the strings in the interior of a 3D manifold with boundary. A quon is a composite that acts as a particle. Specifically, a quon is a hemisphere containing a neutral pair of open strings with opposite charge. We interpret multiquons and their transformations in a natural way. We obtain a type of relation, a string–genus “joint relation,” involving both a string and the 3D manifold. We use the joint relation to obtain a topological interpretation of the C* Hopf algebra relations, which are widely used in tensor networks. We obtain a 3D representation of the controlled NOT (CNOT) gate that is considerably simpler than earlier work, and a 3D topological protocol for teleportation.

In this article, we classify all standard invariants that can arise from a composed inclusion of an A3with an A4subfactor. More precisely, if N⊂P is an A3subfactor and P⊂M is an A4subfactor, then only four standard invariants can arise from the composed inclusion N⊂M. We answer a question posed by Bisch and Haagerup in 1994. The techniques of this paper also show that there are exactly four standard invariants for the composed inclusion of two A4subfactors.

For a symmetrizable Kac-Moody Lie algebra $\mathfrak{g}$, Lusztig introduced the corresponding modified quantized enveloping algebra $\dot{\textbf{U}}$ and its canonical basis $\dot{\textbf{B}}$ in [13]. In this paper, in case $\mathfrak{g}$ is a symmetric Kac-Moody Lie algebra of finite or affine type, we define a set $\tilde{\mathcal{M}}$ which depends only on the root category $\mathcal{R}$ and prove that there is a bijection between $\tilde{\mathcal{M}}$ and $\dot{\textbf{B}}$, where $\mathcal{R}$ is the $T^2$-orbit category of the bounded derived category of corresponding Dynkin or tame quiver. Our method is based on a result of Lin, Xiao and Zhang in [10], which gives a PBW-type basis of $\textbf{U}^+$.