DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction

• YAMASHITA Shigeru

  Nara Institute of Science and Technology

• MINATO Shin-ichi

  Hokkaido University

• MILLER D. Michael

  University of Victoria

Abstract

Recently much attention has been paid to quantum circuit design to prepare for the future “quantum computation era.” Like the conventional logic synthesis, it should be important to verify and analyze the functionalities of generated quantum circuits. For that purpose, we propose an efficient verification method for quantum circuits under a practical restriction. Thanks to the restriction, we can introduce an efficient verification scheme based on decision diagrams called Decision Diagrams for Matrix Functions (DDMFs). Then, we show analytically the advantages of our approach based on DDMFs over the previous verification techniques. In order to introduce DDMFs, we also introduce new concepts, quantum functions and matrix functions, which may also be interesting and useful on their own for designing quantum circuits.

Journal

• IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A (12), 3793-3802, 2008

  The Institute of Electronics, Information and Communication Engineers

Keywords

• quantum circuit
• verification
• decision diagram

Details

• CRID: 1390001206309924608
• NII Article ID: 10026854528
• NII Book ID: AA10826239
• DOI: 10.1093/ietfec/e91-a.12.3793
• ISSN: 17451337
• ISSN: 09168508
• HANDLE: 2115/47392
• Web Site: https://www.jstage.jst.go.jp/article/transfun/E91.A/12/E91.A_12_3793/_pdf
• Text Lang: en
• Data Source:
  • JaLC
  • IRDB
  • Crossref
  • CiNii Articles
  • KAKEN
• Abstract License Flag: Disallowed