In part I of this paper we studied additive decomposability of the set $\F_y$ of th $y$-smooth numbers and the multiplicative decomposability of the shifted set $\g_y=\F_y+\{1\}$. In this paper, focusing on the case of 'large' functions $y$, we continue the study of these problems. Further, we also investigate a problem related to the m-decomposability of $k$-term sumsets, for arbitrary $k$.
A characterization of multiplicative (and additive) arithmetical functions is given. Using this characterization, we show that the group of multiplicative arithmetical functions is isomorphic to the group of additive arithmetical functions.
Fix $k \ge 3$. If a multiplicative function $f$ satisfies \[ f(x_1+x_2+\dots+x_k) = f(x_1) + f(x_2) + \dots + f(x_k) \] for arbitrary positive triangular numbers $x_1, x_2, \dots, x_k$, then $f$ is the identity function. This extends Chung and Phong's work for $k=2$.
P. V. Chung showed that there are many multiplicative functions $f$ which satisfy $f(m^2+n^2) = f(m^2)+f(n^2)$ for all positive integers $m$ and $n$. In this article, we show that if more than $2$ squares in the additive condition are involved, then such $f$ is uniquely determined. That is, if a multiplicative function $f$ satisfies \[ f(a_1^2 + a_2^2 + \dotsb + a_k^2) = f(a_1^2) + f(a_2^2) + \dotsb + f(a_k^2) \] for arbitrary positive integers $a_i$, then $f$ is the identity function. In this sense, we call the set of all posotive squares a \emph{$k$-additive uniqueness set} for multiplicativ…
Let $R$ be a commutative ring with identity. A unit $u$ of $R$ is called exceptional if $1-u$ is also a unit. When $R$ is a finite commutative ring, we determine the additive and multiplicative structures of its exceptional units; and then as an application we find a necessary and sufficient condition under which $R$ is generated by its exceptional units.
Let $f$ be a multiplicative function which satisfies \[ f(a^2+b^2+c^2+d^2) = f(a^2+b^2)+f(c^2+d^2) \] for positive integers $a$, $b$, $c$, and $d$. We show that $f$ is the identity function provided that $f(3)\,f(11) \ne 0$. Otherwise, $f(n)=0$ for all $n \ge 2$ except for $n=3,9,11$.
Let $b$ be a numeration base. A $b$-additive Ramanujan-Hardy number $N$ is an integer for which there exists at least an integer $M$, called additive multiplier, such that the product of $M$ and the sum of base $b$ digits of $N$, added to the reversal of the product, gives $N$. We show that for any $b$ there exists an infinity of $b$-additive Ramanujan-Hardy numbers and an infinity of additive multipliers. A $b$-multiplicative Ramanujan-Hardy number $N$ is an integer for which there exists at least an integer $M$, called multiplicative multiplier, such that the product of $M$ and the sum of ba…
In [10] the third author of this paper presented two conjectures on the additive decomposability of the sequence of ''smooth'' (or ''friable'') numbers. Elsholtz and Harper [4] proved (by using sieve methods) the second (less demanding) conjecture. The goal of this paper is to extend and sharpen their result in three directions by using a different approach (based on the theory of $S$-unit equations).
Let $k \geq 3$. If a multiplicative function $f$ satisfies \[ f(a_1^3 + a_2^3 + \cdots + a_k^3) = f(a_1^3) + f(a_2^3) + \cdots + f(a_k^3) \] for all $a_1, a_2, \ldots, a_k \in \mathbb{N}$, then $f$ is the identity function. The set of positive cubes is said to be a $k$-additive uniqueness set for multiplicative functions. But, the condition for $k=2$ can be satisfied by infinitely many multiplicative functions. Besides, if $k \geq 3$ and a multiplicative function $g$ satisfies \[ g(a_1^3 + a_2^3 + \cdots + a_k^3) = g(a_1)^3 + g(a_2)^3 + \cdots + g(a_k)^3 \] for all $a_1, a_2, \ldots, a_k \in \…
Let $\mathtt{PRIMES}$ be the set of all primes. We show that a multiplicative function which satisfies \[ f(p+q-2) = f(p) + f(q) - f(2) \text{ for }p,q \in \mathtt{PRIMES} \] is one of the following: \begin{enumerate} \item $f$ is the identity function \item $f$ is the constant function with $f(n)=1$ \item $f(n)=0$ for $n \ge2$ unless $n$ is odd and squareful. \end{enumerate} As a consequence, a multiplicative function which satisfies \[ f(a+b) = f(a) + f(b) \text{ for }a,b \in \mathtt{PRIMES}-1 \] is the identity function.
We examine how closely a multiplicative function resembles an additive function. Given a multiplicative function $g$ and an additive function $f$, we examine the size of the quantity $E(f,g;x)=\# \{n\leq x:f(n)=g(n)\}$. We establish a lower bound for $E(Ω,g,x)$.
Generalizing a result of S.V. Konyagin and D.R. Heath--Brown, we prove, in particular, that for any multiplicative subgroup R of Z/pZ and any nonzero elements mu_1,...,mu_k the following holds |R \cap (R+mu_1) \cap ... \cap (R+mu_k)| \ll_k |R|^{1/2+alpha_k}, provided by 1 \ll_k |R| \ll_k p^{1-β_k}, where alpha_k, beta_k are some sequences of positive reals and alpha_k, beta_k tend to zero. Besides we show that for an arbitrary subgroup R, |R| < p^{1/2} one have |R\pm R| > |R|^{5/3} \log^{-1/2} |R|.
In the paper we obtain new estimates for binary and ternary sums of multiplicative characters with additive convolutions of characteristic functions of sets, having small additive doubling. In particular, we improve a result of M.-C. Chang. The proof uses Croot-Sisask almost periodicity lemma.
We give a construction of a set $A \subset \mathbb N$ such that any subset $A' \subset A$ with $|A'| \gg |A|^{2/3}$ is neither an additive nor multiplicative Sidon set. In doing so, we refute a conjecture of Klurman and Pohoata.
In 1952, Perron showed that quadratic residues in a field of prime order satisfy certain ad- ditive properties. This result has been generalized in different directions, and our contribution is to provide a further generalization concerning multiplicative quadratic and cubic characters over any finite field. In particular, recalling that a character partitions the multiplicative group of the field into cosets with respect to its kernel, we will derive the number of representations of an element as a sum of two elements belonging to two given cosets. These numbers are then related to the equati…
Let $τ$ 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 X}f(n)τ(n-1)$. We also derive several applications to multiplicative functions in the automorphic context, including the functions $λ_π(n), \,μ(n)λ_π(n)$ and $λ_ϕ(n)^l$. Here $λ_π(n)$ denotes the $n$-th Dirichlet coefficient of $\text{GL}_m$ automorphic $L$-function $L(s,π)$ for an automorphic irreducible cuspidal representation $π$, $λ_ϕ(n)$ denotes the $n$-th Fourier coeffi…
For a prime $p$ and a polynomial $F(X,Y)$ over a finite field $\mathbb{F}_p$ of $p$ elements, we give upper bounds on the number of solutions $$ F(x,y)=0, \quad x\in\mathcal{A}, \ y\in \mathcal{B}, $$ where $\mathcal{A}$ and $\mathcal{B}$ are very small intervals or subgroups. These bounds can be considered as positive characteristic analogues of the result of Bombieri and Pila (1989) on sparsity of integral points on curves. As an application we prove that distinct consecutive elements in sequences generated compositions of several rational functions are not contained in any short intervals o…
We study sets of recurrence, in both measurable and topological settings, for actions of $(\mathbb{N},\times)$ and $(\mathbb{Q}^{>0},\times)$. In particular, we show that autocorrelation sequences of positive functions arising from multiplicative systems have positive additive averages. We also give criteria for when sets of the form $\{(an+b)^{\ell}/(cn+d)^{\ell}: n \in \mathbb{N}\}$ are sets of multiplicative recurrence, and consequently we recover two recent results in number theory regarding completely multiplicative functions and the Omega function.
We consider the multiplicative structure of sets of the form AA+1, where where A is a large, finite set of real numbers. In particular, we show that the additively shifted product set, AA+1 must have a large part outside of any generalized geometric progression of comparable length. We prove an analogous result in finite fields as well.
We prove that for sets $A, B, C \subset \mathbb{F}_p$ with $|A|=|B|=|C| \leq \sqrt{p}$ and a fixed $0 \neq d \in \mathbb{F}_p$ holds $$ \max(|AB|, |(A+d)C|) \gg|A|^{1+1/26}. $$ In particular, $$ |A(A+1)| \gg |A|^{1 + 1/26} $$ and $$ \max(|AA|, |(A+1)(A+1)|) \gg |A|^{1 + 1/26}. $$ The first estimate improves the bound by Roche-Newton and Jones. In the general case of a field of order $q = p^m$ we obtain similar estimates with the exponent $1+1/559 + o(1)$ under the condition that $AB$ does not have large intersection with any subfield coset, answering a question of Shparlinski. Finally, we prov…
An additive 2-basis with range n is restricted if its largest element is n/2. Among the restricted 2-bases of given length k, the ones that have the greatest range are extremal restricted. We describe an algorithm that finds the extremal restricted 2-bases of a given length, and we list them for lengths up to k = 41.
The paper is devoted to some applications of Stepanov method. In the first part of the paper we obtain the estimate of the cardinality of the set, which is obtained as an intersection of additive shifts of some different subgroups of F^*_p. In the second part we prove a new upper bound for Heilbronn's exponential sum and obtain a series of applications of our result to distribution of Fermat quotients. Also we study additive decompositions of multiplicative subgroups.
We investigate sumset decompositions of quite general sets with restricted prime factors. We manage to handle certain sets, such as the smooth numbers, even though they have little sieve amenability, and conclude that these sets cannot be written as a ternary sumset. This proves a conjecture by Sárközy. We also clean up and sharpen existing results on sumset decompositions of the prime numbers.
Let G be any additive abelian group with cyclic torsion subgroup, and let A, B and C be finite subsets of G with cardinality n>0. We show that there is a numbering {a_i}_{i=1}^n of the elements of A, a numbering {b_i}_{i=1}^n of the elements of B and a numbering {c_i}_{i=1}^n of the elements of C, such that all the sums a_i+b_i+c_i (i=1,...,n) are distinct. Consequently, each subcube of the Latin cube formed by the Cayley addition table of Z/NZ contains a Latin transversal. This additive theorem can be further extended via restricted sumsets in a field.
In this paper, we consider some additive properties of integers with restricted digit expansions. Let $b\geq 3$ be an integer and $B_b$ be the set of integers whose base $b$ expansions have only digits $\{0,1\}.$ Let $a,b,c$ be three integers greater than $2.$ We give some estimates on the size of $(B_{a}+B_{b})\cap B_{c}.$ In particular, under mild conditions, $(B_{a}+B_{b})\cap B_{c}$ is a very thin set in the following sense that for each $ε>0,$ as $N\to\infty,$ \[ \#((B_{a}+B_{b})\cap B_{c} \cap [1,N])=O(N^ε). \]
