23
Osaka University 1 変分量子アルゴリズムの 性能評価と改良開発 大阪大学基礎工学研究科 御手洗 光祐

変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

1

変分量子アルゴリズムの性能評価と改良開発

大阪大学基礎工学研究科

御手洗光祐

Page 2: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

2

“現在の”量子コンピュータ

Noisy

Intermediate

Scale

Quantum

A. Kandala et al, Nature 549, 242 (2017).

ノイズの無視できない

中規模 (数10 ~ 100 qubit)

スケールの

量子デバイス

Depth(~100 gates)

qu

bit

(5

0 ~

100)

U1

U2

U3

Page 3: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

3

“現在の”量子コンピュータ

F. Arute et al. (Google), “Quantum supremacy using a programmable

superconducting processor”, Nature 574, 505-510 (2019)

ある特定のタスクでは…

NISQ デバイス 従来コンピュータのベストエフォート>

Page 4: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

4

近未来量子コンピュータ量子コンピュータの古典シミュレーションはqubit 数に対して指数的に難しくなる

Full-シミュレーションに必要なメモリ

# of qubits Memory

20 MB

30 GB

40 TB

50 PB

この計算能力を何か意味のある問題に使えないか?

→ NISQのためのアルゴリズム開発

Page 5: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

5

NISQ に向けたアルゴリズム

“浅い”量子回路

古典コンピュータ

量子的計算 その他の計算

フィードバック

• 今の量子デバイスは、単体で意味のある計算をすることが難しい。

• 古典的に簡単な計算は古典でやるべき。

量子古典ハイブリッドアルゴリズム/変分量子計算

Page 6: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

6

本プロジェクトの趣旨

𝑈 𝜽𝜓𝑖𝑛 𝜓𝑜𝑢𝑡(𝜽) ハミルトニアン期待値 𝐻 を計算測定

𝛉 の更新 𝐻 を小さくするように 𝜽 を決定

量子コンピュータ

古典コンピュータ

ハミルトニアン 𝐻 に変換

VQE: 量子化学 QAOA: 最適化

“変分”量子アルゴリズム

Page 7: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

7

NISQ を応用するアルゴリズム

𝑈 𝜽 𝜓𝑜𝑢𝑡(𝜽)

古典コンピュータ

𝐻 𝜽 =

𝑖

ℎ𝑖 𝐵𝑖 𝜽

𝐻 𝜽 を最小化

𝐵𝑖(𝜽)測定

𝜽を更新

ハミルトニアン 𝐻

例:Variational quantum eigensolver (VQE)

量子系の近似的な基底状態を求めるアルゴリズム

収束 𝜽 = 𝜽∗

𝜓𝑜𝑢𝑡 𝜽∗ ≈ 𝐻の基底状態

A. Peruzzo, et al., Nat. Comm., 5, 4213 (2014)

Page 8: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

8

NISQ を応用するアルゴリズム

𝑈 𝜽 𝜓𝑜𝑢𝑡(𝜽)

古典コンピュータ

𝐻 𝜽 =

𝑖

ℎ𝑖 𝐵𝑖 𝜽

𝐻 𝜽 を最小化

𝐵𝑖(𝜽)測定

𝜽を更新

収束 𝜽 = 𝜽∗

𝜓𝑜𝑢𝑡 𝜽∗ ≈ 𝐻の基底状態

古典コンピュータでは作り出せない量子状態

→ これまでは調べられなかった系が調べられる可能性

Page 9: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

本プロジェクトの目的

9

変分量子アルゴリズムの性能を評価し、改良を行う。

• 変分量子アルゴリズムはどの程度のノイズを許容するのか?

• 現実的なノイズ (誤り訂正しきい値付近) で有用なアプリケーション

になりうるのか?

• パラメータθの最適化アルゴリズムはどのようなものが良いのか?

• 性能を引き出すのに適した量子回路 𝑈 𝜽 はあるのか?

• アルゴリズムを改良できないか?

Page 10: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

実施内容

10

性能評価に関して

• VQE をシミュレータ (ノイズあり・なし) にて実装し、

• 古典コンピュータで難しい分子について調べ、

• ~12 qubit の範囲で性能評価

新規手法開発に関して

• VQE を用いたエネルギー微分、

• (軌道最適化 VQE) ← 間接的に寄与

Page 11: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

性能評価について

11

Page 12: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

12

性能評価結果

