The Search for Structure in Quantum Computation

被引：0

作者：

Panangaden, Prakash ^{[1
]}

机构：

[1] McGill Univ, Sch Comp Sci, Montreal, PQ H3A 2T5, Canada

来源：

FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES | 2011年 / 6604卷

关键词：

UNIVERSAL; STATE;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

I give a non-comprehensive survey of the categorical quantum mechanics program and how it guides the search for structure in quantum computation. I discuss the example of measurement-based computing which is one of the successes of such an enterprise and briefly mention topological quantum computing which is an inviting target for future research in this area.

引用

页码：1 / 11

页数：11

共 47 条

[1] A categorical semantics of quantum protocols [J].

Abramsky, S ;

Coecke, B .

19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, :415-425

[2]

[Anonymous], P ROY SOC LOND A

[3]

[Anonymous], PHYS REV A

[4]

[Anonymous], SIAM J COMPUTING

[5]

[Anonymous], 2001, LECT TENSOR CATEGORI

[6]

[Anonymous], SEMANTIC TECHNIQUES

[7]

[Anonymous], BOOJUMS ALL WAY

[8]

[Anonymous], KINDERGARTEN QUANTUM

[9]

[Anonymous], 2010, NEW STRUCTURES PHYS

[10]

[Anonymous], MATH GRUNGLAGEN QUAN

← 1 2 3 4 5 →