Related papers: Finiteness Principles for Smooth Selection

The main result states that every convex set-valued function defined on a real interval with compact values in a locally convex space, admits an affine selection. In the case if the target space is a real line and the values are closed real…

In this paper we consider finite dimensional dynamical systems generated by a Lipschitz function. We prove a version of the Whitney's Extension Theorem on compact manifolds to obtain a version of the well-known Lambda Lemma for Lipschitz…

We prove Zimmer's conjecture for $C^2$ actions by finite-index subgroups of $\mathrm{SL}(m,\mathbb{Z})$ provided $m>3$. The method utilizes many ingredients from our earlier proof of the conjecture for actions by cocompact lattices in…

In the setting of horizontal curves in the Heisenberg group, we prove a $C^{m,\omega}$ finiteness principle, a $C^{m,\omega}$ Lusin approximation result, a $C^{\infty}$ Whitney extension result, and a $C^{\infty}$ Lusin approximation…

We consider the problem of reconstructing a function given its values on a set of points with finite density. We prove that with probability one, the values of an almost periodic function on a random array of points (with finite density)…

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…

Consider the sub-Riemannian Heisenberg group $\mathbb{H}$. In this paper, we answer the following question: given a compact set $K \subseteq \mathbb{R}$ and a continuous map $f:K \to \mathbb{H}$, when is there a horizontal $C^m$ curve…

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…

We show that for every Lipschitz function $f$ defined on a separable Riemannian manifold $M$ (possibly of infinite dimension), for every continuous $\epsilon:M\to (0,+\infty)$, and for every positive number $r>0$, there exists a $C^\infty$…

In this announcement we consider the following problem. Let $n,m\geq 1$, $U\subset\mathbb R^n$ open. In this paper we provide a sharp solution to the following Whitney distortion extension problems: (a) Let $\phi:U\to \mathbb R^n$ be a…

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…

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$.

In this paper we prove an infinite-dimensional version of Sard's theorem for Fr\'{e}chet manifolds. Let $ M $ and $ N $ be bounded Fr\'{e}chet manifolds such that the topologies of their model Fr\'{e}chet spaces are defined by metrics with…

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 present a fixed point theorem for a class of (potentially) non-monotonic functions over specially structured complete lattices. The theorem has as a special case the Knaster-Tarski fixed point theorem when restricted to the case of…

The path to the solution of Feder-Vardi dichotomy conjecture by Bulatov and Zhuk led through showing that more and more general algebraic conditions imply polynomial-time algorithms for the finite-domain Constraint Satisfaction Problems…

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…

Fix any $\lambda\in\mathbb{C}$. We say that a set $S\subseteq\mathbb{C}$ is $\lambda$-$convex$ if, whenever $a$ and $b$ are in $S$, the point $(1-\lambda)a+\lambda b$ is also in $S$. If $S$ is also (topologically) closed, then we say that…

In this work, the notions of normal cones at infinity to unbounded sets and limiting and singular subdifferentials at infinity for extended real value functions are introduced. Various calculus rules for these notions objects are…

This article is devoted to the generalization of results obtained in 2002 by Jabin, Otto and Perthame. In their article they proved that planar vector fields taking value into the unit sphere of the euclidean norm and satisfying a given…