arXiv research

For a domain $Ω\subset\mathbb R^n$, we introduce the concept of a uniformly $C^m$ defining function. We characterize uniformly $C^m$ defining functions in terms of the signed distance function for the boundary and provide a large class of examples of unbounded domains with uniformly $C^m$ defining functions. Some of ou…

Analogous zeta function for twisted Alexander invariants defined.

The paper establishes conditions for strict power concavity in convolutions.

We define the spaces of Schwartz functions, tempered functions and tempered distributions on manifolds definable in polynomially bounded o-minimal structures. We show that all the classical properties that these spaces have in the Nash category, as first studied in Fokko du Cloux's work, also hold in this generalized s…

Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable real-valued functions on n-dimensional Euclidean space. This generalizes intrinsic vol…

Defines a new Upsilon torsion function for knot Floer homology.

In this note we find a generic defining function of projective motion in the 6-dimensional rigid h-space.

Defines 'nowhere coexpanding functions' and studies their fixed points.

Defines concordance of Morse functions on manifolds and presents a condition.

In analogy with the Thurston norm, we define for an orientable 3-manifold $M$ a numerical function on $H_2(M;Q/Z)$. This function measures the minimal complexity of folded surfaces representing a given homology class. A similar function is defined on the torsion subgroup of $H_1(M)$. These functions are estimated from …

Consider a polarized complex manifold (X,L) and a ray of positive metrics on L defined by a positive metric on a test configuration for (X,L). For most of the common functionals in Kähler geometry, we prove that the slope at infinity along the ray is given by evaluating the non-Archimedean version of the functional (as…

We prove a version of the variational Euler-Lagrange equations valid for functionals defined on Fréchet manifolds, such as the spaces of sections of differentiable vector bundles appearing in various physical theories.

Defines Lorentzian distance on contactomorphisms, proving continuity and finite conditions.

Defines spectral Einstein functional for manifolds with boundary.

Defines spectral Einstein functionals for sub-Dirac operators on manifolds with boundary.

Defines an equivariant Ruelle dynamical zeta function for flows on manifolds.

In this article, we are interested in the problem of extending the germ of a smooth function $\tilde{f}$ defined along the standard sphere of dimension $n$ to a function defined on the ball which has no critical points. The article gives a necessary condition using the Morse chain complex associated to the function $f$…

We consider two functions on Sp(g,R) with values in the cyclic group of order four {1,-1,i,-i}. One was defined by Lion and Vergne. The other is -i raised to the power given by an integer valued function defined by Masbaum and the author (initially on the mapping class group of a surface). We identify these functions w…

Stochastic subgradient descent avoids critical points in definable functions.

We review the polynomial structure of the topological string partition functions as solutions to the holomorphic anomaly equations. We also explain the connection between the ring of propagators defined from special Kähler geometry and the ring of almost-holomorphic modular forms defined on modular curves.

In [S. Basu, A. Gabrielov, N. Vorobjov, Semi-monotone sets. arXiv:1004.5047v2 (2011)] we defined semi-monotone sets, as open bounded sets, definable in an o-minimal structure over the reals, and having connected intersections with all translated coordinate cones in R^n. In this paper we develop this theory further by d…

We propose fast approximations for the generalized sliced-Wasserstein distance.

We study the complex geometry of generalized Kepler manifolds, defined in Jordan theoretic terms, introduce Hilbert spaces of holomorphic functions defined by radial measures, and find the complete asymptotic expansion of the corresponding reproducing kernels for Kähler potentials, both in the flat and bounded setting.

Defines spherical type surfaces via support function and classifies them.

Defines metrics and Einstein tensors on Riemannian manifolds, proving vanishing for non-commutative two-torus.

Defines new types of preinvex functions for optimization.

To each unit complex number with positive imaginary part there is defined a Tristram-Levine knot signature function. The set of all such signature functions is linearly independent as a set of functions defined on the set of all knots. The set of averaged signature functions forms a linearly independent set of homomoro…

We define geometric zeta functions for locally symmetric spaces as generalizations of the zeta functions of Ruelle and Selberg. As a special value at zero we obtain the Reidemeister torsion of the manifold. For hermitian spaces these zeta functions have as special value the quotient of the holomorphic torsion of Ray an…

The set of Clifford bundles of bounded geometry over open manifolds can be endowed with a metrizable uniform structure. For one fixed bundle $E$ we define the generalized component $\gencomp (E)$ as the set of Clifford bundles $E'$ which have finite distance to $E$. If $D$, $D'$ are the associated generalized Dirac ope…

A beta function for double layers is defined and analyzed.

Given only information in the form of similarity triplets "Object A is more similar to object B than to object C" about a data set, we propose two ways of defining a kernel function on the data set. While previous approaches construct a low-dimensional Euclidean embedding of the data set that reflects the given similar…

Defines a functional for Riemann surfaces, proving a unique solution.

Paper defines a new functional for spinors on Euclidean manifolds.

In the context of non-abelian gerbes we define a cubical version of categorical group 2-bundles with connection over a smooth manifold. We define their two-dimensional parallel transport, study its properties, and define non-abelian Wilson surface functionals.

Defines super projective modules and explores their properties.

Harmonic functions on compact symmetric spaces exhibit strong convexity properties.

We show that in Lorentzian manifolds, sectional curvature bounds of the form $\mathcal{R}\le K\,$, as defined by Andersson and Howard, are closely tied to space-time convex and $λ$-convex ($λ>0$) functions, as defined by Gibbons and Ishibashi. Among the consequences are a natural construction of such functions, and an …

For each d>=2, the mapping class group for plane curves of degree d will be defined and it is proved that there exists uniquely the Meyer function on this group. In the case of d=4, using our Meyer function, we can define the local signature for 4-dimensional fiber spaces whose general fibers are non-hyperelliptic comp…

In much of the literature on function approximation by deep networks, the function is assumed to be defined on some known domain, such as a cube or a sphere. In practice, the data might not be dense on these domains, and therefore, the approximation theory results are observed to be too conservative. In manifold learni…

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 do further investigation in a certain cosine function defined for smooth Minkowski spaces. We prove that such function is symmetric if and only if the referred space is Euclidean, and also that it can be given in terms of the Gateaux derivative of the norm. As an application we use it to study the ratio between the …

We show that the problem of tiling the Euclidean plane with a finite set of polygons (up to translation) boils down to prove the existence of zeros of a non-negative convex function defined on a finite-dimensional simplex. This function is a generalisation, in the framework of branched surfaces, of the Thurston semi-no…

In this paper, we discuss how a Gromov-Hausdorff-like distance function over the space of all isometric classes of compact $C^k$-Riemannian manifolds should be defined in the aspect of the Riemannan submanifold theory, where $k\geq 1$. The most important fact in this discussion is as follows. The Hausdorff distance fun…

The paper defines a new functional and proves related theorems for manifolds with boundary.

We study partition functions of random Bergman metrics, with the actions defined by a class of geometric functionals known as `stability functions'. We introduce a new stability invariant - the critical value of the coupling constant - defined as the minimal coupling constant for which the partition function converges.…

Defines Perelman's functionals on manifolds with non-isolated conical singularities.

Let $(X,ω)$ be a compact Kähler manifold. We introduce and study the largest set $DMA(X,ω)$ of $ω$-plurisubharmonic (psh) functions on which the complex Monge-Ampère operator is well defined. It is much larger than the corresponding local domain of definition, though still a proper subset of the set $PSH(X,\om)$ of all…

The paper uses MDM theory to analyze multifiltering functions on simplicial complexes.