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.