[논문 리뷰] On the Duality of Erasures and Defects

Yongjune Kim, B. V. K. Vijaya Kumar|arXiv (Cornell University)|2014. 03. 07.

Error Correcting Code Techniques참고 문헌 16인용 수 3

한 줄 요약

이 논문은 생성 행렬과 수신 벡터로 정의된 시스템의 가역성 분석을 통해 선형 부호 이론에서 삭제와 결함 사이의 이원성을 확립한다. 해가 존재하는 것은 증명된 lin{G₀ᵁ}의 랭크가 증가된 행렬의 랭크와 동일할 때에만 가능하며, 주요 결과로는 랭크가 최대로 높을 경우 오류가 없는 확률(M=0)이 0이며, 랭크가 부족할 경우 해가 존재하는지 여부는 수신 벡터의 마지막 j개 요소의 구조에 따라 달라진다.

ABSTRACT

In this paper, the duality of erasures and defects will be investigated by comparing the binary erasure channel (BEC) and the binary defect channel (BDC). The duality holds for channel capacities, capacity achieving schemes, minimum distances, and upper bounds on the probability of failure to retrieve the original message. Also, the binary defect and erasure channel (BDEC) will be introduced by combining the properties of the BEC and the BDC. It will be shown that the capacity of the BDEC can be achieved by the coding scheme that combines the encoding for the defects and the decoding for the erasures. This coding scheme for the BDEC has two separate redundancy parts for correcting erasures and masking defects. Thus, we will investigate the problem of redundancy allocation between these two parts.

연구 동기 및 목표

• 선형 부호에서 오류 패tern이 유일하게 복호화될 수 있는 수학적 조건을 조사하는 것.
• 행렬 랭크 분석을 통해 부호 시스템에서 삭제와 결함 사이의 공식적 이원성을 수립하는 것.
• 생성 행렬과 수신 벡터에서 유도된 부분행렬의 랭크에 기반해 복호화 방정정식의 해가 존재하는지 여부를 판단하는 것.
• 시스템 행렬의 랭크 조건에 따라 성공적인 복호화 확률(M=0)을 정량화하는 것.

제안 방법

• 생성 행렬 G₀ᵁ와 수신 벡터 bᵁ로 정의된 일차방정식의 가역성 분석.
• 적어도 하나의 해가 존재하기 위한 필요 및 충분 조건으로서 rank(G₀ᵁ) = rank(G₀ᵁ | bᵁ)의 랭크 조건 사용.
• G₀ᵁ의 랭크가 u보다 작을 경우, G₀ᵁ의 행기저환원행렬에서 영행렬이 존재함을 확인하기 위해 행기저환원행렬 형태 적용.
• G₀ᵁ의 랭크가 j만큼 감소할 경우, 시스템이 여전히 해가 존재하는지 판단하기 위해 bᵁ의 마지막 j개 요소를 분석.
• rank(G₀ᵁ)에 기반해 P(M=0 | |U|=u)를 유도하며, rank(G₀ᵁ) = u일 경우 이 확률이 0임을 보임.
• rank(G₀ᵁ) = u−j (1 ≤ j ≤ u)인 경우를 고려하고, 이에 따른 해가 존재하는지의 여부와 오류 수정 가능성에 대한 영향을 조사.

실험 결과

연구 질문

• RQ1 생성 행렬과 수신 벡터로 정의된 방정식 시스템이 적어도 하나의 해를 가지는 조건은 무엇인가?
• RQ2 생성 부분행렬 G₀ᵁ의 랭크는 복호화 문제의 가역성과 어떤 관계가 있는가?
• RQ3 G₀ᵁ의 랭크 부족과 수신 벡터 bᵁ의 구조 사이의 관계는 무엇인가?
• RQ4 |U|=u일 때, M=0의 확률은 G₀ᵁ의 랭크에 따라 어떻게 달라지는가?
• RQ5 rank(G₀ᵁ) = u−j일 경우, bᵁ의 마지막 j개 요소가 시스템의 가역성 결정에 어떤 역할을 하는가?

주요 결과

• 해가 존재하는 것은 증가된 행렬 (G₀ᵁ | bᵁ)의 랭크가 G₀ᵁ의 랭크와 동일할 때에만 가능하다.
• rank(G₀ᵁ) = u일 경우, 시스템은 적어도 하나의 해를 보장하며, 이에 따라 P(M=0 | |U|=u) = 0이 된다.
• rank(G₀ᵁ) = u−j (1 ≤ j ≤ u)일 경우, G₀ᵁ의 행기저환원행렬에서 마지막 j행은 모두 영벡터가 된다.
• 랭크가 부족할 경우, 시스템의 해가 존재하는지 여부는 bᵁ의 마지막 j개 요소에 의해 결정된다.
• 생성 부분행렬이 최대 랭크 u를 가질 경우, 오류가 없는 확률(M=0)은 0이다.