Questions tagged [arithmetic-functions]
An arithmetic function is one whose domain is the positive integers and whose range is a subset of the complex numbers. There are a number of important number-theoretic examples.
142 questions
1
vote
0
answers
61
views
Dynamics of the arithmetic–derivative family $f_k(n)=n+k(D(n)-1)$
Let $D(n)$ be the arithmetic derivative, defined by: $D(p)=1$ for primes $p$, $D(ab)=D(a)b+aD(b).$
For a fixed integer $k$, consider the dynamical system
$$f_k(n)=n+k(D(n)−1).$$
I am interested in the ...
5
votes
0
answers
312
views
Is there a Carmichael number $n$ satisfying $\sigma(n)\equiv0 \pmod{n+1}$?
Question: Is there a Carmichael number $n$ satisfying $\sigma(n)\equiv0\pmod{n+1}$ ?
Motivation: It can be proved that a positive integer $n$ simultaneously satisfying $n\equiv1\pmod{\phi(n)}$ and $\...
0
votes
0
answers
110
views
Defining a Pre-Addition Hyperoperation
The hyperoperation sequence (addition, multiplication, exponentiation, etc.) is typically defined such that each level is the iteration of the previous one. For instance:
Addition a + a iterated a - ...
2
votes
2
answers
228
views
Siegel-Walfisz type estimates for $k$-fold divisor functions
In my recent research, I came across the problem of determining
$$
T_k(y;q,a)=\sum_{\substack{n \le y\\ n\equiv a\pmod q}}\tau_k(n),
$$
where $\tau_k(n)$ is the number of ways to express $n$ as a ...
6
votes
1
answer
371
views
Find the smallest odd integer $n>1$ such that $\phi(\tau(n))=\tau(\phi(n))$
Question: What is the smallest odd integer $n>1$ such that $\phi(\tau(n))=\tau(\phi(n))$?
OEIS A078148 has a list of the positive integers $n$ which satiafies $\phi(\tau(n))=\tau(\phi(n))$, where $\...
0
votes
0
answers
373
views
Additive combinatorics for Ramanujan's tau function
Ramanujan's tau function defined over $\mathbb Z^+=\{1,2,3,\ldots\}$ is given by $$q\prod_{n=1}^\infty (1-q^n)^{24}=\sum_{n=1}^\infty\tau(n)q^n\quad \ (|q|<1).$$
It plays an important role in the ...
0
votes
0
answers
293
views
Pythagorean triples and Ramanujan's tau function
For integers $x$, $y$ and $z$, if $x^2+y^2=z^2$ then the ordered triple $(x,y,z)$ is called a Pythagorean triple. It is well known that Pythagorean triples $(x,y,z)$ with $2\mid y$ have the form
$(k(m^...
1
vote
0
answers
311
views
On the coefficients of the $j$-function
For the well-known $j$-function in the theory of modular forms, we can write
$$j(q)=\frac1q+\sum_{n=0}^\infty c(n)q^n,$$
where the coefficients $c(n)\ (n=0,1,\ldots)$ are positive integers. It is ...
2
votes
0
answers
113
views
Can we write this function as a convolution product?
Let $\lambda_{sym^{r}f}(n)$ be the $n-$th coefficient in the
Dirichlet series representing the symmetric power $L-$function
attached to a primitive form $f$ of weight $k$ and level $N$. It is known ...
1
vote
0
answers
306
views
Questions on the reciprocals of the values of the tau function
Ramanujan's tau function is given by
$$q\prod_{n=1}^\infty (1-q^n)^{24}=\sum_{n=1}^\infty\tau(n)q^n\quad \ (|q|<1).$$
This function plays an important role in the the theory of modular forms.
...
7
votes
1
answer
623
views
An extension of Lehmer's conjecture on Ramanujan's tau function
For a finite additive abelian group $G$, its Davenport constant $D(G)$ is the smallest positive integer $n$ such that for any $a_1,\ldots,a_n\in G$ there is a nonempty subset $I$ of $\{1,\ldots,n\}$ ...
0
votes
0
answers
392
views
On Ramanujan's tau function
The Ramanujan tau function is given by
$$q\prod_{n=1}^\infty (1-q^n)^{24}=\sum_{n=1}^\infty\tau(n)q^n\quad \ (|q|<1).$$
The values of $\tau(1),\tau(2),\ldots,\tau(10)$ are as follows:
$$1,\ -24,\ ...
3
votes
1
answer
154
views
References: rigorous algorithms for elementary computations in base-b with complexity estimates
Definitions/Notation: Fix positive integers $b$ and $M$. Consider the set of real numbers which can be exactly expressed with $2M+1$ coefficients in base $b$, defined by
$$\mathcal{X}(b,M):=\{x\in \...
4
votes
0
answers
205
views
Identities to go from $\sum_{n\leq x} \mu(n) \log \frac{x}{n}$ to $M(x) = \sum_{n\leq x} \mu(n)$?
Let $\mu$ be the Möbius function. Say we have a bound on $\check{M}(x) = \sum_{n\leq x} \mu(n) \log \frac{x}{n}$ of the form $|\check{M}(x)|\leq \epsilon x$ for all $x\geq x_0$.
It is then easy to ...
4
votes
1
answer
410
views
First occurrence of formula for $\sum_{n\leq x} \mu(n) \log n$ in terms of $\psi(y)-\lfloor y\rfloor$?
The identity contained in the last two displayed equations in the following passage (from page 110 in Ayoub's An Introduction to the Analytic Theory of Numbers, 1963) gives us right away a simple ...
3
votes
1
answer
251
views
Brun-Titchmarsh for sum over square divisors
Let $f(n)$ be a nonnegative arithmetic function satisfying
$f(p^l) \leq A_1^l$ for all primes $p$, integers $l\geq 1$, and some constant $A_1$;
$f(n) \leq A_2 n^\varepsilon$ for all $\varepsilon > ...
31
votes
0
answers
910
views
Is it true that $\left\{\frac{\sigma(n)}{\varphi(n)}:\ n\in\mathbb{Z}_{\geq 1}\right\}=\{r\in\mathbb Q:\ r\ge1\}$?
For any positive integer $n$, let $\sigma(n)$ be the sum of all positive divisors of $n$.
Clearly, $\sigma(n)\ge n\ge \varphi(n)$ for all $n\in\mathbb{Z}_{\geq 1}$, where $\varphi$ is Euler's totient ...
18
votes
5
answers
2k
views
Square roots and prime numbers
Definitions:
Here I present a novel conjecture using basic mathematical tools like the sum of the divisors of an integer $n$ called $\sigma(n)$, the sum of the squares of the positive divisors of $n$ ...
4
votes
1
answer
227
views
Behavior of $m(x)\sqrt{x}$ where $m(x)=\sum_{n\leq x}\frac{\mu(n)}{n}$
Let $M(x) = \sum_{n\leq x} \mu(n)$ and $m(x) = \sum_{n\leq x} \frac{\mu(n)}{n}$, where $\mu(n)$ is the Möbius function.
We know that (it is not the best known bounds):
$$\limsup_{x \to \infty} M(x)x^{-...
1
vote
0
answers
146
views
Where have you encountered the following arithmetic function?
The following arithmetic function is studied by Zagier in connection with values at odd negative integers of zeta functions of real quadratic fields:
$$e_r (n)=\sum_{\underset{|x|\leq n}{x^{2}\equiv n\...
0
votes
0
answers
238
views
Possible implications of the bound $\sum_{n\leq x}\sum_{m_{1}+m_{2}=n}\lambda\left(m_{1}\right)\lambda\left(m_{2}\right)=O\left(x\right)$
Let $\lambda(n)$ be the Liouville function and consider the Goldbach-type problem $\sum_{m_{1}+m_{2}=n}\lambda\left(m_{1}\right)\lambda\left(m_{2}\right)$. Assume the Riemann hypothesis, the ...
12
votes
1
answer
2k
views
A question on Euler's totient function
With reference to the Euler's totient function $\phi(\cdot)$, given any $n \in \mathbb{Z}^+$, it's quite straightforward to find $\phi(n)$.
In contrast, given $n \in \mathbb{Z}^+$, even though there ...
4
votes
0
answers
159
views
Do all nonnegative integers appear in A051521?
For every positive integer $n$, $\tau(n)$ is the number of divisors of $n$. If we list the ratio of each positive integer $n$ to $\tau(n)$,they form a rational sequence
1,1,3/2,4/3,5/2,3/2,…
Because $\...
2
votes
0
answers
225
views
Relationship between two types of partition functions
Referring to this unanswered question on MS, I'm posting the same question here:
For $s\in \mathbb{C},\Re(s)>1 $, consider:
$$\prod_{k=1}^{\infty}\prod_{n=2}^{\infty}\frac{1}{1-n^{-ks}}= \prod_{k=1}...
3
votes
2
answers
806
views
Approximation of partial sum over prime omega function
I asked the question in Math StackExchange. Link: https://math.stackexchange.com/questions/4765476/approximation-of-partial-sum-over-prime-omega-function
I haven't got any response yet. Here are the ...
1
vote
0
answers
228
views
On two formulas involving the $k$-fold divisor function $d_k$ and the function $r_k$
I have a puzzle which needs some help form the experts here. Let $d(n)$ be the divisor function, and $d_k(n)$ the $k$-fold divisor function.
I) It is known that, for any positive integer $h$,
$$d(n+h)...
8
votes
1
answer
245
views
Are there infinite numbers of the form $\sigma_1(n)=\sigma_1(m)=p$, or is there only one?
I put forward a hypothesis in number theory, it is as follows.$ \sigma_1(n)=\sigma_1(m)=p$, where $\sigma_1$ is the divisor sum function, $n,m\in \mathbb N$, and $p$ is prime. I recently noticed and ...
0
votes
1
answer
396
views
Estimating a sum involving the von Mangoldt function
I'd like to know the estimate of the following sum
$$\sum_{n\leq x}\sum_{d|n}\Lambda(d)\frac{\phi(d)}{d} $$
where $\Lambda(d)$ is the von mangoldt function and $\phi(d)$ is the Euler totient function. ...
4
votes
0
answers
115
views
On Carmichael function and aliquot parts of odd perfect numbers
I've asked nine months ago this question on Mathematics Stack Exchange with identifier 4430381 and same title. There is not answer for this question on Mathematics Stack Exchange, I wondered if this ...
0
votes
0
answers
108
views
Around similar inequalities than an inequality due to Nicolas, that involve products of consecutive Ramanujan primes
This is cross-posted (and this post is a version to ask just around the veracity of Conjecture 1) as the post with identifier 3594907 and same title), that I've edited on Mathematics Stack Exchange ...
1
vote
1
answer
390
views
On equations with arithmetic functions [closed]
Is this good topic for research:
equations with arithmetic functions, for example equations like $\varphi(n)=\sigma(n)$ or $\varphi(n)+\sigma(n)=d(n)$ ?
If Anyone here have an advise please tell me ...
6
votes
1
answer
245
views
Upper bound on minimum number of prime factors in short intervals
Suppose that $H = H(X)$ is some quantity growing with $X$. Are there any bounds on $$F(X, H) = \min_{X < n\le X + H} \omega(n)?$$
It isn't hard to obtain a lower bound $\max_{x\sim X} F(X, H)\gg \...
0
votes
0
answers
114
views
A similar inequality for the Dedekind psi function, than an inequality stated by Schinzel
I would like to ask about the next question that seems to me interesting. I know an article that was written by Andrzej Schinzel in which he stated Lemma 2. In this post we denote the Dedekind psi ...
1
vote
1
answer
140
views
On the behaviour for the quotient involving Fermat numbers of $\frac{\psi(F_m)}{F_m}$ where $\psi(x)$ denotes the Dedekind psi function
In this post we denote the Dedekind psi function as $\psi(m)$ for integers $m\geq 1$. This is an important arithmetic fuction in several subjects of mathematics. As reference I add the Wikipedia ...
3
votes
1
answer
508
views
A conjecture concerning the equation $\sigma\left(\square\right)=\text{prime}$
I can deduce the following simple proposition, the definitions for $\sigma(x)$ the sum of divisors functions and $\varphi(x)$ the Euler totient function are assumed. After I present a conjecture that ...
1
vote
1
answer
197
views
Periodic sequences of integers generated by $a_{n+1}=\frac{\operatorname{rad}(pa_{n})}{p}+\frac{\operatorname{rad}(qa_{n-1})}{q}$
Let's define the radical of the positive integer $n$ as
$$\operatorname{rad}(n)=\prod_{\substack{p\mid n\\ p\text{ prime}}}p$$
and consider the sequence
$$a_{n+1}=\frac{\operatorname{rad}(p\cdot a_{n})...
1
vote
0
answers
209
views
A definition related to pseudoprimes and the Dedekind psi function
In this post we consider that $\psi(k)$ denotes the Dedekind psi function. Wikipedia has an artcle dedicated to this arithmetic function Dedekind psi function defined for a positive integers $m>1$ ...
4
votes
0
answers
258
views
On the density of a particular subset of integers
Given a positive integer $n$ in the standard form
$$n=\prod_k p_k^{\alpha_k}$$
and the arithmetic function (investigated by Erdős in this paper)
$$A(n)=\sum_k \alpha_k p_k$$
let's define the subset $E$...
18
votes
1
answer
641
views
For which $n$ is $\sum_{k=1}^n 1 / \varphi(k)$ an integer?
For which positive integers $n$ is the sum $\sum_{k=1}^n 1 / \varphi(k)$ an integer? Here $\varphi$ is the Euler totient function.
The question is a "totient-analog" of the well-known result ...
0
votes
0
answers
58
views
Number of different factorizations
I define $\nu(n)$ the number of different factorizations for an integer $n$. I know there are papers about $\delta(n)$ the number of dividers for an integer $n$ (Landau, Euler, Dirichlet) but I still ...
3
votes
2
answers
279
views
Help with R. Ryan's "A simpler dense proof regarding the abundancy Index."
I'm reading Richard Ryan's article "A simpler dense proof regarding the abundancy index" and got stuck in his proof for Theorem 2. The Theorem is stated as follows:
Suppose we have a ...
0
votes
0
answers
154
views
How to estimate sums over arithmetic progressions?
For $x>1$
$$
N(x)=\sum_{0<n<x \\n \equiv 1 \pmod 4\\ n\text{ squarefree}} 1
$$
How to estimate $N(x)$'s order? (Like $N(x) \sim Ax$)
Furthermore, for $n=p_1p_2\cdots p_v$, define $\alpha (n)=...
6
votes
1
answer
454
views
Arithmetic properties of positively reduced $2\times 2$-matrices
Call a $2\times 2$ matrix with coefficients in $\{0,1,2,3,\ldots\}$
positively reduced if any row or column reduction (given by replacing a row/column by itself minus the other row/column) produces
at ...
4
votes
0
answers
104
views
Joint mean values of arithmetic functions in sequences and families of sequences
This is a bit of a follow up question to this question I asked a couple days ago. The main content of that post can be phrased as asking for a nontrivial lower bound on the sum
$$
\sum_{n\leq x} \...
0
votes
1
answer
262
views
Correlating the von Mangoldt function with periodic sequences
The Dirichlet inverse of the Euler totient function is:
$$\varphi^{-1}(n) = \sum_{d \mid n} \mu(d)d \tag{1}$$
and the von Mangoldt function can be expanded/computed as:
$$\Lambda(n) = \sum\limits_{k=1}...
3
votes
1
answer
160
views
Is it possible to find an estimate of $\sum_{k=1}^n\frac1{\varphi(k\cdot p_k)}$?
Is it possible to find an estimate of the summation
$$s(n)=\sum_{k=1}^n\frac1{\varphi(k\cdot p_k)}$$
where $\varphi(n)$ is the totient function and $p_k$ the k-th prime?
The corresponding series seems ...
15
votes
2
answers
1k
views
Have any proposals been advanced for the analytic continuation of the divisor function?
While I was working on the evaluation of a certain series, the following limit came up:
\begin{align} \lim_{n \to 1} \frac{d(n)-1}{n(n-1)} &= \lim_{n \to 1} \frac{d'(n)}{2n-1} \\
&= d'(1) .\...
2
votes
0
answers
1k
views
Polynomials for the indicator function
The (one-variable) indicator function (or characteristic function) is defined as
$f_{t^*}:\mathbb{Z}_q\to \mathbb{Z}_q$ satisfying that
$f_{t^*}(t)=1$ if $t=t^*$ and $f_{t^*}(t)=0$, otherwise. (Here $...
7
votes
2
answers
502
views
Prove that two functions are equal only when $s \equiv \pm r^{\pm 1} \pmod{q}$
Let us fix a positive integer $q$, and let us define a functions $P: \mathbb{Z}\times \mathbb{N} \to \mathbb{Z}$ as follows:
$$ P(s,t) := \sum_{j=1}^t \left\lfloor \frac{j (s-1) + t}{q} \right\rfloor$$...
2
votes
0
answers
394
views
Mertens Bound and the Riemann Hypothesis
Let $M(x)$ denote the Mertens function ($M(x)=\sum_{i=1}^{x}\mu(i)$ where $\mu(i)$ is the Möbius function) and let $\Lambda(i)$ denote the Mangoldt function ($\Lambda(i)$ equals $\log(p)$ if $i=p^{m}$ ...