Open arxiv-quration-bot[bot] opened 7 months ago
量子位置検証スキームは、証明者の空間位置を検証しようとするものである。量子入力と古典入力を用いてチャレンジを行い、適切なタイミングで応答しなければならない。ここでは、$f$-routingと$f$-BB84の2つの位置検証方式を考える。どちらの方式も、長さ$n$の入力から古典関数$f$を局所的に計算し、$O(1)$サイズの量子系を操作することが要求される。f(x,y)=sum_i x_i y_i$を内積関数とすると、不正な証明者は$Omega(n)$量子ゲートか単一量子ビット測定を実行しなければならないことを証明する。この証明は、古典的通信と共有エンタングルメントを用いた同時メッセージパッシングへの還元を用いる。この方式は、多項式の古典的資源と$O(1)$の量子的資源を持つプロヴァーにとって実現可能であり、線形以下の量子的資源に対して安全である。
http://arxiv.org/abs/2402.18648v1 (ar5iv, pdf)
Vahid Asadi, Richard Cleve, Eric Culf, Alex May
2024/02/28
Summary (DeepL訳)
量子位置検証スキームは、証明者の空間位置を検証しようとするものである。量子入力と古典入力を用いてチャレンジを行い、適切なタイミングで応答しなければならない。ここでは、$f$-routingと$f$-BB84の2つの位置検証方式を考える。どちらの方式も、長さ$n$の入力から古典関数$f$を局所的に計算し、$O(1)$サイズの量子系を操作することが要求される。f(x,y)=sum_i x_i y_i$を内積関数とすると、不正な証明者は$Omega(n)$量子ゲートか単一量子ビット測定を実行しなければならないことを証明する。この証明は、古典的通信と共有エンタングルメントを用いた同時メッセージパッシングへの還元を用いる。この方式は、多項式の古典的資源と$O(1)$の量子的資源を持つプロヴァーにとって実現可能であり、線形以下の量子的資源に対して安全である。
Links
http://arxiv.org/abs/2402.18648v1 (ar5iv, pdf)
Authors
Vahid Asadi, Richard Cleve, Eric Culf, Alex May
Published
2024/02/28