コラッツ研

Sources

10

参考文献

このサイトの説明を深掘りするための入口です。

要点

参考文献を、まず3分で。

  • 原論文と標準的な教科書
  • 計算検証に利用した資料
  • 更新日と出典を確認できるリンク

出典を確認する

数学の解説では、定義を提案した原典、現在の研究をまとめたサーベイ、計算結果の一次資料を区別して示します。引用元の版と公開日も記録しておくと追跡しやすくなります。

おすすめの読み進め方

まず「コラッツ予想とは」で規則を確認し、次に「何が難しい？」で論点をつかみます。その後に論文や研究ノートへ進むと、専門用語の役割が見えやすくなります。

Reading list

目的からたどる主要文献

コラッツ問題には「原論文」ひとつに還元できない起源があります。研究を始めるなら、まず総説で地図をつかみ、関心に応じて密度論・周期・計算の一次資料へ進むのが安全です。

入口と全体像

問題の歴史、用語、研究領域の見取り図をつかむための資料です。

  1. J. C. Lagarias · 1985The 3x+1 Problem and Its Generalizations ↗

    古典的な標準サーベイ。一般化、周期、計算、2進的視点を横断して整理。

  2. J. C. Lagarias 編 · 2010The Ultimate Challenge: The 3x+1 Problem ↗

    概観、計算、確率モデル、初期論文、注釈付き書誌を集めた資料集。

  3. J. C. Lagarias · 2003The 3x+1 problem: an annotated bibliography (1963–1999) ↗

    古典から現代につながる文献探索の出発点。

理論的な部分結果

「ほとんどすべて」、周期、2進構造など、全証明には至らないが重要な制約を与える論文です。

  1. R. Terras · 1976A stopping time problem on the positive integers ↗

    停止時間を定式化し、密度論的研究の基礎を築いた論文。出版社ページから CC-BY の本文を取得できます。

  2. C. J. Everett · 1977Iteration of the number-theoretic function ↗

    ほとんどすべての初期値で、ある反復が出発値を下回ることを示した。

  3. T. Tao · 2022Almost all orbits of the Collatz map attain almost bounded values ↗

    対数密度の意味で almost all を大きく前進させた近年の重要論文。

  4. C. Hercher · 2023There are no Collatz m-Cycles with m ≤ 91 ↗

    局所最小値数が91以下の非自明周期を排除。

計算・構造・再現性

有限範囲の検証、2進的な再定式化、公開コードを追いたいときの資料です。

  1. D. J. Bernstein, J. C. Lagarias · 1996The 3x+1 Conjugacy Map ↗

    Collatz 写像を2進整数上の力学系として捉える基礎文献。

  2. D. Barina · 2021Convergence verification of the Collatz problem ↗

    小規模な lookup table を用いる高速な検証手法。

  3. D. Barina · 2025Improved verification limit for the convergence of the Collatz conjecture ↗

    検証範囲を 2^71 まで更新した GPU・分散計算の報告。

  4. D. Barina · 継続中Collatz verification project ↗

    検証ログと MIT ライセンスの実装を公開。

出典: 添付「コラッツ問題に関する参考文献調査報告」（2026年7月時点）。書誌情報と公開状況は変わり得るため、利用時はリンク先の一次資料で確認してください。