Kramers--Wannier projected entangled pair operator (source code)

= Kramers--Wannier projected entangled pair operator
{c}
{title2=Kramers--Wannier PEPO}

In two dimensions, vertex COPY tensors and edge XOR tensors form a PEPO that maps vertex spins to edge domain walls. Its image obeys a zero-flux constraint around every plaquette.