https://arxiv.org/api/7BjiW/pgb9G8Pq1QnlCTVrFhUOk2026-03-22T10:31:08Z58156015http://arxiv.org/abs/2602.14128v1Fuzzy Aura Topological Spaces with Applications to Rough Set Theory and Medical Decision Making2026-02-15T13:02:17ZWe introduce the concept of a fuzzy aura topological space $(X, \tildeτ, \tilde{a})$, obtained by equipping a Chang-type fuzzy topological space $(X, \tildeτ)$ with a fuzzy scope function $\tilde{a} : X \to \tildeτ$ satisfying $\tilde{a}(x)(x) = 1$ for every $x \in X$. This framework generalizes the recently introduced (crisp) aura topological spaces to the fuzzy setting. We define the fuzzy aura-closure operator and the fuzzy aura-interior operator, and prove that the closure is a fuzzy additive Čech closure operator whose transfinite iteration yields a fuzzy Kuratowski closure. Five classes of generalized fuzzy open sets are introduced, and a complete hierarchy among them is established with counterexamples separating all distinct classes. Fuzzy aura-continuity and its decompositions are studied. Separation axioms and fuzzy aura-regularity are introduced. Fuzzy aura-based lower and upper approximation operators are defined, generalizing both the crisp aura rough set model and the Dubois-Prade fuzzy rough set model. A novel FA-MCDM algorithm is proposed and applied to a medical diagnosis problem with comprehensive sensitivity analysis.2026-02-15T13:02:17Z18 pages, 8 tables AçıkgözBalıkesir Universityhttp://arxiv.org/abs/2602.14125v1Statistically p-Upward Quasi-Cauchy Sequences and Cone-Valued Continuity2026-02-15T12:53:29ZWe introduce statistically $p$-upward quasi-Cauchy sequences, defined by the condition $\lim_{n\to\infty}\frac{1}{n}|\{k\leq n: x_k - x_{k+p}\geq\varepsilon\}|=0$ for every $\varepsilon>0$, and develop the corresponding notions of compactness and continuity. We prove that a subset of $\mathbb{R}$ is statistically $p$-upward compact if and only if it is bounded below, characterizing lower boundedness sequentially. Statistically $p$-upward continuity is shown to imply uniform continuity on below bounded sets. The function space $\mathrm{SUC}_p(E)$ is a closed convex cone that fails to be a vector subspace -- distinguishing it from all previously studied sequential continuity spaces. We establish that every non-decreasing uniformly continuous function belongs to $\mathrm{SUC}_p(E)$, use Weyl's equidistribution theorem to show $\sin x\notin\mathrm{SUC}_p(\mathbb{R})$, prove a step-parameter hierarchy, and show that $\mathrm{SUC}_p(E)\cap C_b(E)$ is nowhere dense in $C_b(E)$. As an application, we develop a one-sided error control theory for function approximation, illustrated by Bernstein operators on a pharmacokinetic model. The inclusion relations among the continuity types studied and open problems are provided.2026-02-15T12:53:29Z25 pages, 26 references Açıkgöz.Balıkesir Universityhttp://arxiv.org/abs/2602.13883v1Fibers of continuous functions that connect or separate some opposite faces of the unit cube, and a generalization of the Lebesgue Covering Theorem2026-02-14T20:50:15ZWe formulate and prove a dimension-theoretic generalization of the Lebesgue Covering Theorem. A generalized $n$-dimensional version of the Steinhaus Chessboard Theorem, recently proved by Turzański and Ziajor, is a simple consequence of this result. Moreover, we study two types of sets associated with a continuous function $g \colon I^n \to \mathbb{R}$. Namely, the set of all points $p \in \mathbb{R}$ such that the fiber $g^{-1}[\left\{p\right\}]$ connects $i$th opposite faces of $I^n$, and the set of all points $p \in \mathbb{R}$ such that the fiber $g^{-1}[\left\{p\right\}]$ separates $i$th opposite faces of $I^n$. We provide necessary and sufficient conditions for the existence of a continuous function $g \colon I^n \to \mathbb{R}$ in terms of these sets.2026-02-14T20:50:15Z33 pagesMichał Dybowskihttp://arxiv.org/abs/2602.12861v1Stone duality of Lawson compact algebraic L-domain2026-02-13T12:11:55ZIn this paper, a subclass of bounded distributive lattices, that is, finitely disjunctive distributive lattices (FDD-lattices) have been introduced. Then we apply it to establish a Stone duality for Lawson compact algebraic L-domains. Furthermore, we develop a dual equivalence between the category of FDD-lattices with lattice homomorphisms and that of Lawson compact algebraic L-domains with spectral maps.2026-02-13T12:11:55ZHuijun HouAo Shenhttp://arxiv.org/abs/2602.12678v1Soft Bitopological Groups via Soft Elements2026-02-13T07:18:50ZWorking in the soft-element (classical) viewpoint, we introduce \emph{soft bitopological groups}: soft groups endowed with two soft topologies such that the induced topologies on the set of soft elements make the soft-element group into a (classical) bitopological group. This approach unifies and simplifies continuity proofs, because the group operations become coordinatewise and standard topological-group methods apply. We organize the theory in a standard ``definitions--characterizations--properties--examples'' format. In particular, we (i) record the induced topology and induced bitopology on soft elements of a soft set; (ii) characterize soft bitopological groups by continuity of the map $(a,b)\mapsto a\ast b^{-1}$ in each induced topology; (iii) show that translations and inversion are homeomorphisms in each induced topology; (iv) collect pairwise soft separation axioms and pairwise soft compactness results (including the finiteness principle for compactness when the parameter set is finite); and (v) define soft bitopological group homomorphisms and basic invariants. Several examples illustrat that the two topologies can be independent (non-comparable) even in Hausdorff situations.2026-02-13T07:18:50Z16 pages, 0 figuresS. Rayhttp://arxiv.org/abs/2602.12149v1On some convergence approach structures on hyperspaces2026-02-12T16:33:39ZIn the context of the category $\mathsf{Cap}$ of convergence approach spaces and contractions, we introduce and study approach analogs of the upper and lower Kuratowski convergences, upper-Fell and Fell topologies on the set of closed subsets of the coreflection on the category $\mathsf{Conv}$ of convergence spaces of a convergence approach space. In particular, over a pre-approach space, the $\mathsf{Conv}$-coreflection of the lower Kuratowski convergence approach structure is the lower Kuratowski convergence associated with the $\mathsf{Conv}$-coreflection of the base space, while the $\mathsf{Conv}$-reflection is the lower Kuratowski convergence associated with the $\mathsf{Conv}$-reflection. The $\mathsf{Conv}$-coreflection of the upper Kuratowski convergence approach is is the upper Kuratowski convergence associated with the $\mathsf{Conv}$-reflection of the base space, while the $\mathsf{Conv}$-reflection is the upper Kuratowski convergence associated with the $\mathsf{Conv}$-coreflection of the base space. We show that, over an approach space, the lower Kuratowski convergence approach structure is in fact an approach structure that coincides with the $\vee$-Vietoris approach structure introduced by Lowen and his collaborators, though it may be strictly finer over a general convergence approach space. We show that the upper Fell convergence approach structure is a non-Archimedean approach structure coarser than the upper Kuratowski convergence approach, but finer than the upper Fell approach structure introduced by the first and third author. We also obtain a $\mathsf{Cap}$ abstraction of the classical result that if the upper Kuratowski convergence over a topological space is pretopological, then it is also topological.2026-02-12T16:33:39ZM. AteşF. MynardS. Sağıroğluhttp://arxiv.org/abs/2601.19807v2On the Sidon tails of $\left\{\lfloor x^n\rfloor\right\}$2026-02-12T09:38:36ZWe prove that the tail of the sets $$\mathbf S_x := \big\{\left\lfloor x^n\right\rfloor : n\in \mathbb N\big\}$$ are Sidon for almost all $x\in (1,2)$. Then we prove that for all $\varepsilon>0$, there exists $x\in (1,\, 1+\varepsilon)$ and $r\in (2-\varepsilon,\, 2)$ such that $\mathbf S_x$ and $\mathbf S_r$ do not have a Sidon tail.2026-01-27T17:08:53ZSayan Duttahttp://arxiv.org/abs/2602.10826v1The metric geometry of paper surfaces under geometric constraints2026-02-11T13:11:34ZWe investigate the quasisymmetric uniformization of a special class of metric surfaces known as paper surfaces, constructed as quotients of planar multipolygons via segment pairings, including infinite Type W identifications. These spaces, which arise naturally in dynamical settings, exhibit conic singularities and complex geometric structure. Our goal is to prove that a broad class of such surfaces satisfies Ahlfors 2-regularity and linear local contractibility, which together ensure the existence of a quasisymmetric parametrization onto the standard 2-sphere.2026-02-11T13:11:34ZLuciana Menezes Vasconceloshttp://arxiv.org/abs/2602.09350v1Total positivity in twisted flag varieties2026-02-10T02:55:21ZLet $G$ be a Kac-Moody group, split over $\mathbb R$. The totally nonnegative part of $G$ and its (ordinary) flag variety $G/B^+$ was introduced by Lusztig. It is known that the totally nonnegative parts of $G$ and $G/B^+$ have remarkable combinatorial and topological properties.
In this paper, we consider the totally nonnegative part of the $J$-twisted flag variety $G/{}^J B^+$, where ${}^J B^+$ is the Borel subgroup opposite to $B^+$ in the standard parabolic subgroup $P_J^+$ of $G$. The $J$-twisted flag varieties include the ordinary flag variety $G/B^+$ as a special case. Our main result show that the totally nonnegative part of $G/{}^J B^+$ decomposes into cells, and the closure of each cell is a regular CW complex. This generalizes the work of Galashin-Karp-Lam \cite{GKL22} and the joint work of Bao with the first author \cite{BH24} for ordinary flag varieties.
As an application, we deduce that the totally nonnegative part of the double flag variety $G/B^+ \times G/B^-$ with respect to the diagonal $G$-action has similar nice properties. We also establish some connections between the totally nonnegative part of the double flag with the canonical basis of the tensor product of a lowest weight module with a highest weight module of $G$.
As another application, we show that the link of identity in a totally nonnegative reduced double Bruhat cell of $G$ is a regular CW complex. This generalizes the work of Hersh \cite{Her14} on the link of $U_{\geq0}^-$ and gives a positive answer to an open question of Fomin and Zelevinsky.2026-02-10T02:55:21Z46 pagesXuhua HeKaitao Xiehttp://arxiv.org/abs/2405.09437v5About the space of continuous functions with open domain2026-02-09T19:57:45ZWe will see how to define the metric $β$, which turns the topological space of continuous functions whose domains are open subsets of a locally compact and second countable space $X$ to values in a polish space $Y$, called $(C_{od}(X,Y),τ_{ι,D})$ into a polish space. In particular, we will present a metric for the inverse semigroup of homeomorphisms of a locally compact, Hausdorff, and second-countable space.2024-05-15T15:28:18Z13 pages, 4 figuresEdwar Alexis Ramírez Ardilahttp://arxiv.org/abs/2510.14577v2Linear orders on chainable continua2026-02-09T16:21:14ZWe define and study certain linear orders on chainable continua. Those orders depend on a sequence of chains obtained from definition of chainability and on a fixed non-principal ultrafilter on the set of natural numbers. An alternative method of defining linear orders on a chainable continuum $X$ uses representation of $X$ as an inverse sequence of arcs and fixed non-principal ultrafilter on $\mathbb{N}$. We compare those two approaches. We prove that there exist exactly $2$ distinct ultrafilter orders on any arc, exactly $4$ distinct ultrafilter orders on the Warsaw sine curve, and exactly $2^{\mathfrak{c}}$ distinct ultrafilter orders on the Knaster continuum. We study the order type of various chainable continua equipped with an ultrafilter order and prove that a chainable continuum $X$ is Suslinean if and only if for every ultrafilter order $\leq_{\mathcal{U}}^{\mathcal{D}}$ on $X$, the space $(X, \leq_{\mathcal{U}}^{\mathcal{D}})$ is order isomorphic to $([0,1],\leq)$. We study also descriptive complexity of ultrafilter orders on chainable continua. We prove that the existence of closed ultrafilter order characterizes the arc and we show that for Suslinean chainable continua, any ultrafilter order is both of type $F_σ$ and $G_δ$. On the other hand, we prove that there is no analytic and no co-analytic ultrafilter order on the Knaster continuum.2025-10-16T11:38:16ZWitold MarciszewskiJulia ŚcisłowskaBenjamin Vejnarhttp://arxiv.org/abs/2602.07686v1Compactness and Connectedness in Aura Topological Spaces2026-02-07T20:14:48ZThis is the second paper in a series on aura topological spaces $(X, τ, \mathfrak{a})$, where $\mathfrak{a}: X \to τ$ is a scope function with $x \in \mathfrak{a}(x)$. We study covering and connectivity properties in this setting. Five compactness-type notions are defined ($\mathfrak{a}$-compact, $\mathfrak{a}$-Lindelof, countably $\mathfrak{a}$-compact, $\mathfrak{a}$-sequentially compact, $\mathfrak{a}$-limit point compact) and their mutual relationships are determined. For transitive aura functions we obtain a concrete convergence criterion: $(x_n)$ converges to $x$ in $τ_{\mathfrak{a}}$ if and only if $x_n \in \mathfrak{a}(x)$ eventually. We show that $\mathfrak{a}$-compact subsets of $\mathfrak{a}$-$T_2$ spaces are $\mathfrak{a}$-closed and that $\mathfrak{a}$-compactness is preserved under $\mathfrak{a}$-continuous surjections. On the connectivity side, $\mathfrak{a}$-connected, $\mathfrak{a}$-path connected, and $\mathfrak{a}$-locally connected spaces are introduced; $\mathfrak{a}$-components are $\mathfrak{a}$-closed, and they are $\mathfrak{a}$-open when the space is $\mathfrak{a}$-locally connected. We construct subspace and product aura topologies. For products the inclusion chain $(τ_{\mathfrak{a}}) \times (τ_{\mathfrak{b}}) \subseteq τ_{\mathfrak{a} \times \mathfrak{b}} \subseteq τ_X \times τ_Y$ is established, with equality on the left when both scope functions are transitive. A Tychonoff-type theorem for transitive aura spaces is proved. All implications are shown to be strict by counterexamples.2026-02-07T20:14:48Z17 pages. Second paper in the Aura Topological Spaces seriesAhu Acikgozhttp://arxiv.org/abs/2602.07678v1Aura Topological Spaces and Generalized Open Sets with Applications to Rough Sets, Sensor Networks, and Epidemic Modelling2026-02-07T19:59:38ZWe equip a topological space $(X,τ)$ with a function $\mathfrak{a}: X \to τ$ satisfying the single axiom $x \in \mathfrak{a}(x)$. The resulting triple $(X, τ, \mathfrak{a})$, which we call an aura topological space, provides a point-to-open-set assignment that differs from all existing auxiliary structures in topology. The aura-closure operator $\text{cl}_{\mathfrak{a}}(A) = \{x \in X : \mathfrak{a}(x) \cap A \neq \emptyset\}$ turns out to be an additive Cech closure operator; it satisfies extensivity, monotonicity, and finite additivity, but idempotency fails in general. Iterating $\text{cl}_{\mathfrak{a}}$ transfinitely yields a Kuratowski closure whose topology $τ_{\mathfrak{a}}^{\infty}$ satisfies $τ_{\mathfrak{a}}^{\infty} \subseteq τ_{\mathfrak{a}} \subseteq τ$. We introduce five classes of generalized open sets, determine their complete hierarchy, and separate all non-coinciding classes by counterexamples. Continuity notions, decomposition theorems, and separation axioms are studied. Three applications are developed: rough set approximations generalizing Pawlak's model, wireless sensor network coverage analysis, and epidemic spread modelling.2026-02-07T19:59:38Z25 pages, 1 figureAhu Acikgozhttp://arxiv.org/abs/2602.07362v1Topological fundamental groups of locally finite infinite configuration spaces and infinite braids2026-02-07T05:08:54ZWe study the topological fundamental groups of the locally finite infinite ordered configuration space \(Conf^{lf}_\infty(\C)\) in the plane and the homotopy quotient of $Conf^{lf}_\infty$ by the canonical action of the infinite permutation group $\Aut(\N)$: \[ H^{lf}(\infty):=π_1^{\mathrm{top}}(Conf^{lf}_\infty(\C),\widetilde{\N}), \qquad B^{lf}(\infty):=π_1^{\mathrm{top}}\!\bigl(Conf^{lf}_\infty(\C)\!/\!/\Aut(\N),[e_0,\widetilde{\N}]\bigr). \] We prove that \(H^{lf}(\infty)\) and \(B^{lf}(\infty)\) are non-discrete and complete topological groups. A main structural theorem identifies \(H^{lf}(\infty)\) with a canonical locally finite inverse-limit model built from finite pure braid groups, and we construct a complete left-invariant ultrametric compatible with the quotient topology from the loop space of $\Conf$. The direct limit of finite pure braid groups admits a dense embedding into \(H^{lf}(\infty)\), and we show that \(H^{lf}(\infty)\) is the Raĭkov completion of this subgroup. Moreover, the direct limit of finite braid groups embeds into \(B^{lf}(\infty)\) and is dense in the finitary subgroup \(B^{lf}_{\mathrm{fin}}(\infty)\subseteq B^{lf}(\infty)\).2026-02-07T05:08:54Z43 pagesJyh-Haur Tehhttp://arxiv.org/abs/2602.06752v1The Set of Universal Interpolating Functions is Nowhere Dense2026-02-06T14:54:59ZIn 1998, Benyamini introduced and proved the existence of universal interpolating functions. In the note we prove that the set of universal interpolating functions is nowhere dense in the space of continuous functions on $\mathbb{R}$. Several extensions and generalisations are also considered.2026-02-06T14:54:59Z7 pages, 1 figureLars OlsenNoah PughNathaniel Strout