Related papers: Continuous Craig Interpolation
The CR analogue of B.-Y. Chen's conjecture on pseudo biharmonic maps will be shown. Pseudo biharmonic, but not pseudo harmonic, isometric immersions with parallel pseudo mean curvature vector fields, will be characterized. Several examples…
The purpose of this paper is to show that the Rudin-Carleson interpolation theorem is a direct corollary of Fatou's much older interpolation theorem (of 1906).
We will present a new proof of the Gromoll-Grove diameter rigidity theorem.
Inspired by the concept of hyperconvexity and its relation to curvature, we translate geometric properties of a metric space encoded by the curvature inequalities into the persistent homology induced by the \v{C}ech filtration of that…
A nonlinear scalar field theory from which an effective metric can be deduced is considered. This metric is shown to be compatible with requirements of general relativity. It is demonstrated that there is a class of solutions which fulfill…
We introduce a new type of mappings in metric space which are three-point analogue of the well-known Chatterjea type mappings, and call them generalized Chatterjea type mappings. It is shown that such mappings can be discontinuous as is the…
A general theory of rigid completely integrable analytic partial differential equations is endeavoured. The tube over the light cone in C^3 is shown to be the unique model (up to biholomorphisms) having CR automorphism group of maximal…
The ultraproduct construction is generalized to $p$-ultramean constructions ($1\leqslant p<\infty$) by replacing ultrafilters with finitely additive measures. These constructions correspond to the linear fragments $\mathscr L^p$ of…
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…
We exhibit isomorphisms of Grassmann spaces and their relationship with collineations and embeddings of the underlying projective spaces.
The use of interpolants in model checking is becoming an enabling technology to allow fast and robust verification of hardware and software. The application of encodings based on the theory of arrays, however, is limited by the…
We prove the existence of embedded closed constant curvature curves on convex surfaces.
We prove two characterizations of model equivalence of acyclic graphical continuous Lyapunov models (GCLMs) with uncorrelated noise. The first result shows that two graphs are model equivalent if and only if they have the same skeleton and…
We prove several extensions of the Erdos-Fuchs theorem.
In this paper it is demonstrated that the Kasparov pairing is continuous with respect to the natural topology on the Kasparov groups, so that a KK-equivalence is an isomorphism of topological groups. In addition, we demonstrate that the…
This is an exposition of the theory of differentiable structures on metric measures spaces, in the sense of Cheeger and Keith.
Several inequalities for the isoperimetric ratio for plane curves are derived. In particular, we obtain interpolation inequalities between the deviation of curvature and the isoperimetric ratio. As applications, we study the large-time…
In this paper we introduce the concept of the rectangular metric like spaces, along with its topology and we prove some fixed point theorems under different contraction principles. We introduce the concept of modified metric-like space as…
The aim of this paper is to show that, in the limit circle case, the defect index of a symmetric relation induced by canonical systems, is constant on C. This provides an alternative proof of the De Branges theorem that the canonical…
We prove some interpolation inequalities which arise in the analysis of pattern formation in physics. They are the strong version of some already known estimates in weak form that are used to give a lower bound of the energy in many…