Извиняюсь за долгий ответ -- занят был.
А вот этого я не знал. Это реально круто. Если правда. Честно говоря, не понятно как это может быть. Как "перепрыгнуть" от КМ к КТП. Опять решетка?
Да, решётка, разумеется. Строго говоря, попытка моделировать идёт именно что решёточные калибровочные теории. Насколько "реально", сами уж судите. :)
Я не специалист в этой области, если что, но общая идея примерно такая обычно вроде (на примере

): операторам параллельного переноса и электрического и магнитного полей ставятся в соответствие операторы углового момента

,

. Для

это отображение работает идеально, а при конечных значениях

-- только приближённо (операторы параллельного переноса не совсем унитарны

получается усечённое гильбертво пространство). Дальше используется швингеровское представление углового момента в терминах бозоновских операторов (

), и складывается примерно такая картина: нужна оптическая решётка, в которой фермионы

(ну или бозоны, если материя бозонная) будут жить в узлах, а в рёбрах между ними будут жить вот эти "швингеровские бозоны". В теории при этом вдобавок к интересующему gauge-matter члену типа

будут и взаимодейсвтия типа 4-фермионных, нарушающих калибровочную инвариантность, но можно подобрать полные спины атомов

так, чтобы только нужные слагаемые сохраняли полный спин.
Дальше много всяких технических деталей: нужно обеспечить, чтобы бозоны "не прыгали" между рёбрами, для селекции члена

по принципу сохранения спина нужно на самом деле два вида фермионов

(поэтому на деле реализуются staggered фермионы) и т.п. Но сейчас экспериментаторы вроде как так научились ультрахолодные газы контролировать, что это вполне реально и осуществимо. Ну и вообще, как по мне, нобелевку-то больше за первые шаги в этой области (i.e., квантовых технологий) дали. Там, конечно, двое из трёх больше фотонщики, по-моему, но вот Zeilinger -- один из отцов-первопроходцев в области контроля ультрахолодных газов.
Вопрос того, насколько все приближения/допущения портят всю малину, до сих пор открыт и активно исследуется, как я понимаю. Может, в итоге станет понятно, что они "смертельны". Может, окажется, что более-менее серьёзные системы (неабелевы теории с материей в размерностях, отличных от

) технически реализовать практически невозможно, они не маштабируются и т.п. А может, появится альтернатива счёту решёточных моделей на суперкомпьютерах. Что было бы круто, конечно, потому что, как минимум, в этом подходе фермионы возникают естественным путём, так что никакой sign problem нет, а потому появилась бы возможность заглянуть в область существенно ненулевых значений хим. потенциала/фермионной плотности.
Цитата:
И что можно почитать об этом?
Список ниже не претендует на какую-то реперзентативность -- просто то, что у меня оказалось сохранённым во вкладках.
Что-то околообзорное, где можно дальнейшие ссылки найти:
1. M. Aidelsburger et al. Cold atoms meet lattice gauge theory.
Phil. Trans. R. Soc. A 380, 20210064 (2021) //
arXiv:2106.03063 [cond-mat.quant-gas]Немного теории, тоже полуобзорного характера иной раз:
2. U.-J. Wiese. Ultracold quantum gases and lattice systems: quantum simulation of lattice gauge theories.
Annalen Phys. 525, 777-796 (2013) //
arXiv:1305.1602 [quant-ph]3. E. Zohar, J.I. Cirac, B. Reznik. Quantum simulations of gauge theories with ultracold atoms: Local gauge invariance from angular-momentum conservation.
Phys. Rev. A 88, 023617 (2013) //
arXiv:1303.5040 [quant-ph]4. D. González-Cuadra, E. Zohar, J.I. Cirac. Quantum simulation of the Abelian-Higgs lattice gauge theory with ultracold atoms.
New J. Phys. 19, 063038 (2017) //
arXiv:1702.05492 [quant-ph]5. T. V. Zache et al. Quantum simulation of lattice gauge theories using Wilson fermions.
Quantum Sci. Technol. 3 034010 (2018) //
arXiv:1802.06704 [cond-mat.quant-gas]Вариант конкретной экспериментальной реализации игрушечной модельки:
6. A. Mil et al. A scalable realization of local U(1) gauge invariance in cold atomic mixtures.
Science 367, No. 6482, 1128-1130 (2020) //
arXiv:1909.07641 [cond-mat.quant-gas]