Source author record

Wai Kiu Chan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT

Catalog footprint

Research overview

11works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Hermite reduction and a Waring's problem for integral quadratic forms over number fields

We generalize the Hermite-Korkin-Zolotarev (HKZ) reduction theory of positive definite quadratic forms over $\mathbb Q$ and its balanced version introduced recently by Beli-Chan-Icaza-Liu to positive definite quadratic forms over a totally real number field $K$ . We apply the balanced HKZ-reduction theory to study the growth of the {\em $g$ -invariants} of the ring of integers of $K$ . More precisely, for each positive integer $n$ , let $\mathcal O$ be the ring of integers of $K$ and $g_{\mathcal O}(n)$ be the smallest integer such that every sum of squares of $n$ -ary $\mathcal O$ -linear forms must be a sum of $g_{\mathcal O}(n)$ squares of $n$ -ary $\mathcal O$ -linear forms. We show that when $K$ has class number 1, the growth of $g_{\mathcal O}(n)$ is at most an exponential of $\sqrt{n}$ . This extends the recent result obtained by Beli-Chan-Icaza-Liu on the growth of $g_{\mathbb Z}(n)$ and gives the first sub-exponential upper bound for $g_{\mathcal O}(n)$ for rings of integers $\mathcal O$ other than $\mathbb Z$ .

preprint2020arXiv

Explicit Result on Equivalence of Rational Quadratic Forms Avoiding Primes

Given a pair of regular quadratic forms over $\mathbb{Q}$ which are in the same genus and a finite set of primes $P$ , we show that there is an effective way to determine a rational equivalence between these two quadratic forms which are integral over every prime in $P$ . This answers one of the principal questions posed by Conway and Sloane in their book {\em Sphere packings, lattices and groups}, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Vol 290, Springer-Verlag, New York, 1999; page 402.

preprint2020arXiv

On the exceptional sets of integral quadratic forms

A collection $\mathcal S$ of equivalence classes of positive definite integral quadratic forms in $n$ variables is called an $n$ -exceptional set if there exists a positive definite integral quadratic form which represents all equivalence classes of positive definite integral quadratic forms in $n$ variables except those in $\mathcal S$ . We show that, among other results, for any given positive integers $m$ and $n$ , there is always an $n$ -exceptional set of size $m$ and there are only finitely many of them.

preprint2015arXiv

The representation of integers by positive ternary quadratic polynomials

An integral quadratic polynomial is called regular if it represents every integer that is represented by the polynomial itself over the reals and over the $p$ -adic integers for every prime $p$ . It is called complete if it is of the form $Q({\mathbf x} + {\mathbf v})$ , where $Q$ is an integral quadratic form in the variables ${\mathbf x} = (x_1, \ldots, x_n)$ and ${\mathbf v}$ is a vector in ${\mathbb Q}^n$ . Its conductor is defined to be the smallest positive integer $c$ such that $c{\mathbf v} \in {\mathbb Z}^n$ . We prove that for a fixed positive integer $c$ , there are only finitely many equivalence classes of positive primitive ternary regular complete quadratic polynomials with conductor $c$ . This generalizes the analogous finiteness results for positive definite regular ternary quadratic forms by Watson and for ternary triangular forms by Chan and Oh.

preprint2014arXiv

Totally isotropic subspaces of small height in quadratic spaces

Let $K$ be a global field or $\overline{\mathbb Q}$ , $F$ a nonzero quadratic form on $K^N$ , $N \geq 2$ , and $V$ a subspace of $K^N$ . We prove the existence of an infinite collection of finite families of small-height maximal totally isotropic subspaces of $(V,F)$ such that each such family spans $V$ as a $K$ -vector space. This result generalizes and extends a well known theorem of J. Vaaler and further contributes to the effective study of quadratic forms via height in the general spirit of Cassels' theorem on small zeros of quadratic forms. All bounds on height are explicit.

preprint2013arXiv

A generalized Hermite constant and its computations for imaginary quadratic fields

