デ・ブラン=ニューマン定数Λの上限更新:リーマン予想への新たな進展

リーマン予想は、素数の分布の誤差を支配する重要な未解決問題である。この予想は、複素関数ゼータ関数の非自明な零点がすべて実部1/2の直線上に存在するという主張である。この予想の真偽は、数論における数百の定理の証明に影響を与える。本記事では、リーマン予想を実数Λに関する命題(Λ ≤ 0)に言い換えるアプローチを紹介する。Λはデ・ブラン=ニューマン定数と呼ばれ、その値はリーマン予想の真偽と直接関連している。2018年にΛ ≥ 0が証明され、Λは0以上の値に限定された。今回、新たな証明手法により、Λの上限が0.1787854に更新された。これは、Λが取りうる区間を約10%削減する進展である。この証明は、リーマン関数の熱方程式による変形と、その零点の振る舞いを解析する「障壁法」に基づいている。具体的には、3つの条件(検証済みの零点高さ、最終時刻における零点のクリアランス、および障壁の存在)を証明することで、Λの上限が得られる。この進展は、計算機による検証と理論的な証明を組み合わせたものであり、310万以上の区間算術証明と、厳密な監査証跡によって裏付けられている。