산술 진행에서 비반복 수열의 새로운 경계

초록

본 논문은 차이값이 1부터 k까지인 모든 산술 진행에 대해 비반복성을 유지하는 수열을 구성하는 데 필요한 기호 수의 상한을 기존 결과보다 크게 개선한다. 저자들은 Moser‑Tardos 방식의 확률적 알고리즘을 이용해, 약 2k + O(√k)개의 기호만으로 임의의 길이의 비반복 수열을 만들 수 있음을 보인다. 또한 이 방법을 평면 점·선 색칠 문제와 무한 차이 집합에 대한 비반복 색칠 문제에도 확장한다.

상세 분석

논문은 먼저 전통적인 비반복 수열 개념을 산술 진행으로 일반화한다. k‑모드 비반복성(M(k))은 모든 차이 d∈{1,…,k}에 대해 등차수열 s_i, s_{i+d}, … 가 비반복임을 의미한다. 기존 연구에서는 M(k)≤33k이라는 상한만 알려졌으며, 실제 최소 기호 수는 k+2라고 추측된다. 저자들은 이 격차를 메우기 위해 Moser‑Tardos의 구성적 Lovász Local Lemma(LLL) 기법을 변형한 알고리즘을 설계한다.

알고리즘은 각 위치 i에 대해 사전 정의된 리스트 L_i(크기 ≥2k+10√k)에서 무작위로 기호를 선택한다. 선택 후 비반복성을 위배하는 가장 긴 블록을 찾아 삭제하고, 가장 작은 비어 있는 자리부터 다시 채운다. 핵심은 “삭제된 블록은 항상 현재 선택된 기호를 포함한다”는 보장을 통해 진행 중에 발생할 수 있는 의존 관계를 제한하는 것이다.

분석 단계에서는 무작위 선택의 전체 경우의 수와 알고리즘 실행 로그를 서로 일대일 대응시킨다. 로그는 격자 상의 상승·하강 경로(R), 차이값 열 D, 방향 열 O, 블록 길이 열 P, 최종 수열 S 로 구성된다. 상승·하강 경로는 Catalan 수 C_M 로 셀 수 있고, 각 로그는 최소 (10√k)^M개의 무작위 선택 시퀀스를 포함한다. 반면 로그의 총 수는 (2k+10√k)^n·C_M·k^{M/2}·2^{M/2}·1.5^M 으로 상한을 잡을 수 있다. M을 충분히 크게 잡으면 (10√k)^M ≤ 위의 상한이 모순이 되므로, 알고리즘은 반드시 어느 시점에서 멈추어 원하는 비반복 수열을 생성한다.

이 결과를 정리하면, 임의의 n에 대해 리스트 크기 ≥2k+10√k이면 길이 n의 k‑모드 비반복 수열이 존재한다는 정리 1을 얻는다. 여기서 기호 수는 (1+1/c)k+18k^{c/(c+1)} 형태의 일반화된 상한으로도 표현될 수 있다(논문 서두의 공식과 일치).

다음으로 저자들은 이 방법을 두 가지 응용에 확장한다. 첫째, 점·선 구성 (P, L)에서 각 점이 최대 I개의 선에 속하는 경우, 2I+10√I 색으로 비반복 색칠이 가능함을 보인다(정리 3). 이는 기존 LLL 기반 결과 I·(8I²+8I−4)/(I−1)² 보다 훨씬 작은 색 수를 제공한다. 둘째, 무한 차이 집합 K에 대한 비반복 색칠 문제를 제기하고, 특히 lacunary 집합에 대해 유한 색 수가 충분하다는 추측을 제시한다(추측 2). 이는 기존 그래프 색칠 이론과 연결되어 새로운 연구 방향을 제시한다.

전체적으로 논문은 확률적 알고리즘과 조합적 로그 인코딩을 결합해 LLL의 비구성적 증명을 구성적으로 전환함으로써, 비반복 수열의 기호 수 상한을 크게 개선하고, 이를 다양한 기하학·조합 문제에 적용하는 방법론을 제공한다. 이 접근법은 향후 더 넓은 차이 집합이나 고차원 기하학적 구조에도 적용 가능성을 열어준다.