Related papers: Sharp Elements and Apartness in Domains
An arithmetical discrete plane is said to have critical connecting thickness if its thickness is equal to the infimum of the set of values that preserve its $2$-connectedness. This infimum thickness can be computed thanks to the fully…
We investigate two approximation relations on a T0 topological space, the n-approximation, and the d-approximation, which are generalizations of the way-below relation on a dcpo. Different kinds of continuous spaces are defined by the two…
While any infimum in a poset can also be computed as a supremum, and vice versa, categorical limits and colimits do not always approximate each other. If I approach a point from below, and you approach it from above, then we will surely…
Topological learning is a wide research area aiming at uncovering the mutual spatial relationships between the elements of a set. Some of the most common and oldest approaches involve the use of unsupervised competitive neural networks.…
We consider interpolation inequalities for imbeddings of the $l^2$-sequence spaces over $d$-dimensional lattices into the $l^\infty_0$ spaces written as interpolation inequality between the $l^2$-norm of a sequence and its difference. A…
This paper develops and analyzes a fully discrete finite element method for a class of semilinear stochastic partial differential equations (SPDEs) with multiplicative noise. The nonlinearity in the diffusion term of the SPDEs is assumed to…
We investigate when the space $\mathcal O_X$ of open subsets of a topological space $X$ endowed with the Scott topology is core compact. Such conditions turn out to be related to infraconsonance of $X$, which in turn is characterized in…
We survey determinantal singularities, their deformations, and their topology. This class of singularities generalizes the well studied case of complete intersections in several different aspects, but exhibits a plethora of new phenomena…
A smooth rigidity inequalitiy provides an explicit lower bound for the $(d+1)$-st derivatives of a smooth function $f$, which holds, if $f$ exhibits certain patterns, forbidden for polynomials of degree $d$. The main goal of the present…
We prove the existence of a solution to an equation governing the number density within a compact domain of a discrete particle system for a prescribed class of particle interactions taking into account the effects of the diffusion and…
In this paper, we investigate the stochastic differential equation on $\mathbb{R}^d,d\geq2$: \begin{align*} \dif X_t&=v(t,X_t)\dif t+\sqrt{2} \dif W_t. \end{align*} For any finite collection of initial probability measures…
This paper addresses sharpness conditions for constructing $C^r$ conforming finite element spaces from a superspline spaces on general simplicial triangulations. We introduce the concept of extendability for the pre-element spaces, which…
We provide a complete characterization of closed sets with empty interior and positive reach in $\mathbb{R}^2$. As a consequence, we characterize open bounded domains in $\mathbb{R}^2$ whose high ridge and cut locus agree, and hence $C^1$…
Topology describes global quantities invariant under continuous deformations, such as the number of elementary excitations at a phase boundary, without detailing specifics. Conversely, differential laws are needed to understand the physical…
The paper studies computability-theoretic aspects of topological $T_0$-spaces. We introduce effective versions of the notions of a countable $c$-poset and a (second-countable) topological space with base. Based on this, we prove an…
One of the consequences of the Compactness Principle in structural Ramsey theory is that the small Ramsey degrees cannot exceed the corresponding big Ramsey degrees, thereby justifying the choice of adjectives. However, it is unclear what…
The central purpose of this article is to establish new inverse and implicit function theorems for differentiable maps with isolated critical points. One of the key ingredients is a discovery of the fact that differentiable maps with…
We emphasize the complementarity of timelike and spacelike studies of deep exclusive processes, taking as an example the case of timelike Compton Scattering (TCS) i.e. the exclusive photoproduction of a lepton pair with large invariant…
Discrete Morse theory emerged as an essential tool for computational geometry and topology. Its core structures are discrete gradient fields, defined as acyclic matchings on a complex $C$, from which topological and geometrical informations…
We define topologically semiperfect (complete, separated, right linear) topological rings and characterize them by equivalent conditions. We show that the endomorphism ring of a module, endowed with the finite topology, is topologically…