[논문 리뷰] 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외 1명|arXiv (Cornell University)|2019. 07. 25.

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]이 일반화된 차분 리카티 방정식의 수렴 조건을 고려하지 못함으로써 무효화됨을 명확히 하는 것.

제안 방법

• 저자들은 채널 노이즈를 $V_t = cV_{t-1} + W_t$ 형태의 자귀귀사 과정으로 모델링하고, $W_t$가 i.i.d. 가우시안임을 가정하며, 시간 불변 피드백 전략 하에서 입력 및 출력 과정의 점근적 행동을 분석한다.
• 일반화된 차분 리카티 방정식(DREs)이 일반화된 대수적 리카티 방정식(AREs)으로 수렴하기 위한 필요 및 충분 조건을 유도하며, 이는 한계 평균 전력 및 엔트로피 비율 존재에 필수적이다.
• 피드백 용량은 AREs의 해로부터 유도된 창조적 분산 $K_Z^{\infty,*}$ 에 대한 시간 불변 최적화 문제를 통해 계산된다.
• 대수적 변환 및 안정성 분석을 사용하여 $c$, $K_W$, 및 $\kappa$ 의 다양한 영역에서 AREs를 풀어 피드백 용량에 대한 폐쇄형 표현식을 도출한다.
• 피드백 전략과 비피드백 전략을 비교함으로써, 전력 제약 조건이 너무 낮거나 $|c| \leq 1$일 경우 피드백이 용량을 향상시키지 못함을 보여주는 하한 $C_{LB}^{\infty,nc}$ 와 $C_{LB}^{\infty,nfb}$ 를 분석한다.
• 비안정성 노이즈($|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 리카티 방정식의 탐지 가능성 및 안정화 가능성 조건이 비정상적 설정에서 피드백 용량 공식의 타당성에 어떻게 영향을 미치는가?
• RQ5 AR 노이즈에 대해 피드백 용량은 항상 비피드백 용량보다 크다고 할 수 있는가, 아니면 어떤 영역에서는 이득이 없는가?

주요 결과

• 안정성 있는 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,*}$ 가 양수여야 한다는 조건에서 유도되며, 이 조건이 $\kappa^*$ 이하에서는 성립하지 않는다.
• 논문은 [1, Theorem 6.1]의 피드백 용량 공식이 한계 전력 및 엔트로피 비율의 수렴 조건이 충족되어야만 유효하다는 것을 증명하며, 이는 DRE가 ARE로 수렴해야 한다는 조건을 포함한다. 이러한 조건이 [1]에서 간과되었기 때문에 해당 공식은 무효하다.
• 저자들은 수렴 조건을 적용할 경우, [1]의 피드백 용량은 반드시 0이 되며, 이는 비영인 피드백 이득을 주장한 바가 무효하다는 것을 보여준다.