http://arxiv.org/api/zcCiTXU13QQsPeguf1cbvUXvBao 2025-05-05T00:00:00-04:00 5462 120 15 http://arxiv.org/abs/2502.07762v1 2025-02-11T18:44:04Z 2025-02-11T18:44:04Z

The airplane, the basilica and the Douady rabbit (and, more generally, rabbits with more than two ears) are well-known Julia sets of complex quadratic polynomials. In this paper we study the groups of all homeomorphisms of such fractals and of all automorphisms of their laminations. In particular, we identify them with some kaleidoscopic group or universal groups and thus realize them as Polish permutation groups. From these identifications, we deduce algebraic, topological and geometric properties of these groups.

Bruno Duchesne Matteo Tarocchi Comments are welcome! http://arxiv.org/abs/2502.06404v1 2025-02-10T12:46:45Z 2025-02-10T12:46:45Z

We show that for any subset $A\subset [0,\infty)$, where $0\in A$, there exists a Bernstein set $X\subset \mathbb R$ such that $A$ is the center of distances of $X$.

Mateusz Kula http://arxiv.org/abs/2502.04228v1 2025-02-06T17:13:04Z 2025-02-06T17:13:04Z

We investigate the interrelations between the metric properties, order properties and combinatorial properties of the set of balls in totally bounded ultrametric space. In particular, the Gurvich-Vyalyi representation of finite, ultrametric spaces by monotone rooted trees is generalized to the case of totally bounded ultrametric spaces. It is shown that such spaces have isometric completions if and only if their labeled representing trees are isomorphic. We characterize up to isomorphism the representing trees of these spaces and, up to order isomorphism, the posets of open balls in such spaces.

Oleksiy Dovgoshey 114 pages, 15 figures http://arxiv.org/abs/2306.01702v2 2025-02-06T13:51:12Z 2023-06-02T17:23:54Z

A Boolean ring and its Stone space (Boolean space) are primitive if the ring is disjointly generated by its pseudo-indecomposable (PI) elements. Hanf showed that a primitive PI Boolean algebra can be uniquely defined by a structure diagram. In a previous paper we defined trim $P$-partitions of a Stone space, where $P$ is a PO system (poset with a distinguished subset), and showed how they provide a physical representation within the Stone space of these structure diagrams. In this paper we study the class of trim partitions of a fixed primitive Boolean space, which may not be compact, and show how they can be structured as a quasi-ordered set via an appropriate refinement relation. This refinement relation corresponds to a surjective morphism of the associated PO systems, and we establish a quasi-order isomorphism between the class of well-behaved partitions of a primitive space and a class of extended PO systems. We also define rank partitions, which generalise the rank diagrams introduced by Myers, and the ideal completion of a trim $P$-partition, whose underlying PO system is the ideal completion of $P$, and show that rank partitions are just the ideal completions of trim partitions. In the process, we extend a number of existing results regarding primitive Boolean algebras or compact primitive Boolean spaces to locally compact Boolean spaces.

Andrew B. Apps Revised version for journal submission; 33 pages http://arxiv.org/abs/2405.05407v2 2025-02-06T09:26:31Z 2024-05-08T20:21:42Z

We compare quasi-graphs and generalized $\sin(1/x)$-type continua, which are two classes of continua that generalize topological graphs and contain the Warsaw circle as a nontrivial common element. We show that neither class is a subset of the other, provide some characterizations, and present illustrative examples. We unify both approaches by considering the class of tranched graphs, compare it to concepts known from the literature, and describe how the topological structure of its elements restricts possible dynamics.

Michał Kowalewski Piotr Oprocha http://arxiv.org/abs/2412.04281v2 2025-02-05T14:32:32Z 2024-12-05T16:01:13Z

The notion of a proper Ellis semigroup compactification is introduced. Ellis's functional approach shows how to obtain them from totally bounded equiuniformities on a phase space $X$ when the acting group $G$ is with the topology of pointwise convergence and the $G$-space $(G, X, \curvearrowright)$ is $G$-Tychonoff. The correspondence between proper Ellis semigroup compactifications of a topological group and special totally bounded equiuniformities (called Ellis equiuniformities) on a topological group is established. The Ellis equiuniformity on a topological transformation group $G$ from the maximal equiuniformity on a phase space $G/H$ in the case of its uniformly equicontinuous action is compared with Roelcke uniformity on $G$. Proper Ellis semigroup compactifications are described for groups $S\,(X)$ (the permutation group of a discrete space $X$) and $Aut\,(X)$ (automorphism group of an ultrahomogeneous chain $X$) in the permutation topology. It is shown that this approach can be applied to the unitary group of a Hilbert space.

