Showing 1–34 of 34 results for author: Cilleruelo, J

Ratio sets of random sets

Authors: Javier Cilleruelo, Jorge Guijarro-Ordonez

Abstract: We study the typical behavior of the size of the ratio set $A/A$ for a random subset $A\subset \{1,\dots , n\}$. For example, we prove that $|A/A|\sim \frac{2\text{Li}_2(3/4)}{π^2}n^2 $ for almost all subsets $A \subset\{1,\dots ,n\}$. We also prove that the proportion of visible lattice points in the lattice $A_1\times\cdots \times A_d$, where $A_i$ is taken at random in $[1,n]$ with… ▽ More We study the typical behavior of the size of the ratio set $A/A$ for a random subset $A\subset \{1,\dots , n\}$. For example, we prove that $|A/A|\sim \frac{2\text{Li}_2(3/4)}{π^2}n^2 $ for almost all subsets $A \subset\{1,\dots ,n\}$. We also prove that the proportion of visible lattice points in the lattice $A_1\times\cdots \times A_d$, where $A_i$ is taken at random in $[1,n]$ with $\mathbb P(m\in A_i)=α_i$ for any $m\in [1,n]$, is asymptotic to a constant $μ(α_1,\dots,α_d)$ that involves the polylogarithm of order $d$. △ Less

Submitted 7 June, 2021; originally announced June 2021.

Journal ref: The Ramanujan Journal, 43(2), 2017

Sidon set systems

Authors: Javier Cilleruelo, Oriol Serra, Maximilian Wötzel

Abstract: A family ${\mathcal A}$ of $k$-subsets of $\{1,2,\dots, N\}$ is a Sidon system if the sumsets $A+B$, $A,B\in \mathcal{A}$ are pairwise distinct. We show that the largest cardinality $F_k(N)$ of a Sidon system of $k$-subsets of $[N]$ satisfies $F_k(N)\le {N-1\choose k-1}+N-k$ and the asymptotic lower bound $F_k(N)=Ω_k(N^{k-1})$. More precise bounds on $F_k(N)$ are obtained for $k\le 3$. We also obt… ▽ More A family ${\mathcal A}$ of $k$-subsets of $\{1,2,\dots, N\}$ is a Sidon system if the sumsets $A+B$, $A,B\in \mathcal{A}$ are pairwise distinct. We show that the largest cardinality $F_k(N)$ of a Sidon system of $k$-subsets of $[N]$ satisfies $F_k(N)\le {N-1\choose k-1}+N-k$ and the asymptotic lower bound $F_k(N)=Ω_k(N^{k-1})$. More precise bounds on $F_k(N)$ are obtained for $k\le 3$. We also obtain the threshold probability for a random system to be Sidon for $k\ge 2$. △ Less

Submitted 17 June, 2020; v1 submitted 28 February, 2018; originally announced February 2018.

Comments: Incorporated referee comments. Published in Rev. Mat. Iberoam

MSC Class: 11B13 (Primary) 05B10 (Secondary)

Every positive integer is a sum of three palindromes

Authors: Javier Cilleruelo, Florian Luca, Lewis Baxter

Abstract: For integer $g\ge 5$, we prove that any positive integer can be written as a sum of three palindromes in base $g$. For integer $g\ge 5$, we prove that any positive integer can be written as a sum of three palindromes in base $g$. △ Less

Submitted 17 June, 2017; v1 submitted 19 February, 2016; originally announced February 2016.

A greedy algorithm for $B_h[g]$ sequences

Authors: Javier Cilleruelo

Abstract: For any positive integers $h\ge 2$ and $g\ge 1$, we present a greedy algorithm that provides an infinite $B_h[g]$ sequence with $a_n\le 2gn^{h+(h-1)/g}.$ For any positive integers $h\ge 2$ and $g\ge 1$, we present a greedy algorithm that provides an infinite $B_h[g]$ sequence with $a_n\le 2gn^{h+(h-1)/g}.$ △ Less

Submitted 13 January, 2016; v1 submitted 5 January, 2016; originally announced January 2016.

Comments: 4 pages

Visible lattice points in random walks

Authors: Javier Cilleruelo, José L. Fernández, Pablo Fernández

