arXiv++ Combinatorics

We construct sequences $\{a_n\}_{n\in\mathbb{N}}\in\{-1,1\}^{\mathbb{N}}$ with small values of signed harmonic sums \[ \sum_{n\in\mathcal{A}\cap[1,N]}\frac{a_n}{n}, \] for any reasonably dense subsets $\mathcal{A}\subset\mathbb{N}.$ We apply these methods to further construct completely multiplicative functions $f:\mathbb{N}\to\{-1,1\}$ with unusually small logarithmic partial sums, that is, \[ \sum_{n \leq N}\frac{f(n)}{n} \ll \exp\left(-c_0 \frac{N^{1/3}}{(\log N)^{1/3}} \right) \] holds for infinitely many $N\to\infty$. The proofs combine careful analysis of the small-scale distribution of random harmonic sums over subsets of $\mathbb{N}$, together with deterministic inductive arguments inspired by the ``anatomy" of integers.

We address partition regularity problems for homogeneous quadratic equations. A consequence of our main results is that, under natural conditions on the coefficients $a,b,c$, for any finite coloring of the positive integers, there exists a solution to $ax^2+by^2=cz^2$ where $x$ and $y$ have the same color (and similar results for $x,z$ and $y,z$). For certain choices of $(a,b,c)$, our result is conditional on an Elliott-type conjecture. Our proofs build on and extend previous arguments of the authors dealing with the Pythagorean equation. We make use of new uniformity properties of aperiodic multiplicative functions and concentration estimates for multiplicative functions along arbitrary binary quadratic forms.

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 introduce a simple sieve-theoretic approach to studying partial sums of multiplicative functions which are close to their mean value. This enables us to obtain various new results as well as strengthen existing results with new proofs. As a first application, we show that for a completely multiplicative function $f : \mathbb{N} \to \{-1,1\},$ \begin{align*} \limsup_{x\to\infty}\Big|\sum_{n\leq x}μ^2(n)f(n)\Big|=\infty. \end{align*} This confirms a conjecture of Aymone concerning the discrepancy of square-free supported multiplicative functions. Secondly, we show that a completely multiplicative function $f : \mathbb{N} \to \mathbb{C}$ satisfies \begin{align*} \sum_{n\leq x}f(n)=cx+O(1) \end{align*} with $c\neq 0$ if and only if $f(p)=1$ for all but finitely many primes and $|f(p)|<1$ for the remaining primes. This answers a question of Ruzsa. For the case $c = 0,$ we show, under the additional hypothesis $$\sum_{p }\frac{1-|f(p)|}{p} < \infty,$$ that $f$ has bounded partial sums if and only if $f(p) = χ(p)p^{it}$ for some non-principal Dirichlet character $χ$ modulo $q$ and $t \in \mathbb{R}$ except on a finite set of primes that contains the primes dividing $q$, wherein $|f(p)| < 1.$ This provides progress on another problem of Ruzsa and gives a new and simpler proof of a stronger form of Chudakov's conjecture. Along the way we obtain quantitative bounds for the discrepancy of the generalized characters improving on the previous work of Borwein, Choi and Coons.

We prove that any $q$-automatic multiplicative function $f:\mathbb{N}\to\mathbb{C}$ either essentially coincides with a Dirichlet character, or vanishes on all sufficiently large primes. This confirms a strong form of a conjecture of J. Bell, N. Bruin, and M. Coons.

We prove that any $q$-automatic completely multiplicative function $f:\mathbb{N}\to\mathbb{C}$ essentially coincides with a Dirichlet character. This answers a question of J. P. Allouche and L. Goldmakher and confirms a conjecture of J. Bell, N. Bruin and M. Coons for completely multiplicative functions. Further, assuming two standard conjectures in number theory, the methods allows for removing the assumption of completeness.

A celebrated theorem of Kleitman in extremal combinatorics states that a collection of binary vectors in $\{0, 1\}^n$ with diameter $d$ has cardinality at most that of a Hamming ball of radius $d/2$. In this paper, we give an algebraic proof of Kleitman's Theorem, by carefully choosing a pseudo-adjacency matrix for certain Hamming graphs, and applying the Cvetković bound on independence numbers. This method also allows us to prove several extensions and generalizations of Kleitman's Theorem to other allowed distance sets, in particular blocks of consecutive integers that do not necessarily grow linearly with $n$. We also improve on a theorem of Alon about subsets of $\mathbb{F}_{p}^{n}$ whose difference set does not intersect $\left\{0,1\right\}^{n}$ nontrivially.