A categorification of Kauffman states for planar graphs

2026-05-19T14:02:30Z

Given a decorated planar graph $(G,ω)$, where $G$ is a planar graph and $ω\in H^1(|\mathcal{Q}G|,\mathbb{Z})$ with $\mathcal{Q}G$ the directed medial graph of $G$, we call some angular functions $ω$-compatible and study two distinct but related directed graphs: $\mathcal{L}(G,ω)$, which is the directed graph of such functions, and $BMS(G,ω)$, the directed graph of BMS states which are some pairs of $ω$-compatible functions plus additional data. We give sufficient conditions for $\mathcal{L}(G,ω)$ to be a graded distributive lattice, recovering Kauffman's Clock Theorem when $G$ is a knot diagram. We also define a potential on $\mathcal{Q} G$ and associate a representation of the corresponding quiver with potential to every BMS state. Under suitable assumptions, this construction yields an isomorphism between $\mathcal{L}(G,ω)$ and the lattice of subrepresentations of a maximal representation, generalizing a result of Bazier-Matte--Schiffler.

Coherent six-functor formalisms: Pro vs Solid

2026-05-19T13:18:43Z

In the classical theory for coherent sheaves, the only missing piece in the Grothendieck six-functor formalism picture is $j_!$ for an open immersion $j$. Towards fixing this gap, Deligne proposed a construction of $j_!$ by extending the sheaf class to pro sheaves, while Clausen-Scholze provided another solution by extending the sheaf class to solid modules. In this work, we prove that Deligne's construction coincides with the Clausen-Scholze construction via a natural functor, whose restriction to the full subcategory of Mittag-Leffler pro-systems is fully faithful.

Measurement Selection Strategies for Position Estimation in Indoor Environments

2026-05-19T06:00:07Z

Time-based indoor positioning techniques rely on multiple access points (APs) and measurements between the user equipment (UE) and the APs. In dense indoor environments, occlusion-induced non-line-of-sight (NLoS) propagation introduces significant delays in these measurements, thereby degrading position estimation accuracy. To address this challenge, this paper proposes measurement selection strategies to improve position estimation accuracy. A ray-tracing (RT) simulator is employed to characterize the propagation environment and derive AP neighborhood information, which is subsequently used to design and evaluate different measurement selection strategies. The approaches explored include AP neighborhood-based cardinality selection, intersection and union of measurements from AP neighborhoods, and fixed measurement selection. Experiments demonstrate the efficacy of the proposed measurement selection strategies in environments under significant NLoS conditions.

The Baire property in uniform spaces: a survey

2026-05-18T11:10:42Z

The Baire category theorem states that every complete pseudometric space is a Baire space. There are some results in metric spaces which have their analogue in uniform spaces, however this is not one of them. Nonetheless, since the Baire property is always desirable, we decide to explore some conditions, such as countable compacity, pseudocompacity and pseudocompleteness, and see in which circumstances a general complete uniform space satisfies the Baire property.

Solvability and Rigidity for Topological Skew Braces

2026-05-18T10:09:02Z

We study compact and locally compact topological analogues of the Byott--Vendramin solvability problem for finite skew braces, asking whether solvability of the additive group forces solvability of the multiplicative group. Our main theorem proves an affirmative result in the connected locally compact Hausdorff setting: if $B=(B,\cdot,\circ)$ is a connected locally compact Hausdorff topological skew brace and the additive group $(B,\cdot)$ is solvable, then the multiplicative group $(B,\circ)$ is solvable. The proof proceeds by reducing the additive group to a solvable Lie quotient and then applying an affine-action theorem: a connected Lie group acting transitively and affinely on a connected solvable Lie group, with solvable stabilizer identity component, is itself solvable. We further show that the Hausdorff, local compactness, and connectedness hypotheses are essential by constructing counterexamples when each is omitted. In the compact connected Hausdorff case with abelian additive group, we obtain a stronger rigidity phenomenon: the two group laws coincide.

Any countable topological $\mathbb F_p$-vector space has a closed discrete basis

2026-05-18T09:54:41Z

It is proved that any countable topological vector space over a finite field $\mathbb F_p$ or, equivalently, any countable Abelian topological group of prime exponent has a closed discrete basis.

Maximally almost periodic subgroups of Abelian groups of prime exponent

2026-05-17T15:12:13Z

It is proved that any infinite Abelian topological group of prime exponent has an infinite maximally almost periodic subgroup.

Intrinsic uniform structure on median algebras

2026-05-15T15:51:21Z

We introduce the median uniformity $\mathcal U_{\mathrm m}$, an intrinsic precompact convex uniform structure on a median algebra. It is Hausdorff under natural assumptions, for instance for finite-rank median algebras. In the Hausdorff case, its uniform completion yields the Minimal Median Compactification (MMC). The induced topology $τ_{\mathrm m}$ provides a natural higher-rank analogue of the interval topology on linearly ordered sets and of the shadow topology on rank-one median algebras. When all intervals in the median algebra $X$ are finite, the MMC is the unique proper median compactification of $(X,τ_{\mathrm m})$; in particular, it coincides with the Roller compactification. We apply this uniform framework to continuous actions of a topological group $G$ by median automorphisms. We show that the MMC is a median $G$-compactification. In the finite-rank case, the resulting compact $G$-system is Rosenthal representable and hence dynamically tame.

