タウ数

タウ数（タウすう、 ) とは、約数の個数で割り切れるような整数、すなわち、 を満たす自然数 である ( は約数関数の一種で、 の約数の個数を返す関数)。例えば、18は6個の約数 (1, 2, 3, 6, 9, 18) を持ち、さらに18は約数の個数6で割り切れるためrefactorableである。
タウ数を小さいものから並べるととなる。
歴史.
タウ数は約数関数 に関連して研究され、例えばクラウディア・スピロは与えられた数より小さいタウ数の個数や、関連した集合の個数についていくつか上界を与えている。
1982年のスピロの論文では特に名称などは与えられておらず、1990年にカーティス・クーパーとロバート・E・ケネディによってタウ数と命名され、その後サイモン・コルトンによって、コンピュータープログラムによって発見された数列として再発見された。“Refactorable number” の名称はコルトンによるものである。
コルトンが行ったタウ数の基本的な性質についての予想は、そのうちいくつかはジョシュア・ゼリンスキーによって証明された。ゼリンスキーはタウ数およびタウ数の類似について数多くの定理と予想を示している。
性質.
存在性.
タウ数は無限に存在し、複数の方法でタウ数の無限列 (または無限集合) を得ることができる：
奇数のタウ数は全て平方数である。そのような数を小さい順に並べるととなる。
間隔.
任意の連続した3つの整数がすべてタウ数となることはない。これはコルトンによって予想され、ゼリンスキーによってより強い形の命題が証明された。
タウ数の個数.
正整数 に対して、 以下のタウ数の個数を で表す。このとき、 と素数計数関数 の間に以下の関係が成り立つ：
ゼリンスキーによって証明されたこの定理は、コルトンが について予想したものについて、部分的に証明したものである。ゼリンスキーは の場合について、反例の上限が となることも示している。
クラウディア・スピロは に対して、漸近的な近似値としてformula_3を与えた。ただしここで は"o"記法である。すなわち、ある関数 が存在してformula_4であり、 は任意の正定数 について、十分大きい に対して が成り立つ。