모리츠·나기 추측 완전 증명: 유리합 부분집합의 최댓값 규명

초록

모리츠와 나기가 제시한, n개의 무리수 집합에서 r개의 원소를 골라 합이 유리수가 되는 부분집합의 최대 개수를 구하는 문제에 대해, 저자는 m=⌊n/r⌋인 경우에 구성한 집합이 언제나 최적임을 증명한다. 이를 위해 유리합 조건을 영합(zero‑sum) 문제로 변환하고, 부분순서와 반사슬(antichain) 기법, 그리고 이항식의 정밀 최적화를 결합한다. 결과적으로 h(n,r)=m·C(n−m,r−1)임을 보이며, 정수·유리수 수열에 대한 동일한 최대값도 얻는다.

상세 분석

논문은 먼저 “유리합 부분집합”이라는 조건을 선형대수적 관점에서 접근한다. Lemma 2.1에서 Q‑벡터공간 V=⟨A∪{1}⟩_Q에 대해 핵이 정확히 Q인 Q‑선형 사상 φ:V→ℝ를 구성함으로써, a_i∈A의 합이 유리수 ⇔ φ(a_i)들의 합이 0이 되는 영합 문제로 변환한다. 이렇게 변환된 문제는 전통적인 영합 이론과 직접 연결되며, 기존의 존재‑임계값(EGZ 정리 등)과는 달리 “고정 길이 r에 대한 영합 부분집합의 최대 개수”를 묻는 역문제로 전환된다.

다음 단계에서는 영합 r‑부분집합들의 구조를 부분순서(poset) X={(S,T):S⊆P, T⊆N, |S|+|T|=r} 위에 정의한다. 여기서 P와 N은 양수와 음수 원소의 인덱스 집합이다. (S,T)≤(S′,T′) ⇔ S⊆S′, T⊇T′ 로 정의된 이 순서는 두 영합 부분집합이 “포함‑반포함” 관계에 있을 때만 비교 가능하게 만든다. Lemma 2.2는 이러한 순서에서 영합 부분집합들의 이미지 집합 A가 반사슬(antichain)임을 보이고, 임의의 사슬(chain)과는 교차가 최대 한 원소임을 이용해 확률적 모델을 만든다. 구체적으로, P와 N의 모든 순열을 균등하게 선택한 뒤, 사슬 C(ω)를 구성하고, A와 C(ω)의 교차 기대값이 1 이하임을 이용해 |A|≤max_{1≤t≤r−1} C(q,t)·C(p,r−t) 라는 불등식을 얻는다. 여기서 q=|N|, p=n−q이다.

마지막으로 Lemma 3에서는 위 불등식의 오른쪽을 q와 t에 대해 최적화한다. 이항계수의 비율을 분석해 F_t(q)=C(q,t)C(n−q,r−t)가 q≈t·(n+1)/r에서 최대가 됨을 보이고, 전체 최댓값은 q=m, t=1에서 달성된다는 것을 증명한다. 따라서 |H(A,r)|≤m·C(n−m,r−1) 가 성립한다.

상한을 만족하는 예시는 기존 Móricz–Nagy의 두 코셋(construction)과 동일하게, α∉ℚ를 잡고 b_i = u_i−(r−1)α (i=1…m), c_j = v_j+α (j=1…n−m) 와 같이 정의한다. 여기서 u_i, v_j는 서로 다른 유리수이다. 이 집합에서는 정확히 하나의 b_i와 r−1개의 c_j를 선택할 때만 합이 유리수가 되므로, 하한도 m·C(n−m,r−1)임을 확인한다. 결과적으로 conjecture가 완전히 증명된다.

또한 Corollary 1.2에서는 동일한 방법으로 비영(非零) 유리수·정수 수열 x∈(ℚ{0})^n에 대해 r‑길이 영합 부분수열의 최대 개수가 동일함을 보여준다. 특히 정수 수열 y = (−(r−1),…,−(r−1), 1,…,1) 로 구성하면 상한을 달성한다. 이로써 영합 이론에서 “최대 영합 부분수열 수”에 대한 정확한 정량적 결과가 확보된다.

전체적으로 논문은 선형대수, 부분순서 이론, 확률적 사슬‑반사슬 기법, 그리고 정밀한 이항식 최적화를 결합함으로써, 기존에 부분합 문제에서 주로 다루던 존재‑하한과는 다른 “최대‑상한” 문제를 해결한 점이 혁신적이다. 이는 영합 수열의 구조 이해와 더불어, 조합적 최적화 문제 전반에 적용 가능한 새로운 도구들을 제공한다.