Showing 1–50 of 59 results for author: Dow, A

Autohomeomorphisms of pre-images of $\mathbb N^*$

Authors: Alan Dow

Abstract: In the study of the Stone-uCech remainder of the real line a detailed study of the Stone-uCech remainder of the space $\mathbb N\times [0,1]$, which we denote as $\mathbb M$, has often been utilized. Of course the real line can be covered by two closed sets that are each homeomorphic to $\mathbb M$. It is known that an autohomeomorphism of $\mathbb M^*$ induces an autohomeomorphism of… ▽ More In the study of the Stone-uCech remainder of the real line a detailed study of the Stone-uCech remainder of the space $\mathbb N\times [0,1]$, which we denote as $\mathbb M$, has often been utilized. Of course the real line can be covered by two closed sets that are each homeomorphic to $\mathbb M$. It is known that an autohomeomorphism of $\mathbb M^*$ induces an autohomeomorphism of $\mathbb N^*$. We prove that it is consistent with there being non-trivial autohomeomorphism of $\mathbb N^*$ that those induced by autohomeomorphisms of $\mathbb M^*$ are trivial. △ Less

Submitted 13 June, 2024; originally announced June 2024.

Comments: 14 pages

MSC Class: 54A35

Non-trivial copies of N*

Authors: Alan Dow

Abstract: We show that it is consistent to have regular closed non-clopen copies of $\mathbb N^*$ within $\mathbb N^*$ and a non-trivial self-map of $\mathbb N^*$ even if all autohomeomorphisms of $\mathbb N^*$ are trivial. We show that it is consistent to have regular closed non-clopen copies of $\mathbb N^*$ within $\mathbb N^*$ and a non-trivial self-map of $\mathbb N^*$ even if all autohomeomorphisms of $\mathbb N^*$ are trivial. △ Less

Submitted 5 June, 2024; originally announced June 2024.

MSC Class: 03A35 54D35

$C$-embedding, Lindelöfness, Čech-completeness

Authors: Alan Dow, Klaas Pieter Hart, Jan van Mill, Hans Vermeer

Abstract: We show that in the class of Lindelöf Čech-complete spaces the property of being $C$-embedded is quite well-behaved. It admits a useful characterization that can be used to show that products and perfect preimages of $C$-embedded spaces are again $C$-embedded. We also show that both properties, Lindelöf and Čech-complete, are needed in the product result. We show that in the class of Lindelöf Čech-complete spaces the property of being $C$-embedded is quite well-behaved. It admits a useful characterization that can be used to show that products and perfect preimages of $C$-embedded spaces are again $C$-embedded. We also show that both properties, Lindelöf and Čech-complete, are needed in the product result. △ Less

Submitted 4 July, 2024; v1 submitted 30 April, 2024; originally announced April 2024.

Comments: Version 2: some corrections after referee report

MSC Class: 54C45; 54D20; 54D35; 54D40; 54D60; 54G20

Airborne Sense and Detect of Drones using LiDAR and adapted PointPillars DNN

Authors: Manduhu Manduhu, Alexander Dow, Petar Trslic, Gerard Dooly, Benjamin Blanck, James Riordan

Abstract: The safe operation of drone swarms beyond visual line of sight requires multiple safeguards to mitigate the risk of collision between drones flying in hyper localised scenarios. Cooperative navigation and flight coordination strategies that rely on pre-planned trajectories and require constant network connectivity are brittle to failure. Drone embedded sense and detect offers a comprehensive mode… ▽ More The safe operation of drone swarms beyond visual line of sight requires multiple safeguards to mitigate the risk of collision between drones flying in hyper localised scenarios. Cooperative navigation and flight coordination strategies that rely on pre-planned trajectories and require constant network connectivity are brittle to failure. Drone embedded sense and detect offers a comprehensive mode of separation between drones for deconfliction and collision avoidance. This paper presents the first airborne LiDAR based solution for drone-swarm detection and localisation using 3D deep learning. It adapts and embeds the PointPillars deep learning neural network on the drone. To collect training data of close-quarter multi drone operations and safety critical scenarios, a scenario Digital Twin is used to augment real datasets with high fidelity synthetic data. The method has been validated in real-world tests. The trained model achieves over 80% recall and 96% precision when tested on real datasets. By incorporating a detection-by-tracking algorithm the system can reliably monitor the separation distance of multiple drones in challenging environments. △ Less

Submitted 14 October, 2023; originally announced October 2023.

On Roitman's principles $\mathsf{MH}$ and $Δ$

Authors: Hector Barriga-Acosta, Will Brian, Alan Dow

Abstract: The Model Hypothesis (abbreviated $\mathsf{MH}$) and $Δ$ are set-theoretic axioms introduced by J. Roitman in her work on the box product problem. Answering some questions of Roitman and Williams on these two principles, we show (1) $\mathsf{MH}$ implies the existence of $P$-points in $ω^*$ and is therefore not a theorem of $\mathsf{ZFC}$; (2) $\mathsf{MH}$ also fails in the side-by-side Sacks mod… ▽ More The Model Hypothesis (abbreviated $\mathsf{MH}$) and $Δ$ are set-theoretic axioms introduced by J. Roitman in her work on the box product problem. Answering some questions of Roitman and Williams on these two principles, we show (1) $\mathsf{MH}$ implies the existence of $P$-points in $ω^*$ and is therefore not a theorem of $\mathsf{ZFC}$; (2) $\mathsf{MH}$ also fails in the side-by-side Sacks models; (3) as $Δ$ holds in these models, this implies $Δ$ is strictly stronger than $\mathsf{MH}$; (4) furthermore, $Δ$ holds in a large class of forcing extensions in which it was not previously known to hold. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Comments: 18 pages, 1 diagram

Closed copies of $\mathbb{N}$ in $\mathbb{R}^{ω_1}$

Authors: Alan Dow, Klaas Pieter Hart, Jan van Mill, Hans Vermeer

Abstract: We investigate closed copies of~$\mathbb{N}$ in powers of~$\mathbb{R}$ with respect to $C^*$- and $C$-embedding. We show that $\mathbb{R}^{ω_1}$ contains closed copies of~$\mathbb{N}$ that are not $C^*$-embedded. We investigate closed copies of~$\mathbb{N}$ in powers of~$\mathbb{R}$ with respect to $C^*$- and $C$-embedding. We show that $\mathbb{R}^{ω_1}$ contains closed copies of~$\mathbb{N}$ that are not $C^*$-embedded. △ Less

Submitted 31 October, 2023; v1 submitted 14 July, 2023; originally announced July 2023.

