Calligraphy Concerning
Casually Compiled Cardinal Characteristics Comparisons

Abstract.

I establish several inequalities between cardinal characteristics of the continuum. In particular, it is shown that the partition splitting number is not larger than the uniformity of the meagre ideal; not all sets of reals having the cardinality of an (the?) $\varepsilon$-almost bisecting number are of strong measure zero; no fewer sets of strong measure zero than indicated by the statistically reaping number suffice to cover the reals; the pair-splitting number is not smaller than the evasion number; and the subseries number is neither smaller than the pair-splitting number nor than the minimum of the unbounding number and the unbisecting number. Moreover I provide a diagram putting these results into context and give a brief historical account.

1. Preliminaries

1.1. Formalities

1.1.1. Acknowledgements

The author thanks Andreas Blass, Shimon Garti, Michael Hrušák, Ferdinand Ihringer, and Diana Montoya for enlightening correspondence by electronic mail and gratefully acknowledges support through the Singaporean Ministry of Education Tier 2 grant No. MOE2017-T2-2-125, the Fonds zur Förderung der wissenschaftlichen Forschung, Lise Meitner grant M 3037-N, as well as the Research Project of National relevance “PRIN2022_DIMONTE - Models, sets and classifications . For the purpose of open access, the author has applied a CC BY public copyright licence to any Author Accepted Manuscript version arising from this submission.

1.1.2. Declarations

The author has no relevant financial or non-financial interests to disclose.

The author has no conflicts of interest to declare that are relevant to the content of this article.

The author certifies that he have no affiliation with or involvement in any organisation or entity with any financial interest or non-financial interest in the subject matter or materials discussed in this manuscript.

The author has no financial or proprietary interest in any material discussed in this article.

1.2. Introduction

1.2.1. Prologue

Cardinal characteristics of the continuum are infinite cardinals, usually uncountable and no larger than the continuum, given by a specific definition. They are often derived from considerations not belonging to set theory proper and sometimes from investigations in combinatorial set theory for their own sake. There are two kinds of possible results about them: Often one can show metamathematically that it is consistent with the axioms of set theory to assume that one particular characteristic is smaller than another; sometimes one can straightforwardly show that one is no larger than another. This paper contains six results of the latter sort, in general related to work of Blass, Hrušák, Laflamme, Meza-Alcántara, A. Miller, Minami, Raghavan and Steprans, [989BL, 994Bl, 004B, 006MS, 010Mi, 010H, 020Ra] and is particularly inspired by the more recent work of J. Brendle, Brian, Halbeisen, Hamkins, Klausner, Lischka, and Shelah, [023B^&, 019B]. Its purpose is twofold. On the one hand it shall disseminate the results presented among those specialising—among possibly other fields—in the theory of cardinal characteristics of the continuum. On the other hand it shall give a broader audience a small overview over parts of the subject and serve as a possible starting point for enquiries. While thus having aspects of a survey, it does not aim to be an exposition. For a more expository treatment, see [984vD, 995BJ, 001Br, 010Bl, 012Ha]. For a thorough historical account, see [012St]. Combining these objectives seems appropriate as, firstly, none of the results presented are of a metamathematical nature, so the reader does not need to know any mathematical logic, and, secondly, they are somewhat scattered about within the subject of cardinal characteristics of the continuum. A Hasse diagram is provided on page 1. It includes all cardinal characteristics involved in new results presented here—see the Summary on page 1.3.2—and then some. The general aim was to include as many cardinal characteristics as possible without rendering the resulting diagram incomprehensible. In particular, if a characteristic appears in the diagram, known relations to other characteristic in the diagram appear as well; moreover, lines are not crossing. These conditions explain why $\mathfrak{b}$ does appear in the diagram within both a minimum and a maximum but not on its own, as $\mathfrak{h}_{\mathbb{Q}}\leqslant\mathfrak{b}$. No reader should infer that a cardinal characteristic is generally wider known or in some objective sense more interesting than another only because in contrast to the latter, the former appears in the diagram. A line between two characteristics means an inequality applies with the characteristic higher up on the page being no smaller than the one further down on it.

All characteristics mentioned in this paper have been introduced by someone else elsewhere. Whenever a characteristic is defined, a reference to a survey or one or several papers concerning the characteristic is given.

All proofs presented in this paper are by contradiction and written unwaveringly in this manner. This is to say, that the contradiction is not reached before the end of the proof. Their style might strike the readers as terse but the author hopes that they will (grow to) like it. It may be less suited to give readers a rough idea but it probably is all the more suited to thoroughly check for correctness which, in the absence of a coauthor, is an important feature.

1.2.2. History

It only gradually became a custom to name cardinal characteristics when they appeared in a theorem. This is, by the way, the reason that the legend on page 2 contains two columns with references: One to a place in which an inequality between characteristics can be said to have appeared earliest in a history of ideas, and one to a source where explicit definitions and proofs in modern terminology can be found, would this not be possible in the the original source. Many characteristics were named by van Douwen in [984vD] but appeared in mathematics earlier. It later became customary to depict characteristics thus named in a Hasse diagram called van Douwen’s diagram.

The unbounding number $\mathfrak{b}$, cf. Definition 1.3.1, goes back to Rothberger and Sierpiński, [939Ro, 939Si], the splitting number $\mathfrak{s}$, cf. Definition 1.3.10, to Booth, [974Bo] and the distributivity number $\mathfrak{h}$, cf. Definition 1.3.3, to Balcar, Pelant, and Simon, [980B]. The study of cardinal characteristics related to measure and category became oriented around what, following Fremlin, [984Fr], became known as Cichoń’s diagram. Again, investigations had begun before that, at the latest with A. Miller’s [981Mi]. The groupwise density number $\mathfrak{g}$, cf. Definition 1.3.2 was introduced by Blass and Laflamme, [989BL]. In [994Bl], Blass defined the evasion number $\mathfrak{e}$, cf. Definition 1.3.19 and the linear evasion number $\mathfrak{e}_{\ell}$, and used them to analyse what he termed the Specker phenomenon thus continuing earlier investigations by Eda, [983Ed]. A subgroup $G$ of the Baer-Specker-group $\mathbb{Z}^{\omega}$, exhibits the Specker phenomenon if it contains a sequence $\langle a_{i}\,\mid\,i<\omega\rangle$ of linearly independent elements such that for every homomorphism $h:G\longrightarrow\mathbb{Z}$ the set $\left\{i<\omega\mid h(a_{i})\neq 0\right\}$ is finite. Blass showed that there is a group no larger than $\min(\mathfrak{b},\mathfrak{e})$ exhibiting the Specker phenomenon and that the smallest group exhibiting it can be no smaller than $\mathfrak{e}_{\ell}$. Brendle, cf. [996BS], went on to show that the smallest group exhibiting it is in fact of cardinality $\mathfrak{e}_{\ell}$ which he proved to equal $\min(\mathfrak{b},\mathfrak{e})$.

Another development starting in the nineties of the last century with a paper by Majcher, [990Ma], is the dualisation of van Douwen’s diagram. The notion of duality here is the same as in the dual form of Ramsey’s Theorem, proved by Carlson and Simpson, cf. [984CS]: One switches from subsets of a set to partitions of it and as subsets are induced by ranges of injections, partitions are induced by domains of surjections. These dual characteristics were subsequently analysed by several people, cf.e.g.[000C]. In [010Mi], Minami analysed the dual splitting number and the dual reaping number $\mathfrak{r}_{d}$ and to that end introduced the notions of pair-splitting and pair-reaping.

The characteristic $\mathfrak{e\mspace{-0.5mu}q}$ was introduced officially by A. Miller and Steprans, [006MS, p. 57, Def. 16], but one could argue that it was in the air since Miller proved that it is a combinatorial description of the minimal size of a set of reals failing to have strong measure zero, cf. [981Mi, p. 97, Thm. 2.3]. Note, however, that this characterisation holds for $\mathbb{R}$ and the Cantor space but fails for the Baire space as discussed by Hrušák, Wohofsky, and Zindulka, cf. [016H].

The cardinal characteristics in Definition 1.3.23 were first considered under different names in [999BS] and subsequently analysed in [007HH, 017RS, 020Ra].

Another variation of van Douwen’s diagram comes from studying the structure ${(\operatorname{Dense}(\mathbb{Q}),\subset_{\text{nwd}})}$ instead of ${(\mathcal{P}(\omega),\subset^{*})}$. This was done by Balcar, Brendle, Cichoń, Hernández-Hernández, and Hrušák, cf. [001Ci, 004B, 006Br].

Topological selection principles inspired the definition of the linear refinement number, [304Ts, Definition 61] and the linear excluded middle number, [016M, Definition 1.2].

Most recently, Blass, J. Brendle, Brian, Hamkins, Hardy, and P. Larson analysed the number of manipulations needed to change the limit of a conditionally convergent series, by respectively rearranging, cf. [020B^&], and dropping some summands, cf. [019B]. Meanwhile J. Brendle, Halbeisen, Klausner, Lischka, and Shelah investigated variants of the splitting and unsplitting numbers derived from requiring splitting to happen equitably in various ways, [023B^&].

1.3. Notation, Definitions, a Summary, and a Diagram

1.3.1. Notation and Definitions

For a set $A$, we write $\mathcal{P}(A)$ for the power set of $A$; $[A]^{\kappa}$ for the families of subsets of $A$ having cardinality $\kappa$; and $[A]^{<\kappa}$ for the families of subsets of $A$ having fewer than $\kappa$ elements. For sets $A$ and $B$, by writing ${}^{A}B$, we refer to the collection of all functions from $A$ to $B$. We employ von-Neumann-ordinals, which means that every ordinal number is equal to the set of its predecessors. So $0$ denotes the number zero but also the empty set and $\omega$ denotes the smallest transfinite ordinal but also the set of all natural numbers. Moreover, this means that for two ordinals $\alpha$ and $\beta$, the set $\alpha\setminus\beta$ is the half-open interval from $\beta$ (and if $\beta<\alpha$ including it) to $\alpha$ but excluding it. By writing $X\subset Y$, we mean that $X$ is a subset of $Y$, not necessarily a proper subset. Writing $X\subset^{*}Y$ means that $Y\setminus X$ is finite while for sets $X$ and $Y$ of rational numbers, $X\subset_{\text{nwd}}Y$ means that $Y\setminus X$ is nowhere dense in $\mathbb{Q}$.

