8 papers
Supermaps on generalised theories
Matt Wilson, James Hefford, Timothée Hoffreumon
Categorical supermaps generalise higher-order quantum operations from finite-dimensional quantum theory to arbitrary circuit theories. In this paper, we establish the Yoneda lemma…
Decoherence to quantum theory from a causally-indefinite post-quantum theory
James Hefford, Matt Wilson
We find a process satisfying the axioms of hyper-decoherence which produces standard quantum theory from the theory of quantum boxes (higher-order quantum theory with the non-signa…
Deriving the Generalised Born Rule from First Principles
Gaurang Agrawal, Matt Wilson
A basic postulate of modern compositional approaches to generalised physical theories is the generalised Born rule, in which probabilities are postulated to be computable from the…
Higher-order circuits
Matt Wilson
We write down a series of basic laws for (strict) higher-order circuit diagrams. More precisely, we define higher-order circuit theories in terms of: (a) nesting, (b) temporal and…
Agent policies from higher-order causal functions
Matt Wilson
We establish a correspondence between equivalence classes of agent-state policies for deterministic POMDPs and one-input process functions (the classical-deterministic limit of hig…
Picturing general quantum subsystems
Octave Mestoudjian, Matt Wilson, Augustin Vanrietvelde +1
We extend the usual process-theoretic view on locality and causality in subsystems (based on the tensor product case) to general quantum systems (i.e.\ possibly non-factor, finite-…