複素変数大野関係式
この記事はこの曲を聴きながら読むのがオススメです:
The New Power Generation - Get Wild
Prince (New Power Generation) performing 'Get Wild' on The White Room
ゼータ Advent Calendar 2019 - Adventar へようこそ。本記事は 10 日目の記事です。
最初に、本記事の完成が盛大に遅れたことをお詫び申し上げます。2 日目の記事もすぐ仕上げます...
前回に引き続き大野関係式の話です。前回の記事は
o-v-e-r-h-e-a-t.hatenablog.com
を、大野関係式自体の仔細は
をご覧ください。
さて今回はこの論文
[1808.07203] An interpolation of Ohno's relation to complex functions
の主定理についてお話します。これは大野関係式の「複素数への補間」をもたらします。
とりあえず大野関係式についての (前回のほぼコピペですが) 復習を。
を正整数とし、 を正整数 個の組とします。このような をインデックスと呼びます。最後の成分 が 以上のとき、 を許容インデックスと呼びます。
許容インデックス に対し、多重ゼータ値 (multiple zeta value, MZV) を以下で定義します:
が許容的なのでこの級数は収束します。
次に双対性を state します。許容インデックス は正整数 による一意な表示
を持つので、これによって を
と定めます。
このとき、次の定理が成り立ちます:
[定理 (双対性)]
許容インデックス に対し
.
これだけでも非常に美しく非自明な定理なのですが、大野関係式はこれをさらに強くします。非負整数 と許容インデックス に対し大野和を以下で定義します:
ここで、和の変数 は非負整数 個の組であって各成分の和が であるようなものをわたり、 は各成分ごとの和とします。以降 は省略します。
このとき、大野和に対しても双対性が成り立つ と主張するのが大野関係式です。当然 とすれば の双対性が得られます。
さて複素補間を考えていきます。許容的とは限らないインデックス と複素数 に対し
と定めます。ここで積の条件 は でない整数 をわたるものと約束します。
この関数 が大野和の一般化になっていることを次の補題で確認します。
証明.
各 に対し
とおきます。補題の両辺の に関する母関数をとって、
を示すことにしましょう。両辺に の積をかけることで分母を払い、示したい等式が
のように変形できるので、Lagrange 補間
が適用できます。具体的には 点 に対し Lagrange 補間を適用することで上記等式が示せます。[証明終わり]
この補題を大野和の定義 (多重ゼータ値の線型和のほう) に適用することで、複素変数の で としたものと一致することが確認できます。
次の補題は有名です (証明は Apostol の教科書 Introduction to Analytic Number Theory などを参照)。
各 に対し
は明らかに Dirichlet 級数です (カッコ内の和では を固定していることに注意)。なので、必然的に も Dirichlet 級数です。 とおけば、大野関係式より非負整数 に対し は に依存せず定まります。従って と選ぶことで補間大野和とその双対 は補題 2 の仮定を満足し、 がいえます。これが示したいことでした。[主定理の証明終わり]
Acknowledgements. 原論文の Lemma 2.1 (本記事での補題 1) の証明を教えてくださった Oddie さん @math_elliptic、ADE さん @grand_antiprism、Kuma さん @notori48 に感謝します。こいついつも最初の補題の証明人任せだな
二重大野関係式
この記事はこの曲を聴きながら読むのがオススメです:
Prince - Ripopgodazippa
04.Ripopgodazippa
日曜数学 Advent Calendar 2019 - Adventar へようこそ。本記事は 3 日目の記事です。
多重ゼータ値間の関係式はたくさん知られていますが、それらの中でもひときわ強い輝きを放っているものに「大野関係式」というものがあります。ところが 2019 年 10 月、以下の論文がarXiv にアップロードされました;
[1910.07740] Linear relations of Ohno sums of multiple zeta values
これはいわば「大野大野関係式」とでも呼ぶべき関係式が見つかったという論文です。本記事はこの論文の、該当する定理の証明について行間を埋めながら和訳するものです。
まずは大野関係式について復習しましょう: を正整数とし、 を正整数 個の組とします。このような をインデックスと呼びます。最後の成分 が 以上のとき、 を許容インデックスと呼びます。
許容インデックス に対し、多重ゼータ値 (multiple zeta value, MZV) を以下で定義します:
が許容的なのでこの級数は収束します。
次に双対性を state します。 を有理係数二変数非可換多項式環 (Hoffman 代数とかよくいいます) とし、-線型写像 を で定めます。(線型写像と言っているので係数 の単項式の行き先だけで は決まり、さらに の任意のそういった単項式は の形で一意に書けるのでこういう定め方ができます)
さて上の議論から の単項式 と許容インデックス に一対一の対応がつくことがわかりました。これを使って、与えられた許容インデックス の双対 を に対応する許容インデックスと定義します。これは次のようにも言い換えられます: 許容インデックス は正整数 による一意な表示
を持つので, これによって を
と定めます。
このとき、次の定理が成り立ちます:
[定理 (双対性)]
許容インデックス に対し
.
これだけでも非常に美しく非自明な定理なのですが、大野関係式はこれをさらに強くします。非負整数 と許容インデックス に対し大野和を以下で定義します:
ここで、和の変数 は非負整数 個の組であって各成分の和が であるようなものをわたり、 は各成分ごとの和とします。以降 は省略します。
このとき、大野和に対しても双対性が成り立つ と主張するのが大野関係式です。当然 とすれば の双対性が得られます。大野関係式そのものの証明は補題 5 で行います。
さてこれから二重大野関係式を考えていきます。ステートメントは以下です: を非負整数とし、インデックス は の単項式で書いたとき と書けるものとします。このとき二重大野和を
で定めると、これに関して双対性 が成り立つというのが二重大野関係式です。インデックスの条件を言い換えると、非負整数 による表示
を持つようなもの、となります。
証明に際していくつか記号を準備していきます。
まず を単項式の変数を入れ替えて逆に読むことで定まる反自己同型 (つまり を にうつし、定数倍を保存する写像) とし、 は を入れ替えるだけで逆読みはしない自己同型とします。要するに は双対をとる写像ですね。
次に (非可換な冪級数環) とし、自己同型 を で定めます。これを使って非負整数 に対し -線型写像 を をあててから の次数が の項をとる写像として定めます。
最後に線型写像 を単項式の単なる逆読み写像 (変数は入れ替えない) とし、 を単項式に読み替える写像とします。
このとき
であるので、
とわかります。定義より明らかに なので、結局二重大野関係式は次のように書き換えることができます:
[定理 (二重大野関係式)]
任意の と非負整数 に対し .
証明.
はともに 上の線型写像なので、単項式 () に対していえば十分であることがわかります。
である一方
なので、結局 をいえばいいことになります。ここで の長さに関する帰納法を使います: ( は非負整数) のときは自明で、次に とおくと
ですが、帰納法の仮定によりこれは に等しいです。一方で
なので主張を得ます。[証明終わり]
証明.
いずれも両辺は -線型なので単項式に対して示せばよいです。
(1)
(2)
(3)
[証明終わり]
証明.
に対し を で定まる 上の自己同型としたとき、この補題の等式は
と同値なので、以降これを示します。 は定義より明らかなので、補題1,2より
となります。まったく同じ議論を でも行うことで、
がわかります。(当然これらの等式は 上で成り立つものです。) この二つの等式から
をいえばいいことになりますが、両辺の と で囲まれた部分はともに 上の環準同型なので、結局のところ等式
を 上で示せば十分です。ここで明らかに と なので、対称性より についていえば十分となります。定義通りに両辺を計算すると
となり、補題が示せました。
[証明終わり]
証明.
明らかに
ですが、仮定を と に対して使うと
となり、補題 3 が使えて
となります。ここで再び仮定を、今度は と に対して使うことで
となり、主張が示せました。
証明終わり.
証明.
これは Hoffman 代数での主張ですが、最初に示した等式
より、多重ゼータ値のことばで書き直すと
となります。最初でもそうしていたように、左辺を と書くことにします。これの に関する母関数をとり、これを とかくことにすると、結局は双対性 を示せばよいことになります。 は定義より
となります。ここでインデックス に対し
とおきます。ただし は Pochhammer 記号です。このとき明らかに対称性 が成り立ち、また非負整数 に対して成り立つ簡単な等式
から もわかります。この関係式を繰り返し適用することで双対性 が得られます。
証明終わり.
[定理 (二重大野関係式)]
任意の と非負整数 に対し .
証明.
補題 5 において とすると となる (これは明らかに MZV の双対性です) ので、これを において適用することで となります。したがって補題 4 において と選ぶと仮定が満たされているので
が成り立つことがわかります。一方先ほど使った MZV の双対性 より上記等式の最初の を除去できて、定理を得ます。
証明終わり.
Acknowledgements. 原論文の行間埋めに詰まっていたところ、補題 1 の証明を与えてくれた Oddie さん @math_elliptic さんに感謝します。また、全体的な議論に付き合ってくださった GSC ROOT プログラムの皆さん (特に 後藤珀斗 くん) に感謝します。
complex-weighted gamma function
内容がある記事ではないですが, とりあえず (誰もやっていなかったのなら) ぼくが真っ先に考えた関数, ということを証明するためにここにメモしておきます.
複素数 に対し, complex-weighted Hurwitz zeta function を以下で定めます:
ここから complex-weighted gamma function を で定めます. もちろん .
より一般に, に対し complex-weighted Barnes multiple zeta functions を
で定め, での微分係数を とします. これを complex-weighted multiple gamma functions と呼ぶことにします.
青鬼6.23RTAの話
突然ですが、青鬼 というゲームがあります。
ウェブ上で無料配布されている謎解き型ホラーゲームです。青い謎のオバケから逃げ回って探索をしていきます。
私は数年前からこのゲームのRTA(リアルタイムアタック)をやっておりまして、それに必要な技術について少し考察したのでここに述べておきます。
青鬼は先述の通り鬼から逃げるゲームでもあるのですが、その中のワンシーンに 地下牢 が登場します。
この中に落ちている鍵 (光っているものがそれです) を拾うと、下の扉から青鬼が入ってきます。しかし彼 (?) は牢の扉を開けることができず、しばらく放っておくと突然画面が切り替わり鬼の顔がアップになって鉄格子を揺らしてくるシーンが挿入されます。
初見の人をビビらせるシーンの一つであり、実況プレイ動画では名物となっています。
しかしタイムアタックをやるうえではこのような演出を待っていては大幅なタイムロスになります。したがって、鬼が入ってきたらすぐに牢の扉を開け、檻の中でうまく鬼をかわして出ていく必要があるわけです。
さて言葉を定義しましょう。まず檻の中の面積は マスあります。今からここに離散的な座標を振っていきます: 左上のマスを とし, 右下のマスを とおきます。上の画像でひろし (主人公) が立っているのは ですね。
鬼を檻の中でかわすには、檻の中の一番外側をぐるっと回るのが一番確実だというのが容易に推測できます。扉の目の前は ですから、扉を開けたらすぐに右へ走り、 についたら鬼を引き付けながら上へ走って へ、そこから左に走って に着き、真下へ向かって脱出という具合です (下記動画の 3:43 からがわかりやすいです。当然ながらホラー注意。)
【青鬼TA】営業成績一位の男にガチ実況させてみた コメント有
この脱出方法では、ひろしが面積 の長方形の外周を走って逃げていると考えられます。こういった脱出方法を ]-type と呼ぶことにしましょう。
より一般に、面積 の長方形の上を逃げる方法を ]-type と定めます ()。また、整数 に対し ]-type で実際に逃げ切れる場合 は檻脱出問題の解である ( gives a solution of the escaping-in-jail problem) と呼ぶことにします。
さて、以下のような問題が考えられます:
[檻脱出問題の minimal solution]
檻脱出問題の解となる の最小値はいくらか?
は明らかに解になりえないので、 かつ を仮定します。
上記の結果 (王定六, 2011) より という解が与えられました。しかしこれは最小ではなく、青にいと (2015) によってより強い評価が得られました:
檻脱出問題には解 が存在する。
証明はこちら:
なお、青にいと氏の上記動画は青鬼 6.23のタイムアタックで現行最速となっています。
そして以下が私の主定理です:
檻脱出問題には解 が存在する。
証明はこちら:
仮定より、 の評価が最も強いので、檻の中での回避の最短ケースもこれで確定しました。
The structure of some operators of q-multiple gamma functions
メモ書きのような体裁で申し訳ありませんが, 忘れないうちに.
まず Shibukawa-Tanaka 型 -multiple zeta:
とりあえず は片側条件 (SOC のほうがいいか) を満たし, は上半平面の元とします.
は q-BM type multiple gamma. ぼくが導入した type の奴です. これは微分での reduction 条件 (Kinkelin's formula)
を満たします. また ladder structure もあります. そして Tanaka type product expression が
です. Kinkelin と ladder はここから自明.
まぁとりあえず, 中身を抜き出しておきます:
こうすると
ですね. それぞれ上から ladder, Kinkelin, Raabe と対応しますが, 一番下は何でしょうね. もしかしたら Shintani type product かな ? まぁともかく, これらを作用素と思って, 上から と書くことにします (変数は当然動かすもの). そうすると ですね. 要するに (いまは) 本質的には だけということです. なのでとりあえず今はこれらを生成元にした代数を考えたいですね (何かイイ感じの環係数の二変数多項式環の word とおもったほうがいいかも.).
まぁともかく, はなんかいいかんじの polylog の一般化と思えそうなので, それらの parameter をある程度自由に調整できる作用素がほしかったわけです. (古典全振り) ならただの polylog になりますし, (量子全振り) なら Narukawa の q-polylog になります. せきゅーんさんの言葉を借りれば, 一般の は ``変身途中" みたいなものですね. ねむい, 明日 (今日) は複素代数幾何のセミナー発表ですが準備ぜんぜんおわってないです. 層むずい. Hartshorne で勉強したら fiber space の感覚にはなれないですね.
ところで, の分母, 普通のべき乗と何かの変数が絡んだ因子が混ざり合ってるわけですけど, これ Ohno sum の母関数ににてませんか.
BM 型多重ガンマ関数とその周辺 (1)
この記事はこの曲を聴きながら読むのがオススメです:
Prince - Days Of Wild
Prince - Days of Wild
最近、私の BM 型多重ガンマ関数に関する結果が二つ出ました:
[1905.08068] The $q$-multiple gamma functions of Barnes-Milnor type
[1906.00344] Asymptotic Expansions for the multiple gamma functions of Barnes-Milnor type
しかしまぁ知名度の低い分野であることには変わりなく、この場でゆる~い入門記事でも書こうと思います。前提知識の要求はしませんが、変形はそこまで親切ではないのでちょっと慣れている必要があるかもしれません。
Barnes の多重ゼータ関数を以下で定めます:
ここで , は実部が正の複素数 個の組とします。 は整数 個の組で、和の約束 は に対して を意味するものとします。
変数 はとりあえず実部が正としておきましょう。級数は今のところ で絶対かつ一様に収束するので、とりあえずこの範囲内で考えておきます。
いろいろやることはありますが、とりあえず特殊値でも計算してみましょう。準備のため多重 Bernoulli 多項式 を以下で定めます:
が の 次多項式であることは簡単に示せます。さて実部が正の $a$ に対する古典的な公式
によって
がわかりますね。さてこの積分を次のようにカチ割りましょう:
この「被積分関数(の一部)を Laurent 展開して有限項ぶっこ抜く」は後々使う便利なメソッドなので覚えておいてください。
さてこのとき明らかに は整関数で、かつ は中身が で ぐらいのサイズなので で正則ですね。というワケで
\begin{eqnarray*}\displaystyle\zeta_r(-n,w,{\boldsymbol{\omega}})&=&\lim_{s\rightarrow{-n}}\frac{1}{\Gamma(s)}(I_1(s)+I^n_2(s)+I^n_3(s))\\&=&\lim_{s\rightarrow{-n}} \frac{1}{\Gamma(s)}\int_0^1 \left(\sum_{k=-r}^{n} a_{r,k}(w;{\boldsymbol{\omega}})t^k\right)\\&{}&\times t^{s-1}\,dt\\&=&\lim_{s\rightarrow{-n}}\frac{1}{\Gamma(s)}\sum_{k=-r}^n \frac{a_{r,k}(w;{\boldsymbol{\omega}})}{s+k}\\&=&(-1)^nn!a_{r,n}(w;{\boldsymbol{\omega}})\end{eqnarray*}
となります(最後でガンマ関数の留数の情報を使いました)。コレは Hurwitz ゼータの負整数点での値が Bernoulli 多項式で書けるという結果の一般化です。
あともういくつか の情報をみていきましょう。母関数は を満たすので、係数比較すると
となります。微分するとマイナスがついて位数 (って言っていいのか?) が下がる、というワケですね。
んで次は二つの母関数 , を畳み込んでみましょう: 計算はめんどい (マジで畳み込むだけ) ので略しますが、
となります。
ちょっと休憩。続きはまたいつか。