Source author record

Joni Teräväinen

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
1topics
4close collaborators

Published work

5 publications

preprint2022arXiv

Correlations of multiplicative functions in function fields

We develop an approach to study character sums, weighted by a multiplicative function f:Fq[t]→S1f:\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 Fq[t].\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 Fq[t]\mathbb{F}_q[t], where qq 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 qq. Compared with the integer setting, we encounter a different phenomenon, specifically a low characteristic issue in the case that qq is a power of 22. 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 Fq[t]\mathbb{F}_q[t].

preprint2022arXiv

The Exceptional Set in Goldbach's Problem with Almost Twin Primes

We consider the exceptional set in the binary Goldbach problem for sums of two almost twin primes. Our main result is a power-saving bound for the exceptional set in the problem of representing m=p1+p2m=p_1+p_2 where p1+2p_1+2 has at most 22 prime divisors and p2+2p_2+2 has at most 33 prime divisors. There are three main ingredients in the proof: a new transference principle like approach for sieves, a combination of the level of distribution estimates of Bombieri--Friedlander--Iwaniec and Maynard with ideas of Drappeau to produce power savings, and a generalisation of the circle method arguments of Montgomery and Vaughan that incorporates sieve weights.

preprint2022arXiv

The Hardy--Littlewood--Chowla conjecture in the presence of a Siegel zero

Assuming that Siegel zeros exist, we prove a hybrid version of the Chowla and Hardy--Littlewood prime tuples conjectures. Thus, for an infinite sequence of natural numbers xx, and any distinct integers h1,…,hk,h1′,…,hℓ′h_1,\dots,h_k,h'_1,\dots,h'_\ell, we establish an asymptotic formula for ∑n≤xΛ(n+h1)⋯Λ(n+hk)λ(n+h1′)⋯λ(n+hℓ′)\sum_{n\leq x}Λ(n+h_1)\cdots Λ(n+h_k)λ(n+h_{1}')\cdots λ(n+h_{\ell}') for any 0≤k≤20\leq k\leq 2 and ℓ≥0\ell \geq 0. Specializing to either ℓ=0\ell=0 or k=0k=0, we deduce the previously known results on the Hardy--Littlewood (or twin primes) conjecture and the Chowla conjecture under the existence of Siegel zeros, due to Heath-Brown and Chinis, respectively. The range of validity of our asymptotic formula is wider than in these previous results.

preprint2021arXiv

Singmaster's conjecture in the interior of Pascal's triangle

Singmaster's conjecture asserts that every natural number greater than one occurs at most a bounded number of times in Pascal's triangle; that is, for any natural number t≥2t \geq 2, the number of solutions to the equation (nm)=t\binom{n}{m} = t for natural numbers 1≤m<n1 \leq m < n is bounded. In this paper we establish this result in the interior region exp⁡(log⁡2/3+εn)≤m≤n−exp⁡(log⁡2/3+εn)\exp(\log^{2/3+\varepsilon} n) \leq m \leq n-\exp(\log^{2/3 + \varepsilon} n) for any fixed ε>0\varepsilon > 0. Indeed, when tt is sufficiently large depending on ε\varepsilon, we show that there are at most four solutions (or at most two in either half of Pascal's triangle) in this region. We also establish analogous results for the equation (n)m=t(n)_m = t, where (n)m:=n(n−1)…(n−m+1)(n)_m := n(n-1)\ldots(n-m+1) denotes the falling factorial.

preprint2016arXiv

Almost Primes in Almost All Short Intervals

Let EkE_k be the set of positive integers having exactly kk prime factors. We show that almost all intervals [x,x+log⁡1+εx][x,x+\log^{1+\varepsilon} x] contain E3E_3 numbers, and almost all intervals [x,x+log⁡3.51x][x,x+\log^{3.51} x] contain E2E_2 numbers. By this we mean that there are only o(X)o(X) integers 1≤x≤X1\leq x\leq X for which the mentioned intervals do not contain such numbers. The result for E3E_3 numbers is optimal up to the ε\varepsilon in the exponent. The theorem on E2E_2 numbers improves a result of Harman, which had the exponent 7+ε7+\varepsilon in place of 3.513.51. We will also consider general EkE_k numbers, and find them on intervals whose lengths approach log⁡x\log x as k→∞k\to \infty.

Research graph

See the researcher in context

Open full explorer

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.