2 citations · 2 across the 4 of their papers we have counts for
7 papers · 1 filter
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…
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-…
A BV-Category of Spacetime Interventions
James Hefford, Matt Wilson
We use the Chu construction to functorially build BV-categories from duoidal categories, demonstrating that candidate models of BV-logic can be cofreely constructed from a fragment…