We denote by $\operatorname{\mathcal{M}}$ the ideal of meagre (or first category) sets, by $\operatorname{\mathcal{N}}$ the ideal of sets of Lebesgue measure $0$, and by $\operatorname{\mathcal{SN}}$ the ideal of sets of strong measure zero. Recall that a set $X$ is of strong measure zero if for every sequence $\langle\varepsilon_{i}\,\mid\,i<\omega\rangle$ there is a sequence $\langle I_{n}\,\mid\,n<\omega\rangle$ of open intervals with $I_{n}$ having length at most $\varepsilon_{n}$ for every natural number $n$ such that $\displaystyle X\subset\bigcup_{n<\omega}I_{n}$. Finally, $\mathcal{Z}_{0}$ denotes the ideal of sets of natural numbers that have asymptotic density $0$.

Definition 1.3.1 ([984vD, p. 115], [010Bl, 2.2 Def.], [012Ha, Section 8]).

The unbounding number (sometimes called the bounding number) $\mathfrak{b}$ is the minimal cardinality of a family $\mathcal{F}$ of functions $f\in{}^{\omega}\omega$ such that there is no function $g\in{}^{\omega}\omega$ satisfying $f\leqslant^{*}g$ for all $f\in\mathcal{F}$.

A family $\mathcal{F}\subset[\omega]^{\omega}$ is called open if for every $X\in\mathcal{F}$ we have $Y\in\mathcal{F}$ for all $Y\subset^{*}X$. It is called dense if for every $X\in[\omega]^{\omega}$ there is a $Y\in\mathcal{P}(X)\cap\mathcal{F}$.

A family $\mathcal{G}\subset[\omega]^{\omega}$ is groupwise dense if it is open and for every interval partition $\langle J_{i}\,\mid\,i<\omega\rangle$ there is an infinite set $A$ of natural numbers such that $\displaystyle\bigcup_{i\in A}J_{i}\in\mathcal{G}$.

Definition 1.3.2 ([989BL, p. 53], [010Bl, 6.26 Def.]).

The groupwise density number $\mathfrak{g}$ is the minimal cardinality of a collection $\mathcal{C}$ of groupwise dense families such that $\bigcap\mathcal{C}=0$.

Definition 1.3.3 ([010Bl, 6.5 Def.], [012Ha, Section 8]).

The distributivity number $\mathfrak{h}$ is the minimal cardinality of a collection $\mathcal{C}$ of dense open families of sets of natural numbers such that $\bigcap\mathcal{C}=0$.

Following [004B], we will denote the family of all dense sets of rational numbers by $\operatorname{Dense}(\mathbb{Q})$. A family $\mathcal{F}\subset\operatorname{Dense}(\mathbb{Q})$ is called $\mathbb{Q}$-open if for every $X\in\mathcal{F}$ we have $Y\in\mathcal{F}$ for all $Y\subset_{\text{nwd}}X$. Moreover, a family $\mathcal{D}\subset\operatorname{Dense}(\mathbb{Q})$ is called $\mathbb{Q}$-dense if for every $X\in\operatorname{Dense}(\mathbb{Q})$ there is a $Y\in\mathcal{P}(X)\cap\mathcal{D}$.

Definition 1.3.4 ([004B, Section 3]).

The distributivity number of ${(\operatorname{Dense}(\mathbb{Q}),\subset_{\text{nwd}})}$, written $\mathfrak{h}_{\mathbb{Q}}$ is the minimal cardinality of a collection $\mathcal{C}$ of $\mathbb{Q}$-dense $\mathbb{Q}$-open families of sets of rationals such that $\bigcap\mathcal{C}=0$.

Definition 1.3.5.

