Home OALib Journal OALib PrePrints Submit Ranking News My Lib FAQ About Us Follow Us+
 All Title Author Keywords Abstract
 Publish in OALib Journal ISSN: 2333-9721 APC: Only \$99

 Relative Articles Lower bounds for the principal genus of definite binary quadratic forms On the representation of quadratic forms by quadratic forms Annihilating polynomials for quadratic forms Normal forms for real quadratic forms On the Pfister Number of Quadratic Forms Harmonic forms on principal bundles On the norm principle for quadratic forms \$Pin\$-structures on surfaces and quadratic forms New classes of quadratic bent functions in polynomial forms Zeros of Pairs of Quadratic Forms More...

# A mesh algorithm for principal quadratic forms

 Full-Text   Cite this paper

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 semi-definite 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 semi-definite 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.

Full-Text