Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
arXiv:2110.02691 · doi:10.4230/LIPIcs.FSTTCS.2021.51
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.
accepted for publication in FSTTCS 2021
References in corpus (2)
Cited by in corpus (50)
- Generalization in quantum machine learning from few training data
- Resource-Aware Quantum Programming with General Recursion and Quantum Control
- Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers
- The Bitter Truth About Quantum Algorithms in the NISQ Era
- MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
- Open source software in quantum computing
- Emerging quantum computing algorithms for quantum chemistry
- Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers
- Efficient step-merged quantum imaginary time evolution algorithm for quantum chemistry
- Quantum Software Engineering: Roadmap and Challenges Ahead
- Quantum Volume in Practice: What Users Can Expect from NISQ Devices
- QFaaS: A Serverless Function-as-a-Service Framework for Quantum Computing
- NetQASM -- A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet
- Resource-Efficient Quantum Computing by Breaking Abstractions
- Quantum Accelerators for High-Performance Computing Systems
- Predicting Good Quantum Circuit Compilation Options
- Suppressing ZZ Crosstalk of Quantum Computers through Pulse and Scheduling Co-Optimization
- Towards Quantum Computational Mechanics
- Designing calibration and expressivity-efficient instruction sets for quantum computing
- Benchmarking Quantum Computer Simulation Software Packages: State Vector Simulators
- Towards an Automated Framework for Realizing Quantum Computing Solutions
- Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers
- Modular Software for Real-Time Quantum Control Systems
- A Scalable Decoder Micro-architecture for Fault-Tolerant Quantum Computing
- Qibolab: an open-source hybrid quantum operating system
- Mitigating errors by quantum verification and post-selection
- Support Vector Machines on Noisy Intermediate Scale Quantum Computers
- Quantum-Based Feature Selection for Multi-classification Problem in Complex Systems with Edge Computing
- Communication Trade Offs in Intermediate Qudit Circuits
- Functional Simulation of Real-Time Quantum Control Software
- SOQCS: A Stochastic Optical Quantum Circuit Simulator
- On Noise-Sensitive Automatic Tuning of Gate-Defined Sensor Dots
- : A Quantum Programming Environment
- A quantum computing approach to fixed-node Monte Carlo using classical shadows
- On Interfacing the Brain with Quantum Computers: An Approach to Listen to the Logic of the Mind
- 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
- qLEET: Visualizing Loss Landscapes, Expressibility, Entangling Power and Training Trajectories for Parameterized Quantum Circuits
- The Quantum Monadology
- 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
- Maximal Entanglement: Applications in Quantum Information and Particle Physics
- More Practical and Adaptive Algorithms for Online Quantum State Learning
- Exploiting Different Levels of Parallelism in the Quantum Control Microarchitecture for Superconducting Qubits
- Mathematical methods for resource-based type theories
- Proto-Quipper with Reversing and Control
- Classical and Quantum Data Interaction in Programming Languages: A Runtime Architecture
- Exploiting Long-Distance Interactions and Tolerating Atom Loss in Neutral Atom Quantum Architectures