Towards Quantum Computational Logics

被引：0
作者：
Antonio Ledda
Giuseppe Sergioli
机构：
[1] University of Cagliari,Department of Education
来源：
International Journal of Theoretical Physics | 2010年 / 49卷
关键词：
Pure State; Quantum Computation; Density Operator; Regular Element; Quantum Circuit;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Quantum computational logics have recently stirred increasing attention (Cattaneo et al. in Math. Slovaca 54:87–108, 2004; Ledda et al. in Stud. Log. 82(2):245–270, 2006; Giuntini et al. in Stud. Log. 87(1):99–128, 2007). In this paper we outline their motivations and report on the state of the art of the approach to the logic of quantum computation that has been recently taken up and developed by our research group.
引用
收藏
页码：3158 / 3165
页数：7
相关论文
共 50 条
[41]   QuantumEyes: Towards Better Interpretability of Quantum Circuits [J].
Ruan, Shaolun ;
Guan, Qiang ;
Griffin, Paul ;
Mao, Ying ;
Wang, Yong .
IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2024, 30 (09) :6321-6333
[42]   Efficiency optimization in quantum computing: balancing thermodynamics and computational performance [J].
Smierzchalski, Tomasz ;
Mzaouali, Zakaria ;
Deffner, Sebastian ;
Gardas, Bartlomiej .
SCIENTIFIC REPORTS, 2024, 14 (01)
[43]   Computational Refinements for Post-Quantum Elliptic Curve Security [J].
Sakk, Eric .
2022 6TH INTERNATIONAL CONFERENCE ON CRYPTOGRAPHY, SECURITY AND PRIVACY, CSP 2022, 2022, :32-35
[44]   The Algebraic Structure of an Approximately Universal System of Quantum Computational Gates [J].
Dalla Chiara, Maria Luisa ;
Giuntini, Roberto ;
Freytes, Hector ;
Ledda, Antonio ;
Sergioli, Giuseppe .
FOUNDATIONS OF PHYSICS, 2009, 39 (06) :559-572
[45]   Efficiency optimization in quantum computing: balancing thermodynamics and computational performance [J].
Tomasz Śmierzchalski ;
Zakaria Mzaouali ;
Sebastian Deffner ;
Bartłomiej Gardas .
Scientific Reports, 14
[46]   The Algebraic Structure of an Approximately Universal System of Quantum Computational Gates [J].
Maria Luisa Dalla Chiara ;
Roberto Giuntini ;
Hector Freytes ;
Antonio Ledda ;
Giuseppe Sergioli .
Foundations of Physics, 2009, 39 :559-572
[47]   A Light-Based Quantum-Computational Model of Genetics [J].
Malik, Pravir .
2020 IEEE INTERNATIONAL IOT, ELECTRONICS AND MECHATRONICS CONFERENCE (IEMTRONICS 2020), 2020, :276-283
[48]   Towards quantum supremacy with lossy scattershot boson sampling [J].
Latmiral, Ludovico ;
Spagnolo, Nicolo ;
Sciarrino, Fabio .
NEW JOURNAL OF PHYSICS, 2016, 18
[49]   Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families [J].
Nishimura, Harumichi ;
Ozawa, Masanao .
QUANTUM INFORMATION PROCESSING, 2009, 8 (01) :13-24
[50]   Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families [J].
Harumichi Nishimura ;
Masanao Ozawa .
Quantum Information Processing, 2009, 8 :13-24
12345