A continuous family of automata : the Ising automata
Let the collection of arithmetic sequences be a disjoint covering system of the integers. We prove that if for some primes and integers , then there is a such that . We conjecture that the divisibility result holds for all moduli.A disjoint covering system is called saturated if the sum of the reciprocals of the moduli is equal to . The above conjecture holds for saturated systems with such that the product of its prime factors is at most .
Suppose that is a locally compact abelian group with a Haar measure . The -ball of a continuous translation invariant pseudo-metric is called -dimensional if for all . We show that if is a compact symmetric neighborhood of the identity with for all , then is contained in an -dimensional ball, , of positive radius in some continuous translation invariant pseudo-metric and .