Quantum circuits with classical versus quantum control of causal order
- URL: http://arxiv.org/abs/2101.08796v3
- Date: Mon, 19 Jun 2023 13:02:02 GMT
- Title: Quantum circuits with classical versus quantum control of causal order
- Authors: Julian Wechs, Hippolyte Dourdent, Alastair A. Abbott, Cyril Branciard
- Abstract summary: It is known that quantum supermaps which respect a definite, predefined causal order between their input operations correspond to fixed-order quantum circuits.
Here we identify two new types of circuits that naturally generalise the fixed-order case.
We show that quantum circuits with quantum control of causal order can only generate "causal" correlations, compatible with a well-defined causal order.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum supermaps are transformations that map quantum operations to quantum
operations. It is known that quantum supermaps which respect a definite,
predefined causal order between their input operations correspond to
fixed-order quantum circuits. A systematic understanding of the physical
interpretation of more general types of quantum supermaps--in particular, those
incompatible with a definite causal structure--is however lacking. Here we
identify two new types of circuits that naturally generalise the fixed-order
case and that likewise correspond to distinct classes of quantum supermaps,
which we fully characterise. We first introduce "quantum circuits with
classical control of causal order", in which the order of operations is still
well-defined, but not necessarily fixed in advance: it can in particular be
established dynamically, in a classically-controlled manner, as the circuit is
being used. We then consider "quantum circuits with quantum control of causal
order", in which the order of operations is controlled coherently. The
supermaps described by these classes of circuits are physically realisable, and
the latter encompasses all known examples of physically realisable processes
with indefinite causal order, including the celebrated "quantum switch".
Interestingly, it also contains new examples arising from the combination of
dynamical and coherent control of causal order, and we detail explicitly one
such process. Nevertheless, we show that quantum circuits with quantum control
of causal order can only generate "causal" correlations, compatible with a
well-defined causal order. We furthermore extend our considerations to
probabilistic circuits that produce also classical outcomes, and we demonstrate
by an example how our characterisations allow us to identify new advantages for
quantum information processing tasks that could be demonstrated in practice.
Related papers
- Reassessing the advantage of indefinite causal orders for quantum metrology [0.0]
In this work, we argue that some of these advantages in fact do not hold if a fairer comparison is made.
We consider a framework that allows for a proper comparison between the performance of different classes of indefinite causal order processes.
arXiv Detail & Related papers (2023-12-19T14:03:40Z) - Quantum Query Complexity of Boolean Functions under Indefinite Causal
Order [0.9208007322096533]
We study the query complexity of Boolean functions under general higher order quantum computations.
We show that the recently introduced class of quantum circuits with quantum control of causal order cannot lead to any reduction in query complexity.
We find some functions for which the minimum error with which they can be computed using two queries is strictly lower when exploiting causally indefinite supermaps.
arXiv Detail & Related papers (2023-07-18T13:12:55Z) - Quantum process tomography of continuous-variable gates using coherent
states [49.299443295581064]
We demonstrate the use of coherent-state quantum process tomography (csQPT) for a bosonic-mode superconducting circuit.
We show results for this method by characterizing a logical quantum gate constructed using displacement and SNAP operations on an encoded qubit.
arXiv Detail & Related papers (2023-03-02T18:08:08Z) - Unbounded loops in quantum programs: categories and weak while loops [0.0]
dissertation has two main contributions: (i) a categorical study of coherent quantum iteration and (ii) the introduction of weak while loops.
The objective is to endow categories of quantum processes with a traced monoidal structure capable of modelling iterative quantum loops.
A weak while loop is a classical control flow primitive that offers a trade-off between the collapse caused on each iteration and the amount of information gained.
arXiv Detail & Related papers (2022-12-10T22:03:51Z) - 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) - Depth-efficient proofs of quantumness [77.34726150561087]
A proof of quantumness is a type of challenge-response protocol in which a classical verifier can efficiently certify quantum advantage of an untrusted prover.
In this paper, we give two proof of quantumness constructions in which the prover need only perform constant-depth quantum circuits.
arXiv Detail & Related papers (2021-07-05T17:45:41Z) - Information Scrambling in Computationally Complex Quantum Circuits [56.22772134614514]
We experimentally investigate the dynamics of quantum scrambling on a 53-qubit quantum processor.
We show that while operator spreading is captured by an efficient classical model, operator entanglement requires exponentially scaled computational resources to simulate.
arXiv Detail & Related papers (2021-01-21T22:18:49Z) - Genuine quantum networks: superposed tasks and addressing [68.8204255655161]
We show how to make quantum networks, both standard and entanglement-based, genuine quantum.
We provide them with the possibility of handling superposed tasks and superposed addressing.
arXiv Detail & Related papers (2020-04-30T18:00:06Z)
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.