BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Igor E. Shparlinski

Igor E. Shparlinski appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.COCryptography and Securitymath.AGmath.DSComputational ComplexityDiscrete MathematicsData Structures and Algorithmsmath.CAInformation Theorymath.ITquant-ph

Catalog footprint

What is connected

87works
12topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

87 published item(s)

preprint2026arXiv

Shifted bilinear sums of Salié sums and the distribution of modular square roots of shifted primes

We establish various upper bounds on Type-I and Type-II shifted bilinear sums with Salié sums modulo a large prime $q$. We use these bounds to study, for fixed integers $a,b\not \equiv 0 \bmod q$, the distribution ofsolutions to the congruence $x^2 \equiv ap+b \bmod q$, over primes $p\le P$. This is similar to the recently studied case of $b = 0$, however the case $b\not \equiv 0 \bmod q$ exhibits some new difficulties.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Multiplicative Properties of Hilbert Cubes

We obtain upper bounds on the cardinality of Hilbert cubes in finite fields, which avoid large product sets and reciprocals of sum sets. In particular, our results replace recent estimates of N. Hegyvári and P. P. Pach (2020), which appear to be void for all admissible parameters. Our approach is different from that of N. Hegyvári and P. P. Pach and is based on some well-known bounds of double character and exponential sums over arbitrary sets, due to A. A. Karatsuba (1991) and N. G. Moshchevitin (2007), respectively.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On sparsity of representations of polynomials as linear combinations of exponential functions

Given an integer $g$ and also some given integers $m$ (sufficiently large) and $c_1,\dots, c_m$, we show that the number of all non-negative integers $n\le M$ with the property that there exist non-negative integers $k_1,\dots, k_m$ such that $$n^2=\sum_{i=1}^m c_i g^{k_i}$$ is $o\left(\left(\log M \right)^{m-1/2}\right)$. We also obtain a similar bound when dealing with more general inequalities $$\left|Q(n)-\sum_{i=1}^m c_iλ^{k_i}\right|\le B,$$ where $Q\in {\mathbb C}[X]$ and also $λ\in {\mathbb C}$ (while $B$ is a real number).

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Bilinear forms in Weyl sums for modular square roots and applications

Let $q$ be a prime, $P \geq 1$ and let $N_q(P)$ denote the number of rational primes $p \leq P$ that split in the imaginary quadratic field $\mathbb{Q}(\sqrt{-q})$. The first part of this paper establishes various unconditional and conditional (under existence of a Siegel zero) lower bounds for $N_q(P)$ in the range $q^{1/4+\varepsilon} \leq P \leq q$, for any fixed $\varepsilon>0$. This improves upon what is implied by work of Pollack and Benli-Pollack. The second part of this paper is dedicated to proving an estimate for a bilinear form involving Weyl sums for modular square roots (equivalently Salié sums). Our estimate has a power saving in the so-called P{ó}lya-Vinogradov range, and our methods involve studying an additive energy coming from quadratic residues in $\mathbb{F}_q$. This bilinear form is inspired by the recent automorphic motivation: the second moment for twisted $L$-functions attached to Kohnen newforms has recently been computed by the first and fourth authors. So the third part of this paper links the above two directions together and outlines the arithmetic applications of this bilinear form. These include the equidistribution of quadratic roots of primes, products of primes, and relaxations of a conjecture of Erdos-Odlyzko-Sarkozy.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Effective bounds on multiplicatively dependent orbits of integer polynomials modulo S-integers

We obtain effective bounds on the heights of algebraic integers whose orbits contain multiplicatively dependent values modulo S-integers. Our method is based on a new upper bound on the so-called S-height of polynomial values over the ring of integers of $\mathbb{K}$. Our results provide an effective variant of a recent result of A.Bérczes, A.Ostafe, I.E.Shparlinski and J.H.Silverman (arXiv:1811.04971) on multiplicative dependence modulo a finitely generated subgroup by eliminating the use of non-effective results by K.F.Roth and G.Faltings.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Hybrid bounds on two-parametric family Weyl sums along smooth curves

We obtain a new bound on Weyl sums with degree $k\ge 2$ polynomials of the form $(τx+c) ω(n)+xn$, $n=1, 2, \ldots$, with fixed $ω(T) \in \mathbb{Z}[T]$ and $τ\in \mathbb{R}$, which holds for almost all $c\in [0,1)$ and all $x\in [0,1)$. We improve and generalise some recent results of M.~B.~Erdogan and G.~Shakan (2019), whose work also shows links between this question and some classical partial differential equations. We extend this to more general settings of families of polynomials $xn+y ω(n)$ for all $(x,y)\in [0,1)^2$ with $f(x,y)=z$ for a set of $z \in [0,1)$ of full Lebesgue measure, provided that $f$ is some Hölder function.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

New estimates for exponential sums over multiplicative subgroups and intervals in prime fields

Let ${\mathcal H}$ be a multiplicative subgroup of $\mathbb{F}_p^*$ of order $H>p^{1/4}$. We show that $$ \max_{(a,p)=1}\left|\sum_{x\in {\mathcal H}} {\mathbf{\,e}}_p(ax)\right| \le H^{1-31/2880+o(1)}, $$ where ${\mathbf{\,e}}_p(z) = \exp(2 πi z/p)$, which improves a result of Bourgain and Garaev (2009). We also obtain new estimates for double exponential sums with product $nx$ with $x \in {\mathcal H}$ and $n \in {\mathcal N}$ for a short interval ${\mathcal N}$ of consecutive integers.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On elements of large order of elliptic curves and multiplicative dependent images of rational functions over finite fields

