[논문 리뷰] Perspectives on Balanced Sequences

Jos H. Weber, Kees A. Schouhamer Immink외 2명|arXiv (Cornell University)|2013. 01. 28.

Coding theory and cryptography참고 문헌 22인용 수 6

한 줄 요약

이 논문은 이진 수열의 Knuth 균형화 방법을 비이진 수열으로 확장하여 $q$-진 알파벳에서 극성 균형(PO) 및 전하-극성 균형(CPB) 코드를 소개하고 분석한다. PB 및 CPB 코드의 최대 크기와 점점 작아지는 최소 부족을 유도하며, 모든 종류의 균형화를 위한 효율적인 Knuth 유사 인코더와 디코더를 제안하여 장수 코드에서 이론적 최소값의 약 두 배 수준의 부족을 달성한다.

ABSTRACT

We examine and compare several different classes of "balanced" block codes over q-ary alphabets, namely symbol-balanced (SB) codes, charge-balanced (CB) codes, and polarity-balanced (PB) codes. Known results on the maximum size and asymptotic minimal redundancy of SB and CB codes are reviewed. We then determine the maximum size and asymptotic minimal redundancy of PB codes and of codes which are both CB and PB. We also propose efficient Knuth-like encoders and decoders for all these types of balanced codes.

연구 동기 및 목표

• 이전에 연구된 바가 없었던 $q$-진 알파벳에서 극성 균형(PB) 코드의 개념을 체계화하고 분석하는 것.
• 기존의 기호 균형(SB) 및 전하 균형(CB) 코드의 결과를 확장하여 PB 및 전하-극성 균형(CPB) 코드의 최대 크기와 점점 작아지는 최소 부족을 결정하는 것.
• $q$-진 알파벳에서 SB, CB, PB, CPB 코드를 위한 효율적인 Knuth 유사 인코딩 및 디코딩 알고리즘을 개발하는 것.
• 이러한 구성의 부족을 이론적 최소값과 비교하여, 장수 코드에서는 최소값의 약 두 배 이내임을 보여주는 것.

제안 방법

• 모듈로 산술을 통한 반복적 기호 빈도 조정을 이용하여 Knuth의 이진 균형화 알고리즘을 $q$-진 알파벳으로 일반화한다.
• PB 코드의 경우, 모듈로-$q$ 덧셈을 이용한 프리픽스 조정을 통해 양성 및 음성 기호의 수를 균형 잡는 두 단계 반복 절차를 사용한다.
• CPB 코드의 경우, 인덱스 선택과 기호 뒤집기를 이용하여 극성 균형을 먼저 확보한 후 전하 균형을, 또는 그 반대로 적용하는 순차적 균형화 과정을 적용한다.
• 균형 인덱스를 전달하기 위해 프리픽스 기반 방식을 사용하여, 인코딩 동작을 역행함으로써 디코딩을 가능하게 한다.
• 큰 블록 길이 $n$에 대한 조합적 계수와 점점 작아지는 분석을 통해 부족의 한계를 도출한다.
• 대칭 알파벳 $\mathcal{A}_q = \{-q+1, -q+3, \dots, q-1\}$의 구조를 활용하여 기호 빈도와 균형 조건을 정의한다.

실험 결과

연구 질문

• RQ1 기호의 수가 동일한 $q$-진 PB 수열의 최대 수는 얼마인가? (즉, 양성 및 음성 기호의 수가 동일한 수열)
• RQ2 PB 코드의 점점 작아지는 최소 부족은 무엇이며, SB 및 CB 코드와 비교해 볼 때 어떻게 다른가?
• RQ3 Knuth 유사 알고리즘이 $q$-진 알파벳에서 PB 및 CPB 코드를 효율적으로 일반화할 수 있는가?
• RQ4 제안된 PB 및 CPB 코드를 위한 Knuth 유사 구성의 부족은 이론적 최소값과 어떻게 비교되는가?

주요 결과

• 길이 $n$인 $q$-진 PB 수열의 수는 $q$가 홀수일 때 짝수 $n$에 대해 점점 작아지게 $q^n / \sqrt{2\pi n}$가 되며, $q$가 짝수일 경우에도 유사한 표현식이 성립한다.
• PB 코드의 점점 작아지는 최소 부족은 $\frac{1}{2}\log_2 n + \frac{1}{2}\log_2 \pi + \frac{1}{2}\log_2 q + O(1)$이며, SB 및 CB 코드의 형태와 유사하지만 상수항이 다르다.
• CPB 코드의 최대 크기는 약 $q^n / \sqrt{4\pi n}$이며, 최소 부족은 $\frac{1}{2}\log_2 n + \frac{1}{2}\log_2 \pi + \frac{1}{2}\log_2 q + O(1)$로 PB 코드와 유사하다.
• 제안된 PB 및 CPB 코드를 위한 Knuth 유사 인코더는 최소 가능한 부족의 약 두 배 수준의 부족을 달성하며, 이는 이진 경우와 일관된다.
• 제안된 구성의 부족은 $p' = (q-1)\log_q(k+1) + 2\log_q(q!)$로 표현되며, 여기서 $k = n/q$로, 부족이 블록 길이 $n$에 따라 로그적으로 증가함을 보여준다.
• 이 방법은 임의의 데이터 시퀀스에 대해, 결과적으로 필요한 균형 조건을 만족하는 균형 인덱스가 존재함을 보장하며, Knuth의 원래 존재 증명을 일반화한다.