Let $Q$ be a positive-definite quaternary quadratic form with integer coefficients. We study the problem of giving bounds on the largest positive integer $n$ that is locally represented by $Q$ but not represented. Assuming that $n$ is relatively prime to $D(Q)$, the determinant of the Gram matrix of $Q$, we show that $n$ is represented provided that \[
n \gg \max \{ N(Q)^{3/2 + ε} D(Q)^{5/4 + ε}, N(Q)^{2 + ε} D(Q)^{1 + ε} \}. \] Here $N(Q)$ is the level of $Q$. We give three other bounds that hold under successively weaker local conditions on $n$.
These results are proven by bounding the Petersson norm of the cuspidal part of the theta series, which is accomplished using an explicit formula for the Weil representation due to Scheithauer.
In this paper we study regularized Petersson products between a holomorphic theta series associated to a positive definite binary quadratic form and a weakly holomorphic weight 1 modular form with integral Fourier coefficients. In our recent work \cite{Via CM Green} motivated by the conjecture of B. Gross and D. Zagier on the CM values of higher Green's functions we have discovered that such a Petersson product is equal to the logarithm of a certain algebraic number lying in a ring class field associated to the binary quadratic form. The main result of the present paper is the explicit factori…
We study the space of vector valued theta functions for the Weil representation of a positive definite even lattice of rank two with fundamental discriminant. We work out the relation of this space to the corresponding scalar valued theta functions of weight one and determine an orthogonal basis with respect to the Petersson inner product. Moreover, we give an explicit formula for the Petersson norms of the elements of this basis.
Given a positive definite binary quadratic form f, let r(n) = |{(x,y): f(x,y)=n}| denote its representation function. In this paper we study linear correlations of these functions. For example, if r_1, ..., r_k are representation functions, we obtain an asymptotic for sum_{n,d} r_1(n) r_2(n+d) ... r_k(n+ (k-1)d).
Let $f$ be a primitive positive definite integral binary quadratic form of discriminant $-D$ and let $π_f(x)$ be the number of primes up to $x$ which are represented by $f$. We prove several types of upper bounds for $π_f(x)$ within a constant factor of its asymptotic size: unconditional, conditional on the Generalized Riemann Hypothesis (GRH), and for almost all discriminants. The key feature of these estimates is that they hold whenever $x$ exceeds a small power of $D$ and, in some cases, this range of $x$ is essentially best possible. In particular, if $f$ is reduced then this optimal range…
We investigate the average distribution of primes represented by positive definite integral binary quadratic forms, the average being taken over negative fundamental discriminants in long ranges. In particular, we prove corresponding results of Bombieri-Vinogradov type and of Barban-Davenport-Halberstam type, although with shorter ranges than in the original theorems for primes in arithmetic progressions: The results imply that, for all $a>0$, the least prime that can be represented by any given positive definite binary quadratic form of discriminant $q$ is smaller than $|q|^{7+a}$ for all for…
In this article, we establish an average behaviour of the normalised Fourier coefficients of the Hecke eigenforms supported at the integers represented by any primitive integral positive definite binary quadratic form of fixed discriminant $D < 0$ when the class number $h(D) = 1$. We also obtain a quantitative result for the number of sign changes of the sequence of the normalised Fourier coefficients $λ_{f}(n)$ of the Hecke eigenforms $f$ where $n$ is represented by any primitive integral positive definite binary quadratic form of fixed discriminant $D < 0$ when the class number $h(D) = 1$ in…
Let $Q$ be a positive-definite quaternary quadratic form with prime discriminant. We give an explicit lower bound on the number of representations of a positive integer $n$ by $Q$. This problem is connected with deriving an upper bound on the Petersson norm $\langle C, C \rangle$ of the cuspidal part of the theta series of $Q$. We derive an upper bound on $\langle C, C \rangle$ that depends on the smallest positive integer not represented by the dual form $Q^{*}$. In addition, we give a non-trivial upper bound on the sum of the integers $n$ excepted by $Q$.
We prove uniform bounds for the Petersson norm of the cuspidal part of the theta series. This gives an improved asymptotic formula for the number of representations by a quadratic form. As an application, we show that every integer $n \neq 0,4,7 \,(\operatorname{mod}8)$ is represented as $n= x_1^2 + x_2^2 + x_3^3$ for integers $x_1,x_2,x_3$ such that the product $x_1x_2x_3$ has at most 72 prime divisors.
An integral quadratic form is called strictly $n$-regular if it primitively represents all quadratic forms in $n$ variables that are primitively represented by its genus. For any $n \geq 2$, it will be shown that there are only finitely many similarity classes of positive definite strictly $n$-regular integral quadratic forms in $n + 4$ variables. This extends the recent finiteness results for strictly regular quaternary quadratic forms by Earnest-Kim-Meyer (2014).
Every quadratic form represents 0; therefore, if we take any number of quadratic forms and ask which integers are simultaneously represented by all members of the collection, we are guaranteed a nonempty set. But when is that set more than just the "trivial" 0? We address this question in the case of integral, positive- definite, reduced, binary quadratic forms. For forms of the same discriminant, we can use the structure of the underlying class group. If, however, the forms have different discriminants, we must apply class field theory.
A positive-definite integral quadratic form is called regular if it represents every positive integer which is locally represented. In this article, we classify all regular diagonal quadratic forms of rank greater than 3.
The goal of this note is to provide an analysis of the positive integers that are represented everywhere locally, but not globally, by each of the 29 spinor regular positive definite integral ternary quadratic forms that are not regular.
We prove several results about integers represented by positive definite quadratic forms, using a Fourier analysis approach. In particular, for an integer $\ell\geq 1$, we improve the error term in the partial sums of the number of representations of integers that are a multiple of $\ell$. This allows us to obtain unconditional Brun-Titchmarsh-type results in short intervals, and a conditional Cramér-type result on the maximum gap between primes represented by a given positive definite quadratic form.
A (positive definite primitive integral) quadratic form is called odd-regular if it represents every odd positive integer which is locally represented. In this paper, we show that there are at most 147 diagonal odd-regular ternary quadratic forms and prove the odd-regularities of all but 6 candidates.
A (positive definite and integral) quadratic form $f$ is called regular if it represents all integers that are locally represented. It is known that there are only finitely many regular ternary quadratic forms up to isometry. However, there are infinitely many equivalence classes of regular quadratic forms of rank $n$ for any integer $n$ greater than or equal to $4$. A regular quadratic form $f$ is called new if there does not exist a proper subform $g$ of $f$ such that the set of integers that are represented by $g$ is equal to the set of integers that are represented by $f$. In this article,…
Extending the notion of regularity introduced by Dickson in 1939, a positive definite ternary integral quadratic form is said to be spinor regular if it represents all the positive integers represented by its spinor genus (that is, all positive integers represented by any form in its spinor genus). Jagy conducted an extensive computer search for primitive ternary quadratic forms that are spinor regular, but not regular, resulting in a list of 29 such forms. In this paper, we will prove that there are no additional forms with this property.
In this note, we give an elementary proof of the following classical fact. Any positive definite ternary quadratic form over the rational numbers fails to represent infinitely many positive integers. For any ternary quadratic form (positive definite or indefinite), our method constructs certain congruence classes whose elements, up to a square factor, are the only elements not represented over the rational numbers by that form. In the case of a positive definite ternary form, we show that these classes are non-empty. This shows that the minimum number of variables in a positive definite quadra…
We show that the theorem of Ellenberg and Venkatesh on representation of integral quadratic forms by integral positive definite quadratic forms is valid under weaker conditions on the represented form.
We provide a characterization of integers represented by the positive definite binary quadratic form $ax^2+bxy+cy^2$. In order to prove the main theorem, we define the "relative conductor" of two orders in an imaginary quadratic field. Then we provide a characterization of decomposition of proper ideals of orders in imaginary quadratic fields. Moreover we present some interesting examples of the main theorem.
We give upper bounds on the size of the gap between a non-zero constant term and the next non-zero Fourier coefficient of an entire level two modular form. We give upper bounds for the minimum positive integer represented by a level two even positive-definite quadratic form. These bounds extend partial results in part I.
In this article we estimate the number of integers up to $X$ which can be represented by a positive-definite, binary integral quadratic form of discriminant which is small relative to $X$. This follows from understanding the vector of signs when computing the Legendre symbol of small integers $n$ at multiple primes.
A (positive definite and non-classic integral) quadratic form is called strongly $s$-regular if it satisfies a strong regularity property on the number of representations of squares of integers. In this article, we prove that for any integer $k \ge 2$, there are only finitely many isometry classes of strongly $s$-regular quadratic forms with rank $k$ if the minimum of the nonzero squares that are represented by them is fixed.
Let $-d$ be a a negative discriminant and let $T$ vary over a set of representatives of the integral equivalence classes of integral binary quadratic forms of discriminant $-d$. We prove an asymptotic formula for $d \to \infty$ for the average over $T$ of the number of representations of $T$ by an integral positive definite quaternary quadratic form and obtain results on averages of Fourier coefficients of linear combinations of Siegel theta series. We also find an asymptotic bound from below on the number of binary forms of fixed discriminant $-d$ which are represented by a given quaternary f…
Given a negative $D>-(\log X)^{\log 2-δ}$, we give a new upper bound on the number of square free integers $<X$ which are represented by some but not all forms of the genus of a primitive positive definite binary quadratic form $f$ of discriminant $D$. We also give an analogous upper bound for square free integers of the form $q+a<X$ where $q$ is prime and $a\in\mathbb Z$ is fixed. Combined with the 1/2-dimensional sieve of Iwaniec, this yields a lower bound on the number of such integers $q+a<X$ represented by a binary quadratic form of discriminant $D$, where $D$ is allowed to grow with $X$ …
Diophantine approximation with sums of two squares
Ramakrishna Mission Vivekananda Educational and Research Institute（罗摩克里希那使命维韦卡南达教育与研究所）；Indian Institute of Science Education & Research Kolkata（印度科学教育研究学院加尔各答分校）
We consider the problem of classifying all positive-definite integer-valued quadratic forms that represent all positive odd integers. Kaplansky considered this problem for ternary forms, giving a list of 23 candidates, and proving that 19 of those represent all positive odds. (Jagy later dealt with a 20th candidate.) Assuming that the remaining three forms represent all positive odds, we prove that an arbitrary, positive-definite quadratic form represents all positive odds if and only if it represents the odd numbers from 1 up to 451. This result is analogous to Bhargava and Hanke's celebrated…
We improve the Chebotarev variant of the Brun-Titchmarsh theorem proven by Lagarias, Montgomery, and Odlyzko using the log-free zero density estimate and zero repulsion phenomenon for Hecke L-functions that were recently proved by the authors. Our result produces an improvement for the best unconditional bounds toward two conjectures of Lang and Trotter regarding the distribution of traces of Frobenius for elliptic curves and holomorphic cuspidal modular forms. We also obtain new results on the distribution of primes represented by positive-definite integral binary quadratic forms.
Let $f$ be a positive definite (non-classic) integral quaternary quadratic form. We say $f$ is strongly $s$-regular if it satisfies a regularity property on the number of representations of squares of integers. In this article, we prove that there are only finitely many strongly $s$-regular quaternary quadratic forms up to isometry if the minimum of the nonzero squares that are represented by the quadratic form is fixed. Furthermore, we show that there are exactly $34$ strongly $s$-regular diagonal quaternary quadratic forms representing one (see Table $1$). In particular, we use eta-quotients…
Let $f$ be a positive definite ternary quadratic form. We assume that $f$ is non-classic integral, that is, the norm ideal of $f$ is $\z$. We say $f$ is {\it strongly $s$-regular } if the number of representations of squares of integers by $f$ satisfies the condition in Cooper and Lam's conjecture in \cite {cl}. In this article, we prove that there are only finitely many strongly $s$-regular ternary forms up to equivalence if the minimum of the non zero squares that are represented by the form is fixed. In particular, we show that there are exactly $207$ non-classic integral strongly $s$-regul…
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 equ…
We give upper bounds on the size of the gap between the constant term and the next non-zero Fourier coefficient of an entire modular form of given weight for Γ_0(2). Numerical evidence indicates that a sharper bound holds for the weights h \equiv 2 . We derive upper bounds for the minimum positive integer represented by level two even positive-definite quadratic forms. Our data suggest that, for certain meromorphic modular forms and p=2,3, the p-order of the constant term is related to the base-p expansion of the order of the pole at infinity, and they suggest a connection between divisibility…
A (positive definite and integral) quadratic form $f$ is said to be $\textit{universal}$ if it represents all positive integers, and is said to be $\textit{primitively universal}$ if it represents all positive integers primitively. We also say $f$ is $\textit{primitively almost universal}$ if it represents almost all positive integers primitively. Conway and Schneeberger proved (see [1]) that there are exactly $204$ equivalence classes of universal quaternary quadratic forms. Recently, Earnest and Gunawardana proved in [4] that among $204$ equivalence classes of universal quaternary quadratic …
We prove an explicit version of Weiss' bound on the least norm of a prime ideal in the Chebotarev density theorem, which is itself a significant improvement on the work of Lagarias, Montgomery, and Odlyzko. In order to accomplish this, we prove an explicit log-free zero density estimate and an explicit version of the zero-repulsion phenomenon for Hecke $L$-functions. As an application, we prove the first explicit nontrivial upper bound for the least prime represented by a positive-definite primitive binary quadratic form. We also present applications to the group of $\mathbb{F}_p$-rational poi…
In this paper, we study the unary Hermitian lattices over imaginary quadratic fields. Let $E=\mathbb{Q}\big(\sqrt{-d}\big)$ be an imaginary quadratic field for a square-free positive integer $d$, and let $\mathcal{O}$ be its ring of integers. For each positive integer $m$, let $I_m$ be the free Hermitian lattice over $\mathcal{O}$ with an orthonormal basis, let $\mathfrak{S}_d(1)$ be the set consisting of all positive definite integral unary Hermitian lattices over $\mathcal{O}$ that can be represented by some $I_m$, and let $g_d(1)$ be the smallest positive integer such that all Hermitian lat…
