タウ数

タウ数（タウすう、 ) とは、約数の個数で割り切れるような整数、すなわち、 を満たす自然数  である ( は約数関数の一種で、 の約数の個数を返す関数)。例えば、18は6個の約数 (1, 2, 3, 6, 9, 18) を持ち、さらに18は約数の個数6で割り切れるためrefactorableである。

タウ数を小さいものから並べるととなる。

歴史 
タウ数は約数関数  に関連して研究され、例えばクラウディア・スピロは与えられた数より小さいタウ数の個数や、関連した集合の個数についていくつか上界を与えている。

1982年のスピロの論文では特に名称などは与えられておらず、1990年にカーティス・クーパーとロバート・E・ケネディによってタウ数と命名され、その後サイモン・コルトンによって、コンピュータープログラムによって発見された数列として再発見された。“Refactorable number” の名称はコルトンによるものである。

コルトンが行ったタウ数の基本的な性質についての予想は、そのうちいくつかはジョシュア・ゼリンスキーによって証明された。ゼリンスキーはタウ数およびタウ数の類似について数多くの定理と予想を示している。

性質

存在性 
タウ数は無限に存在し、複数の方法でタウ数の無限列 (または無限集合) を得ることができる：

 素数  に対して となる数 ()
  の素因数分解を としたとき、で表される数 ()
 任意の奇素数  に対して  ()
 任意の相異なる3より大きい素数  に対して  ()

奇数のタウ数は全て平方数である。そのような数を小さい順に並べるととなる。

間隔 
任意の連続した3つの整数がすべてタウ数となることはない。これはコルトンによって予想され、ゼリンスキーによってより強い形の命題が証明された。

 もし  および  がいずれもタウ数かつ  が奇数であるならば、 が成り立つ。

タウ数の個数 
正整数  に対して、 以下のタウ数の個数を  で表す。このとき、 と素数計数関数  の間に以下の関係が成り立つ：

 任意の実数 (正実数としてよい)  に対して、 が十分大きいならば  が成り立つ。

ゼリンスキーによって証明されたこの定理は、コルトンが  について予想したものについて、部分的に証明したものである。ゼリンスキーは  の場合について、反例の上限が となることも示している。

クラウディア・スピロは  に対して、漸近的な近似値としてを与えた。ただしここで  はo記法である。すなわち、ある関数  が存在してであり、 は任意の正定数  について、十分大きい  に対して  が成り立つ。

その他 

 全ての完全数はタウ数とならない。

 ゴールドバッハ予想に関連して、次の事実が言える：
 弱いゴールドバッハ予想が真ならば、任意の正整数は6個かそれ以下のタウ数の和として表せる。
 強いゴールドバッハ予想が真ならば、任意の正整数は5個かそれ以下のタウ数の和として表せる。
 タウ数のは0である。

関連項目 

 :en:HR (software)

参考文献 

整数の類
数学に関する記事