Related papers: Semantics for a Quantum Programming Language by Op…
We provide conceptual and mathematical foundations for near-term quantum natural language processing (QNLP), and do so in quantum computer scientist friendly terms. We opted for an expository presentation style, and provide references for…
Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters),…
We consider a class of C*-algebras C(X) associated with quantum spaces such as spheres, projective spaces, and lens spaces. We introduce a non-self-adjoint operator algebra A together with an explicit functor from the category of…
We initiate the study of parallel quantum programming by defining the operational and denotational semantics of parallel quantum programs. The technical contributions of this paper include: (1) find a series of useful proof rules for…
Universal and complete graphical languages have been successfully designed for pure state quantum mechanics, corresponding to linear maps between Hilbert spaces, and mixed states quantum mechanics, corresponding to completely positive…
Clifford algebras are used for definition of spinors. Because of using spin-1/2 systems as an adequate model of quantum bit, a relation of the algebras with quantum information science has physical reasons. But there are simple mathematical…
This paper deals with quon algebras or deformed oscillator algebras, for which the deformation parameter is a root of unity. We show the interest of such algebras for fractional supersymmetric quantum mechanics, angular momentum theory and…
We present a number of quantum computing patterns that build on top of fundamental algorithms, that can be applied to solving concrete, NP-hard problems. In particular, we introduce the concept of a quantum dictionary as a summation of…
Hilbert space operators may be mapped onto a space of ordinary functions (operator symbols) equipped with an associative (but noncommutative) star-product. A unified framework for such maps is reviewed. Because of its clear probabilistic…
Quantum kernels are reproducing kernel functions built using quantum-mechanical principles and are studied with the aim of outperforming their classical counterparts. The enthusiasm for quantum kernel machines has been tempered by recent…
We propose a new definition of quantum metric spaces, or W*-metric spaces, in the setting of von Neumann algebras. Our definition effectively reduces to the classical notion in the atomic abelian case, has both concrete and intrinsic…
We give a definition of partition C*-algebras: To any partition of a finite set, we assign algebraic relations for a matrix of generators of a universal C*-algebra. We then prove how certain relations may be deduced from others and we…
In this work we uncover the mathematical structure of the Schwinger algebra and introduce an almost unitary Schwinger operators which are derived by considering translation operators on a finite lattice. We calculate mathematical relations…
Cirelli, Mani\`{a} and Pizzocchero generalized quantum mechanics by K\"{a}hler geometry. Furthermore they proved that any unital C$^{*}$-algebra is represented as a function algebra on the set of pure states with a noncommutative…
The universal object oriented languages made programming more simple and efficient. In the article is considered possibilities of using similar methods in computer algebra. A clear and powerful universal language is useful if particular…
We establish operator structure identities for quantum channels and their error-correcting and private codes, emphasizing the complementarity relationship between the two perspectives. Relevant structures include correctable and private…
Classical mechanics is formulated in complex Hilbert space with the introduction of a commutative product of operators, an antisymmetric bracket, and a quasidensity operator. These are analogues of the star product, the Moyal bracket, and…
We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between…
Given a unitary operator in a finite dimensional complex Hilbert space, its unitary reduction to a subspace is defined. The application to quantum graphs is discussed. It is shown how the reduction allows to generate the scattering matrices…
We give a spectral theorem for unital representations of Hermitian commutative unital *-algebras by possibly unbounded operators in a pre-Hilbert space. A better result is known for the case in which the *-algebra is countably generated.