Encoding High-level Quantum Programs as SZX-diagrams

被引：0

作者：

Borgna, Augustin ^{[1
,2
]}

Romero, Rafael ^{[3
,4
]}

机构：

[1] Univ Lorraine, CNRS, Inria MOCQUA, LORIA, Nancy, France

[2] Univ Paris Saclay, CNRS, LMF, Gif Sur Yvette, France

[3] Univ Buenos Aires, CONICET, Inst Ciencias Computac, Buenos Aires, Argentina

[4] Univ Republica, MEC, PEDECIBA, Montevideo, Uruguay

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2023年 / 394卷

关键词：

D O I：

10.4204/EPTCS.394.9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The Scalable ZX-calculus is a compact graphical language used to reason about linear maps between quantum states. These diagrams have multiple applications, but they frequently have to be constructed in a case-by-case basis. In this work we present a method to encode quantum programs implemented in a fragment of the linear dependently typed Proto-Quipper-D language as families of SZX-diagrams. We define a subset of translatable Proto-Quipper-D programs and show that our procedure is able to encode non-trivial algorithms as diagrams that grow linearly on the size of the program.

引用

页码：141 / 169

页数：29

共 50 条

[31] High-Level Decision Diagrams based Coverage Metrics for Verification and Test
Jenihhin, Maksim
Raik, Jaan
Chepurov, Anton
Reinsalu, Uljana
Ubar, Raimund
LATW: 2009 10TH LATIN AMERICAN TEST WORKSHOP, 2009, : 49 - 54
[32] Specification and Proof of High-Level Functional Properties of Bit-Level Programs
Fumex, Clement
Dross, Claire
Gerlach, Jens
Marche, Claude
NASA FORMAL METHODS, NFM 2016, 2016, 9690 : 291 - 306
[33] Turning high-level plans into robot programs in uncertain domains
Grosskreutz, H
Lakemeyer, G
ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 548 - 552
[34] Proposal of a High-Level Language for Writing Self Modifying Programs
da Silva, S. R. B.
Neto, J. J.
IEEE LATIN AMERICA TRANSACTIONS, 2011, 9 (02) : 192 - 198
[35] Practical verification of high-level dataraces in transactional memory programs
CITI, DI FCT, Universidade Nova de Lisboa, Portugal
不详
Workshop Parallel Distrib. Syst.: Test., Anal., Debugging, PADTAD - Proc., (26-34):
[36] USING ASSEMBLY CODING TO OPTIMIZE HIGH-LEVEL LANGUAGE PROGRAMS
CAUDILL, P
ELECTRONICS, 1979, 52 (03): : 121 - 124
[37] High-Level Synthesis of Dataflow Programs for Signal Processing Systems
Bezati, Endri
Mattavelli, Marco
Janneck, Jorn W.
2013 8TH INTERNATIONAL SYMPOSIUM ON IMAGE AND SIGNAL PROCESSING AND ANALYSIS (ISPA), 2013, : 750 - +
[38] Automatic High-Level Programs Mapping onto Programmable Architectures
Steinberg, Boris Ya
Dubrov, Denis V.
Mikhailuts, Yury
Roshal, Alexander S.
Steinberg, Roman B.
PARALLEL COMPUTING TECHNOLOGIES (PACT 2015), 2015, 9251 : 474 - 485
[39] Validating Traces of Distributed Programs against High-Level Specifications
Merz, Stephan
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2024, (399): : 3 - 3
[40] A NEW CLASS OF HIGH-LEVEL PROGRAMS FOR DISTRIBUTED COMPUTING SYSTEMS
RAMESH, S
MEHNDIRATTA, SL
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 206 : 42 - 72

← 1 2 3 4 5 →