[논문 리뷰] Zero-sum Generalized Schur Numbers

Aaron Robertson|arXiv (Cornell University)|2018. 02. 09.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 3

한 줄 요약

이 논문은 $ S_{\mathfrak{z}}(k;r) $로 표기되는 제로섬 일반화 샤우 수를 도입한다. 이는 $[1,n]$의 모든 $ r $-색칠이 $ \sum_{i=1}^{k-1}x_i = x_k $의 해를 포함하고, 그 해의 색상 합이 $ 0 \pmod{r} $이 되는 최소 정수 $ n $으로 정의된다. 저자는 특정 $ k $와 $ r $에 대해 공식, 하한, 정확한 값을 도출하며, 특히 $ k \geq 6 $일 때 $ S_{\mathfrak{z}}(k;3) = 3k-3 $임을 보이고, $ S_{\mathfrak{z}}(k;k) \geq 2(k^2 - k - 1) $임을 증명함으로써 고전적 샤우 이론을 제로섬 레이지 타입의 환경으로 확장한다.

ABSTRACT

Let $r$ and $k$ be positive integers with $r \mid k$. Denote by $S_{\mathrm{\mathfrak{z}}}(k;r)$ the minimum integer $n$ such that every coloring $χ:[1,n] ightarrow \{0,1,\dots,r-1\}$ admits a solution to $\sum_{i=1}^{k-1} x_i = x_k$ with $\sum_{i=1}^{k} χ(x_i) \equiv 0 \,(\mathrm{mod }\,r)$. We give some formulas and lower bounds for various instances.

연구 동기 및 목표

• 색상 합이 $ r $에 대해 0과 합동이 되는 $ \sum_{i=1}^{k-1}x_i = x_k $의 해를 포함하는 제로섬 일반화 샤우 수의 정의와 연구.
• $ r \mid k $일 때 $ S_{\mathfrak{z}}(k;r) $의 정확한 값과 하한을 도출하며, 고전적 샤우 이론과 레이지 이론을 확장한다.
• 특히 작은 $ k $와 $ r $에 대해 제약 조건이 있는 색칠 하에서 $ r $-제로섬 해의 존재성과 구조를 조사한다.
• 제로섬 조건과 $ \sum_{i=1}^{k-1}x_i = x_k $와 같은 강력한 산술적 구조 사이의 관계를 탐구한다.
• 특히 $ r = k $일 때 $ S_{\mathfrak{z}}(k;r) $의 점근적 행동과 정확한 값에 관한 열린 질문을 제기한다.

제안 방법

• 논문은 $ S_{\mathfrak{z}}(k;r) $를 $[1,n]$의 모든 $ r $-색칠이 $ \sum_{i=1}^{k-1}x_i = x_k $의 $ r $-제로섬 해를 포함하는 최소 $ n $으로 정의한다.
• 작은 $ k $와 $ r $에 대해 $ S_{\mathfrak{z}}(k;r) $와 $ S_{\mathfrak{z,2}}(k;r) $를 계산하기 위해 포트란으로 구현된 재귀적 백트래킹 알고리즘(ZSGS.f 및 ZSGS2.f)을 사용한다.
• 계산 복잡도를 줄이기 위해 $ x_1 \leq \cdots \leq x_{k-1} $의 제약 조건 하에 $ \sum_{i=1}^{k-1}x_i = t $의 해를 효율적으로 나열하는 전용 서브루틴을 활용한다.
• 특히 $ r = 4 $에 대해 모듈로 산술과 케이스 분석을 사용하여, 특정 색칠 하에서 제로섬 해가 존재하지 않음을 증명한다.
• 짝수성과 모듈로 제약 조건에 기반한 구조적 추론을 통해 일부 색칠이 $ r $-제로섬 해를 피할 수 있음을 보이며, 이는 하한을 도출한다.
• 특정 $ k $-색칠이 짝수성 불일치로 인해 $ k $-제로섬 해를 피할 수 있음을 증명함으로써 $ S_{\mathfrak{z}}(k;k) \geq 2(k^2 - k - 1) $임을 증명한다.

실험 결과

연구 질문

• RQ1 $ S_{\mathfrak{z}}(k;3) = 3k - 3 $이 모든 $ k \geq 6 $에 대해 참인가?
• RQ2 $ S_{\mathfrak{z}}(k;4) = 4k - 5 $가 모든 $ k \geq 8 $에 대해 성립하는가?
• RQ3 $ S_{\mathfrak{z,2}}(k;4) $, 즉 모듈로 4에 대한 이중색 제로섬 일반화 샤우 수의 정확한 값은 무엇인가?
• RQ4 $ S_{\mathfrak{z}}(k;k) $는 점근적으로 $ k^2 $의 순서인가?
• RQ5 [10]의 결과를 초월하여, 특히 구조적 수열에 대해 제로섬 라도 수를 특성화할 수 있는가?

주요 결과

• $ k \geq 6 $일 때, $ S_{\mathfrak{z}}(k;3) = 3k - 3 $임을 컴퓨터 데이터와 구조적 분석에 기반해 근거를 제시한다.
• $ k \geq 8 $일 때 $ S_{\mathfrak{z}}(k;4) \geq 4k - 5 $임을 증명하지만, 정확한 값은 미해결이다.
• $ S_{\mathfrak{z}}(k;k) \geq 2(k^2 - k - 1) $임을 확립하여, 제로섬 일반화 샤우 수가 $ k $에 대해 최소 제곱수의 속도로 증가함을 보여준다.
• $ r = 2 $일 때 $ S_{\mathfrak{z,2}}(k;k) = k^2 - k - 1 $이며, 이는 단색성 조건으로 인해 고전적 샤우 수와 일치한다.
• 작은 $ k $와 $ r $에 대해 $ S_{\mathfrak{z}}(k;r) $의 정확한 값을 계산하였으며, 예를 들어 $ S_{\mathfrak{z}}(4;4) = 13 $, $ S_{\mathfrak{z}}(6;3) = 15 $, $ S_{\mathfrak{z}}(10;4) \geq 45 $를 포함한다.
• $ r \nmid k $일 때 $ S_{\mathfrak{z}}(k;r) = \infty $임을 증명하며, 색상 1로 이루어진 단색 색칠이 $ r $-제로섬 해를 피할 수 있기 때문이다.