Binary strings of finite VC dimension
This work introduces a novel complexity measure for binary strings with potential applications in mathematical logic and shift spaces, though it appears incremental in extending VC dimension concepts to string theory.
The paper investigates binary strings with finite VC dimension as a complexity measure, proving that such strings are meagre in the reals, providing rules to bound VC dimension, and characterizing low-dimensional irreducible strings.
Any binary string can be associated with a unary predicate $P$ on $\mathbb{N}$. In this paper we investigate subsets named by a predicate $P$ such that the relation $P(x+y)$ has finite VC dimension. This provides a measure of complexity for binary strings with different properties than the standard string complexity function (based on diversity of substrings). We prove that strings of bounded VC dimension are meagre in the topology of the reals, provide simple rules for bounding the VC dimension of a string, and show that the bi-infinite strings of VC dimension $d$ are a non-sofic shift space. Additionally we characterize the irreducible strings of low VC dimension (0,1 and 2), and provide connections to mathematical logic.