Skip to main content
QUICK REVIEW

[論文レビュー] Time-Invariant Feedback Strategies Do Not Increase Capacity of AGN Channels Driven by Stable and Certain Unstable Autoregressive Noise

Charalambos D. Charalambous, Christos K. Kourtellaris|arXiv (Cornell University)|Jul 25, 2019
Wireless Communication Security Techniques参考文献 17被引用数 6
ひとこと要約

この論文は、安定または不安定な自己回帰(AR)ノイズによって駆動される加法的ガウスノイズ(AGN)チャネルにおいて、時間不変のフィードバック戦略は、フィードバックがパワー制約が導出された閾値を超える特定の状態以外では容量を向上させないことを確立している。主な貢献は、一般化されたリカッチ方程式を用いたフィードバック容量の厳密な特徴付けであり、非収束のエントロピーおよびパワー率のため、フィードバックが効果を持たない状態を明らかにしている。これは、安定ARノイズに対してフィードバックが常に容量を向上させるという、先行研究の主張と矛盾する。

ABSTRACT

The capacity of additive Gaussian noise (AGN) channels, $Y_t=X_t+V_t, t=1, \ldots, n$, $\frac{1}{n} {\bf E}\big\{\sum_{t=1}^n |X_t|^2 \big\}\leq κ, κ\in [0,\infty)$, with time-invariant channel input feedback strategies, is characterized and conditions are identified for entropy rates, and limit of average power to exist, when the noise is described by {\it stable and unstable} autoregressive models, AR$(c)$, $V_t=cV_{t-1}+ W_t, V_0=v_0, t=1, \ldots, n$, where $c\in (-\infty,\infty)$, $W_t, t=1,\ldots, n$, is a zero mean, variance $K_W$, independent Gaussian sequence, independent of $V_0$. For stable AR$(c), c\in (-1,1)$ the conditions are necessary and sufficient for asymptotic stationarity of the processes $(X_t, Y_t), t=1, 2, \ldots$. New closed form capacity formulas and lower bounds are derived, for the AR$(c), c\in (-\infty,\infty)$ noise, which are fundamentally different from existing formulas in the literature, and illustrate multiple regimes of capacity, as a function of the parameters $(c,K_W,κ)$, as follows.\\ 1) feedback increases capacity for the regime, $c^2 \in (1, \infty),$ for $κ> \frac{K_W\big(1+\sqrt{4c^2-3}\big)}{2\big(c^2-1\big)^2}$, \\ 2) feedback does not increase capacity for the regime $c^2 \in (1, \infty)$, for $κ\leq \frac{K_W\big(1+\sqrt{4c^2-3}\big)}{2\big(c^2-1\big)^2}$, and \\ 3) feedback does not increase capacity for the regime $c \in [-1,1]$, for $ κ\in [0,\infty)$.

研究の動機と目的

  • 時間不変のフィードバック戦略を用いたAGNチャネルにおける、限界平均パワーおよびエントロピー率の存在に必要な十分な条件を特定すること。
  • 先行研究(特に[1])における矛盾を解消すること—特に、安定ARノイズに対してフィードバックが容量を向上させるという主張は、収束条件が無視されていたため誤りである。
  • 時間不変のフィードバック下で、安定($|c|<1$)および不安定($|c|>1$)な自己回帰的ノイズによって駆動されるAGNチャネルの閉形式容量公式を導出すること。
  • 安定ARノイズ($c \in [-1,1]$)に対して、およびパワー制約が臨界閾値未満の不安定ARノイズに対して、フィードバックが容量を向上させないことを示すこと。
  • 先行研究[1, 9, 10, 11, 12]の結果が、一般化された差分リカッチ方程式が代数的リカッチ方程式に収束しないことを考慮していないため、無効であることを明確にすること。

提案手法

  • 著者らは、$W_t$ を独立同分布のガウスノイズとする自己回帰過程 $V_t = cV_{t-1} + W_t$ をチャネルノイズとしてモデル化し、時間不変のフィードバック戦略下での入力および出力プロセスの漸近的挙動を分析する。
  • 一般化された差分リカッチ方程式(DRE)が一般化された代数的リカッチ方程式(ARE)に収束するための必要十分条件を導出し、限界平均パワーおよびエントロピー率の存在に不可欠な条件を特定する。
  • フィードバック容量は、AREの解から得られるイノベーション分散 $K_Z^{\infty,*}$ における時間不変の最適化問題として計算される。
  • 代数的変形および安定性解析を用いて、$c$、$K_W$、および $\kappa$ の異なる状態におけるAREの解を用いて、フィードバック容量の閉形式表現を導出する。
  • パワー制約が低すぎる、または $|c| \leq 1$ の場合にフィードバックが容量を向上させないことを示すために、非フィードバック戦略とフィードバック戦略の下限 $C_{LB}^{\infty,nc}$ および $C_{LB}^{\infty,nfb}$ を比較する。
  • 不安定ARノイズ($|c| > 1$)に対して、フィードバックが容量を向上させる臨界閾値 $\kappa^* = \frac{K_W(1 + \sqrt{4c^2 - 3})}{2(c^2 - 1)^2}$ を特定し、この閾値を超えるとフィードバックが有効になる。

実験結果

リサーチクエスチョン

  • RQ1時間不変のフィードバック戦略を用いたAGNチャネルにおける、ARノイズ付きの限界平均パワーおよびエントロピー率が存在する条件は何か?
  • RQ2なぜ先行研究[1]は、安定ARノイズ($|c| < 1$)に対してフィードバックが容量を向上させるという誤った主張をしたのか?
  • RQ3ノイズが不安定($|c| > 1$)である場合、フィードバックが容量を向上させるパワー $\kappa$ の正確な範囲は何か?
  • RQ4リカッチ方程式の可検出性および可安定化性の条件が、非定常状態におけるフィードバック容量公式の有効性にどのように影響するか?
  • RQ5ARノイズに対するフィードバック容量は常に非フィードバック容量より大きいのだろうか?それとも、利得がない状態があるのか?

主な発見

  • 安定ARノイズ($c \in [-1,1]$)に対して、有限のパワー制約 $\kappa \in [0, \infty)$ においても、フィードバックは容量を向上させない。これは[1]における主張と矛盾する。
  • 不安定ARノイズ($|c| > 1$)に対しては、パワー制約が $\kappa^* = \frac{K_W(1 + \sqrt{4c^2 - 3})}{2(c^2 - 1)^2}$ を超える場合にのみ、フィードバックが容量を向上させる。これは正の臨界閾値である。
  • フィードバックが容量を向上させるパラメータの集合は、$|c| > 1$ かつ $\kappa > \kappa^*$ の場合にのみ非空であり、$|c| \leq 1$ の場合には空集合である。
  • 臨界閾値 $\kappa^*$ は、一般化された代数的リカッチ方程式の解 $K_Z^{\infty,*}$ が正でなければならないという条件から導出されており、この閾値未満ではこの条件が満たされない。
  • 本論文は、[1, Theorem 6.1]におけるフィードバック容量公式が、パワーおよびエントロピー率の漸近的極限が存在する場合にのみ有効であることを証明しており、これはDREからAREへの収束を要件としている。この収束条件が[1]で無視されていたため、その公式は無効である。
  • 収束条件を適用した場合、[1]におけるフィードバック容量はゼロでなければならないことが示され、したがって非ゼロのフィードバック利得が成立しない。

より良い研究を、今すぐ始めましょう

論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。

クレジットカード登録不要

このレビューはAIが作成し、人間の編集者が確認しました。