Comments: Version 2: some corrections and reformulations Version 3: references to older results plus an example of a nonC*-embedded copy consistent with not-CH

MSC Class: Primary 54C45; Secondary: 03E17; 03E50; 03E55; 54D35; 54D40; 54D60; 54G20

The Present and Future of QCD

Authors: P. Achenbach, D. Adhikari, A. Afanasev, F. Afzal, C. A. Aidala, A. Al-bataineh, D. K. Almaalol, M. Amaryan, D. Androić, W. R. Armstrong, M. Arratia, J. Arrington, A. Asaturyan, E. C. Aschenauer, H. Atac, H. Avakian, T. Averett, C. Ayerbe Gayoso, X. Bai, K. N. Barish, N. Barnea, G. Basar, M. Battaglieri, A. A. Baty, I. Bautista , et al. (378 additional authors not shown)

Abstract: This White Paper presents the community inputs and scientific conclusions from the Hot and Cold QCD Town Meeting that took place September 23-25, 2022 at MIT, as part of the Nuclear Science Advisory Committee (NSAC) 2023 Long Range Planning process. A total of 424 physicists registered for the meeting. The meeting highlighted progress in Quantum Chromodynamics (QCD) nuclear physics since the 2015… ▽ More This White Paper presents the community inputs and scientific conclusions from the Hot and Cold QCD Town Meeting that took place September 23-25, 2022 at MIT, as part of the Nuclear Science Advisory Committee (NSAC) 2023 Long Range Planning process. A total of 424 physicists registered for the meeting. The meeting highlighted progress in Quantum Chromodynamics (QCD) nuclear physics since the 2015 LRP (LRP15) and identified key questions and plausible paths to obtaining answers to those questions, defining priorities for our research over the coming decade. In defining the priority of outstanding physics opportunities for the future, both prospects for the short (~ 5 years) and longer term (5-10 years and beyond) are identified together with the facilities, personnel and other resources needed to maximize the discovery potential and maintain United States leadership in QCD physics worldwide. This White Paper is organized as follows: In the Executive Summary, we detail the Recommendations and Initiatives that were presented and discussed at the Town Meeting, and their supporting rationales. Section 2 highlights major progress and accomplishments of the past seven years. It is followed, in Section 3, by an overview of the physics opportunities for the immediate future, and in relation with the next QCD frontier: the EIC. Section 4 provides an overview of the physics motivations and goals associated with the EIC. Section 5 is devoted to the workforce development and support of diversity, equity and inclusion. This is followed by a dedicated section on computing in Section 6. Section 7 describes the national need for nuclear data science and the relevance to QCD research. △ Less

Submitted 4 March, 2023; originally announced March 2023.

Comments: QCD Town Meeting White Paper, as submitted to 2023 NSAC LRP committee on Feb. 28, 2023

Journal ref: Nucl.Phys.A 1047 (2024) 122874

Some realcompact spaces

Authors: Alan Dow, Jan van Mill, Klaas Pieter Hart, Hans Vermeer

Abstract: We present examples of realcompact spaces with closed subsets that are C*-embedded but not C-embedded, including one where the closed set is a copy of the space of natural numbers. We present examples of realcompact spaces with closed subsets that are C*-embedded but not C-embedded, including one where the closed set is a copy of the space of natural numbers. △ Less

Submitted 25 August, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: Version 2: corrections after referee report. One question removed because it was answered; reference to answer added Version 3: final version

MSC Class: Primary 54D60; Secondary: 54D80; 54G05; 54G20

Journal ref: Topology Proceedings 62 (2023), 205-216 (e-published on 25-08-2023)

Automorphisms of $\mathcal P(ω)/\mbox{fin}$ and large continuum

Authors: Alan Dow

Abstract: We prove that it is consistent with $\mathfrak c>\aleph_2$ that all automorphisms of $\mathcal P(ω)/\mbox{fin}$ are trivial. We prove that it is consistent with $\mathfrak c>\aleph_2$ that all automorphisms of $\mathcal P(ω)/\mbox{fin}$ are trivial. △ Less

Submitted 21 July, 2022; originally announced July 2022.

MSC Class: 03E35

S-spaces and large continuum

Authors: Alan Dow, Saharon Shelah

Abstract: We prove that it is consistent with large values of the continuum that there are no S-spaces. We also show that we can also have that compact separable spaces of countable tightness have cardinality at most the continuum. We prove that it is consistent with large values of the continuum that there are no S-spaces. We also show that we can also have that compact separable spaces of countable tightness have cardinality at most the continuum. △ Less

Submitted 22 June, 2022; originally announced June 2022.

Report number: F2103 MSC Class: 54A35; 03E35

On the bounding, splitting, and distributivity numbers

Authors: Alan Dow, Saharon Shelah

Abstract: The cardinal invariants $ \mathfrak h, \mathfrak b, \mathfrak s$ of $\mathcal P (ω)$ are known to satisfy that $ω_1 \leq \mathfrak h \leq\min\{\mathfrak b, \mathfrak s\}$. We prove that all inequalities can be strict. We also introduce a new upper bound for $\mathfrak h$ and show that it can be less than $\mathfrak s$. The key method is to utilize finite support matrix iterations of ccc posets fol… ▽ More The cardinal invariants $ \mathfrak h, \mathfrak b, \mathfrak s$ of $\mathcal P (ω)$ are known to satisfy that $ω_1 \leq \mathfrak h \leq\min\{\mathfrak b, \mathfrak s\}$. We prove that all inequalities can be strict. We also introduce a new upper bound for $\mathfrak h$ and show that it can be less than $\mathfrak s$. The key method is to utilize finite support matrix iterations of ccc posets following \cite{BlassShelah}. △ Less

Submitted 1 February, 2022; originally announced February 2022.

Report number: F1276 MSC Class: 03E15

Spaces of countable free set number and PFA

Authors: Alan Dow, Istvan Juhasz

