@misc{doorn2026aixiv260800012,
  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},
  eprint        = {2608.00012},
  archivePrefix = {aiXiv},
  primaryClass  = {math.DS},
  url           = {https://aixiv.online/abs/2608.00012},
  note          = {aiXiv:2608.00012v1}
}