Linearly independent zeros of quadratic forms over number-fields

LetK be an algebraic number-field of degree [K:Q] =n 1 and letO denote some fixed order ofK. Let, be a quadratic form which represents zero for some. For the special caseK =Q,O =Z, theorems ofCassels and ofDavenport provide estimates for the magnitude (in terms of the coefficients off(x)) of a zero and of a pair of linearly independent zeros off, respectively. Recently,Raghavan extendedCassels' result to arbitraryK. In this article, a new proof ofDavenport's theorem for a pair of linearly independent zeros is given which not only provides explicit constants in the estimates but also extends to generalK. A refinement of this proof leads to effectively computable bounds for rational representations of a numbern0 byf.     

On nondecomposable positive definite Hermitian forms over imaginary quadratic fields

Methods are presented for the construction of nondecomposable positive definite integral Hermitian forms over the ring of integers R_m of an imaginary quadratic field ℚ(√−m). Using our methods, one can construct explicitly an n-ary nondecomposable positive definite Hermitian R_m-lattice ( L, h) with given discriminant 2 for every n⩾2 (resp. n⩾13 or odd n⩾3) and square-free m = 12 k + t with k⩾1 and t∈ (1,7) (resp. k⩾1 and t = 2 or k⩾0 and t∈ 5,10,11). We study also the case for discriminant different from 2.     

Diagonal forms over finite fields

We shall establish for all finite fields GF(pⁿ) the following result of Chowla: given a positive integer m greater than one and the finite field GF(p), p a prime, such that x^m = ?1 is solvable in GF(p), then there exists an absolute positive constant c, $\text{c ≤}\text{10}\text{ln}\text{2}$, such that for each set of s nonzero elements a_i of GF(p), $\text{a}{}_1\text{x}{}_1{}^{\mathrm{m}}\text{+ ? + a}{}_{\mathrm{s}}\text{x}{}_{\mathrm{s}}{}^{\mathrm{m}}$ has a non-trivial zero in GF(p) if s ≥ c ln m.     

Simultaneousp-adic zeros of quadratic forms

The main result is thatr quadratic forms in more than 4r ²+4r variables possess a common nontrivialp-adic zero.     

Unimodular quadratic forms over global function fields

The isometry problem is studied for unimodular quadratic forms over the Hasse domains of global function fields. Over the polynomial ring k[x] the problem reduces to classification of forms over k; but examples are provided showing that in general no such reduction occurs, even when the underlying ring is Euclidean. Connections with the structure of the ideal class group are given, and a complete invariant for the isometry class is found in the ternary isotropic case.     

On symmetric algorithms for bilinear forms over finite fields

In this paper we study the computation of symmetric systems of bilinear forms over finite fields via symmetric bilinear algorithms. We show that, in general, the symmetric complexity of a system is upper bounded by a constant multiple of the bilinear complexity; we characterize symmetric algorithms in terms of the cosets of a specific cyclic code, and we show that the problem of finding an optimal symmetric algorithm is equivalent to the maximum-likelihood decoding problem for this code.     

Universal quadratic forms and indecomposables over biquadratic fields

The aim of this article is to study (additively) indecomposable algebraic integers of biquadratic number fields K and universal totally positive quadratic forms with coefficients in . There are given sufficient conditions for an indecomposable element of a quadratic subfield to remain indecomposable in the biquadratic number field K. Furthermore, estimates are proven which enable algorithmization of the method of escalation over K. These are used to prove, over two particular biquadratic number fields and , a lower bound on the number of variables of a universal quadratic forms.     

Round and group quadratic forms over global fields

An anisotropic quadratic form φ is called round if φ ?aφ whenever φ represents a nontrivially. All round forms over global fields are completely determined. A generalization of a round form, called a group form, is investigated over global fields.     

Multiplicative arithmetic of finite quadratic forms over Dedekind rings

Letq(X) be a quadratic form in an even numberm of variables with coefficients in a Dedekind ringK. Let us assume that the setsR(q,a) = {N∈K ^m ;q(N) = a} of representations of elementsa ofK by the formq are finite. Then certain multiplicative relations are obtained by elementary means between the setsR(q,a) andR(q,ab), whereb is a product of prime elementsρ ofK with finite coefficientsK/ρK. The relations imply similar multiplicative relations between the numbers of elements of the setsR(q,a), which formerly could be obtained only in some special cases like the case whenK = ℤ is the ring of rational integers and only by means of the theory of Hecke operators on the spaces of theta-series. As an application, an almost elementary proof of the Siegel theorem on the mean number of representations of integers by integral positive quadratic forms of determinant 1 is given. Dedicated to the memory of Professor K G Ramanathan     

Small linearly independent zeros of quadratic forms

LetQ be a non-degenerate quadratic form on ? ⁿ and \(L \subseteq \mathbb{R}^n\) a lattice with \(Q(L) \subseteq \mathbb{Z}\) which contains a non-trivial zero ofQ. We give upper bounds for the minimal value of the determinant and of the product of the norms ofn linearly independent zeros ofQ inL.     

Universal octonary diagonal forms over some real quadratic fields

In this paper, we will prove there are infinitely many integers n such that n ²— 1 is square-free and admits universal octonary diagonal quadratic forms. Received: November 2, 1998.