An elementary proof of a non-triviality of the E8 subfactor planar algebra
Abstract
In this paper, we show in a combinatorial way that the 0-box space of the E8 subfactor planar algebra is 1-dimensional. In the proof, we improve on Bigelow's relations for the E8 subfactor planar algebra and give an efficient algorithm to reduce any planar diagram to the empty diagram.