Related papers: Stafney's lemma holds for several "classical" inte…

We prove that every separable Banach space containing $\ell_1$ can be equivalently renormed so that its bidual space is octahedral, which answers, in the separable case, a question by Godefroy in 1989. As a direct consequence, we obtain…

We consider fermionic polar molecules in a bilayer geometry where they are oriented perpendicularly to the layers, which permits both low inelastic losses and superfluid pairing. The dipole-dipole interaction between molecules of different…

We present an alternative technique for evaluating multiloop Feynman diagrams, using the integration by fractional expansion method. Here we consider generic diagrams that contain propagators with radiative corrections which topologically…

We prove that under very mild conditions for any interpolation formula $f(x) = \sum_{\lambda\in \Lambda} f(\lambda)a_\lambda(x) + \sum_{\mu\in M} \hat{f}(\mu)b_{\mu}(x)$ we have a lower bound for the counting functions $n_\Lambda(R_1) +…

We consider ill-posed linear operator equations with operators acting between Banach spaces. For solution approximation, the methods of choice here are projection methods onto finite dimensional subspaces, thus extending existing results…

We use the Aron-Berner extension to prove that the set of extreme points of the unit ball of the space of integral polynomials over a real Banach space $X$ is $\{\pm \phi^k: \phi \in X^*, \| \phi\|=1\}$. With this description we show that,…

In this work, we introduce a method based on piecewise polynomial interpolation to enclose rigorously solutions of nonlinear ODEs. Using a technique which we call a priori bootstrap, we transform the problem of solving the ODE into one of…

Interpolation-based techniques have become popularized in recent years because of their inherently modular and local reasoning, which can scale up existing formal verification techniques like theorem proving, model-checking, abstraction…

We prove a Hopf bifurcation theorem in general Banach spaces, which improves a classical result by Crandall and Rabinowitz. Actually, our theorem does not need any compactness conditions, which leads to wider applications. In particular,…

We discuss relations between uniform minimality, unconditionality and interpolation for families of reproducing kernels in backward shift invariant subspaces. This class of spaces contains as prominent examples the Paley-Wiener spaces for…

In this paper, we show that the monomial basis is generally as good as a well-conditioned polynomial basis for interpolation, provided that the condition number of the Vandermonde matrix is smaller than the reciprocal of machine epsilon.…

In 1989, G. Godefroy proved that a Banach space contains an isomorphic copy of $\ell_1$ if and only if it can be equivalently renormed to be octahedral. It is known that octahedral norms can be characterized by means of covering the unit…

Problems involving approximation from scattered data where data is arranged quasi-uniformly have been treated by RBF methods for decades. Treating data with spatially varying density has not been investigated with the same intensity, and is…

We consider the Calder\'on-Lozanovskii construction $\varphi(X_0,X_1)$ in the context of quasi-Banach lattices and provide an extension of a result by V. I. Ovchinnikov concerning the associated interpolation methods $\varphi^c$ and…

Equivalence between algebraic equations of motion may be detected by using a $p$-adic method, methods using factorization and linear algebra, or by systematic computer search of suitable Tschirnhausen transformations. Here, we show standard…

We study the reflexivity and strong subdifferentiability within the framework of group invariant mappings. We show that a Banach space is G-reflexive if the norm of its dual is G-strong subdifferentiable. To do this, we extend numerous…

Let $K$ be a field and $P=K[x_1,\dots,x_n]$. The technique of elimination by substitution is based on discovering a coherently $Z=(z_1,\dots,z_s)$-separating tuple of polynomials $(f_1,\dots,f_s)$ in an ideal $I$, i.e., on finding…

We study the convergence of the Laurent polynomials of Lagrange interpolation on the unit circle for continuous functions satisfying a condition about their modulus of continuity. The novelty of the result is that now the nodal systems are…

High-dimensional Lagrange interpolation plays a pivotal role in finite element methods, where ensuring the unisolvence and symmetry of its interpolation space and nodes set is crucial. In this paper, we leverage group action and group…

The problem of interpolation at $(n+1)^2$ points on the unit sphere $\mathbb{S}^2$ by spherical polynomials of degree at most $n$ is proved to have a unique solution for several sets of points. The points are located on a number of circles…