Related papers: Hard Implicit Function Theorem via the DSM
Iterative refinement -- start with a random guess, then iteratively improve the guess -- is a useful paradigm for representation learning because it offers a way to break symmetries among equally plausible explanations for the data. This…
We derive sufficient conditions for the surjectivity of the Cauchy-Riemann operator $\overline{\partial}$ between spaces of weighted smooth Fr\'echet-valued functions. This is done by establishing an analog of H\"ormander's theorem on the…
Finding the solutions of nonlinear operator equations has been a subject of research for decades but has recently attracted much attention. This paper studies the convergence of a newly introduced viscosity implicit iterative algorithm to a…
This work investigates the electrical impedance tomography (EIT) problem when only limited boundary measurements are available, which is known to be challenging due to the extreme ill-posedness. Based on the direct sampling method (DSM), we…
Density-functional theory is a formally exact description of a many-body quantum system in terms of its density; in practice, however, approximations to the universal density functional are required. In this work, a model based on deep…
Deep implicit functions (DIFs), as a kind of 3D shape representation, are becoming more and more popular in the 3D vision community due to their compactness and strong representation power. However, unlike polygon mesh-based templates, it…
The classical Ruckert-Lefschetz scheme of analysis of implicit functions (defined by finite systems of n analytical equations with n unknowns) is studied from the point of view of calculations with finite number coefficients in Taylor…
We suggest the necessary/sufficient criteria for the existence of a (order-by-order) solution y(x) of a functional equation F(x,y)=0 over a ring. In full generality, the criteria hold in the category of filtered groups, this includes the…
We study the existence of global implicit functions for equations defined on open subsets of Banach spaces. The partial derivative with respect to the second variable is only required to have a left inverse instead of being invertible.…
In this paper we discuss the existence and regularity of solutions of strongly indefinite systems involving fractional elliptic operators on a smooth bounded domain $\Omega$ in $\R^n$.
We consider a general class of parametrized displacement boundary value problems in incompressible nonlinear elasticity. We prove the existence of an unbounded solution branch of classical injective solutions emanating from the unforced…
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…
In this paper, we introduce a new method for applying the implicit function theorem to find nontrivial solutions to overdetermined problems with a fixed boundary (given) and a free boundary (to be determined). The novelty of this method…
Many real-world dynamical systems can be described as State-Space Models (SSMs). In this formulation, each observation is emitted by a latent state, which follows first-order Markovian dynamics. A Probabilistic Deep SSM (ProDSSM)…
Dynamic Mode Decomposition (DMD) and its variants, such as extended DMD (EDMD), are broadly used to fit simple linear models to dynamical systems known from observable data. As DMD methods work well in several situations but perform poorly…
We prove an Asymptotic Implicit Function Theorem in the setting of Gevrey asymptotics with respect to a parameter. The unique implicitly defined solution admits a Gevrey asymptotic expansion and furthermore it is the Borel resummation of…
In weighted Orlicz type spaces ${\mathcal S}_{_{\scriptstyle \mathbf p,\,\mu}}$ with a variable summation exponent, the direct and inverse approximation theorems are proved in terms of best approximations of functions and moduli of…
An asymmetric operator of generalised translation is introduced in this paper. Using this operator, we define a generalised modulus of smoothness and prove direct and inverse theorems of approximation theory for it.
We discuss the solvability of a fairly general class of systems of perturbed Hammerstein integral equations with functional terms that depend on several parameters. The nonlinearities and the functionals are allowed to depend on the…
Type theories can be formalized using the intrinsically (hard) or the extrinsically (soft) typed style. In large libraries of type theoretical features, often both styles are present, which can lead to code duplication and integration…