Understanding the thermal behavior of quantum many-body pure states is one of the most fundamental issues in quantum thermodynamics. It is widely known that typical pure states yield vanishing work, just as thermal states do, when one restricts to local operations that cannot access correlations among subsystems. However, it remains unclear whether this equivalence to thermal states persists under LOCC (local operations and classical communication), where classically accessible correlations can be exploited for work extraction. In this work, we establish criteria for determining whether many-body pure states remain equivalent to thermal states even under LOCC, and show that this thermal equivalence is governed by their multipartite quantum correlation structure. We show that states with asymptotically maximal multipartite entanglement, such as Haar-random states, cannot yield extensive work under LOCC, whereas some states with limited multipartite entanglement, such as constant-degree graph states, allow extensive work extraction despite being locally indistinguishable from thermal states. Thus, our work provides a refined operational notion of thermal equivalence beyond the traditional local regime, which is becoming increasingly important due to the recent expansion of experimentally accessible operations.
Understanding the thermal behavior of quantum many-body pure states is one of the most fundamental issues in quantum thermodynamics. It is widely known that typical pure states yield vanishing work, just as thermal states do, when one restricts to local operations that cannot access correlations among subsystems. However, it remains unclear whether this equivalence to thermal states persists under LOCC (local operations and classical communication), where classically accessible correlations can be exploited for work extraction. In this work, we establish criteria for determining whether many-body pure states remain equivalent to thermal states even under LOCC, and show that this thermal equivalence is governed by their multipartite quantum correlation structure. We show that states with asymptotically maximal multipartite entanglement, such as Haar-random states, cannot yield extensive work under LOCC, whereas some states with limited multipartite entanglement, such as constant-degree graph states, allow extensive work extraction despite being locally indistinguishable from thermal states. Thus, our work provides a refined operational notion of thermal equivalence beyond the traditional local regime, which is becoming increasingly important due to the recent expansion of experimentally accessible operations.
While bipartite quantum correlations have been extensively studied across various fields, the role of multipartite quantum correlations in many-body systems remains elusive due to their complex structure. A primary challenge lies in the fact that the calculation of multipartite quantum correlation measure often requires an exponential cost with respect to the system size. In this work, we address this problem by adopting a thermodynamic approach: We introduce a measure of multipartite quantum correlations based on the difference in extractable thermodynamic work between global operations and LOCC (local operations and classical communication). This can be regarded as a multipartite generalization of the bipartite work deficit, which has attracted attention as a thermodynamic measure of bipartite quantum correlation. Importantly, we develop an efficient method for computing the multipartite work deficit in a special class of quantum many-body systems described by matrix product states (MPS). The numerical cost of this method scales linearly with system size, significantly reducing the exponential overhead required for direct calculations. We apply this method to an MPS family and show that a quantum phase transition is well captured by the multipartite work deficit, which exhibits singular behavior at the transition point. Our work shows that the multipartite work deficit not only highlights the fundamental connection between multipartite quantum correlations and quantum thermodynamics, but also serves as an efficiently computable probe of the structures of quantum many-body systems.
How we identify heat and work is a fundamental question in modern quantum thermodynamics. Usually, heat and work are attributed to changes in the density matrix and the Hamiltonian, respectively, during time-evolution processes in quantum systems. Recently, it has been recognized that this identification is ambiguous. Furthermore, quantum thermodynamics involving quantum measurement is still under development. Motivated by these on-going works, we consider a quantum many-body system from which we extract energy by local operations and classical communication (LOCC) according to the quantum energy teleportation (QET) protocol. The central idea to define heat and work unambiguously is based on a sharp insight into the optimization condition of LOCC. When LOCC is optimized, the extractable energy by QET becomes a daemonic ergotropy; thus, it can be attributed as work. On the other hand, when LOCC is not optimized, we have not squeezed out all the energy with the unitary operation. It means there is uncontrollable energy left in the system. The uncontrollable energy can be attributed as heat after careful treatment of many-body interactions. The heat term consists of nonlocal correlation due to communication between remote participants, and the correlation cannot be directly observed for the participant in the subsystem. Thus, this feature is consistent with the traditional perspective of heat as an uncontrollable energy. To deeply understand the nature of heat, we derive two types of generalized Clausius inequality in our effective quantum thermodynamics, and discuss the direction of the inequality. To justify our perspective, we examine a one-dimensional Kitaev-like model and discuss the physical meaning of effective temperature in our thermodynamics.
Local operations assisted by classical communication (LOCC) constitute the free operations in entanglement theory. Hence, the determination of LOCC transformations is crucial for the understanding of entanglement. We characterize here almost all LOCC transformations among pure multipartite multilevel states. Combined with the analogous results for qubit states shown by Gour \emph{et al.} [J. Math. Phys. 58, 092204 (2017)], this gives a characterization of almost all local transformations among multipartite pure states. We show that nontrivial LOCC transformations among generic, fully entangled, pure states are almost never possible. Thus, almost all multipartite states are isolated. They can neither be deterministically obtained from local-unitary-inequivalent (LU-inequivalent) states via local operations, nor can they be deterministically transformed to pure, fully entangled LU-inequivalent states. In order to derive this result, we prove a more general statement, namely, that, generically, a state possesses no nontrivial local symmetry. We discuss further consequences of this result for the characterization of optimal, probabilistic single copy and probabilistic multi-copy LOCC transformations and the characterization of LU-equivalence classes of multipartite pure states.
Entanglement is the resource to overcome the natural limitations of spatially separated parties restricted to local operations assisted by classical communication (LOCC). Recently, two new classes of operational entanglement measures, the source and the accessible entanglement, for arbitrary multipartite states have been introduced. Whereas the source entanglement measures from how many states the state of interest can be obtained via LOCC, the accessible entanglement measures how many states can be reached via LOCC from the state at hand. We consider here pure bipartite as well as multipartite states and derive explicit formulas for the source entanglement. Moreover, we obtain explicit formulas for a whole class of source entanglement measures that characterize the simplicity of generating a given bipartite pure state via LOCC. Furthermore, we show how the accessible entanglement can be computed numerically. For generic four-qubit states we first derive the necessary and sufficient conditions for the existence of LOCC transformations among these states and then derive explicit formulas for their accessible and source entanglement.
Organising the space of entanglement structures of a multipartite quantum system is a much more challenging task than its bipartite version: while the local unitary (LU) orbit of a bipartite pure state can be conveniently characterized by its entanglement spectrum, invariants of multipartite entanglement structures are comparatively difficult to define and work with. The root cause of this difference is that the bipartite problem can be reduced to the analysis of matrix invariants, while its multipartite version is governed by a much richer space of tensor invariants. The present work explores the latter through the lens of so-called trace-invariants, which are in one-to-one correspondence with combinatorial objects known as colored graphs. We first explain why trace-invariant evaluations can serve as labels of LU-orbits of multipartite pure states, how this strategy extends to random states, and how the effect of local operations (LO) can be analyzed through such data. We then focus on entanglement classification within an (infinite-dimensional) subspace of reference states, whose basic building blocks are GHZ states of various dimensions. We show that relatively simple subclasses of trace-invariants are sufficient to separate the LU-orbits of reference states, and enable a complete (resp. an incomplete) characterization of their relations in the LO (resp. LOCC) resource theory of entanglement. Finally, we investigate how a (still infinite) subclass of reference states of local dimension N can be efficiently distinguished at leading and subleading orders in an asymptotic large-N expansion (among themselves, or from Haar-random states). This analysis relies crucially on combinatorial quantities associated to colored graphs, some of which have already played instrumental roles in the recent literature on random tensors. Results of broader relevance are reported along the way.
Understanding multipartite entanglement is vital, as it underpins a wide range of phenomena across physics. The study of transformations of states via Local Operations assisted by Classical Communication (LOCC) allows one to quantitatively analyse entanglement, as it induces a partial order in the Hilbert space. However, it has been shown that, for systems with fixed local dimensions, this order is generically trivial, which prevents relating multipartite states to each other with respect to any entanglement measure. In order to obtain a non-trivial partial ordering, we study a physically motivated extension of LOCC: multi-state LOCC. Here, one considers simultaneous LOCC transformations acting on a finite number of entangled pure states. We study both multipartite and bipartite multi-state transformations. In the multipartite case, we demonstrate that one can change the stochastic LOCC (SLOCC) class of the individual initial states by only applying Local Unitaries (LUs). We show that, by transferring entanglement from one state to the other, one can perform state conversions not possible in the single copy case; provide examples of multipartite entanglement catalysis; and demonstrate improved probabilistic protocols. In the bipartite case, we identify numerous non-trivial LU transformations and show that the source entanglement is not additive. These results demonstrate that multi-state LOCC has a much richer landscape than single-state LOCC.