A further investigation on covering systems with odd moduli

기술적 요약: 홀수 모듈을 갖는 덮개 시스템에 대한 추가 조사

문제 제기
본 논문은 1950 년 폴 에르되시 (Paul Erdős) 가 제시한 정수론의 핵심 미해결 문제인 '홀수 덮개 문제 (odd covering problem)'를 다룬다. 홀수 덮개 시스템은 모든 정수가 적어도 하나의 합동식을 만족하고, 모든 모듈로가 1 보다 큰 서로 다른 홀수 정수인 유한한 합동식의 집합으로 정의된다. 그러한 시스템의 존재 여부는 아직 증명되지 않았다.

최근 연구는 이 문제의 변형에 초점을 맞추고 있으며, 구체적으로 다른 모든 모듈로가 1 보다 큰 서로 다른 홀수 정수로 유지되는 조건 하에서 특정 홀수 정수 $k$가 모듈로로서 몇 번 반복될 수 있는지 조사한다. $t_k$를 $k$가 $t_k$개의 합동식에서 모듈로로 나타나고 나머지 모든 모듈로가 1 보다 큰 서로 다른 홀수 정수인 덮개 시스템이 존재하도록 하는 최소의 음이 아닌 정수라고 하자. 만약 홀수 덮개 시스템이 존재한다면, 모든 홀수 $k$에 대해 $t_k \le 1$이어야 한다. 해링턴 (Harrington), 선 (Sun), 왕 (Wong) 의 이전 연구는 소수 $p$에 대한 $t_p$의 상한을 확립했는데 (예: $11 \le p \le 19$인 경우 $t_p \le p-4$), 이를 통해 소수에서 합성수로 범위를 확장할 수 있게 되었다.

방법론
저자들은 기존 $t_k$의 상한을 개선하기 위해 구성적 조합론과 모듈로 산술을 결합하여 사용한다.

1. 재귀적 구성 (정리 2.2): 본 논문은 기존 시스템을 기반으로 반복된 모듈로를 갖는 덮개 시스템을 생성하는 방법을 제시한다. 모듈로 $k$가 $t$번 반복되는 시스템이 존재할 때, 저자들은 모듈로 $km$이 최대$m(t-1)+1$회 (또는$\gcd(k,m)=1$인 경우$(m-1)(t-1)+1$회) 반복되는 시스템을 어떻게 구성할 수 있는지 보여준다. 이를 통해 소수에서 합성수로 상한을 확장할 수 있다.
2. 트리 다이어그램 표기법: 복잡한 덮개 시스템을 제시하기 위해 저자들은 해링턴, 선, 왕이 확립한 트리 다이어그램 표기법을 활용하고 정교화한다. 이 표기법은 모듈로를 소수의 부분집합의 곱으로 체계적으로 나열하며, 특정 순서로 정렬하여 덮개를 보장한다.
3. 직접 구성: 특정 합성수 ($9, 15, 21, 25$) 와 큰 소수 ($p \ge 17$) 에 대해 저자들은 트리 다이어그램을 사용하여 덮개 시스템의 명시적 구성을 제공한다. 이러한 구성은 필요한 합동식을 생성하기 위해 충분히 큰 특정 소수$q$를 선택하는 데 의존한다.
4. 부분집합 덮개 적용: 본 논문은 반복된 모듈로 개념을 적용하여 정수의 특정 부분집합에 대한 홀수 덮개를 유도한다. 특정 잉여류에서 반복된 모듈로 $k$를 갖는 덮개 시스템을 구성함으로써, 저자들은 이러한 잉여류의 여집합이 서로 다른 홀수 모듈로로 덮일 수 있음을 보인다.

주요 기여 및 결과
본 논문의 주요 기여는 다양한 홀수 정수 $k$에 대한 $t_k$의 알려진 상한을 개선하는 것이다. 결과는 다음과 같이 요약된다.

• 합성수:
  • $t_9 \le 3$ (정리 2.5)
  • $t_{15} \le 4$ (정리 2.6)
  • $t_{21} \le 5$ (정리 2.7)
  • $t_{25} \le 8$ (정리 2.8)
  • $11 \le p \le 13$인 $k=p^2$에 대해, $t_k \le p(p-5)$ (계 2.3).
  • $p \ge 17$인 $k=p^2$에 대해, $t_k \le p(p-6)$ (정리 2.2 및 2.4).
• 큰 소수:
  • 임의의 소수 $p \ge 17$에 대해, $t_p \le p-5$ (정리 2.4). 이는 이 범위에 대한 이전의 $p-4$ 상한을 개선한 것이다.
  • 중요하게도, $p \ge 17$에 대한 구성은 $p^2$을 모듈로로 사용하지 않으므로 정리 2.2 를 재귀적으로 적용할 수 있다.

정수 부분집합에 대한 적용
이러한 결과의 중요한 적용 사례는 여러 특정 정수 부분집합의 합집합이 홀수 덮개를 가진다는 것을 보여주는 것이다. $t_9 \le 3$에 대한 덮개 시스템 (특히 $0, 3, 6 \pmod 9$ 잉여류) 을 활용하여, 저자들은 $S = \{a \in \mathbb{Z} : \text{만약 } 3|a \text{ 이면 } 9|a\}$ 집합 바깥에 유한한 항만을 갖는 임의의 정수 부분집합이 홀수 덮개를 가진다는 것을 증명한다.

결과적으로 본 논문은 다음 집합들 (및 이들의 합집합) 이 홀수 덮개를 가진다는 것을 확립한다.

• 두 제곱수의 합
• 두 세제곱수의 합
• 강력한 수 (Powerful numbers)
• 소수와 소수의 거듭제곱
• 치환 (Derangements) 의 개수
• 페르마 수
• 완전수

의의 및 한계
본 논문은 홀수 덮개 문제의 '반복된 모듈로' 변형에 대한 상한을 강화함으로써 모든 $k$에 대해 $t_k=1$이 되는 임계점에 한 걸음 더 다가갔다는 점에서 의의가 있다. 특히 $t_9 \le 3$에 대한 명시적 구성은 치환과 세제곱수의 합과 같은 복잡한 조합 수열을 덮을 수 있게 해준다는 점에서 주목할 만하다.

저자들은 홀수 덮개 문제의 궁극적인 해결에 대해서는 겸손한 입장을 견지한다. 그들은 비록 결과들이 많은 부분집합을 덮지만, 아직 모든 정수 집합에 대한 홀수 덮개 시스템의 존재를 증명하지는 못했다고 지적한다. 또한, $t_9$를 2 로 줄일 수 있는지 (이는 벨 수를 덮을 것임), 또는 세 세제곱수의 합과 같은 다른 특정 잉여류 구성에 대해 덮개 시스템이 존재하는지 등의 열린 방향을 강조한다. 이 작업은 홀수 모듈로를 갖는 덮개 시스템의 구조적 제약을 이해하는 데 있어 한 걸음 전진한 것으로 제시된다.