Reducing Trust Cost in Quantum Application Development Using AI
Abstract
Generative AI can be a powerful tool for supporting the design and implementation of quantum applications, whereas the burden of checking whether generated circuits realize the intended computation increases. In this study, we regard this burden of human understanding, checking, and judgment as ``trust cost,'' and propose a development methodology that integrates AI and formal verification to reduce it. In the proposed development methodology, the implementation is divided into three components: a target mathematical specification, a quantum circuit, and a correspondence theorem and its proof that prove the agreement between the two. This division separates the specifications and theorem statements checked by humans from the theorem proofs entrusted to mechanical checking. As a concrete development example of this proposal, we describe an implementation for the time evolution of a stochastic particle system and its results.
Related
- Reducing the Entanglement Cost of Distributed Bipartite Quantum Computation with Constant Qubit Overhead
- Reducing the arithmetic cost of quantum derivative pricing with language-model circuit design
- Reducing the cost of ancilla purification for Majorana quantum computation
- Reducing the Cost of Qudit State Preparation by Learning a Sparse Structure for SNAP Gates
- Reducing quantum and classical resources for quantum-centric supercomputing workloads on near-term hardware
BibTeX
@misc{endo2026reducing,
title = {{Reducing Trust Cost in Quantum Application Development Using AI}},
author = {Katsuhiro Endo},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.14665},
eprint = {2610.14665},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.14665},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Reducing Trust Cost in Quantum Application Development Using AI
AU - Katsuhiro Endo
PY - 2026
DA - 2026/10/10
PB - arXiv
DO - 10.48550/arxiv.2610.14665
UR - https://arxiv.org/abs/2610.14665
AB - Generative AI can be a powerful tool for supporting the design and implementation of quantum applications, whereas the burden of checking whether generated circuits realize the intended computation increases. In this study, we regard this burden of human understanding, checking, and judgment as ``trust cost,'' and propose a development methodology that integrates AI and formal verification to reduce it. In the proposed development methodology, the implementation is divided into three components: a target mathematical specification, a quantum circuit, and a correspondence theorem and its proof that prove the agreement between the two. This division separates the specifications and theorem statements checked by humans from the theorem proofs entrusted to mechanical checking. As a concrete development example of this proposal, we describe an implementation for the time evolution of a stochastic particle system and its results.
ER -