[논문 리뷰] Ulam Sequences and Ulam Sets

Noah Kravitz, Stefan Steinerberger|arXiv (Cornell University)|2017. 05. 04.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 4

한 줄 요약

이 논문은 높은 차원 공간과 대수적 구조로의 울람 수열의 일반화를 다루며, 두 개의 서로 다른 이전 원소의 합으로 유일하게 표현될 수 있는 가장 작은 원소를 탐욕적으로 추가함으로써 정의되는 울람 집합을 도입한다. 다양한 초기 조건에서 보편적인 준주기적 구조가 드러나며, 특정 2차원 경우에서는 주기성이 증명되고, 푸리에 분석과 가군수학(combinatorics) 간의 깊은 연관성이 밝혀지며, 고전적 울람 수열에서 놀라운 준주기적 행동이 관찰된다.

ABSTRACT

The Ulam sequence is given by $a_1 =1, a_2 = 2$, and then, for $n \geq 3$, the element $a_n$ is defined as the smallest integer that can be written as the sum of two distinct earlier elements in a unique way. This gives the sequence $1, 2, 3, 4, 6, 8, 11, 13, 16, \dots$, which has a mysterious quasi-periodic behavior that is not understood. Ulam's definition naturally extends to higher dimensions: for a set of initial vectors $\left\{v_1, \dots, v_k ight\} \subset \mathbb{R}^n$, we define a sequence by repeatedly adding the smallest elements that can be uniquely written as the sum of two distinct vectors already in the set. The resulting sets have very rich structure that turns out to be universal for many commuting binary operations. We give examples of different types of behavior, prove several universality results, and describe new unexplained phenomena.

연구 동기 및 목표

• 고전적 울람 수열—자연수 집합 N에서 유일한 합 표현을 갖는 것으로 정의되는 것—을 더 높은 차원과 추상적 대수적 구조로 확장한다.
• R^n과 Z≥0×Zn에서 다양한 초기 벡터 집합으로 생성된 울람 집합의 구조적 성질을 조사한다.
• 결합법칙과 교환법칙을 만족하는 이元 연산과 크기 함수를 갖는 구조에서 울람 집합의 역학이 얼마나 보편적인가를 탐구한다.
• 고전적 울람 수열에서 경험적으로 관찰된 미스터리한 준주기적 행동, 특히 비임의적인余弦합 현상(cosine sum phenomenon)을 설명한다.
• 2차원 및 3차원에서 울람 집합이 주기적 또는 격자 유사 구조를 띠는 조건을 확립한다.

제안 방법

• 탐욕 알고리즘을 통해 울람 집합을 정의: 반복적으로 두 개의 서로 다른 이전 원소의 합으로 유일하게 표현될 수 있는 가장 작은 원소를 추가한다.
• 요소들을 순서화하기 위해 크기 함수 f를 사용하며, 고전적 경우의 자연수 순서를 일반화한다.
• R≥0² 및 Z≥0²에서의 초기 벡터로부터 생성된 2차원 및 3차원 울람 집합을 분석하며, 격자 생성과 주기성에 초점을 맞춘다.
• 푸리에 분석을 적용하여 숨겨진 준주기적 구조를 탐지하며, 특히 ∑cos(αan) ≈ -0.79N 이고 α ≈ 2.571447임을 관찰한다.
• 특정 초기 조건 하에서 R² 내의 일부 울람 집합이 x 및 y 방향으로 주기적임을 증명한다.
• 복소수의 곱셈 구조를 로그 변환을 통해 덧셈 구조로 환원함으로써 R>1×T에서의 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 울람 집합이 탐욕적 구성에도 불구하고 R^n에서 언제 주기적 또는 준주기적 행동을 보일 수 있는가?
• RQ2 고전적 울람 수열 (1,2,3,4,6,8,...) 이 비임의적인余弦합 패턴 ∑cos(αan) ≈ -0.79N 을 보이며, 이는 숨겨진 준주기적 행동을 시사한다. 이는 왜 발생하는가?
• RQ3 Z≥0×Zn 또는 복소수의 곱셈군과 같은 다양한 대수적 구조에서 울람 집합의 역학은 얼마나 보편적인가?
• RQ4 초기 생성 벡터로부터 준주기적 행동의 존재를 예측하거나 특성화할 수 있는가?
• RQ5 Z≥0×Zn 내 울람 집합이 유한한지 무한한지 결정하는 요소는 무엇인가?

주요 결과

• 고전적 울람 수열은 강력한 준주기적 구조를 보인다: 첫 10^9개의 항에 대해, 2, 3, 47, 69를 제외한 모든 an에 대해 cos(2.5714474995·an) < 0이며, 이는 비임의적이고 구조적인 행동을 시사한다.
• 2차원에서 {(1,0),(0,1)}에서 생성된 울람 집합은 x 및 y 방향으로 주기적이며, 추가적인 벡터가 포함되면 L자형 변형이 있는 격자 구조를 이룬다.
• 초기 벡터에 m이 짝수이고 n > 3인 (m,n)이 포함되면 격자 구조가 일시적으로 손상되지만, x > m 영역에서는 복구되며 간섭이 局부적으로 국한됨을 보여준다.
• {(1,0),(0,1),(6,4)}와 같은 초기 집합의 경우, 결과 울람 집합은 두 좌표가 모두 홀수인 반복적인 L자형 도형을 포함하며, 열들은 2단위 간격으로 주기적 패턴을 보인다.
• Z≥0×Zn에서 일부 울람 집합(예: Z≥0×Z6에서 {(1,3),(3,4)}로부터 생성)은 일부 y좌표가 전혀 나타나지 않음을 보이며, 비균일 분포를 나타낸다.
• 요구사항을 만족하는 유한한 전상태 조건을 갖는 크기 함수가 있으면, 교환법칙과 결합법칙을 만족하는 이원 연산에 대해 울람 집합 구성은 보편적이며, 그로 인한 역학은 크기 함수의 변화에 대해 강건하다.