Related papers: A simple proof of necessity in the McCullough-Quig…

We give a new treatment of Quiggin's and McCullough's characterization of complete Nevanlinna-Pick kernels. We show that a kernel has the matrix-valued Nevanlinna-Pick property if and only if it has the vector-valued Nevanlinna-Pick…

An abstract Pick interpolation theorem for a family of positive semi-definite kernels on a set $X$ is formulated. The result complements those in \cite{Ag} and \cite{AMbook} and will subsequently be applied to Pick interpolation on…

Let $(\mathcal{H}_k, \mathcal{H}_{\ell})$ be a pair of Hilbert function spaces with kernels $k, \ell$. In a 2005 paper, Shimorin showed that a certain factorization condition on $(k, \ell)$ yields a commutant lifting theorem for multipliers…

In this note we exhibit a very simple proof of McNaughton Theorem, almost right out of the definitions, and at the same time we observe that this theorem does not depend of Chang's completeness theorem.

We add another brick to the large building comprising proofs of Pick's theorem. Although our proof is not the most elementary, it is short and reveals a connection between Pick's theorem and the pointwise convergence of multiple Fourier…

We study the total positivity of the kernel $1/(x^2 + 2 \cos(\pi\a)xy +y^2).$ The case of infinite order is characterized by an application of Schoenberg's theorem. We then give necessary conditions for the cases of any given finite order…

In this paper, we give a new approach to the theory of strictly positive kernels. Our method is based on the structure of Fock spaces. As its applications, various examples of strictly positive kernels are given. Moreover, we give a new…

Let $\Omega$ be a Cartan domain and $K = \sum_{\underline s}a_{\underline s}K_{\underline s}$ be a $\mathbb K$-invariant kernel on $\Omega$. In this article, we first obtain a necessary condition on $K$ to have the complete Nevanlinna-Pick…

Models like support vector machines or Gaussian process regression often require positive semi-definite kernels. These kernels may be based on distance functions. While definiteness is proven for common distances and kernels, a proof for a…

We study a well-known technique of using absoluteness for giving choice-free proofs to some statements which are known to be provable with the axiom of choice. The idea is to reduce the problem to an inner model where the axiom of choice…

A certain kernel (sometimes called the Pick kernel) associated to Schur functions on the disk is always positive semi-definite. A generalization of this fact is well-known for Schur functions on the polydisk. In this article, we show that…

We present an adequacy theorem for a concurrent extension of probabilistic GCL. The underlying denotational semantics is based on the so-called mixed powerdomains, which combine non-determinism with probabilistic behaviour. The theorem…

Let $G$ be a finite group, $N$ a normal subgroup of $G$, and $k$ a field of characteristic $p>0$. In this paper, we formulate the brick version of Clifford's theorem under suitable assumptions and prove it by using the theory of wide…

We use the kernel category to give a finiteness condition for semigroups. As a consequence we provide yet another proof that finitely generated periodic semigroups of matrices are finite.

We propose a subconjecture that implies the semiampleness conjecture for quasi-numerically positive log canonical divisors and prove the semiampleness in some elementary cases.

The paper studies strictly positive definite kernels on compact Riemannian manifolds. We state new conditions to ensure strict positive definiteness for general kernels and kernels with certain convolutional structure. We also state…

We provide an alternative, simpler proof of the existence of thick triangulations for noncompact $\mathcal{C}^1$ manifolds. Moreover, this proof is simpler than the original one given in \cite{pe}, since it mainly uses tools of elementary…

Wedderburn's theorem on the structure of finite dimensional semisimple algebras is proved by using minimal prerequisites.

A problem of completing a linear map on C*-algebras to a completely positive map is analyzed. It is shown that whenever such a completion is feasible there exists a unique minimal completion. This theorem is used to show that under some…

For any semiring, the concept of k-congruences is introduced, criteria for k-congruences are established, it is proved that there is an inclusion-preserving bijection between k-congruences and k-ideals, and an equivalent condition for the…