Related papers: Planar Algebra of the Subgroup-Subfactor
Using a family of graded algebra structures on a planar algebra and a family of traces coming from random matrix theory, we obtain a tower of non-commutative probability spaces, naturally associated to a given planar algebra. The associated…
Generalizing Jones's notion of a planar algebra, we have previously introduced an A_2-planar algebra capturing the structure contained in the double complex pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system.…
The problem of Subgraph Isomorphism is defined as follows: Given a pattern H and a host graph G on n vertices, does G contain a subgraph that is isomorphic to H? Eppstein [SODA 95, J'GAA 99] gives the first linear time algorithm for…
Dujmovi\'c et al (FOCS2019) recently proved that every planar graph $G$ is a subgraph of $H\boxtimes P$, where $\boxtimes$ denotes the strong graph product, $H$ is a graph of treewidth 8 and $P$ is a path. This result has found numerous…
The invariant subalgebra H^+ of the Heisenberg vertex algebra H under its automorphism group Z/2Z was shown by Dong-Nagatomo to be a W-algebra of type W(2,4). Similarly, the rank n Heisenberg vertex algebra H(n) has the orthogonal group…
We construct a new subfactor planar algebra, and as a corollary a new subfactor, with the `extended Haagerup' principal graph pair. This completes the classification of irreducible amenable subfactors with index in the range…
For $G$ a finite group acting linearly on $\mathbb{A}^2$, the equivariant Hilbert scheme $\operatorname{Hilb}^r[\mathbb{A}^2/G]$ is a natural resolution of singularities of $\operatorname{Sym}^r(\mathbb{A}^2/G)$. In this paper we study the…
We introduce fusion, contragradient and braiding of Hilbert affine representations of a subfactor planar algebra $P$ (not necessarily having finite depth). We prove that if $N \subset M$ is a subfactor realization of $P$, then the Drinfeld…
In this paper, we construct a bialgebraic and further a Hopf algebraic structure on top of subgraphs of a given graph. Further, we give the dual structure of this Hopf algebraic structure. We study the algebra morphisms induced by graph…
A hyperfinite $II_1$ subfactor may be obtained from a symmetric commuting square via iteration of the basic construction. For certain commuting squares constructed from Hadamard matrices, we describe this subfactor as a group-type inclusion…
In planar algebras, we show how to project certain simple "quadratic" tangles onto the linear space spanned by "linear" and "constant" tangles. We obtain some corollaries about the principal graphs and annular structure of subfactors.
Guionnet et al. gave a construction of a II_1 factor associated to a subfactor planar algebra. In this paper we define an unshaded planar algebra. To any unshaded planar algebra P we associate a finite von Neumann algebra M_P. We prove that…
A Krishnan-Sunder subfactor $R_U \ss R$ of index $k^2$ is constructed from a permutation biunitary matrix $U\in M_p(\mathbb{C})\otimes M_k(\mathbb{C})$, i.e. the entries of $U$ are either 0 or 1 and both $U$ and its block transpose are…
Let $G$ be a locally compact group, $L(G)$ be its group von Neumann algebra equipped with the Plancherel weight $\varphi_G$. In this paper, we consider the following two questions. (1) When is the restriction of $\varphi_G$ to the…
We construct inclusions of the form $(B_0\otimes P)^G\subset (B_1\otimes P)^G$, where $G$ is a compact quantum group of Kac type acting on an inclusion of finite dimensional $\c^*$-algebras $B_0\subset B_1$ and on a $II_1$ factor $P$. Under…
We propose an algebraic study of the simple graph isomorphism problem. We define a Hopf algebra from an explicit realization of its elements as formal power series. We show that these series can be evaluated on graphs and count occurrences…
Let $G$ be a complex classical group, and let $V$ be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of…
We define generalised notions of biunitary elements in planar algebras and show that objects arising in quantum information theory such as Hadamard matrices, quantum latin squares and unitary error bases are all given by biunitary elements…
Given a II$_1$-subfactor $A\subset B$ of arbitrary index, we show that the rectangular GICAR category, also called the rectangular planar rook category, faithfully embeds as $A-A$ bimodule maps among the bimodules $\bigotimes_A^n L^2(B)$.…
A 2-factor of a graph $G$ is a 2-regular spanning subgraph of $G$. We present a survey summarising results on the structure of 2-factors in regular graphs, as achieved by various researchers in recent years.