Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

High-level quantum structured programs as quantum registers compositions

David Chamizo, Jose Garcia-Alonso, Juan M. Murillo

Published Apr 25, 2026• 0 citations
Publisher

Abstract

This repository forms part of the technical paper "High-level quantum structured programs as quantum registers compositions", accepted to IEEE International Conference on Quantum Computing and Engineering 2026 (QSYS Track). It is composed of bundles a series of operations proposed in effort towards establishing a high-level quantum structured programming. In particular, a quantum SMT solver can be addressed relying solely on these. Go to file README.md for more details.

DOI
10.5281/zenodo.19762069

Related papers

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs

Zhicheng Zhang, Mingsheng Ying

Quantum recursive programming has been recently introduced for describing sophisticated and complicated quantum algorithms in a compact and elegant way. However, implementation of quantum recursion involves intricate interplay between quantum control flow and recursive procedure calls. In this paper, we aim at resolving this fundamental challenge and develop a series of techniques to efficiently implement quantum recursive programs. Our main contributions include:

arXiv:2408.10054•Proceedings of the ACM on Programming Languages•Jun 10, 2025•4 citations

High-level quantum structured programs as quantum registers compositions

David Chamizo, Jose Garcia-Alonso, Juan M. Murillo

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.

quant-pharXiv:2608.03873•Aug 5, 2026•0 citations

