Equilibrium for max-plus payoff

2026-03-05T18:32:13Z

We study equilibrium concepts in non-cooperative games under uncertainty where both beliefs and mixed strategies are represented by non-additive measures (capacities). In contrast to the classical Nash framework based on additive probabilities and linear convexity, we employ capacities and max-plus integrals to model qualitative and idempotent decision criteria. Two equilibrium notions are investigated: Nash equilibrium in mixed strategies expressed by capacities, and equilibrium under uncertainty in the sense of Dow and Werlang, where players choose pure strategies but evaluate payoffs with respect to non-additive beliefs. For games with compact strategy spaces and continuous payoffs, we establish existence results for both equilibrium concepts using abstract convexity techniques and a Kakutani-type fixed point theorem.

ETH-Tight Complexity of Optimal Morse Matching on Bounded-Treewidth Complexes

2026-03-05T17:32:04Z

The Optimal Morse Matching (OMM) problem asks for a discrete gradient vector field on a simplicial complex that minimizes the number of critical simplices. It is NP-hard and has been studied extensively in heuristic, approximation, and parameterized complexity settings. Parameterized by treewidth $k$, OMM has long been known to be solvable on triangulations of $3$-manifolds in $2^{O(k^2)} n^{O(1)}$ time and in FPT time for triangulations of arbitrary manifolds, but the exact dependence on $k$ has remained an open question. We resolve this by giving a new $2^{O(k \log k)} n$-time algorithm for any finite regular CW complex, and show that no $2^{o(k \log k)} n^{O(1)}$-time algorithm exists unless the Exponential Time Hypothesis (ETH) fails.

The existence of suitable sets in locally compact strongly topological gyrogroups

2026-03-05T08:46:20Z

A subset $S$ of a topological gyrogroup $G$ is said to be a {\it suitable set} for $G$ if $S$ is discrete, the gyrogroup generated by $S$ is dense in $G$, and $S\cup \{0\}$ is closed in $G$, where $0$ is the identity element of $G$. In this paper, it is proved that every locally compact strongly topological gyrogroup has a suitable set, which gives an affirmative answer to a question posed by F. Lin, et al. in \cite{key14}.

Completeness of topological spaces: An induction-free review

2026-03-04T21:42:35Z

Completeness for a (topological) space is often based on the existence of special structures (such as metrics, uniformities, proximities, convergences, etc) that explicitly induce the topology, making the completeness induction-dependent. However, in any given space $X=(X,τ)$, suppose we fix a base $\mathcal{B}$ of $τ$ that is \emph{graded}, in the sense it is partitioned as $\mathcal{B}=\bigcup_{\varepsilon\in \mathcal{E}}\mathcal{B}_\varepsilon$ into open covers $\mathcal{B}_\varepsilon$ of $X$, making $X=(X,τ,\mathcal{B})$ a \emph{(graded) base space}. If we now relax the notion of \emph{convergence of nets} to a notion of \emph{approach between nets} in $X$, then we obtain a more natural \emph{induction-free} notion of a \emph{cauchy net} in a base space, hence a corresponding \emph{induction-free} notion of \emph{completeness} for base spaces. We find that many classical concepts and results on completeness for uniform spaces carry over to completeness for a certain class of base spaces (named \emph{locally symmetric base spaces} or \emph{$lsb$-spaces}) that properly contains uniform spaces. The said classical results include characterization of compactness, Baire's theorem, existence of a completion, and completeness results for product and function $lsb$-spaces.

Continuity of Magnitude at Skew Finite Subsets of $\ell_1^N$

2026-03-04T16:55:00Z

Magnitude is an isometric invariant of metric spaces introduced by Leinster. Although magnitude is nowhere continuous on the Gromov-Hausdorff space of finite metric spaces, continuity results are possible if we restrict the ambient space. In this paper, we focus on $\ell_1^N$ and prove that magnitude is continuous at every skew finite subset of $\ell_1^N$, that is, at every finite set whose coordinate projections are injective. For such sets, we analyze cubical thickenings and derive an explicit formula for their weight measures. This yields a formula for the magnitude of these thickenings, which we use to prove that their magnitude converges to that of the underlying finite set. Since skew finite subsets of $\ell_1^N$ form an open and dense subset of the space of all finite subsets, magnitude is continuous on an open dense subset of the space of finite subsets of $\ell_1^N$.

Arc-like continua, Julia sets of entire functions, and Eremenko's Conjecture

2026-03-04T13:46:29Z

