A density version of the Carlson-Simpson theorem

From MaRDI portal




Abstract: We prove a density version of the Carlson--Simpson Theorem. Specifically we show the following. For every integer kgeq2 and every set A of words over k satisfying [limsup_{n oinfty} frac{|Acap [k]^n|}{k^n}>0] there exist a word c over k and a sequence (wn) of left variable words over k such that the set [{c}cup �ig{c^{smallfrown}w_0(a_0)^{smallfrown}...^{smallfrown}w_n(a_n) : ninmathbb{N} ext{ and } a_0,...,a_nin [k]�ig}] is contained in A. While the result is infinite-dimensional its proof is based on an appropriate finite and quantitative version, also obtained in the paper.









This page was built for publication: A density version of the Carlson-Simpson theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q479520)