[논문 리뷰] Maximizing the number of nonnegative subsets

Noga Alon, Harout Aydinian외 1명|arXiv (Cornell University)|2013. 12. 01.

Limits and Structures in Graph Theory참고 문헌 2인용 수 5

한 줄 요약

이 논문은 투커르만이 제기한 문제를 해결하며, 크기가 $ k $ 초과인 모든 부분집합의 합이 음수인 $ n $개의 실수로 이루어진 집합에서, 비음수 부분집합의 최대 개수는 $ \binom{n-1}{k-1} + \cdots + \binom{n-1}{0} + 1 $임을 증명한다. 저자들은 두 가지 증명을 제시한다: 하나는 가중치가 부여된 할의 정리 변형을 활용하고, 다른 하나는 비균일한 에르되시-코-라도 정리의 강화된 형태를 사용하여, 특정 조건 하에서 최적성과 유일성을 확립한다.

ABSTRACT

Given a set of $n$ real numbers, if the sum of elements of every subset of size larger than $k$ is negative, what is the maximum number of subsets of nonnegative sum? In this note we show that the answer is $\binom{n-1}{k-1} + \binom{n-1}{k-2} + \cdots + \binom{n-1}{0}+1$, settling a problem of Tsukerman. We provide two proofs, the first establishes and applies a weighted version of Hall's Theorem and the second is based on an extension of the nonuniform Erdős-Ko-Rado Theorem.

연구 동기 및 목표

• 크기가 $ > k $인 모든 부분집합의 합이 음수임을 조건으로 하는 $ n $개의 실수로 이루어진 집합에서, 비음수 부분집합의 최대 개수를 결정하는 것.
• 에마뉘엘 투커르만이 제기한 크기 제약 조건 하에서의 최적 부분집합 합에 대한 추측을 해결하는 것.
• 비음수 원소가 정확히 하나일 때, 최적 구성의 최적성과 유일성을 확립하는 것.
• 두 가지 서로 다른 조합론적 증명을 제공하는 것—하나는 가중치가 부여된 할 유형의 매칭 조건에 기반하고, 다른 하나는 강화된 비균일 에르되시-코-라도 정리에 기반한다.

제안 방법

• 모든 부분집합의 합 조건을 반영하는 간선 가중치를 갖는 이분 그래프 매칭 문제로 문제를 수리적으로 재구성하는 것.
• 하위그래프에서 대칭적인 차수 조건을 유지하면서도 매칭 존재성을 보존하는 가중치가 부여된 할의 정리의 변형을 도입하는 것.
• 부분집합 가족에 대해 '위로 밀기'(pushing up) 연산을 정의하여, 제약 조건을 위반하지 않은 채 이를 올림집합(уп셋가족)으로 변환하는 것.
• 비균일 에르되시-코-라도 정리를 강화된 형태로 적용하여, 크기-합 제약 조건 하에서 교차 가족의 크기를 유계로 제한하는 것.
• 파스칼의 항등식을 사용하여 비음수 원소의 수 $ t $ 가 증가함에 따라 유계를 비교하고, $ t $ 가 증가함에 따라 유계가 엄격히 감소함을 증명하는 것.
• 특수 예시를 구성함으로써 최적성을 검증하는 것: $ x_1 = k-1 $, $ x_2 = \cdots = x_n = -1 $을 설정하면 유도된 상한에 도달한다.

실험 결과

연구 질문

• RQ1 크기가 $ k $ 초과인 모든 부분집합의 합이 음수인 $ n $개의 실수로 이루어진 집합에서, 비음수 부분집합의 최대 개수는 무엇인가?
• RQ2 크기가 $ k < n-1 $일 때, 비음수 원소가 정확히 하나일 경우 최적 구성은 동형을 제외하고 유일한가?
• RQ3 합과 크기 제약 조건 하에서, 비균일 에르되시-코-라도 정리의 버전을 사용하여 비음수 부분집합의 상한을 유도할 수 있는가?
• RQ4 비음수 원소의 수가 증가함에 따라 유계가 엄격히 감소하는가? 그리고 이를 조합론적으로 증명할 수 있는가?
• RQ5 할 유형 증명에서 사용된 보조 그래프에 대해, 할의 정리에 의존하지 않고도 정확한 매칭을 구성할 수 있는가?

주요 결과

• 비음수 부분집합의 최대 개수는 정확히 $ \binom{n-1}{k-1} + \cdots + \binom{n-1}{0} + 1 $이며, 이 유계는 최적이다.
• 비음수 원소가 정확히 하나일 때, $ x_1 = k-1 $, $ x_2 = \cdots = x_n = -1 $인 최적 구성은 이 유계에 도달하며, $ k < n-1 $일 경우 동형을 제외하고는 유일하다.
• $ k < n-1 $일 때, 비음수 부분집합의 수는 정확히 하나의 비음수 원소가 존재할 경우에 최대가 되며, 비음수 원소가 많아질수록 유계는 감소한다.
• 유계 $ \binom{n-1}{k-1} + \cdots + \binom{n-1}{0} + 1 $는 강화된 비균일 에르되시-코-라도 정리의 따름정리로 도출된다.
• 위로 밀기 연산을 통한 증명은, 합 조건과 서로소 조건을 만족하는 임의의 가족이 제약 조건을 위반하지 않은 채 올림집합으로 변환될 수 있음을 보여주며, 크기를 유지함으로써 기존의 최적 유계 적용이 가능해진다.
• 논문은 $ 1 \leq t \leq k < n $ 인 모든 $ t, k, n $ 에 대해 최적 유계가 최적임을 증명하며, 구성 $ x_1 = k-t $, $ x_2 = \cdots = x_t = 0 $, $ x_{t+1} = \cdots = x_n = -1 $을 사용한다.