For infinite sets $S$ and $X$ of natural numbers and $\varepsilon\in]0,\nicefrac{{1}}{{2}}[$, we say

$$S\text{ \emph{splits} }X \text{ if both }X\cap S\text{ and }X\setminus S\text{ are infinite,}$$

$$S\text{ \emph{bisects} }X \text{ if }\lim_{n\nearrow\infty}\frac{\lvert S\cap X\cap n\rvert}{\lvert X\cap n\rvert}=\frac{1}{2},$$

$$S\text{ \emph{infinitely oftenbisects} }X \text{ if }\frac{\lvert S\cap X\cap n\rvert}{\lvert X\cap n\rvert}=\frac{1}{2}\text{ for infinitely many }n<\omega,$$

$$S\ \varepsilon\text{\emph{-almost bisects} }X \text{ if }\bigg{\{}n<\omega\,\bigg{|}\,\frac{\lvert S\cap X\cap n\rvert}{\lvert X\cap n\rvert}\notin\left]\frac{1}{2}-\varepsilon,\frac{1}{2}+\varepsilon\right[\bigg{\}}\text{ is finite.}$$

Definition 1.3.6.

For sets $X,Y\in\operatorname{Dense}(\mathbb{Q})$ we say that $X$ $\mathbb{Q}$-splits $Y$ if both $Y\cap X$ and $Y\setminus X$ are dense in $\mathbb{Q}$. A family $\mathcal{F}$ of dense sets of rational numbers is called $\mathbb{Q}$-splitting if for every dense set $X$ of rational numbers there is a member of $\mathcal{F}$ which $\mathbb{Q}$-splits $X$.

A set $X$ of natural numbers is called moderate if

$$0<\liminf_{n\nearrow\infty}\frac{\lvert X\cap n\rvert}{n}\leqslant\limsup_{n\nearrow\infty}\frac{\lvert X\cap n\rvert}{n}<1.$$

We also say that a set $A$ of pairs of natural numbers is unbounded if $A\not\subset[\omega]^{2}\setminus[\omega\setminus k]^{2}$ for every natural number $k$. Moreover, an infinite set $X$ of natural numbers pair-splits $A$ if $A\setminus([X]^{2}\cup[\omega\setminus X]^{2})$ is infinite.

Definition 1.3.7.

A family $\mathcal{F}$ of infinite sets of natural numbers is called

splitting $$\text{if for every infinite set }X\text{ of natural numbers}$$

$$\text{there is a member of }\mathcal{F}\text{ splitting }X,$$

pair-splitting $$\text{if for every unbounded }A\subset[\omega]^{2}$$

$$\text{there is a member of }\mathcal{F}\text{ pair-splitting it.}$$

unbisected $$\text{if there is no set }S\text{ of natural numbers}$$

$$\text{bisecting every member of }\mathcal{F},$$

statistically refining $$\text{if there is no moderate }S\in[\omega]^{\omega}\text{ such that}$$

$$\lim_{n\nearrow\infty}\frac{n\cdot\lvert S\cap X\cap n\rvert}{\lvert S\cap n\rvert\cdot\lvert X\cap n\rvert}=1\text{ for all }X\in\mathcal{F},$$

bisecting $$\text{if for every infinite set }X\text{ of natural numbers}$$

$$\text{there is a member of }\mathcal{F}\text{ bisecting }X,$$

cofinally bisecting $$\text{if for every }X\in[\omega]^{\omega}$$

$$\text{there is a member of }\mathcal{F}\text{ cofinally bisecting }X,$$

$$\varepsilon\text{\emph{-almost bisecting} for an }\varepsilon\in]0,\nicefrac{{1}}{{2}}[ \text{ if for every }X\in[\omega]^{\omega}$$

$$\text{there is a member of }\mathcal{F}\ \varepsilon\text{-almost bisecting }X.$$

The following notion of splitting number was introduced by Raghavan.

Definition 1.3.8 ([020Ra, Def. 3]).

Let $P$ be an infinite partition of $\omega$ and $a$ an infinite set of natural numbers. We say that $P$ splits $a$ if $a\cap x$ is infinite for every $x\in P$. An family $\mathcal{F}$ of partitions of $\omega$ is called a splitting family of partitions if for every $a\in[\omega]^{\omega}$ there is a $P\in\mathcal{F}$ splitting $a$. The partition splitting number $\mathfrak{s}(\mathfrak{pr})$ is the minimal cardinality of a splitting family of partitions.

It is currently open whether $\mathfrak{s}(\mathfrak{pr})$ can be different from $\mathfrak{s}$, cf. [020Ra, p. 2].

Definition 1.3.9 ([023B^&, Def. 4.5]).

The statistically refining number $\mathfrak{r}_{*}$ is the minimal cardinality of a statistically refining family.

Definition 1.3.10 ([984vD, p. 115], [010Bl, 3.1 Def.], [012Ha, p. 182]).

The splitting number $\mathfrak{s}$ is the minimal cardinality of a splitting family.

Definition 1.3.11 ([001Co, p. 9]).

The $\mathbb{Q}$-splitting number $\mathfrak{s}_{\mathbb{Q}}$ is the minimal cardinality of a $\mathbb{Q}$-splitting family.

Definition 1.3.12 ([010H, Introduction]).

The pair-splitting number $\mathfrak{s}_{\text{pair}}$ is the minimal cardinality of a pair-splitting family.

Definition 1.3.13 ([023B^&, Definition 2.3]).

The bisecting number $\mathfrak{s}_{\nicefrac{{1}}{{2}}}$ is the minimal cardinality of a bisecting family.

Definition 1.3.14 ([023B^&, Definition 4.4]).

The unbisecting (or semirefining) number $\mathfrak{r}_{\nicefrac{{1}}{{2}}}$ is the minimal cardinality of an unbisected family.

Definition 1.3.15 ([023B^&, Definition 2.3]).

The cofinally bisecting number $\mathfrak{s}_{\nicefrac{{1}}{{2}}}^{\infty}$ is the minimal cardinality of a cofinally bisecting family.

Definition 1.3.16 ([023B^&, Definition 2.3]).

The $\varepsilon$-almost bisecting number $\mathfrak{s}_{\nicefrac{{1}}{{2}}\pm\varepsilon}$ is the minimal cardinality of an $\varepsilon$-almost bisecting family.

Recall that a series of real numbers $\displaystyle\sum_{i\nearrow\infty}r_{i}$ is conditionally convergent if it is convergent but there is a set $A$ of natural numbers such that $\displaystyle\sum_{i\in A}r_{i}$ fails to be. Moreover we say that $\displaystyle\sum_{i\nearrow\infty}r_{i}$ diverges by oscillation if for every natural number $k$ and every real number $r$ there are $\ell,m,n\in\omega\setminus k$ such that

(1) $$\displaystyle\sum_{i<\ell}r_{i}\notin]r-\nicefrac{{1}}{{k}},r+\nicefrac{{1}}{{k}}[,$$

(2) $$\displaystyle\sum_{i<m}r_{i}>-k,$$

(3) $$\displaystyle\sum_{i<n}r_{i}<k.$$

Definition 1.3.17 ([019B, Definition 1]).

The subseries number ß is the minimal cardinality of a family $\mathcal{I}$ of sets of natural numbers such that for every conditionally convergent series $\displaystyle\sum_{i\nearrow\infty}r_{i}$ there is an index set $I\in\mathcal{I}$ such that $\displaystyle\sum_{j\in I}r_{j}$ fails to converge to a real number.

Definition 1.3.18 ([019B, Def. 2]).

The oscillating subseries number $\text{\ss}_{o}$ is the minimal cardinality of a family $\mathcal{I}$ of sets of natural numbers such that for every conditionally convergent series $\displaystyle\sum_{i\nearrow\infty}r_{i}$ there is an index set $I\in\mathcal{I}$ such that $\displaystyle\sum_{j\in I}r_{j}$ diverges by oscillation.

We call a pair $\pi={(D,\langle\pi_{n}\,\mid\,n\in D\rangle)}$ where $D$ is an infinite set of natural numbers and $\pi_{n}:{}^{n}\omega\longrightarrow\omega$ for every $n\in D$, a predictor. We say that $\pi$ predicts a sequence $s\in{}^{\omega}\omega$ if $\left\{n\in D\mid\pi_{n}(s\upharpoonright n)\neq s(n)\right\}$ is finite, otherwise $s$ evades $\pi$.

Definition 1.3.19 ([994Bl, p. 529], [010Bl, 10.1 Def.]).

The evasion number $\mathfrak{e}$ is the minimal cardinality of a family $\mathcal{E}$ of functions in ${}^{\omega}\omega$ such that every predictor is evaded by a member of $\mathcal{E}$.

Definition 1.3.20 ([995Br, p. 529], [010Bl, 10.2 Def.]).

For a function $f:\omega\longrightarrow\omega\setminus 2$, the characteristic $\mathfrak{e}_{f}$ is the smallest cardinality of any family

$$\mathcal{E}\subset\prod_{n\in\omega}f(n)$$

such that no single predictor predicts all members of $\mathcal{E}$. The unbounded evasion number $\mathfrak{e}_{\text{ubd}}$ is the minimum of $\mathfrak{e}_{f}$ over all functions $f:\omega\longrightarrow\omega\setminus 2$.

Definition 1.3.21 ([006MS, p. 57, Def. 16], [981Mi, p. 97, Thm. 2.3]).

$\mathfrak{e\mspace{-0.5mu}q}$ is the minimal cardinality of a bounded family $\mathcal{F}\subset{}^{\omega}\omega$ such that for every $g\in{}^{\omega}\omega$ there is an $f\in\mathcal{F}$ such that $f(n)\neq g(n)$ for all natural numbers $n$.

Definition 1.3.22.

Given a proper ideal $\mathcal{I}$ on a set $X$,

$$\operatorname{add}(\mathcal{I}) \text{ is the minimal cardinality of a subfamily of }\mathcal{I}\text{ whose union is not in }\mathcal{I},$$

$$\operatorname{cov}(\mathcal{I}) \text{ is the minimal cardinality of a subfamily of }\mathcal{I}\text{ whose union is }X,$$

$$\operatorname{non}(\mathcal{I}) \text{ is the minimal cardinality of a an element of }\mathcal{P}(X)\setminus\mathcal{I},$$

$$\operatorname{cof}(\mathcal{I}) \text{ is the minimal cardinality of a base of }\mathcal{I}.$$

We have $\operatorname{add}(\mathcal{I})\leqslant\operatorname{cov}(\mathcal{I})$. If $\mathcal{I}$ contains all singletons then, clearly, $\operatorname{add}(\mathcal{I})\leqslant\operatorname{non}(\mathcal{I})$, also, the union of any base is then $X$, hence $\operatorname{cov}(\mathcal{I})\leqslant\operatorname{cof}(\mathcal{I})$. Also, $\operatorname{non}(\mathcal{I})\leqslant\operatorname{cof}(\mathcal{I})$ for otherwise one could inductively in step $\alpha$ pick an $x_{\alpha}\in X\setminus(B_{\alpha}\cup\left\{x_{\beta}\mid\beta<\alpha\right\})$ for any base $\left\{B_{\alpha}\mid\alpha<\operatorname{cof}(\mathcal{I})\right\}\in[\mathcal{I}]^{\operatorname{cof}(\mathcal{I})}$ which would yield $\left\{x_{\alpha}\mid\alpha<\operatorname{cof}(\mathcal{I})\right\}\in[X]^{\operatorname{cof}(\mathcal{I})}\setminus\mathcal{I}$.

Definition 1.3.23.

Given an ideal $\mathcal{I}$ on the set of natural numbers,

$$\operatorname{add}^{*}(\mathcal{I}) \text{ is the minimal size of an }\mathcal{F}\subset\mathcal{I}$$

$$\text{ such that for all }x\in\mathcal{I}\text{ there is a }y\in\mathcal{F}\text{ with }\lvert x\setminus y\rvert=\aleph_{0}.$$

$$\operatorname{non}^{*}(\mathcal{I}) \text{ is the minimal size of an }\mathcal{F}\subset[\omega]^{\omega}$$

$$\text{ such that for all }x\in\mathcal{I}\text{ there is a }y\in\mathcal{F}\text{ with }\lvert x\cap y\rvert<\aleph_{0}.$$

$$\operatorname{cov}^{*}(\mathcal{I}) \text{ is the minimal size of an }\mathcal{F}\subset\mathcal{I}$$

$$\text{ such that for all }x\in[\omega]^{\omega}\text{ there is a }y\in\mathcal{F}\text{ with }\lvert y\setminus x\rvert<\aleph_{0}.$$

$$\operatorname{cof}^{*}(\mathcal{I}) \text{ is the minimal size of an }\mathcal{F}\subset\mathcal{I}$$

$$\text{ such that for all }x\in\mathcal{I}\text{ there is a }y\in\mathcal{F}\text{ with }\lvert x\cap y\rvert<\aleph_{0}.$$

We now consider partitions of $\omega$. We say that a partition $R$ almost refines another partition $X$ if

$$\left\{A\in X\mid\forall B\subset R:\bigcup B\neq A\right\}\text{ is finite.}$$

We say that $S$ dual-splits $X$ if $S$ is not almost refining $X$ yet there is an infinite partition of the natural numbers almost refining both $S$ and $X$.

Definition 1.3.24 ([992C, p. 28]).

The dual reaping number $\mathfrak{r}_{d}$ is the minimal cardinality of a family $\mathcal{F}$ of partitions of $\omega$ for which there is no single partition of $\omega$ dual-splitting all members of $\mathcal{F}$.

A family of sets is called linear, if it is linearly ordered by $\subset^{*}$ and a family $\mathcal{G}$ is a refinement of a family $\mathcal{F}$ if for every $A\in\mathcal{F}$ there is a $B\in\mathcal{G}$ with $B\subset^{*}A$.

Definition 1.3.25 ([016M, Def. 1.1]).

The linear refinement number $\mathfrak{lr}$ is the minimal cardinality of a family $\mathcal{F}\subset[\omega]^{\omega}$ without a linear refinement such that for every finite $\mathcal{A}\subset\mathcal{F}$ the set $\bigcap\mathcal{A}$ is infinite.

Definition 1.3.26 ([016M, Def. 1.2]).

The linear excluded middle number $\mathfrak{lx}$ is the minimal cardinality of a family $\mathcal{F}\subset{}^{\omega}\omega$ such that for every $h\in{}^{\omega}\omega$ for which $\mathcal{S}:=\big{\{}\left\{n<\omega\mid f(n)\leqslant h(n)\right\}\,\big{|}\,f\in\mathcal{F}\big{\}}\subset[\omega]^{\omega}$, the family $\mathcal{S}$ has no linear refinement.

1.3.2. A Summary and a Diagram

$\begin{array}[]{|rcl|rl|}\hline\cr\mathfrak{e\mspace{-0.5mu}q}&\leqslant&\displaystyle\inf_{\varepsilon\nearrow\nicefrac{{1}}{{2}}}(\mathfrak{s}_{\nicefrac{{1}}{{2}}\pm\varepsilon})&\text{Theorem}&\ref{eqfr <= inf s_1/2+-e}\\ \hline\cr\mathfrak{r}_{*}&\leqslant&\operatorname{cov}(\operatorname{\mathcal{SN}})&\text{Theorem}&\ref{r_* <= cov(SN)}\\ \hline\cr\min(\mathfrak{b},\mathfrak{r}_{\nicefrac{{1}}{{2}}})&\leqslant&\text{\ss}&\text{Theorem}&\ref{min(b, r_1/2) <= ß}\\ \hline\cr\mathfrak{s}(\mathfrak{pr})&\leqslant&\operatorname{non}(\operatorname{\mathcal{M}})&\text{Theorem}&\ref{spr <= non[meagre]}\\ \hline\cr\mathfrak{e}&\leqslant&\mathfrak{s}_{\text{pair}}&\text{Theorem}&\ref{e_ubd <= s_pair}\\ \hline\cr\mathfrak{s}_{\text{pair}}&\leqslant&\text{\ss}&\text{Theorem}&\ref{s_pair <= ß}\\ \hline\cr\end{array}$

Table 1. Summary of Proven Results

Note that the Mathias model witnesses both the consistency of $\mathfrak{h}=\aleph_{2}$, [010Bl, Section 11.8], and the one of the Borel conjecture,[995BJ, Thm. 8.3.4]. So in particular, the Mathias model believes in $\mathfrak{e\mspace{-0.5mu}q}=\operatorname{non}(\operatorname{\mathcal{SN}})=\aleph_{1}$ thus witnessing that the inequalities in Theorems 2.1.1, and 2.2.2 are consistently strict. Analogously to the proof of Theorem 2.2.1 and even more straightforwardly it is possible to show that $\mathfrak{s}(\mathfrak{pr})\leqslant\mathfrak{d}$. See [010Bl, 3.3 Thm.] and [020C, Thm. 2.2] to get an idea about proving it. Furthermore, the Random model witnesses that $\max(\mathfrak{b},\mathfrak{d},\operatorname{non}(\operatorname{\mathcal{N}}))<\operatorname{cov}(\operatorname{\mathcal{N}})$ is consistent, [010Bl, Section 11.4], so a fortiori the inequalities in Theorems 2.1.7, 2.2.1, and 2.2.3 are consistently strict.

$\begin{array}[]{|rcccccl|c|c|}\hline\cr&&&&\lx@intercol\hfil\hfil\lx@intercol&&&\\ \hline\cr\operatorname{cov}(\operatorname{\mathcal{N}})&\leqslant&\,\text{\ss}&\leqslant&\text{\ss}_{o}&\leqslant&\operatorname{non}(\operatorname{\mathcal{M}})&\text{\cite[cite]{[\@@bibref{}{019BBH0}{}{}]}}&\\ \hline\cr\operatorname{cov}(\operatorname{\mathcal{N}})&\leqslant&\,\mathfrak{r}_{\nicefrac{{1}}{{2}}}&\leqslant&\mathfrak{r}_{*}&\leqslant&\operatorname{non}(\operatorname{\mathcal{M}})&\text{\cite[cite]{[\@@bibref{}{023BHKLS0}{}{}]}}&\\ \hline\cr\mathfrak{s}&\leqslant&\,\mathfrak{s}_{\nicefrac{{1}}{{2}}\pm\varepsilon}&\leqslant&\mathfrak{s}_{\nicefrac{{1}}{{2}}}&\leqslant&\operatorname{non}(\operatorname{\mathcal{N}})&\text{\cite[cite]{[\@@bibref{}{023BHKLS0}{}{}]}}&\\ \hline\cr\mathfrak{s}&\leqslant&\,\mathfrak{s}^{w}_{\nicefrac{{1}}{{2}}}&\leqslant&\mathfrak{s}_{\nicefrac{{1}}{{2}}}^{\infty}&\leqslant&\operatorname{non}(\operatorname{\mathcal{N}})&\text{\cite[cite]{[\@@bibref{}{023BHKLS0}{}{}]}}&\\ \hline\cr&&\mathfrak{s}&\leqslant&\mathfrak{s}_{\text{pair}}&\leqslant&\operatorname{non}(\operatorname{\mathcal{N}})&\text{\cite[cite]{[\@@bibref{}{010M0}{}{}]}}&\\ \hline\cr&&&&\mathfrak{r}_{d}&\leqslant&\operatorname{non}(\operatorname{\mathcal{M}}),\,\operatorname{non}(\operatorname{\mathcal{N}})&\text{J. Brendle}&\text{\cite[cite]{[\@@bibref{}{010M0}{}{}, p. 503, Prop. 6]}}\\ \hline\cr&&&&\mathfrak{s}_{\mathbb{Q}}&\leqslant&\operatorname{add}(\operatorname{\mathcal{M}}),\,\mathfrak{s}&\text{\cite[cite]{[\@@bibref{}{006B2}{}{}, p. 57]}}&\\ \hline\cr&&&&\mathfrak{h}_{\mathbb{Q}}&\leqslant&\mathfrak{s}_{\mathbb{Q}}&\text{\cite[cite]{[\@@bibref{}{004BHH0}{}{}, p. 73]}}&\\ \hline\cr&&&&\mathfrak{e}&\leqslant&\operatorname{cov}(\operatorname{\mathcal{M}})&\text{\cite[cite]{[\@@bibref{}{998K0}{}{}]}}&\\ \hline\cr&&&&\mathfrak{h}&\leqslant&\mathfrak{g}&\text{\cite[cite]{[\@@bibref{}{989BL0}{}{}, p. 53]}}&\text{\cite[cite]{[\@@bibref{}{010B0}{}{}, p. 433, 6.27 Prop.]}}\\ \hline\cr&&&&\mathfrak{h}&\leqslant&\mathfrak{s}&\text{\cite[cite]{[\@@bibref{}{989BS0}{}{}, p. 354]}}&\text{\cite[cite]{[\@@bibref{}{010B0}{}{}, p. 427, 6.9 Thm.]}}\\ \hline\cr&&&\lx@intercol\hfil\operatorname{cov}(\operatorname{\mathcal{M}})\hfil\lx@intercol&\leqslant&\mathfrak{e\mspace{-0.5mu}q}&\text{\cite[cite]{[\@@bibref{}{987B1}{}{}]}}&\text{\cite[cite]{[\@@bibref{}{010B0}{}{}, p. 420, 5.9 Thm.]}}\\ \hline\cr&&&&\mathfrak{b}&\leqslant&\operatorname{non}(\operatorname{\mathcal{M}})&\text{\cite[cite]{[\@@bibref{}{987B1}{}{}, p. 237]}}&\text{\cite[cite]{[\@@bibref{}{010B0}{}{}, p. 419, 5.5 Prop.]}}\\ \hline\cr&&&&\mathfrak{s}&\leqslant&\operatorname{non}(\operatorname{\mathcal{M}})&\text{Folklore}&\text{\cite[cite]{[\@@bibref{}{010B0}{}{}, p. 424, 5.19 Thm.]}}\\ \hline\cr&&\lx@intercol\hfil\max(\mathfrak{b},\mathfrak{s},\mathfrak{lr})\hfil\lx@intercol&\leqslant&\mathfrak{lx}&\text{\cite[cite]{[\@@bibref{}{016MST0}{}{}, Cor. 2.13]}}&\\ \hline\cr&&&&\operatorname{cov}^{*}(\mathcal{Z}_{0})&\leqslant&\max\big{(}\mathfrak{b},\mathfrak{s}(\mathfrak{pr})\big{)}&\text{\cite[cite]{[\@@bibref{}{020R0}{}{}, Cor. 30]}}&\\ \hline\cr\end{array}$

Table 2. Legend

Figure 1. A diagram of cardinal characteristics

2. Results

2.1. Inequalities Involving Halfway New Cardinal Characteristics

2.1.1. Splitting

Theorem 2.1.1.

$\displaystyle\mathfrak{e\mspace{-0.5mu}q}\leqslant\inf_{\varepsilon\nearrow\nicefrac{{1}}{{2}}}(\mathfrak{s}_{\nicefrac{{1}}{{2}}\pm\varepsilon})$.

The following proof uses an partition of the natural numbers into intervals whose lengths are growing sufficiently quickly such that one can define an eventually different sequence from a bisecting sequence.

Proof.

Suppose towards a contradiction that $\mathfrak{s}_{\nicefrac{{1}}{{2}}\pm\varepsilon}<\mathfrak{e\mspace{-0.5mu}q}$ for some $\varepsilon\in{]0,\nicefrac{{1}}{{2}}[}$ and let $\mathcal{S}$ be an $\varepsilon$-almost bisecting family of cardinality $\mathfrak{s}_{\nicefrac{{1}}{{2}}\pm\varepsilon}$. Let $\langle I_{k}\,\mid\,k<\omega\rangle$ be the interval partition of the natural numbers defined by $\min(I_{0})=0$, $\min(I_{k+1})=\max(I_{k})+1$ and $\max(I_{k})=k+2\lceil 2\min(I_{k})/(1-2\varepsilon)\rceil$ for all natural numbers $k$. Note that every interval has an odd length. For every natural number $k$, choose a function $h_{k}:\mathcal{P}(I_{k})\longrightarrow 2^{\max(I_{k})-\min(I_{k})}$ such that $h_{k}(A)=h_{k}(B)$ if and only if $A\in\{B,I_{k}\setminus B\}$. Now we can define

$$\mathcal{E}:=\left\{e\in{}^{\omega}\omega\mid\exists S\in\mathcal{S}\,\exists k\in\omega\,\forall\ell\in\omega\setminus k:e(\ell)=h_{\ell}(S\cap I_{\ell})\right\}.$$

We have $\lvert\mathcal{E}\rvert=\aleph_{0}\cdot\lvert\mathcal{S}\rvert=\aleph_{0}\cdot\mathfrak{s}_{\nicefrac{{1}}{{2}}\pm\varepsilon}=\mathfrak{s}_{\nicefrac{{1}}{{2}}\pm\varepsilon}<\mathfrak{e\mspace{-0.5mu}q}$. As $\mathcal{E}$ is bounded, by definition of $\mathfrak{e\mspace{-0.5mu}q}$, there is an $f\in{}^{\omega}\omega$ such that for all $e\in\mathcal{E}$ there is a natural number $\ell$ such that $e(\ell)=f(\ell)$. Now, for every natural number $k$, let $g_{k}$ be the right-inverse of $h_{k}$ such that $\lvert g_{k}(\ell)\rvert>\lvert I_{k}\setminus g_{k}(\ell)\rvert$ for all $\ell<2^{\max(I_{k})-\min(I_{k})}$. We consider the set

$$X :=\bigcup_{\ell<\omega}g_{\ell}(\max(f(\ell),2^{\max(I_{\ell})-\min(I_{\ell})}-1)).$$

Now there is an $$S\in\mathcal{S} \varepsilon X m$$ which is -almost bisecting . Let be a natural number such that

$$\frac{\lvert S\cap X\cap n\rvert}{\lvert X\cap n\rvert} \in\left]\frac{1}{2}-\varepsilon,\frac{1}{2}+\varepsilon\right[\text{ for all }n\in\omega\setminus m.$$

Let $$k I_{k}\subset\omega\setminus m$$ be the least natural number such that . We define a function,

$$d:\omega \longrightarrow\omega$$

$$n \longmapsto\begin{cases}f(n)+1&\text{if }n<k,\\ h_{n}(S\cap I_{n})&\text{else.}\end{cases}$$

Clearly, $$d\in\mathcal{E} \ell d(\ell)=f(\ell) d \ell\in\omega\setminus k$$. Now there is a natural number such that . By definition of we have , moreover

$$f(\ell) ={d(\ell)=h_{\ell}(S\cap I_{\ell})<2^{\max(I_{\ell})-\min(I_{\ell})}}.$$

Next we distinguish two cases. First assume that $$2\lvert S\cap I_{\ell}\rvert<\lvert I_{\ell}\rvert$$. Then

$$X\cap I_{\ell} =g_{\ell}(\max(f(\ell),2^{\max(I_{\ell})-\min(I_{\ell})}-1))=g_{\ell}(f(\ell))$$

$$=g_{\ell}(d(\ell))=g_{\ell}(h_{\ell}(I_{\ell}\cap S))=I_{\ell}\setminus S,$$

$$\text{and therefore }S\cap X\cap\min(I_{\ell+1})\subset\min(I_{\ell})\text{. We have}$$

$$\frac{\lvert X\cap S\cap\min(I_{\ell+1})\rvert}{\lvert X\cap\min(I_{\ell+1})\rvert}=\frac{\lvert X\cap S\cap\min(I_{\ell})\rvert}{\lvert X\cap\min(I_{\ell+1})\rvert} \leqslant\frac{\min(I_{\ell})}{\lvert X\cap\min(I_{\ell+1})\rvert}$$

$$<\frac{2\min(I_{\ell})}{\min(I_{\ell+1})}<\frac{2\min(I_{\ell})}{\max(I_{\ell})}\leqslant\frac{2\min(I_{\ell})(1-2\varepsilon)}{\ell(1-2\varepsilon)+4\min(I_{\ell})}\leqslant\frac{1}{2}-\varepsilon,$$

$$\text{implying }\ell<k\text{, a contradiction.}$$

Now we assume $\lvert I_{\ell}\rvert<2\lvert S\cap I_{\ell}\rvert$, we have

$$X\cap I_{\ell} =g_{\ell}(\max(f(\ell),2^{\max(I_{\ell})-\min(I_{\ell})}-1))=g_{\ell}(f(\ell))$$

$$= g_{\ell}(d(\ell))=g_{\ell}(h_{\ell}(I_{\ell}\cap S))=I_{\ell}\cap S,$$

$$\text{and therefore }S\cap I_{\ell}\subset X\cap S\text{. Then}$$

$$\frac{\lvert X\cap S\cap\min(I_{\ell+1})\rvert}{\lvert X\cap\min(I_{\ell+1})\rvert} \geqslant\frac{\lvert S\cap I_{\ell}\rvert}{\lvert X\cap\min(I_{\ell+1})\rvert}\geqslant\frac{\lvert S\cap I_{\ell}\rvert}{\min(I_{\ell})+\lvert X\cap I_{\ell}\rvert}$$

$$=\frac{\lvert S\cap I_{\ell}\rvert}{\min(I_{\ell})+\lvert S\cap I_{\ell}\rvert}\text{ and as for nonnegative values,}$$

$$\text{the function }\frac{x}{a+x}\text{ is monotonically increasing in }x,$$

$$\geqslant\frac{\lvert I_{\ell}\rvert}{2\min(I_{\ell})+\lvert I_{\ell}\rvert}=\frac{\min(I_{\ell+1})-\min(I_{\ell})}{\min(I_{\ell+1})+\min(I_{\ell})}$$

$$>\frac{\max(I_{\ell})-\min(I_{\ell})}{\max(I_{\ell})+\min(I_{\ell})}\geqslant\frac{4\min(I_{\ell})+(1-2\varepsilon)(\ell-\min(I_{\ell}))}{4\min(I_{\ell})+(1-2\varepsilon)(\ell+\min(I_{\ell}))}$$

$$\text{and as, for nonnegative values, the function }\frac{a+b(x-1)}{a+b(x+1)}$$

$$\text{is monotonically increasing in }x,$$

$$\geqslant\frac{3+2\varepsilon}{5-2\varepsilon}>\frac{1}{2}+\varepsilon\text{, implying }\ell<k\text{, a contradiction.}$$

∎

2.1.2. Reaping

The following Lemma is strongly inspired by [995BJ, Lemma 8.1.13].

Lemma 2.1.2.

If $Z$ is a strong measure zero set in the Cantor space, $\langle J_{i}\,\mid\,i<\omega\rangle$ is an interval partition of $\omega$, and $\left\{P_{i}\mid i<\omega\right\}$ is a family of infinitely many disjoint infinite sets of natural numbers, then there is a sequence $\langle s_{j}\,\mid\,j<\omega\rangle$ such that for all natural numbers $k$ and all $x\in Z$ there is a $j\in P_{k}$ such that

(4) $$x\upharpoonright\bigcup_{i\leqslant j}J_{i}=s_{j}.$$

Proof.

We consider the Cantor-space with the usual metric

(5) $$d:{}^{\omega}2\times{}^{\omega}2 \longrightarrow\mathbb{R},$$

(6) $${(x,y)} \longmapsto\min(\left\{n<\omega\mid x(n)\neq y(n)\right\}).$$

By definition of the metric $d$, an interval of length $2^{-n}$ consists of all elements of the Cantor space sharing a certain sequence of $n$ bits as an initial segment. Now, for every natural number $n$, let $\langle k_{(n,i)}\,\mid\,i<\omega\rangle$ be an enumeration of

(7) $$\left\{\bigcup_{i\leqslant m}J_{i}\mid m\in P_{n}\right\}.$$

Note that as $\langle J_{i}\,\mid\,i<\omega\rangle$ is an interval partition, these $k_{(n,i)}$ are natural numbers. Moreover, as the $P_{i}$’s are disjoint, $k_{(n,i)}=k_{(m,j)}$ implies $m=n$ and $i=j$. Now consider the sequences $\langle\varepsilon_{(n,i)}\,\mid\,i<\omega\rangle$ given by $\varepsilon_{(n,i)}=2^{-k_{(n,i)}}$. By the definition of strong measure zero sets there are sequences $\langle r_{(n,i)}\,\mid\,i<\omega\rangle$ of initial segments such that for all natural numbers $n$ and $i$, the segment $r_{(n,i)}$ is $k_{(n,i)}$ sequents long and for every $x\in Z$ and every natural number $n$ there is an $i<\omega$ such that $r_{(n,i)}$ is an initial segment of $x$. Now simply let $\langle\ell_{i}\,\mid\,i<\omega\rangle$ be the increasing enumeration of $\left\{k_{(n,i)}\mid{(n,i)}\in\omega\times\omega\right\}$ and for every natural number $j$, let $s_{j}=r_{(n_{j},i_{j})}$ where $n_{j}$ and $i_{j}$ are such that $\ell_{j}=k_{(n_{j},i_{j})}$. The sequence $\langle s_{j}\,\mid\,j<\omega\rangle$ provides what was demanded. ∎

Theorem 2.1.3.

$\mathfrak{r}_{*}\leqslant\operatorname{cov}(\operatorname{\mathcal{SN}})$.

The following proof uses the fact that a bisecting real can be used to code avoidance of a sequence of sufficiently small open intervals.

Proof.

Assume towards a contradiction that $\operatorname{cov}(\operatorname{\mathcal{SN}})<\mathfrak{r}_{*}$ and let $\mathcal{C}$ be a family of $\operatorname{cov}(\operatorname{\mathcal{SN}})$ sets of strong measure zero covering the Cantor space. Let $\langle J_{i}\,\mid\,i<\omega\rangle$ be an interval partition defined by $\displaystyle J_{i}:=1+i+(i+2)!\setminus\bigcup_{k<i}J_{k}$. Note that all parts of this partition are of odd length! Furthermore, let $\langle P_{i}\,\mid\,i<\omega\rangle$ be a partition of $\omega$ into infinitely many infinite parts with $P_{i}\subset\omega\setminus i$ for all natural numbers $i$. For every $Z\in\mathcal{C}$, use 2.1.2 to find a sequence $\langle s^{Z}_{j}\,\mid\,j<\omega\rangle$ of $s^{Z}_{j}\in{}^{\bigcup_{i\leqslant j}J_{i}}2$ such that for all natural numbers $k$ and all $x\in Z$ there is a $j\in P_{k}$ such that $x\upharpoonright\bigcup_{i\leqslant j}J_{i}=s^{Z}_{j}$. Now we can define

(8) $$\mathcal{D}:= \left\{X_{Z}\mid Z\in\mathcal{C}\right\}$$

(9) $$\text{where }X_{Z}:= \bigcup_{i<\omega}F^{Z}_{i}$$

(10) $$\text{and }F^{Z}_{i}$$ is the larger of the two sets

(11) $$\left\{k\in J_{i}\mid s^{Z}_{i}(k)=0\right\} \text{ and }\left\{k\in J_{i}\mid s^{Z}_{i}(k)=1\right\}.$$

As $\lvert\mathcal{D}\rvert\leqslant\lvert\mathcal{C}\rvert=\operatorname{cov}(\operatorname{\mathcal{SN}})<\mathfrak{r}_{*}$, there is a moderate $S\in[\omega]^{\omega}$ such that

(12) $$\displaystyle 1= \lim_{n\nearrow\infty}\frac{n\cdot\lvert S\cap X\cap n\rvert}{\lvert S\cap n\rvert\cdot\lvert X\cap n\rvert}\text{ for all }X\in\mathcal{D}.$$

As $$\mathcal{C} Z\in\mathcal{C} \chi_{S} \varepsilon\in{]0,\nicefrac{{1}}{{2}}[}$$ covers the Cantor space, we can fix a containing . Let be such that

(13) $$\varepsilon< \liminf_{n\nearrow\infty}\frac{\lvert S\cap n\rvert}{n}\text{ and }\limsup_{n\nearrow\infty}\frac{\lvert S\cap n\rvert}{n}<1-\varepsilon.$$

As $$Z\in\mathcal{C} X_{Z}\in\mathcal{D}$$, by (8) we have and by (12) we then also have

(14) $$\varepsilon< \liminf_{n\nearrow\infty}\frac{\lvert S\cap X_{Z}\cap n\rvert}{\lvert X_{Z}\cap n\rvert}\text{ and }\displaystyle\limsup_{n\nearrow\infty}\frac{\lvert S\cap X_{Z}\cap n\rvert}{\lvert X_{Z}\cap n\rvert}<1-\varepsilon.$$

Now choose a natural number $k>\nicefrac{{3}}{{\varepsilon}}$ large enough such that $\displaystyle\frac{\lvert S\cap X_{Z}\cap n\rvert}{\lvert X_{Z}\cap n\rvert}\in\left]\varepsilon,1-\varepsilon\right[$ for all $n\in\omega\setminus k$. Choose a natural number $j$ such that $P_{j}\subset\omega\setminus k$ and let $\ell\in P_{j}$ be such that $\chi_{S}\upharpoonright\bigcup_{i\leqslant\ell}J_{i}=s^{Z}_{\ell}$. Note that $\displaystyle 2\lvert X_{Z}\cap\bigcup_{i\leqslant\ell}J_{i}\rvert>\lvert\bigcup_{i\leqslant\ell}J_{i}\rvert$. Also note that, as $P_{j}\ni\ell$ consists of natural numbers no smaller than $k$, we have $\ell\geqslant k>\nicefrac{{3}}{{\varepsilon}}$. We now distinguish two cases. First assume, that $F^{Z}_{\ell}=\left\{k\in J_{\ell}\mid s^{Z}_{\ell}(k)=0\right\}$. Then $S\cap X_{Z}\cap\bigcup_{i\leqslant\ell}J_{i}\subset\bigcup_{i<\ell}J_{i}$ and hence

$$\frac{\lvert S\cap X_{Z}\cap\bigcup_{i\leqslant\ell}J_{i}\rvert}{\lvert X_{Z}\cap\bigcup_{i\leqslant\ell}J_{i}\rvert} \leqslant\frac{2\lvert\bigcup_{i<\ell}J_{i}\rvert}{\lvert\bigcup_{i\leqslant\ell}J_{i}\rvert}=\frac{2(\ell+(\ell+1)!)}{1+\ell+(\ell+2)!}<\frac{2(\ell+(\ell+1)!)}{\ell+(\ell+2)!}$$

$$=\frac{2(1+(\ell+1)(\ell-1)!)}{1+(\ell+1)(\ell+2)(\ell-1)!}<\frac{2(1+(\ell+1)(\ell-1)!)}{(\ell+1)(\ell+2)(\ell-1)!}$$

$$\leqslant\frac{2(\ell+2)(\ell-1)!}{(\ell+1)(\ell+2)(\ell-1)!}=\frac{2}{\ell+1}<\frac{2}{\ell}<\frac{2}{\nicefrac{{3}}{{\varepsilon}}}=\frac{2\varepsilon}{3}<\varepsilon.$$

Now assume, that $$F^{Z}_{\ell}=\left\{k\in J_{\ell}\mid s^{Z}_{\ell}(k)=1\right\} X_{Z}\cap J_{\ell}\subset S\cap X_{Z}\cap\bigcup_{i\leqslant\ell}J_{i}$$. Then and hence

$$\frac{\lvert S\cap X_{Z}\cap\bigcup_{i\leqslant\ell}J_{i}\rvert}{\lvert X_{Z}\cap\bigcup_{i\leqslant\ell}J_{i}\rvert} \geqslant\frac{\lvert X_{Z}\cap J_{\ell}\rvert}{\lvert X_{Z}\cap\bigcup_{i\leqslant\ell}J_{i}\rvert}=\frac{\lvert X_{Z}\cap J_{\ell}\rvert}{\lvert X_{Z}\cap\bigcup_{i<\ell}J_{i}\rvert+\lvert X_{Z}\cap J_{\ell}\rvert}.$$

$$\text{As }X_{Z}\cap J_{\ell}=F^{Z}_{\ell} \text{ and }2\lvert F^{Z}_{\ell}\rvert>\lvert J_{\ell}\rvert\text{ and for nonnegative values, the function}$$

$$\frac{x}{a+x}\text{ is monotonically increasing in }x,$$

$$\frac{\lvert X_{Z}\cap J_{\ell}\rvert}{\lvert X_{Z}\cap\bigcup_{i<\ell}J_{i}\rvert+\lvert X_{Z}\cap J_{\ell}\rvert}>\frac{\lvert J_{\ell}\rvert}{2\lvert X_{Z}\cap\bigcup_{i<\ell}J_{i}\rvert+\lvert J_{\ell}\rvert}$$

$$\geqslant \frac{\lvert J_{\ell}\rvert}{2\lvert\bigcup_{i<\ell}J_{i}\rvert+\lvert J_{\ell}\rvert}=\frac{1+(\ell+2)!-(\ell+1)!}{(\ell+2)!+(\ell+1)!+2\ell+1}$$

$$> \frac{(\ell+2)!-(\ell+1)!}{(\ell+2)!+2(\ell+1)!}=\frac{\ell+1}{\ell+4}>\frac{3+\varepsilon}{3+4\varepsilon}>1-\varepsilon.$$

In both cases we reach a contradiction thus concluding the proof. ∎

Lemma 2.1.4.

(15) $$\text{The series }\sum_{n<\omega}a_{n}$$

(16) $$\text{with }a_{n} =\frac{(-1)^{n}2n}{(n+1)(2n+1)}\text{ is conditionally convergent.}$$

Proof.

The sequence is convergent by the Leibniz criterion as it is alternating and its terms (ignoring $a_{0}$, which is $0$) decrease in absolute value. A failure of the latter would mean that

(17) $$\frac{2n}{(n+1)(2n+1)} \leqslant \quad\frac{2(n+1)}{(n+2)(2(n+1)+1))}$$

