シュニレルマン密度

(additive number theory)では、シュニレルマン密度 (Schnirelmann density) は、整数列の密度の概念の一種である。これは、後にYuri Linnik(Yuri Linnik)やIvan Matveyevich Vinogradov(Ivan Matveyevich Vinogradov)の仕事に重要なアイデアをもたらした。この概念を定義・研究した数学者L.G.シュニレルマン(L.G.Schnirelmann)に因む。

**定義**
A を自然数からなる集合とし、  を A の元のうち 1 以上 n 以下のものの個数とする。このとき、実数
が必ず定義され、これを A のシュニレルマン密度という。inf は「全ての部分列の中の最も小さな下界を採用する」ことを意味する。

**例**
 自然数全体の集合のシュニレルマン密度は 1 である。- 奇数全体の集合のシュニレルマン密度は 1/2 である。- 偶数全体の集合 E のシュニレルマン密度は 0 である (A(1)=0 であるため)。- 1 と偶数全体からなる集合のシュニレルマン密度は 1/2 である。- 1 と素数からなる集合のシュニレルマン密度は 0 である。- 1 と2つの素数の和で表される整数からなる集合のシュニレルマン密度は 正 である（後述）。

**性質**
次の性質は定義から明らかである。- すべての n に対して -  ならば -  ならば .
 特に、 A が 1 を含まなければ、  である。また、 A が 2 を含まなければ、  である。-  ならば、任意の正の ε に対して、  となる n が存在する。- A が 1 を含んでおり、正の下極限密度を持つとき、  である。
※追記 ： 定義より全ての n に対して、0 ≤ A(n) ≤ n であり nσA ≤ A(n) であるから、0 ≤ σA ≤ 1 かつ σA = 1 であることは A = N であることと同値である。さらに、
: 
シュニレルマン密度は集合の最初の値に対して敏感である．
: .
特に、
: かつ 　である。
結局、偶数と奇数のシュニレルマン密度はそれぞれ、0 と 1/2 である。シュニレルマンとリンニクは、以下に見るように、この敏感さを利用した。（シュニレルマン密度は A の小さな部分に強く依存する。しかし、比較的容易に加法的整数論に関する定理を得ることができるため、シュニレルマンによって早くから研究がなされた。）

**シュニレルマンの定理**
以下、  と表されるもの全体の集合を  と記す。また、 と表されるもの全体の集合を nA と記す。 nA が自然数全体の集合と一致する最小の n に対して A を位数 n の加法的な基(additive basis)もしくは単に基であるという。たとえば四平方定理より 0 と平方数からなる集合は位数 4 の基である。
どのような整数列が基であるか、また基であるときにその位数がいくつかを知ることが加法的整数論の中心的な課題である。
定理　A と B を自然数の集合で、共に 0 を含むものとする。  とすると、
が成り立つ。
このことは次のようにして分かる。 を A の元全体とする。  ならば 上の不等式の右辺は  に等しいから   （よって  である）の場合を考える。
かつ  ならば、  は C の元であるが A の元ではない。 B が 0 を含んでいることより C は A の元を含んでいるから、  とおくと、
ここで  が常に成り立つことから
となる。  が常に成り立つから、
である。これより定理が示された。
この定理を変形すると
となる。これを帰納的に適用して、
を得る。

**定理の意味と加法的な基**
シュニレルマンの定理は、和集合がどのように蓄積されるかについて、最初の見方を与えている。この結論は、一見、 が優加法性(superadditive)を持っていることが、不幸に見えるが、シュニレルマンは次のような結果を示し、彼の目指した目的へほぼ到達した。
定理.  と  を自然数  の部分集合とする。 であれば、
となる。言い換えると、 かつ A が 0 を含んでいるならば A + B はすべての整数を含んでいる。
実際、  ならば、 n および  の形の数は B に含まれないから、 となり、よって となる。
上記の二つの定理から、A が 0 を含んでおり、正のシュニレルマン密度を持つならば、ある自然数 n に対して  となり、よって  はすべての整数を含んでいることがわかる。つまり
定理. (シュニレルマン)  とする。 であれば、
となるような  が存在する。
有限和  という性質を持つ部分集合  を加法的な基(additive basis)といい、そのようにとることが可能な最小の和の数を基の次数(degree)という。このようにすると上記の定理は、任意の正のシュニレルマン密度を持つ集合は、加法的な基であるということになる。この用語を使うと、平方数の集合  の加法的な基の次数は 4 であることになる。全ての平方数の集合を  とすると、ラグランジュの四平方定理は  と書きなおすことができる。（ここに、記号  は、 と  との sumset とする。） であることは明らかである。事実、依然として、 であり、どの点がシュニレルマン密度を 1 とし、どのように密度を増加させるのかを問うかもしれない。実際は、3つの和の場合は、 であり、 の sumset を取ることをすると、より大きな集合、すなわち、全ての自然数の集合  となる。シュニレルマンは、さらにこれらの考え方を進め、上記の定理とし、加法的整数論の研究を進め、（たとえ巨大な威力を発揮しなかったとしても）多くの貴重な結果を証明し、ウェアリングの問題やゴルドバッハの予想のような重要な問題を解明しようとした。

**マンの定理**
歴史的には、シュニレルマンの定理より強い予想は、それ以前の一時期よりエドムンド・ランダウ(Edmund Landau)によって「アルファ+ベータ予想」として使われていた。1942年、Henry Mannによりこの予想は証明され、マンの定理として定式化された。
定理. 1942  と  を  の部分集合とする。 の場合、
が成り立つ。
つまり、A が 0 を含んでおり、また σA ≥ 1/n ならば、A は次数が高々 n の基となっていることが分かる。
マンの証明の直後、エミル・アルティン(Emil Artin)と P. Scherk はマンの定理の証明を簡素化した。この定理の低い漸近密度での類似は、クネーザー(Kneser)により得られた。

