Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

Abstract

In this paper, we introduce dynamic lifting to a quantum circuit-description language, following the Proto-Quipper language approach. Dynamic lifting allows programs to transfer the result of measuring quantum data -- qubits -- into classical data -- booleans -- . We propose a type system and an operational semantics for the language and we state safety properties. Next, we introduce a concrete categorical semantics for the proposed language, basing our approach on a recent model from Rios\&Selinger for Proto-Quipper-M. Our approach is to construct on top of a concrete category of circuits with measurements a Kleisli category, capturing as a side effect the action of retrieving classical content out of a quantum memory. We then show a soundness result for this semantics.

arXiv commentaccepted for publication in FSTTCS 2021

References in corpus (13)

• A variational eigenvalue solver on a quantum processor
• Elementary gates for quantum computation
• The theory of variational hybrid quantum-classical algorithms
• A Quantum Approximate Optimization Algorithm
• State preservation by repetitive error detection in a superconducting quantum circuit
• Elucidating Reaction Mechanisms on Quantum Computers
• Towards Practical Quantum Variational Algorithms
• Digitized adiabatic quantum computing with a superconducting circuit
• Hybrid quantum-classical approach to correlated materials
• A Software Methodology for Compiling Quantum Programs
• ScaffCC: Scalable Compilation and Analysis of Quantum Programs
• qHiPSTER: The Quantum High Performance Software Testing Environment
• High Performance Emulation of Quantum Circuits

Cited by in corpus (117)

