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

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)sI,(-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.

Sources & referencesView supporting material

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.