Let $E_1$ and $E_2$ be elliptic curves in Legendre form with integer parameters. We show there exists a constant $C$ such that for almost all primes, for all but at most $C$ pairs of points on the reduction of $E_1 \times E_2$ modulo $p$ having equal $x$ coordinate, at least one among $P_1$ and $P_2$ has a large group order. We also show similar abundance over finite fields of elements whose images under the reduction modulo $p$ of a finite set of rational functions have large multiplicative orders

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On Large Values of Weyl Sums

A special case of the Menshov--Rademacher theorem implies for almost all polynomials $x_1Z+\ldots +x_d Z^{d} \in {\mathbb R}[Z]$ of degree $d$ for the Weyl sums satisfy the upper bound $$ \left| \sum_{n=1}^{N}\exp\left(2πi \left(x_1 n+\ldots +x_d n^{d}\right)\right) \right| \leqslant N^{1/2+o(1)}, \qquad N\to \infty. $$ Here we investigate the exceptional sets of coefficients $(x_1, \ldots, x_d)$ with large values of Weyl sums for infinitely many $N$, and show that in terms of the Baire categories and Hausdorff dimension they are quite massive, in particular of positive Hausdorff dimension in any fixed cube inside of $[0,1]^d$. We also use a different technique to give similar results for sums with just one monomial $xn^d$. We apply these results to show that the set of poorly distributed modulo one polynomials is rather massive as well.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Polynomial Equations in Subgroups and Applications

We obtain a new bound for the number of solutions to polynomial equations in cosets of multiplicative subgroups in finite fields, which generalises previous results of P. Corvaja and U. Zannier (2013). We also obtain a conditional improvement of recent results of J. Bourgain, A. Gamburd and P. Sarnak (2016) and S. V. Konyagin, S. V. Makarychev, I. E. Shparlinski and I. V. Vyugin (2019) on the structure of solutions to the reduction of the Markoff equation $x^2 + y^2 + z^2 = 3 x yz$ modulo a prime $p$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Restricted mean value theorems and metric theory of restricted Weyl sums

We study an apparently new question about the behaviour of Weyl sums on a subset $\mathcal{X}\subseteq [0,1)^d$ with a natural measure $μ$ on $\mathcal{X}$. For certain measure spaces $(\mathcal{X}, μ)$ we obtain non-trivial bounds for the mean values of the Weyl sums, and for $μ$-almost all points of $\mathcal{X}$ the Weyl sums satisfy the square root cancellation law. Moreover we characterise the size of the exceptional sets in terms of Hausdorff dimension. Finally, we derive variants of the Vinogradov mean value theorem averaging over measure spaces $(\mathcal{X}, μ)$. We obtain general results, which we refine for some special spaces $\mathcal{X}$ such as spheres, moment curves and line segments.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

On smooth square-free numbers in arithmetic progressions

A. Booker and C. Pomerance (2017) have shown that any residue class modulo a prime $p\ge 11$ can be represented by a positive $p$-smooth square-free integer $s = p^{O(\log p)}$ with all prime factors up to $p$ and conjectured that in fact one can find such $s$ with $s = p^{O(1)}$. Using bounds on double Kloosterman sums due to M. Z. Garaev (2010) we prove this conjecture in a stronger form $s \le p^{3/2 + o(1)}$ and also consider more general versions of this question replacing $p$-smoothness of $s$ by the stronger condition of $p^α$-smoothness. Using bounds on multiplicative character sums and a sieve method, we also show that we can represent all residue classes by a positive square-free integer $s\le p^{2+o(1)}$ which is $p^{1/(4e^{ /2})+o(1)}$-smooth. Additionally, we obtain stronger results for almost all primes $p$.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Value sets of sparse polynomials

We obtain a new lower bound on the size of value set f(F_p) of a sparse polynomial f in F_p[X] over a finite field of p elements when p is prime. This bound is uniform with respect of the degree and depends on some natural arithmetic properties of the degrees of the monomial terms of f and the number of these terms. Our result is stronger than those which canted be extracted from the bounds on multiplicities of individual values in f(F_p).

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Arithmetic Properties of Integers in Chains and Reflections of $g$-ary Expansions

Recently, there has been a sharp rise of interest in properties of digits primes. Here we study yet another question of this kind. Namely, we fix an integer base $g \ge 2$ and then for every infinite sequence $${\mathcal D} = \{d_i\}_{i=0}^\infty \in \{0, \ldots, g-1\}^\infty $$ of $g$-ary digits we consider the counting function $\varpi_{{\mathcal D},g}(N)$ of integers $n \le N$ for which $\sum_{i=0}^{n-1} d_i g^i$ is prime. We construct sequences ${\mathcal D}$ for which $\varpi_{{\mathcal D},g}(N)$ grows fast enough, and show that for some constant $\vartheta_g< g$ there are at most $O(\vartheta_g^N)$ initial elements $(d_0, \ldots, d_{N-1})$ of ${\mathcal D}$ for which $\varpi_{{\mathcal D},g}(N)=N+O(1)$. We also discuss joint arithmetic properties of integers and mirror reflections of their $g$-ary expansions.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Bilinear Forms with Kloosterman and Gauss Sums

