🔢 mathematics

On a problem of minimal additive complements for not eventually periodic $S$ -difference sets

이 논문은 Ma와 Chen이 제기한, 결국 주기적이지 않은 S-차집합(S-difference sets)에 대한 최소 가법 보수(minimal additive complements)와 관련된 특정 문제에 대하여 긍정적인 해답을 제공한다.

원저자: Min Tang, Wenjing He

게시일 2026-07-30

📖 5 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Min Tang, Wenjing He

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 정수 타일로 이루어진, 양방향으로 무한히 뻗어 있는 무한한 복도에 서 있다고 상상해 보십시오. 당신에게는 $W$ 라고 불리는 특별한 "점핑 스톤(jumping stones)" 세트가 있습니다. 만약 당신이 $W$ 에 속한 어떤 돌 위에 서 있고, 특정 "조력자(helper)" 돌들의 집합인 $C$ 로부터 한 걸음을 내디딘다면, 당신은 복도의 모든 타일을 밟을 수 있어야 합니다. 수학의 언어로 표현하자면, 조력자 돌들의 합과 점핑 스톤들의 합이 전체 수직선을 채운다면, $C$ 를 $W$ 의 "가법적 보집합(additive complement)"이라고 부릅니다.

여기에는 반전이 있습니다. 만약 당신의 조력자 모음이 너무 크다면 어떻게 될까요? 만약 당신이 조력자 돌 몇 개를 버려도 여전히 모든 타일에 도달할 수 있다면 어떨까요? "최소 가법적 보집합(minimal additive complement)"은 사용할 수 있는 가장 작은 조력자 그룹, 즉 단 하나의 돌이라도 제거하면 아무도 도달할 수 없는 빈틈이 생겨버리는 아주 정교한 팀을 의미합니다. 수학자들은 10년 넘게 이 퍼즐에 매료되어 왔으며, 어떤 패턴의 점핑 스톤이 이러한 완벽하고도 아주 작은 조력자 팀을 허용하는지 알아내기 위해 노력해 왔습니다. 큰 질문은 이것이었습니다. 만약 당신의 점핑 스톤이 반복되지 않는 패턴("결국 주기적이지 않은" 집합)을 따르지만, 그 사이의 간격이 항상 특정 숫자들의 목록에서 선택된다면, 당신은 항상 이 최소한의 팀을 찾을 수 있을까요?

Min Tang과 Wenjing He가 쓴 이 논문은 그 질문에 대해 확고한 "예"라는 답변을 내놓습니다. 저자들은 간격이 양의 정수의 유한한 목록 $S$ 에서 선택되며, 그 목록의 모든 숫자가 무한히 많이 나타나는 매우 까다로운 버전의 문제를 다룹니다. 그들은 당신이 어떤 목록 $S$ 를 선택하더라도(적어도 두 개의 서로 다른 숫자가 포함되어 있는 한), 최소 가법적 보집합을 갖는 결코 반복되지 않는 돌의 수열을 항상 구성할 수 있음을 증명합니다. 그들은 단순히 추측하는 데 그치지 않고, 이러한 수열을 만들기 위한 상세하고 단계적인 레시피를 구축하며, 결과로 나온 조력자 팀이 실제로 왜 가장 작은 것인지 수학적으로 증명합니다.

간격 채우는 이들의 이야기

Tang과 He가 무엇을 했는지 이해하기 위해, 이 문제를 거대한 무한 모자이크를 채우는 게임이라고 상상해 봅시다.

플레이어들

