کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423298 685201 2008 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Axiomatic Description of Mixed States From Selinger's CPM-construction
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Axiomatic Description of Mixed States From Selinger's CPM-construction
چکیده انگلیسی

We recast Selinger's CPM-construction of mixed states completely positive maps [P. Selinger (2007) Dagger compact closed categories and completely positive maps. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science 170, 139–163. Available from Peter Selinger's homepage] as an axiomatization of maximally mixed states. This axiomatization also guarantees categories of completely positive maps to satisfy the preparation-state agreement axiom of [Coecke, B. (2007) De-linearizing linearity: projective quantum axiomatics from strong compact closure. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science 170, 49–72. E-print: arXiv:quant-ph/0506134], and admits a physical interpretation in terms of purification of mixed states and CPMs. Internal traces, which are crucial in quantum information theory, are the adjoints to these maximally mixed states.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 210, 11 July 2008, Pages 3-13