모든 차수의 다벤포드 시인젤 수열 정확한 상한

초록

이 논문은 차수 $s$인 다벤포드‑시인젤(DS) 수열의 최대 길이 $\lambda_s(n)$에 대한 정확한 상한을 제시한다. 기존 연구는 짝수 차수와 $s\le3$에 대해서는 완전한 해를 제공했지만, 홀수 차수에 대해서는 상하한 사이에 큰 격차가 존재했다. 저자들은 새로운 구성과 복잡도 분석 기법을 도입해 모든 홀수 차수에 대해 $\lambda_s(n)$가 바로 전 차수인 $\lambda_{s-1}(n)$과 동일한 성장률을 보인다는 것을 증명한다. 이는 Alon 등(2008)과 Nivasch(2010)의 추측을 반박하는 결과이며, 하위 envelope 문제와 관련된 여러 기하 알고리즘의 복잡도 분석에 직접적인 영향을 미친다.

상세 분석

다벤포드‑시인젤 수열은 $n$개의 문자 알파벳 위에서 $s+2$ 길이의 교차 교대 부분수열 $a\cdots b\cdots a\cdots b\cdots$ 를 금지함으로써 정의된다. $\lambda_s(n)$는 이러한 제약을 만족하는 가장 긴 수열의 길이이며, 이는 $n$개의 함수가 서로 최대 $s$번 교차하는 경우의 하위 envelope 복잡도와 일대일 대응한다. 기존 연구는 짝수 차수 $s=2t$에 대해 $\lambda_{2t}(n)=\Theta!\bigl(n\alpha(n)^{t-1}\bigr)$ (여기서 $\alpha$는 역아커만 함수)와 같은 정확한 상한을 얻었고, $s\le3$에 대해서도 완전한 해를 제시했다. 그러나 $s$가 홀수일 때는 $\lambda_{2t+1}(n)$에 대한 상한이 $\Theta!\bigl(n\alpha(n)^{t}\bigr)$와 $\Theta!\bigl(n\alpha(n)^{t-1}\bigr)$ 사이에 머물러, 실제 성장률을 정확히 파악하지 못했다.

저자들은 먼저 기존의 “구조적 분해” 기법을 확장하여, 홀수 차수 수열을 짝수 차수 수열의 두 개의 겹치지 않는 부분으로 분리할 수 있음을 보였다. 이때 각 부분은 서로 독립적인 DS 수열 구조를 유지하면서도 전체 길이는 거의 손실 없이 유지된다. 핵심 아이디어는 “쌍대 교차 패턴”을 정의하고, 이를 통해 발생 가능한 최대 교차 횟수를 정밀하게 제한하는 것이다. 이러한 패턴 분석은 기존의 “스택 기반” 증명과 달리, 각 문자 등장 시점에 대한 전역적인 순서를 고려함으로써 더 강력한 상한을 도출한다.

또한 저자들은 새로운 “다중 레벨 압축” 기법을 도입했다. 이 기법은 수열을 여러 레벨의 블록으로 나누고, 각 레벨에서 발생하는 교차 구조를 역아커만 함수의 반복 적용 형태로 모델링한다. 결과적으로 $\lambda_{2t+1}(n)$는 $\lambda_{2t}(n)$와 동일한 $\Theta!\bigl(n\alpha(n)^{t-1}\bigr)$ 성장률을 갖는다는 것을 엄밀히 증명한다. 이와 동시에, 기존에 제시된 Alon 등(2008)과 Nivasch(2010)의 “홀수 차수는 한 단계 더 높은 역아커만 함수 거듭을 필요로 한다”는 추측을 반증한다.

기술적인 측면에서, 논문은 세 가지 주요 정리를 제시한다. 첫째, 모든 홀수 차수 $s=2t+1$에 대해 $\lambda_s(n)=\Theta!\bigl(n\alpha(n)^{t-1}\bigr)$임을 보이는 상하한 일치 정리. 둘째, 이 정리가 기존의 하위 envelope 문제에 직접 적용되어, $n$개의 $s$-교차 함수 집합의 하위 envelope 복잡도가 $\Theta!\bigl(n\alpha(n)^{t-1}\bigr)$임을 증명한다. 셋째, 제시된 구성은 실제로 최적임을 보이는 하위 예시를 제공함으로써, 상한이 실제로 달성 가능함을 확인한다.

이러한 결과는 DS 수열 이론의 전반적인 구조를 재정립하고, 특히 홀수 차수에 대한 오랜 미해결 문제를 종결시킨다. 또한, 복잡도 분석에서 역아커만 함수가 차수에 따라 어떻게 등장하는지를 보다 명확히 이해하게 함으로써, 향후 기하 알고리즘 설계와 분석에 새로운 도구를 제공한다.