AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

AI Insight

AI extracts a summary of this paper


Weibo:
̄ In order to handle protocols and quantum computations more systematically, it would be desirable to have an effective syntax, whose design should be guided by the categorical semantics

A Categorical Semantics of Quantum Protocols

logic in computer science, (2004): 415-425

Cited by: 707|Views114
EI

Abstract

We present a concise and natural encoding of the spi-calculus into the more basic 驴-calculus and establish its correctness with respect to a formal notion of testing.This is particularly relevant for security protocols modelled in spi since the tests ...

Code:

Data:

Introduction
  • Quantum information and computation is concerned with the use of quantum-mechanical systems to carry out computational and information-processing tasks [20].
  • Teleportation is the most basic of a family of quantum protocols, and already illustrates the basic ideas, in particular the use of preparations of entangled states as carriers for information flow, performing measurements to propagate information, using classical information to control branching behaviour to ensure the required behaviour despite quantum indeterminacy, and performing local data transformations using unitary operations
  • It should be born in mind that the information required to specify Õ is an arbitrary pair of complex numbers« ¬μ satisfying « 3⁄4 · ¬ 3⁄4 1⁄2, so achieving this information transfer with just two classical bits is no mean feat! Teleportation is the most basic of a family of quantum protocols, and already illustrates the basic ideas, in particular the use of preparations of entangled states as carriers for information flow, performing measurements to propagate information, using classical information to control branching behaviour to ensure the required behaviour despite quantum indeterminacy, and performing local data transformations using unitary operations
Highlights
  • Quantum information and computation is concerned with the use of quantum-mechanical systems to carry out computational and information-processing tasks [20]
  • Transfer with just two classical bits is no mean feat! Teleportation is the most basic of a family of quantum protocols, and already illustrates the basic ideas, in particular the use of preparations of entangled states as carriers for information flow, performing measurements to propagate information, using classical information to control branching behaviour to ensure the required behaviour despite quantum indeterminacy, and performing local data transformations using unitary operations
  • ̄ In order to handle protocols and quantum computations more systematically, it would be desirable to have an effective syntax, whose design should be guided by the categorical semantics
Conclusion
  • ̄ The information flow level of analysis using only the compact-closed structure allows some very elegant and convenient ‘qualitative’ reasoning, while adding biproducts allows very fine-grained modelling and analysis.
  • The interplay between these two levels merits further investigation.
  • A significant step towards the infinite dimensional case is provided by the previous work on nuclear ideals in tensored £-categories [1].
  • One of the main intended models of nuclear ideals is given by the category of all Hilbert spaces and bounded linear maps
Reference
  • S. Abramsky, R. Blute, and P. Panangaden. Nuclear and trace ideals in tensored £-categories. Journal of Pure and Applied Algebra, 143:3–47, 1999.
    Google ScholarLocate open access versionFindings
  • S. Abramsky and B. Coecke. Physical traces: Quantum vs. classical information processing. In Proceedings of Category Theory and Computer Science 2002 (CTCS’02), volume 69 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2003. arXiv:cs/0207057.
    Findings
  • S. Abramsky and B. Coecke. A categorical semantics of quantum protocols. arXiv:quant-ph/ 0402130, 2004.
    Google ScholarLocate open access versionFindings
  • S. Abramsky, S. J. Gay, and R. Nagarajan. Interaction categories and foundations of typed concurrent programming. In Deductive Program Design, NATO ASI Series F, pages 35–113. Springer-Verlag, 1995.
    Google ScholarLocate open access versionFindings
  • M. Barr. £-Autonomous Categories, volume 752 of Lecture Notes in Mathematics. Springer-Verlag, 1979.
    Google ScholarLocate open access versionFindings
  • C. H. Bennett, G. Brassard, C. Crepeau, R. Jozsa, A. Peres, and W. K. Wooters. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Physical Review Letters, 70:1895–1899, 1993.
    Google ScholarLocate open access versionFindings
  • G. Birkhoff and J. von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823–843, 1936.
    Google ScholarLocate open access versionFindings
  • D. Bouwmeester, A. Ekert, and A. Zeilinger, editors. The physics of quantum information. Springer-Verlag, 2001.
    Google ScholarFindings
  • B. Coecke. The logic of entanglement. An invitation. Technical Report PRG-RR-03-12, Oxford University, 2003. web.comlab.ox.ac.uk/oucl/publications/tr/rr-03-12.html.
    Google ScholarFindings
  • B. Coecke. The logic of entanglement. arXiv:quant-ph/ 0402014, 2004. Birkhauser, 1990.
    Google ScholarLocate open access versionFindings
  • [12] R. Duncan. Quantum entanglement and multiplicative linear logic. Transfer Report Oxford University, November 2003.
    Google ScholarFindings
  • [13] D. Gottesman and I. L. Chuang. Quantum teleportation is a universal computational primitive. Nature, 402:390–393, 1999. arXiv:quant-ph/9908010.
    Findings
  • [14] C. Isham. Lectures on Quantum Theory. Imperial College Press, 1995.
    Google ScholarFindings
  • [15] C. J. Isham and J. Butterfield. A topos perspective on the Kochen-Specker theorem I: Quantum states as generalized valuations. International Journal of Theoretical Physics, 37:2669–2733, 1998.
    Google ScholarLocate open access versionFindings
  • [16] G. M. Kelly. An abstract approach to coherence. Lecture Notes in Mathematics, 281:106–147, 1972.
    Google ScholarLocate open access versionFindings
  • [17] G. M. Kelly and M. L. Laplaza. Coherence for compact closed categories. Journal of Pure and Applied Algebra, 19:193–213, 1980.
    Google ScholarLocate open access versionFindings
  • [18] S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971.
    Google ScholarFindings
  • [19] B. Mitchell. Theory of Categories. Academic Press, 1965.
    Google ScholarFindings
  • [20] M. A. Nielsen and L. Chuang. Quantum computation and quantum information. Cambridge University Press, 2000. ISF-77-5, GMD, St-Augustin, Germany, 1977.
    Google ScholarFindings
  • [22] R. A. G. Seely. Linear logic, £-autonomous categories and cofree algebras. In Categories in Computer Science and Logic, volume 92 of Contemporary Mathematics, pages 371–382, June 1987, Boulder, Colorado, 1989.
    Google ScholarLocate open access versionFindings
  • [23] P. Selinger. Towards a quantum programming language. Mathematical Structures in Computer Science, 2004.
    Google ScholarLocate open access versionFindings
  • [24] P. W. Shor. Fault-tolerant quantum computation. In Proc. of the 37nd Annual Symposium on Foundations of Computer Science, pages 56–65. IEEE Computer Society Press, 1996.
    Google ScholarLocate open access versionFindings
  • [25] S. G. Simpson. Subsystems of Second-Order Arithmetic. Springer-Verlag, 1999.
    Google ScholarFindings
  • [26] A. van Tonder. Quantum computation, categorical semantics, and linear logic. arXiv:quant-ph/0312174, 2003.
    Findings
  • [27] J. von Neumann. Mathematische grundlagen der quantenmechanik. Springer-Verlag, Berlin, 1932.
    Google ScholarFindings
  • [28] M. Zukowski, A. Zeilinger, M. A. Horne, and A. K. Ekert. Event-ready-detectors’ Bell experiment via entanglement swapping. Physical Review Letters, 71:4287–4290, 1993.
    Google ScholarLocate open access versionFindings
Your rating :
0

 

Tags
Comments
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn
小科