-
On generic topological embeddings
Authors:
Wiesław Kubiś,
Andrzej Kucharski,
Sławomir Turek
Abstract:
We show that an embedding of a fixed 0-dimensional compact space $K$ into the Čech--Stone remainder $ω^*$ as a nowhere dense P-set is the unique generic limit, a special object in the category consisting of all continuous maps from $K$ to compact metric spaces.
Using Fraïssé theory we get a few well know theorems about Čech--Stone remainder.
We establish the following:
-- an ultrametric spac…
▽ More
We show that an embedding of a fixed 0-dimensional compact space $K$ into the Čech--Stone remainder $ω^*$ as a nowhere dense P-set is the unique generic limit, a special object in the category consisting of all continuous maps from $K$ to compact metric spaces.
Using Fraïssé theory we get a few well know theorems about Čech--Stone remainder.
We establish the following:
-- an ultrametric space $K$ of weight $κ$ can be uniformly embedded into $κ^κ$ as a uniformly nowhere dense subset,
-- every uniform homeomorphism of uniformly nowhere dense sets in $κ^κ$
can be extended to a uniform auto-homeomorphism of $κ^κ$,
-- every uniformly nowhere dense set in $κ^κ$ is a uniform retract of $κ^κ$.
If we assume that $κ$ is a weakly compact cardinal we get the counterpart of the above result without the uniformity assumption.
△ Less
Submitted 7 July, 2024; v1 submitted 8 October, 2023;
originally announced October 2023.
-
The Kirch space is topologically rigid
Authors:
Taras Banakh,
Yaryna Stelmakh,
Sławomir Turek
Abstract:
The $Golomb$ $space$ (resp. the $Kirch$ $space$) is the set $\mathbb N$ of positive integers endowed with the topology generated by the base consisting of arithmetic progressions $a+b\mathbb N_0=\{a+bn:n\ge 0\}$ where $a\in\mathbb N$ and $b$ is a (square-free) number, coprime with $a$. It is known that the Golomb space (resp. the Kirch space) is connected (and locally connected). By a recent resul…
▽ More
The $Golomb$ $space$ (resp. the $Kirch$ $space$) is the set $\mathbb N$ of positive integers endowed with the topology generated by the base consisting of arithmetic progressions $a+b\mathbb N_0=\{a+bn:n\ge 0\}$ where $a\in\mathbb N$ and $b$ is a (square-free) number, coprime with $a$. It is known that the Golomb space (resp. the Kirch space) is connected (and locally connected). By a recent result of Banakh, Spirito and Turek, the Golomb space has trivial homeomorphism group and hence is topologically rigid. In this paper we prove the topological rigidity of the Kirch space.
△ Less
Submitted 7 July, 2020; v1 submitted 22 June, 2020;
originally announced June 2020.
-
The Golomb space is topologically rigid
Authors:
Taras Banakh,
Dario Spirito,
Sławomir Turek
Abstract:
The $Golomb$ $space$ $\mathbb N_τ$ is the set $\mathbb N$ of positive integers endowed with the topology $τ$ generated by the base consisting of arithmetic progressions $\{a+bn:n\ge 0\}$ with coprime $a,b$. We prove that the Golomb space $\mathbb N_τ$ is topologically rigid in the sense that its homeomorphism group is trivial. This resolves a problem posed by the first author at Mathoverflow in 20…
▽ More
The $Golomb$ $space$ $\mathbb N_τ$ is the set $\mathbb N$ of positive integers endowed with the topology $τ$ generated by the base consisting of arithmetic progressions $\{a+bn:n\ge 0\}$ with coprime $a,b$. We prove that the Golomb space $\mathbb N_τ$ is topologically rigid in the sense that its homeomorphism group is trivial. This resolves a problem posed by the first author at Mathoverflow in 2017.
△ Less
Submitted 4 December, 2019;
originally announced December 2019.
-
Exa-Dune -- Flexible PDE Solvers, Numerical Methods and Applications
Authors:
Peter Bastian,
Mirco Altenbernd,
Nils-Arne Dreier,
Christian Engwer,
Jorrit Fahlke,
René Fritze,
Markus Geveler,
Dominik Göddeke,
Oleg Iliev,
Olaf Ippisch,
Jan Mohring,
Steffen Müthing,
Mario Ohlberger,
Dirk Ribbrock,
Nikolay Shegunov,
Stefan Turek
Abstract:
In the Exa-Dune project we have developed, implemented and optimised numerical algorithms and software for the scalable solution of partial differential equations (PDEs) on future exascale systems exhibiting a heterogeneous massively parallel architecture. In order to cope with the increased probability of hardware failures, one aim of the project was to add flexible, application-oriented resilien…
▽ More
In the Exa-Dune project we have developed, implemented and optimised numerical algorithms and software for the scalable solution of partial differential equations (PDEs) on future exascale systems exhibiting a heterogeneous massively parallel architecture. In order to cope with the increased probability of hardware failures, one aim of the project was to add flexible, application-oriented resilience capabilities into the framework. Continuous improvement of the underlying hardware-oriented numerical methods have included GPU-based sparse approximate inverses, matrix-free sum-factorisation for high-order discontinuous Galerkin discretisations as well as partially matrix-free preconditioners. On top of that, additional scalability is facilitated by exploiting massive coarse grained parallelism offered by multiscale and uncertainty quantification methods where we have focused on the adaptive choice of the coarse/fine scale and the overlap region as well as the combination of local reduced basis multiscale methods and the multilevel Monte-Carlo algorithm. Finally, some of the concepts are applied in a land-surface model including subsurface flow and surface runoff.
△ Less
Submitted 6 November, 2019; v1 submitted 4 November, 2019;
originally announced November 2019.
-
Supercompact minus compact is super
Authors:
Taras Banakh,
Zdzisław Kosztołowicz,
Sławomir Turek
Abstract:
According to a folklore characterization of supercompact spaces, a compact Hausdorff space is supercompact if and only if it has a binary closed $k$-network. This characterization suggests to call a topological space $super$ if it has a binary closed $k$-network $\mathcal N$. The binarity of $\mathcal N$ means that every linked subfamily of $\mathcal N$ is centered. Therefore, a Hausdorff space is…
▽ More
According to a folklore characterization of supercompact spaces, a compact Hausdorff space is supercompact if and only if it has a binary closed $k$-network. This characterization suggests to call a topological space $super$ if it has a binary closed $k$-network $\mathcal N$. The binarity of $\mathcal N$ means that every linked subfamily of $\mathcal N$ is centered. Therefore, a Hausdorff space is supercompact if and only if it is super and compact. In this paper we prove that the class of super spaces contains all GO-spaces, all supercompact spaces, all metrizable spaces, and all collectionwise normal $\aleph$-spaces. Moreover, the class of super spaces is closed under taking Tychonoff products and discretely dense sets in Tychonoff products. The superness of metrizable spaces implies that each compact metrizable space is supercompact, which was first proved by Strok and Szymański (1975) and then reproved by Mills (1979), van Douwen (1981), and D{\c e}bski (1984).
△ Less
Submitted 8 June, 2019;
originally announced June 2019.
-
On continuous self-maps and homeomorphisms of the Golomb space
Authors:
Taras Banakh,
Jerzy Mioduszewski,
Slawomir Turek
Abstract:
The Golomb space $\mathbb N_τ$ is the set $\mathbb N$ of positive integers endowed with the topology $τ$ generated by the base consisting of arithmetic progressions $\{a+bn\}_{n=0}^\infty$ with coprime $a,b$. We prove that the Golomb space $\mathbb N_τ$ has continuum many continuous self-maps, contains a countable disjoint family of infinite closed connected subsets, the set $Π$ of prime numbers i…
▽ More
The Golomb space $\mathbb N_τ$ is the set $\mathbb N$ of positive integers endowed with the topology $τ$ generated by the base consisting of arithmetic progressions $\{a+bn\}_{n=0}^\infty$ with coprime $a,b$. We prove that the Golomb space $\mathbb N_τ$ has continuum many continuous self-maps, contains a countable disjoint family of infinite closed connected subsets, the set $Π$ of prime numbers is a dense metrizable subspace of $\mathbb N_τ$, and each homeomorphism $h$ of $\mathbb N_τ$ has the following properties: $h(1)=1$, $h(Π)=Π$ and $Π_{h(x)}=h(Π_x)$ for all $x\in\mathbb N$. Here by $Π_x$ we denote the set of prime divisors of $x$.
△ Less
Submitted 9 September, 2018; v1 submitted 17 November, 2017;
originally announced November 2017.
-
Efficient, sparse representation of manifold distance matrices for classical scaling
Authors:
Javier S. Turek,
Alexander Huth
Abstract:
Geodesic distance matrices can reveal shape properties that are largely invariant to non-rigid deformations, and thus are often used to analyze and represent 3-D shapes. However, these matrices grow quadratically with the number of points. Thus for large point sets it is common to use a low-rank approximation to the distance matrix, which fits in memory and can be efficiently analyzed using method…
▽ More
Geodesic distance matrices can reveal shape properties that are largely invariant to non-rigid deformations, and thus are often used to analyze and represent 3-D shapes. However, these matrices grow quadratically with the number of points. Thus for large point sets it is common to use a low-rank approximation to the distance matrix, which fits in memory and can be efficiently analyzed using methods such as multidimensional scaling (MDS). In this paper we present a novel sparse method for efficiently representing geodesic distance matrices using biharmonic interpolation. This method exploits knowledge of the data manifold to learn a sparse interpolation operator that approximates distances using a subset of points. We show that our method is 2x faster and uses 20x less memory than current leading methods for solving MDS on large point sets, with similar quality. This enables analyses of large point sets that were previously infeasible.
△ Less
Submitted 29 March, 2018; v1 submitted 30 May, 2017;
originally announced May 2017.
-
A generalization of $\varkappa$-metrizable spaces
Authors:
Andrzej Kucharski,
Sławomir Turek
Abstract:
We introduce a new class of $\varkappa$-metrizable spaces, namely countably $\varkappa$-metrizable spaces. We show that the class of all $\varkappa$-metrizable spaces is a proper subclass of counably $\varkappa$-metrizable spaces. On the other hand, for pseudocompact spaces the new class coincides with $\varkappa$-metrizable spaces. We prove a generalization of a Chigogidze result that the Čech-St…
▽ More
We introduce a new class of $\varkappa$-metrizable spaces, namely countably $\varkappa$-metrizable spaces. We show that the class of all $\varkappa$-metrizable spaces is a proper subclass of counably $\varkappa$-metrizable spaces. On the other hand, for pseudocompact spaces the new class coincides with $\varkappa$-metrizable spaces. We prove a generalization of a Chigogidze result that the Čech-Stone compactification of a pseudocompact countably $\varkappa$-metrizable space is $\varkappa$-metrizable.
△ Less
Submitted 24 June, 2019; v1 submitted 28 December, 2016;
originally announced December 2016.
-
A multilevel framework for sparse optimization with application to inverse covariance estimation and logistic regression
Authors:
Eran Treister,
Javier S. Turek,
Irad Yavneh
Abstract:
Solving l1 regularized optimization problems is common in the fields of computational biology, signal processing and machine learning. Such l1 regularization is utilized to find sparse minimizers of convex functions. A well-known example is the LASSO problem, where the l1 norm regularizes a quadratic function. A multilevel framework is presented for solving such l1 regularized sparse optimization…
▽ More
Solving l1 regularized optimization problems is common in the fields of computational biology, signal processing and machine learning. Such l1 regularization is utilized to find sparse minimizers of convex functions. A well-known example is the LASSO problem, where the l1 norm regularizes a quadratic function. A multilevel framework is presented for solving such l1 regularized sparse optimization problems efficiently. We take advantage of the expected sparseness of the solution, and create a hierarchy of problems of similar type, which is traversed in order to accelerate the optimization process. This framework is applied for solving two problems: (1) the sparse inverse covariance estimation problem, and (2) l1-regularized logistic regression. In the first problem, the inverse of an unknown covariance matrix of a multivariate normal distribution is estimated, under the assumption that it is sparse. To this end, an l1 regularized log-determinant optimization problem needs to be solved. This task is challenging especially for large-scale datasets, due to time and memory limitations. In the second problem, the l1-regularization is added to the logistic regression classification objective to reduce overfitting to the data and obtain a sparse model. Numerical experiments demonstrate the efficiency of the multilevel framework in accelerating existing iterative solvers for both of these problems.
△ Less
Submitted 1 July, 2016;
originally announced July 2016.
-
Parovicenko spaces with structures
Authors:
Wiesław Kubiś,
Andrzej Kucharski,
Sławomir Turek
Abstract:
We study an analogue of the Parovicenko property in categories of compact spaces with additional structures. In particular, we present an internal characterization of this property in the class of compact median spaces.
We study an analogue of the Parovicenko property in categories of compact spaces with additional structures. In particular, we present an internal characterization of this property in the class of compact median spaces.
△ Less
Submitted 21 November, 2013; v1 submitted 4 June, 2013;
originally announced June 2013.
-
Hereditarily supercompact spaces
Authors:
Taras Banakh,
Zdzislaw Kosztolowicz,
Slawomir Turek
Abstract:
A topological space $X$ is called hereditarily supercompact if each closed subspace of X is supercompact. By a combined result of Bula, Nikiel, Tuncali, Tymchatyn, and Rudin, each monotonically normal compact Hausdorff space is hereditarily supercompact. A dyadic compact space is hereditarily supercompact if and only if it is metrizable. Under (MA + not CH) each separable hereditarily supercompact…
▽ More
A topological space $X$ is called hereditarily supercompact if each closed subspace of X is supercompact. By a combined result of Bula, Nikiel, Tuncali, Tymchatyn, and Rudin, each monotonically normal compact Hausdorff space is hereditarily supercompact. A dyadic compact space is hereditarily supercompact if and only if it is metrizable. Under (MA + not CH) each separable hereditarily supercompact space is hereditarily separable and hereditarily Lindelöf. This implies that under (MA + not CH) a scattered compact space is metrizable if and only if it is separable and hereditarily supercompact. The hereditary supercompactness is not productive: the product [0,1] x αD of the closed interval and the one-point compactification αD of a discrete space D of cardinality |D|\ge non(M) is not hereditarily supercompact (but is Rosenthal compact and uniform Eberlein compact). Moreover, under the assumption cof(M)=ω_1 the space [0,1] x αD contains a closed subspace X which is first countable and hereditarily paracompact but not supercompact.
△ Less
Submitted 22 January, 2013;
originally announced January 2013.
-
The groups $S^3$ and $SO(3)$ have no invariant binary $k$-network
Authors:
Taras Banakh,
Slawomir Turek
Abstract:
A family $\mathcal N$ of closed subsets of a topological space $X$ is called a {\em closed $k$-network} if for each open set $U\subset X$ and a compact subset $K\subset U$ there is a finite subfamily $\mathcal F\subset\mathcal N$ with $K\subset\bigcup\F\subset \mathcal N$. A compact space $X$ is called {\em supercompact} if it admits a closed $k$-network $\mathcal N$ which is {\em binary} in the s…
▽ More
A family $\mathcal N$ of closed subsets of a topological space $X$ is called a {\em closed $k$-network} if for each open set $U\subset X$ and a compact subset $K\subset U$ there is a finite subfamily $\mathcal F\subset\mathcal N$ with $K\subset\bigcup\F\subset \mathcal N$. A compact space $X$ is called {\em supercompact} if it admits a closed $k$-network $\mathcal N$ which is {\em binary} in the sense that each linked subfamily $\mathcal L\subset\mathcal N$ is centered. A closed $k$-network $\mathcal N$ in a topological group $G$ is {\em invariant} if $xAy\in\mathcal N$ for each $A\in\mathcal N$ and $x,y\in G$. According to a result of Kubiś and Turek, each compact (abelian) topological group admits an (invariant) binary closed $k$-network. In this paper we prove that the compact topological groups $S^3$ and $\SO(3)$ admit no invariant binary closed $k$-network.
△ Less
Submitted 4 November, 2013; v1 submitted 21 February, 2011;
originally announced February 2011.
-
A decomposition theorem for compact groups with application to supercompactness
Authors:
Wiesław Kubiś,
Sławomir Turek
Abstract:
We show that every compact connected group is the limit of a continuous inverse sequence, in the category of compact groups, where each successor bonding map is either an epimorphism with finite kernel or the projection from a product by a simple compact Lie group. As an application, we present a proof of an unpublished result of Charles Mills from 1978: every compact group is supercompact.
We show that every compact connected group is the limit of a continuous inverse sequence, in the category of compact groups, where each successor bonding map is either an epimorphism with finite kernel or the projection from a product by a simple compact Lie group. As an application, we present a proof of an unpublished result of Charles Mills from 1978: every compact group is supercompact.
△ Less
Submitted 16 October, 2010;
originally announced October 2010.
-
Characterizing chainable, tree-like, and circle-like continua
Authors:
Taras Banakh,
Zdzislaw Kosztolowicz,
Slawomir Turek
Abstract:
We prove that a continuum $X$ is tree-like (resp. circle-like, chainable) if and only if for each open cover $\U_4=\{U_1,U_2,U_3,U_4\}$ of $X$ there is a $\U_4$-map $f:X\to Y$ onto a tree (resp. onto the circle, onto the interval). A continuum $X$ is an acyclic curve if and only if for each open cover $\U_3=\{U_1,U_2,U_3\}$ of $X$ there is a $\U_3$-map $f:X\to Y$ onto a tree (or the interval…
▽ More
We prove that a continuum $X$ is tree-like (resp. circle-like, chainable) if and only if for each open cover $\U_4=\{U_1,U_2,U_3,U_4\}$ of $X$ there is a $\U_4$-map $f:X\to Y$ onto a tree (resp. onto the circle, onto the interval). A continuum $X$ is an acyclic curve if and only if for each open cover $\U_3=\{U_1,U_2,U_3\}$ of $X$ there is a $\U_3$-map $f:X\to Y$ onto a tree (or the interval $[0,1]$).
△ Less
Submitted 25 January, 2011; v1 submitted 28 March, 2010;
originally announced March 2010.