(18) $$\Longrightarrow\quad 2n(n+2)(2n+3) \leqslant \quad 2(n+1)^{2}(2n+1)$$

(19) $$\Longrightarrow\quad 4n^{3}+14n^{2}+12n \leqslant \quad 4n^{3}+10n^{2}+8n+2$$

(20) $$\Longrightarrow\quad 2n^{2}+2n \leqslant \quad 1$$

(21) $$\Longrightarrow\quad n=0.$$

The series is, however, not absolutely convergent as

(23) $$|a_{n}| \geqslant\frac{1}{2(n+1)}\text{ for }n\in\omega\setminus 1.$$

∎

Lemma 2.1.5.

(24) If $$\sum_{n<\omega}a_{n}\text{ is a series,}$$

(25) $$\langle I_{n}\,\mid\,n<\omega\rangle \text{ is an interval partition of }\omega,$$

(26) $$\text{and }b_{n}= \sum_{i\in I_{n}}a_{k}\text{ is such that for all }n,$$

(27) $$\sum_{n<\omega}b_{n}\text{ is conditionally convergent,}$$

(28) then $$\sum_{n<\omega}a_{n}\text{ is conditionally convergent.}$$

Proof.

Let $\sum_{n<\omega}a_{n}$, $\langle I_{n}\,\mid\,n<\omega\rangle$, and $b_{n}(n<\omega)$ be as above. We may assume without loss of generality that $\sum_{n<\omega}b_{n}$ converges to a real number $r$. Let $\pi:\omega\longleftrightarrow\omega$ be a permutation such that

