Quantum Supermaps are Characterized by Locality
- URL: http://arxiv.org/abs/2205.09844v3
- Date: Thu, 26 Jan 2023 02:41:21 GMT
- Title: Quantum Supermaps are Characterized by Locality
- Authors: Matt Wilson, Giulio Chiribella, Aleks Kissinger
- Abstract summary: We provide a new characterisation of quantum supermaps in terms of an axiom that refers only to sequential and parallel composition.
We do so by providing a simple definition of locally-applicable transformation on a monoidal category.
In our main technical contribution, we use this diagrammatic representation to show that locally-applicable transformations on quantum channels are in one-to-one correspondence with deterministic quantum supermaps.
- Score: 0.6445605125467572
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We provide a new characterisation of quantum supermaps in terms of an axiom
that refers only to sequential and parallel composition. Consequently, we
generalize quantum supermaps to arbitrary monoidal categories and operational
probabilistic theories. We do so by providing a simple definition of
locally-applicable transformation on a monoidal category. The definition can be
rephrased in the language of category theory using the principle of naturality,
and can be given an intuitive diagrammatic representation in terms of which all
proofs are presented. In our main technical contribution, we use this
diagrammatic representation to show that locally-applicable transformations on
quantum channels are in one-to-one correspondence with deterministic quantum
supermaps. This alternative characterization of quantum supermaps is proven to
work for more general multiple-input supermaps such as the quantum switch and
on arbitrary normal convex spaces of quantum channels such as those defined by
satisfaction of signaling constraints.
Related papers
- An explicit tensor notation for quantum computing [0.0]
This paper introduces a formalism that aims to describe the intricacies of quantum computation.
The focus is on providing a comprehensive representation of quantum states for multiple qubits and the quantum gates that manipulate them.
arXiv Detail & Related papers (2024-09-16T17:21:17Z) - Absolute dimensionality of quantum ensembles [41.94295877935867]
The dimension of a quantum state is traditionally seen as the number of superposed distinguishable states in a given basis.
We propose an absolute, i.e.basis-independent, notion of dimensionality for ensembles of quantum states.
arXiv Detail & Related papers (2024-09-03T09:54:15Z) - Quantum channels, complex Stiefel manifolds, and optimization [45.9982965995401]
We establish a continuity relation between the topological space of quantum channels and the quotient of the complex Stiefel manifold.
The established relation can be applied to various quantum optimization problems.
arXiv Detail & Related papers (2024-08-19T09:15:54Z) - Superselection rules and bosonic quantum computational resources [0.0]
We identify and classify quantum optical non-classical states as classical/non-classical based on the resources they create on a bosonic quantum computer.
Our work contributes to establish a seamless transition from continuous to discrete properties of quantum optics.
arXiv Detail & Related papers (2024-07-03T14:18:41Z) - No-signalling constrains quantum computation with indefinite causal
structure [45.279573215172285]
We develop a formalism for quantum computation with indefinite causal structures.
We characterize the computational structure of higher order quantum maps.
We prove that these rules, which have a computational and information-theoretic nature, are determined by the more physical notion of the signalling relations between the quantum systems.
arXiv Detail & Related papers (2022-02-21T13:43:50Z) - Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
"Interactions" between a prover and a verifier can bridge the gap between verifiability and implementation.
We demonstrate the first implementation of an interactive quantum advantage protocol, using an ion trap quantum computer.
arXiv Detail & Related papers (2021-12-09T19:00:00Z) - Stochastic approximate state conversion for entanglement and general quantum resource theories [41.94295877935867]
An important problem in any quantum resource theory is to determine how quantum states can be converted into each other.
Very few results have been presented on the intermediate regime between probabilistic and approximate transformations.
We show that these bounds imply an upper bound on the rates for various classes of states under probabilistic transformations.
We also show that the deterministic version of the single copy bounds can be applied for drawing limitations on the manipulation of quantum channels.
arXiv Detail & Related papers (2021-11-24T17:29:43Z) - A generic approach to the quantum mechanical transition probability [0.0]
In quantum theory, the inner product of two normalized Hilbert space elements is to be interpreted as the transition probability between the pure states represented by these elements.
A very general version of the quantum no-cloning theorem, creating promising new opportunities for quantum cryptography is presented.
arXiv Detail & Related papers (2021-10-25T09:32:41Z) - Stochastic emulation of quantum algorithms [0.0]
We introduce higher-order partial derivatives of a probability distribution of particle positions as a new object that shares basic properties of quantum mechanical states needed for a quantum algorithm.
We prove that the propagation via the map built from those universal maps reproduces up to a prefactor exactly the evolution of the quantum mechanical state.
We implement several well-known quantum algorithms, analyse the scaling of the needed number of realizations with the number of qubits, and highlight the role of destructive interference for the cost of emulation.
arXiv Detail & Related papers (2021-09-16T07:54:31Z) - Facial Expression Recognition on a Quantum Computer [68.8204255655161]
We show a possible solution to facial expression recognition using a quantum machine learning approach.
We define a quantum circuit that manipulates the graphs adjacency matrices encoded into the amplitudes of some appropriately defined quantum states.
arXiv Detail & Related papers (2021-02-09T13:48:00Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.