Constrained free energy minimization for the design of thermal states and stabilizer thermodynamic systems
2508.09103v1
quant-ph, cond-mat.stat-mech, cs.LG, math.OC
2025-08-14
Авторы:
Michele Minervini, Madison Chin, Jacob Kupperman, Nana Liu, Ivy Luo, Meghan Ly, Soorya Rethinasamy, Kathie Wang, Mark M. Wilde
Резюме на русском
## Контекст
Одна из основных задач в квантовой теории термодинамики — определить минимальную энергию системы, обладающей заданными запасами. Эти запасы могут быть как коммутирующими, так и некоммутирующими, что добавляет сложности к задаче. Недавно были предложены алгоритмы классического и гибридного квантово-классического типа, которые способны решать задачи максимизации двойного химического потенциала. Однако, эти алгоритмы требуют более подробной анализа и оптимизации для решения задач физического значения. Наша работа посвящена развитию этих методов и их применению к различным квантовым системам, включая квантовые гамильтонианы с несколькими телами и квантовые системы, основанные на стабилизаторных кодах. Мы также изучаем потенциальные приложения в области дизайна материалов и квантовых систем.
## Метод
Мы развиваем гибридные квантово-классические методы для решения задач оптимизации тепловых состояний. Наша методология основывается на градиентном подъеме и использует второй порядок градиентных методов для улучшения точности и скорости сходимости. Алгоритмы применяются к различным квантовым системам, включая многочастичные системы с двумя и более телами, а также к системам, основанным на стабилизаторных кодах. Мы также рассматриваем методы теплового дизайна в квантовых системах, что позволяет создавать контролируемые границы свободной энергии и управлять запасами в системах.
## Результаты
Мы проводим эксперименты на нескольких квантовых моделях, включая Heisenberg-уравнения с различными типами взаимодействия и запасами. Мы также применяем наши алгоритмы к системам, основанным на стабилизаторных кодах, таким как одноквантовый, двухквантовый, и трехквантовый циклический код. Мы показываем, что наши методы дают точные решения для задач оптимизации тепловых состояний, а также позволяют эффективно задать границы на энергию и запасы систем. Мы также показываем, что эти методы могут быть использованы для кодирования квантовых систем в стабилизаторные коды с заданными температурами.
## Значимость
Наши результаты имеют широкое применение в различных областях физики и технологий. Они могут быть использованы в дизайне квантовых систем, а также для контроля тепловых систем в материалах и микросхемах. Методы, разработанные в этой работе, позволяют улучшить эффективность кодирования квантовых систем, что важно для развития квантовых вычислений и квантовых сетей. Мы также отмечаем возможность применения этих методов в дизайне новых материалов с управляемыми тепловыми свой
Abstract
A quantum thermodynamic system is described by a Hamiltonian and a list of
conserved, non-commuting charges, and a fundamental goal is to determine the
minimum energy of the system subject to constraints on the charges. Recently,
[Liu et al., arXiv:2505.04514] proposed first- and second-order classical and
hybrid quantum-classical algorithms for solving a dual chemical potential
maximization problem, and they proved that these algorithms converge to global
optima by means of gradient-ascent approaches. In this paper, we benchmark
these algorithms on several problems of interest in thermodynamics, including
one- and two-dimensional quantum Heisenberg models with nearest and
next-to-nearest neighbor interactions and with the charges set to the total
$x$, $y$, and $z$ magnetizations. We also offer an alternative compelling
interpretation of these algorithms as methods for designing ground and thermal
states of controllable Hamiltonians, with potential applications in molecular
and material design. Furthermore, we introduce stabilizer thermodynamic systems
as thermodynamic systems based on stabilizer codes, with the Hamiltonian
constructed from a given code's stabilizer operators and the charges
constructed from the code's logical operators. We benchmark the aforementioned
algorithms on several examples of stabilizer thermodynamic systems, including
those constructed from the one-to-three-qubit repetition code, the perfect
one-to-five-qubit code, and the two-to-four-qubit error-detecting code.
Finally, we observe that the aforementioned hybrid quantum-classical
algorithms, when applied to stabilizer thermodynamic systems, can serve as
alternative methods for encoding qubits into stabilizer codes at a fixed
temperature, and we provide an effective method for warm-starting these
encoding algorithms whenever a single qubit is encoded into multiple physical
qubits.