Related papers: An implicit function theorem for sprays and applic…

In this paper we consider the approximation of functions by radial basis function interpolants. There is a plethora of results about the asymptotic behaviour of the error between appropriately smooth functions and their interpolants, as the…

In this paper, we present some implicit function theorems for set-valued mappings between Fr\'echet spaces. The proof relies on Lebesgue's Dominated Convergence Theorem and on Ekeland's variational principle. An application to the existence…

Craig's Interpolation theorem has a wide range of applications, from mathematical logic to computer science. Proof-theoretic techniques for establishing interpolation usually follow a method first introduced by Maehara for the Sequent…

Notions of asimulation and k-asimulation introduced in [Olkhovikov, 2011] are extended onto the level of predicate logic. We then prove that a first-order formula is equivalent to a standard translation of an intuitionistic predicate…

The Hermite-Birkhoff interpolation problem of a function given on arbitrarily distributed points on the sphere and other manifolds is considered. Each proposed interpolant is expressed as a linear combination of basis functions, the…

Given a compact set $S$ and a uniformly discrete sequence $\La$, we show that "approximate interpolation" of delta--functions on $\La$ by a bounded sequence of $L^2-$functions with spectra in $S$ implies an estimate on measure of $S$…

Using results from theory of operators on a Hilbert space, we prove approximation results for matrix-valued holomorphic functions on the unit disc and the unit bidisc. The essential tools are the theory of unitary dilation of a contraction…

We give an elementary proof of a version of the implicit function theorem over Henselian valued fields $K$. It yields a density property for such fields (introduced in a joint paper with J. Koll{\'a}r), which is indispensable for ensuring…

This letter presents an almost sure convergence of the zeroth-order mirror descent algorithm. The algorithm admits non-smooth convex functions and a biased oracle which only provides noisy function value at any desired point. We approximate…

In this paper we show that Mergelyan's theorem holds for maps from open Riemann surfaces to Oka manifolds. This is used to prove the analogue of Arakelian's theorem on uniform approximation of holomorphic maps from closed subsets of the…

Craig's interpolation theorem (Craig 1957) is an important theorem known for propositional logic and first-order logic. It says that if a logical formula $\beta$ logically follows from a formula $\alpha$, then there is a formula $\gamma$,…

We prove a concordance version of the 4-dimensional light bulb theorem for $\pi_1$-negligible compact orientable surfaces, where there is a framed but not necessarily embedded dual sphere. That is, we show that if $F_0$ and $F_1$ are such…

The classical Okamura-Seymour theorem states that for an edge-capacitated, multi-commodity flow instance in which all terminals lie on a single face of a planar graph, there exists a feasible concurrent flow if and only if the cut…

Using the Quantum Spectral Curve approach we compute exactly an observable (called slope function) in the planar ABJM theory in terms of an unknown interpolating function h(\lambda) which plays the role of the coupling in any integrability…

The equivariant coarse Novikov conjecture provides an algorithm for determining nonvanishing of equivariant higher index of elliptic differential operators on noncompact manifolds. In this article, we prove the equivariant coarse Novikov…

The direct and inverse theorems are established for the best approximation in the weighted $L^p$ space on the unit sphere of $\RR^{d+1}$, in which the weight functions are invariant under finite reflection groups. The theorems are stated…

We prove an implicit function theorem for non-commutative functions. We use this to show that if $p(X,Y)$ is a generic non-commuting polynomial in two variables, and $X$ is a generic matrix, then all solutions $Y$ of $p(X,Y)=0$ will commute…

This work is a direct continuation of the authors work arXiv:0812.3779v1. A special case of conservative overdetermined time invariant 2D systems is developed and studied. Defining transfer function of such a systems we obtain a class CI of…

Uniform interpolation is the property that, for any formula and set of atoms, there exists the strongest consequence omitting those atoms. It plays a central role in knowledge representation and reasoning tasks such as knowledge update and…

A sufficient condition for existence of a solution of a differential inclusion with a uniformly bounded right-hand side that has nonempty closed (possibly nonconvex) values is obtained. An Olech-type result is obtained as a corollary. An…