[論文レビュー] Maximum-rate, Minimum-Decoding-Complexity STBCs from Clifford Algebras

Sanjay Karmakar, B. Sundar Rajan|ArXiv.org|Dec 14, 2007

Advanced Wireless Communication Techniques参考文献 31被引用数 8

ひとこと要約

本稿は、クリフォード代数のユニタリ行列表現から導かれる、クリフォードユニタリ重み単一シンボル可解（CUW-SSD）空間時間ブロック符号（STBC）を導入し、最大伝送レートと最小復号化複雑度を達成する。$2^a$アンテナに対して、ユニタリ重みSSD符号のレートに対する上限を $\frac{a}{2^{a-1}}$ と特定し、従来の直交設計を上回るレートを達成する。また、CUW-SSD符号がこの上限に達し、完全な分散性を保証するとともに、明示的な符号化ゲインの式を提供する。

ABSTRACT

It is well known that Space-Time Block Codes (STBCs) from orthogonal designs (ODs) are single-symbol decodable/symbol-by-symbol decodable (SSD) and are obtainable from unitary matrix representations of Clifford algebras. However, SSD codes are obtainable from designs that are not orthogonal also. Recently, two such classes of SSD codes have been studied: (i) Coordinate Interleaved Orthogonal Designs (CIODs) and (ii) Minimum-Decoding-Complexity (MDC) STBCs from Quasi-ODs (QODs). Codes from ODs, CIODs and MDC-QODs are mutually non-intersecting classes of codes. The class of CIODs have {\it non-unitary weight matrices} when written as a Linear Dispersion Code (LDC) proposed by Hassibi and Hochwald, whereas several known SSD codes including CODs have {\it unitary weight matrices}. In this paper, we obtain SSD codes with unitary weight matrices (that are not CODs) called Clifford Unitary Weight SSDs (CUW-SSDs) from matrix representations of Clifford algebras. A main result of this paper is the derivation of an achievable upper bound on the rate of any unitary weight SSD code as $\frac{a}{2^{a-1}}$ for $2^a$ antennas which is larger than that of the CODs which is $\frac{a+1}{2^a}$. It is shown that several known classes of SSD codes are CUW-SSD codes and CUW-SSD codes meet this upper bound. Also, for the codes of this paper conditions on the signal sets which ensure full-diversity and expressions for the coding gain are presented. A large class of SSD codes with non-unitary weight matrices are obtained which include CIODs as a proper subclass.

研究の動機と目的

• 直交設計（OD）でないユニタリ重み行列を有する単一シンボル可解（SSD）STBCの開発。最大レートと最小復号化複雑度を実現する。
• $2^a$送信アンテナに対して、任意のユニタリ重みSSD符号の実現可能なレートに対する上限を導出。従来の直交設計のレートを上回る。
• クリフォード代数の既約ユニタリ表現を用いて、新しいSTBCクラス—クリフォードユニタリ重みSSD（CUW-SSD）符号—を構築。完全な分散性を保証し、明示的な符号化ゲインの式を提供する。
• 既存のSSD符号クラス（例：COD、CIOD、MDC-QOD）を統一・一般化し、それらがCUW-SSD符号の特殊ケースであることを示し、CUW-SSD符号が導出されたレート上限に達することを示す。

提案手法

• クリフォード代数 $CA_{2a+1}$ のユニタリ行列表現を用いてSSD符号を構築。既約表現を活用し、ユニタリ性を持つ重み行列を生成する。
• 重み行列 $A_{iI}$ および $A_{iQ}$ の一般形を導出。$A_{iI} = V^H M_i V$, $A_{iQ} = V^H N_i V$ とし、$M_i$, $N_i$ は反エルミート行列で反交換関係を満たす。
• SSD特性を保証するための条件 $A_{iI}^H A_{iQ} + A_{iQ}^H A_{iI} = 0$ を課し、これは $i \neq j$ のとき $M_i N_j = -N_j M_i$ に相当する。
• クリフォード代数の構造を活用し、生成子 $A_{2a+2} = \pm j \prod_{i=2}^{2a+1} A'_{iQ}$ を定義。これにより表現が忠実かつ既約となることを保証する。
• シュールの補題とユニタリ同値性を適用し、得られた符号構造がSSD条件を満たし、退化（例：$A_{iQ} = c A_{iI}$）を回避することを証明する。
• SSD制約下でのユニタリ重み行列に含まれる独立な複素変数の最大数を解析することで、$2^a$アンテナに対してレートの上限を $\frac{a}{2^{a-1}}$ と導出する。

実験結果

リサーチクエスチョン

• RQ1 ユニタリ重み単一シンボル可解（SSD）STBCの最大実現可能レートは、$2^a$送信アンテナに対してどの程度か？
• RQ2 直交設計（OD）でないユニタリ重み行列を有するSSD符号を構築可能か？また、従来のODより高いレートを達成できるか？
• RQ3 クリフォード代数の構造をどのように活用して、最小復号化複雑度と完全な分散性を有する新しいSTBCクラスを生成できるか？
• RQ4 既存のSSD符号クラス（例：CIOD、MDC-QOD、COD）は、クリフォード代数から導かれるより広範な符号クラスの特殊ケースとみなせるか？
• RQ5 信号集合にどのような条件を課すと完全な分散性が保証され、提案符号の符号化ゲインを明示的に計算できるか？

主な発見

• 本稿は、$2^a$アンテナに対して、任意のユニタリ重みSSD符号のレートに対する上限を $\frac{a}{2^{a-1}}$ と特定し、これは従来の直交設計のレート（$\frac{a+1}{2^a}$）を厳密に上回ることを示す。
• 提案されたクリフォードユニタリ重みSSD（CUW-SSD）符号は、この上限に達しており、上限がタイトで達成可能であることを示している。
• 既知のSSD符号クラス（直交設計（OD）、座標インタリーブ直交設計（CIOD）、準直交設計（QOD）からの最小復号化複雑度（MDC）符号）が、すべてCUW-SSD符号の特殊ケースであることが示された。
• 既約表現とユニタリ同値性を用いることで、本構成が退化（例：$A_{iQ} = c A_{iI}$）を回避することを証明し、完全な分散性と正しく復号可能な構造を保証している。
• 符号化ゲインの明示的式が導出され、提案符号の完全な分散性を保証するための信号集合の条件も提示された。
• ユニタリの場合を越えて拡張した場合、非ユニタリ重み行列を有する広範なSSD符号クラスが得られ、CIODはその適切な部分クラスとなる。