(29) $$\sum_{n<\omega} b_{\pi(n)}=s\text{ where }s\neq r.$$

Let $$\rho:\omega\longleftrightarrow\omega \rho(n)\in I_{\pi(k)}\longleftrightarrow n\in I_{k}$$ be a permutation such that . Then, clearly,

(30) $$\sum_{n<\omega} a_{\rho(n)}=s\text{, while }\sum_{n<\omega}a_{n}=r\text{, so}$$

(31) $$\sum_{n<\omega} a_{n}\text{ is conditionally convergent.}$$

∎

The following lemma is a formulation of the technique of “padding with zeroes” as introduced in [020B^&, Section 3]

Lemma 2.1.6.

(32) $$\text{If }\langle n_{k}\,\mid\,k<\omega\rangle\text{ is an ascending sequence of natural numbers,}$$

(33) $$\text{and }\sum_{n<\omega}a_{n}\text{ is conditionally convergent,}$$

(34) $$\text{then }\sum_{n<\omega}b_{n}\text{ is conditionally convergent,}$$

(35) $$\text{where }b_{m}=\begin{cases}0\text{ if }\forall k<\omega:m\neq n_{k},\\ a_{k}\text{ if }m=n_{k}.\end{cases}$$

Proof.

Left to the reader. ∎