Abstract: The main result of this paper is that, under PFA, for every {\em regular} space $X$ with $F(X) = ω$ we have $|X| \le w(X)^ω$; in particular, $w(X) \le \mathfrak{c}$ implies $|X| \le \mathfrak{c}$. This complements numerous prior results that yield consistent examples of even compact Hausdorff spaces $X$ with $F(X) = ω$ such that $w(X) = \mathfrak{c}$ and $|X| = 2^\mathfrak{c}$. We also show that… ▽ More The main result of this paper is that, under PFA, for every {\em regular} space $X$ with $F(X) = ω$ we have $|X| \le w(X)^ω$; in particular, $w(X) \le \mathfrak{c}$ implies $|X| \le \mathfrak{c}$. This complements numerous prior results that yield consistent examples of even compact Hausdorff spaces $X$ with $F(X) = ω$ such that $w(X) = \mathfrak{c}$ and $|X| = 2^\mathfrak{c}$. We also show that regularity cannot be weakened to Hausdorff in this result because we can find in ZFC a Hausdorff space $X$ with $F(X) = ω$ such that $w(X) = \mathfrak{c}$ and $|X| = 2^\mathfrak{c}$. In fact, this space $X$ has the {\em strongly anti-Urysohn} (SAU) property that any two infinite closed sets in $X$ intersect, which is much stronger than $F(X) = ω$. Moreover, any non-empty open set in $X$ also has size $2^\mathfrak{c}$, and thus answers one of the main problems of \cite{JShSSz} by providing in ZFC a SAU space with no isolated points. △ Less

Submitted 1 February, 2022; originally announced February 2022.

MSC Class: 54A25; 54A35; 54D10; 03E04

On the weak pseudoradiality of CSC spaces

Authors: Hector Barrig-Acosta, Alan Dow

Abstract: In this paper, we prove that in forcing extensions by a poset with finally property K over a model of GCH+$\square$, every compact sequentially compact space is weakly pseudoradial. We also prove the following assuming $\mathfrak{s}\leq \aleph_2$: (i) if $X$ is compact weakly pseudoradial, then $X$ is pseudoradial if and only if $X$ cannot be mapped onto $[0,1]^\mathfrak{s}$; (ii) if $X$ and $Y$ a… ▽ More In this paper, we prove that in forcing extensions by a poset with finally property K over a model of GCH+$\square$, every compact sequentially compact space is weakly pseudoradial. We also prove the following assuming $\mathfrak{s}\leq \aleph_2$: (i) if $X$ is compact weakly pseudoradial, then $X$ is pseudoradial if and only if $X$ cannot be mapped onto $[0,1]^\mathfrak{s}$; (ii) if $X$ and $Y$ are compact pseudoradial spaces such that $X\times Y$ is weakly pseudoradial, then $X\times Y$ is pseudoradial. These results add to the wide variety of partial answers to the question by Gerlits and Nagy of whether the product of two compact pseudoradial spaces is pseudoradial. △ Less

Submitted 29 October, 2021; originally announced November 2021.

Comments: 17 pages

MSC Class: 03E04; 03E10; 03E17; 03E35; 03E65; 06E15; 54A20; 54A35; 54B10

A zero-dimensional F-space that is not strongly zero-dimensional

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We present an example of a zero-dimensional $F$-space that is not strongly zero-dimensional. We present an example of a zero-dimensional $F$-space that is not strongly zero-dimensional. △ Less

Submitted 10 December, 2021; v1 submitted 29 August, 2021; originally announced August 2021.

Comments: Version 2: corrections and some changes after referee's report

MSC Class: Primary 54G05; Secondary 54F45; 54G20

Journal ref: Topology and its Applications Volume 310, 1 April 2022, 108042

$\mathsf{PFA}$ and $ω_1$-free compact spaces

Authors: Alan Dow, Klaas Pieter Hart

Abstract: The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $ω_1$-sequence. The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $ω_1$-sequence. △ Less

Submitted 11 November, 2021; v1 submitted 28 April, 2021; originally announced April 2021.

Comments: Version 2: various corrections and changes Version 3: some corrections/changes after referee's report; final version

MSC Class: 54D30 (Primary); 03E35; 03E50; 03E57; 54A20; 54A35; 54D20 (Secondary)

Journal ref: Acta Mathematica Hungarica (2022)

Productivity of cellular-Lindelof spaces

Authors: Alan Dow, Robert M. Stephenson

Abstract: The main purpose of this note is to prove that the product of a cellular Lindelof space with a space of countable spread need not be cellular-Lindelof. The main purpose of this note is to prove that the product of a cellular Lindelof space with a space of countable spread need not be cellular-Lindelof. △ Less

Submitted 4 December, 2020; originally announced December 2020.

An Efimov space with character less than $\mathfrak s$

Authors: Alan Dow

Abstract: It is consistent that there is a compact space of character less than the splitting number in which there are no converging sequences. Such a space is an Efimov space. It is consistent that there is a compact space of character less than the splitting number in which there are no converging sequences. Such a space is an Efimov space. △ Less

Submitted 4 December, 2020; originally announced December 2020.

MSC Class: 54E65

On the cardinality of separable pseudoradial spaces

Authors: Alan Dow, Istvan Juhasz

Abstract: The aim of this paper is to consider questions concerning the possible maximum cardinality of various separable pseudoradial (in short: SP) spaces. The most intriguing question here is if there is, in ZFC, a regular (or just Hausdorff) SP of cardinality greater than $\mathfrak c$. While this question is left open, we establish a number of non-trivial results that we list: 1. It is consistent with… ▽ More The aim of this paper is to consider questions concerning the possible maximum cardinality of various separable pseudoradial (in short: SP) spaces. The most intriguing question here is if there is, in ZFC, a regular (or just Hausdorff) SP of cardinality greater than $\mathfrak c$. While this question is left open, we establish a number of non-trivial results that we list: 1. It is consistent with Martin's Axiom and $\mathfrak c =\aleph_2$ that there is a countably tight and compact SP of cardinality $2^{\mathfrak c}$. 2. If $κ$ is a measurable cardinal then in the forcing extension obtained by adding $κ$ many Cohen reals, every countably tight regular SP space has cardinality at most $\mathfrak c$. 3. If $κ>\aleph_1$ Cohen reals are added to a model of GCH, then in the extension every pseudocompact SP space with a countable dense set of isolated points has cardinality at most $\mathfrak c$. 4. If $\mathfrak c\leq\aleph_2$, then there is a 0-dimensional SP space with a countable dense set of isolated points that has cardinal greater than $\mathfrak c$. △ Less

Submitted 8 December, 2020; v1 submitted 4 December, 2020; originally announced December 2020.

MSC Class: 54A35

The independence of GCH and a combinatorial principle related to Banach-Mazur games

Authors: Will Brian, Alan Dow, Saharon Shelah

