Source author record

Alexander P. Mangerel

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT

Catalog footprint

Research overview

7works

1topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Correlations of multiplicative functions in function fields

We develop an approach to study character sums, weighted by a multiplicative function $f:\mathbb{F}_q[t]\to S^1$ , of the form \begin{equation} \sum_{G\in \mathcal{M}_N}f(G)χ(G)ξ(G), \end{equation} where $χ$ is a Dirichlet character and $ξ$ is a short interval character over $\mathbb{F}_q[t].$ We then deduce versions of the Matomäki-Radziwill theorem and Tao's two-point logarithmic Elliott conjecture over function fields $\mathbb{F}_q[t]$ , where $q$ is fixed. The former of these improves on work of Gorodetsky, and the latter extends the work of Sawin-Shusterman on correlations of the Möbius function for various values of $q$ . Compared with the integer setting, we encounter a different phenomenon, specifically a low characteristic issue in the case that $q$ is a power of $2$ . As an application of our results, we give a short proof of the function field version of a conjecture of Kátai on classifying multiplicative functions with small increments, with the classification obtained and the proof being different from the integer case. In a companion paper, we use these results to characterize the limiting behavior of partial sums of multiplicative functions in function fields and in particular to solve a "corrected" form of the Erdős discrepancy problem over $\mathbb{F}_q[t]$ .

preprint2022arXiv

Sign Changes of Fourier Coefficients of Cusp Forms at Norm Form Arguments

Let $f$ be a non-CM Hecke eigencusp form of level 1 and fixed weight, and let $\{λ_f(n)\}_n$ be its sequence of normalized Fourier coefficients. We show that if $K/ \mathbb{Q}$ is any number field, and $\mathcal{N}_K$ denotes the collection of integers representable as norms of integral ideals of $K$ , then a positive proportion of the positive integers $n \in \mathcal{N}_K$ yield a sign change for the sequence $\{λ_f(n)\}_{n \in \mathcal{N}_K}$ . More precisely, for a positive proportion of $n \in \mathcal{N}_K \cap [1,X]$ we have $λ_f(n)λ_f(n') < 0$ where $n'$ is the first element of $\mathcal{N}_K$ greater than $n$ for which $λ_f(n') \neq 0$ . For example, for $K = \mathbb{Q}(i)$ and $\mathcal{N}_K = \{m^2+n^2 : m,n \in \mathbb{Z}\}$ the set of sums of two squares, we obtain $\gg_f X/\sqrt{\log X}$ such sign changes, which is best possible (up to the implicit constant) and improves upon work of Banerjee and Pandey. Our proof relies on recent work of Matomäki and Radziwiłł on sparsely-supported multiplicative functions, together with some technical refinements of their results due to the author. In a related vein, we also consider the question of sign changes along shifted sums of two squares, for which multiplicative techniques do not directly apply. Using estimates for shifted convolution sums among other techniques, we establish that for any fixed $a \neq 0$ there are $\gg_{f,ε} X^{1/2-ε}$ sign changes for $λ_f$ along the sequence of integers of the form $a + m^2 + n^2 \leq X$ .

preprint2018arXiv

On the Orbits of Multiplicative Pairs

We characterize all pairs of completely multiplicative functions $f,g:\mathbb{N}\to\mathbb{T}$ such that the orbit closure $\overline{\{(f(n),g(n+1))\}_{n\ge 1}} \neq \mathbb{T}\times \mathbb{T}.$ In so doing, we settle an old conjecture of Zoltán Daróczy and Imre Kátai.

preprint2016arXiv

A Strengthening of Theorems of Halász and Wirsing

Given an arithmetic function $g(n)$ write $M_g(x) := \sum_{n \leq x} g(n)$ . We extend and strengthen the results of a fundamental paper of Halász in several ways by proving upper bounds for the ratio of $\frac{|M_g(x)|}{M_{|g|}(x)}$ , for any strongly multiplicative, complex-valued function $g(n)$ under certain assumptions on the sequence $\{g(p)\}_p$ . We further prove an asymptotic formula for this ratio in the case that $|\text{arg}(g(p))|$ is sufficiently small uniformly in $p$ . In so doing, we recover a new proof of an explicit lower mean value estimate for $M_{f}(x)$ for any non-negative, multiplicative function satisfying $c_1 \leq |f(p)| \leq c_2$ for $c_2 \geq c_1 > 0$ , by relating it to $\frac{x}{\log x}\prod_{p \leq x} \left(1+\frac{f(p)}{p}\right)$ . As an application, we generalize our main theorem in such a way as to give explicit estimates for the ratio $\frac{|M_g(x)|}{M_{f}(x)}$ , whenever $f: \mathbb{N} \rightarrow (0,\infty)$ and $g: \mathbb{N} \rightarrow \mathbb{C}$ are strongly multiplicative functions that are uniformly bounded on primes and satisfy $|g(n)| \leq f(n)$ for every $n \in \mathbb{N}$ . This generalizes a theorem of Wirsing and extends recent work due to Elliott.

preprint2016arXiv

On the Number of Restricted Prime Factors of an Integer II

Given a partition $\{E_0,\ldots,E_n\}$ of the set of primes and a vector $\mathbf{k} \in \mathbb{N}_0^{n+1}$ , we compute an asymptotic formula for the quantity $|\{m \leq x: ω_{E_j}(m) = k_j \ \forall \ 0 \leq j \leq n\}|$ uniformly in a wide range of the parameters $k_j$ that complements the results of a previous paper of the author. This is accomplished using an extension and generalization of a theorem of Wirsing due to the author that gives explicit estimates for the ratio $\frac{|M_g(x)|}{M_{f}(x)}$ , whenever $f: \mathbb{N} \rightarrow (0,\infty)$ and $g: \mathbb{N} \rightarrow \mathbb{C}$ are strongly multiplicative functions that are uniformly bounded on primes and satisfy $|g(n)| \leq f(n)$ for every $n \in \mathbb{N}$ . This also allows us to conclude the validity of a probabilistic heuristic regarding $π(x;\mathbf{E},\mathbf{k})$ in the case that $k_j = (1+o(1))E_j(x)$ , for each $0 \leq j \leq n$ .

preprint2015arXiv

Generalizations on a Problem of Saffari

We provide a generalization of a problem first considered by Saffari and fully solved by Saffari, Erdős and Vaughan on direct factor pairs, to arbitrary finite families of direct factors, and solve it using a method of Daboussi. We end with a few related open problems.

preprint2015arXiv

On the Distribution of Integers with Restricted Prime Factors I

Let $E_0,\ldots,E_n$ be a partition of the set of prime numbers, and define $E_j(x) := \sum_{p \in E_j \atop p \leq x} \frac{1}{p}$ . Define $π(x;\mathbf{E},\mathbf{k})$ to be the number of integers $n \leq x$ with $k_j$ prime factors in $E_j$ for each $j$ . Basic probabilistic heuristics suggest that $x^{-1}π(x;\mathbf{E},\mathbf{k})$ , modelled as the distribution function of a random variable, should satisfy a joint Poisson law with parameter vector $(E_0(x),\ldots,E_n(x))$ , as $x \rightarrow \infty$ . We prove an asymptotic formula for $π(x;\mathbf{E},\mathbf{k})$ which contradicts these heuristics in the case that for each $j$ , $E_j(x)^2 \leq k_j \leq \log^{\frac{2}{3}-ε} x$ for each $j$ under mild hypotheses. As a particular application, we prove an asymptotic formula regarding integers with prime factors from specific arithmetic progressions, which generalizes a result due to Delange.

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.