Related papers: Smooth Selection for Infinite Sets

It is shown that certain lower semi-continuous maps from a paracompact space to the family of closed subsets of the bundle space of a Banach bundle admit continuous selections. This generalization of the theorem of Douady, dal…

We study smoothness of densities for the solutions of SDEs whose coefficients are smooth and nondegenerate only on an open domain $D$. We prove that a smooth density exists on $D$ and give upper bounds for this density. Under some…

Let $X=C[0,1]$, and $Y$ be an arbitrary Banach space. Consider a collection of open segments $\{V_i \}\subset X$. Suppose the map $f: \cup_i V_i \to Y$ has $q$ bounded Fr\'echet derivatives ($q=0,1,...,\infty$), and $f$ and all its…

We continue to investigate cases when the Repov\v{s}-Semenov splitting problem for selections has an affirmative solution for continuous set-valued mappings. We consider the situation in infinite-dimensional uniformly convex Banach spaces.…

Let $k$ be a number field and let $\pi \colon X \rightarrow\mathbb{P}_k^1$ be a smooth conic bundle. We show that if $X/k$ has four geometric singular fibers and either $X(\mathbb{A}_k)\neq \emptyset$ or $X/k$ has non-trivial Brauer group,…

Subset selection for matrices is the task of extracting a column sub-matrix from a given matrix $B\in\mathbb{R}^{n\times m}$ with $m>n$ such that the pseudoinverse of the sampled matrix has as small Frobenius or spectral norm as possible.…

Schaefer's dichotomy theorem [Schaefer, STOC'78] states that a boolean constraint satisfaction problem (CSP) is polynomial-time solvable if one of six given conditions holds for every type of constraint allowed in its instances. Otherwise,…

An affine variety $X$ of dimension $\ge 2$ is called {\em flexible} if its special automorphism group SAut$(X)$ acts transitively on the smooth locus $X_{reg}$ \cite{AKZ}. Recall that the special automorphism group SAut$(X)$ is the subgroup…

Ever since the proof of asymptotic normality of maximum likelihood estimator by Cramer (1946), it has been understood that a basic technique of the Taylor series expansion suffices for asymptotics of $M$-estimators with…

We prove that, under the H\"ormander criterion on an It\^{o} process, all its martingale observables are smooth. As a consequence, we also obtain a generalized Feynman-Kac formula providing smooth solutions to certain PDE boundary-value…

Let X be a Noetherian space, let f be a continuous self-map on X, let Y be a closed subset of X, and let x be a point on X. We show that the set S consisting of all nonnegative integers n such that f^n(x) is in Y is a union of at most…

We develop a theory of Finite Element Systems, for the purpose of discretizing sections of vector bundles, in particular those arizing in the theory of elasticity. In the presence of curvature we prove a discrete Bianchi identity. In the…

We define a certain finite set in set theory $\{x\mid\varphi(x)\}$ and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set-theoretic universe and it can become successively any…

We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important…

We give new sufficient conditions for the integrability and unique integrability of continuous tangent sub-bundles on manifolds of arbitrary dimension, generalizing Frobenius' classical Theorem for C^1 sub-bundles. Using these conditions we…

We show that if f: X --> Y is a finite, separable morphism of smooth curves defined over a finite field F_q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(F_q) surjectively…

In this paper we provide efficient algorithms for approximate $\mathcal{C}^m(\mathbb{R}^n, \mathbb{R}^D)-$selection. In particular, given a set $E$, constants $M_0 > 0$ and $0 <\tau \leq \tau_{\max}$, and convex sets $K(x) \subset…

We develop a theory of stable bundles and affine Hermitian-Einstein metrics for flat vector bundles over a special affine manifold (a manifold admitting an atlas whose gluing maps are all locally constant volume-preserving affine maps). Our…

Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this…

Nirenberg and Spencer posed the question whether the germ of a compact complex submanifold in a complex manifold is determined by its infinitesimal neighborhood of finite order when the normal bundle is sufficiently positive. To study the…