Related papers: Finitness Principles for Smooth Selection

We prove a Slice Theorem around closed leaves in a singular Riemannian foliation, and we use it to study the $C^\infty$-algebra of smooth basic functions, generalizing to the inhomogeneous setting a number of results by G.~Schwarz. In…

Let $F$ be a set-valued mapping which to each point $x$ of a metric space $({\mathcal M},\rho)$ assigns a convex closed set $F(x)\subset{\bf R}^2$. We present several constructive criteria for the existence of a Lipschitz selection of $F$,…

In this short paper we show a sufficient condition for the solvability of the Dirichlet problem at infinity in Riemannian cones (as defined below).This condition is related to a celebrated result of Milnor that classifies parabolic…

We study distance functions from geodesics to points on Riemannian surfaces with H\"older continuous Gauss curvature, and prove a finiteness principle in the spirit of Whitney extension theory for such functions. Our result can be viewed as…

We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets of objects. The key question in this area, which has important…

We estimate the selection constant in the following geometric selection theorem by Pach: For every positive integer $d$ there is a constant $c_d > 0$ such that whenever $X_1,..., X_{d+1}$ are $n$-element subsets of $\mathbb{R}^d$, then we…

A version of the fundamental mean-square convergence theorem is proved for stochastic differential equations (SDE) which coefficients are allowed to grow polynomially at infinity and which satisfy a one-sided Lipschitz condition. The…

Regularity theorems \`a la Avellaneda-Lin are an indispensable part of the modern quantitative theory of stochastic homogenization. While interior regularity results for random elliptic operators have been available for a while, on general…

In this paper we formulate and prove a general theorem of stability of exactness properties under the pro-completion, which unifies several such theorems in the literature and gives many more. The theorem depends on a formal approach to…

We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…

In this paper, we present some checkable criteria for the spectral finiteness of a finite subset of the real $d\times d$ matrix space $\mathbb{R}^{d\times d}$, where $2\le d<\infty$.

Our paper is a complement to a recent article by D. Azagra and C. Mudarra (2021). We show how older results on semiconvex functions with modulus $\omega$ easily imply extension theorems for $C^{1,\omega}$-smooth functions on super-reflexive…

We prove various theorems on approximation using polynomials with integer coefficients in the Bernstein basis of any given order. In the extreme, we draw the coefficients from $\{ \pm 1\}$ only. A basic case of our results states that for…

We establish an abstract critical point theorem for locally Lipschitz functionals that does not require any compactness condition of Palais-Smale type. It generalizes and unifies three other critical point theorems established in…

We prove that the roots of a smooth monic polynomial with complex-valued coefficients defined on a bounded Lipschitz domain $\Omega$ in $\mathbb R^m$ admit a parameterization by functions of bounded variation uniformly with respect to the…

We derive a variant of the nonsmooth maximum principle for problems with pure state constraints. The interest of our result resides on the nonsmoothness itself since, when applied to smooth problems, it coincides with known results.…

Composite optimization problems, where the sum of a smooth and a merely lower semicontinuous function has to be minimized, are often tackled numerically by means of proximal gradient methods as soon as the lower semicontinuous part of the…

The classical criterion for compactness in Banach spaces of functions can be reformulated into a simple tightness condition in the time-frequency domain. This description preserves more explicitly the symmetry between time and frequency…

We study a new bi-Lipschitz invariant \lambda(M) of a metric space M; its finiteness means that Lipschitz functions on an arbitrary subset of M can be linearly extended to functions on M whose Lipschitz constants are enlarged by a factor…

We adapt the method of Simon [JDG '93] to prove a $C^{1,\alpha}$-regularity theorem for minimal varifolds which resemble a cone $\bf{C}_0^2$ over an equiangular geodesic net. For varifold classes admitting a "no-hole" condition on the…