Квантовые расчёты часто напоминают сборку сложного механизма: физик знает, что деталь встанет на место, но не всегда может объяснить почему. Один из излюбленных приёмов — вставить в середину формулы «единицу», только не обычную, а составленную из бесконечного набора всех возможных состояний системы. Это позволяет превратить громоздкое выражение в цепочку простых интегралов. Но математическая строгость такого шага долго оставалась под вопросом.
Новая работа наводит здесь порядок. Авторы строят общий математический каркас — теорему о вложенных интегралах, — который гарантирует, что последовательные вставки таких «единиц» всегда приводят к точным равенствам. Они строго выводят условия, при которых можно менять местами внутреннее произведение и интеграл, закрывая дыру, часто замалчиваемую в учебниках физики. Это похоже на создание универсального чертежа, годного для любой квантовой «сборки».
Сила подхода проявляется в примерах. Для простых операторов получаются знакомые формулы, а для более хитрых — скажем, для перекрытия сжатых состояний в нелинейной среде — теорема выдаёт точное интегральное представление, которое раньше было трудно получить. Другой пример: матричные элементы сложной двухмодовой гауссовой сети выражаются через двойные полиномы Эрмита. Раньше такой расчёт потребовал бы искусных догадок, а теперь это прямое следствие общей процедуры.
Так физический трюк с «единицей» перестаёт быть шаманством и становится честным математическим инструментом. Это не только укрепляет фундамент квантовой теории, но и даёт в руки расчётный метод для новых задач — от квантовой оптики до теории поля.
В квантовой механике «единицу» часто записывают как сумму по всем возможным состояниям, и это работает, даже если состояний бесконечно много — примерно как бесконечная сумма углов в круге всегда даёт 360 градусов.