Parry order of Parry numbers

논문 요약: 페론 수의 파리 순서 (The Parry Order of Perron Numbers)

저자: Kevin G. Hare, Hachem Hichri
주제: 대수적 정수론, 동역학 시스템, $\beta$-전개 (Beta-expansion), 파리 수 (Parry numbers), 피소트 (Pisot) 및 살렘 (Salem) 수

1. 연구 배경 및 문제 제기

• 페론 수 (Perron numbers): 실수 대수적 정수 $\beta > 1$로, 그 다른 켤레 수 (Galois conjugates) 들의 절댓값보다 엄격하게 큰 수.
• 파리 수 (Parry numbers): $\beta$-전개 (특히 1 의 $\beta$-전개) 가 유한하거나 주기적인 페론 수. 이는 $\beta$-변환 $T_\beta(x) = \beta x \pmod 1$의 궤도가 유한할 때 정의됨.
• 기존 연구의 한계:
  • 모든 피소트 수 (Pisot numbers) 는 파리 수임 (Schmidt).
  • 살렘 수 (Salem numbers) 가 파리 수인지 여부는 여전히 미해결 문제 (Schmidt 의 추측 vs Boyd 의 반례 추측).
  • 파리 수와 비파리 (non-Parry) 페론 수 사이의 동역학적 관계, 특히 페론 수의 거듭제곱 ($\beta^n$) 이 파리 수인지 아닌지에 대한 체계적인 분류가 부족함.
• 핵심 질문: 주어진 페론 수 $\beta$에 대해, $\beta^n$이 파리 수가 되는 $n$은 얼마나 존재하는가?

2. 주요 방법론 및 정의

저자들은 페론 수의 거듭제곱이 파리 수를 가지는지 여부에 따라 페론 수를 분류하기 위해 '파리 순서 (Parry Order)' 개념을 도입했습니다.

• 파리 순서 ($Ord_P(\beta)$): $\beta^n$이 파리 수가 되는 가장 큰 정수 $n$.
  • 만약 모든 $n \ge 1$에 대해 $\beta^n$이 파리 수라면 $Ord_P(\beta) = \infty$.
  • 만약 모든 $n \ge 1$에 대해 $\beta^n$이 비파리 수라면 $Ord_P(\beta) = 0$.
• 페론 수의 분할 (Partition):
  $$P = \left( \bigcup_{n \ge 0} H_n \right) \cup H_\infty$$
  • $H_n$: 파리 순서가 $n$인 페론 수의 집합.
  • $H_\infty$: 피소트 수와 살렘 수의 집합 ($S \cup T$).
• 판정 기준:
  • Solomyak 기준: $\beta$의 켤레 수 중 절댓값이 $\theta_0 = \frac{1+\sqrt{5}}{2}$ (황금비) 를 초과하면 $\beta$는 비파리 수.
  • Boyd 기준: $\beta$의 최소 다항식의 상수항 (tail coefficient) 과 관련된 조건을 통해 비파리 수 판정.
  • Akiyama 테스트: 갈루아 작용을 이용한 비파리 수 판정 알고리즘.

3. 주요 결과 및 기여

가. 동역학적 특성과 피소트/살렘 수의 동치성 (Proposition 1.2)

• 주요 정리: 페론 수 $\beta$에 대해, 무한히 많은 $n$에 대해 $\beta^n$이 파리 수가 될 필요충분조건은 $\beta$가 피소트 수이거나 살렘 수인 것이다.
• 의미: 이는 동역학적 성질 (파리 수의 거듭제곱) 과 대수적 성질 (켤레 수의 위치) 을 연결하는 강력한 동치 관계를 제시합니다.
• 결과: 피소트/살렐 수를 제외한 모든 페론 수는 유한한 개수의 거듭제곱만 파리 수를 가집니다.

나. 파리 순서의 상한 bound (Theorem 2.2)

