Global inverse function theorem proved easily using Riemannian geometry.
problem Global inverse function theorem in Riemannian geometry.
method Hopf--Rinow theorem in Riemannian geometry.
result Hadamard's global inverse function theorem is proven easily.
The paper proves a generalized inverse function theorem for curved L∞ spaces.
problem Proving a generalized inverse function theorem for curved L∞ spaces. method Obstruction theory for L∞ homomorphisms and homotopy transfer theorem for curved L∞ algebras. result A morphism of curved L∞ spaces which is a quasi-isomorphism at a point has a local homotopy inverse. Abstracts a theorem for non-smooth maps in infinite dimensions.
problem Generalizing inverse mapping theorem for non-smooth maps.
method Introduces property A and applies it to non-smooth maps.
result Generalized inverse mapping theorems for non-smooth maps.
Inverse function theorem and homotopy description for L-infinity bundles.
problem Inverse function theorem and homotopy description for L-infinity bundles.
method Local sections composed of elementary morphisms.
result Simple description of homotopy category of L-infinity bundles.
The Stone-Weierstrass theorem aids in solving inverse problems on specific manifolds.
problem Inverse problems on holomorphically separable Kähler manifolds and conformally transversally anisotropic manifolds.
method Application of the Stone-Weierstrass theorem to show uniqueness in inverse problems.
result Generalization and simplification of earlier results in inverse problems.
The paper details local forms of morphisms in colored supermanifolds.
problem Understanding local forms of morphisms in colored supermanifolds.
method Detailed account of Z2n-differential calculus and local theorems. result Detailed insights into local forms of morphisms in colored supermanifolds.
Represents neural networks as solutions to inverse problems in Banach spaces.
problem Understanding the function learned by neural networks.
method Variational framework, representer theorem, polynomial ridge splines.
result Neural networks are solutions to inverse problems in Banach spaces.
In this paper, we give a proof of the quantitative Morse theorem stated by {Y. Yomdin} in \cite{Y1}. The proof is based on the quantitative Sard theorem, the quantitative inverse function theorem and the quantitative Morse lemma.
New findings on mesh group-planes validate Signature-inverse Theorem under specific conditions.
problem Invalidity of existing inverse theorems for mesh group-planes.
method Classification of three and five point meshes, analysis of joint invariant signatures.
result Valid conditions for the Signature-inverse Theorem in mesh group-planes.
Building upon ideas of Hironaka, Bierstone-Milman, Malgrange and others we generalize the inverse and implicit function theorem (in differential, analytic and algebraic setting) to sets of functions of larger multiplicities (or ideals). This allows one to describe singularities given by a finite set of generators or by…
The paper constructs metrics on spheres with families of minimal hypersurfaces.
problem Finding Riemannian metrics on spheres with specific families of minimal hypersurfaces.
method Used Nash-Moser Inverse Function Theorem in the tame maps setting.
result Generalized Guillemin's theorem for Zoll families of minimal hypersurfaces.
New integral theorems improve density function estimations.
problem Improving density function estimations.
method Integrals based on cyclic functions and Riemann sums, Fourier integral theorem, Monte Carlo methods, variational approach, Cauchy residue theorem.
result Optimal cyclic functions minimize square integrals, improving density estimations.
We construct new examples of Einstein metrics by perturbing the conformal infinity of geometrically finite hyperbolic metrics and by applying the inverse function theorem in suitable weighted Hölder spaces.
A theorem for debiasing machine learning with finite sample guarantees.
problem Calculating confidence intervals for machine learning functionals.
method Debiased machine learning based on bias correction and sample splitting.
result Nonasymptotic debiased machine learning theorem with finite sample guarantees.
Proves existence of proper solutions for inverse mean curvature flow.
problem Existence of proper solutions for inverse mean curvature flow.
method Proves existence theorem assuming non-degeneracy conditions on isoperimetric profile.
result No curvature assumption in existence theorem.
One of the key issues in the analysis of machine learning models is to identify the appropriate function space and norm for the model. This is the set of functions endowed with a quantity which can control the approximation and estimation errors by a particular machine learning model. In this paper, we address this iss…
Unified view of monotonicity formulas for inverse mean curvature flow and p-capacitary potentials.
problem Understanding monotonicity formulas for various geometric flows and potentials.
method Refined analysis of p-capacitary potentials and their level sets. result Strong convergence of p-capacitary potentials to inverse mean curvature flow and curvature varifolds. We introduce and study generalized 1-harmonic equations (1.1). Using some ideas and techniques in studying 1-harmonic functions from [W1] (2007), and in studying nonhomogeneous 1-harmonic functions on a cocompact set from [W2, (9.1)] (2008), we find an analytic quantity w in the generalized 1-harmonic equatio…
It has been known in that round spheres are the only closed homothetic self-similar solutions to the inverse mean curvature flow and parabolic curvature flows by degree -1 homogeneous functions of principle curvatures in the Euclidean space. In this article, we prove that the round sphere is rigid in much stronger sens…
Proves Green function rigidity for specific operators and obtains new ADM mass formula.
problem Proving Green function rigidity for specific operators and obtaining new ADM mass formula.
method Positive mass theorem and positive energy theorem for Paneitz operator.
result Obtained new formula for the ADM mass of asymptotically flat hypersurfaces.
Smooth flows for physical systems with smooth energies and forces.
problem Smooth energies for physical simulations and force computation.
method Smooth mixture transformations on compact intervals and hypertori, using root-finding and the inverse function theorem.
result Smooth flows allow training by force matching and use as molecular dynamics potentials.
The paper uses Banach spaces to analyze neural networks.
problem Understanding the function spaces of neural networks.
method Theory of reproducing kernel Banach spaces.
result Representer theorem for wide class of Banach spaces.
3D metrics get scalar curvature bounds via IMCF.
problem Bounding scalar curvature for C0 metrics. method Inverse Mean Curvature Flow (IMCF) and Hawking mass monotonicity.
result Stability theorem for nonnegative scalar curvature.
The paper explores how ReLU DNNs can represent MPC policies and vice versa.
problem Representing MPC policies as ReLU DNNs and vice versa.
method Developed an approximate method for identifying input-space in ReLU nets resulting in PWA functions over polyhedral regions. Studied inverse multiparametric linear or quadratic programs for reconstruction of constraints and cost functions given a PWA function.
result Identification and representation of MPC policies as ReLU DNNs and vice versa.
Improves deep learning performance on noisy datasets using inverse-variance weighting.
problem Heteroscedastic regression with varying noise levels.
method Batch Inverse-Variance (BIV) loss function for neural networks.
result Significantly improves network performance on noisy datasets compared to other methods.
In our previous paper [SIMAX 31 n.3 1491-1506(2010)], we studied the condition metric in the space of maximal rank matrices. Here, we show that this condition metric induces a Lipschitz-Riemann structure on that space. After investigating geodesics in such a nonsmooth structure, we show that the inverse of the smallest…
Study spherical Fourier transform on hypergeometric type harmonic manifolds.
problem Spherical Fourier transform on harmonic Hadamard manifolds.
method Representation of spherical functions by Gauss hypergeometric functions.
result Inversion formula, convolution rule, and Plancherel theorem are derived.
We give several versions of local and global inverse mapping theorem for tame non necessarily smooth, mappings. Here tame mapping means a mapping which is subanalytic or, more generally, definable in some o-minimal structure. Our sufficient conditions are formulated in terms of various properties (convexity, positivity…
We prove that structured vector bundles whose holonomies lie in GL(N,C), SO(N,C), or Sp(2N,C) have structured inverses. This generalizes a theorem of Simons and Sullivan.
Paper proves stability for recovering connections from holonomy traces.
problem Recovering a connection from holonomy traces on Riemannian manifolds.
method Combination of microlocal analysis and non-Abelian approximate Livsic Theorem.
result Hölder type stability estimates for holonomy inverse problem.
Kernelized bandit algorithm tackles adaptive contextual bandits with single-index models.
problem Adaptive contextual bandits with single-index models and unknown link functions.
method Kernelized ε-greedy algorithm combining Stein-based index estimation and kernel ridge regression for reward functions.
result Unified framework for simultaneous learning and inference in single-index contextual bandits.
The aim of this article is to present the category of bounded Frechet manifolds in respect to which we will review the geometry of Frechet manifolds with a stronger accent on its metric aspect. An inverse function theorem in the sense of Nash and Moser in this category is proved, and some applications to Riemannian geo…
Paper proves mass theorems for nonnegative scalar curvature metrics.
problem Proving mass theorems for metrics with nonnegative scalar curvature.
method New local inverse mean curvature flow with quantitative stability.
result Existence of isoperimetric sets in low regularity metrics.
The Ricci Calabi functional is a functional on the space of Kähler metrics of Fano manifolds. Its critical points are called generalized Kähler Einstein metrics. In this article, we show that the Hessian of the Ricci Calabi functional is non-negative at generalized Kähler Einstein metrics. As its application, we give a…
Paper proves circle packings converge to Riemann mapping for Jordan domains.
problem Proving discrete conformal maps converge to Riemann mapping.
method Establishing solvability theorem for inversive distance circle packings.
result Bowers-Stephenson's conjecture for Jordan domains is proven.
Solves inverse problem for Maxwell equations using vector fields.
problem Inverse problem for Maxwell equations in vacuum.
method Abstract theory of implicit differential equations over pre-symplectic manifolds.
result Provides solution for Maxwell equations using vector fields.
Explores local structure of morphisms and formal submanifolds in formal manifolds theory.
problem Understanding the local structure of morphisms and formal submanifolds in formal manifolds.
method Study of formal manifolds, including local structure of constant rank morphisms and formal submanifolds.
result Developed the local structure of constant rank morphisms and formal submanifolds.
Proves the Hodge conjecture for complex projective manifolds.
problem Proving the Hodge conjecture for complex projective manifolds.
method Utilizing the Dirac-Dolbeault operator and Nash-Moser generalized inverse function theorem.
result Existence of complex submanifolds whose fundamental classes span rational Hodge classes.
The Reeb space of a smooth map whose codimension is minus is the space defined as the space of all connected components of inverse images. For generic maps such as Morse functions and their higher dimensional versions, they are polyhedra whose dimensions are equal to those of the target manifolds and which have simplic…
This article provides a version of scale calculus geared towards a notion of (nonlinear) Fredholm maps between certain types of Frechet spaces, retaining as many as possible of the properties Fredholm maps between Banach spaces enjoy, and the existence of a constant rank theorem for such maps. It does so by extending t…
We consider topological conditions under which a locally invertible map admits a global inverse. Our main theorem states that a local diffeomorphism f:M→Rn is bijective if and only if Hn−1(M)=0 and the pre-image of every affine hyperplane is non-empty and acyclic. The proof is based on some geometr…
This paper studies neural network operators and their convergence properties.
problem Understanding the approximation and convergence of neural network operators.
method Proves density results, convergence estimates, and Voronovskaya-type theorems.
result Establishes quantitative convergence estimates and derives Voronovskaya-type theorems.
The paper explores continuous inverse ambiguous functions on various Lie groups.
problem Existence of continuous inverse ambiguous functions on Lie groups.
method Investigation of continuous inverse ambiguous functions on specific Lie groups.
result Existence of continuous inverse ambiguous functions on various Lie groups.
The article resolves complex structures in transport twistor spaces, proving a Newlander-Nirenberg theorem.
problem Degenerate complex structures in transport twistor spaces.
method Holomorphic blow-down structure maps to resolve degeneracy and gain insight into complex geometry.
result Global and local β-maps for various metrics, proving a Newlander-Nirenberg theorem for degenerate complex structures.
The paper characterizes potential functions whose level sets are orbits in mechanical systems.
problem Characterizing smooth potential energy functions on the plane with specific level set properties.
method Analyzing inverse curvature flow and properties of level sets.
result Analytic or functions with totally path-disconnected critical sets must be radial, while every compact convex set is a critical set of a Levi potential.
We establish a general slice theorem for the action of a locally convex Lie group on a locally convex manifold, which generalizes the classical slice theorem of Palais to infinite dimensions. We discuss two important settings under which the assumptions of this theorem are fulfilled. First, using Glöckner's inverse fun…
New theorem proves rigidity of circle packings in hyperbolic geometry.
problem Rigidity of circle packings in hyperbolic geometry.
method Established maximum principles and applied them to prove rigidity.
result Proved infinite rigidity of weighted Delaunay triangulations in the Poincaré disk.
In solving a system of n linear equations in d variables Ax=b, the condition number of the n,d matrix A measures how much errors in the data b affect the solution x. Estimates of this type are important in many inverse problems. An example is machine learning where the key task is to estimate an underlyin…