Related papers: On a Goldbach-type problem for the Liouville funct…
Let $\lambda$ denote the Liouville function. We show that, as $X \rightarrow \infty$, $$\int_{X}^{2X} \sup_{\substack{P(Y)\in \mathbb{R}[Y]\\ deg(P)\leq k}} \Big | \sum_{x \leq n \leq x + H} \lambda(n) e(-P(n)) \Big |\ dx = o ( X H)$$ for…
Let $\lambda$ denote the Liouville function for function fields. We prove that for a fixed $q$, given $h \ll \sqrt{N}$ and $h(N) \to \infty$ arbitrarily slowly as $N \to \infty$, then \begin{equation*} \frac{1}{q^N}\sum_{G_0 \in…
Let $\lambda_{\phi}(n)$ be the Fourier coefficients of a Hecke holomorphic or Hecke--Maass cusp form on ${\rm SL}_2(\mathbb Z)$, and $f$ be any multiplicative function that satisfies two mild hypotheses. We establish a non-trivial upper…
Let $\lambda (n)$ denote the Liouville function. Complementary to the prime number theorem, Chowla conjectured that \vspace{1mm} \noindent {\bf Conjecture (Chowla).} {\em \begin{equation} \label{a.1} \sum_{n\le x} \lambda (f(n)) =o(x)…
The objective of this paper is to obtain asymptotic results for shifted sums of multiplicative functions of the form $g \ast 1$, where the function $g$ satisfies the Ramanujan conjecture and has conjectured upper bounds on square moments of…
Define {\em the Liouville function for $A$}, a subset of the primes $P$, by $\lambda_{A}(n) =(-1)^{\Omega_A(n)}$ where $\Omega_A(n)$ is the number of prime factors of $n$ coming from $A$ counting multiplicity. For the traditional Liouville…
We define a random Liouville function (\lambda_Q) which depends on a random set (Q) of primes and prove that (A_Q = \{n \in \mathbb{N} | \lambda_Q(n) = -1 \}) is normal almost everywhere. This fact enables us to generate a family of normal…
Due to the distribution of primes among integers, we establish an upper bound for the probability $\mathbb{P}_n$ that the Goldbach conjecture fails. Assuming the conjecture holds true for all even number less than $2N$, we prove this…
We present several Liouville type results for the $p$-Laplacian in $\R^N$. Suppose that $h$ is a nonnegative regular function such that $$ h(x) = a|x|^\gamma\ {\rm for}\ |x|\ {\rm large},\ a>0\ {\rm and}\ \gamma> -p. $$ We obtain the…
We give a new proof of Fatou's theorem: {\em if an algebraic function has a power series expansion with bounded integer coefficients, then it must be a rational function.} This result is applied to show that for any non--trivial completely…
We prove some results on the behavior of infinite sums of the form $\Sigma f\circ T^n(x)\frac{1}{n}$, where $T:S^1\to S^1$ is an irrational circle rotation and $f$ is a mean-zero function on $S^1$. In particular, we show that for a certain…
In this paper, we estimate the shifted convolution sum \[\sum_{n\geqslant1}\lambda_1(1,n)\lambda_2(n+h)V\Big(\frac{n}{X}\Big),\] where $V$ is a smooth function with support in $[1,2]$, $1\leqslant|h|\leqslant X$, $\lambda_1(1,n)$ and…
Let $\lambda$ denote the Liouville function. A problem posed by Chowla and by Cassaigne-Ferenczi-Mauduit-Rivat-S\'ark\"ozy asks to show that if $P(x)\in \mathbb{Z}[x]$, then the sequence $\lambda(P(n))$ changes sign infinitely often,…
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…
There has been recent interest in a hybrid form of the celebrated conjectures of Hardy-Littlewood and of Chowla. We prove that for any $k,\ell\ge1$ and distinct integers $h_2,\ldots,h_k,a_1,\ldots,a_\ell$, we have $$\sum_{n\leq…
We show that for any $\varepsilon > 0$, prime $q$ sufficiently large with respect to $1 / \varepsilon$ and residue class $(a,q) = 1$, there exist two integers $m, n \leq q^{5/2 + \varepsilon}$ with $m \equiv n \equiv a \pmod{q}$ such that…
We consider vanishing properties of exponential sums of the Liouville function $\lambda$ of the form $$ \lim_{H\to\infty}\limsup_{X\to\infty}\frac{1}{\log X}\sum_{m\leq X}\frac{1}{m}\sup_{\alpha\in C}\bigg|\frac{1}{H}\sum_{h\leq…
We show that the equation $\lambda_1 n_1^2 + ... + \lambda_s n_s^2 = 0$ admits non-trivial solutions in any subset of $[N]$ of density $(\log N)^{-c_s}$, provided that $s \geq 7$ and the coefficients $\lambda_i$ sum to zero and satisfy…
Let $\lambda$ denote the Liouville function. We show that the logarithmic mean of $\lambda(\lfloor \alpha_1n\rfloor)\lambda(\lfloor \alpha_2n\rfloor)$ is $0$ whenever $\alpha_1,\alpha_2$ are positive reals with $\alpha_1/\alpha_2$…
The lambda-dilate of a set A is lambda*A={lambda a : a \in A}. We give an asymptotically sharp lower bound on the size of sumsets of the form lambda_1*A+...+lambda_k*A for arbitrary integers lambda_1,...,lambda_k and integer sets A. We also…