A curved Brunn-Minkowski inequality for the symmetric group (Q2635092)

Summary: In this paper, we construct an injection \(A \times B \to M \times M\) from the product of any two nonempty subsets of the symmetric group into the square of their midpoint set, where the metric is that corresponding to the conjugacy class of transpositions. If \(A\) and \(B\) are disjoint, our construction allows to inject two copies of \(A \times B\) into \(M \times M\). These injections imply a positively curved Brunn-Minkowski inequality for the symmetric group analogous to that obtained by \textit{Y. Ollivier} and \textit{C. Villani} [SIAM J. Discrete Math. 26, No. 3, 983--996 (2012; Zbl 1267.52010)] for the hypercube. However, while Ollivier and Villani's inequality [loc. cit.] is optimal, we believe that the curvature term in our inequality can be improved. We identify a hypothetical concentration inequality in the symmetric group and prove that it yields an optimally curved Brunn-Minkowski inequality.