Quantum computing and networking demand a unified approach to design and simulation, and a new toolkit, QuantumSavory, now streamlines this process. Hana KimLee, Leonardo Bacciottini, and Abhishek Bhatt, all from the NSF-ERC Center for Quantum Networks at The University of Arizona, alongside Andrew Kille from the Center for Computational Quantum Physics at the Flatiron Institute and Stefan Krastanov from the University of Massachusetts Amherst, present a system that cleanly separates the symbolic description of quantum systems from the numerical methods used to simulate them. This innovative separation allows researchers to rapidly explore the accuracy and performance of different simulation techniques without rewriting their models, and facilitates the easy integration of custom simulation backends. QuantumSavory extends beyond simple qubit simulations, offering a flexible platform to model complex networking dynamics and providing reusable libraries of essential building blocks, ultimately accelerating the development and comparison of full-stack quantum systems and protocols.
Unified Simulation of Distributed Quantum Systems
QuantumSavory represents a significant advance in the simulation of quantum computing and networking systems. Researchers have developed a unified framework that combines a symbolic frontend, flexible numerical backends, and a discrete-event execution model, allowing users to express complex quantum protocols independently of the underlying simulation representation. This innovative approach supports heterogeneous quantum systems with customizable noise models and facilitates modular coordination of classical control, improving composability and reuse as models grow in complexity. The toolkit’s strength lies in its ability to separate the symbolic description of a quantum system from the numerical methods used to simulate it, enabling rapid exploration of accuracy-performance tradeoffs.
QSavory, A Full-Stack Quantum Simulation Framework
QuantumSavory aims to provide a comprehensive and flexible platform for simulating quantum systems and networks, supporting the entire development lifecycle from design to testing and optimisation. Key features include full-stack simulation, covering all layers from physical qubits to classical control software and networking protocols, and a symbolic frontend that allows users to define quantum systems and protocols in a high-level, abstract way, independent of the underlying simulation backend, promoting code reusability and simplifying the development process. The framework supports multiple numerical simulation methods and can be extended with new backends as needed. Discrete-event execution models the timing and interactions of quantum and classical components, enabling realistic simulations of complex systems.
A register abstraction provides a unified way to represent heterogeneous quantum systems with different qubit types and noise models. The tag and query system, along with a messaging infrastructure, are core design elements that enable modularity and communication between different components of the simulation, crucial for simulating distributed systems. Modularity and reusability are central to the design, with plans for extensive libraries of reusable components, such as quantum gates and protocols. The framework aligns with the standard protocol stack approach used in quantum networking, allowing for easy integration with existing protocols and architectures.
The toolkit’s core components include a frontend for symbolic definition, a backend for numerical simulation, a register abstraction for representing qubits, a tag and query system for communication, a discrete-event engine for managing timing, and libraries of reusable components. Specific protocols and applications supported include qTCP, entanglement distribution, quantum key distribution, quantum error correction, quantum repeaters, and the simulation of entire quantum networks. The framework utilises programming languages such as Python and C++, message queues like RabbitMQ and Kafka, and simulation backends like tensor networks. It also includes resource management capabilities for simulating limited resources.
Future work focuses on developing surrogate components, using machine learning to create faster, approximate models of complex sub-simulations, adding more robust tensor network simulation capabilities, expanding reusable libraries of states, circuits, and protocols, developing higher-fidelity channel models, adding support for quantum error correction layers, and creating a graphical user interface for easier use and visualisation.
QuantumSavory’s key strengths lie in its flexibility, modularity, realism, scalability, and comprehensive feature set. It has the potential to be a valuable tool for researchers and engineers working in the field of quantum computing and quantum networking, helping them to design and optimise quantum systems, test and validate quantum protocols, explore new quantum architectures, develop and deploy quantum applications, and advance the field of quantum information science.
Researchers acknowledge limitations in current scale and accuracy, and future work focuses on addressing these through the development of surrogate components, learned models that improve simulation efficiency, and the integration of tensor network backends to expand the range of modelable dynamics. Ongoing development also prioritises expanding reusable libraries of states, circuits, and protocols with standardized interfaces and machine-readable performance data, facilitating benchmarking and visualisation. The team intends to enhance physical models with higher fidelity representations of in-transit and photonic channels, alongside improved support for network error-correction layers and curated databases of entanglement purification circuits. Continued investment in an open-source graphical user interface will further enhance the accessibility and usability of this valuable research tool.
👉 More information
🗞 QuantumSavory: Write Symbolically, Run on Any Backend — A Unified Simulation Toolkit for Quantum Computing and Networking
🧠 ArXiv: https://arxiv.org/abs/2512.16752
