Quantum programs are notoriously difficult to code and verify due to unintuitive quantum knowledge associated with quantum programming. Automated tools relieving the tedium and errors associated with low-level quantum details would hence be highly desirable. In this paper, we initiate the study of program synthesis for quantum unitary programs that recursively define a family of unitary circuits for different input sizes, which are widely used in existing quantum programming languages. Specifically, we present QSynth, the first quantum program synthesis framework, including a new inductive quantum programming language, its specification, a sound logic for reasoning, and an encoding of the reasoning procedure into SMT instances. By leveraging existing SMT solvers, QSynth successfully synthesizes ten quantum unitary programs including quantum adder circuits, quantum eigenvalue inversion circuits and Quantum Fourier Transformation, which can be readily transpiled to executable programs on major quantum platforms, e.g., Q#, IBM Qiskit, and AWS Braket.
more »
« less
Bell State Measurement Between Photonic Qubits Stored in Two Independent Room Temperature Quantum Memories
We demonstrate the feasibility of entanglement swapping after storage by performing Bell-state measurements on polarization qubits stored in two independent room-temperature quantum memories, a crucial step in developing a quantum repeater.
more »
« less
- Award ID(s):
- 1747426
- PAR ID:
- 10479845
- Publisher / Repository:
- Optica Publishing Group
- Date Published:
- ISBN:
- 978-1-957171-27-2
- Page Range / eLocation ID:
- QW4B.7
- Format(s):
- Medium: X
- Location:
- Denver, Colorado
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Quantum technology promises to revolutionize how we learn about the physical world. An experiment that processes quantum data with a quantum computer could have substantial advantages over conventional experiments in which quantum states are measured and outcomes are processed with a classical computer. We proved that quantum machines could learn from exponentially fewer experiments than the number required by conventional experiments. This exponential advantage is shown for predicting properties of physical systems, performing quantum principal component analysis, and learning about physical dynamics. Furthermore, the quantum resources needed for achieving an exponential advantage are quite modest in some cases. Conducting experiments with 40 superconducting qubits and 1300 quantum gates, we demonstrated that a substantial quantum advantage is possible with today’s quantum processors.more » « less
-
Quantum algorithms for tasks such as factorization, search, and simulation rely on control flow such as branching and iteration that depends on the value of data in superposition. High-level programming abstractions for control flow, such as switches, loops, higher-order functions, and continuations, are ubiquitous in classical languages. By contrast, many quantum languages do not provide high-level abstractions for control flow in superposition, and instead require the use of hardware-level logic gates to implement such control flow. The reason for this gap is that whereas a classical computer supports control flow abstractions using a program counter that can depend on data, the typical architecture of a quantum computer does not analogously provide a program counter that can depend on data in superposition. As a result, the complete set of control flow abstractions that can be correctly realized on a quantum computer has not yet been established. In this work, we provide a complete characterization of the properties of control flow abstractions that are correctly realizable on a quantum computer. First, we prove that even on a quantum computer whose program counter exists in superposition, one cannot correctly realize control flow in quantum algorithms by lifting the classical conditional jump instruction to work in superposition. This theorem denies the ability to directly lift general abstractions for control flow such as the λ-calculus from classical to quantum programming. In response, we present the necessary and sufficient conditions for control flow to be correctly realizable on a quantum computer. We introduce the quantum control machine, an instruction set architecture featuring a conditional jump that is restricted to satisfy these conditions. We show how this design enables a developer to correctly express control flow in quantum algorithms using a program counter in place of logic gates.more » « less
-
Optical photons are powerful carriers of quantum information, which can be delivered in free space by satellites or in fibers on the ground over long distances. Entanglement of quantum states over long distances can empower quantum computing, quantum communications, and quantum sensing. Quantum optical memories are devices designed to store quantum information in the form of stationary excitations, such as atomic coherence, and are capable of coherently mapping these excitations to flying qubits. Quantum memories can effectively store and manipulate quantum states, making them indispensable elements in future long-distance quantum networks. Over the past two decades, quantum optical memories with high fidelities, high efficiencies, long storage times, and promising multiplexing capabilities have been developed, especially at the single-photon level. In this review, we introduce the working principles of commonly used quantum memory protocols and summarize the recent advances in quantum memory demonstrations. We also offer a vision for future quantum optical memory devices that may enable entanglement distribution over long distances.more » « less
-
IntroductionQuantum computing is increasingly being investigated for integration into medical radiology and healthcare applications worldwide. Given its potential to enhance clinical care and medical research, there is growing interest in evaluating its practical applications in clinical workflows. MethodsWe developed an evaluation of quantum computing-based auto-contouring methods to introduce medical physicists to this emerging technology. We implemented existing quantum algorithms as prototypes tailored for specific quantum hardware, focusing on their application to auto-contouring in medical imaging. The evaluation was performed using a medical resonance imaging (MRI) abdominal dataset, comprising 102 patient scans. ResultsThe quantum algorithms were applied to the dataset and assessed for their potential in auto-contouring tasks. One of the quantum-based auto contouring methods demonstrated conceptual feasibility, practical performance is still limited by current available quantum hardware and scalability constraints. DiscussionOur findings suggest that while quantum computing for auto-contouring shows promise, it remains in its early stages. At present, artificial intelligence-based algorithms continue to be the preferred choice for auto-contouring in treatment planning due to their greater efficiency and accuracy. As quantum hardware and algorithms mature, their integration into clinical workflows may become more viable.more » « less
An official website of the United States government

