数学において、ニルシーケンスはエルゴード理論と加法的組み合わせ論において重要な役割を果たす数値シーケンスの一種である。[ 1 ]この概念は冪零リー群とほぼ周期性に関連している。この名称は、理論においてコンパクトニル多様体であるタイプのものが果たす役割に由来する。どこは冪零のリー群であり、格子状の構造になっている。
要素によって定義される基本的な nil シーケンスの概念の連続関数の上取る、 のために整数として、一般的なニルシーケンスは、基本ニルシーケンスの均一極限です。 [ 2 ]予想と定理の記述には、技術的な付随条件と複雑さの定量化が導入されます。ニルシーケンスの組み合わせ論的な重要性の多くは、ガワーズノルムとの密接な関係を反映しています。 [ 3 ]ホストとクラが説明したように、ニルシーケンスは「ニルシステム」の軌道上の関数を評価することから生じ、ニルシステムは「多重相関の特徴」です。[ 4 ]
円群は実数直線とその整数部分群の特殊な場合として現れる。円群は冪零類が1であり、アーベル群である。一般理論の要件は冪零類に一般化することである。半開区間[ 0,1)は基本領域であり、そのため、理論には分数部分関数が関わってくる。分数部分を含む関数円群内の変数の不連続性は、「括弧多項式」という名称で現れます。この理論はリプシッツ関数の設定に基づいているため、当然連続であるため、0 における小数部分の不連続性に対処する必要があります。
とはいえ、シーケンスは、 どこは与えられた無理実数であり、整数であり、ディオファントス近似で研究されているものは、この理論の簡単な例である。それらの構成は、エルゴード理論の歪積構成に1次元を追加したものとして考えることができる。[ 5 ] [ 6 ]
虚数指数関数実数を円群に写像する(オイラーの公式#位相的解釈を参照)。数値列どこは実数係数を持つ多項式関数であり、は整数変数であり、 は三角多項式の一種で、冪零列理論の目的上「多項式列」と呼ばれます。アーベル群ではない冪零群への一般化は、群論のホール・ペトレスコ恒等式に基づいて、実用的な多項式理論を構築します。 [ 7 ]特に、多項式列には明確な次数が伴います。
一連の推測ベン・グリーンとテレンス・タオによって、素数論のメビウス関数と-ステップのnilシーケンス。ここでは、基となるグループは単連結かつ冪零であり、長さは最大で であると仮定する。検討対象のニルシーケンスは、固定値付きで、そして関数連続で、 [ -1,1 ]の値をとる。[ 8 ]ニル多様体上の明示された計量と暗黙の定数におけるリプシッツ境界を必要とする予想の形式は、平均がまでは漸近的に任意の固定逆べき乗よりも小さい。[ 9 ] 2012年に発表された予想を証明する論文では、メビウス関数はニルシーケンスに強く直交すると述べられている。 [ 10 ]
その後、グリーン、タオ、タマル・ジーグラーも家族であることを証明したガワーズノルムの逆定理をニルシーケンスの観点から記述した。これにより、線形形式の同時素数の漸近性を証明するプログラムが完了した。[ 11 ]
Taoは著書『高次フーリエ解析』の中で、逆定理の証明におけるニルシーケンスの役割についてコメントしている。問題は、IGの結果を有限体の場合から一般的な有限巡回群に拡張することであり、「古典的な位相」、つまり円群に自然な多項式の指数関数では不十分であることが判明した。ニルシーケンス以外にも選択肢があり、特に括弧多項式を直接使用する方法があった。しかし、Taoは基礎となるリー理論の構造にはニルシーケンスの方が好ましいと述べている。[ 12 ]
Tao は、ニルシーケンスに関する予想が、メビウス関数とその自己相関のみを含むSarvadaman Chowlaの有名な予想の平均形式と同等であることを証明しました。 Peter Sarnak は、エルゴード理論からのより一般的なシーケンスとメビウス関数の非相関に関する予想を立てましたが、これは Chowla の予想の結果です。平均形式に関する Tao の結果は、3 つの予想すべてが同等であることを示しました。[ 13 ] Frantzikinakis と Host による2018 年の論文「エルゴード重みに対する対数 Sarnak 予想」では、このアプローチを使用して、リウヴィル関数に関する無条件の結果を証明しました。[ 14 ]