相关论文: Bohrification of operator algebras and quantum log…

We solve a class of lifting problems involving approximate polynomial relations (soft polynomial relations). Various associated C*-algebras are therefore projective. The technical lemma we need is a new manifestation of Akemann and…

Projection operators are central to the algebraic formulation of quantum theory because both wavefunction and hermitian operators(observables) have spectral decomposition in terms of the spectral projections. Projection operators are…

C*-algebras are widely used in mathematical physics to represent the observables of physical systems, and are sometimes taken as the starting point for rigorous formulations of quantum mechanics and classical statistical mechanics.…

For each $\alpha \in (0,1)$, $A_\alpha$ denotes the universal $C^*$-algebra generated by two unitaries $u$ and $v$, which satisfy the commutation relation $uv=\exp (2\pi i\alpha)vu$. We consider the order four automorphism $\sigma$ of…

A first-order logic with quantum variables is needed as an assertion language for specifying and reasoning about various properties (e.g. correctness) of quantum programs. Surprisingly, such a logic is missing in the literature, and the…

In Quantum Physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projections on closed subspaces of a Hilbert space. The properties…

Based on results of Harding, Heunen, Lindenhovius and Navara, (2019), we give a connection between the category of AW*-algebras and their normal Jordan homomorphisms and a category COG of orthogemetries, which are structures that are…

Let $A$ be a $C^*$-algebra. We say that $A$ satisfies the SP if every bounded homomorphism $A\to B(K)$, with $K$ a Hilbert space, is similar to a $*$-homomorphism. We introduce three hypotheses that relate to extending hyperreflexive…

We study (von Neumann) regular $^*$-subalgebras of $B(H)$, which we call R$^*$-algebras. The class of R$^*$-algebras coincides with that of "E$^*$-algebras that are pre-C$^*$-algebras" in the sense of Z. Sz\H{u}cs and B. Tak\'acs. We give…

This work presents an operational and geometric approach to logic. It starts from the multilinear elective decomposition of binary logical functions in the original form introduced by George Boole. A justification on historical grounds is…

Choose a topos $E$. There are several different "notions of sheafness" on $E$. How do we visualize them? Let's refer to the classifier object of $E$ as $\Omega$, and to its Heyting Algebra of truth-values, $Sub(1_E)$, as $H$; we will…

Let $A$ be a simple C*-algebra of stable rank one and let $p$ and $q$ be two $\sigma$-compact open projections. It is proved that there is a continuous path of unitaries in ${\tilde A}$ which connects open sub-projections of $p$ which is…

We show that, when $A$ is a separable C*-algebra, every countably generated Hilbert $A$-module is projective (with bounded module maps as morphisms). We also study the approximate extensions of bounded module maps. In the case that $A$ is a…

We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the…

We introduce the notion of an orthocomplemented subspace of a Hilbert space H, that is, a pair of orthogonal closed subspaces of H, as a two-dimensional counterpart to the one-dimensional notion of a closed subspace of H. Orthocomplemented…

Given the unital C$^*$-algebra $A$, the unitary orbit of the projector $p_0=\begin{pmatrix}1 & 0 \\ 0 & 0 \end{pmatrix}$ in the C$^*$-algebra $M_2(A)$ of $2\times 2$ matrices with coefficients in $A$ is called in this paper, the Riemann…

Instead of formulating the state space of a quantum field theory over one big Hilbert space, it has been proposed by Kijowski to describe quantum states as projective families of density matrices over a collection of smaller, simpler…

By the Gelfand-Naimark theorem, any C*-algebra is isometrically isomorphic to a *-algebra of bounded operators on a Hilbert space which is closed with respect to the topology induced by the operator norm. Hence, the C*-algebras furnish an…

We give two new constructions of the harmonic algebra of a lattice polytope $P$, a bigraded algebra whose character is the $q$-Ehrhart series of $P$ defined by Reiner and Rhoades. First, we show that the harmonic algebra is the associated…

Wigner's Theorem states that bijections of the set P_1(H) of one-dimensional projections on a Hilbert space H that preserve transition probabilities are induced by either a unitary or an anti-unitary operator on H (which is uniquely…