[論文レビュー] Two Generalizations of Tensor Products, Beyond Vector Spaces

Elemér E Rosinger|ArXiv.org|Jul 9, 2008

Computability, Logic, AI Algorithms参考文献 4被引用数 8

ひとこと要約

この論文は、ベクトル空間を超えてテンソル積を一般化するため、二つの新しい構成を導入する。第一に、任意の集合に二項演算を備えた場合の一般化であり、第二に、集合上の任意の生成子を用いた一般化である。主な貢献は、元の演算が結合的・可換でない場合でも、構造的対称性と演算の整合性に基づく同値関係を用いることで、結合的・可換性を保った普遍的なテンソル積を確立することにある。

ABSTRACT

Two successive generalizations of the usual tensor products are given. One can be constructed for arbitrary binary operations, and not only for semigroups, groups or vector spaces. The second one, still more general, is constructed for arbitrary generators on sets.

研究の動機と目的

• ベクトル空間を超えて、任意の集合に二項演算を備えた場合のテンソル積の概念を拡張すること。
• 二項演算ではなく任意の生成子を用いたテンソル積の一般化により、構造的普遍性を高めること。
• 古典的線形代数における普遍的性質を模倣する、これらの一般化されたテンソル積の普遍的性質を確立すること。
• 元の演算が可換・結合的であるかどうかに関わらず、結果として得られるテンソル積空間が可換性および結合的であることを示すこと。
• 量子計算や非線形・非結合的代数的系などに適用可能な基礎的枠組みを提供すること。

提案手法

• 二項演算 $ \gamma $ を備えた、$ x_i \in X $, $ y_i \in Y $ である有限対の列からなる集合 $ Z $ を定義する。
• ペアの順序を入れ替えること、および $ (\alpha(x_1,x_1'),y_1) \gamma \cdots $ を $ (x_1,y_1) \gamma (x_1',y_1) \gamma \cdots $ に置き換えることによって生成される、同値関係 $ \approx_{\alpha,\beta} $ を導入する。同様に $ \beta $ に対しても同様の操作を行う。
• 一般化されたテンソル積を商空間 $ X \bigotimes_{\alpha,\beta} Y = Z / \approx_{\alpha,\beta} $ として構成する。ここで、要素は同値類 $ x \bigotimes_{\alpha,\beta} y $ である。
• $ Z $ 上の演算 $ \gamma $ が、商空間上で適切に定義され、かつ可換かつ結合的であることを示す。
• 対称関係の推移的閉包を用いて、同値関係 $ \approx_{\alpha,\beta} $ を形式的に定義し、それが同値関係であることを保証する。
• この構成の普遍的性質を確立し、古典的テンソルの普遍的性質を任意の二項演算および生成子へと一般化する。

実験結果

リサーチクエスチョン

• RQ1 任意の集合に任意の二項演算を備えた場合、ベクトル空間や半群に限らず、テンソル積を定義できるか？
• RQ2 得られるテンソル積空間がどのような代数的構造を有するのか。また、それがいつ可換かつ結合的であるのか。
• RQ3 二項演算を超えて、集合上の任意の生成子へとテンソル積の構成をさらに一般化することは可能か？
• RQ4 この一般化されたテンソル積の普遍的性質は何か。また、古典的テンソル普遍的性質とどのように関係しているか。
• RQ5 この構成は、非結合的・非可換な系、例えば量子計算や非線形代数の分野に応用可能か？

主な発見

• 任意の二つの集合 $ X $, $ Y $ に対して、それぞれの二項演算 $ \alpha $, $ \beta $ を備えた場合、テンソル積 $ X \bigotimes_{\alpha,\beta} Y $ は適切に定義される。
• 元の演算 $ \alpha $, $ \beta $ が可換・結合的でない場合でも、結果として得られるテンソル積空間は、可換かつ結合的な二項演算 $ \gamma $ を有する。
• 写像 $ X \times Y \to X \bigotimes_{\alpha,\beta} Y $, すなわち $ (x,y) \mapsto x \bigotimes_{\alpha,\beta} y $ は単射である。
• 同値関係 $ \approx_{\alpha,\beta} $ は、対称関係の推移的閉包を用いて厳密に構成されており、それが同値関係であることを保証する。
• この構成は一般化された普遍的性質を満たしており、古典的テンソル普遍的性質を任意の二項演算へと拡張している。
• 第二の一般化により、集合上の任意の生成子へと構成を拡張でき、より広範な代数的・組合せ的構造へ適用可能である。