@misc{indiciae52da52e2244b, title = {A blueprint for the formalization of norm-variation of multiple ergodic averages for commuting transformations}, author = {Floris van Doorn and Polona Durcik and Joris Roos and Lenka Slavíková and Christoph Thiele}, year = {2026}, url = {https://arxiv.org/abs/2608.27321}, note = {Source identifier: 2608.27321} }