[論文レビュー] The Bussgang Decomposition of Non-Linear Systems: Basic Theory and MIMO Extensions

Özlem Tuğfe Demir, Emil Björnson|arXiv (Cornell University)|May 4, 2020

Advanced MIMO Systems Optimization参考文献 12被引用数 17

ひとこと要約

本稿は、非線形信号処理におけるバスガン分解の厳密な理論的基盤を提供し、複素数値およびMIMOシステムへと拡張する。非線形性の出力を、スケーリングされた入力と相関のない歪みに正確に分解できることを証明し、量子化や非線形アンプなどのハードウェア制限が存在するシステムにおける性能限界の評価を可能にする。

ABSTRACT

Many of the systems that appear in various signal processing applications are non-linear, for example, due to hardware impairments such as non-linear amplifiers and finite-resolution quantization. The Bussgang decomposition is a popular tool for analyzing the performance of systems that involve such non-linear components. In a nutshell, the decomposition provides an exact probabilistic relationship between the output and the input of a non-linearity: the output is equal to a scaled version of the input plus uncorrelated distortion. The decomposition can either be used to compute exact performance results or lower bounds where the uncorrelated distortion is treated as independent noise. This lecture note explains the basic theory, provides key examples, extends the theory to complex-valued vector signals, and clarifies some potential misconceptions.

研究の動機と目的

• 非線形システム、特にMIMOおよび複素数値信号に対して、バスガン分解の数学的に厳密で統一的な枠組みを確立すること。
• 文献において一般的に見られる、バスガン分解の有効性と適用に関する誤解を明確にし、是正すること。
• 古典的なバスガン定理を複素ガウス確率変数および相関歪みを有するMIMOシステムへと拡張すること。
• 分解における歪み項が入力と相関がないが独立でも正規分布でもないことを示し、MIMOシステムにおけるその相関構造を定量化すること。
• 非ガウス入力に対する一般化されたバスガン分解を提示し、歪みが入力と相関がないが、複数出力間で非自明な相関を示す可能性があることを示すこと。

提案手法

• 最小平均二乗誤差（MMSE）推定を用いて複素数バスガン定理を導出し、出力信号を線形成分と相関のない誤差項に分解する。
• 相関のない同時ガウス確率変数は独立であることを利用し、推定誤差が入力と相関がないことを証明することで、正確な分解を可能にする。
• バスガンゲイン行列 $\mathbf{B} = \mathbf{C}_{zx}\mathbf{C}_x^{-1}$ を定義することで、MIMOシステムへの分解を拡張し、歪み $\bm{\eta}$ が入力 $\mathbf{x}$ と相関がないことを保証する。
• 歪みベクトル $\bm{\eta}$ の相関構造を、その相関行列 $\mathbf{C}_\eta = \mathbf{C}_z - \mathbf{B}\mathbf{C}_x\mathbf{B}^\mathrm{H}$ を用いて分析し、入力が相関を持つ場合、一般に非対角行列であることを示す。
• シミュレーションにより、低分解能A/Dコンバータ（例：4ビット）では歪みの相関が顕著であるが、高分解能では薄れることが示され、一部のケースにおける近似が正当化されることを示す。
• 入力 $\mathbf{x}$ に対する $\mathbf{z}$ の線形MMSE推定を用いて、非ガウス入力に対する一般化されたバスガン分解を提案し、$\bm{\eta} = \mathbf{z} - \mathbf{B}\mathbf{x}$ を相関のない誤差項とする。

実験結果

リサーチクエスチョン

• RQ1 複素数値ガウス信号へのバスガン分解を、正確性と歪み項の非相関性を保ったまま、実数から複素数へ厳密に拡張する方法は何か？
• RQ2 MIMOシステムにおける歪み相関行列の構造は何か？ いつ、対角行列として安全に近似できるか？
• RQ3 非ガウス入力の状況下でバスガン分解はどのように動作するのか？ そして、システム性能解析にどのような影響を及えるか？
• RQ4 バスガン分解における非相関歪みを、独立な正規ノイズとして取り扱う場合、顕著な誤差を生じない条件は何か？
• RQ5 なぜMIMOシステムで歪み相関を無視する一般的な実務的慣習が問題を引き起こす可能性があり、いつそれが正当化されるのか？

主な発見

• バスガン分解は、歪みが非ガウス的で入力に依存しても、非線形システム出力をスケーリングされた入力と相関のない歪みに正確に表現できる。
• 複素数値ガウス信号の場合、非線形出力と第二の信号との間の相互相関は、入力の相互相関に比例し、割合定数はバスガンゲイン $B = \mathbb{E}\{U(x)x^*\}/\mathbb{E}\{|x|^2\}$ に比例する。
• MIMOシステムでは、歪みベクトル $\bm{\eta}$ は一般にエントリ間で相関を持つ。その相関行列は $\mathbf{C}_\eta = \mathbf{C}_z - \mathbf{B}\mathbf{C}_x\mathbf{B}^\mathrm{H}$ であり、入力信号の共分散行列 $\mathbf{C}_x$ が非対角である限り、相関は非ゼロである。
• シミュレーションにより、低分解能A/Dコンバータ（例：4ビット）では $\mathbf{C}_\eta$ の非対角成分が大きく非ゼロであり、無視できない程度の顕著な歪み相関が存在することが示された。
• 高分解能A/Dコンババータ（例：8ビット以上）では、$\mathbf{C}_\eta$ の非対角相関係数が小さくなり、ゼロと近似できるため、高分解能システムにおける一般的な簡略化仮定が正当化される。
• 非ガウス入力に対する一般化されたバスガン分解は、$\bm{\eta}$ が $\mathbf{x}$ と相関がない限り有効であるが、歪みは $\mathbf{x}$ とは独立ではなく、正確な性能解析のためにはその相関構造を慎重にモデル化する必要がある。