[論文レビュー] Verification and Strengthening of the Atiyah--Sutcliffe Conjectures for Several Types of Configurations

Dragutin Svrtan, Igor Urbiha|ArXiv.org|Sep 6, 2006

Advanced Combinatorial Mathematics参考文献 10被引用数 3

ひとこと要約

本稿は、平行四辺形、円に内接する四辺形、特定の正四面体などの幾何的配置について、多変数シュール関数と代数的恒等式を用いて、Atiyah–Sutcliffeの予想C2およびC3を検証・強化する。n=9までに予想を証明し、ほぼ同一直線上の配置に対する新しい予想を提示。これらはSkyrmionやフラーレンといった物理理論と関連している。

ABSTRACT

In 2001 Sir M. F. Atiyah formulated a conjecture C1 and later with P. Sutcliffe two stronger conjectures C2 and C3. These conjectures, inspired by physics (spin-statistics theorem of quantum mechanics), are geometrically defined for any configuration of points in the Euclidean three space. The conjecture C1 is proved for $n = 3, 4$ and for general $n$ only for some special configurations (M. F. Atiyah, M. Eastwood and P. Norbury, D.Đoković). Interestingly the conjecture C2 (and also stronger C3) is not yet proven even for arbitrary four points in a plane. So far we have verified the conjectures C2 and C3 for parallelograms, cyclic quadrilaterals and some infinite families of tetrahedra. We have also proposed a strengthening of conjecture C3 for configurations of four points (Four Points Conjectures). For almost collinear configurations (with all but one point on a line) we propose several new conjectures (some for symmetric functions) which imply C2 and C3. By using computations with multi-Schur functions we can do verifications up to $n=9$ of our conjectures. We can also verify stronger conjecture of Đokovi\' c which imply C2 for his nonplanar configurations with dihedral symmetry. Finally we mention that by minimizing a geometrically defined energy, figuring in these conjectures, one gets a connection to some complicated physical theories, such as Skyrmions and Fullerenes.

研究の動機と目的

• 平行四辺形、円に内接する四辺形、対称的正四面体などの特定の幾何的配置について、Atiyah–Sutcliffe予想C2およびC3を検証すること。
• 対称的およびほぼ同一直線上の配置を含む四点配置のための、予想C3の強化版を提示・検証すること。
• 多変数シュール関数を用いた記号計算により、n=9までに予想の検証を拡張すること。
• Atiyah行列式によって定義される幾何的エネルギーと、Skyrmionやフラーレンといった物理理論との関係を調査すること。
• d3関数とシュール型対称多項式を含む新しい代数的不等式を確立し、予想を支持すること。

提案手法

• R³内のn点間の単位ベクトルからAtiyah行列式Dnを構成し、ステレオグラフィック射影によりリーマン球面に写像する。
• 各tij（射影された方向）を根とするn個のn−1次多項式piを定義し、これらの多項式の係数をもつ行列Mnを構成する。
• 行列式Dn = det(Mn)を計算し、正規化して正規化されたAtiyah行列式D̃nを求める。
• StembridgeのSFパッケージを介した記号計算を用い、多変数シュール関数と対称関数展開における差を表現・因数分解する。
• シュールの不等式およびその一般化を適用し、対称関数展開における係数の非負性を証明し、予想を支持する。
• 変数の増分を代入し、非負係数の確認を行うことで、n=9までに数値的および代数的に予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 平面上の4点配置について、Atiyah–Sutcliffe予想C2は常に成り立つか？
• RQ2 平行四辺形や円に内接する四辺形といった対称的4点配置について、より強い予想C3を検証または強化できるか？
• RQ3 対称性やほぼ同一直線上の配置における幾何的エネルギーE_n = -log|Dn|にはどのような意味があるか？
• RQ4 ほぼ同一直線上の配置に対する新しい予想が、元のC2およびC3予想を含意するか？
• RQ5 d3関数の代数的構造とその不等式を用いて、一般のnについてAtiyah行列式が0でないことを証明できるか？

主な発見

• 平行四辺形、円に内接する四辺形、および多数の無限族に属する正四面体について、Atiyah–Sutcliffe予想C2およびC3が検証された。
• n=9までの全テスト配置について、正規化されたAtiyah行列式D̃nが非ゼロであることが示され、|Dn| ≥ 1であるという予想を支持する。
• 対称関数恒等式と多変数シュール関数展開を基に、四点配置のための予想C3の強化版が提案され、検証された。
• ほぼ同一直線上の配置については、対称関数を含む新しい予想が導入され、これらはC2およびC3を含意する。
• 多変数シュール関数と変数の代入（Xk = Xk+1 + hk）を用いた計算により、展開におけるすべての係数が非負であることが確認され、代数的に予想を支持する。
• d3(x,y,z) ≤ 4x²y²z² / (xyz + x³ + y³ + z³) を含む、新しい対称関数不等式が確立され、予想を支持するとともにシュールの不等式を一般化する。