Решётка убеждает, но не доказывает: что такое массовая щель Янга—Миллса

Когда суперкомпьютерный расчёт снова и снова воспроизводит массу протона, близкую к измеренной, это серьёзно поддерживает теорию. Математическая задача о массовой щели ставит иной вопрос: удастся ли вывести это свойство из самих уравнений, не опираясь на конечную сетку и численное приближение?

В квантовой хромодинамике сильное взаимодействие описывают поля кварков и глюонов. Уравнения Янга-Миллса устроены так, что переносчики этого взаимодействия, глюоны, безмассовы. Но связанные системы из кварков и глюонов имеют массу. Массовая щель означает более точное утверждение: в спектре теории между вакуумом и первым возбуждением есть положительный разрыв. Речь не о том, чтобы просто обнаружить массивную частицу, а о том, чтобы строго доказать это свойство для самой теории в четырёх измерениях.

Что именно даёт решёточный расчёт

В численном подходе непрерывное пространство-время заменяют четырёхмерной решёткой. На её узлах и связях задают поля, а компьютер приближённо вычисляет их возможные конфигурации и связанные с ними физические величины. Такой расчёт позволяет извлекать спектр и сопоставлять предсказания с экспериментом. Редакционный разбор New Scientist отмечает, что эти приближения не дают точного аналитического доказательства возникновения щели из уравнений.

Дело не в том, что вычисления «ненастоящие». Их результат относится к модели с конечным шагом решётки и ограниченными вычислительными ресурсами. Чтобы перейти к непрерывной теории, нужно последовательно уменьшать шаг сетки и доказать, что предел существует и сохраняет нужные свойства. После этого остаётся показать, что у предельной теории спектральный разрыв действительно положителен. Устойчивые числа при нескольких настройках могут быть сильным свидетельством, но сами по себе они эту цепочку доказательства не замыкают.

Строгие результаты рядом с открытой задачей

Работа Аджая Чандры, Ильи Чевырёва, Мартина Хайрера и Хао Шэня показывает, насколько далеко продвинулась строгая математика, и одновременно где проходят её границы. В статье «Стохастическая квантизация теории Янга—Миллса—Хиггса в трёх измерениях», опубликованной в рецензируемом журнале Inventiones mathematicae в 2024 году и доступной полностью, авторы рассматривают трёхмерную евклидову модель Янга—Миллса—Хиггса на торе.

Метод здесь не численный. Исследователи строят пространство обобщённых полей, вводят стохастическую динамику и применяют теорию структур регулярности, созданную для уравнений с крайне нерегулярными случайными членами. Они доказывают локальное по времени существование перенормированных решений и получают марковский процесс на пространстве калибровочных орбит. Проще говоря, калибровочно эквивалентные описания они трактуют как разные представления одного физического состояния.

Эта работа, однако, не доказывает массовую щель в чистой четырёхмерной теории Янга-Миллса. В ней присутствует поле Хиггса, рассматриваются три измерения вместо четырёх, а существование процесса доказано лишь локально, без гарантии на все времена. Авторы прямо признают, что не знают, как доказать даже более слабое утверждение о том, что процесс выживает на всём временном интервале. Они также отмечают: построение меры для чистой неабелевой теории Янга-Миллса в трёх измерениях остаётся открытым. Поэтому результат важен как строгая конструкция в родственной модели, но не как решение задачи Клэя.

Другой пример даёт работа математика Сурава Чаттерджи. Её первая версия появилась в январе 2024 года как препринт, а журнальная публикация в Probability and Mathematical Physics вышла в 2026 году. В статье «Масштабный предел решёточной теории Янга—Миллса—Хиггса для SU(2)» строго строится предел специальной решёточной модели с полем Хиггса. При описанном автором предельном переходе получается массивное гауссовское поле, и это доказывает генерацию массы механизмом Хиггса в данной модели.

Оговорка здесь существенна. Модель устроена специальным образом, включает поле Хиггса и приводит к гауссовскому пределу. Сам Чаттерджи пишет, что построение негауссовского масштабного предела остаётся открытым. Это не доказательство динамической массовой щели в чистой четырёхмерной теории сильного взаимодействия. Похожие слова о «генерации массы» относятся к другому механизму и к более узкому результату.

Почему эксперимент не заменяет доказательство

Экспериментальные данные помогают проверить физическую картину, но отвечают на собственный вопрос. Коллаборация BESIII, например, проанализировала распады более чем 10 миллиардов частиц J/ψ и определила квантовые числа состояния X(2370). Его масса и спин-чётность согласуются с предсказаниями для лёгчайшего псевдоскалярного глюбола, то есть частицы-кандидата, состоящей только из глюонного поля. Авторы формулируют вывод именно как согласие с предсказаниями, а не как окончательное доказательство природы частицы или математической массовой щели.

Полезно различать три уровня. Численный расчёт показывает, что дискретизированная модель даёт устойчивые и физически осмысленные величины. Эксперимент проверяет, согласуются ли наблюдаемые процессы с предсказаниями. Математическое доказательство должно построить саму непрерывную теорию и показать, что её спектр действительно отделён от вакуума положительной величиной. Эти результаты поддерживают друг друга, но не заменяют друг друга.

Разница между сильным численным свидетельством и формальным доказательством возникает и в других областях математики; подробнее о том, зачем математики доказывают уже доказанные теоремы, можно прочитать в отдельном разборе.

Численные расчёты важны: они позволяют исследовать теорию и сравнивать её предсказания с наблюдениями. Но задача о массовой щели требует большего: строгого перехода к непрерывной четырёхмерной чистой теории Янга-Миллса и доказательства положительного спектрального разрыва. Работы 2024 и 2026 годов показывают математический прогресс на соседних моделях, однако нужного доказательства пока не дают.

Источники

• Ajay Chandra, Ilya Chevyrev, Martin Hairer, Hao Shen. «Stochastic quantisation of Yang–Mills–Higgs in 3D». Inventiones mathematicae, 2024. Рецензируемая статья, открытый доступ. DOI и полный текст.
• Sourav Chatterjee. «A scaling limit of SU(2) lattice Yang-Mills-Higgs theory». Probability and Mathematical Physics, 2026. Препринт arXiv:2401.10507, версия 4 от 11 апреля 2026 года; журнальная публикация. DOI публикации; препринт и версии.
• BESIII Collaboration. «Determination of Spin-Parity Quantum Numbers of X(2370) as 0⁻⁺ from J/ψ → γK⁰ₛK⁰ₛη′». Physical Review Letters, 2024. Рецензируемая статья, открытый доступ. DOI и полный текст.
• Simon Danaher. «We're solving the fundamental mystery of how reality is glued together». New Scientist, 6 апреля 2026 года. Научно-популярный редакционный материал, не первичная исследовательская работа. Текст материала.

Фото: Pietro Battistoni / Pexels