Morimae Tomoyuki 森前智行

Researcher Number	50708302
Other IDs
Affiliation (Current)	2025: 京都大学, 基礎物理学研究所, 准教授
Affiliation (based on the past Project Information) *help	2019 – 2024: 京都大学, 基礎物理学研究所, 准教授 2017 – 2019: 京都大学, 基礎物理学研究所, 講師 2014 – 2016: 群馬大学, 先端科学研究指導者育成ユニット, 助教
Review Section/Research Field	Principal Investigator Theory of informatics / Transformative Research Areas, Section (II) / Science and Engineering Except Principal Investigator Medium-sized Section 60:Information science, computer engineering, and related fields / Transformative Research Areas, Section (II) / Basic Section 60010:Theory of informatics-related
Keywords	Principal Investigator 量子計算 / 量子暗号 / 量子情報 / 量子コンピュータ Except Principal Investigator 量子計算 / 量子計算複雑さ / 計算理論 / 計算資源 / 量子スピン系 / 量子ホール効果 … More / 冷却原子 / テンソルネットワーク / 物性物理 / ゲージ重力対応 / 宇宙論 / 物性理論 / 素粒子論 / 量子情報理論 / 計算量理論 / 対話型証明 Less

Theoretical Foundations of Resource-Bounded Quantum Computation
- Principal Investigator
  
  谷誠一郎
- Project Period (FY)
  2022 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Waseda University
  NTT Communication Science Laboratories
The Natural Laws of Extreme Universe--A New Paradigm for Spacetime and Matter from Q uantum Information
- Principal Investigator
  
  高柳匡
- Project Period (FY)
  2021 – 2025
- Research Category
  
  Grant-in-Aid for Transformative Research Areas (A)
- Review Section
  
  Transformative Research Areas, Section (II)
- Research Institution
  Kyoto University
理論物理学のための量子情報理論基礎Principal Investigator
- Principal Investigator
  
  森前智行
- Project Period (FY)
  2021 – 2025
- Research Category
  
  Grant-in-Aid for Transformative Research Areas (A)
- Review Section
  
  Transformative Research Areas, Section (II)
- Research Institution
  Kyoto University
New Developments in Interactive Proofs - From Classical to Quantum
- Principal Investigator
  
  Nishimura Harumichi
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Nagoya University
secure cloud quantum computing based on local HamiltonianPrincipal Investigator
- Principal Investigator
  
  Tomoyuki Morimae
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Theory of informatics
- Research Institution
  Kyoto University
計算量的仮定に基づくノンユニバーサル量子計算の研究 -SBQPと多項式階層Principal Investigator
- Principal Investigator
  
  森前智行
- Project Period (FY)
  2015 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
- Review Section
  
  Science and Engineering
- Research Institution
  Gunma University
More practical cloud quantum computingPrincipal Investigator
- Principal Investigator
  
  Morimae Tomoyuki
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Theory of informatics
- Research Institution
  Gunma University

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014

All Journal Article Presentation

[Journal Article] Proofs of quantumness from trapdoor permutations2023
- Author(s)
  Tomoyuki Morimae, Takashi Yamakawa
- Journal Title
  
  ITCS 2023, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, LIPIcs
  
  Volume: 251
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22H00522
[Journal Article] Proofs of Quantumness from Trapdoor Permutations2023
- Author(s)
  Tomoyuki Morimae, Takashi Yamakawa
- Journal Title
  
  Proceedings of the 14th Innovations in Theoretical Computer Science conference (ITCS 2023)
  
  Volume: -
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04066
[Journal Article] From the Hardness of Detecting Superpositions to Cryptography: Quantum Public Key Encryption and Commitments2023
- Author(s)
  Minki Hhan, Tomoyuki Morimae, Takashi Yamakawa
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 14004 Pages: 639-667
- DOI
  10.1007/978-3-031-30545-0_22
- ISBN
  9783031305443, 9783031305450
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22H00522
[Journal Article] Improved Hardness Results for the Guided Local Hamiltonian Problem2023
- Author(s)
  Chris Cade, Marten Folkertsma, Sevag Gharibian, Ryu Hayakawa, Francois Le Gall, Tomoyuki Morimae, Jordi Weggemans
