シュニレルマン密度

(加法的整数論)（英語版）(additive number theory)では、シュニレルマン密度 (Schnirelmann density) は、整数列の密度の概念の一種である。これは、後に(リンニク)（英語版）(Yuri Linnik)や(ヴィノグラドフ)（英語版）(Ivan Matveyevich Vinogradov)の仕事に重要なアイデアをもたらした。この概念を定義・研究した数学者L.G.シュニレルマン(L.G.Schnirelmann)に因む。^[1][2]

定義

A を自然数からなる集合とし、 ${\displaystyle A(n)}$  を A の元のうち 1 以上 n 以下のものの個数とする。このとき、実数

${\displaystyle \sigma A:=\inf _{n}{\frac {A(n)}{n}}}$ 

が必ず定義され、これを A のシュニレルマン密度という。inf は「全ての部分列の中の最も小さな下界を採用する」ことを意味する。^[3][4]

例

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

性質

次の性質は定義から明らかである。

• ${\displaystyle 0\leq \sigma A\leq 1.}$ 
• すべての n に対して ${\displaystyle A(n)\geq n\sigma A.}$ 
• ${\displaystyle \sigma {A}=1\quad }$  ならば ${\displaystyle A=\mathbb {N} .\quad }$ 
• ${\displaystyle k\notin A}$  ならば ${\displaystyle \sigma A\leq 1-1/k}$ .

特に、 A が 1 を含まなければ、 ${\displaystyle \sigma A=0}$  である。また、 A が 2 を含まなければ、 ${\displaystyle \sigma A\leq 1/2}$  である。

• ${\displaystyle \sigma A=0}$  ならば、任意の正の ε に対して、 ${\displaystyle A(n)<\epsilon n}$  となる n が存在する。
• A が 1 を含んでおり、正の下極限密度を持つとき、 ${\displaystyle \sigma A>0}$  である。

※追記 ： 定義より全ての n に対して、0 ≤ A(n) ≤ n であり nσA ≤ A(n) であるから、0 ≤ σA ≤ 1 かつ σA = 1 であることは A = N であることと同値である。さらに、

${\displaystyle \sigma A=0\Rightarrow \forall \epsilon >0\ \exists n\ A(n)<\epsilon n.}$ 

シュニレルマン密度は集合の最初の値に対して敏感である．

${\displaystyle \forall k\ k\notin A\Rightarrow \sigma A\leq 1-1/k}$ .

特に、

${\displaystyle 1\notin A\Rightarrow \sigma A=0}$  かつ ${\displaystyle 2\notin A\Rightarrow \sigma A\leq {\frac {1}{2}}}$ 　である。

結局、偶数と奇数のシュニレルマン密度はそれぞれ、0 と 1/2 である。シュニレルマンとリンニクは、以下に見るように、この敏感さを利用した。（シュニレルマン密度は A の小さな部分に強く依存する。しかし、比較的容易に加法的整数論に関する定理を得ることができるため、シュニレルマンによって早くから研究がなされた。）

シュニレルマンの定理

以下、 ${\displaystyle a+b(a\in A,b\in B)}$  と表されるもの全体の集合を ${\displaystyle A+B}$  と記す。また、${\displaystyle a_{1}+a_{2}+\ldots +a_{n}(a_{i}\in A)}$  と表されるもの全体の集合を nA と記す。 nA が自然数全体の集合と一致する最小の n に対して A を位数 n の加法的な基(additive basis)もしくは単に基であるという。たとえば四平方定理より 0 と平方数からなる集合は位数 4 の基である。 どのような整数列が基であるか、また基であるときにその位数がいくつかを知ることが加法的整数論の中心的な課題である。

定理　A と B を自然数の集合で、共に 0 を含むものとする。 ${\displaystyle C=A+B}$  とすると、

${\displaystyle \sigma C\geq \sigma A+\sigma B-\sigma A\cdot \sigma B}$ 

が成り立つ。

