[논문 리뷰] Yamamoto's interpolation of finite multiple zeta and zeta-star values

Hideki Murahara, Masataka Ono|arXiv (Cornell University)|2019. 08. 25.

Advanced Mathematical Identities참고 문헌 35인용 수 4

한 줄 요약

이 논문은 매개변수 $ t $ 를 사용하여 유한 다중 리만 제타 및 제타-스타 값의 다항식 보간을 도입함으로써, Yamamoto의 보간 다중 제타 값을 유한형 설정으로 확장한다. 다항식 보간을 통해 $ \mathcal{A} $ 및 $ \mathcal{S} $-형 유한 다중 제타 값에 대해 순환 합 공식, Bowman–Bradley 유형 공식, 가중 합 공식, 조화, 셔플, 쌍대성 및 미분 관계와 같은 핵심 대수적 관계를 수립하고, 이들이 둘 다 $ \mathcal{A} $ 및 $ \mathcal{S} $-형에 대해 유효하다는 것을 증명한다.

ABSTRACT

We study a polynomial interpolation of finite multiple zeta and zeta-star values with variable $t$, which is an analogue of interpolated multiple zeta values introduced by Yamamoto. We introduce several relations among them and, in particular, prove the cyclic sum formula, the Bowman-Bradley type formula, and the weighted sum formula. The harmonic relation, the shuffle relation, the duality relation, and the derivation relation are also presented.

연구 동기 및 목표

• 매개변수 $ t $ 를 사용하여 $ \mathcal{A} $ 및 $ \mathcal{S} $-유한 다중 제타 및 제타-스타 값을 다항식 보간함으로써 Yamamoto의 보간 다중 제타 값을 유한형 설정으로 확장하기.
• 보간된 유한 제타 값 프레임워크 내에서 순환 합, 가중 합, Bowman–Bradley 유형 공식과 같은 대수적 관계를 수립하기.
• 조화, 셔플, 쌍대성 및 미분 관계와 같은 고전적 관계를 $ t $-보간 유한 제타 값 설정으로 일반화하기.
• 유한 제타 값에 대한 쌍대성 및 미분 관계가 $ t $-보간에 의해 유지됨을 증명하여 기존 결과를 다항식 설정으로 확장하기.

제안 방법

• 모든 $ k_1,\dots,k_r $ 사이에 쉼표 또는 더하기 기호를 삽입하여 형성된 인덱스 $ \mathbf{p} $ 를 모두 고려하여 $ \zeta^{t}_{\mathcal{F}}(k_1,\dots,k_r) = \sum_{\mathbf{p}} \zeta_{\mathcal{F}}(\mathbf{p}) t^{r - \operatorname{dep}(\mathbf{p})} $ 를 정의함으로써, $ t=0 $ 과 $ t=1 $ 에서 각각 $ \zeta $ 와 $ \zeta^\star $ 를 일반화한다.
• $ \mathcal{F} $-값을 갖는 $ t $-보간 맵 $ Z^t_{\mathcal{F}} = Z_{\mathcal{F}} \circ S_t $ 를 사용함. 여기서 $ S_t $ 는 비가환 다항식 위의 이동 연산자이다.
• 순환 합 공식을 증명하기 위해 $ S_t $-왜곡 미분 구조를 사용하여, $ k_r \geq 2 $ 인 인덱스 $ \mathbf{k} $ 에 대해 $ \sum_{i=1}^r \zeta^t_{\mathcal{F}}(\sigma^i(\mathbf{k})) = 0 $ 이 성립함을 보인다.
• 쌍대성 관계를 $ \phi^t = -S_{-t} \circ \phi \circ S_t $ 라는 항등식을 통해 수립함으로써, $ \phi^t $ 가 $ t $-변형 하에서도 쌍대성을 유지함을 보인다.
• 미분 관계를 증명하기 위해 $ w \in y\mathfrak{H}_t x $ 에 대해 $ Z^t_{\mathcal{F}}(R^{-1}_x \partial^t_l(w)) = 0 $ 이 성립함을 보이고, $ \widetilde{S}_t $-미분 구조와 기존의 $ Z_{\mathcal{F}} $-미분 관계 결과를 활용한다.
• 미분 관계를 $ l=1 $ 에 적용하여 $ t $-의존적 항등식을 유도함으로써 Hoffman의 관계를 $ t $-FMZV에 대해 유도한다. 이는 인덱스 이동과 연결을 포함한다.

실험 결과

연구 질문

• RQ1 Yamamoto의 다중 제타 값 보간을 $ \mathcal{A} $ 및 $ \mathcal{S} $-유한 다중 제타 값으로 사용하여 유한형 설정으로 확장할 수 있는가?
• RQ2 고전적 대수적 관계—순환 합, 가중 합, Bowman–Bradley 유형 공식—이 $ t $-보간 유한 제타 값에 대해 성립하는가?
• RQ3 $ \mathcal{A} $ 및 $ \mathcal{S} $-유한 제타 값에 대해 쌍대성 관계가 $ t $-보간 하에서도 유지되는가?
• RQ4 유한 제타 값에 대한 미분 관계는 $ t $-보간 설정으로 일반화될 수 있으며, 그 형태는 어떠한가?
• RQ5 다중 제타 값에 대한 Hoffman의 관계는 $ t $-보간 유한 제타 값 프레임워크로 확장되는가?

주요 결과

• 순환 합 공식이 $ t $-보간 유한 다중 제타 값에 대해 성립한다: $ \sum_{i=1}^r \zeta^t_{\mathcal{F}}(\sigma^i(\mathbf{k})) = 0 $, 임의의 $ k_r \geq 2 $ 인 인덱스 $ \mathbf{k} $ 에 대해 성립한다.
• 가중 합 공식이 $ t $-보간 설정으로 일반화되어, 인덱스 순열에 대한 가중 합의 구조를 유지한다.
• 쌍대성 관계가 $ \phi^t = -S_{-t} \circ \phi \circ S_t $ 라는 항등식을 통해 $ \mathcal{F} $-유한 제타 값에 대해 $ t $-보간 사례로 확장되며, 이는 $ \phi^t $ 가 쌍대성을 유지함을 의미한다.
• $ t $-보간 유한 제타 값에 대한 미분 관계가 확립되었다: $ Z^t_{\mathcal{F}}(R^{-1}_x \partial^t_l(w)) = 0 $, 모든 $ w \in y\mathfrak{H}_t x $ 에 대해 성립하며, 고전적 미분 관계를 일반화한다.
• Hoffman의 관계가 $ t $-보간 유한 제타 값으로 확장되어, 인덱스 이동과 연결을 포함하는 $ t $-의존적 항등식을 유도한다: $ \sum_{i=1}^r (1 + (k_i + \delta_{i,1} - 2)t) \zeta^t_{\mathcal{F}}(\dots,k_i+1,\dots) = \sum_{i,j} \zeta^t_{\mathcal{F}}(\dots,k_i+1-j,j,\dots) + t(1-t)\sum \zeta^t_{\mathcal{F}}(\dots,k_i+k_{i+1}+1,\dots) $.
• $ t $-보간 $ \mathcal{A} $ 및 $ \mathcal{S} $-유한 제타 값은 조화, 셔플 및 미분 관계를 만족하며, 미분 관계는 $ \widetilde{S}_t $-왜곡 미분과 기존의 $ Z_{\mathcal{F}} $-미분 결과를 통해 증명된다.