Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

In a previous mathoverflow question herehere a construction of a primitive sequence $1<a_1<\cdots<a_k\leq n$ formed by including all the integers in $[1,n]$ with exactly $k$ prime divisors (counted with multiplicity, so $\Omega(a_i)=k=[\log \log n]$ holds, for all $i$) was used to demonstrate how to attain Pillai's lower bound on the sum of reciprocals of primitive sequences, $$\sum_{i:a_i\leq n} \frac{1}{a_i} > c \frac{\log n}{\sqrt{\log \log n}}.$$ Clearly, not all primitive sequences necessarily attain this bound.

Now consider the primitive sequence $1<b_1<b_2<\cdots<b_l\leq n$ which is obtained by the following recipe. An integer $m\in [1,n]$ is a term in the sequence if and only if $\omega(m)=k$ for some fixed $k,$ i.e., $m$ is a product of exactly $k$ distinct primes. I expect (perhaps wrongly) that this won't make much difference, and that if not the above bound, some other nontrivial (i.e., increasing with $n$ at a reasonable growth rate) lower bound can be shown to hold for $$\sum_{i:b_i\leq n} \frac{1}{b_i}.$$

Another result proved by Behrend was on the size of the maximal $k$ for the primitive sequence of $a_i$'s. It would be interesting to know the corresponding maximal $l$ for the $b_i$'s as defined above.

My question is, how does $$\sum_{i:b_i\leq n} \frac{1}{b_i}$$ grow with increasing $n$?

In a previous mathoverflow question here a construction of a primitive sequence $1<a_1<\cdots<a_k\leq n$ formed by including all the integers in $[1,n]$ with exactly $k$ prime divisors (counted with multiplicity, so $\Omega(a_i)=k=[\log \log n]$ holds, for all $i$) was used to demonstrate how to attain Pillai's lower bound on the sum of reciprocals of primitive sequences, $$\sum_{i:a_i\leq n} \frac{1}{a_i} > c \frac{\log n}{\sqrt{\log \log n}}.$$ Clearly, not all primitive sequences necessarily attain this bound.

Now consider the primitive sequence $1<b_1<b_2<\cdots<b_l\leq n$ which is obtained by the following recipe. An integer $m\in [1,n]$ is a term in the sequence if and only if $\omega(m)=k$ for some fixed $k,$ i.e., $m$ is a product of exactly $k$ distinct primes. I expect (perhaps wrongly) that this won't make much difference, and that if not the above bound, some other nontrivial (i.e., increasing with $n$ at a reasonable growth rate) lower bound can be shown to hold for $$\sum_{i:b_i\leq n} \frac{1}{b_i}.$$

Another result proved by Behrend was on the size of the maximal $k$ for the primitive sequence of $a_i$'s. It would be interesting to know the corresponding maximal $l$ for the $b_i$'s as defined above.

My question is, how does $$\sum_{i:b_i\leq n} \frac{1}{b_i}$$ grow with increasing $n$?

In a previous mathoverflow question here a construction of a primitive sequence $1<a_1<\cdots<a_k\leq n$ formed by including all the integers in $[1,n]$ with exactly $k$ prime divisors (counted with multiplicity, so $\Omega(a_i)=k=[\log \log n]$ holds, for all $i$) was used to demonstrate how to attain Pillai's lower bound on the sum of reciprocals of primitive sequences, $$\sum_{i:a_i\leq n} \frac{1}{a_i} > c \frac{\log n}{\sqrt{\log \log n}}.$$ Clearly, not all primitive sequences necessarily attain this bound.

Now consider the primitive sequence $1<b_1<b_2<\cdots<b_l\leq n$ which is obtained by the following recipe. An integer $m\in [1,n]$ is a term in the sequence if and only if $\omega(m)=k$ for some fixed $k,$ i.e., $m$ is a product of exactly $k$ distinct primes. I expect (perhaps wrongly) that this won't make much difference, and that if not the above bound, some other nontrivial (i.e., increasing with $n$ at a reasonable growth rate) lower bound can be shown to hold for $$\sum_{i:b_i\leq n} \frac{1}{b_i}.$$

Another result proved by Behrend was on the size of the maximal $k$ for the primitive sequence of $a_i$'s. It would be interesting to know the corresponding maximal $l$ for the $b_i$'s as defined above.

My question is, how does $$\sum_{i:b_i\leq n} \frac{1}{b_i}$$ grow with increasing $n$?

clarified question
Source Link
kodlu
  • 10.4k
  • 2
  • 36
  • 55

In a previous mathoverflow question here a construction of a primitive sequence $1<a_1<\cdots<a_k\leq n$ formed by including all the integers in $[1,n]$ with exactly $k$ prime divisors (counted with multiplicity, so $\Omega(a_i)=k=[\log \log n]$ holds, for all $i$) was used to demonstrate how to attain Pillai's lower bound on the sum of reciprocals of primitive sequences, $$\sum_{i:a_i\leq n} \frac{1}{a_i} > c \frac{\log n}{\sqrt{\log \log n}}.$$ Clearly, not all primitive sequences necessarily attain this bound.