このことは次のようにして分かる。${\displaystyle 0<a_{1}<a_{2}<\ldots }$  を A の元全体とする。 ${\displaystyle \sigma A=0}$  ならば 上の不等式の右辺は ${\displaystyle \sigma B}$  に等しいから ${\displaystyle \sigma A>0}$  （よって ${\displaystyle a_{1}=1}$  である）の場合を考える。 ${\displaystyle b\in B}$  かつ ${\displaystyle 1\leq b\leq a_{i+1}-a_{i}-1}$  ならば、 ${\displaystyle a_{i}+b}$  は C の元であるが A の元ではない。 B が 0 を含んでいることより C は A の元を含んでいるから、 ${\displaystyle r=A(x)}$  とおくと、

${\displaystyle C(x)\geq r+\sum _{i=1}^{r-1}B(a_{i+1}-a_{i}-1)+B(x-a_{r}),}$ 

ここで ${\displaystyle \sigma B\leq B(x)/x}$  が常に成り立つことから

${\displaystyle C(x)\geq r+\sigma B(x-a_{r}+\sum _{i=1}^{r-1}(a_{i+1}-a_{i}-1))\geq x\sigma B+r(1-\sigma B)}$ 

となる。 ${\displaystyle r=A(x)\geq x\sigma A}$  が常に成り立つから、

${\displaystyle C(x)\geq x\sigma B+x\sigma A(1-\sigma B)=x(\sigma A+\sigma B-\sigma A\cdot \sigma B)}$ 

である。これより定理が示された。

この定理を変形すると

${\displaystyle (1-\sigma (A+B))\leq (1-\sigma A)(1-\sigma B)}$ 

となる。これを帰納的に適用して、

${\displaystyle 1-\sigma (A_{1}+A_{2}+\ldots A_{n})\leq \prod _{i}(1-\sigma A_{i})}$ 

を得る。^[5]

定理の意味と加法的な基

シュニレルマンの定理は、和集合がどのように蓄積されるかについて、最初の見方を与えている。この結論は、一見、${\displaystyle \sigma }$  が優加法性(superadditive)を持っていることが、不幸に見えるが、シュニレルマンは次のような結果を示し、彼の目指した目的へほぼ到達した。

定理. ${\displaystyle A}$  と ${\displaystyle B}$  を自然数 ${\displaystyle \mathbb {N} }$  の部分集合とする。${\displaystyle \sigma A+\sigma B\geq 1}$  であれば、

${\displaystyle A\oplus B=\mathbb {N} .}$ 

となる。言い換えると、${\displaystyle \sigma A+\sigma B>1}$  かつ A が 0 を含んでいるならば A + B はすべての整数を含んでいる。

実際、 ${\displaystyle n\notin A+B}$  ならば、 n および ${\displaystyle n-a_{i}}$  の形の数は B に含まれないから、 ${\displaystyle B(n)\leq n-1-A(n-1)\leq n-A(n)}$ となり、よって ${\displaystyle \sigma A+\sigma B\leq (A(n)+B(n))/n\leq 1}$ となる。

上記の二つの定理から、A が 0 を含んでおり、正のシュニレルマン密度を持つならば、ある自然数 n に対して ${\displaystyle \sigma (n-1)A>1/2}$  となり、よって ${\displaystyle 2(n-1)A}$  はすべての整数を含んでいることがわかる。つまり

定理. (シュニレルマン) ${\displaystyle A\subseteq \mathbb {N} }$  とする。${\displaystyle \sigma A>0}$  であれば、

${\displaystyle \bigoplus _{i=1}^{k}A=\mathbb {N} .}$ 

となるような ${\displaystyle k}$  が存在する。

