Complete Positivity and Natural Representation of Quantum Computations

We propose a new 'quantum domain theory' in which Scott-continuous functions are replaced by Scott-continuous natural transformations.Completely positive maps are widely accepted as a model of first-order quantum computation. We begin by establishing a categorical characterization of completely positive maps as natural families of positive maps. We explore this categorical characterization by building various representations of quantum computation based on different structures: affine maps between cones of positive elements, morphisms of algebras of effects, and affine maps of convex sets of states. By focusing on convex dcpos, we develop a quantum domain theory and show that it supports some important constructions such as tensor products by quantum data, and lifting.

[1]  M. Takesaki,et al.  Analyticity and the Unruh effect: a study of local modular flow , 2024, Journal of High Energy Physics.

[2]  Prakash Panangaden,et al.  Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky , 2013, Lecture Notes in Computer Science.

[3]  G. M. Kelly,et al.  A note on actions of a monoidal category. , 2001 .

[4]  C. Jones,et al.  A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[5]  Peter Lucas,et al.  Formal Semantics of Programming Languages: VDL , 1981, IBM J. Res. Dev..

[6]  F. Shultz,et al.  State Spaces of Operator Algebras , 2001 .

[7]  Peter Selinger,et al.  Towards a quantum programming language , 2004, Mathematical Structures in Computer Science.

[8]  Klaus Keimel,et al.  Predicate transformers for extended probability and non-determinism , 2009, Math. Struct. Comput. Sci..

[9]  Peter Selinger,et al.  Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) , 2007, QPL.

[10]  竹崎 正道.  Theory of operator algebras , 2002 .

[11]  Bart Jacobs,et al.  States of Convex Sets , 2015, FoSSaCS.

[12]  Kenta Cho,et al.  Semantics for a Quantum Programming Language by Operator Algebras , 2014, New Generation Computing.

[13]  R. Lathe.  Phd by thesis , 1988, Nature.

[14]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

[15]  Michele Pagani,et al.  Applying quantitative semantics to higher-order quantum computing , 2013, POPL.

[16]  F. Shultz,et al.  State spaces of operator algebras : basic theory, orientations, and C*-products , 2001 .

[17]  Robert W. J. Furber,et al.  From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality , 2013, Log. Methods Comput. Sci..

[18]  Mathys Rennela,et al.  Operator Algebras in Quantum Computation , 2015, ArXiv.

[19]  Prakash Panangaden,et al.  Quantum weakest preconditions , 2005, Mathematical Structures in Computer Science.

[20]  Mathys Rennela,et al.  Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras , 2014, MFPS.

[21]  Sam Staton,et al.  Algebraic Effects, Linearity, and Quantum Programming Languages , 2015, POPL.

[22]  Klaus Keimel,et al.  Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces , 2009 .

[23]  Ichiro Hasuo,et al.  Semantics of Higher-Order Quantum Computation via Geometry of Interaction , 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.

[24]  境 正一郎.  C[*]-algebras and W[*]-algebras , 1973 .

[25]  J. Nacht.  State Spaces Of Operator Algebras Basic Theory Orientations And C Products , 2016 .

[26]  Peter Selinger,et al.  Presheaf Models of Quantum Computation: An Outline , 2013, Computation, Logic, Games, and Quantum Foundations.

[27]  Klaus Keimel,et al.  Mixed powerdomains for probability and nondeterminism , 2016, Log. Methods Comput. Sci..

[28]  Bart Jacobs,et al.  New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic , 2012, Log. Methods Comput. Sci..

[29]  G. Winskel.  The formal semantics of programming languages , 1993 .

[30]  Brian Day,et al.  Construction of biclosed categories , 1971, Bulletin of the Australian Mathematical Society.

[31]  V. Paulsen.  Completely Bounded Maps and Operator Algebras: Completely Bounded Multilinear Maps and the Haagerup Tensor Norm , 2003 .