인버터블 매트릭스로 보는 퍼널 코드와 엔트로피 감소

본 논문은 퍼널 코드(Fountain Code)의 인코딩 행렬을 전치역이 존재하는 전치(full‑rank) 0‑1 행렬로 제한하고, 이러한 행렬이 갖는 수학적 특성과 엔트로피 감소 효과를 탐구한다. 서론에서는 퍼널 코드가 디지털 파운틴 방식으로 대용량 데이터를 신뢰성 있게 전송하기 위해 고안된 배경을 소개하고, LT‑코드와 같은 실용적 구현이 존재함을 언급한다. 인코딩 그래프를 이분 그래프로 모델링하고, 입력 심볼 k개와 출력 심볼 n개 사이의 연결을 행렬 R로 표현한다. 일반적으로 R은 랭크가 k보다 작을 수 있지만, 본 연구에서는 랭크가 k인, 즉 모든 행이 선형 독립인 경우만을 다룬다. 이러한 경우 n = k이며, 출력 비트 y는 y = R x (mod 2) 로 계산되고, 복원은 x = R⁻¹ y 로 수행된다. 제1절에서는 인코딩 행렬이 순열을 유도한다는 결과를 제시한다. 두 개의 서로 다른 입력 벡터 x(1), x(2) 가 존재하면, 그에 대응하는 출력 y(1), y(2) 역시 서로 다르다(결과 1). 따라서 R은 {0,1}^k 전체에 대해 일대일 대응을 제공한다. 이 일대일 대응은 유한 집합 위의 순열에 해당하며, 반복적인 행렬 곱셈을 통해 입력으로 되돌아오는 사이클을 형성한다. 사이클 길이는 입력에 따라 달라지며, 사이클 길이를 알면 역변환을 행렬 곱셈만으로 수행할 수 있다. 저자는 이러한 순열 관점을 통해 인코딩 행렬의 가능한 개수를 2^k! 로 상한을 잡지만, 실제 가능한 0‑1 행렬 수 2^{k^2} 보다 훨씬 작아 실질적인 제한이 있음을 지적한다. 제2절에서는 인버터블 0‑1 행렬들의 집합이 모듈로 2 행렬곱 아래에서 군을 이룬다는 사실을 증명한다. 두 전치역이 존재하는 행렬을 곱하면 결과 역시 전치역이 존재하고, 항등원은 단위 행렬 I, 역원은 각 행렬의 전치역이다. 결합법칙이 성립하므로, 이 집합은 군 구조를 갖는다. 이는 퍼널 코드 설계 시 행렬 연산을 대수적으로 조작할 수 있는 기반을 제공한다. 제3절에서는 엔트로피 관점에서 인코딩 변환을 분석한다. 모든 가능한 입력 벡터에 대해 행렬 R을 적용했을 때 평균 엔트로피가 변하지 않아야 한다는 논리를 전개한다. 만약 평균 엔트로피가 감소한다면, 입력을 압축해 초기 엔트로피 이하로 표현할 수 있다는 모순이 발생한다. 반대로 평균 엔트로피가 증가한다면, 역행렬을 사용해 다시 원래 엔트로피 수준으로 복원할 수 있다. 그러나 실험 결과는 입력 비트열의 0과 1가 거의 동일한 고엔트로피 상황에서 평균 엔트로피가 약간 감소함을 보여준다. 실험에서는 8비트 입력을 예시로 들어, 이상 솔리톤 분포(ρ(i))에 따라 각 차수 i에 대한 출력 0의 확률을 계산하였다. 표 I에 따르면 차수 2(ρ=1/2)일 때 출력 0의 확률이 0.42857로, 입력 0.5보다 낮아 엔트로피 감소가 발생한다. 이를 바탕으로 저자는 차수 2에 가중치를 크게 두는 특수 인코딩 행렬을 설계한다. 구체적으로 행렬 R은 대각선과 바로 오른쪽 열에 1을 배치하는 형태이며, 예시로 4×4 행렬을 제시한다. 이 행렬은 전치역이 존재하고, 연산이 간단해 실용적이다. 시뮬레이션은 입력 길이 30 204비트와 61 408비트에 대해 수행되었다. 입력 내 0과 1의 비율을 다양하게 바꾸어 10번씩 무작위 배치 후 평균 엔트로피 변화를 측정하였다. 결과는 입력이 고엔트로피(0과 1가 거의 동일)일 때 평균 약 0.8~1비트 정도의 저장 공간 절감이 관찰되었으며, 비율이 크게 치우칠수록 절감 효과는 사라졌다. 그림 1은 입력 길이 30 204비트에 대해 0과 1의 불균형 정도에 따른 비트 절감량을 시각화한다. 절감량은 최대 1비트 수준에 머물러, 대규모 데이터에 적용해도 실질적인 이득은 제한적이다. 마지막으로 두 가지 추측을 제시한다. - 추측 1: 제안된 변환은 평균적으로 1비트 이하의 저장 공간 절감을 제공한다, 특히 고엔트로피 입력에 대해서도. - 추측 2: 동일한 확률 과정(마코프 체인)에서 변환이 평균 엔트로피를 그 과정 자체의 평균 엔트로피 이하로는 감소시키지 못한다. 결론에서는 인버터블 인코딩 행렬이 순열을 만들고 군을 형성한다는 수학적 사실을 정리하고, 차수 2에 집중된 특수 행렬이 이상 솔리톤보다 엔트로피 감소에 유리함을 실험적으로 확인했다. 그러나 절감량이 미미하고 적용 범위가 제한적이므로, 실제 시스템에 적용하려면 보다 효율적인 행렬 설계와 이론적 분석이 필요함을 강조한다.