185
$\begingroup$

Define an "eventual counterexample" to be

  • $P(a) = T $ for $a < n$

  • $P(n) = F$

  • $n$ is sufficiently large for $P(a) = T\ \ \forall a \in \mathbb{N}$ to be a 'reasonable' conjecture to make.

where 'reasonable' is open to interpretation, and similar statements for rational, real, or more abstractly ordered sets for $n$ to belong to are acceptable answers.

What are some examples of eventual counterexamples, famous or otherwise, and do different eventual counterexamples share any common features? Could we build an 'early warning system' set of heuristics for seemingly plausible theorems?

edit: The Polya conjecture is a good example of what I was trying to get at, but answers are not restricted to number theory or any one area.

$\endgroup$
18
  • 7
    $\begingroup$ Your question seems interesting. Could you put in at least one elementary example to explain your formal definition? $\endgroup$
    – user2529
    Feb 16, 2010 at 13:18
  • 3
    $\begingroup$ I J Kennedy edited the title, changing "phenomena" to "phenomenon". Q Q J has now changed it back. I think "phenomenon" is better. It is an interesting phenomenon that there are eventual counterexamples. $\endgroup$ Mar 31, 2011 at 0:42
  • 2
    $\begingroup$ By the way... shouldn't it be "The phenonenON of eventual counterexamples"? $\endgroup$ May 1, 2011 at 5:48
  • 8
    $\begingroup$ The last 5 edits have consisted solely of toggling phenomena/phenomenon. Maybe we should just change the title to "Some eventual counterexamples". $\endgroup$ Jul 2, 2014 at 0:55
  • 8
    $\begingroup$ The ring of integers of $\Bbb Q(\sqrt[n]{2})$ is not always $\Bbb Z[\sqrt[n]{2}]$. It is true for $n < 1000$, but not for $n=1093$. See kconrad.math.uconn.edu/blurbs/gradnumthy/integersradical.pdf. $\endgroup$
    – Watson
    Jun 5, 2021 at 14:47

64 Answers 64

1 2
3
0
$\begingroup$

The story of Legendre's constant seems to qualify. Based on numerical evidence available at the time and the hardness of computing more digits, it was eminently reasonable to conjecture he was not just renaming "1"in his name.

$\endgroup$
3
  • $\begingroup$ How is this an example of a counterexample? And where is a "large number" involved? $\endgroup$ Jan 27, 2021 at 21:44
  • $\begingroup$ @GerryMyerson a large number of terms of the sequence (more than what was achievable at the time?) are needed to compute the constant to sufficiently high precision to rule the conjecture out. (Of course, it could also be disproven directly without those numerical computations.) $\endgroup$
    – Clement C.
    Jan 27, 2021 at 22:11
  • 1
    $\begingroup$ I don't see how any finite number of primes could be used to refute Legendre's conjectured value. That required advances in theory, not computation. $\endgroup$ Jan 27, 2021 at 22:14
0
$\begingroup$

This answer explores further the problem described this one, where base-10 numbers that become squares when the digits are repeated twofold are identified (e.g. $13223140496\to1322314049613223140496=36363636364^2$).

In any such square concatenation, the number of digits in each "half" of the square is a value of $n$ for which $10^n+1$ has a squared prime factor. For instance, $10^{11}+1$ is divisible by $11^2$, so there are eleven-digit numbers that become square when concatenated twofold, like the one noted above.

We can identify various solutions for $n$ corresponding to a given squared prime factor by the following process.

  1. Select a value of $m$ such that $p|10^m+1$. Such a value of $m$ will be an odd number times half the base-ten repeating decimal period length of $1/p$; the period length itself must be even for the selected $p$ or no solution exists.

  2. Render $10^m=K-1$ where $K=10^m+1$ and raise to the power of $p$, writing the right side of $(K-1)^p$ as a polynomial in $K$ via the Binomial Theorem.

  3. Each term in that binomial- power expansion is constructed to be a multiple of $p^2$ except the $-1$ term at the end, so $10^{mp}+1$ is a certified multiple of $p^2$.

