Related papers: Quantum arithmetic
We introduce the $h$-adic quantum vertex algebras associated with the rational $R$-matrix in types $B$, $C$ and $D$, thus generalizing the Etingof--Kazhdan's construction in type $A$. Next, we construct the algebraically independent…
Algebras associated with Quantum Electrodynamics and other gauge theories share some mathematical features with T-duality Exploiting this different perspective and some category theory, the full algebra of fermions and bosons can be…
We prove the conjectures on dimensions and characters of some quadratic algebras stated by B$.$L$.$Feigin. It turns out that these algebras are naturally isomorphic to the duals of the components of the bihamiltonian operad.
One introduces the notion of C*-algebra with polarization which could be considered as the quantum Kahler structure. The connection of these algebras with Kostant-Souriou geometric quantization is shown. The theory of polarized C*-algebra…
This is a survey of our construction of current algebras, associated with complex curves and rational differentials. We also study in detail two classes of examples. The first is the case of a rational curve with differentials $z^n dz$;…
These notes describe some links between the group $\mathrm{SL}_2(\mathbb{R})$, the Heisenberg group and hypercomplex numbers---complex, dual and double numbers. Relations between quantum and classical mechanics are clarified in this…
We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives. The combined theory supports both univalence and its relational equivalent, which we…
It is proposed that certain techniques from arithmetic algebraic geometry provide a framework which is useful to formulate a direct and intrinsic link between the geometry of Calabi-Yau manifolds and the underlying conformal field theory.…
We study the operad of associative algebras equipped with a derivation. We show that it is determined by polynomials in several variables and substitution. Replacing polynomials by rational functions gives an operad which is isomorphic to…
A bicovariant calculus of differential operators on a quantum group is constructed in a natural way, using invariant maps from \fun\ to \uqg\ , given by elements of the pure braid group. These operators --- the `reflection matrix' $Y \equiv…
The multiplicative theory of a set of numbers (which could be natural, integer, rational, real or complex numbers) is the first-order theory of the structure of that set with (solely) the multiplication operation (that set is taken to be…
There are theories of coverings of $C^*$-algebras which can be included into a following list: coverings of commutative $C^*$-algebras, coverings of $C^*$-algebras of groupoids and foliations, coverings of noncommutative tori, the double…
We define a notion of quantum automorphism group of Graph C*-algebras for finite, connected graphs. Under the assumption that the underlying graph does not have any multiple edge or loop, the quantum automorphism group of underlying…
We introduce the Lie algebra of super-operators associated with a quantum filter, specifically emerging from the Stratonovich calculus. In classical filtering, the analogue algebra leads to a geometric theory of nonlinear filtering which…
The paper proves that quantum mechanics is compatible with the constructive realism of modern philosophy of science. The proof is based on the observation that properties of quantum systems that are uniquely determined by their preparations…
The notion of quantum embedding is considered for two classes of examples: quantum coadjoint orbits in Lie coalgebras and quantum symplectic leaves in spaces with non-Lie permutation relations. A method for constructing irreducible…
We obtain a condensed reconstruction of algebraic quantum theory, emphasizing its foundational aspects and algebraic structure. We obtain the $W^*$-algebra structure from elementary assumptions about observers and how they can observe…
We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…
We prove decidability of univariate real algebra extended with predicates for rational and integer powers, i.e., $(x^n \in \mathbb{Q})$ and $(x^n \in \mathbb{Z})$. Our decision procedure combines computation over real algebraic cells with…
We investigate the applicability of the formalism of quantum mechanics to everyday life. It seems to be directly relevant for situations in which the very act of coming to a conclusion or decision on one issue affects one's confidence about…