4 papers
A Spacetime Volume Implementation of a Logical S Gate in the Surface Code
Yuga Hirai, Shota Ikari, Yosuke Ueno +1
The logical S gate implemented via twist defect braiding in the surface code is one of the major sources of overhead in fault-tolerant quantum computing, since an S-gate correction…
Design automation and space-time reduction for surface-code logical operations using a SAT-based EDA kernel compatible with general encodings
Wang Liao, Rei Tokami, Yasunari Suzuki
Fault-tolerant quantum computers (FTQCs) based on surface codes and lattice surgery have been widely studied, and there is strong demand for a framework that can identify logical o…
Online Job Scheduler for Fault-tolerant Quantum Multiprogramming
Shin Nishio, Ryo Wakizaka, Daisuke Sakuma +2
Fault-tolerant quantum computers are expected to be offered as cloud services due to their significant resource and infrastructure requirements. Quantum multiprogramming, which run…
Type-Based Verification of Connectivity Constraints in Lattice Surgery
Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi
Fault-tolerant quantum computation using lattice surgery can be abstracted as operations on graphs, wherein each logical qubit corresponds to a vertex of the graph, and multi-qubit…