Results for small primes $p$ suggest that if we choose the minimal value of $m$ for a given factor $p$, then $n=mp$ derived in this way is the minimal solution to $p^2|10^n+1$. For instance, $p=11$ pairs with $m=1$ (because $10^1+1$ is $11$ itself), giving $10^{11}+1$ as the smallest augmentedpower of ten divisible by $11^2$. Similarly, $10^8+1$ is the smallest augmented power of ten divisible by $17$, and the solution found by the procedure above, $10^{136}+1$, is the minimal augmented power of ten divisible by $17^2$.

All is as expected until we hit $\color{blue}{p=487}$. The minimal $m$ value is $243$, so we we find from the above lifting procedure that that $487^2|10^{118431}+1$ ... but OEIS sequence A086981 reports that instead $487^2|10^{243}+1$ as the minimal solution for that factor -- that is, $10^m+1$ instead of $10^{mp}+1$. The minimal solution for that squared prime factor slips in before using the binomial power expansion, not after as is usually the case.

Such a counterexample is connected with the fact that any residue $r\bmod p$, maps into $p$ residues $\bmod p^2$. One of these mapped residues is $\equiv r^p$, and this one is a $p$-power residue $\bmod p^2$. The other residues $\bmod p^2$ are not $p$-power residues.

For instance, with $p=7$ we render

$10^7\equiv3^7=2187\equiv31\bmod 49,$

so $31$ is a seventh-power residue $\bmod 49$ and other residues congruent to it $\bmod 7$, including $10$, are not seventh-power residues.

With other prime factors that allow a solution to $p|10^m+1$ (and thus also $p^2|10^n+1$), we get the following from residue $10\bmod p$:

$p=11\to10^{11}\equiv120\bmod11^2$

$p=13\to10^{13}\equiv23\bmod13^2$

$p=17\to10^{17}\equiv214\bmod17^2$

...

$p=463\to10^{463}\equiv12974\bmod463^2$

$\color{blue}{p=487\to10^{487}\equiv10\bmod487^2}$

So unlike all smaller primes in scope, $p=487$ renders $10$ a $p$-power residue $\bmod p^2$, causing an extra factor of $p$ to appear in $10^m+1$ for appropriates value of $m$. Hence for this particular case, we did not have to multiply the initial exponent $m=243$ by $487$ to get an augmented power of ten divisible by $487^2$. If we do choose to multiply the exponent, we find that $10^{118341}+1$ is divisible by $487^3$.

The documentation of OEIS A086981 reports no other counterexamples below $1000$. Larger counterexamples are expected to become rare because the $p$-power residue condition becomes less probable for larger primes $p$.

$\endgroup$
0
$\begingroup$

The word "eventually" connotes a very long sequence of positive examples before the first counterexample. Gerry Myerson points out that no polynomial of the form $x^n-1,$ when factored over $\mathbb R,$ has coefficients among the factors that do not belong to $\{-1,0,+1\}$ until you get up to $n=105.$ (And I have the impression that it took mathematicians an appreciable amount of time to find that out.)

But Richard Stanley's answer says that $\mathbb R^n$ has only one differentiable structure whereas $\mathbb R^4$ has continuum-many. $4$ is not such a big number. And notice also it's not just $P(a)=T$ for $a<n$ but $P(a)=T$ for $a\ne n,$ including all larger values of $a$ than $n.$

So why not disregard the order in which the values of $a$ appear and speak of a "lonely" counterexample?

In that case we should include this: The group $S_6$ of all bijections from a set of $6$ elements to itself has outer automorphisms, and for $n\ne6,$ $S_n$ has only inner automorphisms.

$\endgroup$
-4
$\begingroup$

the Weaire–Phelan structure was found to be

a better solution of the "Kelvin problem" than the previous best-known solution, the Kelvin structure.

$\endgroup$
3
  • $\begingroup$ This is not a counterexample, eventual or otherwise, in the sense of this question, is it? $\endgroup$ May 1, 2011 at 23:46
  • $\begingroup$ @Gerry really? "The Kelvin conjecture was widely believed and no counter-example was known for more than 100 years, until it was disproved by the discovery of the Weaire–Phelan structure." $\endgroup$
    – pageman
    May 2, 2011 at 10:04
  • 7
    $\begingroup$ "Eventual", in the sense of this question, does not refer to time, but to number. $\endgroup$ May 2, 2011 at 12:48
1 2
3

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.