Related papers: Strongly Continuous Domains
In this article we study two "strong" topologies for spaces of smooth functions from a finite-dimensional manifold to a (possibly infinite-dimensional) manifold modeled on a locally convex space. Namely, we construct Whitney type topologies…
In this paper we consider the following question: For bounded domains with smooth boundary, can strong pseudoconvexity be characterized in terms of the intrinsic complex geometry of the domain? Our approach to answering this question is…
In this paper, we highlight some open problems stated by Xu and Zhao. In particular, we focus on strong $d$-spaces and answer two open problems concerning strong $d$-spaces. One is about the product space of an arbitrary family of strong…
We give a constructive account of the de Groot duality of stably compact spaces in the setting of strong proximity lattice, a point-free representation of a stably compact space. To this end, we introduce a notion of strong continuous…
Let $\Omega $ be a bounded ${\mathcal{C}}^{\infty}$-smoothly bounded domain in ${\mathbb{C}}^{n}.$ For such a domain we define a new notion between strict pseudo-convexity and pseudo-convexity: the size of the set $W$ of weakly…
The abstract boundary construction of Scott and Szekeres provides a `boundary' for any n-dimensional, paracompact, connected, Hausdorff, smooth manifold. Singularities may then be defined as objects within this boundary. In a previous paper…
Powerdomains in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages.\ In this paper,\ we extend the notion of powerdomain to the category of directed spaces,\ which is…
We use homotopy theory to extend the notion of strong and weak topological insulators to the non-stable regime (low numbers of occupied/empty energy bands). We show that for strong topological insulators in d spatial dimensions to be "truly…
Based on the concept of weakly meet $s_{Z}$-continuouity put forward by Xu and Luo in \cite{qzm}, we further prove that if the subset system $Z$ satisfies certain conditions, a poset is $s_{Z}$-continuous if and only if it is weakly meet…
We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive…
A supersymmetric theory with several scalar superfields generically has several domain wall type classical configurations which interpolate between various supersymmetric vacua of the scalar fields. Depending on the couplings, some of these…
We endow the set of persistence diagrams with the strong topology (the topology of countable direct limit of increasing sequence of bounded subsets considered in the bottleneck distance). The topology of the obtained space is described.…
In \cite{sp25}, continuous information frames were introduced that capture exactly all continuous domains. They are obtained from the information frames considered in \cite{sp21} by omitting the conservativity requirement. Information…
We introduce a new type of homotopy relation for digitally continuous functions which we call ``strong homotopy.'' Both digital homotopy and strong homotopy are natural digitizations of classical topological homotopy: the difference between…
The goal of this paper is to describe and clarify as much as possible the 3-dimensional topology underlying the Helmholtz cuts method, which occurs in a wide theoretic and applied literature about Electromagnetism, Fluid dynamics and…
The strong contraction mapping, a self-mapping that the range is always a subset of the domain, admits a unique fixed-point which can be pinned down by the iteration of the mapping. We introduce a topological non-convex optimization method…
The work is motivated by the papers [Ba1], [Ba2], [Ba7], [Ba11], [Be] and [Be-Tu]. In particular, the strong homology groups of continuous maps were defined and studied in [Be] and [Be-Tu]. To show that given groups are homology type…
We introduce a new lower-Vietoris-type hypertopology in a way similar to that with which a new upper-Vietoris-type hypertopology was introduced in G. Dimov and D. Vakarelov, "On Scott consequence systems", Fundamenta Informaticae, 33…
Inferring tie strengths (strong vs. weak) is a core task in network analysis, often guided by the Strong Triadic Closure (STC) principle. In multilayer networks, such as social platforms or biological systems, applying STC independently to…
In this paper, we provide some characterizations of strong pseudoconvexity by the boundary behavior of intrinsic invariants for smoothly bounded pseudoconvex domains of finite type in $\mathbb{C}^2$. As a consequence, if such domain is…