[論文レビュー] Idempotent and tropical mathematics and problems of mathematical physics (Volume II)

G. L. Litvinov, V. P. Maslov+1 more|ArXiv.org|Sep 26, 2007

Polynomial and algebraic computation参考文献 126被引用数 7

ひとこと要約

本稿は、max-plus解析、Artin群のhorofunctionコンパクト化、および量子化理論を含む、idempotentおよびtropical数学の包括的かつ詳細な研究を提示する。主な結果として、horofunctionコンパクト化と無限語および部分語の集合の位相的空間との間の同相性が確立され、双対生成子距離ではすべてのhorofunctionがBusemann点であることが証明されているのに対し、標準生成子距離では非Busemann点が存在することを示している。

ABSTRACT

This volume contains the proceedings of an International Workshop on Idempotent and Tropical Mathematics and Problems of Mathematical Physics, held at the Independent University of Moscow, Russia, on August 25-30, 2007.

研究の動機と目的

• ディードラル型Artin群における語長距離を用いたhorofunctionコンパクト化の構造を調査すること。
• 特に標準生成子と双対生成子の両方の生成集合におけるhorofunction境界の性質を比較すること。
• 無限語と部分語分解を用いたhorofunctionコンパクト化の位相的特徴付けを確立すること。
• Artin群のhoroboundaryにおけるBusemann点の存在と性質を分析すること。
• tropical幾何学、max-plus代数、および古典的・半古典的物理における量子的構造との関連を探索すること。

提案手法

• 群の要素を右正規形で表現することにより、Artin群 $A_k$ 上の語長距離を分析し、各要素を $x = z_1 \cdots z_m \Delta^r$ の形に表現する。
• 単位元からの距離を表す式を導出する：$d(e,x) = \sum_{i=0}^{k-1} |p_i|$、ここで $p_i$ は各長さの標準的因子の個数に基づいて定義される。
• horofunctionコンパクト化 $\mathcal{M}$ が、差 $p_i - p_{i-1}$ に制約を課した $k$-組 $p$ と $Z$ 内の無限語 $z$ の商空間 $\Omega$ と同相であることを示した。
• 無限語を、その積が $M^+$ に属する部分語に分解することで、空間 $\Omega$ を構成し、分解の一意性を保証した。
• Busemann点は、$\Omega \setminus \Omega_0$ に属する要素で、すべての有効な $i$ に対して $p_i - p_{i-1} = m_{k-i}(z)$ を満たすものとして特徴付けられる。ここで $m_i(z)$ は長さ $i$ の部分語の個数を数える。
• 双対生成子集合に対しては、すべてのhorofunctionがBusemann点であることが証明されたが、これは標準生成子の場合には非Busemann点が存在することと対照的である。

実験結果

リサーチクエスチョン

• RQ1 $k \geq 3$ であるArtin群 $A_k$ のhorofunctionコンパクト化は、無限語および部分語分解の構造とどのように関係しているか？
• RQ2 標準Artin生成子の語長距離に基づく $A_k$ のhoroboundaryの位相的構造は何か？
• RQ3 horoboundaryにおける非Busemann点の存在は、$A_k$ の生成集合の選択に依存するか？
• RQ4 標準的因子化を用いて、$A_k$ における語長距離の閉形式の式を導出できるか？
• RQ5 $A_k$ における双対生成子語長距離において、すべてのhorofunctionがBusemann点であるか？

主な発見

• 標準Artin生成子語長距離を用いた $A_k$ のhorofunctionコンパクト化 $\mathcal{M}$ は、差 $p_i - p_{i-1}$ に特定の制約を課した $k$-組 $p$ と無限語 $z$ をパラメータとする商空間 $\Omega$ と同相である。
• 語長距離の閉形式の式が確立された：$d(e,x) = \sum_{i=0}^{k-1} |p_i|$、ここで $p_i$ は $x$ の標準的因子化から導かれる。
• Busemann点は、$\Omega \setminus \Omega_0$ に属する要素で、すべての有効な $i$ に対して $p_i - p_{i-1} = m_{k-i}(z)$ を満たすものに一致する。ここで $\Omega_0$ は有限語に対応する。
• 標準生成子距離とは対照的に、双対生成子語長距離では、すべてのhorofunctionがBusemann点となるhoroboundaryが得られる。
• 標準距離では非Busemann点が存在するが、双対距離ではそれらが存在しないことから、horoboundaryの構造が生成集合の選択に強く依存することが示された。
• 本研究により、$A_k$ においては、生成集合の変更に対してhoroboundary構造が不変でないことが確認された。これは、アーベル群ではすべてのhorofunctionが生成子の選択にかかわらずBusemann点であるのとは対照的である。