The DWBC4 Schröder-path enumeration conjecture

For nonnegative integers a,b,ca,b,c, let Na,b,cN_{a,b,c} denote the number of 20V configurations on the rectangular grid of size (a+b+1)×(b+c+1)(a+b+1)\times(b+c+1) with DWBC4-type boundary conditions. Let Su,v(L)(M)S^{(L)}_{u,v}(M) denote the partition function of a Schröder path from height uu to height vv, of horizontal extent MM, constrained to the strip 0yL0\leq y\leq L. The DWBC4 enumeration conjecture. The two identified families satisfy

Na,b,1=S1,b(b+1)(2a+b+1),N0,b,c=S0,b(b)(2c+b).N_{a,b,1}=S^{(b+1)}_{1,b}(2a+b+1),\qquad N_{0,b,c}=S^{(b)}_{0,b}(2c+b).

These equalities assert conjecturally that the indicated DWBC4 configuration counts are enumerated by domino-tiling domains, equivalently by the corresponding single constrained Schröder paths. The source does not establish the equalities in general.

Sources & referencesView supporting material

Primary source

Philippe Di Francesco and Emmanuel Guitter, “Twenty-Vertex model with domain wall boundaries and domino tilings”, arXiv:1905.12387 (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.