General formalism of local thermodynamics with an example: Quantum Otto engine with a spin-1/2 coupled to an arbitrary spin

We investigate a quantum heat engine with a working substance of two particles, one with a spin-1/2 and the other with an arbitrary spin (spin s), coupled by Heisenberg exchange interaction, and subject to an external magnetic field. The engine operates in a quantum Otto cycle. Work harvested in the cycle and its efficiency are calculated using quantum thermodynamical definitions. It is found that the engine has higher efficiencies at higher spins and can harvest work at higher exchange interaction strengths. The role of exchange coupling and spin s on the work output and the thermal efficiency is studied in detail. In addition, the engine operation is analyzed from the perspective of local work and efficiency. We develop a general formalism to explore local thermodynamics applicable to any coupled bipartite system. Our general framework allows for examination of local thermodynamics even when global parameters of the system are varied in thermodynamic cycles. The generalized definitions of local and cooperative work are introduced by using mean field Hamiltonians. The general conditions for which the global work is not equal to the sum of the local works are given in terms of the covariance of the subsystems. Our coupled spin quantum Otto engine is used as an example of the general formalism