Some conjectures on the maximal height of divisors of $x^n-1$

Nathan C. Ryan,Bryan C. Ward,Ryan Ward
DOI: https://doi.org/10.48550/arXiv.1009.5970
2010-09-30
Abstract:Define B(n) to be the largest height of a polynomial in $\mathbb{Z}[x]$ dividing $x^n-1$. We formulate a number of conjectures related to the value of B(n) when $n$ is of a prescribed form. Additionally, we prove a lower bound for $B(p^aq^b)$ where $p,q$ are distinct primes.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the properties and bounds of the maximum height of divisors of the polynomial \(x^n - 1\). Specifically, the authors define the function \(B(n)\), which represents the maximum height of polynomials \(f(x)\in\mathbb{Z}[x]\) with integer coefficients that can divide \(x^n - 1\). The height \(H(f)\) is defined as the maximum of the absolute values of the coefficients of the polynomial \(f(x)\). ### Main research questions: 1. **Finding explicit formulas**: For \(n\) of specific forms, such as \(p^a q^b\) or \(pqr\) (where \(p\), \(q\), \(r\) are distinct prime numbers), find explicit expressions for \(B(n)\). 2. **Determining bounds**: Find upper and lower bounds for \(B(n)\), especially when \(n\) has a specific form. 3. **Understanding the graph**: Explore the range of values of \(B(n)\) and its properties, especially which divisors can reach the maximum height. 4. **Verifying conjectures**: Verify proposed conjectures through a large amount of computational data and propose new conjectures. ### Research background: - **Height function \(A(n)\)**: Defined as the height of the \(n\)-th cyclotomic polynomial \(\Phi_n(x)\), that is, \(A(n)=H(\Phi_n(x))\). Erdős et al. have conducted extensive research on this. - **Function \(B(n)\)**: First defined and studied in reference [5], giving good asymptotic bounds and proposing explicit formulas for \(n\) of certain specific forms. ### Main results: - **Theoretical results**: Proved the lower bound of \(B(p^a q^b)\geq\min\{p^a, q^b\}\). - **Conjectures**: Proposed multiple conjectures about \(B(n)\), such as the possible values of \(B(p^2 q^2)\) and the properties of \(B(pqr)\). - **Computational support**: Conducted a large amount of calculations using Sage software, verified these conjectures, and stored the data in a database for further research. ### Paper structure: 1. **Introduction**: Introduced the research background and motivation. 2. **Computational methods**: Described the methods and scale of calculating \(B(n)\). 3. **Two - prime case**: Discussed the case when \(n\) is divisible by two different prime numbers, including lower bounds and conjectures. 4. **Multiple - prime case**: Explored the case when \(n\) is divisible by three or more prime numbers. 5. **Conclusion and future work**: Summarized the main findings and proposed future research directions. Through these studies, the authors hope to gain a deeper understanding of the height properties of divisors of the polynomial \(x^n - 1\) and provide a basis for further research.