シルベスター数列

ファイル:Sylvester-square.svg|リンク=//upload.wikimedia.org/wikipedia/commons/thumb/a/a2/Sylvester-square.svg/300px-Sylvester-square.svg.png|サムネイル|300x300ピクセル|シルベスター数の逆数和 1/2 + 1/3 + 1/7 + 1/43 +… が1に収束することのグラフィカルな実演。各行は一辺が 1/k である正方形 k 個からなり、従って面積は 1/k となり、それら正方形の全体は一辺が1の正方形をちょうど被覆する。一辺 1/1807、あるいはそれ以下の正方形は小さすぎて図中で見ることはできない。
数論において、シルベスター数列 (Sylvester's sequence) とは、各項がそれまでの項の総積に1を足したものであるような数列である。最初のいくつかの項は次のようになる：
「シルベスター数列」という名称は、1880年にこの数列を最初に調査したジェームス・ジョセフ・シルベスターに由来している。数列の各項の値はシルベスター数 (Sylvester number) と呼ばれることもある。
シルベスター数列の値は二重指数関数的に増加し、その逆数の和は他の単位分数の級数よりも速く1に収束する。シルベスター数列を定義する漸化式は、各項の数の素因数分解をより容易にさせるが、数列の増加速度が急速であるために、完全な素因数分解はいくつかの項に対してしか知られていない。
シルベスター数は1のエジプト式分数表現、佐々木・アインシュタイン多様体、オンラインアルゴリズムの実装などに応用されている。

**形式的定義**
シルベスター数列の第 n 項は次の式で定義される：
 
0個の項の積 (空積) は 1 であるため、1=s0 = 2 である。
あるいは、次のような漸化式で定義してもよい：
 

**閉形式での表現とフェルマー数**
シルベスター数列は n の関数として、二重指数関数的に増加する。具体的には
 
という形式で書くことができる。ここで E はおよそ 1.2640847353...である (A076393)。
シルベスター数列が二重指数関数的増加を示すことは、フェルマー数列 Fn と比較すると驚くべきことではない。フェルマー数は通常、二重指数関数による表式  によって定義されるが、これはシルベスター数列のような総積を使った漸化式によっても定義が可能である：

**エジプト式分数との関係**
シルベスター数列の逆数和による無限級数
 
について考える。この級数の部分和は次のような単純な形で書ける：
 
これは、帰納法によって、またはより直接的に、任意の i に対する次の等式
 
から、級数の畳み込みを行うことによって示される：
 
部分和が j → ∞ で1に収束することから、級数全体が1に収束することがわかる。従って私たちは、これによって無限の長さを持つ1のエジプト式分数表示を得たことになる。
 
このとき、級数を適当な長さで切って、最後の分母を1小さいものに置き換えることで、任意の長さを持つ1のエジプト式分数表示を得ることができる。
 
また、無限級数の最初の k 項の和は、k 項からなるエジプト式分数表示のうち1未満で最も大きいものを提供する。例えば、最初の4項の和は 1805/1806 となるため、開区間 (1805/1806, 1) に含まれる数のエジプト式分数表示は少なくとも5つの項が必要になる。
シルベスター数列は、各ステップごとにその部分和が1以下となるような最小の分母を選ぶ貪欲法の結果として見ることもできる。あるいは、(初項である1/2を除外して、) 1/2の奇数貪欲法によるエジプト式分数展開Odd greedy expansionだと考えることもできる。

**有理逆数和を持つ急速増加列としての一意性**
シルベスター数の逆数和が有理数である1に収束することから、数列が二重指数関数的に増加することは、その逆数和による級数が無理数となること、さらに数列が link=en:Irrationality sequence となることの十分条件ではないことがわかる。
一方で 1993 の結果から、シルベスター数列 (の漸化式) は、二重指数関数的な増加を持ち逆数和が有理数に収束するような数列に対する、ある種の唯一性を持っている。つまり、数列  が不等式
 
を満たし、逆数和が有理数に収束するならば、十分に大きなすべての n に対して、その漸化式はシルベスター数列と同じ
 
となる。
エルデシュとグラハムは、数列  がを満たすとき、逆数和が有理数となるならば、十分大きな全ての n に対して  が成り立つと予想した。1995 ではこの予想についていくつかの結果が纏められている。

**因数分解 (可除性)**
のとき、定義から sj ≡ 1 (mod si) が成り立つ。従って、任意の2つのシルベスター数は互いに素である。任意の素数に対して、それで割り切れるシルベスター数が高々1つとなるため、これを用いて素数が無限に存在することを証明できる。より強い事実として、シルベスター数の素因数に6を法として5と合同である数  (1=p = 6k + 5 と表せるような素数) は存在しないこと、12を法として7と合同である素数が無限に存在することがシルベスター数列を用いて証明できる1975。Unsolved|数学|シルベスター数列の全ての数は無平方数か？シルベスター数の素因数分解については、多くのことが未解決のままである。例えば、全ての数が平方因子をもたない整数であるかどうか不明である (既知の数は全て平方因子を持たないことがわかっている)。
が説明しているように、与えられた素数 p で割り切れるシルベスター数がどれかを決定することは簡単である：p を法として0に合同となる数か、周期的な列のいずれかが見つかるまで、法 p の下でのシルベスター数列を計算すればよい。この方法を使って、Vardiは最初の300万個の素数のうち1166個がシルベスター数の素因数であること、それらの数の平方がシルベスター数の因数にならないことを突き止めた。シルベスター数の因数として現れる素数の集合は、全ての素数の集合に対して密度0 (Natural density の意味で) である2006。実際、x より小さいそのような数は  のオーダーとなる1985。
次の表は、シルベスター数の既知の因数分解を示している。ただし最初の4つは全て素数であるため除いている。また、一部の数は大きすぎるため桁数のみを表しており、特に明記されていなければそれらの数は素数とは限らない (unfactoredである)。

**応用**
ではシルベスター数列の性質を使って、奇数次元の球面またはExotic sphereに対する非同値な佐々木・アインシュタイン多様体の族を与えている。彼らは論文中で、2m－3 次元の球面またはエキゾチック球面上で少なくとも  個の非同値な佐々木・アインシュタイン多様体の族を与える方法を示し、従ってそれらの数は m に対して二重指数関数的な増加を見せる。
が説明しているように、 1979と1980はオンラインのビンパッキングアルゴリズムについて、アルゴリズムの評価の下界を与えるためにシルベスター数列の値を利用した。2005 でも同様に、2次元カッティングストック問題に対して、3-stageギロチンカット解の下界を与えるためにシルベスター数列が用いられている。
は、集合の各要素がそれぞれ他の数の総積に1を足した数の真の約数であるような集合についての問題である。「真の」約数であるという条件を除くと、シルベスター数列の値はこの問題を解決する。本来の条件の下では、シルベスター数列を定めるものと同様の再帰的な手続きによって、問題の解を得ることができるdate=2022-09。Známの問題の解は表面特異点の分類や、unary n-cyclic 正規言語を通して非決定性有限オートマトンの理論2005への応用が存在する。
は単位分数の k 項和で1に最も近い近似が、完全数の約数の数に下界を与えることが記されている。1919 では同じ性質が k 個の部分群を持つ群の位数の上界を与えるために使われている。

**関連項目**
 Cahen's constant- Primary pseudoperfect number - id=A054377- Leonardo number- id=A001595

**脚注**

**補注**

**出典**

**参考文献**
 ref=harv- Cite journal|last=Badea|first=Catalin|year=1993|title=A theorem on irrationality of infinite series and applications|journal=Acta Arithmetica|volume=63|issue=4|pages=313–323|DOI=10.4064/aa-63-4-313-323|doi=10.4064/aa-63-4-313-323|mr=1218459|doi-access=free|ref=harv- access-date=2006-09-27 
*Cite journal|last=Boyer|first=Charles P.|last2=Galicki|first2=Krzysztof|last3=Kollár|first3=János|year=2005|title=Einstein metrics on spheres|journal=Annals of Mathematics|volume=162|issue=1|pages=557–580|arxiv=math.DG/0309408|DOI=10.4007/annals.2005.162.557|doi=10.4007/annals.2005.162.557|mr=2178969|s2cid=13945306|ref=harv- Cite journal|last=Brenton|first=Lawrence|last2=Hill|first2=Richard|year=1988|title=On the Diophantine equation 1=Σ1/ni + 1/Πni and a class of homologically trivial complex surface singularities|url=http://projecteuclid.org/euclid.pjm/1102689567|journal=Pacific Journal of Mathematics|volume=133|issue=1|pages=41–67|DOI=10.2140/pjm.1988.133.41|doi=10.2140/pjm.1988.133.41|mr=0936356|doi-access=free|ref=harv- hdl=2142/74218- Cite journal|last=Curtiss|first=D. R.|year=1922|title=On Kellogg's diophantine problem|journal=American Mathematical Monthly|volume=29|issue=10|pages=380–387|DOI=10.2307/2299023|doi=10.2307/2299023|JSTOR=2299023|authorlink=David Raymond Curtiss|ref=harv- ref=harv- 和書- 和書- ref=harv- ref=harv- 和書
*Cite book |last=Guy |first=Richard K. |author-link=Richard K. Guy |title=Unsolved Problems in Number Theory |url=https://books.google.com/books?id=1AP2CEGxTkgC&pg=PA346 |edition=3rd |year=2004 |publisher=Springer-Verlag |isbn=0-387-20860-7 |page=346 |chapter=E24 Irrationality sequences |contribution=E24 Irrationality sequences |zbl=1058.11001 |ref=harv|和書
*ref=harv
*ref=harv- ref=harv- Cite journal|last=Miller|first=G. A.|year=1919|title=Groups possessing a small number of sets of conjugate operators|journal=Transactions of the American Mathematical Society|volume=20|issue=3|pages=260–270|DOI=10.2307/1988867|doi=10.2307/1988867|JSTOR=1988867|doi-access=free|ref=harv
*ref=harv- ref=harv- ref=harv- ref=harv- Cite journal|last=Sylvester|first=J. J.|year=1880|title=On a point in the theory of vulgar fractions|journal=American Journal of Mathematics|volume=3|issue=4|pages=332–335|DOI=10.2307/2369261|doi=10.2307/2369261|JSTOR=2369261|authorlink=J. J. Sylvester|ref=harv- 和書

**外部リンク**
 date=2007–20- archive-date=2022-08-18- archive-date=2022-08-18