抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
古典的チャネル遠隔状態調整(ccRSP)は量子暗号における重要な2パーティプリミティブである。Alice(古典的多項式時間)とBob(量子多項式時間)は古典的メッセージの交換多項式ラウンドを交換し,Bobは最終的にランダムな単一量子ビット状態を取得し,Aliceは最終的に状態の古典的記述を取得する。[T.Morimae,arXiv:2003.10712]において,量子計算の検証のための情報理論的根拠非対話型プロトコルを提案した。プロトコルの検証者は古典的であるが,信頼できる中心は,ランダムな単一キュービット状態を証明者に送信し,それらの古典的記述を検証者に送ると想定した。信頼できる中心をccRSPプロトコルで置き換えることができるならば,情報理論的健全性を維持しながら,量子計算の情報理論的根拠の古典的検証が可能であり,それは長年の未解決の問題を解決する。本論文では,BQPがMAに含まれない場合,事例ではないことを示した。また,検証者または信頼できるセンターが最初に量子状態を証明者に送信し,次に証明者と検証者が一定のラウンドの古典的なメッセージを交換する一般的な検証プロトコルについても検討した。著者らは,BQPがAMに含まれていない限り,情報理論の健全性を維持しながら,最初の量子メッセージ送信を(おおよその)ccRSPプロトコルに置き換えることはできないことを示した。最後に,計算健全性による検証を研究した。ccRSPプロトコルが任意の量子多項式時間の悪意のある証明者に対してさえ特定の条件を満足するならば,ccRSPプロトコルによる信頼された中心の置換が量子計算の計算機的に健全な古典的検証を実現することを示した。条件はccRSPの証明可能性より弱い。しかし,この現時点では,条件を満足するccRSPプロトコルは不明である。そのようなccRSPプロトコルの簡単な構築が見つかるならば,信頼中心検証モデルとの組み合わせがMahadevの結果の別のより簡単でモジュール式の証明を提供する。(翻訳著者抄録)