The first author constructed a q-parameterized spherical category $\sC$ over C(q) in [Liu15], whose simple objects are labelled by all Young diagrams. In this paper, we compute closed-form expressions for the fusion rule of $\sC$, using Littlewood-Richardson coefficients, as well as the characters (including a generating function), using symmetric functions with infinite variables.

Graph theory is important in information theory. We introduce a quantization process on graphs and apply the quantized graphs in quantum information. The quon language provides a mathematical theory to study such quantized graphs in a general framework. We give a new method to construct graphical quantum error correcting codes on quantized graphs and characterize all optimal ones. We establish a further connection to geometric group theory and construct quantum low-density parity-check stabilizer codes on the Cayley graphs of groups. Their logical qubits can be encoded by the ground states of newly constructed exactly solvable models with translation-invariant local Hamiltonians. Moreover, the Hamiltonian is gapped in the large limit when the underlying group is infinite.

We give a new type of Schur-Weyl duality for the representations of a family of quantum subgroups and their centralizer algebra. We define and classify singly-generated, Yang-Baxter relation planar algebras. We present the skein theoretic construction of a new parameterized planar algebra. We construct infinitely many new subfactors and unitary fusion categories, and compute their trace formula as a closed-form expression, in terms of Young diagrams.

Inspired by the quantum McKay correspondence, we consider the classical ADE Lie theory as a quantum theory over sl2. We introduce anti-symmetric characters for representations of quantum groups and investigate the Fourier duality to study the spectral theory. In the ADE Lie theory, there is a correspondence between the eigenvalues of the Coxeter element and the eigenvalues of the adjacency matrix. We formalize related notions and prove such a correspondence for representations of Verlinde algebras of quantum groups: this includes generalized Dynkin diagrams over any simple Lie algebra g at any level k. This answers a recent comment of Terry Gannon on an old question posed by Victor Kac in 1994.

The mathematical picture language project that we began in 2016 has already yielded interesting results. We also point out areas of mathematics and physics where we hope that it will prove useful in the future.