Return to Question

In the course of considering this Diophantine equation, I convinced myself that the following question is interesting:

If $n$ is large, must it be the case that the square-free part of $2^n-1$ is also large?

Let me elaborate on the setup of the question to remove any ambiguities.

Recall the fact that every natural number $n$ can be written uniquely as the product of some square-free number $k$ and some square $m^2$, i.e. $n=km^2$ where $p|k\Rightarrow p||k$.

(The following notation is not standard, but can be found at least on Wikipedia.)

Since every natural can be factored uniquely in this way, we can define a function sending naturals to their square-free parts. Define $\text{core}_2(n)=k$ when $n=km^2$ is the factorization into square-free and square parts. The question posed at the beginning of the post can now be rephrased as:

Is it true that $\lim_{n\rightarrow\infty}\text{core}_2(2^n-1)=\infty$?

To the best of my knowledge this is an open problem. Experimental evidence suggests that it should be true; it actually looks like $2^n-1$ itself should be square-free infinitely often, as shown by the following low quality graph:

Graph of ln(core_2(2^n-1))

It is also easy enough to prove that there is a subsequence whose square-free parts grow without bound ($2^{2^n}-1$ suffices for this), so we can say that the $\limsup \text{core}_2(2^n-1)$ tends towards infinty. But a simple proof for the $\liminf \text{core}_2(2^n-1)$ seems harder.

My two questions for you are as follows:

1. Does anyone know of a general theory or collection of results that can give us control over the square-free parts of integer sequences defined by an expression containing an exponential term? Everything I have managed to find is rather ad hoc or specifically about polynomial values.

2. Does anyone have a nice and simple argument to turn my factoid into a proper fact?

EDIT: Major revisions to the statement of the problem for the sake of clarification. Apologies to anyone who spent time thinking in a different direction than intended.

EDIT 2: As per the comments of Wojowu and Pasten, the full strength $abc$ conjecture is enough to resolve this question. As per Gerry Myerson's comment, I have accidentally re-asked a question that has already been resolved on this site! You may find the relevant question and answer here.

In the course of considering this Diophantine equation, I convinced myself that the following question is interesting:

If $n$ is large, must it be the case that the square-free part of $2^n-1$ is also large?

Let me elaborate on the setup of the question to remove any ambiguities.

Recall the fact that every natural number $n$ can be written uniquely as the product of some square-free number $k$ and some square $m^2$, i.e. $n=km^2$ where $p|k\Rightarrow p||k$.

(The following notation is not standard, but can be found at least on Wikipedia.)

Since every natural can be factored uniquely in this way, we can define a function sending naturals to their square-free parts. Define $\text{core}_2(n)=k$ when $n=km^2$ is the factorization into square-free and square parts. The question posed at the beginning of the post can now be rephrased as:

Is it true that $\lim_{n\rightarrow\infty}\text{core}_2(2^n-1)=\infty$?

To the best of my knowledge this is an open problem. Experimental evidence suggests that it should be true; it actually looks like $2^n-1$ itself should be square-free infinitely often, as shown by the following low quality graph:

Graph of ln(core_2(2^n-1))

It is also easy enough to prove that there is a subsequence whose square-free parts grow without bound ($2^{2^n}-1$ suffices for this), so we can say that the $\limsup \text{core}_2(2^n-1)$ tends towards infinty. But a simple proof for the $\liminf \text{core}_2(2^n-1)$ seems harder.

My two questions for you are as follows:

1. Does anyone know of a general theory or collection of results that can give us control over the square-free parts of integer sequences defined by an expression containing an exponential term? Everything I have managed to find is rather ad hoc or specifically about polynomial values.

2. Does anyone have a nice and simple argument to turn my factoid into a proper fact?

EDIT: Major revisions to the statement of the problem for the sake of clarification. Apologies to anyone who spent time thinking in a different direction than intended.

EDIT 2: As per the comments of Wojowu and Pasten, the full strength $abc$ conjecture is enough to resolve this question (as well as generalizations to other bases besides $2$). As per Gerry Myerson's comment, I have accidentally re-asked a question that has already been resolved on this site! You may find the relevant question and answer here.

