Intermediate-scale quantum devices are becoming more reliable and may soon be harnessed to solve useful computational tasks. At the same time, common classical methods used to verify their computational output become intractable due to a prohibitive scaling of required resources with system size. Inspired by recent experimental progress, here we describe and analyze efficient cross-platform verification protocols for quantum states and show how these can be used to verify computations. We focus on the pairwise comparison between distant nodes of a quantum network, identify the most promising protocols, and discuss possible implementations in laboratory settings. As a proof of principle, we implement basic versions of these schemes on availa...
Rapid technological advances point to a near future where engineered devices based on the laws of qu...
International audienceRecent developments have brought the possibility of achieving scalable quantum...
As we approach the era of quantum advantage, when quantum computers (QCs) can outperform any classic...
Intermediate-scale quantum devices are becoming more reliable, and may soonbe harnessed to solve use...
Quantum computers are on the brink of surpassing the capabilities of even the most powerful classica...
Quantum computers are on the brink of surpassing the capabilities of even the most powerful classica...
Abstract In this perspective we discuss verification of quantum devices in the context of specific ...
Quantum Information Processing (QIP) is an emerging area at the intersection of physics and computer...
45 pages, 9 figuresWith the recent availability of cloud quantum computing services, the question of...
In this survey paper, we describe a framework for assertion-based verification of quantum circuits b...
Technologies based on Quantum Information Processing (QIP) are emerging rapidly in our life, from cr...
The phenomenal progress in quantum technologies over the past decades has laid the groundwork for th...
Among the post-CMOS technologies currently under investigation, quantum computing (QC) holds a speci...
Abstract. We present a tool which uses a concurrent language for de-scribing quantum systems, and pe...
With the rapid development of quantum hardware, people tend to believe that special-purpose quantum ...
Rapid technological advances point to a near future where engineered devices based on the laws of qu...
International audienceRecent developments have brought the possibility of achieving scalable quantum...
As we approach the era of quantum advantage, when quantum computers (QCs) can outperform any classic...
Intermediate-scale quantum devices are becoming more reliable, and may soonbe harnessed to solve use...
Quantum computers are on the brink of surpassing the capabilities of even the most powerful classica...
Quantum computers are on the brink of surpassing the capabilities of even the most powerful classica...
Abstract In this perspective we discuss verification of quantum devices in the context of specific ...
Quantum Information Processing (QIP) is an emerging area at the intersection of physics and computer...
45 pages, 9 figuresWith the recent availability of cloud quantum computing services, the question of...
In this survey paper, we describe a framework for assertion-based verification of quantum circuits b...
Technologies based on Quantum Information Processing (QIP) are emerging rapidly in our life, from cr...
The phenomenal progress in quantum technologies over the past decades has laid the groundwork for th...
Among the post-CMOS technologies currently under investigation, quantum computing (QC) holds a speci...
Abstract. We present a tool which uses a concurrent language for de-scribing quantum systems, and pe...
With the rapid development of quantum hardware, people tend to believe that special-purpose quantum ...
Rapid technological advances point to a near future where engineered devices based on the laws of qu...
International audienceRecent developments have brought the possibility of achieving scalable quantum...
As we approach the era of quantum advantage, when quantum computers (QCs) can outperform any classic...