24 0 0 0 OA 量子計算機で迫る場の量子論の新側面
- 著者
- 本多 正純
- 出版者
- 一般社団法人 日本物理学会
- 雑誌
- 日本物理学会誌 (ISSN:00290181)
- 巻号頁・発行日
- vol.77, no.10, pp.685-689, 2022-10-05 (Released:2022-10-05)
- 参考文献数
- 7
近年量子計算機を取り巻く技術が急速に発展している.ここでは“ユーザー”として,このような発展が場の量子論の数値シミュレーションにどのように役立つかを考える.場の量子論は様々な物理学における共通言語であるが,一部の特殊な例を除いて解析的に解くことは難しい.それゆえしばしば数値計算に頼りたくなるが,現時点では既存の手法では効率的な数値シミュレーションが難しい場面も少なくない.通常場の量子論の数値シミュレーションでは,ラグランジュ(経路積分)形式の場の量子論に対して格子正則化を行い,物理量を表す多重積分にモンテカルロ法が適用される.これはボルツマン重みで与えられる確率で場の配位を生成し,積分を生成サンプルに関する平均によって近似する方法である.しかしながら,ボルツマン重みが正の実数でない場合は,確率解釈を直接適用することができないため,何らかの工夫が必要となる.特に,被積分関数が激しく振動するような場合は様々な工夫を凝らしても解析が難しいことが知られている(符号問題と呼ばれる).これは物理的には例えばトポロジカルな相互作用や化学ポテンシャルがある場合,実時間系などにしばしば現れる.一方ハミルトン(演算子)形式に基づいた数値シミュレーションの場合,技術的に行う問題は積分ではないため,符号問題ははじめから存在しない.しかし場の量子論の状態空間は典型的に無限次元であり,正則化を行った後でも状態空間の次元は“自由度”の増加に対して指数関数的に増大する.そのため非常に大きな次元をもつベクトル空間上で線形代数を行わなくてはならず,典型的には莫大な計算コストがかかる.しかし量子計算機を用いれば,少なくとも一部の問題に関しては計算量が劇的に少なくなることが期待されている.場の量子論を量子計算機に乗せるには,状態空間が有限次元になるような正則化を行った後に,スピン系に書き換えれば良い.多くの場合,はじめに時空の内の空間部分に格子正則化が適用される.フェルミオン場の場合はこれだけで状態空間が有限になり,適当な変換の下でスピン系に書き換えることができる.ボソン場では,特殊な場合を除いて格子に切ってもなお状態空間は無限次元となっているため,数値シミュレーションを行うためにはさらなる正則化が必要となる.本研究において,我々はチャージqシュウィンガー模型の基底状態を構成し,様々な物理量の計算を行った.シュウィンガー模型は作用にシータ項と呼ばれるトポロジカル項をもつが,その係数が小さくないときは符号問題により通常のモンテカルロ法による解析が困難なことが知られている.この模型は境界条件をオープンに取りガウス則を用いると,純粋にフェルミオン場のみをもつ系になり,比較的容易にスピン系に書き換えることができる.基底状態の構成には,断熱近似を量子回路により実装するアルゴリズムを用いた.現在のところ,量子計算機の実機では必要な量子ビット数に対して誤りが少ない結果を得るのは難しいので,ここではシミュレータを用いて数値シミュレーションを行った.最もよく研究されてきたq=1の場合は,カイラル凝縮と呼ばれる量をシータ項の係数が大きい領域も含めて解析を行い,その連続極限を量子シミュレーションの文脈で初めて取ることに成功した.より一般のqの場合は,重い荷電粒子の間のポテンシャルを計算した.フェルミオンの質量が小さいときに信用できる解析的な計算から,このポテンシャルの定性的な性質は,粒子の電荷やシータ項の係数の値に強く依存することが期待されている.シミュレーションにより,このような振る舞いが有限質量でも起きることが分かった.
2 0 0 0 数値計算による超弦理論・M理論・AdS/CFT対応の直接検証
本年度は、M2ブレーンの低エネルギー理論の候補であるABJM理論と呼ばれる3次元の超対称性理論を数値的に解析することにより、M2ブレーンの場合のAdS/CFT対応を直接検証する研究を行った。この超対称性理論の数値的な解析は今まで大変難しいと考えられてきた。そこで我々はまず、最近発展してきた局所化と呼ばれる解析的手法とモンテカルロ法を組み合わせることにより、ABJM理論の物理量を数値的な解析を行った。このシミュレーションによりM2ブレーンの場合のAdS/CFT対応を直接検証すると共に、対応する重力理論に関して幅広いパラメータ領域での予言を行った。また、ABJM理論と並んでM2ブレーンを記述していると考えられているBLG理論と呼ばれる理論があるが、両理論の超共形指数を計算することによりあるパラメータ領域ではこの理論がABJM理論と等価であるという強い証拠を提示した。さらに、様々な次元のDブレーンの低エネルギー理論である極大超対称ヤン・ミルズゲージ理論に対して、この理論が様々な曲がった時空上で定式化された際に超対称性の性質がどのように変化するかを詳細に解析した。