• Noisy intermediate-scale quantum (NISQ) algorithms
• Generalization in quantum machine learning from few training data
• Transfer learning in hybrid classical-quantum neural networks
• Cloud Quantum Computing of an Atomic Nucleus
• Quantum-assisted quantum compiling
• Strawberry Fields: A Software Platform for Photonic Quantum Computing
• Qulacs: a fast and versatile quantum circuit simulator for research purpose
• Resource-Aware Quantum Programming with General Recursion and Quantum Control
• Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers
• OpenQASM 3: A broader and deeper quantum assembly language
• PennyLane: Automatic differentiation of hybrid quantum-classical computations
• The Bitter Truth About Quantum Algorithms in the NISQ Era
• Demonstration of fidelity improvement using dynamical decoupling with superconducting qubits
• Variational Quantum State Diagonalization
• MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
• $XY$-mixers: analytical and numerical results for QAOA
• Open source software in quantum computing
• Emerging quantum computing algorithms for quantum chemistry
• The Born Supremacy: Quantum Advantage and Training of an Ising Born Machine
• Solving Vehicle Routing Problem Using Quantum Approximate Optimization Algorithm
• Compiling quantum circuits to realistic hardware architectures using temporal planners
• Qibo: a framework for quantum simulation with hardware acceleration
• Simulation of Nonequilibrium Dynamics on a Quantum Computer
• Mitiq: A software package for error mitigation on noisy quantum computers
• Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers
• Quantum Software Engineering: Landscapes and Horizons
• A Verified Optimizer for Quantum Circuits
• An Experimental Microarchitecture for a Superconducting Quantum Processor
• Simulating Quantum Materials with Digital Quantum Computers
• Minimizing State Preparations in Variational Quantum Eigensolver by Partitioning into Commuting Families
• Efficient step-merged quantum imaginary time evolution algorithm for quantum chemistry
• Quantum Software Engineering: Roadmap and Challenges Ahead
• staq -- A full-stack quantum processing toolkit
• Quantum Volume in Practice: What Users Can Expect from NISQ Devices
• QDiff: Differential Testing of Quantum Software Stacks
• Recovering noise-free quantum observables
• Quantum Circuit Cutting with Maximum Likelihood Tomography
• Variationally Learning Grover's Quantum Search Algorithm
• Pulse-level noisy quantum circuits with QuTiP
• QFaaS: A Serverless Function-as-a-Service Framework for Quantum Computing
• Variational inference with a quantum computer
• Quantum Computing: An Overview Across the System Stack
• Validating Quantum-Classical Programming Models with Tensor Network Simulations
• Digital Simulation of Topological Matter on Programmable Quantum Processors
• A Grover-search Based Quantum Learning Scheme for Classification
• NetQASM -- A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet
• Resource-Efficient Quantum Computing by Breaking Abstractions
• A distributed simulation framework for quantum networks and channels
• Tree tensor network classifiers for machine learning: from quantum-inspired to quantum-assisted
• HOQST: Hamiltonian Open Quantum System Toolkit
• Quantum Accelerators for High-Performance Computing Systems
• Generative machine learning with tensor networks: benchmarks on near-term quantum computers
• Predicting Good Quantum Circuit Compilation Options
• Suppressing ZZ Crosstalk of Quantum Computers through Pulse and Scheduling Co-Optimization
• Towards Quantum Computational Mechanics
• Quantum Kitchen Sinks: An algorithm for machine learning on near-term quantum computers
• Noise robustness and experimental demonstration of a quantum generative adversarial network for continuous distributions
• Designing calibration and expressivity-efficient instruction sets for quantum computing
• QDB: From Quantum Algorithms Towards Correct Quantum Programs
• Benchmarking Quantum Computer Simulation Software Packages: State Vector Simulators
• Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers
• Towards an Automated Framework for Realizing Quantum Computing Solutions
• Modular Software for Real-Time Quantum Control Systems
• Qibolab: an open-source hybrid quantum operating system
• A Scalable Decoder Micro-architecture for Fault-Tolerant Quantum Computing
• Efficient Construction of a Control Modular Adder on a Carry-Lookahead Adder Using Relative-phase Toffoli Gates
• Mitigating errors by quantum verification and post-selection
• Zeta-regularized vacuum expectation values
• Automated quantum programming via reinforcement learning for combinatorial optimization
• Quality Attributes on Quantum Computing Platforms
• Support Vector Machines on Noisy Intermediate Scale Quantum Computers
• Quantum-Based Feature Selection for Multi-classification Problem in Complex Systems with Edge Computing
• QCOR: A Language Extension Specification for the Heterogeneous Quantum-Classical Model of Computation
• A Continuous Variable Born Machine
• Error rate reduction of single-qubit gates via noise-aware decomposition into native gates
• Communication Trade Offs in Intermediate Qudit Circuits
• Reasoning about Parallel Quantum Programs
• Qsun: an open-source platform towards practical quantum machine learning applications
• Fast simulation of quantum algorithms using circuit optimization
• Circuit Design for $k$-coloring Problem and Its Implementation in Any Dimensional Quantum System
• Domain-Specific Compilers for Dynamic Simulations of Quantum Materials on Quantum Computers
• Verified Optimization in a Quantum Intermediate Representation
• Advantages of a modular high-level quantum programming framework
• eQASM: An Executable Quantum Instruction Set Architecture
• Functional Simulation of Real-Time Quantum Control Software
• MISTIQS: An open-source software for performing quantum dynamics simulations on quantum computers
• On Noise-Sensitive Automatic Tuning of Gate-Defined Sensor Dots
• SOQCS: A Stochastic Optical Quantum Circuit Simulator
• Sized Types for low-level Quantum Metaprogramming
• A comparison of three ways to measure time-dependent densities with quantum simulators
• A systematic mapping on quantum software development in the context of software engineering
• Bayesian Quantum Circuit
• Extending C++ for Heterogeneous Quantum-Classical Computing
• A quantum computing approach to fixed-node Monte Carlo using classical shadows
• Efficient parameterised compilation for hybrid quantum programming
• A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting
• QForte: an efficient state simulator and quantum algorithms library for molecular electronic structure
• Using ZDDs in the Mapping of Quantum Circuits
• On Interfacing the Brain with Quantum Computers: An Approach to Listen to the Logic of the Mind
• $Q|SI⟩$: A Quantum Programming Environment
• QHDL: a Low-Level Circuit Description Language for Quantum Computing
• Comparative Study of Quantum Transpilers: Evaluating the Performance of qiskit-braket-provider, qBraid-SDK, and Pytket Extensions
• Efficient CNOT Synthesis for NISQ Devices
• qLEET: Visualizing Loss Landscapes, Expressibility, Entangling Power and Training Trajectories for Parameterized Quantum Circuits
• The Quantum Monadology
• More Practical and Adaptive Algorithms for Online Quantum State Learning
• Exploiting Different Levels of Parallelism in the Quantum Control Microarchitecture for Superconducting Qubits
• Maximal Entanglement: Applications in Quantum Information and Particle Physics
• Qumin, a minimalist quantum programming language
• Quantum Machine Learning with SQUID
• Mathematical methods for resource-based type theories
• Exploring the Impact of Affine Loop Transformations in Qubit Allocation
• Exploiting Long-Distance Interactions and Tolerating Atom Loss in Neutral Atom Quantum Architectures
• Classical and Quantum Data Interaction in Programming Languages: A Runtime Architecture
• Quantum Computation
• Quantum Gate Pattern Recognition and Circuit Optimization for Scientific Applications
• Proto-Quipper with Reversing and Control