Related papers: Fatou's interpolation theorem implies the Rudin-Ca…
Using factorisation and Arov-Krein inequality results, we derive important inequalities (in terms of $S$-nodes) in interpolation problems.
We provide a simple proof for the union-closed sets conjecture, a long-standing open problem in set theory with immediate applications to graph theory, number theory, and order-theory.
We provide a complete proof of a duality theorem for the fppf cohomology of either a curve over a finite field or a ring of integers of a number field, which extends the classical Artin-Verdier Theorem in \'etale cohomology. We also prove…
Given a convergent sequence of nodes we present a one-dimensional-holomorphic-function version of the Newton interpolation method of polynomials. It also generalises the Taylor and the Laurent formula. In other words, we present an…
We formalise and mechanise a construtive, proof theoretic proof of Craig's Interpolation Theorem in Isabelle/HOL. We give all the definitions and lemma statements both formally and informally. We also transcribe informally the formal…
The Figiel-Lindenstrauss-Milman inequality is a fundamental inequality in the combinatorial theory of polytopes. It is classically obtained as a corollary of Milman's version of Dvoretzky's theorem. The goal of this paper is to provide a…
The natural kinship between classical theories of interpolation and approximation is well explored. In contrast to this, the interrelation between interpolation and approximation is subtle and this duality is relatively obscure in the…
We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path…
Reinhardt's conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite…
Inspired by Aldous' conjecture for the spectral gap of the interchange process and its recent resolution by Caputo, Liggett and Richthammer, we define an associated order on the irreducible representations of S_n. Aldous' conjecture is…
This is the fourth of a series of papers surveying some small part of the remarkable work of our friend and colleague Nigel Kalton. We have written it as part of a tribute to his memory. It contains almost no new results. This time we…
The main result of this paper states that for a given countable system of data, there exists a countable iterated function system consisting of Rakotch contractions, such that its attractor is the graph of a fractal interpolation function…
In this article we explain the essence of the interrelation described in [PNAS 118, 15 (2021)] on how to write explicit interpolation formula for solutions of the Klein-Gordon equation by using the recent Fourier pair interpolation formula…
This paper combines the post-Minkowskian expansion of general relativity with the language of intersection theory. Because of the nature of the soft limit inherent to the post-Minkowskian expansion, the intersection-based approach is of…
This is a survey on propositional proof complexity aimed at introducing the basics of the field with a particular focus on a method known as feasible interpolation. This method is used to construct "hard theorems" for several proof systems…
Using different Lubin-Tate groups, we compare $(\phi, \Gamma)$ modules associated to a Galois representation via Fontaine's theory.
The aim of this short note is to show how can be derived from the properties of fundamental interpolation polynomials some nice identities.
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…
Standard interpolation techniques are implicitly based on the assumption that the signal lies on a homogeneous domain. In this letter, the proposed interpolation method instead exploits prior information about domain inhomogeneity,…
In 1991, Rousseau gave a new proof of Gauss's quadratic reciprocity by comparing two distinct coset representations of the group $(\mathbb{Z}_{p}^{*} \times \mathbb{Z}_{q}^{*}) / U$ using the Chinese Remainder Theorem, without Gauss's…