Sarnak obtained the asymptotic formula of the sum of the class numbers of indefinite binary quadratic forms from the prime geodesic theorem for the modular group. In the present paper, we show several asymptotic formulas of partial sums of the class numbers by using the prime geodesic theorems for the congruence subgroups of the modular group.
For any integer $q\geq 2$ we provide a formula to express indefinite sums of a sequence $(f(n))_{n\geq 0}$ weighted by $q$-periodic sequences in terms of indefinite sums of sequences $(f(qn+p))_{n\geq 0}$, where $p\in\{0,\ldots,q-1\}$. When explicit expressions for the latter sums are available, this formula immediately provides explicit expressions for the former sums. We also illustrate this formula through some examples.
The modular transformation behavior of theta series for indefinite quadratic forms is well understood in the case of elliptic modular forms due to Vignéras, who deduced that solving a differential equation of second order serves as a criterion for modularity. In this paper, we will give a generalization of this result to Siegel theta series.
We study an asymptotic formula for counting integral points over an equation defined by a non-degenerated indefinite integral ternary quadratic form $f$ representing a non-zero integer $a$ such that $-a\cdot det(f)$ is square over a number field. In particular, we prove that the finite part of this asymptotic formula is given by the product of local density times $1-p^{-1}$ over all finite primes $p$ over $\Bbb Z$.
In this paper we study a geometric coding algorithm for indefinite binary quadratic forms Q for the congruence subgroup Γ^0(N), with respect to the usual fundamental domain FN, where N is assumed prime. The cycles Q_1, . . ., Q_n that this algorithm produces are such that the the corresponding paths γ_1, . . ., γ_n in the Riemann surface X0(N)(C) have a nice behavior around the elliptic points of order 2.
For special $d$-dimensional hyperbolic shells $E$ with $ d\geq 5$ we show that the number of lattice points in $E$ intersected with a $d$-dimensional cube $C_r$ of edge length $r$, can be approximated by the volume of $E\cap C_r$, as $r$ tends to infinity, up to an error of order ${\mathcal O}(r^{d-2})$. We generalize results and techniques, used by F. Götze (2004), to a large class of {\em indefinite} quadratic forms and we provide explicit bounds for the errors in terms of certain Minkowski minima related to these quadratic forms. Furthermore, we obtain, as in the positive definite case, a r…
CUNY Graduate Center(纽约市立大学研究生中心);Oklahoma State University(俄克拉荷马州立大学);Institute for Advanced Study & Princeton University(普林斯顿高等研究院与普林斯顿大学);Seoul National University(首尔国立大学)
A number field $k$ admits a binary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is bigger than one. In this case, there are only finitely many classes of such binary integral quadratic forms over $k$. A number field $k$ admits a ternary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is even. In this case, there are infinitely many classes of such ternary integral quadratic forms over $k$. An integral quadratic form over a number field $k$ with more tha…
Let $f$ be an indefinite ternary quadratic form, and let $q$ be an integer such that $-q det(f)$ is not a square. Let $N(T,f,q)$ denote the number of integral solutions of the equation $f(x)=q$ where $x$ lies in the ball of radius $T$ centered at the origin. We are interested in the asymptotic behavior of $N(T,f,q)$ as $T$ tends to infinity. We deduce from the results of our joint paper with Z. Rudnick that $N(T,f,q)$ grows like cE(T,f,q)$ as $T$ tends to infinity, where $E(T,f,q)$ is the Hardy-Littlewood expectation (the product of local densities) and $0 \le c \le 2$. We give examples of $f$…
It is known that there is a one-to-one correspondence between equivalence classes of primitive indefinite binary quadratic forms and primitive hyperbolic conjugacy classes of the modular group. Due to such a correspondence, Sarnak obtained the asymptotic formula for the class number sum in order of the fundamental unit by using the prime geodesic theorem for the modular group. In the present paper, we propose asymptotic formulas of the class number sums over discriminants in arithmetic progressions. Since there are relations between the arithmetic properties of the discriminants and the conjug…
For any $\varepsilon > 0$ we derive effective estimates for the size of a non-zero integral point $m \in \mathbb{Z}^d \setminus \{0\}$ solving the Diophantine inequality $\lvert Q[m] \rvert < \varepsilon$, where $Q[m] = q_1 m_1^2 + \ldots + q_d m_d^2$ denotes a non-singular indefinite diagonal quadratic form in $d \geq 5$ variables. In order to prove our quantitative variant of the Oppenheim conjecture, we extend an approach developed by Birch and Davenport [BD58b] to higher dimensions combined with a theorem of Schlickewei [Sch85]. The result obtained is an optimal extension of Schlickewei's …
This paper develops an approach to the evaluation of quadratic Euler sums that involve harmonic numbers. The approach is based on simple integral computations of polyloga- rithms. By using the approach, we establish some relations between quadratic Euler sums and linear sums. Furthermore, we obtain some closed form representations of quadratic sums in terms of zeta values and linear sums. The given representations are new.
Let $h(d)$ be the class number of indefinite binary quadratic forms of discriminant $d$, and let $\varepsilon_d$ be the corresponding fundamental unit. In this paper, we obtain an asymptotic formula for the $k$-th moment of $h(d)$ over positive discriminants $d$ with $\varepsilon_d\leq x$, uniformly for real numbers $k$ in the range $0<k\leq (\log x)^{1-o(1)}$. This improves upon the work of Raulf, who obtained such an asymptotic for a fixed positive integer $k$. We also investigate the distribution of large values of $h(d)$ when the $d$'s are ordered according to the size of their fundamental…
Given an integral indefinite binary Hermitian form f over an imaginary quadratic number field, we give a precise asymptotic equivalent to the number of nonequivalent representations, satisfying some congruence properties, of the rational integers with absolute value at most s by f, as s tends to infinity.
In this paper, we work out some explicit formulae for double nonlinear Euler sums involving harmonic numbers and alternating harmonic numbers. As applications of these formulae, we give new closed form representations of several quadratic Euler sums through Riemann zeta function and linear sums. The given representations are new.
In this paper, we obtain some formulas for double nonlinear Euler sums involving harmonic numbers and alternating harmonic numbers. By using these formulas, we give new closed form sums of several quadratic Euler series through Riemann zeta values, polylogarithm functions and linear sums. Furthermore, some relationships between Euler sums and integrals of polylogarithm functions are established.
Gauss' classical reduction theory for indefinite binary quadratic forms over $\mathbb{Z}$ has originally been proven by means of purely algebraic and arithmetic considerations. It was later discovered that this reduction theory is closely related to a certain symbolic dynamics for the geodesic flow on the modular surface, and hence can also be deduced geometrically. In this article, we use certain symbolic dynamics for the geodesic flow on Hecke triangle surfaces (also the non-arithmetic ones) to develop reduction theories for the indefinite binary quadratic forms associated to Hecke triangle …
The main purpose of this paper is to study higher order moments of the generalized quadratic Gauss sums weighted by $L$-functions using estimates for character sums and analytic methods. We find asymptotic formulas for three character sums which arise naturally in the study of higher order moments of the generalized quadratic Gauss sums. We then use these character sum estimates to find asymptotic formulas for the $\nth{6}$ and $\nth{8}$ order moments of the generalized quadratic Gauss sums weighted by $L$-functions. Our asymptotic formulas satisfy a conjecture of Wenpeng Zhang.
In this paper we study Ramanujan sums $c_{\bf m}(\bf n)$, where $ {\bf m}$ and ${\bf n}$ are integral ideals in an arbitrary quadratic number field. We give some new results about the asymptotic behavior of sums of $c_{\bf m}(\bf n)$ over both $ {\bf m}$ and $ {\bf n}$.
Large values of quadratic character sums revisited
Tongji University(同济大学);Hainan Bielefeld University of Applied Sciences(海南比勒费尔德应用科学大学);Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院晨兴数学中心);Hunan University(湖南大学)
We use the spectral theory of Hilbert-Maass forms for real quadratic fields to obtain the asymptotics of some sums involving the number of representations as a sum of two squares in the ring of integers.
We study smoothed character sums involving $\sum_{m,n} ( \frac{m}{n} )_2$, where $( \frac{m}{n} )_2$ denotes the quadratic symbol in the Gaussian field. We extend previously known results to obtain asymptotic formulas for the sums considered to larger ranges of $m$ and $n$.
For suitable pairs of diagonal quadratic forms in 8 variables we use the circle method to investigate the density of simultaneous integer solutions and relate this to the problem of estimating linear correlations among sums of two squares.
Let $Q(x,y,z)$ be an integral quadratic form with determinant coprime to some modulus $q$. We show that $q\mid Q$ for some non-zero integer vector $(x,y,z)$ of length $O(q^{5/8+\varepsilon})$, for any fixed $\varepsilon>0$. Without the coprimality condition on the determinant one could not achieve an exponent below $2/3$. The proof uses a bound for short character sums involving binary quadratic forms, which extends a result of Chang.
The main purpose of this article is to study higher power mean values of generalized quadratic Gauss sums using estimates for character sums, analytic method and algebraic geometric methods. In this article, we prove two conjectures which were proposed in \cite{BLZ}.
This paper extends previous work on linear correlations of representation functions of positive definite binary quadratic forms to allow indefinite forms.
It is well known that when a prime $p$ is congruent to 1 modulo 4, the sum of the quadratic residues equals the sum of the quadratic nonresidues. In this note we give analogous results for the case where $p$ is congruent to 3 modulo 4.
In this paper we define the generalized q-analogues of Euler sums and present a new family of identities for q-analogues of Euler sums by using the method of Jackson q-integral rep- resentations of series. We then apply it to obtain a family of identities relating quadratic Euler sums to linear sums and q-polylogarithms. Furthermore, we also use certain stuffle products to evaluate several q-series with q-harmonic numbers. Some interesting new results and illustrative examples are considered. Finally, we can obtain some explicit relations for the classical Euler sums when q approaches to 1.
This mostly expository paper centers on recently proved conjectures in two areas: A) A conjecture of A. Oppenheim on the values of real indefinite quadratic forms at integral points. B) Conjectures of Dani, Raghunathan, and Margulis on closures of orbits in spaces of lattices such as ${\BSL}_n(\R)/{\BSL}_n(\Z)$. At first sight, A) belongs to analytic number theory and B) belongs to ergodic and Lie theory, and they seem to be quite unrelated. They are discussed together here because of a very interesting connection between the two pointed out by M. S. Raghunathan, namely, a special case of B) y…
Soochow University(苏州大学);Hainan Bielefeld University of Applied Sciences(海南比勒费尔德应用科技大学);Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院晨兴数学中心);Hunan University(湖南大学);Tongji University(同济大学)
In this paper, we prove that for $d=3,\dots,8$, every natural number can be written as $t_x+t_y+3t_z+dt_w$, where $x$, $y$, $z$, and $w$ are nonnegative integers and $t_k=k(k+1)/2$ $(k=0,1,2,\ldots)$ is a triangular number. Furthermore, we study mixed sums of triangular numbers and certain binary quadratic forms.
We consider a generalized Gauss sum supported on matrices over a number field. We evaluate this Gauss sum and relate it to the number of totally isotropic subspaces of related quadratic spaces. Then we consider a further generalization of such a Gauss sum, realizing its value in terms of numbers of totally isotropic subspaces of related quadratic spaces.
Let $\mathcal L^+$ be the set of all primes $p$ for which the sums of $\left(\frac{n}{p}\right)$ over the interval $[1,N]$ are non-negative for all $N$. We prove that the estimate \[ |\mathcal L^+\cap [1,x]|\ll \frac{x}{\ln x(\ln\ln x)^{c-o(1)}} \] holds for $c\approx 0.0368$
We study real quadratic fields $\mathbb{Q}(\sqrt{D})$ such that, for a given rational integer $m$, all $m$-multiples of totally positive integers are sums of squares. We prove quite sharp necessary and sufficient conditions for this to happen. Further, we give a fast algorithm that solves this question for specific $m$, $D$ and we give complete results for $m \leq 5000$.
We show that the class of every primitive indefinite binary quadratic form is naturally represented by an infinite graph (named çark) with a unique cycle embedded on a conformal annulus. This cycle is called the spine of the çark. Every choice of an edge of a fixed çark specifies an indefinite binary quadratic form in the class represented by the çark. Reduced forms in the class represented by a çark correspond to some distinguished edges on its spine. Gauss reduction is the process of moving the edge in the direction of the spine of the çark. Ambiguous and reciprocal classes are represented b…
Let $S(x,t)$ denote the Weyl sum with associated polynomial $xn + tn^2$. Suppose that $|S(x,t)|$ attains its maximum for given $x$ at $t = t(x)$. We give upper and lower bounds of the same order of magnitude for the $L^p$ norm of $S(x,t(x))$.
We establish a quantitative version of Oppenheim's conjecture for generic ternary indefinite quadratic forms using an analytic number theory approach. The statements come with power gains and in some cases are essentially optimal
We define generalised zeta functions associated to indefinite quadratic forms of signature (g-1,1) -- and more generally, to complex symmetric matrices whose imaginary part has signature (g-1,1) -- and we investigate their properties. These indefinite zeta functions are defined as Mellin transforms of indefinite theta functions in the sense of Zwegers, which are in turn generalised to the Siegel modular setting. We prove an analytic continuation and functional equation for indefinite zeta functions. We also show that indefinite zeta functions in dimension 2 specialise to differences of ray cla…
We prove an analogue of Kronecker's second limit formula for a continuous family of "indefinite zeta functions". Indefinite zeta functions were introduced in the author's previous paper as Mellin transforms of indefinite theta functions, as defined by Zwegers. Our formula is valid in dimension g=2 at s=1 or s=0. For a choice of parameters obeying a certain symmetry, an indefinite zeta function is a differenced ray class zeta function of a real quadratic field, and its special value at $s=0$ was conjectured by Stark to be a logarithm of an algebraic unit. Our formula also permits practical high…
In this paper we establish the function field analogue of Bateman-Horn conjecture in short interval in the limit of a large finite field. Hence we start with counting prime polynomials generated by primitive quadratic functions in short intervals. To this end we further work out on function field analogs of cancellation of Mobius sums and its correlations(Chowla type sums) and confirm that square root cancellation in Mobius sums is equivalent to square root cancellation in Chowla type sums.