Related papers: A Simplified and Improved Free-Variable Framework …
The framework developed in the present paper provides a formal ground to generate and study explainable categorizations of sets of entities, based on the epistemic attitudes of individual agents or groups thereof. Based on this framework,…
The necessity of complex numbers in quantum mechanics has long been debated. This paper develops a real Kahler space formulation of quantum mechanics [19], asserting equivalence to the standard complex Hilbert space framework. By mapping…
We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…
The semi-device-independent approach provides a framework for prepare-and-measure quantum protocols using devices whose behavior must not be characterized nor trusted, except for a single assumption on the dimension of the Hilbert space…
We revise the construction of creation/annihilation operators in quantum mechanics based on the representation theory of the Heisenberg and symplectic groups. Besides the standard harmonic oscillator (the elliptic case) we similarly treat…
By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable subset logic. In this note we provide an infinitary strongly…
Motivated by parametric models for which the likelihood is analytically unavailable, numerically unstable, or prohibitively expensive to compute or optimize, we develop a prior- and likelihood-free framework for fully probabilistic…
Motivated by applications in automated verification of higher-order functional programs, we develop a notion of constrained Horn clauses in higher-order logic and a decision problem concerning their satisfiability. We show that, although…
In this work we will advance farther along a line previously developed concerning our proposal of a time interval operator, on finite dimensional spaces. The time interval operator is Hermitian, and its eigenvalues are time values with a…
Position deformation of a Heisenberg algebra and Hilbert space representation of both maximal length and minimal momentum uncertainties may lead to loss of Hermiticity of some operators that generate this algebra. Consequently, the…
We advocate the use of de Bruijn's universal abstraction $\lambda^\infty$ for the quantification of schematic variables in the predicative setting and we present a typed $\lambda$-calculus featuring the quantifier $\lambda^\infty$…
Existing computer algebra packages do not fully support quantum mechanics calculations in Dirac's notation. I present the foundation for building such support: a mathematical system for the symbolic manipulation of expressions used in the…
In this paper, we present the general theory of embedding independence tests on Hilbert spaces that generalizes the concepts of distance covariance, distance multivariance and HSIC. This is done by defining new types of kernel on an $n$…
Positive operator measures (with values in the space of bounded operators on a Hilbert space) and their generalizations, mainly positive sesquilinear form measures, are considered with the aim of providing a framework for their generalized…
The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space $\mathcal{H}$. In terms of the Hilbert lattice $\mathcal{L}$ of closed linear subspaces of $\mathcal{H}$ the notions of state and…
A non-Hermitian operator may serve as the Hamiltonian for a unitary quantum system, if we can modify the Hilbert space of state vectors of the system so that it turns into a Hermitian operator. If this operator is time-dependent, the…
Composition operators with analytic symbols on some reproducing kernel Hilbert spaces of entire functions on a complex Hilbert space are studied. The questions of their boundedness, seminormality and positivity are investigated. It is…
We present a linear functional calculus with both the safety guarantees expressible with linear types and the rich language of combinators and composition provided by functional programming. Unlike previous combinations of linear typing and…
A new symmetric Hamiltonian constraint operator is proposed for loop quantum gravity, which is well defined in the Hilbert space of diffeomorphism invariant states up to non-planar vertices with valence higher than three. It inherits the…
In this paper, a modified formulation of generalized probabilistic theories that will always give rise to the structure of Hilbert space of quantum mechanics, in any finite outcome space, is presented and the guidelines to how to extend…