arXiv:2305.19386 · PRX Quantum

Higher-Order Process Matrix Tomography of a Passively-Stable Quantum Switch

Michael Antesberger, Marco Túlio Quintino, Philip John Walther, Lee A. Rozema

Published Feb 9, 2024• 18 citations

Abstract

The field of indefinite causal order (ICO) has seen a recent surge in interest. Much of this research has focused on the quantum switch, wherein multiple parties act in a superposition of different orders in a manner transcending the quantum circuit model. This results in a new resource for quantum protocols, and is exciting for its relation to issues in foundational physics. The quantum switch is also an example of a higher-order quantum operation, in that it transforms not only quantum states but also other quantum operations. To date, no quantum process without a definite causal order has been completely experimentally characterized. Indeed, past work on the quantum switch has confirmed its ICO by measuring causal witnesses or demonstrating resource advantages, but the complete process matrix has been described only theoretically. Here we report our performing higher-order quantum process tomography. However, doing so requires exponentially many measurements with a scaling worse than that of standard process tomography. We overcome this challenge by creating a new fiber-based quantum switch using active optical elements to deterministically generate and manipulate time-bin encoded qubits. Moreover, our new architecture for the quantum switch can be readily scaled to multiple parties. By reconstructing the process matrix, we estimate its fidelity and tailor different causal witnesses directly for our experiment. To achieve this, we measure a set of tomographically complete settings, which also spans the input operation space. Our tomography protocol allows the characterization and debugging of higher-order quantum operations with and without an ICO, while our experimental time-bin techniques could enable the creation of a new realm of higher-order quantum operations with an ICO. Published by the American Physical Society 2024

DOI: 10.1103/prxquantum.5.010325

Related papers

Quantum processes without a causal order

Lee A. Rozema, Michael Antesberger, Philip John Walther

Less than ten years ago it was realized that quantum theory permits the existence of processes which do not have a defined causal order. To date, several experiments have confirmed the existence of one such process, called the quantum SWITCH, in which it is impossible to say which of two parties acts first. This has since spawned a new field of research on quantum processes with an indefinite causal order. Building on a mathematical analogy to entanglement certification, various methods to quantify the lack of a causal order have been proposed and demonstrated. These characterization techniques range from playing specially designed games to the measurement of a so-called causal witness. Despite these promising strategies, there has not yet been a complete characterization of the quantum SWITCH and no measurement of its process fidelity. Here we present a new protocol to perform causal tomography which we carry out using a novel implementation of the quantum SWITCH, based on time-bin qubits in optical fiber. Our new implementation is readily scalable to more than two parties and, hence, could be used to observe the scaling advantages of certain quantum games. Using this platform, we perform the first measurement of the process fidelity of the quantum SWITCH.

Photonics for Quantum (PfQ)Jul 19, 20220 citations

Applications of higher-order quantum maps

Kaumudibikash Goswami

