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.

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.

In this note, we discuss the notion of symmetric self-duality of shaded planar algebras, which allows us to lift shadings on subfactor planar algebras to obtain Z/2Z-graded unitary fusion categories. This finishes the proof that there are unitary fusion categories with fusion graphs 4442 and 3333.

The classical de Finetti theorem in probability theory relates symmetry under the permutation group with the independence of random variables. This result has application in quantum information. Here we study states that are invariant with respect to a natural action of the braid group, and we emphasize the pictorial formulation and interpretation of our results. We prove a new type of de Finetti theorem for the four-string, double-braid group acting on the parafermion algebra to braid qudits, a natural symmetry in the quon language for quantum information. We prove that a braid-invariant state is extremal if and only if it is a product state. Furthermore, we provide an explicit characterization of braid-invariant states on the parafermion algebra, including finding a distinction that depends on whether the order of the parafermion algebra is square free. We characterize the extremal nature of product states (an inverse de Finetti theorem).

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.

Bisch and Jones proposed the classification of planar algebras by simple generators and relations. They investigated with the second author the classification of planar algebras generated by 2-boxes. In this paper, we classify singly-generated Thurston-relation planar algebras, defined as subfactor planar algebras generated by a 3-box satisfying a relation proposed by Dylan Thurston. Our main result shows that such subfactor planar algebras are either the E6 subfactor planar algebras or belong to a two-parameter family of planar algebras arising from the representations of type A quantum groups. We introduce a new method for determining positivity of the Markov trace of planar algebras in this family.

In this paper, we calculate the norm of the string Fourier transform on subfactor planar algebras and characterize the extremizers of the inequalities for parameters 0 < p,q ⩽ ∞. Furthermore, we establish Rényi entropic uncertainty principles for subfactor planar algebras.

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.

Let <i>X, Y</i> be compact Hausdorff spaces and <i>E, F</i> be Banach spaces. A linear map <i>T: C(X, E) C(Y, F)</i> is separating if <i>Tf, Tg</i> have disjoint cozeroes whenever <i>f, g</i> have disjoint cozeroes. We prove that a biseparating linear bijection <i>T</i> (that is, <i>T</i> and <i>T</i>^-1 are separating) is a weighted composition operator <i>Tf = h f</i> o . Here, <i>h</i> is a function from <i>Y</i> into the set of invertible linear operators from <i>E</i> onto <i>F</i>, and , is a homeomorphism from <i>Y</i> onto <i>X</i>. We also show that <i>T</i> is bounded if and only if <i>h(y)</i> is a bounded operator from <i>E</i> onto <i>F</i> for all <i>y</i> in <i>Y</i>. In this case, <i>h</i> is continuous with respect to the strong operator topology.

Quon language is a 3D picture language that we can apply to simulate mathematical concepts. We introduce the surface algebras as an extension of the notion of planar algebras to higher genus surface. We prove that there is a unique one-parameter extension. The 2D defects on the surfaces are quons, and surface tangles are transformations. We use quon language to simulate graphic states that appear in quantum information, and to simulate interesting quantities in modular tensor categories. This simulation relates the pictorial Fourier duality of surface tangles and the algebraic Fourier duality induced by the S matrix of the modular tensor category. The pictorial Fourier duality also coincides with the graphic duality on the sphere. For each pair of dual graphs, we obtain an algebraic identity related to the S matrix. These identities include well-known ones, such as the Verlinde formula; partially known ones, such as the 6j-symbol self-duality; and completely new ones.