@article {IOPORT.05976063,
    author       = {Simson, Daniel},
    title        = {Mesh algorithms for solving principal Diophantine equations, sand-glass tubes and tori of roots.},
    year         = {2011},
    journal      = {Fundamenta Informaticae},
    volume       = {109},
    number       = {4},
    issn         = {0169-2968},
    pages        = {425-462},
    publisher    = {Polish Mathematical Society, Warsaw; IOS Press, Amsterdam},
    doi          = {10.3233/FI-2011-520},
    abstract     = {Summary: We study integral solutions of diophantine equations $q(x) = d$, where $x = (x_1, \ldots , x_n), n \geq 1, d \in \Bbb{Z}$ is an integer and $q : \Bbb{Z}^{n} \rightarrow \Bbb{Z}$ is a non-negative homogeneous quadratic form. Contrary to the negative solution of the Hilbert's tenth problem, for any such a form $q(x)$, we give efficient algorithms describing the set $\cal R_q(d)$ of all integral solutions of the equation $q(x) = d$ in a $\Phi _A$-mesh translation quiver form. We show in Section 5 that usually the set $\cal R_q(d)$ has a shape of a $\Phi _A$-mesh sand-glass tube or of a $\Phi _A$-mesh torus, see 5.8, 5.10, and 5.13. If, in addition, the subgroup Ker $q = \{v \in \Bbb{Z}^{n}; q(v) = 0\}$ of $\Bbb{Z}^{n}$ is infinite cyclic, we study the solutions of the equations $q(x) = 1$ by applying a defect $\delta A : \Bbb{Z}^{n} \rightarrow \Bbb{Z}$ and a reduced Coxeter number \v{c}$_A \in \Bbb{N}$ defined by means of a morsification $b_A : \Bbb{Z}^{n} \times \Bbb{Z}^{n} \rightarrow \Bbb{Z}$ of $q$, see Section 4. On this way we get a simple graphical algorithm that constructs all integral solutions in the shape of a mesh translation oriented graph consisting of Coxeter $\Phi _A$-orbits. It turns out that usually the graph has at most three infinite connected components and each of them has an infinite band shape, or an infinite horizontal tube shape, or has a sand-glass tube shape. The results have important applications in representation theory of groups, algebras, quivers and partially ordered sets, as well as in the study of derived categories (in the sense of Verdier) of module categories and categories of coherent sheaves over algebraic varieties.},
    identifier   = {05976063},
}