• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2021 Fiscal Year Annual Research Report

対話型証明の新展開-古典から量子まで

Research Project

Project/Area Number 19H04066
Research InstitutionNagoya University

Principal Investigator

西村 治道  名古屋大学, 情報学研究科, 教授 (70433323)

Co-Investigator(Kenkyū-buntansha) ルガル フランソワ  名古屋大学, 多元数理科学研究科, 教授 (50584299)
森前 智行  京都大学, 基礎物理学研究所, 准教授 (50708302)
Buscemi F.  名古屋大学, 情報学研究科, 教授 (80570548)
小澤 正直  中部大学, AI数理データサイエンスセンター, 特任教授 (40126313)
Project Period (FY) 2019-04-01 – 2023-03-31
Keywords対話型証明 / 量子計算 / 計算量理論
Outline of Annual Research Achievements

本年度は,様々な対話的量子プロトコルで重要な計算資源となる量子通信量や量子もつれ(エンタングルメント)の観点から幾つかの成果を得ることができた.まず,マルチパーティパーティ計算の最も簡素な形である秘密同時メッセージプロトコルについて,量子もつれの存在が通信量を削減するようなプロトコルを等価性判定やAND関数といった重要な関数に対して構築することができた.また,通信計算量理論の枠組みにおいて2つの離散的な確率分布が近いか否かを判定する量子通信計算プロトコルが古典の場合より2次的に通信量を削減することや,そのプロトコルが漸近的に最良であることも示すことができた.新しい対話的量子プロトコルの構築についても,幾つかの結果を得ることに成功した.まずクライアントが本当に量子コンピュータを使用しているのかを検証する対話型プロトコルとしてBrakerskiらにより提案されたLWE仮定をもとにする対話型プロトコルを改良して,量子コンピュータが真に量子性を示すために必要とされる量子回路がより弱いもの(対数深さの古典回路を補助とする定数深さ量子回路)でも十分であることを示すことができた.またBroadbentとIslamが2020年に導入したcertified deletionと呼ばれる量子特有の機能を備えた様々な暗号プロトコル(公開鍵暗号や属性ベース暗号)を構築することにも成功した.量子情報理論に関する成果としては,量子アンサンブルの推測問題(guesswork)について進展を得た.一度に1つの状態しか問い合わせることができない量子アンサンブルにおいてアンサンブルの状態を正しく推測するために必要な平均推測回数の最小値を定量化して,一様な確率分布を持つ任意の量子ビットアンサンブルに対する解析解を含む有限の条件下での推測問題の解析解を導出した.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

様々な対話プロトコルについて数多くの成果を得て,その結果を理論計算機科学の重要な国際会議で発表することができている.また,量子情報理論に根差した研究についても物理や情報理論の高インパクトジャーナルで発表することができている.

Strategy for Future Research Activity

引き続き対話プロトコルについて量子特有の暗号プロトコルや分散計算的に有用なプロトコルの構築およびその計算限界について,量子計算量理論や量子情報理論の知識をもとに開拓してゆく予定である.

  • Research Products

    (28 results)

All 2022 2021 Other

