다중열의 점근적 정규화 선형 복잡도와 그 경계

초록

우리는 무한히 긴 다중열 (a\in\mathbb{F}q^{\infty})에 대해 선형 복잡도 비율의 하한값 (I:=\liminf{n\to\infty}L_a(n)/n)와 상한값 (S:=\limsup_{n\to\infty}L_a(n)/n)이
\

상세 요약

이 논문은 암호학 및 정보이론에서 핵심적인 개념인 선형 복잡도의 점근적 거동을 다중열(multisequence)이라는 보다 일반적인 구조로 확장한다는 점에서 큰 의의를 가진다. 기존 연구들은 주로 단일 시퀀스의 선형 복잡도 (L(n))가 (n)에 비례하여 성장하는지, 혹은 일정 수준 이하로 억제되는지를 분석했지만, 다중열에서는 각 구성 시퀀스가 서로 독립적으로 혹은 상호작용하면서 복합적인 복잡도 패턴을 보일 수 있다. 저자들은 이를 정량화하기 위해 두 개의 극한값, 즉 (\liminf)과 (\limsup)를 도입하고, 이를 각각 (I)와 (S)라 명명한다.

주요 정리는 다음과 같다. 먼저 상한 (S)는 반드시 (\frac{M}{M+1}) 이상, 1 이하에 머문다. 이는 다중열이 (M)개의 독립적인 시퀀스로 구성될 때, 전체 복잡도가 최소한 전체 길이의 (\frac{M}{M+1}) 배 이상이어야 함을 의미한다. 직관적으로 보면, 하나의 시퀀스가 완전한 무작위성을 가질 경우 복잡도는 1에 가까워지지만, 여러 시퀀스가 동시에 무작위성을 유지하려면 서로 간의 “배터리 방전” 현상이 발생해 복잡도가 약간 낮아질 수 있다.

다음으로 하한 (I)에 대한 부등식은 (M(1-S)\le I\le 1-\frac{S}{M})이다. 좌변은 (S)가 커질수록 (I)가 감소해야 함을, 우변은 (S)가 작아질수록 (I)가 상승해야 함을 보여준다. 특히 (S=1)이면 (I)는 0이 되고, (S=\frac{M}{M+1})이면 (I)는 (\frac{1}{M+1})이 된다. 이는 복잡도 상한과 하한이 서로 얽혀 있어, 하나를 고정하면 다른 하나는 자동으로 제한된 구간에 머문다는 강력한 제약을 제공한다.

논문은 또한 “모든 (M)개의 시퀀스가 무한히 자주 비불일치를 보인다”는 가정을 두어, 실제 암호 시스템에서 흔히 발생하는 비정상적인 패턴(예: 영구적인 0열)들을 배제한다. 이 가정 하에 저자들은 배터리 방전 모델(Battery Discharge Model)을 이용해 복잡도 변화를 전기 회로의 전하 흐름에 비유하고, 등거리(isometry) 성질을 활용해 수학적으로 정확한 경계값을 도출한다.

가장 눈에 띄는 결론은 “조건을 만족하는 ((I,S)) 쌍마다 (2^{\aleph_0})개의 서로 다른 다중열이 존재한다”는 점이다. 이는 연속체의 크기와 동등한 무한히 많은 구성 가능성을 의미하며, 이론적으로는 거의 모든 가능한 복잡도 비율 조합을 구현할 수 있음을 시사한다. 따라서 암호 설계자는 원하는 복잡도 프로파일을 갖는 다중열을 자유롭게 선택할 수 있는 폭넓은 설계 자유도를 얻게 된다.

마지막으로, 이 결과는 Dai·Imamura·Yang이 제시한 열린 문제에 대한 완전한 해답을 제공한다는 점에서 학문적 기여도가 크다. 기존에 알려진 단일열에 대한 복잡도 경계는 다중열에 직접 적용되지 않았으며, 본 논문은 그 격차를 메우는 동시에 새로운 분석 도구와 모델을 제시함으로써 향후 연구 방향에 중요한 토대를 마련한다.