Computational progress on the unfair 0-1 polynomial Conjecture

Kevin G. Hare

2023-07-14

Abstract:Let $c(x)$ be a monic integer polynomial with coefficients $0$ or $1$. Write $c(x) = a(x) b(x)$ where $a(x)$ and $b(x)$ are monic polynomials with non-negative real (not necessarily integer) coefficients. The unfair 0--1 polynomial conjecture states that $a(x)$ and $b(x)$ are necessarily integer polynomials with coefficients $0$ or $1$. Let $a(x)$ be a candidate factor of a (currently unknown) 0--1 polynomial. We will assume that we know if a coefficient is $0$, $1$ or strictly between $0$ and $1$, but that we do not know the precise value of non-integer coefficients. Given this candidate $a(x)$, this paper gives an algorithm to either find a $b(x)$ and $c(x)$ with $a(x) b(x) = c(x)$ such that $b(x)$ has non-negative real coefficients and $c(x)$ has coefficients $0$ or $1$, or (often) shows that no such $c(x)$ and $b(x)$ exist. Using this algorithm, we consider all candidate factors with degree less than or equal to 15. With the exception of 975 candidate factors (out of a possible 7141686 cases), this algorithm shows that there do not exist $b(x)$ with non-negative real coefficients and $c(x)$ with coefficients $0$ or $1$ such that $a(x) b(x) = c(x)$.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to verify the "Unfair 0 - 1 Polynomial Conjecture". Specifically, this problem can be described as follows:

Suppose \(c(x)\) is a monic polynomial with integer coefficients, whose coefficients are 0 or 1. Decompose it into \(c(x)=a(x)b(x)\), where \(a(x)\) and \(b(x)\) are monic polynomials and their coefficients are non - negative real numbers (not necessarily integers). The Unfair 0 - 1 Polynomial Conjecture asserts that in this case, \(a(x)\) and \(b(x)\) must be polynomials with integer coefficients, and their coefficients are 0 or 1.

To verify this conjecture, the paper proposes an algorithm for determining whether a given candidate factor \(a(x)\) can be a factor of some Unfair 0 - 1 polynomial. If such a factor exists, then \(b(x)\) should be found such that \(a(x)b(x)=c(x)\), and the coefficients of \(b(x)\) are non - negative real numbers, and the coefficients of \(c(x)\) are 0 or 1; otherwise, it is proved that such \(b(x)\) and \(c(x)\) do not exist.

The main contributions of the paper include:
1. Proposing an algorithm to verify whether a polynomial in a specific form can be a factor of an Unfair 0 - 1 polynomial.
2. Using this algorithm to perform computational verification on all polynomials with degrees not exceeding 15. Except for 975 special cases, in the remaining cases, no \(b(x)\) and \(c(x)\) satisfying the conditions are found.

In summary, the goal of this paper is to verify the existence of Unfair 0 - 1 polynomials by computational methods and provide strong evidence to support this conjecture.