Related papers: Formal Verification using Second-Quantized Horn Cl…
What does it take for real-deterministic c-valued (i.e., classical, commuting) variables to comply with the Heisenberg uncertainty principle? Here, we construct a class of real-deterministic c-valued variables out of the weak values…
In this conceptual paper, we discuss quantum formalisms which do not use the famous Axiom of Choice. We also consider the fundamental problem which addresses the (in)correctness of having the complex numbers as the base field for Hilbert…
Descriptions of classical mechanics in Hilbert space go back to the work of Koopman and von Neumann in the 1930s. Decades later, van Hove derived a unitary representation of the group of contact transformations which recently has been used…
In this talk I discuss a recently developed "Unfolded Quantization Framework". It allows to introduce a Hamiltonian Second Quantization based on a Hopf algebra endowed with a coproduct satisfying, for the Hamiltonian, the physical…
Quantum annealing allows for quantum fluctuations to be used used to assist in finding the solution to some of the worlds most challenging computational problems. Recently, this field has attracted much interest because of the construction…
The problems arising when quantizing systems with periodic boundary conditions are analysed, in an algebraic (group-) quantization scheme, and the ``failure" of the Ehrenfest theorem is clarified in terms of the already defined notion of…
Contextuality is a key signature of quantum non-classicality, which has been shown to play a central role in enabling quantum advantage for a wide range of information-processing and computational tasks. We study the logic of contextuality…
Entanglement is often regarded as an inherently quantum feature. We show that this does not have to be the case: under restricted operational access, classical correlations can appear nonseparable when expressed in the formalism of quantum…
We present a method for automatic inference of conditions on the initial states of a program that guarantee that the safety assertions in the program are not violated. Constrained Horn clauses (CHCs) are used to model the program and…
Generalised quantifiers, which include Henkin's branching quantifiers, have been introduced by Mostowski and Lindstr\"om and developed as a substantial topic application of logic, especially model theory, to linguistics with work by…
We study the Moyal quantization for the constrained system. One of the purposes is to give a proper definition of the Wigner-Weyl(WW) correspondence, which connects the Weyl symbols with the corresponding quantum operators. A Hamiltonian in…
The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…
Hamiltonian simulation is a central application of quantum computing, with significant potential in modeling physical systems and solving complex optimization problems. Existing compilers for such simulations typically focus on low-level…
Recently, we have constructed a non{linear (polynomial) extension of the 1-mode Heisenberg group and the corresponding Fock and Weyl representations. The transition from the 1-mode case to the current algebra level, in which the operators…
We propose that the constants of Nature we observe (which appear as parameters in the classical action) are quantum observables in a kinematical Hilbert space. When all of these observables commute, our proposal differs little from the…
We develop a synthesis of Turing's paradigm of computation and von Neumann's quantum logic to serve as a model for quantum computation with recursion, such that potentially non-terminating computation can take place, as in a quantum Turing…
An introduction to some basic ideas of the author's "quantum cybernetics" is given, which depicts waves and "particles" as mutually dependent system components, thus defining "organizationally closed systems" characterized by a fundamental…
Motivated by questions in quantum theory, we study Hilbert space valued Gaussian processes, and operator-valued kernels, i.e., kernels taking values in B(H) (= all bounded linear operators in a fixed Hilbert space H). We begin with a…
Past years have seen the development of a few proposals for quantum extensions of process calculi. The rationale is clear: with the development of quantum communication protocols, there is a need to abstract and focus on the basic features…
Classical machine learning has succeeded in the prediction of both classical and quantum phases of matter. Notably, kernel methods stand out for their ability to provide interpretable results, relating the learning process with the physical…