Related papers: Reeb spaces of functions being analytic on dense s…
This article proposes to integrate two Reeb graphs with the information of their isosurfaces' inclusion relation. As computing power evolves, there arise numerical data that have small-scale physics inside larger ones -- for example, small…
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…
We give an exposition of Natural Topology (NToP), which highlights its advantages for exact computation. The NToP-definition of the real numbers (and continuous real functions) matches recent expert recommendations for exact real…
This note deals with quasi-states on the two-dimensional torus. Quasi-states are certain quasi-linear functionals (introduced by Aarnes) on the space of continuous functions. Grubb constructed a quasi-state on the torus, which is invariant…
An algebraic domain is a closed topological subsurface of a real affine plane whose boundary consists of disjoint smooth connected components of real algebraic plane curves. We study the geometric shape of an algebraic domain by collapsing…
On the one hand the algebras of linear operators here act on finite-dimensional vector spaces, and on the other hand the point of view is generally an analysts'. Also, one might think of algebras as being used to add more data to basic…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
A basilar property and a useful tool in the theory of Sobolev spaces is the density of smooth compactly supported functions in the space $W^{k,p}(\R^n)$ (i.e. the functions with weak derivatives of orders $0$ to $k$ in $L^p$). On Riemannian…
Entropy rate is a real valued functional on the space of discrete random sources which lacks a closed formula even for subclasses of sources which have intuitive parameterizations. A good way to overcome this problem is to examine its…
In this paper we define and study the moduli space of metric-graph-flows in a manifold M. This is a space of smooth maps from a finite graph to M, which, when restricted to each edge, is a gradient flow line of a smooth (and generically…
The study of certain differential operators between Sobolev spaces of sections of vector bundles on compact manifolds equipped with rough metric is closely related to the study of locally Sobolev functions on domains in the Euclidean space.…
Morse functions are important objects and tools in understanding topologies of manifolds since the 20th century. Their classification has been natural and difficult problems, and surprisingly, this is recently developing. Since the 2010's,…
Rationally convex topological embeddings of compact surfaces (closed or with boundary) into $\mathbb{C}^2$ are constructed.
Theoretical results from discrete geometry suggest that normed spaces can abstractly embed finite metric spaces with surprisingly low theoretical bounds on distortion in low dimensions. In this paper, inspired by this theoretical insight,…
In the first half of twentieth century the theory of complex analytic functions and of their zerosets was fully developed. The definition of holomorphic function has a local nature. Germs of holomorphic functions form a distinguished…
In this paper we analyse the structure of the spaces of smooth type functions, generated by elements of arbitrary Hilbert spaces, as a continuation of the research in our previous papers in this series. We prove that these spaces are…
Manifold learning is a popular and quickly-growing subfield of machine learning based on the assumption that one's observed data lie on a low-dimensional manifold embedded in a higher-dimensional space. This thesis presents a mathematical…
Diffeological spaces are generalizations of smooth manifolds which include singular spaces and function spaces. For each diffeological space, Iglesias-Zemmour introduced a natural topology called the $D$-topology. However, the $D$-topology…
We study/construct (proper and non-proper) Morse functions on complete Riemannian manifolds, the level hypersurfaces of which have positive mean curvatures at all non-critical points. We show, for instance, that if a complete Rieannin…
L^p spaces of mappings taking values in arbitrary metric spaces, which we call nonlinear Lebesgue spaces, play an important role in several fields of mathematics. For instance, membership in these spaces is typically required for transport…