작은 집합의 순열 가능성 새로운 경계

초록

본 논문은 임의의 아벨 군에서 원소가 20개 이하인 집합은 항상 순열 가능함을 보이고, 합이 0인 경우는 22개, 역쌍을 포함하지 않는 경우는 23개까지 확대한다. 핵심은 재귀적 합병 기법과 조합적 Nullstellensatz, Kneser 이론을 결합한 새로운 증명 전략이다.

상세 분석

이 논문은 ‘시퀀싱(sequenceable)’이라는 개념을 중심으로 Graham 추측과 그 변형인 CMPP 추측을 작은 크기의 집합에 대해 전면 검증한다. 먼저 기존 연구가 9개 이하(일반 집합)와 10~13개(특수 경우)까지 제한했음을 상기하고, 저자들은 재귀적 접근법을 도입한다. 핵심은 ‘재귀 레마’를 통해 두 원소 x₁, x₂를 선택해 새로운 원소 x₁+x₂를 만든 뒤 집합 크기를 하나 줄이는 과정이다. 이 레마는 두 가지 증명을 제공한다. 첫 번째는 Zₚ(소수 p)에서 알론의 조합적 Nullstellensatz를 이용해 다항식 Fₖ를 구성하고, 특정 차수의 비영 계수를 확인함으로써 원하는 x₁, x₂의 존재를 보인다. 여기서는 p>25, 10≤k≤23 범위에서 컴퓨터 계산을 통해 계수를 명시한다. 두 번째는 보다 일반적인 아벨 군에 대해 Kneser‑type 구조 분석을 수행한다. Proposition 2.3과 Theorem 2.4를 통해 “모든 서로 다른 두 원소의 합이 집합 혹은 0에 속한다면, 집합은 실제로 0을 포함한 부분군”임을 보이고, 따라서 이러한 경우는 이미 알려진 부분군의 시퀀싱 결과에 귀속된다.

재귀 레마가 확보되면, 저자들은 BFS 기반의 탐색 알고리즘을 설계한다. 각 노드는 현재 순열과 그동안 발견된 ‘충돌 구간’의 발생벡터 행렬 C를 저장한다. 구간 길이는 ⌊k/2⌋ 이하로 제한해 탐색 공간을 크게 축소하고, 행렬의 행 스팬이 특정 선형 조합(예: 전체 합이 0)과 일치하면 해당 분기는 즉시 종료한다. 이 과정은 컴퓨터 검증을 통해 |A|≤20(일반), ≤22(합이 0), ≤23(CMPP 조건)까지 모든 경우에 시퀀싱이 가능함을 확인한다.

결과적으로 Theorem 1.4, 1.5, 1.6은 기존의 상수(9,10,13)보다 크게 개선된 상한을 제공한다. 특히, 일반 아벨 군에서 20개의 원소까지는 어떠한 구조적 제한도 없이 시퀀싱이 가능함을 증명한 점이 주목할 만하다. 또한, 합이 0인 경우와 역쌍을 배제한 경우에 대해 각각 22, 23까지 확장함으로써 CMPP 추측에 대한 새로운 증거를 제시한다. 논문은 이론적 증명과 실험적 검증을 조화시켜, 작은 집합에 대한 Graham·CMPP 문제의 전반적인 이해를 크게 진전시켰다.