Hoffmanの恒等式
Hoffmanの恒等式の連結和法による証明
はじめに
この記事ではHoffmanの恒等式 (Hoffman's Identity) と呼ばれるある多重ゼータ値に関連した関係式族を紹介して、それを連結和法と呼ばれる証明法で示そうと思います。連結和法は多重ゼータ値の関係式を証明するのに非常に画期的かつ有効なもので、２人の偉大な日本人数学者、関真一朗・山本修司によって発見されました。それが導入された原論文のarXivのプレプリントが
A new proof of the duality of multiple zeta values and its generalizations
から読めます。この論文ではthe duality of multiple zeta values、すなわち多重ゼータ値の双対性と呼ばれる関係式と、その複数の一般化を証明しています。興味のある方はぜひご一読を！
そろそろ本題に入りましょう。まずこの記事で使われるノーテーション(記法)から紹介します。
ノーテーション
以下$N$と書けば正の整数を表すことにします。ある正の整数$a$に対して、$J_a=\underbrace{\ZZ_{\geq0}\times\cdots\times\ZZ_{\geq0}}_a,\quad I_a＝\underbrace{\ZZ_{\geq1}\times\cdots\times\ZZ_{\geq1}}_a,\quad I'_a＝\{(k_1,\dots,k_a)\in I_a:k_a\geq2\}$
とおきます。$J_0=I_0=I'_0=\{\varnothing\}$として、さらに$\displaystyle \II=\bigsqcup_{a=1}^{\infty}I_a,\quad\II'=\bigsqcup_{a=1}^{\infty}I'_a,\quad\II_0=\bigsqcup_{a=0}^{\infty}I_a$とします。$\II_0$の元のことをインデックス (index)、$\II'$の元のことを許容インデックス (admissible index) と呼びます。インデックス$\bk=(k_1,\dots,k_a)\in I_a$に対して$k_1+\dots+k_a$のことを重さ (weight) と呼び、$\wt(\bk)$で表します。また$\overline{\bk}=(k_a,\dots,k_1)$とし、$\overline{\bk}$のことを逆転インデックス (reverse index) といいます。
次にこの記事で頻繁に使うことになる矢印記法 (arrow notation) について説明します。インデックス$\bk=(k_1,\dots,k_a)\in I_a$に対して$\bk_{\to}=(k_1,\dots,k_a,1),\quad\quad{}_{\leftarrow}\bk=(1,k_1,\dots,k_a),\\
\bk_{\uparrow}(k_1,\dots,k_{a-1},k_a+1),\quad{}_{\uparrow}\bk(k_1+1,k_2,\dots,k_a),\\
\bk_{\downarrow}(k_1,\dots,k_{a-1},k_a-1),\quad{}_{\downarrow}\bk(k_1-1,k_2,\dots,k_a)$
と書くことにしましょう。慣例により、$\varnothing_{\to}={}_{\leftarrow}\varnothing=(1),\ \varnothing_{\uparrow}={}_{\uparrow}\varnothing=\varnothing_{\downarrow}={}_{\downarrow}\varnothing=\varnothing$とします。
インデックス$\bk$に対して$\overline{((\bk_{\uparrow})^{\dagger})_{\downarrow}}$のことをHoffman双対インデックス (Hoffman dual index) と呼んで$\bk^{\vee}$と表記します。ここでまだ紹介していない$\bk^{\dagger}$というノーテーションがありますが、これは$\bk$に対する双対インデックス (dual index) と呼ばれるものです。定義はまだここでは述べず、後で詳しく説明します。とりあえずはHoffman双対インデックスも双対インデックスも、$\bk$に対して一意に定まる何らかのインデックスであるということだけ把握してもらえれば大丈夫です。
最後に、二つのインデックス$\bk=(k_1,\dots,k_a)\in J_a$と$\bn=(n_1,\dots, n_a)\in I_a$に対して、$\bn^{\bk}=\displaystyle\prod_{i=1}^an_i^{k_i}$ (ただし$a=0$のとき$\bn^{\bk}=1$)と定めます。
ではいよいよHoffmanの恒等式がどんな定理であるか見ていきましょう。
Hoffmanの恒等式
$\displaystyle H_N^{\star}(\bk)=\sum_{1\leq n_1\leq\cdots\leq n_a\leq N}\frac{(-1)^{n_a-1}}{\bn^{\bk}}\binom{N}{n_a}$, $\displaystyle\zeta_N^{\star}(\bk)=\sum_{0=n_0< n_1\leq\cdots\leq n_a\leq N}\frac{1}{\bn^{\bk}}$とする。
このとき、任意のインデックス$\bk\in I_a$ $(a\geq 1)$に対して$\displaystyle H_N^{\star}(\bk)=\zeta_N^{\star}(\bk^{\vee})$が成立する。
これがHoffmanの恒等式です。初見では何がなんだかさっぱりとなりそうですが、落ち着いて両辺を観察してみましょう。よく見ると右辺も左辺も和の取り方は同じです。そして何の和を取っているかに着目してみます。右辺は$\bn^{\bk^{\vee}}$の逆数であるのに対して、左辺は(Hoffman双対ではない)元のインデックスに関する項$\bn^{\bk}$の逆数にさらに係数$\displaystyle(-1)^{n_a-1}\binom{N}{n_a}$が掛かっています。その二つが同じように和を取ったときに一致するというのですから、どれくらいこの定理が強いかはさておき非常に興味深いことには間違いありません。さらに忘れてはいけない点が、この定理は任意のインデックス$\bk$に対してだけではなく、任意の正の整数$N$で成立するというポイントです。
それではこの定理の証明に取り掛かるとしましょう。まずは連結和法について詳しく説明します。
連結和法
主定理の証明法としてここで紹介するのは冒頭で述べたように連結和法 (connected sum method) と呼ばれる手法です。この章で連結和法のアルゴリズムを解説します。
この証明には大きく４つのステップがあります。
連結和 (connected sum) と呼ばれるこの証明法のキーを発見する。
連結和の輸送関係式 (transport relation) を示す。
連結和の境界条件 (boundary condition) を確認する。
輸送関係式を繰り返し用いてインデックスを輸送してできた等式に境界条件を適用する。
もう少し具体的に説明しましょう。等式$A=B$を示したいとします。これを証明するのに連結和$\{S(k)\}_{k=0}^n\ (n\in\ZZ_{>0})$を導入します(ステップ１)。次にその連結和に関する輸送関係式$S(k)=S(k+1)\ (0\leq k\leq n-1)$を示します(ステップ２)。さらに、導入した連結和が境界条件$S(0)=A,S(n)=B$を満たすことを確認します(ステップ３)。最後に輸送関係式を繰り返し用いて得られる等式$S(0)=S(1)=\dots=S(n)$に境界条件を適用して(ステップ４)、等式$A=B$が示されるといった具合です。実際には輸送関係式はもっと複雑な式になることが多く、その分ステップ４での輸送が難しくなるケースが多いですが、理屈とやっていることは非常に単純かつ明快です。
というわけで、連結和法で証明するには連結和・その輸送関係式・境界条件が必要ですね。まずはHoffmanの恒等式の証明に必要な連結和を次の章で定義しましょう。
連結和法ステップ１〜連結和の定義〜
２つのインデックス$\bk\in\II$と$\bl\in\II_0$に対して、その連結和$Z_N^{\text{HD}}(\bk;\bl)$を
$$\displaystyle Z_N^{\text{HD}}(\bk;\bl)=\sum_{1\leq n_1\leq\cdots\leq n_a\leq m_1\leq \cdots \leq m_b\leq m_{b+1}=N}\frac{1}{\bn^{(\bk_{\downarrow})}}\cdot C^{\text{HD}}(n_a,m_1)\cdot\frac{1}{\bm^{\bl}}$$
で定義する。ここで$C^{\text{HD}}(n_a,m_1)$はコネクター (connector) と呼ばれる因子で、$\displaystyle C^{\text{HD}}(n_a,m_1)=(-1)^{n_a-1}\binom{m_1}{n_a}$である。また、連結関係式は$n_a\leq m_1$である。
この定義を見てすぐになるほど！と納得できた方はもうこの先を読む必要はありません。この記事を読む暇があればどうぞ新たなコネクターとそれがうむ新たな関係式族を発見して論文を書いて数学の発展に貢献してください。冗談はさておき、これは定義です。このように連結和を定義するとうまい具合に輸送関係式と境界条件が得られて、Hoffmanの恒等式が証明できてしまうのです。「え、どうやってこんなの思いつくの」と思ったあなた、そうなんです。連結和というものはそう簡単に発見できるものではないんです。連結和法の唯一のネックが、うまく証明が回るような連結和を発見することなのです。なので、とりあえず読者さんはこの連結和を発見した数学者に敬意を表しつつ、この定義を受け入れてしまいましょう。たとえ自分で連結和を見つけられなかったとしても、この連結和を用いることでHoffmanの恒等式がきちんと証明できることが理解できたときには多少なりとも感動が得られるはずです。
ところでコネクターやら連結関係式やらまだ説明していない用語が出てきました。コネクターはそのまま文字通り、「繋げ役」です。つまり、連結和の部分で、今回であれば$\bn^{(\bk_{\downarrow})}$の逆数と、$\bm^{\bl}$の逆数をコネクター$C^{\text{HD}}(n_a,m_1)$で繋げていることが見てとれると思います。連結関係式に関しては、和を取る際の連結されている部分の条件式だと思ってもらえれば大丈夫です。今回なら連結関係式は$n_a\leq m_1$となります。連結関係式に関しては特別に意識する必要はないです。それでは証明の次のステップ、輸送関係式の証明にうつりましょう。
連結和法ステップ２〜輸送関係式の証明〜
輸送関係式の内容とその証明に入る前に、証明に必要な準備をします。
証明の準備
この節で、輸送関係式(後で示す命題4)を示すために用いる２つの補題(補題２・補題３)を用意します。
$n_a\leq m_1$を満たす任意の正の整数$n_a,m_1$に対して, $\displaystyle\sum_{n_a\leq m_0\leq m_1}\frac{1}{m_0}\binom{m_0}{n_a}=\frac{1}{n_a}\binom{m_1}{n_a}.$
$n_a=m_1$のときは自明に成立するので、以下の議論では$n_a<
m_1$とします。
$\displaystyle \sum_{n_a\leq m_0\leq m_1}\frac{1}{m_0}\binom{m_0}{n_a}$
$\displaystyle=\sum_{n_a\leq m_0\leq m_1}\frac{1}{m_0}\cdot\frac{m_0!}{n_a!(m_0-n_a)!}$
$\displaystyle=\sum_{n_a\leq m_0\leq m_1}\frac{1}{n_a}\cdot\frac{(m_0-1)!}{(n_a-1)!(m_0-n_a)!}$
$\displaystyle=\sum_{n_a\leq m_0\leq m_1}\frac{1}{n_a}\binom{m_0-1}{n_a-1}$
$\displaystyle=\frac{1}{n_a}\sum_{n_a\leq m_0\leq m_1}\binom{m_0-1}{n_a-1}$
$\displaystyle=\frac{1}{n_a}\left(\binom{n_a-1}{n_a-1}+\sum_{n_a< m_0\leq m_1}\binom{m_0-1}{n_a-1}\right)$
$\displaystyle=\frac{1}{n_a}\left(1+\sum_{n_a< m_0\leq m_1}\left\{\binom{m_0}{n_a}-\binom{m_0-1}{n_a}\right\}\right)$
$\displaystyle=\frac{1}{n_a}\left(1+\binom{m_1}{n_a}-\binom{n_a}{n_a}\right)$
$\displaystyle=\frac{1}{n_a}\binom{m_1}{n_a}.$
ただし６行目から７行目にかけて二項係数の有名公式$\displaystyle\binom{n}{k}=\binom{n-1}{k}+\binom{n-1}{k-1}$を用いました。□
$n_a\leq m_1$を満たす任意の正の整数$n_a,m_1$に対して,$\displaystyle\sum_{n_a\leq n_{a+1}\leq m_1}\frac{(-1)^{n_{a+1}-1}}{n_a}\binom{m_1}{n_{a+1}}=\frac{(-1)^{n_a-1}}{m_1}\binom{m_1}{n_a}.$
$n_a=m_1$のときは自明に成立するので、以下の議論では$n_a<
m_1$とします。
$\displaystyle \sum_{n_a\leq n_{a+1}\leq m_1}\frac{(-1)^{n_{a+1}-1}}{n_a}\binom{m_1}{n_{a+1}}$
$\displaystyle=\frac{1}{n_a}\sum_{n_a\leq n_{a+1}\leq m_1}(-1)^{n_{a+1}-1}\binom{m_1}{n_{a+1}}$
$\displaystyle=\frac{1}{n_a}\left((-1)^{m_1-1}\binom{m_1}{m_1}+\sum_{n_a\leq n_{a+1}< m_1}(-1)^{n_{a+1}-1}\binom{m_1}{n_{a+1}}\right)$
$\displaystyle=\frac{1}{n_a}\left((-1)^{m_1-1}\binom{m_1}{m_1}+\sum_{n_a\leq n_{a+1}< m_1}(-1)^{n_{a+1}-1}\left\{\binom{m_1-1}{n_{a+1}}+\binom{m_1-1}{n_{a+1}-1}\right\}\right)$
$\displaystyle=\frac{1}{n_a}\left((-1)^{m_1-1}\binom{m_1}{m_1}+(-1)^{m_1-2}\binom{m_1-1}{m_1-1}+(-1)^{n_a-1}\binom{m_1-1}{n_a-1}\right)$
$\displaystyle=\frac{(-1)^{n_a-1}}{n_a}\binom{m_1-1}{n_a-1}$
$\displaystyle=\frac{(-1)^{n_a-1}}{n_a}\frac{(m_1-1)!}{(n_a-1)!(m_1-n_a)!}$
$\displaystyle=\frac{(-1)^{n_a-1}}{m_1}\frac{m_1!}{n_a!(m_1-n_a)!}$
$\displaystyle=\frac{(-1)^{n_a-1}}{m_1}\binom{m_1}{n_a}.$
ただし３行目から４行目にかけて二項係数の有名公式$\displaystyle\binom{n}{k}=\binom{n-1}{k}+\binom{n-1}{k-1}$を用いました。□
ではこれらの補題を用いて輸送関係式を示していきましょう。
輸送関係式とその証明
任意の二つのインデックス $\bk\in\II$, $\bl\in\II_0$に対して$Z_N^{\text{HD}}(\bk_{\uparrow};\bl)=Z_N^{\text{HD}}(\bk;{}_{\leftarrow}\bl) (\mathrm{i}),\quad Z_N^{\text{HD}}(\bk_{\to};\bl)=Z_N^{\text{HD}}(\bk;{}_{\uparrow}\bl)\quad (\bl\neq\varnothing) (\mathrm{ii}).$
まず輸送関係式$(\mathrm{i})$から示します。
$\displaystyle Z_N^{\text{HD}}(\bk_{\uparrow};\bl)$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq m_1\leq \cdots \leq m_b\leq m_{b+1}=N}\frac{1}{\bn^{\bk}}\cdot C^{\text{HD}}(n_a,m_1)\cdot\frac{1}{\bm^{\bl}}$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq m_1\leq \cdots \leq m_b\leq m_{b+1}=N}\frac{1}{\bn^{(\bk_{\downarrow})}}\cdot\frac{1}{\bm^{\bl}}\cdot(-1)^{n_a-1}\frac{1}{n_a}\binom{m_1}{n_a}$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq m_1\leq \cdots \leq m_b\leq m_{b+1}=N}\frac{1}{\bn^{(\bk_{\downarrow})}}\cdot\frac{1}{\bm^{\bl}}\cdot(-1)^{n_a-1}\sum_{n_a\leq m_0\leq m_1}\frac{1}{m_0}\binom{m_0}{n_a}$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq m_0\leq m_1\leq \cdots \leq m_b\leq m_{b+1}=N}\frac{1}{\bn^{(\bk_{\downarrow})}}\cdot C^{\text{HD}}(n_a,m_0)\cdot\frac{1}{m_0^1m_1^{l_1}\dots m_b^{l_b}}$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq m_1\leq \cdots \leq m_{b+1}\leq m_{b+2}=N}\frac{1}{\bn^{(\bk_{\downarrow})}}\cdot C^{\text{HD}}(n_a,m_1)\cdot\frac{1}{\bm^{({}_{\leftarrow}\bl)}}$
$\displaystyle=Z_N^{\text{HD}}(\bk;{}_{\leftarrow}\bl).$
ただし３行目から４行目にかけて、補題２を用いました。
次に輸送関係式$(\mathrm{ii})$を示します。
$\displaystyle Z_N^{\text{HD}}(\bk_{\to};\bl)$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq n_{a+1}\leq m_1\leq \cdots \leq m_b\leq m_{b+1}=N}\frac{1}{n_1^{k_1}\cdots n_a^{k_a}}\cdot C^{\text{HD}}(n_{a+1},m_1)\cdot\frac{1}{\bm^{\bl}}$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq m_1\leq \cdots \leq m_b\leq m_{b+1}=N}\frac{1}{\bn^{(\bk_{\downarrow})}}\cdot\frac{1}{\bm^{\bl}}\cdot\frac{1}{n_a}\sum_{n_a\leq n_{a+1}\leq m_1}C^{\text{HD}}(n_{a+1},m_1)$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq m_1\leq \cdots \leq m_b\leq m_{b+1}=N}\frac{1}{\bn^{(\bk_{\downarrow})}}\cdot\frac{1}{\bm^{\bl}}\sum_{n_a\leq n_{a+1}\leq m_1}\frac{(-1)^{n_{a+1}-1}}{n_a}\binom{m_1}{n_{a+1}}$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq m_1\leq \cdots \leq m_b\leq m_{b+1}=N}\frac{1}{\bn^{(\bk_{\downarrow})}}\cdot\frac{1}{\bm^{\bl}}\cdot\frac{(-1)^{n_a-1}}{m_1}\binom{m_1}{n_a}$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq m_1\leq \cdots \leq m_b\leq m_{b+1}=N}\frac{1}{\bn^{(\bk_{\downarrow})}}\cdot C^{\text{HD}}(n_a,m_1)\cdot\frac{1}{m_1^{l_1+1}m_2^{l_2}\cdots m_b^{l_b}}$
$\displaystyle=Z_N^{\text{HD}}(\bk;{}_{\uparrow}\bl).$
ただし４行目から５行目にかけて、補題３を用いました。以上で輸送関係式が示されました。□
輸送関係式を手に入れたので、あと私たちに必要なものは境界条件のみです！
連結和法ステップ３〜境界条件の証明〜
輸送関係式は計算がかなり重かったと思いますが、境界条件を確かめるのはそれに比べると容易です。
任意のインデックス$\bk\in\II$に対して、$Z_N^{\text{HD}}(\bk_{\uparrow};\varnothing)=H_N^{\star}(\bk),\quad Z_N^{\text{HD}}((1);\bk)=\zeta^{\star}_N(\bk).$
$Z_N^{\text{HD}}(\bk;\bl)$の定義より、
$\displaystyle Z_N^{\text{HD}}(\bk_{\uparrow};\varnothing)$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq m_1=N}\frac{1}{\bn^{\bk}}\cdot C^{\text{HD}}(n_a,m_1)$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq N}\frac{1}{\bn^{\bk}}\cdot C^{\text{HD}}(n_a,N)$
$\displaystyle=\sum_{1\leq n_1\leq\cdots\leq n_a\leq N}\frac{(-1)^{n_a-1}}{\bn^{\bk}}\binom{N}{n_a}$
$=H_N^{\star}(\bk).$
同じく$Z_N^{\text{HD}}(\bk;\bl)$の定義より、
$\displaystyle Z_N^{\text{HD}}((1);\bk)$
$\displaystyle=\sum_{1\leq n_1\leq m_1\leq \cdots \leq m_b\leq m_{b+1}=N}C^{\text{HD}}(n_1,m_1)\cdot\frac{1}{\bm^{\bk}}$
$\displaystyle=\sum_{1\leq n_1\leq m_1\leq \cdots \leq m_b\leq N}\frac{1}{\bm^{\bk}}\cdot(-1)^{n_1-1}\binom{m_1}{n_1}$
$\displaystyle=\sum_{1\leq m_1\leq \cdots \leq m_b\leq N}\frac{1}{\bm^{\bk}}\sum_{1\leq n_1\leq m_1}(-1)^{n_1-1}\binom{m_1}{n_1}$
$\displaystyle=\sum_{1\leq m_1\leq \cdots \leq m_b\leq N}\frac{1}{\bm^{\bk}}\left((-1)^0\binom{m_1}{0}-\sum_{0\leq n_1\leq m_1}\binom{m_1}{n_1}(-1)^{n_1}1^{m_1-n_1}\right)$
$\displaystyle=\sum_{1\leq m_1\leq \cdots \leq m_b\leq N}\frac{1}{\bm^{\bk}}(1-(-1+1)^{m_1})$
$\displaystyle=\sum_{0=m_0< m_1\leq \cdots \leq m_b\leq N}\frac{1}{\bm^{\bk}}$
$=\zeta^{\star}_N(\bk).$
以上で境界条件が示されました。□
ついにステップ３までのプロセスが終わりました。残るは、得られた輸送関係式と境界条件を用いて等式を証明するステップ４のみです。あとひと息、頑張りましょう！
連結和法ステップ４〜ラストスパート〜
さあようやく全ての準備が整いました。
...と言いたいところですが、大事なことをまだしていませんでした。え、何かって？忘れてしまったでしょうか、ノーテーションの章で後述するとしていた、Hoffman双対インデックスの定義で使われている双対インデックスの定義をまだしていませんでした。このタイミングで双対インデックスを定義することになります。
任意のインデックス$\bk\in\II'$は正の整数$s,a_1,b_1,\dots,a_s,b_s$を用いて$\bk=(\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},b_s+1)$のように表せ、この表示は一意である。このとき、$\bk$に対する双対インデックス$\bk^{\dagger}$を$\bk^{\dagger}=(\{1\}^{b_s-1},a_s+1,\dots,\{1\}^{b_1-1},a_1+1)\in\II'$と定義する。ここで$\{*\}^n$は$*$を$n$個繰り返して並べたものする。たとえば$\{1\}^{4}=(1,1,1,1)$や$\bk_{\{\uparrow\}^{3}}=\bk_{\uparrow\uparrow\uparrow}$である。
これで準備万端です！これから連結和のインデックスを輸送関係式によって輸送していきます。どのように輸送していくかという規則を次のように定めます。
$Z_N^{\text{HD}}(\bk;\bl)$のインデックスを輸送するとき、
$\bk\in\II'$のとき、輸送関係式$(\mathrm{i})$を使う。
$\bk\in\II\setminus\II'$ かつ $\bk\neq(1)$のとき、輸送関係式$(\mathrm{ii})$を使う。
$\bk=(1)$となったとき、輸送をやめる。
という規則に従います。このように輸送することで、うまくスタートとゴールがイコールの関係で結ばれるのです。この事実をきちんと証明して、ついにHoffmanの恒等式の連結和法による証明が完結します！
スタートは$Z_N^{\text{HD}}(\bk_{\uparrow};\varnothing)$ (ただし$\bk\in\II$)です。これを上のルールにしたがって輸送していくのですが、このままだとインデックス$\bk$(あるいは$\bk_{\uparrow}$)に具体性がなさすぎて輸送の様子を把握することは困難です。そこで活躍するのが双対インデックスの定義の際に出てきた表示です！$\bk\in\II$なので、$\bk_{\uparrow}\in\II'$です。したがって$\bk_{\uparrow}=(\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},b_s+1)$となるような正の整数$s,a_1,b_1,\dots,a_s,b_s$が一意に定まります。これらを用いて具体的に輸送していきましょう。
$Z_N^{\text{HD}}(\bk_{\uparrow};\varnothing)$がスタートで、$\bk_{\uparrow}\in\II'$なので、上のルールに従えばルール１が適用されます。すなわち$Z_N^{\text{HD}}(\bk_{\uparrow};\varnothing)$のインデックスを輸送関係式$(\mathrm{i})$により輸送します。
$\displaystyle Z_N^{\text{HD}}(\bk_{\uparrow};\varnothing)\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},b_s+1);\varnothing)\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},b_s)_{\uparrow};\varnothing)\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},b_s);{}_{\leftarrow}\varnothing)\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},b_s);(1))$
と言った具合です。輸送関係式$(\mathrm{i})$は３行目から４行目にかけて使っています。確かにインデックスを左から右に輸送している感じがしませんか？
さて、今私たちは輸送関係式$(\mathrm{i})$を使いました。あと何回輸送関係式$(\mathrm{i})$を使った後に、輸送関係式$(\mathrm{ii})$を使うことになるか考えてみてください。分かりましたか？正解はあと$b_s-1$回です。なぜなら、輸送関係式$(\mathrm{i})$を1回使うごとに輸送する側のインデックスの最後の値が1ずつ減りますが、これが1になったときに＝輸送するインデックスが$\II\setminus\II'$の元となったときに輸送関係式$(\mathrm{ii})$を適用するからです。つまり$b_s$が1になるまで$(\mathrm{i})$を使うので、あと$b_s-1$回となります。ここで、もし$b_s=1$なら$b_s-1=0$より次に使う輸送関係式は輸送関係式$(\mathrm{ii})$ということになります。まとめると、1回目の輸送と合わせてスタートから計$b_s$回、輸送関係式$(\mathrm{i})$により輸送することになります。ではスタートから$b_s$回輸送関係式$(\mathrm{i})$により輸送するとどうなるでしょうか。
$\displaystyle Z_N^{\text{HD}}(\bk_{\uparrow};\varnothing)\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},b_s+1);\varnothing)\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},1)_{\{\uparrow\}^{b_s}};\varnothing)\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},1);{}_{\{\leftarrow\}^{b_s}}\varnothing)\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},1);(\{1\}^{b_s}))\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s});(\{1\}^{b_s}))$
というようになります。さあこれで輸送する側のインデックス$(\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s})$が$\II\setminus\II'$の元となり、輸送関係式$(\mathrm{ii})$の出番となります。先ほどと同様に考えると、今度は$a_s$回、輸送関係式$(\mathrm{ii})$を使えばよいということになります。
$\displaystyle Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s});(\{1\}^{b_s}))\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,b_{s-1}+1)_{\{\to\}^{a_s}};(\{1\}^{b_s}))\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,b_{s-1}+1);({}_{\{\uparrow\}^{a_s}}\{1\}^{b_s}))\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,b_{s-1}+1);(a_s+1,\{1\}^{b_s-1}))$
と輸送でき、輸送する側のインデックス$(\{1\}^{a_1-1},b_1+1,\dots,b_{s-1}+1)$が今度は再び$\II$の元に切り替わりました。したがって今度は$b_{s-1}$回輸送関係式$(\mathrm{i})$を、さらに次は$a_{s-1}$回輸送関係式$(\mathrm{ii})$を、というように輸送していくことが分かります。これを続けていくと、スタートから数えて$b_s+a_s+\dots+b_1+a_1-1$回輸送した結果、輸送する側のインデックスが$(1)$となってルール３より輸送が終了します。ここで最後はインデックスが$(1)$になった段階でストップするので、輸送する回数は$b_s+a_s+\dots+b_1+a_1$回ではなくそれよりも1回少なくなることに注意します。実際スタート$Z_N^{\text{HD}}(\bk_{\uparrow};\varnothing)$から$b_s+a_s+\dots+b_1+a_1-1$回輸送すると、
$\displaystyle Z_N^{\text{HD}}(\bk_{\uparrow};\varnothing)\\
=Z_N^{\text{HD}}((\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},b_s+1);\varnothing)\\
=Z_N^{\text{HD}}((1)_{\{\to\}^{a_1-1}\{\uparrow\}^{b_1}\dots\{\to\}^{a_s}\{\uparrow\}^{b_s}};\varnothing)\\
=Z_N^{\text{HD}}((1);{}_{\{\uparrow\}^{a_1-1}\{\leftarrow\}^{b_1}\dots\{\uparrow\}^{a_s}\{\leftarrow\}^{b_s}}\varnothing)\\
=Z_N^{\text{HD}}((1);(a_1,\{1\}^{b_1-1},a_2+1,\{1\}^{b_2-1},\dots,a_s+1,\{1\}^{b_s-1})).
$
となって、輸送が完了しました。ここで、輸送されてできたインデックス$(a_1,\{1\}^{b_1-1},a_2+1,\{1\}^{b_2-1},\dots,a_s+1,\{1\}^{b_s-1})$について考えてみましょう。これは、次のように変形できます。
$\displaystyle (a_1,\{1\}^{b_1-1},a_2+1,\{1\}^{b_2-1},\dots,a_s+1,\{1\}^{b_s-1})\\
=\overline{(\{1\}^{b_s-1},a_s+1,\dots,\{1\}^{b_2-1},a_2+1,\{1\}^{b_1-1},a_1)}\\
=\overline{(\{1\}^{b_s-1},a_s+1,\dots,\{1\}^{b_2-1},a_2+1,\{1\}^{b_1-1},a_1+1)_{\downarrow}}\\
=\overline{((\bk_{\uparrow})^{\dagger})_{\downarrow}}.$
ここで先ほど定義した双対インデックスが出てくるのです！ところで、$\overline{((\bk_{\uparrow})^{\dagger})_{\downarrow}}$に見覚えはありませんか？もういいですね。そうです、このインデックスこそがHoffman双対インデックスの正体だったのです！Hoffman双対インデックスは$\bk^{\vee}$と表記することになっていたので、結局次の式が導かれます。
$$Z_N^{\text{HD}}(\bk_{\uparrow};\varnothing)=Z_N^{\text{HD}}((1);\bk^{\vee}).$$
これできちんとスタートとゴールが輸送関係式によって等式で結ばれることが示されました。さあいよいよクライマックスです！この瞬間のために用意した境界条件の出番です！命題５を上の式に適用すると！！ついに！！！この式が得られました！！！！！
$$\displaystyle H_N^{\star}(\bk)=\zeta_N^{\star}(\bk^{\vee}).$$
この式こそがHoffmanの恒等式でした。これにて、証明が完了したわけです。 $(\mathrm{Q.E.D.})$
おわりに
この最後の章で、連結和法による証明をまとめてみたいと思います。
まずは初手として連結和を定義したのでした。この連結和を発見することが唯一の連結和法のネックでしたね。私たちは今回定義を受け入れることにしました。次に用意したのは輸送関係式でした。そのために二項係数に関する級数の補題を２つ用意しました。輸送関係式の証明は級数の変形のみで、特別なテクニックを必要としない点は素晴らしいポイントです。そして境界条件を確認しました。最後に、輸送関係式を用いて$Z_N^{\text{HD}}(\bk_{\uparrow};\varnothing)$というスタートから出発し、$b_s+a_s+\dots+b_1+a_1-1$回インデックスを輸送して$Z_N^{\text{HD}}((1);\bk^{\vee})$というゴールまで結びつけました。ところで$b_s+a_s+\dots+b_1+a_1-1$という数字ですが、$\bk_{\uparrow}=(\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},b_s+1)$であったので$\bk=(\{1\}^{a_1-1},b_1+1,\dots,\{1\}^{a_s-1},b_s)$です。したがって$b_s+a_s+\dots+b_1+a_1-1$はもっと簡潔に$\wt(\bk)$と表現することができます。くどいですがもう一度言い直せば、輸送関係式を用いてルールに従ってインデックスを$\wt(\bk)$回輸送することで、$Z_N^{\text{HD}}(\bk_{\uparrow};\varnothing)=Z_N^{\text{HD}}((1);\bk^{\vee})$が導けるということです。最後に境界条件を適用して証明終了です。
連結和法によるHoffamnの恒等式の証明、いかがだったでしょうか。計算がやや面倒な部分もあったかもしれませんが、こんなに非自明な結果がこのような初等的な計算で証明できるということは驚くべきことです。少しでもこの証明方法の凄さや多重ゼータ値の面白さ、ひいては数学の面白さを味ってもらえたなら幸いです。では今日はこの辺で。最後までお読みいただきありがとうございました！
参考文献
[S] Shin-ichiro Seki, Connectors, arXiv preprint arXiv:2006.09076.