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 条

[21] Detecting High-Level Synchronization Errors in Parallel Programs
Raza, Syed Aoun
Franke, Stefan
Ploedereder, Erhard
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2011, 2011, 6652 : 17 - 30
[22] CROSS-DEBUGGERS VERIFY HIGH-LEVEL PROGRAMS
SMALL, CH
EDN, 1990, 35 (22) : 77 - &
[23] Support for High-Level Quantum Bayesian Inference
Przewiezlikowski, Marcin
Grabowski, Michal
Kurzyk, Dariusz
Rycerz, Katarzyna
COMPUTATIONAL SCIENCE - ICCS 2019, PT V, 2019, 11540 : 764 - 770
[24] Towards High-Level Synthesis of Quantum Circuits
Lu, Chao
Pilato, Christian
Basu, Kanad
2023 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE, 2023,
[25] High-level methods for quantum computation and information
Abramsky, S
19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, : 410 - 414
[26] Encoding High-Level Features: An Approach To Robust Transfer Learning
Cheret, Laurent Yves Emile Ramos
de Oliveira, Thiago Eustaquio Alves
2022 IEEE INTERNATIONAL CONFERENCE ON OMNI-LAYER INTELLIGENT SYSTEMS (IEEE COINS 2022), 2022, : 36 - 41
[27] FPGA Acceleration of Probabilistic Sentential Decision Diagrams with High-level Synthesis
Choi, Young-Kyu
Santillana, Carlos
Shen, Yujia
Darwiche, Adnan
Cong, Jason
ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, 2023, 16 (02)
[28] Diagnostic modelling of digital systems with binary and high-level decision diagrams
Ubar, Raimund
Raik, Jaan
Kruus, Helena
Lensen, Harri
Evartson, Teet
PROGRESS IN INDUSTRIAL MATHEMATICS AT ECMI 2006, 2008, 12 : 902 - 907
[29] Synthesis of High-Level Decision Diagrams for Functional Test Pattern Generation
Ubar, Raimund
Raik, Jaan
Karputkin, Anton
Tombak, Mati
MIXDES 2009: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2009, : 519 - +
[30] Temporally extended High-Level Decision Diagrams for PSL assertions simulation
Jenihhin, Maksim
Raik, Jaan
Chepurov, Anton
Ubar, Raimund
PROCEEDINGS OF THE 13TH IEEE EUROPEAN TEST SYMPOSIUM: ETS 2008, 2008, : 61 - 68

← 1 2 3 4 5 →