K. L. Kozlov B. V. Sorin http://arxiv.org/abs/2502.02778v1 2025-02-04T23:41:13Z 2025-02-04T23:41:13Z

Let $X$ be a compact metric space. By $2^X$ we denote the hyperspace of all closed and non-empty subsets of $X$ endowed with the Hausdorff metric. Let $f:X\to X$ be a continuous function. In this paper we study some topological properties of the hyperspace $\omega(f)$, the collection of all omega limits sets $\omega(x,f)$ with $x\in X$. We prove the following: $i)$ If $X$ has no isolated points, then, for every continuous function $f:X\to X$, $int_{2^X}(\omega(f))=\emptyset$. $ii)$ If $X$ is a dendrite for which every arc contains a free arc and $f:X\to X$ is transitive, then the hyperspace $\omega(f)$ is totally disconnected. $iii)$ Let $D_\infty$ be the Wazewski's universal dendrite. Then there exists a transitive continuous function $f:D_\infty\to D_\infty$ for which the hyperspace $\omega(f)$ contains an arc; hence, $\omega(f)$ is not totally disconnected.

Jorge M. Martínez-Montejano Héctor Méndez Yajaida N. Velázquez-Inzunza http://arxiv.org/abs/2502.01935v1 2025-02-04T02:11:38Z 2025-02-04T02:11:38Z

In this paper, we introduce the new class of continua; weakly infinite-dimensional closed set-aposyndetic continua. With this notion, we show that there exists a non-D-continuum such that each positive Whitney level of the hyperspace of the continuum is a weakly infinite-dimensional closed set-aposyndetic continuum. This result strengthens those of van Douwen and Goodykoontz [2], Illanes [7], and the main result of Illanes et al. [9].

Eiichi Matsuhashi 7 pages http://arxiv.org/abs/2405.07112v2 2025-02-03T19:15:20Z 2024-05-12T00:03:56Z

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various definitions of definable compactness in the literature, including those in terms of definable curves, definable types, and definable downward directed families of closed sets.

Pablo Andújar Guerrero 10.2140/mt.2025.4.101 This is a round-up of the topological content of arXiv:2111.03802 Model Th. 4 (2025) 101-130 http://arxiv.org/abs/2502.01260v1 2025-02-03T11:33:42Z 2025-02-03T11:33:42Z

For arbitrary star graph $S$ with a non-degenerate vertex labeling $l\colon V(S) \to \mathbb{R}^+$ we denote by $d_l$ the corresponding ultrametric on the vertex set $V(S)$ of $S$. We characterize the class $\bf US$ of all ultrametric spaces $(V(S), d_l)$ up to isometry. We also find the necessary and sufficient conditions under which the group of all self-isometries of ultrametric space $(V(S), d_l)$ coincides with the group of all self-isomorphisms of the labeled star graph $S(l)$.

Oleksiy Dovgoshey Olga Rovenska 23 pages, 4 figures http://arxiv.org/abs/2403.08667v3 2025-02-02T20:25:13Z 2024-03-13T16:19:05Z

The space of chains on a compact connected space encodes all the different ways of continuously growing out of a point until exhausting the space. A chain is \emph{generic} if its orbit under the action of the underlying homeomorphism group is comeager. In this paper we show that a large family of topological spaces do not have a generic chain: in addition to all manifolds of dimension at least 3, for which the result was already known, our theorem covers all compact surfaces except for the sphere and the real projective plane - for which the question remains open - as well as all other homogeneous Peano continua, circle excluded. If the spaces are moreover strongly locally homogeneous, which is the case for any closed manifold and the Menger curve, we prove that chains cannot be classified up to homeomorphism by countable structures, and that the underlying homeomorphism groups have non-metrizable universal minimal flows, with all orbits meager, in contrast to the case of 1-dimensional manifolds. The proof of the main result is of combinatorial nature, and it relies on the creation of a dictionary between open sets of chains on one side, and walks on finite connected graphs on the other.

