Twenty Vertex model and domino tilings of the Aztec triangle (Q2121725)

Summary: We show that the number of configurations of the 20 Vertex model on certain domains with domain wall type boundary conditions is equal to the number of domino tilings of Aztec-like triangles, proving a conjecture of \textit{P. Di Francesco} and \textit{E. Guitter} [ibid. 27, No. 2, Research Paper P2.13, 63 p. (2020; Zbl 1439.05047)]. The result is based on the integrability of the 20 Vertex model and uses a connection to the U-turn boundary 6 Vertex model to re-express the number of 20 Vertex configurations as a simple determinant, which is then related to a Lindström-Gessel-Viennot determinant for the domino tiling problem. The common number of configurations is conjectured to be \(2^{n(n-1)/2}\prod_{j=0}^{n-1}\frac{(4j+2)!}{(n+2j+1)!}=1, 4, 60, 3328, 678912 \ldots\). The enumeration result is extended to include refinements of both numbers.