
A mesh algorithm for principal quadratic formsDOI: 10.2478/v1006501100263 Abstract: In 1970 a negative solution to the tenth Hilbert problem, concerning the determination of integral solutions of diophantine equations, was published by Y. W. Matiyasevich. Despite this result, we can present algorithms to compute integral solutions (roots) to a wide class of quadratic diophantine equations of the form q(x) = d, where q : Z is a homogeneous quadratic form. We will focus on the roots of one (i.e., d = 1) of quadratic unit forms (q11 = … = qnn = 1). In particular, we will describe the set of roots Rq of positive definite quadratic forms and the set of roots of quadratic forms that are principal. The algorithms and results presented here are successfully used in the representation theory of finite groups and algebras. If q is principal (q is positive semidefinite and Ker q={v ∈ Zn; q(v) = 0}=Z · h) then Rq = ∞. For a given unit quadratic form q (or its bigraph), which is positive semidefinite or is principal, we present an algorithm which aligns roots Rq in a Φmesh. If q is principal (Rq < ∞), then our algorithm produces consecutive roots in Rq from finite subset of Rq, determined in an initial step of the algorithm.
