[論文レビュー] Tensor Permutation Matrices in Finite Dimensions

Christian Rakotonirina|ArXiv.org|Aug 2, 2005

Wireless Communication Networks Research参考文献 1被引用数 6

ひとこと要約

この論文は、有限次元におけるテンソル置換行列を構築する一般化された枠組みを導入し、テンソル交換行列の概念を拡張する。この行列の要素について、置換対称性を用いた閉形式の公式を提示し、テンソル積上の群作用による構成を示し、パウリ行列を用いた2×2およびゲルマン行列を用いた3×3の場合の明示的表現を導出する。

ABSTRACT

We have generalised the properties with the tensor product, of one 4x4 matrix which is a permutation matrix, and we call a tensor commutation matrix. Tensor commutation matrices can be constructed with or without calculus. A formula allows us to construct a tensor permutation matrix, which is a generalisation of tensor commutation matrix, has been established. The expression of an element of a tensor commutation matrix has been generalised in the case of any element of a tensor permutation matrix. Some tensor commutation matrix has been expressed by using the Gell-Mann matrices.

研究の動機と目的

• テンソル交換行列の概念を任意の有限次元テンソル置換行列に一般化すること。
• テンソル積上の置換群作用を用いて、基底に依存しない、内在的なテンソル置換行列の構成を提供すること。
• 任意のテンソル置換行列の要素に対する閉形式の式を導出し、体系的な計算を可能にすること。
• 3×3テンソル交換行列をゲルマン行列を用いて表現することにより、パウリ行列を用いた既知の2×2の場合を拡張すること。
• クリロネッカー・デルタ関数および置換対称性に基づく単一の代数的枠組みを用いて、異なる次元におけるこれらの行列の表現を統一すること。

提案手法

• テンソル置換行列を、k重のテンソル積空間におけるテンソル因子の順序を置換するユニタリ作用素として定義する。
• 置換 σ ∈ S_k を用いて作用を定義する：[U_{n₁⊗⋯⊗nₖ}(σ)](a₁⊗⋯⊗aₖ) = a_{σ(1)}⊗⋯⊗a_{σ(k)}
• 要素ごとの表現を導出する：[U_{n₁⊗⋯⊗nₖ}(σ)]^{i₁…iₖ}_{j₁…jₖ} = δ_{j_{σ(1)}}^{i₁}⋯δ_{j_{σ(k)}}^{iₖ}
• 各基底ベクトルを置換則に従って写像することで行列を明示的に構成し、ユニタリ性および0-1の要素を保証する。
• 3×3の場合には、[U_{3⊗3}] をゲルマン行列のテンソル積の線形結合として表現する：[U_{3⊗3}] = (1/3)λ₀⊗λ₀ + (1/2)∑_{i=1}^8 λᵢ⊗λᵢ
• パウリ行列を用いた既知の2×2の場合と整合性を確認する：[U_{2⊗2}] = (1/2)(σ⁰⊗σ⁰ + ∑_{i=1}^3 σⁱ⊗σⁱ)、パウリ行列を用いて。

実験結果

リサーチクエスチョン

• RQ1 テンソル交換行列は、任意の次元および置換対称性に一般化可能か？
• RQ2 テンソル因子の置換に対して、テンソル置換行列の要素に対する一般代数的式は何か？
• RQ3 3×3テンソル交換行列は、2×2の場合のパウリ行列を用いた類似の方法でゲルマン行列を用いて表現可能か？
• RQ4 テンソル積上の群作用を用いた、テンソル置換行列の内在的で基底に依存しない構成は何か？
• RQ5 テンソル積空間の対称性は、これらの置換行列の構造とどのように関係するか？

主な発見

• 任意の置換 σ および次元 n₁,…,nₖ に対して有効な、テンソル置換行列 [U_{n₁⊗⋯⊗nₖ}(σ)] の要素に対する一般式が導出された：[U]^{i₁…iₖ}_{j₁…jₖ} = δ_{j_{σ(1)}}^{i₁}⋯δ_{j_{σ(k)}}^{iₖ}。
• 3×3テンソル交換行列 [U_{3⊗3}] が明示的に表現された：[U_{3⊗3}] = (1/3)λ₀⊗λ₀ + (1/2)∑_{i=1}^8 λᵢ⊗λᵢ、ここで λᵢ はゲルマン行列である。
• 2×2テンソル交換行列 [U_{2⊗2}] は特殊ケースとして回復された：[U_{2⊗2}] = (1/2)(σ⁰⊗σ⁰ + ∑_{i=1}^3 σⁱ⊗σⁱ)、量子情報理論と整合性を確認した。
• 行列計算を明示的に行わず、置換対称性およびクリロネッカー・デルタの恒等式のみを用いてテンソル置換行列の構成が可能である。
• テンソル置換行列は、ユニタリ作用素として機能し、テンソル因子の順序を置換する：[U]·(a₁⊗⋯⊗aₖ) = a_{σ(1)}⊗⋯⊗a_{σ(k)}
• 行列 [U_{n⊗p}] が、各行および各列にちょうど一つの1をもち、他が0である0-1行列であることが示された。これにより、ユニタリ性および置換行列の性質が確認された。