• 期待値評価のサンプル数1000 sample/term

• ノイズ設定Depolarizing noise after

each gate

p = 0.001 (1q gate)

p = 0.01 (2q gate)

• Error mitigation:(p, 2p, 3p) でサンプリング→ 線型外装

ノイズあり量子回路の場合:

勾配降下法≒ SPSA?

勾配降下法

虚時間発展SPSA

BFGS

H2 分子を例とした結果

Page 13: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

13

量子回路

𝑅𝑦0 𝑅𝑥

𝑅𝑦 𝑅𝑥

𝑅𝑦 𝑅𝑥

𝑅𝑦 𝑅𝑥

𝑅𝑦 𝑅𝑥

𝑅𝑦 𝑅𝑥

𝑅𝑦 𝑅𝑥

𝑅𝑦 𝑅𝑥

0

0

0

𝑒𝑖𝐻𝑡

𝐻 =

𝑖𝑗

𝐽𝑖𝑗 𝑍𝑖𝑍𝑗×N

Hardware-efficient 回路

粒子数保存回路

1 0 0 00 cos 𝜃 𝑒𝑖𝜙 sin 𝜃 00 𝑒−𝑖𝜙 sin 𝜃 − cos 𝜃 00 0 0 1

0

0

0

0

Kandala et al., Nature 549, 242 (2017)

Page 14: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

14

性能評価結果 – H4

各パウリ演算子を 1000 shots で求め、最終的に収束したパラメータ値で期待値を厳密に評価

Hardware-efficient circuit Particle-number-preserving

VQEExact

Hardware efficient 回路はよいパラメータに収束しない。

CCSD (既存手法)

Page 15: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

15

性能評価結果 – H6

エネルギー期待値を厳密に求め、最終的に収束したエネルギー

Particle-number-preserving ansatz 使用

VQE

Exact

この ansatz でも系が大きいと難しい

CCSD (既存手法)

depth 60 depth 120

HF

Page 16: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

16

性能評価結果 – H6

エネルギー期待値を厳密に求め、最終的に収束したエネルギー

Particle-number-preserving ansatz 使用

VQE

Exact

この ansatz でも系が大きいと難しい

CCSD (既存手法)

depth 60 depth 120

HF

厳密解からの誤差

化学精度

Page 17: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

17

成果の利用者価値・社会貢献価値

現時点の VQE 理論で従来アルゴリズムを超えることは非常に困難

特にパラメータ最適化に関してブレークスルーが必要。

無ければハードウェアの性能が上がっても使えない。

本プロジェクトによって得られた知見

10000 回程度の期待値測定で収束

Page 18: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

新規手法について

18

Page 19: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

19

エネルギー微分の必要性

VQE = 基底状態

+ 遷移振幅計算先行研究 (SSVQE) = 基底状態 & 励起状態探索

残るは…

エネルギーの微分値計算

構造最適化・分極率・NMR 化学シフト・… に必須

核座標微分

電場微分 磁場微分

Page 20: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

20

VQE による解析的なエネルギー微分

• 量子化学で知られている解析微分の表式と、[Phys. Rev. Res.,

1, 013006] で提案した手法を組み合わせて、VQE によるエネルギー微分の手法を構成した。

• 本プロジェクト作業で作成したコードを利用して、当手法をシミュレータにて実装。

• 成果は arxiv: 1905.04054 にて公表済み。(accepted to Phys.

Rev. Res.)

Page 21: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

21

成果の利用者価値・社会貢献価値

エネルギー微分 → 様々な物性値

e.g. 分極率・原子間に働く力・…

𝛿− 𝛿+

VQE が実現した際の応用範囲を広げる手法

従来法との比較:

本手法無し = 数値微分を使う

本手法 = 解析的な微分値

微分値の精度

Page 22: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

おわりに –中長期の達成目標

22

Page 23: 変分量子アルゴリズムの 性能評価と改良開発 · • 変分量子アルゴリズムはどの程度のノイズを許容するのか? • 現実的なノイズ(誤り訂正しきい値付近)

Osaka University

23

中長期の達成目標

本プロジェクトで得られた変分量子アルゴリズムの課題解決= 最適化に対するブレークスルー

ハードウェアの発展

従来アルゴリズムで難しい問題 (水素分子鎖など) で実証シミュレーション

従来アルゴリズムで難しい問題 (水素分子鎖など) で実証実験

実際の分子への適用