In this paper, we propose Proq, a runtime assertion scheme for testing and debugging
quantum programs on a quantum computer. The predicates in Proq are represented by …

It is now experimentally possible to entangle thousands of qubits, and efficiently measure
each qubit in parallel in a distinct basis. To fully characterize an unknown entangled state of …

Near-unity energy transfer efficiency has been widely observed in natural photosynthetic
complexes. This phenomenon has attracted broad interest from different fields, such as …

Quantum communication is a secure way to transfer quantum information and to
communicate with legitimate parties over distant places in a network. Although …

Indefinite causal order (ICO) is playing a key role in recent quantum technologies. Here, we
experimentally study quantum thermodynamics driven by ICO on nuclear spins using the …

Solving linear differential equations (LDEs) is a hard problem for classical computers, while
quantum algorithms have been proposed to be capable of speeding up the calculation …

Rapid developments in quantum information processing have been made, and remarkable
achievements have been obtained in recent years, both in theory and experiments …

As quantum technology rapidly advances, the need for efficient scalable methods to
characterize quantum systems intensifies. Quantum state tomography and Hamiltonian …

Nuclear magnetic resonance is arguably both the best available quantum technology for
implementing simple quantum computing experiments and the worst technology for building …

Simulation of open quantum dynamics for various Hamiltonians and spectral densities are
ubiquitous for studying various quantum systems. On a quantum computer, only log 2 N …