arXiv subjects

Marc Technau

Publications and source records attributed to Marc Technau.

14 recordsLinked to original sources

arXiv2026

Shapiro's problem on polynomials with large partial sums of coefficients

Given a polynomial $\sum_\nu a_\nu X^\nu$ of degree $<d$, bounded by one on the unit disk, how large can $\lvert a_0+a_1+\ldots+a_n \rvert$ ($n<d$) get? This question dates back at least to the 1952 thesis work of H. S. Shapiro. In 1978, D. J. Newman gave an exact answer for $d=2(n+1)$, but there does not seem to have been further progress on the question since. We study variations on this theme, obtaining exact answers for some related coefficient sums, and answer the original question in an asymptotic sense, provided that $n$ is not too large in terms of $d$. The latter is achieved via a quantitative Enestr\"om--Kakeya theorem, while the former is based on certain identities for carefully selected Lagrange interpolators. From the interpolation approach we also obtain a general inequality for coefficient sums $\lvert t_0 a_0 + \ldots + t_{d-1} a_{d-1} \rvert$ for arbitrary complex numbers $t_0,\ldots,t_{d-1}$. This inequality fails to be sharp in general, yet it is in some cases and also yields non-trivial bounds for Shapiro's problem for some choices of $n$ and $d$.

math.CV↗

arXiv2024

Zero sums amongst roots and Cilleruelo's conjecture on the LCM of polynomial sequences

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)$.

math.NT↗

arXiv2023

Galois groups of $\binom{n}{0} + \binom{n}{1} X + \ldots + \binom{n}{6} X^6$

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.

math.NT↗

arXiv2023

Remark on the Farey fraction spin chain

In 1999, Kleban and \"Ozl\"uk 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 $\Phi(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--\"Ozl\"uk--Peter--Snyder (2001), Boca (2007) and Ustinov (2013). We show that the problem of estimating $\Phi(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{\u{\i}} and Ustinov (2019). This produces an unconditional estimate for $\Phi(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--\"Ozl\"uk--Peter--Snyder.

math.NT↗

arXiv2023

On restricted averages of Dedekind sums

We investigate the averages of Dedekind sums over rational numbers in the set $$\mathscr{F}_\alpha(Q):=\{\, {v}/{w}\in \mathbb{Q}: 0<w\leq Q\,\}\cap [0, \alpha)$$ for fixed $\alpha\leq 1/2$. In previous work, we obtained asymptotics for $\alpha=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 $\alpha$ and then to almost all irrational $\alpha$. 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.

math.NT↗

arXiv2022

On polynomials with roots modulo almost all primes

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.

math.NT↗

arXiv2022

Bias in the number of steps in the Euclidean algorithm and a conjecture of Ito on Dedekind sums

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\u{i} 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.

math.NT↗

arXiv2021

On the distribution of $\alpha p$ modulo one in quadratic number fields

We investigate the distribution of $\alpha 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\"o\ss encharacters.

math.NT↗

arXiv2019

Metric results on summatory arithmetic functions on Beatty sets

Let $f\colon\mathbb{N}\rightarrow\mathbb{C}$ be an arithmetic function and consider the Beatty set $\mathcal{B}(\alpha) = \lbrace\, \lfloor n\alpha \rfloor : n\in\mathbb{N} \,\rbrace$ associated to a real number $\alpha$, where $\lfloor\xi\rfloor$ denotes the integer part of a real number $\xi$. We show that the asymptotic formula \[ \Bigl\lvert \sum_{\substack{ 1\leq m\leq x \\ m\in \mathcal{B}(\alpha) }} f(m) - \frac{1}{\alpha} \sum_{1\leq m\leq x} f(m) \Bigr\rvert^2 \ll_{f,\alpha,\varepsilon} (\log x) (\log\log x)^{3+\varepsilon} \sum_{1\leq m\leq x} \lvert f(m) \rvert^2 \] holds for almost all $\alpha>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{\l}{\l} 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.

math.NT↗

arXiv2019

On the distribution of $\alpha p$ modulo one in imaginary quadratic number fields with class number one

We investigate the distribution of $\alpha 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}[\omega]$ of $\mathbb{K}$. In analogy to classical work due to R. C. Vaughan, we obtain that the inequality $\lVert\alpha p\rVert_\omega < \mathrm{N}(p)^{-1/8+\epsilon}$ is satisfied for infinitely many $p$, where $\lVert\varrho\rVert_\omega$ 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.

math.NT↗

arXiv2019

Kloosterman sums with twice-differentiable functions

We bound Kloosterman-like sums of the shape \[ \sum_{n=1}^N \exp(2\pi 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.

math.NT↗

arXiv2018

Modular hyperbolas and Beatty sequences

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\alpha+\beta \rfloor : n\in\mathbb{N} \}$ are obtained, assuming certain conditions on $\alpha$. 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\pi i t/p)$ and $m\overline{m} \equiv 1\bmod p$. The latter is accomplished by adapting a method due to Kloosterman.

math.NT↗

arXiv2017

The maximal order of iterated multiplicative functions

Following Wigert, various authors, including Ramanujan, Gronwall, Erd\H{o}s, Ivi\'{c}, 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$.

math.NT↗

arXiv2015

The Least Prime Number in a Beatty Sequence

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.

math.NT↗