ヤン–ミルズ方程式と質量ギャップ問題
全ての試験関数 f について、作用素の集合 A 1 ( f ) , ... , A n ( f ) {\displaystyle A_{1}(f),\ldots ,A_{n}(f)} が存在し、それらの随伴作用素と合わせて、真空を含むヒルベルト状態空間の稠密な部分集合上に定義される。場 A は作用素に値を持つ扱い易い分布である。このヒルベルト状態空間は真空に作用する場の多項式により張られる(巡回性条件)。