有限和 ${\displaystyle A\oplus A\oplus \cdots \oplus A=\mathbb {N} }$  という性質を持つ部分集合 ${\displaystyle A\subseteq \mathbb {N} }$  を加法的な基(additive basis)といい、そのようにとることが可能な最小の和の数を基の次数(degree)という。このようにすると上記の定理は、任意の正のシュニレルマン密度を持つ集合は、加法的な基であるということになる。^[6]この用語を使うと、平方数の集合 ${\displaystyle {\mathfrak {G}}^{2}=\{k^{2}\}_{k=1}^{\infty }}$  の加法的な基の次数は 4 であることになる。全ての平方数の集合を ${\displaystyle {\mathfrak {G}}^{2}=\{k^{2}\}_{k=1}^{\infty }}$  とすると、ラグランジュの四平方定理は ${\displaystyle \sigma ({\mathfrak {G}}^{2}\oplus {\mathfrak {G}}^{2}\oplus {\mathfrak {G}}^{2}\oplus {\mathfrak {G}}^{2})=1}$  と書きなおすことができる。（ここに、記号 ${\displaystyle A\oplus B}$  は、${\displaystyle A\cup \{0\}}$  と ${\displaystyle B\cup \{0\}}$  との sumset とする。）${\displaystyle \sigma {\mathfrak {G}}^{2}=0}$  であることは明らかである。事実、依然として、${\displaystyle \sigma ({\mathfrak {G}}^{2}\oplus {\mathfrak {G}}^{2})=0}$  であり、どの点がシュニレルマン密度を 1 とし、どのように密度を増加させるのかを問うかもしれない。実際は、3つの和の場合は、${\displaystyle \sigma ({\mathfrak {G}}^{2}\oplus {\mathfrak {G}}^{2}\oplus {\mathfrak {G}}^{2})=5/6}$  であり、${\displaystyle {\mathfrak {G}}^{2}}$  の sumset を取ることをすると、より大きな集合、すなわち、全ての自然数の集合 ${\displaystyle \mathbb {N} }$  となる。シュニレルマンは、さらにこれらの考え方を進め、上記の定理とし、加法的整数論の研究を進め、（たとえ巨大な威力を発揮しなかったとしても）多くの貴重な結果を証明し、ウェアリングの問題やゴルドバッハの予想のような重要な問題を解明しようとした。

マンの定理

歴史的には、シュニレルマンの定理より強い予想は、それ以前の一時期よりエドムンド・ランダウ(Edmund Landau)によって「アルファ+ベータ予想」として使われていた。1942年、(ヘンリー・マン)（英語版）によりこの予想は証明され、マンの定理として定式化された。

定理. (Mann 1942) ${\displaystyle A}$  と ${\displaystyle B}$  を ${\displaystyle \mathbb {N} }$  の部分集合とする。${\displaystyle A\oplus B\neq \mathbb {N} }$  の場合、

${\displaystyle \sigma (A\oplus B)\geq \sigma A+\sigma B}$ 

が成り立つ。

つまり、A が 0 を含んでおり、また σA ≥ 1/n ならば、A は次数が高々 n の基となっていることが分かる。

マンの証明の直後、エミル・アルティン(Emil Artin)と P. Scherk はマンの定理の証明を簡素化した^[7]。この定理の低い漸近密度での類似は、クネーザー(Kneser)により得られた。^[8]

ウェアリングの問題

詳細は「ウェアリングの問題」を参照

${\displaystyle k}$  と ${\displaystyle N}$  を自然数とする。${\displaystyle {\mathfrak {G}}^{k}=\{i^{k}\}_{i=1}^{\infty }}$  とする。${\displaystyle r_{N}^{k}(n)}$  を ${\displaystyle x_{i}}$  の方程式

${\displaystyle x_{1}^{k}+x_{2}^{k}+\cdots +x_{N}^{k}=n\,}$ 

の非負の整数解の数とし、${\displaystyle R_{N}^{k}(n)}$  を ${\displaystyle x_{i}}$  の不等式

${\displaystyle 0\leq x_{1}^{k}+x_{2}^{k}+\cdots +x_{N}^{k}\leq n,}$ 

の非負の整数解の数とする。すると、${\displaystyle R_{N}^{k}(n)=\sum _{i=0}^{n}r_{N}^{k}(i)}$  となり、次の 2つを得る。

