On the Collatz Conjecture: Topological and Ergodic Approach

2026-03-18T18:18:49Z

We study a class of maps having the Collatz function (famously related to the Collatz Conjecture) as an example, under the topological and ergodic perspectives, including an approach with thermodynamic formalism. By introducing a key topology and its Borel sigma-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 dictionary established in the paper, we prove finiteness of cycles, which is a significant advance to the conjecture itself. Finally, we apply our technique to the Baker and Syracuse maps, obtaining a similar result on the finiteness of orbits for a general class of important maps.

Distance Backbones Optimize Spreading Dynamics and Centrality Ranks in the Sparsification of Complex Networks

2026-03-18T09:48:42Z

Detailed network models of social, biological and other complex systems are often dense, which increases their computational complexity in simulations and analysis. To address this challenge, graph sparsification is used to remove edges while preserving desired network properties. Distance backbones of weighted graphs, which remove edges that break a generalized triangle inequality for any given path-length measure, preserve all shortest paths of weighted graphs. They have been shown to typically sparsify graphs more, as well as preserve community structure and spreading dynamics better than alternative state-of-the-art methods. Here, We show that they significantly best preserve node centrality ranks, as well as local and global dynamics in spreading phenomena. This is done by introducing the distance backbone synthesis (DBS) to progressively sparsify weighted graphs according to a general family of nested distance backbones, whereby each edge is associated with the smallest distance backbone in which it appears. DBS provides a principled and natural method to sweep all degrees of sparsification possible while preserving connectivity, allowing us to precisely study (directed and undirected) weighted graph sparsification under multi-objective criteria. It provides an algebraically-principled explanation of edge importance by revealing the precise topological space associated with each edge. The theory is demonstrated with a battery of social contact networks obtained from real-world social activity in different scenarios. Our study also shows that the optimal preservation of node centrality and spreading dynamics happens for the distance backbone obeying the generalized triangle inequality for the path-length measure $g(x, y) = (\sqrt[3]{x}+\sqrt[3]{y})^3$, which removes more than half of the edges from the empirical networks studied.

Tree-like is not a transitive relation on paths

2026-03-17T16:51:58Z

The notions of tree-like loop and Lipschitz tree-like loop were introduced by Hambly and Lyons in their 2010 Annals of Mathematics paper. They showed that the Lipschitz tree-like property determines an equivalence relation on the set of paths of bounded variation in a given metric space and then asked if this notion could be extended to paths without the Lipschitz requirement. We show that after eliminating the Lipschitz requirement, the resulting relation is no longer transitive and thus is not an equivalence relation. The counterexample is obtained by analyzing an explicit fractal construction in the plane.

Are scales Fréchet?

2026-03-17T06:18:44Z

We continue the study of Dow spaces of a $\mathfrak{b}$-scale, originally introduced by Alan Dow in "$π$-Weight and the Fréchet-Urysohn property" (Topology and its Applications, Vol. 174, pp. 56-61). We prove that it is consistent that all such spaces are Fréchet, but it is also consistent that none of them is. We use these spaces to exhibit (consistently) a $\triangle_{2}^{1}$ ideal that does not satisfy the Category Dichotomy. Finally, we prove that the Category Dichotomy holds for all co-analytic ideals.

The Set-Self-Tietze Property

2026-03-15T14:35:52Z

We introduce the set-self-Tietze property, an analogue of the self-Tietze property for upper semi-continuous set-valued functions. A topological space $X$ is self-Tietze, if for every closed $A \subseteq X$ and continuous function $f \colon A \to X$, there is a continuous extension $F \colon X \to X$ of $f$. A topological space $X$ is set-self-Tietze, if for every closed $A \subseteq X$ and upper semi-continuous set-valued function $f \colon A \to 2^X$, there exists an upper semi-continuous set-valued function $F \colon X \to 2^X$ such that $\left. F \right|_A = f$. We show every compact metric space is set-self-Tietze, and that the torus is not self-Tietze.

