This document describes a quantum assembly language (QASM) called OpenQASM that is used to implement experiments with low depth quantum circuits. OpenQASM represents universal physical circuits over the CNOT plus SU(2) basis with straight-line code that includes measurement, reset, fast feedback, and gate subroutines. The simple text language can be written by hand or by higher level tools and may be executed on the IBM Q Experience.
QSCOUT is the Quantum Scientific Computing Open User Testbed, a trapped-ion quantum computer testbed realized at Sandia National Laboratories on behalf of the Department of Energy's Office of Science and its Advanced Scientific Computing (ASCR) program. Jaqal, for Just Another Quantum Assembly Language, is the programming language used to specify programs executed on QSCOUT. This document contains a specification of Jaqal along with a summary of QSCOUT 1.0 capabilities, example Jaqal programs, and plans for possible future extensions. To learn more about QSCOUT and the Jaqal language developed…
We show a representation of Quantum Computers defines Quantum Turing Machines with associated Quantum Grammars. We then create examples of Quantum Grammars. Lastly we develop an algebraic approach to high level Quantum Languages using Quantum Assembly language and Quantum C language as examples.
Quantum assembly languages are machine-independent languages that traditionally describe quantum computation in the circuit model. Open quantum assembly language (OpenQASM 2) was proposed as an imperative programming language for quantum circuits based on earlier QASM dialects. In principle, any quantum computation could be described using OpenQASM 2, but there is a need to describe a broader set of circuits beyond the language of qubits and gates. By examining interactive use cases, we recognize two different timescales of quantum-classical interactions: real-time classical computations that …
Recent advances in DNA sequencing open prospects to make whole-genome analysis rapid and reliable, which is promising for various applications including personalized medicine. However, existing techniques for {\it de novo} genome assembly, which is used for the analysis of genomic rearrangements, chromosome phasing, and reconstructing genomes without a reference, require solving tasks of high computational complexity. Here we demonstrate a method for solving genome assembly tasks with the use of quantum and quantum-inspired optimization techniques. Within this method, we present experimental r…
The quantum assembly language (QASM) is a popular intermediate representation used in many quantum compilation and simulation tools to describe quantum circuits. Currently, multiple different dialects of QASM are used in different quantum computing tools. This makes the interaction between those tools tedious and time-consuming due to the need for translators between theses different syntaxes. Beside requiring a multitude of translators, the translation process exposes the constant risk of loosing information due to the potential incompatibilities between the different dialects. Moreover, seve…
Given a quantum algorithm, it is highly nontrivial to devise an efficient sequence of physical gates implementing the algorithm on real hardware and incorporating topological quantum error correction. In this paper, we present a first step towards this goal, focusing on generating correct and simple arrangements of topological structures that correspond to a given quantum circuit and largely neglecting their efficiency. We detail the many challenges that will need to be tackled in the pursuit of efficiency. The software source code can be consulted at https://github.com/alexandrupaler/tqec.
We demonstrate the utility of the Multi-Level Intermediate Representation (MLIR) for quantum computing. Specifically, we extend MLIR with a new quantum dialect that enables the expression and compilation of common quantum assembly languages. The true utility of this dialect is in its ability to be lowered to the LLVM intermediate representation (IR) in a manner that is adherent to the quantum intermediate representation (QIR) specification recently proposed by Microsoft. We leverage a qcor-enabled implementation of the QIR quantum runtime API to enable a retargetable (quantum hardware agnostic…
It is challenging to transform an arbitrary quantum circuit into a form protected by surface code quantum error correcting codes (a variant of topological quantum error correction), especially if the goal is to minimise overhead. One of the issues is the efficient placement of magic state distillation sub circuits, so-called distillation boxes, in the space-time volume that abstracts the computation's required resources. This work presents a general, systematic, online method for the synthesis of such circuits. Distillation box placement is controlled by so-called schedulers. The work introduc…
Quantum feedback algorithms for DNA assembly using FALQON variants
São Paulo State University (UNESP), School of Sciences（圣保罗州立大学理学院）；Instituto de Física Gleb Wataghin, Universidade de Campinas（坎皮纳斯大学格列布·瓦塔金物理研究所）；Hospital Israelita Albert Einstein（阿尔伯特·爱因斯坦以色列医院）
The Quantum Scientific Computing Open User Testbed (QSCOUT) is a trapped-ion quantum computer testbed realized at Sandia National Laboratories on behalf of the Department of Energy's Office of Science and its Advanced Scientific Computing (ASCR) program. Here we describe Jaqal, for Just another quantum assembly language, the programming language we invented to specify programs executed on QSCOUT. Jaqal is useful beyond QSCOUT---it can support mutliple hardware targets because it offloads gate names and their pulse-sequence definitions to external files. We describe the capabilities of the Jaqa…
Efficient Assembly of a Defect-Free Quantum Register of 1024 Neutral-Atom Qubits
Technische Universität Darmstadt（达姆施塔特工业大学）；Helmholtz Forschungsakademie Hessen für FAIR (HFHF), GSI Helmholtzzentrum für Schwerionenforschung（黑森FAIR亥姆霍兹研究院，GSI重离子研究中心）
We present a quantum CISC compiler and show how to assemble complex instruction sets in a scalable way. Enlarging the toolbox of universal gates by optimised complex multi-qubit instruction sets thus paves the way to fight decoherence for realistic settings. Compiling a quantum module into the machine code for steering a concrete quantum hardware device lends itself to be tackled by means of optimal quantum control. To this end, there are two opposite approaches: (i) one may use a decomposition into the restricted instruction set (RISC) of universal one- and two-qubit gates, which in turn have…
Guiding many-body systems to desired states is a central challenge of modern quantum science, with applications from quantum computation to many-body physics and quantum-enhanced metrology. Approaches to solving this problem include step-by-step assembly, reservoir engineering to irreversibly pump towards a target state, and adiabatic evolution from a known initial state. Here we construct low-entropy quantum fluids of light in a Bose Hubbard circuit by combining particle-by-particle assembly and adiabatic preparation. We inject individual photons into a disordered lattice where the eigenstate…
Optically trapped mixed-species single atom arrays with arbitrary geometries are an attractive and promising platform for various applications, because tunable quantum systems with multiple components provide extra degrees of freedom for experimental control. Here, we report the first demonstration of two-dimensional $6\times4$ dual-species atom assembly with a filling fraction of 0.88 (0.89) for $^{85}$Rb ($^{87}$Rb) atoms. This mixed-species atomic synthetic is achieved via rearranging initially randomly distributed atoms using a sorting algorithm (heuristic heteronuclear algorithm) which is…
Realizing a large-scale fully controllable quantum system is a challenging task in current physical research and has broad applications. Ultracold atom and molecule arrays in optical tweezers in vacuum have been used for quantum simulation, quantum metrology and quantum computing. Recently, quantum ground state cooling of the center-of-mass motion of a single optically levitated nanoparticle in vacuum was demonstrated, providing unprecedented opportunities for studying macroscopic quantum mechanics and precision measurements. In this work, we create a reconfigurable optically-levitated nanopar…
We have identified a class of many body problems with analytic solution beyond the mean-field approximation. This is the case where each body can be considered as an element of an assembly of interacting particles that are translationally frozen multi-level quantum systems and that do not change significantly their initial quantum states during the evolution. In contrast, the entangled collective state of the assembly experiences an appreciable change. We apply this approach to interacting three-level systems.
Developing future quantum communication may rely on the ability to engineer cavity-mediated interactions between photons and solid-state artificial atoms, in a deterministic way. Here, we report a set of technological and experimental developments for the deterministic coupling between the optical mode of a micropillar cavity and a quantum dot trion transition. We first identify a charged transition through in-plane magnetic field spectroscopy, and then tune the optical cavity mode to its energy via in-situ lithography. In addition, we design an asymmetric tunneling barrier to allow the optica…
The interaction of a single quantum emitter with its environment is a central theme in quantum optics. When placed in highly confined optical fields, such as those created in optical cavities or plasmonic structures, the optical properties of the emitter can change drastically. In particular, photonic crystal (PC) cavities show high quality factors combined with an extremely small mode volume. Efficiently coupling a single quantum emitter to a PC cavity is challenging because of the required positioning accuracy. Here, we demonstrate deterministic coupling of single Nitrogen-Vacancy (NV) cente…
QUASAR: Quantum Assembly Code Generation Using Tool-Augmented LLMs via Agentic RL
Aalto University（阿alto大学）；University of Helsinki（赫尔辛基大学）；University of Liverpool（利物浦大学）；University of Southampton（南安普顿大学）；Technical University of Denmark（丹麦技术大学）
A Compact, Robust, and Tunable Open Microcavity Platform for Solid-State Quantum Electrodynamics
JILA and Department of Physics, University of Colorado Boulder（科罗拉多大学博尔德分校 JILA 与物理系）；Icarus Quantum Inc.（Icarus 量子公司）；National Institute of Standards and Technology（美国国家标准与技术研究院）
Many quantum programs require circuits for addition, subtraction and logical operations. These circuits may be packaged within routines known as oracles. However, oracles can be tedious to code with current frameworks. To solve this problem the author developed Higher-Level Oracle Description Language (HODL) -- a C-style programming language for use on quantum computers -- to ease the creation of such circuits. The compiler translates high-level code written in HODL and converts it into OpenQASM, a gate-based quantum assembly language that runs on IBM Quantum Systems and compatible simulators.
Defect-free atom arrays are an important precursor for quantum information processing and quantum simulation. Yet, large-scale defect-free atom arrays can be challenging to realize, due to the losses encountered when rearranging stochastically loaded atoms to achieve a desired target array. Here, we demonstrate a novel parallel rearrangement algorithm that uses multiple mobile tweezers to independently sort and compress atom arrays in a way that naturally avoids atom collisions. With a high degree of parallelism, our algorithm offers a reduced move complexity compared to both single-tweezer al…
