Characterising transformations between quantum objects, 'completeness' of quantum properties, and transformations without a fixed causal order
arXiv:2305.01247 · doi:10.22331/q-2024-07-17-1415
Abstract
Many fundamental and key objects in quantum mechanics are linear mappings between particular affine/linear spaces. This structure includes basic quantum elements such as states, measurements, channels, instruments, non-signalling channels and channels with memory, and also higher-order operations such as superchannels, quantum combs, n-time processes, testers, and process matrices which may not respect a definite causal order. Deducing and characterising their structural properties in terms of linear and semidefinite constraints is not only of foundational relevance, but plays an important role in enabling the numerical optimisation over sets of quantum objects and allowing simpler connections between different concepts and objects. Here, we provide a general framework to deduce these properties in a direct and easy to use way. While primarily guided by practical quantum mechanical considerations, we also extend our analysis to mappings between general linear/affine spaces and derive their properties, opening the possibility for analysing sets which are not explicitly forbidden by quantum theory, but are still not much explored. Together, these results yield versatile and readily applicable tools for all tasks that require the characterisation of linear transformations, in quantum mechanics and beyond. As an application of our methods, we discuss how the existence of indefinite causality naturally emerges in higher-order quantum transformations and provide a simple strategy for the characterisation of mappings that have to preserve properties in a 'complete' sense, i.e., when acting non-trivially only on parts of an input space.
45 pages, 15 figures, accepted for publication in Quantum
References in corpus (42)
- Quantum correlations with no causal order
- Quantum computations without definite causal structure
- Theoretical framework for quantum networks
- Quantum Circuits Architecture
- Transforming quantum operations: quantum supermaps
- Non-Markovian quantum processes: complete framework and efficient characterisation
- Quantum Channels with Memory
- Causal and localizable quantum operations
- An introductory review of the resource theory approach to thermodynamics
- Witnessing causal nonseparability
- Quantum stochastic processes and quantum non-Markovian phenomena
- Causal and causally separable processes
- Toward a general theory of quantum games
- Comparison of Quantum Channels by Superchannels
- Gibbs-Preserving Maps outperform Thermal Operations in the quantum regime
- The simplest causal inequalities and their violation
- Operational approach to open dynamics and quantifying initial correlations
- Process POVM: A mathematical framework for the description of process tomography experiments
- On quantum non-signalling boxes
- Quantum circuits with classical versus quantum control of causal order
- A purification postulate for quantum mechanics with indefinite causal order
- Optimal quantum networks and one-shot entropies
- The space of logically consistent classical processes without causal order
- Theoretical framework for Higher-Order Quantum Theory
- Probabilistic exact universal quantum circuits for transforming unitary operations
- Witnesses of causal nonseparability: an introduction and a few case studies
- On the definition and characterisation of multipartite causal (non)separability
- Quantum operations with indefinite time direction
- Causal structures and the classification of higher order quantum computations
- Dynamics of quantum causal structures
- Unitary channel discrimination beyond group structures: Advantages of sequential and indefinite-causal-order strategies
- Deterministic transformations between unitary operations: Exponential advantage with adaptive quantum circuits and the power of indefinite causality
- Reversing Unknown Qubit-Unitary Operation, Deterministically and Exactly
- Semi-device-independent certification of indefinite causal order
- Simple and maximally robust processes with no classical common-cause or direct-cause explanation
- Consequences of preserving reversibility in quantum superchannels
- Experimental superposition of time directions
- Experimental demonstration of input-output indefiniteness in a single quantum device
- Necessary and Sufficient Conditions on Measurements of Quantum Channels
- Universal construction of decoders from encoding black boxes
- Strategies for single-shot discrimination of process matrices
- No-signalling constrains quantum computation with indefinite causal structure