Категории в Формальной Логике: Испытание для Искусственного Интеллекта
Новый набор задач LeanCat позволяет оценить возможности современных моделей искусственного интеллекта в области формального доказательства теорем и абстрактного мышления.
Квантовая физика
Локальные приближения глобального гамильтониана: новый взгляд на квантовую теорию поля
![Евклидов модулярный поток [latex]\Delta W^{\alpha}[/latex] осуществляет вращение на угол α вокруг точки x=0, после чего обратное преобразование [latex]\Delta W(a)^{-\alpha}[/latex] возвращает к исходной позиции, вращая вокруг x=a, формируя евклидову полосу шириной [latex]a\sin(2\pi\alpha)[/latex] и смещая конечную точку [latex]W(0)[/latex] в направлении [latex]x^{1}[/latex] на величину [latex]a\sin(2\pi\alpha)[/latex], дополненную трансляцией [latex]a(1-\cos(2\pi\alpha))[/latex].](https://arxiv.org/html/2512.25062v1/x1.png)
В статье предлагается локальный регулятор для квантовой теории поля, основанный на включении алгебр, позволяющий реконструировать глобальный гамильтониан и исследовать явления запутанности и хаоса.
Солитоны под прицелом: от классики к нейросетям
Новое исследование сравнивает традиционные численные методы с подходами на основе нейронных сетей для моделирования профилей солитонных волн.
Очарование в огненном вихре: Динамика очарованных кварков в столкновениях тяжелых ионов
![Наблюдается зависимость скорости рождения очаровательно-антиочаровательных кварков [latex]R_{c\bar{c}}(\tau)[/latex] от времени, при которой сценарии с [latex]N_f = 2+1[/latex] (очаровательные кварки рассматриваются как тяжелые примеси постоянной массы) и [latex]N_f = 2+1+1[/latex] (термализованные очаровательные квази-кварки) демонстрируют различные темпы, причем переход через псевдокритическую температуру [latex]T_c = 155 \text{ MeV}[/latex] в сценариях идеального течения Бьоркэна (сплошная линия) и вязкой среды, расширяющейся в (2+1)D (пунктирная линия), определяет моменты времени, характеризующие фазовый переход.](https://arxiv.org/html/2512.23825v1/x7.png)
В статье исследуется поведение очарованных кварков в экстремальных условиях кварк-глюонной плазмы, возникающей при столкновениях тяжелых ионов.
Три нейтрона в ловушке: связь теории и экспериментов
![Спектр трёх нейтронов, рассчитанный в системе покоя при [latex] \mathcal{K}\_{\mathrm{df},3}=0 [/latex], демонстрирует структуру уровней энергии, зависящую от неприводимой симметрии, при [latex] M\_{N}L=20 [/latex] и [latex] M\_{\pi}/M\_{N}=0.15 [/latex], где порог неупругого рассеяния определяет границу наблюдаемых состояний.](https://arxiv.org/html/2512.24508v1/x1.png)
В новой работе исследователи детально описывают, как связать теоретические расчеты взаимодействия трех нейтронов с данными, полученными в симуляциях решетчатой квантовой хромодинамики.
Спутанность и сети тензоров: новый взгляд на сложные квантовые системы
В этой статье представлен всесторонний обзор методов тензорных сетей, позволяющих эффективно моделировать и изучать сильно коррелированные квантовые системы.
За пределами линейности: Коррекции в стохастической термодинамике
![В оптимальной стохастической термодинамике режимы приближения зависят от параметров управляющего протокола [latex]\lambda(t) = \delta\lambda(t) + \lambda_{i}[/latex] и времени релаксации [latex]\tau_{R}[/latex], определяя области слабого, медленного воздействия и протоколов, выводящих систему далеко от равновесия.](https://arxiv.org/html/2512.24540v1/x1.png)
В статье исследуются возможности применения разложения Вольтерры для точного описания неравновесных процессов в термодинамике и управлении ими, выходя за рамки традиционных линейных подходов.
Вода под микроскопом: как точно предсказать её таяние?
Новое исследование оценивает возможности современных методов моделирования для точного прогнозирования поведения воды и льда при изменении температуры.
Справедливость в коде: Анализ современных подходов
Новое исследование систематизирует существующие разработки в области обеспечения беспристрастности программного обеспечения и выявляет ключевые направления для дальнейшего развития.
Оптимальное Планирование: Гарантии Справедливости и Эффективности
В новой работе представлены алгоритмы приближенного решения задачи планирования повторяющихся операций, обеспечивающие баланс между общей продолжительностью выполнения и справедливостью распределения нагрузки.