arXiv research

Global implicit function theorem for Fréchet spaces, solving derivative loss problems.

We prove implicit function theorems for mappings on topological vector spaces over valued fields. In the real and complex cases, we obtain implicit function theorems for mappings from arbitrary (not necessarily locally convex) topological vector spaces to Banach spaces.

We prove an implicit function theorem for functions on infinite-dimensional Banach manifolds, invariant under the (local) action of a finite dimensional Lie group. Motivated by some geometric variational problems, we consider group actions that are not necessarily differentiable everywhere, but only on some dense subse…

The paper details local forms of morphisms in colored supermanifolds.

Proposes efficient, modular method for implicit differentiation.

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…

A new method for optimizing non-decomposable metrics with constraints.

New dual formulation reduces generalization error for ERM-fDR.

The paper explores moduli space of heterotic system using two deformation paths.

Minimal surfaces with dihedral symmetry are studied as angles converge to zero.

Dual optimization connects ERM-fDR to normalization function.

New methods distill data for deep networks efficiently.

Reduces function approximation dimensions from high to low with sparse data.

Abstracts a theorem for non-smooth maps in infinite dimensions.

We exhibit differential geometric structures that arise in numerical methods, based on the construction of Cauchy sequences, that are currently used to prove explicitly the existence of weak solutions to functional equations. We describe the geometric framework, highlight several examples and describe how two well-know…

We consider harmonic sections of a bundle over the complement of a codimension 2 submanifold in a Riemannian manifold, which can be thought of as multivalued harmonic functions. We prove a result to the effect that these are stable under small deformations of the data. The proof is an application of a version of the Na…

Paper constructs solutions to a system using Aeppli class without auxiliary gauge connection.

We introduce a proximal subdifferential and develop a calculus for nonsmooth functions defined on any Riemannian manifold $M$. We give several applications of this theory, concerning: 1) differentiability and geometrical properties of the distance function to a closed subset $C$ of $M$; 2) solvability and implicit func…

We prove a version of the implicit function theorem for Lipschitz mappings $f:\mathbb{R}^{n+m}\supset A \to X$ into arbitrary metric spaces. As long as the pull-back of the Hausdorff content $\mathcal{H}_{\infty}^n$ by $f$ has positive upper $n$-density on a set of positive Lebesgue measure, then, there is a local diff…

Kuranishi's proof of complex deformation theory revisited

We establish a glueing theorem for the Ginzburg-Landau equations in dimension $n > 2$. To this end, we consider a nondegenerate minimal submanifold of codimension 2, and construct a one-parameter family of solutions to the Ginzburg-Landau equations such that the energy density concentrates near this submanifold. The pr…

A geometric flow on $(2,2)$-forms is introduced which preserves the balanced condition of metrics, and whose stationary points satisfy the anomaly equation in Strominger systems. The existence of solutions for a short time is established, using Hamilton's version of the Nash-Moser implicit function theorem.

Recently, there has been a growing interest in the problem of learning rich implicit models - those from which we can sample, but can not evaluate their density. These models apply some parametric function, such as a deep network, to a base measure, and are learned end-to-end using stochastic optimization. One strategy…

Local gluing connects flow lines in finite time intervals.

We propose an algorithm for inexpensive gradient-based hyperparameter optimization that combines the implicit function theorem (IFT) with efficient inverse Hessian approximations. We present results about the relationship between the IFT and differentiating through optimization, motivating our algorithm. We use the pro…

This is the revised version of the second paper in a series introducing a generalized Fredholm theory in a new class of smooth spaces called polyfolds. The theory will be illustrated in upcoming papers by applications to Floer Theory, Gromov-Witten Theory and Symplectic Field Theory. Some proofs have been improved and …

We establish continuous maximal regularity results for parabolic differential operators acting on sections of tensor bundles on Riemannian manifolds. As an application, we show that solutions to the Yamabe flow instantaneously regularize and become real analytic in space and time. The regularity result is obtained by i…

We will simplify earlier proofs of Perelman's collapsing theorem for 3-manifolds given by Shioya-Yamaguchi and Morgan-Tian. Among other things, we use Perelman's critical point theory (e.g., multiple conic singularity theory and his fibration theory) for Alexandrov spaces to construct the desired local Seifert fibratio…

In this paper, we prove that the set of solutions of constraint equations for coupled Einstein and scalar fields in classical general relativity possesses Hilbert manifold structure. We follow the work of R. Bartnik [2] and use weighted Sobolev spaces and Implicit Function Theorem to prove our results.

For multi-valued functions---such as when the conditional distribution on targets given the inputs is multi-modal---standard regression approaches are not always desirable because they provide the conditional mean. Modal regression algorithms address this issue by instead finding the conditional mode(s). Most, however,…

The article studies deformations of $\mathbb Z_2$-harmonic spinors on 3-manifolds.

Paper resolves ambiguity in non-convex bilevel optimization problems.

Study metric perturbations to make degenerate harmonic forms non-degenerate.

In this paper, we revisit implicit regularization from the ground up using notions from dynamical systems and invariant subspaces of Morse functions. The key contributions are a new criterion for implicit regularization---a leading contender to explain the generalization power of deep models such as neural networks---a…

In this paper, we prove the existence of maximal slices in anti-de Sitter spaces (ADS spaces) with small boundary data at spatial infinity. The main arguments is implicit function theorem. We also get a necessary and sufficient condition for boundary behavior of totally geodesic slice in ADS space. Moreover, we show th…

The paper constructs families of high genus CMC surfaces in the 3-sphere.

Research covers geometry, analysis, and integration on infinite-dimensional spaces.

We use bifurcation theory to determine the existence of infinitely many new examples of triply periodic minimal surfaces in $\mathbb R^3$. These new examples form branches issuing from the H-family, the rPD-family, the tP-family, and the tD-family, that converge to some degenerate embedding of the families. As to nonde…

This paper studies arbitrage pricing theory in financial markets with implicit transaction costs. We extend the existing theory to include the more realistic possibility that the price at which the investors trade is dependent on the traded volume. The investors in the market always buy at the ask and sell at the bid p…

The Gromoll-Meyer's generalized Morse lemma (so called splitting lemma) near degenerate critical points on Hilbert spaces, which is one of key results in infinite dimensional Morse theory, is usually stated for at least $C^2$-smooth functionals. It obstructs one using Morse theory to study most of variational problems …

Adaptive sampler improves recommendation for implicit feedback data.

Solves inverse problem for Maxwell equations using vector fields.

We find necessary and sufficient conditions for a Lipschitz map $f:\mathbb{R}E\to X$, into a metric space to have the image with the $k$-dimensional Hausdorff measure equal zero, $H^k(f(E))=0$. An interesting feature of our approach is that despite the fact that we are dealing with arbitrary metric spaces, we employ a …

EXODUS improves training of SNNs by stabilizing gradients and reducing complexity.

New tensor formulation reveals gradient flow's bias in linear neural networks.

We prove an equivariant implicit function theorem for variational problems that are invariant under a varying symmetry group (corresponding to a bundle of Lie groups). Motivated by applications to families of geometric variational problems lacking regularity, several non-smooth extensions of the result are discussed. A…

In this paper, we describe the "implicit autoencoder" (IAE), a generative autoencoder in which both the generative path and the recognition path are parametrized by implicit distributions. We use two generative adversarial networks to define the reconstruction and the regularization cost functions of the implicit autoe…

SINDy-PI robustly identifies implicit dynamics from noisy data.