9
$\begingroup$

In Touchard (1953) it is mentioned that the sum of divisors $\sigma(n)$ satisfies the following recurrence relation ($n>1$):

$$n^2(n-1) = \frac{6}{\sigma(n)} \sum_{k=1}^{n-1}(3n^2-10k^2)\sigma(k)\sigma(n-k)$$

Substituting in this equation an odd perfect number $n = \sigma(n)/2$ we find that it is a root of the quartic polynomial:

$$ \begin{align} f(x) &= x^4-x^3+12a_0x^2-60a_1x+60a_2 \\ &= (x^3+(n-1)x^2+(12a_0+n^2-n)x+12a_0n+n^3-n^2-60a_1)(x-n) \end{align} $$

where

$$a_i = \sum_{k=1}^{\frac{n-1}{2}}k^i \sigma(k)\sigma(n-k),\text{ } i=0,1,2$$

However, computations with Sagemath (it takes a few seconds to do the computation) seem to suggest, that for an odd number $m$, we have

$$f(m) > 0, \text{for } m>1 \text{ odd}$$

Edit: By comment of @JeroenNoels $f(945,945)<0$ so the last claim is wrong, but still in this case we have $f(n,t)$ is irreducible and $f(n,n)\neq 0$.

This observation would maybe prove, that there are no odd perfect numbers. I am aware that $\sigma(k)\sigma(n-k)$ is kind of like a black box to handle, but it would be nice, if maybe for some special cases where $m$ is odd the last inequality could be proven.

Thanks for your help!

Edit: It might be noticed that it seems like for $n>1$, odd the polynomial $f(x)$ is irreducible over the rational numbers.

Here are the first polynomials:

n, f(n,t), f(n,n)>0?
3 t^4 - t^3 + 36*t^2 - 180*t + 180 f(n,n)>0 ? True
5 t^4 - t^3 + 228*t^2 - 1860*t + 3300 f(n,n)>0 ? True
7 t^4 - t^3 + 696*t^2 - 7920*t + 20160 f(n,n)>0 ? True
9 t^4 - t^3 + 1548*t^2 - 22500*t + 72900 f(n,n)>0 ? True
11 t^4 - t^3 + 2940*t^2 - 51600*t + 204600 f(n,n)>0 ? True
13 t^4 - t^3 + 4956*t^2 - 102360*t + 478920 f(n,n)>0 ? True
15 t^4 - t^3 + 7752*t^2 - 185760*t + 1004400 f(n,n)>0 ? True
17 t^4 - t^3 + 11376*t^2 - 307620*t + 1900260 f(n,n)>0 ? True
19 t^4 - t^3 + 16020*t^2 - 481980*t + 3309420 f(n,n)>0 ? True
21 t^4 - t^3 + 22080*t^2 - 735120*t + 5559120 f(n,n)>0 ? True

Is there a irreducibility criterion which might be applied to all ($n=3,\ldots,21$) of these example polynomials?

Third Edit ( and I hope the last :) ): The odd perfect number is also a root of the polynomial:

$$g(x) = x^4-x^3-9A_0x^2+30A_2$$

where

$$A_i = \sum_{k=1}^{n-1}k^i \sigma(k)\sigma(n-k),i=0,2$$

But numerical computations suggest, that:

$$\gcd(f(x),g(x))=1$$

which would lead to a contradiction.

Can this last claim about the $\gcd$ be proven?

$\endgroup$
23
  • 1
    $\begingroup$ also asked on MSE: math.stackexchange.com/questions/3839696/… $\endgroup$ Commented Sep 25, 2020 at 7:13
  • 2
    $\begingroup$ That looks very interesting! Thanks for sharing. I did some numerical experiments and found f(n,n) to be negative for n = 945. There could be some patterns here. For example the arithmetic sequence n = 945 + 630 * k provides many more counterexamples (but not all). $\endgroup$ Commented Sep 26, 2020 at 16:19
  • 1
    $\begingroup$ Using the Ramanujan Identity ( en.wikipedia.org/wiki/Eisenstein_series#Ramanujan_identities ) it follows that every perfect number $n$ satisfies: $8n^4-2n^3-3 \sigma_3(n)n^2+24 A_2=0$. $\endgroup$ Commented Sep 27, 2020 at 20:24
  • 1
    $\begingroup$ Showing that $\gcd(f_n(x),g_n(x))=1$ for all $n$ would disprove the existence of an odd perfect number, since such $n$ would be a zero of both $f_n(x)$ and $g_n(x)$, meaning that $\gcd(f_n(x),g_n(x))\ne 1$. So, are you asking to disprove the existence of an odd perfect number? $\endgroup$ Commented Sep 28, 2020 at 8:36
  • 2
    $\begingroup$ @stackExchangeUser: I do not see how these polynomials can help for the OPN problem. To evaluate the polynomials for a given $n$, one should be able to compute $\sigma_3(n)$, and thus be able to compute $\sigma(n)$ and test the quality $\sigma(n)=2n$ directly. $\endgroup$ Commented Sep 28, 2020 at 14:43

0

You must log in to answer this question.