4 citations · 8 across the 6 of their papers we have counts for
6 papers
Crossing the 12,000-atom barrier with heterogeneous quantum-classical supercomputing: quantum chemistry of protein-ligand complexes
Kenneth M. Merz, Akhil Shajan, Danil Kaliakin +21
We develop a workflow decomposing a molecule into fragments via quantum embedding and simulating them with a heterogeneous quantum-classical (HQC) method. We sample fragment electr…
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka +1
Quantum Separation Logic (QSL) has been proposed as an effective tool to improve the scalability of deductive reasoning for quantum programs. In QSL, separation is interpreted as d…
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…
Type-based Qubit Allocation for a First-Order Quantum Programming Language
Ryo Wakizaka, Atsushi Igarashi
Qubit allocation is a process to assign physical qubits to logical qubits in a quantum program. Since some quantum computers have connectivity constraints on applications of two-qu…
InQuIR: Intermediate Representation for Interconnected Quantum Computers
Shin Nishio, Ryo Wakizaka
Various physical constraints limit the number of qubits that can be implemented in a single quantum processor, and thus it is necessary to connect multiple quantum processors via q…