Related papers: SPM Bulletin 24
In this paper, we characterize infinite-dimensional manifolds modeled on absorbing sets in non-separable Hilbert spaces by using the discrete cells property, which is a general position property. Moreover, we study the discrete (locally…
Most modern theoretical considerations of the physical world suggest that nature is: (1) field-theoretic, (2) smooth, (3) local, (4) gauged, (5) containing fermions, and (6) non-perturbative. Tautologous as this may sound to experts, it is…
This is a survey paper on applications of mathematics of semirings to numerical analysis and computing. Concepts of universal algorithm and generic program are discussed. Relations between these concepts and mathematics of semirings are…
This is a brief introduction to the basic concepts of topology. It includes the basic constructions, discusses separation properties, metric and pseudometric spaces, and gives some applications arising from the use of topology in computing.
This is an expository note explaining how the geometric notions of local connectedness and properness are related to the $\Sigma$-type and $\Pi$-type constructors of dependent type theory.
The dynamics of symbolic systems, such as multidimensional subshifts of finite type or cellular automata, are known to be closely related to computability theory. In particular, the appropriate tools to describe and classify topological…
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…
Nowadays the semi-tensor product (STP) approach to finite games has become a promising new direction. This paper provides a comprehensive survey on this prosperous field. After a brief introduction for STP and finite (networked) games, a…
Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative…
Various kinds of data are routinely represented as discrete probability distributions. Examples include text documents summarized by histograms of word occurrences and images represented as histograms of oriented gradients. Viewing a…
This is a sequel to our paper arXiv:1402.2546 to appear in the Journal of Geometric Analysis in which we concentrate on developing some of the topological properties of Sasaki-Einstein manifolds. In particular, we explicitly compute the…
As a branch of algebraic and differential topology of manifolds, the theory of Morse functions and their higher dimensional versions or fold maps and its application to algebraic and differential topology of manifolds is fundamental,…
Persistent homology is a popular tool in Topological Data Analysis. It provides numerical characteristics of data sets which reflect global geometric properties. In order to be useful in practice, for example for feature generation in…
We define the splash of a subgeometry on a projective line, extending the definition of \cite{BaJa13} to general dimension and prove that a splash is always a linear set. We also prove the converse: each linear set on a projective line is…
We discuss some specializations of the frames of flat orthonormal frame bundles over geometries of indefinite signature, and the resulting symmetries of families of embedded Riemannian or pseudo-Riemannian geometries. The specializations…
In these self-contained low prerequisite introductory notes we first present (in part 1) basic concepts of set theory and algebra without explicit category theory. We then present (in part 2) basic category theory involving a somewhat…
We will introduce the notion of Emergence for a dynamical system, and we will conjecture the local typicality of super-polynomial ones. Then, as part of this program, we will provide sufficient conditions for an open set of Cd-families of…
We classify the topological terms (in a sense to be made precise) that may appear in a non-linear sigma model based on maps from an arbitrary worldvolume manifold to a homogeneous space $G/H$ (where $G$ is an arbitrary Lie group and $H…
This paper is a gentle introduction to some recent results involving the theory of gerbes over orbifolds for topologists, geometers and physicists. We introduce gerbes on manifolds, orbifolds, the Dixmier-Douady class, Beilinson-Deligne…
The article contains some important classes of multisets. Combinatorial proofs of problems on the number of m-submultisets and m-permutations of multiset elements are considered and effective algorithms for their calculation are given. In…