Related papers: Von Neumann Algebras form a Model for the Quantum …
We introduce and study graphic lambda calculus, a visual language which can be used for representing untyped lambda calculus, but it can also be used for computations in emergent algebras or for representing Reidemeister moves of locally…
We develop a general framework to deal with the unitary representations of quantum groups using the language of C*-algebras. Using this framework, we prove that the duality holds in a general context. This extends the framework of the…
We demonstrate a method for finding the decoherence-subalgebra $\mathcal{N}(\mathcal{T})$ of a Gaussian quantum Markov semigroup on the von Neumann algebra $\mathcal{B}(\Gamma(\mathbb{C}^d))$ of all bounded operator on the Fock space…
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as…
We introduce quantum Boolean algebras which are the analogue of the Weyl algebras for Boolean affine spaces. We study quantum Boolean algebras from the logical and set theoretical viewpoints.
A certain generalization of the mathematical formalism of quantum mechanics beyond operator algebras is considered. The approach is based on the concept of conditional probability and the interpretation of the Lueders - von Neumann quantum…
We give an adequate, concrete, categorical-based model for Lambda-S, which is a typed version of a linear-algebraic lambda calculus, extended with measurements. Lambda-S is an extension to first-order lambda calculus unifying two approaches…
In this article we review our recent work on the causal structure of symmetric spaces and related geometric aspects of Algebraic Quantum Field Theory. Motivated by some general results on modular groups related to nets of von Neumann…
In this paper, we explore the algebra of quantum idempotents and the quantization of fermions which gives rise to a Hilbert space equal to the Grassmann algebra associated with the Lie algebra. Since idempotents carry representations of the…
We investigate Wiener's Tauberian theorem from the perspective of limit functions, which results in several new versions of the Tauberian theorem. Based on this, we formulate and prove analogous Tauberian theorems for operators in the sense…
In this paper, a new calculus on sequences is defined. Also, the $\lambda$-derivative and the $\lambda$-integration are investigated. The fundamental theorem of $\lambda$-calculus is included. A suitable function basis for the…
These notes provide an explanation of the type classification of von Neumann algebras, which has made many appearances in recent work on entanglement in quantum field theory and quantum gravity. The goal is to bridge a gap in the literature…
An explicit Lagrangian description is given for the Heisenberg equation on the algebra of operators of a quantum system, and for the Landau-von Neumann equation on the manifold of quantum states which are isospectral with respect to a fixed…
We construct a large family of quantum mechanical systems that give rise to an emergent type III$_1$ von Neumann algebra in the large $N$ limit. Their partition functions are matrix integrals that appear in the study of various gauge…
The paragrassmann calculus proposed earlier is applied to constructing paraconformal transformations and paragrassmann generalizations of the Virasoro-Neveu-Schwarz-Ramond algebras.
A method to construct both classical and quantum completely integrable systems from (Jordan-Lie) comodule algebras is introduced. Several integrable models based on a so(2,1) comodule algebra, two non-standard Schrodinger comodule algebras,…
We will argue in this paper that the type classification of v.Neumann algebras play an important role in a theory of quantum gravity and quantum space-time physics. We provide arguments that type $II_{\infty}$ and its representation as a…
Assuming that there exist operators which form an irreducible representation of the q-superoscillator algebra, it is proved that any two such representations are equivalent, related by a uniquely determined superunitary transformation. This…
In a recent paper, a realizability technique has been used to give a semantics of a quantum lambda calculus. Such a technique gives rise to an infinite number of valid typing rules, without giving preference to any subset of those. In this…
We examine the relationship between the algebraic lambda-calculus, a fragment of the differential lambda-calculus and the linear-algebraic lambda-calculus, a candidate lambda-calculus for quantum computation. Both calculi are algebraic:…