[論文レビュー] Quantum invariants of deformed Fourier matrices

Teodor Banica, Julien Bichon|arXiv (Cornell University)|Oct 23, 2013

Algebraic structures and combinatorial models参考文献 41被引用数 3

ひとこと要約

本稿は、複素ヒルベルト行列の変形テンソル積をパラメータ行列 $ Q \in M_{N \times M}(\mathbb{T}) $ を用いて調べ、量子群 $ G_L \subset S_{NM}^+ $ が、量子群 $ G_H \subset S_N^+ $、$ G_K \subset S_M^+ $、および $ Q $ からどのように再構成できるかを示している。フーリエ行列の場合、一般の $ Q $ に対して完全な結果が得られ、変形構造とその背後にある量子対称性との間の明確な関係が確立される。

ABSTRACT

We study the deformed tensor products of complex Hadamard matrices, $L_{ia,jb}=Q_{ib}H_{ij}K_{ab}$. One problem is that of reconstructing the quantum group $G_L\subset S_{NM}^+$ out of the quantum groups $G_H\subset S_N^+,G_K\subset S_M^+$ and of the parameter matrix $Q\in M_{N imes M}(\mathbb T)$, and we obtain here several results, including complete results in the Fourier matrix case, $H=F_N,K=F_M$, when the parameter matrix $Q$ is generic.

研究の動機と目的

• 変形された複素ヒルベルト行列のテンソル積から生じる量子群の構造を理解すること。
• 量子群 $ G_L \subset S_{NM}^+ $ が、個々の量子群 $ G_H \subset S_N^+ $、$ G_K \subset S_M^+ $、およびパラメータ行列 $ Q \in M_{N \times M}(\mathbb{T}) $ によってどのように決定されるかを特定すること。
• 特に $ H = F_N $、$ K = F_M $、$ Q $ が一般の場合に $ G_L $ を完全に再構成すること。

提案手法

• 与えられたヒルベルト行列から新たな複素ヒルベルト行列を構成するための変形テンソル積の公式 $ L_{ia,jb} = Q_{ib} H_{ij} K_{ab} $ を用いる。
• 関連する量子置換群 $ G_L \subset S_{NM}^+ $、$ G_H \subset S_N^+ $、$ G_K \subset S_M^+ $ を分析し、それらの間の関係に注目する。
• 表現論的および組合せ論的技法を用いて、$ G_H $、$ G_K $、$ Q $ を用いた $ G_L $ の構造を研究する。
• フーリエ行列の枠組みを用いて分析を簡略化し、$ F_N $ および $ F_M $ の既知の対称性と双対性の性質を活用する。
• パラメータ行列 $ Q $ が特別な代数的関係を避ける一般の場合を検討し、完全な再構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 変形された行列 $ L $ に関連する量子群 $ G_L \subset S_{NM}^+ $ は、量子群 $ G_H \subset S_N^+ $、$ G_K \subset S_M^+ $、およびパラメータ行列 $ Q \in M_{N \times M}(\mathbb{T}) $ にどのように依存するか。
• RQ2 $ H = F_N $、$ K = F_M $、$ Q $ が一般の場合に $ G_L $ の正確な構造は何か。
• RQ3 フーリエ行列の設定において、$ G_H $、$ G_K $、$ Q $ のデータから量子群 $ G_L $ を完全に再構成できるか。
• RQ4 $ Q $ の一般性が再構成の完全性を保証するために果たす役割は何か。

主な発見

• $ H = F_N $、$ K = F_M $、$ Q $ が一般の場合、量子群 $ G_L \subset S_{NM}^+ $ は $ G_H $、$ G_K $、$ Q $ によって完全に決定され、追加の対称性や曖昧さは存在しない。
• 変形テンソル積の構成は、$ G_L $ を成分から明示的に再構成できるように、量子群の構造を保存する。
• $ Q $ の一般性により、$ Q $ の成分間の代数的関係が量子対称性を曇らせることなく、$ G_L $ の明確な特徴づけが可能になる。
• 結果として、フーリエ行列の枠組みにおいて、パラメータ行列 $ Q $ と結果として得られる量子群 $ G_L $ の間に完全な対応関係が確立される。