کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4950763 | 1440716 | 2016 | 28 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The expectation monad in quantum foundations
ترجمه فارسی عنوان
انتظار موناد در پایه های کوانتومی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
The expectation monad is introduced and related to known monads: it sits between on the one hand the distribution and ultrafilter monad, and on the other hand the continuation monad. The Eilenberg-Moore algebras of the expectation monad are characterized as convex compact Hausdorff spaces, using a theorem of Åwirszcz. These convex compact Hausdorff spaces are dually equivalent to Banach (complete) order unit spaces, via a result of Kadison, which in turn are equivalent to Banach effect modules. In this way we obtain a close 'triangle' relationship between predicates and states for the expectation monad. Moreover, the approach leads to a new reformulation of Gleason's theorem, expressing that effects on a Hilbert space are free effect modules on projections, obtained via tensoring with the unit interval.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 250, October 2016, Pages 87-114
Journal: Information and Computation - Volume 250, October 2016, Pages 87-114
نویسندگان
Bart Jacobs, Jorik Mandemaker, Robert Furber,