Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Preprint . 2025
License: CC 0
Data sources: ZENODO
ZENODO
Preprint . 2025
License: CC 0
Data sources: Datacite
addClaim

LLM Math case Study: A Proof of the Lonely Runner Conjecture via the Minimal Inertia Principle and Information Geometry

Authors: Miroku, Akagi; Kokuno, Yumeto;

LLM Math case Study: A Proof of the Lonely Runner Conjecture via the Minimal Inertia Principle and Information Geometry

Abstract

This paper presents a complete proof of the conjecture for all real speeds. We first establish the conjecturefor rationally dependent speeds by introducing the Minimal Inertia Principle (MIP), which posits that the configuration minimizing the moment of inertia of the speed set maximizes the system’s stability (the minimum magnitude of the associated LRC polynomial on the unit circle). We prove the MIP by translating the problem into the framework of information geometry. The core of the proof is the establishment of a novel Covariance Inequality, Covp(log p(d), cos(dθmin)) ≥ 0, which demonstrates that Shannon entropy acts as a Lyapunov functional for the system’s stability. We provide a rigorous proof of this inequality based on concentration properties and the second-order conditions of the extremum. We further support the MIP with alternative frameworks based on combinatorial Ricci flow, Perelman entropy, and analogies to Quantum Chaos/Random Matrix Theory. Finally, we extend the proof to all real speeds by demonstrating that the set of potential counterexamples is closed in the space of speed configurations, thereby completing the proof of the full conjecture. This work was performed in significant part by AI. The use of AI deductive capacity to speed up hypothesis elimination and refinement inspired by these findings, which showed that in spite of AI limitations in inductive reasoning, their deductive speed and capacity might nevertheless allow them to find use in the advancement of mathematics.

Keywords

Information Geometry, View-Obstruction Problems, Stability-Entropy Correspondence, Geometry of Numbers, Lonely Runner Conjecture, LRC Polynomial, Erdős-Turán Theorem, Algebraic Quantum Field Theory, Canonical Configuration, Graph Laplacian / Spectral Gap, Variational Analysis, Covariance Inequality, Diophantine Approximation, Minimal Inertia Principle (MIP), Fisher Information Metric, Frankl's Union-Closed Sets Conjecture, Non-Commutative Geometry, Random Matrix Theory (RMT), FOS: Mathematics, Difference Distribution, Quantum Chaos, Relative Entropy, Mathematics, Shannon Entropy, Moment of Inertia

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Green