Counting spaces of functions on separable compact lines

2026-03-15T12:21:24Z

We investigate the following general problem, closely related to the problem of isomorphic classification of Banach spaces $C(K)$ of continuous real-valued functions on a compact space $K$, equipped with the supremum norm: Let $\mathcal{K}$ be a class of compact spaces. How many isomorphism types of Banach spaces $C(K)$ are there, for $K\in \mathcal{K}$? We prove that for any uncountable regular cardinal number $κ$, there exist exactly $2^κ$ isomorphism types of spaces $C(K)$ for compact spaces of weight $κ$. We show that, for the class $\mathcal{L}_{ω_1}$ of separable compact linearly ordered spaces of weight $ω_1$, the answer to the above question depends on additional set-theoretic axioms. In particular, assuming the continuum hypothesis, there are $2^{ω_1}$ isomorphism types of $C(L)$, for $L\in \mathcal{L_{ω_1}}$, and assuming a certain axiom proposed by Baumgartner, there is only one type.

On convergence structures in graphs

2026-03-14T18:20:06Z

A closure operator on a set $X$ is a function $\operatorname{cl}: \wp(X) \to \wp(X)$ satisfying, for all $A, B \subseteq X$, the following properties: extensivity, $A \subseteq \operatorname{cl}(A)$; monotonicity, which states that if $A \subseteq B$ then $\operatorname{cl}(A) \subseteq \operatorname{cl}(B)$; and preservation of unions, $\operatorname{cl}(A \cup B) = \operatorname{cl}(A) \cup \operatorname{cl}(B)$. Every graph $G$ naturally carries such an operator on its vertex set by assigning to each subset $A \subseteq V(G)$ the set $\operatorname{cl}(A) = A \cup N(A)$, where $N(A)$ denotes the vertices adjacent to a vertex in $A$. Since closure operators and pretopological spaces are equivalent notions, this operator induces a canonical convergence structure on $V(G)$. We describe this convergence in terms of nets and relate combinatorial properties of the graph to convergence-theoretic ones.

Multi-virtual braid groups

2026-03-13T05:29:03Z

L. Kauffman (2024) introduced multi-virtual and symmetric multi-virtual braid groups, which are generalizations of the virtual braid group. We introduce multi-virtual pure and multi-virtual semi-pure braid groups, which are normal subgroups of index $n!$. We give a set of generators and defining relations for these groups, show that multi-virtual (symmetric multi-virtual) braid group is a semi-direct products of multi-virtual pure (symmetric multi-virtual pure) braid group and symmetric group. Also, we introduce multi-welded and multi-unrestricted braid groups and examines structure of three-strand 2-virtual braid group and some its subgroups and quotients. The paper concludes by outlining open problems and suggesting avenues for future research in this area.

Fundamental examples of Reeb spaces of smooth functions defined from two graphs of smooth functions with same asymptotic behaviors

2026-03-12T06:51:52Z

Reeb spaces of (continuous) real-valued functions on (nice) topological spaces are the spaces whose underlying sets consist of all connected components (contours) of their level sets and seen naturally as quotient spaces of the spaces. They are "$1$-dimensional" spaces in various nice cases. They are graphs or graphs with ends for smooth function cases with nice singularities and behaviors. Reeb spaces have been fundamental and important in theory of Morse functions and more general smooth functions and applications to geometry, since the 20th century. We present Reeb spaces homeomorphic to infinite graphs (with ends) for functions on non-compact manifolds with no boundary. This paper is a note on cases previously obtained by the author. More explicitly, we consider a natural smooth map onto the region surrounded by the graphs of two smooth real-valued functions in the plane and its composition with the canonical projection.

Pizza Sharing is PPA-hard

2026-03-12T02:31:17Z