• ${\displaystyle r_{N}^{k}(n)>0\leftrightarrow n\in N{\mathfrak {G}}^{k},}$ 
• ${\displaystyle R_{N}^{k}(n)\geq \left({\frac {n}{N}}\right)^{\frac {N}{k}}.}$ 

${\displaystyle 0\leq x_{1}^{k}+x_{2}^{k}+\cdots +x_{N}^{k}\leq n}$  により定義される ${\displaystyle N}$ -次元の領域の体積は、大きさが ${\displaystyle n^{1/k}}$  の超立方体の体積を最大として有界である。従って、${\displaystyle R_{N}^{k}(n)=\sum _{i=0}^{n}r_{N}^{k}(i)=n^{N/k}}$  である。ここで難しい部分は、この限界値が平均でもうまく機能することです。つまり、

補題. (リンニクの定理) 全ての ${\displaystyle k\in \mathbb {N} }$  に対して、${\displaystyle k}$  にのみ依存する ${\displaystyle N\in \mathbb {N} }$  と定数 ${\displaystyle c=c(k)}$  が存在して、全ての ${\displaystyle n\in \mathbb {N} }$  と全ての ${\displaystyle 0\leq m\leq n.}$  について

${\displaystyle r_{N}^{k}(m)<cn^{{\frac {N}{k}}-1}}$ 

が成り立つ。

このことを元にして、次の定理をエレガントに証明できる。

定理. 全ての ${\displaystyle k}$  に対し、${\displaystyle \sigma (N{\mathfrak {G}}^{k})>0}$  となる ${\displaystyle N}$  が存在する。

このようにして、ウェアリングの問題の一般的な解法が確立した。

系. (Hilbert 1909) 全ての ${\displaystyle k}$  に対し、${\displaystyle k}$  にのみ依存する ${\displaystyle N}$  が存在し、全ての正の整数 ${\displaystyle n}$  は、高々、${\displaystyle N}$  の ${\displaystyle k}$ -乗のべきの和として表すことができる。

シュニレルマン定数

シュニレルマンがこの概念を研究したのはゴールドバッハの予想の研究のためでもあった。P を 0, 1 と素数からなる集合とすると、これはシュニレルマン密度 0 を持つが、シュニレルマンはブルンの篩を用いて P + P が正のシュニレルマン密度を持つことを示した（1930年、シュニレルマンの定理^[1][2] 、この定理は、上に述べたように、任意の 1 より大きな自然数は、計算可能な定数を C として C 個より少ない数の素数の和により表される^[9]という定理）。よって P は基である。すなわち、ある定数 C が存在し、全ての整数は 高々 C 個の素数の和で表される。シュニレルマンは ${\displaystyle C<800000}$  を示している^[10]。このことに因んで、「1 より大きい全ての整数が高々 C 個の素数の和で表される」が正しくなる最小の C をシュニレルマン定数と呼ぶ^[9]。ゴールドバッハの予想は、シュニレルマンの定数 ${\displaystyle C=3}$  を証明することとなる^[9]。

(オリバー・ラマレー)（英語版）(Olivier Ramaré)は、(Ramaré 1995) で、シュニレルマンの定数は、高々 7 であることを示し^[9]、先に上の境界が 19 であることを示したハンス・リーゼル(Hans Riesel)と(ロバート・チャールズ・ヴォーン)（英語版）(Robert Charles Vaughan)によって得られている結果を改善した。

必須な構成要素

アレクサンドル・ヒンチン(Aleksandr Khinchin)は、平方数の数列は、たとえシュニレルマン密度 0 であったとしても、シュニレルマン密度が 0 と 1 の間の数列を加えると、密度が増大することを証明した。全ての ${\displaystyle 0<\sigma (A)<1}$  である数列 ${\displaystyle A}$  に対し

${\displaystyle \sigma (A+{\mathfrak {G}}^{2})>\sigma (A)}$ 

