arXiv subjects

Tein van der Lugt

Publications and source records attributed to Tein van der Lugt.

7 recordsLinked to original sources

arXiv2026

Unitary causal decompositions: a characterisation via lattice theory

If a unitary transformation has a circuit representation with no directed path from input $a$ to output $b$, then $a$ does not influence $b$ through the overall unitary. Conversely, if a unitary satisfies a number of no-influence conditions, it is natural to wonder whether a circuit decomposition exists in which all of them are represented by absences of paths. Such decompositions are known as causal decompositions; determining their existence in general is a central open problem in the study of causal structure in quantum theory. We present progress towards a general solution by considering the special case of unitary causal decompositions, i.e. decompositions in terms of unitary circuits in the traditional quantum circuit formalism that do not require the generalisation to 'extended' or 'routed' quantum circuits prompted by earlier research on this topic. We identify a combinatorial condition that characterises precisely those sets of no-influence constraints $G$ for which any unitary transformation satisfying $G$ admits a unitary causal decomposition representing the constraints. Our approach is systematic, grounded in lattice theory and finite-dimensional operator algebra, and offers hope for extensions to more general (e.g. routed unitary) causal decompositions in the future.

quant-ph↗

arXiv2026

Decoherence without the state: A causal quantum Darwinist approach

The consistent histories formalism can be used to describe histories comprised of events across many systems, times, and places, plausibly rich enough to describe our experiences of the classical world; however, many consistent history sets are nonclassical and thus not obviously relevant to our experiences. Meanwhile, the program of environmentally induced decoherence identifies dynamically privileged classical degrees of freedom, but provides no general account of when or how many such degrees of freedom consistently combine to form histories. This work shows that the strengths of these two approaches can be combined by adopting a dynamics-first perspective on decoherence. Inspired by quantum causal models and quantum Darwinism, we define the process of decoherence in terms of the causal influences through unitary dynamics required for the proliferation of information about observables. We characterise decoherence as a property of the unitary dynamics, without presupposing the existence of any quantum state. Instead, we show that the state emerges from dual decoherence, related to decoherence by time-reversal of the unitary dynamics. Indeed, for any set of systems in an arbitrary unitary circuit, decoherence and its dual single out a privileged consistent history set -- and we demonstrate through examples that states emerge from dual decoherence while outcomes emerge from decoherence. Hence the idea that quantum states emerge from the process of decoherence turns out to be the key missing ingredient for unifying environmentally induced decoherence and consistent histories. Taking this idea ontologically seriously leads to a recently proposed causal interpretation of quantum theory or a dynamics-first version of the Everett interpretation. The causal approach also sheds light on the suppression of off-diagonal terms, time asymmetry, and robustness of the pointer basis.

quant-ph↗

arXiv2025

An order-theoretic circuit syntax and characterisation of the concept lattice

We take an order-theoretic approach to circuit (string diagram) syntax, treating a circuit as a partial order with additional input-output structure. We define morphisms between circuits and prove a factorisation theorem showing that these can, in the finite case, be regarded as formalising a notion of syntactical circuit rewrites, with quotient maps in particular corresponding to gate composition. We then consider the connectivity of a circuit, expressed as a binary relation between its inputs and outputs, and characterise the concept lattice from formal concept analysis as the unique smallest circuit that admits morphisms from all other circuits with the same connectivity. This has significance for quantum causality, particularly to the study of causal decompositions of unitary transformations. We close by constructing the circuit characterised by the dual statement.

quant-ph↗

arXiv2024

Possibilistic and maximal indefinite causal order in the quantum switch

It was recently found that the indefinite causal order in the quantum switch can be certified device-independently when assuming the impossibility of superluminal influences. Here we strengthen this result in two ways. First, we give a proof of this fact which is possibilistic rather than probabilistic, i.e. which does not rely on the validity of probability theory at the hidden variable level. Then, returning to the probabilistic setting, we show that the indefinite causal order in the quantum switch is also maximal, in the sense that the observed correlations are incompatible even with the existence of a causal order on only a small fraction of the runs of the experiment. While the original result makes use of quantum theory's violation of a Clauser-Horne-Shimony-Holt inequality, the proofs presented here are based on Greenberger, Horne, and Zeilinger's and Mermin's proofs of nonlocality, respectively.

quant-ph↗

arXiv2023

Device-independent certification of indefinite causal order in the quantum switch

Quantum theory is compatible with scenarios in which the order of operations is indefinite. Experimental investigations of such scenarios, all of which have been based on a process known as the quantum switch, have provided demonstrations of indefinite causal order conditioned on assumptions on the devices used in the laboratory. But is a device-independent certification possible, similar to the certification of Bell nonlocality through the violation of Bell inequalities? Previous results have shown that the answer is negative if the switch is considered in isolation. Here, however, we present an inequality that can be used to device-independently certify indefinite causal order in the quantum switch in the presence of an additional spacelike-separated observer under an assumption asserting the impossibility of superluminal and retrocausal influences.

quant-ph↗

arXiv2021

Indeterministic finite-precision physics and intuitionistic mathematics

In recent publications in physics and mathematics, concerns have been raised about the use of real numbers to describe quantities in physics, and in particular about the usual assumption that physical quantities are infinitely precise. In this thesis, we discuss some motivations for dropping this assumption, which we believe partly arises from the usual point-based approach to the mathematical continuum. We focus on the case of classical mechanics specifically, but the ideas could be extended to other theories as well. We analyse the alternative theory of classical mechanics presented by Gisin and Del Santo, which suggests that physical quantities can equivalently be thought of as being only determined up to finite precision at each point in time, and that doing so naturally leads to indeterminism. Next, we investigate whether we can use intuitionistic mathematics to mathematically express the idea of finite precision of quantities, arriving at the cautious conclusion that, as far as we can see, such attempts are thwarted by conceptual contradictions. Finally, we outline another approach to formalising finite-precision quantities in classical mechanics, which is inspired by the intuitionistic approach to the continuum but uses classical mathematics.

physics.hist-ph↗

arXiv2021

Relativistic limits on quantum operations

In this essay, we explore the limits imposed by the impossibility of superluminal signalling on the class of physically realisable quantum operations, focusing on the difference in approaches one can take towards this problem in Hilbert space quantum theory and algebraic quantum field theory (AQFT). We review a recent proposal by Fewster and Verch for a generally covariant measurement scheme in AQFT, which we call the FV scheme; along the way, we argue that the framework as set up in its original proposal can be greatly simplified without losing generality or physical motivation. We then discuss the problem, introduced by Sorkin, that naive generalisations of the notion of operation to the relativistic context can lead to signalling between spacelike observers by introducing a third observer. We consider approaches to tackle this problem in Hilbert space quantum theory and argue that these are sometimes ambiguous, since the physical (im)possibility of operations depends in part on the specific spacetime embodiment of the quantum system under consideration, which lies outside the Hilbert space formalism. In the AQFT context, we review and generalise a recent result showing that operations induced by the FV measurement scheme do not enable superluminal signalling. We connect this result to Hilbert space by introducing a concrete model of AQFT, which we call the `hybrid model' as it provides a way to explicitly embed Hilbert space quantum theory into spacetime using the formalism of AQFT. Finally, we show that in this model, under suitable necessary and sufficient conditions, the converse result also holds: every operation that does not enable superluminal signalling can be implemented in the FV framework.

math-ph↗