We introduce block maps for subfactors and study their dynamic systems. We prove that the limit points of the dynamic system are positive multiples of biprojections and zero. For the \mathbb{Z}_2 case, the asymptotic phenomenon of the block map coincides with that of the 2D Ising model.The study of block maps requires a further development of our recent work on the Fourier analysis of subfactors.We generalize the notion of sum set estimates in additive combinatorics for subfactors and prove the exact inverse sum set theorem. Using this new method, we characterize the extremal pairs of Young's inequality for subfactors, as well as the extremal operators of the Hausdorff-Young inequality.

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.

We construct inner amenable groups$G$with infinite conjugacy classes and such that the associated II_{1}factor has no non-trivial asymptotically central elements, i.e. does not have property Gamma of Murray and von Neumann. This solves a problem posed by Effros in 1975.

We discuss the boundary behavior of functions in star-invariant subspaces ($BH$^{2})^{⊥}, where$B$is a Blaschke product. Extending some results of Ahern and Clark, we are particularly interested in the growth rates of functions at points of the spectrum of$B$where$B$does not admit a derivative in the sense of Carathéodory.

In this article, we classify all standard invariants that can arise from a composed inclusion of an A3with an A4subfactor. More precisely, if N⊂P is an A3subfactor and P⊂M is an A4subfactor, 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 A4subfactors.