새로운 순열 배열 구성법

본 논문은 순열 배열(Permutation Array, PA)의 구성과 그 최대 크기 P(n,d)에 대한 새로운 하한을 제시한다. 서론에서는 PA가 1970년대부터 연구되어 왔으며, 2000년대 전력선 통신 등 실용적 응용이 등장하면서 관심이 재점화되었음을 언급한다. 기존에는 선형 변환, 다중 레벨 구조, 거리 보존 매핑 등 다양한 방법이 제안되었지만, 아직도 일반적인 (n,d) PA의 최적 크기를 구하는 것은 어려운 문제이다. 첫 번째 주요 기여는 유한체 GF(q) 위의 분수 다항식(f(x)/g(x))을 이용한 PA 구성이다. 정의 1에서 분수 다항식을 ‘정규화된’ 형태(분자와 분모가 서로소이며 분모는 단조)로 제한한다. V(f/g)는 분모가 0이 아닌 모든 원소 α에 대해 f(α)/g(α) 값들의 집합 크기로 정의된다. Lemma 1은 두 정규화된 분수 다항식이 동일한 함수값을 갖는 경우와 식별되는 경우를 연결한다. 이를 바탕으로 ‘PA‑매핑(q‑PAM)’을 정의한다. 매핑 π는 각 φ∈SFP(q) 에 대해 Sym(F_q)의 순열 ψ를 할당하는데, ψ가 φ가 정의한 값들을 적절히 포함하도록 만든다. Proposition 1은 각 φ에 대해 (q−V(φ))!개의 자유도가 있음을 보이며, 전체 매핑 수의 하한을 제시한다. 다음으로 s와 t라는 두 정수 파라미터를 도입해, deg f≤s, deg g≤t, 그리고 q−V(f/g)≤min{s−deg f, t−deg g} 를 만족하는 집합 SFP(q,s,t) 를 정의한다. 이 집합은 기존의 순열 다항식(N_k(q))을 포함하는 일반화된 형태이다. Theorem 3은 임의의 q‑PAM에 대해 {π(φ) | φ∈SFP(q,s,t)} 가 거리 q−s−t 를 갖는 (q,|SFP|,q−s−t) PA가 됨을 증명한다. 즉, s+t가 작을수록 거리 d가 커지고, SFP의 크기가 PA의 크기가 된다. Corollary 1은 이를 이용해 P(q,q−k) ≥ max_{s+t=k}|SFP(q,s,t)| ≥ k·∑_{i=0}^k N_i(q) 라는 하한을 얻는다. 여기서 N_i(q)는 차수가 i인 순열 다항식의 개수이다. 실제로 저자는 q≤23, k≤5 범위에서 전산 탐색을 수행해 P(19,16)≥684, P(19,15)≥6840, P(19,14)≥65322 등 기존에 알려진 값보다 큰 하한을 발견했다. 두 번째 구성은 길이가 q+1인 경우이다. (q+1)-PAM을 정의하면서, 분모가 영점이 없을 때는 ∞를 고정점으로 매핑하고, 영점이 있을 경우 해당 영점에 ∞를 매핑하도록 규칙을 추가한다. 여기서는 추가 파라미터 a와 b를 도입해, 분모에 영점이 있는 경우와 없는 경우에 대해 각각 허용되는 차수 상한을 달리한다. 집합 SFP(q,s,t,a,b) 를 정의하고, Theorem 4는 임의의 (q+1)-PAM에 대해 {π(φ) | φ∈SFP(q,s,t,a,b)} 가 최소 거리 d = min{q−s−t, q−s−t−a−b, q+1−s−t−max{a,b}} 를 갖는 (q+1,d) PA가 됨을 증명한다. Corollary 2는 이를 통해 P(q+1,q−k) 에 대한 새로운 하한을 제시한다. 전산 실험 결과 q≤23, k≤5 에 대해 P(18,14)≥9520, P(20,14)≥123804, P(24,20)≥23782 와 같은 구체적 수치를 얻었다. 세 번째 기여는 순열군의 최소 차수를 이용한 PA 구성이다. 유한 순열군 G가 차수 n(=|Ω|)을 갖고, 최소 차수가 d라면, G의 비자명 원소가 최소 d개의 점을 이동한다는 사실을 이용한다. 이러한 군을 직접적으로 (n,d) PA의 원소 집합으로 해석하면, 군의 크기 |G| 가 PA의 크기가 된다. 논문에서는 구체적인 군 예시(예: 대칭군, 교대군, 아벨 군 등)와 그에 따른 PA 크기를 제시하지는 않았지만, 최소 차수와 고정점 수(fixity) 개념을 통해 PA 설계에 군론적 구조를 활용할 수 있음을 강조한다. 전체적으로 논문은 (1) 정규화된 분수 다항식과 PA‑매핑을 통한 일반화된 PA 구성, (2) 파라미터화된 차수 제한을 이용한 (q)와 (q+1) 길이 PA의 거리·크기 분석, (3) 최소 차수를 갖는 순열군을 이용한 군론적 PA 구성이라는 세 축으로 기존 연구를 확장한다. 특히, 컴퓨터 탐색을 통해 작은 q 에 대해 기존보다 현저히 큰 하한을 제공함으로써, 이론적 결과와 실험적 검증을 동시에 제시한다. 이러한 결과는 PA의 응용 분야(전력선 통신, 오류 정정 코드 등)에서 더 큰 코드 크기와 높은 최소 거리를 달성하는 데 기여할 수 있다.