We obtain several estimates for bilinear form with Kloosterman sums. Such results can be interpreted as a measure of cancellations amongst with parameters from short intervals. In particular, for certain ranges of parameters we improve some recent results of Blomer, Fouvry, Kowalski, Michel and Milićević and also of Fouvry, Kowalski and Michel. In particular, we improve the bound on the error term in the asymptotic formula for mixed moments of $L$-series associated with Hecke eigenforms.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Cancellations between Kloosterman sums modulo a prime power with prime arguments

We obtain a nontrivial bound for cancellations between the Kloosterman sums modulo a large prime power with a prime argument running over very short interval, which in turn is based on a new estimate on bilinear sums of Kloosterman sums. These results are analogues of those obtained by various authors for Kloosterman sums modulo a prime. However the underlying technique is different and allows us to obtain nontrivial results starting from much shorter ranges.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Divisor problem in arithmetic progressions modulo a prime power

We obtain an asymptotic formula for the average value of the divisor function over the integers $n \le x$ in an arithmetic progression $n \equiv a \pmod q$, where $q=p^k$ for a prime $p\ge 3$ and a sufficiently large integer $k$. In particular, we break the classical barrier $q \le x^{2/3}$ for such formulas, and generalise a recent result of R.~Khan (2015), making it uniform in $k$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On the number of distinct quadratic fields generated by the Shanks sequence

Let $g>1$ be an integer and $f(X)\in{\mathbb Z}[X]$ a polynomial of positive degree with no multiple roots, and put $u(n)=f(g^n)$. In this note, we study the sequence of quadratic fields ${\mathbb Q}(\sqrt{u(n)}\,)$ as $n$ varies over the consecutive integers $M+1,\ldots,M+N$. Fields of this type include Shanks fields and their generalizations. Using the square sieve together with new bounds on character sums, we improve an upper bound of Luca and Shparlinski (2009) on the number of $n \in \{M+1,\ldots,M+N\}$ with ${\mathbb Q}(\sqrt{u(n)}\,) = {\mathbb Q}(\sqrt{s}\,)$ for a given squarefree integer $s$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Optimal quantum algorithm for polynomial interpolation

We consider the number of quantum queries required to determine the coefficients of a degree-d polynomial over GF(q). A lower bound shown independently by Kane and Kutin and by Meyer and Pommersheim shows that d/2+1/2 quantum queries are needed to solve this problem with bounded error, whereas an algorithm of Boneh and Zhandry shows that d quantum queries are sufficient. We show that the lower bound is achievable: d/2+1/2 quantum queries suffice to determine the polynomial with bounded error. Furthermore, we show that d/2+1 queries suffice to achieve probability approaching 1 for large q. These upper bounds improve results of Boneh and Zhandry on the insecurity of cryptographic protocols against quantum attacks. We also show that our algorithm's success probability as a function of the number of queries is precisely optimal. Furthermore, the algorithm can be implemented with gate complexity poly(log q) with negligible decrease in the success probability. We end with a conjecture about the quantum query complexity of multivariate polynomial interpolation.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Power Series Approximations to Fekete Polynomials

We study how well Fekete polynomials $$ F_p(X) = \sum_{n=0}^{p-1} \left(\frac{n}{p}\right) X^n \in {\mathbb Z}[X] $$ with the coefficients given by Legendre symbols modulo a prime $p$, can be approximated by power series representing algebraic functions of a given degree. We also obtain some explicit results describing polynomial recurrence relations which are satisfied by the coefficients of such algebraic functions.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Squares in Piatetski--Shapiro Sequences

We study the distribution of squares in a Piatetski-Shapiro sequence $\left(\lfloor n^c\rfloor\right)_{n\in\mathbb N}$ with $c>1$ and $c\not\in\mathbb N$. We also study more general equations $\lfloor{n^c}\rfloor = sm^2$, $n,m\in \mathbb N$, $1\le n \le N$ for an integer $s$ and obtain several bounds on the number of solutions for a fixed $s$ and on average over $s$ in an interval. These results are based on various techniques chosen depending on the range of the parameters.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Counting Co-Cyclic Lattices

There is a well-known asymptotic formula, due to W. M. Schmidt (1968) for the number of full-rank integer lattices of index at most $V$ in $\mathbb{Z}^n$. This set of lattices $L$ can naturally be partitioned with respect to the factor group $\mathbb{Z}^n/L$. Accordingly, we count the number of full-rank integer lattices $L \subseteq \mathbb{Z}^n$ such that $\mathbb{Z}^n/L$ is cyclic and of order at most $V$, and deduce that these co-cyclic lattices are dominant among all integer lattices: their natural density is $\left(ζ(6) \prod_{k=4}^n ζ(k)\right)^{-1} \approx 85\%$. The problem is motivated by complexity theory, namely worst-case to average-case reductions for lattice problems.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Fractional parts of Dedekind sums

Using a recent improvement by Bettin and Chandee to a bound of Duke, Friedlander and Iwaniec~(1997) on double exponential sums with Kloosterman fractions, we establish a uniformity of distribution result for the fractional parts of Dedekind sums $s(m,n)$ with $m$ and $n$ running over rather general sets. Our result extends earlier work of Myerson (1988) and Vardi (1987). Using different techniques, we also study the least denominator of the collection of Dedekind sums $\bigl\{s(m,n):m\in(\mathbb Z/n \mathbb Z)^*\bigr\}$ on average for $n\in[1,N]$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Functional Graphs of Polynomials over Finite Fields

