1,444 Hits in 4.1 sec

CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler [article]

Yunong Shi, Runzhou Tao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
2020 arXiv   pre-print
We present CertiQ, a verification framework for writing and verifying compiler passes of Qiskit, the most widely-used quantum compiler.  ...  To our knowledge, CertiQ is the first effort enabling the verification of real-world quantum compiler passes in a mostly-automated manner.  ...  However, these systems cannot support variablelength loops, calculus of quantum circuit equivalence, and our contract-based reasoning.  ... 
arXiv:1908.08963v5 fatcat:okctw37berdoxn4dl47invddgm

Optimized Compilation of Aggregated Instructions for Realistic Quantum Computers

Yunong Shi, Nelson Leung, Pranav Gokhale, Zane Rossi, David I. Schuster, Henry Hoffmann, Frederic T. Chong
2019 Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '19  
Compared to the standard gate-based compilation, the proposed approach realizes a deeper vertical integration of high-level quantum software and low-level, physical quantum hardware.  ...  Existing quantum programming languages and compilers use a quantum assembly language composed of 1- and 2-qubit (quantum bit) gates.  ...  This work was completed in part with resources provided by the University of Chicago Research Computing Center.  ... 
doi:10.1145/3297858.3304018 dblp:conf/asplos/ShiLGRSHC19 fatcat:vg3j42j4wrcofmeacvd53yweaq

Quantum Computers for High-Performance Computing

Travis S. Humble, Alexander McCaskey, Dmitry I. Lyakh, Meenambika Gowrishankar, Albert Frisch, Thomas Monz
2021 IEEE Micro  
Quantum computing systems are developing rapidly as powerful solvers for a variety of real-world calculations.  ...  Here, we present a perspective on the motivations and challenges of pairing quantum computing systems with modern HPC infrastructure.  ...  Monz received a Ph.D. degree in experimental physics with a focus on the realization of quantum algorithms, verification, and validation of quantum computers, and general ion-trap-based quantum technologies  ... 
doi:10.1109/mm.2021.3099140 fatcat:ubpmef4h7fcvjcv7qjhod6qoj4

Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version) [article]

Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, Ronghui Gu
2021 arXiv   pre-print
of quantum compiler transformations.  ...  However, bounding errors in quantum programs is a grand challenge, because the effects of quantum errors depend on exponentially large quantum states.  ...  We thank Xupeng Li and Shaokai Lin for conducting parts of the experiments.  ... 
arXiv:2104.06349v2 fatcat:sx2pch6zyzdvvgmbakoaflocm4

From Ansätze to Z-gates: a NASA View of Quantum Computing [article]

Eleanor G. Rieffel, Stuart Hadfield, Tad Hogg, Salvatore Mandrà, Jeffrey Marshall, Gianni Mossi, Bryan O'Gorman, Eugeniu Plamadeala, Norm M. Tubman, Davide Venturelli, Walter Vinci, Zhihui Wang, Max Wilson (+2 others)
2019 arXiv   pre-print
A key aspect of this research is devising methods to most effectively utilize emerging quantum computing hardware.  ...  We provide a brief update on quantum annealing work, but concentrate on gate-model quantum computing research advances within the last couple of years.  ...  Compiling Quantum Circuits to Realistic Hardware Compilation is required to take descriptions of quantum algorithms and generate implementations on near-term hardware.  ... 
arXiv:1905.02860v2 fatcat:zn435zzodfhyvmlqdihpwk2qqu

A Deductive Verification Framework for Circuit-building Quantum Programs [article]

Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoit Valiron
2020 arXiv   pre-print
Qbricks builds on best practice of formal verification for the classical case and tailor them to the quantum case: we bring a new domain-specific circuit-building language for quantum programs, namely  ...  Qbricks-DSL, together with a new logical specification language Qbricks-Spec and a dedicated Hoare-style deductive verification rule named Hybrid Quantum Hoare Logic.  ...  quantum verification of realistic programs.  ... 
arXiv:2003.05841v2 fatcat:4dl2f67yq5ee7og6hbeggrrzo4

Quantum error mitigation via matrix product operators [article]

Yuchen Guo, Shuo Yang
2022 arXiv   pre-print
Here, we introduce a QEM method based on the matrix product operator (MPO) representation of a quantum circuit that can characterize the noise channel of the entire circuit with polynomial complexity.  ...  Our technique is demonstrated on a depth=4 fully parallel quantum circuit of up to N_q=10 qubits.  ...  Implementation of MPO-based quantum error mitigation.-Our MPO-based QEM consists of the following steps. 1. Implementation of quantum process tomography.  ... 
arXiv:2201.00752v2 fatcat:thtalr4nyrhr3hwe6xupnyjgf4

Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC [article]

