-
Zero sums amongst roots and Cilleruelo's conjecture on the LCM of polynomial sequences
Authors:
Marc Technau
Abstract:
We make progress on a conjecture of Cilleruelo on the growth of the least common multiple of consecutive values of an irreducible polynomial $f$ on the additional hypothesis that the polynomial be even. This strengthens earlier work of Rudnick--Maynard and Sah subject to that additional hypothesis when the degree of $f$ exceeds two. The improvement rests upon a different treatment of `large' prime…
▽ More
We make progress on a conjecture of Cilleruelo on the growth of the least common multiple of consecutive values of an irreducible polynomial $f$ on the additional hypothesis that the polynomial be even. This strengthens earlier work of Rudnick--Maynard and Sah subject to that additional hypothesis when the degree of $f$ exceeds two. The improvement rests upon a different treatment of `large' prime divisors of $Q_f(N) = f(1)\cdots f(N)$ by means of certain zero sums amongst the roots of $f$. A similar argument was recently used by Baier and Dey with regard to another problem. The same method also allows for further improvements on a related conjecture of Sah on the size of the radical of $Q_f(N)$.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Galois groups of $\binom{n}{0} + \binom{n}{1} X + \ldots + \binom{n}{6} X^6$
Authors:
Benjamin Klahn,
Marc Technau
Abstract:
We show that the Galois group of the polynomial in the title is isomorphic to the full symmetric group on six symbols for all but finitely many $n$. This complements earlier work of Filaseta and Moy, who studied Galois groups of $\binom{n}{0} + \binom{n}{1} X + \ldots + \binom{n}{k} X^k$ for more general pairs $(n,k)$, but had to admit a possibly infinite exceptional set specifically for $k=6$ of…
▽ More
We show that the Galois group of the polynomial in the title is isomorphic to the full symmetric group on six symbols for all but finitely many $n$. This complements earlier work of Filaseta and Moy, who studied Galois groups of $\binom{n}{0} + \binom{n}{1} X + \ldots + \binom{n}{k} X^k$ for more general pairs $(n,k)$, but had to admit a possibly infinite exceptional set specifically for $k=6$ of at most logarithmic growth in $n$. The proof rests upon invoking Faltings' theorem on a suitable fibration of Galois resolvents to show that this exceptional set is, in fact, finite.
△ Less
Submitted 22 August, 2023; v1 submitted 25 April, 2023;
originally announced April 2023.
-
Remark on the Farey fraction spin chain
Authors:
Marc Technau
Abstract:
In 1999, Kleban and Özlük introduced a `Farey fraction spin chain' and made a conjecture regarding its asymptotic number of states with given energy, the latter being given (up to some normalisation) by the number $Φ(N)$ of $2\times2$ matrices arising as products of $\bigl(\!\begin{smallmatrix} 1 & 0 \\ 1 & 1 \end{smallmatrix}\!\bigr)$ and…
▽ More
In 1999, Kleban and Özlük introduced a `Farey fraction spin chain' and made a conjecture regarding its asymptotic number of states with given energy, the latter being given (up to some normalisation) by the number $Φ(N)$ of $2\times2$ matrices arising as products of $\bigl(\!\begin{smallmatrix} 1 & 0 \\ 1 & 1 \end{smallmatrix}\!\bigr)$ and $\bigl(\!\begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}\!\bigr)$ whose trace equals $N$. Although their conjecture was disproved by Peter (2001), quite precise results are known on average by works of Kallies--Özlük--Peter--Snyder (2001), Boca (2007) and Ustinov (2013).
We show that the problem of estimating $Φ(N)$ can be reduced to a problem on divisors of quadratic polynomials which was already solved by Hooley (1958) in a special case and, quite recently, in full generality by Bykovski{ĭ} and Ustinov (2019). This produces an unconditional estimate for $Φ(N)$, which hitherto was only (implicitly) known, conditionally on the availability on wide zero-free regions for certain Dirichlet $L$-functions, by the work of Kallies--Özlük--Peter--Snyder.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
On restricted averages of Dedekind sums
Authors:
Paolo Minelli,
Athanasios Sourmelidis,
Marc Technau
Abstract:
We investigate the averages of Dedekind sums over rational numbers in the set
$$\mathscr{F}_α(Q):=\{\, {v}/{w}\in \mathbb{Q}: 0<w\leq Q\,\}\cap [0, α)$$
for fixed $α\leq 1/2$.
In previous work, we obtained asymptotics for $α=1/2$, confirming a conjecture of Ito in a quantitative form.
In the present article we extend our former results, first to all fixed rational $α$ and then to almost al…
▽ More
We investigate the averages of Dedekind sums over rational numbers in the set
$$\mathscr{F}_α(Q):=\{\, {v}/{w}\in \mathbb{Q}: 0<w\leq Q\,\}\cap [0, α)$$
for fixed $α\leq 1/2$.
In previous work, we obtained asymptotics for $α=1/2$, confirming a conjecture of Ito in a quantitative form.
In the present article we extend our former results, first to all fixed rational $α$ and then to almost all irrational $α$.
As an intermediate step we obtain a result quantifying the bias occurring in the second term of the asymptotic for the average running time of the \textit{by-excess} Euclidean algorithm, which is of independent interest.
△ Less
Submitted 1 January, 2023;
originally announced January 2023.
-
On polynomials with roots modulo almost all primes
Authors:
Christian Elsholtz,
Benjamin Klahn,
Marc Technau
Abstract:
Call a monic integer polynomial exceptional if it has a root modulo all but a finite number of primes, but does not have an integer root. We classify all irreducible monic integer polynomials $h$ for which there is an irreducible monic quadratic $g$ such that the product $gh$ is exceptional. We construct exceptional polynomials with all factors of the form $X^{p}-b$, $p$ prime and $b$ square free.
Call a monic integer polynomial exceptional if it has a root modulo all but a finite number of primes, but does not have an integer root. We classify all irreducible monic integer polynomials $h$ for which there is an irreducible monic quadratic $g$ such that the product $gh$ is exceptional. We construct exceptional polynomials with all factors of the form $X^{p}-b$, $p$ prime and $b$ square free.
△ Less
Submitted 9 July, 2022; v1 submitted 27 June, 2022;
originally announced June 2022.
-
Bias in the number of steps in the Euclidean algorithm and a conjecture of Ito on Dedekind sums
Authors:
Paolo Minelli,
Athanasios Sourmelidis,
Marc Technau
Abstract:
We investigate the number of steps taken by three variants of the Euclidean algorithm on average over Farey fractions. We show asymptotic formulae for these averages restricted to the interval $(0,1/2)$, establishing that they behave differently on $(0,1/2)$ than they do on $(1/2,1)$. These results are tightly linked with the distribution of lengths of certain continued fraction expansions as well…
▽ More
We investigate the number of steps taken by three variants of the Euclidean algorithm on average over Farey fractions. We show asymptotic formulae for these averages restricted to the interval $(0,1/2)$, establishing that they behave differently on $(0,1/2)$ than they do on $(1/2,1)$. These results are tightly linked with the distribution of lengths of certain continued fraction expansions as well as the distribution of the involved partial quotients.
As an application, we prove a conjecture of Ito on the distribution of values of Dedekind sums.
The main argument is based on earlier work of Zhabitskaya, Ustinov, Bykovskiĭ and others, ultimately dating back to Heilbronn, relating the quantities in question to counting solutions to a certain system of Diophantine inequalities. The above restriction to only half of the Farey fractions introduces additional complications.
△ Less
Submitted 6 September, 2022; v1 submitted 7 June, 2022;
originally announced June 2022.
-
On the distribution of $αp$ modulo one in quadratic number fields
Authors:
Stephan Baier,
Dwaipayan Mazumder,
Marc Technau
Abstract:
We investigate the distribution of $αp$ modulo one in quadratic number fields $\mathbb{K}$ with class number one, where $p$ is restricted to prime elements in the ring of integers of $\mathbb{K}$. Here we improve the relevant exponent $1/4$ obtained by the first and third named authors for imaginary quadratic number fields \cite{BT} and by the first and second named authors for real quadratic numb…
▽ More
We investigate the distribution of $αp$ modulo one in quadratic number fields $\mathbb{K}$ with class number one, where $p$ is restricted to prime elements in the ring of integers of $\mathbb{K}$. Here we improve the relevant exponent $1/4$ obtained by the first and third named authors for imaginary quadratic number fields \cite{BT} and by the first and second named authors for real quadratic number fields \cite{BM} to $7/22$. This generalizes a result of Harman \cite{HarZi} who obtained the same exponent $7/22$ for $\mathbb{Q}(i)$ by extending his method which gave this exponent for $\mathbb{Q}$ \cite{harman1996on-the-distribu}. Our proof is based on an extension of his sieve method to arbitrary number fields. Moreover, we need an asymptotic evaluation of certain smooth sums over prime ideals appearing in \cite{BM}, for which we use analytic properties of Hecke L-functions with Größencharacters.
△ Less
Submitted 12 August, 2021; v1 submitted 27 April, 2021;
originally announced April 2021.
-
Metric results on summatory arithmetic functions on Beatty sets
Authors:
Marc Technau,
Agamemnon Zafeiropoulos
Abstract:
Let $f\colon\mathbb{N}\rightarrow\mathbb{C}$ be an arithmetic function and consider the Beatty set $\mathcal{B}(α) = \lbrace\, \lfloor nα\rfloor : n\in\mathbb{N} \,\rbrace$ associated to a real number $α$, where $\lfloorξ\rfloor$ denotes the integer part of a real number $ξ$. We show that the asymptotic formula \[
\Bigl\lvert
\sum_{\substack{ 1\leq m\leq x \\ m\in \mathcal{B}(α) }} f(m)
- \f…
▽ More
Let $f\colon\mathbb{N}\rightarrow\mathbb{C}$ be an arithmetic function and consider the Beatty set $\mathcal{B}(α) = \lbrace\, \lfloor nα\rfloor : n\in\mathbb{N} \,\rbrace$ associated to a real number $α$, where $\lfloorξ\rfloor$ denotes the integer part of a real number $ξ$. We show that the asymptotic formula \[
\Bigl\lvert
\sum_{\substack{ 1\leq m\leq x \\ m\in \mathcal{B}(α) }} f(m)
- \frac{1}α \sum_{1\leq m\leq x} f(m)
\Bigr\rvert^2
\ll_{f,α,\varepsilon}
(\log x)
(\log\log x)^{3+\varepsilon}
\sum_{1\leq m\leq x} \lvert f(m) \rvert^2 \] holds for almost all $α>1$ with respect to the Lebesgue measure. This significantly improves an earlier result due to Abercrombie, Banks, and Shparlinski. The proof uses a recent Fourier-analytic result of Lewko and Radziwiłł based on the classical Carleson--Hunt inequality. Moreover, using a probabilistic argument, we establish the existence of functions $f\colon\mathbb{N}\to\lbrace\,\pm 1\,\rbrace$ for which the above error term is optimal up to logarithmic factors.
△ Less
Submitted 10 June, 2020; v1 submitted 13 July, 2019;
originally announced July 2019.
-
On the distribution of $αp$ modulo one in imaginary quadratic number fields with class number one
Authors:
Stephan Baier,
Marc Technau
Abstract:
We investigate the distribution of $αp$ modulo one in imaginary quadratic number fields $\mathbb{K}\subset\mathbb{C}$ with class number one, where $p$ is restricted to prime elements in the ring of integers $\mathcal{O} = \mathbb{Z}[ω]$ of $\mathbb{K}$. In analogy to classical work due to R. C. Vaughan, we obtain that the inequality $\lVertαp\rVert_ω< \mathrm{N}(p)^{-1/8+ε}$ is satisfied for infin…
▽ More
We investigate the distribution of $αp$ modulo one in imaginary quadratic number fields $\mathbb{K}\subset\mathbb{C}$ with class number one, where $p$ is restricted to prime elements in the ring of integers $\mathcal{O} = \mathbb{Z}[ω]$ of $\mathbb{K}$. In analogy to classical work due to R. C. Vaughan, we obtain that the inequality $\lVertαp\rVert_ω< \mathrm{N}(p)^{-1/8+ε}$ is satisfied for infinitely many $p$, where $\lVert\varrho\rVert_ω$ measures the distance of $\varrho\in\mathbb{C}$ to $\mathscr{O}$ and $\mathrm{N}(p)$ denotes the norm of $p$.
The proof is based on Harman's sieve method and employs number field analogues of classical ideas due to Vinogradov. Moreover, we introduce a smoothing which allows us to make conveniently use of the Poisson summation formula.
△ Less
Submitted 23 March, 2021; v1 submitted 18 May, 2019;
originally announced May 2019.
-
Kloosterman sums with twice-differentiable functions
Authors:
Igor E. Shparlinski,
Marc Technau
Abstract:
We bound Kloosterman-like sums of the shape \[ \sum_{n=1}^N \exp(2πi (x \lfloor f(n)\rfloor+ y \lfloor f(n)\rfloor^{-1})/p), \] with integers parts of a real-valued, twice-differentiable function $f$ is satisfying a certain limit condition on $f''$, and $\lfloor f(n)\rfloor^{-1}$ is meaning inversion modulo~$p$. As an immediate application, we obtain results concerning the distribution of modular…
▽ More
We bound Kloosterman-like sums of the shape \[ \sum_{n=1}^N \exp(2πi (x \lfloor f(n)\rfloor+ y \lfloor f(n)\rfloor^{-1})/p), \] with integers parts of a real-valued, twice-differentiable function $f$ is satisfying a certain limit condition on $f''$, and $\lfloor f(n)\rfloor^{-1}$ is meaning inversion modulo~$p$. As an immediate application, we obtain results concerning the distribution of modular inverses inverses $\lfloor f(n)\rfloor^{-1} \pmod{p}$. The results apply, in particular, to Piatetski-Shapiro sequences $ \lfloor t^c\rfloor$ with $c\in(1,\frac{4}{3})$. The proof is an adaptation of an argument used by Banks and the first named author in a series of papers from 2006 to 2009.
△ Less
Submitted 15 February, 2019;
originally announced February 2019.
-
Modular hyperbolas and Beatty sequences
Authors:
Marc Technau
Abstract:
Bounds for $\max\{m,\tilde{m}\}$ subject to $m,\tilde{m} \in \mathbb{Z}\cap[1,p)$, $p$ prime, $z$ indivisible by $p$, $m\tilde{m}\equiv z\bmod p$ and $m$ belonging to some fixed Beatty sequence $\{ \lfloor nα+β\rfloor : n\in\mathbb{N} \}$ are obtained, assuming certain conditions on $α$. The proof uses a method due to Banks and Shparlinski. As an intermediate step, bounds for the discrete periodic…
▽ More
Bounds for $\max\{m,\tilde{m}\}$ subject to $m,\tilde{m} \in \mathbb{Z}\cap[1,p)$, $p$ prime, $z$ indivisible by $p$, $m\tilde{m}\equiv z\bmod p$ and $m$ belonging to some fixed Beatty sequence $\{ \lfloor nα+β\rfloor : n\in\mathbb{N} \}$ are obtained, assuming certain conditions on $α$. The proof uses a method due to Banks and Shparlinski. As an intermediate step, bounds for the discrete periodic autocorrelation of the finite sequence $0,\, \operatorname{e}_p(y\overline{1}), \operatorname{e}_p(y\overline{2}), \ldots, \operatorname{e}_p(y(\overline{p-1}))$ on average are obtained, where $\operatorname{e}_p(t) = \exp(2πi t/p)$ and $m\overline{m} \equiv 1\bmod p$. The latter is accomplished by adapting a method due to Kloosterman.
△ Less
Submitted 20 August, 2019; v1 submitted 1 August, 2018;
originally announced August 2018.
-
The maximal order of iterated multiplicative functions
Authors:
Christian Elsholtz,
Marc Technau,
Niclas Technau
Abstract:
Following Wigert, various authors, including Ramanujan, Gronwall, Erdős, Ivić, Schwarz, Wirsing, and Shiu, determined the maximal order of several multiplicative functions, generalizing Wigert's result $$\max_{n\leq x} \log d(n) = \frac{\log x}{\log \log x} (\log 2 + o(1)). $$ On the contrary, for many multiplicative functions, the maximal order of iterations of the functions remains widely open.…
▽ More
Following Wigert, various authors, including Ramanujan, Gronwall, Erdős, Ivić, Schwarz, Wirsing, and Shiu, determined the maximal order of several multiplicative functions, generalizing Wigert's result $$\max_{n\leq x} \log d(n) = \frac{\log x}{\log \log x} (\log 2 + o(1)). $$ On the contrary, for many multiplicative functions, the maximal order of iterations of the functions remains widely open. The case of the iterated divisor function was only solved recently, answering a question of Ramanujan from 1915. Here we determine the maximal order of $\log f(f(n))$ for a class of multiplicative functions $f$. In particular, this class contains functions counting ideals of given norm in the ring of integers of an arbitrary, fixed quadratic number field. As a consequence, we determine such maximal orders for several multiplicative $f$ arising as a normalized function counting representations by certain binary quadratic forms. Incidentally, for the non-multiplicative function $r_2$ which counts how often a positive integer is represented as a sum of two squares, this entails the asymptotic formula $$ \max_{n\leq x} \log r_2(r_2(n))= \frac{\sqrt{\log x}}{\log \log x} (c/\sqrt{2}+o(1))$$ with some explicitly given constant $c>0$.
△ Less
Submitted 7 April, 2019; v1 submitted 14 September, 2017;
originally announced September 2017.
-
The Least Prime Number in a Beatty Sequence
Authors:
Jörn Steuding,
Marc Technau
Abstract:
We prove an upper bound for the least prime in an irrational Beatty sequence. This result may be compared with Linnik's theorem on the least prime in an arithmetic progression.
We prove an upper bound for the least prime in an irrational Beatty sequence. This result may be compared with Linnik's theorem on the least prime in an arithmetic progression.
△ Less
Submitted 30 May, 2016; v1 submitted 28 December, 2015;
originally announced December 2015.
