Zobrazeno 1 - 10
of 59
pro vyhledávání: '"Westerbaan, P."'
Autor:
Westerbaan, Bas, van de Wetering, John
Publikováno v:
J. Phys. A: Math. Theor. 55 384002. 2022
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:
http://arxiv.org/abs/2109.10707
Publikováno v:
Quantum 4, 378 (2020)
A sequential effect algebra (SEA) is an effect algebra equipped with a sequential product operation modeled after the L\"uders product $(a,b)\mapsto \sqrt{a}b\sqrt{a}$ on C*-algebras. A SEA is called normal when it has all suprema of directed sets, a
Externí odkaz:
http://arxiv.org/abs/2004.12749
Publikováno v:
Proceedings of LICS2020 (35th Annual ACM/IEEE Symposium on Logic in Computer Science)
In computer science, especially when dealing with quantum computing or other non-standard models of computation, basic notions in probability theory like "a predicate" vary wildly. There seems to be one constant: the only useful example of an algebra
Externí odkaz:
http://arxiv.org/abs/1912.10040
Publikováno v:
EPTCS 340, 2021, pp. 91-113
Effectus theory is a relatively new approach to categorical logic that can be seen as an abstract form of generalized probabilistic theories (GPTs). While the scalars of a GPT are always the real unit interval [0,1], in an effectus they can form any
Externí odkaz:
http://arxiv.org/abs/2003.10245
If a monad $T$ is monoidal, then operations on a set $X$ can be lifted canonically to operations on $TX$. In this paper we study structural properties under which $T$ preserves equations between those operations. It has already been shown that any mo
Externí odkaz:
http://arxiv.org/abs/2001.06348
Publikováno v:
EPTCS 287, 2019, pp. 345-364
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:
http://arxiv.org/abs/1805.11496
Autor:
Westerbaan, Abraham, Hendriks, Luuk
We describe a system, PEP3, for storage and retrieval of IP flow information in which the IP addresses are replaced by pseudonyms. Every eligible party gets its own set of pseudonyms. A single entity, the transcryptor, that is composed of five indepe
Externí odkaz:
http://arxiv.org/abs/1911.02674
Autor:
Fritz, Tobias, Westerbaan, Bas
Publikováno v:
Appl. Categ. Structures 28, 355-365 (2020)
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:
http://arxiv.org/abs/1907.04714
Autor:
Westerbaan, Abraham A.
Measure and integral are two closely related, but distinct objects of study. Nonetheless, they are both real-valued lattice valuations: order preserving real-valued functions $\phi$ on a lattice $L$ which are modular, i.e., $\phi(x)+{\phi}(y) = \phi(
Externí odkaz:
http://arxiv.org/abs/1903.06044
Autor:
Cho, Kenta, Westerbaan, Abraham A.
Recently, we have shown that von Neumann algebras form a model for Selinger and Valiron's quantum lambda calculus. In this paper, we explain our choice of interpretation of the duplicability operator "!" by studying those von Neumann algebras that mi
Externí odkaz:
http://arxiv.org/abs/1903.02963