講演抄録/キーワード |
講演名 |
2023-05-11 10:00
擬ランダム量子状態に必要な計算量的仮定 ○白川雄貴(京大) COMP2023-2 |
抄録 |
(和) |
擬ランダム量子状態生成器(PRSGs)とはHaarランダムな状態と計算量的に区別出来ない量子状態を効率的に生成するアルゴリズムである.
セキュリティパラメータ$lambda$に対して$loglambda$以上のqubit数を持つPRSGsが存在するためには何らかの計算量的仮定が必要であることが知られている.
我々は,$n(lambda)=O(log lambda)$かつ$n(lambda)gelog lambda$を満たす$n(lambda)$に対して$n(lambda)$-qubit状態を出力するPRSGsが存在するために$mathbf{BQP}neq mathbf{QCMA}$が必要であることを示した.
さらにPRSGsから構成される古典通信量子擬one-time pad(ccQPOTP)と呼ばれる暗号プリミティブに着目し,ccQPOTPの安全性にも$mathbf{BQP}neqmathbf{QCMA}$が必要であることを明らかにした. |
(英) |
Pseudorandom quantum states generators (PRSGs) are efficient quantum algorithms that output quantum states which are computationally indistinguishable from Haar random states.
It is known that some computational assumptions are necessary for the existence of PRSGs which output more than $loglambda$-qubit states for the security parameter $lambda$.
We show that $mathbf{BQP}neqmathbf{QCMA}$ is necessary for PRSGs with output length $n(lambda)$ satisfying $n(lambda)=O(log lambda)$ and $n(lambda)gelog lambda$.
Moreover, we focus on classical-communication quantum pseudo one-time pad (ccQPOTP) schemes which are cryptographic primitives constructed from PRSGs and we also show that $mathbf{BQP}neqmathbf{QCMA}$ is necessary for the security of ccQPOTP schemes. |
キーワード |
(和) |
量子計算 / 量子暗号 / computational complexity / pseudorandomness / / / / |
(英) |
quantum computation / quantum cryptography / computational complexity / pseudorandomness / / / / |
文献情報 |
信学技報, vol. 123, no. 12, COMP2023-2, pp. 2-7, 2023年5月. |
資料番号 |
COMP2023-2 |
発行日 |
2023-05-03 (COMP) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
COMP2023-2 |