シルベスター数列

数論において、**シルベスター数列** () とは、各項がそれまでの項の総積に1を足したものであるような数列である。最初のいくつかの項は次のようになる：

「シルベスター数列」という名称は、1880年にこの数列を最初に調査したジェームス・ジョセフ・シルベスターに由来している。数列の各項の値は**シルベスター数** () と呼ばれることもある。

シルベスター数列の値は二重指数関数的に増加し、その逆数の和は他の単位分数の級数よりも速く1に収束する。シルベスター数列を定義する漸化式は、各項の数の素因数分解をより容易にさせるが、数列の増加速度が急速であるために、完全な素因数分解はいくつかの項に対してしか知られていない。

シルベスター数は1のエジプト式分数表現、佐々木・アインシュタイン多様体、オンラインアルゴリズムの実装などに応用されている。

## 形式的定義
シルベスター数列の第  項は次の式で定義される：

: s_n = 1 + \prod_{i = 0}^{n - 1} s_i.

0個の項の積 (空積) は 1 であるため、 である。

あるいは、次のような漸化式で定義してもよい：

: \displaystyle s_i = s_{i-1}(s_{i-1}-1)+1,\quad(s_0=2)

## 閉形式での表現とフェルマー数
シルベスター数列は  の関数として、二重指数関数的に増加する。具体的には
: s_n = \left\lfloor E^{2^{n+1}}+\frac{1}{2} \right\rfloor

という形式で書くことができる。ここで  はおよそ 1.2640847353...である ()。

シルベスター数列が二重指数関数的増加を示すことは、フェルマー数列  と比較すると驚くべきことではない。フェルマー数は通常、二重指数関数による表式 F_n = 2^{2^n}+1 によって定義されるが、これはシルベスター数列のような総積を使った漸化式によっても定義が可能である：F_n = 2 + \prod_{i = 0}^{n - 1} F_i.

## エジプト式分数との関係
シルベスター数列の逆数和による無限級数
: \sum_{i=0}^{\infty} \frac1{s_i} = \frac12 + \frac13 + \frac17 + \frac1{43} + \frac1{1807} + \cdots.

について考える。この級数の部分和は次のような単純な形で書ける：

: \sum_{i=0}^{j-1} \frac1{s_i} = 1 - \frac{1}{s_j-1} = \frac{s_j-2}{s_j-1}.

これは、帰納法によって、またはより直接的に、任意の  に対する次の等式

: \frac{1}{s_i-1}-\frac{1}{s_{i+1}-1} = \frac{1}{s_i}

から、級数の畳み込みを行うことによって示される：

: \sum_{i=0}^{j-1} \frac{1}{s_i} = \sum_{i=0}^{j-1} \left( \frac{1}{s_i-1}-\frac{1}{s_{i+1}-1} \right) = \frac{1}{s_0-1} - \frac{1}{s_j-1} = 1 - \frac{1}{s_j-1}.

部分和が  で1に収束することから、級数全体が1に収束することがわかる。従って私たちは、これによって無限の長さを持つ1のエジプト式分数表示を得たことになる。

: 1 = \frac12 + \frac13 + \frac17 + \frac1{43} + \frac1{1807} + \cdots

このとき、級数を適当な長さで切って、最後の分母を1小さいものに置き換えることで、任意の長さを持つ1のエジプト式分数表示を得ることができる。

: 1 = \tfrac12 + \tfrac13 + \tfrac16, \quad 1 = \tfrac12 + \tfrac13 + \tfrac17 + \tfrac1{42}, \quad 1 = \tfrac12 + \tfrac13 + \tfrac17 + \tfrac1{43} + \tfrac1{1806},\quad \dots.

また、無限級数の最初の  項の和は、 項からなるエジプト式分数表示のうち1未満で最も大きいものを提供する。例えば、最初の4項の和は 1805/1806 となるため、開区間  に含まれる数のエジプト式分数表示は少なくとも5つの項が必要になる。

シルベスター数列は、各ステップごとにその部分和が1以下となるような最小の分母を選ぶ貪欲法の結果として見ることもできる。あるいは、(初項である1/2を除外して、) 1/2の奇数貪欲法によるエジプト式分数展開だと考えることもできる。

