Definition: Declared post-quench membrane optimization

Identify the bulk planar dual of the square lattice with a translated copy of ${\mathbb{Z}}^2$. The dual edge $e^{\ast }$ has cost equal to the one-endpoint Rényi-2 entropy $w_e$ of the corresponding pair. For dual vertices $a,b$, define

This is the model's declared entropy-cost membrane functional.