기술 요약: 반-블라인드 원자 노름 디노이징을 통한 비스태틱 센싱 기반 Zak-OTFS ISAC

1. 문제 정의

본 논문은 고이동성 시나리오에서 통합 센싱 및 통신(ISAC)을 수행하기 위해 Zak 변환 기반의 직교 시간 주파수 공간(Zak-OTFS) 변조를 다룹니다. 송신기와 수신기가 공간적으로 분리된 비스태틱 ISAC 구성에서는, 신뢰할 수 있는 데이터 검출과 정밀한 타겟 파라미터(지연, 도플러 및 채널 이득) 추정을 위해 정확한 채널 추정이 매우 중요합니다.

식별된 주요 난제는 다음과 같습니다:

• 분수 지연 및 도플러 이동 (Fractional Delays and Doppler Shifts): 실제 고이동성 시나리오에서 타겟 파라미터는 종종 지연-도플러(DD) 도메인의 이산 격자와 일치하지 않습니다. 이러한 "오프 그리드(off-grid)" 이동은 채널 응답이 여러 DD 빈(bin)에 걸쳐 퍼지게 만들어, 격자 불일치 오류를 유발합니다.
• 강한 결합 (Strong Coupling): 오프 그리드 특성은 채널 추정과 데이터 검출 사이에 강력한 결합을 생성합니다. 심볼 검출 오류는 간섭으로 작용하여 채널 추정을 저하시키며, 부정확한 채널 추정은 심볼 검출을 방해합니다.
• 기존 방법의 한계:
  • 2단계 접근 방식은 (유효 채널 행렬을 먼저 추정하는 방식) 이상적인 바이-오르소고날(bi-orthogonal) 펄스나 이동 불변 구조에 의존하지만, 이는 실제 직사각형 펄스를 사용하는 경우 물리적으로 구현이 불가능합니다.
  • 직접 파라미터 추정 방법은 종종 이산 격리(예: 희소 베이지안 학습)에 의존하며, 이는 격도 해상도를 높일 때 해상도 제한과 높은 계산 복잡도를 초래합니다.
  • 기존 솔루션들은 제한적인 가정(예: 정수 지연 또는 알려진 경로 수) 없이 오프 그리드 파라미터 추정과 데이터 검출을 공동으로 수행하는 데 일반적으로 실패합니다.

2. 방법론

A. 시스템 모델 및 이산 시간 I/O 관계

저자들은 먼저 직사각형 시간 및 주파수 윈도우를 사용하는 Zak-OTFS를 위한 이산 시간 입력-출력(I/O) 행렬 관계를 유도합니다.

• Zak-OTFS 프레임워크: 시스템은 DD 도메인 심볼을 시간 도메인으로 매핑하기 위해 역 Zak 변환을 사용하고, 수신된 DD 도메인 신호를 복구하기 위해 Zak 변환을 사용합니다.
• 트위스티드 컨볼루션 (Twisted Convolution): 채널 전파는 트위스티드 컨볼루션으로 모델링됩니다. 저자들은 실제 직사각형 펄스를 사용하더라도 시스템이 "예측 가능성 속성(predictability property)"을 유지함을 입증하며, 이는 모든 DD 도메인 심볼이 동일한 유효 채널 응답을 경험함을 의미합니다.
• 이산 공식화: 디지털 구현과 연속 시간 이론 사이의 간극을 메우는 이산 시간 행렬 I/O 관계가 구축되었습니다. 이 모델은 모델 프리(model-free) 채널 추정(단일 파일럿 사용)이 유효한 초기화 전략으로 남을 수 있음을 확인합니다.

B. 문제 공식화: 반-블라인드 원자 노름 디노이징 (Semi-Blind Atomic Norm Denoising)

오프 그리드 채널 파라미터와 미지의 데이터 심볼을 공동으로 추정하는 문제는 최적화 문제로 공식화됩니다.

• 원자 노름 정규화 (Atomic Norm Regularization): 이산화를 피하면서 지연 및 도플러 이동의 오프 그리드 특성을 처리하기 위해 채널 벡터는 원자 노름을 사용하여 정규화됩니다. 이는 DD 도메인 채널의 내재된 희소성을 활용합니다.
• 이산 제약 조건 처리: 데이터 심볼은 이산 성좌(예: PSK)에 속합니다. 혼합 정수 프로그래밍의 NP-난해 특성을 피하기 위해, 저자들은 패널티 기반 재공식화를 채택합니다.
  • 이산 제약 조건은 볼록 헐(convex hull)로 완화됩니다.
  • 목적 함수에 음의 제곱 패널티 ($-\rho \|x\|_2^2$)가 도입됩니다. 이 오목한 패널티는 패널티 파라미터 $\rho$가 증가함에 따라 솔루션이 볼록 헐의 꼭짓점(실제 이산 심볼)을 향해 이동하도록 유도합니다.
• 목적: 결과적인 문제는 재구성 오차, 심볼의 이산성을 위한 음의 제곱 패널티, 그리고 채널 희소성을 위한 원자 노름을 최소화합니다.

C. 가속 반복 알고리즘

비볼록(non-convex), 결합된 최적화 문제를 해결하기 위해 Majorization-Minimization (MM) 프레임워크와 좌표 하강법(coordinate descent)에 기반한 가속 반복 알고리즘이 개발되었습니다.

