Hamiltonian tournaments and Gorenstein rings (Q697082): Difference between revisions

Let \(G_n\) be the complete graph on the vertex set \([n]=\{1,2,\dots,n\}\) and \(\omega\) an orientation of \(G_n\), i.e., \(\omega\) is an assignment of a direction \(i\to j\) of each edge \(\{i,j\}\) of \(G_n\). Let \({\mathbf e}_q\) denote the \(q\)th unit coordinate vector of \(\mathbb{R}^n\). Write \(\mathcal P_{(G_n;\omega)} \subset \mathbb{R}^n\) for the convex hull of the \(\binom{n}{2}\) points \({\mathbf e}_i-{\mathbf e}_j\), where \(i\to j\) is the direction of the edge \(\{i, j\}\) in the orientation \(\omega\). It is proved that, for \(n\geq 5\), the Ehrhart ring of the convex polytope \(\mathcal P_{(G_n;\omega)}\) is Gorenstein if and only if \((G_n;\omega)\) possesses a Hamiltonian cycle, i.e., a directed cycle of length \(n\).