HRT 추측 반례: 슈바르츠 함수 12개 항등식으로 깨지다

A partial digestion of the HRT counterexample

Heil-Ramanathan-Topiwala(HRT) 추측은 충분히 빠르게 감소하는 0이 아닌 함수는 서로 다른 시간-주파수 이동들의 유한 선형 결합으로 0이 될 수 없다는 것이었습니다. 이 추측은 슈바르츠 함수에 대해서도 오랫동안 열려 있었는데, 최근 Faulhuber, Petersen, van Velthoven, Voigtlaender가 AI의 도움을 받아 반례를 찾아냈습니다. 그들은 12개의 서로 다른 시간-주파수 이동과 0이 아닌 계수들을 사용하여 슈바르츠 함수 f_*에 대해 c_1 π(z_1) f_* + ... + c_12 π(z_12) f_* = 0을 만족시킵니다. 이 글은 테리 타오가 그 증명의 핵심 아이디어를 부분적으로 분석한 것으로, Zak 변환, 벡터 cocycle 문제, 그리고 축소 사상 논법을 사용하는 과정을 설명합니다.