[논문 리뷰] Every function is the representation function of an additive basis for the integers

Melvyn B. Nathanson|arXiv (Cornell University)|2003. 02. 10.

Advanced Optimization Algorithms Research참고 문헌 6인용 수 29

한 줄 요약

이 논문은 임의의 함수 $ f: \mathbb{Z} \to \mathbb{N}_0 \cup \{\infty\} $가 유한한 영점 집합을 가질 때, 모든 $ n \in \mathbb{Z} $와 모든 $ h \geq 2 $에 대해 $ f(n) = r_{A,h}(n) $를 만족하는 덧셈 기저 $ A \subseteq \mathbb{Z} $가 존재함을 증명한다. 이 구성 방식은 $ A $를 임의로 희박하게 만들 수 있도록 보장하여, 정수에서의 덧셈수론의 표현 함수 문제에 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

Let A be a set of integers. For every integer n, let r_{A,h}(n) denote the number of representations of n in the form n = a_1 + a_2 + ... + a_h, where a_1, a_2,...,a_h are in A and a_1 \leq a_2 \leq ... \leq a_h. The function r_{A,h}: Z o N_0 \cup \infty is the representation function of order h for A. The set A is called an asymptotic basis of order h if r_{A,h}^{-1}(0) is finite, that is, if every integer with at most a finite number of exceptions can be represented as the sum of exactly h not necessarily distinct elements of A. It is proved that every function is a representation function, that is, if f: Z o N_0 \cup \infty is any function such that f^{-1}(0) is finite, then there exists a set A of integers such that f(n) = r_{A,h}(n) for all n in Z. Moreover, the set A can be arbitrarily sparse in the sense that, if ϕ(x) o \infty, then there exists a set A with f(n) = r_{A,h}(n) such that card{a in A : |a| \leq x} < ϕ(x) for all sufficiently large x.

연구 동기 및 목표

• 정수 $ \mathbb{Z} $ 위에서 어떤 함수들이 덧셈 기저 $ A $의 순서 $ h $에 대한 표현 함수 $ r_{A,h} $로 나타날 수 있는지 규명하는 것.
• 모든 함수 $ f: \mathbb{Z} \to \mathbb{N}_0 \cup \{\infty\} $가 $ f^{-1}(0) $가 유한할 경우, 어떤 집합 $ A \subseteq \mathbb{Z} $에 대해 $ r_{A,h} $로 표현될 수 있는지 해결하는 것.
• 이러한 기저 $ A $가 임의로 희박하게 구성될 수 있음을 보여주는 것—특히 밀도 함수 $ \varphi(x) \to \infty $를 만족하는 경우에도 가능함을 보여주는 것.
• $ \mathbb{N}_0 $에서의 표현 함수는 매우 제약이 많지만, 정수 $ \mathbb{Z} $에서는 그와 대조적으로 더 자유로운 구조를 가지며, 이는 유일성과 유계성 추측이 여전히 열려 있는 상황임을 대비하여 고려하는 것.

제안 방법

• 모든 $ n \in \mathbb{Z} $에 대해 $ r_{A,h}(n) = f(n) $를 만족하도록 하는 집합 $ A $를 구축하기 위해, 탐욕 알고리즘을 활용한 재귀적 구성 방법을 사용하여, 과도한 수를 세지 않으면서 모든 필요한 표현을 확보하는 것.
• 유한한 수의 정수를 제외하고는 모두 $ h $개의 원소로 표현 가능한, 순서 $ h $의 渐近 기저 개념을 적용하는 것.
• 밀도를 제어하기 위해 카디널리티 함수 $ A(-x,x) $를 사용하여, 임의의 주어진 $ \varphi(x) \to \infty $에 대해 $ \text{card}(\{a \in A : |a| \leq x\}) < \varphi(x) $임을 보이는 것.
• $ h \geq 2 $일 경우 합집합의 구조가 각 정수에 대해 표현 수를 독립적으로 할당할 수 있도록 충분한 유연성을 제공함을 활용하는 것.
• 표현 수를 정수선 전체에 걸쳐 조정하기 위해 이동 불변성과 덧셈 이동을 활용하는 것.
• 값 $ f(n) $에 대한 귀납법과 케이스 분석을 통해, 각 정수 $ n $이 $ hA $에서 정확히 $ f(n) $개의 표현을 가지도록 보장하는 증명.

실험 결과

연구 질문

• RQ1 모든 함수 $ f: \mathbb{Z} \to \mathbb{N}_0 \cup \{\infty\} $가 영점 집합이 유한할 경우, 어떤 집합 $ A \subseteq \mathbb{Z} $와 $ h \geq 2 $에 대해 $ r_{A,h} $로 표현될 수 있는가?
• RQ2 이러한 집합 $ A $는 임의로 희박하게 구성될 수 있는가? 즉, 주어진 $ \varphi(x) \to \infty $에 대해 $ \text{card}(\{a \in A : |a| \leq x\}) < \varphi(x) $를 만족하는가?
• RQ3 표현 함수의 구조가 $ \mathbb{N}_0 $에서의 경우와 어떻게 다를까? 여기서는 유일성과 유계성 추측이 여전히 열려 있다.
• RQ4 순서 $ h $의 渐近 기저에 대한 표현 함수의 집합 $ \mathcal{R}_0(\mathbb{Z}, h) $는 어떻게 특성화할 수 있는가?
• RQ5 이러한 기저의 밀도를 최대화할 수 있는가? 또는 함수 $ f \in \mathcal{F}_0(\mathbb{Z}) $에 대해 $ A(-x,x) $에 상한이 존재하는가?

주요 결과

• 모든 $ h \geq 2 $와 모든 함수 $ f: \mathbb{Z} \to \mathbb{N}_0 \cup \{\infty\} $에 대해 $ f^{-1}(0) $가 유한할 경우, 모든 $ n \in \mathbb{Z} $에 대해 $ r_{A,h}(n) = f(n) $를 만족하는 집합 $ A \subseteq \mathbb{Z} $가 존재한다.
• 집합 $ A $는 임의로 희박하게 구성될 수 있다: 임의의 함수 $ \varphi(x) \geq 0 $가 $ \varphi(x) \to \infty $를 만족할 경우, 모든 $ x $에 대해 $ \text{card}(\{a \in A : |a| \leq x\}) < \varphi(x) $를 만족하는 $ A $가 존재한다.
• 이 결과는 $ \mathbb{N}_0 $의 경우와 뚜렷하게 대조된다. $ \mathbb{N}_0 $에서는 표현 함수가 매우 제약이 있으며, 예를 들어 나타소는 최대 하나의 집합 $ A $만 주어진 $ f \in \mathcal{F}_0(\mathbb{N}_0) $를 실현할 수 있음을 증명하였다.
• 에르되시-투란 추측은 $ \mathbb{N}_0 $에서의 무한 표현 함수에 대해 여전히 열려 있으며, $ \mathcal{R}_0(\mathbb{N}_0, h) $의 전체 특성은 아직 완전히 규명되지 않았다.
• 특히 $ h=2 $일 경우, 본 논문의 구성은 기존의 밀도 상한을 향상시킨다: 실레루엘로와 나타소는 $ A(-x,x) \gg x^{\sqrt{2}-1} $임을 보였으며, 이는 이전의 $ x^{1/(2h-1)} $ 상한보다 더 강력한 결과이다.
• 이 결과는 $ \{2g : g \in G\} $가 무한한 가산 아벨 군 $ G $로 확장 가능하며, 이 경우 $ \mathcal{R}_0(G,2) = \mathcal{F}_0(G) $임을 보이며, 일부 반군의 경우에도 적용 가능하다.