Quantum processes with indefinite causal order challenge the classical assumption that operations must occur in a single fixed temporal sequence. The quantum switch provides a concrete setting in which two operation orders, A≺B and B≺A, are coherently controlled by a quantum system. In the strict process matrix formulation of the lazy guess your neighbour’s input (LGYNI) game, however, quantum theory, including the quantum switch, does not violate the standard causal inequality when probabilities are computed solely from local instruments. In this work, we study an extended control-assisted operational protocol in which the control system of the quantum switch is measured and used to define the task output. We compare increasingly expressive strategy classes, including single-qubit SU(2) operations, product target-ancilla operations, and entangling Cartan-decomposed two-qubit operations with generalized POVMs. Restricted models saturate or remain below the 3/4 fixed-order benchmark, whereas the optimized Cartan + ancilla + POVM strategy reaches Psuccext≈0.83596, demonstrating enhanced task performance within the extended protocol. The optimized strategy remains operationally no-signaling to numerical precision and retains its extended protocol advantage under more than 25% white noise admixture. These results identify the operational resources required for control-assisted quantum switch enhancement and support the view that indefinite temporal order can be used as a quantum informational resource without implying a breakdown of operational causality.
Quantum processes with indefinite causal order challenge the classical assumption that operations must occur in a single fixed temporal sequence. The quantum switch provides a concrete setting in which two operation orders, A≺B and B≺A, are coherently controlled by a quantum system. In the strict process matrix formulation of the lazy guess your neighbour’s input (LGYNI) game, however, quantum theory, including the quantum switch, does not violate the standard causal inequality when probabilities are computed solely from local instruments. In this work, we study an extended control-assisted operational protocol in which the control system of the quantum switch is measured and used to define the task output. We compare increasingly expressive strategy classes, including single-qubit SU(2) operations, product target-ancilla operations, and entangling Cartan-decomposed two-qubit operations with generalized POVMs. Restricted models saturate or remain below the 3/4 fixed-order benchmark, whereas the optimized Cartan + ancilla + POVM strategy reaches Psuccext≈0.83596, demonstrating enhanced task performance within the extended protocol. The optimized strategy remains operationally no-signaling to numerical precision and retains its extended protocol advantage under more than 25% white noise admixture. These results identify the operational resources required for control-assisted quantum switch enhancement and support the view that indefinite temporal order can be used as a quantum informational resource without implying a breakdown of operational causality.
Quantum processes can exhibit indefinite causal order, allowing coherent superpositions of distinct orderings of events. Whether such processes generate genuinely noncausal statistics, however, depends not only on their global causal structure but also on the local operations available to the parties. Here, we restrict communication to the classical outcomes of local operations, yielding a causal polytope with new causal inequalities that can be violated using measure-and-reprepare, entanglement-breaking instruments requiring no coherent transmission through the laboratories. Using a semidefinite-programming framework, we bound the achievable violations and reveal noncausal correlations that satisfy all conventional input-signalling inequalities, demonstrating that restricting the information available for communication can uncover forms of indefinite causal order inaccessible under less restrictive operational assumptions.
The quantum switch, the canonical example of a process with indefinite causal order, has been claimed to provide various advantages over processes with definite causal orders for some particular tasks in the field of quantum metrology. In this work, we argue that some of these advantages in fact do not hold if a fairer comparison is made. To this end, we consider a framework that allows for a proper comparison between the performance, quantified by the quantum Fisher information, of different classes of indefinite causal order processes and that of causal strategies on a given metrological task. More generally, by considering the recently proposed classes of circuits with classical or quantum control of the causal order, we come up with different examples where processes with indefinite causal order offer (or not) an advantage over processes with definite causal order, qualifying the interest of indefinite causal order regarding quantum metrology. As it turns out, for a range of examples, the class of quantum circuits with quantum control of causal order, which are known to be physically realizable, is shown to provide a strict advantage over causally ordered quantum circuits as well as over the class of quantum circuits with causal superposition. Thus, the consideration of this class provides new evidence that indefinite causal order strategies can strictly outperform definite causal order strategies in quantum metrology.
Entanglement certification is often performed on states that have already undergone noisy transmission or processing. Noise can reduce the surviving entanglement and can also cause a given criterion to fail even when entanglement remains. In this context, the quantum switch, a paradigmatic realization of indefinite causal order (ICO), coherently controls the orders in which two channels act and has been shown to offer advantages across a range of quantum information-processing tasks. Here we ask whether this coherent control enlarges the noise-parameter region in which entanglement remains certifiable. We regard the two order branches as the arms of a causal-order interferometer and insert a local unitary between the channel uses to tune their interference. For stochastic Pauli noise, a postselected ICO output can exhibit greater entanglement negativity than any classical mixture of the two definite orders; in particular, we identify regimes where its negativity remains nonzero while that of every classical mixture vanishes. A suitable local Pauli unitary substantially enlarges this ICO-only region, while an input-dependent path-difference indicator qualitatively links operator noncommutativity to the postselected negativity gain. Numerical examples extend the advantage to local amplitude-damping noise and two-qutrit Weyl noise. At a representative Weyl-noise point for the 3×3 positive-partial-transpose (PPT) Tiles bound-entangled state, a nondecomposable witness detects the postselected ICO output, whereas an analytic bound excludes detection of the definite-order outputs and their mixtures by the entire locally rotated witness family. These results identify causal-order interferometry as a strategy for enhancing entanglement certification across distinct noise models and dimensions.
This paper is the thirty-fourth in a sequence developing an interpretive framework that redescribes physical reality as a causally consistent history of information updates rather than as a collection of independently existing objects. It is the capstone (third panel) of the ninth grouping — the quantum-mechanics–gravity interface trilogy (32 Quantum Geometry → 33 Records Backreacting on Geometry → 34 Causal Structure Without a Global Order) — and closes that trilogy. Its core physics is the process-matrix framework (Oreshkov, Costa, & Brukner, 2012), with the quantum switch (Chiribella et al., 2013) as the worked instance and causal (non)separability as the central classification. When the order of operations is quantum-controlled — and, at the interface, when geometry is superposed so different branches carry different causal graphs — the temptation is to posit a hidden definite global total order behind the indefiniteness. The thesis is that there is no Global Causal Sequencer; P1 is a declared architectural commitment, not a theorem, and a rival that posits a deeper definite order underwriting the indefiniteness is acknowledged but declined architecturally. R-A: indefinite operational order is not causal inconsistency or a closed loop — a coherent superposition of order components is causally nonseparable (witness-certifiable; note that witness-based nonseparability and causal-inequality violation are not equivalent, and the quantum switch need not violate a causal inequality) yet a valid, consistent process. R-B (restricted to controlled-order processes such as the quantum switch, or any process with a declared physically recorded order-control observable): recording the order-control does not by itself produce a determinate order — one must distinguish the coherent control, the decohered-but-unconditioned causally separable mixture, and the conditioned record-relative effective order — only the last is determinate, and only relative to a recorded value and the declared parameter chi, whose order-control basis is an admissible decoherence-stable pointer basis/algebra (not an arbitrary rotation). R-C: causal structure is profile-valued, CausalProf = (d_order, d_interv, d_record, d_valid, d_family, d_arrow), with a process-validity (not graph-acyclicity) component and an independent record-arrow component from Paper 9's arrow package. R-D (the novelty witness): effective order is provenance-gradable — a matched pair of histories with identical audited world-side order records but different provenance yields different warranted standing (OrderStandProf). R-E: a conservative-before-radical discipline works indefinite operational order first, then a minimal superposed-causal-graph bridge on Paper 32's identity fibers, separating an identity disposition from an order disposition; full quantization of the causal relation is flagged, not claimed. This retires the Global Causal Sequencer and closes the interface trilogy; no causal loops, no retrocausal signaling, no revived global order, no quantum-gravity completion. Presents no new physics; results are interpretive (L2) on imported physics (L1).
Quantum mechanics allows events to happen with no definite causal order: this can be verified by measuring a causal witness, in the same way that an entanglement witness verifies entanglement. Here, we realize a photonic quantum switch, where two operations A[over ^] and B[over ^] act in a quantum superposition of their two possible orders. The operations are on the transverse spatial mode of the photons; polarization coherently controls their order. Our implementation ensures that the operations cannot be distinguished by spatial or temporal position-further it allows qudit encoding in the target. We confirm our quantum switch has no definite causal order by constructing a causal witness and measuring its value to be 18 standard deviations beyond the definite-order bound.
Logical consistency with free local operations is compatible with nontrivial classical communications, where all parties can be both in each other’s past and future—a phenomenon known as noncausality. Noncausal processes, such as the “Lugano process,” violate causal inequalities, yet their physical realizability remains an open question. In contrast, the quantum switch—a physically realizable process with indefinite causal order—can only generate causal correlations. Building on a recently established correspondence [Kunjwal and Baumeler, ] between the SHIFT measurement, which exhibits nonlocality without entanglement, and the Lugano process, we demonstrate that the SHIFT measurement can be implemented using a quantum switch of classical communications in a scenario with quantum inputs. This shows that the structure of the Lugano process can be simulated by a quantum switch and that successful SHIFT discrimination witnesses causal nonseparability rather than noncausality. Finally, we identify a broad class of “superposition of classical communications” derived from classical processes without global past capable of realizing similar causally indefinite measurements. We examine these results in relation to the ongoing debate on implementations of indefinite causal orders.