[Paper Review] Perfect tangles

Johannes Berger, Tobias J. Osborne|arXiv (Cornell University)|Apr 9, 2018

Algebraic structures and combinatorial models9 citations

TL;DR

This paper introduces perfect tangles as a generalization of perfect tensors within modular tensor categories, extending their role in holographic codes to topological quantum computation. It constructs perfect tangles in key categories like Temperley-Lieb, Fibonacci, Kuperberg spider, and Haagerup, and provides an inductive method to generate them, proving their existence in even-indexed spaces via rotational invariance and isometric properties.

ABSTRACT

We introduce perfect tangles for modular tensor categories. These are intended to generalise the perfect tensors first introduced in the context of a toy model for the AdS/CFT correspondence. We construct perfect tangles for several categories of relevance for topological quantum computation, including the Temperley-Lieb, Fibonacci, Kuperberg spider, and Haagerup planar algebras. A general inductive construction proposed by Vaughan Jones for perfect tangles is also described.

Motivation & Objective

• To generalize perfect tensors—used in holographic codes for AdS/CFT duality—into a broader framework applicable to topological quantum computation.
• To define and construct perfect tangles in modular tensor categories, particularly those relevant to anyonic systems such as Fibonacci and Temperley-Lieb categories.
• To establish a general inductive construction method for perfect tangles based on rotational symmetry and isometric properties.
• To prove the existence of perfect tangles in even-colored spaces indexed by $2n$, ensuring a lower bound on their set size.

Proposed method

• Define perfect tangles as isometries under planar bipartitions of legs, generalizing perfect tensors which are isometries under all bipartitions.
• Construct explicit perfect tangles in the Fibonacci category and Temperley-Lieb algebra using fusion path bases and unitary representations.
• Utilize rotational symmetry: apply $\mathrm{rot}^l$ operations to tangles and their adjoints to contract legs and verify isometry via $\mathrm{rot}^l A_{n-1} \cdot \mathrm{rot}^{-l} A_{n-1}^* \propto \mathbf{1}_{n-1}$.
• Apply Lemma 3 and Proposition 4 to reduce the isometry condition to a base case, proving inductive closure.
• Use Sage and Mathematica to solve the resulting polynomial equations for specific tangle configurations.
• Demonstrate that for $T \in P_4$, the composition $\mathrm{rot}^{k+l}T \cdot \mathrm{rot}^{-(k+l)}T^* \propto \mathbf{1}_k$ holds, confirming isometry under rotation.

Experimental results

Research questions

• RQ1 Can perfect tensors be generalized to modular tensor categories beyond quantum spin systems, particularly in planar settings with anyonic statistics?
• RQ2 Do perfect tangles exist in prominent categories for topological quantum computation such as the Fibonacci and Temperley-Lieb categories?
• RQ3 Is there a general inductive construction method to generate perfect tangles from smaller ones using rotational symmetry and isometric constraints?
• RQ4 What is the structural relationship between perfect tangles and absolute maximally entangled states or quantum error-correcting codes in these categories?

Key findings

• Perfect tangles exist in the Fibonacci category and are constructed explicitly using fusion path bases and unitary representations satisfying the required isometry condition.
• The Temperley-Lieb algebra supports perfect tangles, with explicit constructions verified via rotational invariance and isometric contraction of legs.
• An inductive construction is proven to generate perfect tangles in $P_{2n}$ for all $n \geq 2$, with the base case $n=2$ yielding a non-empty set $\mathcal{P}_2$.
• The construction ensures $|\mathcal{P}_n| \geq |\mathcal{P}_2|$ for all $n \geq 2$, establishing a lower bound on the number of perfect tangles in even-colored spaces.
• For $l = n-1$, the rotated product $A_{n-1}^* \cdot A_{n-1}$ is proportional to $\mathbf{1}_{n-1}$, confirming the isometric property in the inductive step.
• Examples of perfect tangles are visualized for $n=3,4,5,6$, confirming the structural and algebraic consistency of the construction across multiple scales.