Bukh's linear-transformation sumset conjecture

About 7 years old · traced to

Let L1,…,Lk\mathscr{L}_1,\dots,\mathscr{L}_k be linear transformations from Zd\mathbb{Z}^d to Zd\mathbb{Z}^d that do not share a non-trivial invariant subspace and satisfy

L1(Zd)+⋯+Lk(Zd)=Zd.\mathscr{L}_1(\mathbb{Z}^d)+\dots+\mathscr{L}_k(\mathbb{Z}^d)=\mathbb{Z}^d.

Bukh's conjecture. For any A⊆ZdA\subseteq\mathbb{Z}^d, one has

∣L1(A)+⋯+Lk(A)∣≥(∣det⁡(L1)∣1/d+⋯+∣det⁡(Lk)∣1/d)d∣A∣−o(∣A∣).|\mathscr{L}_1(A)+\dots+\mathscr{L}_k(A)|\geq\left(|\det(\mathscr{L}_1)|^{1/d}+\dots+|\det(\mathscr{L}_k)|^{1/d}\right)^d|A|-o(|A|).

This conjecture concerns sharp asymptotic lower bounds for sums of images of an integer set under linear transformations, and is related to estimates for algebraic dilations. Its resolution status is not specified in the supplied text.

References

Primary source

Akshat Mudgal, “Sums of linear transformations in higher dimensions”, arXiv:1902.07665 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.