Related papers: Nonnegative $C^2(\mathbb{R}^2)$ interpolation
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 present an effective criterion to determine if a normal analytic compactification of C^2 with one irreducible curve at infinity is algebraic or not. As a by product we establish a correspondence between normal algebraic compactifications…
Motivated by the weighted Bounded Negativity Conjecture, we prove that all but finitely many reduced and irreducible curves $C$ on the blow-up of $\mathbb{P}^2$ at $n$ points satisfy the inequality $C^2 \ge \min \{-\frac{1}{12} n (C.L +27),…
We prove that any self-contracted curve in R 2 endowed with a C 2 and strictly convex norm, has finite length. The proof follows from the study of the curve bisector of two points in R 2 for a general norm together with an adaptation of the…
The study of interpolation nodes and their associated Lebesgue constants are central to numerical analysis, impacting the stability and accuracy of polynomial approximations. In this paper, we will explore the Morrow-Patterson points, a set…
Given an integer $g$ and also some given integers $m$ (sufficiently large) and $c_1,\dots, c_m$, we show that the number of all non-negative integers $n\le M$ with the property that there exist non-negative integers $k_1,\dots, k_m$ such…
We present a new, elementary proof of Boyd's interpolation theorem. Our approach naturally yields a noncommutative version of this result and even allows for the interpolation of certain operators on l^1-valued noncommutative symmetric…
We prove that all currently known examples of manifolds with nonnegative sectional curvature satisfy a stronger condition: their curvature operator can be modified with a 4-form to become positive-semidefinite.
Interpolation inequalities for $C^m$ functions allow to bound derivatives of intermediate order $0 < j<m$ by bounds for the derivatives of order $0$ and $m$. We review various interpolation inequalities for $L^p$-norms ($1 \le p \le…
We prove a Boyd-type interpolation result for noncommutative maximal operators of restricted weak type. Our result positively answers an open question posed recently by Bekjan, Chen and Osekowski. As a special case, we find a restricted…
In this short note, we give a sketch of a new proof of the exponential contraction of the Feigenbaum renormalization operator in the hybrid class of the Feigenbaum fixed point. The proof uses the non existence of invariant line fields in…
We provide a way to modify and to extend a previously established inequality by P. Erd\H{o}s, R. Graham and others and to answer a conjecture posed in the nineties by R. Graham, which bears on the lack of divisibility of the central…
Recent research has established complexity results for the problem of deciding the existence of interpolants in logics lacking the Craig Interpolation Property (CIP). The proof techniques developed so far are non-constructive, and no…
Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al.\ that combines real algebraic geometry and…
We study curves of negative self-intersection on algebraic surfaces. We obtain results for smooth complex projective surfaces X on the number of reduced, irreducible curves C of negative self-intersection C^2. The only known examples of…
The minimum-norm interpolator (MNI) framework has recently attracted considerable attention as a tool for understanding generalization in overparameterized models, such as neural networks. In this work, we study the MNI under a $2$-uniform…
We improve an $L^2\times L^2\to L^2$ estimate for a certain bilinear operator in the finite field of size $p$, where $p$ is a prime sufficiently large. Our method carefully picks the variables to apply the Cauchy-Schwarz inequality. As a…
The Chudnovsky and Chudnovsky algorithm for the multiplication in extensions of finite fields provides a bilinear complexity which is uniformly linear whith respect to the degree of the extension. Recently, Randriambololona has generalized…
We study the robust interpolation problem of arbitrary data distributions supported on a bounded space and propose a two-fold law of robustness. Robust interpolation refers to the problem of interpolating $n$ noisy training data points in…
We give a natural extension of the notion of the contragredient module for a vertex operator algebra. By using this extension we prove that for regular vertex operator algebras, Zhu's $C_{2}$-finiteness condition holds, fusion rules are…