Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Bas Westerbaan"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 287, Iss Proc. QPL 2018, Pp 345-364 (2019)
We propose a definition of purity for positive linear maps between Euclidean Jordan Algebras (EJA) that generalizes the notion of purity for quantum systems. We show that this definition of purity is closed under composition and taking adjoints and t
Externí odkaz:
https://doaj.org/article/9e0e1fc44cd4444b99d1ace9de1ace63
Autor:
Abraham Westerbaan, Bas Westerbaan
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 236, Iss Proc. QPL 2016, Pp 229-244 (2017)
In 1973 Paschke defined a factorization for completely positive maps between C*-algebras. In this paper we show that for normal maps between von Neumann algebras, this factorization has a universal property, and coincides with Stinespring's dilation
Externí odkaz:
https://doaj.org/article/1b525e84ba4b4dbdac383b544e1058f0
Publikováno v:
Quantum, Vol 4, p 378 (2020)
A sequential effect algebra (SEA) is an effect algebra equipped with a $\textit{sequential product}$ operation modeled after the Lüders product $(a,b)\mapsto \sqrt{a}b\sqrt{a}$ on C$^*$-algebras. A SEA is called $\textit{normal}$ when it has all sup
Externí odkaz:
https://doaj.org/article/132ce25e0b1941eca8cb59d8561541df
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 195, Iss Proc. QPL 2015, Pp 136-147 (2015)
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic, but also in
Externí odkaz:
https://doaj.org/article/018a7816a7df4eed9cbec8dcb486cf32
Autor:
Robert Furber, Bas Westerbaan
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 195, Iss Proc. QPL 2015, Pp 196-207 (2015)
It is well known that the C*-algebra of an ordered pair of qubits is M_2 (x) M_2. What about unordered pairs? We show in detail that M_3 (+) C is the C*-algebra of an unordered pair of qubits. Then we use Schur-Weyl duality to characterize the C*-alg
Externí odkaz:
https://doaj.org/article/21edecd678e34cf6b089c422065e1685
Autor:
Sander Uijlen, Bas Westerbaan
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 172, Iss Proc. QPL 2014, Pp 154-164 (2014)
At the heart of the Conway-Kochen Free Will theorem and Kochen and Specker's argument against non- contextual hidden variable theories is the existence of a Kochen-Specker (KS) system: a set of points on the sphere that has no 0,1-coloring such that
Externí odkaz:
https://doaj.org/article/f81f089a80954b4d931693983e9d6503
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 4 (2017)
In the Simply Typed $\lambda$-calculus Statman investigates the reducibility relation $\leq_{\beta\eta}$ between types: for $A,B \in \mathbb{T}^0$, types freely generated using $\rightarrow$ and a single ground type $0$, define $A \leq_{\beta\eta} B$
Externí odkaz:
https://doaj.org/article/808b42cc6f3f4c92b166131316e8db23
Publikováno v:
CCS
Continuous group key agreements (CGKAs) are a class of protocols that can provide strong security guarantees to secure group messaging protocols such as Signal and MLS. Protection against device compromise is provided by commit messages: at a regular
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5093e177c4c0611f25fb1640e4476d6
https://ir.cwi.nl/pub/31198
https://ir.cwi.nl/pub/31198
Autor:
Tobias Fritz, Bas Westerbaan
Publikováno v:
Applied Categorical Structures. 28:355-365
When formulating universal properties for objects in a dagger category, one usually expects a universal property to characterize the universal object up to unique unitary isomorphism. We observe that this is automatically the case in the important sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37f8739a2f88de2c9fc245f91785d7ed
https://doi.org/10.1007/s10485-019-09583-9
https://doi.org/10.1007/s10485-019-09583-9
Autor:
Bas Westerbaan, John van de Wetering
Publikováno v:
Journal of Physics A. Mathematical and Theoretical, 55, 1-52
Journal of Physics A. Mathematical and Theoretical, 55, 38, pp. 1-52
Journal of Physics A. Mathematical and Theoretical, 55, 38, pp. 1-52
The rather unintuitive nature of quantum theory has led numerous people to develop sets of (physically motivated) principles that can be used to derive quantum mechanics from the ground up, in order to better understand where the structure of quantum
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c7c4046222c4cc43e40335ebcba92986