About Me

I am a designated assistant professor at the Graduate School of Mathematics, Nagoya University.

I received my Ph.D. degree from the Graduate School of Mathematics, Nagoya University, under the supervision of Prof. François Le Gall.

 My research focuses on theoretical computer science, with a particular interest in the areas of quantum algorithms, quantum complexity theory, and distributed computing. 

email: d21001i@math.nagoya-u.ac.jp

Google Scholar

Education

Publications

Quantum Merlin-Arthur proof systems for state synthesis.

Hugo Delavenne, François Le Gall, Yupan Liu and Masayuki Miyamoto

[arXiv:2303.01877]

Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications.

François Le Gall, Masayuki Miyamoto and Harumichi Nishimura

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), pp. 63:1--63:15, 2023. [DOI]

Also presented as a contributed talk at TQC 2023.

[arXiv:2210.01389]

Distributed Quantum Interactive Proofs.

François Le Gall, Masayuki Miyamoto and Harumichi Nishimura

Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023), pp. 42:1–42:21, 2023. [DOI]

Brief announcement in Proceedings of the 36th International Symposium on Distributed Computing (DISC 2022), pp. 48:1–48:3, 2022. [DOI]

[arXiv:2210.01390] 

Lower Bounds for Induced Cycle Detection in Distributed Computing. 

François Le Gall and Masayuki Miyamoto

Proceedings of the 32nd International Symposium on Algorithms and Computation (ISAAC 2021), pp. 58:1-58:19, 2021. [DOI]

[arXiv:2110.00741] 

Quantum Speedup for the Minimum Steiner Tree Problem. 

Masayuki Miyamoto, Masakazu Iwamura, Koichi Kise and François Le Gall

Proceedings of the 26th International Computing and Combinatorics Conference (COCOON 2020), pp. 234-245, 2020. [DOI]

Also presented as a poster at AQIS 2019.

[arXiv:1904.03581]