A hyperbolic transcendental entire function with connected Fatou set is said to be "of disjoint type". It is known that a disjoint-type function provides a model for the dynamics near infinity of all maps in the same parameter space; hence a good understanding of these functions has implications in wider generality. Our goal is to study the topological properties of the Julia sets of entire functions of disjoint type. In particular, we give a detailed description of the topology of their connected components. More precisely, consider a "Julia continuum" C of such a function, i.e. the closure in the Riemann sphere of a component of the Julia set. We show that infinity is a terminal point of C, and that C has span zero in the sense of Lelek; under a mild geometric assumption on the function C is arc-like. (Whether every span zero continuum is also arc-like was a famous question in continuum theory, only recently resolved in the negative.) Conversely, we construct a single disjoint-type entire function with the remarkable property that each arc-like continuum with at least one terminal point is realised as a Julia continuum. The class of arc-like continua with terminal points is uncountable. It includes, in particular, the sin(1/x)-curve, the Knaster buckethandle and the pseudo-arc, so these can all occur as Julia continua of a disjoint-type entire function. We give similar descriptions of the possible topology of Julia continua that contain periodic points or points with bounded orbits, and answer a question of Barański and Karpińska by showing that Julia continua need not contain points that are accessible from the Fatou set. Furthermore, we construct an entire function whose Julia set has connected components on which the iterates tend to infinity pointwise, but not uniformly. This is related to a famous conjecture of Eremenko concerning escaping sets of entire functions.

Equi-Baire One Families of Möbius Transformations and One-Parameter Subgroups of $\mathrm{PSL}(2,\mathbb{C}$)

2026-03-04T07:14:18Z

We study the Equi-Baire one property families of Möbius transformations on the Riemann sphere. For a loxodromic map $f$, we show its iterates $\{f^n\}$ form an orbitally Equi-Baire one family on the attracting basin. For a one-parameter subgroup $\{f_t \}$, we prove it is Equi-Baire one on all compact sets of $\widehat{\mathbb{C}}$ if and only if the subgroup is relatively compact in $\mathrm{SL}(2,\mathbb{C})$. This provides a dynamical characterization of the Equi-Baire one condition for Möbius families.

On the Collatz Conjecture: Topological and Ergodic Approach

2026-03-03T18:28:00Z

We study the Collatz function famously related to the Collatz Conjecture under the topological and ergodic perspectives, including an approach with thermodynamic formalism. By introducing a key topology and its Borel $σ$-algebra we show that recurrence implies periodicity. Moreover, we establish that the set of periodic orbits is finite if, and only if, every continuous potential possesses some equilibrium state. The uniqueness of periodic orbits is equivalent to the uniqueness of equilibrium state for every bounded and continuous potential. Additionally, by using the Alexandroff compactification of the established topology, we prove finiteness of cycles, which is a significant advance to the conjecture itself. We also present a proof of uniqueness of cycle and show that there is no divergent orbits. Finally, we apply our technique to the Baker and Syracuse maps, obtaining a similar result on the finiteness of orbits and no divergence for a general class of important maps.

Functional countability and exponential separability of product spaces and subspaces

2026-03-02T16:01:44Z

We investigate the behavior of functional countability and exponential separability in products and subspaces of topological spaces. We solve a problem of Tkachuk by showing that the product of functionally countable pseudocompact spaces is itself functionally countable. Solving another problem of Tkachuk, we show that it is independent of ZFC whether regular spaces which have all their subspaces functionally countable are hereditarily Lindelöf. Finally, we prove that the $σ$-product of non-zero ordinals is exponentially separable, thereby extending a result of Kemoto and Szeptycki.

Tractable Metric Spaces and Magnitude Continuity

2026-03-02T03:21:43Z

Magnitude is an isometric invariant of metric spaces introduced by Leinster. Since its inception, it has inspired active research into its connections with integral geometry, geometric measure theory, fractal dimensions, persistent homology, and applications in machine learning. In particular, when it comes to applications, continuity and stability of invariants play an important role. Although it has been shown that magnitude is nowhere continuous on the Gromov--Hausdorff space of finite metric spaces, positive results are possible if we restrict the ambient space. In this paper, we introduce the notion of tractable metric spaces, provide a characterization of these spaces, and establish several continuity results for magnitude in this setting. As a consequence, we offer a new proof of a known result stating that magnitude is continuous on the space of compact subsets of $\mathbb{R}$ with respect to the Hausdorff metric. Furthermore, we show that the magnitude function is Lipschitz when restricted to bounded subspaces of $\mathbb{R}$.

Constructive and Predicative Locale Theory in Univalent Foundations

2026-03-01T22:28:19Z

We develop locale theory constructively and predicatively in univalent foundations (UF), with a particular focus on the theory of spectral and Stone locales. In the context of UF, predicativity refers specifically to the development of mathematics without the use of propositional resizing axioms. The traditional approach to the predicative development of point-free topology is to work with presentations of locales known as formal topologies. Here, we take a different approach: we work directly with frames, keeping careful track of the universes involved and adopting certain size assumptions to ensure that the theory is amenable to predicative development. Although it initially appears that many fundamental constructions of locale theory rely on impredicativity, we show that these can be circumvented under rather natural size assumptions. We first lay the groundwork for the predicative development of locale theory. We then orient our development towards a systematic investigation of the theory of spectral and Stone locales. We establish a categorical equivalence between large, locally small, and small-complete spectral locales and small distributive lattices. Moreover, we exhibit the category of Stone locales as a coreflective subcategory of spectral locales and spectral maps, using the construction known as the patch locale. Finally, we investigate the topology of algebraic DCPOs and Scott domains. We develop the Scott locale of a Scott domain, show that it forms a spectral locale, and then proceed to investigate its patch. Using this, we obtain a topological characterization of de Jong's notion of sharp element: we establish a correspondence between the sharp elements of a Scott domain and the points of the patch of its Scott locale. Our development is completely formalized and has been machine-checked using the Agda proof assistant.