Abstract: It was proved recently that Telgársky's conjecture, which concerns partial information strategies in the Banach-Mazur game, fails in models of $\mathsf{GCH}+\square$. The proof introduces a combinatorial principle that is shown to follow from $\mathsf{GCH}+\square$, namely: $\triangledown$: Every separative poset $\mathbb P$ with the $κ$-cc contains a dense sub-poset $\mathbb D$ such that… ▽ More It was proved recently that Telgársky's conjecture, which concerns partial information strategies in the Banach-Mazur game, fails in models of $\mathsf{GCH}+\square$. The proof introduces a combinatorial principle that is shown to follow from $\mathsf{GCH}+\square$, namely: $\triangledown$: Every separative poset $\mathbb P$ with the $κ$-cc contains a dense sub-poset $\mathbb D$ such that $|\{ q \in \mathbb D \,:\, p \text{ extends } q \}| < κ$ for every $p \in \mathbb P$. We prove this principle is independent of $\mathsf{GCH}$ and $\mathsf{CH}$, in the sense that $\triangledown$ does not imply $\mathsf{CH}$, and $\mathsf{GCH}$ does not imply $\triangledown$ assuming the consistency of a huge cardinal. We also consider the more specific question of whether $\triangledown$ holds with $\mathbb P$ equal to the weight-$\aleph_ω$ measure algebra. We prove, again assuming the consistency of a huge cardinal, that the answer to this question is independent of $\mathsf{ZFC}+\mathsf{GCH}$. △ Less

Submitted 2 November, 2020; originally announced November 2020.

Compact Spaces with a $P$-base

Authors: Alan Dow, Ziqin Feng

Abstract: In the paper, we investigate (scattered) compact spaces with a $P$-base for some poset $P$. More specifically, we prove that, under the assumption $ω_1<\mathfrak{b}$, any compact space with an $ω^ω$-base is first-countable and any scattered compact space with an $ω^ω$-base is countable. These give positive solutions to Problems 8.6.9 and 8.7.7 in \cite{Banakh2019}. Using forcing, we also prove tha… ▽ More In the paper, we investigate (scattered) compact spaces with a $P$-base for some poset $P$. More specifically, we prove that, under the assumption $ω_1<\mathfrak{b}$, any compact space with an $ω^ω$-base is first-countable and any scattered compact space with an $ω^ω$-base is countable. These give positive solutions to Problems 8.6.9 and 8.7.7 in \cite{Banakh2019}. Using forcing, we also prove that in a model of $ω_1<\mathfrak{b}$, there is a non-first-countable compact space with a $P$-base for some poset $P$ with calibre~$ω_1$. △ Less

Submitted 24 May, 2021; v1 submitted 10 August, 2020; originally announced August 2020.

Telgarsky's conjecture may fail

Authors: Will Brian, Alan Dow, David Milovich, Lynne Yengulalp

Abstract: Telgársky's conjecture states that for each $k \in \mathbb N$, there is a topological space $X_k$ such that in the Banach-Mazur game on $X_k$, the player {\scriptsize NONEMPTY} has a winning $(k+1)$-tactic but no winning $k$-tactic. We prove that this statement is consistently false. More specifically, we prove, assuming $\mathsf{GCH}+\square$, that if {\scriptsize NONEMPTY} has a winning strate… ▽ More Telgársky's conjecture states that for each $k \in \mathbb N$, there is a topological space $X_k$ such that in the Banach-Mazur game on $X_k$, the player {\scriptsize NONEMPTY} has a winning $(k+1)$-tactic but no winning $k$-tactic. We prove that this statement is consistently false. More specifically, we prove, assuming $\mathsf{GCH}+\square$, that if {\scriptsize NONEMPTY} has a winning strategy for the Banach-Mazur game on a $T_3$ space $X$, then she has a winning $2$-tactic. The proof uses a coding argument due to Galvin, whereby if $X$ has a $π$-base with certain nice properties, then {\scriptsize NONEMPTY} is able to encode, in each consecutive pair of her opponent's moves, all essential information about the play of the game before the current move. Our proof shows that under $\mathsf{GCH}+\square$, every $T_3$ space has a sufficiently nice $π$-base that enables this coding strategy. Translated into the language of partially ordered sets, what we really show is that $\mathsf{GCH}+\square$ implies the following statement, which is equivalent to the existence of the "nice'' $π$-bases mentioned above: \emph{Every separative poset $\mathbb P$ with the $κ$-cc contains a dense sub-poset $\mathbb D$ such that $|\{ q \in \mathbb D \,:\, p \text{ extends } q \}| < κ$ for every $p \in \mathbb P$.} We prove that this statement is independent of $\mathsf{ZFC}$: while it holds under $\mathsf{GCH}+\square$, it is false even for ccc posets if $\mathfrak{b} > \aleph_1$. We also show that if $|\mathbb P| < \aleph_ω$, then \axiom-for-$\mathbb P$ is a consequence of $\mathsf{GCH}$ holding below $|\mathbb P|$. △ Less

Submitted 6 December, 2019; originally announced December 2019.

Pseudoradial spaces and copies of $ω_1+1$

Authors: Angelo Bella, Alan Dow, Rodrigo Hernández-Gutiérrez

Abstract: In this paper we compare the concepts of pseudoradial spaces and the recently defined strongly pseudoradial spaces in the realm of compact spaces. We show that $\mathrm{MA}+\mathfrak{c}=ω_2$ implies that there is a compact pseudoradial space that is not strongly pseudoradial. We essentially construct a compact, sequentially compact space $X$ and a continuous function $f:X\toω_1+1$ in such a way th… ▽ More In this paper we compare the concepts of pseudoradial spaces and the recently defined strongly pseudoradial spaces in the realm of compact spaces. We show that $\mathrm{MA}+\mathfrak{c}=ω_2$ implies that there is a compact pseudoradial space that is not strongly pseudoradial. We essentially construct a compact, sequentially compact space $X$ and a continuous function $f:X\toω_1+1$ in such a way that there is no copy of $ω_1+1$ in $X$ that maps cofinally under $f$. We also give some conditions that imply the existence of copies of $ω_1$ in spaces. In particular, $\mathrm{PFA}$ implies that compact almost radial spaces of radial character $ω_1$ contain many copies of $ω_1$. △ Less

Submitted 8 April, 2019; originally announced April 2019.

MSC Class: 54A20; 54A25; 54A35; 54B35; 54D30; 54G20

Journal ref: Top. Applications 272 (2020) 107070

Small cardinals and small Efimov spaces

Authors: Will Brian, Alan Dow

Abstract: We introduce and analyze a new cardinal characteristic of the continuum, the \emph{splitting number of the reals}, denoted $\mathfrak{s}(\mathbb R)$. This number is connected to Efimov's problem, which asks whether every infinite compact Hausdorff space must contain either a non-trivial convergent sequence, or else a copy of $β\mathbb N$. We introduce and analyze a new cardinal characteristic of the continuum, the \emph{splitting number of the reals}, denoted $\mathfrak{s}(\mathbb R)$. This number is connected to Efimov's problem, which asks whether every infinite compact Hausdorff space must contain either a non-trivial convergent sequence, or else a copy of $β\mathbb N$. △ Less

