LogosQ: A High-Performance and Type-Safe Quantum Computing Library in Rust

TL;DR

LogosQ is a Rust-based quantum computing library that offers high performance, compile-time safety, and advanced optimization techniques, significantly outperforming existing Python and Julia frameworks while ensuring numerical stability in quantum simulations.

Contribution

This work introduces LogosQ, the first high-performance, type-safe quantum computing library in Rust that combines novel optimizations with compile-time correctness guarantees.

Findings

Speedups of up to 900x in state preparation and 2-5x in variational workloads.

Achieved chemical accuracy in VQE experiments on molecular hydrogen.

Outperforms Python frameworks and is competitive with Q sharp in performance.

Abstract

Developing robust and high performance quantum software is challenging due to the dynamic nature of existing Python-based frameworks, which often suffer from runtime errors and scalability bottlenecks. In this work, we present LogosQ, a high performance backend agnostic quantum computing library implemented in Rust that enforces correctness through compile time type safety. Unlike existing tools, LogosQ leverages Rust static analysis to eliminate entire classes of runtime errors, particularly in parameter-shift rule gradient computations for variational algorithms. We introduce novel optimization techniques, including direct state-vector manipulation, adaptive parallel processing, and an FFT optimized Quantum Fourier Transform, which collectively deliver speedups of up to 900 times for state preparation (QFT) and 2 to 5 times for variational workloads over Python frameworks (PennyLane, Qiskit), 6 to 22 times over Julia implementations (Yao), and competitive performance with Q sharp. Beyond performance, we validate numerical stability through variational quantum eigensolver (VQE) experiments on molecular hydrogen and XYZ Heisenberg models, achieving chemical accuracy even in edge cases where other libraries fail. By combining the safety of systems programming with advanced circuit optimization, LogosQ establishes a new standard for reliable and efficient quantum simulation.