A new order for ideal sequential compactness

2026-03-01T13:55:09Z

Let $\mathcal{I}$ be an ideal on $ω$ and $X$ be a topological space. A sequence $(x_n)_{n\in ω}$ in $X$ is $\mathcal{I}$-convergent if there is $x\in X$ such that $\{n\in ω:x_n\notin U\}\in\mathcal{I}$ for every open neighborhood $U$ of $x$. We examine the following variant of sequential compactness associated with $\I$: $X$ is $\mathrm{BW}(\mathcal{I})$ if for every sequence $(x_n)_{n\in ω}$ in $X$ there is $A\notin\mathcal{I}$ such that $(x_n)_{n\in A}$ is $\mathcal{I}$-convergent. We introduce a new preorder on ideals, denoted $\leq_{BW}$, such that $\mathcal{I}\leq_{BW}\mathcal{J}$ implies that every $\mathrm{BW}(\mathcal{J})$ space is $\mathrm{BW}(\mathcal{I})$. Our main result states that under CH the above implication can be reversed in the case of $\mathbf{F_σ}$ ideals $\I$ and $\J$. We compare $\leq_{BW}$ with the Katětov order and study the relation $\leq_{BW}$ among some well-known ideals (e.g. the van der Waerden ideal $\mathcal{W}$ consisting of all subsets of $ω$ that do not contain arbitrary long finite arithmetic progressions). As a consequence, we answer two open questions posed by Filipów and Tryba in [Top. App. {\textbf{178}} (2014), 438--452] concerning comparison of $\mathrm{BW}(\mathcal{W})$ with the class of sequentially compact spaces.

Infima and cardinal characteristics of critical ideals for countable compact spaces

2026-02-28T14:31:34Z

For each countable ordinal $α\ge 2$, the ideals $\mathsf{conv}_α$ were introduced in ``Critical ideals for countable compact spaces'' (to appear in Fund. Math., see also arXiv:2503.12571) to characterize compact countable spaces homeomorphic to $ω^α\cdot n+1$ with the order topology. We study the structure of these ideals in the Katětov order, namely for limit ordinals $α$, we show that $\mathsf{conv}_α$ do not serve as greatest lower bounds of the $\mathsf{conv}_β$ for $β<α$. We therefore define the ideals $\mathsf{conv}_{<α}$ with this property and show that together, the ideals $\mathsf{conv}_α$ and $\mathsf{conv}_{<α}$ form intertwined decreasing hierarchies of $Σ^0_4$- and $Π^0_5$-complete ideals. Furthermore, we examine several cardinal invariants of $\mathsf{conv}_α$, computing invariants that have recently appeared in the literature in various contexts.

On semi-openness of fiber-onto extensions of minimal semiflows and quasi-separable maps

2026-02-28T13:08:29Z

The purpose of this paper is to find conditions for a continuous onto map $φ\colon X\rightarrow Y$ and its induced map $φ_*\colon\mathcal{M}^1(X)\rightarrow\mathcal{M}^1(Y)$ to be semi-open, where $X$, $Y$ are compact Hausdorff spaces and $\mathcal{M}^1(X)$, $\mathcal{M}^1(Y)$ are their Borel probability spaces. For that, we mainly prove the following results by using the structure theory of extensions of semiflows and inverse limit techniques: (1) If $φ$ is an extension of minimal flows, then $φ_*$ is semi-open. (2) If $φ$ is a quasi-separable fiber-onto extension of minimal semiflows, then $φ$ and $φ_*$ are semi-open. (3) If $Y$ is metrizable, then $φ$ is semi-open if and only if $φ_*$ is semi-open. In addition, if $X,Y$ are left-topological groups, $X$ is Lindelöf quasi-regular, $Y$ is Baire and if $φ$ is a locally closed continuous onto equivariant mapping, then $φ$ is semi-open (This is a generalization of Pontryagin's open-mapping theorem).

Small Hurewicz and Menger sets which have large continuous images

2026-02-27T11:40:54Z

We provide new techniques to construct sets of reals without perfect subsets and with the Hurewicz or Menger covering properties. In particular, we show that if the Continuum Hypothesis holds, then there are such sets which can be mapped continuously onto the Cantor space. These results allow to separate the properties of Menger and $\mathsf{S}_1(Γ,\mathrm{O})$ in the realm of sets of reals without perfect subsets and solve a problem of Nowik and Tsaban concerning perfectly meager subsets in the transitive sense. We present also some other applications of the mentioned above methods.