23/06/2021

Gleipnir: Toward Practical Error Analysis for Quantum Programs

Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu

Keywords: quantum programming, error analysis, approximate computing

Abstract Paper Code Similar Papers

Abstract: Practical error analysis is essential for the design, optimization, and evaluation of Noisy Intermediate-Scale Quantum(NISQ) computing. However, bounding errors in quantum programs is a grand challenge, because the effects of quantum errors depend on exponentially large quantum states. In this work, we present Gleipnir, a novel methodology toward practically computing verified error bounds in quantum programs. Gleipnir introduces the (ρ,δ)-diamond norm, an error metric constrained by a quantum predicate consisting of the approximate state ρ and its distance δ to the ideal state ρ. This predicate (ρ,δ) can be computed adaptively using tensor networks based on the Matrix Product States. Gleipnir features a lightweight logic for reasoning about error bounds in noisy quantum programs, based on the (ρ,δ)-diamond norm metric. Our experimental results show that Gleipnir is able to efficiently generate tight error bounds for real-world quantum programs with 10 to 100 qubits, and can be used to evaluate the error mitigation performance of quantum compiler transformations.

The video of this talk cannot be embedded. You can watch it here:
https://slideslive.com/38956254
(Link will open in new window)
 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at PLDI 2021 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 15:40 
 0
 0
 0
 1
 5:18 
 0
 0
 0
 0
 3:02 
 0
 0
 0
 0
 14:59 
 0
 0
 0
 1
 5:14 
 0
 0
 0
 0
 3:05 
 0
 0
 0
 1
 3:01 
 0
 0
 0
 0
 14:36 
 0
 0
 0
 0
 3:34 
 0
 0
 0
 0
 3:21 
 0
 0
 0
 0
 14:40 
 0
 0
 0
 0
 14:48 
 0
 0
 0
 0
 14:14 
 0
 0
 0
 0
 3:20 
 0
 0
 0
 0
 3:21 
 0
 0
 0
 0
 11:35 
 0
 0
 0
 0
 12:03 
 0
 0
 0
 1
 12:06 
 0
 0
 0
 0
 3:36 
 0
 0
 0
 0
 14:48 
 0
 0
 0
 0
 3:16 
 0
 0
 0
 0
 13:30 
 0
 0
 0
 0
 10:26 
 1
 0
 1
 1
 13:26 
 0
 0
 0
 0
 6:14 
 0
 0
 0
 0
 14:47 
 0
 0
 0
 0
 4:56 
 0
 0
 0
 0
 15:00 
 0
 0
 0
 0
 5:19 
 0
 0
 0
 0
 3:25 
 0
 0
 0
 0
 20:02 
 0
 0
 0
 0
 26:25 
 0
 0
 0
 0
 3:23 
 0
 0
 0
 0
 12:53 
 0
 0
 0
 0
 14:15 
 0
 0
 0
 0
 11:50 
 0
 0
 0
 0
 19:54 
 0
 0
 0
 0
 5:37 
 0
 0
 0
 0
 14:09 
 0
 0
 0
 0
 5:14