We explore the connection between Hilbertian metrics and positive definite kernels on the real line. In particular, we look at a well-known characterization of translation invariant Hilbertian metrics on the real line by von Neumann and Schoenberg (1941). Using this result we are able to give an alternate proof of Bochner’s theorem for translation invariant positive definite kernels on the real...

We investigate the problem of defining Hilbertian metrics resp. positive definite kernels on probability measures, continuing the work in [5]. This type of kernels has shown very good results in text classification and has a wide range of possible applications. In this paper we extend the two-parameter family of Hilbertian metrics of Topsøe such that it now includes all commonly used Hilbertian...

We prove in HOL that three proof systems for classical rst-order predicate logic, the Hilbertian axiomatization, the system of natural deduction, and a variant of sequent calculus, are isomorphic. The isomorphism is in the sense that provability of a conclusion from hypotheses in one of these proof systems is equivalent to provability of this conclusion from the same hypotheses in the others. P...

We propose a stochastic finite element method for nonlinear mechanical systems whose uncertain parameters can be modeled as random variables. This method is based on a Gaussian standardization of the problem and on an Hilbertian approximation of the nonlinear mechanical function using Hermite polynomials. The coefficients of the approximation are obtained using a cubic B-spline interpolation of...

Commutative Hilbertian Frobenius algebras are those commutative semigroup objects in the monoidal category of Hilbert spaces, for which adjoint multiplication satisfies compatibility relation, that is, this “comultiplication” is a bimodule map. In note we show relation forces operators to be normal. We then prove these have strong Wedderburn decomposition where (ortho)complement Jacobson radica...

Fix an integer n = 3. We show that the alternating group An appears as Galois group over any Hilbertian field of characteristic different from 2. In characteristic 2, we prove the same when n is odd. We show that any quadratic extension of Hilbertian fields of characteristic different from 2 can be embedded in an Sn–extension (i.e. a Galois extension with the symmetric group Sn as Galois group)...