始まりは日々の業務で確率論の数理モデルをリサーチしていた際でして,幻影数(ファントム・ナンバー)という如何にも(笑)な名称の数体系に触れる機会がありました.
初めは懐疑的ながら実務の観点から資料をテキトーに読み調べていただけだったのですが,次第に幻影単位$\wp$が満足する方程式$X^2-X=0$から直ちに導かれる,直交冪等元とも言われる$\wp,1-\wp$の互いに干渉せず独立した基底としての振る舞いに対して好奇心を抱くようになりました.
「如何なる複雑な関数であってもこの直交冪等元を用いれば切り分けることが出来るだろう。そうしたら,リーマン・ゼータ関数のような特殊関数の場合には,正の偶数の特殊値と解析接続により正当化される非正整数の特殊値が共存する面白い無限級数を生み出せるのではないだろうか」
切っ掛けはそんな些細なものでしたが,リーマン・ゼータ関数の幻影平面$\mathbb{PH}(\mathbb{C})$への拡張を通じて多くの特殊値等を手に入れました.そして,それから調子付いて息抜きの思考実験として非自明な零点の点群を追跡していく中で数学や物理学で有名な予想を仮定しつつ興味深い示唆が得られました。それは,量子力学のエネルギー準位との関係性でした.
本記事では,その幻影数による拡張(以降「幻影ゼータ関数」と呼称)とそこから浮かび上がった自然な繋がりについてレポートします.
幻影数という概念それ自体の詳細は,
きいねくさんの旧Twitterのポスト
をご参照下さいますと幸いです.
幻影複素数環$\mathbb{PH}(\mathbb{C})$の変数$z=x+y\wp\enspace(x,y\in\mathbb{C})$に対し,幻影ゼータ関数$\zeta_\mathbb{PH}\left.\right.\colon\left.\right.\left.\right.\mathbb{PH}(\mathbb{C})\setminus\{z=x+y\wp\in\mathbb{PH}(\mathbb{C})\mid(x=1)\lor(x+y=1)\}\ni z\mapsto\zeta_\mathbb{PH}(z)\in\mathbb{PH}(\mathbb{C})$を以下に定義する.
$$\zeta_\mathbb{PH}(x+y\wp)\coloneqq\zeta(x)\cdot(1-\wp)+\zeta(x+y)\cdot\wp.$$
但し,以上の定義に既存のリーマン・ゼータ関数$\zeta\left.\right.\colon\left.\right.\left.\right.\mathbb{C}\setminus\{1\}\rightarrow\mathbb{C}$を使用している.
幻影ゼータ関数は,既存のリーマン・ゼータ関数$\zeta\left.\right.\colon\left.\right.\left.\right.\mathbb{C}\setminus\{1\}\to\mathbb{C}$の幻影平面$\mathbb{PH}(\mathbb{C})\setminus\{z=x+y\wp\in\mathbb{PH}(\mathbb{C})\mid(x=1)\lor(x+y=1)\}$への拡張で唯一のカノニカルな拡張を与えている.
代数的に定義された幻影ゼータ関数ではあったが,$(\mathop{\mathrm{Re}}x>1)\left.\right.\&\left.\right.(\mathop{\mathrm{Re}}x+\mathop{\mathrm{Re}}y>1)$なる収束領域では本来のディリクレ級数の無限総和と一致する.
$$
\begin{aligned}
\zeta_\mathbb{PH}(z) &=\zeta_\mathbb{PH}(x+y\wp) \\
&=\zeta(x)\cdot(1-\wp)+\zeta(x+y)\cdot\wp \\
&=\left(\sum_{n=1}^\infty\frac{1}{n^x}\right)(1-\wp)+\left(\sum_{m=1}^\infty\frac{1}{m^{x+y}}\right)\wp \\
&=\left.\left.\sum_{n=1}^\infty\right(e^{-x\ln n}(1-\wp)\right)+\left.\left.\sum_{m=1}^\infty\right(e^{-(x+y)\ln m}\wp\right) \\
&=\left.\left.\sum_{n=1}^\infty\right(e^{-x\ln n}(1-\wp)+e^{-(x+y)\ln n}\wp\right) \\
&=\left.\left.\sum_{n=1}^\infty\right(e^{-x\ln n}(1-\wp)+e^{-(x+y)\ln n}\wp+0\right) \\
&=\left.\left.\sum_{n=1}^\infty\right(e^{-x\ln n}(1-\wp)+e^{-(x+y)\ln n}\wp+((1-(1-\wp))+(1-\wp)-1)\right) \\
&=\left.\left.\sum_{n=1}^\infty\right((1+e^{-x\ln n}(1-\wp)-(1-\wp))+(1+e^{-(x+y)\ln n}\wp-\wp)-1\right) \\
&=\left.\left.\sum_{n=1}^\infty\right((1+(e^{-x\ln n}-1)(1-\wp))+(1+(e^{-(x+y)\ln n}-1)\wp)-1\right) \\
&=\left.\left.\sum_{n=1}^\infty\right(e^{(-x\ln n)(1-\wp)}+e^{(-(x+y)\ln n)\wp}-1\right) \\
&=\left.\left.\sum_{n=1}^\infty\right.e^{(-x\ln n)(1-\wp)+(-(x+y)\ln n)\wp}\right.\phantom{\Biggl(\Biggr)} \\
&=\left.\left.\sum_{n=1}^\infty\right.e^{-(x(1-\wp)+(x+y)\wp)\ln n}\right.\phantom{\Biggl(\Biggr)} \\
&=\left.\left.\sum_{n=1}^\infty\right.e^{-(x+y\wp)\ln n}\right.\phantom{\Biggl(\Biggr)} \\
&=\left.\left.\sum_{n=1}^\infty\right.e^{-z\ln n}\right.\phantom{\Biggl(\Biggr)} \\
&=\left.\left.\sum_{n=1}^\infty\right.\frac{1}{n^z}\right.\phantom{\Biggl(\Biggr)} \\
&=\zeta(z).
\end{aligned}
$$
次に,環準同型定理と中国剰余定理より次に示す環同型が成り立つので,
$$
\begin{aligned}
\mathbb{PH}(\mathbb{C}) &\cong\mathbb{C}[X]/(X^2-X) \\
&\cong\mathbb{C}[X]/(X)\times\mathbb{C}[X]/(X-1) \\
&\cong\mathbb{C}^2\enspace(\cong\mathbb{R}^4).
\end{aligned}
$$
幻影ゼータ関数は次の通りベクトル値2変数複素関数$\zeta_\mathbb{PH}\left.\right.\colon\left.\right.\left.\right.\mathbb{C}^2\setminus\{z=(x,x+y)\in\mathbb{C}^2\mid(x=1)\lor(x+y=1)\}\to\mathbb{C}^2$と看做せる.
$$\zeta_\mathbb{PH}\begin{pmatrix}x\\x+y\end{pmatrix}=\begin{pmatrix}\zeta(x)\\\zeta(x+y)\end{pmatrix}.$$
又更に,環同型$\mathbb{C}\cong\mathbb{R}^2$から幻影平面$\mathbb{PH}(\mathbb{C})$は4次の実数空間とも捉えられユークリッド距離が誘導する位相を定められるから,リーマン・ゼータ関数の正則性と多変数複素関数論の「ハルトークスの定理」から収束領域$\{z=(x,x+y)\in\mathbb{C}^2\mid(\mathop{\mathrm{Re}}x>1)\land(\mathop{\mathrm{Re}}x+\mathop{\mathrm{Re}}y>1)\}$に於いての,ベクトル値2変数複素関数として扱った場合の幻影ゼータ関数の正則性は明らか.
故に,収束領域$\{z=(x,x+y)\in\mathbb{C}^2\mid(\mathop{\mathrm{Re}}x>1)\land(\mathop{\mathrm{Re}}x+\mathop{\mathrm{Re}}y>1)\}$は2次の直積複素数環$\mathbb{C}^2$に於いて非空な開集合なので,多変数複素関数論の「一致の定理」の条件の充足が確認される.同定理を適用することで,幻影ゼータ関数が$(x=1)\left.\right.\text{or}\left.\right.(x+y=1)$なる特異$\text{“}$平面$\text{”}$を除いた連結な領域全域へ唯一つの形として解析接続されることが承認されよう.
$\square$
先の証明で,幻影平面$\mathbb{PH}(\mathbb{C})$で直接的に差分商の極限(以降「幻影微分」と呼称)を評価するのではなく複素2次元空間$\mathbb{C}^2$へのベクトル値関数に翻訳して評価したのには解析的な理由がある.
幻影平面での微小変化$\varDelta z=\varDelta x+\varDelta y\cdot\wp$を使って微分係数を直接定義しようとした場合,$\varDelta z$が零因子となる方向へ極限を採る際に代数的な破綻が生じてしまうのだ.例えば,非幻影部を固定して純幻影部のみを変動させる特異方向への極限$(\varDelta x=0,\varDelta y)\to(\varDelta x=0,0)$を計算すると,直交冪等元の関係式によって割り算の逆演算が一意に定まらず,微分係数は微分定数を$C\in\mathbb{C}$として
$$\frac{d}{dz}\zeta_\mathbb{PH}(z)=\zeta^\prime(x+y)\cdot\wp+C\cdot(1-\wp)$$
という具合に不定性を抱えてしまい,多変数複素関数論の「一致の定理」の条件となる解析性を脅かし兼ねない.
幻影平面という代数的な舞台から一先ず$\mathbb{C}^2$という標準的な複素空間に降ろし各成分での独立した正則性(多変数複素関数論の「ハルトークスの定理」)を絶対の担保として解析接続を行うという一見して迂遠な迂回こそが当拡張を正当たらしめている.
では,早速ですが,幻影変数$z\in\mathbb{PH}(\mathbb{C})$として$z=2-2\wp$を幻影ゼータ関数に狙い撃ちで代入してみましょう.
$$
\begin{aligned}
\zeta_\mathbb{PH}(2-2\wp) &=\zeta(2)\cdot(1-\wp)+\zeta(2-2)\cdot\wp \\
&=\zeta(2)\cdot(1-\wp)+\zeta(0)\cdot\wp \\
&=\frac{\pi^2}{6}(1-\wp)+\left(-\frac{1}{2}\right)\wp.
\end{aligned}
$$
そしてさらに,この結果を敢えて本来は収束しないディリクレ級数の無限総和に書き換えてみたところ,次の様な奇妙な等式が得られました.
$$\sum_{n=1}^\infty n^{2\wp-2}\mathrel{\text{‘}}=\mathrel{\text{’}}\frac{\pi^2}{6}(1-\wp)+\left(-\frac{1}{2}\right)\wp.$$
幾何的な調和を象徴するバーゼル問題の輝きの隣で解析接続の魔術によって手懐けられた発散級数が深淵を覗かせている,そんな秩序と混沌が一つに交錯した印象の式です.
今迄に得られた諸結果の等式群を一覧にしましょう.但し,正の整数$m\in\mathbb{N}$,非負整数$m^\prime\in\mathbb{N}_0$としています.
$$ \begin{aligned} \sum_{n=1}^\infty n^{2\wp-2} &\mathrel{\text{‘}}=\mathrel{\text{’}}\frac{\pi^2}{6}(1-\wp)+\left(-\frac{1}{2}\right)\wp \\ \sum_{n=1}^\infty n^{2\wp-3} &\mathrel{\text{‘}}=\mathrel{\text{’}}\frac{\pi^2}{6}(1-\wp)+\left(-\frac{1}{12}\right)\wp \\ \sum_{n=1}^\infty n^{(2m+m^\prime)\wp-2m} &\mathrel{\text{‘}}=\mathrel{\text{’}}(-1)^{m+1}\left(\frac{B_{2m}(2\pi)^{2m}}{2(2m)!}\right)(1-\wp)+(-1)^{m^\prime+1}\left(\frac{B_{m^\prime+1}}{m^\prime+1}\right)\wp \end{aligned} $$
$$ \begin{aligned} \lim_{y\to0}\left(\frac{\zeta_\mathbb{PH}(-2+y\wp)}{y}\right) &=-\frac{\zeta(3)}{4\pi^2}\wp \\ \lim_{y\to0}\left(\frac{\zeta_\mathbb{PH}(-2m+y\wp)}{y}\right) &=(-1)^m\left(\frac{(2m)!}{2^{2m+1}\pi^{2m}}\right)\zeta(2m+1)\cdot\wp \end{aligned} $$
$$ \begin{aligned} \lim_{\varepsilon\to0}\left(\frac{\zeta_\mathbb{PH}(1+\varepsilon-2\varepsilon\wp)+\smash{\overline{\zeta_\mathbb{PH}(1+\varepsilon-2\varepsilon\wp)}^\mathbb{PH}}}{2}\right) &=\gamma\phantom{\lim_{\varepsilon\to0}\left(\frac{\zeta_\mathbb{PH}(1+\varepsilon-2\varepsilon\wp)+\overline{\zeta_\mathbb{PH}(1+\varepsilon-2\varepsilon\wp)}^\mathbb{PH}}{2}\right)} \\ \lim_{\varepsilon\to0}\left(\frac{\zeta_\mathbb{PH}(-2+(3+\varepsilon)\wp)+\zeta_\mathbb{PH}(-2+(3-\varepsilon)\wp)}{2}\right) &=\gamma\wp \end{aligned} $$
本題を逸脱します,多重ゼータ関数の幻影化も同様に可能だったので閑話休題がてら報告したいです.
既存の多重ゼータ関数$\zeta(s_1,\dots,s_\ell)$の解析接続に於ける特異点から成る集合を$S_\ell\subset\mathbb{C}^\ell$と表記する.
幻影複素数環$\mathbb{PH}(\mathbb{C})$の長さ$\ell$の幻影変数から成る組
$$\boldsymbol{w}=(w_1,\dots,w_\ell)=(u_1+v_1\wp,\dots,u_\ell+v_\ell\wp)=\boldsymbol{u}+\boldsymbol{v}\wp\enspace\enspace(\boldsymbol{u},\boldsymbol{v}\in\mathbb{C}^\ell)$$
に対し,幻影・多重ゼータ関数
$$\zeta_\mathbb{PH}\left.\right.\colon\left.\right.\left.\right.\mathbb{PH}^\ell(\mathbb{C})\setminus\{\boldsymbol{w}=\boldsymbol{u}+\boldsymbol{v}\wp\in\mathbb{PH}^\ell(\mathbb{C})\mid(\boldsymbol{u}\in S_\ell)\lor(\boldsymbol{u}+\boldsymbol{v}\in S_\ell)\}\ni \boldsymbol{w}\longmapsto\zeta_\mathbb{PH}(\boldsymbol{w})\in\mathbb{PH}(\mathbb{C})$$
を以下に定義する.
$$\zeta_\mathbb{PH}(\boldsymbol{u}+\boldsymbol{v}\wp)\coloneqq\zeta(\boldsymbol{u})\cdot(1-\wp)+\zeta(\boldsymbol{u}+\boldsymbol{v})\cdot\wp.$$
但し,以上の定義に既存の解析接続された多重ゼータ関数$\zeta\left.\right.\colon\left.\right.\left.\right.\mathbb{C}^\ell\setminus S_\ell\longrightarrow\mathbb{C}$を使用している.
幻影・多重ゼータ関数は,既存の多重ゼータ関数$\zeta\left.\right.\colon\left.\right.\left.\right.\mathbb{C}^\ell\setminus S_\ell\to\mathbb{C}$の次元$\ell$の幻影空間$\mathbb{PH}^\ell(\mathbb{C})\setminus\{\boldsymbol{w}=\boldsymbol{u}+\boldsymbol{v}\wp\in\mathbb{PH}^\ell(\mathbb{C})\mid(\boldsymbol{u}\in S_\ell)\lor(\boldsymbol{u}+\boldsymbol{v}\in S_\ell)\}$への拡張で唯一のカノニカルな拡張を与えている.
各成分での代数的な独立性は本質的に幻影ゼータ関数の場合と何一つ変わらず省略.以降も同様に証明を省略.
$\square$
正の整数$\ell,\ell^\prime\in\mathbb{N}$としつつ,深さ$d$,高さ$h_1,h_2$の許容インデックス
$$\pmb{k}_1=(\{1\}^{\ell_{1,1}-1},\ell_{1,1}{}^\prime+1,\dots,\{1\}^{\ell_{1,h_1}-1},\ell_{1,h_1}{}^\prime+1),\pmb{k}_2=(\{1\}^{\ell_{2,1}-1},\ell_{2,1}{}^\prime+1,\dots,\{1\}^{\ell_{2,h_2}-1},\ell_{2,h_2}{}^\prime+1)\in\mathbb{N}^d$$
に対し,幻影許容インデックス$\boldsymbol{K}=\pmb{k}_1+(\pmb{k}_2-\pmb{k}_1)\wp$の幻影双対インデックス$\boldsymbol{K}^\dagger=\pmb{k}_1{}^\dagger+(\pmb{k}_2{}^\dagger-\pmb{k}_1{}^\dagger)\wp$を定義する.以上の約束より,以下の等式が成立する.
$$\zeta_\mathbb{PH}(\boldsymbol{K})=\zeta_\mathbb{PH}(\boldsymbol{K}^\dagger).$$
正の整数$\ell,\ell^\prime\in\mathbb{N}$としつつ,深さ$d$,高さ$h_1,h_2$の許容インデックス
$$\pmb{k}_1=(\{1\}^{\ell_{1,1}-1},\ell_{1,1}{}^\prime+1,\dots,\{1\}^{\ell_{1,h_1}-1},\ell_{1,h_1}{}^\prime+1),\pmb{k}_2=(\{1\}^{\ell_{2,1}-1},\ell_{2,1}{}^\prime+1,\dots,\{1\}^{\ell_{2,h_2}-1},\ell_{2,h_2}{}^\prime+1)\in\mathbb{N}^d$$
に対し,幻影許容インデックス$\boldsymbol{K}=\pmb{k}_1+(\pmb{k}_2-\pmb{k}_1)\wp$の幻影双対インデックス$\boldsymbol{K}^\dagger=\pmb{k}_1{}^\dagger+(\pmb{k}_2{}^\dagger-\pmb{k}_1{}^\dagger)\wp$を定義する.以上の約束より,以下の等式が成立する.尚,非負整数$l_1,l_2\in\mathbb{N}_0$としつつ$L=l_1+(l_2-l_1)\wp,\boldsymbol{E}=\boldsymbol{e}_1+(\boldsymbol{e}_2-\boldsymbol{e}_1)\wp$とし,シフトの定義は既存のMZVs理論の定義に準拠している.
$$\sum_{\vert{}\boldsymbol{E}\vert{}=L}\zeta_\mathbb{PH}(\boldsymbol{K}+\boldsymbol{E})=\sum_{\vert{}\boldsymbol{E}^\prime\vert{}=L}\zeta_\mathbb{PH}(\boldsymbol{K}^\dagger+\boldsymbol{E}^\prime).$$
正の整数$\ell,\ell^\prime\in\mathbb{N}$としつつ,深さ$d$,高さ$h$の許容インデックス
$$\pmb{k}^\phantom{\dagger}=(\{1\}^{\ell_1-1},\ell_1{}^\prime+1,\dots,\{1\}^{\ell_h-1},\ell_h{}^\prime+1)\in\mathbb{N}^d$$
に対する双対インデックス
$$\pmb{k}^\dagger=(\{1\}^{\ell_h-1},\ell_h{}^\prime+1,\dots,\{1\}^{\ell_1-1},\ell_1{}^\prime+1)\in\mathbb{N}^d$$
に就いて,次に示す双対関係式が成り立つ.
$$\zeta(\pmb{k}^\dagger)=\zeta(\pmb{k}).$$
幻影許容インデックス
$$\boldsymbol{\mathcal{K}}^\phantom{\dagger}\coloneqq\pmb{k}^\phantom{\dagger}+(\pmb{k}^\dagger-\pmb{k})\wp$$
を考える.それの幻影双対インデックスを計算すると,
$$\boldsymbol{\mathcal{K}}^\dagger\coloneqq\pmb{k}^\dagger+(\pmb{k}-\pmb{k}^\dagger)\wp=\overline{\boldsymbol{\mathcal{K}}}^\mathbb{PH}$$
が確認され,特に今回の場合に限り幻影双対と幻影共役が完全に一致するというのは興味深い.幻影シフト$L=l(1-\wp)+0\cdot\wp$の条件を設定し,幻影・大野関係式に諸々のパラメータを組み込んで計算すれば,
$$\left(\sum_{\vert{}\boldsymbol{e}\vert{}=l}\zeta(\pmb{k}+\boldsymbol{e})\right)\cdot(1-\wp)+\underline{\zeta(\pmb{k}^\dagger)\cdot\wp}=\left(\sum_{\vert{}\boldsymbol{e}^\prime\vert{}=l}\zeta(\pmb{k}^\dagger+\boldsymbol{e}^\prime)\right)\cdot(1-\wp)+\underline{\zeta(\pmb{k})\cdot\wp}$$
が帰結され,傍線の幻影基底の係数比較で与式を得る.尚,大野関係式は双対関係式を仮定していなく議論は循環していない.
$\square$
本筋に戻りまして,本稿で最重要なテーマパートに進みます.
では,早速ですが,幻影平面$\mathbb{PH}(\mathbb{C})$に於ける幻影ゼータ関数$\zeta_\mathbb{PH}(z)$の零点と成る為の要件を一緒に考察してみましょう.
これまでの議論から明らかな通り,空間は直交冪等元$\wp,1-\wp$で完全に分断されております.ですから,直交冪等元$\wp,1-\wp$の各々の係数が完全に独立してリーマン・ゼータ関数の零点とならなくてはなりません.
通常のリーマン・ゼータ関数の非自明な零点を$\alpha_n=\beta_n+\gamma_ni\enspace(n\in\pm\mathbb{N})$とし,幻影平面上に浮かび上がる非自明な零点を$r_{n,m}$と置いておくと,それは任意の$\alpha_n,\alpha_m$の直交重畳として次に示す様に構成されます.
任意の2つの通常のリーマン・ゼータ関数の非自明な零点$\alpha_n,\alpha_m$に対し,幻影ゼータ関数の非自明な零点$r_{n,m}$は,直交冪等元成分毎に次に示す様に構成される.
$$r_{n,m}\coloneqq\alpha_n(1-\wp)+\alpha_m\wp.$$
ここまでは,単なる自明な直和に過ぎないでしょう.
ここで,リーマン予想の主張を真と仮定しましょう.
リーマン・ゼータ関数$\zeta(s)$の非自明な零点$\alpha_n=\beta_n+\gamma_ni$の実部$\beta_n$は,悉く$\beta_n=1/2$である.即ち,全ての非自明な零点は臨界線$\mathop{\mathrm{Re}}(s)=1/2$に存在する.
任意の零点が$\alpha_n=1/2+\gamma_n i$と表現される筈で,幻影成分に組み込まれた零点の間隔から実部が完全に消滅するのです.
$$
\begin{aligned}
\mathop{\mathrm{Ph}}r_{n,m} &=\mathop{\mathrm{Ph}}(\alpha_n+(\alpha_m-\alpha_n)\wp) \\
&=\alpha_m-\alpha_n \\
&=\left(\frac{1}{2}+\gamma_mi\right)-\left(\frac{1}{2}+\gamma_ni\right) \\
&=i(\gamma_m-\gamma_n).
\end{aligned}
$$
この幻影虚部に純粋に抽出された$\gamma_m-\gamma_n$という値が意味するものは重要ではないか,と思っております.というのも,純粋数学の産物である筈のこの値が「エネルギー準位の反発法則」(未知の量子カオス系の存在を示唆)というミクロの物理法則を記述するパラメータそれ自身だからです。
ここで,純粋数学と物理法則を繋ぐ架け橋を演じるモンゴメリ・オドリズコ予想のステートメントを掲載したく思います.
リーマン・ゼータ関数の非自明な零点の虚部$\gamma_n$は,その平均間隔が$\delta_n=1$となるよう正規化した間隔分布が,ランダム行列理論におけるガウシアン・ユニタリ・アンサンブル(GUE)の固有値の間隔分布と漸近的に完全に一致する.即ち,重原子核の「エネルギー準位の反発法則」と同じ統計法則に支配されている,とも換言される.
$$\frac{1}{N}\left\vert{}\left\{(n,m)\mathrel{}\middle|\mathrel{}1\le n,m\le N,\enspace\frac{\gamma_m}{2\pi}\log\left(\frac{\gamma_m{}^\vphantom{\prime}}{2\pi}\right)-\frac{\gamma_n}{2\pi}\log\left(\frac{\gamma_n{}^\vphantom{\prime}}{2\pi}\right)\in[\alpha,\beta]\right\}\right\vert{}\sim\int_\alpha^\beta\biggl(1-\left(\frac{\sin(\pi\xi)}{\pi\xi}\right)^2\biggr)\,d\xi.$$
不純なモチベーションではあったかも知れませんが,本稿の一連の考察を通じて,ゼータ関数の幻影化は決して人工的ではなく自然な操作の感が感じられたのではないかと存じます.少しでも面白いと感じられれば幸いでございます.