Now consider the primitive sequence $1<b_1<b_2<\cdots<b_l\leq n$ which is obtained by the following recipe. An integer $m\in [1,n]$ is a term in the sequence if and only if $\omega(m)=k$ for some fixed $k,$ i.e., $m$ is a product of exactly $k$ distinct primes. I expect (perhaps wrongly) that this won't make much difference, and that if not the above bound, some other nontrivial (i.e., increasing with $n$ at a reasonable growth rate) lower bound can be shown to hold for $$\sum_{i:b_i\leq n} \frac{1}{b_i}.$$

Another result proved by Behrend was on the size of the maximal $k$ for the primitive sequence of $a_i$'s. It would be interesting to know the corresponding maximal $l$ for the $b_i$'s as defined above.

My question is, how does $$\sum_{i:b_i\leq n} \frac{1}{b_i}$$ grow with increasing $n$?

In a previous mathoverflow question here a construction of a primitive sequence $1<a_1<\cdots<a_k\leq n$ formed by including all the integers in $[1,n]$ with exactly $k$ prime divisors (counted with multiplicity, so $\Omega(a_i)=k=[\log \log n]$ holds, for all $i$) was used to demonstrate how to attain Pillai's lower bound on the sum of reciprocals of primitive sequences, $$\sum_{i:a_i\leq n} \frac{1}{a_i} > c \frac{\log n}{\sqrt{\log \log n}}.$$ Clearly, not all primitive sequences necessarily attain this bound.

Now consider the primitive sequence $1<b_1<b_2<\cdots<b_l\leq n$ which is obtained by the following recipe. An integer $m\in [1,n]$ is a term in the sequence if and only if $\omega(m)=k$ for some fixed $k,$ i.e., $m$ is a product of exactly $k$ distinct primes. I expect (perhaps wrongly) that this won't make much difference, and that if not the above bound, some other nontrivial (i.e., increasing with $n$ at a reasonable growth rate) lower bound can be shown to hold for $$\sum_{i:b_i\leq n} \frac{1}{b_i}.$$

Another result proved by Behrend was on the size of the maximal $k$ for the primitive sequence of $a_i$'s. It would be interesting to know the corresponding maximal $l$ for the $b_i$'s as defined above.

In a previous mathoverflow question here a construction of a primitive sequence $1<a_1<\cdots<a_k\leq n$ formed by including all the integers in $[1,n]$ with exactly $k$ prime divisors (counted with multiplicity, so $\Omega(a_i)=k=[\log \log n]$ holds, for all $i$) was used to demonstrate how to attain Pillai's lower bound on the sum of reciprocals of primitive sequences, $$\sum_{i:a_i\leq n} \frac{1}{a_i} > c \frac{\log n}{\sqrt{\log \log n}}.$$ Clearly, not all primitive sequences necessarily attain this bound.

Now consider the primitive sequence $1<b_1<b_2<\cdots<b_l\leq n$ which is obtained by the following recipe. An integer $m\in [1,n]$ is a term in the sequence if and only if $\omega(m)=k$ for some fixed $k,$ i.e., $m$ is a product of exactly $k$ distinct primes. I expect (perhaps wrongly) that this won't make much difference, and that if not the above bound, some other nontrivial (i.e., increasing with $n$ at a reasonable growth rate) lower bound can be shown to hold for $$\sum_{i:b_i\leq n} \frac{1}{b_i}.$$

Another result proved by Behrend was on the size of the maximal $k$ for the primitive sequence of $a_i$'s. It would be interesting to know the corresponding maximal $l$ for the $b_i$'s as defined above.

My question is, how does $$\sum_{i:b_i\leq n} \frac{1}{b_i}$$ grow with increasing $n$?

Source Link
kodlu
  • 10.4k
  • 2
  • 36
  • 55

Sum of reciprocals of primitive sequences with distinct prime factors

In a previous mathoverflow question here a construction of a primitive sequence $1<a_1<\cdots<a_k\leq n$ formed by including all the integers in $[1,n]$ with exactly $k$ prime divisors (counted with multiplicity, so $\Omega(a_i)=k=[\log \log n]$ holds, for all $i$) was used to demonstrate how to attain Pillai's lower bound on the sum of reciprocals of primitive sequences, $$\sum_{i:a_i\leq n} \frac{1}{a_i} > c \frac{\log n}{\sqrt{\log \log n}}.$$ Clearly, not all primitive sequences necessarily attain this bound.

Now consider the primitive sequence $1<b_1<b_2<\cdots<b_l\leq n$ which is obtained by the following recipe. An integer $m\in [1,n]$ is a term in the sequence if and only if $\omega(m)=k$ for some fixed $k,$ i.e., $m$ is a product of exactly $k$ distinct primes. I expect (perhaps wrongly) that this won't make much difference, and that if not the above bound, some other nontrivial (i.e., increasing with $n$ at a reasonable growth rate) lower bound can be shown to hold for $$\sum_{i:b_i\leq n} \frac{1}{b_i}.$$

Another result proved by Behrend was on the size of the maximal $k$ for the primitive sequence of $a_i$'s. It would be interesting to know the corresponding maximal $l$ for the $b_i$'s as defined above.