Submitted 17 January, 2019; originally announced January 2019.

All Parovichenko spaces may be soft-Parovichenko

Authors: Alan Dow, Klaas Pieter Hart

Abstract: It is shown that, assuming the Continuum Hypothesis, compact Hausdorff space of weight at most $\mathfrak{c}$ is a remainder in a soft compactification of $\mathbb{N}$. We also exhibit an example of a compact space of weight $\aleph_1$ -- hence a remainder in some compactification of $\mathbb{N}$ -- for which it is consistent that is not the remainder in a soft compactification of $\mathbb{N}$. It is shown that, assuming the Continuum Hypothesis, compact Hausdorff space of weight at most $\mathfrak{c}$ is a remainder in a soft compactification of $\mathbb{N}$. We also exhibit an example of a compact space of weight $\aleph_1$ -- hence a remainder in some compactification of $\mathbb{N}$ -- for which it is consistent that is not the remainder in a soft compactification of $\mathbb{N}$. △ Less

Submitted 10 May, 2021; v1 submitted 9 November, 2018; originally announced November 2018.

Comments: Version 2: simpler construction, plus a remainder of $\mathbb{N}$ that is consistently not a soft remainder of $\mathbb{N}$ Version 3: new author; examples of soft-Parovichenko spaces as well as some questions Version 4: new title, corrections after referee's report

MSC Class: 54D40 (Primary); 03E35; 03E50; 54A35; 54D80 (Secondary)

Journal ref: Topology Proceedings, 59 (2022), 209-221. (E-published on May 17, 2021)

Densely k-separable compacta are densely separable

Authors: Alan Dow, Istvan Juhasz

Abstract: A space has $σ$-compact tightness if the closures of $σ$-compact subsets determines the topology. We consider a dense set variant that we call densely k-separable. We consider the question of whether every densely k-separable space is separable. The somewhat surprising answer is that this property, for compact spaces, implies that every dense set is separable. The path to this result relies on the… ▽ More A space has $σ$-compact tightness if the closures of $σ$-compact subsets determines the topology. We consider a dense set variant that we call densely k-separable. We consider the question of whether every densely k-separable space is separable. The somewhat surprising answer is that this property, for compact spaces, implies that every dense set is separable. The path to this result relies on the known connections established between $π$-weight and the density of all dense subsets, or more precisely, the cardinal invariant $δ(X)$. △ Less

Submitted 11 October, 2018; originally announced October 2018.

MSC Class: 54A25

On the tightness of $G_δ$-modifications

Authors: Alan Dow, István Juhász, Lajos Soukup, Zoltán Szentmiklóssy, William Weiss

Abstract: The $G_δ$-modification $X_δ$ of a topological space $X$ is the space on the same underlying set generated by, i.e. having as a basis, the collection of all $G_δ$ subsets of $X$. Bella and Spadaro recently investigated the connection between the values of various cardinal functions taken on $X$ and $X_δ$, respectively. In their paper, as Question 2, they raised the following problem: Is… ▽ More The $G_δ$-modification $X_δ$ of a topological space $X$ is the space on the same underlying set generated by, i.e. having as a basis, the collection of all $G_δ$ subsets of $X$. Bella and Spadaro recently investigated the connection between the values of various cardinal functions taken on $X$ and $X_δ$, respectively. In their paper, as Question 2, they raised the following problem: Is $t(X_δ) \le 2^{t(X)}$ true for every (compact) $T_2$ space $X$? Note that this is actually two questions. In this note we answer both questions: In the compact case affirmatively and in the non-compact case negatively. In fact, in the latter case we even show that it is consistent with ZFC that no upper bound exists for the tightness of the $G_δ$-modifications of countably tight, even Frechet spaces. △ Less

Submitted 6 May, 2018; originally announced May 2018.

Comments: 9 pages

MSC Class: 54A25; 03E35; 54A35

Pseudo P-points and splitting number

Authors: Alan Dow, Saharon Shelah

Abstract: We construct a model in which the splitting number is large and every ultrafilter has a small subset with no pseudo-intersection. We construct a model in which the splitting number is large and every ultrafilter has a small subset with no pseudo-intersection. △ Less

Submitted 13 February, 2018; originally announced February 2018.

MSC Class: 54A35

Asymmetric tie-points and almost clopen subsets of N*

Authors: Alan Dow, Saharon Shelah

Abstract: A tie-point of a compact space is analogous to a cut-point: the complement of the point falls apart into two relatively clopen non-compact subsets. Set-theoretically a tie-point of N* is an ultrafilter whose dual maximal ideal can be generated by the union of two non-principal mod finite orthogonal ideals. We review some of the many consistency results that have depended on the construction of tie… ▽ More A tie-point of a compact space is analogous to a cut-point: the complement of the point falls apart into two relatively clopen non-compact subsets. Set-theoretically a tie-point of N* is an ultrafilter whose dual maximal ideal can be generated by the union of two non-principal mod finite orthogonal ideals. We review some of the many consistency results that have depended on the construction of tie-points of N*. One especially important application, due to Velickovic, was to the existence of non-trivial involutions on N*. A tie-point of N* has been called symmetric if it is the unique fixed point of an involution. We define the notion of an almost clopen set to be the closure of one of the proper relatively clopen subsets of the complement of a tie-point. We explore asymmetries of almost clopen subsets of N* in the sense of how may an almost clopen set differ from its natural complementary almost clopen set. △ Less

Submitted 8 January, 2018; originally announced January 2018.

MSC Class: 54D80; 03E15

On the cofinality of the splitting number

Authors: Alan Dow, Saharon Shelah

Abstract: The splitting number can be singular. The key method is to construct a forcing poset with finite support matrix iterations of ccc posets introduced by Blass and the second author "Ultrafilters with small generating sets", Israel J. Math., 65, (1989) The splitting number can be singular. The key method is to construct a forcing poset with finite support matrix iterations of ccc posets introduced by Blass and the second author "Ultrafilters with small generating sets", Israel J. Math., 65, (1989) △ Less

Submitted 8 January, 2018; originally announced January 2018.

MSC Class: 03E15

Journal ref: Indag. Math. (N.S.) 29 (2018), no 1, 382-395

Hereditarily normal manifolds of dimension > 1 may all be metrizable

