Point configurations in sets of sufficient topological structure and a topological {E}rdős similarity conjecture

TL;DR

The article develops topological analogues of Steinhaus and Piccard results to study infinite point configurations within non-meager Baire sets. It defines the configuration-set Δ_P(A) and proves that, for a bounded countable pattern F = {x_n} in R^d, any non-meager Baire set A contains an affine copy tF+z for a whole interval of scalings t, with some translation z, i.e., Δ_F(A) has nonempty interior. This result generalizes to arbitrary topological vector spaces, replacing boundedness with a suitable notion in the TVS setting and using a topological Lebesgue-density framework alongside the Banach Category Theorem. The findings support a topological Erdős similarity-type perspective by showing bounded countable sets are universal in non-meager Baire sets, and they establish a robust mechanism for universality of countable configurations in a broad class of spaces.

Abstract

We explore the occurrence of point configurations within non-meager (second category) Baire sets. A celebrated result of Steinhaus asserts that $A+B$ and $A-B$ contain an interval whenever $A$ and $B$ are sets of positive Lebesgue measure in $\mathbb{R}^n$ for $n\geq 1$. A topological analogue attributed to Piccard asserts that both $AB$ and $AB^{-1}$ contain an interval when $A,B$ are non-meager (second category) Baire sets in a topological group. We explore generalizations of Piccard's result to more complex point configurations and more abstract spaces. In the Euclidean setting, we show that if $A\subset \mathbb{R}^d$ is a non-meager Baire set and $F=\{x_n\}_{n\in\mathbb{N}}$ is a bounded sequence, then there is an interval of scalings $t$ for which $tF+z\subset A$ for some $z\in \mathbb{R}^d$. That is, the set $$Δ_F(A)=\{t\in\mathbb{R}: \exists z\text{ such that }tF+z\subset A\}$$ has nonempty interior. More generally, if $V$ is a topological vector space and $F=\{x_n\}_{n\in\mathbb{N}} \subset V$ is a bounded sequence, we show that if $A\subset V$ is non-meager and Baire, then $Δ_F(A)$ has nonempty interior. The notion of boundedness in this context is described below. Note that the sequence $F$ can be countably infinite, which distinguishes this result from its measure-theoretic analogue. In the context of the topological version of Erdős' similarity conjecture, we show that bounded countable sets are universal in non-meager Baire sets.

Theorems & Definitions (32)

• Conjecture 1.1
• Remark 1.3
• Theorem 1.4: Piccard - Euclidean setting
• Theorem 1.5: Piccard - Abstract version
• Definition 1.6
• Theorem 2.1
• Lemma 2.2: Topological variant of Lebesgue Density Theorem
• proof
• proof : Proof of Theorem \ref{['picard']} (one dimensional case)
• proof : Proof of Theorem \ref{['euclidean']}