PauliEngine: High-Performant Symbolic Arithmetic for Quantum Operations

2026/01/01 by Leon Müller, Adelina Bärligea, Alexander Knapp +1 · 1 voice
Computer Science · Physics and Astronomy · #Parallel Computing and Optimization Techniques #Polynomial and algebraic computation #Quantum Computing Algorithms and Architecture #cs.ET #cs.SE #physics.comp-ph #quant-ph

paper · pdf · doi:10.18420/se2026-ws_20

openalex publication_date 2026/01/01 · arxiv published 2026/01/05 · arxiv updated 2026/01/05 · openalex created_date 2026/02/10 · openalex updated_date 2026/07/28

Abstract

Quantum computation is inherently hybrid and fast classical manipulation of qubit operators is necessary to ensure scalability in quantum software. We introduce PauliEngine, a high-performance C++ framework that provides efficient primitives for Pauli string multiplication, commutators, symbolic phase tracking, and structural transformations. Built on a binary symplectic representation and optimized bitwise operations, PauliEngine supports both numerical and symbolic coefficients and is accessible through a Python interface. Runtime benchmarks demonstrate substantial speedups over state-of-the-art implementations. PauliEngine provides a scalable backend for operator-based quantum-software tools and simulations.

Citations

• The Dual Role of Low-Weight Pauli Propagation: A Flawed Simulator but a Powerful Initializer for Variational Quantum Algorithms
• Pauli Propagation: A Computational Framework for Simulating Quantum Systems
• State Specific Measurement Protocols for the Variational Quantum Eigensolver
• Quantum Measurement for Quantum Chemistry on a Quantum Computer
• Stabilizer configuration interaction: Finding molecular subspaces with error detection properties
• Efficiently manipulating Pauli strings with PauliArray
• Quantum computing with Qiskit
• Stabilizer ground states for simulating quantum many-body physics: theory, algorithms, and applications
• Does provable absence of barren plateaus imply classical simulability?
• Lie-algebraic classical simulations for quantum computing
• Coupled cluster downfolding techniques: a review of existing applications in classical and quantum computing for chemical systems
• A Herculean task: Classical simulation of quantum computers
• Deterministic improvements of quantum measurements with grouping of compatible operators, non-local transformations, and covariance estimates
• Variational quantum algorithms
• Efficient calculation of gradients in classical simulations of variational quantum algorithms
• A Multireference Quantum Krylov Algorithm for Strongly Correlated Electrons
• Measuring all compatible operators in one series of a single-qubit measurements using unitary transformations
• OpenFermion: The Electronic Structure Package for Quantum Computers

Discussions

• Leon Müller and Adelina Bärligea attended the 3rd International Workshop on Quantum Software-Engineering Tools, Algorithms & Verification in Bern, Switzerland, where Leon presented our latest work: “P [bsky, 2 points, 0 comments]

Related

• A High-Performance Pauli-Algebra Framework for Large-Scale Quantum Simulations
• PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices
• Paulihedral: A Generalized Block-Wise Compiler Optimization Framework For Quantum Simulation Kernels
• Q|SI⟩: A Quantum Programming Environment
• Qwerty: A Basis-Oriented Quantum Programming Language