New Developments in Interactive Proofs - From Classical to Quantum
New Developments in Interactive Proofs - From Classical to Quantum
交互式证明的新发展——从经典到量子
批准号：
19H04066
负责人：
Nishimura Harumichi
金额：
$9.4万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(106)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
ウイーン大学(オーストリア)
维也纳大学（奥地利）
维也纳大学（奥地利）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Distributed Quantum Proofs for Replicated Data
复制数据的分布式量子证明
复制数据的分布式量子证明
DOI：
--
发表时间：
2021
期刊：
Leibniz International Proceedings in Informatics
影响因子：
--
作者：
[Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz]
通讯作者：
Ami Paz
Sumcheck-Based Delegation of Quantum Computing to Rational Server
基于 Sumcheck 的量子计算委托给 Rational Server
基于 Sumcheck 的量子计算委托给 Rational Server
DOI：
10.1007/978-3-030-59267-7_7
发表时间：
2020
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Yuki Takeuchi, Tomoyuki Morimae, Seiichiro Tani]
通讯作者：
Seiichiro Tani
Improved Hardness Results for the Guided Local Hamiltonian Problem
改进了引导局部哈密顿问题的硬度结果
改进了引导局部哈密顿问题的硬度结果
DOI：
--
发表时间：
2023
期刊：
影响因子：
--
作者：
[Sevag Gharibian, Ryu Hayakawa, Francois Le Gall, Tomoyuki Morimae]
通讯作者：
Tomoyuki Morimae
小澤正直
小泽正直
小泽正直
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[Haruki Emori, Masanao Ozawa, Akihisa Tomita, Masanao Ozawa, 量子測定とは何を測定するのか: 測定誤差の定義と測定値の観測者独立性]
通讯作者：
量子測定とは何を測定するのか: 測定誤差の定義と測定値の観測者独立性
共 94 条
Analysis of quantum interactive proofs with restricted quantum communication and computation
-
批准号：16K00015
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.91万
-
财政年份：2016
-
负责人：Nishimura Harumichi
-
依托单位：
Complexity theoretic analysis of quantum verification systems
-
批准号：25330012
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.08万
-
财政年份：2013
-
负责人：Nishimura Harumichi
-
依托单位：
海外基金