Related papers: An implicit function theorem for non-smooth maps b…

Information transfer between triangle meshes is of great importance in computer graphics and geometry processing. To facilitate this process, a smooth and accurate map is typically required between the two meshes. While such maps can…

We present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smooth topology. Finally, we prove a definable version of a…

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 prove the Ingram Conjecture, i.e., we show that the inverse limit spaces of every two tent maps with different slopes in the interval [1, 2] are non-homeomorphic. Based on the structure obtained from the proof, we also show that every…

Noether's theorem, which connects continuous symmetries to exact conservation laws, remains one of the most fundamental principles in physics and dynamical systems. In this work, we draw a conceptual parallel between two paradigms: the…

The Implicit and Inverse Function Theorems are special cases of a general Implicit/Inverse Function Theorem which can be easily derived from either theorem. The theorems can thus be easily deduced from each other via the generalized…

In this paper, we consider inverse shape problems coming from diffuse optical tomography and inverse scattering. In both problems, our goal is to reconstruct small volume interior regions from measured data on the exterior surface of an…

Generalized smooth functions are a possible formalization of the original historical approach followed by Cauchy, Poisson, Kirchhoff, Helmholtz, Kelvin, Heaviside, and Dirac to deal with generalized functions. They are set-theoretical…

An implicit operation of a class of similar algebras $\mathsf{K}$ is a collection of first order definable partial functions on the members of $\mathsf{K}$ that is globally preserved by homomorphisms. For instance, "taking inverses" can be…

We prove the theorem converse to Jackson's theorem for a modulus of smoothness of the first order generalised by means of an asymmetric operator of generalised translation.

We prove that a function on an irreducible compact symmetric space M, which is not a sphere, is determined by its integrals over the shortest closed geodesics in M. We also prove a support theorem for the Funk transform on rank one…

We show a Dvoretsky-Rogers type Theorem for the adapted version of the $q$-summing operators to the topology of the convergence of the vector valued integrals on Banach function spaces. In the pursuit of this objective we prove that the…

We establish the existence of a transfer, which is compatible with Kloosterman integrals, between Schwartz functions on GL(n,R) and Schwartz functions on the variety of non-degenerate Hermitian forms. Namely, we consider an integral of a…

We show that a fairly arbitrary Frechet space topology on the space of holomorphic functions on a domain controls the topology of uniform convergence on compact sets. In fact it turns out that the result we present can be proved more simply…

We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian…

As a higher dimensional version of the theory of Morse functions, there have been various studies of smooth manifolds using generic smooth maps. As fundamental results, in these studies, they have found that inverse images of such maps…

We consider the inverse problem of estimating an unknown function $u$ from noisy measurements $y$ of a known, possibly nonlinear, map $\mathcal{G}$ applied to $u$. We adopt a Bayesian approach to the problem and work in a setting where the…

Given a function $f: (a,b) \rightarrow \mathbb{R},$ L\"owner's theorem states $f$ is monotone when extended to self-adjoint matrices via the functional calculus, if and only if $f$ extends to a self-map of the complex upper half plane. In…

We show that smoothness implies norm-controlled inversion: the smoothness of an element $a$ in a Banach algebra with a one-parameter automorphism group is preserved under inversion, and the norm of the inverse $a^{-1}$ is controlled by the…

We prove the existence of gaps between all the different classes of matrix monotone functions defined on an interval, provided the interval is non trivial and different from the whole real line. We then show how matrix monotone functions…