Quantum Assertion Scheme for Assuring Qudit Robustness

被引：0
作者：
Choudhury, Navnil [1 ]
Lu, Chao [1 ]
Basu, Kanad [1 ]
机构：
[1] University of Texas at Dallas, Richardson, 75085, TX
来源：
IEEE Computer Architecture Letters | 2024年 / 23卷 / 02期
基金：
美国国家科学基金会;
关键词：
Quantum assertions; quantum computing;
D O I：
10.1109/LCA.2024.3483840
中图分类号：
学科分类号：
摘要：
Noisy Intermediate-Scale Quantum (NISQ) computers are impeded by constraints such as limited qubit count and susceptibility to noise, hindering the progression towards fault-tolerant quantum computing for intricate and practical applications. To augment the computational capabilities of quantum computers, research is gravitating towards qudits featuring more than two energy levels. This paper presents the inaugural examination of the repercussions of errors in qudit circuits. Subsequently, we introduce an innovative qudit-based assertion framework aimed at automatically detecting and reporting errors and warnings during the quantum circuit design and compilation process. Our proposed framework, when subjected to evaluation on existing quantum computing platforms, can detect both new and existing bugs with up to 100% coverage of the bugs mentioned in this paper. © 2002-2011 IEEE.
引用
收藏
页码：247 / 250
页数：3
相关论文
共 12 条
  • [1] Hassija V., Et al., Forthcoming applications of quantum computing: Peeking into the future, IET Quantum Commun., 1, pp. 35-41, (2020)
  • [2] Qiskit: Open-source Quantum Development, (2024)
  • [3] (2024)
  • [4] Wang Y., Et al., Qudits and high-dimensional quantum computing, Front. Phys., 8, (2020)
  • [5] Lindblad G., A general no-cloning theorem, Lett. Math. Phys., 47, pp. 189-196, (1999)
  • [6] Li P., Liu J., Li Y., Zhou H., Exploiting quantum assertions for error mitigation and quantum program debugging, Proc. IEEE 40th Int.Conf. Comput. Des., pp. 124-131, (2022)
  • [7] Li G., Et al., Projection-based runtime assertions for testing and debugging quantum programs, Proc. ACM Programm. Lang., 4, pp. 1-29, (2020)
  • [8] Liu J., Zhou H., Systematic approaches for precise and approximate quantum state runtime assertion, Proc. IEEE Int. Symp. High-Perform. Comput. Architecture, pp. 179-193, (2021)
  • [9] Zhou Z., Et al., Quantum crosstalk robust quantum control, Phys. Rev. Lett., 131, 21, (2023)
  • [10] Huang Y., Et al., Statistical assertions for validating patterns and finding bugs in quantum programs, Proc. 46th Int. Symp. Comput. Architecture, pp. 541-553, (2019)
12