Classification of exchange relation planar algebras through sieving forest fusion graphs

TL;DR

This paper introduces a new classification scheme for exchange relation planar algebras using fusion graphs and algebraic equations, successfully classifying 5-dimensional cases with high efficiency.

Contribution

It develops a novel approach transforming complex diagrammatic equations into algebraic ones and introduces criteria to efficiently sieve candidate fusion graphs for classification.

Findings

Fusion graph for minimal projections is a forest iff the planar algebra has an exchange relation.

The algebraic equations reduce to linear and quadratic forms, enabling efficient solutions.

The scheme classifies all 5-dimensional subfactorizable fusion bialgebras with exchange relations.

Abstract

We suggest a classification scheme for subfactorizable fusion bialgebras, particularly for exchange relation planar algebras. This scheme begins by transforming infinite diagrammatic consistency equations of exchange relations into a finite set of algebraic equations of degree at most 3. We then introduce a key concept, the fusion graph of a fusion bialgebra, and prove that the fusion graph for any minimal projection is a forest if and only if the planar algebra has an exchange relation. For each fusion graph, the system of degree 3 equations reduces to linear and quadratic equations that are efficiently solvable. To deal with exponentially many fusion graphs, we propose two novel analytic criteria to sieve most candidates from being subfactor planar algebras. Based on these results, we classify 5-dimensional subfactorizable fusion bialgebras with exchange relations. This scheme recovers the previous classification up to 4-dimension by Bisch, Jones, and the second author with quick proof. We developed a computer program to sieve forest fusion graphs using our criteria without solving the equations. The efficiency is 100%, as all remaining graphs are realized by exchange relation planar algebras up to 5-dimension.