TY - RPRT TI - A blueprint for the formalization of norm-variation of multiple ergodic averages for commuting transformations AU - Floris van Doorn AU - Polona Durcik AU - Joris Roos AU - Lenka Slavíková AU - Christoph Thiele PY - 2026 UR - https://arxiv.org/abs/2608.27321 ID - 2608.27321 ER -