On a measurement-free quantum lambda calculus with classical control

被引：11

作者：

Dal Lago, Ugo ^{[1
]}

Masini, Andrea ^{[2
]}

Zorzi, Margherita ^{[2
]}

机构：

[1] Univ Bologna, Dipartimento Sci Informaz, I-40126 Bologna, Italy

[2] Univ Verona, Dipartimento Informat, I-37100 Verona, Italy

来源：

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | 2009年 / 19卷 / 02期

关键词：

COMPUTATION; COMPLEXITY;

D O I：

10.1017/S096012950800741X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We study a measurement-free, untyped lambda-calculus with quantum data and classical control. This work arises from previous proposals by Selinger and Valiron, and Van Tonder. We focus on operational and expressiveness issues, rather than (denotational) semantics. We prove subject reduction and confluence, and a standardisation theorem. Moreover, we prove the computational equivalence of the proposed calculus with a suitable class of quantum circuit families.

引用

页码：297 / 335

页数：39

共 50 条

[31] Critical Assessment of Information Back-Flow in Measurement-Free Teleportation
McAleese, Hannah
Paternostro, Mauro
ENTROPY, 2024, 26 (09)
[32] Low-error measurement-free PHASE gates for qubus computation
Proctor, T. J.
Spiller, T. P.
PHYSICAL REVIEW A, 2012, 86 (06):
[33] LAMBDA-MU-CALCULUS - AN ALGORITHMIC INTERPRETATION OF CLASSICAL NATURAL DEDUCTION
PARIGOT, M
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 190 - 191
[34] Measurement-free Kerr-based cubic phase gate with Gaussian operations
Yanagimoto, Ryotatsu
Onodera, Tatsuhiro
Ng, Edwin
Wright, Logan G.
McMahon, Peter L.
Mabuchi, Hideo
2020 CONFERENCE ON LASERS AND ELECTRO-OPTICS (CLEO), 2020,
[35] Interaction- and measurement-free quantum Zeno gates for universal computation with single-atom and single-photon qubits
Huang, Y. P.
Moore, M. G.
PHYSICAL REVIEW A, 2008, 77 (06):
[36] Classical-Noise-Free Sensing Based on Quantum Correlation Measurement*
Wang, Ping
Chen, Chong
Liu, Ren-Bao
CHINESE PHYSICS LETTERS, 2021, 38 (01)
[37] Classical-Noise-Free Sensing Based on Quantum Correlation Measurement
王评
陈冲
刘仁保
Chinese Physics Letters, 2021, 38 (01) : 8 - 22
[38] SUBJECTIVELY EXPECTED UTILITY THEORY AND SUBJECTS PROBABILITY ESTIMATES - USE OF MEASUREMENT-FREE TECHNIQUES
WALLSTEN, TS
JOURNAL OF EXPERIMENTAL PSYCHOLOGY, 1971, 88 (01): : 31 - &
[39] Quantum and Classical Correlations in Quantum Measurement
Xi, Zhengjun
Li, Yongming
FOUNDATIONS OF PHYSICS, 2013, 43 (03) : 285 - 293
[40] A Quantum Game Semantics for the Measurement Calculus
Delbecque, Yannick
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 210 (0C) : 33 - 48

← 1 2 3 4 5 →