Presentations -

Space Bounded Quantum Interactive Proof Systems International coauthorship International conference

Francois Le Gall, Yupan Liu, Harumichi Nishimura, Qisheng Wang

28th Quantum Information Processing Conference (QIP2025)  2025.2 

　More details

Event date： 2025.2

Presentation type：Oral presentation (general)  

Power and limitation of distributed quantum proofs International conference

Harumichi Nishimura

Shenzhen-Nagoya Workshop on Quantum Science 2024  2024.9.19 

　More details

Event date： 2024.9

Quantum distributed proofs

Harumichi Nishimura

NII Shonan Meeting on New Directions in Provable Quantum Advantage  2023.12 

　More details

Event date： 2023.12

Distributed Quantum Merlin-Arthur Protocols: Improvement and Extension

Harumichi Nishimura

Shenzhen-Nagoya Workshop on Quantum Science 2023  2023.9 

　More details

Event date： 2023.9

Power of Distributed Quantum Merlin-Arthur Proofs International conference

Harumichi Nishimura

SUSTech-Nagoya workshop on Quantum Science  2022.6 

　More details

Event date： 2022.5 - 2022.6

Simultaneous Message Passing Models and Private Simultaneous Messages Protocols with Shared Entanglement

Harumichi Nishimura

3rd Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems 

　More details

Event date： 2021.11

Language：English  

SMP model, PSM protocols, and their quantum analogues International conference

Harumichi Nishimura

SUSTech-Nagoya workshop on Quantum Science 

　More details

Event date： 2021.6

Language：English  

Distributed quantum proofs for replicated data International coauthorship International conference

Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz

24th Annual Conference on Quantum Information Processing  2021.2.5 

　More details

Event date： 2021.1 - 2021.2

Presentation type：Oral presentation (general)  

SWAP test and its applications to quantum distribued computing International conference

Harumichi Nishimura

2nd Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems  2020.12.14 

　More details

Event date： 2020.12

Presentation type：Oral presentation (general)  

Distributed quantum proofs for replicated data International coauthorship

Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura, Ami Paz

2020.10.16 

　More details

Event date： 2020.10

Presentation type：Oral presentation (general)  

量子通信複雑性理論 Invited

西村治道

京大量子情報ユニット・基研量子情報スクール  2020.7.2 

　More details

Event date： 2020.6 - 2020.7

Presentation type：Public lecture, seminar, tutorial, course, or other speech  

More approaches for studying classical verification of quantum computation Invited International conference

Harumichi Nishimura

1st Workshop on Quantum and Classical Cryogenic Devices, Circuits, and Systems  2019.11.12 

　More details

Event date： 2019.11

Presentation type：Oral presentation (invited, special)  

Classical verification for quantum computation Invited International conference

Harumichi Nishimura

Workshop on Quantum Protocols  2019.8.9 

　More details

Event date： 2019.8

Presentation type：Oral presentation (invited, special)  

Rational proofs for quantum computing

　More details

Event date： 2019.5

Language：English   Presentation type：Oral presentation (general)  

Country：Japan  

合理的なサーバーによる量子計算の検証

森前智行, 西村治道

第39回量子情報技術研究会 

　More details

Event date： 2018.11

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

Interactive proofs with polynomial-time quantum prover for computing the order of solvable groups International conference

Francois Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi

18th Asian Quantum Information Science Conference (AQIS2018) 

　More details

Event date： 2018.9

Language：English   Presentation type：Oral presentation (general)  

Country：Japan  

Rational proofs for quantum computing International conference

Tomoyuki Morimae, Harumichi Nishimura

18th Asian Quantum Information Science Conference (AQIS2018) 

　More details

Event date： 2018.9

Language：English   Presentation type：Oral presentation (general)  

Country：Japan  

Interactive proofs with polynomial-time quantum prover for computing the order of solvable groups International conference

Francois Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi

43rd International Symposium on Mathematical Foundations of Computer Science (MFCS2018) 

　More details

Event date： 2018.8

Language：English   Presentation type：Oral presentation (general)  

Country：United Kingdom  

DOI： 10.4230/LIPIcs.MFCS.2018.26

量子計算量クラスについて Invited

西村治道

ImPACT未来開拓研究会2018 

　More details

Event date： 2018.5 - 2018.6

Language：Japanese   Presentation type：Oral presentation (invited, special)  

Venue：富山   Country：Japan  

make10の一般化について

佐伯元春, 西村治道

