열 교체 기반 결정적 압축 센싱 행렬 설계

본 논문은 압축 센싱(Compressive Sensing, CS) 분야에서 측정 행렬(sensing matrix)의 결정적(deterministic) 설계 방법을 새롭게 제시한다. CS는 신호가 k‑sparse라는 가정 하에, m ≪ n인 측정 수 m으로부터 원본 신호 x∈ℝⁿ을 정확히 복원할 수 있음을 보장한다. 이때 복원을 보장하기 위한 충분조건으로는 행렬 A가 RIP(Restricted Isometry Property)를 만족하거나, 혹은 코히어런스(μ) 가 충분히 작아야 한다. 특히, 코히어런스가 작을수록 RIP의 차수 k에 대한 상한 k ≤ 1/μ + 1이 크게 된다. 그러나 무작위 Gaussian 행렬은 확률적으로 RIP를 만족하지만 구현이 복잡하고 재현성이 떨어진다. 따라서 결정적 행렬이 연구되었으며, 기존에는 DeVore, BCH, Reed‑Solomon, 알제브라적 기하학 코드 등을 이용해 p‑진법 혹은 q‑진법 행렬을 만들었다. 이들 행렬은 코히어런스가 Welch 한계 μ ≥ √{(n‑m)/(m(n‑1))}에 근접하지만, 행·열 비율이나 확장성에서 제한이 있었다. 저자들은 두 가지 핵심 아이디어를 도입한다. 첫 번째는 “열 교체(column replacement)”라는 연산이다. 정의 2에 따르면, 기본 행렬 A∈ℝ^{r×m}와 패턴 행렬 P∈{1,…,m}^{N×n}이 주어지면, 각 패턴 원소 p_{ij}에 대해 A의 p_{ij}번째 열을 삽입해 새로운 행렬 C∈ℝ^{rN×n}을 만든다. 이는 A의 열을 “코드워드”로 보고, P의 각 열을 “코드워드 인덱스”로 해석하는 방식이다. 이 연산은 선형 결합을 보존하므로 C의 열 역시 선형 코드의 코드워드가 된다. 두 번째는 이러한 열 교체를 이용해 큰 최소 거리(minimum distance)를 갖는 선형 코드를 구성하는 정리 2이다. 두 코드 C