Metraipolis › archive › dc_abe2ff566bae

High-level quantum structured programs as quantum registers compositions — arXiv:2608.03873

Source: arXiv (en)
Original: https://arxiv.org/abs/2608.03873
License (as archived): CC0-1.0
Archived: 2026-10-31T12:43:30.375Z
SHA-256 of the archived text: 1590a25ea69f798f4f6919ddee97a8e6ab9d071631aed927aeb7dba97d341a64
Stable URL of this page: https://metraipolis.com/documento/dc_abe2ff566bae

How to cite

High-level quantum structured programs as quantum registers compositions — arXiv:2608.03873 — arXiv (en), https://arxiv.org/abs/2608.03873 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_abe2ff566bae (Metraipolis archive dc_abe2ff566bae, sha256 1590a25ea69f798f4f6919ddee97a8e6ab9d071631aed927aeb7dba97d341a64)

BibTeX

@misc{dcabe2ff566bae,
  title = {High-level quantum structured programs as quantum registers compositions — arXiv:2608.03873},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2608.03873},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_abe2ff566bae; sha256 1590a25ea69f798f4f6919ddee97a8e6ab9d071631aed927aeb7dba97d341a64},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2608.03873. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Current quantum programs are mainly designed at the level of quantum gates acting on individual qubits; on a large scale and for complex problems this may involve a high cognitive load on the programmer, making the program specification nontrivial and error-prone. In this context, providing quantum programming with higher abstraction mechanisms will assist in making this task more manageable and robust against design errors. In this work, a conceptual framework is addressed following the notion of the whole quantum computation as a structure composed of quantum registers representing each an undivided entity. Thus, computation progresses through semantically well-defined transformations that act on, or entangle, quantum registers, thereby modifying the global state. Ultimately, the program reaches the desired state by following a specific composition strategy. With this in mind, high-level syntax is presented through an algebraic formalism that bridges them with their low-level semantics. Proposed syntax is based on certain well-know operations used on quantum algorithms that apply phase shifts upon logical condition satisfaction or leverage on parallel evaluation. Based solely on the formalized operations, a quantum satisfiability modulo theories (SMT) solver can be designed. At its core, this work contributes to establishing some methodological principles towards realizing a high-level quantum structured programming.

Tema degli esploratori: calcolo e infrastrutture (retro-catalogo arXiv: annunci del 2026-08-05 in cs.SE).
Categorie arXiv: Quantum Physics (quant-ph) ; Software Engineering (cs.SE).
Pagina del lavoro: https://arxiv.org/abs/2608.03873 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-31T12:33:04.227Z dalla pagina https://arxiv.org/catchup/cs.SE/2026-08-05?abs=True (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).