Related papers: Test Functions, Kernels, Realizations and Interpol…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

Radial basis functions (RBFs) are prominent examples for reproducing kernels with associated reproducing kernel Hilbert spaces (RKHSs). The convergence theory for the kernel-based interpolation in that space is well understood and optimal…

A convenient technique for proving kernel theorems for (LF)-spaces (countable inductive limits of Frechet spaces)is developed. The proposed approach is based on introducing a suitable modification of the functor of the completed inductive…

We introduce $p$-adic Kummer spaces of continuous functions on $\mathbb{Z}_p$ that satisfy certain Kummer type congruences. We will classify these spaces and show their properties, for instance, ring properties and certain decompositions.…

We prove two results with regard to rational inner functions in the Schur-Agler class of the tridisk. Every rational inner function of degree (n,1,1) is in the Schur-Agler class, and every rational inner function of degree (n,m,1) is in the…

We prove an interpolation result for homogeneous polynomials over the integers, or more generally for PIDs with finite residue fields. Previous proofs of this result use the well-known but nontrivial fact that class groups of rings of…

A map between manifolds induces stratifications of both the source and the target according to the occurring multisingularities. In this paper, we study universal expressions-called higher Thom polynomials-that describe the…

Two different problems are considered here. First, a characterization of sampling sequences for the class of analytic functions from the disc into itself is given. Second, a version of Schwarz-Pick Lemma for $n$ points leads to an…

In this paper, the $mn$-dimensional space of tensor-product polynomials of two variables, of degree at most $(m-1)+(n-1)$, is considered. A theory of two-variate polynomials is developed by establishing the algebra and basic algebraic…

It was recently shown that the theory of linear stochastic systems can be viewed as a particular case of the theory of linear systems on a certain commutative ring of power series in a countable number of variables. In the present work we…

In 2021, J.~Agler and J.~E. McCarthy proposed a two-step programme toward the celebrated Krzy\.z conjecture. The first step is to prove an entropy conjecture for polynomials whose zeros all lie on the unit circle; the second is to establish…

This paper studies the probabilistic function approximation problem over reproducing kernel Hilbert spaces. We show the existence and uniqueness of the optimizer under mild assumptions. Furthermore, we generalize the celebrated representer…

We establish precise relations between Euler systems that are respectively associated to a $p$-adic representation $T$ and to its Kummer dual $T^*(1)$. Upon appropriate specialization of this general result, we are able to deduce the…

It is shown that rational dilation fails on broad collection of distinguished varieties associated to constrained subalgebras of the disk algebra of the form C + B A(D), where B is a finite Blaschke product with two or more zeros. This is…

Motivated by partition regularity problems of homogeneous quadratic equations, we prove multiple recurrence and convergence results for multiplicative measure preserving actions with iterates given by rational sequences involving…

We prove that the homogeneously polyanalytic functions of total order $m$, defined by the system of equations $\overline{D}^{(k_1,\ldots,k_n)} f=0$ with $k_1+\cdots+k_n=m$, can be written as polynomials of total degree $<m$ in variables…

We extend the classical Mercer theorem to reproducing kernel Hilbert spaces whose elements are functions from a measurable space $X$into $\mathbb C^n$. Given a finite measure $\mu$ on $X$, we represent the reproducing kernel $K$ as…

Let $X$ and $M$ be a topological space and metric space, respectively. If $C(X,M)$ denotes the set of all continuous functions from X to M, we say that a subset $Y$ of $X$ is an \emph{$M$-interpolation set} if given any function $g\in M^Y$…

For a simple Lie algebra g we consider an analogue of the affine algebra ^gk with n singularities, defined starting from the ring of functions on the n-pointed disk. We study the center of its completed enveloping algebra and prove an…

We prove a Riemann-Roch theorem of an entirely novel nature for divisors on the Arakelov compactification of the algebraic spectrum of the integers. This result relies on the introduction of three key concepts: the cohomologies (attached to…