Extension of the mixed double-dimer construction to all self-intersecting contours

Let

{zi,j,k(4):(k<i,j,i+j<k1 for k>0)  and  (k1<i,j,i+j<k for k0)}\{z_{i,j,k}^{(4)}: \left(-k < i,j, i+j < k-1 \mathrm{~for~} k > 0\right) \mathrm{~~and~~} \left( k-1 < i,j, i+j < -k \mathrm{~for~} k \leq 0 \right) \}

be the three-dimensional space of toric cluster variables described in the source. For self-intersecting contours, consider subgraphs with vertices of multiplicity one and two, using mixed configurations in which vertices have multiplicity 11 except for a simply-connected interior region of vertices of multiplicity 22. Extension conjecture. The construction rule inspired by the family φ(A(0,0,n+2))=z0,0,n+1(4)\varphi\left(A(0,0,n+2)\right)=z_{0,0,n+1}^{(4)} extends to all other self-intersecting contours, with an analogue of the taut condition for crossing the inner double-dimer region, and degenerates to the usual dimer-only rule when the self-intersection disappears, namely when ii, jj or i+ji+j falls outside of [k,k1][-k,k-1] or [k1,k][k-1,k]. The source gives no evidence of resolution.

Sources & referencesView supporting material

Primary source

Tri Lai and Gregg Musiker, “Dungeons and Dragons: Combinatorics for the dP_3 Quiver”, arXiv:1805.09280 (2019).

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.