Related papers: Interpolation and Extrapolation Statements equival…
Uniform interpolation is a strengthening of interpolation that holds for certain propositional logics. The starting point of this chapter is a theorem of A. Pitts, which shows that uniform interpolation holds for intuitionistic…
This paper explores the generalization of the method for extracting Riemann trigonometric B-splines and Riemann kernels of trigonometric interpolation splines of arbitrary order on different grids of stitching and interpolation. It is…
An indefinite generalization of Nudel'man's problem is used in a systematic approach to interpolation theorems for generalized Schur and Nevanlinna functions with interior and boundary data. Besides results on existence criteria for…
Identities involving Mobius function values (u(j),u(k)) are used to generate a Riemann Hypothesis equivalent.
We study in this paper the function approximation error of linear interpolation and extrapolation. Several upper bounds are presented along with the conditions under which they are sharp. All results are under the assumptions that the…
We present the real interpolation with variable exponent and we prove the basic properties in analogy to the classical real interpolation. More precisely, we prove that under some additional conditions, this method can be reduced to the…
In this paper we study two separate problems on interpolation. We first give some new equivalences of Stout's Theorem on necessary and sufficient conditions for a sequence of points to be an interpolating sequence on a finite open Riemann…
Most characterizations of interpolating sequences for Bergman spaces include the condition that the sequence be uniformly discrete in the hyperbolic metric. We show that if the notion of interpolation is suitably generalized, two of these…
We describe a new method of finding interpolants for classical logic using certain refutation system as a starting point. Refutation can be thought of as an alternative approach to the analysis of formal systems: instead of focusing on…
Exact and asymptotic formulae are displayed for the coefficients $\lambda_n$ used in Li's criterion for the Riemann Hypothesis. In particular, we argue that if (and only if) the Hypothesis is true, $\lambda_n \sim n(A \log n +B)$ for $n \to…
This paper extends the known characterization of interpolation and sampling sequences for Bergman spaces to the mixed-norm spaces. The Bergman spaces have conformal invariance properties not shared by the mixed-norm spaces. As a result,…
We define extrapolation as any type of statistical inference on a conditional function (e.g., a conditional expectation or conditional quantile) evaluated outside of the support of the conditioning variable. This type of extrapolation…
The Empirical Interpolation Method (EIM) is a greedy procedure that constructs approximate representations of two-variable functions in separated form. In its classical presentation, the two variables play a non-symmetric role. In this…
A family of congruences interpolating between those of Wilson and Giuga is constructed. Several elementary results are established, in order to present a possible approach to establishing Giuga's conjecture.
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using a prover and a procedure for generating interpolants in the…
This note presents a new equivalence to the Riemann Hypothesis by means of the Salem integral equation.
This article focuses on trigonometric Riemann B-splines and Riemann kernels of trigonometric interpolation splines of arbitrary order; it is shown that trigonometric interpolation splines are a convolution of trigonometric B-splines with…
We prove the Riemann Hypothesis via an analytically regulated surface integral over the critical strip of the Riemann zeta function. The key idea is that the convergence of this normalized integral is equivalent to the condition that all…
We prove the version of interpolation theorem for non-commutative vector-valued fully symmetric spaces associated with fully symmetric Banach function spaces and a von Neumann algebra equipped with a faithful semifinite normal trace.
Some assertions in harmonic analysis on the infinite dimensional torus are stated and their equivalence to Riemann hypothesis is proved.