Related papers: Desingularization of the Sweeping Process Mapping

Let $\Omega\subset \mathbb{R}^n$ be a bounded domain that can be written as $\Omega=\bigcup_{t} \Omega_t$, where $\{\Omega_t\}_{t\in\Gamma}$ is a countable collection of domains with certain properties. In this work, we develop a technique…

We establish new and different kinds of proofs of properties that arise due to the orthogonal decomposition of the Hilbert space, including projections, over the unit interval of one dimension. We also see angles between functions,…

We tensorize the Faber spline system from [14] to prove sequence space isomorphisms for multivariate function spaces with higher mixed regularity. The respective basis coefficients are local linear combinations of discrete function values…

We construct a desingularization of the ``main component'' $\bar{\mathfrak M}_{1,k}^0(\Bbb{P}^n,d)$ of the moduli space $\bar{\mathfrak M}_{1,k}(\Bbb{P}^n,d)$ of genus-one stable maps into the complex projective space $\Bbb{P}^n$. As a…

Let $\Omega\subset\mathbb{C}^n$ be a bounded domain with smooth boundary, whose Bergman projection $B$ maps the Sobolev space $H^{k_{1}}(\Omega)$ (continuously) into $H^{k_{2}}(\Omega)$. We establish two smoothing results: (i) the full…

We prove that the discrete harmonic function corresponding to smooth Dirichlet boundary conditions on orthodiagonal maps, that is, plane graphs having quadrilateral faces with orthogonal diagonals, converges to its continuous counterpart as…

We establish the link between Mathematical Morphology and the map of Asplund's distances between a probe and a grey scale function, using the Logarithmic Image Processing scalar multiplication. We demonstrate that the map is the logarithm…

The Helmholtz equation is a prototypical model for time-harmonic wave propagation. Numerical solutions become increasingly challenging as the wave number $k$ grows, due to the equation's elliptic yet noncoercive character and the highly…

In this paper we show the existence of the minimal solution to the multidimensional Lambert-Euler inversion, a multidimensional generalization of $[-e^{-1} ,0)$ branch of Lambert W function $W_0(x)$. Specifically, for a given nonnegative…

Using the orbit method we attempt to reveal geometric and algebraic meaning of separation of variables for the integrable systems on coadjoint orbits in an $\mathfrak{sl}(3)$ loop algebra. We consider two types of generic orbits embedded…

Convergence is a crucial issue in iterative algorithms. Damping is commonly employed to ensure the convergence of iterative algorithms. The conventional ways of damping are scalar-wise, and either heuristic or empirical. Recently, an…

Recent studies have shown that many nonconvex machine learning problems satisfy a generalized-smooth condition that extends beyond traditional smooth nonconvex optimization. However, the existing algorithms are not fully adapted to such…

Consider $d$ disjoint closed subintervals of the unit interval and consider an orientation preserving expanding map which maps each of these subintervals to the whole unit interval. The set of points where all iterates of this expanding map…

This work is concerned with a representation of shapes that disentangles fine, local and possibly repeating geometry, from global, coarse structures. Achieving such disentanglement leads to two unrelated advantages: i) a significant…

In this paper we propose the concept of formal desingularizations as a substitute for the resolution of algebraic varieties. Though a usual resolution of algebraic varieties provides more information on the structure of singularities there…

We present an algorithmic embedded desingularization of arithmetic surfaces bearing in mind implementability. Our algorithm is based on work by Cossart-Jannsen-Saito, though our variant uses a refinement of the order instead of the…

This paper is concerned with the study of Besov-type decomposition spaces, which are scales of spaces associated to suitably defined coverings of the euclidean space $\mathbb{R}^d$, or suitable open subsets thereof. A fundamental problem in…

A loss function measures the discrepancy between the true values and their estimated fits, for a given instance of data. In classification problems, a loss function is said to be proper if a minimizer of the expected loss is the true…

We construct $p$-adic $L$-functions associated with $p$-refined cohomological cuspidal Hilbert modular forms over any totally real field under a mild hypothesis. Our construction is canonical, varies naturally in $p$-adic families, and does…

The Wendland functions are a class of compactly supported radial basis functions with a user-specified smoothness parameter. We prove that with a linear change of variables, both the original and the "missing" Wendland functions converge…