**ウェアリングの問題**
と  を自然数とする。 とする。 を  の方程式

の非負の整数解の数とし、 を  の不等式

の非負の整数解の数とする。すると、 となり、次の 2つを得る。
により定義される -次元の領域の体積は、大きさが  の超立方体の体積を最大として有界である。従って、 である。ここで難しい部分は、この限界値が平均でもうまく機能することです。つまり、
補題. (リンニクの定理) 全ての  に対して、 にのみ依存する  と定数  が存在して、全ての  と全ての  について
が成り立つ。
このことを元にして、次の定理をエレガントに証明できる。
定理. 全ての  に対し、 となる  が存在する。
このようにして、ウェアリングの問題の一般的な解法が確立した。
系. 1909 全ての  に対し、 にのみ依存する  が存在し、全ての正の整数  は、高々、 の -乗のべきの和として表すことができる。

**シュニレルマン定数**
シュニレルマンがこの概念を研究したのはゴールドバッハの予想の研究のためでもあった。P を 0, 1 と素数からなる集合とすると、これはシュニレルマン密度 0 を持つが、シュニレルマンはブルンの篩を用いて P + P が正のシュニレルマン密度を持つことを示した（1930年、シュニレルマンの定理 、この定理は、上に述べたように、任意の 1 より大きな自然数は、計算可能な定数を C として C 個より少ない数の素数の和により表されるという定理）。よって P は基である。すなわち、ある定数 C が存在し、全ての整数は 高々 C 個の素数の和で表される。シュニレルマンは  を示している。このことに因んで、「1 より大きい全ての整数が高々 C 個の素数の和で表される」が正しくなる最小の C をシュニレルマン定数と呼ぶ。ゴールドバッハの予想は、シュニレルマンの定数  を証明することとなる。
(Olivier Ramaré)は、1995 で、シュニレルマンの定数は、高々 7 であることを示し、先に上の境界が 19 であることを示したハンス・リーゼル(Hans Riesel)とRobert Charles Vaughan (mathematician)(Robert Charles Vaughan)によって得られている結果を改善した。

**必須な構成要素**
アレクサンドル・ヒンチン(Aleksandr Khinchin)は、平方数の数列は、たとえシュニレルマン密度 0 であったとしても、シュニレルマン密度が 0 と 1 の間の数列を加えると、密度が増大することを証明した。全ての  である数列  に対し
 
となる。このことは、すぐにポール・エルデシュ(Paul Erdős)により単純化され、かつ拡張され、A がシュニレルマン密度 α であり、B が次数(order) k の加法的な基であれば、
  
が成り立つことを示した。プリューネッケ(Plünnecke)は、さらに改善し、
 
を示した。
この加法により密度が増える性質を持つ数列は、ヒンチンにより必須な構成要素(essential components)と名付けられた。Yuri Linnik(Yuri Linnik)は、 x より小さな xo(1) 個の元を持つ必須な構成要素を構成することで、必須な構成要素が必ずしも加法的な基である必要はないことを示した。さらに詳しくは、数列がある C  1 に対して x に対して必須な構成要素は高々 (log x)C 個の元しか持たないことを結論付けた。

**脚注**

**参考文献**
 Cite journal | last1=Hilbert | first1=David | author1-link=David Hilbert | title=Beweis für die Darstellbarkeit der ganzen Zahlen durch eine feste Anzahl nter Potenzen (Waringsches Problem) | doi=10.1007/BF01450405 | mr=1511530 | year=1909 | journal=Mathematische Annalen | issn=0025-5831 | volume=67 | issue=3 | pages=281–300 | ref=harv | postscript=-  zbl=JFM 56.0892.02 -  zbl=0006.10402 - Cite journal |last=Mann |first=Henry B.| authorlink=Henry Mann| title=A proof of the fundamental theorem on the density of sums of sets of positive integers | doi=10.2307/1968807 | mr=0006748 | year=1942 | journal=Annals of Mathematics | series = Second Series | issn=0003-486X | volume=43 | pages=523–527 | issue=3 | publisher=Annals of Mathematics | ref=harv | postscript= | jstor=1968807 | zbl=0061.07406 -  pages=138-142 -  editor-link=Louis J. Mordell -  ref=harv -  zbl=0851.11057 - cite book | title=Additive Number Theory: the Classical Bases  
series=Graduate Texts in Mathematics | first=Melvyn B. | last=Nathanson | publisher=Springer-Verlag | year=1996 | isbn=0-387-94656-X | zbl=0859.11002 - cite book | first=Melvyn B. | last=Nathanson | title=Elementary Methods in Number Theory | volume=195 | series=Graduate Texts in Mathematics | publisher=Springer-Verlag | year=2000 | isbn=0-387-98912-9 | zbl=0953.11002 | pages=359–367 - postscript =  この書籍にはマンの定理の証明とウェアリングの問題でのシュニレルマン密度の証明が記載されている．原文はロシア語．- ref = harv  訳：蟹江　幸博　上記の日本語訳，他に訳者の解説．- cite book | first1=Alina Carmen | last1=Cojocaru | first2=M. Ram | last2=Murty | author2-link=M. Ram Murty | title=An introduction to sieve methods and their applications | series=London Mathematical Society Student Texts | volume=66 | publisher=Cambridge University Press | isbn=0-521-61275-6 | pages=100–105 | year=2005 -  ref=harv