[논문 리뷰] Permutation Arrays Under the Chebyshev Distance

Torleiv Kløve, Te-Tsung Lin외 2명|arXiv (Cornell University)|2009. 07. 15.

graph theory and CDMA systems참고 문헌 3인용 수 5

한 줄 요약

이 논문은 페르마르의 거리 기준으로 순열 배열에 대한 구성법과 경계를 제안한다. 페르마르의 거리는 순열 간의 좌표별 최대 차이로 정의된다. 이는 오류 수정이 가능한 효율적인 디코딩을 갖춘 명시적 구성법, 더 큰 배열을 생성하기 위한 재귀적 방법, 그리고 영구행렬 기반 공식과 재귀관계를 사용한 경계 유도를 포함하며, 플래시 메모리 응용 분야에서 이러한 배열의 크기 하한을 크게 향상시킨다.

ABSTRACT

An (n,d) permutation array (PA) is a set of permutations of length n with the property that the distance (under some metric) between any two permutations in the array is at least d. They became popular recently for communication over power lines. Motivated by an application to flash memories, in this paper the metric used is the Chebyshev metric. A number of different constructions are given as well as bounds on the size of such PA.

연구 동기 및 목표

• 플래시 메모리 시스템에서 사용하기 위한 체비셰프 거리 기준 순열 배열(PA)의 효율적 구성법을 개발하기 위해.
• 최소 체비셰프 거리가 보장되는 명시적 및 재귀적 방법을 통해 PA를 생성하기 위해.
• 최대 크기 $ P(n,d) $의 $ (n,d) $ PA에 대한 날카운 상한 및 하한 경계를 설정하기 위해.
• 오류 수정 기능을 갖춘 벡터에서 순열로의 매핑을 위한 효율적인 인코딩 및 디코딩 알고리즘을 설계하기 위해.
• 영구행렬과 재귀 기반 방법을 사용하여 체비셰프 거리 $ d $ 이내의 항등원과의 거리 내에 있는 순열 수인 $ V(n,d) $ 의 성장률을 분석하기 위해.

제안 방법

• 순열이 $ \pi_i \equiv i \pmod{d} $ 를 만족하는 명시적 구성법을 제안하며, $ n = ad + b $ 일 때 $ |C| = ((a+1)!)^b (a!)^{d-b} $ 를 얻고, 모듈로 산술을 통한 효율적 디코딩을 제공한다.
• 기존 $ (n,d) $ PA를 $ (rn,rd) $ PA로 확장하는 재귀적 구성법을 도입하며, 크기는 $ M^r $ 이고 최소 거리는 유지된다.
• 새로운 원소를 순열의 위치 $ m $ 에 삽입하는 두 번째 재귀적 구성법을 제안하며, 체비셰프 거리 성질을 유지한다.
• 영구행렬 $ A^{(n,d)} $ 의 영구행렬을 사용하여 $ V(n,d) $ 를 계산하며, 이 행렬에서 $ a_{ij} = 1 $ 이면 $ |i-j| \leq d $ 를 만족한다.
• 선형 재귀관계를 적용하여 $ V(n,d) $ 를 계산하며, 이는 점근적 분석과 재귀관계의 주근근인 $ \mu_d $ 의 성장률 경계를 가능하게 한다.
• 해밍 유형 경계 $ P(n,d) \leq \left\lfloor \frac{n!}{V(n,\lfloor (d-1)/2 \rfloor)} \right\rfloor $ 를 사용하여 $ P(n,d) $ 의 상한을 유도하고, 이를 재귀적 적용을 통해 개선한다.

실험 결과

연구 질문

• RQ1 최소 체비셰프 거리 $ d $ 를 갖는 순열 배열의 효율적 구성법은 무엇이며, 이를 어떻게 효율적으로 디코딩할 수 있는가?
• RQ2 크기 $ P(n,d) $ 의 최대 $ (n,d) $ PA 는 $ n $ 과 $ d $ 에 따라 어떻게 성장하는가? 그리고 날카운 상한 및 하한 경계는 무엇인가?
• RQ3 작은 PA에서 큰 PA를 생성하면서 체비셰프 거리 성질을 유지할 수 있는 재귀적 방법을 사용할 수 있는가?
• RQ4 체비셰프 거리 $ d $ 이내의 항등원과의 거리 내에 있는 순열 수인 $ V(n,d) $ 의 점근적 행동은 어떻게 되며, 이를 어떻게 계산할 수 있는가?
• RQ5 영구행렬 기반 공식과 재귀적 또는 탐욕적 구성법을 사용할 때 $ P(n,d) $ 의 경계는 어떻게 비교되는가?

주요 결과

• $ n = 30, d = 2 $ 일 때, 명시적 구성법은 $ |C| \approx 6.37 \times 10^{15} $ 를 제공하며, $ 2^{n-d} = 2^{28} $ 와 비교해도 매우 뛰어나며, 작은 $ d $ 에서 지수적 향상을 보여준다.
• 재귀적 구성법은 $ P(rn, rd) \geq P(n,d)^r $ 를 만족하며, 최소 거리가 보장되는 작은 PA에서 큰 PA를 생성할 수 있다.
• 영구행렬 기반의 $ V(n,d) $ 상한 경계로부터 $ P(n,d) \geq \frac{n!}{[(2d-1)!]^{n/(2d-1)}} $ 를 도출하며, 이는 $ P(n,d) $ 에 대한 유용한 하한 경계를 제공한다.
• $ d=2 $ 일 때, 구성법은 $ P(2a,2) \geq (a!)^2 $ 를 제공하며, 큰 $ a $ 에서 $ 2^{2a-2} $ 와 비교해도 크게 뛰어나다.
• $ \left\lfloor \frac{12!}{V(12,3)} \right\rfloor $ 를 사용하여 $ P(11,6) \leq 850 $ 이라는 상한 경계를 도출하며, $ V(12,3) = 563172 $ 이므로 영구행렬 기반 접근의 유용성을 보여준다.
• $ V(n,d)^{1/n} $ 의 성장률 $ \mu_d $ 는 $ \mu_d \leq [(2d+1)!]^{1/(2d+1)} $ 를 만족하며, $ d \to \infty $ 일 때 $ \mu_d / (2d+1) \to 1/e $ 로 수렴하여 점근적 포화를 나타낸다.