In the course of considering this Diophantine equation, I convinced myself that the following question is interesting:

If $n$ is large, must it be the case that the square-free part of $2^n-1$ is also large?

Let me elaborate on the setup of the question to remove any ambiguities.

Recall the fact that every natural number $n$ can be written uniquely as the product of some square-free number $k$ and some square $m^2$, i.e. $n=km^2$ where $p|k\Rightarrow p||k$.

(The following notation is not standard, but can be found at least on Wikipedia.)

Since every natural can be factored uniquely in this way, we can define a function sending naturals to their square-free parts. Define $\text{core}_2(n)=k$ when $n=km^2$ is the factorization into square-free and square parts. The question posed at the beginning of the post can now be rephrased as:

Is it true that $\lim_{n\rightarrow\infty}\text{core}_2(2^n-1)=\infty$?

To the best of my knowledge this is an open problem. Experimental evidence suggests that it should be true; it actually looks like $2^n-1$ itself should be square-free infinitely often, as shown by the following low quality graph:

Graph of ln(core_2(2^n-1))

It is also easy enough to prove that there is a subsequence whose square-free parts grow without bound ($2^{2^n}-1$ suffices for this), so we can say that the $\limsup \text{core}_2(2^n-1)$ tends towards infinty. But a simple proof for the $\liminf \text{core}_2(2^n-1)$ seems harder.

My two questions for you are as follows:

1. Does anyone know of a general theory or collection of results that can give us control over the square-free parts of integer sequences defined by an expression containing an exponential term? Everything I have managed to find is rather ad hoc or specifically about polynomial values.

2. Does anyone have a nice and simple argument to turn my factoid into a proper fact?

EDIT: Major revisions to the statement of the problem for the sake of clarification. Apologies to anyone who spent time thinking in a different direction than intended.

EDIT 2: As per the comments of Wojowu and Pasten, the full strength $abc$ conjecture is enough to resolve this question. As far as partial results in the direction of $abc$, it is still unclear to me if any of the exponential bounds are strong enough for our purposes.

In the course of considering this Diophantine equation, I convinced myself that the following question is interesting:

If $n$ is large, must it be the case that the square-free part of $2^n-1$ is also large?

Let me elaborate on the setup of the question to remove any ambiguities.

Recall the fact that every natural number $n$ can be written uniquely as the product of some square-free number $k$ and some square $m^2$, i.e. $n=km^2$ where $p|k\Rightarrow p||k$.

(The following notation is not standard, but can be found at least on Wikipedia.)

Since every natural can be factored uniquely in this way, we can define a function sending naturals to their square-free parts. Define $\text{core}_2(n)=k$ when $n=km^2$ is the factorization into square-free and square parts. The question posed at the beginning of the post can now be rephrased as:

Is it true that $\lim_{n\rightarrow\infty}\text{core}_2(2^n-1)=\infty$?

To the best of my knowledge this is an open problem. Experimental evidence suggests that it should be true; it actually looks like $2^n-1$ itself should be square-free infinitely often, as shown by the following low quality graph:

Graph of ln(core_2(2^n-1))

It is also easy enough to prove that there is a subsequence whose square-free parts grow without bound ($2^{2^n}-1$ suffices for this), so we can say that the $\limsup \text{core}_2(2^n-1)$ tends towards infinty. But a simple proof for the $\liminf \text{core}_2(2^n-1)$ seems harder.

My two questions for you are as follows:

1. Does anyone know of a general theory or collection of results that can give us control over the square-free parts of integer sequences defined by an expression containing an exponential term? Everything I have managed to find is rather ad hoc or specifically about polynomial values.

2. Does anyone have a nice and simple argument to turn my factoid into a proper fact?

EDIT: Major revisions to the statement of the problem for the sake of clarification. Apologies to anyone who spent time thinking in a different direction than intended.