Ganesh Gopalakrishnan and Paul D. Hovland and Costin Iancu and Sriram Krishnamoorthy and Ignacio Laguna and Richard A. Lethin and Koushik Sen and Stephen F. Siegel and Armando Solar-Lezama
2017 arXiv   pre-print
In this study, we detail one of the most significant productivity challenges in achieving this goal, namely the increasing proclivity to bugs, especially in the face of growing hardware and software heterogeneity  ...  We close with the proposal for a two-day workshop in which the problems identified in this report can be more broadly discussed, and specific plans to launch these new research thrusts identified.  ...  One possible route for a verified HPC compiler is to base it on Com-pCert [115] .  ... 
arXiv:1705.07478v1 fatcat:2rebouk2tvbqhcfthfhz5abd7i

A Review on Recent Progress of Smart Contract in Blockchain

Canghai Wu, Jie Xiong, Huanliang Xiong, Yingding Zhao, Wenlong Yi
2022 IEEE Access  
A smart contract, in form, is represented as a piece of computer program code involving related commercial transactions and algorithms.  ...  Second, the related concepts of smart contracts are presented, and the working mechanism of smart contracts and the difficulties faced by smart contracts are elaborated.  ...  The concept of quantum computing poses a challenge to the security of blockchain, especially the quantum computing Shor algorithm proposed in 1994, which is a great threat to encryption algorithms such  ... 
doi:10.1109/access.2022.3174052 fatcat:wcbvjsuibbek3ikjegl3tddedu

Quantum Calculi—From Theory to Language Design

Margherita Zorzi
2019 Applied Sciences  
Moreover, we propose an overview of some interesting languages and open-source platforms for quantum programming currently available.  ...  We explore the twofold perspective (theoretical and concrete) of the approach and we list the main problems one has to face in quantum language design.  ...  At the same time, formal verification of quantum programs (e.g., based on logic [62, 63] or on mechanizable tools [64] ) became an urgent and exciting challenge.  ... 
doi:10.3390/app9245472 fatcat:ysri3ams6jbsvaxbripdmq7izu

Quantum Software Engineering: Landscapes and Horizons [article]

Jianjun Zhao
2021 arXiv   pre-print
Based on these, the paper provides a comprehensive survey of the current state of the art in the field and presents the challenges and opportunities we face.  ...  Quantum software plays a critical role in exploiting the full potential of quantum computing systems. As a result, it has been drawing increasing attention recently.  ...  Among those directions, one particularly interesting issue, which is worth exploring, is how to extend the contract-based design, a successful paradigm in classical software engineering, to the quantum  ... 
arXiv:2007.07047v2 fatcat:jzflc5d64nhdddlkywjt55hc6i

Cryptographic Protocols under Quantum Attacks [article]

Carolin Lunemann
2011 arXiv   pre-print
But moreover, we encounter additional setbacks in the security proofs, which are mostly due to the fact that some well-known classical proof techniques are forbidden by certain properties of a quantum  ...  Interestingly, we can exploit some of the very same properties to the benefit of quantum cryptography.  ...  To mention just a few . . .  ... 
arXiv:1102.0885v2 fatcat:y4ytrigbzzf3vb7pwxw3skoh4u

Quantum Accelerators for High-Performance Computing Systems

Keith A. Britt, Fahd A. Mohiyaddin, Travis S. Humble
2017 2017 IEEE International Conference on Rebooting Computing (ICRC)  
Following a brief overview of the state of the art, we discuss recent advances in programming and execution models for hybrid quantum-classical computing.  ...  We discuss a novel quantum-accelerator framework that uses specialized kernels to offload select workloads while integrating with existing computing infrastructure.  ...  Acknowledgments This manuscript has been authored by UT-Battelle, LLC, under Contract No. DE-AC0500OR22725 with the U.S. Department of Energy.  ... 
doi:10.1109/icrc.2017.8123664 dblp:conf/icrc/BrittMH17 fatcat:vqa5cylvrfazbi22rzrg5kop34

A Review of Cryptographic Electronic Voting

Yun-Xing Kho, Swee-Huay Heng, Ji-Jian Chin
2022 Symmetry  
A vast number of e-voting schemes including mix-net-based e-voting, homomorphic e-voting, blind signature-based e-voting, blockchain-based e-voting, post-quantum e-voting, and hybrid e-voting have been  ...  In addition, we provide a comprehensive review of various types of e-voting approaches in terms of their security properties, underlying tools, distinctive features, and weaknesses.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/sym14050858 fatcat:6dzkgrpxgfaanfaxwu3t7teco4

Quantum hardware calculations of periodic systems with partition-measurement symmetry verification: simplified models of hydrogen chain and iron crystals [article]

Kentaro Yamamoto, David Zsolt Manrique, Irfan Khan, Hideaki Sawada, David Muñoz Ramo
2022 arXiv   pre-print
Herein we focus on the practical aspect of quantum computational calculations of solid-state crystalline materials based on theory developed in our group by using real quantum hardware with a novel noise  ...  mitigation technique referred to as partition-measurement symmetry verification, which performs post-selection of shot counts based on Z_2 and U_1 symmetry verification.  ...  We acknowledge the use of IBM Quantum services for this work. The views expressed are those of the authors, and do not reflect the official policy or position of IBM or the IBM Quantum team.  ... 
arXiv:2109.08401v3 fatcat:5pusuopzefeyxiubqvdlt6buqy
« Previous Showing results 1 — 15 out of 1,444 results