구조적 희소 최적화에서 Basis Pursuit 실패의 결정적 원인

초록

본 논문은 선형 시스템의 확장 제어가능 행렬과 같은 구조적 행렬에 대해 ℓ₁ 최소화(Basis Pursuit)가 가장 희소한 해를 복구하지 못하는 경우를 결정론적으로 규명한다. 특정 열에 대한 변환 ℓ₁ 노름이 1보다 작을 때 해당 비영(非零) 성분은 회복 불가능함을 보이며, 이러한 열을 다항시간에 식별할 수 있는 총양성(total positivity) 기반 조건을 제시한다. 또한 해의 유일성을 검증하는 절차를 제공해, 실패가 단순 비유일성에 기인한 것이 아님을 증명한다. 이론은 연료 최소화 이산‑시간 제어 예제로 시연하고, 압축 센싱 및 기하학적 모델링과의 연관성을 논한다.

상세 분석

이 연구는 ℓ₀ 최소화 문제 ∧ V u = y 의 해를 ℓ₁ 최소화(BP)로 근사하는 전통적 접근법이 구조적 행렬에 대해 언제, 왜 실패하는지를 정확히 규정한다. 핵심 아이디어는 “변환 열 ℓ₁ 노름” pₖ := ‖V(:,1:m)⁻¹ V(:,k)‖₁ 를 도입하고, pₖ < 1 인 열이 존재하면 해당 인덱스 k의 비영 성분은 BP가 복구할 수 없다는 점이다. 이 조건은 일반 행렬에 대해 검증이 NP‑hard하지만, 총양성(total positivity)과 k‑sign consistency 개념을 이용하면 다항시간에 확인 가능하다.

총양성은 행렬의 모든 r‑차 복합 행렬 X