EDIT 2: As per the comments of Wojowu and Pasten, the full strength $abc$ conjecture is enough to resolve this question. As per Gerry Myerson's comment, I have accidentally re-asked a question that has already been resolved on this site! You may find the relevant question and answer here.

In the course of considering this Diophantine equation, I convinced myself that the following question is interesting:

If $n$ is large, must it be the case that the square-free part of $2^n-1$ is also large?

Let me elaborate on the setup of the question to remove any ambiguities.

Recall the fact that every natural number $n$ can be written uniquely as the product of some square-free number $k$ and some square $m^2$, i.e. $n=km^2$ where $p|k\Rightarrow p||k$.

(The following notation is not standard, but can be found at least on Wikipedia.)

Since every natural can be factored uniquely in this way, we can define a function sending naturals to their square-free parts. Define $\text{core}_2(n)=k$ when $n=km^2$ is the factorization into square-free and square parts. The question posed at the beginning of the post can now be rephrased as:

Is it true that $\lim_{n\rightarrow\infty}\text{core}_2(2^n-1)=\infty$?

To the best of my knowledge this is an open problem. Experimental evidence suggests that it should be true; it actually looks like $2^n-1$ itself should be square-free infinitely often, as shown by the following low quality graph:

Graph of ln(core_2(2^n-1))

It is also easy enough to prove that there is a subsequence whose square-free parts grow without bound ($2^{2^n}-1$ suffices for this), so we can say that the $\limsup \text{core}_2(2^n-1)$ tends towards infinty. But a simple proof for the $\liminf \text{core}_2(2^n-1)$ seems harder.

My two questions for you are as follows:

1. Does anyone know of a general theory or collection of results that can give us control over the square-free parts of integer sequences defined by an expression containing an exponential term? Everything I have managed to find is rather ad hoc or specifically about polynomial values.

2. Does anyone have a nice and simple argument to turn my factoid into a proper fact?

EDIT: Major revisions to the statement of the problem for the sake of clarification. Apologies to anyone who spent time thinking in a different direction than intended.

In the course of considering this Diophantine equation, I convinced myself that the following question is interesting:

If $n$ is large, must it be the case that the square-free part of $2^n-1$ is also large?

Let me elaborate on the setup of the question to remove any ambiguities.

Recall the fact that every natural number $n$ can be written uniquely as the product of some square-free number $k$ and some square $m^2$, i.e. $n=km^2$ where $p|k\Rightarrow p||k$.

(The following notation is not standard, but can be found at least on Wikipedia.)

Since every natural can be factored uniquely in this way, we can define a function sending naturals to their square-free parts. Define $\text{core}_2(n)=k$ when $n=km^2$ is the factorization into square-free and square parts. The question posed at the beginning of the post can now be rephrased as:

Is it true that $\lim_{n\rightarrow\infty}\text{core}_2(2^n-1)=\infty$?

To the best of my knowledge this is an open problem. Experimental evidence suggests that it should be true; it actually looks like $2^n-1$ itself should be square-free infinitely often, as shown by the following low quality graph:

Graph of ln(core_2(2^n-1))

It is also easy enough to prove that there is a subsequence whose square-free parts grow without bound ($2^{2^n}-1$ suffices for this), so we can say that the $\limsup \text{core}_2(2^n-1)$ tends towards infinty. But a simple proof for the $\liminf \text{core}_2(2^n-1)$ seems harder.

My two questions for you are as follows:

1. Does anyone know of a general theory or collection of results that can give us control over the square-free parts of integer sequences defined by an expression containing an exponential term? Everything I have managed to find is rather ad hoc or specifically about polynomial values.

2. Does anyone have a nice and simple argument to turn my factoid into a proper fact?

EDIT: Major revisions to the statement of the problem for the sake of clarification. Apologies to anyone who spent time thinking in a different direction than intended.

EDIT 2: As per the comments of Wojowu and Pasten, the full strength $abc$ conjecture is enough to resolve this question. As far as partial results in the direction of $abc$, it is still unclear to me if any of the exponential bounds are strong enough for our purposes.