An Investigation of Functional Size Measurement of Error Correction Overhead in Quantum Software
As quantum computing has progressed toward fault-tolerant implementations, quantum error correction (QEC) for quantum hardware and software has become a dominant concern. While conventional QEC measurements, such as qubit overhead, code distance, and error thresholds, quantify physical resource costs, they do not capture the software-level functionality introduced by error detection, correction, and fault-tolerant gate protocols. This study investigated the QEC contribution to the functional size of quantum software and demonstrated that this contribution can be systematically measured using the COSMIC Functional Size Measurement method. A gate-level sizing approach, known as Gates’ Occurrences, was used to quantify functional user requirements (FUR) associated with QEC processes, including logical encoding, syndrome extraction, and recovery operations. A prototype measurement tool, implemented in Qiskit (Version 0.7.2), enables the automated calculation of COSMIC Function Points (CFP) from annotated circuit representations. Case studies involving Bell state preparation, Grover’s search algorithm, and 15-to-1 magic state distillation revealed that QEC-related functionality can account for 70–85% of the total functional size, even under simplified encoding assumptions. The results underscore the importance of QEC for the functional size of quantum software. These findings offer a reproducible foundation for functional sizing and future fault-tolerant quantum applications.
Authors
- Alain Abran (ORCID: https://orcid.org/0000-0003-2670-9061)
- Sylvain Beland (ORCID: https://orcid.org/0009-0008-4213-6172)
- Tuna Hacaloğlu (ORCID: https://orcid.org/0000-0002-0549-6696)
- Hassan Soubra (ORCID: https://orcid.org/0000-0003-0056-6015)
- Youssef Adel (ORCID: https://orcid.org/0000-0002-8968-5995)
- Pierre Bourque (ORCID: https://orcid.org/0000-0002-3302-6392)
Institutions
- German University in Cairo (EG)
- École de Technologie Supérieure (CA)
Publication Details
- Journal
- Computers
- Published
- 2026-10-15
- DOI
- https://doi.org/10.3390/computers15100719
- Primary Topic
- Quantum Computing Algorithms and Architecture
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Mitacs