k‑모달 부분수열의 새로운 하한과 라벨링 기법

초록

이 논문은 Erdős–Szekeres 정리와 Fan Chung의 유니모달 결과를 일반화하여, 임의의 순열에서 방향을 최대 k번 바꾸는 k‑모달 부분수열이 길이 √((2k+1)n) (상수 차이) 이상 존재함을 새로운 라벨링 증명으로 보여준다. 또한 첫 구간이 증가하는 k‑모달 부분수열이 길이 √(2kn) 이상 존재함을 증명하고, 해당 하한이 거의 최적임을 보여주는 구체적인 순열 구성도 제시한다. 마지막으로 같은 원소에서 증가와 감소 k‑모달 부분수열이 동시에 존재하는 점이 존재함을 보인다.

상세 분석

논문은 먼저 k‑모달 부분수열을 정확히 정의하고, “증가‑우선”과 “감소‑우선” 두 가지 유형을 구분한다. 핵심 아이디어는 각 원소 a_i에 두 개의 라벨 x(a_i), y(a_i)를 부여하는 것이다. x(a_i)는 a_i를 끝으로 하는 가장 긴 증가 부분수열의 길이, y(a_i)는 a_i를 시작(또는 끝)으로 하는 가장 긴 감소(또는 k‑모달) 부분수열의 길이이다. 저자는 이 쌍 (x(a_i), y(a_i))가 서로 다른 원소에 대해 중복되지 않음, 즉 전사적(injective)임을 보여준다. 전사성은 “a_i < a_j이면 x(a_i) < x(a_j)”, “a_i > a_j이면 y(a_i) > y(a_j)”와 같은 단순한 비교 논리를 이용해 증명된다. 전사성을 확보하면 전체 순열을 (x, y) 평면의 격자점 집합으로 사상시킬 수 있다.

그 다음, 사상된 점들이 차지할 수 있는 영역을 면적 추정으로 제한한다. 증가‑우선 1‑모달(즉, 단일 변곡점) 경우에는 x+y ≤ N+1이라는 삼각형 안에 모두 들어가야 하며, 이 삼각형의 격자점 수는 N(N+1)/2이다. 따라서 n ≤ N(N+1)/2 를 얻고, N ≥ √(2n) (상수 차이) 를 얻는다. 이 과정이 k=1에 대한 기본 단계이며, 논문은 이를 깔끔히 정리한다.

귀납 단계에서는 k‑모달을 k+1‑모달로 끌어올린다. x(a_i)는 여전히 가장 긴 증가 부분수열의 길이, y(a_i)는 이제 “k‑모달 감소 부분수열”의 길이로 정의한다. 전사성 논증은 동일하게 적용되지만, 이제 y값이 작을 경우(즉, y < kN/(k+1))에 대해 기존 귀납 가정으로부터 충분히 긴 감소‑우선 k‑모달 부분수열이 존재함을 이용한다. 결과적으로 (x, y) 쌍은 두 개의 영역으로 나뉘는데, 하나는 x·y ≤ kN²/(2(k+1)²) 정도의 삼각형, 다른 하나는 남은 직사각형이다. 두 영역의 격자점 수를 합하면 전체 n을 N²/(2(k+1)²) 로 제한하고, 따라서 N ≥ √(2(k+1)n) 를 얻는다. 이는 “√(2kn)” 형태의 하한과 일치한다.

하한의 강인함을 보이기 위해 저자는 “strongMake”라는 파라미터 t에 의존하는 명시적 순열을 제시한다. 이 순열은 t개의 연속 감소 구간을 k번(또는 k‑1번) 반복하고, 필요시 삼각형 형태의 감소 구간을 추가한다. 각 구간은 서로 완전히 겹치지 않으며, 구간 간 원소 크기 관계가 완전한 순서를 만든다. 이런 구조 아래에서는 증가‑우선 k‑모달 부분수열이 차지할 수 있는 원소 수가 정확히 k·t 로 제한되며, 전체 원소 수는 약 k·t²/2 이다. 따라서 최장 부분수열 길이는 √(2kn) 에 거의 일치함을 확인한다.

마지막으로, 같은 원소 a_i에서 증가와 감소 k‑모달 부분수열이 동시에 존재하는 점을 찾는 정리를 증명한다. 여기서는 두 개의 집합 A(a,b)와 B(a,b)를 정의하고, “조건”이라 불리는 불균형 조건이 만족되면 길이가 N+1인 증가·감소 부분수열이 존재함을 보인다. 그런 조건이 전혀 발생하지 않도록 점들을 배치하려면 전체 점 수가 N(N+1)/2 를 초과해서는 안 된다. 따라서 n ≤ N(N+1)/2 를 다시 얻고, N ≥ √(2n) 가 성립한다. 귀납적으로 이를 k‑모달 버전으로 확장하면, 동일한 상수 계수 √(2k) 가 유지된다. 전체 증명은 라벨링과 격자점 면적 추정이라는 간결한 프레임워크 안에서 진행되며, 기존의 “부분 순서(poset) 구조” 접근법과는 확연히 다른 방법론을 제공한다.

이 논문은 라벨링을 통한 전사 사상, 격자점 면적 추정, 그리고 구체적 구성 예시라는 세 축을 통해 k‑모달 부분수열 문제에 대한 새로운 시각을 제시하고, 기존 결과와 동일하거나 더 강력한 하한을 간결하게 재현한다. 또한 “같은 위치에서 증가·감소 k‑모달을 동시에”라는 부가적인 구조적 사실을 밝혀, 향후 조합적 최적화와 순열 패턴 연구에 활용될 가능성을 열어준다.