2025/08/12 by Michele Minervini, Minervini, Michele, Madison Chin +17 · 1 voice · 2 citations
Computer Science · Engineering · Physics and Astronomy · #Advanced Thermodynamics and Statistical Mechanics #Benchmark (surveying) #Control and Stability of Dynamical Systems #Control theory (sociology) #Energy (signal processing) #Hamiltonian (control theory) #Hybrid system #Maximization #Minification #Physical system #Quantum #Quantum Computing Algorithms and Architecture #Quantum computer #Quantum many-body systems #Quantum system #Qubit #Stability (learning theory) #Stabilizer (aeronautics) #Thermal #Thermoelastic and Magnetoelastic Phenomena #Work (physics)
paper · pdf · doi:10.1103/4ds8-1jt8
published in Physical review. A/Physical review, A 113(4) (American Physical Society)
openalex publication_date 2026/02/05 · openalex created_date 2026/02/07 · openalex updated_date 2026/04/03
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-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 quantum information 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.