Theorem 2.1.7.

$\min(\mathfrak{b},\mathfrak{r}_{\nicefrac{{1}}{{2}}})\leqslant\text{\ss}$.

The idea of the following proof is to use a bound for the distances between elements of the index set of a subseries and observe that a bisecting sequence implies convergence of the respective subseries.

Proof.

Assume towards a contradiction that $\text{\ss}<\min(\mathfrak{b},\mathfrak{r}_{\nicefrac{{1}}{{2}}})$. Let $\mathcal{I}$ be a ß-sized family of infinite index sets of natural numbers such that for every conditionally convergent series $\displaystyle\sum_{i\rightarrow\infty}r_{i}$ there is an index set $I\in\mathcal{I}$ such that $\displaystyle\sum_{i\in I}r_{i}$ is diverging. As $\lvert\mathcal{I}\rvert=\text{\ss}<\mathfrak{r}_{\nicefrac{{1}}{{2}}}$, there is an $S\in[\omega]^{\omega}$ bisecting all members of $\mathcal{I}$. We define a family

$$\mathcal{B} :=\left\{f_{I}\mid I\in\mathcal{I}\right\},\text{ where}$$

$$f_{I} :=\langle n^{I}_{j}\,\mid\,j<\omega\rangle\text{, and}$$

$$n^{I}_{j} :=\min\left(\bigg{\{}k<\omega\,\bigg{|}\,\forall\ell\in\omega\setminus k:\frac{\lvert S\cap I\cap\ell\rvert}{\lvert I\cap\ell\rvert}\in\left]\frac{1}{2}-\frac{1}{2j},\frac{1}{2}+\frac{1}{2j}\right[\bigg{\}}\right).$$

