BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We provide axioms that guarantee a category is equivalent to that of continuous linear functions between Hilbert spaces. The axioms are purely categorical and do not presuppose any analytical structure. This addresses a question about the mathematical foundations of quantum theory raised in reconstruction programmes such as those of von Neumann, Mackey, Jauch, Piron, Abramsky, and Coecke.
A majority of established quantum generalizations of discrete structures are shown to be instances of a single quantum generalization. In particular, the quantum graphs of Duan, Severini and Winter, the quantum metric spaces of Kuperberg and Weaver, the quantum isomorphisms of Atserias, Mančinska, Roberson, Šámal, Severini and Varvitsiotis and the quantum groups of Woronowicz that are all discrete in the sense that the underlying von Neumann algebra is hereditarily atomic are shown to be subclasses of a single class of discrete quantum structures. Such a discrete quantum structure is defined to be a discrete quantum space equipped with relations and functions of various arities. Weaver's quantum predicate logic, a generalization of the quantum propositional logic of Birkhoff and von Neumann, provides canonical quantum generalizations for a large class of properties. The equality relation on discrete quantum spaces that is introduced here plays a central role in this approach to mathematical quantization.
We consider a programming language that can manipulate both classical and quantum information. Our language is type-safe and designed for variational quantum programming, which is a hybrid classical-quantum computational paradigm. The classical subsystem of the language is the Probabilistic FixPoint Calculus (PFPC), which is a lambda calculus with mixed-variance recursive types, term recursion and probabilistic choice. The quantum subsystem is a first-order linear type system that can manipulate quantum information. The two subsystems are related by mixed classical/quantum terms that specify how classical probabilistic effects are induced by quantum measurements, and conversely, how classical (probabilistic) programs can influence the quantum dynamics. We also describe a sound and computationally adequate denotational semantics for the language. Classical probabilistic effects are interpreted using a recently-described commutative probabilistic monad on DCPO. Quantum effects and resources are interpreted in a category of von Neumann algebras that we show is enriched over (continuous) domains. This strong sense of enrichment allows us to develop novel semantic methods that we use to interpret the relationship between the quantum and classical probabilistic effects. By doing so we provide the first denotational analysis that relates models of classical probabilistic programming to models of quantum programming.
We define a generalization of the arithmetic mean to bounded transfinite sequences of real numbers. We show that every probability space admits a transfinite sequences of points such that the measure of each measurable subset is equal to the frequency with which the sequence is in this subset. We include an argument suggested by Woodin that the club filter on ω1 does not admit such a sequence of order type ω1.
We develop the viewpoint that the opposite of the category of W*-algebras and unital normal *-homomorphisms is analogous to the category of sets and functions. For each pair of W*-algebras, we construct their free exponential, which in the context of this analogy corresponds to the collection of functions from one of these W*-algebras to the other. We also show that every unital normal completely positive map between W*-algebras arises naturally from a normal state on their free exponential.
What is the correct noncommutative generalization of the functor C0(X)↦ℓ∞(X) for locally compact Hausdorff X having a countable basis? Making the ansatz K(ℓ2)↦B(ℓ2), we expect that every unital ∗-homomorphism C(T)→B(ℓ2) extend canonically to a unital ∗-homomorphism ℓ∞(T)→B(ℓ2). Thus, we expect to extend the continuous functional calculus for a unitary operator on ℓ2 to all bounded complex-valued functions. Therefore, we work in a model of set theory where every set of real numbers is Lebesgue measurable; we must assume the consistency of an inaccessible cardinal in order to do so. The axiom of choice necessarily fails in such a model, but our model is carefully chosen to enable the verification of many familiar theorems via a scrutinization of their statements rather than their proofs. This technique significantly lowers the cost of doing interesting mathematics in this unfamiliar setting, and it is explained in detail. By analogy with the ultraweak topology, we define the continuum-weak topology on bounded operators to be the topology given by functionals of the form x↦∫01<ηt∣xξt>dt. We then define a V*-algebra to be a C*-algebra of bounded operators that is closed in the continuum-weak topology. Every C*-algebra A has an enveloping V*-algebra V∗(A), and if X is a locally compact Hausdorff space with a countable basis, then V∗(C0(X))≅ℓ∞(X). More generally, if A is any separable C*-algebra of type I, then V∗(A) is canonically isomorphic to an ℓ∞-direct sum of type I factors, with one summand for each irreducible representation of A. The self-adjoint part of any unital separable C*-algebra is isomorphic to the Banach space of strongly affine real-valued functions on its state space.
Weaver has recently defined the notion of a quantum relation on a von Neumann algebra. We demonstrate that the corresponding notion of a quantum function between two von Neumann algebras coincides with that of a normal unital ∗-homomorphism in the opposite direction. This is essentially a reformulation of a previously known result from the theory of Hilbert von Neumann modules.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.