Sofic approximations and quantitative measure couplings

We build quantitative measure subgroup couplings from a Brieussel-Zheng diagonal product to a lamplighter group.

We use them to answer the inverse problem of the quantification; namely, find a group admitting a measure subgroup coupling with a prescribed group with prescribed quantification, in the case of the lamplighter group.