Guardado en:
| Autores principales: | , , , , , , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2502.19368 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866929732770070528 |
|---|---|
| author | Vax, Matan Emanuel, Peleg Cornfeld, Eyal Reichental, Israel Opher, Ori Roth, Ori Michaeli, Tal Preminger, Lior Gazit, Lior Naveh, Amir Naveh, Yehuda |
| author_facet | Vax, Matan Emanuel, Peleg Cornfeld, Eyal Reichental, Israel Opher, Ori Roth, Ori Michaeli, Tal Preminger, Lior Gazit, Lior Naveh, Amir Naveh, Yehuda |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_19368 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Qmod: Expressive High-Level Quantum Modeling Vax, Matan Emanuel, Peleg Cornfeld, Eyal Reichental, Israel Opher, Ori Roth, Ori Michaeli, Tal Preminger, Lior Gazit, Lior Naveh, Amir Naveh, Yehuda Quantum Physics Programming Languages 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. |
| title | Qmod: Expressive High-Level Quantum Modeling |
| topic | Quantum Physics Programming Languages |
| url | https://arxiv.org/abs/2502.19368 |