Arithmetic sums and products of infinite multiple zeta-star values

1. 연구 배경 및 문제 제기 (Problem)

• 배경: 다중 제타 값 (Multiple Zeta Values, MZV) 과 다중 제타 - 스타 값 (Multiple Zeta-Star Values, MZSV) 은 정수론과 대수적 기하학에서 중요한 역할을 합니다. 특히, MZSV 는 정의상 인덱스 (지수) 들이 같아도 되는 ($n_1 \ge n_2 \ge \dots$) 변형입니다.
• 제타 - 스타 대응 (Zeta-Star Correspondence): Jiangtao Li 와 Hirose-Murahara-Onozuka 의 선행 연구에 따르면, 1 보다 큰 모든 실수는 유일한 무한 MZSV 로 표현될 수 있습니다. 이를 $\eta$ 매핑이라고 하며, 이는 순서 구조를 보존하는 전단사 함수입니다.
• 문제: 연속분수 (Continued Fraction) 이론에서 홀 (Hall) 과 커식 (Cusick) 등은 부분 몫 (partial quotients) 이 특정 범위로 제한된 실수들의 집합을 합하거나 곱했을 때, 그 결과가 실수 전체나 특정 구간을 이룬다는 결과를 증명했습니다.
  • 본 논문은 이러한 연속분수 이론의 결과를 무한 MZSV의 맥락으로 확장할 수 있는지, 특히 인덱스가 상한 ($k_i \le q$) 또는 하한 ($k_i \ge p$) 으로 제한된 집합의 **산술적 합 (Sum) 과 곱 (Product)**이 어떤 집합을 이루는지 연구합니다.

2. 방법론 (Methodology)

• 순서 구조 분석: MZSV 의 총순서 구조 (Total Order Structure) 를 활용하여, 인덱스 시퀀스에 따른 MZSV 값의 크기를 비교하고 정렬합니다.
• 칸토어 집합 (Cantor Set) 접근법:
  • 연속분수 이론에서 실수 집합을 다루기 위해 사용된 '칸토어 집합의 합'에 대한 홀 (Hall) 의 기법을 차용합니다.
  • 이진수 표현 (Binary expression) 을 다루는 매핑 $\tau$와 MZSV 를 다루는 매핑 $\eta$가 유사한 순서 구조를 가진다는 점을 이용합니다.
  • 대상 집합을 구간으로 나누고, 중간 구간을 제거하여 칸토어 집합을 구성하는 과정을 반복합니다.