패턴 ( $W$ ): 일직선으로 놓인 디딤돌들을 상상해 보세요. 한 돌에서 다음 돌까지의 거리는 결코 무작위가 아닙니다. 그것은 항상 특정 "메뉴"의 크기, 즉 $S$ 라고 부르는 숫자들 중 하나입니다. 예를 들어, 당신의 메뉴가 $\{3, 5\}$ 일 수 있습니다. 그러면 당신은 3걸음, 5걸음, 다시 3걸음, 3걸음, 그리고 다시 5걸음을 가로지를 수 있습니다. 규칙은 메뉴에 있는 모든 크기를 무한히 많이 사용해야 하며, 점프의 패턴이 지루하게 반복되는 루프(예: 3-5-3-5-3-5 영원히)에 빠져서는 안 된다는 것입니다. 이것이 수학자들이 "INEP S-차이 집합(Infinite, Not Eventually Periodic S-difference set)"이라고 부르는 것입니다.
조력자 ( $C$ ): 이들은 간격을 메우기 위해 당신이 배치하는 돌들입니다. 만약 당신이 조력자 돌 위에 서서 패턴 $W$ 의 어떤 돌로 점프한다면, 당신은 정수 선상의 모든 지점에 도달할 수 있어야 합니다.
목표: 최소한의 조력자 집합을 찾는 것입니다. 이는 모든 조력자가 절대적으로 필수적인, 가장 작은 조력자 팀을 찾는 것을 의미합니다. 만약 한 명을 해고하면, 그 모든 범위가 깨지게 됩니다.

이전의 미스터리
이 논문 이전에, 수학자들은 특정 메뉴에 대한 답을 알고 있었습니다. 만약 메뉴가 단순히 $\{1, 2\}$ 이거나, 혹은 숫자들 사이에 특별한 관계(예: 하나가 다른 하나의 배수)가 있다면, 그들은 해결책을 만들 수 있었습니다. 하지만 $\{3, 7, 11\}$ 과 같은 일반적인 메뉴나 임의의 숫자 조합의 경우, 질문은 미해결 상태로 남아 있었습니다. 과연 일반적인 메뉴에 대해서도 최소한의 팀이 항상 존재하는가? 일부 초기 연구들은 간격이 너무 규칙적이면 최소한의 팀을 찾을 수 없지만, 충분히 혼란스럽다면 찾을 수 있을 수도 있다는 점을 시사했습니다. 이 논문의 저자들은 어떤 유한한 간격 메뉴에 대해서도 이 문제를 해결하고자 했습니다.

마스터 플랜: 다리 건설하기
Tang과 He는 단순히 존재한다고 말하는 데 그치지 않았습니다. 그들은 직접 만들었습니다. 그들의 증명은 마치 무한한 협곡을 가로지르는 다리를 건설하기 위한 건축 설계도와 같습니다. 그들은 구성 방식에 따라, $S$ 의 가장 작은 숫자에 의존하여 구성을 두 가지 주요 시나리오로 나누었습니다.

시나리오 1: 메뉴에 숫자 1이 포함된 경우
만약 가장 작은 간격이 1이라면, 이 구성은 마치 길고 구불구불한 길을 놓는 것과 비슷합니다. 저자들은 먼저 작고 관리 가능한 크기의 돌 덩어리에서 시작합니다. 그런 다음, 경로를 영원히 확장하기 위해 영리한 귀납적 방법(단계별로 구축하는 방식)을 사용합니다.

그들은 돌의 "블록"들을 만듭니다.
블록 내부에서는, 간격이 메뉴 $S$ 의 숫자들과 일치하도록 하기 위해 수학적 도구(특정 동전 단위로 잔돈을 만드는 법을 묻는 "프로베니우스 동전 문제"와 관련된 것)를 사용합니다.
그들은 특정 간격으로 "조력자 돌"(집합 $C$ )을 신중하게 배치합니다.
마법은 블록 사이의 "전이(transitions)" 구간에서 일어납니다. 그들은 조력자 돌들이 모든 정수에 도달할 수 있도록 간격을 배치하지만, 만약 조력자 하나라도 제거하면 그 누구도 채울 수 없는 특정한 "구멍"이 생기도록 만듭니다. 그들은 구성 과정에서의 간격이 특정한 방식으로 점점 더 커진다는 것을 증명하여, 패턴이 결코 반복되지 않으면서도 최소한의 조력자 팀이 완벽하게 작동함을 보장합니다.

