[논문 리뷰] On Capacity Optimality of OAMP: Beyond IID Sensing Matrices and Gaussian Signaling

Lei Liu, Shansuo Liang외 1명|arXiv (Cornell University)|2021. 08. 19.

Advanced Wireless Communication Techniques참고 문헌 54인용 수 9

한 줄 요약

이 논문은 일반적인 입력 분포와 비i.i.d. 센싱 행렬을 가진 큰 유니터리 불변 시스템(LUIS)에서 직교 근사 메시지 전달(OAMP)이 보편적인 그람-슈미트 직교화와 변분 전이 함수를 사용하여 용량 최적성을 달성함을 입증한다. 상태 전이가 유일한 고정점으로 수렴할 경우, OAMP는 복제 방법으로 예측한 제약 용량을 달성하며, 이는 가우시안 및 일반적인 입력 신호 모두에서 검증되었으며, QPSK 및 이진 신호 전송에서 최적화된 비정규형 LDPC 코드를 통해 거의 용량 수준의 성능을 달성한다.

ABSTRACT

This paper investigates a large unitarily invariant system (LUIS) involving a unitarily invariant sensing matrix, an arbitrarily fixed signal distribution, and forward error control (FEC) coding. A universal Gram-Schmidt orthogonalization is considered for constructing orthogonal approximate message passing (OAMP), enabling its applicability to a wide range of prototypes without the constraint of differentiability. We develop two single-input-single-output variational transfer functions for OAMP with Lipschitz continuous local estimators, facilitating an analysis of achievable rates. Furthermore, when the state evolution of OAMP has a unique fixed point, we reveal that OAMP can achieve the constrained capacity predicted by the replica method of LUIS based on matched FEC coding, regardless of the signal distribution. The replica method is rigorously validated for LUIS with Gaussian signaling and certain sub-classes of LUIS with arbitrary signal distributions. Several area properties are established based on the variational transfer functions of OAMP. Meanwhile, we present a replica constrained capacity-achieving coding principle for LUIS. This principle serves as the basis for optimizing irregular low-density parity-check (LDPC) codes specifically tailored for binary signaling in our simulation results. The performance of OAMP with these optimized codes exhibits a remarkable improvement over the unoptimized codes and even surpasses the well-known Turbo-LMMSE algorithm. For quadrature phase-shift keying (QPSK) modulation, we observe bit error rates (BER) performance near the replica constrained capacity across diverse channel conditions.

연구 동기 및 목표

• i.i.d. 센싱 행렬과 가우시안 신호 전송을 초월한, 큰 유니터리 불변 시스템(LUIS)에서 OAMP의 용량 최적성 입증.
• 지역 추정기의 미분 가능성 요구 없이도 적용 가능한 광범위한 적용성을 보장하는 보편적 그람-슈미트 직교화 프레임워크 개발.
• 임의의 입력 분포를 가진 LUIS에 대해 복제 방법의 정확성을 검증하고, OAMP의 상태 전이와의 일致성 입증.
• 이산 신호 전송에서 거의 용량 수준의 성능을 달성하는 비정규형 LDPC 코드를 설계하기 위한 코딩 원리 도출.
• 최적화된 코드를 갖춘 OAMP가 터보-LMMSE를 초월하고 다양한 채널 조건에서 복제 제약 용량에 가까운 비트 오류율(BER)을 달성함을 보여줌.

제안 방법

• 지역 추정기의 미분 가능성 요구 없이도 적용 가능한 보편적 그람-슈미트 직교화를 도입하여 OAMP를 구성함으로써, 광범위한 적용성을 확보.
• 리프시츠 연속 지역 추정기를 갖춘 단일 입력 단일 출력(SISO) 변분 전이 함수 두 종류를 개발하여, OAMP의 정밀한 성능 분석 가능.
• 상태 전이 분석을 통해 OAMP의 점근적 행동을 특성화하고, 특정 조건 하에서 유일한 고정점으로 수렴함을 입증.
• 복제 방법을 적용하여 LUIS의 제약 용량을 유도하고, 가우시안 신호 전송 및 특정 하위 클래스에 대해 그 정확성을 검증.
• 변분 전이 함수 기반으로 복제 제약 용량 달성 코딩 원리 유도하고, 비정규형 LDPC 코드의 최적화를 가능하게 함.
• 유도된 코딩 원리를 활용해 이진 및 QPSK 신호 전송에 특화된 비정규형 LDPC 코드 설계를 수행하고, 시뮬레이션에서 거의 용량 수준의 성능 확보.

실험 결과

연구 질문

• RQ1 OAMP는 임의의 입력 분포와 비i.i.d. 센싱 행렬을 가진 LUIS에서 용량 최적성을 달성할 수 있는가?
• RQ2 입력 분포가 가우시안이 아닐 경우, 복제 방법이 LUIS의 제약 용량을 정확히 예측할 수 있는가?
• RQ3 지역 추정기의 미분 가능성 요구 없이도 보편적 OAMP 프레임워크를 그람-슈미트 직교화를 통해 구성할 수 있는가?
• RQ4 OAMP의 상태 전이 고정점과 복제 방법으로 예측한 제약 용량 간의 관계는 무엇인가?
• RQ5 OAMP의 변분 전이 함수에서 유도된 코딩 원리는 이산 신호 전송에서 거의 용량 수준의 성능을 달성하는 비정규형 LDPC 코드 설계에 활용할 수 있는가?

주요 결과

• OAMP의 상태 전이가 유일한 고정점으로 수렴할 경우, 입력 신호 분포에 관계없이 복제 방법으로 예측한 제약 용량을 달성한다.
• 복제 방법은 가우시안 신호 전송과 특정 하위 클래스에 대해 임의의 입력 분포를 가진 LUIS에 대해 엄밀히 검증되었으며, 용량 예측 정확성을 확인한다.
• 유도된 복제 제약 용량 달성 코딩 원리는 비정규형 LDPC 코드 설계를 가능하게 하여, 최적화되지 않은 코드보다 뚜렷이 뛰어난 성능을 보이며 시뮬레이션에서 터보-LMMSE 성능을 초월한다.
• QPSK 변조에서는 최적화된 비정규형 LDPC 코드를 갖춘 OAMP가 다양한 채널 조건에서 복제 제약 용량에 근접한 비트 오류율(BER)을 달성한다.
• OAMP의 변분 전이 함수는 영역 성질 유도를 가능하게 하며, 비가우시안 및 비i.i.d. 시스템에서 용량 달성 코드 설계에 대한 이론적 기반을 마련한다.
• 제안된 코딩 원리를 갖춘 OAMP는 이진 및 정현형 위상 시프트 키핑(QPSK) 신호 전송 모두에서 강건성과 거의 최적의 성능을 보이며, 5G/6G 마이크로액세스 및 MIMO 시스템에서의 실용적 관련성을 확인한다.