M Bafna, D Minzer - Proceedings of the 56th Annual ACM Symposium on …, 2024 - dl.acm.org
A d-dimensional simplicial complex X is said to support a direct product tester if any locally
consistent function defined on its k-faces (where k≪ d) necessarily come from a function …