[논문 리뷰] A counterexample to Beck's conjecture on the discrepancy of three permutations

Alantha Newman, Aleksandar Nikolov|arXiv (Cornell University)|2011. 04. 14.

Mathematical Approximation and Integration참고 문헌 3인용 수 3

한 줄 요약

이 논문은 $ n = 3^k $ 개의 원소에 대한 세 순열의 재귀적 가족을 구성하여, 이러한 순열들에 의해 형성된 집합 체계의 불일치도가 $ \Omega(\log n) $임을 보이며, 이는 József Beck의 추측(세 순열의 불일치도가 $ O(1) $임)을 반증한다. 또한 Spencer, Srinivasan, Tetali의 일반화된 추측을도 반증하여, 일반적으로 $ \ell $ 개의 순열에 대해 $ O(\sqrt{\ell}) $ 불일치도를 달성할 수 없다는 것을 보여준다.

ABSTRACT

Given three permutations on the integers 1 through n, consider the set system consisting of each interval in each of the three permutations. Jozsef Beck conjectured (c. 1987) that the discrepancy of this set system is O(1). We give a counterexample to this conjecture: for any positive integer n = 3^k, we exhibit three permutations whose corresponding set system has discrepancy Omega(log(n)). Our counterexample is based on a simple recursive construction, and our proof of the discrepancy lower bound is by induction. This example also disproves a generalization of Beck's conjecture due to Spencer, Srinivasan and Tetali, who conjectured that a set system corresponding to l permutations has discrepancy O(sqrt(l)).

연구 동기 및 목표

• József Beck의 추측(약 1987년)인 세 순열의 불일치도가 항상 $ O(1) $임을 반증하기 위해.
• $ n = 3^k $ 원소에 대한 세 순열의 가족을 구성하여 불일치도가 $ \Omega(\log n) $임을 보이기 위해.
• Spencer, Srinivasan, Tetali의 일반화된 추측인 $ \ell $ 개의 순열이 $ O(\sqrt{\ell}) $ 불일치도를 유도한다는 것을 반증하기 위해.
• 상수 개의 순열에서 유도된 집합 체계에 대한 불일치도 상한의 날카로움을 입증하기 위해.

제안 방법

• 재귀적 구성은 기저 집합 $[1, 3^k]$를 세 개의 동일한 블록 $ A, B, C $로 나누고, 세 순열에 대해 순환적으로 재배치한다.
• 각 재귀 수준에서 각 블록은 크기가 같은 세 개의 하위블록으로 나뉘며, 동일한 순환 순열 패턴이 재귀적으로 적용된다.
• 불일치도는 순열의 접두사와 접미사에 대한 색칠 합의 추적을 통해 귀납적으로 분석되며, 색칠 기여의 블록 기반 분해를 사용한다.
• 증명은 블록 값의 합($ a, b, c $)에 기반한 케이스 분석을 사용하며, 크기 $ 3^{k-1} $의 부분문제에 대해 귀납적 상한을 적용한다.
• 레마들은 부분문제의 불일치도와 블록 기여의 합을 바탕으로 전체 시스템의 불일치도에 하한을 설정한다.
• 색칠의 총합이 양수 또는 음수일 경우를 모두 다루기 위해 색칠의 부정을 고려함으로써 대칭성을 활용한다.

실험 결과

연구 질문

• RQ1 Beck의 추측에 따르면 세 순열의 모든 간격으로 이루어진 집합 체계의 불일치도는 항상 $ O(1) $인가?
• RQ2 Spencer, Srinivasan, Tetali의 일반화된 추측—$ \ell $ 개의 순열이 $ O(\sqrt{\ell}) $ 불일치도를 유도한다는 것—은 모든 $ \ell $ 에 대해 성립하는가?
• RQ3 세 순열에 대해 가능한 최선의 불일치도 하한은 무엇이며, $ \Omega(\log n) $일 수 있는가?
• RQ4 $ \ell $ 개의 순열에 대해 $ O(\ell \log n) $ 및 $ O(\sqrt{\ell} \log n) $ 상한은 날카로운가?

주요 결과

• 모든 $ k > 0 $ 에 대해, $ n = 3^k $ 원소에 대한 세 순열을 구성하여, 이에 대응하는 집합 체계의 불일치도가 최소 $ \lceil k/3 + 1 \rceil $임을 보였다.
• 이때 $ k = \log_3 n $ 이므로, 이는 $ \Omega(\log n) $ 불일치도 하한을 의미하며, 이는 Beck의 $ O(1) $ 불일치도 추측과 모순된다.
• 재귀적 구성은 최대 $ 2^k $ 개의 서로 다른 순열 삼중체를 생성하며, 증명의 대칭성 덕분에 모두 동일한 $ \Omega(\log n) $ 불일치도 하한을 유지한다.
• 결과적으로, Bohus의 $ O(\ell \log n) $ 상한과 Spencer, Srinivasan, Tetali의 $ O(\sqrt{\ell} \log n) $ 상한은 $ \ell $ 이 상수일 경우 $ \log n $ 요소를 제외하고 날카로운 상한임을 의미한다.
• 반례는 Beck의 추측이 참일 수 없음을 보이며, 따라서 Bin Packing 문제에서 $ OPT_{LP} + O(1) $를 증명하기 위해 불일치도와 배치 정수성 간격의 관계를 활용할 수 없다.