MIMO 기반 디지털 오버더에어 연산을 활용한 벡터 컴퓨팅 VecComp

초록

본 논문은 기존의 디지털 오버더에어 연산 프레임워크인 ChannelComp을 다중 안테나(MIMO)와 결합하여, 스칼라가 아닌 벡터 함수의 계산을 가능하게 하는 VecComp을 제안한다. 전송 측에서는 CSI 없이 디지털 변조만을 사용하고, 수신 측에서 다중 안테나와 수신 빔포밍을 통해 작은 스케일 페이딩을 보상한다. 저자는 벡터 차원에 대해 계산 복잡도가 선형으로 증가함을 증명하고, 수신 안테나 수와 목표 MSE 사이의 비공식적인 관계를 비대칭적 확률적 하한으로 제시한다. 시뮬레이션 결과는 제안 방식이 페이딩 및 잡음 환경에서 기존 스칼라 기반 방법보다 최대 75 % 낮은 MSE를 달성함을 보여준다.

상세 분석

VecComp은 디지털 오버더에어 연산(Digital Over-the-Air Computation, DOAC)의 확장으로, 기존 ChannelComp이 단일 안테나 환경에서 스칼라 함수를 계산하는 데 한정됐던 문제점을 MIMO 기술을 도입함으로써 근본적으로 해결한다. 첫 번째 핵심 기여는 “CSI‑unaware” 설계이다. 전송 노드가 실시간 채널 상태 정보를 알 필요 없이, 사전에 정의된 디지털 변조와 인코더(E_k,ℓ)만으로 신호 x_k,ℓ를 생성한다. 수신 측에서는 N_r개의 안테나와 수신 빔포밍 행렬 U를 이용해 채널 행렬 H_k를 효과적으로 역전시켜, 각 노드의 전송 파워가 동일하게 합성되도록 만든다. 이는 전통적인 아날로그 OA‑C에서 요구되는 정밀한 동기화와 전송 측 CSI 확보 비용을 크게 절감한다.

두 번째로, 벡터 함수 f(s)=As+b 형태의 일반적인 선형 변환을 목표로 하는데, 여기서 A∈ℝ^{L×K}, b∈ℝ^{L}이다. 각 노드 k는 자신의 로컬 데이터 s_k∈𝔽_Q를 L개의 디지털 심볼 x_k,ℓ로 매핑하고, V_k∈ℂ^{N_t×L} 빔포밍을 적용한다. 수신 신호 y=U^H∑_{k=1}^K H_k V_k x_k + U^H z 에서, 적절히 설계된 V_k와 U는 (U^H H_k V_k)≈I_L을 만족하도록 만든다. 이때 채널 페이딩은 다중 안테나의 자유도(N_r)와 전송 안테나(N_t)에 의해 평균적으로 상쇄되며, 남는 잡음은 가우시안 AWGN z에 의해 결정된다.

이론적 분석에서는 수신 안테나 수 N_r이 목표 평균제곱오차(MSE) ε 이하가 되도록 하는 하한 N_r = O(1/(ε^2 q))를 도출한다. 여기서 q는 유한체 𝔽_Q의 크기이며, 이는 페이딩 보상에 필요한 안테나 수가 오차 허용 범위와 역제곱 관계에 있음을 의미한다. 또한, 공간 상관관계가 존재하는 실제 채널 모델에 대해, 제안된 빔포밍 전략이 상관 행렬 Σ의 고유값 분포에 따라 성능 저하를 최소화함을 수식적으로 증명한다.

복잡도 측면에서 VecComp은 벡터 차원 L에 대해 O(L·K) 연산만을 필요로 하며, 이는 기존 ChannelComp이 스칼라당 O(K) 연산을 수행하는 것과 비교해 선형 확장성을 제공한다. 실험에서는 N_r을 4, 8, 16으로 늘릴 때 MSE가 각각 약 30 %, 55 %, 75 % 감소하는 것을 확인했으며, 이는 이론적 상한과 일치한다. 또한, 다양한 변조 방식(QPSK, 16‑QAM 등)과 페이딩 모델(Rayleigh, Rician)에서도 안정적인 성능을 보였다.

요약하면, VecComp은 (1) 전송 측 CSI 불필요, (2) 다중 안테나를 통한 페이딩 억제, (3) 벡터 함수 계산을 위한 선형 복잡도, (4) 비대칭적 확률적 안테나 수 하한 제공이라는 네 가지 핵심 장점을 갖는다. 이는 차세대 엣지 학습, 분산 센서 네트워크, 대규모 IoT 환경에서 고차원 데이터 집계와 저지연 연산을 실현할 수 있는 실용적인 디지털 OA‑C 솔루션으로 평가된다.