Bukh's linear-transformation sumset conjecture

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 AZdA\subseteq\mathbb{Z}^d, one has

L1(A)++Lk(A)(det(L1)1/d++det(Lk)1/d)dAo(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.

Sources & referencesView supporting material

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.