The two crossings of make their full anyon monodromy. For a transparent anyon , this is the identity, so that pair of crossings can be removed together. No single-crossing exchange phase, and no topological spin from a twist, is introduced.
After this removal the upper and lower anyon fusion trees differ only in their intermediate labels. In the physics normalization of anyon diagrams, successive split-fuse bubbles give the Kronecker deltas and . The remaining closed normalized state has norm one. Hence, for the admissible labelings of a,
In particular, every admissible diagram satisfying the label matching in a evaluates to . There is no factor here: the source explicitly permits the physics normalization of anyon diagrams, in which a closed normalized state has value .
Use an anyon fusion tree in which the two crossing charges combine first. With external charges in the order , define the normalized trees
The desired value is the matrix element of anyon monodromy between and . Their closure is understood in the physics normalization of anyon diagrams.
First apply the anyon F-matrix to the three charges , and then an inverse anyon F-matrix to . With the source convention , this gives
Only allowed anyon fusion channels enter the sums: in the second tree these require . The complex conjugate in comes from the inverse change of parentheses, not from reversing a crossing.
Figure 1.
Recoupling exposes the inner pair on which the full braid acts diagonally
. Details.
Reading the actual overcrossings from bottom to top gives two positive exchanges in the source's anyon R-matrix convention. Their product is
The order of is restored after the second exchange. In the basis this anyon monodromy is diagonal, so
Equivalently, entirely in terms of anyon F-matrices and anyon R-matrices,
This expression is also meaningful for or : it then carries the unmatched anyon vertex gauge transformation factors identified in a.
To check the transparent limit, put in every allowed channel. The unitary matrix identity for first gives
Once , the unitary matrix identity for gives
as in c. The same cancellation proves that the recoupling expression is an identity operator whenever the full anyon monodromy is trivial, including when the individual exchanges have fermionic signs.