Squishing dimers on the hexagon lattice (Q2380241)

By a 3D diagram, the author means a subset \(\pi \in (\mathbb{Z}_{\geq 0})^3\) such that \((x,y,z) \in \pi\) implies \((x',y',z') \in \pi\) whenever \(0\leq x' \leq x\), \(0\leq y' \leq y\), \(0\leq z' \leq z\). The weighting function \( w_{p,q,r,s}\) on \((\mathbb{Z}_{\geq 0})^3\) is defined as follows: \(w_{p,q,r,s}(i,j,k) = p\) if \(i-k \equiv 0\) and \(j-k \equiv 0 \bmod{2}\); \( w_{p,q,r,s}(i,j,k) = q\) if \(i-k \equiv 1\) and \(j-k \equiv 0 \bmod{2}\); \( w_{p,q,r,s}(i,j,k) = r\) if \(i-k \equiv 0\) and \(j-k \equiv 1 \bmod{2}\); \( w_{p,q,r,s}(i,j,k) = s\) if \(i-k \equiv 1\) and \(j-k \equiv 1 \bmod{2}\). Here \(p\), \(q\), \(r\), and \(s\) are parameters. The points in \(\pi\) are referred to as ``boxes'', with point \((i,j,k)\) corresponding to the unit cube with vertices \(\{ (i\pm \frac12, j\pm \frac12, k\pm \frac12)\}\). The main result is that \[ \sum_{\pi} w_{p,-1,-1,-1}(\pi) = \Big{(}\sum_{\pi} w_{-p,-p,-p,-p}(\pi) \Big{)}^2, \] where \(w_{p,q,r,s} (\pi)\) means the product of the weights of the lattice points at the centers of all of its boxes. The summation in the left-hand side is over all 3D diagrams \(\pi\) bounded by the box: \(-\frac 12 \leq x \leq 2a-\frac 12, -\frac 12 \leq y \leq 2b-\frac 12, -\frac 12 \leq z \leq 2c-\frac 12\), while the summation in the right-hand side is over all \(\pi\)s bounded by this box: \(-\frac 12 \leq x \leq a-\frac 12, -\frac 12 \leq y \leq b-\frac 12, -\frac 12 \leq z \leq c-\frac 12\).