Verification of Quantum Systems Using Barrier Certificates

被引：0

作者：

Lewis, Marco ^{[1
]}

Zuliani, Paolo ^{[1
,2
]}

Soudjani, Sadegh ^{[1
,3
]}

机构：

[1] Newcastle Univ, Newcastle Upon Tyne, Tyne & Wear, England

[2] Univ Roma La Sapienza, Rome, Italy

[3] Max Planck Inst Software Syst, Kaiserslautern, Germany

来源：

QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2023 | 2023年 / 14287卷

基金：

英国工程与自然科学研究理事会;

关键词：

barrier certificates; dynamical systems; quantum systems;

D O I：

10.1007/978-3-031-43835-6_24

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Various techniques have been used in recent years for verifying quantum computers, that is, for determining whether a quantum computer/system satisfies a given formal specification of correctness. Barrier certificates are a recent novel concept developed for verifying properties of dynamical systems. In this article, we investigate the usage of barrier certificates as a means for verifying behaviours of quantum systems. To do this, we extend the notion of barrier certificates from real to complex variables. We then develop a computational technique based on linear programming to automatically generate polynomial barrier certificates with complex variables taking real values. Finally, we apply our technique to several simple quantum systems to demonstrate their usage.

引用

页码：346 / 362

页数：17

共 33 条

[31]

Wisniewski R, 2013, IEEE DECIS CONTR P, P4713, DOI 10.1109/CDC.2013.6760627

[32] Quantum Abstract Interpretation [J].

Yu, Nengkun ;

Palsberg, Jens .

PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, :542-558

[33] Advanced Simulation of Quantum Computations [J].

Zulehner, Alwin ;

Wille, Robert .

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2019, 38 (05) :848-859

← 1 2 3 4 →