Authors: Alan Dow, Franklin D. Tall

Abstract: P.J. Nyikos has asked whether it is consistent that every hereditarily normal manifold of dimension > 1 is metrizable, and proved it is if one assumes the consistency of a supercompact cardinal, and, in addition, that the manifold is hereditarily collectionwise Hausdorff. We are able to omit these extra assumptions. P.J. Nyikos has asked whether it is consistent that every hereditarily normal manifold of dimension > 1 is metrizable, and proved it is if one assumes the consistency of a supercompact cardinal, and, in addition, that the manifold is hereditarily collectionwise Hausdorff. We are able to omit these extra assumptions. △ Less

Submitted 16 July, 2016; originally announced July 2016.

MSC Class: 54A35; 54D15; 54D45; 54E35; 03E05; 03E65; 54D20; 03E55

PFA(S)[S] and countably compact spaces

Authors: Alan Dow, Franklin D. Tall

Abstract: We show a number of undecidable assertions concerning countably compact spaces hold under PFA(S)[S]. We also show the consistency without large cardinals of "every locally compact, perfectly normal space is paracompact". We show a number of undecidable assertions concerning countably compact spaces hold under PFA(S)[S]. We also show the consistency without large cardinals of "every locally compact, perfectly normal space is paracompact". △ Less

Submitted 14 July, 2016; originally announced July 2016.

MSC Class: 54A35; 03e35; 54D20; 03E55; 03E65; 03E75; 54A20; 54D15; 54D45; 54D55

Normality versus paracompactness in locally compact spaces

Authors: Alan Dow, Franklin D. Tall

Abstract: This note provides a correct proof of the result claimed by the second author that locally compact normal spaces are collectionwise Hausdorff in certain models obtained by forcing with a coherent Souslin tree. A novel feature of the proof is the use of saturation of the non-stationary ideal on ω_1, as well as of a strong form of Chang's Conjecture. Together with other improvements, this enables th… ▽ More This note provides a correct proof of the result claimed by the second author that locally compact normal spaces are collectionwise Hausdorff in certain models obtained by forcing with a coherent Souslin tree. A novel feature of the proof is the use of saturation of the non-stationary ideal on ω_1, as well as of a strong form of Chang's Conjecture. Together with other improvements, this enables the characterization of locally compact hereditarily paracompact spaces as those locally compact, hereditarily normal spaces that do not include a copy of ω_1. △ Less

Submitted 14 July, 2016; originally announced July 2016.

MSC Class: 54A35; 54D20; 54D45; 03E35; 03E50; 03E55; 03E57

Journal ref: Can. J. Math.-J. Can. Math. 70 (2018) 74-96

Reversible filters

Authors: Alan Dow, Rodrigo Hernández-Gutiérrez

Abstract: A space is reversible if every continuous bijection of the space onto itself is a homeomorphism. In this paper we study the question of which countable spaces with a unique non-isolated point are reversible. By Stone duality, these spaces correspond to closed subsets in the Čech-Stone compactification of the natural numbers $βω$. From this, the following natural problem arises: given a space $X$ t… ▽ More A space is reversible if every continuous bijection of the space onto itself is a homeomorphism. In this paper we study the question of which countable spaces with a unique non-isolated point are reversible. By Stone duality, these spaces correspond to closed subsets in the Čech-Stone compactification of the natural numbers $βω$. From this, the following natural problem arises: given a space $X$ that is embeddable in $βω$, is it possible to embed $X$ in such a way that the associated filter of neighborhoods defines a reversible (or non-reversible) space? We give the solution to this problem in some cases. It is specially interesting whether the image of the required embedding is a weak $P$-set. △ Less

Submitted 3 March, 2016; v1 submitted 15 January, 2016; originally announced January 2016.

MSC Class: 54A10; 54D35; 54G05

Journal ref: Topol. Appl. 225 (2017) 34-45

Far points and discretely generated spaces

Authors: Alan Dow, Rodrigo Hernández-Gutiérrez

Abstract: We give a partial solution to a question by Alas, Junqueria and Wilson by proving that under PFA the one-point compactification of a locally compact, discretely generated and countably tight space is also discretely generated. After this, we study the cardinal number given by the smallest possible character of remote and far sets of separable metrizable spaces. Finally, we prove that in some cases… ▽ More We give a partial solution to a question by Alas, Junqueria and Wilson by proving that under PFA the one-point compactification of a locally compact, discretely generated and countably tight space is also discretely generated. After this, we study the cardinal number given by the smallest possible character of remote and far sets of separable metrizable spaces. Finally, we prove that in some cases a countable space has far points. △ Less

Submitted 11 October, 2018; v1 submitted 4 September, 2015; originally announced September 2015.

MSC Class: 54D35; 54A25; 54G12; 54D80; 03E10; 03E75

Journal ref: Colloq. Math. 158 (2019), 233-254

Compact spaces with a $\mathbb{P}$-diagonal

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We prove that compact Hausdorff spaces with a $\mathbb{P}$-diagonal are metrizable. We prove that compact Hausdorff spaces with a $\mathbb{P}$-diagonal are metrizable. △ Less

Submitted 12 January, 2016; v1 submitted 6 August, 2015; originally announced August 2015.

Comments: Version 2, after referee's comments

MSC Class: 54E35 (Primary); 03E17; 54D30; 54B10 (Secondary)

Journal ref: Indagationes Mathematicae, 27 (2016) 721-726

Magnetic induction tomography using an all-optical $^{87}$Rb atomic magnetometer

Authors: Arne Wickenbrock, Sarunas Jurgilas, Albert Dow, Luca Marmugi, Ferruccio Renzoni

Abstract: We demonstrate Magnetic Induction Tomography (MIT) with an all-optical atomic magnetometer. Our instrument creates a conductivity map of conductive objects. Both shape and size of the imaged samples compare very well with the actual shape and size. Given the potential of all-optical atomic magnetometers for miniaturization and extreme sensitivity, the proof-of-principle presented here opens up pro… ▽ More We demonstrate Magnetic Induction Tomography (MIT) with an all-optical atomic magnetometer. Our instrument creates a conductivity map of conductive objects. Both shape and size of the imaged samples compare very well with the actual shape and size. Given the potential of all-optical atomic magnetometers for miniaturization and extreme sensitivity, the proof-of-principle presented here opens up promising avenues in the development of instrumentation for magnetic induction tomography. △ Less

Submitted 2 November, 2014; v1 submitted 7 September, 2014; originally announced September 2014.

Comments: 4 pages, 3 figures. Minor modifications, typos amended, references to f_ac and f_dc inserted in Fig. 1