となる。このことは、すぐにポール・エルデシュ(Paul Erdős)により単純化され、かつ拡張され、A がシュニレルマン密度 α であり、B が次数(order) k の加法的な基であれば、

${\displaystyle \sigma (A+B)\geq \alpha +{\frac {\alpha (1-\alpha )}{2k}}}$  ^[11]

が成り立つことを示した。プリューネッケ(Plünnecke)は、さらに改善し、

${\displaystyle \sigma (A+B)\geq \alpha ^{\frac {1}{1-k}}}$  ^[12]

を示した。

この加法により密度が増える性質を持つ数列は、ヒンチンにより必須な構成要素(essential components)と名付けられた。(ユーリ・リンニク)（英語版）(Yuri Linnik)は、 x より小さな x^o(1) 個の元を持つ必須な構成要素を構成することで、必須な構成要素が必ずしも加法的な基である必要はないことを示した^[13]。さらに詳しくは、数列がある C < 1 に対し x よりも小さな元を

${\displaystyle e^{(\log x)^{C}}\,}$ 

個持っていることを、彼は示した。この結果は、E. ワーシング(E. Wirsing)により、

${\displaystyle e^{{\sqrt {\log x}}\log \log x}}$ 

まで改善された。

暫くの間、どのくらい多くの要素を必須な構成要素が持たねばならないかについては未解決問題であった。最終的には、(イムレ・ルッツァ)（英語版）(Imre Z. Ruzsa)は、必須な構成要素はある x に対しては少なくとも

${\displaystyle (\log {x})^{C}}$ 

個の元を持ち、全ての C > 1 に対して x に対して必須な構成要素は高々 (log x)^C 個の元しか持たないことを結論付けた。^[14]

脚注

1. ^ ^{a b} Schnirelmann, L.G. (1930). "On the additive properties of numbers" が最小に出版されたのは、"Proceedings of the Don Polytechnic Institute in Novocherkassk" (in Russian), vol XIV (1930), pp. 3-27, であり、"Uspekhi Matematicheskikh Nauk" (in Russian), 1939, no. 6, 9–25 で再出版された。
2. ^ ^{a b} Schnirelmann, L.G. (1933). 最初に"Mathematische Annalen" (in German), vol 107 (1933), 649-690 で"Über additive Eigenschaften von Zahlen" として出版され、"On the additive properties of numbers" in "Uspekhi Matematicheskikh Nauk" (in Russian), 1940, no. 7, 7–46 として再出版された。
3. ^ "Infimum"の略であり、整数列 2, 3, 4,… の inf は、2 である。1 は下界ではあるが、inf {2, 3, 4,…} ではない。
4. ^ Nathanson (1996) pp.191–192
5. ^ この最後の式は、左辺の i をインデックスとして、1 を移行し書き換えると、

   ${\displaystyle \sigma (\bigoplus _{i}A_{i})\geq 1-\prod _{i}(1-\sigma A_{i}).}$ 

   となる。

6. ^ 加法的な基についての未解決問題に、(加法的な基についてのエルデシュ・トゥラン予想)（英語版）(Erdős–Turán conjecture on additive bases)がある。
7. ^ E. Artin and P. Scherk (1943) On the sums of two sets of integers, Ann. of Math 44, page=138-142.
8. ^ Nathanson (1990) p.397
9. ^ ^{a b c d} Nathanson (1996) p.208
10. ^ Gelfond & Linnik (1966) p.136
11. ^ Ruzsa (2009) p.177
12. ^ Ruzsa (2009) p.179
13. ^ (Linnik, Yu. V.) (1942). “On Erdõs's theorem on the addition of numerical sequences”. (Mat. Sb.) 10: 67–78. Zbl 0063.03574. 
14. ^ Ruzsa (2009) p.184

参考文献

