Даже не знаю в какой раздел форума поставить эту тему - физику или математику. Модераторы поправят
Итак статья из вики
https://en.wikipedia.org/wiki/Poincar%C ... ce_theorem. Внизу на пол страницы приводится доказательство этой теорему для квантового случая - неожиданно простое. Остаемся в квантовой механике а конфигурационное пространство уменьшаем до конечномерного размерности

. И теперь собственно вопрос - это теорема существования, а не конструктивистки построенное доказательство с оценкой времени . Тык вот если задана точность приближение

(fidelity), то какая оценка времени возврата в бесконечно близкое состояние. Очевидно, что задачу можно упростить (в чисто математическую). Итак имеется набор частот гармоник

-размерного осцилятора

. Имеется отношение

, которое переводит d мерное евклидово пространство в тор

. Имеется прямая

компоненты касательного вектора которой, не соразмерны образующим тора

(множество образующих тора, и компонент касательного вектора прямой образуют независимую систему относительно целых чисел). Ясень пень , что вложенная в тор кривая

плотно покроет тор - то есть для любой бесконечно малой окрестности токи кривой обязательно найдется момент времени в будущем, когда эта кривая вернется в заданную окрестность. И вот вопрос состоит а какое же это время (если хотите длина кривой ли расстояние по нулевой образующей , которую я выкинул из рассмотрения)...
Если перейти от квантовой механики к классической - то есть условно период возникновения биений или парада планет
Соответственно хотелось бы спросить может кто знает нет ли оценки минимального времени возврата

в зависимости от близости

и размерности пространства параметров тора