시나리오 2: 메뉴가 1보다 큰 숫자로 시작하는 경우
이 부분은 더 까다롭습니다. 만약 메뉴의 가장 작은 간격이 3이나 5라면, 당신은 단순히 한 걸음씩으로 간격을 채울 수 없습니다. 저자들은 창의력을 발휘해야 했습니다.

그들은 만약 메뉴의 숫자들이 공통된 약수를 갖지 않는다면(그룹 관점에서 "서로소"라면), 여전히 경로를 구축할 수 있다는 것을 깨달았습니다.
그들은 조력자들이 작은 그룹이나 클러스터 형태로 오는 더 복잡한 구조를 구축했습니다.
그들은 간격이 더 크더라도, 조력자 클러스터들의 배치가 모든 정수를 잡아내는 "그물"을 만든다는 것을 보여주기 위해 정교한 계수 논증을 사용했습니다.
결정적으로, 그들은 조력자를 제거했을 때 남는 "구멍"이 해당 조력자에게만 고유하다는 것을 증로했습니다. 이것은 마치 자물쇠와 열쇠 시스템과 같습니다: 조력자 A는 특정 자물쇠를 열고, 다른 어떤 조력자도 그 열쇠를 가지고 있지 않습니다. 조력자 A를 제거하면 그 자물쇠는 닫힌 상태로 남게 되어, 전체 범위가 실패하게 됩니다.

결론
저자들의 구성은 엄밀합니다. 그들은 컴퓨터로 시뮬레이션을 하거나 단순히 참일 것이라고 제안한 것이 아니라, 수학적 증명을 제공했습니다. 그들은 어떤 유한한 양의 정수 집합 $S$ (적어도 두 개의 원소를 가진)에 대해서도, $S$ 의 숫자만을 사용하여 결코 반복되지 않는 간격의 수열을 만들 수 있으며, 그 수열에 대해 최소한의 가법적 보집합이 항상 존재한다는 것을 보여주었습니다.

그들은 이 문제의 특정 버전에 대한 책을 효과적으로 덮었습니다. "임의의 유한한 집합 $S$ 에 대해 이것이 사실인가..."라는 질문에 대한 답은 확고한 "예"입니다. 이 논문은 간격의 혼란스럽고 반복되지 않는 성질이 완벽하고 최소한의 팀의 존재를 방해하지 않는다는 것을 확인해 줍니다. 사실, 패턴의 그 혼란스러움이야말로 저자들이 해결책을 설계할 수 있게 해주는 핵심이며, 이를 통해 모든 조력자가 필수 불가결하고 전체 수직선이 모두 커버되도록 보장합니다.

기술 요약: 비주기적 S-차이 집합에 대한 최소 가법 보완 문제에 관하여

문제 정의
본 논문은 정수의 무한 집합에 대한 최소 가법 보완(minimal additive complement)의 존재성과 관련된 가법 정수론의 특정 문제를 다룬다. $C$ 와 $W$ 를 정수의 부분 집합이라고 하자. $C$ 가 $W$ 의 *가법 보완(additive complement)*이라는 것은 $C + W = \mathbb{Z}$ 를 만족함을 의미한다. $C$ 가 최소 가법 보완이라는 것은 $C$ 의 어떠한 진부분집합도 이 조건을 만족하지 않음을 의미한다.

Nathanson, Chen, Yang, Kiss, Sándor 등이 밝혀낸 유한 집합 및 특정 주기적 구조나 간격이 유계인 특정 무한 집합의 경우와 달리, 간격이 유계이면서 결국 주기적이지 않은(not eventually periodic) 집합의 경우에 대한 최소 보완의 존재성은 여전히 덜 이해된 영역이다. 구체적으로, Ma와 Chen [14]은 다음과 같은 문제를 제기하였다 (그들의 연구 중 Problem 1.3):

$S$ 를 원소의 개수가 2 이상인 양의 정수의 유한 집합이라 하자. 다음을 만족하는 무한하고, 결국 주기적이지 않은 집합 $W = \{w_1 < w_2 < \dots\} \subseteq \mathbb{N}$ 이 존재하는가:

