다빈치‑슈인젤 수열 상한 개선과 새로운 증명 기법

초록

본 논문은 Davenport‑Schinzel 수열 λₛ(n)의 상한을 기존 방법보다 크게 개선하고, 새로운 증명 기법을 도입한다. s≥6에 대해 상한을 더 강하게 잡으며, 짝수 s에 대해서는 지수 부분까지 최적에 가깝게 만든다. 또한 s=3인 경우 기존 결과 λ₃(n) ≤ 2nα(n)+O(n√α(n))를 새 기법으로 재증명하고, 계수 2가 최적임을 하한을 통해 확인한다. 일반화된 DS 수열에 대해서도 동일한 기법을 적용해 상한을 강화한다.

상세 분석

Davenport‑Schinzel 수열 λₛ(n)은 n개의 기호로 이루어진, 동일 기호가 연속하지 않고, 길이 s+2의 교차 패턴을 포함하지 않는 가장 긴 수열의 길이로 정의된다. 기존 연구에서는 s=3에 대해 λ₃(n)=Θ(nα(n))가 알려졌으며, s≥4에 대해서는 Agarwal‑Sharir‑Shor가 제시한 n·2^{poly(α(n))} 형태의 상하한이 거의 최적이라고 여겨졌다. 본 논문은 그 상한 증명 과정을 정밀히 분석하고, 특히 s≥6에서 발생하는 복잡한 재귀 구조를 새로운 “계층적 블록 분할” 기법으로 재구성한다. 이 기법은 수열을 여러 레벨의 블록으로 나누고, 각 레벨에서 발생하는 교차 제한을 선형 대수적 방법으로 추적함으로써 기존의 지수적 폭을 로그‑α(n) 수준으로 감소시킨다. 결과적으로 짝수 차수 s에 대해 λₛ(n) ≤ n·2^{(1+o(1))·α(n)^{s‑2}} 와 같이 기존 상한보다 상수 계수를 크게 낮춘 형태를 얻는다.

또한 저자들은 이 새로운 증명 체계를 이용해 s=3인 경우를 다시 다룬다. 기존에 Klazar가 제시한 λ₃(n) ≤ 2nα(n)+O(n√α(n))를 보다 직관적인 블록‑합성 논증으로 재현함으로써, 증명의 복잡성을 크게 줄였다. 하한 측면에서는 λ₃(n) ≥ 2nα(n)−O(n) 를 만족하는 구성을 제시해, 상수 2가 정확히 최적임을 보인다. 이는 이전에 알려진 하한이 계수 1.5 정도에 머물렀던 것과 대비된다.

마지막으로, Adamec‑Klazar‑Valtr가 정의한 일반화된 Davenport‑Schinzel 수열에 대해서도 동일한 블록 분할과 계층적 분석을 적용한다. 이 경우에도 상한이 기존 n·2^{poly(α(n))}에서 n·2^{(1+o(1))·α(n)^{t}} 형태로 개선되며, 여기서 t는 일반화된 패턴의 복잡도 파라미터이다. 전체적으로 논문은 기존의 복잡한 재귀 증명을 보다 구조화된 방법론으로 대체함으로써, 상한과 하한 사이의 격차를 크게 줄이고, 특히 짝수 차수에 대한 정확한 지수 형태를 제시한다.