1. 초기화: 모델 프리 채널 추정(파일럿으로부터)을 사용하여 채널을 초기화하고, LMMSE를 사용하여 초기 심볼 검출을 수행합니다.
2. 채널 업데이트: 부정확 가속 근접 구배(inexact accelerated proximal gradient) 방법이 사용됩니다. 값비싼 반-정부 결정 계획(SDP)을 통해 원자 노름 부문 문제를 푸는 대신, 알고리즘은 원자 집합의 원점 대칭성을 활용하는 좌표 하강 프레임워크를 사용합니다. 이는 오버샘플링된 격자 탐색과 그 후 최적의 오프 그리드 파라미터를 찾기 위한 뉴턴 기반의 국부 정밀화를 포함합니다.
3. 심볼 업데이트: 가속 투영 구배(accelerated projected gradient) 방법이 데이터 심볼을 업데이트합니다. 음의 제곱 패널티는 Majorization 단계를 통해 처리된 후, 성좌의 볼록 헐로의 투영이 뒤따릅니다.
4. 호모토피 기법 (Homotopy Technique): 패널티 파라미터 $\rho$를 점진적으로 증가시켜(호모토피), 완화된 볼록 문제에서 이산 솔루션으로의 솔루션 경로를 추적함으로써 유효한 이산 성좌점으로의 수렴을 보장합니다.

D. 수렴 분석

본 논문은 제안된 알고리즘이 $O(1/\sqrt{t})$의 서브리니어(sublinear) 정체성 비율로 $\epsilon$-정상점(stationary point)으로 수렴함을 증명하는 엄격한 이론적 분석을 제공합니다.

3. 주요 기여

1. 이산 시간 I/O 모델: 직사각형 윈도우를 가진 Zak-OTFS에 대한 이산 시간 행렬 I/O 관계를 유도하여 초기화를 위한 예측 가능성 속성의 유효성을 입증했습니다.
2. 통합 최적화 프레임워크: 이산 제약을 위한 음의 제곱 패널티와 결합된 원자 노름 디노이징을 사용하여 오프 그리드 채널 파라미터와 PSK 심볼을 공동으로 복구하는 새로운 반-블라인드 공식화를 제시했습니다.
3. 효율적인 알고리즘: SDP 기반 솔버의 높은 복잡성을 피하기 위해 MM, 부정확 가속 근접 구배, 가속 투영 구배 방법을 결합한 가속 반복 알고리즘을 개발했습니다.
4. 수렴 증명: $\epsilon$-정상점에 대한 이론적 수렴 보장을 확립했습니다.

4. 시뮬레이션 결과

제안된 스킴은 다중 타겟이 있고 Line-of-Sight (LoS) 링크가 없는 비스태틱 ISAC 시나리오에서 몬테카를로 시뮬레이션을 통해 평가되었습니다.

• 수렴: 가속 알고리즘은 특히 패널티 파라미터가 빠르게 업데이트될 때, 일반적인(비가속) 방식에 비해 현저히 빠른 수렴 속도와 낮은 계산 부담(더 적은 내부 반복)을 보여주었습니다.
• 통신 성능: 비트 오차율(BER) 성능은 완벽한 채널 상태 정보(CSI)의 이론적 하한에 근접했습니다. 이 방법은 DD 도메인의 다양성을 효과적으로 활용함으로써, 특히 다중 타겟 시나리오에서 표준 LMMSE 검출기보다 우수한 성능을 보였습니다.
• 센싱 성능: 알고리즘은 초해상도(super-resolution) 센싱을 달성하여 오프 그리드 지연 및 도플러 파라미터를 정확하게 추정했습니다. 충분한 SNR에서 높은 탐지 확률과 낮은 허위 경보율을 바탕으로 신뢰할 수 있는 다중 타겟 탐지를 입증했습니다.
• 해상도 제한: 본 논문은 이 방법이 오프 그리드 추정을 가능하게 하지만, 타겟 간의 최소 간격 및 타겟 수, 그리고 반-블라인드 설정에서의 잠재적인 심볼 검출 오류에 의해 임의로 가까운 타겟을 분해하는 능력은 제한된다는 점을 언급합니다.

5. 의의 및 주장

본 논문은 정수 지연이나 알려진 경로 수와 같은 제한적인 가정에 의 Rely하지 않고, 이중 분산 채널(doubly dispersive channels) 상에서 신뢰할 수 있는 OTFS-ISAC을 제공하는 통합 프레임워크를 제공한다고 주장합니다.

• 의의: 본 연구는 오프 그리드 이동과 센싱 및 통신 간의 결합이라는 핵심 문제를 해결함으로써 이론적인 Zak-OTFS 모델과 실제 구현 사이의 간극을 메웁니다.
• 겸허한 주장: 저자들은 제안된 알고리즘이 PSK 변조 심볼을 위해 설계되었으며, 음의 제곱 패널티가 원래의 문제와 동일하지 않을 수 있는 고차 QAM 성좌로 확장하는 것은 향후 과제로 남겨두었다고 명시했습니다. 또한, 이 방법은 활성 원자(active atoms) 수의 제곱에 따라 계산 복잡도가 증가하므로, 몇 개의 지배적인 타겟이 있는 희소 ISAC 시나리오에 가장 적합함을 인정했습니다.

요약하자면, 본 논문은 고이동성 환경에서 완벽한 CSI 벤치마크에 근접한 성능을 달면서도 초해상도 파라미터 추정을 가능하게 하는, 수학적으로 엄격하고 계산적으로 효율적인 통합 센싱 및 통신 솔루션을 제시합니다.