$W$ 는 최소 가법 보완을 갖는다;

모든 $i$ 에 대하여 연속된 원소 사이의 차이 $w_{i+1} - w_i$ 는 $S$ 에 속한다;

각 원소 $s \in S$ 는 무수히 많은 인덱스 $i$ 에 대해 차이 $w_{i+1} - w_i$ 로 나타난다.

이러한 집합 $W$ 를 INEP $S$ -차이 집합(Infinite, Not Eventually Periodic $S$ -difference set)이라 부른다. 이전의 결과들은 특정 하위 사례들(예: $S$ 의 원소들이 서로를 나누거나, 특정 모듈로 제약 조건 하에서 $\gcd(s_1, s_2)=1$ 인 경우)을 해결하였으나, 임의의 $S$ 에 대한 일반적인 해답은 부족한 상태였다.

방법론
저자 Tang과 He는 이러한 집합들과 그에 대응하는 최소 보완을 구성함으로써 문제 2에 대한 긍정적인 답변을 제공한다. 방법론은 $W$ 의 귀납적 구성과 정교하게 설계된 집합 $C$ 에 의존한다.

스케일링을 통한 축소: 저자들은 먼저 보조정리(Lemma) 2.2를 활용하여 일반적인 경우를 $\gcd(s_1, \dots, s_l) = 1$ 인 시나리오로 축소한다. 이들은 축소된 집합에 대한 최소 보완이 존재하면, 스케일이 커진 집합 $dW$에 대해서도 최소 보완을 구성할 수 있음을 증명한다.
귀납적 구성: 증명은 $S$ $S$ 의 가장 작은 원소 $s_1$ $s_{1}$ 에 따라 두 가지 경우로 나뉜다.
- 경우 1 ( $s_1 = 1$ ): 저자들은 수열 $\{d_i\}$ ${d_{i}}$ , $\{W_i\}$ ${W_{i}}$ , $\{c_i\}$ ${c_{i}}$ 를 귀납적으로 구성한다. 집합 $W$ $W$ 는 단계별로 구축되며, 각 단계 $W_i$ $W_{i}$ 는 이전 집합 $W_{i-1}$ $W_{i - 1}$ 에 세 개의 서로소인 부분 집합( $V^{(1)}_{i-1}, V^{(2)}_{i-1}, V^{(3)}_{i-1}$ $V_{i - 1}^{(1)}, V_{i - 1}^{(2)}, V_{i - 1}^{(3)}$ )을 추가한다.
  - 단계 1: 크기 1의 단계(step size 1, $s_1=1$ 이므로)와 가장 큰 원소 $s_l$ 을 사용하여 특정 구간을 채운다.
  - 단계 2 및 3: 특정 구간의 길이를 $S$ 의 원소들의 양의 선형 결합으로 표현하기 위해 보조정리 2.1(프로베니우스 동전 문제에 관한 결과)을 활용한다. 이를 통해 저자들은 차이 집합의 성질을 보장하면서, 간격을 $S$ 에 엄격히 속하는 단계들로 채울 수 있다.
  - 집합 $C$ 는 $\{c_i\}_{i=1}^\infty$ 로 구성되는데, 여기서 $c_i$ 는 $C$ 를 $W$ 에 더했을 때 $\mathbb{Z}$ 를 덮도록 하는 특정 부등식을 만족하도록 선택된다.