Compiling Quantum Algorithms for Architectures with Multi-qubit Gates (Open Access, Publisher's Version)

Esteban A. Martinez, Thomas Monz, Daniel Nigg +2 more

•Jun 24, 2016•0 citations

Randomized and Diverse Input State Generation for Quantum Program Testing

Maryse Ernzer

This repository accompanies the articleMaryse Ernzer, Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli. Randomized and Diverse Input State Generation for Quantum Program Testing. IEEE International Conference on Quantum Computing and Engineering (QCE26). 2026. The repository contains:The scripts required to reproduce the data and figures as reported in the Evaluation section IV of the article.The datasets used in our article. These are found in the directory data_sets.

•Jul 15, 2026•0 citations

International Conference on Quantum Technologies for High-Energy Physics (QT4HEP22)

Alba Cervera-Lierta

High Dimensional Quantum Computation. 0:00:00 Slide 1 0:01:53 Slide 2 0:04:12 Slide 3 0:07:15 Slide 4 0:08:56 Slide 5 0:10:16 Slide 6 0:11:53 Slide 7 0:13:22 Slide 8 0:14:39 Slide 9 0:16:22 Slide 10 0:17:28 Slide 11 0:18:49 Slide 12 0:20:27 Slide 13 0:22:37 Slide 14 0:24:08 Slide 15 0:25:36 Slide 16

•Jan 1, 2022•0 citations

The Type III Dimension Postulate · Rev 3 and the Complete Structure-Side Chapter (2026b through 2026o, with Closing Statement and Position Statement)

Aron Reid, Claude Anthropic

This deposit gathers the complete structure-side chapter of the Reid Postulate following its acceptance by the International Journal of Quantum Foundations / Quantum Speculations on 2 May 2026. The framework proposes that the dimensions of physical description are not all the same structural kind. It names the unargued assumption that they are, the Homogeneity Postulate, and lifts it, proposing categorical separation between Type I (spatial), Type II (entropic), and Type III (observational) dimensions. Observation is articulated as a Type III index on a fiber bundle over four-dimensional spacetime, with binary fiber Ω carrying purely indexical distinction between two members of identical Lorentzian content. The Born-compatible measure inherits from Gleason's theorem on the projection lattice. Composability requires jointly describable systems to share index. A companion no-go theorem closes one class of candidate dynamics, articulating a combined kinematic and dynamic no-go boundary. The reader will encounter the framework's articulation in three layers. The Postulate body (Rev 3) and the no-go theorem (2026b) carry the framework's standing content. The synthesis layer (2026c through 2026i) articulates that content at distinct registers, including minimal structure, the structure to fact fence, Gleason compatibility, scope conditionality, algebraic conditions, Hilbert space level conditionality, and the contextuality stack, without extending the framework's claims. The post closure arc (2026j through 2026o) is the chapter's actual completion: the section articulation extension (2026j Rev 4), the synthesis register filing on joint describability failure as structural principle (2026k), the prediction note articulating the framework's structural prediction in Bell type scenarios at the level of object ontology (2026l), and the construction trilogy specifying the algebra to section map (2026m), verifying it on safe regimes (2026n), and exploring whether the framework produces quantitative content of its own (2026o, which finds the framework's reach to be qualitative structural rather than quantitative numerical). The Closing Statement (15 May 2026) marked the chapter procedurally complete. The Position Statement articulates the chapter's substantive final standing after the post closure arc produced what the chapter's articulated content required. The framework stands as a structural account of the indexical dimension of physical description, internally consistent on safe regimes, with load bearing commitments named honestly, falsification conditions stated, and open problems located and not resolved. The framework does not derive standard quantum mechanics but is consistent with it. It does not resolve the measurement problem. It does not produce new empirical predictions beyond the object ontology level. What the framework does not claim is part of what it offers. The work is offered for technical scrutiny. It adds no particles, forces, symmetries, or universes. It operates by removing an assumption rather than adding structure. Submitted for technical scrutiny, not belief.

•May 23, 2026•3 citations
This repository forms part of the technical paper "High-level quantum structured programs as quantum registers compositions", accepted to IEEE International Conference on Quantum Computing and Engineering 2026 (QSYS Track). It is composed of bundles a series of operations proposed in effort towards establishing a high-level quantum structured programming. In particular, a quantum SMT solver can be addressed relying solely on these. Go to file README.md for more details.
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.
This deposit gathers the complete structure-side chapter of the Reid Postulate following its acceptance by the International Journal of Quantum Foundations / Quantum Speculations on 2 May 2026. The framework proposes that the dimensions of physical description are not all the same structural kind. It names the unargued assumption that they are, the Homogeneity Postulate, and lifts it, proposing categorical separation between Type I (spatial), Type II (entropic), and Type III (observational) dimensions. Observation is articulated as a Type III index on a fiber bundle over four-dimensional spacetime, with binary fiber Ω carrying purely indexical distinction between two members of identical Lorentzian content. The Born-compatible measure inherits from Gleason's theorem on the projection lattice. Composability requires jointly describable systems to share index. A companion no-go theorem closes one class of candidate dynamics, articulating a combined kinematic and dynamic no-go boundary. The reader will encounter the framework's articulation in three layers. The Postulate body (Rev 3) and the no-go theorem (2026b) carry the framework's standing content. The synthesis layer (2026c through 2026i) articulates that content at distinct registers, including minimal structure, the structure to fact fence, Gleason compatibility, scope conditionality, algebraic conditions, Hilbert space level conditionality, and the contextuality stack, without extending the framework's claims. The post closure arc (2026j through 2026o) is the chapter's actual completion: the section articulation extension (2026j Rev 4), the synthesis register filing on joint describability failure as structural principle (2026k), the prediction note articulating the framework's structural prediction in Bell type scenarios at the level of object ontology (2026l), and the construction trilogy specifying the algebra to section map (2026m), verifying it on safe regimes (2026n), and exploring whether the framework produces quantitative content of its own (2026o, which finds the framework's reach to be qualitative structural rather than quantitative numerical). The Closing Statement (15 May 2026) marked the chapter procedurally complete. The Position Statement articulates the chapter's substantive final standing after the post closure arc produced what the chapter's articulated content required. The framework stands as a structural account of the indexical dimension of physical description, internally consistent on safe regimes, with load bearing commitments named honestly, falsification conditions stated, and open problems located and not resolved. The framework does not derive standard quantum mechanics but is consistent with it. It does not resolve the measurement problem. It does not produce new empirical predictions beyond the object ontology level. What the framework does not claim is part of what it offers. The work is offered for technical scrutiny. It adds no particles, forces, symmetries, or universes. It operates by removing an assumption rather than adding structure. Submitted for technical scrutiny, not belief.