Given a function $f$ in a finite field ${\mathbb F}_q$ of $q$ elements, we define the functional graph of $f$ as a directed graph on $q$ nodes labelled by the elements of ${\mathbb F}_q$ where there is an edge from $u$ to $v$ if and only if $f(u) = v$. We obtain some theoretic estimates on the number of non-isomorphic graphs generated by all polynomials of a given degree. We then develop a simple and practical algorithm to test the isomorphism of quadratic polynomials that has linear memory and time complexities. Furthermore, we extend this isomorphism testing algorithm to the general case of functional graphs, and prove that, while its time complexity increases only slightly, its memory complexity remains linear. We exploit this algorithm to provide an upper bound on the number of functional graphs corresponding to polynomials of degree $d$ over ${\mathbb F}_q$. Finally, we present some numerical results and compare function graphs of quadratic polynomials with those generated by random maps and pose interesting new problems.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Lang-Trotter and Sato-Tate Distributions in Single and Double Parametric Families of Elliptic Curves

We obtain new results concerning Lang-Trotter conjecture on Frobenius traces and Frobenius fields over single and double parametric families of elliptic curves. We also obtain similar results with respect to the Sato-Tate conjecture. In particular, we improve a result of A.C. Cojocaru and the second author (2008) towards the Lang-Trotter conjecture on average for polynomially parameterized families of elliptic curves when the parameter runs through a set of rational numbers of bounded height. Some of the families we consider are much thinner than the ones previously studied.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Linear Equations with Rational Fractions of Bounded Height and Stochastic Matrices

We obtain a tight, up to a logarithmic factor, upper bound on the number of solutions to the equation $$ \sum_{j=1}^n a_j \frac{s_j}{r_j} =a_0, \qquad $$ with variables $r_1,...,r_n$ in an arbitrary box at the origin and variables $s_1,..., s_n$ in an essentially arbitrary translation of this box. We apply this result to get an upper bound on the number of stochastic matrices with rational entries of bounded height.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On Bilinear Exponential and Character Sums with Reciprocals of Polynomials

We give nontrivial bounds for the bilinear sums $$ \sum_{u = 1}^{U} \sum_{v=1}^V α_u β_v \mathbf{\,e}_p(u/f(v)) $$ where $\mathbf{\,e}_p(z)$ is a nontrivial additive character of the prime finite field ${\mathbb F}_p$ of $p$ elements, with integers $U$, $V$, a polynomial $f\in {\mathbb F}_p[X] $ and some complex weights $\{α_u\}$, $\{β_v\}$. In particular, for $f(X)=aX+b$ we obtain new bounds of bilinear sums with Kloosterman fractions. We also obtain new bounds for similar sums with multiplicative characters of ${\mathbb F}_p$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Products of Small Integers in Residue Classes and Additive Properties of Fermat Quotients

We show that for any $\varepsilon > 0$ and a sufficiently large cube-free $q$, any reduced residue class modulo $q$ can be represented as a product of $14$ integers from the interval $[1, q^{1/4e^{1/2} + \varepsilon}]$. The length of the interval is at the lower limit of what is possible before the Burgess bound on the smallest quadratic nonresidue is improved. We also consider several variations of this result and give applications to Fermat quotients.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Some arithmetic properties of numbers of the form $\lfloor p^c\rfloor$

Let $${\mathbb P}^c=(\lfloor p^c\rfloor)_{p\in{\mathbb P}} \qquad (c>1,\ c\not\in {\mathbb N}), $$ where ${\mathbb P}$ is the set of prime numbers, and $\lfloor\cdot\rfloor$ is the floor function. We show that for every such $c$ there are infinitely many members of ${\mathbb P}^c$ having at most $R(c)$ prime factors, giving explicit estimates for $R(c)$ when $c$ is near one and also when $c$ is large.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Circulant graphs and GCD and LCM of Subsets

Given two sets $A$ and $B$ of integers, we consider the problem of finding a set $S \subseteq A$ of the smallest possible cardinality such the greatest common divisor of the elements of $S \cup B$ equals that of those of $A \cup B$. The particular cases of $B = \emptyset$ and $\#B = 1$ are of special interest and have some links with graph theory. We also consider the corresponding question for the least common multiple of the elements. We establish NP-completeness and approximation results for these problems by relating them to the Minimum Cover Problem.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Counting Additive Decompositions of Quadratic Residues in Finite Fields

We say that a set $S$ is additively decomposed into two sets $A$ and $B$ if $S = \{a+b : a\in A, \ b \in B\}$. A. Sárközy has recently conjectured that the set $Q$ of quadratic residues modulo a prime $p$ does not have nontrivial decompositions. Although various partial results towards this conjecture have been obtained, it is still open. Here we obtain a nontrivial upper bound on the number of such decompositions.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Double Character Sums over Subgroups and Intervals

We estimate double sums $$ S_χ(a, I, G) = \sum_{x \in I} \sum_{λ\in G} χ(x + aλ), \qquad 1\le a < p-1, $$ with a multiplicative character $χ$ modulo $p$ where $I= \{1,\ldots, H\}$ and $G$ is a subgroup of order $T$ of the multiplicative group of the finite field of $p$ elements. A nontrivial upper bound on $S_χ(a, I, G)$ can be derived from the Burgess bound if $H \ge p^{1/4+\varepsilon}$ and from some standard elementary arguments if $T \ge p^{1/2+\varepsilon}$, where $\varepsilon>0$ is arbitrary. We obtain a nontrivial estimate in a wider range of parameters $H$ and $T$. We also estimate double sums $$ T_χ(a, G) = \sum_{λ, μ\in G} χ(a + λ+ μ), \qquad 1\le a < p-1, $$ and give an application to primitive roots modulo $p$ with $3$ non-zero binary digits.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Finding elliptic curves with a subgroup of prescribed size

