Related papers: Formal Verification using Second-Quantized Horn Cl…
To study the dynamical behaviour of the engineering and physical systems, we often need to capture their continuous behaviour, which is modeled using differential equations, and perform the frequency-domain analysis of these systems.…
Second-order Boolean logic is a generalization of QBF, whose constant alternation fragments are known to be complete for the levels of the exponential time hierarchy. We consider two types of restriction of this logic: 1) restrictions to…
We study continuous variable systems, in which quantum and classical degrees of freedom are combined and treated on the same footing. Thus all systems, including the inputs or outputs to a channel, may be quantum-classical hybrids. This…
'Tis said, to know others is to be learned, to know oneself, wise - I demonstrate that it could be more fundamental than knowing the rest of nature, by applying classical computational principles and engineering hindsight to derive and…
The usual conjectures of quantum measurements approaches, inspired from the traditional interpretation of Heisenberg's ("uncertainty") relations, are proved as being incorrect. A group of reconsidered conjectures and a corresponding new…
Quantitative algebras (QAs) are algebras over metric spaces defined by quantitative equational theories as introduced by the same authors in a related paper presented at LICS 2016. These algebras provide the mathematical foundation for…
Contents 1. Creation and annihilation operators for the system of indistinguishable particles 1.1 The permutation group and the states of a system of indistinguishable particles 1.2 Dimension of the Hilbert space of a system of…
In this work, we show that the quantum mechanical notions of density operator, positive operator-valued measure (POVM), and the Born rule, are all simultaneously encoded in the categorical notion of a natural transformation of functors. In…
The presence of contextuality in quantum theory was first highlighted by Bell, Kochen and Specker, who discovered that for quantum systems of three or more dimensions, measurements cannot be viewed as revealing pre-existing properties of…
Quantum Mechanics and Signal Processing in the line R, are strictly related to Fourier Transform and Weyl-Heisenberg algebra. We discuss here the addition of a new discrete variable that measures the degree of the Hermite functions and…
We propose to study proof search from a coinductive point of view. In this paper, we consider intuitionistic logic and a focused system based on Herbelin's LJT for the implicational fragment. We introduce a variant of lambda calculus with…
Canonical variables for the Poisson algebra of quantum moments are introduced here, expressing semiclassical quantum mechanics as a canonical dynamical system that extends the classical phase space. New realizations for up to fourth order…
The Moyal--Weyl description of quantum mechanics provides a comprehensive phase space representation of dynamics. The Weyl symbol image of the Heisenberg picture evolution operator is regular in $\hbar$. Its semiclassical expansion…
The formalism of classical and quantum mechanics on phase space leads to symplectic and Heisenberg group representations, respectively. The Wigner functions give a representation of the quantum system using classical variables. The…
We implement the so-called Weyl-Heisenberg covariant integral quantization in the case of a classical system constrained by a bounded or semi-bounded geometry. The procedure, which is free of the ordering problem of operators, is…
Within a unified framework, we reveal that the seemingly disparate control approaches for classical and quantum continuous-variable systems are interconnected via differential manifolds of the ancillary representations. For classical…
The nature of the classical canonical phase-space variables for gravity suggests that the associated quantum field operators should obey affine commutation relations rather than canonical commutation relations. Prior to the introduction of…
Classical model of light in helicity formalism is presented. Then quantum point of view at photons -- construction and interpretation of photon wave function is proposed. Quantum mechanics of photon is investigated. The Bia\l ynicki --…
We study the logic obtained by endowing the language of first-order arithmetic with second-order measure quantifiers. This new kind of quantification allows us to express that the argument formula is true in a certain portion of all…
Statistical functions such as the moment-generating function, characteristic function, cumulant-generating function, and second characteristic function are cornerstone tools in classical statistics and probability theory. They provide a…