Functional Quantum Computing: An Optical Approach

Abstract

A new model of quantum computing has recently been proposed which, in analogy with a classical lambda-calculus, exploits quantum processes which operate on other quantum processes. One such quantum meta-operator takes N unitary transformations as input, coherently permutes their ordering, and outputs a new composite operator which can be applied to a quantum state. Here we propose an optical device which implements this type of coherent operator permutation. This device requires only one physical implementation of each operator to be permuted.

References in corpus (14)

• Quantum correlations with no causal order
• High-dimensional quantum cryptography with twisted light
• Quantum Circuits Architecture
• Experimental Superposition of Orders of Quantum Gates
• Computational advantage from quantum-controlled ordering of gates
• Perfect discrimination of no-signalling channels via quantum superposition of causal structures
• A Lambda Calculus for Quantum Computation
• Quantum circuits cannot control unknown operations
• Ultrafast switching of photonic entanglement
• Quantum computation with programmable connections between gates
• Implementing quantum control for unknown subroutines
• Coherent controlization using superconducting qubits
• All-optical switching of photonic entanglement
• Generation of time-bin entangled photons without temporal post-selection

Cited by in corpus (15)

• Experimental Verification of an Indefinite Causal Order
• Experimental Quantum Communication Enhancement by Superposing Trajectories
• Communication through coherent control of quantum channels
• Quantum Computing with black-box Subroutines
• Theoretical framework for Higher-Order Quantum Theory
• Experimental Aspects of Indefinite Causal Order in Quantum Mechanics
• Self-error-corrected hyperparallel photonic quantum computation working with both the polarization and the spatial-mode degrees of freedom
• Causality re-established
• Semi-device-independent certification of indefinite causal order in a photonic quantum switch
• Higher-order Process Matrix Tomography of a passively-stable Quantum SWITCH
• Simulating indefinite causal order with Rindler observers
• Experimentally demonstrating indefinite causal order algorithms to solve the generalized Deutsch's problem
• Breaking the limits of purification: Postselection enhances heat-bath algorithmic cooling
• No-signalling constrains quantum computation with indefinite causal structure
• Coherent control and distinguishability of quantum channels via PBS-diagrams