問題

勝手なコンパクトで単純なゲージ群Gに対して
R^4での量子ヤン-ミルズ理論が存在し
質量ギャップが存在する事を示せるか?