arXiv subjects

Kathleen Barsse

Publications and source records attributed to Kathleen Barsse.

4 recordsLinked to original sources

arXiv2026

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

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.LO↗

arXiv2026

Quantum Control and General Recursion beyond the Unitary Case

Coherent control, aka quantum control, is a central concept in quantum computing that is attracting increasing attention from both the quantum foundations and quantum software communities. Defining coherent control in the presence of recursion and measurement has long been known to be a major challenge. In particular, no-go results have been established for standard semantical domains like completely positive maps. We address this problem by introducing the first quantum programming language with recursion that allows for the coherent control of arbitrary quantum operations. We equip this language with both an operational and a denotational semantics that we prove to be adequate. To design these semantics, we show that combining coherent control, recursion, and measurement crucially requires describing the evolution of subprograms in the absence of input. To address this, the operational semantics takes into account a default evolution branch, while the denotational semantics uses the concept of coherent quantum operation, based on vacuum extensions. We strengthen the validity of our approach by developing an observational equivalence: two programs are equivalent if their probability of termination is the same in any context. The denotational semantics is shown to be fully abstract with respect to this observational equivalence.

cs.LO↗

arXiv2025

Disentangling signalling and causal influence

The causal effects activated by a quantum interaction are studied, modelling the last one as a bipartite unitary channel. The two parties, say Alice and Bob, can use the channel to exchange messages -- i.e. to signal. On the other hand, the most general form of causal influence includes also the possibility for Alice, via a local operation on her system, to modify Bob's correlations and viceversa. The presence or absence of these two effects are equivalent, but when they both occur, they can differ in their magnitude. We study the properties of two functions that quantify the amount of signalling and causal influence conveyed by an arbitrary unitary channel. The functions are proved to be continuous and monotonically increasing with respect to the tensor product of channels. Monotonicity is instead disproved in the case of sequential composition. Signalling and causal influence are analytically computed for the quantum SWAP and CNOT gates, in the single use scenario, in the $n$-parallel uses scenario, and in the asymptotic regime. A finite gap is found between signalling and causal influence for the quantum CNOT, thus proving the existence of extra causal effects that cannot be explained in terms of communication only. However, the gap disappears in the asymptotic limit of an infinite number of parallel uses, leaving room for asymptotic equivalence between signalling and causal influence.

quant-ph↗

arXiv2024

Causal influence versus signalling for interacting quantum channels

A causal relation between quantum agents, say Alice and Bob, is necessarily mediated by an interaction. Modelling the last one as a reversible quantum channel, an intervention of Alice can have causal influence on Bob's system, modifying correlations between Alice and Bob's systems. Causal influence between quantum systems necessarily allows for signalling. Here we prove a mismatch between causal influence and signalling via direct computation of the two quantities for the Cnot gate. Finally we show a continuity theorem for causal effects of unitary channels: a channel has small causal influence iff it allows for small signalling.

quant-ph↗