Exponential sums over points of elliptic curves (Q401994)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Exponential sums over points of elliptic curves |
scientific article |
Statements
Exponential sums over points of elliptic curves (English)
0 references
27 August 2014
0 references
Let \(q\) be a prime power and \(\mathcal E\) be the elliptic curve \(y^2=x^3+Ax+B\) over the finite field \({\mathbb F}_q\) of \(q\) elements and characteristic \(p\geq 5\). Write the point \(P\neq {\mathcal O}\) on \(\mathcal E\) as \(P=(x(P),y(P))\). Fix a nonprincipal additive character \(\psi\) of \({\mathbb F}_q\). The authors give a simple new estimate for the bilinear sum \[ V_{\rho,\theta}(\psi, \mathcal{P, Q})=\sum_{P\in{\mathcal P}}\sum_{Q\in{\mathcal Q}} \rho(P)\theta(Q)\psi(x(P+Q)) \] where \({\mathcal{P,Q}}\subset{\mathcal E}({\mathbb F}_q)\): if \(\sum_{P\in{\mathcal P}} \rho(P)|^2\leq R\) and \(\sum_{Q\in{\mathcal Q}}|\theta(Q)|^2\leq T\), then, uniformly in \(\psi\), \(|V_{\rho,\theta}(\psi,\mathcal{P,Q})|\ll\sqrt{qRT}\). The estimate is obtained by collecting the points \(P\) and \(Q\) with a given sum \(S=P+Q\), identifying this condition using the character sum over the group characters of \({\mathcal E}({\mathbb F}_q)\) and using the Cauchy inequality. The estimate is applied to a range of combinatorial problems on elliptic curves. For example, for the sum-product problem, if \({\mathcal U}=\{x(P)+x(Q): P\in{\mathcal P}, Q\in{\mathcal Q}\}\) and \({\mathcal V}=\{x(P+Q): P\in{\mathcal P}, Q\in{\mathcal Q}\}\), then \(\#{\mathcal U}\#{\mathcal V}\gg\min\{q\#{\mathcal P}, (\#{\mathcal P}\#{\mathcal Q})^2q^{-1}\}\), improving a result of the second author. Other applications improve results on the distribution of subset sums and pseudorandom numbers for some ranges of the parameters. A second group of applications involves estimates for sums of the type \(S_n(\psi; a,b)=\sum_{P\in{\mathcal E}({\mathbb F}_q)} \psi(ax(P)+bx(nP))\). It is shown that, for \(a\in{\mathbb F}_q^*\) and \(b\in{\mathbb F}_q\), \(S_n(\psi; a,b)\ll qd^{-1/2}\) where \(d=\gcd(n,\#{\mathcal E}({\mathbb F}_q))\), also improving a result of the second author.
0 references
exponential sums
0 references
finite fields
0 references
elliptic curves
0 references
0 references
0 references
0 references