Energy extraction from quantum batteries by means of completely positive trace-preserving (CPTP) maps leads to the concept of CPTP-local passive states, which identify bipartite states from which no energy can be squeezed out by applying any CPTP map to a particular subsystem. We prove, for arbitrary dimension, that if a state is CPTP-local passive with respect to a Hamiltonian, then an arbitrary number of copies of the same state-including an asymptotically large one-is also CPTP-local passive. We show further that energy can be extracted efficiently from CPTP-local passive states employing noncompletely positive trace-preserving (NCPTP) but still physically realizable maps on the same part of the shared battery on which operation of CPTP maps were useless. Moreover, we provide the maximum extractable energy using local-CPTP operations, and then, we present an explicit class of states and corresponding Hamiltonians, for which the maximum can be outperformed using physical local NCPTP maps. We provide a necessary and sufficient condition and a separate necessary condition for an arbitrary bipartite state to be unable to supply any energy using NCPTP operations on one party with respect to an arbitrary but fixed Hamiltonian. We build an analogy between the relative status of CPTP and NCPTP operations for energy extraction in quantum batteries, and the association of distillable entanglement with entanglement cost for asymptotic local manipulations of entanglement. The surpassing of the maximum energy extractable by NCPTP maps for CPTP-passive as well as for CPTP-nonpassive battery states can act as detectors of non-CPTPness of quantum maps.
Energy extraction from quantum batteries by means of completely positive trace-preserving (CPTP) maps leads to the concept of CPTP-local passive states, which identify bipartite states from which no energy can be squeezed out by applying any CPTP map to a particular subsystem. We prove, for arbitrary dimension, that if a state is CPTP-local passive with respect to a Hamiltonian, then an arbitrary number of copies of the same state-including an asymptotically large one-is also CPTP-local passive. We show further that energy can be extracted efficiently from CPTP-local passive states employing noncompletely positive trace-preserving (NCPTP) but still physically realizable maps on the same part of the shared battery on which operation of CPTP maps were useless. Moreover, we provide the maximum extractable energy using local-CPTP operations, and then, we present an explicit class of states and corresponding Hamiltonians, for which the maximum can be outperformed using physical local NCPTP maps. We provide a necessary and sufficient condition and a separate necessary condition for an arbitrary bipartite state to be unable to supply any energy using NCPTP operations on one party with respect to an arbitrary but fixed Hamiltonian. We build an analogy between the relative status of CPTP and NCPTP operations for energy extraction in quantum batteries, and the association of distillable entanglement with entanglement cost for asymptotic local manipulations of entanglement. The surpassing of the maximum energy extractable by NCPTP maps for CPTP-passive as well as for CPTP-nonpassive battery states can act as detectors of non-CPTPness of quantum maps.
We ask whether there exists a relation between controllability of the fluctuations in extractable energy of a quantum battery and (a) how open an arbitrary but fixed battery system is and (b) how large the battery is. We examine three classes of quantum processes for the energy extraction: unitary operations, completely positive trace-preserving (CPTP) maps, and arbitrary quantum maps, including physically realizable non-CPTP maps. We show that all three process classes yield the same average extractable energy from a fixed quantum battery. Moreover, open systems are better at controlling fluctuations in fixed quantum batteries: while random unitary operations result in nonzero fluctuation in the extractable energy, the remaining two classes lead to vanishing fluctuations in extractable energy. Furthermore, when the auxiliary system used to implement the non-unitary physically realizable maps is restricted up to a dimension n, fluctuation in extractable energy scales as 1/n for CPTP maps, outperforming the lnn/n scaling observed for general quantum maps. Even within open dynamics, therefore, energy extraction via random CPTP maps exhibits greater resilience to fluctuation compared to processes based on arbitrary quantum maps. We subsequently obtain that fluctuations in extractable energy scale as the inverse of the battery's dimension for all three process classes. Unitary maps, therefore, perform - in the sense of as low fluctuation as possible - equally well as more resource-intensive open maps, provided we have access to large quantum batteries. The results underscore a fundamental trade-off between performance of a battery and the resource cost of implementing the extraction processes.
Quantum control has been a cornerstone of quantum information science, driving major advances in quantum computing, quantum communication, and quantum sensing. Over the years, it has enabled the implementation of arbitrary completely positive and trace-preserving (CPTP) maps; an important next step is to extend control to Hermitian-preserving and trace-preserving (HPTP) maps, which underpin applications such as entanglement detection, quantum error mitigation, quantum simulation, and quantum machine learning. Here we present an efficient and fully constructive method for implementing arbitrary HPTP maps. Unlike existing methods that decompose an HPTP map into multiple CPTP maps or approximate it using bipartite Hamiltonians with large Hilbert spaces, our approach compiles a target HPTP map into a single executable CPTP map whose Kraus rank is guaranteed to be no larger than the intrinsic rank of the target HPTP map plus one, followed by simple classical post-processing. Numerical results for inverse noise channels used in quantum error mitigation, including bosonic photon loss, confirm substantial reductions in resources and highlight scalability in higher-dimensional settings. Together with our numerical benchmarks, these results validate the efficiency and versatility of the proposed framework, opening a route to broader quantum-information applications enabled by HPTP processing.
For an open quantum system to evolve under CPTP maps, assumptions are made on the initial correlations between the system and the environment. Hermitian-preserving trace-preserving (HPTP) maps are considered as the local dynamic maps beyond CPTP. In this paper, we provide a succinct answer to the question of what physical maps are in the HPTP realm by two approaches. The first is by taking one step out of the CPTP set, which provides us with Semi-Positivity (SP) TP maps. The second way is by examining the physicality of HPTP maps, which leads to Semi-Nonnegative (SN) TP maps. Physical interpretations and geometrical structures are studied for these maps. The non-CP SPTP maps Ψ correspond to the quantum non-Markovian process under the CP-divisibility definition (Ψ=Ξ∘Φ−1, where Ξ and Φ are CPTP). When removing the invertibility assumption on Φ, we land in the set of SNTP maps. A by-product of set relations is an answer to the following question -- what kind of dynamics the system will go through when the previous dynamic Φ is non-invertible. In this case, the only locally well-defined maps are in SN\SP, they live on the boundary of SN. Otherwise, the non-local information will be irreplaceable in the system's dynamic. With the understanding of physical maps beyond CPTP, we prove that the current quantum error correction scheme is still sufficient to correct quantum non-Markovian errors. In some special cases, lack of complete positivity could provide us with more error correction methods with less overhead.
A battery is an energy storage device having utilities in a broad spectrum of fields. We consider batteries where quantum effects are inevitable, and compare the amount of energy extractable using local and global operations. We introduce the concept of local passivity for shared quantum batteries with local Hamiltonians, and characterize the set of all locally passive battery states. We find that the relation between energy extractions by local and global operations is closely connected with the entanglement content, for generic battery states.
Given an open quantum system S with environment E, we establish a one-to-one correspondence between completely positive trace-preserving (CPTP) maps from S to E and assignment maps initializing the composite system SE in a possibly correlated state prior to unitary evolution. We show that every possible joint state ρSE can be realized by such assignment maps, which are inherently Hermiticity-preserving and trace-preserving (HPTP). While these maps sacrifice global positivity, we derive a simple necessary and sufficient condition for any local state of S to belong to their domain of validity. Furthermore, we prove that the geometry of this domain is governed by the joint state assigned to the maximally mixed input, ensuring that a non-zero volume of admissible local states can readily coexist with initial system-environment entanglement. Finally, we provide an operational protocol for witnessing such limits of validity.
We identify a connection between quantum coherence and the maximum extractable work from a quantum battery, and to this end, we define the coherence-constrained maximal work (CCMW) as the highest amount of work extractable via coherence-preserving unitaries, optimized over all quantum states with fixed coherence in a given dimension. For qubit systems, we derive an analytical relation between the CCMW and the input coherence, defined with respect to an arbitrary fixed basis. Strikingly, we find that for fixed quantum coherence in the energy eigenbasis, the maximal extractable work decreases with increase of coherence. In contrast, when quantum coherence is with respect to a basis for which the Hamiltonian possesses off-diagonal elements, and has equal diagonal elements, the CCMW increases with the level of quantum coherence. We numerically observe that the basis-dependent response of the CCMW also persists in higher-dimensional quantum systems. Moreover, we show that even in higher dimensions one can derive closed-form relations between the CCMW and the input quantum coherence within certain numerically-assessed conclusions. We also comment on the structure of passive states in an isocoherent scenario, that is, states from which no energy can be extracted under coherence-preserving unitaries.