Source author record

Carlo Sanna

Carlo Sanna appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

15works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2022arXiv

RLWE and PLWE over cyclotomic fields are not equivalent

We prove that the Ring Learning With Errors (RLWE) and the Polynomial Learning With Errors (PLWE) problems over the cyclotomic field $\mathbb{Q}(ζ_n)$ are not equivalent. Precisely, we show that reducing one problem to the other increases the noise by a factor that is more than polynomial in $n$. We do so by providing a lower bound, holding for infinitely many positive integers $n$, for the condition number of the Vandermonde matrix of the $n$th cyclotomic polynomial.

preprint2022arXiv

Zeckendorf representation of multiplicative inverses modulo a Fibonacci number

Prempreesuk, Noppakaew, and Pongsriiam determined the Zeckendorf representation of the multiplicative inverse of $2$ modulo $F_n$, for every positive integer $n$ not divisible by $3$, where $F_n$ denotes the $n$th Fibonacci number. We determine the Zeckendorf representation of the multiplicative inverse of $a$ modulo $F_n$, for every fixed integer $a \geq 3$ and for all positive integers $n$ with $\gcd(a, F_n) = 1$. Our proof makes use of the so-called base-$φ$ expansion of real numbers.

preprint2020arXiv

Greedy approximations by signed harmonic sums and the Thue--Morse sequence

Given a real number $τ$, we study the approximation of $τ$ by signed harmonic sums $σ_N(τ) := \sum_{n \leq N}{s_n(τ)}/n$, where the sequence of signs $(s_N(τ))_{N \in\mathbb{N}}$ is defined "greedily" by setting $s_{N+1}(τ) := +1$ if $σ_N(τ) \leq τ$, and $s_{N+1}(τ) := -1$ otherwise. Precisely, we compute the limit points and the decay rate of the sequence $(σ_N(τ)-τ)_{N \in \mathbb{N}}$. Moreover, we give an accurate description of the behavior of the sequence of signs $(s_N(τ))_{N\in\mathbb{N}}$, highlighting a surprising connection with the Thue--Morse sequence.

preprint2020arXiv

On the divisibility of the rank of appearance of a Lucas sequence

Let $U = (U_n)_{n \geq 0}$ be a Lucas sequence and, for every prime number $p$, let $ρ_U(p)$ be the rank of appearance of $p$ in $U$, that is, the smallest positive integer $k$ such that $p$ divides $U_k$, whenever it exists. Furthermore, let $d$ be an odd positive integer. Under some mild hypotheses, we prove an asymptotic formula for the number of primes $p \leq x$ such that $d$ divides $ρ_U(p)$, as $x \to +\infty$.

preprint2020arXiv

On the l.c.m. of shifted Fibonacci numbers

Let $(F_n)_{n \geq 1}$ be the sequence of Fibonacci numbers. Guy and Matiyasevich proved that \begin{equation*} \log \operatorname{lcm} (F_1, F_2, \dots, F_n) \sim \frac{3 \log α}{π^2} \cdot n^2 \quad \text{as } n \to +\infty, \end{equation*} where $\operatorname{lcm}$ is the least common multiple and $α:= \big(1 + \sqrt{5}) / 2$ is the golden ratio. We prove that for every periodic sequence $\mathbf{s} = (s_n)_{n \geq 1}$ in $\{-1,+1\}$ there exists an effectively computable rational number $C_{\mathbf{s}} > 0$ such that \begin{equation*} \log \operatorname{lcm} (F_3 + s_3, F_4 + s_4, \dots, F_n + s_n) \sim \frac{3 \log α}{π^2} \cdot C_\mathbf{s} \cdot n^2 , \quad \text{as } n \to +\infty . \end{equation*} Moreover, we show that if $(s_n)_{n \geq 1}$ is a sequence of independent uniformly distributed random variables in $\{-1,+1\}$ then \begin{equation*} \mathbb{E}\big[\log \operatorname{lcm} (F_3 + s_3, F_4 + s_4, \dots, F_n + s_n)\big] \sim \frac{3 \log α}{π^2} \cdot \frac{15 \operatorname{Li}_2(1 / 16)}{2} \cdot n^2 , \quad \text{as } n \to +\infty , \end{equation*} where $\operatorname{Li}_2$ is the dilogarithm function.

preprint2020arXiv

Practical central binomial coefficients

A practical number is a positive integer $n$ such that all positive integers less than $n$ can be written as a sum of distinct divisors of $n$. Leonetti and Sanna proved that, as $x \to +\infty$, the central binomial coefficient $\binom{2n}{n}$ is a practical number for all positive integers $n \leq x$ but at most $O(x^{0.88097})$ exceptions. We improve this result by reducing the number of exceptions to $\exp\!\big(C (\log x)^{4/5} \log \log x\big)$, where $C > 0$ is a constant.

preprint2018arXiv

$p$-adic quotient sets

For $A \subseteq \mathbb{N}$, the question of when $R(A) = \{a/a' : a, a' \in A\}$ is dense in the positive real numbers $\mathbb{R}_+$ has been examined by many authors over the years. In contrast, the $p$-adic setting is largely unexplored. We investigate conditions under which $R(A)$ is dense in the $p$-adic numbers. Techniques from elementary, algebraic, and analytic number theory are employed in this endeavor. We also pose many open questions that should be of general interest.

preprint2014arXiv

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.

preprint2014arXiv

On the sum of digits of the factorial

Let b > 1 be an integer and denote by s_b(m) the sum of the digits of the positive integer m when is written in base b. We prove that s_b(n!) > C_b log n log log log n for each integer n > e, where C_b is a positive constant depending only on b. This improves of a factor log log log n a previous lower bound for s_b(n!) given by Luca. We prove also the same inequality but with n! replaced by the least common multiple of 1,2,...,n.

preprint2013arXiv

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.

preprint2013arXiv

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.

preprint2012arXiv

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.