A Programming Language Characterizing Quantum Polynomial Time

被引：2
|
作者：
Hainry, Emmanuel [1 ]
Pechoux, Romain [1 ]
Silva, Mario [1 ]
机构：
[1] Univ Lorraine, LORIA, Inria, CNRS, F-54000 Nancy, France
来源：
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023 | 2023年 / 13992卷
关键词：
D O I：
10.1007/978-3-031-30829-1_8
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We introduce a first-order quantum programming language, named FOQ, whose terminating programs are reversible. We restrict FOQ to a strict and tractable subset, named PFOQ, of terminating programs with bounded width, that provides a first programming language-based characterization of the quantum complexity class FBQP. We finally present a tractable semantics-preserving algorithm compiling a PFOQ program to a quantum circuit of size polynomial in the number of input qubits.
引用
收藏
页码：156 / 175
页数：20
相关论文
共 50 条
  • [1] A functional quantum programming language
    Altenkirch, T
    Grattage, J
    LICS 2005: 20th Annual IEEE Symposium on Logic in Computer Science - Proceedings, 2005, : 249 - 258
  • [2] Towards a quantum programming language
    Selinger, P
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2004, 14 (04) : 527 - 586
  • [3] A Flowchart Language for Quantum Programming
    Ying, Mingsheng
    Feng, Yuan
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2011, 37 (04) : 466 - 485
  • [4] Polynomial time algorithm in geometric programming
    Zhang, Kecun
    Xiao, Wenming
    Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 1995, 29 (10): : 118 - 126
  • [5] Quipper: A Scalable Quantum Programming Language
    Green, Alexander S.
    Lumsdaine, Peter LeFanu
    Ross, Neil J.
    Selinger, Peter
    Valiron, Benoit
    ACM SIGPLAN NOTICES, 2013, 48 (06) : 333 - 342
  • [6] Toward a universal quantum programming language
    Palsberg, Jens
    XRDS: Crossroads, 2019, 26 (01): : 14 - 17
  • [7] The Arrow Calculus as a Quantum Programming Language
    Vizzotto, Juliana Kaizer
    Du Bois, Andre Rauber
    Sabry, Amr
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 379 - +
  • [8] Semantics of quantum programming language LanQ
    Mlnarik, Hynek
    INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2008, 6 : 733 - 738
  • [9] Reversibility for Quantum Programming Language QML
    Plata-Cesar, Nely
    Raymundo Marcial-Romero, Jose
    Antonio Hernandez-Servin, Jose
    IEEE LATIN AMERICA TRANSACTIONS, 2020, 18 (10) : 1692 - 1698
  • [10] Characterizing Polynomial Time Computability of Rational and Real Functions
    Gomaa, Walid
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (09): : 54 - 64
12345