We study the computational complexity of finding a solution for the straight-cut and square-cut pizza sharing problems. We show that computing an $\varepsilon$-approximate solution is PPA-complete for both problems, while finding an exact solution for the square-cut problem is FIXP-hard. Our PPA-hardness results apply for any $\varepsilon < 1/5$, even when all mass distributions consist of non-overlapping axis-aligned rectangles or when they are point sets, and our FIXP-hardness result applies even when all mass distributions are unions of squares and right-angled triangles. We also prove that the decision variants of both approximate problems are NP-complete, while the decision variant for the exact version of square-cut pizza sharing is $\exists\mathbb{R}$-complete.

On real functions with graphs either connected or locally connected

2026-03-11T14:13:43Z

Let S denote the family of all subspaces of the plane that are graphs of functions from the real line R to itself. We prove that S has two subfamilies G,H of spaces such that the cardinality of G is c (the cardinality of the continuum) and the cardinality of H is 2^c, every space in the family G is completely metrizable, each element of H is a dense subset of the plane and the elements of the union of G and H are pairwise non-embeddable (i.p. pairwise non-homeomorphic) subspaces of the plane. On the other hand, the family S contains precisely countably infinitely many locally connected spaces up to homeomorphism, and if X,Y are such spaces then X is embeddable into Y. Furthermore, if T is a topology on the set R finer than the Euclidean topology and the space (R,T) is separable and locally connected then the space is locally compact and homeomorphic to some space in S. In a very natural way we establish a complete classification of all these refinements T of the real line.

Set-valued metrics and generalized Hausdorff distances

2026-03-11T13:03:29Z

Let $X$ be a metric space and $BCl(X)$ the collection of nonempty bounded closed subsets of $X$. We show that Hausdorff distance $d_H$ belongs to a specific family of real-valued distances on $BCl(X)$, each of which can be expressed as the composition $μ\circ d_{sv}$ of a topology inducing set-valued function $d_{sv}:BCl(X)^2\rightarrow \mathcal{P}(Z)$ and a real-valued set-function $μ:Σ\subset\mathcal{P}(Z)\rightarrow\mathbb{R}$. With this observation, we construct several associated classes of inter-set distances, called set-valued metrics and generalized Hausdorff distances. Our constructions are both explicit and adaptable, and the resulting distance classes are expected to cover most practical applications involving distance between sets.

$F$-Contraction with an Auxiliary Function and Its Application to Terrain-Following Airplane Navigation

2026-03-11T09:05:28Z

This paper aims to integrate the concepts of $F$-contraction and $S^B$-contraction within the context of super metric spaces. Specifically, we introduce the concepts of $S^F$-contraction and Bianchini $S^F$-contraction. We demonstrate that these new concepts are genuine generalizations of $S^B$- and $S^K$-contractions by providing nontrivial examples. Furthermore, we establish the existence and uniqueness of fixed points for mappings that satisfy these contractions. Lastly, we apply our findings to a model describing an airplane capable of automatically following a terrain.

Nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$ in Cohen models

2026-03-07T13:39:55Z

We show that if $κ< \aleph_ω$ Cohen reals are added to a model of $\mathsf{CH}$, then there are nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$ in the extension. Under some further hypotheses on the ground model, namely the existence of long enough sage Davies trees (which follows from $\mathsf{SCH}$ plus $\square_λ$ for every $λ$ with $\mathrm{cf}(λ) = ω$), we prove the same result for cardinals $κ\geq \aleph_ω$ as well. This extends a result a Shelah and Steprāns, who proved the result for $κ= \aleph_2$.

A Note on the Peter-Weyl Theorem

2026-03-07T08:32:41Z

We introduce some classical concepts in the representation theory of compact groups, in order to use them for a new generalization of the Peter-Weyl Theorem. We mostly deal with functions on locally compact groups possessing large nontrivial compact open subgroups: in fact, we show that these functions can be approximated via others which are locally identical to the well known representative functions.