A thermally isolated quantum system undergoes unitary evolution by interacting with an external work source. The two-point energy measurement (TPM) protocol defines the work exchanged between the system and the work source by performing ideal energy measurements on the system before and after the unitary evolution. However, the ideal energy measurements used in the TPM protocol ultimately result from a unitary coupling with a measurement apparatus, which requires an interaction with an external work source. For the TPM protocol to be self-consistent, we must be able to perform the TPM protocol on the compound of the system plus the apparatus, thus revealing the total work distribution, such that when ignoring the apparatus degrees of freedom, we recover the original TPM work distribution for the system of interest. In the present paper, we show that such self-consistency is satisfied as long as the apparatus is initially prepared in an energy eigenstate. Moreover, we demonstrate that if the apparatus Hamiltonian is equivalent to the “pointer observable,” then (i) the total work distribution will satisfy the “unmeasured” first law of thermodynamics for all system states and system-only unitary processes, and (ii) the total work distribution will be identical to the system-only work distribution for all system states and system-only unitary processes if and only if the unmeasured work due to the unitary coupling between the system and apparatus is zero for all system states.

Studying sequential measurements is of the utmost importance to both the foundational aspects of quantum theory and the practical implementations of quantum technologies, with both of these applications being abstractly described by the concatenation of quantum instruments into a sequence of a certain length. In general, the choice of instrument at any given step in the sequence can be conditionally chosen based on the classical results of all preceding instruments. For two instruments in a sequence we consider the conditional second instrument as an effective way of postprocessing the first instrument into a new one. This is similar to how a measurement described by a positive operator-valued measure (POVM) can be postprocessed into another by way of classical randomization of its outcomes using a stochastic matrix. In this work we study the postprocessing relation of instruments and the partial order it induces on their equivalence classes. We characterize the greatest and the least element of this order, give examples of postprocessings between different types of instruments, and draw connections between postprocessings of some of these instruments and their induced POVMs.

What could happen if we pinned a single qubit of a system and fixed it in a particular state? First, we show that this leads to difficult static questions about the ground-state properties of local Hamiltonian problems with restricted types of terms. In particular, we show that the pinned commuting and pinned stoquastic Local Hamiltonian problems are quantum-Merlin-Arthur–complete. Second, we investigate pinned dynamics and demonstrate that fixing a single qubit via often repeated measurements results in universal quantum computation with commuting Hamiltonians. Finally, we discuss variants of the ground-state connectivity (GSCON) problem in light of pinning, and show that stoquastic GSCON is quantum-classical Merlin-Arthur–complete.