1-factor2-factor of graphhexagon latticeregular honeycomb latticeweight of lattice pointweighted matchingweighting function
Exact enumeration problems, generating functions (05A15) Planar graphs; geometric and topological aspects of graph theory (05C10) Signed and weighted graphs (05C22) Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants (algebro-geometric aspects) (14N35) Lattices and convex bodies in (2) dimensions (aspects of discrete geometry) (52C05) Lattices and convex bodies in (n) dimensions (aspects of discrete geometry) (52C07)
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\).
This page was built for publication: Squishing dimers on the hexagon lattice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2380241)
