Related papers: Canonical kernels versus constructible kernels

We explore the canonical Grothendieck topology and a new homotopical analog. First we discuss some background information, including defining a new 2-category called the Index-Functor Category and a sieve generalization. Then we discuss a…

$C^*$-algebra-valued kernels could pave the way for the next generation of kernel machines. To further our fundamental understanding of learning with $C^*$-algebraic kernels, we propose a new class of positive definite kernels based on the…

We continue our earlier investigation on generalized reproducing kernels, in connection with the complex geometry of $C^*$- algebra representations, by looking at them as the objects of an appropriate category. Thus the correspondence…

It is shown that the property of being bounded below (having closed range) of weighted composition operators on Hardy and Bergman spaces can be tested by their action on a set of simple test functions, including reproducing kernels. The…

Function clones are sets of functions on a fixed domain that are closed under composition and contain the projections. They carry a natural algebraic structure, provided by the laws of composition which hold in them, as well as a natural…

Answering a long standing question, we give an example of a Hilbert module and a nonzero bounded right linear map having a kernel with trivial orthogonal complement. In particular, this kernel is different from its own double orthogonal…

We consider a non-Hermitian matrix orthogonality on a contour in the complex plane. Given a diagonalizable and rational matrix valued weight, we show that the Christoffel--Darboux (CD) kernel, which is built in terms of matrix orthogonal…

Starting from the observation that distinct notions of copying have arisen in different categorical fields (logic and computation, contrasted with quantum mechanics) this paper addresses the question of when, or whether, they may coincide.…

Determinantal point processes are point processes whose correlation functions are given by determinants of matrices. The entries of these matrices are given by one fixed function of two variables, which is called the kernel of the point…

The use of kernel functions is a common technique to extract important features from data sets. A quantum computer can be used to estimate kernel entries as transition amplitudes of unitary circuits. Quantum kernels exist that, subject to…

We present a characterization for a positive definite operator valued kernel to be universal or $C_{0}$-universal, and apply these characterizations to a family of operator valued kernels that are shown to be well behaved. Later, we obtain…

In this paper we study derived categories of nodal singularities. We show that for all nodal singularities there is a categorical resolution whose kernel is generated by a $2$ or $3$-spherical object, depending on the dimension. We apply…

We study the expressive power of kernel methods and the algorithmic feasibility of multiple kernel learning for a special rich class of kernels. Specifically, we define \emph{Euclidean kernels}, a diverse class that includes most, if not…

Given a good $n$-tilting module $T$ over a ring $A$, let $B$ be the endomorphism ring of $T$, it is an open question whether the kernel of the left-derived functor $T\otimes^L_B-$ between the derived module categories of $B$ and $A$ could…

In many instances one has to deal with parametric models. Such models in vector spaces are connected to a linear map. The reproducing kernel Hilbert space and affine- / linear- representations in terms of tensor products are directly…

The use of kernels for nonlinear prediction is widespread in machine learning. They have been popularized in support vector machines and used in kernel ridge regression, amongst others. Kernel methods share three aspects. First, instead of…

This is a survey on reproducing kernel Krein spaces and their interplay with operator valued Hermitian kernels. Existence and uniqueness properties are carefully reviewed. The approach we follow in this survey uses a more abstract but very…

Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Important properties of this framework are investigated, and a…

We investigate two constructive approaches to defining quasi-compact and quasi-separated schemes (qcqs-schemes), namely qcqs-schemes as locally ringed lattices and as functors from rings to sets. We work in Homotopy Type Theory and…

In the present note we discuss two different ring structures on the set of holomorphic discrete series of a causal symmetric space of Cayley type $G/H$ and we suggest a new interpretation of Rankin-Cohen brackets in terms of intertwining…