The optimal exponent relating sumsets and difference sets

Source: arxiv:2607.27199, url:https://github.com/linhaowei1/sum-diff-proof Authors: Haowei Lin, Shanda Li Status: verified Main declarations: SumDifferenceExponent.sSup_admissibleExponents Tags: additive-combinatorics, sumsets, difference-sets, Pluennecke-Ruzsa, optimal-exponents MSC: 11B13, 11B30, 05D10