All Int'l Joint Research (5 results) Journal Article (14 results) (of which Int'l Joint Research: 7 results,  Peer Reviewed: 13 results,  Open Access: 13 results) Presentation (9 results) (of which Int'l Joint Research: 6 results,  Invited: 6 results)

  • [Int'l Joint Research] Technion/Tel-Aviv University(イスラエル)

    • Country Name
      ISRAEL
    • Counterpart Institution
      Technion/Tel-Aviv University
  • [Int'l Joint Research] University of Latvia(ラトビア)

    • Country Name
      LATVIA
    • Counterpart Institution
      University of Latvia
  • [Int'l Joint Research] Toyota Tech. Institute at Chicago/University of California/Duke University(米国)

    • Country Name
      U.S.A.
    • Counterpart Institution
      Toyota Tech. Institute at Chicago/University of California/Duke University
  • [Int'l Joint Research] Universite de Paris(フランス)

    • Country Name
      FRANCE
    • Counterpart Institution
      Universite de Paris
  • [Int'l Joint Research] National University of Singapore(シンガポール)

    • Country Name
      SINGAPORE
    • Counterpart Institution
      National University of Singapore
  • [Journal Article] Quantum Distributed Algorithms for Detection of Cliques2022

    • Author(s)
      Keren Censor-Hillel, Orr Fischer, Francois Le Gall, Dean Leitersdorf, Rotem Oshman
    • Journal Title

      Proceedings of the 13th Innovations in Theoretical Computer Science conference (ITCS 2022)

      Volume: - Pages: 35:1-35:25

    • DOI

      10.4230/LIPIcs.ITCS.2022.35

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Quantum Meets Fine-grained Complexity: Sublinear Time Quantum Algorithms for String Problems2022

    • Author(s)
      Francois Le Gall, Saeed Seddighin
    • Journal Title

      Proceedings of the 13th Innovations in Theoretical Computer Science conference (ITCS 2022)

      Volume: - Pages: 97:1-97:23

    • DOI

      10.4230/LIPIcs.ITCS.2022.97

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Guesswork of a Quantum Ensemble2022

    • Author(s)
      Michele Dall'Arno, Francesco Buscemi, Takeshi Koshiba
    • Journal Title

      IEEE Transactions on Information Theory

      Volume: 68 Pages: 3139-3143

    • DOI

      10.1109/TIT.2022.3146463

    • Peer Reviewed / Open Access
  • [Journal Article] 量子回路の計算複雑性について2022

    • Author(s)
      西村治道
    • Journal Title

      数学セミナー

      Volume: 61 Pages: 26-31

  • [Journal Article] Quantum Communication Complexity of Distribution Testing2021

    • Author(s)
      Aleksandrs Belovs, Arturo Castellanos, Francois Le Gall, Guillaume Malod, Alexander A. Sherstov.
    • Journal Title

      Quantum Information and Computation

      Volume: 21 Pages: 1261-1273

    • DOI

      10.26421/QIC21.15-16-1

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Lower Bounds for Induced Cycle Detection in Distributed Computing2021

    • Author(s)
      Francois Le Gall, Masayuki Miyamoto
    • Journal Title

      Proceedings of the 32nd International Symposium on Algorithms and Computation (ISAAC 2021)

      Volume: - Pages: 58:1-58:19

    • DOI

      10.4230/LIPIcs.ISAAC.2021.58

    • Peer Reviewed / Open Access
  • [Journal Article] Quantum Advantage with Shallow Circuits under Arbitrary Corruption2021

    • Author(s)
      Atsuya Hasegawa, Francois Le Gall
    • Journal Title

      Proceedings of the 32nd International Symposium on Algorithms and Computation (ISAAC 2021)

      Volume: - Pages: 74:1-74:16

    • DOI

      10.4230/LIPIcs.ISAAC.2021.74

    • Peer Reviewed / Open Access
  • [Journal Article] Test of Quantumness with Small-Depth Quantum Circuits2021

    • Author(s)
      Shuichi Hirahara, Francois Le Gall
    • Journal Title

      Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)

      Volume: - Pages: 59:1-59:15

    • DOI

      10.4230/LIPIcs.MFCS.2021.59

    • Peer Reviewed / Open Access
  • [Journal Article] Quantum Logarithmic Space and Post-selection2021

    • Author(s)
      Francois Le Gall, Harumichi Nishimura, Abuzer Yakaryilmaz
    • Journal Title

      Proceedings of the 16th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2021)

      Volume: - Pages: 10:1--10:17

    • DOI

      10.4230/LIPIcs.TQC.2021.10

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Communication Complexity of Private Simultaneous Quantum Messages Protocols2021

    • Author(s)
      Akinori Kawachi, Harumichi Nishimura
    • Journal Title

      Proceedings of the 2nd Conference on Information-Theoretic Cryptography (ITC2021)

      Volume: - Pages: 20:1-20:19

    • DOI

      10.4230/LIPIcs.ITC.2021.20

    • Peer Reviewed / Open Access
  • [Journal Article] Explicit Construction of Optimal Witnesses for Input-Output Correlations Attainable by Quantum Channels2021

    • Author(s)
      Michele Dall'Arno, Sarah Brandsen, Francesco Buscemi
    • Journal Title

      Open Systems and Information Dynamics

      Volume: 27 Pages: 2050017

    • DOI

      10.1142/S1230161220500171

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Fluctuation theorems from Bayesian retrodiction2021

    • Author(s)
      Francesco Buscemi, Valerio Scarani
    • Journal Title

      Physical Review E

      Volume: 103 Pages: 052111

    • DOI

      10.1103/PhysRevE.103.052111

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Fluctuation theorems with retrodiction rather than reverse processes2021

    • Author(s)
      Clive Cenxin Aw, Francesco Buscemi, Valerio Scarani
    • Journal Title

      AVS Quantum Science

      Volume: 3 Pages: 045601

    • DOI

      10.1116/5.0060893

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication2021

    • Author(s)
      Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
    • Journal Title

      Proceedings of the 27th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT2021)

      Volume: 1 Pages: 606-636

    • DOI

      10.1007/978-3-030-92062-3\_21

    • Peer Reviewed / Open Access
  • [Presentation] Quantum algorithms for large-scale problems2021

    • Author(s)
      Francois Le Gall
    • Organizer
      Quantum Innovation 2021, the International Symposium on Quantum Science, Technology and Innovation
    • Int'l Joint Research / Invited
  • [Presentation] 分散計算における誘導サイクル発見問題の下界2021

    • Author(s)
      Francois Le Gall, 宮本昌幸
    • Organizer
      電子情報通信学会コンピュテーション研究会
  • [Presentation] The "thermodynamic reverse bound" and the role of retrodiction in the Second Law2021

    • Author(s)
      Francesco Buscemi
    • Organizer
      SUSTech-Nagoya workshop on Quantum Science
    • Int'l Joint Research / Invited
  • [Presentation] Prediction, retrodiction, and the Second Law of Thermodynamics2021

    • Author(s)
      Francesco Buscemi
    • Organizer
      Summer School on Quantum Information and Quantum Technology 2021
    • Int'l Joint Research / Invited
  • [Presentation] The Petz map in maths, information theory, and physics: an overview2021

    • Author(s)
      Francesco Buscemi
    • Organizer
      Workshop on Quantum Information and Quantum Black Holes
    • Invited
  • [Presentation] Bayesian Retrodiction and the Second Law of Thermodynamics2021

    • Author(s)
      Francesco Buscemi
    • Organizer
      Second Kyoto Workshop on Quantum Information, Computation, and Foundation
    • Int'l Joint Research / Invited
  • [Presentation] SMP model, PSM protocols, and their quantum analogues2021

    • Author(s)
      Harumichi Nishimura
    • Organizer
      SUSTech-Nagoya workshop on Quantum Science
    • Int'l Joint Research / Invited
  • [Presentation] Simultaneous Message Passing Models and Private Simultaneous Messages Protocols with Shared Entanglement2021

    • Author(s)
      Harumichi Nishimura
    • Organizer
      3rd Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems (QCCC2021)
    • Int'l Joint Research
  • [Presentation] AND関数に対する秘密同時メッセージプロトコル2021

    • Author(s)
      武田玲志, 西村治道
    • Organizer
      第45回量子情報技術研究会

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi