제로차 차이 함수와 그 응용: 균형을 넘어 새로운 최적 구조 구축

초록

본 논문은 제로차 차이(Zero‑Difference, ZD) 함수의 개념을 정의하고, 기존 제로차 차이 균형(ZDB) 함수에서 작은 변형을 가해 ZD 함수를 생성하는 “변경점 기법”을 제시한다. 이를 통해 최적의 상수 가중치 코드, 차이 집합 시스템(DSS), 주파수 홉 시퀀스(FHS)를 새로운 파라미터로 설계하고, 최적성을 판단하는 충분·필요 조건을 제시한다.

상세 분석

논문은 먼저 (A,+)→(B,+) 함수 f에 대해 λₐ=|{x∈A | f(x+α)=f(x)}| 로 정의된 제로차 차이 집합 S={λₐ|α≠0}를 도입하고, S가 단일값 λ만을 가질 때 ZDB 함수라 명명한다. 기존 연구에서 ZDB 함수는 PDF(Partitioned Difference Family)와 일대일 대응함을 강조했으며, 많은 최적 구조가 PDF를 통해 이미 알려져 있음을 지적한다. 여기서 저자들은 ZDB의 “균형” 조건을 완화해 ZD 함수를 정의하고, ZDB 함수에 아주 작은 변형을 가하면 λₐ 값이 λ 혹은 λ±1 정도로 제한되는 거의 균형(near‑balanced) 형태가 된다는 점을 발견한다. 이를 “변경점 기법(change‑point technique)”이라 부른다.

핵심은 링 R과 그 곱셈군의 부분군 G를 이용한 기존 ZDB 함수 f_G(x)=h_G(g_G(x))를 변형해 f₀_G를 정의하는데, f₀_G(0)=f_G(1), f₀_G(x)=f_G(x) (x≠0) 로 설정한다. 이렇게 하면 이미지 수가 |f_G(R)|−1 로 감소하고, 각 비영 요소 α에 대해 해의 개수가 k, k±1, 혹은 k+1 등으로 제한된다(정리 1). 여기서 k=|G|이며, −1∈G 여부에 따라 경우가 달라진다. Lemma 10은 −1∈G가 되기 위한 필요충분조건을 제시해, k가 짝수이거나 R의 특성이 2일 때 성립함을 증명한다.

논문은 이후 λ의 평균값과 최소·최대값에 대한 일반적 부등식(Lemma 2, 3 등)을 제시하고, ZD 함수가 최적 DSS·FHS를 만들기 위한 파라미터 관계식을 도출한다. 특히 λ≥(n−ε)(n+ε−m)/(m(n−1)) 형태의 하한과, 전처리 이미지 크기 r_b가 n±√Δ/m 범위에 있음을 보인다. 이러한 수식은 ZD 함수가 “가능한 한 균형”에 가까울수록 최적 코드와 시퀀스를 얻을 수 있음을 이론적으로 뒷받침한다.

마지막으로, 제안된 ZD 함수들을 실제 구조에 적용해 상수 가중치 코드(CWC), 차이 집합 시스템(DSS), 주파수 홉 시퀀스(FHS)를 구성하고, 각각이 기존 최적 한계(예: Peng–Fan bound, Levenshtein bound)를 만족하거나 초과함을 실험적으로 확인한다. 특히 FHS의 선형 복잡도 분석에서도, 함수 정의에 연산이 명시적으로 포함되므로 기존 PDF 기반 설계보다 더 정밀한 복잡도 추정이 가능함을 강조한다. 전체적으로 ZDB와 PDF 사이의 중복을 정리하고, ZD 함수를 통해 “균형이 아닌” 함수도 실용적인 최적 구조를 제공할 수 있음을 설득력 있게 증명한다.