Related papers: An algebraic theory of Lojasiewicz exponents
\noindent Let $I$ be an ideal of the ring of formal power series $\bK[[x,y]]$ with coefficients in an algebraically closed field $\bK$ of arbitrary characteristic. Let $\Phi$ denote the set of all parametrizations…
Let $k$ be an algebraically closed field of any characteristic. We apply the Hamburger-Noether process of successive quadratic transformations to show the equivalence of two definitions of the {\L}ojasiewicz exponent…
We address the behavior of idealized deep residual neural networks (ResNets), modeled via an optimal control problem set over continuity (or adjoint transport) equations. The continuity equations describe the statistical evolution of the…
In this paper, we introduce a nonlinear optimization problem whose objective function is the convex log-sum-exp function and the feasible region is defined as a system of fuzzy relational inequalities (FRI) defined by the Lukasiewicz…
We prove three related quantitative results for the relative isoperimetric problem outside a convex body $\Omega$ in the plane: (1) {\L}ojasiewicz estimates and quantitative rigidity for critical points, (2) rates of convergence for the…
The max-Lukasiewicz semiring is defined as the unit interval [0,1] equipped with the arithmetics "a+b"=max(a,b) and "ab"=max(0,a+b-1). Linear algebra over this semiring can be developed in the usual way. We observe that any problem of the…
Stochastic differentiable approximation schemes are widely used for solving high dimensional problems. Most of existing methods satisfy some desirable properties, including conditional descent inequalities, and almost sure (a.s.)…
We prove the closedness theorem over Henselian valued fields, which was established over rank one valued fields in one of our recent papers. In the proof, as before, we use the local behaviour of definable functions of one variable and the…
The paper addresses parametric inequality systems described by polynomial functions in finite dimensions, where state-dependent infinite parameter sets are given by finitely many polynomial inequalities and equalities. Such systems can be…
We establish a new global endpoint Sobolev inequality for measures that extends the classical theorem of Meyers-Ziemer by placing a maximal function on the right-hand side. This result has several significant consequences. It extends…
The classical Lojasiewicz inequality and its extensions for partial differential equation problems (Simon) and to o-minimal structures (Kurdyka) have a considerable impact on the analysis of gradient-like methods and related problems:…
The B\"or\"oczky configuration of lines and (multiple) points exhibits extremal behavior in commutative algebra and combinatorics. Examples of this appear in the context of the containment problem for ordinary and symbolic powers and the…
When training neural networks with low-precision computation, rounding errors often cause stagnation or are detrimental to the convergence of the optimizers; in this paper we study the influence of rounding errors on the convergence of the…
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras…
In this paper, we study polar quotients and \L ojasiewicz exponents of plane curve singularities, which are {\em not necessarily reduced}. We first show that the polar quotients is a topological invariant. We next prove that the \L…
We show an effective method to compute the \L ojasiewicz exponent of an arbitrary sheaf of ideals of $\OO_X$, where $X$ is a non-singular scheme. This method is based on the algorithm of resolution of singularities.
We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding…
In this paper we observe that the {\L}ojasiewicz exponent $\mathcal{L}_0(X)$ of an ADE-type singularity $X$ can be computed by means of invariants of certain ideals in the local ring ${\mathcal O}_{X,0}$. After extending the notion of…
Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly…
This paper is the first of a series dealing with c-holomorphic functions defined on algebraic sets and having algebraic graphs. These functions may be seen as the complex counterpart of the recently introduced \textit{regulous} functions.…