-
Reversible primes
Authors:
Cécile Dartyge,
Bruno Martin,
Joël Rivat,
Igor E. Shparlinski,
Cathy Swaenepoel
Abstract:
For an $n$-bit positive integer $a$ written in binary as $$ a = \sum_{j=0}^{n-1} \varepsilon_{j}(a) \,2^j $$ where, $\varepsilon_j(a) \in \{0,1\}$, $j\in\{0, \ldots, n-1\}$, $\varepsilon_{n-1}(a)=1$, let us define $$ \overleftarrow{a} = \sum_{j=0}^{n-1} \varepsilon_j(a)\,2^{n-1-j}, $$ the digital reversal of $a$. Also let $\mathcal{B}_n = \{2^{n-1}\leq a<2^n:~a \text{ odd}\}.$ With a sieve argumen…
▽ More
For an $n$-bit positive integer $a$ written in binary as $$ a = \sum_{j=0}^{n-1} \varepsilon_{j}(a) \,2^j $$ where, $\varepsilon_j(a) \in \{0,1\}$, $j\in\{0, \ldots, n-1\}$, $\varepsilon_{n-1}(a)=1$, let us define $$ \overleftarrow{a} = \sum_{j=0}^{n-1} \varepsilon_j(a)\,2^{n-1-j}, $$ the digital reversal of $a$. Also let $\mathcal{B}_n = \{2^{n-1}\leq a<2^n:~a \text{ odd}\}.$ With a sieve argument, we obtain an upper bound of the expected order of magnitude for the number of $p \in \mathcal{B}_n$ such that $p$ and $\overleftarrow{p}$ are prime. We also prove that for sufficiently large $n$, $$ \left|\{a \in \mathcal{B}_n:~ \max \{Ω(a), Ω(\overleftarrow{a})\}\le 8 \}\right| \ge c\, \frac{2^n}{n^2}, $$ where $Ω(n)$ denotes the number of prime factors counted with multiplicity of $n$ and $c > 0$ is an absolute constant. Finally, we provide an asymptotic formula for the number of $n$-bit integers $a$ such that $a$ and $\overleftarrow{a}$ are both squarefree. Our method leads us to provide various estimates for the exponential sum $$ \sum_{a \in \mathcal{B}_n} \exp\left(2πi (αa + \vartheta \overleftarrow{a})\right) \quad(α,\vartheta \in\mathbb{R}). $$
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Sums of proper divisors with missing digits
Authors:
Kübra Benli,
Giulia Cesana,
Cécile Dartyge,
Charlotte Dombrowsky,
Lola Thompson
Abstract:
Let $s(n)$ denote the sum of proper divisors of an integer $n$. In 1992, Erdős, Granville, Pomerance, and Spiro (EGPS) conjectured that if $\mathcal{A}$ is a set of integers with asymptotic density zero then $s^{-1}(\mathcal{A})$ also has asymptotic density zero. In this paper we show that the EGPS conjecture holds when $\mathcal{A}$ is taken to be a set of integers with missing digits. In particu…
▽ More
Let $s(n)$ denote the sum of proper divisors of an integer $n$. In 1992, Erdős, Granville, Pomerance, and Spiro (EGPS) conjectured that if $\mathcal{A}$ is a set of integers with asymptotic density zero then $s^{-1}(\mathcal{A})$ also has asymptotic density zero. In this paper we show that the EGPS conjecture holds when $\mathcal{A}$ is taken to be a set of integers with missing digits. In particular, we give a sharp upper bound for the size of this preimage set. We also provide an overview of progress towards the EGPS conjecture and survey recent work on sets of integers with missing digits.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
On the largest prime factor of quartic polynomial values: the cyclic and dihedral cases
Authors:
Cécile Dartyge,
James Maynard
Abstract:
Let $P(X)\in\mathbb{Z}[X]$ be an irreducible, monic, quartic polynomial with cyclic or dihedral Galois group. We prove that there exists a constant $c_P>0$ such that for a positive proportion of integers $n$, $P(n)$ has a prime factor $\ge n^{1+c_P}$.
Let $P(X)\in\mathbb{Z}[X]$ be an irreducible, monic, quartic polynomial with cyclic or dihedral Galois group. We prove that there exists a constant $c_P>0$ such that for a positive proportion of integers $n$, $P(n)$ has a prime factor $\ge n^{1+c_P}$.
△ Less
Submitted 6 December, 2022;
originally announced December 2022.
-
On the distribution of the Rudin-Shapiro function for finite fields
Authors:
Cécile Dartyge,
László Mérai,
Arne Winterhof
Abstract:
Let $q=p^r$ be the power of a prime $p$ and $(β_1,\ldots ,β_r)$ be an ordered basis of $\mathbb{F}_q$ over $\mathbb{F}_p$. For $$ ξ=\sum\limits_{j=1}^r x_jβ_j\in \mathbb{F}_q \quad \mbox{with digits }x_j\in\mathbb{F}_p, $$ we define the Rudin-Shapiro function $R$ on $\mathbb{F}_q$ by $$ R(ξ)=\sum\limits_{i=1}^{r-1} x_ix_{i+1}, \quad ξ\in \mathbb{F}_q. $$ For a non-constant polynomial…
▽ More
Let $q=p^r$ be the power of a prime $p$ and $(β_1,\ldots ,β_r)$ be an ordered basis of $\mathbb{F}_q$ over $\mathbb{F}_p$. For $$ ξ=\sum\limits_{j=1}^r x_jβ_j\in \mathbb{F}_q \quad \mbox{with digits }x_j\in\mathbb{F}_p, $$ we define the Rudin-Shapiro function $R$ on $\mathbb{F}_q$ by $$ R(ξ)=\sum\limits_{i=1}^{r-1} x_ix_{i+1}, \quad ξ\in \mathbb{F}_q. $$ For a non-constant polynomial $f(X)\in \mathbb{F}_q[X]$ and $c\in \mathbb{F}_p$ we study the number of solutions $ξ\in \mathbb{F}_q$ of $R(f(ξ))=c$. If the degree $d$ of $f(X)$ is fixed, $r\ge 6$ and $p\rightarrow \infty$, the number of solutions is asymptotically $p^{r-1}$ for any $c$. The proof is based on the Hooley-Katz Theorem.
△ Less
Submitted 21 January, 2021; v1 submitted 4 June, 2020;
originally announced June 2020.
-
Entiers ultrafriables en progressions arithmétiques
Authors:
Cécile Dartyge,
David Feutrie,
Gérald Tenenbaum
Abstract:
A natural integer is called $y$-ultrafriable if none of the prime powers occurring in its canonical decomposition exceed $y$. We investigate the distribution of $y$-ultrafriable integers not exceeding $x$ among arithmetic progressions to the modulus $q$. Given a sufficiently small, positive constant $\varepsilon$, we obtain uniform estimates valid for $q\leqslant y^{c/\log_2y}$ whenever…
▽ More
A natural integer is called $y$-ultrafriable if none of the prime powers occurring in its canonical decomposition exceed $y$. We investigate the distribution of $y$-ultrafriable integers not exceeding $x$ among arithmetic progressions to the modulus $q$. Given a sufficiently small, positive constant $\varepsilon$, we obtain uniform estimates valid for $q\leqslant y^{c/\log_2y}$ whenever $\log y\leqslant (\log x)^\varepsilon$, and for $q\leqslant \sqrt{y}$ if $(\log x)^{2+\varepsilon}\leqslant y\leqslant x$.
△ Less
Submitted 13 January, 2020;
originally announced January 2020.
-
Exponential sums with reducible polynomials
Authors:
Cécile Dartyge,
Greg Martin
Abstract:
Hooley proved that if $f\in \Bbb Z [X]$ is irreducible of degree $\ge 2$, then the fractions $\{ r/n\}$, $0<r<n$ with $f(r)\equiv 0\pmod n$, are uniformly distributed in $(0,1)$. In this paper we study such problems for reducible polynomials of degree $2$ and $3$ and for finite products of linear factors. In particular, we establish asymptotic formulas for exponential sums over these normalized ro…
▽ More
Hooley proved that if $f\in \Bbb Z [X]$ is irreducible of degree $\ge 2$, then the fractions $\{ r/n\}$, $0<r<n$ with $f(r)\equiv 0\pmod n$, are uniformly distributed in $(0,1)$. In this paper we study such problems for reducible polynomials of degree $2$ and $3$ and for finite products of linear factors. In particular, we establish asymptotic formulas for exponential sums over these normalized roots.
△ Less
Submitted 12 November, 2019; v1 submitted 25 February, 2018;
originally announced February 2018.
-
Sur la complexité de familles d'ensembles pseudo-aléatoires
Authors:
Ramachandran Balasubramanian,
Cécile Dartyge,
Elie Mosaki
Abstract:
In this paper we are interested in the following problem. Let $p$ be a prime number, $S\subset \F_p$ and $\cP\subset \{P\in\F_p [X]:°P\le d\}$. What is the largest integer $k$ such that for all subsets $\cA, \cB$ of $\F_p$ satisfying $\cA\cap\cB =\emptyset$ and $|\cA\cup\cB |=k$, there exists $P\in\cP$ such that $P(x)\in S$ if $x\in\cA$ and $P(x)\not\in S$ if $x\in\cB$? This problem corresponds to…
▽ More
In this paper we are interested in the following problem. Let $p$ be a prime number, $S\subset \F_p$ and $\cP\subset \{P\in\F_p [X]:°P\le d\}$. What is the largest integer $k$ such that for all subsets $\cA, \cB$ of $\F_p$ satisfying $\cA\cap\cB =\emptyset$ and $|\cA\cup\cB |=k$, there exists $P\in\cP$ such that $P(x)\in S$ if $x\in\cA$ and $P(x)\not\in S$ if $x\in\cB$? This problem corresponds to the study of the complexity of some families of pseudo-random subsets. First we recall this complexity definition and the context of pseudo-random subsets. Then we state the different results we have obtained according to the shape of the sets $S$ and $\cP$ considered. Some proofs are based on upper bounds for exponential sums or characters sums in finite fields, other proofs use combinatorics and additive number theory.
△ Less
Submitted 19 February, 2013;
originally announced February 2013.