講演抄録/キーワード |
講演名 |
2018-06-04 10:20
古典模倣困難性を有するアンシラ駆動型可換量子回路 ○竹内勇貴・高橋康博(NTT) |
抄録 |
(和) |
可換量子回路(IQP 回路) は非万能量子コンピュータの1 種である。IQP 回路の出力確率分布を古典模倣するのは困難だということが示されているため、IQP 回路は量子スプレマシーを実証するための有望な量子回路の1つだと考えられている。IQP 回路は非万能量子コンピュータであるため万能量子コンピュータよりは簡単に実現することが出来るが、それでも実現にはまだ困難な点がいくつか残っている。そのため、より実装が簡単なIQP 回路のサブクラスや他の非万能量子計算モデルを提案することは重要である。本発表では、IQP 回路にいくつかの制限を課すことにより、様々な実験系に適したIQP 回路のサブクラスとしてアンシラ駆動型可換量子回(ADIQP 回路) を提案する。ADIQP 回路はある意味でIQP 回路よりも厳密に計算能力が弱いにも関わらず、ADIQP 回路の出力確率分布も古典模倣するのが困難だということを示すことが出来る。さらに、ADIQP 回路の性質を利用することによって、ADIQP 回路の検証可能性や実現困難性に関しても考察する。 |
(英) |
Instantaneous quantum polynomial time (IQP) is a model of (probably) non-universal quantum computation. Since it has been proven that IQP circuits are unlikely to be simulated classically up to a multiplicative error and an error in the $l_1$ norm, IQP is considered as one of the promising classes that demonstrate quantum supremacy. Although IQP circuits can be realized more easily than a universal quantum computer, demonstrating quantum supremacy is still difficult. It is therefore desired to find subclasses of IQP that are easy to implement. In this talk, by imposing some restrictions on IQP, we propose ancilla-driven IQP (ADIQP) as the subclass of commuting quantum computation suitable for many experimental settings. We show that even though ADIQP circuits are strictly weaker than IQP circuits in a sense, they are also hard to simulate classically up to a multiplicative error and an error in the $l_1$ norm. Moreover, the properties of ADIQP make it easy to investigate the verifiability of ADIQP circuits and the difficulties in realizing ADIQP circuits. |
キーワード |
(和) |
可換量子回路 / アンシラ駆動型量子計算 / 量子スプレマシー / / / / / |
(英) |
IQP circuit / ancilla-driven quantum computation / quantum supremacy / / / / / |
文献情報 |
信学技報 |
資料番号 |
|
発行日 |
|
ISSN |
|
PDFダウンロード |
|