Bergelson and Richter [‘Dynamical generalizations of the prime number theorem and disjointness of additive and multiplicative semigroup actions’, Duke Math. J. 171(15) (2022), 3133–3200] established a new dynamical generalisation of the prime number theorem (PNT) and the PNT for arithmetic progressions. Let $h\ge 1, k\ge 2$. Mirsky [‘Note on an asymptotic formula connected with r-free integers’, Quart. J. Math. Oxford Ser. 18 (1947), 178–182] showed that the numbers n such that $n+l_1,\ldots , n+l_h$ are k-free have a natural density for any given nonnegative integers $l_1,\ldots , l_h$. In this note, we show that the Bergelson–Richter theorem holds for the numbers studied by Mirsky.

We address a core partition regularity problem in Ramsey theory by proving that every finite coloring of the positive integers contains monochromatic Pythagorean pairs (i.e., $x,y\in {\mathbb N}$ such that $x^2\pm y^2=z^2$ for some $z\in {\mathbb N}$). We also show that partitions generated by level sets of multiplicative functions taking finitely many values always contain Pythagorean triples. Our proofs combine known Gowers uniformity properties of aperiodic multiplicative functions with a novel and rather flexible approach based on concentration estimates of multiplicative functions.

We prove structural results for measure-preserving systems, called Furstenberg systems, naturally associated with bounded multiplicative functions. We show that for all pretentious multiplicative functions, these systems always have rational discrete spectrum and, as a consequence, zero entropy. We obtain several other refined structural and spectral results, one consequence of which is that the Archimedean characters are the only pretentious multiplicative functions that have Furstenberg systems with trivial rational spectrum, another is that a pretentious multiplicative function has ergodic Furstenberg systems if and only if it pretends to be a Dirichlet character, and a last one is that for any fixed pretentious multiplicative function, all its Furstenberg systems are isomorphic. We also study structural properties of Furstenberg systems of a class of multiplicative functions, introduced by Matomäki, Radziwiłł, and Tao, which lie in the intermediate zone between pretentiousness and strong aperiodicity. In a work of the last two authors and Gomilko, several examples of this class with exotic ergodic behavior were identified, and here we complement this study and discover some new unexpected phenomena. Lastly, we prove that Furstenberg systems of general bounded multiplicative functions have divisible spectrum. When these systems are obtained using logarithmic averages, we show that a trivial rational spectrum implies a strong dilation invariance property, called strong stationarity, but, quite surprisingly, this property fails when the systems are obtained using Cesàro averages.

In this article, we establish a function field analog of Jacobi’s theorem on sums of squares and analyze its moments. Our approach involves employing two distinct techniques to derive the main results concerning asymptotic formulas for the moments. The first technique utilizes Dirichlet series framework to derive asymptotic formulas in the limit of large finite fields, specifically when the characteristic of $\mathbb {F}_q[T]$ becomes large. The second technique involves effectively partitioning the set of polynomials of a fixed degree, providing asymptotic formulas in the limit of large polynomial degree.

We study a certain class of arithmetic functions that appeared in Klurman’s classification of $\pm 1$ multiplicative functions with bounded partial sums; c.f., Comp. Math. 153(2017), 2017, no. 8, 1622–1657. These functions are periodic and $1$-pretentious. We prove that if $f_1$ and $f_2$ belong to this class, then $\sum _{n\leq x}(f_1\ast f_2)(n)=\Omega (x^{1/4})$. This confirms a conjecture by the first author. As a byproduct of our proof, we studied the correlation between $\Delta (x)$ and $\Delta (\theta x)$, where $\theta $ is a fixed real number. We prove that there is a nontrivial correlation when $\theta $ is rational, and a decorrelation when $\theta $ is irrational. Moreover, if $\theta $ has a finite irrationality measure, then we can make it quantitative this decorrelation in terms of this measure.

Given an integer $k\ge 2$, let $\omega _k(n)$ denote the number of primes that divide n with multiplicity exactly k. We compute the density $e_{k,m}$ of those integers n for which $\omega _k(n)=m$ for every integer $m\ge 0$. We also show that the generating function $\sum _{m=0}^\infty e_{k,m}z^m$ is an entire function that can be written in the form $\prod _{p} \bigl (1+{(p-1)(z-1)}/{p^{k+1}} \bigr )$; from this representation we show how to both numerically calculate the $e_{k,m}$ to high precision and provide an asymptotic upper bound for the $e_{k,m}$. We further show how to generalize these results to all additive functions of the form $\sum _{j=2}^\infty a_j \omega _j(n)$; when $a_j=j-1$ this recovers a classical result of Rényi on the distribution of $\Omega (n)-\omega (n)$.

In this paper, we investigate the asymptotic distribution of a class of multiplicative functions over arithmetic progressions without the Ramanujan conjecture. We also apply these results to some interesting arithmetic functions in automorphic context, such as coefficients of automorphic L-functions, coefficients of their Rankin–Selberg.

We study bracket words, which are a far-reaching generalization of Sturmian words, along Hardy field sequences, which are a far-reaching generalization of Piatetski-Shapiro sequences $\lfloor n^c \rfloor $. We show that sequences thus obtained are deterministic (that is, they have subexponential subword complexity) and satisfy Sarnak’s conjecture.

We obtain a new bound on the second moment of modified shifted convolutions of the generalized threefold divisor function and show that, for applications, the modified version is sufficient.

We study higher uniformity properties of the Möbius function $\mu $, the von Mangoldt function $\Lambda $, and the divisor functions $d_k$ on short intervals $(X,X+H]$ with $X^{\theta +\varepsilon } \leq H \leq X^{1-\varepsilon }$ for a fixed constant $0 \leq \theta < 1$ and any $\varepsilon>0$.