Gianluca Basso Alessandro Codenotti Andrea Vaccaro 41 pages, 3 figures. This is the version accepted for publication in the Duke Mathematical Journal. Minor changes include a reworked beginning of Section 5, additional details throughout, and a weakening of 'turbulence' to 'generic turbulence' http://arxiv.org/abs/2502.00570v1 2025-02-01T21:31:04Z 2025-02-01T21:31:04Z

An example of an infinite regular feebly compact quasitopological group is presented such that all continuous real-valued functions on the group are constant. The example is based on the use of Korovin orbits in $X^G$, where $X$ is a special regular countably compact space constructed by S.Bardyla and L.Zdomskyy and $G$ is an abstract Abelian group of an appropriate cardinality. Also, we study the interplay between the separation properties of the space $X$ and Korovin orbits in $X^G$. We show in particular that if $X$ contains two nonempty disjoint open subsets, then every Korovin orbit in $X^G$ is Hausdorff.

Evgenii Reznichenko Mikhail Tkachenko http://arxiv.org/abs/2501.17418v2 2025-01-31T07:42:34Z 2025-01-29T05:10:11Z

Characterizations of ultrafilters belong to the smallest ideal of Stone-\v{C}ech compactification of a discrete semigroup are exhibited using syndetic sets, strongly central sets and very strongly central sets respectively. These lead to represent piecewise syndetic sets of a semigroup in terms of the sets that contain a broken $\mathcal{A}$ set, where $\mathcal{A}\in\{$ syndetic, quasi-central, central, strongly central, very strongly central$\}$. Also, a characterization of broken IP$^{n}$ sets using ultrafilters, and the equivalence between the sets that contain a broken IP set and sets that contain a broken IP$^{n}$ are established, $n\in \mathbb{N}$. Without assuming the countability of a semigroup, it is shown that piecewise syndetic sets i.e., sets that contain a broken syndetic set (broken IP set) force uniform recurrence (recurrence respectively) and vice versa. In addition, all the said results are established near idempotent of a semitopological semigroup.

Ujjal Kumar Hom Manoranjan Singha http://arxiv.org/abs/2501.18776v1 2025-01-30T22:00:00Z 2025-01-30T22:00:00Z

For positive integers $1 \leq k \leq n$ let $M_n$ be the algebra of all $n \times n$ complex matrices and $M_n^{\le k}$ its subset consisting of all matrices of rank at most $k$. We first show that whenever $k>\frac{n}{2}$, any continuous spectrum-shrinking map $\phi : M_n^{\le k} \to M_n$ (i.e. $\mathrm{sp}(\phi(X)) \subseteq \mathrm{sp}(X)$ for all $X \in M_n^{\le k}$) either preserves characteristic polynomials or takes only nilpotent values. Moreover, for any $k$ there exists a real analytic embedding of $M_n^{\le k}$ into the space of $n\times n$ nilpotent matrices for all sufficiently large $n$. This phenomenon cannot occur when $\phi$ is injective and either $k > n - \sqrt{n}$ or the image of $\phi$ is contained in $M_n^{\le k}$. We then establish a main result of the paper -- a variant of \v{S}emrl's preserver theorem for $M_n^{\le k}$: if $n \geq 3$, any injective continuous map $\phi :M_n^{\le k} \to M_n^{\le k}$ that preserves commutativity and shrinks spectrum is of the form $\phi(\cdot)=T(\cdot)T^{-1}$ or $\phi(\cdot)=T(\cdot)^tT^{-1}$, for some invertible matrix $T\in M_n$. Moreover, when $k=n-1$, which corresponds to the set of singular $n\times n$ matrices, this result extends to maps $\phi$ which take values in $M_n$. Finally, we discuss the indispensability of assumptions in our main result.

Alexandru Chirvasitu Ilja Gogić Mateo Tomašević 14 pages http://arxiv.org/abs/2501.18097v1 2025-01-30T02:17:12Z 2025-01-30T02:17:12Z

We establish sufficient conditions for the density of shallow neural networks \cite{C89} on the family of continuous real functions defined on a compact metric space, taking into account variations in the function domains. For this we use the Gromov-Hausdorff distance defined in \cite{5G}.

W. Jung C. A. Morales L. T. T. Tran 10 pages