Journal ref: Opt. Lett. 39 (2014) 6367-6370

CH and the Moore-Mrowka Problem

Authors: Alan Dow, Todd Eisworth

Abstract: We show that the Continuum Hypothesis is consistent with all regular spaces of hereditarily countable $π$-character being C-closed. This gives us a model of ZFC in which the Continuum Hypothesis holds and compact Hausdorff spaces of countable tightness are sequential. We show that the Continuum Hypothesis is consistent with all regular spaces of hereditarily countable $π$-character being C-closed. This gives us a model of ZFC in which the Continuum Hypothesis holds and compact Hausdorff spaces of countable tightness are sequential. △ Less

Submitted 1 September, 2014; originally announced September 2014.

Can Cascades be Predicted?

Authors: Justin Cheng, Lada A. Adamic, P. Alex Dow, Jon Kleinberg, Jure Leskovec

Abstract: On many social networking web sites such as Facebook and Twitter, resharing or reposting functionality allows users to share others' content with their own friends or followers. As content is reshared from user to user, large cascades of reshares can form. While a growing body of research has focused on analyzing and characterizing such cascades, a recent, parallel line of work has argued that the… ▽ More On many social networking web sites such as Facebook and Twitter, resharing or reposting functionality allows users to share others' content with their own friends or followers. As content is reshared from user to user, large cascades of reshares can form. While a growing body of research has focused on analyzing and characterizing such cascades, a recent, parallel line of work has argued that the future trajectory of a cascade may be inherently unpredictable. In this work, we develop a framework for addressing cascade prediction problems. On a large sample of photo reshare cascades on Facebook, we find strong performance in predicting whether a cascade will continue to grow in the future. We find that the relative growth of a cascade becomes more predictable as we observe more of its reshares, that temporal and structural features are key predictors of cascade size, and that initially, breadth, rather than depth in a cascade is a better indicator of larger cascades. This prediction performance is robust in the sense that multiple distinct classes of features all achieve similar performance. We also discover that temporal features are predictive of a cascade's eventual shape. Observing independent cascades of the same content, we find that while these cascades differ greatly in size, we are still able to predict which ends up the largest. △ Less

Submitted 18 March, 2014; originally announced March 2014.

ACM Class: H.2.8

On subcontinua and continuous images of beta R\R

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We prove that the Cech-Stone remainder of the real line has a family of 2^c mutually non-homeomorphic subcontinua. We also exhibit a consistent example of a first-countable continuum that is not a continuous image of this remainder. We prove that the Cech-Stone remainder of the real line has a family of 2^c mutually non-homeomorphic subcontinua. We also exhibit a consistent example of a first-countable continuum that is not a continuous image of this remainder. △ Less

Submitted 14 January, 2014; originally announced January 2014.

MSC Class: 54F15 (Primary) 03E50; 03E65; 54A35; 54D35; 54D40; 54G20 (Secondary)

Journal ref: Topology and its Applications, 195 (2015), 93-106

The Katowice problem and autohomeomorphisms of $ω^*$

Authors: David Chodounsky, Alan Dow, Klaas Pieter Hart, Harm de Vries

Abstract: We show that the existence of a homeomorphism between $ω_0^*$ and $ω_1^*$ entails the existence of a non-trivial autohomeomorphism of $ω_0^*$. We show that the existence of a homeomorphism between $ω_0^*$ and $ω_1^*$ entails the existence of a non-trivial autohomeomorphism of $ω_0^*$. △ Less

Submitted 6 August, 2015; v1 submitted 15 July, 2013; originally announced July 2013.

MSC Class: 54D40 (Primary); 03E05; 03E35; 06E05; 06E15; 54A35; 54D80 (Secondary)

Journal ref: Topology and its Applications, 213 (2016) 230-237

User Taglines: Alternative Presentations of Expertise and Interest in Social Media

Authors: Hemant Purohit, Alex Dow, Omar Alonso, Lei Duan, Kevin Haas

Abstract: Web applications are increasingly showing recommended users from social media along with some descriptions, an attempt to show relevancy - why they are being shown. For example, Twitter search for a topical keyword shows expert twitterers on the side for 'whom to follow'. Google+ and Facebook also recommend users to follow or add to friend circle. Popular Internet newspaper- The Huffington Post sh… ▽ More Web applications are increasingly showing recommended users from social media along with some descriptions, an attempt to show relevancy - why they are being shown. For example, Twitter search for a topical keyword shows expert twitterers on the side for 'whom to follow'. Google+ and Facebook also recommend users to follow or add to friend circle. Popular Internet newspaper- The Huffington Post shows Twitter influencers/ experts on the side of an article for authoritative relevant tweets. The state of the art shows user profile bios as summary for Twitter experts, but it has issues with length constraint imposed by user interface (UI) design, missing bio and sometimes funny profile bio. Alternatively, applications can use human generated user summary, but it will not scale. Therefore, we study the problem of automatic generation of informative expertise summary or taglines for Twitter experts in space constraint imposed by UI design. We propose three methods for expertise summary generation- Occupation-Pattern based, Link-Triangulation based and User-Classification based, with use of knowledge-enhanced computing approaches. We also propose methods for final summary selection for users with multiple candidates of generated summaries. We evaluate the proposed approaches by user-study using a number of experiments. Our results show promising quality of 92.8% good summaries with majority agreement in the best case and 70% with majority agreement in the worst case. Our approaches also outperform the state of the art up to 88%. This study has implications in the area of expert profiling, user presentation and application design for engaging user experience. △ Less

Submitted 9 December, 2012; originally announced December 2012.

Comments: First ASE International Conference on Social Informatics, Social-Informatics-2012

ACM Class: H.5.3

Reflecting Lindelöf and converging omega_1-sequences

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging omega-sequence or a non-trivial converging omega_1-sequence. We establish that this dichotomy holds in a variety of models; these include the Cohen models, the random real models and any model obtained from a model of CH by an iteration of property K posets. In fact in these models… ▽ More We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging omega-sequence or a non-trivial converging omega_1-sequence. We establish that this dichotomy holds in a variety of models; these include the Cohen models, the random real models and any model obtained from a model of CH by an iteration of property K posets. In fact in these models every compact Hausdorff space without non-trivial converging omega_1-sequences is first-countable and, in addition, has many aleph_1-sized Lindelöf subspaces. As a corollary we find that in these models all compact Hausdorff spaces with a small diagonal are metrizable. △ Less

Submitted 17 July, 2013; v1 submitted 12 November, 2012; originally announced November 2012.

