2 citations · 2 across the 8 of their papers we have counts for
9 papers
Non-factor quantum dynamics and relativity
Octave Mestoudjian, Matt Wilson
We consider the effect of relativistic principles on the structure of the local evolutions of non-factor quantum systems such as those which naturally arise in quantum spacetimes a…
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…
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…
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-…
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…
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…
Generalised Process Theories
John H. Selby, Maria E. Stasinou, Matt Wilson +1
Process theories provide a powerful framework for describing compositional structures across diverse fields, from quantum mechanics to computational linguistics. Traditionally, the…
A Profunctorial Semantics for Quantum Supermaps
James Hefford, Matt Wilson
We identify morphisms of strong profunctors as a categorification of quantum supermaps. These black-box generalisations of diagrams-with-holes are hence placed within the broader f…