On arithmetic properties of solvable Baumslag-Solitar groups
Authors:
Laurent Hayez,
Tom Kaiser,
Alain Valette
Abstract:
For $0<α\le 1$, we say that a sequence $(X_k)_{k>0}$ of $d$-regular graphs has property $D_α$ if there exists a constant $C>0$ such that $\mathrm{diam}(X_k)\ge C\cdot|X_k|^α$. We investigate property $D_α$ for arithmetic box spaces of the solvable Baumslag-Solitar groups $BS(1,m)$ (with $m\geq 2$): those are box spaces obtained by embedding $BS(1,m)$ into the upper triangular matrices in…
▽ More
For $0<α\le 1$, we say that a sequence $(X_k)_{k>0}$ of $d$-regular graphs has property $D_α$ if there exists a constant $C>0$ such that $\mathrm{diam}(X_k)\ge C\cdot|X_k|^α$. We investigate property $D_α$ for arithmetic box spaces of the solvable Baumslag-Solitar groups $BS(1,m)$ (with $m\geq 2$): those are box spaces obtained by embedding $BS(1,m)$ into the upper triangular matrices in $GL_2(\mathbb{Z}[1/m])$ and intersecting with a family $M_{N_k}$ of congruence subgroups of $GL_2(\mathbb{Z}[1/m])$, where the levels $N_k$ are coprime with $m$ and $N_k|N_{k+1}$. We prove:
- if an arithmetic box space has $D_α$, then $α\le\frac{1}{2}$~;
- if the family $(N_k)_k$ of levels is supported on finitely many primes, the corresponding arithmetic box space has $D_{1/2}$~;
- if the family $(N_k)_k$ of levels is supported on a family of primes with positive analytic primitive density, then the corresponding arithmetic box space does not have $D_α$, for every $α>0$.
Moreover, we prove that if we embed $BS(1,m)$ in the group of invertible upper-triangular matrices $T_n(\mathbb{Z}[1/m])$, then every finite index subgroup of the embedding contains a congruence subgroup. This is a version of the congruence subgroup property (CSP).
△ Less
Submitted 13 January, 2021;
originally announced January 2021.
Optimal epidemic dissemination
Authors:
Hugues Mercier,
Laurent Hayez,
Miguel Matos
Abstract:
We consider the problem of reliable epidemic dissemination of a rumor in a fully connected network of~$n$ processes using push and pull operations. We revisit the random phone call model and show that it is possible to disseminate a rumor to all processes with high probability using $Θ(\ln n)$ rounds of communication and only $n+o(n)$ messages of size $b$, all of which are asymptotically optimal a…
▽ More
We consider the problem of reliable epidemic dissemination of a rumor in a fully connected network of~$n$ processes using push and pull operations. We revisit the random phone call model and show that it is possible to disseminate a rumor to all processes with high probability using $Θ(\ln n)$ rounds of communication and only $n+o(n)$ messages of size $b$, all of which are asymptotically optimal and achievable with pull and push-then-pull algorithms. This contradicts two highly-cited lower bounds of Karp et al. stating that any algorithm in the random phone call model running in $\mathcal{O}(\ln n)$ rounds with communication peers chosen uniformly at random requires at least $ω(n)$ messages to disseminate a rumor with high probability, and that any address-oblivious algorithm needs $Ω(n \ln \ln n)$ messages regardless of the number of communication rounds. The reason for this contradiction is that in the original work, processes do not have to share the rumor once the communication is established. However, it is implicitly assumed that they always do so in the proofs of their lower bounds, which, it turns out, is not optimal. Our algorithms are strikingly simple, address-oblivious, and robust against $εn$ adversarial failures and stochastic failures occurring with probability $δ$ for any $0 \leq \{ε,δ\} < 1$. Furthermore, they can handle multiple rumors of size $b \in ω(\ln n \ln \ln n)$ with $nb + o(nb)$ bits of communication per rumor.
△ Less
Submitted 1 September, 2017;
originally announced September 2017.