ラマヌジャングラフ
スペクトルグラフ理論においてラマヌジャングラフは正則なグラフであって、それのスペクトル間隙（英語: spectral gap）がほとんど可能な限り大きくなるものである（極大グラフ理論（英語: extremal graph theory）をみよ）。そのようなグラフは卓越してスペクトル的に見て広がりを持つ。マーティの調査報告書の中で、[1]ラマヌジャングラフは「雑多な純粋数学、すなわち数論、表現論、代数幾何学が融合している」と記されている。これらのグラフは間接的にシュリニヴァーサ・ラマヌジャンに因んで命名された；それらの名称は、これらのグラフの構成を用いる、ラマヌジャン・ピーターソン予想から由来する。
定義
[編集]をつながった（英: connected） 個の頂点をもった -正則グラフとする、そして を の接続行列の固有値（もしくは のスペクトル）とする。はつながった -正則グラフなので、それの固有値は、 を満たす。
と定義する。もし を満たすならば、 -正則グラフは ラマヌジャングラフ である。
構成
[編集]固定した ごとにたいする -正則なラマヌジャングラフの構成について、数学者たちはしばしば興味をいだく。このようなラマヌジャングラフの無限な族（英: infinite family）の現在の構成は、しばしば代数的である。
- が素数で、 を法として と合同な場合に、ルボツキー、フィリップス、サルナック[2]は、 -正則ラマヌジャングラフの或る無限な族をどうやって構成するかを示した。ラマヌジャングラフの呼称を由来させる、ラマヌジャン・ピーターソン予想を、彼らの証明は用いる。ラマヌジャングラフであることに加えて、彼らの構成は幾つかの性質を満たす、たとえば、 をその辺の数として、それらの内周は である。
- モルゲンシュテルン[3]はルボツキー、フィリップス、サルナックの構成を が素数の冪の場合に拡張した。
任意の について、幾つかの無限な（2部（英: bipartite）でない） -正則なラマヌジャングラフが存在するかどうかは、未解決である。特に、 が素数の冪でなくモルゲンシュテルンの構成でカバーされない最小の場合である についても未解決である。
関連項目
[編集]脚注または引用文献
[編集]- ^ Murty.
- ^ Lubotzky, Phillips & Sarnak (1988).
- ^ Moshe Morgenstern (1994). “Existence and Explicit Constructions of q+1 Regular Ramanujan Graphs for Every Prime Power q”. Journal of Combinatorial Theory, Series B 62: 44–62. doi:10.1006/jctb.1994.1054.
雑誌
[編集]- Lubotzky, Alexander; Phillips, Ralph; Sarnak, Peter (1988). “Ramanujan graphs”. Combinatorica 8 (3): 261-277. doi:10.1007/BF02126799.
- Murty, M. Ram (Jan. 8, 2003). “Ramanujan Graphs”. J. Ramanujan Math. Soc. 18 (1): 1-20.
参考文献
[編集]- Davidoff, Guiliana; Sarnak, Peter; Valette, Alain (2003). Elementary number theory, group theory and Ramanujan graphs. LMS students texts. 55. Cambridge University Press. ISBN 0-521-53143-8. OCLC 50253269
- Toshikazu, Sunada (1985). L-functions in geometry and some applications. Lecture Note in Mathematics. 1201. pp. 266-284. doi:10.1007/BFb0075662. ISBN 978-3-540-16770-9
- 平松, 豊一、知念, 宏司『有限数学入門:有限上半平面とラマヌジャングラフ』（初版）牧野書店、東京都北区西ヶ原、2003年8月10日。ISBN 4-434-03407-3。