As $\lvert\mathcal{B}\rvert\leqslant\lvert\mathcal{I}\rvert=\text{\ss}<\mathfrak{b}$, there is a $g\in{}^{\omega}\omega$ such that $f\leqslant^{*}g$ for all $f\in\mathcal{B}$. We may suppose without loss of generality that $g(i)2(i+1)\leqslant g(i+1)$ for all natural numbers $i$. We define a series

$$\sum_{k\rightarrow\infty}t_{k}$$

$$\text{with }t_{k} =\begin{cases}\frac{(-1)^{i}}{g(i)(i+1)(2i+1)}\text{ for }k\in g(i)2(i+1)\setminus g(i),\\ 0\text{ else.}\end{cases}$$

By Lemmata 2.1.4, 2.1.5, and 2.1.6, this series is conditionally convergent. By assumption, there is an index set $I\in\mathcal{I}$ such that $\displaystyle\sum_{j\in I}t_{j}$ is diverging. Let $k\in\omega\setminus 30$ be such that $f_{I}(\ell)\leqslant g(\ell)$ for all $\ell\in\omega\setminus k$. Since

$$\sum_{j\in I}t_{j}=\sum_{j\nearrow\infty}u_{j}$$ with

$$u_{j} :=\sum_{\ell\in I\cap g(j)2(j+1)\setminus g(j)}t_{\ell},$$

and $u_{j}<0$ if and only if $j$ is odd, the Leibniz criterion implies that there has to be a $j\in\omega\setminus k$ such that $|u_{j}|\leqslant|u_{j+1}|$. But then

$$\sum_{\ell\in I\cap g(j)2(j+1)\setminus g(j)}|t_{\ell}|=|u_{j}|\leqslant|u_{j+1}|=\sum_{\ell\in I\cap g(j+1)2(j+2)\setminus g(j+1)}|t_{\ell}|$$

$$\Longleftrightarrow \sum_{\ell\in I\cap g(j)2(j+1)\setminus g(j)}\frac{1}{g(j)(j+1)(2j+1)}=|u_{j}|\leqslant|u_{j+1}|$$

$$= \sum_{\ell\in I\cap g(j+1)2(j+2)\setminus g(j+1)}\frac{1}{g(j+1)(j+2)(2j+3)}$$

$$\Longleftrightarrow \frac{\lvert I\cap g(j)2(j+1)\setminus g(j)\rvert}{g(j)(j+1)(2j+1)}=|u_{j}|\leqslant|u_{j+1}|=\frac{\lvert I\cap g(j+1)2(j+2)\setminus g(j+1)\rvert}{g(j+1)(j+2)(2j+3)}.$$

We have $$k\leqslant j f_{I}(j)\leqslant g(j) f_{I} u_{j} u_{j+1}$$ and therefore , so by definition of , the absolute values of and can be estimated as follows:

$$|u_{j}|\geqslant \,\frac{\left(\nicefrac{{1}}{{2}}-\nicefrac{{1}}{{2j}}\right)g(j)2(j+1)-\left(\nicefrac{{1}}{{2}}+\nicefrac{{1}}{{2j}}\right)g(j)}{g(j)(j+1)(2j+1)}=\frac{(j-1)2(j+1)-(j+1)}{2j(j+1)(2j+1)}=\frac{2j^{2}-j-3}{j(4j^{2}+6j+2)},$$

$$|u_{j+1}|\leqslant \,\frac{\left(\nicefrac{{1}}{{2}}+\nicefrac{{1}}{{2j}}\right)g(j+1)2(j+2)-\left(\nicefrac{{1}}{{2}}-\nicefrac{{1}}{{2j}}\right)g(j+1)}{g(j+1)(j+2)(2j+3)}=\frac{2(j+1)(j+2)-(j-1)}{2j(j+2)(2j+3)}=\frac{2j^{2}+5j+5}{j(4j^{2}+14j+12)}.$$

Therefore,

$$j^{2}(4j^{2}+6j+2)(4j^{2}+14j+12)|u_{j}| \leqslant j^{2}(4j^{2}+6j+2)(4j^{2}+14j+12)|u_{j+1}|$$

$$\Longrightarrow (2j^{2}-j-3)(4j^{2}+14j+12) \leqslant(2j^{2}+5j+5)(4j^{2}+6j+2)$$

$$\Longleftrightarrow 8j^{4}+24j^{3}-2j^{2}-54j-36 \leqslant 8j^{4}+22j^{3}+54j^{2}+40j+10$$

$$\Longleftrightarrow 2j^{3}-56j^{2}-94j-46 \leqslant 0$$

$$\Longleftrightarrow j^{3}-28j^{2}-47j-23 \leqslant 0$$

$$\Longleftrightarrow 27j^{3}-756j^{2}-1269j-621 \leqslant 0$$

$$\Longrightarrow 27j^{3}-756j^{2}-1269j-1958 \leqslant 0$$

$$\Longleftrightarrow (3j-89)(9j^{2}+15j+22) \leqslant 0$$

$$\Longleftrightarrow 9j^{2}+15j+22 \leqslant 0$$

$$\Longleftrightarrow 36j^{2}+60j+88 \leqslant 0$$

$$\Longleftrightarrow 36j^{2}+60j+25 \leqslant-63$$

$$\Longleftrightarrow (6j+5)^{2} \leqslant-63\text{, a contradiction.}$$

∎

2.2. Various Inequalities

2.2.1. Splitting of Partitions and the Uniformity of the Meagre Ideal

Theorem 2.2.1.

$\mathfrak{s}(\mathfrak{pr})\leqslant\operatorname{non}(\operatorname{\mathcal{M}})$.

The following proof uses Bartoszyński’s characterisation of $\operatorname{non}(\operatorname{\mathcal{M}})$ via sequences of natural numbers equalling each other infinitely often. Such sequences are used in this proof to code sets of natural numbers thus guessing larger and larger parts of an infinite set of natural numbers thus enabling the definition of a splitting partition.

Proof.

Assume towards a contradiction that $\operatorname{non}(\operatorname{\mathcal{M}})<\mathfrak{s}(\mathfrak{pr})$. Recall that $\operatorname{non}(\operatorname{\mathcal{M}})$ is the minimal cardinality of an infinitely often equal family, cf. [010Bl, 5.9 Thm.]. So let $\mathcal{E}$ be an infinitely often equal family of size $\operatorname{non}(\operatorname{\mathcal{M}})$. Let a bijection $e:\omega\longrightarrow[\omega]^{<\omega}$ encode all finite sets of natural numbers by a natural number. For every sequence $s\in{}^{\omega}\omega$ we inductively define an infinite partition $P_{s}$ of $\omega$. If $i<j$ or $\lvert e(s(i))\rvert\neq(2i)!(i+1)$ let $Q_{s}(j,i):=0$, otherwise let $\langle f_{s}(i,j)\,\mid\,j<(2i)!(i+1)\rangle$ be the ascending enumeration of $e(s(i))$ and

$$Q_{s}(j,i):= \left\{f_{s}(i,m)\mid m\in(2i)!(j+1)\setminus(2i)!j\right\}\setminus\bigcup_{k,\ell<i}Q_{s}(\ell,k).$$

Note that $$\lvert Q_{s}(j,i)\rvert\leqslant(2i)! i j Q_{s}(j,i) i,j<\omega$$ for all natural numbers and . Having so defined pairwise disjoint for all , let

$$P_{s}(j):= \bigcup_{i<\omega}Q_{s}(j,i)\text{ for all positive natural numbers }j$$

$$\text{and }P_{s}(0):= \,\omega\setminus\bigcup_{j\in\omega\setminus 1}P_{s}(j),$$

$$\text{we have }P_{s}(0)\supset \bigcup_{i<\omega}Q_{s}(0,i).$$

We now consider the family of partitions $\mathcal{P}:=\left\{P_{s}\mid s\in\mathcal{E}\wedge\exists^{\infty}i<\omega:\lvert s(i)\rvert=(2i)!(i+1)\right\}$.As $\lvert\mathcal{P}\rvert\leqslant\lvert\mathcal{E}\rvert=\operatorname{non}(\operatorname{\mathcal{M}})<\mathfrak{s}(\mathfrak{pr})$ there is an infinite set $A$ of natural numbers which is not split by any member of $\mathcal{P}$. Let $\langle a_{i}\,\mid\,i<\omega\rangle$ be the inreasing enumeration of $A$. Now consider the sequence $s:=\langle e^{-1}(\left\{a_{j}\mid j<(2i)!(i+1)\right\})\,\mid\,i<\omega\rangle$. As $\mathcal{E}$ is an infinitely often equal family, there is a $t\in\mathcal{E}$ infinitely often equalling $s$. We have $P_{t}\in\mathcal{P}$, therefore $P_{t}$ does not split $A$. This means that there is a natural number $n$ such that $P_{t}(n)\cap A$ is finite. Let $k$ be a natural number such that $A\cap P_{t}(n)\subset k$ and $\ell$ be one such that $B:=\left\{i\in\ell\setminus(n+1)\mid s(i)=t(i)\right\}$ has more than $k$ elements. We have

$$A\cap\bigcup_{i\in B}Q_{s}(n,i)=A\cap\bigcup_{i\in B}Q_{t}(n,i)\subset A\cap\bigcup_{i<\ell}Q_{t}(n,i)$$

$$\subset\, A\cap\bigcup_{i<\omega}Q_{t}(n,i)=A\cap P_{t}(n)\subset k$$

