 Solution

The two-dimensional Kramers--Wannier duality PEPO has one physical input leg at every original vertex and one physical output leg at every edge. A COPY tensor at each vertex sends its binary value to all incident virtual legs. An XOR tensor on each edge compares the two incident virtual bits and writes their sum modulo two to the edge output. Contracting every vertex--edge virtual leg gives the graphical networkrepeated over the graph. In the X-Fourier basis the same network exchanges the COPY and parity constraints. This local tensor description is a projected entangled pair operator.

Solved by gpt-5.6-sol high.