Trianguloids and triangulations of root polytopes (Q6071954)

For \(m, n\geq 1\), let \([m] := \{1, \dots, m\}\) and \([\bar{n}] := \{\bar{1}, \dots, \bar{n}\}\). Consider \(\mathbb{R}^{m+n}\) with basis \(\{e_1, \dots,\) \(e_m, e_{\bar{1}}, \dots, e_{\bar{n}}\}\), where \(e_{\bar{p}}\) is the unit \((m+p)\)-th vector. Let \(\Delta_{[m]}\) be the convex hull of \(\{e_1, \dots, e_m\}\) and \(\Delta_{[\bar{n}]}\) be the convex hull of \(\{e_{\bar{1}}, \dots, e_{\bar{n}}\}\). So, \(\Delta_{[m]}\) is the standard \((m-1)\)-simplex in \(\mathbb{R}^m\). For \(k\geq 1\), let \(k\Delta_{[m]}\subset \mathbb{R}^m\) be the Minkowski sum of \(k\) copies of \(\Delta_{[m]}\) and \(\Delta^{\mathbb{Z}}(m,k) := k\Delta_{[m]}\cap \mathbb{Z}^m\). Let \(K_{m, n}\) be the complete bipartite graph with vertex set \([m]\sqcup[\bar{n}]\) and edge set \(\{(i, \bar{p}) : i\in [m], \bar{p}\in [\bar{n}]\}\). For a subgraph \(G \subseteq K_{m, n}\), the root polytope \(Q_{G}\subset R^{m+n}\) is the convex hull of the points \(e_i+e_{\bar{p}}\) for all \((i, \bar{p})\in G\). So, \(Q_{K_{m, n}}\) is the polytope \(\Delta_{[m]}\times \Delta_{[\bar{n}]}\). Let \(\Gamma\) be the directed graph with vertex set \(V(\Gamma) = \Delta^{\mathbb{Z}}(m, n-1) \sqcup \Delta^{\mathbb{Z}}(m, n)\) and edge set \(E(\Gamma) = \{b \to b+e_i : b\in \Delta^{\mathbb{Z}}(m, n-1), i\in [m]\}\). A trianguloid is an edge coloring of \(\Gamma\) satisfying four local axioms. The authors show that there is a one to one correspondence between the set of trianguloids and the set of triangulations of \(Q_{K_{m, n}}\) (\(= \Delta_{[m]}\times \Delta_{[\bar{n}]}\)). They generalise this result for \(Q_G\) for arbitrary subgraph \(G\subseteq K_{m,n}\).