arXiv++ Combinatorics

The Hausdorff dimension of a product XxY can be strictly greater than that of Y, even when the Hausdorff dimension of X is zero. But when X is countable, the Hausdorff dimensions of Y and XxY are the same. Diagonalizations of covers define a natural hierarchy of properties which are weaker than ``being countable'' and stronger than ``having Hausdorff dimension zero''. Fremlin asked whether it is enough for X to have the strongest property in this hierarchy (namely, being a gamma-set) in order to assure that the Hausdorff dimensions of Y and XxY are the same. We give a negative answer: Assuming CH, there exists a gamma-set of reals X and a set of reals Y with Hausdorff dimension zero, such that the Hausdorff dimension of X+Y (a Lipschitz image of XxY) is maximal, that is, 1. However, we show that for the notion of a_strong_ gamma-set the answer is positive. Some related problems remain open.

We consider the question, which of the major classes defined by topological diagonalizations of open or Borel covers is hereditary. Many of the classes in the open case are not hereditary already in ZFC, and none of them is provably hereditary. This is contrasted with the Borel case, where some of the classes are provably hereditary. Two of the examples are counter-examples of sizes d$ and b, respectively, to the Menger and Hurewicz Conjectures, and one of them answers a question of Steprans on perfectly meager sets.

Whereas the Gerlits-Nagy gamma-property is strictly weaker than the Galvin-Miller strong gamma-property, the corresponding strong notions for the Menger, Hurewicz, Rothberger, Gerlits-Nagy (*), Arkhangel'skii and Sakai properties are equivalent to the original ones. The main result is that almost each of these properties admits the game theoretic characterization suggested by the stronger notion. We also solve a related problem of Kocinac and Scheepers, and answer a question of Iliadis.

A permutation P on {1,..,N} is a_fast_forward_permutation_ if for each m the computational complexity of evaluating P^m(x)$ is small independently of m and x. Naor and Reingold constructed fast forward pseudorandom cycluses and involutions. By studying the evolution of permutation graphs, we prove that the number of queries needed to distinguish a random cyclus from a random permutation on {1,..,N} is Theta(N) if one does not use queries of the form P^m(x), but is only Theta(1) if one is allowed to make such queries. We construct fast forward permutations which are indistinguishable from random permutations even when queries of the form P^m(x) are allowed. This is done by introducing an efficient method to sample the cycle structure of a random permutation, which in turn solves an open problem of Naor and Reingold.

We answer a question of Just, Miller, Scheepers and Szeptycki whether certain diagonalization properties for sequences of open covers are provably closed under taking finite or countable unions. This is a very concise paper. For a self-contained, complete, and extended treatment of the topic see math.GN/0604451

A major problem in using iterative number generators of the form x_i=f(x_{i-1}) is that they can enter unexpectedly short cycles. This is hard to analyze when the generator is designed, hard to detect in real time when the generator is used, and can have devastating cryptanalytic implications. In this paper we define a measure of security, called_sequence_diversity_, which generalizes the notion of cycle-length for non-iterative generators. We then introduce the class of counter assisted generators, and show how to turn any iterative generator (even a bad one designed or seeded by an adversary) into a counter assisted generator with a provably high diversity, without reducing the quality of generators which are already cryptographically strong.

In classical works, Hurewicz and Menger introduced two diagonalization properties for sequences of open covers. Hurewicz found a combinatorial characterization of these notions in terms of continuous images. Recently, Scheepers has shown that these notions are particular cases in a large family of diagonalization schemas. One of the members of this family is weaker than the Hurewicz property and stronger than the Menger property, and it was left open whether it can be characterized combinatorially in terms of continuous images. We give a positive answer. This paper can serve as an exposition of this fascinating subject.

We study diagonalizations of covers using various selection principles, where the covers are related to linear quasiorderings (tau-covers). This includes: equivalences and nonequivalences, combinatorial characterizations, critical cardinalities and constructions of special sets of reals. This study leads to a solution of a topological problem which was suggested to the author by Scheepers (and stated in an earlier work) and is related to the Minimal Tower problem. We also introduce a variant of the notion of tau-cover, called tau^*-cover, and settle some problems for this variant which are still open in the case of $τ$-covers. This new variant introduces new (and tighter) topological and combinatorial lower bounds on the Minimal Tower problem.