Gauge-invariant thermodynamics of a finite-time quantum Otto engine

Abstract

We investigate a finite-time quantum Otto engine within the framework of gauge-invariant quantum thermodynamics, using the Lipkin-Meshkov-Glick model as the working medium. In this formulation, thermodynamic quantities are defined on equivalence classes of thermodynamically indistinguishable states, leading naturally to gauge-invariant notions of work, heat, entropy, and efficiency. We derive explicit expressions for these quantities and show that the usual work performed during the unitary strokes decomposes into an invariant contribution, associated with changes in the instantaneous energy spectrum and populations, and a coherent contribution arising from finite-time quantum coherences. This decomposition induces the corresponding splittings of engine efficiency and entropy production, providing a geometric interpretation of finite-time irreversibility and clarifying the role of coherence in work extraction. By analyzing the cycle's dependence on driving speed and system size, we identify the engine's operating region and investigate the influence of criticality. We show that crossing the critical region substantially reduces the parameter space in which the cycle operates as a heat engine. At the same time, whenever the engine condition remains satisfied, the discrepancy between the conventional and gauge-invariant descriptions becomes strongly suppressed, indicating that the gauge-invariant sector predominantly carries the extracted work. These results establish a direct connection between gauge-invariant thermodynamics, finite-time irreversibility, and work extraction in many-body quantum thermal machines.