Assuming the Generalized Riemann Hypothesis, we design a deterministic algorithm that, given a prime p and positive integer m=o(sqrt(p)/(log p)^4), outputs an elliptic curve E over the finite field F_p for which the cardinality of E(F_p) is divisible by m. The running time of the algorithm is mp^(1/2+o(1)), and this leads to more efficient constructions of rational functions over F_p whose image is small relative to p. We also give an unconditional version of the algorithm that works for almost all primes p, and give a probabilistic algorithm with subexponential time complexity.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the Density of Integer Points on Generalised Markoff-Hurwitz and Dwork Hypersurfaces

We use bounds of mixed character sums modulo a square-free integer $q$ of a special structure to estimate the density of integer points on the hypersurface $$ f_1(x_1) + \ldots + f_n(x_n) =a x_1^{k_1} \ldots x_n^{k_n} $$ for some polynomials $f_i \in {\mathbb Z}[X]$ and nonzero integers $a$ and $k_i$, $i=1, \ldots, n$. In the case of $$ f_1(X) = \ldots = f_n(X) = X^2\quad \text{and} \quad k_1 = \ldots = k_n =1 $$ the above hypersurface is known as the Markoff-Hurwitz hypersurface, while for $$ f_1(X) = \ldots = f_n(X) = X^n\quad \text{and} \quad k_1 = \ldots = k_n =1 $$ it is known as the Dwork hypersurface. Our results are substantially stronger than those known for general hypersurfaces.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the Density of Integer Points on the Generalised Markoff-Hurwitz and Dwork Hypersurfaces

We use bounds of mixed character sums modulo a prime $p$ to estimate the density of integer points on the hypersurface $$ f_1(x_1) + \ldots + f_n(x_n) =a x_1^{k_1} \ldots x_n^{k_n} $$ for some polynomials $f_i \in {\mathbb Z}[X]$, nonzero integer $a$ and positive integers $k_i$ $i=1, \ldots, n$. In the case of $$ f_1(X) = \ldots = f_n(X) = X^2 \quad \text{and}\quad k_1 = \ldots = k_n =1 $$ the above congruence is known as the Markoff-Hurwitz hypersurface, while for $$ f_1(X) = \ldots = f_n(X) = X^n\quad \text{and}\quad k_1 = \ldots = k_n =1 $$ it is known as the Dwork hypersurface. Our result is substantially stronger than those known for general hypersurfaces.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the singularity of the Demjanenko matrix of quotients of Fermat curves

Given a prime $\ell\geq 3$ and a positive integer $k \le \ell-2$, one can define a matrix $D_{k,\ell}$, the so-called Demjanenko matrix, whose rank is equal to the dimension of the Hodge group of the Jacobian ${\mathrm Jac}({\mathcal C}_{k,\ell})$ of a certain quotient of the Fermat curve of exponent $\ell$. For a fixed $\ell$, the existence of $k$ for which $D_{k,\ell}$ is singular (equivalently, for which the rank of the Hodge group of ${\mathrm Jac}({\mathcal C}_{k,\ell})$ is not maximal) has been extensively studied in the literature. We provide an asymptotic formula for the number of such $k$ when $\ell$ tends to infinity.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the Typical Size and Cancelations Among the Coefficients of Some Modular Forms

We obtain a nontrivial upper bound for almost all elements of the sequences of real numbers which are multiplicative and at the prime indices are distributed according to the Sato--Tate density. Examples of such sequences come from coefficients of several $L$-functions of elliptic curves and modular forms. In particular, we show that $|τ(n)|\le n^{11/2} (\log n)^{-1/2+o(1)}$ for a set of $n$ of asymptotic density 1, where $τ(n)$ is the Ramanujan $τ$ function while the standard argument yields $\log 2$ instead of $-1/2$ in the power of the logarithm. Another consequence of our result is that in the number of representations of $n$ by a binary quadratic form one has slightly more than square-root cancellations for almost all integers $n$. In addition we obtain a central limit theorem for such sequences, assuming a weak hypothesis on the rate of convergence to the Sato--Tate law. For Fourier coefficients of primitive holomorphic cusp forms such a hypothesis is known conditionally assuming the automorphy of all symmetric powers of the form and seems to be within reach unconditionally using the currently established potential automorphy.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Covering sets for limited-magnitude errors

For a set $\cM=\{-μ,-μ+1,\ldots, λ\}\setminus\{0\}$ with non-negative integers $λ,μ<q$ not both 0, a subset $\cS$ of the residue class ring $\Z_q$ modulo an integer $q\ge 1$ is called a $(λ,μ;q)$-\emph{covering set} if $$ \cM \cS=\{ms \bmod q : m\in \cM,\ s\in \cS\}=\Z_q. $$ Small covering sets play an important role in codes correcting limited-magnitude errors. We give an explicit construction of a $(λ,μ;q)$-covering set $\cS$ which is of the size $q^{1 + o(1)}\max\{λ,μ\}^{-1/2}$ for almost all integers $q\ge 1$ and of optimal size $p\max\{λ,μ\}^{-1}$ if $q=p$ is prime. Furthermore, using a bound on the fourth moment of character sums of Cochrane and Shi we prove the bound $$ω_{λ,μ}(q)\le q^{1+o(1)}\max\{λ,μ\}^{-1/2},$$ for any integer $q\ge 1$, however the proof of this bound is not constructive.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On Gauss sums and the evaluation of Stechkin's constant

