arXiv Proposes Generalized Boyd Algorithm via Human-AI Loop to Overcome High-Degree Barrier in Lehmer's Problem
Summary:arXiv presents a novel approach to solving Lehmer's problem (1933) through a human-AI discovery loop, introducing the Generalized Boyd algorithm. This algorithm leverages a fast numerical pipeline, an exact symbolic verifier, and large-scale distributed search to eliminate degree-skipping in constructing irreducible polynomials with Mahler measure strictly below Boyd's limit point (α1 ≈ 1.255434). Evaluations across even degrees up to 2000 show improvements over six previously published values a
Background and Problem
Lehmer's problem, proposed by Derrick Lehmer in 1933, seeks to determine whether the Mahler measure of an integer polynomial can be made arbitrarily small. The Mahler measure quantifies how far the roots of a polynomial stray from the unit circle; the smaller the measure, the closer the roots are to the unit circle. Constructing irreducible polynomials with small Mahler measure has been a longstanding challenge, particularly for higher-degree polynomials.
Existing Methods and Challenges
Previous research has primarily focused on even-degree polynomials (d ≤ 180). For higher degrees, Boyd's analytical one-parameter family method frequently factors, skipping nearly 50% of target degrees and leaving no general construction for arbitrary d.
New Method: Generalized Boyd Algorithm
This study introduces a human-AI discovery loop that leads to the Generalized Boyd algorithm. The process involves the following steps:
- Extended Conversational Prompting: Combining fast numerical pipelines, exact symbolic verifiers, and large-scale distributed search, AI agents prototype numerical and symbolic solvers locally.
- Parallel Search and Verification: AI agents launch parallel searches across distributed clusters and work with human researchers to extract and verify mathematical hypotheses.
- Five-Parameter Construction: Through the interactive loop, the Generalized Boyd algorithm is derived.
The algorithm successfully eliminates degree-skipping and generates irreducible polynomials with Mahler measure strictly below Boyd's limit point.
Experiments and Results
Evaluations across all even degrees up to 2000 show that the Generalized Boyd algorithm improves upon six previously published values and retains 99.6% of all best-known records. Key outcomes include:
- Record Improvements: Achieved smaller Mahler measure values in several high-degree polynomials.
- Generality: Applicable to any target degree, eliminating degree-skipping.
Conclusion and Impact
This research, through the human-AI discovery loop, has overcome the high-degree barrier in Lehmer's problem, demonstrating the significant potential of AI in mathematical research. The Generalized Boyd algorithm not only provides a new tool for mathematicians but also opens new avenues for the deep integration of AI and mathematical research.
Developer Recommendations
- Tool Integration: Developers are encouraged to integrate the Generalized Boyd algorithm into existing mathematical software packages to expand its application.
- Further Research: Researchers are encouraged to explore the algorithm's applications in other areas of mathematics, such as number theory and combinatorics.
- Human-AI Collaboration Models: Explore more efficient human-AI collaboration models to accelerate the solution of complex problems.
— END —Source: ArXiv AI (cs.AI) (2026-10-23)
Tags: #Human-AI Collaboration #Mathematical Research #AI in Mathematics #Lehmer's Problem #Distributed Search
Editorial & Fact-Checking Note: This article is compiled from primary research, official release documentation, and source papers by the ZICQ Newsroom pipeline with automated entity verification and human editorial review. If you notice any technical inaccuracy, please submit a correction via our corrections policy or email our editorial desk directly.
Community Comments