- Journal Title
  
  Leibniz International Proceedings in Informatics (LIPIcs)
  
  Volume: 261
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22H00522
[Journal Article] Classically Verifiable NIZK for QMA with Preprocessing2022
- Author(s)
  Tomoyuki Morimae, Takashi Yamakawa
- Journal Title
  
  Proceedings of the 28th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT2022)
  
  Volume: 4 Pages: 599-627
- DOI
  10.1007/978-3-031-22972-5_21
- ISBN
  9783031229718, 9783031229725
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04066
[Journal Article] Certified Everlasting Zero-Knowledge Proof for QMA2022
- Author(s)
  Taiga Hiroka, Tomoyuki Morimae, Ryo Nishimaki, Takashi Yamakawa
- Journal Title
  
  Crypto 2022, Lecture Notes in Computer Science
  
  Volume: 13507 Pages: 239-268
- DOI
  10.1007/978-3-031-15802-5_9
- ISBN
  9783031158018, 9783031158025
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22H00522, KAKENHI-PROJECT-19H04066, KAKENHI-PROJECT-22KJ1969
[Journal Article] Divide-and-conquer verification method for noisy intermediate-scale quantum computation2022
- Author(s)
  Yuki Takeuchi, Yasuhiro Takahashi, Tomoyuki Morimae, Seiichiro Tani
- Journal Title
  
  Quantum
  
  Volume: 6 Pages: 758-758
- DOI
  10.22331/q-2022-07-07-758
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22H00522, KAKENHI-PLANNED-20H05966
[Journal Article] Quantum commitments and signatures without one-way functions2022
- Author(s)
  Tomoyuki Morimae, Takashi Yamakawa
- Journal Title
  
  Crypto 2022, Lecture Notes in Computer Science
  
  Volume: 13507 Pages: 269-295
- DOI
  10.1007/978-3-031-15802-5_10
