Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Progress in mathematical physics

Verification of Quantum Computation:An Overview of Existing Approaches

Alexandru Gheorghiu, Theodoros Kapourniotis, Elham Kashefi

Published Jan 1, 2021• 3 citations
Publisher
DOI
10.1007/978-3-030-81480-9_4

Related papers

Verification of Quantum Computation: An Overview of Existing Approaches

Alexandru Gheorghiu, Theodoros Kapourniotis, Elham Kashefi

Quantum computers promise to efficiently solve not only problems believed to be intractable for classical computers, but also problems for which verifying the solution is also considered intractable. This raises the question of how one can check whether quantum computers are indeed producing correct results. This task, known as quantum verification , has been highlighted as a significant challenge on the road to scalable quantum computing technology. We review the most significant approaches to quantum verification and compare them in terms of structure, complexity and required resources. We also comment on the use of cryptographic techniques which, for many of the presented protocols, has proven extremely useful in performing verification. Finally, we discuss issues related to fault tolerance, experimental implementations and the outlook for future protocols.

arXiv:1709.06984•Theory of Computing Systems•Jul 6, 2018•175 citations

Experimental verification of quantum computation

Stefanie Barz, Joseph F. Fitzsimons, Elham Kashefi +1 more

arXiv:1309.0005•Nature Physics•Sep 29, 2013•148 citations

Dimension Fusion Theory: A Quantum Computing Validation Approach

Jincheng Zhang

This paper explores the application of dimension fusion theory to quantum computing validation, specifically focusing on the detection of quantum computer stability and the prediction of quantum computer performance. The core of this work lies in the development of a novel algorithm leveraging quantum entanglement to provide a fundamentally new method for assessing the integrity of quantum states. We detail the theoretical framework underpinning this approach, showcasing its potential to address limitations of existing validation techniques. The paper presents a comprehensive overview of the proposed algorithm, its mathematical underpinnings, and the results of initial simulations demonstrating its effectiveness in identifying vulnerabilities within quantum computation. Finally, we discuss the implications of this research for advancing the field of quantum computing verification and security.

•Sep 3, 2026•0 citations

Verification Paradigms for Quantum Computing

Navnil Choudhury, Ameya Bhave, Kanad Basu

Springer eBooks•Jan 1, 2026•0 citations

From Designing Quantum Processors to Large-Scale Quantum Computing Systems

Carmen G. Almudéver, Robert Wille, Fabio Sebastiano +2 more

Design, simulation, analysis and verification methodologies are crucial for developing electronic circuits and systems at large. Whereas long-standing EDA software is used in the semiconductor technology, there is no counterpart for quantum computing systems yet. Although the quantum computing community started utilizing and adapting some of the already existing EDA tools, for instance, to design quantum processors and control electronics for driving the qubits, or even to solve some quantum computing design tasks, they do not fully use the expertise gained over the last decades in the field of design automation. Current intermediate-scale quantum computers have been designed in an ‘adhoc’ manner with heterogeneous methods and tools. As we are entering the large-scale era, it is timely and key to further adopt EDA methodologies and software for quantum computing. In this paper, we provide an overview on how full-stack quantum computing systems are being implemented nowadays and discuss which the main challenges are for transitioning from this current scenario to a comprehensive framework encompassing full automated system-wide architecting, design, simulation, verification, and test.

Design, Automation, and Test in Europe•Mar 25, 2024•7 citations

OVERVIEW OF QUANTUM COMPUTATION

H.E. Caicedo-Ortiz, Elizabeth Santiago-Cortes

Apple Academic Press eBooks•Oct 22, 2014•1 citation
Quantum computers promise to efficiently solve not only problems believed to be intractable for classical computers, but also problems for which verifying the solution is also considered intractable. This raises the question of how one can check whether quantum computers are indeed producing correct results. This task, known as quantum verification , has been highlighted as a significant challenge on the road to scalable quantum computing technology. We review the most significant approaches to quantum verification and compare them in terms of structure, complexity and required resources. We also comment on the use of cryptographic techniques which, for many of the presented protocols, has proven extremely useful in performing verification. Finally, we discuss issues related to fault tolerance, experimental implementations and the outlook for future protocols.
This paper explores the application of dimension fusion theory to quantum computing validation, specifically focusing on the detection of quantum computer stability and the prediction of quantum computer performance. The core of this work lies in the development of a novel algorithm leveraging quantum entanglement to provide a fundamentally new method for assessing the integrity of quantum states. We detail the theoretical framework underpinning this approach, showcasing its potential to address limitations of existing validation techniques. The paper presents a comprehensive overview of the proposed algorithm, its mathematical underpinnings, and the results of initial simulations demonstrating its effectiveness in identifying vulnerabilities within quantum computation. Finally, we discuss the implications of this research for advancing the field of quantum computing verification and security.
Design, simulation, analysis and verification methodologies are crucial for developing electronic circuits and systems at large. Whereas long-standing EDA software is used in the semiconductor technology, there is no counterpart for quantum computing systems yet. Although the quantum computing community started utilizing and adapting some of the already existing EDA tools, for instance, to design quantum processors and control electronics for driving the qubits, or even to solve some quantum computing design tasks, they do not fully use the expertise gained over the last decades in the field of design automation. Current intermediate-scale quantum computers have been designed in an ‘adhoc’ manner with heterogeneous methods and tools. As we are entering the large-scale era, it is timely and key to further adopt EDA methodologies and software for quantum computing. In this paper, we provide an overview on how full-stack quantum computing systems are being implemented nowadays and discuss which the main challenges are for transitioning from this current scenario to a comprehensive framework encompassing full automated system-wide architecting, design, simulation, verification, and test.