Necklace-bijection explanation for modular subset sums
Determine whether the translation-orbit map from order-fkf subsets of fZ/nZf whose element sum is fkf modulo fnf (when fkf is odd) or fk/2f modulo fnf (when fkf is even) to necklaces with fkf black and fn-kf white beads is bijective for general fnf and fkf, thereby explaining the equality of the two enumeration formulas.
References
For k odd, respectively even, it is natural to ask whether S(n, k, k), respectively S(n, k, k/2), is sent by γ bijectively to the set of necklaces. If so, this would immediately explain the coincidence of these two enumerations.
— Number of partitions of modular integers (with an Appendix by P. Deligne)
(2502.19523 - Broadhurst et al., 26 Feb 2025) in Section 5.1, page 15