2025/02/26 by Matan Vax, Peleg Emanuel, Vax, Matan +19 · 6 citations
Computer Science · Engineering · #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #FOS: Physical sciences #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph) #Radiation Effects in Electronics
paper · pdf · doi:10.48550/arxiv.2502.19368
openalex publication_date 2025/02/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Quantum computing hardware is advancing at a rapid pace, yet the lack of high-level programming abstractions remains a serious bottleneck in the development of new applications. Widely used frameworks still rely on gate-level circuit descriptions, causing the algorithm's functional intent to become lost in low-level implementation details, and hindering flexibility and reuse. While various high-level quantum programming languages have emerged in recent years - offering a significant step toward higher abstraction - many still lack support for classical-like expression syntax, and native constructs for useful quantum algorithmic idioms. This paper presents Qmod, a high-level quantum programming language designed to capture algorithmic intent in natural terms while delegating implementation decisions to automation. Qmod introduces quantum numeric variables and expressions, including digital fixed-point arithmetic tuned for compact representations and optimal resource usage. Beyond digital encoding, Qmod also supports non-digital expression modes - phase and amplitude encoding - frequently exploited by quantum algorithms to achieve computational advantages. We describe the language's constructs, demonstrate practical usage examples, and outline future work on evaluating Qmod across a broader set of use cases.