Exact asymptotic µ-GDP analysis of shuffle-model federated learning via χ²-divergence of the local randomizer. Derives closed-form µ² parameters for unbundled and bundled shuffling, proves an explicit exponential separation in feasible SGD iterations, and propagates these guarantees to standard convex, non-convex, and PL optimization regimes.
Alex Shvets (Wed,) studied this question.