Salvato in:
| Autori principali: | , , , , , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2510.11420 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914090249617408 |
|---|---|
| author | Koch, Mark Borgna, Agustín Sivarajah, Seyon Lawrence, Alan Edgington, Alec Wilson, Douglas Roy, Craig Mondada, Luca Heidemann, Lukas Duncan, Ross |
| author_facet | Koch, Mark Borgna, Agustín Sivarajah, Seyon Lawrence, Alan Edgington, Alec Wilson, Douglas Roy, Craig Mondada, Luca Heidemann, Lukas Duncan, Ross |
| contents | We introduce the Hierarchical Unified Graph Representation (HUGR): a novel graph based intermediate representation for mixed quantum-classical programs. HUGR's design features high expressivity and extensibility to capture the capabilities of near-term and forthcoming quantum computing devices, as well as new and evolving abstractions from novel quantum programming paradigms. The graph based structure is machine-friendly and supports powerful pattern matching based compilation techniques. Inspired by MLIR, HUGR's extensibility further allows compilation tooling to reason about programs at multiple levels of abstraction, lowering smoothly between them. Safety guarantees in the structure including strict, static typing and linear quantum types allow rapid development of compilation tooling without fear of program invalidation. A full specification of HUGR and reference implementation are open-source and available online. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_11420 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | HUGR: A Quantum-Classical Intermediate Representation Koch, Mark Borgna, Agustín Sivarajah, Seyon Lawrence, Alan Edgington, Alec Wilson, Douglas Roy, Craig Mondada, Luca Heidemann, Lukas Duncan, Ross Programming Languages Quantum Physics We introduce the Hierarchical Unified Graph Representation (HUGR): a novel graph based intermediate representation for mixed quantum-classical programs. HUGR's design features high expressivity and extensibility to capture the capabilities of near-term and forthcoming quantum computing devices, as well as new and evolving abstractions from novel quantum programming paradigms. The graph based structure is machine-friendly and supports powerful pattern matching based compilation techniques. Inspired by MLIR, HUGR's extensibility further allows compilation tooling to reason about programs at multiple levels of abstraction, lowering smoothly between them. Safety guarantees in the structure including strict, static typing and linear quantum types allow rapid development of compilation tooling without fear of program invalidation. A full specification of HUGR and reference implementation are open-source and available online. |
| title | HUGR: A Quantum-Classical Intermediate Representation |
| topic | Programming Languages Quantum Physics |
| url | https://arxiv.org/abs/2510.11420 |