Session 1 [10:00AM - 11:30AM]:
"Opening Remarks"
Prof. Rodney Van Meter, Keio University, Japan
"Cross-Validating Quantum Network Simulators"
Joaquin Chung | SeQUeNCe, Argonne National Laboratory, USA
Michal Hajdusek | QuISP, Keio University, Japan
Abstract -- We present a first cross-validation of two opensource quantum network simulators, QuISP and SeQUeNCe, focusing on basic networking tasks to ensure consistency and accuracy in simulation outputs. Despite very similar design objectives of both simulators, their differing underlying assumptions can lead to variations in simulation results. We highlight the discrepancies in how the two simulators handle connections, internal network node processing time, and classical communication, resulting in significant differences in the time required to perform basic network tasks such as elementary link generation and entanglement swapping. We devise common ground scenarios to compare both the time to complete resource distribution and the fidelity of the distributed resources. Our findings indicate that while the simulators differ in the time required to complete network tasks—a constant factor difference attributable to their respective connection models—they agree on the fidelity of the distributed resources under identical error parameters. This work demonstrates a crucial first step towards enhancing the reliability and reproducibility of quantum network simulations, as well as leading to full protocol development. Furthermore, our benchmarking methodology establishes a foundational set of tasks for the cross-validation of simulators to study future quantum networks.
"CHSH Game for Entanglement Distribution Verification Over Quantum Networks using SeQUeNCe"
Russell Ceballos | Olive-Harvey College, USA
"Benchmarking Quantum Networks for Entanglement Distribution Protocols"
Zizwe Chase | University of Illinois Chicago, USA
"Evaluating network performance: from analytics to simulation"
David Elkouss | Okinawa Institute of Science and Technology, Japan
Abstract -- Evaluating quantum networks is essential for guiding design and benchmarking. Analytical methods rely on simplified models to derive bounds and scaling laws, offering general insight but limited realism. Simulation methods instead imitate the behavior and interactions of network components, enabling flexible exploration of detailed scenarios at the cost of heavier computation. This talk will discuss recent progress in both approaches and how they jointly inform quantum network design and optimization.
Session 2 [1:00PM - 2:30PM]:
"Optimized, hardware-aware policies for entanglement distribution in quantum networks"
Sumeet Khatri | Virginia Tech, USA
"Reproducible Full-Stack Design Automation for Quantum Hardware"
Stefan Krastanov | UMass Amherst - Quantum Savory, USA
Abstract -- Monolithic quantum hardware is reaching the limits of scalable fabrication, linking hardware module in local (single fridge) networks is becoming a practical possibility, error correcting codes much better than surface codes are being deployed and universal fault-tolerant computation on them is now a theoretically solved problem, all while data-center-scale and wide-area networks are being planned and deployed. It has never been more exciting to see all the pieces needed for scalable universal quantum computation coming together, and it has never been more pertinent to discuss both local- and wide-area networks as enablers for that scalability.
With all this complexity, the need for full stack "design automation" tools similar in spirit to classical EDAs has never been more acute. At the NSF Center for Quantum Networks and the NSF National Quantum Virtual Laboratory, these needs have been addressed by the creation of a family of tools for the modeling of networked modular hardware, with strong focus on reproducible easily-reusable open research and machine-readable research artifacts.
We present this stack, starting with a computer algebra system build for Quantum Information Science, able of symbolically expressing, manipulating, and simplifying states, operators, and superoperators needed for the description of the low level physics of the quantum hardware in a easy, formal, declarative manner. That symbolic system is coupled to a number of independent high-performance numerical simulators able to represent states in State Vector, Gaussian QIS, Clifford Circuits, Tensor Networks, and other formalisms. These simulators are used behind the scenes to automatically choose the most efficient representation for the network dynamics requested by the user.
On top of this base, we have network modeling tools, discrete event simulators, detailed visualizers of network state, a graphical user interface, and a comprehensive framework for tracking and querying classical control metadata communicated between network nodes. These primitives are used to build a zoo of pre-defined parameterized quantum circuits and full network protocols which can be composed and executed together in a lego-like fashion. We support anything from simple repeaters and routers, to sophisticated quantum TCP implementations. This tooling comes with a database of common types of physical noise and resource states (e.g. entangled pairs) with well-modeled and comprehensively-parameterized real-world imperfections.
Lastly, we demonstrate this toolkit's use in the full-stack modeling (from low-level noise processes to emergent network dynamics) of some of the most important upcoming networked platforms: modular hardware for quantum computation using non-topologic "good" quantum error correcting codes with Pauli based computing enabling universal fault-tolerant computation. The toolkit naturally comes with the capabilities to generate good LDPC codes, fault-tolerant syndrome extraction circuits, and error-protected logical Clifford and T gates.
"Q2Sim: Simulation-by-emulation of quantum networks using quantum computers"
Alexander Pirker | University of Innsbruck, QND - Quantum Network Design, Austria
"QuCloudSIm: Towards realistic and efficient simulation of quantum data center"
Ruilin Zhou | University of California Santa Cruz, USA
Session 3 [3:00PM - 4:30PM]: Panel Discussion
All speakers
Moderator: TBD