课题基金 / 基金详情

Analysis of quantum interactive proofs with restricted quantum communication and computation

Analysis of quantum interactive proofs with restricted quantum communication and computation
受限量子通信和计算的量子交互证明分析
批准号：
16K00015
负责人：
Nishimura Harumichi
金额：
$2.91万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2020-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16K00015/
关键词：
量子計算対話型証明計算量理論量子計算の検証量子計算量理論量子対話型証明DQC1モデル量子コンピュータ量子通信

项目摘要

项目成果

Nishimura Harumichi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
University of Maryland(米国)
马里兰大学（美国）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
MERLINIZATION OF COMPLEXITY CLASSES ABOVE BQP
BQP 以上复杂性类别的梅林化
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [猿楽祐樹, 池田優二, 小林尚人, 加地紗由美, 助川隆, 杉山成, 中川貴雄, 新崎貴之, 近藤荘平, 中西賢之, 安井千香子, 河北秀世, 太田 雅人, 森前智行，西村治道]
通讯作者： 森前智行，西村治道
Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups
使用多项式时间量子证明器进行交互式证明，用于计算可解群的阶数
DOI： 10.4230/lipics.mfcs.2018.26
发表时间： 2018
期刊： Leibniz International Proceedings in Informatics (MFCS 2018)
影响因子： --
作者： [Francois Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi]
通讯作者： Yuki Takeuchi
Rational proofs for quantum computing
量子计算的理性证明
DOI： 10.26421/qic20.3-4-1
发表时间： 2020
期刊： Quantum Information and Computation
影响因子： 1
作者： [Morimae Tomoyuki, Harumichi Nishimura]
通讯作者： Harumichi Nishimura
共 17 条
    New Developments in Interactive Proofs - From Classical to Quantum
    • 批准号：
      19H04066
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $9.4万
    • 财政年份：
      2019
    • 负责人：
      Nishimura Harumichi
    • 依托单位：
      Nagoya University
    Complexity theoretic analysis of quantum verification systems
    • 批准号：
      25330012
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.08万
    • 财政年份：
      2013
    • 负责人：
      Nishimura Harumichi
    • 依托单位：
      Nagoya University
    海外基金