The signed-tiling conjecture for contributions of regions in the double dimer model

About 3 years old · traced to

Let LL be a region in the hexagonal lattice HH, and let its contribution be the connection around LL in the model. A bone is the union of three collinear adjacent hexagons, a stone is the union of three hexagons that share a common vertex, and a snake is a union of four hexagons in an S shape. A signed tiling of LL is a collection of these tiles, each assigned weight +1+1 or −1-1, such that the total contribution at every hexagon inside LL is 11 and at every hexagon outside LL is 00. Let II denote the 2×22\times2 identity matrix.

Signed-tiling conjecture. If n=3n=3 or n=6n=6, then the contribution of LL is 00 unless there exists a signed tiling of LL by stones, bones, and snakes; if such a signed tiling exists, the contribution is

(−1)s⋅I,(-1)^s\cdot I,

where ss is the number of stones used in the signed tiling.

This conjecture gives a combinatorial criterion for when the connection associated with a region is nonzero at the specified roots of unity, and determines the resulting matrix from the number of stones in a signed tiling. The supplied text does not state whether the claim has been proved or remains open.

References

Primary source

Leigh Foster and Benjamin Young, “The squish map and the SL_2 double dimer model”, arXiv:2310.03230 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.