Abstract: We consider the possible visits to visible points of a random walker moving up and right in the integer lattice (with probability $α$ and $1-α$, respectively) and starting from the origin. We show that, almost surely, the asymptotic proportion of strings of $k$ consecutive visible lattice points visited by such an $α$-random walk is a certain constant $c_k(α)$, which is actually an (explicitly c… ▽ More We consider the possible visits to visible points of a random walker moving up and right in the integer lattice (with probability $α$ and $1-α$, respectively) and starting from the origin. We show that, almost surely, the asymptotic proportion of strings of $k$ consecutive visible lattice points visited by such an $α$-random walk is a certain constant $c_k(α)$, which is actually an (explicitly calculable) polynomial in $α$ of degree $2\lfloor(k-1)/2\rfloor $. For $k=1$, this gives that, almost surely, the asymptotic proportion of time the random walker is visible from the origin is $c_1(α)=6/π^2$, independently of $α$. △ Less

Submitted 15 December, 2015; originally announced December 2015.

MSC Class: 11A05; 60G50

Visible lattice points and the chromatic zeta function of a graph

Authors: Javier Cilleruelo

Abstract: We study the probability that a cycle of length k in the lattice [1, n]^s does not contain more lattice points than the k vertices of the cycle. Then we generalize this problem to other configurations induced by a given graph H, introducting the chromatic zeta fuction of a graph. We study the probability that a cycle of length k in the lattice [1, n]^s does not contain more lattice points than the k vertices of the cycle. Then we generalize this problem to other configurations induced by a given graph H, introducting the chromatic zeta fuction of a graph. △ Less

Submitted 6 December, 2015; v1 submitted 24 July, 2015; originally announced July 2015.

On sets free of sumsets with summands of prescribed size

Authors: Javier Cilleruelo, Rafael Tesoro

Abstract: We study extremal problems about sets of integers that do not contain sumsets with summands of prescribed size. We analyse both finite sets and infinite sequences. We also study the connections of these problems with extremal problems of graphs and hypergraphs. We study extremal problems about sets of integers that do not contain sumsets with summands of prescribed size. We analyse both finite sets and infinite sequences. We also study the connections of these problems with extremal problems of graphs and hypergraphs. △ Less

Submitted 1 April, 2015; originally announced April 2015.

Comments: 33 pages

On the congruence $x^x\equiv λ\pmod p$

Authors: Javier Cilleruelo, Moubariz Z. Garaev

Abstract: In the present paper we obtain several new results related to the problem of upper bound estimates for the number of solutions of the congruence $$ x^{x}\equiv λ\pmod p;\quad x\in \mathbb{N},\quad x\le p-1, $$ where $p$ is a large prime number, $λ$ is an integer corpime to $p$. Our arguments are based on recent estimates of trigonometric sums over subgroups due to Shkredov and Shteinikov. In the present paper we obtain several new results related to the problem of upper bound estimates for the number of solutions of the congruence $$ x^{x}\equiv λ\pmod p;\quad x\in \mathbb{N},\quad x\le p-1, $$ where $p$ is a large prime number, $λ$ is an integer corpime to $p$. Our arguments are based on recent estimates of trigonometric sums over subgroups due to Shkredov and Shteinikov. △ Less

Submitted 9 March, 2015; originally announced March 2015.

Additive properties of sequences of pseudo s-th powers

Authors: Javier Cilleruelo, Jean-Marc Deshouillers, Victor Lambert, Alain Plagne

Abstract: In this paper, we study (random) sequences of pseudo s-th powers, as introduced by Erdös and Rényi in 1960. In 1975, Goguel proved that such a sequence is almost surely not an asymptotic basis of order s. Our first result asserts that it is however almost surely a basis of order s + x for any x > 0. We then study the s-fold sumset sA = A + ... + A (s times) and in particular the minimal size of an… ▽ More In this paper, we study (random) sequences of pseudo s-th powers, as introduced by Erdös and Rényi in 1960. In 1975, Goguel proved that such a sequence is almost surely not an asymptotic basis of order s. Our first result asserts that it is however almost surely a basis of order s + x for any x > 0. We then study the s-fold sumset sA = A + ... + A (s times) and in particular the minimal size of an additive complement, that is a set B such that sA + B contains all large enough integers. With respect to this problem, we prove quite precise theorems which are tantamount to asserting that a threshold phenomenon occurs. △ Less

Submitted 20 July, 2014; originally announced July 2014.

MSC Class: 11B83; 11B13

Elementary methods for incidence problems in finite fields

Authors: Javier Cilleruelo, Alex Iosevich, Ben Lund, Oliver Roche-Newton, Misha Rudnev

Abstract: We use elementary methods to prove an incidence theorem for points and spheres in $\mathbb{F}_q^n$. As an application, we show that any point set of $P\subset \mathbb{F}_q^2$ with $|P|\geq 5q$ determines a positive proportion of all circles. The latter result is an analogue of Beck's Theorem for circles which is optimal up to multiplicative constants. We use elementary methods to prove an incidence theorem for points and spheres in $\mathbb{F}_q^n$. As an application, we show that any point set of $P\subset \mathbb{F}_q^2$ with $|P|\geq 5q$ determines a positive proportion of all circles. The latter result is an analogue of Beck's Theorem for circles which is optimal up to multiplicative constants. △ Less

Submitted 17 August, 2014; v1 submitted 9 July, 2014; originally announced July 2014.

Comments: 9 pages. In this new version, Theorem 3 has been significantly improved, whilst the proof has been simplified. Also, Ben Lund has been added as an author

MSC Class: 52C10

A note on product sets of rationals

Authors: Javier Cilleruelo

Abstract: Bourgain, Konyagin and Shparlinski obtained a lower bound for the size of the product set AB when A and B are sets of positive rational numbers with numerator and denominator less or equal than Q. We extend and slightly improve that lower bound using a different approach. Bourgain, Konyagin and Shparlinski obtained a lower bound for the size of the product set AB when A and B are sets of positive rational numbers with numerator and denominator less or equal than Q. We extend and slightly improve that lower bound using a different approach. △ Less

Submitted 10 March, 2015; v1 submitted 6 May, 2014; originally announced May 2014.

Gaps in sumsets of $s$ pseudo s-th power sequences

Authors: Javier Cilleruelo, Jean-Marc Deshouillers

Abstract: We study the length of the gaps between consecutive members in the sumset sA when A is a pseudo s-th power sequence, with s>1. We show that, almost surely, limsup (b_{n+1}-b_{n})/log (b_n) = s^s s!/Γ^s(1/s), where b_n are the elements of sA. We study the length of the gaps between consecutive members in the sumset sA when A is a pseudo s-th power sequence, with s>1. We show that, almost surely, limsup (b_{n+1}-b_{n})/log (b_n) = s^s s!/Γ^s(1/s), where b_n are the elements of sA. △ Less

Submitted 6 May, 2014; v1 submitted 21 April, 2014; originally announced April 2014.

Comments: Corrected a mistake in Lemma 1

Congruences involving product of intervals and sets with small multiplicative doubling modulo a prime and applications

Authors: J. Cilleruelo, M. Z. Garaev

Abstract: In the present paper we obtain new upper bound estimates for the number of solutions of the congruence $$ x\equiv y r\pmod p;\quad x,y\in \mathbb{N},\quad x,y\le H,\quad r\in\cU, $$ for certain ranges of $H$ and $|\cU|$, where $\cU$ is a subset of the field of residue classes modulo $p$ having small multiplicative doubling. We then use this estimate to show that the number of solutions of the cong… ▽ More In the present paper we obtain new upper bound estimates for the number of solutions of the congruence $$ x\equiv y r\pmod p;\quad x,y\in \mathbb{N},\quad x,y\le H,\quad r\in\cU, $$ for certain ranges of $H$ and $|\cU|$, where $\cU$ is a subset of the field of residue classes modulo $p$ having small multiplicative doubling. We then use this estimate to show that the number of solutions of the congruence $$ x^n\equiv λ\pmod p; \quad x\in \N, \quad L<x<L+p/n, $$ is at most $p^{\frac{1}{3}-c}$ uniformly over positive integers $n, λ$ and $L$, for some absolute constant $c>0$. This implies, in particular, that if $f(x)\in \Z[x]$ is a fixed polynomial without multiple roots in $\C$, then the congruence $ x^{f(x)}\equiv 1\pmod p, \,x\in \mathbb{N}, \,x\le p,$ has at most $p^{\frac{1}{3}-c}$ solutions as $p\to\infty$, improving some recent results of Kurlberg, Luca and Shparlinski and of Balog, Broughan and Shparlinski. We use our results to show that almost all the residue classes modulo $p$ can be represented in the form $xg^y \pmod p$ with positive integers $x<p^{5/8+\varepsilon}$ and $y<p^{3/8}$. Here $g$ denotes a primitive root modulo $p$. We also prove that almost all the residue classes modulo $p$ can be represented in the form $xyzg^t \pmod p$ with positive integers $x,y,z,t<p^{1/4+\varepsilon}$. △ Less

Submitted 21 August, 2014; v1 submitted 20 April, 2014; originally announced April 2014.

Comments: 25 pages. In the revised version we give more applications of the main result

Journal ref: Math. Proc. Camb. Phil. Soc. 160 (2016) 477-494

Infinite graphs that do not contain cycles of length four

Authors: Javier Cilleruelo

Abstract: We construct a countable infinite graph G that does not contain cycles of length four having the property that the sequence of graphs $G_n$ induced by the first $n$ vertices has minimum degree $δ(G_n)> n^{\sqrt{2}-1+o(1)}$. We construct a countable infinite graph G that does not contain cycles of length four having the property that the sequence of graphs $G_n$ induced by the first $n$ vertices has minimum degree $δ(G_n)> n^{\sqrt{2}-1+o(1)}$. △ Less

Submitted 22 January, 2016; v1 submitted 17 January, 2014; originally announced January 2014.

Comments: This paper has been withdrawn because we have found an easier proof of the result

An extremal problem on Hilbert cubes and complete r-partite hypergraphs

Authors: Javier Cilleruelo

Abstract: We construct a set of positive integers A in {1,..., n} with |A|>> n^{2/3} that does not contain Hilbert cubes of dimension 3. As a consequence we prove that ex(n; K^(3)(2,2,2))>> n^{8/3} where K^(3)(2,2,2) is the simplest complete 3-partite hypergraph. This is the first case of an improvement on the trivial lower bound for ex(n; L) when L is a complete r-partite hypergraph. We construct a set of positive integers A in {1,..., n} with |A|>> n^{2/3} that does not contain Hilbert cubes of dimension 3. As a consequence we prove that ex(n; K^(3)(2,2,2))>> n^{8/3} where K^(3)(2,2,2) is the simplest complete 3-partite hypergraph. This is the first case of an improvement on the trivial lower bound for ex(n; L) when L is a complete r-partite hypergraph. △ Less

Submitted 26 November, 2013; v1 submitted 4 November, 2013; originally announced November 2013.

Comments: This paper has been witdrawn by the author because Z. Furedi has communicated us that the same result, although with a distinct constructions, was obtained by Katz, Nets Hawk; Krop, Elliot; Maggioni, Mauro "Remarks on the box problem". Math. Res. Lett. 9 (2002), no. 4, 515--519

k-fold Sidon sets

Authors: Javier Cilleruelo, Craig Timmons

Abstract: Let $k \geq 1$ be an integer. A set $A \subset \mathbb{Z}$ is a $k$-fold Sidon set if $A$ has only trivial solutions to each equation of the form $c_1 x_1 + c_2 x_2 + c_3 x_3 + c_4 x_4 = 0$ where $0 \leq |c_i | \leq k$, and $c_1 + c_2 + c_3 + c_4 = 0$. We prove that for any integer $k \geq 1$, a $k$-fold Sidon set $A \subset [N]$ has at most $(N/k)^{1/2} + O((Nk)^{1/4})$ elements. Indeed we prove… ▽ More Let $k \geq 1$ be an integer. A set $A \subset \mathbb{Z}$ is a $k$-fold Sidon set if $A$ has only trivial solutions to each equation of the form $c_1 x_1 + c_2 x_2 + c_3 x_3 + c_4 x_4 = 0$ where $0 \leq |c_i | \leq k$, and $c_1 + c_2 + c_3 + c_4 = 0$. We prove that for any integer $k \geq 1$, a $k$-fold Sidon set $A \subset [N]$ has at most $(N/k)^{1/2} + O((Nk)^{1/4})$ elements. Indeed we prove that given any $k$ positive integers $c_1<\cdots <c_k$, any set $A\subset [N]$ that contains only trivial solutions to $c_i(x_1-x_2)=c_j(x_3-x_4)$ for each $1 \le i \le j \le k$, has at most $(N/k)^{1/2}+O((c_k^2N/k)^{1/4})$ elements. On the other hand, for any $k \geq 2$ we can exhibit $k$ positive integers $c_1,\dots, c_k$ and a set $A\subset [N]$ with $|A|\ge (\frac 1k+o(1))N^{1/2}$, such that $A$ has only trivial solutions to $c_i(x_1 - x_2) = c_j (x_3 - x_4)$ for each $1 \le i \le j\le k$. △ Less

Submitted 17 December, 2013; v1 submitted 20 October, 2013; originally announced October 2013.

Comments: 8 pages

Sets of integers that do not contain Hilbert cubes of dimension 3

Authors: Javier Cilleruelo

Abstract: We construct a set of positive integers A in {1,.., n} with |A|>> n^{2/3} that does not contain Hilbert cubes of dimension 3. We construct a set of positive integers A in {1,.., n} with |A|>> n^{2/3} that does not contain Hilbert cubes of dimension 3. △ Less

Submitted 4 November, 2013; v1 submitted 6 October, 2013; originally announced October 2013.

Comments: This paper as been withdrawn by the author becuase it is contained in a later paper of the author entitled "An extremal problem on Hilbert cubes and complete r-partite hypergraphs

On lattices, distinct distances, and the Elekes-Sharir framework

Authors: Javier Cilleruelo, Micha Sharir, Adam Sheffer

Abstract: In this note we consider distinct distances determined by points in an integer lattice. We first consider Erdos's lower bound for the square lattice, recast in the setup of the so-called Elekes-Sharir framework \cite{ES11,GK11}, and show that, without a major change, this framework \emph{cannot} lead to Erdos's conjectured lower bound. This shows that the upper bound of Guth and Katz \cite{GK11} f… ▽ More In this note we consider distinct distances determined by points in an integer lattice. We first consider Erdos's lower bound for the square lattice, recast in the setup of the so-called Elekes-Sharir framework \cite{ES11,GK11}, and show that, without a major change, this framework \emph{cannot} lead to Erdos's conjectured lower bound. This shows that the upper bound of Guth and Katz \cite{GK11} for the related 3-dimensional line-intersection problem is tight for this instance. The gap between this bound and the actual bound of Erdos arises from an application of the Cauchy-Schwarz inequality (which is an integral part of the Elekes-Sharir framework). Our analysis relies on two number-theoretic results by Ramanujan. We also consider distinct distances in rectangular lattices of the form $\{(i,j) \mid 0\le i\le n^{1-α},\ 0\le j\le n^α\}$, for some $0<α<1/2$, and show that the number of distinct distances in such a lattice is $Θ(n)$. In a sense, our proof "bypasses" a deep conjecture in number theory, posed by Cilleruelo and Granville \cite{CG07}. A positive resolution of this conjecture would also have implied our bound. △ Less

Submitted 28 June, 2013; v1 submitted 2 June, 2013; originally announced June 2013.

Carmichael numbers in the sequence (k2^n+1)_{n\ge 1}

Authors: Javer Cilleruelo, Florian Luca, Amalia Pizarro

Abstract: We prove that for each odd number k, the sequence (k2^n+1)_{n\ge 1} contains only a finite number of Carmichael numbers. We also prove that k=27 is the smallest value for which such a sequence contains some Carmichael number. We prove that for each odd number k, the sequence (k2^n+1)_{n\ge 1} contains only a finite number of Carmichael numbers. We also prove that k=27 is the smallest value for which such a sequence contains some Carmichael number. △ Less

Submitted 15 May, 2013; originally announced May 2013.

Comments: 25 pages

Sidon Basis

Authors: Javier Cilleruelo

Abstract: Erdös conjectured the existence of an infinite Sidon sequence of positive integers which is also an asymptotic basis of order 3. We make progress towards this conjecture in several directions. First we prove the conjecture for all cyclic groups Z_N with N large enough. In second place we prove by probabilistic methods that there is an infinite B_2[2] sequence which is an asymptotic basis of order… ▽ More Erdös conjectured the existence of an infinite Sidon sequence of positive integers which is also an asymptotic basis of order 3. We make progress towards this conjecture in several directions. First we prove the conjecture for all cyclic groups Z_N with N large enough. In second place we prove by probabilistic methods that there is an infinite B_2[2] sequence which is an asymptotic basis of order 3. Finally we prove that for all c>0 there is a Sidon sequence which is an asymptotic basis of order 3+c,that is to say, any positive sufficiently large integer n can be written as a sum of 4 elements of the sequence, one of them smaller than n^c. △ Less

Submitted 24 April, 2013; v1 submitted 19 April, 2013; originally announced April 2013.

Comments: Added references and a note in the introduction. Corrected typos

Infinite Sidon sequences

Authors: Javier Cilleruelo

Abstract: We present a new method to obtain infinite Sidon sequences, based on the discrete logarithm. We construct an infinite Sidon sequence A, with A(x)= x^{\sqrt 2-1+o(1)}. Ruzsa proved the existence of a Sidon sequence with similar counting function but his proof was not constructive. Our method generalizes to B_h sequences: For all h\ge 3, there is a B_h sequence A such that A(x)=x^{\sqrt{(h-1)^2+1}… ▽ More We present a new method to obtain infinite Sidon sequences, based on the discrete logarithm. We construct an infinite Sidon sequence A, with A(x)= x^{\sqrt 2-1+o(1)}. Ruzsa proved the existence of a Sidon sequence with similar counting function but his proof was not constructive. Our method generalizes to B_h sequences: For all h\ge 3, there is a B_h sequence A such that A(x)=x^{\sqrt{(h-1)^2+1}-(h-1)+o(1)}. △ Less

Submitted 15 May, 2013; v1 submitted 3 September, 2012; originally announced September 2012.

Comments: Corrected typos and revised arguments, results unchanged

Dense infinite $B_h$ sequences

Authors: Javier Cilleruelo, Rafael Tesoro

Abstract: For $h=3$ and $h=4$ we prove the existence of infinite $B_h$ sequences $\B$ with counting function $$\mathcal{B}(x)= x^{\sqrt{(h-1)^2+1}-(h-1) + o(1)}.$$ This result extends a construction of I. Ruzsa for $B_2$ sequences. For $h=3$ and $h=4$ we prove the existence of infinite $B_h$ sequences $\B$ with counting function $$\mathcal{B}(x)= x^{\sqrt{(h-1)^2+1}-(h-1) + o(1)}.$$ This result extends a construction of I. Ruzsa for $B_2$ sequences. △ Less

Submitted 11 July, 2012; v1 submitted 14 June, 2012; originally announced June 2012.

Comments: We have organized the contents in a different way and we have extended the theorem to B_4 sequences

The least common multiple of random sets of positive integers

Authors: Javier Cilleruelo, Juanjo Rué, Paulius Šarka, Ana Zumalacárregui

Abstract: We study the typical behavior of the least common multiple of the elements of a random subset $A\subset \{1,\dots, n\}$. For example we prove that $\text{lcm}\{a:\ a\in A\}=2^{n(1+o(1))}$ for almost all subsets $A\subset\{1,\dots,n\}$. We study the typical behavior of the least common multiple of the elements of a random subset $A\subset \{1,\dots, n\}$. For example we prove that $\text{lcm}\{a:\ a\in A\}=2^{n(1+o(1))}$ for almost all subsets $A\subset\{1,\dots,n\}$. △ Less

Submitted 13 December, 2013; v1 submitted 13 December, 2011; originally announced December 2011.

Comments: 11 pages. The manuscript has been rearranged. New results were included and some of the proofs improved

Points on curves in small boxes en applications

Authors: Mei-Chu Chang, Javier Cilleruelo, Moubariz Z. Garaev, José Hernández, Igor E. Shparlinski, Ana Zumalacárregui

Abstract: 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… ▽ More 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$. △ Less

Submitted 27 March, 2012; v1 submitted 7 November, 2011; originally announced November 2011.

Comments: 33 pages. Revised version, Theorem 2 was improved

Concentration points on two and three dimensional modular hyperbolas and applications

Authors: J. Cilleruelo, M. Z. Garaev

Abstract: Let $p$ be a large prime number, $K,L,M,λ$ be integers with $1\le M\le p$ and ${\color{red}\gcd}(λ,p)=1.$ The aim of our paper is to obtain sharp upper bound estimates for the number $I_2(M; K,L)$ of solutions of the congruence $$ xy\equivλ\pmod p, \qquad K+1\le x\le K+M,\quad L+1\le y\le L+M $$ and for the number $I_3(M;L)$ of solutions of the congruence… ▽ More Let $p$ be a large prime number, $K,L,M,λ$ be integers with $1\le M\le p$ and ${\color{red}\gcd}(λ,p)=1.$ The aim of our paper is to obtain sharp upper bound estimates for the number $I_2(M; K,L)$ of solutions of the congruence $$ xy\equivλ\pmod p, \qquad K+1\le x\le K+M,\quad L+1\le y\le L+M $$ and for the number $I_3(M;L)$ of solutions of the congruence $$xyz\equivλ\pmod p, \quad L+1\le x,y,z\le L+M. $$ We obtain a bound for $I_2(M;K,L),$ which improves several recent results of Chan and Shparlinski. For instance, we prove that if $M<p^{1/4},$ then $I_2(M;K,L)\le M^{o(1)}.$ For $I_3(M;L)$ we prove that if $M<p^{1/8}$ then $I_3(M;L)\le M^{o(1)}.$ Our results have applications to some other problems as well. For instance, it follows that if $\mathcal{I}_1, \mathcal{I}_2, \mathcal{I}_3$ are intervals in $\F^*_p$ of length $|\mathcal{I}_i|< p^{1/8},$ then $$ |\mathcal{I}_1\cdot \mathcal{I}_2\cdot \mathcal{I}_3|= (|\mathcal{I}_1|\cdot |\mathcal{I}_2|\cdot |\mathcal{I}_3|)^{1-o(1)}. $$ △ Less

Submitted 12 October, 2010; v1 submitted 9 July, 2010; originally announced July 2010.

Comments: 12 pages

MSC Class: 11A07; 11B75

Combinatorial problems in finite fields and Sidon sets

Authors: Javier Cilleruelo

Abstract: We use Sidon sets to present an elementary method to study some combinatorial problems in finite fields, such as sum product estimates, solubility of some equations and distribution of sequences in small intervals. We obtain classic and more recent results avoiding the use of exponential sums, the usual tool to deal with these problems. We use Sidon sets to present an elementary method to study some combinatorial problems in finite fields, such as sum product estimates, solubility of some equations and distribution of sequences in small intervals. We obtain classic and more recent results avoiding the use of exponential sums, the usual tool to deal with these problems. △ Less

Submitted 18 February, 2011; v1 submitted 18 March, 2010; originally announced March 2010.

Comments: 13 pages

MSC Class: 11B30

The least common multiple of a quadratic sequence

Authors: Javier Cilleruelo

Abstract: For any irreducible quadratic polynomial f(x) in Z[x] we obtain the estimate log l.c.m.(f(1),...,f(n))= n log n + Bn + o(n) where B is a constant depending on f. For any irreducible quadratic polynomial f(x) in Z[x] we obtain the estimate log l.c.m.(f(1),...,f(n))= n log n + Bn + o(n) where B is a constant depending on f. △ Less

Submitted 19 January, 2010; originally announced January 2010.

Comments: 26 pages

MSC Class: 11N37

Journal ref: Compositio Math. 147 (2011) 1129-1150

Generalization of a theorem of Erdos and Renyi on Sidon Sequences

Authors: Javier Cilleruelo, Sandor Z. Kiss, Imre Z. Ruzsa, Carlos Vinuesa

Abstract: Erd\H os and Rényi claimed and Vu proved that for all $h \ge 2$ and for all $ε> 0$, there exists $g = g_h(ε)$ and a sequence of integers $A$ such that the number of ordered representations of any number as a sum of $h$ elements of $A$ is bounded by $g$, and such that $|A \cap [1,x]| \gg x^{1/h - ε}$. We give two new proofs of this result. The first one consists of an explicit construction of s… ▽ More Erd\H os and Rényi claimed and Vu proved that for all $h \ge 2$ and for all $ε> 0$, there exists $g = g_h(ε)$ and a sequence of integers $A$ such that the number of ordered representations of any number as a sum of $h$ elements of $A$ is bounded by $g$, and such that $|A \cap [1,x]| \gg x^{1/h - ε}$. We give two new proofs of this result. The first one consists of an explicit construction of such a sequence. The second one is probabilistic and shows the existence of such a $g$ that satisfies $g_h(ε) \ll ε^{-1}$, improving the bound $g_h(ε) \ll ε^{-h+1}$ obtained by Vu. Finally we use the "alteration method" to get a better bound for $g_3(ε)$, obtaining a more precise estimate for the growth of $B_3[g]$ sequences. △ Less

Submitted 15 November, 2009; originally announced November 2009.

Comments: 12 pages, no figures

MSC Class: 11B50; 11B34

On a question of Sárközy on gaps of product sequences

Authors: Javier Cilleruelo, Thai Hoang Le

Abstract: Motivated by a question of Sárközy, we study the gaps in the product sequence $\B=\A ... \A=\{b_n=a_ia_j, a_i,a_j\in \A\}$ when $\A$ has upper Banach density $α>0$. We prove that there are infinitely many gaps $b_{n+1}-b_n\ll α^{-3}$ and that for $t\ge2$ there are infinitely many $t$-gaps $b_{n+t}-b_{n}\ll t^2α^{-4}$. Furthermore we prove that these estimates are best possible. We also discuss… ▽ More Motivated by a question of Sárközy, we study the gaps in the product sequence $\B=\A ... \A=\{b_n=a_ia_j, a_i,a_j\in \A\}$ when $\A$ has upper Banach density $α>0$. We prove that there are infinitely many gaps $b_{n+1}-b_n\ll α^{-3}$ and that for $t\ge2$ there are infinitely many $t$-gaps $b_{n+t}-b_{n}\ll t^2α^{-4}$. Furthermore we prove that these estimates are best possible. We also discuss a related question about the cardinality of the quotient set $\A/\A=\{a_i/a_j, a_i,a_j\in \A\}$ when $\A\subset\{1,..., N\}$ and $|\A|=αN$. △ Less

Submitted 9 October, 2009; originally announced October 2009.

Comments: to appear in Israel Journal of Mathematics

Generalized Sidon sets

Authors: Javier Cilleruelo, Imre Z. Ruzsa, Carlos Vinuesa

Abstract: We give asymptotic sharp estimates for the cardinality of a set of residue classes with the property that the representation function is bounded by a prescribed number. We then use this to obtain an analogous result for sets of integers, answering an old question of Simon Sidon. We give asymptotic sharp estimates for the cardinality of a set of residue classes with the property that the representation function is bounded by a prescribed number. We then use this to obtain an analogous result for sets of integers, answering an old question of Simon Sidon. △ Less

Submitted 28 September, 2009; originally announced September 2009.

Comments: 21 pages, no figures

MSC Class: 11B50; 11B75; 11B13; 11P70

The number of rational numbers determined by large sets of integers

Authors: Javier Cilleruelo, D. S. Ramana, Olivier Ramare

Abstract: When $A$ and $B$ are subsets of the integers in $[1,X]$ and $[1,Y]$ respectively, with $|A| \geq αX$ and $|B| \geq βX$, we show that the number of rational numbers expressible as $a/b$ with $(a,b)$ in $A \times B$ is $\gg (αβ)^{1+ε}XY$ for any $ε> 0$, where the implied constant depends on $ε$ alone. We then construct examples that show that this bound cannot in general be improved to $\gg αβXY$.… ▽ More When $A$ and $B$ are subsets of the integers in $[1,X]$ and $[1,Y]$ respectively, with $|A| \geq αX$ and $|B| \geq βX$, we show that the number of rational numbers expressible as $a/b$ with $(a,b)$ in $A \times B$ is $\gg (αβ)^{1+ε}XY$ for any $ε> 0$, where the implied constant depends on $ε$ alone. We then construct examples that show that this bound cannot in general be improved to $\gg αβXY$. We also resolve the natural generalisation of our problem to arbitrary subsets $C$ of the integer points in $[1,X] \times [1,Y]$. Finally, we apply our results to answer a question of Sárközy concerning the differences of consecutive terms of the product sequence of a given integer sequence. △ Less

Submitted 16 March, 2009; originally announced March 2009.

Comments: 11 pages

MSC Class: 11B05

Dense sets of integers with prescribed representation functions

Authors: Javier Cilleruelo, Melvyn B. Nathanson

Abstract: Let A be a set of integers and let h \geq 2. For every integer n, let r_{A, h}(n) denote the number of representations of n in the form n=a_1+...+a_h, where a_1,...,a_h belong to the set A, and a_1\leq ... \leq a_h. The function r_{A,h} from the integers Z to the nonnegative integers N_0 U {\infty} is called the representation function of order h for the set A. We prove that every function f fro… ▽ More Let A be a set of integers and let h \geq 2. For every integer n, let r_{A, h}(n) denote the number of representations of n in the form n=a_1+...+a_h, where a_1,...,a_h belong to the set A, and a_1\leq ... \leq a_h. The function r_{A,h} from the integers Z to the nonnegative integers N_0 U {\infty} is called the representation function of order h for the set A. We prove that every function f from Z to N_0 U {\infty} satisfying liminf_{|n|->\infty} f (n)\geq g is the representation function of order h for some sequence A of integers, and that A can be constructed so that it increases "almost" as slowly as any given B_h[g] sequence. In particular, for every epsilon >0 and g \geq g(h,epsilon), we can construct a sequence A satisfying r_{A,h}=f and A(x)\gg x^{(1/h)-epsilon}. △ Less

Submitted 21 August, 2007; originally announced August 2007.

Comments: 10 pages

MSC Class: 11B13; 11B34; 11B05; 11A07; 11A41

Journal ref: European Journal of Combinatorics 34 (2013), 1297--1306

Perfect difference sets constructed from Sidon sets

Authors: Javier Cilleruelo, Melvyn B. Nathanson

Abstract: A set A of positive integers is called a perfect difference set if every nonzero integer has an unique representation as the difference of two elements of A. We construct dense perfect difference sets from dense Sidon sets. As a consequence of this new approach, we prove that there exists a perfect difference set A such that A(x) >> x^{\sqrt{2}-1-o(1)}. We also prove that there exists a perfect… ▽ More A set A of positive integers is called a perfect difference set if every nonzero integer has an unique representation as the difference of two elements of A. We construct dense perfect difference sets from dense Sidon sets. As a consequence of this new approach, we prove that there exists a perfect difference set A such that A(x) >> x^{\sqrt{2}-1-o(1)}. We also prove that there exists a perfect difference set A such that limsup_{x\to \infty}A(x)/\sqrt x\geq 1/\sqrt 2. △ Less

Submitted 8 September, 2006; originally announced September 2006.

Comments: 11 pages, LaTex

MSC Class: 11B13; 11B34; 11B05; 11A07; 11A41

Journal ref: Combinatorica 28 (2008), 401--414

Lattice points on circles, squares in arithmetic progressions and sumsets of squares

Authors: Javier Cilleruelo, Andrew Granville

Abstract: Rudin conjectured that there are never more than c N^(1/2) squares in an arithmetic progression of length N. Motivated by this surprisingly difficult problem we formulate more than twenty conjectures in harmonic analysis, analytic number theory, arithmetic geometry, discrete geometry and additive combinatorics (some old and some new) which each, if true, would shed light on Rudin's conjecture. Rudin conjectured that there are never more than c N^(1/2) squares in an arithmetic progression of length N. Motivated by this surprisingly difficult problem we formulate more than twenty conjectures in harmonic analysis, analytic number theory, arithmetic geometry, discrete geometry and additive combinatorics (some old and some new) which each, if true, would shed light on Rudin's conjecture. △ Less

Submitted 3 August, 2006; originally announced August 2006.

Comments: 21 pages, preliminary version. Comments welcome

MSC Class: 11N64