We prove a conjecture of Miemietz and Kashiwara on canonical bases and branching rules of affine Hecke algebras of type D. The proof is similar to the proof of the type B case in Varagnolo and Vasserot (in press) [15].

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.