Comments: New version after referee's report

MSC Class: 54D30 (Primary) 03E35; 54A20; 54A25; 54A35; 54D20 (Secondary)

Journal ref: Fundamenta Mathematicae 224 (2014), 205-218

Elementary chains and compact spaces with a small diagonal

Authors: Alan Dow, Klaas Pieter Hart

Abstract: It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such spaces have countable π-weight. We generalize a result of Gruenhage about spaces which are metrizably fibered. Finally we discover that if there is a Luzin set of r… ▽ More It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such spaces have countable π-weight. We generalize a result of Gruenhage about spaces which are metrizably fibered. Finally we discover that if there is a Luzin set of reals, then every compact space with a small diagonal will have many points of countable character. △ Less

Submitted 8 September, 2011; originally announced September 2011.

MSC Class: 54A20; 54G20; 54A35; 03E35; 54G12

Journal ref: Indagationes Mathematicae 23 (2012), 438-447

Exact solutions and stability of rotating dipolar Bose-Einstein condensates in the Thomas-Fermi limit

Authors: R. M. W. van Bijnen, A. J. Dow, D. H. J. O'Dell, N. G. Parker, A. M. Martin

Abstract: We present a theoretical analysis of dilute gas Bose-Einstein condensates with dipolar atomic interactions under rotation in elliptical traps. Working in the Thomas-Fermi limit, we employ the classical hydrodynamic equations to first derive the rotating condensate solutions and then consider their response to perturbations. We thereby map out the regimes of stability and instability for rotating… ▽ More We present a theoretical analysis of dilute gas Bose-Einstein condensates with dipolar atomic interactions under rotation in elliptical traps. Working in the Thomas-Fermi limit, we employ the classical hydrodynamic equations to first derive the rotating condensate solutions and then consider their response to perturbations. We thereby map out the regimes of stability and instability for rotating dipolar Bose-Einstein condensates and in the latter case, discuss the possibility of vortex lattice formation. We employ our results to propose several novel routes to induce vortex lattice formation in a dipolar condensate. △ Less

Submitted 10 May, 2009; originally announced May 2009.

Comments: 12 pages with 6 figures

Journal ref: Phys. Rev. A 80, 033617 (2009)

A first-countable non-remainder of H

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We give a (consistent) example of a first-countable continuum that is not a remainder of the real line. We give a (consistent) example of a first-countable continuum that is not a remainder of the real line. △ Less

Submitted 30 May, 2008; originally announced May 2008.

MSC Class: 54F15 (Primary); 03E50; 03E65; 54A35; 54D40; 54G20 (Secondary)

More on Tie-points and homeomorphism in N^*

Authors: Alan Dow, Saharon Shelah

Abstract: A point x is a (bow) tie-point of a space X if X setminus {x} can be partitioned into (relatively) clopen sets each with x in its closure. Tie-points have appeared in the construction of non-trivial autohomeomorphisms of betaN setminus N= N^* and in the recent study of (precisely) 2-to-1 maps on N^*. In these cases the tie-points have been the unique fixed point of an involution on N^*. One appl… ▽ More A point x is a (bow) tie-point of a space X if X setminus {x} can be partitioned into (relatively) clopen sets each with x in its closure. Tie-points have appeared in the construction of non-trivial autohomeomorphisms of betaN setminus N= N^* and in the recent study of (precisely) 2-to-1 maps on N^*. In these cases the tie-points have been the unique fixed point of an involution on N^*. One application of the results in this paper is the consistency of there being a 2-to-1 continuous image of N^* which is not a homeomorph of N^* . △ Less

Submitted 19 November, 2007; originally announced November 2007.

Report number: Shelah [DwSh:917]

Tie-points and fixed-points in N^*

Authors: Alan Dow, Saharon Shelah

Abstract: A point x is a (bow) tie-point of a space X if X setminus {x} can be partitioned into (relatively) clopen sets each with x in its closure. Tie-points have appeared in the construction of non-trivial autohomeomorphisms of betaN setminus N and in the recent study of (precisely) 2-to-1 maps on betaN setminus N . In these cases the tie-points have been the unique fixed point of an involution on beta… ▽ More A point x is a (bow) tie-point of a space X if X setminus {x} can be partitioned into (relatively) clopen sets each with x in its closure. Tie-points have appeared in the construction of non-trivial autohomeomorphisms of betaN setminus N and in the recent study of (precisely) 2-to-1 maps on betaN setminus N . In these cases the tie-points have been the unique fixed point of an involution on betaN setminus N. This paper is motivated by the search for 2-to-1 maps and obtaining tie-points of strikingly differing characteristics. △ Less

Submitted 19 November, 2007; originally announced November 2007.

Report number: Shelah [DwSh:916]

A separable non-remainder of H

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We prove that there is a compact separable continuum that (consistently) is not a remainder of the real line. We prove that there is a compact separable continuum that (consistently) is not a remainder of the real line. △ Less

Submitted 25 September, 2007; v1 submitted 6 August, 2007; originally announced August 2007.

Comments: Rewrite after referee's comments

MSC Class: 54F15; 03E50; 03E65; 54A35; 54D15; 54D40; 54D65

Journal ref: Proc. Amer. Math. Soc. 136 (2008), 4057-4063

On the domain wall partition functions of level-1 affine so(n) vertex models

Authors: A Dow, O Foda

Abstract: We derive determinant expressions for domain wall partition functions of level-1 affine so(n) vertex models, n >= 4, at discrete values of the crossing parameter lambda = m pi / 2(n-3), m in Z, in the critical regime. We derive determinant expressions for domain wall partition functions of level-1 affine so(n) vertex models, n >= 4, at discrete values of the crossing parameter lambda = m pi / 2(n-3), m in Z, in the critical regime. △ Less

Submitted 3 April, 2006; originally announced April 2006.

Comments: 14 pages, 13 figures included in latex file

Journal ref: J.Stat.Mech.0605:P05010,2006

Cosmic dimensions

Authors: Alan Dow, Klaas Pieter hart

Abstract: Martin's Axiom for $σ$-centered partial orders implies that there is a cosmic space with non-coinciding dimensions. Martin's Axiom for $σ$-centered partial orders implies that there is a cosmic space with non-coinciding dimensions. △ Less

Submitted 15 November, 2005; v1 submitted 5 September, 2005; originally announced September 2005.

Comments: 2005-11-15: new version, largely rewritten

MSC Class: 54F45 (Primary); 03E50; 54E20 (Secondary)

Journal ref: Topology and its Applications, 154 (2007), 2449-2456