*13:Taoが生まれた1975年に色を付けているのは、Szemerédiの定理の論文の出版年という記念すべき年に生まれたからですが、講演では言及し忘れました。Wikipedia*14:掲載は省略しますが、Euclidの原論の該当ページの写真のスライドがこの一つ前にありました。Wikipedia*20:当ブログではまだ書いてないですが、とりあえず代数的整数論の演習問題レベルです。*21:PIDでない数体の整数環については42枚目の演習問題を根拠に素イデアルの無限性が従い、そこから有理素数の無限性も導出できるという視点です。以上の数体は存在し得なかったという解釈ができます。質問を受けましたが、別証明として紹介しているものは全て循環論法ではありません。INTEGERS*28:左側については先ほどのリーマンゼータ関数の記事。Wikipedia*42:掲載は省略しますが、この次のスライドで原論文に描かれている論理図を紹介しました。Wikipedia*44:Gowersの証明が2010年になっていました。INTEGERSから解説が始まります。*47:矢印は言い換えの順番を表していて、証明が簡単な論理の方向は逆矢印となります。INTEGERSの命題2。「生み出される」は気取りすぎでした。*52:正確な主張は§3の記事に書いてあります。-加法族そのものに定義される量は複雑度。-加法族のペアに関する複雑な形で定式化する必要があります。INTEGERS*56:正確な定義は§5(その一)の記事。-加法族は実際にはペアで考えることに注意して、その構成は§10(その一)の最後の方で行われています。INTEGERSで場合分けの形で記述されています。*60:§9の内容をこのスライド一枚に閉じ込めて細かい点の解説はしませんでした。INTEGERS*61:これと次のスライドは§10(その二)の最後の方の計算。*62:重たいSzemerédiの定理の証明の解説が終わり、Green-Taoの高みに入る前に休憩の話を挿入しました。Wikipedia*65:立方数からなる非自明な長さ3の等差数列は存在しない。INTEGERSから解説が始まります。INTEGERS*68:証明の詳細はSzemerédiの定理と同様として省略しました。INTEGERSに詳しく、§8(その二)までに擬ランダム測度に対するSzemerédiの定理が証明されます。INTEGERS*71:擬ランダム測度であることを示すには線形形式条件に対応する式(Goldston-Yıldırım型定理A)と相関条件に対応する式(Goldston-Yıldırım型定理B)を証明する必要がありますが、ここでは前者のみ記述しています。INTEGERSで実行されます。-トリックが効いてくる箇所です。INTEGERS*75:素数の織り成す構造に関する第三の勝利にたどり着いたのかもしれない。アイディアの饗宴』の部分的書評。»プロフィールid:integers整数、特に素数が大好き。素数に恋する女アジマティクスCorollaryは必然に。(22)広告について当ブログはお金を支払って「はてなブログPRO」を使用しているため広告は表示されません。将来にわたって広告などによる収入を得ることはありません。「はてなブログPRO」を解約し無料プランに変更したため、以降広告が表示されます。管理人が収入を得ていないことは変更ございません。はてなブログをはじめよう!integersさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。