[논문 리뷰] On Partial Sums in Cyclic Groups

Douglas R. Stinson, David R. Cheriton외 2명|arXiv (Cornell University)|2015. 01. 27.

Advanced Mathematical Theories and Applications참고 문헌 4인용 수 33

한 줄 요약

이 논문은 순환군 ℤₙ의 영이 아닌 원소들로 이루어진 임의의 부분집합이 부분합이 모두 다를 수 있도록 순서를 매길 수 있다는 추측을 조사한다. 저자들은 알스파치의 추측 2(총합이 0이 아닐 때 부분합이 모두 다를 것)가 참이면 추측 1(부분합이 모두 다를 것)이 성립함을 증명하고, n ≤ 25에 대해 계산적 검증을 수행하였으며, 소수 차수를 가진 군에서 부분집합의 순서 매기기와 부분합 분포에 관한 구조적 결과도 제시한다.

ABSTRACT

We are interested in ordering the elements of a subset A of the non-zero integers modulo n in such a way that all the partial sums are distinct. We conjecture that this can always be done and we prove various partial results about this problem.

연구 동기 및 목표

• 알스파치의 추측 2가 참이면 ℤₙ\{0}의 부분집합에 대해 부분합이 모두 다를 수 있음을 증명하는 것 (즉, 추측 1이 추측 2로부터 유도됨).
• 모든 n ≤ 25에 대해 완전 탐색을 사용하여 추측 1을 계산적으로 검증하는 것.
• 크기가 k인 ℤₙ\{0}의 부분집합 A의 t-부분집합 중에서 부분합이 모두 다를 수 있도록 순서를 매길 수 있는 경우의 수에 대한 구조적 결과를 확립하는 것.
• 특히 p가 소수일 때, Fₚ\{0}의 k-부분집합 중에서 합이 0이 되는 경우의 수를 분석하는 것.
• 이전의 순서 가능 및 R-순서 가능 군에 대한 결과를 ℤₙ\{0}의 임의의 부분집합으로 일반화하고 정교화하는 것.

제안 방법

• 알스파치의 추측 2가 참이면 (총합이 0이 아닐 때 부분합이 모두 다를 것), 부분합이 모두 다를 수 있음을 총합의 값에 따라 경우 분석을 통해 추측 1이 유도됨을 증명한다.
• 모든 n ≤ 25 및 모든 공집합이 아닌 부분집합 A ⊆ ℤₙ\{0}에 대해 완전 탐색을 사용하여, 가능한 모든 순서에서 부분합이 모두 다를지 검증한다.
• 재귀적 수세기 방법을 적용: 길이 r인 부분순서가 부분합이 모두 다를 경우, 이를 길이 r+1로 확장할 수 있는 방법이 최소 (2t - 2r)가 있음을 보여, 유효한 순서의 수에 하한을 구한다.
• 군 작용과 대칭성 원리를 적용: Fₚ*의 원소 α에 의한 곱셈 작용을 사용하여, α ≠ 0인 모든 α에 대해 합이 α가 되는 k-부분집합의 수가 동일함을 보여, 비영인 합의 수에 대한 균일성을 증명한다.
• 덧셈 이동(변환 S → β + S)을 적용하여, Fₚ의 모든 α에 대해 합이 α가 되는 k-부분집합의 수가 동일함을 보여, 모든 합에 대해 균일성을 확립한다.
• 수학적 귀납법과 항등식 Nₖ(α) = Nₖ₋₁*(α) + Nₖ*(α)를 사용하여, Fₚ\{0}의 k-부분집합 중에서 합이 0이 되는 경우의 수 Nₖ*(0)에 대한 닫힌 표현식을 유도한다. 그 결과 다음과 같은 공식을 도출한다: Nₖ*(0) = (1/p)(binomial(p-1,k) ± 1)이며, 이는 k의 기수에 따라 달라진다.

실험 결과

연구 질문

• RQ1 모든 부분집합 A ⊆ ℤₙ\{0}은 부분합 s_j = ∑_{i=1}^j a_i 가 모두 다를 수 있도록 순서를 매길 수 있는가?
• RQ2 알스파치의 추측 2(∑A ≠ 0일 때 부분합이 모두 다를 것)는 추측 1을 유도하는가?
• RQ3 크기가 k인 부분집합 A ⊆ ℤₙ\{0}의 t-부분집합 중에서 부분합이 모두 다를 수 있도록 순서를 매길 수 있는 경우는 몇 개인가?
• RQ4 p가 소수일 때, Fₚ\{0}의 k-원소 부분집합 중에서 합이 0이 되는 정확한 수는 얼마인가?
• RQ5 p가 소수일 때, Fₚ 상에서 k-부분집합의 합은 얼마나 균일하게 분포되어 있는가?

주요 결과

• 추측 2는 추측 1을 함의한다: 부분집합 A ⊆ ℤₙ\{0}의 총합이 0이 아니면, 부분합이 모두 다를 수 있는 순서가 존재한다. 총합이 0이면, 첫 번째 k−1개 원소를 재정렬하고 마지막 원소를 뒤에 붙임으로써 여전히 유효한 순서가 존재한다.
• 추측 1은 모든 n ≤ 25 및 모든 공집합이 아닌 부분집합 A ⊆ ℤₙ\{0}에 대해 계산적으로 검증되었다.
• 크기가 2t인 임의의 부분집합 A ⊆ ℤₙ\{0}에 대해, 부분합이 모두 다를 수 있도록 순서를 매길 수 있는 t-부분집합 B ⊆ A가 최소 2^t개 존재한다.
• p가 소수일 때, Fₚ\{0}의 k-부분집합 중에서 합이 0이 되는 경우의 수는 k가 짝수이면 (1/p)(binomial(p-1,k) + 1), 홀수이면 (1/p)(binomial(p-1,k) - 1)이다.
• 모든 α ≠ 0에 대해, Fₚ\{0}의 k-부분집합 중에서 합이 α가 되는 경우의 수는 동일하며, 그 값은 (1/p)binomial(p-1,k)이다.
• p가 소수일 때, Fₚ 상에서 k-부분집합의 합은 모든 α ∈ Fₚ에 대해 균일하게 분포되어 있으며, 모든 α ∈ Fₚ에 대해 Nₖ(α) = (1/p)binomial(p,k)이다.