第１３回組合せゲーム・パズル研究集会 

　More details

Event date： 2018.3

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

Merlinization of complexity classes above BQP

　More details

Event date： 2017.11

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

Modified group nonmembership is in AWPP

　More details

Event date： 2017.10

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

Power of quantum computation with few clean qubits

　More details

Event date： 2016.11

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

Space-efficient error reduction for unitary quantum computations International conference

Bill Fefferman, Hirotada Kobayashi, Cedric Yen-Yu Lin, Tomoyuki Morimae, Harumichi Nishimura

16th Asian Quantum Information Science Conference (AQIS2016) 

　More details

Event date： 2016.8 - 2016.9

Language：English   Presentation type：Oral presentation (general)  

Country：Taiwan, Province of China  

メモリ限定量子計算量について Invited

西村治道

研究会「量子情報と有限張理論の新展開」 

　More details

Event date： 2016.8

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

Power of quantum computation with few clean qubits International conference

Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani

43rd International Colloquium on Automata, Languages, and Programming (ICALP2016) 

　More details

Event date： 2016.7

Language：English   Presentation type：Oral presentation (general)  

Venue：Rome, Italy   Country：Italy  

Space-efficient error reduction for unitary quantum computations International conference

Bill Fefferman, Hirotada Kobayashi, Cedric Yen-Yu Lin, Tomoyuki Morimae, Harumichi Nishimura

43rd International Colloquium on Automata, Languages, and Programming (ICALP2016) 

　More details

Event date： 2016.7

Language：English   Presentation type：Oral presentation (general)  

Venue：Rome, Italy   Country：Italy  

Power of quantum computation with few clean qubits International conference

Harumichi Nishimura

Workshop around BQP 

　More details

Event date： 2015.12

Language：English   Presentation type：Oral presentation (invited, special)  

Country：Japan  

量子版NPと量子版AMの計算複雑さ

西村治道

第３３回量子情報技術研究会 

　More details

Event date： 2015.11

Language：Japanese   Presentation type：Oral presentation (invited, special)  

Country：Japan  

AWPPの量子計算による解釈

森前智行, 西村治道

第３３回量子情報技術研究会 

　More details

Event date： 2015.11

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

クリフォードゲートのみの検証者によるQMA

森前智行, 林正人, 西村治道, 藤井啓祐

コンピュテーション研究会 

　More details

Event date： 2015.10

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

AWPPの量子計算による解釈

森前智行, 西村治道

コンピュテーション研究会 

　More details

Event date： 2015.9

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

Impossibility of classical simulating one-clean-qubit computation

藤井啓祐, 小林弘忠, 森前智行, 西村治道, 玉手修平, 谷誠一郎

コンピュテーション研究会 

　More details

Event date： 2015.9

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

量子計算量クラス‐PとNPの量子版とその先

西村治道

基礎物理学研究所研究会「量子制御技術の発展により拓かれる量子情報の新時代」 

　More details

Event date： 2015.7

Language：Japanese   Presentation type：Oral presentation (keynote)  

Country：Japan  

Generalized quantum Arthur-Merlin games International conference

Hirotada Kobayashi, Francois Le Gall, Harumichi Nishimura

30th Computational Complexity Conference (CCC2015) 

　More details

Event date： 2015.6

Language：English   Presentation type：Oral presentation (general)  

Country：United States  

Quantum algorithms for finding constant-sized sub-hypergraphs International conference

Francois Le Gall, Harumichi Nishimura, Seiichiro Tani

18th Workshop on Quantum Information Processing 

　More details

Event date： 2015.1

Language：English   Presentation type：Poster presentation  

Country：Australia  

Generalized quantum Arthur-Merlin games International conference

Harumichi Nishimura

Australia-Japan Workshop on Multi-user Quantum Network 

　More details

Event date： 2014.10

Language：English   Presentation type：Oral presentation (invited, special)  

Country：Australia  

Generalized quantum Arthur-Merlin games International conference

Harumichi Nishimura

ELC Workshop at the University of Tokyo on Quantum Computational Complexity 

　More details

Event date： 2014.8

Language：English   Presentation type：Oral presentation (invited, special)  

Country：Japan  

局所ハミルトニアンの非冗長性の計算量

川崎涼, 西村治道

コンピュテーション研究会 

　More details

Event date： 2014.6

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

Quantum Arthur and quantum Merlin International conference

Harumichi Nishimura

5th Nagoya Winter Workshop on Quantum Information, Measurement, and Foundations (NWW2014) 

