[논문 리뷰] Some new problems in additive combinatorics

Zhi‐Wei Sun|arXiv (Cornell University)|2013. 09. 06.

Graph Labeling and Dimension Problems참고 문헌 9인용 수 7

한 줄 요약

이 논문은 아벨 군의 원소들에 대한 순열과 순환 순열을 중심으로, 특히 인접한 합 또는 차이가 모두 서로 다를 것을 보장하는 데 중점을 두어, 덧셈 조합론 분야에서 새로운 문제들을 도입하고 조사한다. 특히, 홀수 소수 거듭제곱 $ q = 2n+1 > 13 $, $ q \neq 25 $ 인 경우, $ \mathbb{F}_q $ 내의 비영제곱 잔여물의 순환 순열이 존재하여, 인접한 합(또는 차이)이 이 잔여물들의 전체 집합을 이루며, 이와 유사한 결과들이 토르션 없는 아벨 군과 정수 수열에 대해서도 확립된다.

ABSTRACT

In this paper we investigate some new problems in additive combinatorics. Our problems mainly involve permutations (or circular permutations) $n$ distinct numbers (or elements of an additive abelian group) $a_1,\ldots,a_n$ with adjacent sums $a_i+a_{i+1}$ (or differences $a_i-a_{i+1}$) pairwise distinct. For an odd prime power $q=2n+1>13$ with $q ot=25$, we show that there is a circular permutation $(a_1,\ldots,a_n)$ of the elements of $S=\{a^2:\ a\in\mathbb F_q\setminus\{0\}\}$ such that $\{a_1+a_2,\ldots,a_{n-1}+a_n,a_n+a_1\}=S$, where $\mathbb F_q$ denotes the field of order $q$. For any finite subset $A$ of an additive torsion-free abelian group $G$ with $|A|=n>3$, we prove that there is a numbering $a_1,\ldots,a_n$ of the elements of $A$ such that $$a_1+2a_2,\ a_2+2a_3,\ \ldots,\ a_{n-1}+2a_n,\ a_n+2a_1$$ are pairwise distinct. We also pose 30 open conjectures for further research.

연구 동기 및 목표

• 서로 다른 인접한 합 또는 차이를 포함하는 덧셈 조합론에서 새로운 순열 문제의 클래스를 탐색한다.
• 유한체에서 제곱 잔여물의 순환 순열이 존재하는지 조사하며, 이 경우 인접한 합 또는 차이가 모두 제곱 잔여물이 되도록 한다.
• 서로 다른 인접한 차이와 합에 관한 결과를 일반적인 토르션 없는 아벨 군으로 확장한다.
• 나누어떨어짐, 소수 분포, 산술 함수와 관련된 30개의 열린 추측을 제시하고 이를 뒷받침한다.

제안 방법

• 유한체와 토르션 없는 아벨 군에서 구조적이고 조합론적인 추론을 통해 존재성 정리를 증명한다.
• 특히 $ q = 2n+1 $ 인 홀수 소수 거듭제곱에 대해 제곱 잔여물의 성질과 $ \mathbb{F}_q $ 의 구조를 이용한다.
• 전략적 재정렬을 통해 인접한 합 또는 차이의 서로 다른 성질을 유지하는 순열 구성을 적용한다.
• 군론적 및 수론적 도구, 예를 들어 오일러의 타우 함수와 조합론적 닐스텐젠 정리를 활용한다.
• 컴퓨터를 이용해 추측을 검증하고, OEIS 수열을 통해 지원 자료를 제공한다.
• 특히 작은 $ n $ 에서는 귀납법과 케이스 분석을 통해 결과를 확립하고, 일반적인 $ n > 3 $ 로 확장한다.

실험 결과

연구 질문

• RQ1 홀수 소수 거듭제곱 $ q = 2n+1 > 13 $, $ q \neq 25 $ 인 경우, 비영제곱 잔여물의 순환 순열이 존재하여 모든 인접한 합이 서로 다르고 전체 잔여물 집합을 이루는가?
• RQ2 토르션 없는 아벨 군에서 $ n $ 개의 서로 다른 원소에 대해, $ a_i + 2a_{i+1} $ 값들이 모두 서로 다른 순환 순열을 구성할 수 있는가?
• RQ3 토르션 없는 아벨 군의 유한 부분집합 $ A $ 에 대해, $ a_i + 2a_{i+1} $ 가 모두 서로 다를 수 있는 번호 부여가 존재하는가?
• RQ4 첫 번째 $ n $ 개의 소수에 대해, 인접한 절댓값 차이가 모두 서로 다른 순환 순열을 구성할 수 있으며, 2에서 시작하고 2로 끝나는가?
• RQ5 소수 $ p = 2n+1 $ 모듈로에서 제곱 잔여물의 순열이 존재하여, 인접한 차이 또는 합이 모두 제곱 잔여물이 되는가?

주요 결과

• 모든 홀수 소수 거듭제곱 $ q = 2n+1 > 13 $, $ q \neq 25 $ 에 대해, $ \mathbb{F}_q $ 내의 $ n $ 개의 비영제곱 잔여물에 대해, 인접한 합 $ \{b_1 + b_2, \dots, b_n + b_1\} $ 이 제곱 잔여물 전체 집합 $ S $ 와 일치하는 순환 순열이 존재한다.
• $ n > 3 $ 인 경우, $ 0, \dots, n $ 의 순환 순열이 존재하여 $ i_0 = 0 $, $ i_n = n $ 이고, 모든 $ n+1 $ 개의 인접한 차이 $ i_j - i_{j+1} $ 가 서로 다를 수 있다.
• 모든 토르션 없는 아벨 군에서 $ n > 3 $ 이면, $ n $ 개의 서로 다른 원소에 대해, $ b_i + 2b_{i+1} $ 값들이 모두 서로 다른 순환 순열이 존재한다.
• 토르션 없는 아벨 군의 유한 부분집합 $ A $ 에 대해 $ |A| = n > 3 $ 이면, $ a_1, \dots, a_n $ 의 번호 부여가 존재하여 $ a_i + 2a_{i+1} $ 가 모두 서로 다를 수 있다.
• 논문은 알론과 부르건의 추측을 확인한다. 즉, 소수 $ p $ 모듈로에서 제곱 잔여물의 순환 순열이 존재하여 인접한 차이 또는 합이 모두 제곱 잔여물이 되며, 약간의 조건 하에 성립한다.
• 논문은 카탈란 수의 나누어떨어짐, 오일러의 타우 함수, 약수 함수와 관련된 30개의 열린 추측을 제시하며, 이는 모두 $ m+n \mid f(m,n) $ 형태의 합동식의 해 존재성과 관련이 있다.