相关论文: Quantum Implication Algebras

We study observables on monotone $\sigma$-complete effect algebras. We find conditions when a spectral resolution implies existence of the corresponding observable. The set of sharp elements of a monotone $\sigma$-complete homogeneous…

We involve a certain propositional logic based on ortholattices. We characterize the implicational reduct of such a logic and we show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence…

The quantum integrable systems associated with the quantum loop algebras $\mathrm U_q(\mathcal L(\mathfrak{sl}_{\, l + 1}))$ are considered. The factorized form of the transfer operators related to the infinite dimensional evaluation…

The notion of quantum matrix pairs is defined. These are pairs of matrices with non-commuting entries, which have the same pattern of internal relations, q-commute with each other under matrix multiplication, and are such that products of…

Quantum Lie algebras are generalizations of Lie algebras which have the quantum parameter h built into their structure. They have been defined concretely as certain submodules of the quantized enveloping algebras. On them the quantum Lie…

We develop the noncommutative geometry (bundles, connections etc.) associated to algebras that factorise into two subalgebras. An example is the factorisation of matrices $M_2(\C)=\C\Z_2\cdot\C\Z_2$. We also further extend the coalgebra…

These notes are intended as an introduction to a study of applications of noncommutative calculus to quantum statistical Physics. Centered on noncommutative calculus we describe the physical concepts and mathematical structures appearing in…

We study a physically motivated representation of an algebra of operators in gravitational and non gravitational theories called the covariant representation of an algebra. This is a representation where the symmetries of the operator…

The Hilbert space formalism of quantum mechanics is reviewed with emphasis on applications to quantum computing. Standard interferomeric techniques are used to construct a physical device capable of universal quantum computation. Some…

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…

We introduce the notion of implicative algebra, a simple algebraic structure intended to factorize the model constructions underlying forcing and realizability (both in intuitionistic and classical logic). The salient feature of this…

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

We consider GLq(N)-covariant quantum algebras with generators satisfying quadratic polynomial relations. We show that, up to some inessential arbitrariness, there are only two kinds of such quantum algebras, namely, the algebras with…

We introduce quantum monadic and quantum cylindric algebras. These are adaptations to the quantum setting of the monadic algebras of Halmos, and cylindric algebras of Henkin, Monk and Tarski, that are used in algebraic treatments of…

We characterize atomistic effect algebras, prove that a weakly orthocomplete Archimedean atomic effect algebra is orthoatomistic and present an example of an orthoatomistic orthomodular poset that is not weakly orthocomplete.

Invited contribution to the Encyclopedia of Mathematical Physics (2nd edition), providing an overview over some main ideas and results in quantum cosmology. Key points: Canonical quantisation of homogeneous, isotropic cosmology; discussion…

This thesis contains the formulation and computation of quantum isometry groups.

Effect algebras form an algebraic formalization of the logic of quantum mechanics. For lattice effect algebras E we investigate a natural implication and prove that the implication reduct of E is term equivalent to E. Then we present a…

We characterise algebras commutative with respect to a Yang-Baxter operator (quasi-commutative algebras) in terms of certain cosimplicial complexes. In some cases this characterisation allows the classification of all possible…

Starting from involutive BE algebras, we redefine the pre-MV and meta-MV algebras, by introducing the notion of pre-Wajsberg and meta-Wajsberg algebras, as generalizations of quantum-Wajsberg algebras. We characterize these algebras, we…