　More details

Event date： 2014.3

Language：English   Presentation type：Oral presentation (invited, special)  

Country：Japan  

定数サイズ部分ハイパーグラフ発見に対する量子アルゴリズム

Francois Le Gall, 西村治道, 谷誠一郎

第２９回量子情報技術研究会 

　More details

Event date： 2013.11

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

Stronger methods of making quantum interactive proofs perfectly complete

　More details

Event date： 2013.6

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

Quantum network coding - How can network coding be applied to quantum information? International conference

Harumichi Nishimura

The 2013 IEEE International Symposium on Network Coding 

　More details

Event date： 2013.6

Language：English   Presentation type：Oral presentation (invited, special)  

Country：Canada  

Quantum algorithms for matrix products over semirings

　More details

Event date： 2013.5

Language：English   Presentation type：Oral presentation (general)  

Country：Japan  

時間ドロボー問題の物質的ゼロ知識証明

上田圭祐, 西村治道

2012年冬のLAシンポジウム 

　More details

Event date： 2013.1

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

Towards Perfect Completeness in QMA International conference

Stephen Jordan, Hirotada Kobayashi, Francois Le Gall, Daniel Nagaj, Harumichi Nishimura.

16th Workshop on Quantum Information Processing (QIP2013) 

　More details

Event date： 2013.1

Language：English   Presentation type：Oral presentation (general)  

Country：Japan  

衝突の列挙に関する量子質問計算量

大和雅英, 西村治道

第27回量子情報技術研究会 

　More details

Event date： 2012.11

Language：Japanese   Presentation type：Poster presentation  

Country：Japan  

Reducing error probabilities of quantum Merlin-Arthur proof systems International conference

Harumichi Nishimura

Japan-Singapore Workshop on Multi-user Quantum Networks 

　More details

Event date： 2012.9

Language：English   Presentation type：Oral presentation (invited, special)  

Country：Singapore  

Reconstructing strings from substrings with quantum queries International conference

Richard Cleve, Kazuo Iwama, Francois Le Gall, Harumichi Nishimura, Seiichiro Tani, Junichi Teruyama, Shigeru Yamashita

13th Scandinavian Symposium and Workshop 

　More details

Event date： 2012.7

Language：English   Presentation type：Oral presentation (general)  

Country：Finland  

Reconstructing strings from substrings with quantum queries

Richard Cleve, Kazuo Iwama, Francois Le Gall, Harumichi Nishimura, Seiichiro Tani, Junichi Teruyama, Shigeru Yamashita

　More details

Event date： 2012.4

Language：Japanese   Presentation type：Oral presentation (general)  

Country：Japan  

Improved quantum algorithms for reconstructing strings from substrings International conference

Richard Cleve, Kazuo Iwama, Francois Le Gall, Harumichi Nishimura, Seiichiro Tani, Junichi Teruyama, Shigeru Yamashita

5th Annual Meetings of the Asian Association for Algorithms and Computation 

　More details

Event date： 2012.4

Language：English   Presentation type：Oral presentation (general)  

Country：China  

Quantum counterfeit coin problems International conference

Harumichi Nishimura

2010 International Workshop on Quantum Information Science 

　More details

Event date： 2010.3

Language：English   Presentation type：Oral presentation (invited, special)  

Country：Japan  

Worst-case winning probabilities for the sum of CHSH games International conference

Harumichi Nishimura

International Conference on Quantum Information and Technology 2009 

　More details

Event date： 2009.12

Language：English   Presentation type：Oral presentation (invited, special)  

Country：Japan  

古典及び量子通信計算量

西村治道

第２１回量子情報技術研究会 

　More details

Event date： 2009.11

Language：Japanese   Presentation type：Oral presentation (invited, special)  

Country：Japan  

量子コンピュータに基づく計算量理論とその周辺

西村治道

日本数学会 

　More details

Event date： 2009.9

Language：Japanese   Presentation type：Oral presentation (invited, special)  

Country：Japan  

Quantum random access coding and its application International conference

Harumichi Nishimura

Workshop of Theory on Quantum Computation, Communication and Cryptography 2006 

　More details

Event date： 2006.2

Language：English   Presentation type：Oral presentation (invited, special)  

Country：Japan  

量子計算機の数理モデルとその計算能力について

西村治道

日本数学会 

　More details

Event date： 2005.9

Language：Japanese   Presentation type：Oral presentation (invited, special)  

Country：Japan