研究分担者 |
松本 啓史 国立情報学研究所, 情報学プリンシプル研 究系, 准教授 (60272390)
小林 弘忠 国立情報学研究所, 情報学プリンシプル研 究系, 研究員 (60413936)
田中 圭介 東京工業大学, 大学院・情報理工学研究科, 准教授 (20334518)
河内 亮周 東京工業大学, 大学院・情報理工学研究科, 助教 (00397035)
|
研究概要 |
量子情報理論と量子計算量理論の融合技術を発展させて,対話型証明,暗号理論,ネットワーク理論などの諸問題に対して適用した.量子対話型証明に関しては,複数証明者間の量子エンタングルメントの効果を追究し,量子対話型証明の理論を発展させた.また,ネットワーク符号化における量子通信の可能性を検討し,効率化通信手法の提案を行った.従来の古典暗号の枠組みでは証明困難であったハードコア述語に対して量子暗号理論を介することでその証明を構築可能にした.量子暗号理論へのフィードバックを行うため,様々な古典暗号プロトコルの考案を行った.
|