We introduce the projective Hermite constant for positive definite binary hermitian forms associated with an imaginary quadratic number field $K$ . It is a lower bound for the classical Hermite constant, and these two constants coincide when $K$ has class number one. Using the geometric tools developed by Mendoza and Vogtmann for their study of the homology of the Bianchi groups, we compute the projective Hermite constants for those $K$ whose absolute discriminants are less than 70, and determine the hermitian forms that attain the projective Hermite constants in these cases. A comparison of the projective hermitian constant with some other generalizations of the classical Hermite constant is also given.

preprint2013arXiv

Class numbers of ternary quadratic forms

G.L. Watson \cite{watson1, watson2} introduced a set of transformations, called Watson transformations by most recent authors, in his study of the arithmetic of integral quadratic forms. These transformations change an integral quadratic form to another integral quadratic form with a smaller discriminants, but preserve many arithmetic properties at the same time. In this paper, we study the change of class numbers of positive definite ternary integral quadratic formula along a sequence of Watson transformations, thus providing a new and effective way to compute the class number of positive definite ternary integral quadratic forms. Explicit class number formulae for many genera of positive definite ternary integral quadratic forms are derived as illustrations of our method.

preprint2013arXiv

Small zeros of quadratic forms outside of a union of varieties

Let $F$ be a quadratic form in $N \geq 2$ variables defined on a vector space $V \subseteq K^N$ over a global field $K$ , and $\Z \subseteq K^N$ be a finite union of varieties defined by families of homogeneous polynomials over $K$ . We show that if $V \setminus \Z$ contains a nontrivial zero of $F$ , then there exists a linearly independent collection of small-height zeros of $F$ in $V\setminus \Z$ , where the height bound does not depend on the height of $\Z$ , only on the degrees of its defining polynomials. As a corollary of this result, we show that there exists a small-height maximal totally isotropic subspace $W$ of the quadratic space $(V,F)$ such that $W$ is not contained in $\Z$ . Our investigation extends previous results on small zeros of quadratic forms, including Cassels' theorem and its various generalizations. The paper also contains an appendix with two variations of Siegel's lemma. All bounds on height are explicit.

preprint2012arXiv

Representations of integral quadratic polynomials

In this paper, we study the representations of integral quadratic polynomials. Particularly, it is shown that there are only finitely many equivalence classes of positive ternary universal integral quadratic polynomials, and that there are only finitely many regular ternary triangular forms. A more general discussion of integral quadratic polynomials over a Dedekind domain inside a global field is also given.

preprint2011arXiv

Ternary Sums of Squares and Triangular Numbers

For any integer $x$ , let $T_x$ denote the triangular number $\frac{x(x+1)}{2}$ . In this paper we give a complete characterization of all the triples of positive integers $(α, β, γ)$ for which the ternary sums $αx^2 +βT_y + γT_z$ represent all but finitely many positive integers. This resolves a conjecture of Kane and Sun \cite[Conjecture 1.19(i)]{KS08} and complete the characterization of all almost universal ternary mixed sums of squares and triangular numbers.

preprint2009arXiv

Small zeros of hermitian forms over a quaternion algebra

Let $D$ be a positive definite quaternion algebra over a totally real number field $K$ , $F(X,Y)$ a hermitian form in 2N variables over $D$ , and $Z$ a right $D$ -vector space which is isotropic with respect to $F$ . We prove the existence of a small-height basis for $Z$ over $D$ , such that $F(X,X)$ vanishes at each of the basis vectors. This constitutes a non-commutative analogue of a theorem of Vaaler, and presents an extension of the classical theorem of Cassels on small zeros of rational quadratic forms to the context of quaternion algebras.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Wai Kiu Chan

Research overview

Is this your work?

11 publications

Hermite reduction and a Waring's problem for integral quadratic forms over number fields

Explicit Result on Equivalence of Rational Quadratic Forms Avoiding Primes

On the exceptional sets of integral quadratic forms

The representation of integers by positive ternary quadratic polynomials

Totally isotropic subspaces of small height in quadratic spaces

A generalized Hermite constant and its computations for imaginary quadratic fields

Class numbers of ternary quadratic forms

Small zeros of quadratic forms outside of a union of varieties

Representations of integral quadratic polynomials

Ternary Sums of Squares and Triangular Numbers

Small zeros of hermitian forms over a quaternion algebra

See the researcher in context

Building this map preview