MathSciDoc: An Archive for Mathematician ∫

We give an overview of our philosophy of pictures in mathematics. We emphasize a bidirectional process between picture lan- guage and mathematical concepts: abstraction and simulation. This motivates a program to understand different subjects, using virtual and real mathematical concepts simulated by pictures.

The classical uncertainty principles deal with functions on abelian groups. In this paper, we discuss the uncertainty principles for finite index subfactors which include the cases for finite groups and finite dimensional Kac algebras. We prove the HausdorffYoung inequality, Young's inequality, the HirschmanBeckner uncertainty principle, the DonohoStark uncertainty principle. We characterize the minimizers of the uncertainty principles and then we prove Hardy's uncertainty principle by using minimizers. We also prove that the minimizer is uniquely determined by the supports of itself and its Fourier transform. The proofs take the advantage of the analytic and the categorial perspectives of subfactor planar algebras. Our method to prove the uncertainty principles also works for more general cases, such as Popa's <i></i>-lattices, modular tensor categories, etc.

In this article, we classify all standard invariants that can arise from a composed inclusion of an A 3 with an A 4 subfactor. More precisely, if N P is an A 3 subfactor and P M is an A 4 subfactor, 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 A 4 subfactors.

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.

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.

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

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.

We define a planar para algebra, which arises naturally from combining planar algebras with the idea of \mathbb{Z}_N para symmetry in physics. A subfactor planar para algebra is a Hilbert space representation of planar tangles with parafermionic defects that are invariant under para isotopy. For each \mathbb{Z}_N, we construct a family of subfactor planar para algebras that play the role of Temperley–Lieb–Jones planar algebras. The first example in this family is the parafermion planar para algebra (PAPPA). Based on this example, we introduce parafermion Pauli matrices, quaternion relations, and braided relations for parafermion algebras, which one can use in the study of quantum information. An important ingredient in planar para algebra theory is the string Fourier transform (SFT), which we use on the matrix algebra generated by the Pauli matrices. Two different reflections play an important role in the theory of planar para algebras. One is the adjoint operator; the other is the modular conjugation in Tomita–Takesaki theory. We use the latter one to define the double algebra and to introduce reflection positivity. We give a new and geometric proof of reflection positivity by relating the two reflections through the string Fourier transform.

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

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.