For the Gauss sums which are defined by S_n(a,q) := \sum_{x (mod q)} e(ax^n/q), Stechkin (1975) conjectured that the quantity A := \sup_{n,q\ge 2} \max_{\gcd(a,q)=1} |S_n(a,q)|/q^(1-1/n) is finite. Shparlinski (1991) proved that A is finite, but in the absence of effective bounds on the sums S_n(a,q) the precise determination of A has remained intractable for many years. Using recent work of Cochrane and Pinner (2011) on Gauss sums with prime moduli, in this paper we show that with the constant given by A = |S_6(4787,4606056)|/4606056^(5/6) = 4.709236... one has the sharp inequality |S_n(a,q)| \le Aq^(1-1/n) for all n,q \ge 2 and all integers a with gcd(a,q)=1. One interesting aspect of our method is that we apply effective lower bounds for the center density in the sphere packing problem due to Cohn and Elkies (2003) to optimize the running time of our primary computational algorithm.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Quadratic Non-residues in Short Intervals

We use the Burgess bound and combinatorial sieve to obtain an upper bound on the number of primes $p$ in a dyadic interval $[Q,2Q]$ for which a given interval $[u+1,u+ψ(Q)]$ does not contain a quadratic non-residue modulo $p$. The bound is nontrivial for any function $ψ(Q)\to\infty$ as $Q\to\infty$. This is an analogue of the well known estimates on the smallest quadratic non-residue modulo $p$ on average over primes $p$, which corresponds to the choice $u=0$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Multiplicative Congruences with Variables from Short Intervals

Recently, several bounds have been obtained on the number of solutions to congruences of the type $$ (x_1+s)...(x_ν+s)\equiv (y_1+s)...(y_ν+s)\not\equiv0 \pmod p $$ modulo a prime $p$ with variables from some short intervals. Here, for almost all $p$ and all $s$ and also for a fixed $p$ and almost all $s$, we derive stronger bounds. We also use similar ideas to show that for almost all primes, one can always find an element of a large order in any rather short interval.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On digit patterns in expansions of rational numbers with prime denominator

We show that, for any fixed $\varepsilon > 0$ and almost all primes $p$, the $g$-ary expansion of any fraction $m/p$ with $\gcd(m,p) = 1$ contains almost all $g$-ary strings of length $k < (5/24 - \varepsilon) \log_g p$. This complements a result of J. Bourgain, S. V. Konyagin, and I. E. Shparlinski that asserts that, for almost all primes, all $g$-ary strings of length $k < (41/504 -\varepsilon) \log_g p$ occur in the $g$-ary expansion of $m/p$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On Gaps Between Primitive Roots in the Hamming Metric

We consider a modification of the classical number theoretic question about the gaps between consecutive primitive roots modulo a prime $p$, which by the well-known result of Burgess are known to be at most $p^{1/4+o(1)}$. Here we measure the distance in the Hamming metric and show that if $p$ is a sufficiently large $r$-bit prime, then for any integer $n \in [1,p]$ one can obtain a primitive root modulo $p$ by changing at most $0.11002786...r$ binary digits of $n$. This is stronger than what can be deduced from the Burgess result. Experimentally, the number of necessary bit changes is very small. We also show that each Hilbert cube contained in the complement of the primitive roots modulo $p$ has dimension at most $O(p^{1/5+ε})$, improving on previous results of this kind.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the Distribution of Values and Zeros of Polynomial Systems over Arbitrary Sets

Let $G_1,..., G_n \in \Fp[X_1,...,X_m]$ be $n$ polynomials in $m$ variables over the finite field $\Fp$ of $p$ elements. A result of {É}. Fouvry and N. M. Katz shows that under some natural condition, for any fixed $\varepsilon$ and sufficiently large prime $p$ the vectors of fractional parts $$ (\{\frac{G_1(\vec{x})}{p}},...,\{\frac{G_n(\vec{x})}{p}}), \qquad \vec{x} \in Γ, $$ are uniformly distributed in the unit cube $[0,1]^n$ for any cube $Γ\in [0, p-1]^m$ with the side length $h \ge p^{1/2} (\log p)^{1 + \varepsilon}$. Here we use this result to show the above vectors remain uniformly distributed, when $\vec{x}$ runs through a rather general set. We also obtain new results about the distribution of solutions to system of polynomial congruences.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the Lang-Trotter and Sato-Tate Conjectures on Average for Polynomial Families of Elliptic Curves

We show that the reductions modulo primes $p\le x$ of the elliptic curve $$ Y^2 = X^3 + f(a)X + g(b), $$ behave as predicted by the Lang-Trotter and Sato-Tate conjectures, on average over integers $a \in [-A,A]$ and $b \in [-B,B]$ for $A$ and $B$ reasonably small compared to $x$, provided that $f(T), g(T) \in \Z[T]$ are not powers of another polynomial over $\Q$. For $f(T) = g(T) = T$ first results of this kind are due to E. Fouvry and M. R. Murty and have been further extended by other authors. Our technique is different from that of E. Fouvry and M. R. Murty which does not seem to work in the case of general polynomials $f$ and $g$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Piatetski-Shapiro sequences

