Related papers: Pick and Peak Interpolation
Pitts' proof-theoretic technique for uniform interpolation, which generates uniform interpolants from terminating sequent calculi, has only been applied to logics on an intuitionistic basis through single-succedent sequent calculi. We adapt…
The properties of the compactness of interpolation sets of algebras of generalized analytic functions are investigated and convenient sufficient conditions for interpolation are given.
We prove an interpolation theorem for bounded free holomorphic functions.
We characterize simply interpolating sequences (also known as onto interpolating sequences) for complete Pick spaces. We show that a sequence is simply interpolating if and only if it is strongly separated. This answers a question of Agler…
We give necessary and sufficient conditions for solving the spectral Nevanlinna--Pick lifting problem. This reduces the spectral Nevanlinna--Pick problem to a jet interpolation problem into the symmetrized polydisc.
It is very elementary to observe that functions interpolating an extremal two-point Pick problem on the polydisc are just left inverses to complex geodesics. In the present article we show that the same property holds for a three-point Pick…
Uniform interpolation property (UIP) is a strengthening of Craig interpolation property. It can be understood as the definability of propositional quantifiers. This paper develops the sequent calculi provided in Murai and Sano (2020),…
It was once conjectured that if $A$ is a uniform algebra on its maximal ideal space $X$, and if each point of $X$ is a peak point for $A$, then $A = C(X)$. This peak-point conjecture was disproved by Brian Cole in 1968. Here we establish a…
In this paper we obtain a noncommutative multivariable analogue of the classical Nevanlinna-Pick interpolation problem for analytic functions with positive real parts on the open unit disc. As consequences, we deduce some results concerning…
We introduce Craig interpolation and related notions such as uniform interpolation, Beth definability, and theory decomposition in classical propositional logic. We present four approaches to computing interpolants: via quantifier…
Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the finitely presented algebras of the variety. It is also shown,…
Application of the intersection theory to construction of n-point finite-difference equations associated with classical integrable systems is discussed. As an example, we present a few new discretizations of motion of the Euler top sharing…
The fundamental theorem on commutant lifting due to Sarason does not carry over to the setting of the polydisc. This paper presents two classifications of commutant lifting in several variables. The first classification links the lifting…
This chapter presents a state-of-the-art survey of relationships, traditionally referred to as `bridges', between interpolation properties for propositional logics -- including superintuitionistic, modal, and substructural logics -- and…
We find sufficient conditions for a discrete sequence to be interpolating or sampling for certain generalized Bergman spaces on open Riemann surfaces. As in previous work of Bendtsson, Ortega-Cerda, Seip, Wallsten and others, our conditions…
Starting with univariate polynomial interpolation we arrive to a natural generalization of fundamental theorem of algebra for certain systems of multivariate algebraic equations.
We consider the closed algebra $\mathcal{A}_d$ generated by the polynomial multipliers on the Drury-Arveson space. We identify $\mathcal{A}_d^*$ as a direct sum of the preduals of the full multiplier algebra and of a commutative von Neumann…
A lemma of Micchelli's, concerning radial polynomials and weighted sums of point evaluations, is shown to hold for arbitrary linear functionals, as is Schaback's more recent extension of this lemma and Schaback's result concerning…
We give a new characterization of the peak subalgebra of the algebra of quasisymmetric functions and use this to construct a new basis for this subalgebra. As an application of these results we obtain a combinatorial formula for the…
In contrast to the univariate case, interpolation with polynomials of a given maximal total degree is not always possible even if the number of interpolation points and the space dimension coincide. Due to that, numerous constructions for…