Related papers: A Mathematical Framework for Causally Structured D…
Previous work has shown that the macroscopic structure of the theory of quantum gravity defined by causal dynamical triangulations (CDT) is compatible with that of a de Sitter universe. After emphasizing the strictly nonperturbative nature…
Over the past decade, a number of quantum processes have been proposed which are logically consistent, yet feature a cyclic causal structure. However, there is no general formal method to construct a process with an exotic causal structure…
We present gradual type theory, a logic and type theory for call-by-name gradual typing. We define the central constructions of gradual typing (the dynamic type, type casts and type error) in a novel way, by universal properties relative to…
The Causal Roadmap outlines a systematic approach to asking and answering questions of cause-and-effect: define the quantity of interest, evaluate needed assumptions, conduct statistical estimation, and carefully interpret results. To…
Presenting systems of differential equations in the form of diagrams has become common in certain parts of physics, especially electromagnetism and computational physics. In this work, we aim to put such use of diagrams on a firm…
Characterising causal structure is an activity that is ubiquitous across the sciences. Causal models are representational devices that can be used as oracles for future interventions, to predict how values of some variables will change in…
In general relativity, the causal structure between events is dynamical, but it is definite and observer-independent; events are point-like and the membership of an event A in the future or past light-cone of an event B is an…
Motivated by practical applications, I present a novel and comprehensive framework for operator-valued positive definite kernels. This framework is applied to both operator theory and stochastic processes. The first application focuses on…
The process-matrix framework describes quantum correlations without presupposing a global causal order, yet its standard formulation implicitly relies on background structure through a fixed Choi-Jamiolkowski identification of local…
Different approaches are compared to formulation of quantum mechanics of a particle on the curved spaces. At first, the canonical, quasi-classical and path integration formalisms are considered for quantization of geodesic motion on the…
Constraint-based causal discovery is brittle in finite-sample regimes because erroneous conditional-independence (CI) decisions can cascade into substantial structural errors. We propose Quantitative Argumentation for Causal Discovery…
Qubits are a great way to build a quantum computer, but a limited way to program one. We replace the usual "states and gates" formalism with a "props and ops" (propositions and operators) model in which (a) the C*-algebra of observables…
To study discrete dynamical systems of different types --- deterministic, statistical and quantum --- we develop various approaches. We introduce the concept of a system of discrete relations on an abstract simplicial complex and develop…
Causal inequalities are bounds on correlations obtained when operations take place in a causal sequence, i.e. in which the background time or definite causal structure pre-exists such that every operation is either in the future, in the…
Quantum three box paradox is a prototypical example of some bizarre predictions for intermediate measurements made on pre- and post-selected systems. Although in principle those effects can be explained by measurement disturbance, it is not…
A potentially powerful approach to quantum gravity has been developed over the last few years under the name of Causal Dynamical Triangulations. Numerical simulations have given very interesting results in the cases of two, three and four…
The quantum walk formalism is a widely used and highly successful framework for modeling quantum systems, such as simulations of the Dirac equation, different dynamics in both the low and high energy regime, and for developing a wide range…
Correlated, non-Markovian noise is present in many solid-state systems employed as hosts for quantum information technologies, significantly complicating the realistic theoretical description of these systems. In this regime, the effects of…
Quantum measurement is a physical process. What physical resources and constraints does quantum mechanics require for measurement to produce the classical world we observe? Treating measurement as a fully unitary quantum process, our goal…
Over the past two decades, the rapid surge in data-intensive computational techniques for statistical modeling may have had the effect of diminishing the use of applied mathematics in causal scientific inquiry. In this paper, co-authored by…