Related papers: An effect-theoretic reconstruction of quantum theo…
We prove Leavitt path algebra versions of the two uniqueness theorems of graph C*-algebras. We use these uniqueness theorems to analyze the ideal structure of Leavitt path algebras and give necessary and sufficient conditions for their…
We reframe the EPR argument through an operational lens, replacing the notion of fixed "elements of reality" with context-indexed conditional states - what's often referred to as a measurement assemblage. This move deliberately sidesteps…
This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show that the opposite category of…
Quantum physics can only make statistical predictions about possible measurement outcomes, and these predictions originate from an operator algebra that is fundamentally different from the conventional definition of probability as a…
We propose a general scheme for the "logic" of elementary propositions of physical systems, encompassing both classical and quantum cases, in the framework given by Non Commutative Geometry. It involves Baire*-algebras, the non-commutative…
In this paper the generalized quantum states, i.e. positive and normalized linear functionals on $C^{*}$-algebras, are studied. Firstly, we study normal states, i.e. states which are represented by density operators, and singular states,…
We generalise Wigner's theorem to its most general form possible for B(h) in the sense of completely characterising those vector state transformations of B(h) that appear as restrictions of duals of linear operators on B(h). We then use…
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…
We propose a new framework that generalizes the parameters of neural network models to $C^*$-algebra-valued ones. $C^*$-algebra is a generalization of the space of complex numbers. A typical example is the space of continuous functions on a…
A certain class of Frobenius algebras has been used to characterize orthonormal bases and observables on finite-dimensional Hilbert spaces. The presence of units in these algebras means that they can only be realized finite-dimensionally.…
The Ahtekar-Isham C*-algebra known from Loop Quantum Gravity is the algebra of continuous functions on the space of (generalized) connections with a compact structure Lie group. The algebra can be constructed by some inductive techniques…
It is shown that the algebra of continuous functions on the quantum $2n+1$-dimensional lens space $C(L^{2n+1}_q(N; m_0,\ldots, m_n))$ is a graph $C^*$-algebra, for arbitrary positive weights $ m_0,\ldots, m_n$. The form of the corresponding…
Most of this article is an expanded version of our conference talk. It is essentially a survey, but some part, like most of the lengthy Section 5, is comprised of new results whose proofs are unpublished elsewhere. We begin by reviewing the…
To make sense of quantum field theory in an arbitrary (globally hyperbolic) curved spacetime, the theory must be formulated in a local and covariant manner in terms of locally measureable field observables. Since a generic curved spacetime…
A cosystem consists of a possibly nonselfadoint operator algebra equipped with a coaction by a discrete group. We introduce the concept of C*-envelope for a cosystem; roughly speaking, this is the smallest C*-algebraic cosystem that…
We present an operator-algebraic approach to the quantization and reduction of lattice field theories. Our approach uses groupoid C*-algebras to describe the observables and exploits Rieffel induction to implement the quantum gauge…
Any quantum resource theory is based on free states and free operations, i.e., states and operations which can be created and performed at no cost. In the resource theory of coherence free states are diagonal in some fixed basis, and free…
We introduce the nuclear dimension of a C*-algebra; this is a noncommutative version of topological covering dimension based on a modification of the earlier concept of decomposition rank. Our notion behaves well with respect to inductive…
Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of…
This paper represents one approach to making explicit some of the assumptions and conditions implied in the widespread representation of numbers by composite quantum systems. Any nonempty set and associated operations is a set of natural…