Quantum network research, is exploring new networking protocols, physics-based hardware and novel experiments to demonstrate how quantum distribution will work over large distances. Current work explores much of these concepts in simulations, that are developed to understand how quantum networking will be set up and researchers can experiment virtually. Exposing flaws in network designs, like unsustainable topologies, or develop protocols that efficiently utilize network resources, simulators can also help assess whether workloads are balanced across virtual machines in the network. However, much of these simulation models come without reliable verification methods, for testing performance in real deployments. In this paper, we present a review of, to the best of our knowledge, currently used toolkits for modeling quantum networks. With these toolkits and standardized validation techniques, we can lay down the foundations for more accurate and reliable quantum network simulators.
Quantum network research, is exploring new networking protocols, physics-based hardware and novel experiments to demonstrate how quantum distribution will work over large distances. Current work explores much of these concepts in simulations, that are developed to understand how quantum networking will be set up and researchers can experiment virtually. Exposing flaws in network designs, like unsustainable topologies, or develop protocols that efficiently utilize network resources, simulators can also help assess whether workloads are balanced across virtual machines in the network. However, much of these simulation models come without reliable verification methods, for testing performance in real deployments. In this paper, we present a review of, to the best of our knowledge, currently used toolkits for modeling quantum networks. With these toolkits and standardized validation techniques, we can lay down the foundations for more accurate and reliable quantum network simulators.
The realization of a Quantum Internet is expected to transform communication networks by enabling intrinsically secure information exchange and distributed quantum applications. However, the experimental study of large-scale quantum networks remains limited by the high cost and operational constraints of quantum hardware. To address this challenge, this paper presents the design of a platform conceived to support research and experimentation in the field of quantum networking. The proposed system provides an emulation environment that mirrors the behavior of a real quantum network, enabling researchers to test protocols and mechanisms through a set of quantum operation instructions accessible via an Application Programming Interface (API). Emulated quantum nodes can be deployed across physically distributed locations, using physical or virtual machines or virtualization containers, allowing experiments to reproduce realistic network conditions and inter-node interactions. This approach enables applications to be executed over a persistent, configurable, and interactive environment that integrates both quantum and classical communication layers. To validate the feasibility of the proposed design, a prototype has been built and used to demonstrate its operation through a multi-hop quantum teleportation proof of concept. The results confirm the viability and flexibility of the architecture, laying the foundation for a distributed framework that facilitates the development and evaluation of quantum network architectures, control mechanisms, and experimental use cases.
Quantum Key Distribution (QKD) is a foundational method for the secure generation and distribution of cryptographic keys between network nodes, relying on quantum mechanical principles to provide information-theoretic security. As quantum computing continues to advance, the development of quantum communication networks requires the implementation of complex and secure architectures. However, the deployment of such networks demands considerable financial, technical, and human resources. In this context, simulation tools are essential, as they enable researchers to validate theoretical models, optimize network design, and identify potential vulnerabilities without the need for costly physical infrastructure. The goal of the research was to evaluate the efficiency and accuracy of QNET simulation tool by comparing the outcomes of developed simulation models with empirical data from real QKD networks. While the results in some cases closely aligned indicating a high level of accuracy in modeling QKD networks noticeable discrepancies were observed in certain scenarios. Such an approach not only facilitates more accurate modeling and planning but also promotes the development of scalable, cost effective, and secure quantum communication systems.
Quantum networks are advancing the information technology infrastructure of society. Simulation and emulation software tools have emerged to support the design, development, and deployment of quantum networks, however, classical simulation and emulation methods have major bottlenecks in the error, latency, and cost that they can achieve at scale. In this work, we review quantum network simulation and emulation tools, including foundational principles, state-of-the-art tools, and bottlenecks. We then discuss how quantum technologies can address these challenges, and we construct a roadmap for the adoption of quantum simulation and emulation tools, emphasizing codesign with quantum network testbeds.
This research paper provides an in-depth examination of verification and testing approaches for quantum circuits, focusing on methodologies essential for ensuring the correctness, reliability and operational efficiency of quantum computing systems. Since quantum circuits function on the fundamental principles of superposition and entanglement, they present verification challenges that cannot be effectively addressed using conventional classical testing techniques. As a result, the development of specialized quantum-specific verification strategies has become critically important. The study highlights simulation-based verification as a foundational technique, wherein the outcomes of quantum circuit simulations are systematically compared with results obtained from physical quantum hardware. This process enables the identification of functional inconsistencies and supports iterative refinement of circuit designs. In addition, randomized benchmarking is examined as a key evaluation method for estimating circuit fidelity and quantifying error rates through the application of random gate sequences and performance comparisons against established benchmarks. To further improve system robustness, the research investigates fault-tolerant mechanisms, particularly quantum error correction codes, which play a vital role in minimizing the effects of noise, decoherence and hardware imperfections. The integration of advanced quantum metrology and characterization techniques is also explored, enabling precise measurement and detailed analysis of quantum system behavior. These techniques provide deeper insights into circuit performance and contribute significantly to validation processes. By combining simulation-based verification, randomized benchmarking, fault-tolerant protocols and quantum metrology, this study proposes a comprehensive and reliable framework for quantum circuit verification and testing. The findings contribute to the advancement of dependable quantum technologies and support their growing applications in areas such as cryptography, materials science and other emerging domains.
In the effort to develop useful quantum computers, simulating quantum machines with conventional classical computing resources is a key capability. Such simulations will always face limits, preventing the emulation of quantum computers at substantial scale; however, by pushing the envelope through optimal choices of algorithms and hardware, the value of simulator tools can be maximized. This work reviews state-of-the-art numerical simulation methods, i.e., classical algorithms that emulate quantum computer evolution under specific operations. We focus on the mainstream state-vector and tensor-network paradigms, while briefly mentioning alternative methods. Moreover, we review the diverse applications of simulation across different facets of quantum computer development, including understanding the fundamental differences between quantum and classical computations, exploring algorithmic design for quantum advantage, predicting quantum processor performance at the design stage, and efficiently characterizing fabricated devices for rapid iterations. This review complements recent surveys of current tools and implementations; here, we aim to provide readers with an essential understanding of the theoretical basis of classical simulation methods, a detailed discussion of their advantages and limitations, and an overview of the demands and challenges arising from practical use cases.
Quantum simulation is one of the most relevant applications of quantum computation for the near future, due to its scientific impact and also because quantum simulation algorithms are typically less demanding than generalized quantum computations. Ultimately, the success of a quantum simulation depends on the amount and reliability of information one is able to extract from the results. In such a context, this work reviews the theory behind quantum simulation, with a focus on digital quantum simulation. The concepts of efficiency and reliability in quantum simulations are discussed, particularly for implementations of digital simulation algorithms in state-of-the-art quantum computers. A review of approaches for quantum characterization, verification and validation techniques (QCVV) is also presented. A digital quantum simulation of the Schrödinger equation for a single particle in 1 spatial dimension was experimentally implemented and analyzed, along with a quantum state tomography procedure for characterization of the final quantum state and evaluation of simulation reliability. From the literature, it is shown that digital quantum simulation is theoretically sound and experimentally feasible, with several applications in a wide range of physics-related fields. Nonetheless, a number of conditions arise that must be observed for a truly efficient implementation of a digital quantum simulation, from theoretical conception to experimental circuit design. The review of QCVV techniques highlights the need for characterization and validation techniques that could be efficiently implemented for current models of quantum computation, particularly in instances where classical verification is not tractable. However, there are proposals for efficient verification procedures when a set of parameters defining the final result of the simulation is known. The experimental simulation demonstrated partial success in comparison with an ideal quantum simulation. From the results it is apparent that better coherence times, better reliability and finer control are as decisive for the advancement of quantum computing power as the more-publicized number of qubits of a given device.