There are many ways to decompose the Hilbert space H of a composite quantum system into tensor product subspaces. Different subsystem decompositions generally imply different interaction Hamiltonians V, and therefore different expectation values for subsystem observables. This means that thE uniqueness of physical predictions is not guaranteed, despite the uniqueness of the total Hamiltonian H and the total Hilbert space. Here we use Clausius' version of the second law of thermodynamics (CSL) and standard identifications of thermodynamic quantities to identify possible subsystem decompositions. It is shown that agreement with the CSL is obtained, whenever the total Hamiltonian and the subsystem-dependent interaction Hamiltonian commute (i.e. [H,V]=0). Not imposing this constraint can result in the transfer of heat from a cooler to a hotter subsystem, in conflict with thermodynamics. We also investigate the status of the CSL with respect to non- standard definitions of thermodynamic quantities and quantum subsystems.
We report two results complementing the second law of thermodynamics for Markovian open quantum systems coupled to multiple reservoirs with different temperatures and chemical potentials. First, we derive a nonequilibrium free energy inequality providing an upper bound for a maximum power output, which for systems with inhomogeneous temperature is not equivalent to the Clausius inequality. Secondly, we derive local Clausius and free energy inequalities for subsystems of a composite system. These inequalities differ from the total system one by the presence of an information-related contributio…
Heat and work for quantum systems governed by dissipative master equations with a time-dependent driving field were introduced in the pioneering work of Alicki [J. Phys. A 12, L103 (1979)]. Alicki's work was in the Schroedinger picture; here we extend these definitions to the Heisenberg and interaction pictures. We show that in order to avoid consistency problems, the full time derivatives in the definitions for heat flux and power (work flux) should be replaced by partial time derivatives. We also present an alternative approach to the partitioning of the energy flux which differs from that o…
Clausius' statement of the second law of thermodynamics reads: Heat will flow spontaneously from a hot to cold reservoir. This statement should hold for transport of energy through a quantum network composed of small subsystems each coupled to a heat reservoir. When the coupling between nodes is small, it seems reasonable to construct a local master equation for each node in contact with the local reservoir. The energy transport through the network is evaluated by calculating the energy flux after the individual nodes are coupled. We show by analysing the most simple network composed of two qu…
We study for a composite quantum system with a quantum Turing architecture the temporal non-locality of quantum mechanics by using the temporal Bell inequality, which will be derived for a discretized network dynamics by identifying the subsystem indices with (discrete) parameter time. However, the direct ``observation'' of the quantum system will lead to no violation of the temporal Bell inequality and to consistent histories of any subsystem. Its violation can be demonstrated, though, for a delayed-choice measurement.
The groupoids description of Schwinger's picture of quantum mechanics is continued by discussing the closely related notions of composition of systems, subsystems, and their independence. Physical subsystems have a neat algebraic description as subgroupoids of the Schwinger's groupoid of the system. The groupoids picture offers two natural notions of composition of systems: Direct and free products of groupoids, that will be analyzed in depth as well as their universal character. Finally, the notion of independence of subsystems will be reviewed, finding that the usual notion of independence, …
Recent research on the thermodynamic arrow of time, at the microscopic scale, has questioned the universality of its direction. Theoretical studies showed that quantum correlations can be used to revert the natural heat flow (from the hot body to the cold one), posing an apparent challenge to the second law of thermodynamics. Such an "anomalous" heat current was observed in a recent experiment (arXiv:1711.03323), by employing two spin systems initially quantum correlated. Nevertheless, the precise relationship between this intriguing phenomenon and the initial conditions that allow it is not f…
This paper extends the Madelung-Bohm formulation of quantum mechanics to describe the time-reversible interaction of classical and quantum systems. The symplectic geometry of the Madelung transform leads to identifying hybrid classical-quantum Lagrangian paths extending the Bohmian trajectories from standard quantum theory. As the classical symplectic form is no longer preserved, the nontrivial evolution of the Poincaré integral is presented explicitly. Nevertheless, the classical phase-space components of the hybrid Bohmian trajectory identify a Hamiltonian flow parameterized by the quantum c…
For distinguishing quantum states sampled from a fixed ensemble, the gap in bipartite and single-party distinguishability can be interpreted as a nonlocality of the ensemble. In this paper, we consider bipartite state discrimination in a composite system consisting of $N$ subsystems, where each subsystem is shared between two parties and the state of each subsystem is randomly sampled from a particular ensemble comprising the Bell states. We show that the success probability of perfectly identifying the state converges to $1$ as $N\rightarrow\infty$ if the entropy of the probability distributi…
For a system of N identical particles in a random pure state, there is a threshold k_0 = k_0(N) ~ N/5 such that two subsystems of k particles each typically share entanglement if k > k_0, and typically do not share entanglement if k < k_0. By "random" we mean here "uniformly distributed on the sphere of the corresponding Hilbert space." The analogous phase transition for the positive partial transpose (PPT) property can be described even more precisely. For example, for N qubits the two subsystems of size k are typically in a PPT state if k < k_1 := N/4 - 1/2, and typically in a non-PPT state …
We report on a new class of dimension witnesses, based on quantum random access codes, which are a function of the recorded statistics and that have different bounds for all possible decompositions of a high-dimensional physical system. Thus, it certifies the dimension of the system and has the new distinct feature of identifying whether the high-dimensional system is decomposable in terms of lower dimensional subsystems. To demonstrate the practicability of this technique we used it to experimentally certify the generation of an irreducible 1024-dimensional photonic quantum state. Therefore, …
Figuring out the physical rationale behind natural selection of quantum theory is one of the most acclaimed quests in quantum foundational research. This pursuit has inspired several axiomatic initiatives to derive mathematical formulation of the theory by identifying general structure of state and effect space of individual systems as well as specifying their composition rules. This generic framework can allow several consistent composition rules for a multipartite system even when state and effect cones of individual subsystems are assumed to be quantum. Nevertheless, for any bipartite syste…
