Related papers: Nash regulous functions

We prove that for any complete n-dimensional Riemannian manifold with nonnegative Ricci curvature, if the Nash inequality is satisfied, then it is diffeomorphic to $R^{n}$l.

We prove that a $k$-regulous function defined on a non-singular affine variety can always be extended to the entire affine space.

Let d be a positive integer. We show a finiteness theorem for semialgebraic RL triviality of a Nash family of Nash functions defined on a Nash manifold, generalising Benedetti-Shiota's finiteness theorem for semialgebraic RL equivalence…

Expanding upon recent work, a new class of $A$-functions is introduced that can be viewed as an appropriate generalization of the class of regular $A$-functions, the class of structured $A$-functions, and the class of perfect $A$-functions.…

A Kaehler metric $g$ with integral Kaehler form is said to be partially regular if the partial Bergman kernel associated to mg is a positive constant for all integer m sufficiently large. The aim of this paper is to prove that for all n\geq…

We associate a space of (formal) representations on the space of h-formal power series with coefficients in the space of smooth functions on Rd (which we call quantizations) with an action of a group on Rd by smooth diffeomorphisms. If the…

To minimize or upper-bound the value of a function "robustly", we might instead minimize or upper-bound the "epsilon-robust regularization", defined as the map from a point to the maximum value of the function within an epsilon-radius. This…

Let f:X-->R be a function defined on a connected nonsingular real algebraic set X in R^n. We prove that regularity of f can be detected on either algebraic curves or surfaces in X. If dimX>1 and k is a positive integer, then f is a regular…

This work proposes a unified theory of regularity in one hypercomplex variable: the theory of $T$-regular functions. In the special case of quaternion-valued functions of one quaternionic variable, this unified theory comprises…

We consider polyregular functions, which are certain string-to-string functions that have polynomial output size. We prove that a polyregular function has output size $\mathcal O(n^k)$ if and only if it can be defined by an MSO…

We show that differentiable functions, defined on a convex body $K \subseteq \mathbb R^d$, whose derivatives do not exceed a suitable given sequence of positive real numbers share many properties with polynomials. The role of the degree of…

In this paper, we introduced some notions on the n-Normed Spaces. Those are bounded k-linear (or multilinear) functionals and k-continuous (or multicontinuous) functions with k \in \mathbb{N}. We defined k-linear functionals under several…

Special Ricci-Hessian equations on K\"ahler manifolds $(M,g)$, as defined by Maschler [Ann. Global Anal. Geom. 34 (2008), 367--380] involve functions $\tau$ on $M$ and state that, for some function $\alpha$ of the real variable $\tau$, the…

C-holomorphic functions defined on algebraic sets and having algebraic graphs can be considered as a complex counterpart of regulous functions introduced recently in real geometry. This note is a part of our study on the subject; we prove…

An integer $k$ is called regular (mod $n$) if there exists an integer $x$ such that $k^2x\equiv k$ (mod $n$). This holds true if and only if $k$ possesses a weak order (mod $n$), i.e., there is an integer $m\ge 1$ such that $k^{m+1} \equiv…

A fundamental open question asking whether all real-valued strongly quasiconvex functions defined on $\mathbb R^n$ are necessarily continuous, akin to their convex counterparts, is answered in detail in this paper. Among other things, we…

A continuous map from R^m to R^N or from C^m to C^N is called k-regular if the images of any $k$ points are linearly independent. Given integers m and k a problem going back to Chebyshev and Borsuk is to determine the minimal value of N for…

The Castelnuovo-Mumford regularity $\reg(I)$ is one of the most important invariants of a homogeneous ideal $I$ in a polynomial ring. A basic question is how the regularity behaves with respect to taking powers of ideals. It is known that…

We study the non-relativity for two real analytic K\"ahler manifolds and complex space forms of three types. The first one is a K\"ahler manifold whose polarization of local K\"ahler potential is a Nash function in a local coordinate. The…

We prove that a quotient of a Nash manifold $X$ by a closed equivalence relation $R\subset X\times X$, which is submersive over $X$, yields a Nash manifold $X/R$.