[論文レビュー] Mathematical Interpretation between Genotype and Phenotype Spaces and Induced Geometric Crossovers

Yourim Yoon, Yong-Hyuk Kim+2 more|ArXiv.org|Jul 18, 2009

Genome Rearrangement Algorithms参考文献 33被引用数 3

ひとこと要約

本稿では、商空間理論を活用してゲノタイプ・フェノタイプ間の関係をマッピングすることで、遺伝的アルゴリズムの性能を向上させる数学的に厳密な方法として、商幾何的交叉（quotient geometric crossover）を導入する。フェノタイプ空間をゲノタイプ空間の同値関係による商距離空間として定義することにより、探索空間を縮小し、重複を排除する幾何的交叉が可能となり、グラフ、対称関数、円形順列、可変長シーケンスといった多様な問題において、探索の効率性と有効性が向上する。

ABSTRACT

In this paper, we present that genotype-phenotype mapping can be theoretically interpreted using the concept of quotient space in mathematics. Quotient space can be considered as mathematically-defined phenotype space in the evolutionary computation theory. The quotient geometric crossover has the effect of reducing the search space actually searched by geometric crossover, and it introduces problem knowledge in the search by using a distance better tailored to the specific solution interpretation. Quotient geometric crossovers are directly applied to the genotype space but they have the effect of the crossovers performed on phenotype space. We give many example applications of the quotient geometric crossover.

研究の動機と目的

• 進化的計算におけるゲノタイプ・フェノタイプのマッピングを、数学的商空間の概念と正式に結びつけること。
• ゲノタイプ空間から商構造を介して誘導されるフェノタイプ空間上で動作する幾何的交叉の理論を構築すること。
• フェノタイプ構造に適合したメトリックに基づく交叉を用いて、解表現における探索空間の縮小と重複の排除を実現すること。
• 正規化、相同交叉、群に基づく交叉といった既存の交叉技法を、統一的な幾何的フレームワークの下で一般化すること。
• グラフ、順列、可変長シーケンスを含む多様な問題領域において、商幾何的交叉の実用的・理論的利点を示すこと。

提案手法

• ゲノタイプ空間とフェノタイプ空間をメトリック空間として定義し、フェノタイプ空間をゲノタイプ空間の同値関係による商空間として定義する。
• ゲノタイプ空間からのメトリックを引き上げることで、フェノタイプ空間に商メトリックを構築し、メトリックが真の解構造を反映するように保証する。
• ゲノタイプ空間における商メトリックを用いて幾何的交叉を適用し、これがフェノタイプ空間上で直接実行されたかのように振る舞う交叉操作を誘導する。
• 群作用を用いて、解表現における対称性（例：グラフのノード再ラベル化、円形順列の回転）をモデル化する同値関係を定義する。
• グループ化、グラフ、対称関数、円形順列、可変長シーケンスといった具体的な問題に、商幾何的交叉を適用する。
• シーケンスの文脈では、ストレッチされたシーケンスをゲノタイプとし、アラインされたシーケンスを商代表元とすることで、相同交叉を商幾何的交叉として再解釈する。

実験結果

リサーチクエスチョン

• RQ1 進化的計算におけるゲノタイプ・フェノタイプのマッピングを、商空間理論を用いて正式に解釈することは可能か？
• RQ2 ゲノタイプ空間における幾何的交叉と、それがフェノタイプ空間に誘導する効果との間には、どのような数学的関係があるか？
• RQ3 商幾何的交叉は、解表現における探索空間の縮小と重複の排除をどのように実現するか？
• RQ4 商幾何的交叉は、正規化や相同交叉といった既存の交叉技法を、どのように一般化し統合するか？
• RQ5 商メトリックの使用は、対称的または重複を含む表現を有する問題において、幾何的交叉の有効性をどのように向上させるか？

主な発見

• ゲノタイプ・フェノタイプのマッピングは、同値関係による商空間構成として正式に解釈可能であり、フェノタイプ空間はゲノタイプ空間の商集合である。
• 商幾何的交叉は、同一のグラフを表す異なる隣接行列など、重複する表現を除外することで、有効な探索空間を縮小する。
• 対称関数や円形順列の文脈では、群作用による解の整合化によって回転的・反転的バイアスが排除される。
• 可変長シーケンスにおける相同交叉は、ストレッチされたシーケンスをゲノタイプとみなすと、数学的に商幾何的交叉に等価である。
• フェノタイプ空間における商メトリックは、幾何的交叉が解空間の真の構造的性質を反映することを保証し、より効果的な探索を実現する。
• 本フレームワークは、正規化や群に基づく交叉といった先行手法を再解釈・一般化し、表現に配慮した交叉演算子の統一的理論的基盤を提供する。