• 피소트/살렐 수 아닌 페론 수 $\beta$ (차수 $d$, Mahler 측정 $M(\beta)$) 에 대해, 파리 순서 $Ord_P(\beta)$는 다음과 같이 상한이 정해집니다:
  $$Ord_P(\beta) \le \frac{d \log(\theta_0)}{\log(M(\beta)) - \log(\beta)}$$
• 이는 $\beta$의 거듭제곱이 파리 수를 가질 수 있는 최대 지수를 대수적 속성 (Mahler 측정) 으로 예측할 수 있음을 보여줍니다.

다. 비파리 수의 거듭제곱이 파리 수가 되는 현상 발견 (Section 3)

• 새로운 발견: 저자들은 비파리 페론 수이면서, 그 거듭제곱 중 일부가 파리 수가 되는 구체적인 예시들을 최초로 제시했습니다.
  • 예: $x^{12} - x^{10} - x^9 + x^4 + x^3 - x - 1$의 근 $\beta$는 비파리 수이지만, $\beta^2$은 파리 수입니다 ($Ord_P(\beta)=2$).
• 입체적 구조: 이러한 수들은 $H_n$ (유한한 파리 순서를 가진 집합) 이 비어있지 않으며, 구조적으로 풍부함을 증명합니다.

라. 3 차 페론 수의 분석 및 무한한 파리 순서 가족 (Theorem 3.10, Proposition 3.13)

• 3 차 비피소트 수: 3 차 페론 수 중 비피소트인 경우, 파리 순서가 0 이거나 홀수임을 보였습니다.
• 무한한 파리 순서 가족: $x^3 - dx^2 - 2x + d$ 형태의 다항식 근들을 이용하여, 임의의 $N$보다 큰 파리 순서를 가지는 비피소트 파리 수의 무한한 가족을 구성했습니다. 이는 $H_n$이 임의의 큰 $n$에 대해 비어있지 않음을 의미합니다.

마. 수치적 데이터 및 분포 (Table 3.5)

• 차수 $d$와 계수 크기 $N$이 제한된 페론 수 집합을 분석하여, $H_0$ (비파리), $H_1$, $H_\infty$ (피소트/살렘) 등의 분포를 조사했습니다.
• 차수가 증가함에 따라 $H_0$의 비율은 증가하고 $H_1, H_\infty$의 비율은 감소하는 경향을 관찰했습니다.

4. 의의 및 결론

1. 새로운 분류 체계: 페론 수를 '파리 순서'에 따라 분류함으로써, 피소트/살렘 수와 비파리 수 사이의 복잡한 관계를 동역학적 관점에서 체계화했습니다.
2. Lehmer 추측과의 연결: 작은 살렘 수 (Lehmer 문제) 와 작은 페론 수 ($Ord_P(\beta)=\infty$인 수) 간의 관계를 제시하며, 기존 Lehmer 추측의 동역학적 버전 (Conjecture 1.6) 을 제안했습니다.
3. 기존 추측에 대한 통찰:
   • Boyd 의 추측 (고차 살렘 수 중 비파리 수가 존재할 수 있음) 을 지지하는 새로운 관점을 제공합니다.
   • Schmidt 의 정리를 피소트/살렐 수의 동역학적 특성으로 재해석했습니다.
4. 계산적 기여: 비파리 수이면서 특정 거듭제곱이 파리 수가 되는 구체적인 예시들을 최초로 제시하여, 이 분야의 연구에 새로운 실험적 데이터를 제공했습니다.

요약: 본 논문은 페론 수의 거듭제곱이 파리 수를 가지는지 여부에 따라 페론 수를 분류하는 '파리 순서' 개념을 도입하고, 이를 통해 피소트/살렘 수와 비파리 수의 관계를 명확히 규명했습니다. 특히, 비파리 수의 거듭제곱이 파리 수가 되는 현상을 발견하고 이를 정량화함으로써, $\beta$-전개 이론과 대수적 정수론 간의 새로운 연결고리를 제시했습니다.