On the existence and properties of Alexandroff paratopological groups

2026-05-15T14:57:11Z

We study groups endowed with Alexandroff topologies and show that no non-discrete Alexandroff topology can turn a group into a topological group. This settles negatively the basic existence problem for Alexandroff topological groups. Motivated by this obstruction, we turn to the broader setting of Alexandroff paratopological groups. We establish several fundamental properties of these spaces and provide explicit non-compact $T_0$ examples, showing that the Alexandroff framework is rich enough to capture nontrivial paratopological phenomena. As applications, we address two classical open questions concerning feebly bounded subsets in paratopological groups, proving that non-compact Alexandroff paratopological groups offer a positive solution both for products of feebly bounded sets and for the feebly boundedness of $B^2$ when $B$ is a feebly bounded subset.

Persistent Homology of Biquandle Coloring Quivers

2026-05-14T12:51:04Z

In this paper, we extend the notion of directed clique complex to quivers and introduce an associated homology theory. By applying this construction to biquandle coloring quivers, we obtain new invariants of links. We then introduce a quiver filtration-valued invariant of links induced by filtrations of biquandle endomorphism sets. We construct persistent homological invariants of links by applying persistence techniques to these quiver filtrations through the introduced homology theory.

On Nondefinability of Interior-Connectedness via the Contact Relation

2026-05-14T07:58:21Z

This short paper is a small contribution to the field of Boolean contact algebras. We analyze the nondefinability of the property of interior-connectedness, and we prove certain minimality conditions for algebras and spaces that can be used in demonstrating that the aforementioned property cannot be expressed by means of contact within regular closed algebras.

Topological groupoids with involution and real algebraic stacks

2026-05-12T08:54:20Z

To a topological groupoid endowed with an involution, we associate a topological groupoid of fixed points, generalizing the fixed-point subspace of a topological space with involution. We prove that when the topological groupoid with involution arises from a Deligne-Mumford stack over $\mathbb{R}$, this fixed locus coincides with the real locus of the stack. This provides a topological framework to study real algebraic stacks, and in particular real moduli spaces. Finally, we propose a Smith-Thom type conjecture in this setting, generalizing the Smith-Thom inequality for topological spaces endowed with an involution.

On minimal collections of sequences for testing continuity

2026-05-12T01:35:03Z

We study test sets: subfamilies of sequences converging to a point P that still suffice to detect every discontinuity of real-valued functions at P. Ordered by inclusion, these test sets form a poset. Under natural hypotheses at P, we prove that this poset has a minimal element. We also analyze its maximal chains, showing that some have a least element, while others do not. Finally, on the sequential fan we give a concrete realization in which the minimal test set produced by our construction has strictly smaller cardinality than the full family of convergent sequences.

Almost Disjointness Principles and $Q$-Space Cardinals

2026-05-11T23:23:08Z

Banakh and Bazylevych introduced separation-axiom variants $\mathfrak q_i$, for $i=1,2,2\frac{1}{2}$, of the cardinal $\mathfrak q$, together with a cardinal $\mathfrak{adp}$ lying between $\mathfrak{dp}$ and $\mathfrak{ap}$. They asked whether $\mathfrak{adp}$ coincides with either of these two cardinals. We prove in ZFC that $\mathfrak{adp}=\mathfrak{dp}$. We define a dual variant $\mathfrak{adp}_2$ and show that $\mathfrak{adp}_2=\mathfrak{ap}$. We further study the relation between $\mathfrak{ap}$ and the weakened $Q$-space cardinals. We introduce a tree analogue $\mathfrak{at}$ of $\mathfrak{ap}$ and prove $\mathfrak q_1\leq\mathfrak{at}\leq\mathfrak q_{2\frac{1}{2}}$, hence $\mathfrak{ap}\leq\mathfrak q_{2\frac{1}{2}}$. Assuming the Generalized Continuum Hypothesis, we construct ccc forcing extensions with $\mathfrak{ap}=ω_1<\mathfrak{at}=\mathfrak q_{2\frac{1}{2}}=\mathfrak c$, so $\mathfrak{ap}<\mathfrak{at}$ is consistent with ZFC.

Obstructed subhomogeneous-bundle extensions and embeddings

2026-05-11T15:51:43Z

We address a number of problems concerning the (im)possibility of either extending locally trivial subbundles of possibly singular Banach/$C^*$ bundles globally, embedding subhomogeneous bundles into homogeneous ones, or recovering locally trivial compact-Lie-group-equivariant Banach or $C^*$ bundles as pullbacks along equivariant maps to compact spaces. The results include (1) the global extensibility of a locally trivial Banach/Hilbert/Banach-algebra/$C^*$ subbundle from a closed subspace of a paracompact space given appropriate homotopy constraints; (2) the homogeneous embeddability of equivariant subhomogeneous Banach/Hilbert bundles locally trivial along the singular locus under the same homotopy constraints, and (3) the characterization of finite-type equivariant locally trivial subhomogeneous $C^*$ bundles on normal spaces as precisely those (a) locally trivial as plain vector bundles, or (b) pulled back from the universal equivariant compactification or (c) pulled back from an equivariant map into a smooth manifold. The latter extends results of Phillips concerning non-equivariant matrix-algebra bundles restricted along the StoneČech compactification.