{"id":"arxiv/2606.15627","url":"https://arxiv.org/abs/2606.15627","tags":["math.LO","math.CO"],"score":0,"title":"Strong marker sets for arbitrary generating sets","domain":"math.LO","source":"arxiv","authors":["Su Gao","Tianhao Wang"],"reviews":0,"subject":"math.LO","summary":"We prove the existence of clopen strong marker sets in $F(2^{\\mathbb{Z}^n})$ for arbitrary finite generating sets. Specifically, for any positive integers $n, d_0\\geq 1$ and any finite generating set $S\\subseteq \\mathbb{Z}^n$, we construct a clopen set $M\\subseteq F(2^{\\mathbb{Z}^n})$ and a positive integer $Δ$ such that (1) for any distinct $x,y\\in M$ in the same orbit, $ρ(x,y)\\geq d_0$; (2) for any $v\\in S$ and any $x\\in F(2^{\\mathbb{Z}^n})$, there are non-negative integers $a,b\\leq Δ$ such that $av\\cdot x\\in M$ and $-bv\\cdot x\\in M$. Here $ρ$ denotes the Euclidean metric. The same result…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-14","reactions":{}}