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.

In this paper, we generalize Young's inequality for locally compact quantum groups and obtain some results for extremal pairs of Young's inequality and extremal functions of Hausdorff-Young inequality.

In this paper, we introduce the notation of bi-shift of biprojections in subfactor theory to unimodular Kac algebras. We characterize the minimizers of the Hirschman-Beckner uncertainty principle and the Donoho-Stark uncertainty principle for unimodular Kac algebras with biprojections and prove Hardy’s uncertainty principle in terms of the minimizers.

The first two authors classified subfactor planar algebra generated by a non-trivial 2-box subject to the condition that the dimension of 3-boxes is at most 12 in Part I; 13 in Part II of this series. They are the group planar algebra for , the Fuss-Catalan planar algebra, and the group/subgroup planar algebra for Z_2 ⊂ Z_5 \rtimes Z_2.. In the present paper, we extend the classification to 14 dimensional 3-boxes. They are all Birman-Murakami-Wenzl algebras. Precisely it contains a depth 3 one from quantum O(3), and a one-parameter family from quantum S_p(4).

The main purpose of this paper is to classify exchange relation planar algebras with 4 dimensional 2-boxes. Besides its skein theory, we emphasize the positivity of subfactor planar algebras based on the Schur product theorem. We will discuss the lattice of projections of 2-boxes, specifically the rank of the projections. From this point, several results about biprojections are obtained. The key break of the classification is to show the existence of a biprojection. By this method, we also classify another two families of subfactor planar algebras: subfactor planar algebras generated by 2-boxes with 4 dimensional 2-boxes and at most 23 dimensional 3-boxes; subfactor planar algebras generated by 2-boxes, such that the quotient of 3-boxes by the basic construction ideal is abelian. They extend the classification of singly generated planar algebras obtained by Bisch, Jones and the author.

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’.

An important goal in studying the relations between unitary VOAs and conformal nets is to prove the equivalence of their ribbon categories. In this article, we prove this conjecture for many familiar examples. Our main idea is to construct new structures associated to conformal nets: the categorical extensions.

We show that there are 2^{2^{ℵ_0}} different closed ideals in the Banach algebra L(L_p(0,1)),1<p≠2<∞. This solves a problem in A. Pietsch’s 1978 book “Operator Ideals”. The proof is quite different from other methods of producing closed ideals in the space of bounded operators on a Banach space; in particular, the ideals are not contained in the strictly singular operators and yet do not contain projections onto subspaces that are non-Hilbertian. We give a criterion for a space with an unconditional basis to have 2^{2^{ℵ_0}} closed ideals in terms of the existence of a single operator on the space with some special asymptotic properties. We then show that for 1<q<2 the space Xq of Rosenthal, which is isomorphic to a complemented subspace of L_q(0,1), admits such an operator.

In this paper, we prove the DonohoStark uncertainty principle for locally compact quantum groups and characterize the minimizer which are bi-shifts of group-like projections. We also prove the HirschmanBeckner uncertainty principle for compact quantum groups and discrete quantum groups. Furthermore, we show Hardy's uncertainty principle for locally compact quantum groups in terms of bi-shifts of group-like projections.

The representation category of a conformal net is a unitary modular tensor category. We investigate the reconstruction program: whether all unitary modular tensor categories are representation categories of conformal nets. We give positive evidence: the fruitful theory of multi-interval Jones-Wassermann subfactors on conformal nets is also true for modular tensor categories. We construct multi-interval Jones-Wassermann subfactors for unitary modular tensor categories. We prove that these subfactors are symmetrically self-dual. It generalizes and categorifies the self-duality of finite abelian groups. We call this duality the modular self-duality, because the modularity of the modular tensor category appears in a crucial way. For each unitary modular tensor category, we obtain a sequence of unitary fusion categories. The cyclic group case gives examples of Tambara-Yamagami categories.