• 홀의 조건 (Hall's Condition): 두 칸토어 집합 $C_1, C_2$의 합이 구간이 되기 위한 충분 조건인 '구간 길이 비율 조건'을 검증합니다. 즉, 제거된 구간의 길이가 남아있는 두 부분 구간의 길이보다 작아야 합집합이 간격을 갖지 않고 하나의 구간이 됩니다.
• 로그 변환 (Logarithmic Transformation): 곱셈 문제를 해결하기 위해 로그를 취하여 합 문제로 변환하고, 부등식 (Cauchy-Schwarz 부등식 등) 을 이용하여 증명합니다.
• Newhouse 두께 정리 (Thickness Theorem) 대조: 하한이 제한된 집합 ($k_i \ge p$) 의 경우, Newhouse 의 두께 정리를 적용해 볼 수 있었으나, MZSV 의 특수한 구조로 인해 이 정리가 적용되지 않음을 반례를 통해 증명합니다.

3. 주요 결과 (Key Results)

논문은 두 가지 주요 정리를 통해 상한 제한과 하한 제한 집합의 산술적 성질이 근본적으로 다름을 보였습니다.

정리 1.1: 인덱스 상한 제한 집합 ($D_q$) 의 경우

인덱스가 $q$ 이하여야 하는 집합 $D_q = \{ (k_i) \in T \mid k_i \le q \}$에 대해:

1. 합 (Sum): $\eta(D_q) + \eta(D_q) = [c_q, +\infty)$
   • 여기서 $c_q = 2\zeta^\star(\{q\}^\infty)$이며, 이는 모든 인덱스가 $q$인 무한 MZSV 의 두 배입니다.
2. 곱 (Product): $\eta(D_q) \cdot \eta(D_q) = [d_q, +\infty)$
   • 여기서 $d_q = (\zeta^\star(\{q\}^\infty))^2$입니다.
3. 차 (Difference): $\eta(D_q) - \eta(D_q) = \mathbb{R}$ (실수 전체)
4. 비 (Quotient): $\eta(D_q) / \eta(D_q) = (0, +\infty)$

• 특이 사례 ($q=2$): 모든 인덱스가 2 이하인 경우, $\zeta^\star(\{2\}^\infty) = 2$이므로, 4 보다 큰 모든 실수는 두 개의 인덱스 2 이하 MZSV 의 합 (또는 곱) 으로 표현될 수 있습니다.

정리 1.2: 인덱스 하한 제한 집합 ($T_p$) 의 경우

인덱스가 $p$ 이상이어야 하는 집합 $T_p = \{ (k_i) \in T \mid k_i \ge p \}$에 대해:

1. 닫힌 구간 부재: $\eta(T_p) + \eta(T_p)$, $\eta(T_p) \cdot \eta(T_p)$, $\eta(T_p) - \eta(T_p)$, $\eta(T_p) / \eta(T_p)$ 중 어느 것도 닫힌 구간 (Closed Interval) 이 아닙니다.
   • 특히 $p=2$일 때, 칸토어 집합의 첫 번째 분할 단계에서 생성된 구간들의 합이 겹치지 않아 (gap 발생) 전체 구간을 형성하지 못함을 구체적으로 계산하여 증명했습니다.
   • 이는 연속분수 이론에서 하한 제한 집합의 합이 구간이 될 수 있다는 결과 (Cusick 의 $G(2)+G(2)=\mathbb{R}$) 와는 대조적인 결과입니다.

4. 추측 (Conjectures)

저자들은 계산 결과와 이론적 분석을 바탕으로 다음과 같은 추측들을 제시했습니다.

• 추측 1.3 & 1.4 (대수적 수): $\eta(D_q)$ 집합과 대수적 수 집합 $\mathbb{Q}$의 교집합은 매우 제한적입니다.
  • $\eta(D_2) \cap \mathbb{Q} = \{ n \in \mathbb{Z} \mid n \ge 2 \}$
  • $q \ge 2$일 때, $\eta(D_q)$는 정수가 아닌 대수적 수를 포함하지 않을 것으로 추정됩니다.
• 추측 1.5 (내점 부재): $p \ge 2$일 때, $\eta(T_p) + \eta(T_p)$는 내점 (Interior points) 을 갖지 않습니다. 즉, 어떤 구간도 포함하지 않습니다.
• 추측 1.6 (르베그 측도 0): Palis 추측 (칸토어 집합의 차집합이 구간이거나 측도 0 인가) 에 영감을 받아, $\eta(T_2) + \eta(T_2)$의 르베그 측도가 0 일 것이라고 추측합니다.

5. 의의 및 중요성 (Significance)

1. 이론적 확장: 연속분수 이론에서 잘 알려진 산술적 합/곱의 성질을 다중 제타 - 스타 값이라는 새로운 수론적 객체로 성공적으로 확장했습니다.
2. 구조적 차이 규명: 상한 제한 ($k_i \le q$) 과 하한 제한 ($k_i \ge p$) 을 가진 MZSV 집합이 산술적 연산에 대해 완전히 다른 거동을 보임을 증명했습니다.
   • 상한 제한은 '채워진' 구간을 생성하는 반면, 하한 제한은 '구멍'이 있는 불연속적인 집합을 유지합니다.
3. 방법론적 기여: 칸토어 집합의 분할 기법과 홀의 조건을 무한 급수 (MZSV) 에 적용하는 구체적인 계산 기법을 제시했습니다.
4. 새로운 연구 방향: Palis 추측과의 연관성을 통해, MZSV 집합의 프랙탈 차원 (Hausdorff dimension) 과 르베그 측도에 대한 새로운 연구 과제를 제시했습니다.

결론적으로, 이 논문은 무한 다중 제타 - 스타 값의 집합이 산술적 연산 하에서 어떻게 행동하는지에 대한 체계적인 분류를 제공하며, 특히 하한 제한 집합이 예상과 달리 구간을 형성하지 못한다는 놀라운 사실을 밝혀냈습니다.