On (unitary) perfect polynomials over $\mathbb{F}_2$ with only Mersenne primes as odd divisors

Luis H. Gallardo,Olivier Rahavandrainy

DOI: https://doi.org/10.48550/arXiv.1908.00106

2019-08-01

Abstract:The only (unitary) perfect polynomials over $\mathbb{F}_2$ that are products of $x$, $x+1$ and Mersenne primes are precisely the nine (resp. nine "classes") known ones. This follows from a new result about the factorization of $M^{2h+1} +1$, for a Mersenne prime $M$ and for a positive integer $h$. Other consequences of such a factorization are new results about odd perfect polynomials.

Number Theory

What problem does this paper attempt to address?

The main problems that this paper attempts to solve are related to the classification and properties of specific types of perfect polynomials. Specifically, the author studied (unit) perfect polynomials over the finite field \(F_2\), and these polynomials only contain Mersenne primes as odd factors. The following are the core issues of the paper:

1. **Classify known perfect polynomials**:
- Determine all (unit) perfect polynomials in the form of products of \(x\), \(x + 1\) and Mersenne primes.
- Prove that these known perfect polynomials belong to one of the nine "classes".

2. **New factorization results**:
- Propose and prove new factorization results regarding \(M_{2h}+1\), where \(M\) is a Mersenne prime and \(h\) is a positive integer.
- Use this new factorization result to derive new conclusions about odd perfect polynomials.

3. **Properties of special perfect polynomials**:
- Study special perfect polynomials composed only of Mersenne primes and prove that there are no such special perfect polynomials.
- Explore that if in a certain perfect polynomial \(A = P_1^{2h_1}\cdots P_m^{2h_m}\), some \(2h_j + 1\) can be divided by a non - 7 Mersenne prime or a non - 5 Fermat prime, then \(A\) is not perfect.

4. **Factorization conjecture of Mersenne primes**:
- The paper also discusses a conjecture about the factorization of Mersenne primes and provides further support for this conjecture through new results.

### Main Theorems

- **Theorem 1.2**: Let \(A=x^a(x + 1)^b\prod_iP_i^{h_i}\in F_2[x]\), where each \(P_i\) is a Mersenne prime and \(h_i\in N^*\). Then \(A\) is an even (unit) perfect polynomial if and only if \(A\in P\) (for perfect polynomials) or \(A = B^{2^n}\) (for unit perfect polynomials), where \(n\in N\) and \(B\in P_u\).

- **Theorem 1.3**:
- (i) There are no special perfect polynomials composed only of Mersenne primes.
- (ii) If \(A = P_1^{2h_1}\cdots P_m^{2h_m}\), where each \(P_j\) is a Mersenne prime, and for some \(j\), \(2h_j+1\) can be divided by a non - 7 Mersenne prime or a non - 5 Fermat prime, then \(A\) is not perfect.

- **Theorem 1.4**: Let \(h\) be a positive integer and \(M\in F_2[x]\) be a Mersenne prime. In the following cases, \(\sigma(M^{2h})\) can be divided by a non - Mersenne prime:
- (i) \(M\in\{M_1,M_3,M_3\}\) or \(M\in\{M_2,M_2\}\) and \(h\geq2\).
- (ii) \(M\notin M\) and \(2h + 1\) can be divided by some prime \(p\), where \(p\neq7\) is a Mersenne number or the order of \(2\) modulo \(p\) can be divided by \(8\) (especially when \(p\) is a Fermat prime greater than \(5\)).

Through these theorems, the author not only solves the classification problems regarding Mersenne primes and perfect polynomials but also provides new tools and methods for further studying the properties of these polynomials.