自由群自己同型群は最も普遍的な対称性そのものに内在する対称性を記述する数学的言語である。この群が剛性を持つか否かは著名な未解決問題であったが、本研究計画ではそれを肯定的に解決しており、研究成果の学術的価値は極めて高い。この研究成果には、実験数学及び工業数学において使われている積置換アルゴリズムに関する応用も存在する。積置換アルゴリズムは与えられた群においてランダムサンプリングを行うアルゴリズムとして高性能であることが経験上知られてきたが、自由群自己同型群の剛性定理により、積置換アルゴリズムが実際に高性能であることの数学的な保証が得られた。
|