Related papers: Improved bounds for the Fourier uniformity conject…
We construct a $1$-bounded completely multiplicative function $f$ whose logarithmically-averaged partial sums satisfy $$ \limsup_{x \rightarrow \infty} \frac{\left|\sum_{n \leq x} \frac{f(n)}{n}\right|}{1+\exp\left(\sum_{p \leq x}…
The Chowla conjecture asserts that the values of the Liouville function form a normal sequence of plus and minus ones. Reinterpreted in the language of ergodic theory it asserts that the Liouville function is generic for the Bernoulli…
On the sets of $2\pi$-periodic functions $f$, which are defined with a help of $(\psi, \beta)$-integrals of the functions $\varphi$ from $L_{1}$, we establish Lebesgue-type inequalities, in which the uniform norms of deviations of Fourier…
We study Liouville-type theorem for polyharmonic H\'enon-Lane-Emden system $(-\Delta)^mu=|x|^av^p,\; (-\Delta)^mv=|x|^bu^q$ when $m,p,q\geq 1, pq\ne 1$, and $a,b\geq 0$. It is a natural conjecture that the nonexistence of positive solutions…
We construct an example showing that the upper bound $[w]_{A_1}\log({\rm{e}}+[w]_{A_1})$ for the $L^1(w)\to L^{1,\infty}(w)$ norm of the Hilbert transform cannot be improved in general.
We investigate when the exponential sum $S_f(x,\alpha) := \sum_{n\le x}f(n)\mathrm{e}(n\alpha)$ is bounded, for a multiplicative function $f$ and $\alpha\in\mathbb{R}$. We show that under natural assumptions, $S_f(x,\alpha)$ is bounded only…
Let $f:\mathbb{N}\to \mathbb{D}$ be a multiplicative function. Under the merely necessary assumption that $f$ is non-pretentious (in the sense of Granville and Soundararajan), we show that for any pair of distinct integer shifts $h_1,h_2$…
We give a relatively simple proof that \[ \int _0^1\left |\sum _{n\leq x}d(n)e(n\alpha )\right |d\alpha \asymp \sqrt x.\]
We establish new inequalities involving classical exponents of Diophantine approximation. This allows for improving on the work of Davenport, Schmidt and Laurent concerning the maximum value of the exponent $\hat{\lambda}_{n}(\zeta)$ among…
In this note we prove that for all $a \in \mathbb{N}$, $x \in \mathbb{R}_+ \cup \{0\}$, and $s \in \mathbb{C}$ with $\Re(s) > a + 2$, the (alternating) weighted series of the Hurwitz zeta function, $$ \sum_{k \geq 1} (\pm 1)^k (k +…
The $\lambda$-superposition calculus is a successful approach to proving higher-order formulas. However, some parts of the calculus are extremely explosive, notably due to the higher-order unifier enumeration and the functional…
The Riemann-Lebesque Theorem is commonly proved in a few strokes using the theory of Lebesque integration. Here, the upper bound $2\pi|c_k(f)|\le S_k(f)-s_k(f)$ for the Fourier coefficients $c_k$ is proved in terms of majoring and minoring…
Let $X$ be a finite simply connected CW complex of dimension $n$. The loop space homology $H\_*(\Omega X;\mathbb Q)$ is the universal enveloping algebra of a graded Lie algebra $L\_X$ isomorphic with $ pi\_{*-1} (X)\otimes \mathbb Q$. Let…
The special case of the hypergeometric function $_{2}F_{1}$ represents the binomial series $(1+x)^{\alpha}=\sum_{n=0}^{\infty}(\:\alpha n\:)x^{n}$ that always converges when $|x|<1$. Convergence of the series at the endpoints, $x=\pm 1$,…
The Uniform convergence of double Fourier-Legendre series of function of bounded Harmonic variation and bounded partial $\Lambda $-variation are investigated.
We establish a uniform Hausdorff dimension result for the inverse image sets of real-valued strictly $\alpha$-stable L\'evy processes with $1< \alpha\le 2$. This extends a theorem of Kaufman for Brownian motion. Our method is different from…
The Dirichlet lambda function $\lambda(s)$ is defined for $\mathrm{Re}(s) > 1$ by \[ \lambda(s) = \sum_{n=0}^{\infty} \frac{1}{(2n+1)^s}. \] This function was initially studied by Euler on the real line, where he denoted it by $N(s)$. In…
We prove the logarithmic Sarnak conjecture for sequences of subquadratic word growth. In particular, we show that the Liouville function has at least quadratically many sign patterns. We deduce the main theorem from a variant which bounds…
We improve bounds on the degree and sparsity of Boolean functions representing the Legendre symbol as well as on the $N$th linear complexity of the Legendre sequence. We also prove similar results for both the Liouville function for…
Let $f$ be a fixed self-contragradient Hecke-Maass form for $SL(3,\mathbb Z)$, and $u$ an even Hecke-Maass form for $SL(2,\mathbb Z)$ with Laplace eigenvalue $1/4+k^2$, $k>0$. A subconvexity bound $O\big(k^{4/3+\varepsilon}\big)$ in the…