- ISBN
  9783031158018, 9783031158025
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22H00522, KAKENHI-PROJECT-19H04066
[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
- ISBN
  9783030920616, 9783030920623
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04066
[Journal Article] Rational proofs for quantum computing2020
- Author(s)
  Tomoyuki Morimae, Harumichi Nishimura
- Journal Title
  
  Quantum Information and Computation
  
  Volume: 20 Pages: 0189-0189
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K12637
[Journal Article] Rational proofs for quantum computing2020
- Author(s)
  Morimae Tomoyuki、Harumichi Nishimura
- Journal Title
  
  Quantum Information and Computation
  
  Volume: 20 Issue: 3&4 Pages: 181-193
- DOI
  10.26421/qic20.3-4-1
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04066
[Journal Article] Sumcheck-Based Delegation of Quantum Computing to Rational Server2020
- Author(s)
  Yuki Takeuchi, Tomoyuki Morimae, Seiichiro Tani
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12337 Pages: 69-81
- DOI
  10.1007/978-3-030-59267-7_7
- ISBN
  9783030592660, 9783030592677
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04066
[Journal Article] Impossibility of blind quantum sampling for classical client2019
- Author(s)
  Morimae Tomoyuki、Nishimura Harumichi、Takeuch Yuki、Tani Seiichiro
- Journal Title
  
  Quantum Information and Computation
  
  Volume: 19 Issue: 9&10 Pages: 793-806
- DOI
  10.26421/qic19.9-10-3
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04066
[Journal Article] Quantum computational universality of hypergraph states with pauli-X and Z basis measurements2019
- Author(s)
  Yuki Takeuchi, Tomoyuki Morimae and Masahito Hayashi
- Journal Title
  
  Scientific Reports
  
  Volume: 9 Issue: 1 Pages: 13585-13585
- DOI
  10.1038/s41598-019-49968-3
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H01280, KAKENHI-PROJECT-16KT0017, KAKENHI-PROJECT-15KK0007, KAKENHI-PROJECT-19H04066
[Journal Article] Resource-efficient verification of quantum computing using Serfling’s bound2019
- Author(s)
  Takeuchi Yuki、Mantri Atul、Morimae Tomoyuki、Mizutani Akihiro、Fitzsimons Joseph F.
- Journal Title
  
  npj Quantum Information
  
  Volume: 5 Issue: 1 Pages: 27-27
- DOI
  10.1038/s41534-019-0142-2
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12637, KAKENHI-PROJECT-19H04066
[Journal Article] Fine-grained quantum supremacy2019
- Author(s)
  Tomoyuki Morimae, Suguru Tamaki
- Journal Title
  
  Quantum Information and Computation
  
  Volume: 19 Pages: 1089-1089
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K12637
[Journal Article] Fine-grained quantum computational supremacy2019
- Author(s)
  Morimae Tomoyuki、Tamaki Suguru
- Journal Title
  
  Quantum Information and Computation
  
  Volume: 19 Issue: 13&14 Pages: 1089-1115
- DOI
  10.26421/qic19.13-14-2
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04066
[Journal Article] Merlin-Arthur with efficient quantum Merlin and quantum supremacy for the second level of the Fourier hierarchy2018
- Author(s)
  Morimae Tomoyuki、Takeuchi Yuki、Nishimura Harumichi
- Journal Title
  
  Quantum
  
  Volume: 2 Pages: 106-106
- DOI
  10.22331/q-2018-11-15-106
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K12637, KAKENHI-PROJECT-16H01705, KAKENHI-PROJECT-26247016, KAKENHI-PROJECT-16K00015
[Journal Article] Post hoc verification of quantum computing2018
- Author(s)
  Fitzsimons, Hajdusek, and Morimae
- Journal Title
  
  Physical Review Letters
  
  Volume: 120 Issue: 4 Pages: 040501-040501
- DOI
  10.1103/physrevlett.120.040501
- NAID
  130008153541
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12637
[Journal Article] Verification of Many-Qubit States2018
- Author(s)
  Takeuchi, Morimae
- Journal Title
  
  PRX
  
  Volume: 8 Issue: 2 Pages: 02160-02160
- DOI
  10.1103/physrevx.8.021060
- NAID
  120006491969
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K12637
[Journal Article] Power of one nonclean qubit2017
- Author(s)
  Tomoyuki Morimae, Keisuke Fujii, Harumichi Nishimura
- Journal Title
  
  Phys. Rev. A
  
  Volume: 95 Issue: 4 Pages: 042336-042336
- DOI
  10.1103/physreva.95.042336
- NAID
  120006331829
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PUBLICLY-15H00850, KAKENHI-PROJECT-26730003, KAKENHI-PROJECT-16K00015, KAKENHI-PROJECT-16H02211, KAKENHI-PROJECT-16H01705, KAKENHI-PROJECT-26247016
[Journal Article] Modified group non-membership is in AWPP2017
- Author(s)
  Tomoyuki Morimae, Harumichi Nishimura, Francois Le Gall
- Journal Title
  
  Quantum Information and Computation
  
  Volume: 17 Pages: 0242-0242
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26730003
[Journal Article] Modified group non-membership is in AWPP2017
- Author(s)
  Tomoyuki Morimae, Harumichi Nishimura, Francois Le Gall
- Journal Title
  
  Quantum Information and Computation
  
  Volume: 17 Pages: 0242-0242
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PUBLICLY-15H00850
[Journal Article] Hardness of classically sampling one clean qubit model with constant total variation distance error2017
- Author(s)
  Morimae
- Journal Title
  
  Physical Review A
  
  Volume: 96 Issue: 4 Pages: 040302-040302
- DOI
  10.1103/physreva.96.040302
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12637
[Journal Article] Quantum interpretations of AWPP and APP2016
- Author(s)
  Morimae, Nishimura
- Journal Title
  
  Quant. Inf. Comput.
  
  Volume: 16 Pages: 0498-0498
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PUBLICLY-15H00850
[Journal Article] Demonstration of measurement-only blind quantum computing2016
- Author(s)
  Greganti, Roehsner, Barz, Morimae, and Walther
- Journal Title
  
  New Journal of Physics
  
  Volume: 18 Pages: 013020-013020
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26730003
[Journal Article] Quantum proofs can be verified using only single qubit measurements2016
- Author(s)
  Morimae, Nagaj, Schuch
- Journal Title
  
  Phys. Rev. A
  
  Volume: 93 Pages: 022326-022326
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26730003
[Journal Article] Quantum Merlin-Arthur with Clifford Arthur2015
- Author(s)
  Morimae, Hayashi, Nishimura, Fujii
- Journal Title
  
  Quant. Inf. Comput.
  
  Volume: 15 Pages: 1420-1420
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PUBLICLY-15H00850
[Journal Article] Verifiable measurement-only blind quantum computing with stabilizer testing2015
- Author(s)
  Hayashi, Morimae
- Journal Title
  
  Phys. Rev. Lett.
  
  Volume: 115 Pages: 220502-220502
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PUBLICLY-15H00850
[Journal Article] Acausal measurement-based uantum computing2014
- Author(s)
  Tomoyuki Morimae
- Journal Title
  
  Physical Review A
  
  Volume: 90 Pages: 010101-010101
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26730003
[Journal Article] Hardness of simulating one clean qubit model2014
- Author(s)
  Tomoyuki Morimae, Keisuke Fujii, Joe Fitzsimons
- Journal Title
  
  Physical Review Letters
  
  Volume: 112 Pages: 130502-130502
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26730003
[Presentation] Quantum commitments and signatures without one-way functions2023
- Author(s)
  Tomoyuki Morimae
- Organizer
  Crypto 2022
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-21H05183
[Presentation] Improved Hardness Results for the Guided Local Hamiltonian Problem2023
- Author(s)
  Sevag Gharibian, Ryu Hayakawa, Francois Le Gall, Tomoyuki Morimae
- Organizer
  26th Conference on Quantum Information Processing (QIP 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04066
[Presentation] Proofs of quantumness from trapdoor permutations2023
- Author(s)
  Tomoyuki Morimae
- Organizer
  ITCS 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PLANNED-21H05183
[Presentation] Divide-and-conquer verification method for noisy intermediate-scale quantum computation2023
- Author(s)
  Yuki Takeuchi, Yasuhiro Takahashi, Tomoyuki Morimae, Seiichiro Tani
- Organizer
  23rd Asian Quantum Information Science Conference (AQIS 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22H00522
[Presentation] Rational proofs for quantum computing2019
- Author(s)
  森前智行，西村治道
- Organizer
  コンピュテーション研究会
- Data Source
  KAKENHI-PROJECT-19H04066
[Presentation] Measurement-based quantum computing on tensor-network states2014
- Author(s)
  Tomoyuki Morimae
- Organizer
  Tensor network states: Algorithms and Applications Institute of Physics
- Place of Presentation
  Chinese Academy
- Year and Date
  2014-12-01
- Invited
- Data Source
  KAKENHI-PROJECT-26730003

1. Nishimura Harumichi (70433323)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
2. Buscemi F. (80570548)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. 中田芳史 (10808992)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. ルガルフランソワ (50584299)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
5. 小澤正直 (40126313)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 高柳匡 (10432353)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 白水徹也 (10282716)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 石橋明浩 (10469877)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 奥西巧一 (30332646)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 遊佐剛 (40393813)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 小林努 (40580212)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 手塚真樹 (40591417)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 上田宏 (40632758)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 飯塚則裕 (40645462)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 堀田知佐 (50372909)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 堀田昌寛 (60261541)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 中島秀太 (70625160)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 泉圭介 (90554501)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 西岡辰磨 (90747445)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 東浩司 (90599549)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 早川龍 (60988377)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 谷誠一郎 (70396183)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
23. 森立平 (60732857)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
24. 七島幹人 (90855222)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. 林正人

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Morimae Tomoyuki 森前 智行

Research Projects

Research Products

Co-Researchers

Theoretical Foundations of Resource-Bounded Quantum Computation

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

The Natural Laws of Extreme Universe--A New Paradigm for Spacetime and Matter from Q uantum Information

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

理論物理学のための量子情報理論基礎Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

New Developments in Interactive Proofs - From Classical to Quantum

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

secure cloud quantum computing based on local HamiltonianPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

計算量的仮定に基づくノンユニバーサル量子計算の研究 -SBQPと多項式階層Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

More practical cloud quantum computingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Proofs of quantumness from trapdoor permutations2023

Author(s)

Journal Title

Data Source

[Journal Article] Proofs of Quantumness from Trapdoor Permutations2023

Author(s)

Journal Title

Data Source

[Journal Article] From the Hardness of Detecting Superpositions to Cryptography: Quantum Public Key Encryption and Commitments2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Improved Hardness Results for the Guided Local Hamiltonian Problem2023

Author(s)

Journal Title

Data Source

[Journal Article] Classically Verifiable NIZK for QMA with Preprocessing2022

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Certified Everlasting Zero-Knowledge Proof for QMA2022

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Divide-and-conquer verification method for noisy intermediate-scale quantum computation2022

Author(s)

Journal Title

DOI

Morimae Tomoyuki 森前智行