Related papers: Computational Topology for Regular Closed Sets
A set of meet-irreducible ideals is described for a class of maximal triangular almost finite algebras. This set forms a topological space under the hull-kernel closure, and there is a one-to-one correspondence between closed sets in this…
This survey/expository article covers a variety of topics related to the "topology at infinity" of noncompact manifolds and complexes. In manifold topology and geometric group theory, the most important noncompact spaces are often…
We introduce the notion of a Bishop topological group i.e., a group X equipped with a Bishop topology of functions F such that the group operations of X are Bishop morphisms with respect to F. A closed subset in the neighborhood structure…
These notes survey the theory of (twisted) conformal blocks from an algebro-geometric perspective and have two main goals. The first one is to summarize the construction of conformal blocks from vertex operator algebras, and to describe…
The identification of the interfacial molecules in fluid-fluid equilibrium is a long-standing problem in the area of simulation. We here propose a new point of view, making use of concepts taken from the field of computational geometry,…
Extracting shape information from object bound- aries is a well studied problem in vision, and has found tremen- dous use in applications like object recognition. Conversely, studying the space of shapes represented by curves satisfying…
Quantum graphs have become in this century a favorite playground for mathematicians, mathematical physicists, and chemists, due to their manifold applications as models of thin structures, as well as presenting sometimes simpler playground…
In this work we study the space complexity of computable real numbers represented by fast convergent Cauchy sequences. We show the existence of families of trascendental numbers which are logspace computable, as opposed to algebraic…
Localization is a topological technique that allows us to make global equivariant computations in terms of local data at the fixed points. For example, we may compute a global integral by summing integrals at each of the fixed points. Or,…
We study the algebraic and geometric properties of the integral closure of different rings of functions on a real algebraic variety : the regular functions and the continuous rational functions.
Toposes can be pictured as mathematical universes. Besides the standard topos, in which most of mathematics unfolds, there is a colorful host of alternate toposes in which mathematics plays out slightly differently. For instance, there are…
For analyzing stationary Yang-Mills connections in higher dimensions, one has to work with Morrey-Sobolev bundles and connections. The transition maps for a Morrey-Sobolev principal $G$-bundles are not continuous and thus the usual notion…
A datatset $X$ on $R^2$ is a finite topological space. Current research of a dataset focuses on statistical methods and the algebraic topological method \cite{carlsson}. In \cite{hu}, the concept of typed topological space was introduced…
Segmentation is often an essential intermediate step in image analysis. A volume segmentation characterizes the underlying volume image in terms of geometric information--segments, faces between segments, curves in which several faces…
We present TOPO (Time-Ordered Provable Outputs), a tool designed to enhance reproducibility and data integrity in astrophysical research, providing a trustless alternative to data analysis blinding. Astrophysical research frequently…
A fundamental characteristic of computer networks is their topological structure. The question of the description of the structural characteristics of computer networks represents a problem that is not completely solved. Search methods for…
In holography, the boundary entanglement structure is believed to be encoded in the bulk geometry. In this work, we investigate the precise correspondence between the boundary real-space entanglement and the bulk geometry. By the boundary…
Arithmetic duality theorems over a local field $k$ are delicate to prove if $\mathrm{char} k > 0$. In this case, the proofs often exploit topologies carried by the cohomology groups $H^n(k, G)$ for commutative finite type $k$-group schemes…
Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the {\em computationally dense\/} ones) are seen to be the ones…
One important class of tools in the study of the connections between algebraic and topological structures are the "Banach-Stone type theorems", which describe algebraic isomorphisms of algebras (or groups, lattices, etc.) of functions in…