- 경우 2 ( $s_1 \ge 2$ ): 이 경우는 단계 크기 1을 사용할 수 없으므로 더 복잡하다. 저자들은 수열 $\{d_i\}$ ${d_{i}}$ , $\{W_i\}$ ${W_{i}}$ , 그리고 파라미터 집합 $\{c^{(1)}_i, \dots, c^{(s_1)}_i\}$ ${c_{i}^{(1)}, \dots, c_{i}^{(s_{1})}}$ 를 구성한다.
  - 이들은 특정 $s_j$ 를 $s_1$ 로 나눈 나머지 $r$ 에 기초하여 함수 $h(s_1; r)$ 을 정의한다.
  - 구성 과정은 특정 모듈로 성질을 가진 원소들의 블록을 만드는 것을 포함한다. 집합 $C$ 는 각 단계에서 이동된(shifted) $s_1$ 개의 산술 급수의 합집합으로 구성된다.
  - 경우 1과 마찬가지로, 구간을 $S$ 의 단계들로 채우기 위해 보조정리 2.1이 사용된다. 이 구성은 $C$ 의 구조에 의해 블록 사이의 "간격"이 채워지는 동시에, $W$ 의 내부 간격은 $S$ 내에 머물도록 보장한다.
최소성 검증: 두 경우 모두에 대해 저자들은 구성된 $C$ 가 최소 보완임을 엄밀하게 증명한다. 이는 임의의 $n \in \mathbb{Z}$ 에 대해 $n \in W+C$ 이고, 임의의 특정 원소 $c \in C$ 에 대해 $n \in W+c$ 이지만 $n \notin W + (C \setminus \{c\})$ 를 만족하는 정수 $n$ 이 존재함을 보여주는 과정을 포함한다. 이는 $d_i$ 의 귀납적 정의와 구성된 집합들의 서로소 성질을 활용하여, 원소가 제거되었을 때 합집합 집합(sumset)에서 발생하는 특정한 "구멍(hole)"을 분석함으로써 달성된다.

주요 결과
본 논문은 다음의 주요 정리를 확립한다:

정리 1.1: $l \ge 2$ 인 양의 정수이고 $S = \{s_1, s_2, \dots, s_l\}$ 이 $1 \le s_1 < s_2 < \dots < s_l$ 을 만족하는 양의 정수 집합일 때, INEP $S$ -차이 집합 $W$ 가 존재하며, $W$ 에 대한 최소 가법 보완이 존재한다.

이 결과는 $S$ 의 원소들 사이의 관계(예: 약수 관계 또는 서로소 조건)에 국한되었던 이전의 정리들(서론의 정리 E, F, G)을 일반화한다. 본 연구는 이러한 제한을 제거하여, $|S| \ge 2$ 인 임의의 유한 집합 $S$ 에 대해 존재성을 증명한다.

의의 및 주장
저자들은 자신들의 작업이 알려진 결과들의 범위를 임의의 $S$ -차이 집합으로 확장하는 통합된 증명 프레임워크를 제공한다고 주장한다. Ma와 Chen이 제기한 문제 2를 해결함으로써, 본 논문은 임의의 유한 차이 집합 $S$ 에 의해 정의되는, 무한하고 결국 주기적이지 않은 집합에 대한 최소 가법 보완의 존재성 문제를 종결시킨다.

본 논문은 $|S|=1$ 인 경우(주기성에 따라 자명하거나 불가능함)에 대해 문제를 해결하려 하거나, 그러한 모든 집합을 특징짓는 것을 목표로 하지 않는다. 대신, 유효한 임의의 $S$ 에 대해 적어도 하나의 그러한 집합이 존재함을 증명하는 데 목적이 있다. 이 연구는 정리 F와 G의 구성적 아이디어를 기반으로 하되, 일반적인 경우를 다루기 위해 이를 종합하였다.

결론
본 논문은 비주기적 $S$ -차이 집합에 대한 최소 가법 보완의 존재성에 관한 열린 문제를 성공적으로 해결하였다. 프로베니우스 동전 문제(보조정리 2.1)를 활용한 정교한 귀납적 구성과 모듈로 산술의 세심한 제어를 통해, 저자들은 $|S| \ge 2$ 인 임의의 양의 정수 집합 $S$ 에 대하여, 차이가 $S$ 에 속하는 무한하고 비주기적인 집합 $W$ 가 최소 가법 보완을 가짐을 입증하였다.

간격 채우는 이들의 이야기

유사한 논문