Higher-order maps account for the most general transformations in quantum mechanics—they transform input quantum maps to output quantum maps. In this thesis, I focus on the application of such higher-order maps representing two important processes: (1) a particular type of non-Markovian quantum dynamics, and (2) indefinite causal order. First, I will introduce our work on the non-Markovian evolution of quantum states. Such a situation occurs when the past system-environment interaction leads the environment to memorize the information about the system. The measure of the non-Markovianity is given by the temporal correlation among the operations on the system. One way to estimate such correlation is to employ a full tomography of the process matrix, which is computationally intractable. Instead, we utilize machine learning algorithms without using tomographically complete measurement, to estimate the measure of non-Markovianity. We apply our model to a dataset obtained from an optical experiment and show that we are able to predict the measure of non-Markovianity with 90% accuracy. I then introduce various aspects of indefinite causal order. Ordinary experience points only to a definite causal structure, but quantum mechanics admits a more general causal structure that allows for the superposition of different causal orders. That means that the statements, is in the causal past of event B, and B is in the causal past of event A can both be true. The quantum switch can physically realise such an indefinite causal structure where a control quantum system controls the order of operations acting on a target quantum system. Superposition in the control leads to the superposition of the order. We experimentally realise a quantum switch with the control qubit being the polarisation of light and the target qubit being the transverse spatial mode of light. We first verify our quantum switch by measuring a `causal witness'. We then demonstrate an advantage of the quantum switch for classical communication. Finally, I present our work on classical communication through the most general quantum causal structures, represented by the process matrix. We formulate different classical capacities of a bi-partite process matrix. We also study one-way and bidirectional communication protocols through such a process and establish the relevant communication bounds. These enable further analyses of higher-order maps that take advantage of the full suite of processes that quantum mechanics allows.

Sep 24, 20210 citations

Higher-order Process Matrix Tomography of a Passively-Stable Quantum Switch

Michael Antesberger, Marco Túlio Quintino, Philip John Walther +1 more

The quantum switch is a process with an indefinite causal order, going beyond the circuit model. We introduce and perform a tomography protocol for such processes, testing it on a novel implementation of the switch.

Quantum 2.0 Conference and ExhibitionJan 1, 20240 citations

Toward an Experimental Device-Independent Verification of Indefinite Causal Order

Carla M.D. Richter, Michael Antesberger, Huan Cao +2 more

In classical physics, events follow a definite causal order: the past influences the future, but not the reverse. Quantum theory, however, permits superpositions of causal orders—the so-called indefinite causal orders (ICOs)—which can provide operational advantages over classical scenarios. Verifying such phenomena has sparked significant interest, much like earlier efforts devoted to refuting local realism and confirming quantum entanglement. To date, demonstrations of ICO have all been based a process called the quantum switch and have relied on device-dependent or semi-device-independent protocols. Achieving a device-independent verification of ICO would imply that nature allows for correlations that do not respect causality, independent of any experimental assumptions or underlying theoretical description of the experiment. To this end, a recent theoretical development introduced a Bell-like inequality that allows for fully device-independent verification of ICO in a quantum switch. Here we implement this verification by experimentally violating this inequality. In particular, we measure a value of 1.8328 ± 0.0045 , which is 18 standard deviations above the definite causal order bound of 1.75 . Our work presents the first implementation of a device-independent protocol to verify ICO, albeit in the presence of experimental loopholes. This represents an important step toward the device-independent verification of an ICO and provides a context in which to identify loopholes specifically related to the verification of ICO.

arXiv:2506.16949PRX QuantumJan 6, 20264 citations

Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes

Kathleen Barsse, Romain Péchoux, Simon Perdrix

Processes with indefinite causal orders (ICOs), such as the quantum switch, are higher-order quantum processes that superpose the order in which quantum operations are performed. Such coherent control yields computational advantages but is not faithfully captured by existing quantum programming languages: either they are restricted to the unitary case, and thus cannot combine ICOs with measurement, or they treat coherent control nonlinearly. In both cases, they do not realize the full computational power of ICOs. We introduce a higher-order quantum functional language that supports general quantum computation, not merely the permutation of channels, and whose linear type system allows quantum control to be well-defined beyond the unitary case, on arbitrary quantum channels. We equip this language with a small-step operational semantics that synchronizes measurement outcomes across superposed branches, using device references and a memory function. We also give a denotational semantics by means of completely positive maps. With linearity as the only constraint, some well-typed terms would denote unphysical maps. We therefore impose a typing discipline that goes beyond linearity, and interpret programs in the causal category Caus[CPM], under which every well-typed program is physically meaningful, a property that can be checked statically and efficiently. We prove soundness, and study the language's expressive power: it can express every quantum channel at first order, and at second order a large subclass of the so-called quantum circuits with quantum control (QC-QCs), containing the quantum switch. Last but not least, we show that this language is well-designed enough to be extended to the nonlinear setting with recursion.

cs.LOCross-listedarXiv:2607.09534Jul 13, 20260 citations

Higher-order quantum theory with indefinite time direction: Theoretical framework and case study

Kyrylo Simonov

Abstract Recent developments in quantum information science have revealed that the quantum circuit model, while foundational, does not exhaust the computational possibilities permitted by quantum mechanics. It allows for higher-order models of quantum computing based on an hierarchy of supermaps starting by transformations of quantum operations instead of quantum states. Experimental implementations of quantum SWITCH and quantum time flip, supermaps that allow for indefinite causal order and input-output direction of operations, respectively, and their applications have triggered a high interest on higher-order generalizations of quantum theory. In this paper, we review a framework for higher-order quantum theory with indefinite time direction based on an axiomatic type-theoretic characterization of quantum operations of arbitrary complexity. This framework can be naturally used to generalize process matrices, which introduce indefinite causal order of local agents’ operations into quantum theory, to include indefinite time direction.

Journal of Physics Conference SeriesJun 1, 20250 citations