• Hilbert, David (1909). “Beweis für die Darstellbarkeit der ganzen Zahlen durch eine feste Anzahl nter Potenzen (Waringsches Problem)”. Mathematische Annalen 67 (3): 281–300. doi:10.1007/BF01450405. ISSN 0025-5831. MR1511530 
• (Schnirelmann, L.G.) (1930). “On additive properties of numbers” (Russian). Ann. Inst. polytechn. Novočerkassk 14: 3–28. Zbl JFM 56.0892.02. 
• (Schnirelmann, L.G.) (1933). “Über additive Eigenschaften von Zahlen” (German). Math. Ann. 107: 649–690. doi:10.1007/BF01448914. Zbl 0006.10402. 
• (Mann, Henry B.) (1942). “A proof of the fundamental theorem on the density of sums of sets of positive integers”. Annals of Mathematics. Second Series (Annals of Mathematics) 43 (3): 523–527. doi:10.2307/1968807. ISSN 0003-486X. JSTOR 1968807. MR0006748. Zbl 0061.07406 
• Artin, Emil; Scherk, P. (1943). On the sums of two set of integers. Ann. of Math.. 44. pp. 138-142. 
• (Gelfond, A.O.); (Linnik, Yu. V.) (1966). (L.J. Mordell). ed. Elementary Methods in Analytic Number Theory. George Allen & Unwin 
• (Mann, Henry B.) (1976). Addition Theorems: The Addition Theorems of Group Theory and Number Theory (Corrected reprint of 1965 Wiley ed.). Huntington, New York: Robert E. Krieger Publishing Company. ISBN (0-88275-418-1). MR424744 
• Nathanson, Melvyn B. (1990). “Best possible results on the density of sumsets”. In (Berndt, Bruce C.); Diamond, Harold G.; (Halberstam, Heini) et al.. Analytic number theory. Proceedings of a conference in honor of Paul T. Bateman, held on April 25-27, 1989, at the University of Illinois, Urbana, IL (USA). Progress in Mathematics. 85. Boston: Birkhäuser. pp. 395–403. ISBN (0-8176-3481-9). Zbl 0722.11007 
• (Ramaré, O.) (1995). “On Šnirel'man's constant”. Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie IV 22 (4): 645–706. Zbl 0851.11057. http://www.numdam.org/item?id=ASNSP_1995_4_22_4_645_0 2011年3月28日閲覧。. 
• Nathanson, Melvyn B. (1996). Additive Number Theory: the Classical Bases. Graduate Texts in Mathematics. 164. Springer-Verlag. ISBN (0-387-94656-X). Zbl 0859.11002 
• Nathanson, Melvyn B. (2000). Elementary Methods in Number Theory. Graduate Texts in Mathematics. 195. Springer-Verlag. pp. 359–367. ISBN (0-387-98912-9). Zbl 0953.11002 
• (Khinchin, A. Ya.) (1998). Three Pearls of Number Theory. Mineola, NY: Dover. ISBN (978-0-486-40026-6)  この書籍にはマンの定理の証明とウェアリングの問題でのシュニレルマン密度の証明が記載されている．原文はロシア語．
• (ヒンチン, アレクサンドル) (2000). 数論の３つの真珠. Tokyo: 日本評論社. ISBN (978-4-535-60843-6).  訳：蟹江　幸博　上記の日本語訳，他に訳者の解説．
• Cojocaru, Alina Carmen; (Murty, M. Ram) (2005). An introduction to sieve methods and their applications. London Mathematical Society Student Texts. 66. Cambridge University Press. pp. 100–105. ISBN (0-521-61275-6) 
• Ruzsa, Imre Z. (2009). “Sumsets and structure”. In Geroldinger, Alfred; Ruzsa, Imre Z.. Combinatorial number theory and additive group theory. Advanced Courses in Mathematics CRM Barcelona. Elsholtz, C.; Freiman, G.; Hamidoune, Y. O.; Hegyvári, N.; Károlyi, G.; Nathanson, M.; Solymosi, J.; Stanchescu, Y. With a foreword by Javier Cilleruelo, Marc Noy and Oriol Serra (Coordinators of the DocCourse). Basel: Birkhäuser. pp. 87–210. ISBN (978-3-7643-8961-1). Zbl 1221.11026