More precisely, letting $\Lambda ^\sharp $ and $d_k^\sharp $ be suitable approximants of $\Lambda $ and $d_k$ and $\mu ^\sharp = 0$, we show for instance that, for any nilsequence $F(g(n)\Gamma )$, we have

$$\begin{align*}\sum_{X < n \leq X+H} (f(n)-f^\sharp(n)) F(g(n) \Gamma) \ll H \log^{-A} X \end{align*}$$

when $\theta = 5/8$ and $f \in \{\Lambda , \mu , d_k\}$ or $\theta = 1/3$ and $f = d_2$.

As a consequence, we show that the short interval Gowers norms $\|f-f^\sharp \|_{U^s(X,X+H]}$ are also asymptotically small for any fixed s for these choices of $f,\theta $. As applications, we prove an asymptotic formula for the number of solutions to linear equations in primes in short intervals and show that multiple ergodic averages along primes in short intervals converge in $L^2$.

Our innovations include the use of multiparameter nilsequence equidistribution theorems to control type $II$ sums and an elementary decomposition of the neighborhood of a hyperbola into arithmetic progressions to control type $I_2$ sums.

An explicit transformation for the series $\sum \limits _{n=1}^{\infty }\displaystyle \frac {\log (n)}{e^{ny}-1}$, or equivalently, $\sum \limits _{n=1}^{\infty }d(n)\log (n)e^{-ny}$ for Re$(y)>0$, which takes y to $1/y$, is obtained for the first time. This series transforms into a series containing the derivative of $R(z)$, a function studied by Christopher Deninger while obtaining an analog of the famous Chowla–Selberg formula for real quadratic fields. In the course of obtaining the transformation, new important properties of $\psi _1(z)$ (the derivative of $R(z)$) are needed as is a new representation for the second derivative of the two-variable Mittag-Leffler function $E_{2, b}(z)$ evaluated at $b=1$, all of which may seem quite unexpected at first glance. Our transformation readily gives the complete asymptotic expansion of $\sum \limits _{n=1}^{\infty }\displaystyle \frac {\log (n)}{e^{ny}-1}$ as $y\to 0$ which was also not known before. An application of the latter is that it gives the asymptotic expansion of $ \displaystyle \int _{0}^{\infty }\zeta \left (\frac {1}{2}-it\right )\zeta '\left (\frac {1}{2}+it\right )e^{-\delta t}\, dt$ as $\delta \to 0$.

Let $k \geqslant 2$ be an integer. We prove that factorisation of integers into k parts follows the Dirichlet distribution $\mathrm{Dir}\left({1}/{k},\ldots,{1}/{k}\right)$ by multidimensional contour integration, thereby generalising the Deshouillers–Dress–Tenenbaum (DDT) arcsine law on divisors where $k=2$. The same holds for factorisation of polynomials or permutations. Dirichlet distribution with arbitrary parameters can be modelled similarly.

Let $\gcd (n_{1},\ldots ,n_{k})$ denote the greatest common divisor of positive integers $n_{1},\ldots ,n_{k}$ and let $\phi $ be the Euler totient function. For any real number $x>3$ and any integer $k\geq 2$, we investigate the asymptotic behaviour of $\sum _{n_{1}\ldots n_{k}\leq x}\phi (\gcd (n_{1},\ldots ,n_{k})). $

Let f be a non-CM Hecke eigencusp form of level 1 and fixed weight, and let $\{\lambda_f(n)\}_n$ be its sequence of normalised 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 $\{\lambda_f(n)\}_{n \in \mathcal{N}_K}$. More precisely, for a positive proportion of $n \in \mathcal{N}_K \cap [1,X]$ we have $\lambda_f(n)\lambda_f(n') < 0$, where n′ is the first element of $\mathcal{N}_K$ greater than n for which $\lambda_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,\varepsilon} X^{1/2-\varepsilon}$ sign changes for $\lambda_f$ along the sequence of integers of the form $a + m^2 + n^2 \leq X$.

Let ${\overline{p}}(n)$ denote the overpartition function. In this paper, we study the asymptotic higher-order log-concavity property of the overpartition function in a similar framework done by Hou and Zhang for the partition function. This will enable us to move on further in order to prove log-concavity of overpartitions, explicitly by studying the asymptotic expansion of the quotient ${\overline{p}}(n-1){\overline{p}}(n+1)/{\overline{p}}(n)^2$ up to a certain order. This enables us to additionally prove 2-log-concavity and higher Turán inequalities with a unified approach.

In this paper we investigate the quantity of diagonal quartic surfaces $a_0 X_0^4 + a_1 X_1^4 + a_2 X_2^4 +a_3 X_3^4 = 0$ which have a Brauer–Manin obstruction to the Hasse principle. We are able to find an asymptotic formula for the quantity of such surfaces ordered by height. The proof uses a generalization of a method of Heath-Brown on sums over linked variables. We also show that there exists no uniform formula for a generic generator in this family.

Fujii obtained a formula for the average number of Goldbach representations with lower-order terms expressed as a sum over the zeros of the Riemann zeta function and a smaller error term. This assumed the Riemann Hypothesis. We obtain an unconditional version of this result and obtain applications conditional on various conjectures on zeros of the Riemann zeta function.

We investigate the large values of the derivatives of the Riemann zeta function $\zeta (s)$ on the 1-line. We give a larger lower bound for $\max _{t\in [T,2T]}|\zeta ^{(\ell )}(1+{i} t)|$, which improves the previous result established by Yang [‘Extreme values of derivatives of the Riemann zeta function’, Mathematika 68 (2022), 486–510].