[論文レビュー] A Mathematical Unification of Geometric Crossovers Defined on Phenotype Space

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

Gene Regulatory Network Analysis参考文献 22被引用数 4

ひとこと要約

本稿は、問題固有の知識を統合するために商度量空間を活用することで、表現に依存しない交叉演算子を統一する数学的枠組み「商幾何的交叉」を提案する。商度量空間によるゲノム空間の変換により、表現空間における効率的な探索を可能にするとともに、冗長性をフィルタリングする。TSP、ニューラルネットワーク、可変長シーケンスへの応用を含む。

ABSTRACT

Geometric crossover is a representation-independent definition of crossover based on the distance of the search space interpreted as a metric space. It generalizes the traditional crossover for binary strings and other important recombination operators for the most frequently used representations. Using a distance tailored to the problem at hand, the abstract definition of crossover can be used to design new problem specific crossovers that embed problem knowledge in the search. This paper is motivated by the fact that genotype-phenotype mapping can be theoretically interpreted using the concept of quotient space in mathematics. In this paper, we study a metric transformation, the quotient metric space, that gives rise to the notion of quotient geometric crossover. This turns out to be a very versatile notion. We give many example applications of the quotient geometric crossover.

研究の動機と目的

• 異なる表現（例：2進、実数、順列、シーケンス）における多様な幾何的交叉演算子を、一つの数学的枠組みで統一すること。
• ゲノム表現における冗長性とバイアスの課題に対処するため、表現空間の構造を反映する度量変換を導入すること。
• 進化的計算における交叉と中立性の相互作用を形式化すること、特に可変長および関数的表現において。
• 商幾何的交叉が、高次元または無限次元の表現空間において、要約されたゲノム表現を用いて効果的な探索を可能にすることを示すこと。
• ドメイン知識を埋め込みつつ幾何的性質を保持する問題特化型交叉の設計のための理論的基盤を提供すること。

提案手法

• ゲノム空間における新しい距離を定義するために、商度量空間を度量変換として用い、表現空間の構造を反映させる。
• 交叉操作がゲノム上で行われる際、それが表現空間上で有効な交叉を誘発するように、幾何的性質を保つ変換を適用する。
• 同じ表現に写像されるゲノムを同値関係でグループ化することで、探索空間を縮小し、冗長性を排除する。
• 重み行列（ゲノム）におけるボックス再結合を定義し、それによって連続関数（表現）上での同等の交叉を誘発する。無限次元ベクトルの直接操作を回避する。
• 中立的コードを伴うシーケンスにおける編集距離を用いて商度量を定義し、中立領域に対して透過的な相同交叉を可能にする。
• 商幾何的交叉に誘導される変換が幾何的性質を保持することを示し、これによりゲノム空間と表現空間の両方で同等に作用する交叉が可能になる。

実験結果

リサーチクエスチョン

• RQ1 度量空間理論を用いて、多様な表現における幾何的交叉を体系的に統一する方法は何か？
• RQ2 商度量空間変換は、ドメイン知識を埋め込んだ問題特化型交叉の設計をどのように可能にするか？
• RQ3 ゲノム表現における中立性は、交叉と変異の挙動にどのように影響を与え、自己適応的進化に利用可能か？
• RQ4 無限次元の表現空間（例：連続関数）は、有限ゲノムの交叉を用いた商幾何的交叉によって効果的に探索可能か？
• RQ5 誘導された変換がゲノムレベルの交叉と表現レベルの探索をどのように結びつけるか。また、幾何的性質をどのように保持するか？

主な発見

• 商幾何的交叉は、商度量空間を用いて定義することで、多様な交叉演算子を数学的に厳密に統一する枠組みを提供する。
• 重み行列のようなコンパクトなゲノム表現を用いることで、連続関数の空間など、表現空間における間接的探索を可能にする。
• 可変長シーケンスにおいて、相同交叉は商幾何的交叉と同等であり、中立的コードが交叉プロセスに対して透過的であることが示された。
• ニューラルネットワーク表現において、重み行列におけるボックス再結合は、連続関数の空間上での有効な交叉を誘発し、無限次元の出力ベクトルの直接再結合を回避する。
• 中立性のケースにおける恒等変換は、交叉が中立的コードに影響されないことを示し、探索効率を保持しながら自己適応的変異率の実現を可能にする。
• この枠組みは探索空間を縮小し、表現に内在するバイアスを除去することで、巡回セールスマン問題や関数探索などの問題における探索効果性を向上させる。