[論文レビュー] Multi-focal tensors as invariant differential forms

James C. Mathews|arXiv (Cornell University)|Oct 13, 2016

Image Processing Techniques and Applications参考文献 10被引用数 4

ひとこと要約

本稿は、歪対称テンソルの相対不変量から、$(\mathbb{P}V)^n$ 上の $GL(V)$-不変な重み付き微分形式を構成する一般枠組みを導入し、コンピュータビジョンにおけるマルチフォーカルテンソルを統一的かつ一般化する。これらの形式が明示的なテンソル部分多様体を生じることを確立し、ユークリッド三焦点多様体に類似した4次多項式制約の新システムを提示する。

ABSTRACT

For each relative $\operatorname{GL}(V)$-invariant tensor $I\in Λ^{p_1+1}V^{\vee}\otimes .. \otimes Λ^{p_n+1}V^{\vee}$ we construct a $\operatorname{GL}(V)$-invariant weighted differential form $η$ on $(\mathbb{P} V)^{n}$. Then $η$ is expressed explicitly with respect to $n$-tuples of frames for tangent spaces at points of $\mathbb{P} V$ to obtain elements of a different tensor space. For certain invariants $I$, the resulting elements are shown to be the multi-focal tensors appearing in the machine vision literature (Demazure 1988, Longuet-Higgins 1981, Luong 1992, Faugeras 1993, Faugeras and Luong 2001, Hartley and Zisserman 2003). This generalizes the 3 multi-focal varieties known in dimension $\dim V = 4$ to an infinite collection of special tensor subvarieties. We use this framework to exhibit a new system of degree 4 polynomial equations, reminiscent of the braid relation, satisfied by the Euclidean trifocal variety.

研究の動機と目的

• 機械視覚で用いられるマルチフォーカルテンソルの幾何学的・代数的基盤を、一般不変理論的枠組みに埋め込むこと。
• 次元 $V = 4$ における既知の3焦点多様体を、$GL(V)$-不変量を用いて無限個の特別なテンソル部分多様体へ一般化すること。
• ユークリッド三焦点テンソルに満たされる新しい代数的制約、特に4次のブレード型関係を導出すること。
• 移動座標系と接空間データを用いて不変量を表現することで、抽象的な不変理論と具体的な計算幾何学的視覚認識を結びつけること。
• マルチフォーカル不変量から有限なフレーム配置と移動座標系を体系的に決定する手法を確立し、幾何的再構成への実用的応用を可能にすること。

提案手法

• 相対不変量 $I \in (\Lambda^{p_1+1}V^\vee \otimes \cdots \otimes \Lambda^{p_n+1}V^\vee \otimes \chi)^{GL(V)}$ から、$(\mathbb{P}V)^n$ 上の $GL(V)$-不変な重み付き微分形式を構成する。
• これらの微分形式を $\mathbb{P}V$ 上の $n$-重フレームに対して明示的に表現し、$\bigotimes_{i=1}^n \Lambda^{p_i} T^\vee$ に値をとる $GL(V)$-不変関数を導出する。
• コシュールサイクルと $\mathbb{P}V$ 上の微分形式の層論的記述を用い、$GL(V)$ 上の等変関数と関連付ける。
• 対称性削減技術を適用して、フレームに基づく座標で形式を表現し、低次元の場合の明示的計算を可能にする。
• 行列の随伴と外積を用いて、$\dim V = 2,3,4$ における二焦点および三焦点テンソルの明示的テンソル表現を導出する。
• 極化公式と行列式恒等式を用いて代数的制約を導出し、ブレード型関係 $t_i a_j t_i = t_j a_i t_j$ を含む。

実験結果

リサーチクエスチョン

• RQ1 機械視覚におけるマルチフォーカルテンソルは、どのように $GL(V)$-不変理論から体系的に導出可能か？
• RQ2 マルチフォーカルテンソルがパラメトライズする多様体の幾何学的構造は何か？ また、既知の3焦点多様体をどのように一般化するか？
• RQ3 古典的な三焦点制約を超えて、ユークリッド三焦点テンソル多様体を特徴付ける新しい代数的制約は何か？
• RQ4 不変量から構成された微分形式は、視覚幾何学における移動座標系配置とどのように関係するか？
• RQ5 ブレード型関係 $t_i a_j t_i = t_j a_i t_j$ は、ユークリッド三焦点テンソルの構造から代数的に導出可能かつ検証可能か？

主な発見

• 各相対 $GL(V)$-不変量 $I$ に対して、$(\mathbb{P}V)^n$ 上の $GL(V)$-不変な重み付き微分形式が得られ、既知のマルチフォーカル構造を一般化する。
• $\dim V = 4$ の場合、写像 $f_w(I)$ の像は $\bigotimes_{i=1}^n \Lambda^{p_i} T^\vee$ の代数的部分多様体であり、既知の3焦点多様体が特別な場合として含まれる。
• ユークリッド三焦点多様体を特徴付ける新しい4次多項式方程式系が導出され、ブレード関係に類似している。
• ユークリッド三焦点テンソルに対して、ブレード型関係 $t_i a_j t_i = t_j a_i t_j$ が恒等的に成り立ち、両辺とも $(u \otimes w) \langle r_{\{i,j\}}, u \rangle \langle s_{\{j,i\}}, w \rangle$ に等しい。
• 和 $a_1 + a_2 + a_3$ の古典的随伴が $u \otimes w \langle \bar{u}, \bar{w} \rangle$ に等しいことが示され、随伴演算と双対変換が関連づけられる。
• $3 \times 3$ 行列のテンソル積 $t_i a_j t_k$ が $u \otimes w \otimes \bar{w} \otimes \bar{u}$ に等しいことが証明され、三焦点構造における深い対称性が明らかになる。