Advanced Search

Let $S$ be a fixed symmetric finite subset of $S{L}_d\left({𝒪}_K\right)$ that generates a Zariski dense subgroup of $S{L}_d\left({𝒪}_K\right)$ when we consider it as an algebraic group over $mathbbQ$ by restriction of scalars. We prove that the Cayley graphs of $S{L}_d({𝒪}_K/I)$ with respect to the projections of $S$ is an expander family if $I$ ranges over square-free ideals of ${𝒪}_K$ if $d=2$ and $K$ is an arbitrary numberfield, or if $d=3$ and $K=\mathbb{Q}$.

Let the collection of arithmetic sequences ${\{d_{i}n+b_i:n\in \mathbb{Z}\}}_{i\in I}$ be a disjoint covering system of the integers. We prove that if $d_i=p^k{q}^l$ for some primes $p,q$ and integers $k,l\ge 0$, then there is a $j\ne i$ such that $d_i|d_j$. 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 $1$. The above conjecture holds for saturated systems with $d_i$ such that the product of its prime factors is at most $1254$.