## 有理逆数和を持つ急速増加列としての一意性
シルベスター数の逆数和が有理数である1に収束することから、数列が二重指数関数的に増加することは、その逆数和による級数が無理数となること、さらに数列が  となることの十分条件ではないことがわかる。

一方で  の結果から、シルベスター数列 (の漸化式) は、二重指数関数的な増加を持ち逆数和が有理数に収束するような数列に対する、ある種の唯一性を持っている。つまり、数列  が不等式

: a_n\ge a_{n-1}^2-a_{n-1}+1,

を満たし、逆数和が有理数に収束するならば、十分に大きなすべての  に対して、その漸化式はシルベスター数列と同じ

: a_n= a_{n-1}^2-a_{n-1}+1
となる。

エルデシュとグラハムは、数列  が\lim_{n\rightarrow\infty} \frac{a_n}{a_{n-1}^2}=1.を満たすとき、逆数和が有理数となるならば、十分大きな全ての  に対して a_n= a_{n-1}^2-a_{n-1}+1 が成り立つと予想した。 ではこの予想についていくつかの結果が纏められている。

## 因数分解 (可除性)
 のとき、定義から  が成り立つ。従って、任意の2つのシルベスター数は互いに素である。任意の素数に対して、それで割り切れるシルベスター数が高々1つとなるため、これを用いて素数が無限に存在することを証明できる。より強い事実として、シルベスター数の素因数に6を法として5と合同である数  ( と表せるような素数) は存在しないこと、12を法として7と合同である素数が無限に存在することがシルベスター数列を用いて証明できる。シルベスター数の素因数分解については、多くのことが未解決のままである。例えば、全ての数が平方因子をもたない整数であるかどうか不明である (既知の数は全て平方因子を持たないことがわかっている)。

が説明しているように、与えられた素数  で割り切れるシルベスター数がどれかを決定することは簡単である： を法として0に合同となる数か、周期的な列のいずれかが見つかるまで、法  の下でのシルベスター数列を計算すればよい。この方法を使って、Vardiは最初の300万個の素数のうち1166個がシルベスター数の素因数であること、それらの数の平方がシルベスター数の因数にならないことを突き止めた。シルベスター数の因数として現れる素数の集合は、全ての素数の集合に対して密度0 ( の意味で) である。実際、 より小さいそのような数は O(x /(\log x\cdot\log\log\log x)) のオーダーとなる。

次の表は、シルベスター数の既知の因数分解を示している。ただし最初の4つは全て素数であるため除いている。また、一部の数は大きすぎるため桁数のみを表しており、特に明記されていなければそれらの数は素数とは限らない (unfactoredである)。

## 応用

 ではシルベスター数列の性質を使って、奇数次元の球面またはに対する非同値な佐々木・アインシュタイン多様体の族を与えている。彼らは論文中で、 次元の球面またはエキゾチック球面上で少なくとも \tfrac{1}{3}(s_{m-1}-1) 個の非同値な佐々木・アインシュタイン多様体の族を与える方法を示し、従ってそれらの数は  に対して二重指数関数的な増加を見せる。

が説明しているように、 とはオンラインのビンパッキングアルゴリズムについて、アルゴリズムの評価の下界を与えるためにシルベスター数列の値を利用した。 でも同様に、2次元カッティングストック問題に対して、3-stageギロチンカット解の下界を与えるためにシルベスター数列が用いられている。

は、集合の各要素がそれぞれ他の数の総積に1を足した数の真の約数であるような集合についての問題である。「真の」約数であるという条件を除くと、シルベスター数列の値はこの問題を解決する。本来の条件の下では、シルベスター数列を定めるものと同様の再帰的な手続きによって、問題の解を得ることができる。Známの問題の解は表面特異点の分類や、unary -cyclic 正規言語を通して非決定性有限オートマトンの理論への応用が存在する。

 は単位分数の  項和で1に最も近い近似が、完全数の約数の数に下界を与えることが記されている。 では同じ性質が  個の部分群を持つ群の位数の上界を与えるために使われている。

## 関連項目

* 
*  - 
* - 

## 脚注

### 補注


### 出典

## 参考文献

* 
* 
* 
*
* 
* 
* 
* 
* 
* 
* 
* 
* 
*
*
*
* 
* 
*
* 
* 
* 
* 
* 
* 

### 外部リンク

* 

* 
*