Operational Causality Without Definite Order: Certifying Indefinite Causal Structure via a Causal Inequality and Causal Witness

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.