English
Related papers

Related papers: Quantale Modules, with Applications to Logic and I…

200 papers

We present a quantum-like (QL) model in that contexts (complexes of e.g. mental, social, biological, economic or even political conditions) are represented by complex probability amplitudes. This approach gives the possibility to apply the…

General Physics · Physics 2016-11-23 Andrei Khrennikov

Quantum cellular automata consist in arrays of identical finite-dimensional quantum systems, evolving in discrete-time steps by iterating a unitary operator G. Moreover the global evolution G is required to be causal (it propagates…

Quantum Physics · Physics 2019-09-09 Pablo Arrighi

Integrating diverse formalisms into modular knowledge representation systems offers increased expressivity, modeling convenience and computational benefits. We introduce concepts of abstract modules and abstract modular systems to study…

Artificial Intelligence · Computer Science 2013-12-24 Yuliya Lierler , Miroslaw Truszczynski

We describe the generic modules in each component of the spaces of representations of certain string algebras. In so doing, we calculate the dimensions of higher self-extension groups for generic modules. This algorithm lends itself for use…

Representation Theory · Mathematics 2011-11-23 Andrew Thomas Carroll

Given an holomorphic Higgs bundle on a compact Riemann surface of genus greater than one, we construct a DQ-module supported by the spectral curve associated to this bundle. Then, we relate quantum curves arising in various situations…

Algebraic Geometry · Mathematics 2015-08-18 Francois Petit

In this work is discussed possibility and actuality of Lagrangian approach to quantum computations. Finite-dimensional Hilbert spaces used in this area provide some challenge for such consideration. The model discussed here can be…

Quantum Physics · Physics 2007-05-23 Alexander Yu. Vlasov

This article presents a review of quantum computing research works for Natural Language Processing (NLP). Their goal is to improve the performance of current models, and to provide a better representation of several linguistic phenomena,…

Computation and Language · Computer Science 2024-06-25 Sabrina Campano , Tahar Nabil , Meryl Bothua

The main objective consists in endowing the elementary particles with an algebraic space-time structure in the perspective of unifying quantum field theory and general relativity: this is realized in the frame of the Langlands global…

Mathematical Physics · Physics 2007-05-23 Christian Pierre

A complete list of Uq(sl2)-module algebra structures on the quantum plane is produced and the (uncountable family of) isomorphism classes of these structures are described. The composition series of representations in question are computed.…

Quantum Algebra · Mathematics 2014-10-03 Steven Duplij , Sergey Sinel'shchikov

Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the…

Logic in Computer Science · Computer Science 2013-11-12 Michele Pagani , Peter Selinger , Benoît Valiron

The use of graphics processing units for scientific computations is an emerging strategy that can significantly speed up various different algorithms. In this review, we discuss advances made in the field of computational physics, focusing…

Computational Physics · Physics 2013-03-07 Ari Harju , Topi Siro , Filippo Federici-Canova , Samuli Hakala , Teemu Rantalaiho

We quantize the coordinate ring of the moduli space of B-bundles on the elliptic curve. Here B is a Borel subgroup of some semisimple Lie group. We construct some representations of these algebras and study intertwining operators for these…

Quantum Algebra · Mathematics 2007-05-23 A. V. Odesskii , B. L. Feigin

Quantum computers are considered as a part of the family of the reversible, lineary-extended, dynamical systems (Quanputers). For classical problems an operational reformulation is given. A universal algorithm for the solving of classical…

Quantum Physics · Physics 2007-05-23 Nugzar Makhaldiani

In this work we discuss logical structures related to indistinguishable particles. Most of the framework used to develop these structures was presented in [17, 28] and in [20, 14, 15, 16]. We use these structures and constructions to…

Quantum Physics · Physics 2013-05-23 Federico Holik , Decio Krause , Ignacio Gómez

Machine learning and quantum machine learning (QML) have gained significant importance, as they offer powerful tools for tackling complex computational problems across various domains. This work gives an extensive overview of QML uses in…

We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations,…

Quantum Physics · Physics 2008-05-06 Thorsten Altenkirch , Jonathan Grattage

Quantum algorithms are sequences of abstract operations, performed on non-existent computers. They are in obvious need of categorical semantics. We present some steps in this direction, following earlier contributions of Abramsky, Coecke…

Quantum Physics · Physics 2016-11-09 Dusko Pavlovic

Framed quiver moduli parametrize stable pairs consisting of a quiver representation and a map to a fixed graded vector space. Geometric properties and explicit realizations of framed quiver moduli for quivers without oriented cycles are…

Algebraic Geometry · Mathematics 2007-05-23 Markus Reineke

We introduce quantum versions of Manin pairs and Manin triples and define quantum moment maps in this context. This provides a framework that incorporates quantum moment maps for actions of Lie algebras and quantum groups for any quantum…

Quantum Algebra · Mathematics 2021-06-23 Pavel Safronov

Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a form of graphs. We present a formalism for equational reasoning…

Symbolic Computation · Computer Science 2009-02-04 Lucas Dixon , Ross Duncan