ケプラー予想と数値計算 ishi.info.waseda.ac.jp.pptVIP

ケプラー予想と数値計算 G99P043-４　河邊昌彦 G99p094-１　内藤一兵衛 G99P146-１　八幡淳 はじめに ケプラー予想の概要???八幡 ケプラー予想の証明???河邊 証明に使う数値計算???内藤 ケプラー予想（１） ケプラー予想とは??? ケプラー予想（２） ケプラー予想は証明されたのか？ ケプラー予想（３） 最密充填 面心立方格子 立方体に敷きつめたものを区切ったとき、 各々の面に球の中心がくる構造。 六方最密構造 ある同一平面上で、１つの球に対して６個の球が 接していて六角形になってる構造。 ２つの構造の比較 ２つの構造の特徴 任意の球に接する球は１２個 充填密度 空間に対する球の占める割合 最密充填の充填密度＝ 数値計算との関連 数値計算との関連（２） 区間演算の使用 変数が多い 多項式が出てくる ArcCotが出てくる ケプラー予想の定式化 G99P043-4 河邊昌彦 証明の流れ (1) 概念定義 基本的な概念 Delaunay 分割 Delaunay star スコア リージョン分割 証明の流れ (2) 証明 リージョンによる場合分け 5個のステップに分ける ステップ1 条件を列挙 証明すべき対象を絞り込む 最終的に残ったもの 数値計算による証明 基本的な概念 充填する空間 3次元空間全体 充填する物体 半径1の球 密度 空間全体に対する、球の占める割合 最密構造の密度は Delaunay 分割 simplex 球の中心を頂点とする四面体 simplexの外接球の内側には、頂点が存在しない Delaunay 分割 (例) Delaunay 分割 (例) Delaunay 分割 (例) Delaunay star 一つの頂点に注目すると… その頂点を共有しているsimplexが周りに集まっている Delaunay star (例) スコア (1) simplexの密度を測る指標 “pt ”(ポイント)という単位で測る 密度と体積が大きいほど高くなる 基準 正四面体 ― 1pt 正八面体 ― 0pt スコア (2) 定義 スコア (3) スコアと密度の関係 リージョン分割 Delaunay starを球面上に投影 頂点 ? 球面上の点 辺 ? 点を結ぶ弧 面 ? 弧に囲まれた領域 = リージョン 球面がリージョンに分割される リージョン分割 (例) 面心立方格子 リージョン分割 (例) Delaunay starの辺 リージョン分割 (例) 中心に単位球を描く リージョン分割 (例) 球の中心へ辺を投影する リージョン分割 (例) 球面上の弧に投影される リージョン分割 (例) 他の辺に関しても、同様にする リージョン分割 (例) 球面がリージョンに分割された リージョンによる場合分け 証明を5個のステップに分ける 全てのリージョンが三角形の場合 全てのリージョンが三角形以外の場合 三角形と四角形のリージョンのみの場合 五角形以上のリージョンがある場合 3の特殊な場合 それぞれの場合でスコアの上界を求める ステップ1 (条件) スコアが8pt を越えるDelaunay starが存在すると仮定 ステップ1 (結果) 条件を満たすものは一つだけ ステップ1 (結果) 唯一、8pt を超える可能性が残っているDelaunay star (24面体) 24面体の場合分け 更に細かく場合分けをする Delaunay starの辺の長さに関する場合分け 一つの場合 ある一つの辺の長さが2.2以上のsimplex このsimplexのスコアが0.5pt 以下 まとめ simplex S の辺の長さを y1, …, y6とすると 区間演算を使った証明 G99P094-1　内藤一兵衛 ケプラー予想の数式の整理 Γ（S）関数 [ArcCot]を含む式の区間演算 テイラー不等式 初等関数を多項式で挟みこむ手法の説明 初等関数を多項式で挟みこむ手法の説明 分けなかった場合 分けた場合 プログラム 結果 全体のまとめ ケプラー予想の証明は、構造的な場合分けによって分割される 一つの場合について、数値計算による証明を示した 他の場合も、数値計算を使って証明される simplex Sに対する定義。 積の右側でスコアの正負が決まる。 Delaunay starに対しては、そこに含まれるsimplexのスコアの合計とする。 最密構造の密度はπ/√18。 全てのDelaunay starのスコアが8pt以下であることが証明されれば、ケプラー予想が証明されたことになる。 Delaunay starの中心に球を考え、その球面上にDelaunay starを放射状に投影する。 再び面心立方格子の場合の例。 面心