We consider various arithmetic questions for the Piatetski-Shapiro sequences $\fl{n^c}$ ($n=1,2,3,...$) with $c>1$, $c\not\in\N$. We exhibit a positive function $θ(c)$ with the property that the largest prime factor of $\fl{n^c}$ exceeds $n^{θ(c)-\eps}$ infinitely often. For $c\in(1,\tfrac{149}{87})$ we show that the counting function of natural numbers $n\le x$ for which $\fl{n^c}$ is squarefree satisfies the expected asymptotic formula. For $c\in(1,\tfrac{147}{145})$ we show that there are infinitely many Carmichael numbers composed entirely of primes of the form $p=\fl{n^c}$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Points on curves in small boxes en applications

We introduce several new methods to obtain upper bounds on the number of solutions of the congruences $f(x) \equiv y \pmod p$ and $f(x) \equiv y^2 \pmod p,$ with a prime $p$ and a polynomial $f$, where $(x,y)$ belongs to an arbitrary square with side length $M$. We use these results and methods to derive non-trivial upper bounds for the number of hyperelliptic curves $Y^2=X^{2g+1} + a_{2g-1}X^{2g-1} +...+ a_1X+a_0$ over the finite field $\F_p$ of $p$ elements, with coefficients in a $2g$-dimensional cube $ (a_0,..., a_{2g-1})\in [R_0+1,R_0+M]\times...\times [R_{2g-1}+1,R_{2g-1}+M]$ that are isomorphic to a given curve and give an almost sharp lower bound on the number of non-isomorphic hyperelliptic curves with coefficients in that cube. Furthermore, we study the size of the smallest box that contain a partial trajectory of a polynomial dynamical system over $\F_p$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Distribution of Elements of Cosets of Small Subgroups and Applications

We obtain a series of estimates on the number of small integers and small order Farey fractions which belong to a given coset of a subgroup of order $t$ of the group of units of the residue ring modulo a prime $p$, in the case when $t$ is small compared to $p$. We give two applications of these results: to the simultaneous distribution of two high degree monomials $x^{k_1}$ and $x^{k_2}$ modulo $p$ and to a question of J. Holden and P. Moree on fixed points of the discrete logarithm.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Fermat quotients: Exponential sums, value set and primitive roots

For a prime $p$ and an integer $u$ with $\gcd(u,p)=1$, we define Fermat quotients by the conditions $$ q_p(u) \equiv \frac{u^{p-1} -1}{p} \pmod p, \qquad 0 \le q_p(u) \le p-1. $$ D. R. Heath-Brown has given a bound of exponential sums with $N$ consecutive Fermat quotients that is nontrivial for $N\ge p^{1/2+ε}$ for any fixed $ε>0$. We use a recent idea of M. Z. Garaev together with a form of the large sieve inequality due to S. Baier and L. Zhao, to show that on average over $p$ one can obtain a nontrivial estimate for much shorter sums starting with $N\ge p^ε$. We also obtain lower bounds on the image size of the first $N$ consecutive Fermat quotients and use it to prove that there is a positive integer $n\le p^{3/4 + o(1)}$ such that $q_p(n)$ is a primitive root modulo $p$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the Distribution of Atkin and Elkies Primes

Given an elliptic curve E over a finite field F_q of q elements, we say that an odd prime ell not dividing q is an Elkies prime for E if t_E^2 - 4q is a square modulo ell, where t_E = q+1 - #E(F_q) and #E(F_q) is the number of F_q-rational points on E; otherwise ell is called an Atkin prime. We show that there are asymptotically the same number of Atkin and Elkies primes ell < L on average over all curves E over F_q, provided that L >= (log q)^e for any fixed e > 0 and a sufficiently large q. We use this result to design and analyse a fast algorithm to generate random elliptic curves with #E(F_p) prime, where p varies uniformly over primes in a given interval [x,2x].

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the Distribution of the Subset Sum Pseudorandom Number Generator on Elliptic Curves

Given a prime $p$, an elliptic curve $\E/\F_p$ over the finite field $\F_p$ of $p$ elements and a binary \lrs\ $\(u(n)\)_{n =1}^\infty$ of order~$r$, we study the distribution of the sequence of points $$ \sum_{j=0}^{r-1} u(n+j)P_j, \qquad n =1,..., N, $$ on average over all possible choices of $\F_p$-rational points $P_1,..., P_r$ on~$\E$. For a sufficiently large $N$ we improve and generalise a previous result in this direction due to E.~El~Mahassni.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the Hidden Shifted Power Problem

We consider the problem of recovering a hidden element $s$ of a finite field $\F_q$ of $q$ elements from queries to an oracle that for a given $x\in \F_q$ returns $(x+s)^e$ for a given divisor $e\mid q-1$. We use some techniques from additive combinatorics and analytic number theory that lead to more efficient algorithms than the naive interpolation algorithm, for example, they use substantially fewer queries to the oracle.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On vanishing Fermat quotients and a bound of the Ihara sum

We improve an estimate of A.Granville (1987) on the number of vanishing Fermat quotients $q_p(\ell)$ modulo a prime $p$ when $\ell$ runs through primes $\ell \le N$. We use this bound to obtain an unconditional improvement of the conditional (under the Generalised Riemann Hypothesis) estimate of Y. Ihara (2006) on a certain sum, related to vanishing Fermat quotients. In turn this sum appears in the study of the index of certain subfields of of cyclotomic fields $\Q(\exp(2 πi/p^2))$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On group structures realized by elliptic curves over a fixed finite field

