Searcharxiv⌕ Search

arXiv subjects

Carlo Sanna

Publications and source records attributed to Carlo Sanna.

58 records · Page 4Linked to original sources

Counting arithmetic formulas

An arithmetic formula is an expression involving only the constant $1$, and the binary operations of addition and multiplication, with multiplication by $1$ not allowed. We obtain an asymptotic formula for the number of arithmetic formulas evaluating to $n$ as $n$ goes to infinity, solving a conjecture of E. K. Gnang and D. Zeilberger. We give also an asymptotic formula for the number of arithmetic formulas evaluating to $n$ and using exactly $k$ multiplications. Finally we analyze three specific encodings for producing arithmetic formulas. For almost all integers $n$, we compare the lengths of the arithmetic formulas for $n$ that each encoding produces with the length of the shortest formula for $n$ (which we estimate from below). We briefly discuss the time-space tradeoff offered by each.

math.CO↗

Covering an arithmetic progression with geometric progressions and vice versa

We show that there exists a positive constant C such that the following holds: Given an infinite arithmetic progression A of real numbers and a sufficiently large integer n (depending on A), there needs at least Cn geometric progressions to cover the first n terms of A. A similar result is presented, with the role of arithmetic and geometric progressions reversed.

math.NT↗

On the asymptotic density of the support of a Dirichlet convolution

Let v be a multiplicative arithmetic function with support of positive asymptotic density. We prove that for any not identically zero arithmetic function f such that \sum_{f(n) \neq 0} 1 / n < \infty, the support of the Dirichlet convolution f * v possesses a positive asymptotic density. When f is a multiplicative function, we give also a quantitative version of this claim. This generalizes a previous result of P. Pollack and the author, concerning the support of Möbius and Dirichlet transforms of arithmetic functions.

math.NT↗

Uncertainty principles connected with the Möbius inversion formula

We say that two arithmetic functions f and g form a Mobius pair if f(n) = \sum_{d \mid n} g(d) for all natural numbers n. In that case, g can be expressed in terms of f by the familiar Mobius inversion formula of elementary number theory. In a previous paper, the first-named author showed that if the members f and g of a Mobius pair are both finitely supported, then both functions vanish identically. Here we prove two significantly stronger versions of this uncertainty principle. A corollary is that in a nonzero Mobius pair, either \sum_{n \in supp(f)} 1/n or \sum_{n \in supp(g)} 1/n diverges.

math.NT↗