Related papers: The Erd\H{o}s discrepancy problem over the squaref…

Let $a < b$ be multiplicatively independent integers, both at least $2$. Let $A,B$ be closed subsets of $[0,1]$ that are forward invariant under multiplication by $a$, $b$ respectively, and let $C := A\times B$. An old conjecture of…

The Erd\H{o}s-Rogers function $f_{s,t}$ measures how large a $K_s$-free induced subgraph there must be in a $K_t$-free graph on $n$ vertices. While good estimates for $f_{s,t}$ are known for some pairs $(s,t)$, notably when $t=s+1$, in…

A conjecture of Berge and Fulkerson (1971) states that every cubic bridgeless graph contains 6 perfect matchings covering each edge precisely twice, which easily implies that every cubic bridgeless graph has three perfect matchings with…

Eberhard and Pohoata conjectured that every $3$-cube-free subset of $[N]$ has size less than $2N/3+o(N)$. In this paper we show that if we replace $[N]$ with $\mathbb{Z}_N$ the upper bound of $2N/3$ holds, and the bound is tight when $N$ is…

We prove that for every $c\in(1,23/22)$, every probability space $(X,\mathcal{B},\mu)$ equipped with two commuting measure-preserving transformations $T,S\colon X\to X$ and every $f,g\in L^{\infty}_{\mu}(X)$ we have that the…

We discuss certain identities involving $\mu(n)$ and $M(x)=\sum_{n\leq x}\mu(n)$, the functions of M\"{o}bius and Mertens. These identities allow calculation of $M(N^d)$, for $d=2,3,4,\ldots\ $, as a sum of $O_d \left( N^d(\log N)^{2d -…

The classical Frobenius problem is to compute the largest number g not representable as a non-negative integer linear combination of non-negative integers x_1, x_2, ..., x_k, where gcd(x_1, x_2, ..., x_k) = 1. In this paper we consider…

Let $f(n)$ be a multiplicative function satisfying $|f(n)|\leq 1$, $q$ $(\leq N^2)$ be a positive integer and $a$ be an integer with $(a,\,q)=1$. In this paper, we shall prove that $$\sum_{\substack{n\leq N\\ (n,\,q)=1}}f(n)e({a\bar{n}\over…

We study logarithmically averaged binary correlations of bounded multiplicative functions $g_1$ and $g_2$. A breakthrough on these correlations was made by Tao, who showed that the correlation average is negligibly small whenever $g_1$ or…

We prove that every integer $n \geq 10$ such that $n \not\equiv 1 \text{mod} 4$ can be written as the sum of the square of a prime and a square-free number. This makes explicit a theorem of Erd\H{o}s that every sufficiently large integer of…

Let $l\geq 6$ be any integer, where $l\equiv 2$ mod $4$. Suppose that $\mu(\tau)d\tau$ is a measure with bounded variation and is supported on a compact subset of the complex plane, where…

We present two short proofs giving the best known asymptotic lower bound for the maximum element in a set of $n$ positive integers with distinct subset sums.

Erd\H{o}s, Gallai, and Tuza posed the following problem: given an $n$-vertex graph $G$, let $\tau_1(G)$ denote the smallest size of a set of edges whose deletion makes $G$ triangle-free, and let $\alpha_1(G)$ denote the largest size of a…

Let $\tau$ denote the divisor function, and $f$ be any multiplicative function that satisfies some mild hypotheses. We establish the asymptotic formula or non-trivial upper bound for the shifted convolution sum $\sum_{n \leq…

We give a quintet of proofs resulting from questions posed by Erd\H{o}s. These questions concern ordinary lines in planar point sets, sequences with uniformly small exponential sums, $K_4$-free $4$-critical graphs with few chords in any…

We prove that the divisor function $d(n)$ counting the number of divisors of the integer $n$, is a good weighting function for the pointwise ergodic theorem. For any measurable dynamical system $(X, {\mathcal A},\nu,\tau)$ and any $f\in…

Let $E_1$ and $E_2$ be $\overline{\mathbb{Q}}$-nonisogenous, semistable elliptic curves over $\mathbb{Q}$, having respective conductors $N_{E_1}$ and $N_{E_2}$ and both without complex multiplication. For each prime $p$, denote by…

Let $L^2(X,\Sigma,\mu,\tau)$ be a measure-preserving system, with $\tau$ a $\mathbb{Z}$-action. In this note, we prove that the ergodic averages along integer-valued polynomials, $P(n)$, \[ M_N(f):= \frac{1}{N}\sum_{n \leq N} \tau^{P(n)} f…

Let $f(n)$ denote a multiplicative function with range $\{-1,0,1\}$, and let $F(x) = \sum_{n\leq x} f(n)$. Then $F(x)/\sqrt{x} = a\sqrt{x} + b + E(x)$, where $a$ and $b$ are constants and $E(x)$ is an error term that either tends to $0$ in…

Let $\mathcal{U}$ be the set of positive odd integers that cannot be represented as the sum of a prime and a power of two. In this paper, we prove that $\mathcal{U}$ is not a union of finitely many infinite arithmetic progressions and a set…