Short Salem polynomials

기술적 요약: 짧은 세일럼 다항식

문제 제기
본 논문은 계수의 절대값의 합으로 정의된 '길이 (length)'에 기반한 세일럼 다항식의 분류를 다룬다. 세일럼 수 $\tau > 1$은 $\tau$를 제외한 갈루아 켤레원들이 모두 절댓값이 1 이하이며, 적어도 하나는 절댓값이 정확히 1인 실수 대수적 정수이다. 세일럼 다항식은 세일럼 수의 최소 다항식이며, 원분 다항식과 곱해질 수 있다. 저자들은 길이 5 와 길이 6 인 짧은 다항식에 초점을 맞춘다. 단항식 역수 정수 다항식 중 길이가 4 이하인 것은 원분 다항식임이 확립되어 있으나, 세일럼 다항식의 최소 길이는 5 이다. 본 논문은 길이 5 인 세일럼 다항식의 완전한 열거와 길이 6 인 것들의 구조적 분류를 제시하고자 한다.

방법론
저자들은 해석적 정수론, 대수적 조작, 그리고 계산적 탐색 알고리즘을 결합하여 사용한다:

1. 해석적 경계와 교차 (Interlacing): 길이 5 의 경우, 저자들은 단위원 ($z = e^{i\theta}$) 위에서 평가된 다항식에서 유도된 함수 $s(\theta)$를 분석한다. $f(\theta)$와 $f'(\theta)$의 영점 교차에 관한 보조정리 2.1 을 활용하여 $s(\theta)=1$의 해 개수를 제한한다. 이를 통해 충분히 높은 차수에서는 다항식이 세일럼 다항식이 되기 위한 조건을 만족할 수 없음을 증명하여, 탐색을 유한한 매개변수 집합으로 제한한다.
2. 세일럼의 구성과 피소 (Pisot) 수열: 길이 6 의 경우, 논문은 피소 수로 수렴하는 세일럼 수 수열을 구성하는 세일럼의 방법에 의존한다. 구체적으로, 기약 피소 다항식 $P(z)$와 $\epsilon \in \{-1, 1\}$에 대해 수열 $P_n(z) = z^n P(z) + \epsilon P^*(z)$를 분석한다. 보이드 (Boyd) 의 작업에 크게 기반한 명제 2.5 는 이러한 다항식들이 단위원 바깥에 유일한 영점을 가지는 조건 (세일럼 또는 피소가 됨) 을 확립하고, 그들의 원분 인자를 특징짓는다.
3. 간격 경계를 활용한 계산적 탐색: 길이 6 의 희귀 (비가족) 세일럼 다항식을 찾기 위해, 저자들은 [10] 의 알고리즘을 특정 구간 $[a, b]$ 내의 역수 다항식을 탐색하도록 적응시켰다. 곤살베스 (Gonçalves) 의 부등식과 도브로볼스키 (Dobrowolski) 의 하한을 활용하여 탐색 공간을 제한한다. 이 탐색은 0 이 아닌 계수 사이의 '간격 (gaps)'을 제한하는 것을 포함한다. 구간 내 중간 다항식의 영점으로 인해 간격을 제한할 수 없는 경우, 저자들은 이를 무한 가족에 해당하는 극한점이나 특정 희귀 사례로 식별한다.
4. 원분 인자 분석: 저자들은 결과식과 단위근의 성질 (보조정리 2.3) 을 사용하여 무한 가족의 원분 인자를 명시적으로 계산함으로써, 결과적으로 생성된 세일럼 수의 최소 다항식과 차수를 결정한다.

주요 기여 및 결과

• 길이 5 분류 (정리 1): 논문은 길이 5 인 모든 세일럼 다항식의 완전한 목록을 제공한다. 이는 정확히 13 개의 서로 다른 세일럼 수와 연관된 17 개의 다항식이다. 이러한 결과는 5 의 '짧음 (shortness)'을 가진 세일럼 수가 레머 수 ($\lambda_0 \approx 1.176$) 아래에 존재하지 않음을 확인하며, [7] 의 이전 발견과 일치하지만 완전성에 대한 엄밀한 증명을 제공한다.
• 길이 6 분류 (정리 2): 저자들은 길이 6 인 세일럼 다항식 중 유한 개를 제외한 나머지가 12 개의 무한 가족 중 하나에 속함을 증명한다. 이러한 가족들은 특정 피소 다항식 (삼항식과 $z-2$) 을 사용한 세일럼의 구성으로 생성된다.
  • 논문은 $\ge 1.01$인 세일럼 수를 가진 126 개의 '희귀' 길이 6 세일럼 다항식을 식별한다.
  • 이 중 116 개는 가장 작은 피소 수 $\theta_0 \approx 1.3247$보다 작은 세일럼 수에 해당하며, 10 개는 $\theta_0$보다 크다.
  • 이러한 가족들의 존재와 희귀 집합의 유한성이 증명되었으나, 1.01 미만의 희귀 목록의 완전성은 탐색을 1 에 임의로 가깝게 확장할 수 있다는 가정 (이는 계산상 비현실적) 이나 레머 추측의 진실성에 의존한다.
• 가족 내 원분 인자 (정리 3 및 명제 5.1): 논문은 12 개의 무한 가족에 대한 원분 인자를 상세히 기술한다. 이 가족들의 세일럼 수에 대한 최소 다항식에 대한 명시적 공식을 제공하며, 큰 $n$에 대해 최소 다항식의 차수가 $n$에 선형적으로 증가하되, 원분 인자에 의해 결정되는 주기적 보정 항만큼 감소함을 보인다.
• 종합 표: 저자들은 다음 표를 제공한다:
  • 표 1: 17 개의 길이 5 세일럼 다항식과 해당 수.
  • 표 2: 126 개의 알려진 희귀 길이 6 세일럼 다항식 (수 $\ge 1.01$인 경우).
  • 표 4: 가장 작은 피소 수 $\theta_0$ 미만의 모든 알려진 세일럼 수를 수집한 것으로, 차수, '짧음', 그리고 최소 차수 짧은 다항식을 나열한다. 여기에는 $\theta_0$로 수렴하는 수열 $\tau_n$과 53 개의 희귀 수가 포함된다.

의의
본 논문은 길이 5 인 세일럼 다항식의 첫 번째 완전한 분류를 제공한다고 주장한다. 길이 6 의 경우, 구조적 이분법을 확립한다: 그러한 다항식의 집합은 유한한 수의 희귀 예제와 가산 무한 가족의 집합으로 구성된다. 저자들은 1.01 이상의 세일럼 수에 대한 희귀 길이 6 다항식 목록이 완전하다고 밝힌다. 1 에 임의로 가까운 수까지 이 목록을 확장하는 것은 비현실적이지만, 레머 추측 (즉, $\lambda_0$가 가장 작은 세일럼 수라는 것) 이 참이라면 목록은 완전해질 것이라고 명시한다. 이 연구는 1 근처의 세일럼 수 분포에 대한 이해를 정교화하고, 명시적 다항식 구성을 통해 세일럼 수, 피소 수, 그리고 원분 인자 간의 관계를 명확히 한다.