Search papers, labs, and topics across Lattice.
This paper introduces a quantum programming language designed to enhance resource estimation for fault-tolerant quantum computation, addressing the inefficiencies of existing languages that either require low-level hardware manipulation or obscure error-correction details. By providing programmer-visible abstractions and facilitating cross-layer program-hardware analysis, the framework allows for a systematic exploration of resource trade-offs in quantum algorithms. The evaluation shows that this approach achieves significant resource savings while offering detailed and accurate estimates for large-scale quantum programs, which is critical for practical deployment.
Efficient resource estimation for fault-tolerant quantum programs can lead to substantial savings and improved algorithm performance without sacrificing programmability.
Fault-tolerant quantum computation enables the deployment of practical quantum algorithms but incurs substantial overhead from error correction, making resource estimation a central concern. Beyond case-by-case analyses, existing quantum programming languages either require programmers to manipulate low-level hardware details, rendering fault-tolerant implementations cumbersome, or abstract away the underlying error-correction schemes, reducing the effectiveness of resource utilization and estimation. To address these limitations while preserving programmability, we present a quantum programming language that enables efficient resource utilization, together with a resource-estimation framework for comprehensive resource analysis. Our framework features programmer-visible abstractions of error-correction schemes and cross-layer program-hardware analysis, allowing systematic exploration of resource trade-offs. We evaluate our approach on detailed fault-tolerant implementations of practical large-scale quantum algorithms, including components typically treated as black boxes in existing frameworks. The results demonstrate that our framework enables substantial resource savings while delivering detailed, fine-grained, and accurate resource estimates for fault-tolerant quantum programs.