We obtain explicit formulas for the number of non-isomorphic elliptic curves with a given group structure (considered as an abstract abelian group). Moreover, we give explicit formulas for the number of distinct group structures of all elliptic curves over a finite field. We use these formulas to derive some asymptotic estimates and tight upper and lower bounds for various counting functions related to classification of elliptic curves accordingly to their group structure. Finally, we present results of some numerical tests which exhibit several interesting phenomena in the distribution of group structures. We pose getting an explanation to these as an open problem.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On group structures realized by elliptic curves over arbitrary finite fields

We study the collection of group structures that can be realized as a group of rational points on an elliptic curve over a finite field (such groups are well known to be of rank at most two). We also study various subsets of this collection which correspond to curves over prime fields or to curves with a prescribed torsion. Some of our results are rigorous and are based on recent advances in analytic number theory, some are conditional under certain widely believed conjectures, and others are purely heuristic in nature.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On Pseudopoints of Algebraic Curves

Following Kraitchik and Lehmer, we say that a positive integer $n\equiv1\pmod 8$ is an $x$-pseudosquare if it is a quadratic residue for each odd prime $p\le x$, yet is not a square. We extend this defintion to algebraic curves and say that $n$ is an $x$-pseudopoint of a curve $f(u,v) = 0$ (where $f \in \Z[U,V]$) if for all sufficiently large primes $p \le x$ the congruence $f(n,m)\equiv 0 \pmod p$ is satisfied for some $m$. We use the Bombieri bound of exponential sums along a curve to estimate the smallest $x$-pseudopoint, which shows the limitations of the modular approach to searching for points on curves.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the Convex Hull of the Points on Modular Hyperbolas

Given integers $a$ and $m\ge 2$, let $\Hm$ be the following set of integral points $$ \Hm= \{(x,y) \ : \ xy \equiv a \pmod m,\ 1\le x,y \le m-1\} $$ We improve several previously known upper bounds on $v_a(m)$, the number of vertices of the convex closure of $\Hm$, and show that uniformly over all $a$ with $\gcd(a,m)=1$ we have $v_a(m) \le m^{1/2 + o(1)}$ and furthermore, we have $v_a(m) \le m^{5/12 + o(1)}$ for $m$ which are almost squarefree.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the Distribution of the Number of Points on Algebraic Curves in Extensions of Finite Fields

Let $\cC$ be a smooth absolutely irreducible curve of genus $g \ge 1$ defined over $\F_q$, the finite field of $q$ elements. Let $# \cC(\F_{q^n})$ be the number of $\F_{q^n}$-rational points on $\cC$. Under a certain multiplicative independence condition on the roots of the zeta-function of $\cC$, we derive an asymptotic formula for the number of $n =1, ..., N$ such that $(# \cC(\F_{q^n}) - q^n -1)/2gq^{n/2}$ belongs to a given interval $\cI \subseteq [-1,1]$. This can be considered as an analogue of the Sato-Tate distribution which covers the case when the curve $\E$ is defined over $\Q$ and considered modulo consecutive primes $p$, although in our scenario the distribution function is different. The above multiplicative independence condition has, recently, been considered by E. Kowalski in statistical settings. It is trivially satisfied for ordinary elliptic curves and we also establish it for a natural family of curves of genus $g=2$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the Restricted Divisor Function in Arithmetic Progressions

We obtain several asymptotic estimates for the sums of the restricted divisor function $$ τ_{M,N}(k) = #\{1 \le m \le M, \ 1\le n \le N: mn = k\} $$ over short arithmetic progressions, which improve some results of J. Truelsen. Such estimates are motivated by the links with the pair correlation problem for fractional parts of the quadratic function $αk^2$, $k=1,2,...$ with a real $α$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Pseudorandom Bits From Points on Elliptic Curves

Let $\E$ be an elliptic curve over a finite field $\F_{q}$ of $q$ elements, with $\gcd(q,6)=1$, given by an affine Weierstraß equation. We also use $x(P)$ to denote the $x$-component of a point $P = (x(P),y(P))\in \E$. We estimate character sums of the form $$ \sum_{n=1}^N χ\(x(nP)x(nQ)\) \quad \text{and}\quad \sum_{n_1, \ldots, n_k=1}^N ψ\(\sum_{j=1}^k c_j x\(\(\prod_{i =1}^j n_i\) R\)\) $$ on average over all $\F_q$ rational points $P$, $Q$ and $R$ on $\E$, where $χ$ is a quadratic character, $ψ$ is a nontrivial additive character in $\F_q$ and $(c_1, \ldots, c_k)\in \F_q^k$ is a non-zero vector. These bounds confirm several recent conjectures of D. Jao, D. Jetchev and R. Venkatesan, related to extracting random bits from various sequences of points on elliptic curves.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Pseudorandom Numbers and Hash Functions from Iterations of Multivariate Polynomials

Dynamical systems generated by iterations of multivariate polynomials with slow degree growth have proved to admit good estimates of exponential sums along their orbits which in turn lead to rather stronger bounds on the discrepancy for pseudorandom vectors generated by these iterations. Here we add new arguments to our original approach and also extend some of our recent constructions and results to more general orbits of polynomial iterations which may involve distinct polynomials as well. Using this construction we design a new class of hash functions from iterations of polynomials and use our estimates to motivate their "mixing" properties.

0 citations0 reviewsNo code linkedOpen access