Displaying similar documents to “Quantum B-algebras”

When is a quantum space not a group?

Piotr Mikołaj Sołtan (2010)

Banach Center Publications

Similarity:

We give a survey of techniques from quantum group theory which can be used to show that some quantum spaces (objects of the category dual to the category of C*-algebras) do not admit any quantum group structure. We also provide a number of examples which include some very well known quantum spaces. Our tools include several purely quantum group theoretical results as well as study of existence of characters and traces on C*-algebras describing the considered quantum spaces as well as...

Binary operations in classical and quantum mechanics

Janusz Grabowski, Giuseppe Marmo (2003)

Banach Center Publications

Similarity:

Binary operations on algebras of observables are studied in the quantum as well as in the classical case. It is shown that certain natural compatibility conditions with the associative product imply properties which are usually additionally required.

Contractible quantum Arens-Michael algebras

Nina V. Volosova (2010)

Banach Center Publications

Similarity:

We consider quantum analogues of locally convex spaces in terms of the non-coordinate approach. We introduce the notions of a quantum Arens-Michael algebra and a quantum polynormed module, and also quantum versions of projectivity and contractibility. We prove that a quantum Arens-Michael algebra is contractible if and only if it is completely isomorphic to a Cartesian product of full matrix C*-algebras. Similar results in the framework of traditional (non-quantum) approach are established,...

A noncommutative 2-sphere generated by the quantum complex plane

Ismael Cohen, Elmar Wagner (2012)

Banach Center Publications

Similarity:

S. L. Woronowicz's theory of C*-algebras generated by unbounded elements is applied to q-normal operators satisfying the defining relation of the quantum complex plane. The unique non-degenerate C*-algebra of bounded operators generated by a q-normal operator is computed and an abstract description is given by using crossed product algebras. If the spectrum of the modulus of the q-normal operator is the positive half line, this C*-algebra will be considered as the algebra of continuous...

Quantum ultrametrics on AF algebras and the Gromov-Hausdorff propinquity

Konrad Aguilar, Frédéric Latrémolière (2015)

Studia Mathematica

Similarity:

We construct quantum metric structures on unital AF algebras with a faithful tracial state, and prove that for such metrics, AF algebras are limits of their defining inductive sequences of finite-dimensional C*-algebras for the quantum propinquity. We then study the geometry, for the quantum propinquity, of three natural classes of AF algebras equipped with our quantum metrics: the UHF algebras, the Effrös-Shen AF algebras associated with continued fraction expansions of irrationals,...

On the quantum groups and semigroups of maps between noncommutative spaces

Maysam Maysami Sadr (2017)

Czechoslovak Mathematical Journal

Similarity:

We define algebraic families of (all) morphisms which are purely algebraic analogs of quantum families of (all) maps introduced by P. M. Sołtan. Also, algebraic families of (all) isomorphisms are introduced. By using these notions we construct two classes of Hopf-algebras which may be interpreted as the quantum group of all maps from a finite space to a quantum group, and the quantum group of all automorphisms of a finite noncommutative (NC) space. As special cases three classes of NC...

Natural quantum operational semantics with predicates

Marek Sawerwain, Roman Gielerak (2008)

International Journal of Applied Mathematics and Computer Science

Similarity:

A general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a quantum predicate as a positive operator-valued measure is developed. The main results of this paper are a theorem about the existence of generalised predicates for quantum programs defined as completely positive maps and a theorem about the existence of a GSOS format for quantum labelled transition systems. The first theorem is a slight...

An introduction to quantum annealing

Diego de Falco, Dario Tamascelli (2011)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Quantum annealing, or quantum stochastic optimization, is a classical randomized algorithm which provides good heuristics for the solution of hard optimization problems. The algorithm, suggested by the behaviour of quantum systems, is an example of proficuous cross contamination between classical and quantum computer science. In this survey paper we illustrate how hard combinatorial problems are tackled by quantum computation and present some examples of the heuristics provided by quantum...

Deformed commutators on comodule algebras over coquasitriangular Hopf algebras

Zhongwei Wang, Guoyin Zhang, Liangyun Zhang (2015)

Colloquium Mathematicae

Similarity:

We construct quantum commutators on comodule algebras over coquasitriangular Hopf algebras, so that they are quantum group coinvariant and have the generalized antisymmetry and Leibniz properties. If the coquasitriangular Hopf algebra is additionally cotriangular, then the quantum commutators satisfy a generalized Jacobi identity, and turn the comodule algebra into a quantum Lie algebra. Moreover, we investigate the projective and injective dimensions of some Doi-Hopf modules over a...

Quantum coherent spaces and linear logic

Stefano Baratella (2011)

RAIRO - Theoretical Informatics and Applications

Similarity:

Quantum Coherent Spaces were introduced by Girard as a quantum framework where to interpret the exponential-free fragment of Linear Logic. Aim of this paper is to extend Girard's interpretation to a subsystem of linear logic with bounded exponentials. We provide deduction rules for the bounded exponentials and, correspondingly, we introduce the novel notion of bounded exponentials of Quantum Coherent Spaces. We show that the latter provide a categorical model of our system. In order...