1. 問題の説明: 任意のコンパクトな単純ゲージ群 $G$ に対して、非自明な量子ヤン・ミルズ理論が $\mathbb{R}^4$ 上に存在し、質量ギャップ $\Delta > 0$ を持つことを証明せよ。 2. 背景と定義: ヤン・ミルズ理論はゲージ理論の一種で、ゲージ群 $G$ に基づく場の理論である。質量ギャップとは、真空状態と最も低い励起状態との間に正のエネルギー差が存在することを意味する。 3. 証明の難しさ: この問題は数学物理学における未解決問題の一つであり、クレイ数学研究所のミレニアム懸賞問題の一つとして知られている。現在のところ、一般的な証明は存在しない。 4. 重要なポイント: - 非自明な量子ヤン・ミルズ理論の存在証明 - $\mathbb{R}^4$ 上での定義 - 質量ギャップ $\Delta > 0$ の存在 5. まとめ: この問題は現代数学と物理学の最前線の課題であり、証明は未だ達成されていない。従って、ここでの証明は不可能である。