so by the pigeonhole principle there has to be an $i\in B$ such that $Q_{s}(n,i)\subset\omega\setminus A$. Remember that $a_{j}=f_{s}(i,j)$ for all $j\leqslant i<\omega$. So we have

$$\left\{a_{j}\mid j\in(2i)!(n+1)\setminus(2i)!n\right\}\setminus \bigcup_{m,j<i}Q_{s}(m,j)=Q_{s}(n,i)\subset\omega\setminus A\text{ and hence}$$

$$\left\{a_{j}\mid j\in(2i)!(n+1)\setminus(2i)!n\right\}\subset \bigcup_{m,j<i}Q_{s}(m,j)\text{, implying }i\geqslant 1\text{ and}$$

$$(2i)!\leqslant \sum_{j,m<i}\lvert Q_{s}(m,j)\rvert\leqslant i\sum_{j<i}(2j)!\leqslant i^{2}(2i-2)!.$$

$$\text{Therefore }(2i)(2i-1)\leqslant \,i^{2},$$

$$\text{so }i(3i-2)\leqslant \,0\text{ contradicting both factors of this product}$$

$$\quad\text{being no smaller than }1.$$

∎

2.2.2. Pair-Splitting

Theorem 2.2.2.

$\mathfrak{e}_{\text{ubd}}\leqslant\mathfrak{s}_{\text{pair}}$.

The following proof uses an interval partition with intervals of sufficiently quickly growing lengths such that, regardless of the behaviour of a set $S$ of integers on previous intervals, a predictor will still narrow down the possibilities of that set on the next interval sufficiently to point to two elements in the current interval which are either both in $S$ or both outside of $S$.

Proof.

Assume towards a contradiction that $\mathfrak{s}_{\text{pair}}<\mathfrak{e}_{\text{ubd}}$ and let $\mathcal{S}$ be a pair-splitting family of cardinality $\mathfrak{s}_{\text{pair}}$. We inductively define a function $f:\omega\longrightarrow\omega$ by $f(0):=3$ and $f(i+1):=f(i)+1+2^{2^{f(i)}}$ and use it to define an interval partition $\langle J_{i}\,\mid\,i<\omega\rangle$ by setting $\displaystyle J_{i}:=f(i)\setminus\bigcup_{k<i}J_{k}$ for all natural numbers $i$. Note the all intervals in this partition have odd length. Let $\langle F_{i}\,\mid\,i<\omega\rangle$ be an enumeration of all finite sets of natural numbers. We define a family

$$\mathcal{E} :=\left\{g_{S}\mid S\in\mathcal{S}\right\}\text{, where}$$

$$g_{S} :=\langle m^{S}_{k}\,\mid\,k<\omega\rangle\text{ for }S\in\mathcal{S}\text{, and}$$

$$m^{S}_{k} \text{ is such that }F_{m^{S}_{k}}=S\cap J_{k}.$$

As $\lvert\mathcal{E}\rvert\leqslant\lvert\mathcal{S}\rvert=\mathfrak{s}_{\text{pair}}<\mathfrak{e}_{\text{ubd}}$, there is a predictor $\pi={(B,\langle\pi_{i}\,\mid\,i\in B\rangle)}$ predicting every member of $\mathcal{E}$.

Claim 1.

For every natural number $\ell$ there is a pair $a_{\ell}=\{b_{2\ell},b_{2\ell+1}\}\subset J_{\ell}$ (where $b_{2\ell}<b_{2\ell+1}$) such that for every $x\in\mathcal{E}$, we have $a_{\ell}\cap F_{\pi_{\ell}(x\upharpoonright\ell)}\in\{0,a_{\ell}\}$.

Proof of Claim. For $\ell=0$ the claim holds true by the pigeonhole principle. In the following we show the claim to hold for $\ell=k+1$. For any natural number $k$ there are $2^{f(k)}$ subsets of $f(k)$ and hence just as many initial segments $x\upharpoonright k$ for $x\in\mathcal{E}$. Let $\langle t_{i}\,\mid\,i<2^{f(k)}\rangle$ be an enumeration of these initial segments. Set $K_{2^{f(k)}}:=J_{k+1}$ and for every $i\leqslant 2^{f(k)}$, let $K_{i}$ be the bigger one of the two sets $K_{i+1}\cap F_{\pi_{k}(t_{i})}$ and $K_{i+1}\setminus F_{\pi_{k}(t_{i})}$. Inductively we have $\lvert K_{i}\rvert\geqslant 2^{i}+1$ for every $i\leqslant 2^{f(k)}$. Now we let $b_{2k}:=\min(K_{0})$ and $b_{2k+1}:=\max(K_{0})$. Then $a_{k}:=\{b_{2k},b_{2k+1}\}$ provides what was demanded. (End of Proof of Claim.)

Now we let $A:=\left\{a_{\ell}\mid\ell\in B\right\}$. The set $A$ is an unbounded set of pairs, therefore there is an $S\in\mathcal{S}$ pair-splitting it. Let $m$ be a natural number such that $\pi_{i}(g_{S}\upharpoonright i)=g_{S}(i)$ for all $i\in B\setminus m$ and let $n\in B\setminus m$ be such that $a_{n}\in A\setminus[g(m)]^{2}$ is split by $S$, i.e. exactly one of $b_{2n},b_{2n+1}$ is in $S$, in other words, $S\cap a_{n}\notin\{0,a_{n}\}$. Then,

$$\{0,a_{n}\}\ni a_{n}\cap F_{\pi_{n}(g_{S}\upharpoonright n)}=a_{n}\cap F_{g_{S}(n)}=a_{n}\cap F_{m^{S}_{n}}$$

$$=\, a_{n}\cap J_{n}\cap S=a_{n}\cap S\notin\{0,a_{n}\}\text{, a contradiction.}$$

∎

Theorem 2.2.3.

$\mathfrak{s}_{\text{pair}}\leqslant\text{\ss}$.

The following proof depends on the observation that for any unbounded set $A$ of pairs of natural numbers one can define an alternating harmonic series padded with zeros(a technique employed in [020B^&] and [019B]) such that any index set rendering the respective subseries divergent will also pair-split $A$.

Proof.

Assume towards a contradiction that $\text{\ss}<\mathfrak{s}_{\text{pair}}$ and let $\mathcal{I}$ be an ß-sized family of infinite index sets of natural numbers such that for every conditionally convergent series $\displaystyle\sum_{i\nearrow\infty}r_{i}$ there is an index set $I\in\mathcal{I}$ such that $\displaystyle\sum_{i\in I}r_{i}$ is diverging. As $\lvert\mathcal{I}\rvert=\text{\ss}<\mathfrak{s}_{\text{pair}}$, there is an unbounded collection $A$ of pairs of natural numbers which is not pair-split by any member of the family $\mathcal{I}$. Let $\langle a_{i}\,\mid\,i<\omega\rangle$ be an enumeration of $A$.

$$B_{0}:= 0;$$

$$B_{i+1}:= \begin{cases}B\cup\{a_{i}\}\text{ if }\max(b)<\min(a_{i})\text{ for all }b\in B_{i},\\ B_{i+1}:=B_{i}\text{ otherwise.}\end{cases}$$

and finally $B:=\bigcup_{i<\omega}B_{i}$. Clearly, $B$ is an infinite unbounded subcollection of $A$, moreover we have $a_{1}<a_{2}$ or $a_{3}<a_{0}$ for $\big{\{}\{a_{0},a_{1}\}_{<},\{a_{2},a_{3}\}_{<}\big{\}}\in[B]^{2}$. Let $\langle b_{i}\,\mid\,i<\omega\rangle$ be the increasing enumeration of $\displaystyle\bigcup B$. Clearly, $\displaystyle B=\big{\{}\{b_{2i},b_{2i+1}\}\,\big{|}\,i<\omega\big{\}}$ and, being a subset of $A$, the family $B$ is not pair-split by any member of $\mathcal{I}$. Let $n(i):=\min(\left\{j<\omega\mid b_{j}\geqslant i\right\})$ for all natural numbers $i$. We now consider the series

$$\sum_{i\nearrow\infty}r_{i},$$

$$\text{where }r_{i} :=\begin{cases}\frac{(-1)^{n(i)}}{n(i)+1}&\text{if }i\in\bigcup B,\\ 0&\text{else.}\end{cases}$$

This is just the alternating harmonic series padded with zeroes, cf. 2.1.6, and therefore it is conditionally convergent. Now let $I\in\mathcal{I}$ be such that $\displaystyle\sum_{i\in I}r_{i}$ diverges. Let $k$ be a natural number such that $B\subset[k]^{2}\cup[\omega\setminus k]^{2}$ and $b\subset I$ or $b\subset\omega\setminus I$ for all $b\in B\setminus[k]^{2}$. As $\displaystyle\sum_{i\in I}r_{i}$ diverges, so does $\displaystyle\sum_{i\in I\setminus k}r_{i}$. But $\displaystyle\sum_{i\in I\setminus k}r_{i}=\sum_{i\in I\cap\bigcup B\setminus k}r_{i}$ which, being divergent, by the Leibniz criterion cannot be an alternating series. Then $b\not\subset I$ and $b\not\subset\omega\setminus I$ for some $b\in B\setminus[k]^{2}$, a contradiction. ∎

Since together with Theorem 2.2.2 we now established the inequality $\mathfrak{e}\leqslant\text{\ss}$ between characteristics originating in, respectively, algebra and analysis, let us point out the following immediate Corollary.

Corollary 2.2.4.

For any cardinal $\kappa<2^{\aleph_{0}}$ at least one of the the following holds:

• For all families $\mathcal{F}\in\big{[}[\omega]^{\omega}\big{]}^{\kappa}$ there is a conditionally convergent series $\displaystyle\sum_{i\nearrow\infty}r_{i}$ such that for all index sets $I\in\mathcal{F}$ the series $\displaystyle\sum_{i\in I}r_{i}$ converges.

• There is a subgroup of the Baer-Specker group no larger than $\kappa$ exhibiting the Specker phenomenon.