ラマヌジャングラフ

スペクトルグラフ理論においてラマヌジャングラフは正則なグラフであって、それのがほとんど可能な限り大きくなるものである（をみよ）。そのようなグラフは卓越して。マーティの調査報告書の中で、ラマヌジャングラフは「雑多な純粋数学、すなわち数論、表現論、代数幾何学が融合している」と記されている。これらのグラフは間接的にシュリニヴァーサ・ラマヌジャンに因んで命名された；それらの名称は、これらのグラフの構成を用いる、ラマヌジャン・ピーターソン予想から由来する。

定義 

 をつながった（） 個の頂点をもった  -正則グラフとする、そして  を  の接続行列の固有値（もしくは  のスペクトル）とする。はつながった  -正則グラフなので、それの固有値は、   を満たす。

 と定義する。もし  を満たすならば、  -正則グラフは ラマヌジャングラフ である。

構成 

固定した ごとにたいする -正則なラマヌジャングラフの構成について、数学者たちはしばしば興味をいだく。このようなラマヌジャングラフの無限な族（）の現在の構成は、しばしば代数的である。
  が素数で、 を法として と合同な場合に、ルボツキー、フィリップス、サルナックは、 -正則ラマヌジャングラフの或る無限な族をどうやって構成するかを示した。ラマヌジャングラフの呼称を由来させる、ラマヌジャン・ピーターソン予想を、彼らの証明は用いる。ラマヌジャングラフであることに加えて、彼らの構成は幾つかの性質を満たす、たとえば、 をその辺の数として、それらの内周は である。
 モルゲンシュテルンはルボツキー、フィリップス、サルナックの構成を  が素数の冪の場合に拡張した。

任意の について、幾つかの無限な（2部（）でない） -正則なラマヌジャングラフが存在するかどうかは、未解決である。特に、 が素数の冪でなくモルゲンシュテルンの構成でカバーされない最小の場合である  についても未解決である。

関連項目 

 
 
 スペクトルグラフ理論

脚注または引用文献

雑誌

参考文献 
 
 
 

グラフの種族
シュリニヴァーサ・ラマヌジャン
スペクトル理論
代数的グラフ理論