Results 11 to 20 of about 2,376,562 (166)
A Perspective on Interactive Theorem Provers in Physics. [PDF]
Adv Sci (Weinh)Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Tooby-Smith J.
europepmc +2 more sources
Quantum Register Algebra: the mathematical language for quantum computing
Quantum Information Processing, 2023 11 ...
Jaroslav Hrdina +7 more
openaire +3 more sources
Sesquilinear quantum stochastic analysis in Banach space [PDF]
, 2014 A theory of quantum stochastic processes in Banach space is initiated. The processes considered here consist of Banach space valued sesquilinear maps.
Lindsay, Martin +2 more
core +4 more sources
Algebraic quantum codes: linking quantum mechanics and discrete mathematics [PDF]
International Journal of Computer Mathematics: Computer Systems Theory, 2020 19 pages; written for both mathematicians and ...
openaire +2 more sources
Quantum stochastic convolution cocycles II [PDF]
, 2008 Schurmann's theory of quantum Levy processes, and more generally the theory of quantum stochastic convolution cocycles, is extended to the topological context of compact quantum groups and operator space coalgebras.
Skalski, Adam G., Lindsay, J. Martin
core +3 more sources
Quantum cluster algebra structures on quantum Grassmannians and their quantum Schubert cells : the finite-type cases [PDF]
, 2010 We exhibit quantum cluster algebra structures on quantum Grassmannians and their quantum Schubert cells, as well as on , and . These cases are precisely those where the quantum cluster algebra is of finite type, and the structures we describe quantize ...
Launois, Stéphane +3 more
core +1 more source
Quantum stochastic operator cocycles via associated semigroups. [PDF]
, 2007 A recent characterisation of Fock-adapted contraction operator stochastic cocycles on a Hilbert space, in terms of their associated semigroups, yields a general principle for the construction of such cocycles by approximation of their stochastic ...
Wills, S. J., Lindsay, J. Martin
core +3 more sources
On Lie induction and the exceptional series [PDF]
, 2005 Lie bialgebras occur as the principal objects in the infinitesimalization of the theory of quantum groups — the semi-classical theory. Their relationship with the quantum theory has made available some new tools that we can apply to classical questions ...
Grabowski, Jan
core +3 more sources
Hypercomplex Algebras and their application to the mathematical formulation of Quantum Theory
, 2014 Quantum theory (QT), namely in terms of Schrödinger's 1926 wave functions in general requires complex numbers to be formulated. However, it soon turned out to even require some hypercomplex algebra. Incorporating Special Relativity leads to an equation (Dirac 1928) requiring pairwise anti-commuting coefficients, usually $4\times 4$ matrices.
Hertig, Torsten +2 more
openaire +2 more sources
Some self-adjoint quantum semimartingales [PDF]
, 2006 It is proved that the quantum stochastic gauge integral preserves self-adjointness of vacuum-adapted processes. This fact, together with bounded perturbations and the link between the Hudson–Parthasarathy calculus and vacuum-adapted theory, is used to ...
Belton, Alexander C. R.
core +3 more sources