Quantum circuits cannot control unknown operations
arXiv:1309.7976 · doi:10.1088/1367-2630/16/9/093026
Abstract
One of the essential building blocks of classical computer programs is the "if" clause, which executes a subroutine depending on the value of a control variable. Similarly, several quantum algorithms rely on applying a unitary operation conditioned on the state of a control system. Here we show that this control cannot be performed by a quantum circuit if the unitary is completely unknown. However, this no-go theorem does not prevent implementing quantum control of unknown unitaries in practice, as any physical implementation of an unknown unitary provides additional information that makes the control possible. We then argue that one should extend the quantum circuit formalism to capture this possibility in a straightforward way. This is done by allowing unknown unitaries to be applied to subspaces and not only to subsystems.
4 pages, 2 figures. Major revision
References in corpus (4)
Cited by in corpus (63)
- Quantum principal component analysis
- Photonic quantum information processing: a concise review
- Computational advantage from quantum-controlled ordering of gates
- Enhanced communication with the assistance of indefinite causal order
- A quantum Fredkin gate
- A Non-Orthogonal Variational Quantum Eigensolver
- Quantum machine learning for quantum anomaly detection
- Quantum Shannon theory with superpositions of trajectories
- Quantum Algorithmic Measurement
- Communication through coherent control of quantum channels
- Computational advantage from quantum superposition of multiple temporal orders of photonic gates
- Communication through quantum-controlled noise
- Creation of superposition of unknown quantum states
- Optimal quantum networks and one-shot entropies
- Quantum Computing with black-box Subroutines
- Coherent controlization using superconducting qubits
- Entanglement spectroscopy with a depth-two quantum circuit
- Genuine quantum networks: superposed tasks and addressing
- Quantum operations with indefinite time direction
- Experimental Aspects of Indefinite Causal Order in Quantum Mechanics
- Causal Boxes: Quantum Information-Processing Systems Closed under Composition
- Quantum-enhanced deliberation of learning agents using trapped ions
- Quantum processing by remote quantum control
- Deterministic transformations between unitary operations: Exponential advantage with adaptive quantum circuits and the power of indefinite causality
- Complex conjugation supermap of unitary quantum maps and its universal implementation protocol
- Quantum conditional operations
- Quantum algorithm for universal implementation of projective measurement of energy
- Modular Quantum Computation in a Trapped Ion System
- Routed quantum circuits
- A prototype of quantum von Neumann architecture
- Controlled quantum operations and combs, and their applications to universal controllization of divisible unitary operations
- Experimental superposition of time directions
- Superposing pure quantum states with partial prior information
- Reassessing the computational advantage of quantum-controlled ordering of gates
- Quantum communication through devices with indefinite input-output direction
- Universal control of quantum processes using sector-preserving channels
- Embedding cyclic information-theoretic structures in acyclic spacetimes: no-go results for indefinite causality
- Optimal Trace Distance and Fidelity Estimations for Pure Quantum States
- Fundamental limits for realising quantum processes in spacetime
- Ancilla-free continuous-variable SWAP test
- Optimal universal quantum circuits for unitary complex conjugation
- Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs
- Higher-order quantum transformations of Hamiltonian dynamics
- Universal resources for quantum computing
- Universal construction of decoders from encoding black boxes
- Experimental Communication Through Superposition of Quantum Channels
- No-iteration of unknown quantum gates
- Experimental implementation of arbitrary entangled operations
- Parallelizable adiabatic gate teleportation
- Impossibility of creating a superposition of unknown quantum states
- Coherent randomized benchmarking
- A survey of universal quantum von Neumann architecture
- Experimental replication of single-qubit quantum phase gates
- Topological obstructions to quantum computation with unitary oracles
- Universal adjointation of isometry operations using conversion of quantum supermaps
- A family of quantum von Neumann architecture
- Giving Operational Meaning to the Superposition of Causal Orders
- Finding eigenvectors with a quantum variational algorithm
- Analytical Lower Bound on Query Complexity for Transformations of Unknown Unitary Operations
- Quantum simulation in the entanglement picture
- Distributed Quantum Dense Coding Enhanced With Non-classical Routing
- Operational models of temperature superpositions
- Reduction of unitary operators, quantum graphs and quantum channels